 a*q = -4*i + 240 - 0, q = h*i + 90. Is q prime?
False
Let j(d) = -d**2 + 11*d + 12. Let g be j(12). Suppose g = -3*p, 2*p + 669 = 3*r + 7*p. Is r prime?
True
Let k = -14 + 18. Let g(q) = 48*q**3 - 6*q**2 + 6*q - 5. Is g(k) prime?
False
Suppose y + n + 2093 = 2*y, 0 = 2*y + 3*n - 4176. Let k = y - -1672. Is k a composite number?
True
Suppose 4*v = -5 - 11. Let h = -4 - v. Suppose -2*a + 21 + 57 = h. Is a composite?
True
Let l(o) = 16*o**2 + 27*o - 137. Is l(46) a composite number?
False
Suppose 346811 - 44814 = 4*k - 5*f, 0 = 3*k + 4*f - 226521. Is k prime?
True
Let w(d) = 47*d + 24. Is w(5) a prime number?
False
Let r(g) = g**2 + 3*g - 3. Let m be r(-5). Let d(b) = 4*b**2 - 9*b - 6. Is d(m) a composite number?
False
Suppose -5*z - 6*m + 81090 = -m, 2*m - 16219 = -z. Is z prime?
True
Suppose 0 = -7*k + k + 24. Suppose 4*l = 5*x - 24, -k*l + x = -2*l + 12. Let v(n) = -4*n**3 - 7*n**2 - 3*n + 5. Is v(l) prime?
False
Let k(a) = 20*a**2 + a + 13. Is k(4) prime?
True
Let k = 135 + 344. Is k composite?
False
Suppose 0 = 18*v + 83060 - 281546. Is v prime?
True
Suppose 557 = 5*x + 5*p - 5873, -4*x + 5145 = 5*p. Is x composite?
True
Let g(y) = y**3 + 7*y**2 - y - 8. Let n be g(-7). Is (-694)/8*(17 - 5)*n composite?
True
Suppose -3*m - 1 = 8. Let c = 12 - m. Is c prime?
False
Let d(r) = r**3 + 4*r**2 - 6*r - 2. Let q be d(-5). Suppose q*b + b = 0. Suppose o - 75 - 56 = b. Is o a prime number?
True
Suppose 0 = -0*q + 4*q. Suppose q = 6*g - g + 20. Is 30 - (2 - -2)/g composite?
False
Suppose -6*i - 5 = 13. Is (-1)/i - 1268/(-12) prime?
False
Let w = 26405 - 14258. Is w composite?
True
Let j(l) = -25*l**3 - 3*l - 3. Let x(b) = 4*b**3. Let m be x(-1). Let r be j(m). Suppose 4*h - 5*c = r, -h - 4*c = -445 + 48. Is h composite?
False
Let t(f) be the third derivative of 2*f**7/315 - f**6/240 - f**5/120 + f**4/4 - 7*f**2. Let w(j) be the second derivative of t(j). Is w(-2) composite?
True
Is (26110/100 + 2/5)*22 a composite number?
True
Let y be 131*1 - (13 - 12). Let f = y - 45. Is f prime?
False
Suppose o + 9 - 21 = 0. Let n(y) be the first derivative of y**3/3 + 4*y**2 + 17*y - 3. Is n(o) a prime number?
True
Let j = -281 + -269. Let s = -372 - j. Is s a prime number?
False
Suppose 17*t - 2*t = 120855. Is t composite?
True
Let s(q) = 8*q**2 - 8*q + 4. Let u be (-3 - 21)/(-2) + 0. Let w be s(u). Suppose -4*j = 2*x - 1380, -5*j = -5*x - 695 - w. Is j a composite number?
False
Suppose o + 0*o = 2*y - 2, 5*o + 3*y = 29. Suppose m = -3*q + 152, 3*m - 2*q + o*q = 435. Is m a prime number?
False
Let s be (-11)/55 - 781/(-5). Let g = 542 + -837. Let a = s - g. Is a a composite number?
True
Let w(z) = -z**3 - 14*z**2 - 3*z + 49. Is w(-15) composite?
True
Let n(p) = -2399*p + 302. Is n(-3) prime?
True
Let o = 580 + -825. Let g = 442 - 176. Let j = g - o. Is j prime?
False
Let d = -236 - -437. Is (d/(-9))/(9/(-27)) prime?
True
Let k(u) = -2*u + 7*u**2 + 0*u + 9*u + u**3 + 6 + 0*u**3. Let g be k(-9). Let h = -130 - g. Is h a prime number?
True
Let c(k) = -24*k + 9. Let w = 11 - 7. Let q be w/10 - (-81)/(-15). Is c(q) prime?
False
Let h(p) = -p**2 - 3*p. Let q be h(0). Suppose q = 4*t - k - 270, -2*k = t - 15 - 48. Is t composite?
False
Is 15869 - 9/(-15)*220/(-22) prime?
False
Suppose 5*q = 7*q - 14. Let m(z) = 9*z**3 - 7*z**2 - 20*z + 7. Is m(q) a prime number?
False
Let k(v) be the third derivative of v**5/60 - v**4/2 + 2*v**3 - 17*v**2. Is k(-13) composite?
False
Let f(l) = 144*l**3 + 9*l**2 - 22*l + 58. Is f(5) prime?
False
Let a = 229 - -104. Suppose 5*o + 321 = w, o = w + 2*o - a. Is w prime?
True
Suppose -3*z = 12, -6517 - 3004 = -3*x + 2*z. Suppose -g - x = -2*r, -3*g - 4 = 11. Is r a composite number?
False
Suppose t - 3 = -0. Suppose -t*y = -15, -2*y = -k + 3*y + 201. Is k composite?
True
Let h be (-3)/((-6)/28) - 2. Let d be (18/(-21))/((-2)/28*4). Is 4020/16 - d/h a composite number?
False
Let v(q) = 160*q - 1. Suppose 4*w = -8, 4*u + 4*w - 2 = 3*w. Let d(a) = 2*a**2 - a. Let m be d(u). Is v(m) prime?
False
Let t(j) = 59*j + 139. Is t(32) a composite number?
False
Is (-1160)/(-50) + 7/(-35) composite?
False
Let c(r) = 4*r + 4. Let q be c(4). Suppose 0 = -q*m + 22*m - 52. Is m a composite number?
True
Suppose -32 + 1447 = 5*m. Suppose -4*o + g = -m, 4*g - 125 = -2*o - g. Suppose 4*y + o = 426. Is y composite?
False
Let j(g) = 3*g + 55. Let c be j(-14). Suppose 53827 = c*s - 95478. Is s composite?
True
Let v(k) = -k - 1. Let n be v(-1). Suppose n = o - 6*o + 15. Suppose 116 = o*g - 229. Is g a composite number?
True
Let x be (-3 - 41/2)*-4. Let o be (-16)/120 + x/30. Suppose -o*d - 33 - 19 = -5*i, -23 = -2*i - d. Is i prime?
True
Let s = 18 - 16. Suppose -s*u + 5*u - v - 755 = 0, -2*v - 1004 = -4*u. Is u a composite number?
True
Let y(b) = 4*b**2 + 14*b - 2 - 2*b**2 - 3*b**2. Let l = 32 + -20. Is y(l) prime?
False
Suppose 27 = -10*n + 77. Let s be (-6827)/(-2) + 6/4. Suppose 6*m = n*x + m - s, -2*x + 5*m + 1372 = 0. Is x a composite number?
True
Let v(c) = -15*c**3 + c**2 + 8*c + 14. Is v(-4) a composite number?
True
Let v(z) be the first derivative of 110*z**2 - 59*z - 27. Is v(21) a prime number?
True
Suppose -7*k + 5*j - 8079 = -8*k, 3*j + 16106 = 2*k. Is k a prime number?
True
Let j = -1353 - -1906. Is j a prime number?
False
Let n = 5667 - 2110. Is n a composite number?
False
Let p(n) = 5*n - 20. Suppose -3*k = -5*r + 78, 4*r - 59 = -0*k - k. Let b be 348/20 - 6/r. Is p(b) a prime number?
False
Suppose 5*k = -2*y - 11, k + 11 = 4*y - 0*k. Suppose 0 = -y*x - 10, 5*x = -5*r + 303 + 3067. Is r composite?
True
Let x(a) = 4*a - 14. Let g be x(4). Suppose -g*c + 3*c - 741 = -5*k, 0 = -3*c - 12. Is k prime?
True
Let x(t) = -t**2 - 12*t + 1. Let q = 2 - 3. Let o(f) = 11*f**3 + 2*f**2 + f. Let k be o(q). Is x(k) prime?
False
Let z(k) = 51*k - 2. Suppose 5*v - 1 = -2*p, -5*p + 2*v - 4*v = 50. Let r = 13 + p. Is z(r) composite?
True
Suppose 2*p - 36415 = 5*d, 72865 = 4*p - 10*d + 7*d. Suppose -p = -9*j - 1417. Is j composite?
False
Suppose -d + 3934 = 5*y - 42514, 3*d = -4*y + 139311. Is d a composite number?
True
Let t = 64 - 100. Let u = t - -38. Suppose -187 = -r - 4*p, -2*r = -r - u*p - 193. Is r a composite number?
False
Let n = -31 - -21. Let s(d) = -14*d + 7. Let q be s(n). Is 4 + -2 + q/3 composite?
True
Suppose 66030 = 2*w - 2*d, 3*w + 2*w - 165087 = 2*d. Suppose 18*c + 1465 = w. Is c a composite number?
False
Let c = -999 - -1141. Is c a composite number?
True
Let h be (26/8)/(19/(-76)). Let q(c) = 11*c**2 + 12*c - 18. Is q(h) composite?
True
Suppose -5*c + 5*p = -156395, 127764 - 33941 = 3*c + 4*p. Is c prime?
True
Let c(r) = 774*r**2 + 25*r + 27. Is c(-8) composite?
False
Suppose 5*x + 5*p = 1295, -3*p - 243 = -0*x - x. Suppose -j = -6*j + x. Is j composite?
True
Suppose -a = -3*t + 831990, 5*t + 3*a - 7*a - 1386643 = 0. Is t composite?
False
Let w(h) = -3*h - 2. Let l be w(-2). Suppose -l*t + 2*m = -1214, -68 = 2*t + 2*m - 684. Is t prime?
False
Suppose -6*u + 48705 = -u. Is 4/(-22) + (-2 - u/(-33)) prime?
True
Let u(s) = s - 27. Let y be u(-14). Let q = y + 60. Is q a prime number?
True
Suppose 20 = -11*i + 16*i. Suppose i*k - 2395 = -k. Is k prime?
True
Let j be 10/(-1*(-2 + 0)). Suppose 15 = 4*b + d, -j*b = -3*d - 2*d. Suppose v = b*v + 4*r - 114, 5*v - 315 = -4*r. Is v a prime number?
True
Suppose -5 = 5*g, 5*q - 12019 = 4*g - 63505. Is (0 - 1)*q + (2 - 3) prime?
False
Let z(v) = -26*v**3 + 6*v**2 + 9*v + 11. Is z(-6) a composite number?
True
Suppose -5*d - 12 = -4*h + 6, 2 = 2*h + d. Suppose -h*c = 3*c - 25. Suppose 2*i = c*l - 0*i - 793, -3*l - 3*i + 459 = 0. Is l a prime number?
True
Suppose -60056 = -35*d + 27*d. Is d prime?
True
Suppose 29*q + 36*q - 880685 = 0. Is q a composite number?
True
Suppose 34785 - 125071 = -14*l. Is l a prime number?
True
Let o(d) be the third derivative of -d**4/8 + 2*d**3/3 - d**2. Suppose m + 8 = -1. Is o(m) prime?
True
Let t = -4211 - -18646. Is t a composite number?
True
Let b(p) = 2*p**3 + p**2 - 18*p + 6. Let y be b(-4). Let a = 251 + 18. Let h = a + y. Is h a composite number?
True
Let q = -26 + 42. Let w = q - 13. Suppose -2*a + 302 = -4*v, 0 = -w*v - 3 - 0. Is a prime?
True
Let q = -17256 + 24349. Is q prime?
False
Let i(v) = 2046*v - 9. Is i(2) prime?
False
Let d be 1/(((-2)/4)/(15/(-6))). Suppose 0 = 