) composite?
True
Let a = 14 + -14. Suppose a = -5*t - 3*f - 3, 0*t - 1 = -t + f. Suppose -5*j = -4*o - 1235, t = -2*j - 2*j - 2*o + 988. Is j composite?
True
Let v(b) = b**3 - b**2 + b - 1. Let n(d) = -9*d**3 + 7*d**2 - 6*d + 1. Let k(r) = n(r) + 4*v(r). Is k(-5) a prime number?
False
Let z(r) = 6*r**2 + 3*r + 4. Let i be z(7). Let q = -62 + i. Is q composite?
False
Suppose 5*t - t - j - 177 = 0, 0 = -2*t - 4*j + 84. Is (3 + 1)*3729/t a composite number?
True
Suppose -z + 4*z - 4200 = g, 4*z - 2*g - 5602 = 0. Is z a prime number?
True
Let t(y) = -653*y + 220. Is t(-7) prime?
False
Let t be 6/(3 + -1) - -27. Suppose 4 = -26*h + t*h. Is (-2 + h)/(3/(-573)) a prime number?
True
Suppose -16*k + 137379 = 17*k. Is k a composite number?
True
Let o(z) = z - 9. Let l be o(14). Suppose -l*c + 3*c + 238 = 0. Is c a composite number?
True
Let d be -1 - -6 - 0/2. Suppose -3*w - 3*p + 4806 = 0, 2*p = d*w - p - 8018. Is w a prime number?
False
Let g(y) = 68*y + 7. Let v(c) = 204*c + 20. Let n(s) = -11*g(s) + 4*v(s). Let x(w) = 10*w**2 - 118*w - 14. Let p be x(12). Is n(p) prime?
True
Let d = -23 - -21. Is (2 - d)/(-16) + 1493/4 composite?
False
Let o(k) = -9480*k**3 + 3*k**2 + 2*k - 2. Is o(-1) a prime number?
True
Suppose 7408 = -4*w - 7824. Is -3 + (w/(-6))/(2/6) composite?
False
Let l = -1032 - -22906. Is l a prime number?
False
Let i = 40 - 34. Is -211*(-3 + -4 + i) prime?
True
Suppose 6*u = u + 60. Suppose 30 - u = -3*l. Is (1 - l)/((-5)/(-185)) a composite number?
True
Let q(d) be the second derivative of 117*d**5/20 - 5*d**4/12 + d**3/6 + 2*d**2 - 16*d. Is q(2) prime?
False
Let g(i) = 8*i**2 - 26*i - 7. Let u be g(-13). Suppose 199 = 2*w - u. Is w prime?
True
Let g(p) = 2996*p**2 + 6*p + 2. Is g(-4) a prime number?
False
Suppose 6*i - 31345 = -1783. Is i prime?
False
Suppose -7*i + 28 = -7. Let p be ((-6)/i)/((-8)/(-20)). Is 2 + (-4 - p) + 222 a prime number?
True
Let n(w) = 4*w**2 + 12*w - 5. Is n(-9) a prime number?
True
Suppose -15 = -3*u - 9. Is (u/4)/(4/2456) composite?
False
Suppose 18*f - 38538 - 341280 = 0. Is f composite?
False
Suppose 5*b - 8 = 7. Let m(i) = 2*i - 27. Let r be m(16). Suppose 1 = 5*f - 24, -r*z = -b*f - 1580. Is z prime?
False
Suppose -4*j = 2*a - 34062, -5*a - 10391 = -j - 95601. Is a a composite number?
False
Is (180756/16)/(-9)*(10 - 14) a prime number?
True
Suppose 1445*y = 1428*y + 80087. Is y a composite number?
True
Suppose -4*g + 684 = -0*g. Suppose g = -3*a + 6*a. Is a a composite number?
True
Let s = -1 + -11. Let g be (s/(-8))/(12/32). Suppose -g*h + 1155 - 431 = 0. Is h composite?
False
Suppose -3*q + 10045 + 9870 = 2*t, 4*t = 2*q - 13266. Is q prime?
True
Let v be (7092/(-15))/(6/(-45)). Suppose -4*a - 3*t = -t - v, -2*a - 2*t = -1768. Is a a prime number?
False
Let c be 1 + -201*(-3)/((-9)/4). Let l = c + 808. Is l a prime number?
True
Let p(r) = 17*r**2 + 12*r + 5 + 5 - 17*r**2 - 9*r**3. Is p(-4) composite?
True
Let o(l) = l**3 + 7*l**2 + 9*l. Let w be o(-5). Suppose 5*s + 55 = w*h, 35 = -3*s + h + 3*h. Is 46/(s/(63/(-2))) a prime number?
False
Suppose u = -u. Suppose u = d - 6 - 28. Suppose j + 0*j = d. Is j prime?
False
Suppose -5*v = -4*d + 54621, d - 40932 = -2*d - 3*v. Is d a prime number?
True
Let r(l) = -3*l**2 + 56*l**2 + 31*l**2 - 1 + 116*l**2. Is r(1) a composite number?
False
Let c(l) = -1427*l**3 + 2*l**2 + 4*l + 7. Is c(-4) a prime number?
False
Let x(i) = -3*i**3 - 5*i + 2167. Let z(r) = -4*r**3 - 7*r + 3250. Let t(c) = -7*x(c) + 5*z(c). Is t(0) a prime number?
False
Let p be 2493/3*14/21. Suppose -4*t + 2070 - p = 0. Is t prime?
True
Let x = 32910 - 19409. Is x a composite number?
True
Let u = -286 - -288. Let t = 5903 + -3728. Suppose -5*j - u*q + 2187 = -q, 5*q + t = 5*j. Is j a composite number?
True
Let f(h) = -57*h - 2. Let u be (-6)/10 - (-2)/(-5). Is f(u) a composite number?
True
Suppose 24*k - 602630 = -11*k. Is k composite?
True
Let r be -162 + (60/4)/(-5). Let l = 37 - r. Is l a composite number?
True
Suppose 19*s = 6*s + 123097. Is s a composite number?
True
Suppose 3*p = p - 4*m + 34376, -2 = m. Suppose 4*z = 12*z - p. Is z a prime number?
False
Suppose 5 + 0 = -5*c. Is 8/(32/540) - c/(-1) composite?
True
Suppose 13 = c + 10. Suppose l = -5, -2*n + 3*l - 1232 = -c*n. Is n a prime number?
False
Suppose 0 = h - 4*k - 1498, -h + 6*h = -4*k + 7418. Let o = h + -987. Is o a composite number?
False
Is 4304 + (-2 - 2) + 6 prime?
False
Suppose 5*i - 2093 = 1072. Suppose -2*t - t = -k + 638, 0 = k - 2*t - i. Suppose 0*l - l + 115 = 4*u, -5*l = 4*u - k. Is l a composite number?
False
Let n = 15 + -12. Suppose 0*k + n*k = 0. Suppose 2*q + k*q - 894 = -2*b, 0 = -4*b + 5*q + 1752. Is b composite?
False
Let h(w) = -10271*w**3 - w**2 + 2*w - 1. Is h(-1) a prime number?
True
Let l(u) = -u**3 + u**2 - 6*u - 1. Suppose -j - 5*f + 23 = -3*j, -5*f = -25. Let m be 28/(-6) + j/(-3). Is l(m) a composite number?
False
Let u = -64125 - -95504. Is u composite?
False
Let l = 2 + 2. Let g be l/(-22) - (-18956)/77. Suppose -3*y + 5*r = r - 355, 0 = -2*y - 2*r + g. Is y a composite number?
True
Let g = 1689 - 1127. Let y = g + 69. Is y composite?
False
Let w(o) = 3*o**2 + 10*o + 6. Let q = 4 + -10. Let g be w(q). Suppose 4*h - g = 30. Is h a composite number?
True
Let d be (-1*1)/((-6)/1278). Let r = d - -1280. Suppose -m + 1485 = 4*m - 5*u, r = 5*m + 3*u. Is m a prime number?
False
Suppose 7*f + 2975 - 16618 = 0. Is f composite?
False
Let z(m) = m**3 + 6*m**2 - 40*m - 4. Let k be z(-10). Is k/10*(-954 - 5/5) prime?
False
Suppose 5*k - 2*a - 51561 = -4*a, -5*a = 2*k - 20616. Is k prime?
True
Let i = -886 + 1427. Let o = 3246 - i. Is o prime?
False
Let x = -15948 - -26963. Is x composite?
True
Let a(b) = -7*b**3 + 10*b**2 - 23*b - 27. Is a(-11) prime?
True
Let m(x) = -232*x + 87. Is m(-10) prime?
False
Suppose 5*p = 4*l - 2*l - 1650, 3*p + 2457 = 3*l. Let m = l + 167. Is m prime?
False
Let y(z) = -1213*z**3 - 2*z**2 - 5*z - 3. Is y(-1) composite?
False
Let w(q) = q**3 - 10*q**2 - 2*q + 11. Let c be w(10). Let a = c - -21. Suppose 3715 = 17*z - a*z. Is z a composite number?
False
Let j(t) = -128*t + 3. Let q = 29 - 30. Is j(q) composite?
False
Let n(p) = -10*p - 11 + 20 - 10*p + 2*p**2 + 16. Is n(23) composite?
True
Is (-3)/4 - 249305/(-28) a composite number?
True
Let f = -11727 + 17337. Let v = -3919 + f. Is v a prime number?
False
Let o(b) = b - 4. Let v be o(4). Suppose -s + v*s - 3 = -g, 3*s + 7 = g. Is s/(-3)*(-42)/(-4) composite?
False
Let l be 3*(-3)/(-18)*0. Let a be ((-9)/12)/(1/(-4)). Suppose l = -7*h + a*h + 60. Is h prime?
False
Suppose 5*w - 56637 = -2*t, 2*t - 1 + 9 = 0. Is w a prime number?
True
Let b(i) = 2*i**2 - 8*i - 12*i + 0*i**2 + 19. Is b(18) a composite number?
False
Let a be (-6)/(-3) - 51*29. Suppose 0 = -2*p - 4*s + 4160, -4*s + 2089 = p + s. Let c = p + a. Is c a composite number?
True
Suppose -16*b = -15193 + 9. Is b a prime number?
False
Suppose 6*b = b + 15. Suppose 5*u - 138 = -o, 3*u - 465 = -b*o - 87. Is o a composite number?
True
Suppose -3*y - 2*y - 5 = 0. Is (((-516)/16)/3)/(y/20) a composite number?
True
Suppose 5*u - 2 - 28 = 0. Suppose -2*l + u*l = -320. Let h = l - -127. Is h composite?
False
Suppose -3*z + 7*z = 0, -5*z = -2*o + 5178. Is o prime?
False
Let c = -58 - 8. Is (-15)/2*c/9 prime?
False
Suppose h - 212683 = -4*m, 10*m - 212682 = 6*m - 2*h. Is m composite?
False
Suppose 2*s = 2*f - 2, 4*f + s + 21 = -0*f. Let w(j) = -4*j - 12. Let u be w(f). Suppose -3*r + 3*g + 252 = -1299, -u*g = -16. Is r composite?
False
Suppose -3*l - 3*w - 48 = -6*l, 0 = 5*w - 10. Suppose 5*g - 4*i - i = 0, -4*g + l = 2*i. Suppose 3*c + 261 = g*v, 0*c = v - 2*c - 91. Is v composite?
False
Suppose -4*b + 4*r + 13327 = -12049, 2*b + 2*r - 12700 = 0. Is b composite?
True
Let w(k) = 8*k - 3. Let r be w(1). Suppose 2*o - y = 1033, -r*y = 3*o - o - 1039. Is o a composite number?
True
Suppose 6*m - 24 = 6. Suppose 0 = -m*i + 3*b + 4780, -2*b + 0*b + 969 = i. Is i prime?
False
Let y = 395 - 67. Suppose -j = 3*r + 2*r - 390, 4*r + 4*j - y = 0. Is r a prime number?
False
Let y = 7 + 22. Is y/2 + 9/(-18) a composite number?
True
Let f(c) be the first derivative of c**2/2 + c - 3. Let b be f(-1). Is 154/2 - b/4 a composite number?
True
Let d(c) = -c**3 + 15*c**2 - 8*c + 41. Is d(12) a prime number?
