prime?
True
Let h(z) = z**3 + 24*z**2 + 7*z + 11. Is h(-23) a composite number?
False
Let p(d) = -26*d - 7. Is p(-13) a prime number?
True
Let v = 42 + -30. Let g = v + 12. Suppose u = -2*j + 159 - g, 4*j - 235 = 5*u. Is j prime?
False
Let q(p) = 29*p**2 + 19*p + 59. Is q(-11) composite?
False
Suppose -a = -x - 16, 2*a = -3*x + 3 + 9. Let d = 25 - a. Is d a composite number?
False
Suppose r + 2*r - 363 = 0. Suppose v = -2*v - 4*x - 278, 3*x + 187 = -2*v. Let a = r + v. Is a a composite number?
True
Suppose k = -5*a - 2*k + 1310, 4*a - 1046 = -2*k. Is a a prime number?
False
Let u(d) = 27*d - 7. Is u(10) a prime number?
True
Let v = 12 + -7. Suppose v*o - 3 = 152. Is o a prime number?
True
Let a(p) = -p**2 + p + 13. Let m be a(15). Let f = 490 + m. Is f a prime number?
True
Let y = 286 + -75. Is y a prime number?
True
Let w = 32 - 17. Let m be (-10)/w + (-11)/(-3). Suppose 2*h - 5*h + 639 = m*i, -i - 4*h = -201. Is i prime?
False
Is (35/(-20) - -2) + 14534/8 prime?
False
Let r(i) = 8*i**3 - 4*i**2 + 2*i + 1. Is r(2) a prime number?
True
Let i = -1044 - -661. Let j = 542 + i. Is j a composite number?
True
Let k(m) = -m + 12. Let q be k(11). Is (2/q)/(4/106) prime?
True
Let z = 22 + -9. Is z prime?
True
Suppose 4*w - 19 = 109. Let v = 21 - w. Let z = 22 + v. Is z a composite number?
False
Suppose 1280 = 4*w - 44. Is w composite?
False
Let h(s) = -s**3 + 11*s**2 - 6*s + 7. Let v be ((-90)/(-12))/((-6)/(-8)). Is h(v) a prime number?
True
Let v = 1043 - 654. Is v prime?
True
Let s(k) = k**3 - 7*k**2 - 3*k + 10. Let z be s(7). Let v = -9 - z. Suppose 24 = v*r - 54. Is r composite?
True
Let y(h) = -6*h**3 + 2*h + 1. Let v(j) = -j**2 + 4*j - 1. Let k be v(4). Let c be y(k). Suppose 5*d - 4*i - 5 = 46, 0 = c*d + 5*i - 60. Is d a prime number?
True
Let q(s) be the third derivative of s**4/24 + 65*s**3/6 + 2*s**2. Is q(0) prime?
False
Let v(p) = p**3 - 10*p**2 - 11*p - 67. Is v(14) composite?
False
Let t = 1 - -2. Suppose -3*q + 150 = -c, -q + 49 = c + t. Is q composite?
True
Suppose -5*z - 4*c = -947, 190 = z + 2*c - c. Is z a composite number?
True
Let t be ((-1)/(-2))/(1/(-10)). Let s = 7 + t. Suppose 0 = -g + 15 - s. Is g composite?
False
Suppose -6*h = -4*a - h + 355, 4*h = 5*a - 437. Is a composite?
True
Suppose -3*j = 5*g - 385, g = -4*j - g + 490. Let q = j + -67. Is q a prime number?
True
Let l = -1637 + 2386. Is l a composite number?
True
Let z = 1131 - 800. Is z a prime number?
True
Suppose 7*z = 2*z - 20. Let u = -4 - z. Suppose 4*c - 4*q = 272, -3*c + q + 202 = -u*c. Is c a composite number?
False
Suppose -3*w + 18 = 3. Let r = w - 1. Suppose 5*z - 107 = r*q, -2*q = -6*q + 8. Is z a composite number?
False
Let v(y) = y**3 - 2*y**2 - 2*y + 4. Let x be v(3). Let p = -8 + x. Let g(f) = -50*f + 1. Is g(p) a prime number?
False
Suppose 4*i - l - 385 = 0, -l - 2 + 5 = 0. Is i a prime number?
True
Let k = 133 + 418. Is k a composite number?
True
Let u = -9 - -6. Is u - (-1 - 57)/1 a prime number?
False
Let n(f) = -f**2 + 4*f - 1 - 2 + 7*f**2. Suppose -2*a + a - 4 = 0. Is n(a) composite?
True
Let c(h) = 1 - 2*h + 2 + 0*h + 1. Let x be c(-3). Is x*-2*(-142)/8 a prime number?
False
Suppose 4*q + 713 + 255 = 0. Let z = q - -447. Is z composite?
True
Is -3 - (-2 + -87 + 3) composite?
False
Let w = 2 - 2. Let i = w + 5. Suppose -35 = -i*n - 0. Is n a composite number?
False
Let x(j) = 103*j - 6. Let b(a) = 103*a - 5. Let d(w) = 7*b(w) - 6*x(w). Is d(4) prime?
False
Is (2802 - 4)*1*(-2)/(-4) a composite number?
False
Let i(t) = 8*t**3 + 4*t**2 - 7*t + 2. Is i(5) a composite number?
True
Let h(l) = -1145*l + 2. Is h(-1) a composite number?
True
Suppose 5*z = 2*i - 3*i - 24, -z - 2*i = 3. Let s(h) = -3*h - 6. Is s(z) prime?
False
Is (-7 + 11)*(-397)/(-4) prime?
True
Let g(q) = 1759*q + 24. Is g(5) prime?
True
Suppose 0 = r - 0*r - 5*v - 46, -4*v - 92 = -2*r. Is r prime?
False
Suppose -3*g + 15 = 0, -9 - 3 = y - 3*g. Suppose y*z = -3*w + 159, 2*w - 123 = -5*z - 11. Is w a composite number?
True
Suppose 3*a - 394 = 296. Suppose 29 - a = -3*o. Is o a prime number?
True
Let g(u) = u**2 + 6*u - 3. Let i be g(-5). Let j = 7 - i. Is 2 + 1 + j + 1 composite?
False
Let r(d) = 3*d**2 + 5*d - 6. Let n be 10/(-4)*(-32)/10. Is r(n) prime?
False
Is (-1228)/(-16)*-1*-4 composite?
False
Let a = 127 - 58. Is a prime?
False
Let b = -27 - -314. Is b prime?
False
Suppose -4*h - h + 1535 = 0. Is h prime?
True
Is 1/(6/4) + 319592/168 a prime number?
False
Let c(n) = -n**3 - 3*n**2 + n + 6. Let q be c(-3). Suppose q*g - 171 = 120. Is g composite?
False
Let q(h) = 2*h - 3. Let k be q(2). Let d = k + 52. Is d a composite number?
False
Let b(s) = 14*s - 4. Let j be b(4). Let t be (0 + -3)/(2/18). Let n = j - t. Is n a prime number?
True
Is 3/((10/(-254))/(-5)) prime?
False
Let y(w) = 149*w**2 + w - 1. Is y(1) composite?
False
Let m = 124 - 45. Is m a prime number?
True
Let y = -327 + 538. Is y prime?
True
Let n(p) = -p**3 + 7*p**2 - 5*p - 2. Suppose 3*a - 8 - 7 = 0. Is n(a) a prime number?
True
Let w(y) = -220*y - 3. Is w(-4) composite?
False
Let v = 1990 - -969. Is v a composite number?
True
Suppose 0 = 26*o - 22*o - 188. Is o a prime number?
True
Suppose 0 = g - 71 - 78. Is g composite?
False
Let g be (-15)/(((-27)/(-24))/(-3)). Let r be (3/(-2))/(15/g). Let c = 73 - r. Is c a composite number?
True
Let u(k) = -k + 1. Let o be u(-3). Suppose -5*b - 211 = -5*f + 19, o*b = -5*f + 230. Is f a composite number?
True
Let v(t) = t**3 + 2*t**2 + 3*t + 5. Let l be -3 + (-2 - -2) + 3. Suppose -r = 3*g - 7*g + 19, l = -5*g - 2*r + 14. Is v(g) a composite number?
False
Suppose -y - 1 = -3*t + 7, 3*y = 3*t. Suppose -g + 6 + 12 = y*l, 24 = 2*g + 4*l. Suppose g*r = 2*r + 644. Is r composite?
True
Suppose 0 = -3*v + v - 14. Let r(b) = 2*b**2 - 4*b + 7. Is r(v) a composite number?
True
Let x(p) = -8*p**3 - 2*p**2 + 18*p - 5. Is x(-6) prime?
True
Let j = 14 - 9. Suppose 97 = j*l - 4*z + 2*z, 12 = 3*z. Is l prime?
False
Let c = 55 + -26. Let y = c - 15. Suppose 2*j = 4*j - y. Is j prime?
True
Suppose -d + 326 = 2*z, -z + 58 + 105 = -2*d. Is z prime?
True
Let g(l) = l**2 + 100. Let k be g(0). Suppose 2*z = 2, k = 2*c - z - 93. Is c composite?
False
Suppose 0 = 3*u - 122 - 223. Is u prime?
False
Let d(b) = b**3 + 4*b**2 + b + 1. Let n be d(-4). Let r be (-15)/((9/2)/n). Suppose 3*m = 2*o + 53, 5*m - 3*o = 77 + r. Is m a prime number?
False
Suppose 0 = -2*m + 2*p - 3*p + 113, -4*m + 4*p + 256 = 0. Is m a composite number?
False
Let h(x) = -7*x + 5. Let o(b) = 22*b - 16. Let z(c) = -7*h(c) - 2*o(c). Let y be (-1 - -2)*4/2. Is z(y) composite?
False
Let v(c) = c + 1. Let a be v(-2). Let r be 108 - ((1 - 2) + a). Is r + (6/2 - 4) a prime number?
True
Let s = 13 - -28. Let k(u) = -3*u**2 - 6*u - 2. Let p be k(-4). Let n = p + s. Is n a prime number?
False
Suppose 2*k - 25 = 3*p - 3*k, k = -p - 3. Let g(u) = -2*u**3 - 7*u**2 - 6. Is g(p) a composite number?
True
Let j = -4 + 9. Suppose -5*i - 2*t = -520, -3*i + j*i - 208 = -4*t. Suppose 3*b - 2*h = 111, 2*h = -4*b + i + 30. Is b a prime number?
False
Suppose -3*i = 5*q + 10, 5*i - 3*i - 4*q = 8. Suppose -3*x + 18 = -i*x. Is x a composite number?
True
Suppose 0 = -5*j + 5*h + 5665, 5*h + 0*h = 0. Is j composite?
True
Suppose -2*m - 24 = -5*c, -2*c + 5*m = 2*m - 14. Suppose -2*u + 8*b + 422 = c*b, 5*u - 2*b - 1055 = 0. Is u a prime number?
True
Suppose -3*x = 4*k + 3, 0 = -4*k + 3*x + 2 + 1. Suppose 3*q + 0*j + 2*j - 243 = k, 5*q + 4*j - 403 = 0. Is q composite?
False
Let p = 5 + 1. Suppose f + 370 = p*f. Is f a prime number?
False
Let v(c) = 28*c**2 + 2*c + 5. Suppose 0 = -t + 2 - 6. Is v(t) prime?
False
Suppose 2*g = 4*g - 3*c - 431, 0 = 3*g - 5*c - 648. Is g composite?
False
Let v = 5 + -21. Let w = 3 - 0. Let x = w - v. Is x prime?
True
Let h(f) = 13*f**2. Let b be h(1). Suppose q - b = -4*t + 128, -2*t = 2*q - 282. Is q composite?
True
Let q(m) = 4*m**3 - 2*m**2 + m. Let g be q(1). Suppose -4*b - g = -b, 5*b - 37 = -2*k. Is k a prime number?
False
Let s = 34 + 19. Is s a prime number?
True
Let h = -1742 - -2439. Is h composite?
True
Suppose 2*a = -4*k - 3*a + 121, 3*k + 4*a - 90 = 0. Is 1/((-2)/k)*-29 prime?
False
Let p = -1 + 1. Let b be 0 + (-2 - -6)/1. Suppose p*t = b*t - 460. Is t a composite number?
True
Suppose 0 = 4*v - 5*y - 1871, -4*v - 4*y 