?
False
Suppose -2*u - 8 = 0, -3*b - 463 = u - 3288. Is b prime?
False
Let z be 16/(-4)*-1 - -2. Let w(t) = 3*t**3 + 2*t**2 - 13*t - 9. Is w(z) prime?
False
Let n be (2 + (1 - 3))*-1. Is n + (-2226)/(-4) + 4/8 a composite number?
False
Suppose 6*n - 3*n - 26076 = 0. Is 4 + n/20 - 6/(-15) a prime number?
True
Let u(c) = -3*c**2 - 2*c - 4. Let r(b) = -5*b**2 - 4*b - 7. Let k(w) = -4*r(w) + 7*u(w). Let n be k(2). Suppose n = 2*s - 4, 13 = -x + 2*s + 124. Is x prime?
False
Let x(g) = 2*g**3 - 11*g**2 + 5*g + 8. Let k be x(7). Let i = 373 - k. Is i prime?
False
Suppose v + 4 = -0*v - 2*x, 0 = 5*v - x - 35. Suppose -5*i + 5*k + 445 = 0, -3*i - 253 = -v*i - 4*k. Suppose 0 = -l + 2*l - i. Is l composite?
True
Is 2 + (-20)/11 - (-319050)/330 prime?
True
Suppose 0 = -0*u + 4*u - 3*d - 23887, -u - d + 5970 = 0. Is u a prime number?
False
Let u be ((-122)/8)/(1/116). Let m = -1228 - u. Is m a composite number?
False
Suppose -3*x - 2143 = -5*v, 8*v - 3*v - 2159 = -x. Let y = v - 243. Let c = y - 126. Is c a composite number?
True
Let x(t) be the third derivative of 57*t**5/20 + t**4/12 + 2*t**3/3 - 11*t**2. Let a be x(-3). Suppose 2*k = -3*j + 4*k + a, -3*k - 517 = -j. Is j prime?
False
Is 63270 + -13 + 100/10 prime?
False
Let o = 294 + 339. Suppose -2*q + 6*q = -u + o, -2*q - 2*u = -318. Is q composite?
True
Suppose -m = -2 - 0. Let b(y) = 7*y**2 - 7*y - y**m + 3 - 2*y**2 - y**2. Is b(6) a prime number?
False
Suppose 3*r - 5*r = 8, -5*r - 20 = -5*s. Suppose -2*a + 9 = -s*a - k, -3*k = -2*a + 19. Suppose 0 = -2*x, -6*c + a*c + 3*x + 1204 = 0. Is c a prime number?
False
Suppose 2*m + 4*h - 22449 = -3*m, 0 = -5*h + 5. Is m prime?
False
Let u(l) = -l**3 - 3*l**2 - 5*l + 3. Let h = 18 - 14. Let j be u(h). Let s = 220 + j. Is s a prime number?
False
Suppose 2*i - 4273 = -5*a, 5*i - 3074 = -5*a + 7586. Is i composite?
False
Let c be ((-2)/4)/((-6)/(-132)). Let z = c + 16. Suppose j - 2*j + 519 = 2*h, -z*j = 3*h - 2560. Is j a composite number?
False
Let l be (0 - 1/(-1))/(8/(-48)). Suppose 2*x + 4*r - 3904 = 0, -7*r = -5*x - 3*r + 9732. Is (3/l)/((-2)/x) prime?
True
Let u(q) = q**2 + q - 291. Let v be u(0). Let b(x) = x**3 + 19*x**2 + 61*x - 9. Let y be b(-5). Is ((-24)/y)/(2/v) prime?
True
Let h(f) = f - 10. Let c be h(14). Is (-853)/(6 - c - 3) prime?
True
Let i(j) = 19*j + 14 - 3 - 21*j + 13. Let d be i(11). Suppose -x = -2*m + 393, 3*x + d*x + 572 = 3*m. Is m a composite number?
False
Suppose 0 = 5*b + 4*g - 37003, 4*b - 4*g - 31902 = -2278. Is b prime?
False
Let i = -5 + 5. Suppose -3*x = b + 77, 3*b + 4 + 2 = i. Is 10/x + (-2934)/(-10) prime?
True
Let y be 6*(-3)/(-9)*-6. Let z(j) = -3*j + 17. Is z(y) a composite number?
False
Let p = 29 + -16. Let r be p/4 - 3/12. Is -3 - (-206)/3*r a prime number?
False
Let z(v) = 11*v**2 + 17*v + 71. Let p(j) = -j**2 - 1. Let t(w) = 4*p(w) + z(w). Is t(-7) a prime number?
False
Suppose 2*j = 12 - 490. Is -2 - (j + 4*(-4)/(-8)) a composite number?
True
Suppose -w = -r + 12, -2*w - 36 = -5*r + 9. Suppose 8*f - 58 = r*f. Is f prime?
False
Let h be 284*(-45)/24*-4. Suppose -2*i = 4*u - h, 3*i - 6*u - 3173 = -u. Is i a composite number?
False
Suppose -6*v - 7765 + 116779 = 0. Is v composite?
False
Suppose -5*i - 85855 = -60*i. Is i composite?
True
Let l be (-3 - -1) + ((-2)/(-1) - 0). Suppose l = c - 82 - 97. Is c a composite number?
False
Let o = 278 - 256. Let l(q) = q**3 + 4*q**2 - 4*q. Let a be l(-4). Suppose o = 2*j - a. Is j a composite number?
False
Let p = 14494 - 5430. Suppose -5*o - 3*o + p = 0. Is o a composite number?
True
Let t be ((-4)/(-12))/((-2)/(-1416)). Let g = t + 183. Is g prime?
True
Suppose 823 = 2*y + 3*u, -y + 485 - 72 = 2*u. Is y prime?
False
Let o = -858 + 101. Is 16/(-12) + o/(-3) a prime number?
True
Suppose 4*m + 14 = 2*m. Let z(f) = 4*f**2 + 2*f + 8. Let r be z(m). Suppose 4*s - 928 = -5*v + s, -v - 5*s + r = 0. Is v composite?
True
Let x(j) = -27*j + 41. Let u(r) = r**3 - 9*r**2 - 3*r + 9. Let w be u(9). Is x(w) prime?
False
Is ((-564)/8)/((-57)/46474) a composite number?
True
Let o = 22 + -7. Suppose o*w - 11*w - 4348 = 0. Is w a composite number?
False
Suppose 0 = -26*h + 17*h + 48447. Is h prime?
False
Let i be 0*(-1)/(4 + (-1 - 2)). Suppose p = -2*p - 15, i = f + 2*p - 2731. Is f prime?
True
Suppose 0 = -2*z - 2*h + 3310, -3*z + 2119 + 2844 = 4*h. Is z composite?
False
Let g be 2/3 + 5/(-3). Suppose -t = -4*t + 4*d + 3, t = -5*d + 20. Is g*t*(7 + -10) a composite number?
True
Suppose -3*k + f - 5*f + 5553 = 0, -4*f = -12. Is k a composite number?
False
Suppose 9*h - 15*h = -22566. Is h a composite number?
False
Let h(g) = -221*g + 26. Is h(-13) a composite number?
True
Suppose 3*g + c = -3*c + 26, -22 = -2*g - 5*c. Let w(o) = -5*o - 27*o + g*o - 11*o - 5. Is w(-2) a composite number?
True
Let i(q) = 331*q**3 + 4*q**2 - 7*q + 9. Is i(2) a composite number?
False
Let t be (-328 + (1 + -31)/(-6))*-11. Let g = 1 - -2. Suppose 0 = 5*i + g*o - 4454, o = 4*i - 0*o - t. Is i a composite number?
True
Let s be 40/12*12/10. Suppose -3*f = -s*f + 384. Let u = f + 179. Is u a prime number?
True
Suppose -111 = 2*o + 9. Let m be (-8616)/o + (-2)/(-5). Suppose 2 = s, 3*f = -2*s + 145 + m. Is f prime?
False
Let z = 66 + -38. Suppose -7*g = -3*g - z. Is (g/(-3) - -2)*-4677 prime?
True
Let p(t) = -t**2 - 21*t + 17. Suppose -4*d - 76 = 3*b, -5*d = -4*d - 3*b + 19. Is p(d) a composite number?
True
Let q(j) be the first derivative of 2*j**2 - 37*j + 44. Is q(32) a prime number?
False
Let k = 35 - 31. Suppose -l + 3*u - 87 = -5*l, k*u = -5*l + 109. Is l a prime number?
False
Let a be (-6 - -3) + 2 + 2. Let y(w) = 319*w**3 - 2*w + 2. Is y(a) a composite number?
True
Suppose 1835 = -4*t + 5*t - 4*k, t + 3*k - 1828 = 0. Is t a prime number?
True
Suppose 39*x - 80 = 35*x. Suppose -2*h = 3*h - 3*o - 650, 4*o + x = 0. Is h a prime number?
True
Suppose 0*j - 5 = -j, w - 5*j - 17866 = 0. Is w prime?
True
Let t be ((-4)/(-10))/((-7)/(-420)). Let n(o) = 25*o + t*o + 7 + 32*o. Is n(4) prime?
True
Let w(v) = -5*v - 2 + 252*v**2 + v + 0*v + 3*v. Let f = 8 - 9. Is w(f) a prime number?
True
Let n = -40 - -42. Suppose -994 = -n*u + 4*z, u - 497 = -4*z + 5*z. Is u composite?
True
Suppose -u - 19 = 6. Let d(m) = -51*m + 10. Is d(u) prime?
False
Let l = 6 + -3. Suppose 3*z = -237 + l. Let u = 41 - z. Is u a composite number?
True
Let x(j) = -j**3 - 2*j - 1. Let m be x(-1). Suppose -m*v + 1 + 0 = q, q = -v + 1. Suppose 0 = 2*o + 2*u - 108, 3*u + 2 = -q. Is o composite?
True
Let v(u) = 32*u**2 - 4*u + 231. Is v(16) a composite number?
True
Suppose 0*o = o + 4, 5*u - 2*o + 42 = 0. Is (2517*(-8)/36)/(u/15) composite?
False
Is (-4786)/(-4) - (-3)/(-2) prime?
False
Suppose 0 = w - 5*w - 23924. Let d = 3559 + w. Is 1/4 - d/8 a composite number?
True
Let p = 8 + -4. Suppose p*v - 108 = v. Let g = v + 15. Is g prime?
False
Let r = -21 + 5. Let y be 10/(-25)*(r - -1). Is 18/y + 1 + 33 a prime number?
True
Let g = 4 + 8. Suppose t + g = -5*h, -4*h + 0 = -5*t - 2. Is -4*t/(32/132) prime?
False
Suppose -4*v + 2329 = 3*a - 6*a, -788 = a + v. Let c = a + 1214. Is c a composite number?
False
Suppose -16980 = -8*l + 6*l. Suppose -6*k + l = -0*k. Is k composite?
True
Suppose 0 = 6*q - 11053 + 2017. Suppose q = 7*w - w. Is w a prime number?
True
Let g be -3 + (-9)/(27/6). Let w(i) = -14*i**3 - 3*i**2 + 9*i + 2. Let c be w(g). Suppose 5*v = -4*m + c, 12 = 2*v + 4. Is m a composite number?
True
Suppose -2*f + 145 = -657. Suppose 2*u + 2*z - f - 211 = 0, 0 = -5*z - 5. Is u a composite number?
False
Let a = -1 + -2. Is 1060 - ((-4)/(-2) + a) prime?
True
Let c(g) = 142*g**3 + 2*g**2 + 2*g + 3. Let m(k) = -5 - 6 + 1 - 7*k - 7*k**2 - 427*k**3. Let t(d) = -7*c(d) - 2*m(d). Is t(-1) prime?
True
Let m(k) = 9*k**2 + 2*k - 1. Let r be m(-10). Let w = 1552 - r. Is w a composite number?
False
Is 1090 - -159 - 1*2*1 a composite number?
True
Let x(l) = l**3 - 2*l**2 + l + 2. Suppose 0 = -4*w + w + 6. Let i be x(w). Suppose -z - i = -41. Is z prime?
True
Suppose -16*s + 11*s + 13380 = 0. Suppose 4*h - 2*u - s = 0, -3*h + 2852 - 855 = u. Is h composite?
True
Suppose 61 = -4*q - 11. Let m = -13 - q. Suppose m*s - 165 = 2*s. Is s prime?
False
Suppose 3*i + 0*g - 12 = -3*g, g = -4*i + 4. Suppose -4 = j - 8. Suppose 0 = 5*s - 2*p - 3*p - 190, i = -4*p - j. Is s a co