a = -2*v + u. Is v composite?
True
Let a(t) be the third derivative of 0*t**4 + 25/6*t**3 + 0*t + 1/60*t**5 - t**2 + 0. Is a(0) a prime number?
False
Suppose -19368 = -8*c + 9776. Is c composite?
False
Suppose -3*i + 4*i = 4. Suppose -2*x - i = -5*s - 195, 0 = -2*x - 4*s + 146. Is x prime?
True
Let v be (-3)/(-9) + (-47)/(-3). Let c be (-2 - -2 - 3)*-3. Let a = c + v. Is a prime?
False
Let f(t) be the third derivative of t**4/24 + 5*t**3/6 + t**2. Let w = 19 + -9. Is f(w) a composite number?
True
Suppose -4*p - 4*b = -40, -5*p + 5*b + 4 = -4*p. Let h = 40 - p. Is h a prime number?
True
Suppose -2*i = 3*i + 505. Suppose -769 = 4*j - 3*v, -4*v = -3*j + 184 - 766. Let u = i - j. Is u a composite number?
False
Let k(c) = -9*c**2 + 5*c - 18. Let g be k(12). Is ((-2)/(-6))/((-2)/g) a prime number?
False
Let x(f) = -2*f**3 - 3*f**2 - 4*f. Let o(r) = 1. Let j(n) = -2*o(n) + x(n). Is j(-2) a composite number?
True
Let u be (-15)/5 + 4*10. Let t = 0 + u. Is t a composite number?
False
Let r(z) = 39*z**2 + z - 7. Is r(-4) prime?
True
Let v(b) = 295*b**3 + 2*b**2 + b + 1. Is v(2) prime?
True
Is (-879)/2*(-90)/27 composite?
True
Suppose t + 3*g + 897 = 4882, 0 = -4*g. Is t prime?
False
Let u be (-8)/3*(-6)/4. Suppose -u*t = -0*t - 436. Is t prime?
True
Is 1469 - ((-14)/(-4) - (-1)/2) composite?
True
Let v(b) = -b**3 + 7*b**2 - b - 9. Let k be v(7). Let m = k + 47. Is m a prime number?
True
Is ((-40)/(-15) + -3)/((-2)/6366) prime?
True
Suppose -c = 6 - 276. Suppose -3 = 3*w + c. Let n = w - -184. Is n composite?
True
Suppose 0 = -3*w + 2 + 4. Suppose w*g + 583 = -2*d + 7*d, 0 = d + 3*g - 103. Is d a composite number?
True
Let d = 18 - 16. Suppose 3461 = 5*q + d*p + 528, 0 = -4*q + 4*p + 2352. Is q composite?
False
Let a = -420 + 1571. Is a a prime number?
True
Suppose -4*p - 20 = -0*p, -n - 2*p = -213. Is n a prime number?
True
Let r(p) = 2*p**3 + 11*p**2 + 15*p + 13. Let o(v) = 2*v**3 + 12*v**2 + 14*v + 13. Let m(g) = -3*o(g) + 2*r(g). Is m(-9) prime?
True
Suppose n + 7*n = 1880. Is n a composite number?
True
Suppose 3*n = 4*w + 8*n - 42, -w = -2*n - 4. Let m be 6/15 + w/5. Suppose i = f + m*i - 38, -i + 5 = 0. Is f prime?
False
Let p = 13 - 11. Is (356/8)/(p/4) a prime number?
True
Suppose 8*q - 3*q = 0. Suppose -3*j = -8*j + 4*i - 16, -3*j - 4*i + 16 = q. Let p = j - -3. Is p a prime number?
True
Suppose 0 = 2*i + i - 33. Is i a composite number?
False
Let o = 5 + -3. Let f(t) = 7*t + 7*t**2 - 4*t**2 + 1 + 2*t**o. Is f(-5) a composite number?
True
Suppose -5*n = 5*l + 50, 0 = -5*l - 4*n - 12 - 36. Let v(z) = -z**3 - 7*z**2 - 4*z - 8. Let f be v(l). Let y = f - -1. Is y composite?
False
Suppose 4*k - 10 = -3*o, 2*o = 2*k - 1 - 11. Let y(b) = k - b + 11*b**2 + 0*b - 3*b**2. Is y(-3) a composite number?
False
Is 4/(-14) - (-35092)/28 a prime number?
False
Let p = -167 - -844. Is p a prime number?
True
Is 21/(-2 + 21/6) a composite number?
True
Let p(m) = 4*m**2 + 5*m. Is p(-7) a prime number?
False
Suppose 14326 = h + 5547. Is h composite?
False
Suppose -71 + 17 = -c. Let j = c - 33. Is j a prime number?
False
Let q(k) be the second derivative of 0 + k - k**2 - 5/2*k**3. Is q(-9) a composite number?
True
Suppose 3*b = 3*f + 1359, 2 = 3*f + 14. Is b prime?
True
Let h(p) = -p**2 - p. Let z be h(-1). Suppose -2*m + 54 = -0*m + 4*k, z = 3*m + 5*k - 77. Is m composite?
False
Suppose 2*k + 17 = 3*i, -7*i + 2*k + 23 = -2*i. Suppose -i*h - 3 = -3*l - 9, 4*h + l + 12 = 0. Is (h/(-6))/(3/1899) a composite number?
False
Suppose 0 = 15*k - 11638 - 13127. Is k a prime number?
False
Let c = 2 + 2. Let x = c - 0. Suppose x*o - 44 - 16 = 0. Is o prime?
False
Let t be 2/(-4) - (-11)/(-2). Let j(l) = 3*l - 4*l - 6*l - 7. Is j(t) a composite number?
True
Is -199*(2 + -4 - -1) composite?
False
Is 78/1 - (3 + 1) composite?
True
Let r(y) = 69*y - 16. Is r(5) a prime number?
False
Let u(d) = -9*d. Let p be u(4). Let i = 76 + p. Let g = i + -5. Is g a composite number?
True
Let y(t) = 458*t**2 - 7*t - 34. Is y(-3) prime?
False
Let w be (1 + -7)*(-307)/(-2). Let x = -550 - w. Is x prime?
False
Let p(i) = -i**2 - 4*i + 12. Let c be p(-6). Suppose c*x - 2*x - 3*u + 1270 = 0, 4*u = -3*x + 1907. Is x prime?
True
Suppose 3*b + 1 + 2 = 3*k, 29 = 3*b + 5*k. Is (-1)/b + (-6840)/(-27) a composite number?
True
Is 22086/(-36)*(-4)/6 prime?
True
Let d = 55 - 115. Let r = 108 + d. Suppose 2*g + 3*c = -2*g + r, -c = -2*g + 34. Is g prime?
False
Let p be (1 - -32) + 1*-2. Suppose -4*l - o + p = 2*o, 3*l = 5*o - 13. Suppose 5*u + 3*j - 113 = 0, l*j = -2*u - u + 59. Is u a prime number?
False
Let p = -109 + 568. Let d = 874 - p. Is d a composite number?
True
Let p = 68 + 425. Let r = -294 + p. Is r composite?
False
Let l be (-45)/(-60) + 10/8. Suppose -l*h + 2095 = 3*h. Is h composite?
False
Let f(b) = 3*b**2 + 4*b + 10. Let a be f(-7). Is a - (6/1)/(-3) a composite number?
False
Let q(p) = -p + 13. Let w(c) = -c + 6. Let d(r) = -3*q(r) + 7*w(r). Is d(-4) composite?
False
Suppose -v = -1113 - 146. Is v a composite number?
False
Let g(l) = l + 2. Let m be g(2). Suppose -3*w + 205 = m. Is w prime?
True
Is 39/65 - ((-2462)/5 + 0) a prime number?
False
Let x(f) = 2*f + f - 2 + 0*f**2 - f + f**2. Is x(-6) composite?
True
Suppose 2*n + 15 = 7*n. Let g = n + 76. Is g a prime number?
True
Let x(d) = -5 + 2 + 10*d + 1 + 2*d. Is x(2) composite?
True
Let w = 22 + -14. Let x(z) = z**3 - 4*z**2 + 3*z - 7. Let l be x(w). Suppose -1 = 4*m + 3, -4*u + l = -5*m. Is u composite?
False
Is 380 + 1 + 0/(-23) prime?
False
Suppose 5*d - 5*w = 0, 0 - 7 = -4*d - 3*w. Is d - -23 - 16/8 a prime number?
False
Let g be 1/(-4) + 9000/32. Suppose -15 - g = -4*b. Is b a composite number?
True
Let m = -30 - -12. Is (-476)/(-36) - (-4)/m prime?
True
Suppose i - 5 = 6*i. Let s be (1/i*0)/2. Suppose -2*t = -s*t - 14. Is t composite?
False
Suppose -3*q + 7*q - 1395 = -v, -3*v + 3*q = -4245. Is v a prime number?
False
Suppose 0*u - 4*u + 20 = 0. Let a(d) = 3*d**2 - d + 16. Let r be a(-7). Suppose u*c - r = 1065. Is c prime?
False
Let s be (2 + 1)/(2 - 1). Suppose -2*y + x = -y, 3*y = 2*x + 4. Suppose 163 = n - s*p + 33, -2*n - y*p = -250. Is n composite?
False
Suppose -5*h = -4*h. Suppose c - v - 20 = h, c + 2*v + 2*v - 45 = 0. Is c prime?
False
Let s be 3/9*2*6. Suppose j = -3*j + s. Is 0 + j*(189 - -2) a composite number?
False
Suppose -2091 = -i - 2*x, -2*x + 1107 = 4*i - 7281. Is i a composite number?
False
Suppose 34 = -3*d + 5*x, -3*d - 2*x + 3*x - 14 = 0. Let u be (d/6)/((-1)/(-40)). Let s = -9 - u. Is s a composite number?
False
Is ((356/16)/((-2)/8))/(-1) a composite number?
False
Let f be (-201)/(-3 - -2 - 0). Let v = 12 - 6. Suppose -3*c = -v*c + f. Is c a composite number?
False
Let t = 22 - 17. Suppose t*u - 4*u - 217 = 0. Is u prime?
False
Let f = -32 - -103. Suppose 0 = -5*n + 134 + f. Let m = n + -26. Is m composite?
True
Let g = -2 + 5. Let t(p) = -p**2 + 4*p - 1. Let k be t(g). Suppose -a - a = -2*q - k, 4*q = 3*a. Is q composite?
False
Let b = -4 + 6. Let u(c) = -3*c**2 + c**2 + 2 + c**b + 3*c**2 + c. Is u(3) prime?
True
Let i be (-1)/3 - (-249)/(-9). Let o be (63/3)/(1/(-2)). Let h = i - o. Is h a composite number?
True
Suppose -535 = -2*y - 0*y - 3*x, 4*y = 5*x + 1081. Is y prime?
True
Let n(y) = y**3 - 19*y**2 + 18*y - 1. Let r be n(18). Let g(d) = -2*d**2 + 3*d. Let i be g(2). Is (r/(2/452))/i a prime number?
True
Let l(s) = s**2 - 2. Let f be l(-7). Suppose k = 168 + f. Is k a composite number?
True
Let h(b) = 4*b**2 - 7*b - 5. Is h(-4) composite?
True
Let d(p) = 15*p**2 + 8*p + 9. Is d(-4) composite?
True
Let b = 68 + -40. Is ((-11)/(-2))/(2/b) composite?
True
Let p be -2 - 0/1 - -12. Let s(f) = -f - 5. Let r be s(-6). Let b = p - r. Is b a composite number?
True
Let o(x) = x**3 + 3*x**2 + 3*x + 4. Let f be o(-3). Let g(k) = k**2 + 1. Let z be g(f). Suppose 0*p - p = -h - z, -3*h = p - 22. Is p composite?
True
Suppose a = 5*k + 1129 + 3596, -4*k - 3*a - 3761 = 0. Let x = -605 - k. Suppose 5*w + 0*w - 3*d = x, -4*w - 4*d + 284 = 0. Is w a composite number?
True
Suppose -3*c = -3*d - 1266, -3*d + 447 = c + d. Is c a composite number?
True
Suppose -2*i = 3*i. Suppose i = -2*b + 2*u + 84, -2*b - 4*u + 54 = -0*b. Is b prime?
True
Suppose w - 215 - 662 = 0. Is w composite?
False
Suppose -3 - 31 = 2*k. Let w = k 