ite number?
True
Suppose -14 = -3*c - 2. Suppose 0*f - 212 = -c*f. Is f a prime number?
True
Let x(d) be the third derivative of d**8/20160 - d**7/840 + d**6/360 - d**5/30 + d**2. Let z(u) be the third derivative of x(u). Is z(6) prime?
True
Suppose -2*h - 5*x = h - 391, -h + 123 = -2*x. Is h a composite number?
False
Let o(t) = -9*t**2 + 8*t + 3. Let h(a) = -a**3 - a**2 + a. Let b(k) = -h(k) + o(k). Is b(8) prime?
True
Let r(n) be the first derivative of -n**2/2 + 31*n - 2. Let g be (-2)/7 + (-2)/(-7). Is r(g) prime?
True
Suppose 5*q + 54 = m, 4*m = 4*q + 2*m + 48. Let h = 15 + q. Suppose 0 = -h*n - i + 275, -n + 2*i + 55 = -0*i. Is n a composite number?
True
Suppose 0 = m - 4*m + 2*p + 125, -3*p = 3*m - 105. Is m composite?
True
Let t(x) = x**3 + 5*x**2 - x. Let s be t(-5). Suppose 2*y = s*y - 93. Is y prime?
True
Suppose 4*w - 9 = -0*w - q, -2*w = 5*q + 9. Suppose 3*o + 5*y - 930 = 0, -w*o + 2*y = -2*o - 299. Is o a composite number?
True
Let l(q) = 2*q**2 - 10*q + 9. Is l(-14) prime?
True
Let u = 1071 + -380. Is u prime?
True
Suppose 5*j + 1340 = 7535. Suppose 0*w = 3*w - j. Is w composite?
True
Is (-3 + 6)*(-191)/(-3) composite?
False
Let l(b) = 8*b**3 - 4*b**2 - 6*b - 7. Let n(z) = 16*z**3 - 7*z**2 - 11*z - 13. Let k(p) = 11*l(p) - 6*n(p). Is k(-4) a prime number?
False
Suppose 3*v + 5*h - 1079 = -351, 1265 = 5*v - 2*h. Is v prime?
True
Let x = -11431 + 17550. Is x prime?
False
Suppose 0 = -2*l - 5*u + 135, -3*l + 190 = -3*u - 44. Suppose 4*m - l = m. Is m a prime number?
False
Is -10 + 12 - (-177 - 2) a composite number?
False
Let p(u) = -7 - u**3 + u + 2 - u**2 + 8*u**2. Let n be p(7). Suppose 0 = 7*k - n*k - 1315. Is k prime?
True
Let f(r) = 23*r**3 - 1. Let k be f(1). Suppose 0 = -3*b - k + 133. Is b composite?
False
Let c(l) = -3*l**3 - 1. Let d be c(-1). Suppose 4*v = d*v - 18. Let o = v + 24. Is o prime?
False
Suppose -m = g + 3, -5*g + 4 = -4*m + 37. Let h = 41 - 16. Suppose -4*x - m*r - r = -853, -h = 5*r. Is x a prime number?
False
Let s be (-4)/1*12/16. Let i be ((-6)/s)/(-1 - -2). Suppose 154 = -0*x + i*x. Is x a prime number?
False
Suppose h - 5*z - 15 = -4*h, 2*h = -2*z - 6. Suppose 3*s + h*i = 2*i + 57, -i = 0. Is s a composite number?
False
Let r(i) be the first derivative of 25/2*i**2 - 3 - 5*i. Is r(4) composite?
True
Suppose 2180 = -10*s + 10570. Is s prime?
True
Suppose 4*f + 3*m - 13 = 0, -8 = -5*f + 2*m - 3*m. Is (f/1)/((-1)/(-403)) a composite number?
True
Suppose -2*v = v - 66. Let g = v + -14. Suppose -3*s - 95 = -g*s. Is s a composite number?
False
Let o be (-2 + 33/(-6))*-46. Suppose -o = -r - 2*r. Let n = -36 + r. Is n a prime number?
True
Let y(u) = 115*u. Let c(v) = v**2 - 4*v - 4. Let g be c(5). Let q = 2 - g. Is y(q) a prime number?
False
Suppose 4*r - 470 = 566. Is r composite?
True
Suppose -5*r = -3*t - 3*r + 97, -5*t + 3*r = -163. Is t composite?
True
Let k = 2 + 0. Suppose 0*m - 16 = k*m. Let i = m - -19. Is i a composite number?
False
Suppose -l + 6 = -0*l. Let w(c) = c**2 - 4*c - 1. Is w(l) prime?
True
Suppose -5*c = -22 - 43. Let n = 14 + -10. Suppose -n*d + c = -3*d. Is d composite?
False
Suppose 5*o - 19 = -49. Let l(j) = j**2 + 8. Let q be l(o). Let x = 81 - q. Is x a composite number?
False
Suppose -q - 12 = -6*q - 3*h, 2*q + 5*h = 1. Let j = 5 - q. Suppose j*k = 6*k + 16, -20 = -4*b + 2*k. Is b a prime number?
True
Suppose 2*y + 66 = y + 5*l, 0 = -3*y + 2*l - 146. Let z = y - -105. Is z a prime number?
True
Let l(t) = t**3 - 3*t**2 + 3*t. Let x be l(2). Suppose 2*b - x = 0, -a + 7 + 11 = -3*b. Is a a composite number?
True
Suppose -w = -343 - 148. Is w prime?
True
Let c(z) = -z**3 + 6*z**2 - 4*z + 5. Let h be c(4). Let o be (33 - 3)*(-6 - -9). Suppose -o - h = -3*y. Is y a composite number?
False
Let x(p) = -2*p + 1. Let b be x(-1). Let t = 3 - b. Suppose 2*y + t*y = 178. Is y a composite number?
False
Let b = 10 + -12. Is (-3)/((-1)/((-4)/b)) a composite number?
True
Let k = 431 + -207. Suppose -3*r = 1 - 7. Suppose -4*l - 750 = -r*h - k, l = -h + 266. Is h composite?
True
Suppose -4*d = -7*d - 4*j + 235, -d - 5*j + 82 = 0. Is d a prime number?
False
Let s = -104 + 178. Is (-1 + 0)/((-2)/s) prime?
True
Let f(b) = -b**3 - 5*b**2 - 6*b - 9. Is f(-10) prime?
False
Suppose -2*n - 3782 = -4*f, -4735 = -0*f - 5*f + 4*n. Is f a prime number?
False
Suppose 3*c - 9*c = -3354. Is c a composite number?
True
Let g = 110 - -75. Is g a prime number?
False
Let i(k) = 3*k**2 - 7*k - 22. Let f(p) = p**2 - 3*p - 11. Let v(o) = -5*f(o) + 2*i(o). Is v(8) prime?
True
Let k(d) = d**3 + 8*d**2 + 8*d + 9. Let i be k(-7). Suppose -r + 3*a = -245, r - i*a - 183 = 58. Is r prime?
True
Suppose 8*l + 41 = 2*c + 3*l, 2*c + 3*l = 49. Is c a composite number?
False
Suppose 3*m - 5*k = 1715, -3*m = 2*m - 5*k - 2845. Is m composite?
True
Let f be 0 - -3 - 3 - -3. Let h(b) = 2*b - 4. Let x be h(5). Suppose f*a = x*a - 159. Is a composite?
False
Suppose -3*s + q = -6*s + 1027, 3*q = 2*s - 670. Is s composite?
True
Let s(v) = v**3 - v**2 + v + 55. Suppose -3*f + 4 = -2. Let j = f - 2. Is s(j) composite?
True
Suppose 0 = 3*j + 5*f - 256, -5*j + 6*f + 440 = f. Is j composite?
True
Suppose -5*n + 2463 - 68 = 0. Is n a composite number?
False
Let m(j) = 18*j + 15. Is m(8) a prime number?
False
Let f(a) = 5*a**3 + 5*a**2 - 4*a - 2. Is f(4) a prime number?
False
Suppose 3*f = -3*u + 1707, 2*f = -2*f + 5*u + 2294. Is f a composite number?
False
Is -4 + 4 - -2 - -57 a prime number?
True
Let p(c) = c**2 - 5*c + 4. Let a be p(4). Suppose 4*k + k - 515 = a. Is k a composite number?
False
Let v = 2115 - 778. Is v a prime number?
False
Let m = 151 - -34. Is m a prime number?
False
Suppose 3*p = -5*b + 30, 2*b + b = -5*p + 34. Suppose -2*o + 25 = -2*f - p, -f = -4. Is o a prime number?
True
Suppose -5*n - 3*i = 12, -n - i - 4 = 2*n. Let c(k) = k**2 + 50. Let o be c(n). Let v = o - 31. Is v a composite number?
False
Let p be (-37282)/(-8) - (-9)/(-36). Is (p/(-8))/5*-2 a prime number?
True
Suppose -3 + 0 = -t. Let q = 3 - t. Suppose 0 = b - q*b - 7. Is b a prime number?
True
Let y be (14/(-4))/(3/(-30)). Suppose p + 20 = u - 17, y = u - 2*p. Is u prime?
False
Suppose -16*q + 30449 = -28703. Is q composite?
False
Suppose -2*q = -3*u + 3, 0*u = -4*q - u + 15. Let x(l) = l**3 + 6*l**2 + l + 12. Let f be x(-6). Is 2*(q - (-591)/f) a composite number?
True
Let y(r) = -r**3 - 6*r**2 - 4*r + 2. Let k be y(-4). Is 4/k - (-657)/21 a composite number?
False
Suppose -5*r + 370 = -75. Is r prime?
True
Let m = 28 - 24. Is m/6 + 326/6 a composite number?
True
Is (-6812)/(-6) - 5/15 prime?
False
Let h = -451 + 1500. Is h a prime number?
True
Suppose 0*l = -3*l + 897. Is l a composite number?
True
Let v(f) = 16*f - 7. Suppose -g + 5*z + 11 = 0, g + 2*z - 4 = -0*z. Is v(g) a composite number?
False
Suppose -2*o + 39 = -3*c + 16, -4*o + c = -21. Suppose 0*b - o*b + 40 = 0. Is b composite?
True
Let b = 126 - 38. Let j = b - 3. Is j prime?
False
Let h(m) = -15*m**2 - m + 1. Let l be h(1). Let y be (8/6)/((-10)/l). Let v = y - -21. Is v a composite number?
False
Let c(m) = -m**2 - 2*m + 50. Let o be c(0). Suppose y = 3*r + o, 0 = 4*y + r - 259 + 20. Is y a composite number?
False
Suppose 5*c = -3*t + 445, -c - 3*t = -34 - 55. Is c a prime number?
True
Let d(u) = -343*u**3 - 2*u - 2. Let c be d(-1). Let b = c + -76. Is b prime?
False
Let x = -938 + 500. Let p = 697 + x. Is p composite?
True
Let y(f) = -f**3 + 6*f**2 + 2*f - 8. Let u be y(6). Let l(q) = -q**3 + 6*q**2 - 3*q + 6. Is l(u) composite?
True
Let s = 1 - -1. Suppose 0*c = -s*c + 108. Is c/2*(-4)/(-12) prime?
False
Is (-3 + 254)/(-1 - -2) composite?
False
Let m = -276 + 629. Is m composite?
False
Suppose -m + 5*m = -16, -4*i + 1748 = -m. Let b = -21 + 24. Suppose -b*w = w - i. Is w a composite number?
False
Let s(h) = 102*h**2 - 6*h + 1. Is s(-4) prime?
True
Suppose 9 = 3*g - 3. Suppose -3*j + g*j = 53. Is j composite?
False
Let f = -50 + 30. Suppose 3*t + 21 = -4*b - 2*t, 5*b + 3*t = -36. Let n = b - f. Is n a composite number?
False
Let b(v) = -v**3 - v**2 - 2. Let f be b(0). Let w be 4 + f + (97 - 0). Suppose 2*d - g = -4*g + 163, d = 2*g + w. Is d a prime number?
True
Suppose -4*z + z + 9 = 0. Suppose z*v = 5*b - 6, v + 8*b = 3*b + 18. Is v a prime number?
True
Suppose 0 = -2*g + 914 + 840. Is g com