 Is i(y) prime?
True
Let p(a) = 5*a**3 - 8*a**2 + 8*a - 11. Is p(8) prime?
False
Let l(w) = 21509*w + 478. Is l(5) composite?
False
Is 1*(-9176)/(-8) + (-4)/(-1) a composite number?
False
Suppose 3*c + 0*c - 3 = 0. Let p be -1*c*(9 + 1). Is p/(-15)*147/2 a prime number?
False
Let x = -4628 + 15279. Is x a prime number?
True
Let q be (-9 - 6)*914/(-6). Suppose 5*m + q = c, 3*c = 4*c - 3*m - 2285. Is c a prime number?
False
Suppose 0 = 4*u - 1330 - 1054. Suppose -2*a + 4*y + u = 2*a, -a - y = -157. Suppose -2*b = -5*c + 713, -6*b + 3*b - a = -c. Is c a prime number?
False
Let z be -3 + (-9)/(-12)*4. Suppose 4*j - 5098 = d - 635, -4*j - 3*d + 4483 = z. Is j composite?
False
Let c(h) = -h**3 - 7*h**2 - 10*h + 2. Let f be c(-9). Let j = 523 - f. Is j a composite number?
False
Suppose -2 = i, -k + i = 169 + 29. Let y = -131 - k. Is y prime?
False
Suppose 2*i - 4564 = -5*q, -3*i + 8*i = 2*q - 1843. Suppose 2*b = 4*o - 4506, 0 = 2*b + 2*o - q + 5396. Is b/(-3) + (-16)/(-24) composite?
True
Suppose 0 = -3*n + 3 - 6, -4*n - 8519 = -5*b. Is b a composite number?
True
Is (3472275/300)/(2/8 - 0) a prime number?
False
Let c(n) = -2*n**3 - 6*n**2 - 17*n + 9. Let s(u) = -u - 3. Let y be s(5). Is c(y) prime?
False
Suppose 19*i - 12*i - 29771 = 0. Is i a prime number?
True
Suppose -420 = 10*f - 6*f. Let o be ((-60)/f)/((-2)/(-7)). Suppose -153 = o*l - 535. Is l prime?
True
Suppose 0 = 162*v - 154*v - 111704. Is v a composite number?
False
Let u(y) = -8206*y + 145. Is u(-9) prime?
True
Suppose 5*y = -5*x + 40, x + 4 - 17 = -2*y. Suppose -586 = -4*s - 2*b, -b - 737 = -y*s - 5*b. Is s a composite number?
True
Let m = -7752 - -26303. Is m a prime number?
False
Let w(y) be the third derivative of y**5/15 - y**4/24 + y**3/2 - 5*y**2. Is w(-4) composite?
False
Let g = -164621 + 267199. Is 3/(-4) + g/56 a prime number?
True
Let y be (5 - 3)*(0 - -398). Let f be y/6 - (-2)/(-3). Suppose f + 182 = 2*x. Is x a composite number?
False
Suppose 5*i - 4967 = 1428. Suppose -3107 = -5*u + 4*l, l = 4*u - i - 1211. Is u a prime number?
False
Let o(s) be the third derivative of 3*s**4/8 - s**3/3 - 10*s**2. Let j be o(5). Let n = j + 98. Is n prime?
False
Let v be (-18)/1 - 4 - -4. Let n = -13 - v. Suppose -64 = n*x - 249. Is x prime?
True
Let v(b) = -14*b**3 - b**2 + 6*b + 5. Let c be v(-2). Suppose 320 - c = x. Is x a prime number?
False
Let p = -355 - -1107. Suppose -p = 3*k + 97. Let n = k + 402. Is n prime?
False
Let t = 5183 + 2648. Is t a composite number?
True
Let h = 253 + -358. Let b = 968 - h. Is b prime?
False
Suppose 3*f + 3*q - 1068 = 0, -2*f - 11*q = -15*q - 706. Is f a composite number?
True
Let h be (3 - (-96)/20)*-15. Let t = h + 39. Is -5 + 5 - (-1 + t) prime?
True
Let i be ((-15)/4)/((-2)/(-8)). Let g = i - -19. Suppose g*q - 172 = 160. Is q composite?
False
Is ((-141140)/6)/(-5)*(-6)/(-4) prime?
True
Let q be (-146)/(-30) - (-6)/45. Is ((-587)/q)/((-2)/10) composite?
False
Let z = -412 + -521. Let d = 1426 + z. Is d prime?
False
Let c be 3/(-1 - 5/(-2)). Suppose 0 = c*a + 2*n - 7990, 4*a = -2*n + 18584 - 2600. Is a a composite number?
True
Suppose j + 3*j - 14 = -2*l, 0 = j - 1. Let h(k) = -k**3 + 22*k**2 + 21*k + 48. Let v be h(23). Suppose 3*a + f - 77 = l*f, 66 = v*a + f. Is a prime?
True
Let m be ((-3 - -3) + -1)/(3/(-9)). Suppose 4*f - m*z - 694 - 7738 = 0, 5*z + 4202 = 2*f. Is f prime?
True
Let m(j) = -163*j**3 + 62*j**2 - 11*j - 21. Is m(-5) prime?
False
Let x(z) = 21*z**3 - 9*z - 1. Suppose 16 = 5*l - 9. Is x(l) prime?
True
Let k(v) = 450*v + 5. Let x be k(6). Suppose 0 = -4*h + x + 1691. Is h a prime number?
False
Let h = 4621 + 8160. Is h prime?
True
Let i(z) = -z**2 + 6*z + 6. Let a be i(7). Let p(b) = 89*b**2 + 1. Let h be p(a). Suppose -q - 2*n = -3*q + h, -3*n = -4*q + 178. Is q a composite number?
False
Let r(x) = -2409*x + 35. Is r(-4) a composite number?
True
Let a(i) = i**3 + 19*i**2 + 10*i + 13. Let k be a(-18). Suppose -154*r + k*r - 16761 = 0. Is r composite?
True
Let t = -350 - -1017. Is t a prime number?
False
Let f = 4 - 1. Suppose 10 + f = j. Is j a prime number?
True
Is (4*7/(-28))/((-1)/2449) a composite number?
True
Let r be (-2)/5 + (-1176)/10. Suppose 4*v + 2*i = -35 + 821, 4*v - 4*i = 792. Let f = v + r. Is f a composite number?
False
Suppose 3 = -3*r, -153469 = -3*h + 2*r + 68938. Is h prime?
False
Let v be (-12)/3*(-4115)/(-20). Let m = v - -1410. Is m prime?
True
Suppose a + 3*o - 113 = 6*o, 4*a + 4*o - 404 = 0. Suppose -4*r = -4*s + a - 424, 0 = 2*s - 10. Is r a composite number?
True
Let t(u) = 30*u**2 - 4*u + 7. Suppose 5*k = 5*j - 2 - 23, 4 = -4*k. Is t(j) prime?
False
Let u = -86547 - -125500. Is u prime?
True
Let f(i) = -i**3 + 13*i**2 - 3*i - 14. Let u be f(12). Let j = u - 27. Is j a composite number?
False
Suppose -3413 + 415 = -l + 4*d, 0 = -5*l + 5*d + 14915. Is l composite?
True
Suppose -9 = -2*y - y. Suppose 5*v - d - 42 = -0*d, 0 = -y*v - 3*d + 36. Is (-3)/(v/(-6)) - -87 composite?
False
Let v(p) = -p**2 + 3. Let a be v(0). Let r(q) = -a*q**2 + 23 + 3*q**2 + q**2 - 4. Is r(10) a prime number?
False
Let p(b) = -89*b - 55*b - 71*b + 2. Is p(-3) a prime number?
True
Suppose b + 4*g - 9467 = -2*b, 2*g = 3*b - 9473. Suppose -4*v + b - 817 = 0. Let i = v - 282. Is i a composite number?
True
Let k = 11 + -25. Let x(w) = -4*w**2 - 8*w**2 + 13*w - 123 - w**3 + 136. Is x(k) composite?
False
Let v(j) = 8368*j - 41. Is v(10) composite?
False
Suppose w + 96 - 651 = 0. Suppose 5*a - o = 2827, w = 3*a - 2*a + 5*o. Is a a prime number?
False
Let c(z) = z**2 + z - 1. Let f(l) = -l**2 - l + 1. Let m(s) = 5*c(s) + 4*f(s). Let n be m(-1). Is ((-415)/(-20))/(n/(-4)) composite?
False
Let l be 7168/10 + 1/5. Suppose -27 = 5*i - l. Suppose j - i - 56 = 0. Is j prime?
False
Suppose 3443 = 5*q - 8892. Is q a prime number?
True
Let r(p) = 3*p + 2. Let k be r(-3). Let m = k + 2. Let h(n) = -n**3 - 4*n**2 - 4*n + 1. Is h(m) a prime number?
False
Is (10/35 - 0)*32837/2 a prime number?
True
Let n(k) = 60*k**2 + 12*k - 7. Let v(a) = -60*a**2 - 12*a + 7. Let t(s) = -4*n(s) - 5*v(s). Is t(-6) prime?
True
Let z be 0 + 499 - (-4 + 1). Suppose -153 = -5*i + z. Is i composite?
False
Let h(z) = 3*z**3 + 12*z**2 + 22*z - 3. Let i(k) = -k**3 + 7*k**2 + 7*k + 18. Let a be i(8). Is h(a) a prime number?
False
Let y = -9 + 9. Suppose c = 3*o + 781, o - 1590 = -2*c - y*o. Is c a composite number?
True
Let o be (-30)/(-12)*(-12)/(-10). Suppose -2*y + 0*y + 82 = -2*c, 3*c = -o*y + 135. Let x = y - 8. Is x prime?
False
Is 482650/50 - 3*(-8)/(-6) a prime number?
True
Let c = 14392 + -8282. Let f = c + -3762. Suppose -20*r + f = -16*r. Is r prime?
True
Suppose 2*k = -1 - 1, -3*h + 4*k - 1502 = 0. Let y = 1589 + h. Is y prime?
True
Let n(a) = a**3 + 11*a**2 - 27*a + 20. Is n(-13) a composite number?
True
Suppose g - 2*a = -0*g + 439, a + 875 = 2*g. Is g prime?
False
Suppose 8*c = 46 + 2250. Is c a prime number?
False
Let l(h) = -h - 3. Let d be l(-5). Let o(s) = 0*s - 2*s + 0*s + 1 + 136*s**2. Is o(d) a prime number?
True
Suppose 2*z - z = -5*h + 590, h - z - 124 = 0. Let f = 245 + -249. Let k = h + f. Is k composite?
True
Is 617*14 + (11 - 16)/5 prime?
False
Let y = 135 - 24. Suppose -2*s = s - y. Suppose s = x + 2*b, -38 - 36 = -2*x - 3*b. Is x a composite number?
False
Suppose -9 = 2*v - 5*v, 0 = 5*p - 2*v - 9. Suppose -1947 = -p*h + 414. Is h prime?
True
Suppose -9*k - 30 = -4*k. Is (-881)/(-4)*6 + k/(-12) composite?
True
Suppose g = -2*a + 2091, 6*g - 8*g = -4*a - 4214. Is g composite?
False
Suppose 4*z + 207 = 595. Suppose 578 + z = u + 5*d, -2612 = -4*u + 2*d. Is u a composite number?
True
Let n(q) be the third derivative of -q**5/60 + 7*q**4/24 - 13*q**3/6 + 6*q**2. Let t be n(7). Let o(a) = -29*a - 4. Is o(t) prime?
True
Suppose -10*x + 12636 = -50854. Is x a composite number?
True
Suppose -3590 = -0*k - 5*k. Let x = k + -245. Is x composite?
True
Let x(i) = -3*i - 19. Let z be x(-10). Let t be z - 8 - (-1 + 0). Suppose 5*f = 5*m + 655, t*m - 76 - 65 = -f. Is f prime?
False
Let p = -19 + 22. Suppose p*v - v - 814 = 0. Is v composite?
True
Let b = -18 - -19. Let x(w) = 6*w**3 - 1. Let f be x(b). Suppose 0*o = f*o - 805. Is o prime?
False
Suppose -2*a - 2*a + 80 = 0. Suppose 0 = 224*r - 219*r - 65. Suppose -u - r = -a. Is u a composite number?
False
Sup