umber?
True
Let t be (2 - 3/2)*-2. Is t/1 - 744/(-1) prime?
True
Let s = -3 + 2. Let b be (-5)/(-2)*8/10. Is s*(b + -16 + 1) a composite number?
False
Let l(k) be the first derivative of k**3 + 9*k**2/2 - k - 1. Let t(v) = 5*v + 3. Let z be t(-2). Is l(z) prime?
True
Is ((-4)/((-4)/(-37)))/(-1) a composite number?
False
Let m(t) = -t**2 + t - 7. Let s = -19 - -13. Let d be m(s). Is 4 - 5 - (-1 + d) prime?
False
Suppose 5*j + 2*o = 1383, -o - 553 = -2*j - 2*o. Suppose -5*f - j = -3*r + 75, -3*r - 2*f + 359 = 0. Is r prime?
False
Let j = 1327 - -228. Is j a prime number?
False
Let m be 150/(4/2)*1. Suppose -u = -4*h - m, -5*u + 0*h = -2*h - 393. Is u prime?
True
Let w = 504 - 239. Is w prime?
False
Let y(i) = -49*i**3 + 5*i**2 + 5*i + 1. Is y(-2) prime?
False
Let m = -13 - -6. Is 270/7 + (-3)/m composite?
True
Let j = 50 - -219. Is j a composite number?
False
Suppose -2*z + 2 = 2*v - 0, -v = 5*z - 5. Suppose v = -4*f + 3*a + 356, -5*a + 324 = 4*f - 0*a. Is f composite?
True
Suppose -7*p + 3*p - 4 = 0. Is 1/(p*(-3)/177) prime?
True
Suppose -z = l - 3, 5*z + 5*l = z + 13. Suppose 5*f - 5*v = 785, -5*v - 43 - 582 = -4*f. Suppose 4*m - z*k = -3*k + 135, -4*m = -4*k - f. Is m composite?
True
Suppose 10*i = 3*i + 1015. Is i a prime number?
False
Let v = 0 - 2. Let k be (5/v)/5*-298. Suppose 0 = -2*o + 5*u + 83, -93 - k = -5*o + u. Is o a composite number?
True
Let f(q) = -111*q - 35. Is f(-6) prime?
True
Let l = 22 - 15. Let k(v) = 4*v**2 - 7*v + 2. Is k(l) a prime number?
True
Suppose y + 78 = -0*y. Let l = -45 - y. Is l a composite number?
True
Let i(c) = -c**3 - 6*c**2 - 3*c - 9. Let s be i(-6). Let q = 187 - 51. Suppose 0 = k - q + s. Is k prime?
True
Suppose -2*x + 717 = -265. Is x a composite number?
False
Suppose 0 = 4*u + c - 13, -2*u - c + 3*c + 14 = 0. Let s = u - 5. Is -2 - (s + 1) - -55 prime?
True
Let f be -2 + (-1 - -1) - 154. Let o = -82 - f. Is o prime?
False
Suppose -2*z = -5*z + 51. Let p = z + 20. Is p a prime number?
True
Let q(x) = 9*x**2 + x - 29. Is q(-12) prime?
False
Let a = -2 + 121. Is a a composite number?
True
Suppose -4*y = 2*u - 6656, 3*y - 2*u + 438 = 5416. Suppose -5*c = -583 - y. Is c a composite number?
False
Is 0*(0/(-1) + 1) + 1031 a prime number?
True
Suppose -4*m + z = -308, -z = m + 40 - 117. Let x = 130 - m. Is x a prime number?
True
Is -3*(-2)/(-3)*(-521)/2 prime?
True
Let q(x) = -x**3 - x**2 + 5*x - 6. Is q(-5) composite?
True
Is 4/18 + (-25788)/(-108) a composite number?
False
Let t(n) = n**2 - 4. Let z be t(3). Suppose 0 = 3*u + 3*r - 0*r - 504, -z*u = 2*r - 828. Let v = -117 + u. Is v composite?
False
Let o(t) = -7*t**3 - t**2 - 3*t - 6. Let r be o(-5). Let x = -540 + r. Is x prime?
False
Let k = 150 + 89. Is k a prime number?
True
Let c = 663 - 356. Is c a composite number?
False
Let p = -203 + 300. Is p composite?
False
Let v(c) = 60*c**2 + 7*c - 24. Is v(5) a composite number?
False
Suppose -2*x + 13534 = 5*u - 3*x, -3*u - 3*x + 8124 = 0. Is u prime?
True
Let q(w) = -w**2 - 14*w - 5. Let i be q(13). Let d = -171 - i. Is d a composite number?
True
Let w = -128 - -607. Is w a composite number?
False
Let d = -2 - -3. Is 2/(d/(231/6)) prime?
False
Suppose 0 = -k + u + 3*u - 12, 4*k - 3*u = 4. Suppose -k*m - 5 = 3. Is (-1 + 2)/(m/(-12)) prime?
False
Suppose 2*k - 466 = 5*h + 276, -2*k + 754 = -2*h. Is k composite?
True
Suppose -2*t = 1 + 19. Let b be (-4)/t - 2/5. Suppose 3*l + 0*l - 12 = b. Is l composite?
True
Suppose 103 = 7*s - 6*s. Is s a composite number?
False
Suppose -12 = 4*w - g, 5*w = 3*g - 2*g - 16. Is (2 - 1)*(207 - w) a composite number?
False
Suppose -645 = -m - 4*q, -4*q = -4*m - 121 + 2741. Is m composite?
False
Let y = 230 - -77. Is y prime?
True
Suppose m = -3*m. Let a = m - -19. Is a prime?
True
Let d = -772 + 2133. Is d composite?
False
Let p = -13 + 14. Let w(l) = 77*l**2 - l + 1. Is w(p) a composite number?
True
Suppose -4*a = -a + 30. Let v = a + 47. Is v a prime number?
True
Let b(f) = -f**2 + 4*f + 7. Suppose 15 = z + 2*z. Let y be b(z). Is 1/y*0 + 9 composite?
True
Let u(z) = -2*z + 3. Let o be u(2). Let s(k) = -3*k**3 - 10*k**2 - 5*k + 9. Let c(i) = i**3 - i. Let g(y) = o*s(y) - 2*c(y). Is g(-7) a composite number?
False
Let f(l) = -l**3 + 3*l**2 + 3*l - 2. Let m = 0 + 3. Let i be f(m). Suppose 0 = 3*z - i - 26. Is z a composite number?
False
Let v = 267 - -32. Is v a prime number?
False
Suppose 4*g = 6*g - 4. Suppose -t = g*t - 819. Suppose -q - t = -4*q. Is q composite?
True
Suppose 0 = -17*h + 13*h + 8804. Is h a prime number?
False
Suppose 28 = 4*r - 4*w, 0*r - 3 = r + w. Is (-226)/(-6) + r/(-3) a prime number?
True
Let y(b) = -2*b**2 - 6*b - 1. Let x be y(5). Suppose -3*t + 5*p + 653 = 0, 0 = 5*t - t - 5*p - 879. Let v = t + x. Is v a composite number?
True
Suppose -4*t - 1 = 3*k + 7, 0 = -k - t - 2. Suppose -2*c = -k*c. Suppose 4*s - 619 - 1 = c. Is s a prime number?
False
Suppose t - 7 + 2 = 0. Suppose v = n + 69, 2*n = -2*v + t*n + 133. Is v a prime number?
False
Suppose 2*l + 3*f - 155 - 89 = 0, -2*f - 472 = -4*l. Is l a prime number?
False
Let n(u) = -4*u - 9. Let a(r) = 19*r + 44. Let v(i) = 2*a(i) + 11*n(i). Is v(-9) prime?
True
Let d = 914 + 21. Suppose d = 7*i - 2*i. Is i prime?
False
Let f(c) = -27*c + 2. Suppose -3*a = 3*i + i + 4, 4*a + 1 = -i. Let x be (0 - (a + -1)) + -8. Is f(x) composite?
False
Let m = -1 - 3. Let k be 54/2 + (-11 - -14). Is (k/(-9))/(m/18) composite?
True
Let r(j) be the third derivative of 31*j**5/60 + j**4/24 - j**3/6 - 4*j**2. Is r(1) composite?
False
Suppose 2*y - 3*r - 16 = 3, 4*y = -4*r + 28. Suppose -3*u - 95 = -y*u. Is u a prime number?
True
Suppose -2 = 2*k, -2*k + 408 = 2*s + 2*k. Is s a composite number?
True
Let m(v) be the first derivative of v**4/4 + v**3/3 + v + 5. Suppose -4*f = -4, 2*u + 8 = 4*u + 4*f. Is m(u) a prime number?
True
Suppose 8*k - 3316 = 4*k. Is k prime?
True
Suppose -2*d = 9*d - 6479. Is d composite?
True
Let x = 579 - 260. Is x a composite number?
True
Let f(p) = 35*p - 1. Let r(o) be the first derivative of 175*o**2/2 - 5*o - 1. Let w(j) = 11*f(j) - 2*r(j). Is w(2) prime?
False
Let d(j) = j**3 + 18*j**2 + 16*j + 10. Suppose 4*l - 42 = 2*p, -2*p + 6*p + 2*l = -54. Is d(p) a prime number?
False
Let h = -29 - -116. Let a = h + -50. Is a a prime number?
True
Let i = -2 - -4. Suppose -i*s + 31 = 5. Suppose s = 4*n - 75. Is n a prime number?
False
Let v(y) = -y**3 + y**2 - y + 1. Let u(d) = 6*d**3 - 4*d**2 + 5*d + 356. Let o(w) = u(w) + 5*v(w). Is o(0) a prime number?
False
Let z(r) = -361*r - 6. Is z(-3) composite?
True
Suppose 0 = 5*l - 0 + 5. Is (l*2)/((-4)/298) prime?
True
Is (-7)/(14/3)*-6 prime?
False
Let l(w) = 2*w**2 + 4*w + 4. Let b be l(-3). Suppose -b = 3*u - 8*u. Suppose 132 = u*x + 34. Is x a prime number?
False
Let x = -13 - -52. Suppose x + 85 = 4*v. Is v a prime number?
True
Let a = 5 - 2. Is (-34)/4*-68 + a a prime number?
False
Let n(h) = 449*h**2 - 2*h - 3. Is n(-2) a composite number?
True
Let h be (-28)/(6/3) + 2. Let l be (-1 - 4)*h/10. Is (l/2)/3 - -84 composite?
True
Let m be 0*-1*(-1)/(-2). Suppose m*w = -w + 39. Is w composite?
True
Let c = 4 - 2. Let l be c + 10/1 + -3. Let b = 56 - l. Is b prime?
True
Suppose n = 3*p + 3719, 7072 = 3*n + 2*p - 4063. Is n composite?
True
Let g(j) = -j**3 + 5*j**2 - j + 1. Suppose 0*t = -t + 4. Is g(t) a prime number?
True
Is (4*8286/60)/((-2)/(-5)) composite?
False
Let l(z) be the second derivative of 19*z**4/6 - z**3/6 + 3*z. Is l(-1) prime?
False
Let n = -3 - -4. Suppose n = 4*c - 7. Is (c/(-4))/(3/(-510)) composite?
True
Let g(f) = 20*f. Let b be g(-4). Let j = -1 - b. Is j a prime number?
True
Let c = -3 + -10. Let j = c + 3. Is (-2)/j - (-64)/5 a composite number?
False
Let a(u) = 98*u - 4. Let o be a(5). Suppose 0 = 3*j - o + 69. Is j a composite number?
False
Let j(w) = w - 5. Let o(u) = 3*u + 1. Let t be o(2). Is j(t) composite?
False
Suppose -2*y + 6*y = 0. Suppose y = 5*z - 4*r - 0*r - 43, -z = 4*r + 1. Is z prime?
True
Suppose -6*m - 359 = -5*u - 3*m, -u + 5*m = -63. Suppose 0 = -5*i - 3*l + 46 - 268, -176 = 4*i + 2*l. Let b = i + u. Is b composite?
False
Suppose -3*l = 2*l - 5555. Is l composite?
True
Suppose 5*q - 50 = 5*i, 0 = 3*i - 4*i. Let z(h) = h**3 - 10*h**2 + 12*h - 1. Is z(q) composite?
True
Suppose 5*c - 4*o - 3163 = 0, 5*c - 5*