263 = -4*b, 4*b + 1 = -4*c + 237. Suppose -3*g - b = -j, 3*g = 3*j - 0*g - 216. Is j composite?
True
Let v(u) = -u**3 + 7*u**2 + 8*u + 1. Let k be v(8). Is (k + -2)*(1 + -90) a prime number?
True
Suppose -2*z + 35 = 3*z. Let k = 96 - z. Is k a composite number?
False
Let x be -2*2/(-12)*3. Suppose -4*w + 2 = 6. Is (x - -1)*w + 123 composite?
True
Suppose p - 7*p = -414. Is p prime?
False
Suppose -3*o + 5*o = 8. Let l(s) be the second derivative of 4*s**3/3 + 3*s**2/2 - 2*s. Is l(o) a composite number?
True
Let t(q) = -q**2 + q + 1. Let s be t(2). Is (-1 - s) + 52 + 1 a prime number?
True
Suppose -2*w = -3*v + 1673, -3*v - 561 = -4*v + 4*w. Is v prime?
True
Suppose 2*y - 1 - 5 = 0. Is y prime?
True
Let y = -67 - -144. Is y composite?
True
Let h(l) = -l**3 + 3*l**2 - 1. Let j be h(1). Let d be -1*j*(-187 - -2). Suppose 8*u = 3*u + d. Is u a prime number?
True
Suppose -5*q = -4*q - 443. Is q prime?
True
Suppose -7 = -3*o + 5. Let f be (2/(-8))/((-1)/o). Let r(t) = 32*t**2 + 1. Is r(f) a prime number?
False
Let j(x) = 3*x + 3 + 4*x**2 - 5 - 2*x. Let h be j(-3). Suppose -3*i + h = 4*n, -i - 3*i + 46 = 3*n. Is i prime?
True
Let k be (-75)/4 + 2/(-8). Let m = -13 - k. Is 4/6*297/m a prime number?
False
Let f be 2/4*(0 + -2). Let r be f/3 - 71/3. Let w = 55 + r. Is w composite?
False
Is (-1 + -1)*1934*(-1)/4 a prime number?
True
Suppose -p = -20 - 13. Let s = p + -4. Let o = 20 + s. Is o prime?
False
Let j(n) = -2*n**3 + 6*n**2 - 5*n + 7. Let f be j(-5). Suppose -6*y - 4*v + 571 = -y, -3*v - f = -4*y. Is y a composite number?
True
Let f(t) = -t**2 + 2*t + 185. Is f(0) a prime number?
False
Let l(b) be the first derivative of -b**3/3 - 2*b**2 - 8*b - 1. Let r be l(-6). Let s = r - -42. Is s a prime number?
False
Let z = -2 - 1. Let i be (-7)/z - (-2)/(-6). Suppose i*l + 31 - 195 = 0. Is l prime?
False
Let q(r) = -115*r - 25. Is q(-14) a composite number?
True
Is (-1)/(-4) + (14874/24 - -3) prime?
False
Let d = 3 - 3. Suppose r = -f + 8, d*f + 4*r - 26 = -2*f. Suppose -2*x + 35 = -f. Is x prime?
True
Suppose -6*x = -2*x - 28. Let r(n) = 8*n - 1. Let q be r(x). Suppose -6*o - q = -11*o. Is o a composite number?
False
Suppose 4*c = 866 - 226. Suppose f = 59 + 14. Let v = c - f. Is v a composite number?
True
Suppose -5*b - 35 = -5*f - 2*b, 12 = -2*f - 4*b. Suppose f*p + 2*r = 4, -4*r - 8 = -p - r. Suppose -3*x - p*x = -185. Is x composite?
False
Let y be -1 - (0 + -58) - -2. Let t = 54 + y. Is t prime?
True
Let q = 8 - 9. Let k(c) = -27*c**3 - c**2 - 2*c - 2. Is k(q) composite?
True
Is (2/6)/(1/69) composite?
False
Is ((-2)/(-3))/((-8)/(-396)) prime?
False
Let a = 3 - 3. Is (-191)/(-1 - a/2) composite?
False
Suppose -3*z = -0*x + 4*x - 97, -4*z + x = -142. Is z/(-2 - (-5 + 2)) prime?
False
Let w be 0/(-2 - 16/(-4)). Suppose -m + w*m - 4 = 0, 1161 = 5*u + m. Is u a prime number?
True
Let t(k) = 31*k + 3. Is t(4) a composite number?
False
Suppose -4*v + 1070 = v. Is v/4 + 3/(-6) a prime number?
True
Let n(o) = o**3 - 12*o**2 - 12*o - 10. Let i be n(13). Suppose -i*l + b + 417 + 837 = 0, -826 = -2*l + 4*b. Is l a prime number?
True
Let q(a) = 38*a + 1. Let i(b) = -2*b - 4. Let d be i(-3). Is q(d) a prime number?
False
Suppose -14 = 3*i - 5*k, 4*k - 6 = -2*i + 7*i. Suppose -5*s = -5*m - 15 - 35, -4 = -i*s. Let r = -1 - m. Is r prime?
True
Let a(s) be the second derivative of 1/6*s**3 - 1/2*s**2 + 19/12*s**4 - 2*s + 0. Is a(1) a prime number?
True
Let o(r) = 103*r**2 - r. Let j be o(1). Suppose -2*y + 7 = 3. Suppose -5*w + 151 = 3*s, 0*s = y*s + 3*w - j. Is s a composite number?
True
Is -18327*((-3)/(-27))/((-2)/6) composite?
True
Suppose 0*a + 4 = 2*a. Let t be a/(-2) - 1 - 31. Let u = -14 - t. Is u a composite number?
False
Suppose 364 = 4*u + 132. Suppose k = -4, 4*k = -3*f + f + u. Is f prime?
True
Suppose 2*b = b + 85. Is b composite?
True
Suppose 3 = 2*c + 5. Let h be 5*(0 + c + 0). Let z(q) = q**2 - 3*q - 5. Is z(h) prime?
False
Let w = -171 - -252. Let s = 38 + w. Is s a prime number?
False
Suppose 5*o = -14 - 1. Let u be 37/4 + o/12. Let x = 20 - u. Is x composite?
False
Let a = -517 - -834. Is a composite?
False
Let p(v) = -v**3 - 5*v**2 + v + 3. Let y be p(-5). Is 6/y*(2 - 9) prime?
False
Let z be (8/(-12))/((-2)/(-6)). Let r be -1 - (-1 + 5)/z. Suppose 2*x - r - 5 = 0. Is x a composite number?
False
Suppose 0 = -4*y + 4 - 0. Let b(t) = -22*t**3 - 2*t**2 - 6*t + 3. Let x(c) = c**3 + c - 1. Let a(u) = y*b(u) + 4*x(u). Is a(-2) composite?
False
Let j(k) = -3*k - 1. Let y be j(-1). Suppose -y*p - 5*i + 6 = 0, -3*p = 2*p - 2*i + 14. Is 55 - (-6)/(-5 - p) a composite number?
False
Suppose 0 = -2*w + 42 - 0. Is w prime?
False
Let t be (-3)/(-12) + (-1)/4. Let p be 393 - t*3/(-6). Suppose 5*q + 154 = 2*m - 14, p = 5*m + q. Is m a composite number?
False
Let r be (0 - 0)/1 - 0. Suppose -2*s - 4*a = -s - 217, 5*s - 5*a - 1210 = r. Is s a prime number?
False
Suppose 0 = 3*d - 5*z - 7 - 8, -9 = 3*d + 3*z. Suppose -6*o - 125 + 527 = d. Is o composite?
False
Suppose -2*u - 2 = -8. Suppose u*y - 298 = y. Is y composite?
False
Let i be (-1 + 2)*-1 + 4. Suppose -2*s + 91 = -i*d, -s - 270 = -6*s - d. Is s prime?
True
Let h(i) = i**2 - 9*i - 8. Let y be h(11). Let c = y + -8. Is c a composite number?
True
Let k(o) = -o**2 - 7*o - 7. Let q be k(-5). Suppose s + q = 7. Suppose s*b = 103 + 45. Is b a composite number?
False
Suppose -i = -2*i - 2*z + 4177, z = 0. Is i prime?
True
Suppose -6 = -5*f + 19. Suppose f*r = -26 + 471. Is r a prime number?
True
Let u be (-2)/(3/(-9)*2). Suppose u*v - 22 = -4*k + 2*k, 0 = 2*v - 5*k + 17. Suppose 5*h = -2*i + 84, 5*h + 1 - 159 = -v*i. Is i prime?
True
Let t(m) be the third derivative of 1/60*m**5 + 0 + 11/6*m**3 - 2*m**2 + 0*m + 11/24*m**4. Is t(-13) composite?
False
Suppose 2*l + 2*z = -46, 26 = -l - 5*z + z. Let a = l - -15. Let n(t) = -t + 4. Is n(a) composite?
False
Let n = 221 + -321. Let z = n + 177. Is z composite?
True
Is (1 - 2*-1) + 9*552 a prime number?
False
Let v(j) = -j**3 + 9*j**2 - j - 15. Let k be v(13). Let y = k + 1117. Is y a composite number?
True
Let b(h) = 4*h**2 - 25*h - 14. Is b(19) a composite number?
True
Let t(b) = b + 4. Let w be t(-4). Let x(f) = -f**3 + 5*f**2 + 6*f + 5. Let p be x(6). Suppose i - 13 = z, 0 = p*i + 2*z - w*z - 44. Is i a composite number?
True
Suppose y = 5*l - 5, 8*y - 4*l = 3*y - 4. Let k(r) = r**2 - r + 76. Let z be k(y). Suppose 2*a + 2*u - z = 0, 4*a - 146 = u + u. Is a a composite number?
False
Let m = -880 + 1787. Is m a composite number?
False
Suppose -q + 5*k + 427 = k, 4*q = -3*k + 1803. Is q a composite number?
True
Let y(n) = -n**2 + 11*n - 7. Let b be y(10). Suppose -5*l - 40 = 4*t, 5*l + b = -2*t - 47. Is (1 - 11)/(l/114) a prime number?
False
Let u = -1194 - -3083. Is u prime?
True
Let i(c) = -14*c + 34. Let h(p) = 5*p - 11. Let u(y) = -8*h(y) - 3*i(y). Is u(10) a prime number?
False
Let n = -26 - -8. Suppose g - 4*q = -4*g + 10, -3*g = -3*q - 6. Is (-3)/(-6)*g - n a composite number?
False
Let b(q) = q**2 - q. Let a(n) = -n**3 + 3*n**2 - 3*n + 7. Let d(o) = -a(o) - 4*b(o). Is d(8) a composite number?
False
Suppose 8 = 7*d - 3*d, 0 = -4*b + 5*d + 3682. Is b composite?
True
Suppose -2*m + 11 = -5. Let j = -1 - 6. Let v = m - j. Is v a composite number?
True
Let w = -1107 - -3046. Is w a composite number?
True
Suppose 0 = z + 4*z - 2070. Suppose -w = -0*w + z. Is w/(-22) - 4/(-22) composite?
False
Let r(h) = h - 1. Let z be r(4). Let a(v) = v + 5. Let k be a(-6). Is (z/((-6)/50))/k a prime number?
False
Let y be 1/(0 + (-4)/24). Let v = 115 + y. Is v prime?
True
Let n = 23 + 87. Suppose 0 = -q - q + n. Is q a composite number?
True
Suppose 5*f + 2*b = 14, -4*b = 4*f - 10 - 6. Suppose 79 = 3*w - 104. Suppose 0 = -f*d + 5*c + w, 0*d = -d - 2*c + 35. Is d prime?
False
Let u(s) = -s**3 + s**2 + 2*s + 1337. Is u(0) a composite number?
True
Let b be 72/10*(-15)/(-2). Let m = b + -17. Is m prime?
True
Let h(k) be the second derivative of 2*k**4/3 - 3*k**3/2 + 3*k**2/2 - 4*k. Is h(8) prime?
True
Let i(s) = 19*s**2 + 1. Let o = -6 + 8. Is i(o) composite?
True
Suppose -2*i = 3*i - 1905. Is i composite?
True
Suppose 0 = -4*q - 51 - 17. Is -2*q/2*7 a composite number?
True
Suppose 4*r - h = 508, 577 = 4*r - 3*h + 69. Suppose -2*y + r = -7. Is y composite?
False
Let n(c) = 90*c**