 Is z a composite number?
True
Let r(x) = 2*x**3 + 3*x**2 - 17*x + 8. Let j be r(8). Let l = 1845 - j. Is l prime?
True
Suppose 4*v - 256 = 5*v. Suppose 5*j - 1798 = -4*x, x + 896 = 3*x + j. Let s = v + x. Is s a composite number?
False
Let j be 588 + (3/(-1 + -2))/1. Suppose -6*s + 3931 = -j. Is s a prime number?
False
Let n = -106 - -226. Let l be (-7)/(7/(-4))*(-1650)/(-8). Suppose -l = -3*q - n. Is q prime?
False
Let x be (46/(-12) + 3)/((-3)/18). Suppose -x*f - t = -13720, 3*f - t + 4*t - 8244 = 0. Is f composite?
True
Let x(w) be the second derivative of 13/2*w**2 + 1/3*w**4 + 0 - 11/6*w**3 - 3*w. Is x(6) a composite number?
True
Suppose 6*v - 29421 - 49161 = 0. Is v a prime number?
False
Let h(s) = 2*s + 399. Is h(-38) prime?
False
Let r = -536 + 1269. Is r composite?
False
Let f(u) be the first derivative of -u**2/2 - 10*u - 2. Let q be f(-7). Let c(n) = 14*n**2 + 5*n + 4. Is c(q) prime?
False
Let x(m) be the third derivative of -m**7/840 + m**6/40 - m**5/60 - m**4/24 - m**3 + m**2. Let c(p) be the first derivative of x(p). Is c(6) a prime number?
False
Let c = -141 + 143. Let h(r) = 864*r - 7. Is h(c) a composite number?
False
Let a = 22 + -16. Let c be 3 + a/(-8)*-4. Is (-119)/(-4 - (3 - c)) prime?
False
Let s = 52515 - 35704. Is s prime?
True
Let y be (1 + 1)/((-2)/(-4)). Suppose 225 = 4*d - 5*q, y*d + d - 277 = 2*q. Let t = 88 - d. Is t prime?
False
Let b be 42/11 + 4/22. Suppose 3*a = 5*v - 0*v + 20, -v = -2*a + b. Suppose -5*u + 71 + 94 = a. Is u prime?
False
Let n = -27 - -45. Suppose -4*h - n + 6 = 0. Is 11/h*-3*31 a composite number?
True
Is (15*(-323355)/(-150))/((-6)/(-4)) prime?
True
Let r(m) = -3346*m**3 + 13*m**2 + 2*m + 16. Is r(-3) prime?
True
Suppose 8*y - 18319 = 13465. Is y a prime number?
False
Suppose -8*d + 474 = -10*d. Let t = d - -121. Let l = 229 + t. Is l composite?
False
Is (-1853)/3*(7 - (-14 - -24)) composite?
True
Suppose 108377 = 68*s - 495939. Is s a prime number?
True
Let p(n) = -n**3 - 3*n**2 + 2*n - 7. Let l be p(-4). Suppose -y + 5 + 1 = 0. Let v = l + y. Is v a composite number?
False
Is (-154915930)/(-1170) - (-4)/18 a composite number?
True
Suppose 5892 = 4*k - 2584. Suppose 0*x + 2*x + 3*z - k = 0, x + 3*z - 1058 = 0. Is x composite?
False
Is 10/80*28244*2 a composite number?
True
Is 4/(-20) + 6/5 - -9178 a prime number?
False
Suppose 8*q - 20302 = 36186. Is q composite?
True
Let b(u) = -u**3 - 2*u**2 - 4*u + 3. Let q be b(-6). Let w = -269 + q. Let n = w - -201. Is n composite?
False
Suppose -17*q + 13*q = -56. Let h(t) be the third derivative of t**5/60 + 7*t**4/8 - t**3/2 + t**2. Is h(q) prime?
True
Suppose 4*l + 5*z = 32, 2*z - 5 = l - 0*z. Suppose q + 6748 = -l*q. Is 6/(-15) - q/5 composite?
False
Let r(i) be the second derivative of -31*i**5/60 + i**4/24 - i**3/6 + i. Let g(k) be the second derivative of r(k). Is g(-3) a composite number?
True
Suppose -6*x = -4*x + 8. Let i = -6 - x. Is i*(-298)/4 + 0 composite?
False
Let t = 117 - 69. Let a be ((-61)/3)/((-2)/t). Suppose -a - 467 = -5*n. Is n composite?
False
Let n(t) = -46*t**3 - 3*t**2 + 4*t - 2. Is n(-7) composite?
False
Suppose -4*v + 4056 = -5*k, 2*v + v - 3019 = -2*k. Suppose q - v = -2*d, -2*q = -q + 3*d - 1009. Is q a prime number?
True
Let o = -1 - -4. Suppose 2*u - 36 = o*x, -4*u = 4*x + 20 + 8. Is x/(-2) + 4 + -6 a composite number?
False
Let j(k) = 219*k + 20. Let g be j(-8). Let u = 3633 + g. Is u composite?
False
Is 15*13825/42 + (-3)/6 a composite number?
False
Let j be 3/((-6)/(-6))*(-1940)/(-6). Let u = -581 + j. Is u composite?
False
Suppose -6*a + 4*a = -6. Suppose -4*j - 4067 = -a*y, -4071 = -3*y + 6*j - 3*j. Is y a composite number?
False
Let c(r) be the first derivative of r**3/3 - 3*r**2 + 10*r + 2. Let m = -51 - -60. Is c(m) prime?
True
Let p(k) = 603*k**2 - 2*k - 7. Is p(-6) prime?
True
Let p = -37 + 59. Let a = p - 8. Suppose a*d = 18*d - 1516. Is d a prime number?
True
Suppose -1847241 = 37*x - 136*x. Is x a prime number?
False
Suppose 7*b = 5*b - 12. Let m(i) = -i**3 - i**2 - 13*i + 11. Is m(b) prime?
True
Let s = -16 + 19. Suppose s = -4*t + t. Is -1 + (306 - (-3 - t)) composite?
False
Suppose 5*i - 5 - 15 = 0. Suppose 2484 - 440 = i*t. Suppose 3*m + t = l, 0 = 2*l + m - 4*m - 1013. Is l composite?
True
Let s(z) = 28*z**3 + 10*z**2 + 8*z - 1. Let y be s(-7). Let n be y/(-6) - 3/6. Suppose 3*r = -r + n. Is r composite?
True
Suppose -4*w + 47 = s, 0*s = -3*s - 15. Is w/(-26)*(-6 + 0)*109 composite?
True
Is 46*(-3)/(-9)*7704/48 a composite number?
True
Let f = 9918 - 6991. Is f a prime number?
True
Suppose 8871 - 170358 = -9*c. Is c a composite number?
True
Let t be (12/(-14))/(2/(-14)). Suppose f = t*f + 2260. Let z = 39 - f. Is z composite?
False
Let l = -2464 - -5955. Is l a prime number?
True
Let s(n) = -3245*n + 1. Let l be s(-1). Let y = l - 1847. Is y composite?
False
Let q = 1718 + -157. Is q a composite number?
True
Let k = 597 + 153. Suppose -2*z + k = 2*t + 3*t, 5*z = -3*t + 450. Suppose t + 263 = h. Is h prime?
False
Suppose 3*f = 3*z - 15, 2*f + 0 = 3*z - 14. Suppose -68 = -z*j - 4*u, 3*u = 7*u + 20. Let o = j + 357. Is o a prime number?
True
Suppose 5*a + 6 = 7*a. Suppose 4*o = a*x - 483, -3*o - 4*x + 73 = 429. Let s = o + 213. Is s a prime number?
False
Let b be 1*-6*(-2)/6*2. Suppose -3*h + b*h - 99 = -w, -4*w = 2*h - 208. Is h composite?
True
Let d(a) = -a**3 + 12*a**2 - 11*a + 4. Let b be d(11). Suppose b*f = 12504 - 1060. Is f composite?
False
Suppose -2*d = 3*s - 28339, -3*d - 5*s = -41438 - 1072. Is d a composite number?
True
Let u = -436 - -268. Let k be (1/4)/((-14)/u). Let r(n) = 36*n**2 - n - 2. Is r(k) prime?
False
Let i be 12/3*(3 - 2). Suppose 0 = i*q + 3*f + 2*f - 1488, 2*q = -2*f + 746. Is q a composite number?
True
Suppose 6*o - 54 = 3*o + 3*y, 4*y = 2*o - 46. Suppose 967 = -32*s - 1337. Let j = o - s. Is j a prime number?
False
Let b(q) = -2*q**2 + 7*q + 21. Let l be b(-14). Let x = l + 840. Is x a composite number?
True
Let d = 29 + -26. Suppose -d*q = -0*q - 1119. Is q a prime number?
True
Let t(k) be the first derivative of 2*k**3/3 + 9*k**2/2 + 4*k - 3. Suppose -4*w - 38 = -10. Is t(w) prime?
False
Suppose 0 = 34*t - 287 - 2603. Is t prime?
False
Suppose 6*l - 457 = 509. Is l a composite number?
True
Is 0/(-1) + 171378/36*2 prime?
True
Suppose 5*c - 32 - 3 = 0. Let v(x) = 30*x - 19. Is v(c) composite?
False
Suppose -54 = 2*z - 58. Let d = 9 + -2. Suppose 1015 = d*x - z*x. Is x a composite number?
True
Let p(r) be the third derivative of -r**4/8 - r**3/2 + 5*r**2. Let d be p(-5). Let o = 31 - d. Is o prime?
True
Suppose -313*y + 295*y + 329382 = 0. Is y a prime number?
False
Suppose -4*q = 2*q + 66. Let i = 7 + q. Is i*(665/(-4))/7 a prime number?
False
Let k(f) be the first derivative of -17*f**2 + 7*f - 9. Is k(-6) a composite number?
False
Let i(w) = 3*w + 2. Let b(y) = 2*y + 2. Let n(c) = 5*b(c) - 4*i(c). Let a be n(-1). Suppose 0 = -2*f, x - a*x = -f - 69. Is x a prime number?
True
Let o be (-4)/14 + (-48)/(-21). Suppose a = -2 - o. Is 382/a*(1 - 3) a composite number?
False
Suppose -24 = 3*b - 9*b. Suppose -340 = -i + 2*n + n, -4 = b*n. Is i a composite number?
False
Suppose -4*l - 12 = -4*v, -2*v = -4*l - 1 - 5. Let r be 12/(-4)*v/1. Is (3/r)/((-6)/8010) a composite number?
True
Let a = -92 - -225. Let d be a - 1/1*-1. Suppose 69 = o - d. Is o a prime number?
False
Let d(y) = 5002*y**3 + 5*y**2 - 21*y + 17. Is d(1) a composite number?
False
Let g = 7444 + -2457. Is g composite?
False
Let i be (-2)/15 - (-334)/30. Suppose -3*f + 4*f = i. Suppose 0 = -10*z + f*z - 211. Is z a composite number?
False
Let f be (2 - 3992/10) + 6/30. Is (f/4)/(13/(-52)) prime?
True
Suppose 0 = 4*p + 5*n + 1 - 8, 4*p - 1 = -3*n. Let u = p - -8. Suppose 0 = 3*r - u*r + 1065. Is r prime?
False
Let n(u) = 8*u**2 + 2*u + 3. Let g = 35 + -37. Is n(g) a composite number?
False
Let g = 34 + -29. Suppose -f - 1011 = -g*s, 5*s + f + f = 1023. Is s composite?
True
Suppose -6*r = -2*r - 8084. Is r a composite number?
True
Suppose -7 = 4*s + 9. Let y be (-5)/(-1*s/(-868)). Suppose 0 = 3*v - 8*v + y. Is v prime?
False
Suppose 3*s = -4*f - 1, -6 = 3*s - 4*s + 5*f. Let i(b) be the third derivative of 157*b**4/24 - b**3/3 + b**2. Is i(s) a composite number?
True
Let r(g) = g**2 - 5*g + 10. Let u be r(5). Is