 = -4*p + w. Is p a composite number?
False
Let t(g) = 6*g**2 - 4*g + 1. Let k(s) = 3*s**3. Let o be k(-1). Is t(o) prime?
True
Let b(r) = 2*r**2 + 4*r - 13. Suppose -4*u - 26 = -2. Is b(u) a prime number?
False
Suppose 5*d = 2*d + 12. Is 183 + d*(-1)/(-2) a prime number?
False
Suppose -134 = -2*h - 22. Is -7 + 6 - h*-4 a composite number?
False
Suppose 3*i + 6*i = 10485. Is i a prime number?
False
Suppose 2*b = b. Suppose 0 = -b*g - g + 5. Suppose 5*i + 24 = 4*q, -g*q + 0*i = 2*i - 30. Is q a composite number?
True
Suppose 5*a - 2500 = 3925. Is a composite?
True
Let z be ((17 + -2)/(-3))/(-1). Suppose 0 = s - 4*o + 3, 0 = -3*s + 2*o + 3*o + z. Suppose 3*i + 0*m - 4*m - 47 = 0, 20 = s*m. Is i a composite number?
True
Let m be (-2)/(-4) - 9/6. Let h be ((-1)/1)/1 - m. Is 19 - (h/(-1) + -2) a prime number?
False
Let r(l) = -l - 2. Let p be r(-5). Is (37*(2 - p))/(-1) a prime number?
True
Let q(g) = -g**3 - 5*g**2 + 6*g + 1. Let o be q(-6). Suppose 0*b + 3*b = 30. Let t = b - o. Is t a prime number?
False
Let d(b) = -24*b - 6. Let y be d(-7). Suppose -y = -3*o - 3*q, -3*o - 5*q + 146 = -26. Is o a composite number?
True
Let f be 0/(3 + -4)*-1. Is (f - -2)/(4/326) prime?
True
Is 2 + -5 - (-161 - (-4 + 3)) prime?
True
Let g = -198 - -345. Suppose 4*y - 107 = -j, -3*y - g = -j + y. Is j prime?
True
Suppose 5*n = 443 + 107. Suppose -6*l + n = -4*l. Is l prime?
False
Is (-2 - -393) + (1 - -1) composite?
True
Is (-3)/12 - 4165/(-4) a prime number?
False
Let b be (-4)/10 - (-173)/(-5). Let z = b - -54. Is z composite?
False
Let w = -55 + 116. Let b = w - 15. Is b composite?
True
Let a(h) = -11*h - 2. Let x be a(-4). Suppose -x = -t + 1. Is t a composite number?
False
Let y(h) = -h**3 - 11*h**2 - 13*h - 7. Is y(-12) a prime number?
True
Let o = -77 - -43. Let p = o + 117. Is p a prime number?
True
Let v(u) = -u**3 + 8*u**2 + 7*u - 6. Suppose x + 2*x - 24 = 0. Let k be v(x). Suppose -3*c - 2*c + k = 0. Is c prime?
False
Let o = 2752 + -1497. Is o a prime number?
False
Suppose -8*m + 246 = -5*m. Is m a prime number?
False
Let s = 2 - 5. Let u be ((-14)/4 - s)*34. Let t = u - -30. Is t a prime number?
True
Let h = 3 - 0. Let c be (4/h)/((-2)/(-63)). Let i = c + 9. Is i prime?
False
Suppose -3 = -11*z + 12*z. Let j(p) = -68*p + 7. Is j(z) a prime number?
True
Let y = -3143 - -4504. Is y a prime number?
True
Let a(d) = 76*d**2 - d. Suppose 2 = y - 3*s - 3, 3*y + 1 = s. Is a(y) composite?
True
Let o(c) = -c**3 + 6*c**2 + 3*c - 14. Let j be o(6). Suppose j*q = -4*p + q + 320, -p + q = -73. Is p a prime number?
False
Let y(q) = q**3 - 69. Let u be y(0). Let m be (-2)/4 - (-190)/(-4). Let x = m - u. Is x a composite number?
True
Let x = -372 + 625. Is x a composite number?
True
Let v(r) = -12*r - 5. Let k(m) = m**2 + 7*m + 5. Let u be k(-4). Is v(u) a composite number?
False
Let u = -8 - -13. Suppose 0 = -3*r - 2*z - 116, 0 = -2*r + u*z - 59 - 31. Let k = -29 - r. Is k composite?
False
Let p(i) = -10 + 7*i + 5*i - 5*i. Let s(m) = 3*m - 5. Let h(w) = -6*p(w) + 11*s(w). Is h(-6) composite?
False
Let b be (-4)/3*(-9)/2. Suppose -120 = 3*l - b*l. Suppose o = -4, -o + l = 2*w - 0*w. Is w a composite number?
True
Let y(a) = -a**2 + 7*a - 4. Let k be y(6). Suppose 2*g - 8 = -k*g. Is g a composite number?
False
Let p(a) = 13*a**2 + 11*a - 13. Is p(-9) a prime number?
True
Let i(v) = -v + 9. Let r be i(9). Suppose r = -3*h + 83 - 8. Is h a composite number?
True
Let w = -10 - -99. Is w a prime number?
True
Suppose 0 = -3*l - 5*l + 3032. Is l composite?
False
Let i = 4650 + -3265. Is i a prime number?
False
Suppose 0*x = -4*x - 20. Is (14/(-4))/(x/10) a composite number?
False
Let w(t) = t**3 - 2*t**2 + 2*t + 2. Let k be w(3). Let m = k + -57. Let y = 66 + m. Is y a prime number?
False
Suppose -4*d = -5*b + 3407, 6*d - 2052 = -3*b + 11*d. Is b a composite number?
True
Suppose -4*u + 2*u = -126. Let d = -42 + u. Is d a prime number?
False
Let a = 851 - 192. Is a composite?
False
Let f = -2 - -4. Let q(g) = -7 - 2*g + 3*g - 3*g**f + 10*g**2 + g**3. Is q(-5) composite?
True
Suppose f + 147 = 4*k, 2*k - f = 5*k - 112. Is k a prime number?
True
Let d be (-4)/(3 - -5)*2. Is -1 - d/(2/160) prime?
True
Suppose 2*d - 2319 = 5*c, -3*c + 12 = c. Is d a prime number?
False
Let g be (-2)/(-3) - 11/3. Let n(x) = 1. Let o(z) = 13*z + 1. Let p(q) = -3*n(q) - o(q). Is p(g) prime?
False
Suppose 0 = 3*t - 27 - 78. Suppose 0 = -2*y - 4*w, -3*w - w + 12 = -4*y. Is 1620/t - y/(-7) a composite number?
True
Let j = 614 - -63. Is j prime?
True
Let o = 5 - 0. Suppose -163 = 4*n - o*n. Is n prime?
True
Let s(t) = -1 + 3*t**2 - 66*t**3 - 6*t**2 + 3*t**2. Let w = -1 + 0. Is s(w) composite?
True
Suppose l - 23 = 4*b + 2*l, 3*l = b - 4. Is 1 - (-326 - (4 + b)) prime?
False
Suppose -3*a + 342 = -699. Suppose -5*q + a = 3*h, 5*h + 4 = 6*h. Is q prime?
True
Let o(u) = u**3 + 13*u**2 + 4*u + 1. Is o(-5) composite?
False
Is (382/(-5))/(2/(-5)) a composite number?
False
Suppose 3*k = 12, -n - 8 = -4*n + k. Suppose -156 = n*q - 472. Is q prime?
True
Suppose -2*z = -0*z - 662. Is z a prime number?
True
Let a = 28 + -40. Let j(s) = -13*s + 5. Is j(a) a composite number?
True
Let y = 3 - 3. Let u(i) = i**3 + i + 166. Let b be u(y). Suppose c = 3*c - b. Is c prime?
True
Suppose 0*x + 2*x = 8. Suppose -x*v - 1 = 3. Is (-1 - 3)*-77 + v a prime number?
True
Suppose 2*s = x + 6*s - 22, 2*s = 8. Let w be (4/x)/((-3)/(-27)). Is 333/w - 1/2 prime?
False
Let n = 1 + -6. Let r = n - -8. Is -1 + (1 - r) - -134 prime?
True
Suppose -4*n - 80 = -g + n, g + 5*n - 30 = 0. Is g a prime number?
False
Let r = -4 - -4. Suppose -2*c - 3*c = r. Is (-35)/3*(-3 + c) a prime number?
False
Let f(z) = 8*z**3 - z - 1. Let k be 2/(-3) - (-2)/(-6). Let c be f(k). Let t = -2 - c. Is t prime?
False
Suppose -2 + 14 = 2*a. Suppose k - a*k + 805 = 0. Is k a prime number?
False
Suppose 5*a = -4*i + 691 + 240, -4*i = -a - 961. Is i prime?
True
Suppose 4*s + 82 = 434. Suppose -2*n + 8 - s = 0. Let k = n - -66. Is k prime?
False
Let g(k) = 30*k**2 - 7*k + 3. Let b be g(5). Suppose -t = 63 - b. Is t composite?
True
Suppose 0*d = 3*d - 108. Let g be (-2)/10 - (-98)/(-10). Let t = d + g. Is t prime?
False
Suppose 2*g + 114 = 4*f, 4*f - 3*g + 46 = 5*f. Is f prime?
True
Suppose 2*p - 31 = 5*b, 5*p = -3 + 18. Let g(q) be the first derivative of q**3 + 5*q**2/2 + q + 2. Is g(b) prime?
False
Let l be (-2)/2 + -1 - -7. Suppose -14 = -l*d + 6. Suppose -2*h - 4*m = -58, -4*m = -d*h - 7*m + 136. Is h prime?
True
Let s = 237 + 194. Is s composite?
False
Is 4 + 49 + 8/4 composite?
True
Suppose 5*b - 22 + 7 = 0. Suppose -3*j = -4*r + r + b, -3*r - 1 = -5*j. Suppose -4*c + 181 = -5*s, -3*c + j*s + 239 = 2*c. Is c a prime number?
False
Suppose -3*j + 2 = -4. Suppose 2*k = -j*k + 28. Is k a composite number?
False
Let j be 2/6 + 58/6. Is -4 + j + 0/2 prime?
False
Let j = -2210 - -4011. Is j prime?
True
Suppose 0 = 3*c - 0*c + 3. Let y = c - 1. Is 810/22 + y/(-11) prime?
True
Suppose -y = 5*m - 17, 0 = -5*m - 0*m + y + 13. Suppose m*o - 12 = -o. Suppose -o*w + 192 = 5*b - w, -3*b - 5*w = -119. Is b a prime number?
False
Let p(d) = 7*d**2 - 11*d + 15. Is p(13) a prime number?
False
Suppose 50 = 3*t + 14. Let n be (-6)/t*(-2 + 0). Let a = 48 + n. Is a a prime number?
False
Let d(o) = -6*o - 1. Let n be d(-1). Suppose -2*a = -n - 15. Suppose 0 + a = k. Is k composite?
True
Let h = 479 + 108. Is h composite?
False
Let u = 851 - -362. Is u a prime number?
True
Suppose 7*q = -7*q + 1078. Is q composite?
True
Suppose 2*y - 28 = -3*v, 0*y + 3*y + 15 = 5*v. Let f = v - -13. Is f prime?
True
Suppose -5213 = -6*b - 911. Is b a composite number?
True
Let c = 255 + -53. Is c prime?
False
Let b = 2 - -3. Suppose -b*r - 6*m = -4*m - 77, 4 = 4*m. Is r a prime number?
False
Let m = 4 + -6. Let q(n) = -23*n + 1. Let k be q(m). Let r = k - 28. Is r prime?
True
Let m be 7/(-2) + (-2)/(-4). Is (m + 2)*-3 - -146 a composite number?
False
Let r be 329*(6/(-14) + 3). Is 4/10 + r/10 a composite number?
True
Suppose 2*x = 3*x - 91. Let c = x - 0. Is c composite?
True
Let z(a) = 4 + 0*a**2 + 12*a - a**2 + 1 - 3*a. Is z(7) a prime number?
True
Suppose -47*j = -46*j - 127. Is j prime?
True
Let x(f) = f**2 + 9 - f - 6 - f**3 + 2. Is x(-4) a prime number?
True
Let v = -4 + 6. Suppose -5*n + 2*j 