 2 = -g. Suppose -v*s + 5*c - 51 + 221 = 0, 2*c = 10. Is s composite?
True
Suppose -n - 221 - 102 = 0. Let v = -228 - n. Is v a composite number?
True
Let k(f) = 27*f**2 - f - 7. Is k(3) composite?
False
Suppose 8 = -7*j + 3*j. Let q be (0/(-9))/(-1 - j). Is 3 + (-52 + q)/(-1) composite?
True
Suppose 4*u + 3*b - 218 = 4*b, 118 = 2*u + 4*b. Is u composite?
True
Let u(c) = 4*c**3 + 5*c**2 + c + 7. Let z(j) = -j**3. Let w(k) = -u(k) - 5*z(k). Let b be w(6). Let s = b + 74. Is s a composite number?
False
Is (-10)/8*(-450 + -2) composite?
True
Let t = -608 - -1021. Is t a prime number?
False
Suppose 5*w - 135 = 4*x, 3*x - 3*w = -61 - 44. Let v = x - -59. Suppose -3*k + 11 = -v. Is k composite?
True
Let w(s) = -s**2 - 30*s - 25. Is w(-12) a composite number?
False
Let i(u) = -27*u + 26*u + 1 + 17*u**2 + 17*u**2. Is i(4) composite?
False
Suppose -3*d + 8 + 46 = 0. Suppose -y - y = -d. Suppose -3*j + 0*j + y = 0. Is j composite?
False
Let y(o) = 54*o**2 + 3*o + 2. Is y(3) prime?
False
Let f = 92 - 184. Let h = f - -503. Is h a prime number?
False
Let o = 20 - 14. Suppose 0 = -o*b + b - 5*m + 10, -b + 2*m = -17. Is b a composite number?
False
Is ((-5)/10)/((5/(-1474))/5) a prime number?
False
Let f(t) = 2*t**2 - 3*t - 4. Let g be f(5). Suppose -g = 3*x - 169. Is x prime?
False
Suppose 2*l + 0 = b + 3, 5 = -5*l. Let d = b + 7. Suppose -2*f = d, -2*j = -3*f + f - 248. Is j composite?
True
Is (-2)/((-2)/(-37))*(-207)/9 composite?
True
Is (5077/1)/(-1 + -5 + 7) prime?
True
Let v(t) = -t - 12. Let h be v(-15). Suppose -94 = -h*r + 785. Is r a prime number?
True
Let a(k) = -k. Let j(n) = 1. Let v(w) = -a(w) + 3*j(w). Let h be v(3). Let r(o) = o**2 + 7*o - 9. Is r(h) a prime number?
False
Is 10/(-15)*-489 + 3 a composite number?
True
Let h = -95 - -8. Let l = -83 + h. Let n = l - -297. Is n composite?
False
Suppose 1044 = l + 2*l. Suppose -5*t = -t + l. Let k = 133 + t. Is k a composite number?
True
Suppose 5*q + 361 = 4*j - 0*q, -j + 86 = 3*q. Let w = -52 + j. Is w composite?
False
Suppose -10 = 5*w + 5*m, 7*w - 3*m = 2*w + 14. Let z be (w - 3) + (-4)/(-4). Let q = 4 + z. Is q a prime number?
True
Let t(j) = -j**2 + 6*j + 3. Let d be t(7). Let a be 162/24 - 1/d. Let i(q) = q**3 - 5*q**2 - 5*q - 10. Is i(a) composite?
False
Let z = -11 + 5. Let j(y) = -14*y + 5. Is j(z) a composite number?
False
Let i be 1 + -533 - (-8 - -4). Let d = i + 950. Is d composite?
True
Let o = 170 + -21. Is o a prime number?
True
Let u be (2/4)/((-1)/(-10)). Suppose u*o = 3*o + 374. Is o a composite number?
True
Suppose 2*s - s + 2*u = -45, -129 = 3*s + 3*u. Let z = 60 + s. Is z a composite number?
False
Suppose -9*v + 5*v + 14836 = 0. Is v prime?
True
Is 72 + -5 - (-3 + -1) a prime number?
True
Let k(r) = r + 1 + 3 + 0*r + 20*r**2. Let t(q) = q**3 + 5*q**2 - 2*q - 7. Let c be t(-5). Is k(c) prime?
False
Suppose -s = 4*s - 15. Suppose w - 5*c - 7 = 0, 4*w - 46 = -0*c + 2*c. Suppose 0 = 2*n, -n + 129 = s*y + w. Is y a composite number?
True
Let g(x) = x**3 - 10*x**2 + 10*x + 1. Let d be g(9). Suppose h - d = -169. Let r = -62 - h. Is r prime?
True
Let r = -20 + 11. Is ((-332)/6)/(6/r) a composite number?
False
Let w = -60 - -127. Suppose u - 72 = w. Is u composite?
False
Let f = -1229 + 2106. Is f a composite number?
False
Suppose 7*g - 3*g + 13 = -5*f, 0 = -g + 5*f + 3. Let y = 55 + g. Is y a composite number?
False
Suppose -p + 1 + 2 = 0. Suppose -p*f = f - 596. Is f a prime number?
True
Let z = -3 - -3. Suppose -22 - 78 = -5*j. Suppose z = -4*b - 0*b + 4*g + j, b - 30 = -4*g. Is b a composite number?
True
Let t(l) = -17*l - 24. Is t(-11) composite?
False
Let w be 2/(-10) + 16/5. Suppose w*y + 0 = 6. Is (14 + -1)/(-1 + y) prime?
True
Let c = -9 + 14. Is -530*(5/(-2))/c a composite number?
True
Suppose 6 = 3*f - 2*f. Suppose 4*s = f + 2. Suppose s*x + 0 = 76. Is x a composite number?
True
Let i = -99 + 59. Let r = i - -73. Is r a prime number?
False
Suppose 157 = 2*b + 3*x - 27, 2*b - 5*x = 168. Is b prime?
True
Suppose -38 - 269 = -5*i - 3*w, -3*i + 5*w = -157. Is i prime?
True
Let l(u) = -1 + 4 - 4 + 2 + u**2 - 4*u. Let c be l(3). Is -2 + c/(-2)*39 a prime number?
True
Let o(t) = -t**2 + 2. Let v be o(0). Suppose g - 5*r = 10, v*g + 3*r = r - 4. Suppose -4*h - h + 275 = g. Is h composite?
True
Let h = -58 + 144. Let y = 195 - h. Is y a prime number?
True
Let d(f) = f**3 + 7*f**2 - 10*f - 10. Let c be d(-8). Is 3/2*(0 + c) prime?
False
Let j(t) = t**3 - 2*t**2 - 6*t + 6. Let k be j(7). Let f = 42 + k. Is f a composite number?
False
Let y = -2487 - -1692. Is (-4)/(-8)*4 - y a prime number?
True
Suppose -4*d + 4*o = -1024 - 740, d - 445 = -o. Is d a prime number?
True
Let f = 727 - -414. Is f prime?
False
Let g = 168 - 99. Is g composite?
True
Let c = -10 + 15. Suppose -c*h = -h - 508. Is h a prime number?
True
Let c = 86 - -243. Is c composite?
True
Let l(o) = 5*o**2 - 4*o. Let g be l(-9). Suppose 4*i - 3*i = g. Let a = i - 256. Is a a composite number?
True
Let i(h) = -139*h**3 + h**2 + 3*h + 2. Is i(-1) a composite number?
False
Is -6 - (0/(-6) + -2225) a prime number?
False
Let a = 6 - -143. Is a a prime number?
True
Let u(i) = -i**3 + 6*i**2 + i - 2. Let b(x) = x - 7. Let k be b(13). Let o be u(k). Suppose -m + 6*m - 179 = 2*f, 4*m - o*f - 136 = 0. Is m prime?
True
Suppose -66 = -4*s - 2. Suppose -s - 124 = -4*q. Is q prime?
False
Let i be ((-2 - -3) + -2)*-2. Let s be ((-3)/9)/(2/(-78)). Suppose i*d = d + s. Is d prime?
True
Let d be -1*0/(0 + -3). Suppose -2*r + 4 + 0 = d. Suppose r*b - 65 = b. Is b prime?
False
Let s be -2 + 4 - (1 + 1). Let f be (0 - -1)/(-1)*-185. Suppose 5*o - f = -s*o. Is o a prime number?
True
Suppose 0 = -0*q + 5*q - 210. Let s = -7 + q. Is s prime?
False
Let z = 522 + 823. Is z a composite number?
True
Suppose 0*w - 6152 = -8*w. Is w a composite number?
False
Let v(l) = -l**2 - 14*l - 8. Let w be v(-13). Suppose w*a = a + 12. Suppose a*n - 2*n - 4*g = 215, 0 = -n + g + 215. Is n prime?
False
Suppose 4*z + 0*z - 80 = 0. Suppose z = 5*y - 0*y + 5*d, -5 = -y - 2*d. Is y a composite number?
False
Suppose 0*t = -t + 65. Is t prime?
False
Let t(s) = -s**3 + 7*s**2 - 7*s + 4. Let a be t(6). Is 506 - 6/2 - a a prime number?
False
Suppose -g = -5*t - 6197 - 1, -5*t = 25. Is g a composite number?
False
Let y(w) = -w - 4. Let t be y(-6). Let r = 11 - 13. Is (2/t + r)*-7 a composite number?
False
Let h = -287 + 448. Is h composite?
True
Let q = -520 + 129. Let n = -248 - q. Is n a composite number?
True
Suppose -4*l + 10 = l. Let f be 1*41 - (1 - l). Is f/10 + 2/(-10) a prime number?
False
Let x(a) be the second derivative of 0 - a + 0*a**2 - 1/6*a**3. Is x(-3) a prime number?
True
Suppose -3*q = 3*y - 3 - 9, -3*y + 4*q - 16 = 0. Suppose 0 = -y*g - 4*g. Suppose -3*m + 3*v = -75, -m + 4*v - 9 + 40 = g. Is m a composite number?
False
Let c(t) = 4*t**2 - t - 8. Is c(-5) a composite number?
False
Let m = -85 + 180. Is m prime?
False
Suppose 0*f = f - 293. Suppose 4*r - f - 355 = z, -z + 493 = 3*r. Is r a composite number?
False
Let r = -19 - -53. Is r a prime number?
False
Suppose -5*z + 7 = 17. Let x = 1 - z. Suppose -x*w + 36 = -57. Is w a composite number?
False
Let k = -221 - -852. Is k prime?
True
Let o(j) = 12*j - 5. Suppose -r - 6 + 2 = 0. Let v be o(r). Is -2 - -2 - 1*v prime?
True
Let w = 196 - -7. Suppose -2*b + w = -115. Is b a prime number?
False
Is 2/6*(10 - -1913) prime?
True
Is ((-1)/(-2))/((-1)/(-158)) prime?
True
Let x = -5 + 9. Suppose 2*r + x*d = 790, 3*d - 7 - 2 = 0. Is r a prime number?
True
Is (-2360)/(-15) + 3/(-9) a prime number?
True
Suppose -1361 = -4*n + 275. Is n a prime number?
True
Let j(r) = -r**3 + 6*r + 7 + 6*r**2 + 4*r**2 - 5*r**2. Let y = 4 - -2. Is j(y) composite?
False
Suppose 6*a = a + 40. Let r = -6 + a. Suppose 5*c - 122 = -3*b + 27, 5*c - 159 = r*b. Is c a composite number?
False
Let l = -12 - -12. Suppose -j - 3*u = -200, 3*u = -l*u + 9. Is j prime?
True
Let x(i) = -i**3 + 9*i**2 - 5*i - 2. Let h(j) = 2*j - 9. Let v be h(8). Let l be x(v). Let w = 128 - l. Is w a composite number?
False
Suppose 4*t - 75 = t. Suppose -4*y = -0*i - 4*i - 8, 2*y - 4 = -2*i. Suppose -y*n + t = -n. Is n prime?
False
Suppose 4*z - 2*z = -4*g + 22, -5*z - 1 = -4*g. Suppose -z*f = 5*m + f + 176, -3*m - 84 = -3*f. Let c = m + 47. Is c prime?
Fals