 584. Is h composite?
True
Suppose -5*o + 5*c + 1245 + 3490 = 0, 2*c + 951 = o. Is o composite?
True
Let m be 166/8 - (-1)/4. Let j = m - -30. Is j a composite number?
True
Let m = -3 + -2. Let q = m - -10. Suppose -q*j = -4*j - 19. Is j a composite number?
False
Suppose 464 + 973 = 3*i. Is i composite?
False
Let o(n) = -11*n**3 + 6*n**2 + 6*n + 3. Let j be o(-4). Let t = 1362 - j. Is t prime?
False
Suppose 0*d - 3 = 3*d, -5*d - 31 = -2*j. Suppose k = 162 - j. Is k a composite number?
False
Suppose -5996 = 6*o - 8*o. Is o prime?
False
Let v = -4 + 3. Let s(w) = 9*w - 1. Let y be s(v). Let d = y + 17. Is d prime?
True
Suppose -12*a + 17*a - 3425 = 0. Is a composite?
True
Suppose 0 = -v + 985 - 308. Is v a composite number?
False
Suppose -x + 2*x = 0. Suppose -3*v - t + 13 = x, 3*t + 13 = 4*v - 0*t. Is 50/v + 1/2 a composite number?
False
Let y(f) = 4*f**2 + 7*f - 4. Let g be y(-6). Suppose -4*x - 2*j + 216 = j, -2*x + g = -j. Is x prime?
False
Suppose -4*c - 5 = -17. Suppose -c*a - 4 = 2. Let g(r) = -11*r - 3. Is g(a) composite?
False
Let f(q) = 61*q**3 - 2*q**2 - 2*q + 3. Is f(2) a prime number?
True
Let x(i) = i**2 - 4*i. Let j be x(8). Suppose j = 2*a - 36. Is a a prime number?
False
Let w be -1 + 1 + (-1 - -6). Suppose 0*a - w*a = -85. Let u = a + 4. Is u composite?
True
Let n(j) = j**2 - 2*j - 10. Let y(b) = b**3 + 4*b**2 + 3*b + 5. Let x be y(-4). Is n(x) a composite number?
False
Let h = 1 - -30. Is h a prime number?
True
Suppose -2*n - 2*k - 16 = -216, -2*n + 3*k = -200. Let g = n - 57. Is g a prime number?
True
Let r = 116 + 635. Is r prime?
True
Is 2819*(2/(-7) + 36/28) composite?
False
Let o(c) = c + 1. Let x be o(-4). Is x/3 - 68/(-2) prime?
False
Let s(u) = -u**2 - 6*u - 7. Let y be s(-3). Suppose -74 = -y*m - 12. Is m composite?
False
Let y = -32 - -81. Is y a composite number?
True
Suppose -2*h + 2405 = 4*p + 933, 4*p = 2*h + 1464. Is p prime?
True
Suppose -2*f - 97 - 27 = 0. Let l = f + 104. Suppose 2*o - 50 = l. Is o composite?
True
Let c be 2*((-8)/2)/(-4). Suppose c*v = -3*v + 395. Is v a prime number?
True
Suppose 0 = 2*l - n - 3, 2*n + 10 - 2 = 5*l. Suppose -40 = -l*g + 126. Is g a prime number?
True
Let m = 4 + 22. Is m a composite number?
True
Let i = 94 + -1. Is i a composite number?
True
Suppose n = 6*n + 40. Is (-6)/n + 362/8 a prime number?
False
Suppose -5*r - 4*y = -343, -y = -4*r + r + 199. Is r composite?
False
Let f be 2/(3/(9/(-6))). Is (34/4)/(f/(-10)) a prime number?
False
Suppose -3*a = -q - 236 - 471, -5*q + 677 = 3*a. Let s = a + -101. Is s a prime number?
False
Let q(h) be the second derivative of -h**4/12 - 7*h**3/6 - 9*h**2/2 - 2*h. Let t be q(-6). Let i = 5 + t. Is i prime?
True
Let d(y) = -4*y**3 - 2*y**2 + y + 6. Is d(-3) a composite number?
True
Suppose -2*z - 5 + 3 = 0. Let p = 4 - z. Is (2/p)/(1/25) a composite number?
True
Suppose -6 + 2 = -2*s. Let r(n) = -n**2 + 4*n + 4. Let v be r(3). Suppose 0 = -s*l + 7 + v. Is l prime?
True
Suppose 62 = n - 236. Is n a composite number?
True
Let j(v) be the first derivative of v**3/3 - v**2/2 + 3. Let b be j(1). Is (-2 - b) + 19*3 a composite number?
True
Let a(q) = -2*q**2 - 12*q + 12. Let i be a(-9). Let r = 131 + i. Is r prime?
True
Let l = 536 + 51. Is l a prime number?
True
Let f = 3 - 1. Suppose 4*c = 4*o + 8, -4*c - 5*o = -6 - f. Is ((-1)/c)/((-3)/42) composite?
False
Let m = -788 - -2481. Is m prime?
True
Suppose 0 = 5*o - s - 390, o - 4*s = -2*s + 69. Is o prime?
True
Suppose -2*m = 2*m + 4*w - 92, 5*m - 139 = 3*w. Is m composite?
True
Suppose 5*w + 3*h - 351 = -0*w, -3*h = -4*w + 270. Is w a prime number?
False
Let l(q) be the first derivative of q**4/4 - q**3/3 + q**2/2 + 11*q + 1. Is l(0) composite?
False
Let b = -102 - -177. Let j = 118 - b. Is j composite?
False
Let h be (-8)/(-2) - (0 - -2). Suppose -2*i - 17 = -h*q - 121, -3*i - q = -144. Is i prime?
False
Suppose 4*z + 8 = 0, 8*s - 2063 = 5*s - 5*z. Is s composite?
False
Suppose -2*i + 1659 = 5*k, 0 = -i + 3*k + 613 + 189. Is i composite?
True
Suppose -1048 = 7*i - 4317. Is i composite?
False
Suppose 0 = -19*d + 21*d - 9070. Is d a prime number?
False
Let d = 2 + 0. Is (-2)/(-2)*(32 + d) a prime number?
False
Let f(g) = 3*g**3 + g - 1. Suppose 4*i + 1 - 5 = 0. Is f(i) a prime number?
True
Let p(h) = 32*h + 1. Let i be p(3). Suppose i = 5*q + 7. Suppose -4*c + 23 = n, 3*n - q = c + 8*n. Is c a prime number?
True
Is 3/(-2) + (-18384)/(-32) a prime number?
False
Let c(u) = 18*u - 3. Let z be c(2). Suppose 2*r + r = z. Suppose 3*d = 3*t - 63, -t = 4*d - 10 - r. Is t a prime number?
False
Let r(y) = -y**3 + 11*y**2 - 8*y + 6. Let s be r(8). Let z = s + -15. Is z a composite number?
True
Let y = 15 - 7. Suppose -69 = -y*i + 5*i. Is i a prime number?
True
Is 7/(-49) + 554/7 a composite number?
False
Let n be -54 - (1 + (0 - 3)). Let y = 159 - n. Is y a prime number?
True
Let f be 2/(-3)*18/4. Let g(i) = -i**2 + 1. Let t be g(-2). Is (f/t)/((-3)/(-177)) a composite number?
False
Suppose 0 = -5*x + 1 - 41. Let a = x - -13. Suppose -113 = -a*w + 2*w - 2*r, -5*w + 5*r = -155. Is w a composite number?
True
Let p(z) = -z**3 + 6*z**2 - 2*z - 1. Let u(m) be the second derivative of m**5/20 - m**4/6 - m**3/6 - m**2 - 2*m. Let a be u(3). Is p(a) composite?
False
Let k(z) = 47*z**2 - 35. Is k(-6) a prime number?
True
Suppose 3*d + 2 - 5 = 0, 4*m - 2512 = 4*d. Is m a prime number?
False
Let j(f) = f + 4. Let b be j(0). Let s(y) = 3*y**3 + 3 + b*y**2 - 2*y + 2 - 6. Is s(2) composite?
True
Suppose 0 = -2*v + v + 14. Suppose 5*j - 1 = v. Suppose 0 = -j*q - 2*q - 3*i + 272, -q + i + 56 = 0. Is q a composite number?
True
Let r(g) = g**2 + 3 - 2*g**2 + 0*g**2 - 13*g**3 + 4*g. Let f(x) = -x**3 + x**2 + 2. Let z be f(2). Is r(z) a composite number?
True
Is 446*4*(-2)/(-16) a prime number?
True
Let f(a) = -a**3 - 12*a**2 - 7*a + 8. Let b(s) = 2*s**3 + 35*s**2 + 21*s - 23. Let i(r) = -3*b(r) - 8*f(r). Is i(7) a composite number?
True
Let h = 91 - 54. Is h prime?
True
Let x(r) = 2*r**2 + 2 + 0 - 1 - 2*r. Suppose 0 = h + 2. Is x(h) a prime number?
True
Let p = 116 + 3. Suppose 9*c - 8*c = p. Is c composite?
True
Suppose -4*t + 8*t = 460. Is t prime?
False
Suppose -2*r - 5*d + 435 = 0, -4*d + 177 = 3*r - 472. Is r prime?
False
Let a(v) = -v**2 - 35*v - 7. Is a(-15) prime?
True
Let k(s) = -s**2 - 2*s - 1. Let u be k(-9). Let o = 90 + u. Is o prime?
False
Let p be (-4)/14 + (-1355)/35. Is (p/6)/(1/(-10)) composite?
True
Suppose p = 4, -5*s - p = 2*p - 1027. Is s a composite number?
True
Let z = 13 + -8. Suppose 16 = z*m - m. Suppose -5*q + 91 = -k, -2*k + m + 4 = 0. Is q composite?
False
Suppose 7 = v + 2*i, 17 = -5*v - i + 43. Is (v + -6)/((-2)/158) a composite number?
False
Let s(k) = k**3 + 5*k**2 + 1. Is s(-3) prime?
True
Let m(a) = -4*a**3 + a**2 - 2*a + 25. Is m(-8) composite?
False
Suppose -5*r + 540 + 350 = 0. Let v = 297 - r. Suppose 4*g + v = 5*g. Is g a composite number?
True
Let q(z) = z**3 - 9*z**2 + 2*z + 17. Is q(12) a prime number?
False
Let x be 1 + 1 + (-1 - -2). Is (19/x)/((-3)/(-27)) composite?
True
Let v = 8 + -5. Suppose -41 = w - h - v, -4*h - 18 = w. Let b = -20 - w. Is b a composite number?
True
Let j(s) = 2*s**3 + 2*s**2 - s. Let l be j(1). Let q(z) = z**2 - 2*z + 3*z**2 + z**2 - 2*z**2 - 2. Is q(l) composite?
False
Is (-2)/(-3)*(-3618)/(-12) prime?
False
Let k = -20 - -82. Is k a composite number?
True
Let r(x) be the second derivative of -x + 1/2*x**2 + 0 - 1/3*x**3 + x**4. Is r(-3) prime?
False
Suppose 0*s + 4*b = 5*s - 2415, 0 = 2*s - 3*b - 959. Suppose -3*x + 272 = -s. Is x composite?
True
Let s = -97 + 282. Suppose q - 37 = -i - q, 5*i - 5*q - s = 0. Is i composite?
False
Let w = -7 + 10. Suppose 0 = w*v + 1 + 2. Is (-1 - (v - 0)) + 67 a prime number?
True
Let a be 857 + -4 + 1 + 2. Suppose 0*c = -5*c + 20, 4*t = -3*c + a. Is t composite?
False
Suppose -n + 0*q + 325 = q, 5*n = -2*q + 1631. Suppose 5*a = 3*s + n + 106, 0 = 3*a - 3*s - 255. Is a a prime number?
True
Let k be (-4)/2*(-9)/(-18). Is (2 - 195 - -2)*k a composite number?
False
Let o(s) = 4*s**2 + 77*s + 60. Let p(j) be the first derivative of j**3/3 + 19*j**2/2 + 15*j - 1. Let w(q) = 2*o(q) - 9*p(q). Is w(-10) composite?
True
Let v = 37 + -16. Is v a prime number?
False
Suppose a + 6 + 34 = 0. Let p = 429 + a. Is p prime?
True
