= 4*y, -7*v = -2*v + y - 11. Suppose 2*c + v = 8. Is c a prime number?
True
Let a = -14 + 11. Let b = -1 - a. Suppose -577 = -5*g + d, d = -4*g - b*d + 454. Is g prime?
False
Let m = 15 + -11. Suppose x - 530 = -x + 4*t, 2*t = m*x - 1054. Is x a composite number?
False
Let z be (-2)/(-8) - (-44)/16. Suppose -3*l = -9, -23 = -z*a - 5*l + 127. Let n = a + 8. Is n composite?
False
Let q = 11 - 6. Suppose 0*p = -2*p + 4. Suppose 0 = -p*s + s, -74 = -2*f - q*s. Is f composite?
False
Suppose -u = -6*u + 5, -5*u = -4*k + 591. Is k prime?
True
Let x(q) = -2*q - 2. Suppose -2*o + 3*u - 9 = -o, -4*o - u - 10 = 0. Let l be x(o). Suppose -5*v = l*w - 207, -3*w = v + v - 157. Is w a prime number?
True
Let g = -96 + 68. Let x = g + 10. Is 10/45 - 2282/x composite?
False
Suppose 0 = i - 5*s - 15, 5*s + 45 = 2*i + i. Is i a composite number?
True
Is 671*(-15)/(-6)*12/30 a prime number?
False
Suppose 0 = -i + 5 - 1. Suppose 14*s = 13*s + 25. Suppose -i*b + 63 + s = 2*o, -b + 3*o = -29. Is b prime?
True
Suppose -4 = -y + 10. Suppose c - 17 = y. Is c composite?
False
Let x = -128 + 261. Is x prime?
False
Is 3*745/75*5 a prime number?
True
Suppose -p = 5*h - 15, -2*p - 3*h + 51 = -0*h. Let s = 1 + p. Is s composite?
False
Suppose 0 = -3*q - 3*o + 9186, 0 = -5*q + 5*o + 8566 + 6734. Is q a composite number?
False
Let h = 9 + -15. Let f = 47 - h. Is f composite?
False
Let j be 0 - -1 - (-14)/2. Suppose j*x = 4*x. Suppose -8*a + 3*a - 2*o = -47, x = 5*a - 4*o - 71. Is a prime?
True
Is 3/((-9)/(-3)) - -2202 prime?
True
Suppose 5*q + 1 = 4*q. Is (-2404 - q)/(-3) - -2 composite?
True
Suppose -3*s + 4666 = -s. Is s a composite number?
False
Suppose -5*b + j + 957 - 25 = 0, j = -b + 190. Is b a composite number?
True
Let w(c) = c**3 - 4*c**2 + 3*c + 4. Let y be w(3). Suppose -y*h + 156 = 3*o, 0 = -5*o - 0*o. Is h a composite number?
True
Let b(r) = 6*r**2 - 2*r + 1. Let i be b(1). Suppose 0 = i*j + 5*h - 975, 0*h = 2*j + h - 386. Is j a prime number?
True
Let n be (-345)/(-2)*(-12)/(-9). Let p = 361 - n. Is p a prime number?
True
Suppose 4*b + 3492 = 4*q, 0*q - 865 = -q + 3*b. Is q composite?
False
Suppose 380 = 2*m + 3*t + 2*t, -5*m - 5*t + 935 = 0. Is m composite?
True
Let y(s) = -669*s - 5. Let x be y(10). Is 1/4 + x/(-52) prime?
False
Suppose -3*w + 160 = -479. Suppose -5*y + w = -2*y. Is y prime?
True
Let m = -9 - -7. Let b be (m/(-3))/((-6)/(-54)). Is (-5)/((-10)/b) - -30 a composite number?
True
Let f = 117 - 21. Suppose f = -3*z - 30. Let t = z + 65. Is t a prime number?
True
Let s(d) = -36*d + 3. Let h = -9 + 4. Is s(h) prime?
False
Suppose 0 = -4*f - 3 - 29. Suppose -3*v + 45 = 4*w, -9 = -4*v + 3*w + 26. Let c = v - f. Is c a prime number?
True
Suppose 2*t + 202 = 3*t - 4*w, 0 = 4*w + 8. Is t a composite number?
True
Let y = -49 - -80. Is y a prime number?
True
Let l = -8 - -6. Let o(v) = 96*v**2 + v - 2. Let q be o(l). Let m = -181 + q. Is m prime?
True
Suppose -1302 = -3*k + 2799. Is k composite?
False
Suppose 5*p - 84 = p. Is p a prime number?
False
Let c(d) = 17*d + 0 + 5*d - 4. Let k be c(11). Suppose -16 = -4*m, -5*u - 2*m + 0*m + k = 0. Is u composite?
True
Suppose -5 = r, 4*r - 575 = -6*c + c. Is c a composite number?
True
Suppose o = 4*x + 4*o - 14, -x = -2*o + 2. Suppose -6*l = d - x*l - 109, -2*d + 183 = l. Is d prime?
True
Let l be (4/(-6))/((-4)/42). Let j(r) = -r + 9. Let y be j(l). Is 3/y*14/1 a prime number?
False
Let t = -8 - -11. Suppose 2*n = 4*d + 12, -3*n + 7 + t = -2*d. Suppose -o - 5*j + 47 = 2*o, 28 = n*o + 5*j. Is o composite?
False
Let q(p) = p - 9. Let f be q(14). Suppose -6*w - b + 53 = -3*w, -2*b = f*w - 87. Is w a composite number?
False
Let i be (-110)/(-3) - 18/27. Let z = i + -17. Is z a prime number?
True
Suppose -4*r + 2028 = 4*s, -s - 2*r + 2020 = 3*s. Is s prime?
True
Let v(r) be the second derivative of 2*r**4/3 + r**3/3 + 2*r**2 - 3*r. Is v(-5) prime?
False
Let x(w) = w + 1. Let f be x(-1). Suppose f = -2*h + 104 + 74. Is h a prime number?
True
Let v = 1984 - 3871. Is (-2)/3 - v/9 prime?
False
Suppose 156 + 230 = u. Suppose -3*l = 2*l - 4*k - 615, -3*l - k = -u. Is l composite?
False
Let r = 161 + 11. Let y = r + -69. Is y prime?
True
Let c(k) = -97*k - 11. Is c(-6) a composite number?
False
Let c = 23 - 54. Let h = -46 - c. Is (-5)/(h/12) - -2 composite?
True
Suppose 5*m - 3354 = -2*v + 13433, 3*m = -4*v + 10061. Is m composite?
False
Let h(a) = 2*a**2 + 2*a + 2. Let u be h(3). Suppose 3*z = 3, 3*k + 4*z - 8*z = u. Suppose k = 2*m - 36. Is m prime?
True
Suppose -4*s - 16 = -0*s. Is (-310)/s - (-3)/(-6) composite?
True
Suppose 3*f + f = -2*t + 4, f = 3*t - 34. Suppose 3*p + u - 8 - t = 0, 4*p + 3*u - 29 = 0. Suppose -153 = -p*s + r, -4*r + r = -2*s + 56. Is s composite?
False
Suppose -2*p = 4*s - 586, -8 = -s - 4. Suppose -3*c - 4*m = -3*m - p, 3*m = -5*c + 479. Let h = c + -57. Is h a prime number?
True
Suppose -27 = -5*g - 12. Suppose 9 + 24 = g*q. Is q composite?
False
Suppose -483 = -5*s + 2*s. Is s a prime number?
False
Let g(t) = t**3 - 6*t**2 - t + 4. Let u be g(-6). Is ((-14)/4 + 3)*u prime?
True
Let r = -380 - -1923. Is r a prime number?
True
Is -1 + (492 - (0 + 2)) composite?
True
Let q = 665 - -176. Is q a prime number?
False
Let b be (-26)/(-8) - 1/4. Suppose -k = b*k - 408. Suppose 4*t = 22 + k. Is t a composite number?
False
Suppose 0 = -5*q - 1463 - 6967. Is (-2 + q/(-4))*2 a composite number?
False
Let w(m) = -m - 3. Let b be w(7). Let q be ((-6)/5)/((-3)/(-15)). Is (-184)/b + q/(-10) composite?
False
Suppose 90 = 2*h + 14. Let n = 3 + h. Suppose y = -8 + n. Is y composite?
True
Is 1/(-5) + (-87912)/(-110) a prime number?
False
Is (6 - (8 + -1))/(2/(-3730)) a composite number?
True
Let a = 621 + -398. Is a prime?
True
Let z(g) = g**2 + 6*g + 7. Let r be z(-3). Let p(j) = -2*j - j + 8*j**2 - j - 3. Is p(r) a composite number?
False
Let h = 381 - 198. Let q = 289 - h. Is q a composite number?
True
Suppose 0 = l + 3*z + 2*z - 99, 0 = -5*z - 20. Is l a prime number?
False
Is ((-59500)/12)/(-5) - 6/9 a prime number?
True
Let z be 0*(-1 - 1/(-2)). Suppose -3*g - 5*x + 83 = z, g - 5*x - 24 - 17 = 0. Is g a prime number?
True
Suppose -l + 658 = 4*p + l, p + 3*l - 172 = 0. Is p composite?
False
Is (0/3 + -413)*-1 composite?
True
Suppose -5*y + 3*y + 342 = 0. Let l = 440 - y. Is l prime?
True
Let t = 25 + -80. Is (-4)/22 - 3695/t composite?
False
Suppose -6*u = 431 + 97. Is 1399/11 + 16/u composite?
False
Is 148/32*4*6 prime?
False
Is (-3 + 3)/((-4)/4) + 1973 a prime number?
True
Suppose 2*h + 1088 - 10210 = 0. Is h prime?
True
Let u be 1 + (0 + 0 - 1). Suppose u = -0*t - 5*t + 15. Let r(s) = 2*s**2 + 1. Is r(t) a prime number?
True
Suppose 3*u = 5*u - 2174. Is u a prime number?
True
Let y(w) = -8*w + 1. Let g be y(-4). Let u = 124 - g. Is u a composite number?
True
Let u(m) = -m**3 - 3*m**2 - m. Let i be u(-3). Is (-2*i)/((-6)/4) prime?
False
Suppose -4*b - 4 = 3*l + 2, 0 = -3*b - 2*l - 4. Let z be (10 - b)*(-2)/(-4). Let y(a) = 4*a + 2. Is y(z) a composite number?
True
Let y(l) = -7*l**2 - 17*l - 7. Let w(z) = 15*z**2 + 35*z + 14. Let g(f) = 6*w(f) + 13*y(f). Let s be g(-7). Is (-6)/(s/(-15) - -1) prime?
False
Let g be (-75)/(-20) - 2/(-8). Suppose 1 = -g*s - 4*t + 109, -141 = -5*s - 3*t. Let k = s - 21. Is k a composite number?
True
Let s(c) = -161*c - 2. Let m be s(1). Let u = 42 - m. Is u prime?
False
Let q be 0 + 2 + 52/(-1). Let o = -31 - q. Is o prime?
True
Let x = -4 - -6. Let n(d) = -d**2 - d**3 + 3*d**3 - 4*d**3 + d + 1 + 3*d**3. Is n(x) prime?
True
Suppose 3*f + 5*y = 8563, 3*f - y - 8591 = y. Is f a composite number?
False
Let s be -42 + 2 + (-2)/1. Is (7 - 2)*s/(-15) prime?
False
Suppose -5*x = -s + 22, 3*s - 3*x - 2*x - 26 = 0. Let y(v) = -3*v + v**2 - s*v**2 + 19 + v + v. Is y(0) a prime number?
True
Let t be -1*(-3 + 7) + 0. Is 68 - t/(12/(-9)) a composite number?
True
Suppose 0 = -0*k - 5*k + 2700. Suppose 2*y + 890 - 184 = 0. Let u = y + k. Is u a prime number?
False
Is 1/((5/(-20))/(8457/(-12))) a composite number?
False
Let z = -1 + -2. Let q be 4/(-3)*z/2. Suppose -q*g = -5*g + 99. Is g prime?
False
Let h(s) = 190*s + 1. Let u = 5 - 4. Is h(u) composite?
False
Let z(b) = 39*b**2 + 2*b - 3. Suppose 1 + 2 = 3*r - 3*m, -r - 5*m + 7 = 0. Is z(r) prime?
True
Suppose -2 = g - 5. Let y(z) = -131*z