 -2*w + 3 - j. Is t(w) a prime number?
True
Suppose 3*s - s = -28. Let h = 201 + s. Is h a prime number?
False
Let b be -15 - 2*2/4. Let r = b - -29. Let o = r - -2. Is o composite?
True
Let i be (0 + -1)/(3 - 2). Let p = 4 + i. Suppose 115 + 122 = p*b. Is b a composite number?
False
Let x(k) = 146*k**2 - 2*k - 1. Let o(n) = -583*n**2 + 9*n + 5. Let i(g) = 2*o(g) + 9*x(g). Is i(-1) a composite number?
False
Let u be 4/(-22) + 92/22. Suppose -11 = -t - 4*x + 1, u*t = -x + 18. Suppose 370 + 90 = t*p. Is p prime?
False
Let b = 47 - 11. Let u = b + -26. Is u prime?
False
Let w = -21 - -36. Is (-59 - -2)*(-35)/w prime?
False
Let n be ((-3)/(-6))/((-2)/(-1648)). Let b = -191 + n. Is b composite?
True
Suppose 4*q = -0*q - 1660. Is q/(-7) + (-2)/7 a prime number?
True
Let z(b) = -2 + 6*b - 1 + 0 - 3. Let x be z(4). Suppose -x - 87 = -3*t. Is t a composite number?
True
Let o(p) = 5*p**2 + p + 3. Let q be -4*(9/3)/3. Is o(q) prime?
True
Let x(w) = w + 9. Suppose -4*q - 43 = -5*t, -q - t - 2 - 2 = 0. Let p be x(q). Is 2 - (-158 + (-2)/p) composite?
True
Suppose w - 2909 = 750. Is w composite?
False
Let l(n) = -n**2 + 10*n - 5. Is l(6) a prime number?
True
Suppose 0 = -2*z - 98 + 712. Is z a composite number?
False
Is 2302/3 - (-25)/(-75) composite?
True
Let v(f) = -3 + 0*f + 4 - 10*f. Let m(p) = p**2 - 5*p - 3. Let s be m(5). Is v(s) a prime number?
True
Suppose 7*w = 4*w. Is (w - 1)/((-8)/368) a composite number?
True
Let b(r) = -r**3 + 4*r**2 + 2*r - 6. Let o be b(4). Is o/(-5 + 3) + 84 a prime number?
True
Suppose -2*f - 39 = -3*f. Let a be -9*(-2 - f/9). Suppose 2*v - 2*q + 19 = 3*v, -3*v + a = q. Is v a prime number?
True
Suppose 5*h - 16 = h. Is 57 - 1 - (-1 + h) a prime number?
True
Suppose 3*b + 5*t - 1898 = 0, -3*b + 1270 = -4*t - 619. Is b composite?
False
Let f be (30/(-25))/((-6)/20). Suppose -f*q = -0*q - 780. Let n = q + -106. Is n a composite number?
False
Let j be (135/6)/((-3)/6). Is ((-10)/3)/(10/j) a composite number?
True
Let b = 18 - 11. Suppose b + 205 = 2*o. Is o a composite number?
True
Let h be (-16)/1 - 0/3. Let m be h/(-2) - (0 - -2). Is (m/(-4))/((-2)/4) a composite number?
False
Let h(f) be the first derivative of f**4/2 - 4*f**3/3 - 7*f**2/2 + 4*f - 3. Is h(5) prime?
False
Let q(r) = -r + 30. Is q(-19) prime?
False
Let v be (-400)/(-12)*54/5. Suppose v = x + 101. Is x composite?
True
Suppose u - 197 - 244 = 2*t, 0 = -2*t - 10. Is u a prime number?
True
Let u(p) = 208*p. Suppose 0 = -8*w + 5*w + 6. Let h be u(w). Suppose 5*r - 1073 = 4*f, 2*r = 5*f + h + 20. Is r composite?
True
Let v(y) be the second derivative of -y**4/2 - 5*y**3/6 - 7*y**2/2 + 2*y. Let w be v(5). Is (2/4 - 1)*w a composite number?
True
Let o(n) = -3*n**3 - 18*n**2 + 3*n + 17. Let b(r) = 3 + r - 6*r**2 - r**3 + 1 + 2. Let c(i) = 7*b(i) - 2*o(i). Is c(-6) composite?
False
Let m(h) = -h**2 - 3*h + 3. Let s be (-2)/(-7) - (-23)/(-7). Let z be m(s). Suppose 32 = z*u + 5*i, 0 = -u - 3*i - 0*i + 8. Is u a prime number?
False
Suppose 0 = -4*t + 1411 - 571. Let g = t + 199. Is g prime?
True
Let n be 52/6*(-15)/(-5). Suppose -2*r = -150 - n. Let j = r - 54. Is j prime?
False
Let p(a) = a**2 + a + 1511. Is p(0) a composite number?
False
Let u(s) = s**3 - s**2 - s + 2. Let a = 5 - 3. Let b be u(a). Is (-76)/(-12) - b/(-6) a composite number?
False
Let d = 14 + 323. Is d a prime number?
True
Let g(j) = -j + 2. Is g(0) prime?
True
Let j be (-7)/21 - 22/6. Is (j/6)/(22/(-1155)) prime?
False
Let p = 12 - 26. Let u = p - -79. Suppose -3*i + 49 = -u. Is i a prime number?
False
Suppose -8*f + 22290 + 99782 = 0. Is f a composite number?
False
Let k = -10 - -4. Is ((-105)/k)/(1/2) prime?
False
Suppose -3*d + 5*w = -325, 2*d - 218 = -0*w + 2*w. Suppose 0*q - 5*q + d = 0. Is q prime?
False
Let n = -16 - -20. Suppose -3*y + 35 = 2*h, n*h - 2*y - 78 = -0*y. Is h prime?
True
Suppose 0 = -4*n + 43 + 209. Let q = 96 - n. Is q a composite number?
True
Let z = 3 - 2. Let a = 3 - z. Suppose -a*y = -y - 3. Is y prime?
True
Is 8/36 - 2624/(-18) a composite number?
True
Suppose 4*i + 508 = 8*i. Let g = 107 - 62. Suppose 6*h = -3*c + h + i, g = c + h. Is c prime?
False
Let o = 52 - -36. Suppose -3*g + 287 - 19 = z, -o = -g + z. Is g composite?
False
Let l(x) = -x**3 + 7*x**2 - 6*x + 1. Let c = -7 + 13. Let s be l(c). Let r(k) = 31*k. Is r(s) a composite number?
False
Let n = 136 - -52. Is n/(-16)*(-9 + 1) a prime number?
False
Suppose -3*b + 6 = 2*r + 2*r, -5*b - 4 = 2*r. Let l = 5 + b. Is l prime?
True
Suppose -2*o - 924 + 149 = -5*d, d + 5*o - 182 = 0. Is d composite?
False
Let a(z) = -z + 1111. Is a(0) prime?
False
Let v be ((-3)/9*0)/(-2). Suppose -5*l + 5*r + 50 = v, -2*r - 25 = -4*l + 15. Is l a composite number?
True
Let v be 4/10 - (-18)/30. Is ((-6)/4)/(v/(-38)) composite?
True
Suppose 0 = -3*v - 8 + 23. Suppose g - 3*x - 14 = 0, v*g + 5*x = x - 6. Let m(h) = 12*h**2 + 3*h - 1. Is m(g) prime?
True
Suppose -2*d + 2*i - 7*i + 19 = 0, 0 = 3*d + 3*i - 15. Suppose 95 = d*a - 11. Is a prime?
True
Let d = 231 + -138. Is (d - 0)*12/18 prime?
False
Let w(t) = 5*t**2 + 28*t + 13. Is w(-12) a composite number?
False
Let x be 6965/28*(-8)/(-2). Let g = x - 622. Is g a prime number?
True
Suppose 35 = 2*p - 53. Suppose -4*k + c = 29, -4*k - p = -2*c - 2*c. Is (k/(-3))/6*105 a composite number?
True
Let a(t) = t**2 + 5*t - 4. Suppose -g + 4*g + 20 = -j, -5*g - 20 = -j. Let q be a(g). Is (-6)/(-3) + q - -49 prime?
True
Let j(u) = -u**2 - 13*u - 9. Let l be j(-12). Suppose 5*m = 7*d - 6*d + 2425, -4*m + 1940 = l*d. Is m a prime number?
False
Let y = -425 - -815. Suppose -5*o + y = 4*g, -2*o + 191 - 53 = -2*g. Is o a prime number?
False
Let o = 21 - 48. Let a = o + 64. Is a composite?
False
Let p = -393 - -1142. Is p a composite number?
True
Let y(g) = 29*g**3 - 2*g**2 + g - 3. Is y(2) prime?
True
Let u(y) = -y**2 + 7*y - 4. Let t be u(5). Is 717/9 + (-4)/t a composite number?
False
Is 1790/12 - 10/60 prime?
True
Let o(y) = y + 8. Let s be o(-6). Suppose 4 = s*r - 22. Suppose 5*c = r + 2, -3*w = -c - 114. Is w a composite number?
True
Is (2/(-2))/((-5)/595) a prime number?
False
Suppose 1197 = 4*v - 5*g, 2*v + g - 566 = -3*g. Is v a composite number?
False
Suppose -4*g + 0*g = -2804. Is g prime?
True
Suppose 3*j + 5 = 17. Suppose -j*z = -68 - 136. Is z prime?
False
Let u(g) = 16*g - 1. Suppose 2*d = -5*q - 11, 2*d = -d - 4*q - 6. Let o be u(d). Let k = 64 + o. Is k prime?
False
Suppose 1220 + 322 = g + 5*m, 3*m = -2*g + 3049. Is g composite?
True
Let d(w) = -2*w**3 + 4*w**2 - 3*w. Let k be d(2). Is (-585)/k + (-1)/2 composite?
False
Let u = -17 + 19. Suppose -5*h + 1784 = z, 0 = -2*z - u*z + 4*h + 7208. Is z a composite number?
True
Let z = -8 + 12. Suppose 4*l - z*p = -64, 2*l = 6*l + p + 44. Let o = 31 + l. Is o composite?
False
Let w = 2 + 2. Let r(d) = 4*d**2 - d - 5. Let l be r(w). Suppose -4*u + 9*u - 155 = -4*j, -5*u - l = -2*j. Is j a composite number?
True
Suppose 612 = 4*r + 5*l, -4*l + 14 = -r + 188. Suppose -r = -5*i + 27. Is i a prime number?
True
Let l(n) be the first derivative of n**3/3 - 3*n**2/2 - 3*n + 2. Let x be l(-2). Let j(s) = -s**3 + 9*s**2 - 8*s + 4. Is j(x) a composite number?
True
Suppose 4*z - 5*x - 8469 = -2200, -z = 2*x - 1551. Is z a prime number?
False
Let j be (-21)/(-4) - 1/4. Suppose 0 = -j*p + p + 1492. Is p composite?
False
Is (-8)/52 + (-41058)/(-26) prime?
True
Let q(u) = -6 + u + 6 + 10 - 1. Is q(-6) composite?
False
Let a be (-572)/(-24) - (-1)/6. Suppose -a = -4*y - 0*y. Suppose -2*s + 78 = 2*n - y*n, n = 3*s - 102. Is s a prime number?
False
Let y(m) = m**3 - 8. Let f be y(0). Let z = f + 57. Is z a composite number?
True
Let h(k) = -k**3 + 3*k**2 + 12*k + 13. Is h(-7) a prime number?
True
Let x(y) = -10*y**3 - 23*y**2 + 13*y + 21. Is x(-11) a composite number?
True
Suppose 5*v = 4*f - 121, -4*v + 2*f = 6*f + 68. Let m be v/(-4) + (-1)/4. Suppose m*a - 21 = 2*a. Is a a prime number?
True
Let n(o) = -o - 4. Let i be n(-6). Suppose -4*k + 188 = -0*k. Suppose k = i*z - 131. Is z a composite number?
False
Let y(j) = 3*j**2 - 5*j - 21. Is y(-5) a composite number?
False
Suppose 0 = -3*m + 7*m + 12. Let f = m + 102. Suppose -143 = -3*o + 2*x, -2*o + 6*x + f = x. Is o a prime number?
True
Let s(y) = -3*y**3 - 13*y**2 - 12*y - 19. Is s(-10) a composite number