*w, -3*w = t - 8. Is t prime?
False
Suppose 6*o = 3*o - 54. Is (-533)/(-9) + o/81 a prime number?
True
Suppose 0 = 2*c + 2*c - 5*p - 1252, p - 1536 = -5*c. Suppose -n = -c - 131. Is n prime?
True
Suppose 4*p = -3*m + 495, 0 = -4*m + 2*m + 3*p + 313. Is m composite?
True
Let j be 12/(-18) + 2254/(-3). Is (j/24)/((-4)/6) a prime number?
True
Let g(s) = 9*s**2 + 28*s - 17. Is g(-18) composite?
True
Suppose 0 = -5*p, -4*y + 4*p - 3*p - 40 = 0. Let t = y + 6. Is (2/t)/((-4)/264) a composite number?
True
Let o(g) be the third derivative of g**4/12 - g**3/3 - g**2. Let x be o(2). Suppose 5 + 3 = x*s. Is s a prime number?
False
Suppose -3*o = 5 - 14. Is o + (156 - (-3 + 3)) a composite number?
True
Let g(h) = h - 3 - 4*h - 8*h - 4. Is g(-4) a composite number?
False
Let s be (-1 - 9)*2/(-5). Suppose 0 = -2*i + s*i - 110. Suppose p - 4 = -4*f - 10, 5*p + 3*f - i = 0. Is p prime?
False
Suppose -m + 3224 = f, 3*m - 9675 = -3*f + f. Is m a prime number?
False
Suppose -208 = h - 0*h. Let d be 21/2*h/(-12). Suppose -y = y - d. Is y a composite number?
True
Suppose -924 - 232 = -4*v. Is v a prime number?
False
Let k(r) = -r**2 - 6*r + 2. Let x be 56/(-10) + (-8)/20. Let o be k(x). Suppose 3*b - 4*b + o*p + 67 = 0, 244 = 4*b - 2*p. Is b a prime number?
True
Suppose 2*q = -2*u + q + 14, 4*q - 36 = -4*u. Suppose -u*l + 206 + 9 = 0. Is l prime?
True
Let k = 13 - 10. Suppose -93 = -0*u - k*u. Is u a prime number?
True
Let j be ((-2)/3)/((-3)/9). Suppose -j*u - 20 = 3*u. Is 4*2/(u/(-19)) a composite number?
True
Let o(c) = c**2 + 4*c + 109. Is o(0) prime?
True
Let a = 0 + -9. Let p be (a + -1)*(-45)/10. Suppose -2*o + 7*o = p. Is o a prime number?
False
Let w = 2651 + -918. Is w composite?
False
Let b = 21 + -17. Suppose w + 3*s + 2 - 14 = 0, b*w - 3*s = 93. Is w a prime number?
False
Let a = -9 + 12. Is 3 + -73*(-5 + a) a composite number?
False
Suppose 0 = -5*q + q - g + 3403, -q + 846 = 5*g. Is q prime?
False
Is (4 - 614)/(-5) + -3 a prime number?
False
Let k(r) = 33*r - 4. Let i(s) = 67*s - 9. Let f(n) = -6*i(n) + 13*k(n). Let p be f(-3). Let a = -2 - p. Is a a composite number?
True
Let d = 311 + -156. Is d prime?
False
Let u(o) = 24*o - 13. Suppose h + 24 = 2*t, 0 = t + 3*t - h - 46. Is u(t) composite?
False
Let q(y) = 9*y**2 + 3*y + 1. Is q(4) a composite number?
False
Is 14070/24 + 2/(-8) a composite number?
True
Let h(q) = -97*q - 6. Let x(t) be the third derivative of 2*t**4 + t**3/2 + 2*t**2. Let k(z) = -4*h(z) - 9*x(z). Is k(-2) prime?
False
Let m(y) = -2 + 6*y**3 - 3*y**2 + 2*y - 7*y**3 + 2*y**3. Let v(u) = 5*u - 1. Let r be v(1). Is m(r) a composite number?
True
Is (-1 - 1) + 2 + 304 + -6 prime?
False
Let n(f) = 161*f**2 + f - 1. Is n(4) a prime number?
True
Suppose 5*o = -3*j + 2841, -3*j + 3*o = -2319 - 522. Is j prime?
True
Let f(d) be the first derivative of -d**2 + 1 - 4*d + 1/3*d**3. Is f(-5) a prime number?
True
Suppose 2*z + 2*z = 12. Suppose -n - z*n + 60 = 0. Is n composite?
True
Suppose -13*r = -9*r + 296. Let u = 871 + r. Is u a composite number?
False
Let g = -5 - -7. Suppose 1 = -g*m + 11. Suppose 4*z = -m*q + 443, -z + 4*z - 180 = -2*q. Is q a composite number?
True
Is 4/14 - 1/(-7)*5801 a prime number?
True
Let g(z) = z**3 + 8*z**2 + 2*z + 11. Let i be g(-8). Is ((-2445)/(-6))/i*-2 a prime number?
True
Suppose -v = 2*v - 6. Is (-470)/4*(-4)/v composite?
True
Suppose -b = -0*b + 2*a + 9, a = b - 6. Let k be 4/(-8)*(b - -205). Let z = k - -170. Is z prime?
True
Is (5 + 101)*1/2 a composite number?
False
Suppose l + 264 = 1163. Is l a prime number?
False
Let j(o) = 9*o + 20. Is j(6) a prime number?
False
Let p(q) = -30*q + 1. Let n be p(-1). Let r = n + -5. Suppose 4*u - 6*u = -r. Is u a prime number?
True
Suppose 0 = -0*i + 2*i - 24. Suppose 5*d - i - 38 = 0. Is (0 - (1 + -2))*d a composite number?
True
Let r(g) be the first derivative of -3*g**4 + 2*g**3/3 + g**2 + g - 6. Suppose z - 1 = 2*z. Is r(z) prime?
True
Let z = -189 - -300. Is z composite?
True
Let r be (76/10)/(1/5). Suppose 0*g = g + 5*m - 21, -4*g + r = -3*m. Is g composite?
False
Let n be (-1)/(1212/(-1209) + 1). Suppose 113 = -2*u + n. Suppose 3*d = 5*q - u, 0*q + q = -4*d + 6. Is q a composite number?
True
Is (1 - -1) + (1 - -64) a prime number?
True
Suppose 4*t - 3*t = 10. Suppose -5*x + t = -10. Suppose -o + 3*b + 44 = -2*b, 2*o - 94 = x*b. Is o a composite number?
True
Let x(t) = t**2 + 2*t - 1. Let y be x(-3). Let o(h) = -h**3 - 9*h**2 - 7*h + 10. Let m be o(-8). Suppose -m*s = y*s - 40. Is s a composite number?
True
Let b be 209/4 + 5/(-20). Suppose 2*o + 4*v = -v + b, 0 = -5*v - 10. Suppose o = -2*a + 3*a. Is a a prime number?
True
Suppose -5*p - 45 = -2*p. Is (-5)/p + 652/6 a prime number?
True
Let d(s) = s**3 + 4*s**2 + 3*s - 4. Let a be d(-3). Let x be (4/5)/(a/(-10)). Suppose x*q - 7 = 19. Is q a composite number?
False
Let i = -23 + 32. Let c = -4 + i. Let s = 18 - c. Is s a prime number?
True
Is 631/5 - (-40)/50 prime?
True
Let v = 6 - 5. Is ((-13)/3)/(v/(-33)) a prime number?
False
Suppose 0 = -7*h + 7518 + 2051. Is h prime?
True
Suppose 5*w - 21 = -3*c, -4*c = 3*w - 24 + 7. Suppose w*q = 6*q - 669. Is q a composite number?
False
Suppose -5*t + 2*t + 42 = 0. Is 654/t - 6/(-21) prime?
True
Suppose -4*w = f + 12, -2*f - 4*w = 16 - 0. Let y be 21/4 + 1/f. Suppose -y*x - 3*h = -248, -97 = 3*x - 5*x + h. Is x a composite number?
True
Let q = -2366 + 4659. Is q a prime number?
True
Let w(y) be the second derivative of 1/3*y**4 + 0 - 1/2*y**3 - y - 1/2*y**2. Is w(-2) composite?
True
Let a(g) = -5*g + 2. Let t be a(-4). Suppose m + 0*m = t. Is m composite?
True
Let v(t) be the second derivative of 23/3*t**3 - 1/2*t**2 + 0 - 2*t. Is v(2) prime?
False
Suppose 2*h + 7 = y, 0 = -4*h + 3*y + 2*y + 1. Let w(d) = 2 - 30*d + 4 - 1. Is w(h) prime?
False
Suppose 0 = -5*o + 2*o + 3*m + 315, -2*o + 217 = 5*m. Is o a composite number?
True
Let p = 46 - -141. Is p a prime number?
False
Let h = -1079 - -1944. Is h a prime number?
False
Let u(q) = -316*q - 1. Is u(-2) a prime number?
True
Suppose -2*p - 20 = -666. Suppose 0*t - 3*m = -t + p, 0 = -3*m + 6. Is t composite?
True
Is 6 - 2 - (-89 - -10) a composite number?
False
Let y be (-46)/(-12) + 1/6. Suppose -y*r = r - 285. Is r a prime number?
False
Suppose 83 = -4*n + 315. Is n a composite number?
True
Let c be 2 + (-1 + -2 - -1). Suppose -5*j + 191 = -4*g, c = 4*j - 3*j - g - 39. Suppose -k = -l + j, -5*l = 2*k + 2*k - 139. Is l composite?
False
Suppose -4*x = 19 + 61. Let w = x - -103. Is w composite?
False
Let i be (0 + 3)/(-1 - -2). Suppose -5*l + l + 132 = u, -5*l + 172 = i*u. Suppose 0 = z - 17 - l. Is z composite?
True
Let u(h) = 1. Let n(c) = c. Let l(p) = n(p) + u(p). Let t be l(2). Suppose 2*r + 21 = v, 71 = t*v + v + 5*r. Is v prime?
True
Is 6/((-6)/(-433)) + 4 a prime number?
False
Suppose -3*v + 0 + 3 = 0. Let d be v - (-102 - (-6)/(-3)). Suppose 0*t = 5*t - d. Is t a composite number?
True
Let s(x) = -2*x**3 + 4*x**2 - 16*x + 11. Let n(y) = -y**3 + 2*y**2 - 8*y + 5. Let i(u) = 5*n(u) - 3*s(u). Is i(7) a composite number?
False
Suppose k = -0*o + 4*o + 345, -o + 1363 = 4*k. Let v = k - 171. Let c = v - 57. Is c a composite number?
False
Let o be (-2 + (-24)/(-15))*-20. Let r = o - 3. Suppose -37 = 3*t - 2*w - 102, -26 = -t + r*w. Is t prime?
False
Let m(l) = -2*l**2 - 2*l + 1. Let u be m(-2). Let x(q) = q**3 + 2*q**2 - 5*q - 4. Let r be x(u). Suppose 71 = 3*z - c - r, -z + 3 = 5*c. Is z a prime number?
True
Let o(a) = a + 13. Let b be o(-9). Suppose 0 = 5*c + b*h - 187, -3 + 123 = 3*c + 5*h. Is c prime?
False
Let t(j) = -115*j + 1. Let b be t(1). Let c be (-1)/(1 + 112/b). Let n = -38 - c. Is n a composite number?
False
Let r = -1709 + 2530. Is r prime?
True
Suppose m = r + 212, 0*m - 854 = -4*m + r. Let i = m + -99. Is i composite?
True
Let h = -241 - -692. Is h a prime number?
False
Is (-2)/(((-16)/(-316))/(-2)) a composite number?
False
Suppose 76 = d - 81. Is d a composite number?
False
Let b = -98 - -195. Let q(i) = -i - 2. Let s be q(-7). Suppose -s*x + 165 = 5*z, -2*z - 4*x + b = z. Is z a prime number?
False
Let a be 31 + (1 + 0 - -1). Suppose 3*y + a = -12. Let c = y + 62. Is c composite?
False
Suppose 4*b - 684 = -5*a, 0 = -b - b + 4*a + 368. Let o be (5/10)/((-1)/(-10)). Suppose p - o*p = 2*n - 154, 