 -y**2 + 2*y + 6. Let j(g) = -g**2 + 3*g + 9. Let b(d) = -5*j(d) + 8*z(d). Let p be b(-3). Let i = p - -41. Is i a composite number?
True
Let k(c) = -17*c + 5. Let a(w) = w + 1. Let p(r) = -2*a(r) + k(r). Is p(-4) a composite number?
False
Let g(f) = f**2 - 13*f - 12. Let l be g(14). Suppose 37 + 81 = l*v. Is v prime?
True
Suppose 0 = -2*f - 2*z + 378, -6*z + 8*z = -4. Is f a composite number?
False
Let v = 3 + -3. Suppose v = -k - 2*k + 21. Is k a composite number?
False
Let q be 1*7 - (-9)/(-3). Suppose 38 = c - 3*h, 65 = q*c + h - 152. Is c composite?
False
Suppose -2*f = -0*f + 5*h - 407, -3*f + 642 = -3*h. Is f prime?
True
Let v = 104 + 63. Is v composite?
False
Let c(i) = 22*i**2 + i + 1. Let v be (-2)/(-2 + 1)*1. Is c(v) prime?
False
Suppose 91 = -u + 2*u. Is u prime?
False
Suppose -5*o = -1587 - 1798. Is o a prime number?
True
Suppose o = 7 - 6. Is o/2 + (-3681)/(-18) a composite number?
True
Let z(m) = -m**3 + 4*m**2 + 5*m + 1. Let k be z(5). Let c(b) = 23*b**2 - 21*b**2 + 4 + k. Is c(6) a prime number?
False
Is (-38)/(-4) - (-4)/8 a composite number?
True
Suppose -3*x = x - 10436. Is x a prime number?
True
Let p(c) = -119*c - 1. Let m(w) = -118*w - 2. Let o(y) = -2*m(y) + 3*p(y). Is o(-1) a composite number?
True
Let x = -42 - -349. Is x a composite number?
False
Let p = 635 + -322. Let v = -180 + p. Is v a composite number?
True
Let t be ((-4)/4 + -1)*-2. Suppose -t*m - 3*p + 132 = p, 3*m - 127 = 4*p. Is m prime?
True
Suppose 5676 = -8*d + 41044. Is d a composite number?
False
Suppose 3*g + 15 = 2*m, -g + 0 = 2*m - 3. Suppose m*h = 6 + 3. Suppose 0*t = 5*t + 2*d - 69, 0 = 2*t + h*d - 32. Is t prime?
True
Let v(h) be the first derivative of -h**3/3 + 3*h**2/2 + 2*h - 3. Let g be v(5). Let y = -4 - g. Is y prime?
False
Suppose 3*n = -3*y + 7*y + 35, 0 = -5*n + y + 81. Suppose 0 = q - 3*v - 0 - 3, -3*q + v = -n. Suppose 2*k - q*k + 532 = 0. Is k a prime number?
False
Suppose d + 18 = -2*d. Is ((-158)/d)/(7/21) a composite number?
False
Let u be -13 + 10 - -1*3. Suppose -4*y + 1804 = -u*y. Is y a composite number?
True
Let y(r) = 39*r + 2. Let i = 11 - 8. Is y(i) a prime number?
False
Let d(c) = 139*c + 7. Let f be d(3). Suppose -211 = -5*y + f. Is y prime?
True
Let v(i) = 4*i**2 - 11*i - 27. Is v(-12) composite?
True
Let d(j) = 213*j**2 + j - 1. Is d(1) composite?
True
Suppose 105 = -l - 0*l. Is (l/12)/((-2)/8) a composite number?
True
Suppose 3*x - 26 = 5*h, -5*x + h + 12 = -2. Let v = x + 0. Suppose 4*m = -0*k + 4*k - 180, 0 = v*k + m - 84. Is k a composite number?
False
Is 94 + 0 + (4 - 7) composite?
True
Let x be (2/1)/(10/165). Let p = -2 + x. Is p a composite number?
False
Let o = -28 + 4. Let i = 23 - o. Is i a composite number?
False
Suppose 5*v = -5*a + 10, 2*a = 3*a - 2*v - 5. Suppose -4*j = -2*w - 2*w - 1152, w = a. Is j a prime number?
False
Let q(p) be the first derivative of -p**3/3 - 4*p**2 - 5*p - 1. Is q(-6) composite?
False
Let n(j) = j**3 + 6*j**2 + 3*j + 2. Let g be n(-6). Let b = g - -26. Is b a prime number?
False
Is 6/1*125/75 prime?
False
Suppose -4*z - m + 734 = -3*z, 4*z - 2921 = m. Is z a prime number?
False
Let v = -293 - -612. Is v composite?
True
Suppose -u + 2*u + 4*p - 76 = 0, -5*u = -5*p - 280. Let v = -5 + u. Is v a composite number?
True
Suppose -2*p - 4 + 88 = -3*v, 0 = -3*p + 3*v + 132. Suppose 3*t = 6*t - 429. Suppose -u + p = -t. Is u a prime number?
True
Suppose 0 = d + b - 2, 2*b = -d - 0*d - 2. Suppose -d*j + 2*j = -932. Is j composite?
False
Let u(n) = 3*n + 2*n**3 + 3*n**2 - 1 + 0 - 7*n**2. Let q be u(2). Is 5/q - (-4 - -1) a prime number?
False
Let i(q) = 13*q**2 + 10*q - 3. Is i(-8) a prime number?
False
Suppose o - 2*o = -4. Suppose -4*m + m - 4*i = -524, -i = o*m - 690. Suppose -m = -h - 3*h. Is h prime?
True
Let l(f) = -f**3 + 2*f**2 + 3*f + 1. Let j be l(-2). Let s = j - -12. Is s prime?
True
Let d = 1617 - 218. Is d a composite number?
False
Let r be 3 + (1 - 1) + -10. Let l = 11 + r. Suppose -2*v + 76 = l*k, 0*k - k - 2*v = -13. Is k composite?
True
Let n = 82 - 4. Suppose -5*w + 199 = 3*p, 2*p + 201 = 5*w + 4*p. Let r = w + n. Is r composite?
True
Suppose 0 = -3*u + 2*z + 499, 4*z + 500 = 3*u + 3*z. Is u composite?
False
Suppose 3*t - 2*h - 61 = 0, -h + 74 = 4*t - 0*t. Is t prime?
True
Let q(c) = -c**2 - 5*c. Let a be q(-6). Let b(f) = -20*f - 4. Let l be b(a). Suppose 2*k = -42 + l. Is k prime?
True
Suppose 0 = -14*c + 12*c - 10. Is (-11)/(-4)*(-380)/c a composite number?
True
Let h(x) = -x**3 + x**2 - 1. Let w(t) = -4*t**3 + 13*t**2 - 13*t - 20. Let s(k) = 5*h(k) - w(k). Is s(-10) prime?
False
Let k = -6 + 28. Is k composite?
True
Suppose 0 = 4*j - 4*h + 2*h - 10, 2*h = j + 2. Suppose -j*z = -3*s + 153, 5*s + 4*z - 6*z - 269 = 0. Is s a composite number?
True
Suppose -i - 9 = 3. Is 896/6 - (-4)/i a prime number?
True
Let s = 5 - 1. Suppose 2*g = -0*g + s. Suppose 134 = g*l - 0*l. Is l a prime number?
True
Suppose 0 = c + 1, 0*c = -2*n + 3*c + 437. Is n prime?
False
Let t = 6 + -3. Suppose -u = t*d - 3*u - 200, 2*u + 2 = 0. Is (d + 1)*-1*-1 a prime number?
True
Let w(l) = -l - 5. Let g be w(0). Is 30 + 1 - (-5 - g) prime?
True
Suppose -3*a - a + 12 = 0. Suppose -a*k + 4*k - 2*r - 53 = 0, k - 5*r - 50 = 0. Is k a prime number?
False
Let i = 14 - 10. Suppose i*k + 3*n - 499 = -0*n, -4*n = 2*k - 242. Is k prime?
True
Suppose 0 = 3*q + y - 626, -q - 5*y + 211 - 7 = 0. Is q a prime number?
False
Let k = -349 + 1319. Is k/(-15)*(-6)/4 a prime number?
True
Let g = 37 - 4. Is g composite?
True
Let r be (-3 + 2)*-2 + 0. Suppose -3*s + 4*w = -r*s - 21, -2*w - 7 = 3*s. Is 1/s - -6*4 a composite number?
True
Let o(c) = -c + 12. Let i be o(6). Suppose -f + 16 = -5*p, -2*f + i*f - 4*p = 48. Is f a prime number?
True
Suppose 9*s + 168 = 12*s. Let p = s + 27. Is p a composite number?
False
Suppose -5*i - 635 = 50. Let f = 264 + i. Is f composite?
False
Suppose 2*t + 237 = -323. Let w = 398 + t. Let h = w - 71. Is h composite?
False
Suppose -749 = -5*t + 251. Let l = -118 + t. Let i = -27 + l. Is i composite?
True
Suppose -3*d = -3*f - 15, f + 5*d = 3*f + 19. Let l(q) = -25*q**3 + 3*q**2 + 2*q + 3. Is l(f) a prime number?
True
Suppose 5*h - 32 = -4*a, -3*h + 10 = 2*a - 8. Suppose i = -a*i - l + 332, 2*i - 166 = l. Is i a composite number?
False
Let v(z) = 4*z. Let p be v(1). Let u be -1 + 0/(p + -1). Is 55 - (2 - (-1 - u)) a prime number?
True
Let p(r) = -32*r + 53. Is p(-9) composite?
True
Let l be ((-6)/(-5))/(4/10). Suppose -l*o - 2*p = -p - 19, -3*p - 13 = -5*o. Let z(j) = -j**3 + 5*j**2 + 7*j - 2. Is z(o) prime?
False
Suppose -m - 2*m = -6. Suppose -m*x + 7 + 2 = -5*t, 3*t = 3. Is x a composite number?
False
Let v(k) = 2*k**3 + 3*k**2 - 15*k - 28. Is v(9) prime?
False
Let d = 3 + -1. Let g be (16/d)/(2/29). Suppose -11 - g = -a. Is a composite?
False
Let s = 361 + -138. Is s prime?
True
Suppose -5*d + 3237 = 2*r - 6443, d = -4. Suppose o + 70 - 1282 = u, -2*u - r = -4*o. Is o prime?
True
Let a(r) = -r**3 + 8*r**2 - 5*r - 6. Let o be a(7). Let d = o - 4. Suppose -d*l + 76 = -0*l. Is l a prime number?
True
Let v(x) = x - 4. Let s be v(6). Let b be 52/12 + s/(-6). Suppose -4*i + 2*d = -60 + 14, 47 = 3*i - b*d. Is i a prime number?
False
Let i(v) = 10*v**2 - 1. Let l be i(-1). Let g(k) = k. Let n(w) = 3*w - 10. Let u(t) = 6*g(t) - n(t). Is u(l) a composite number?
False
Suppose 5*f - 14 = -3*x, 2*f + 5 = 3*x - 2. Is -9*(-38)/x + -1 a prime number?
True
Suppose -5*w = 3*q + 3, 2*q + 5 - 3 = 0. Let l(n) = w*n**2 + n**2 + 6*n**2. Is l(-1) a composite number?
False
Let n = -2 - -113. Is n prime?
False
Suppose -2*z + 3069 = 5*h, -5*h + 3665 - 599 = 3*z. Suppose -7*y + h = -2*y. Is y a prime number?
False
Let g(n) = 6*n - 1. Let y be g(-6). Let o be ((-4)/(-10))/((-1)/45). Let w = o - y. Is w prime?
True
Suppose -92 = -12*j + 8*j. Is j composite?
False
Let u = -552 + 1037. Is u prime?
False
Let k be (-6)/(-4)*(-3 - 1). Let h = k + 10. Suppose -3*l + 90 = 3*b, h*b - 3*l - 75 = 2*b. Is b a composite number?
True
Let t(s) = -793*s + 20. Let z be t(11). Is (-4)/22 - z/11 composite?
True
Suppose d + d - 3941 = -5*t, d = -5*t + 3938. Is t prime?
True
Suppose 3*n + 179 = 1352. Is n composite?
True
Let k(v) be the first derivative of v + v - 5*v**2 + 1 - 7*v + 13*v**2. Is k(4) a prime number?
True
Let v = 5