 Is x composite?
True
Suppose -2*j + 5*z + 65 + 78 = 0, -j + 3*z = -70. Is j composite?
False
Let y(g) = -3*g**3 + g**2 + 3*g - 6. Let u be y(4). Let m = -44 - u. Suppose 3*n = 5*h + m, 0*n - n - h = -50. Is n composite?
False
Let h(g) = -53*g**3 + g + 1. Is h(-1) prime?
True
Let a(z) = -17*z**3 - 4*z**2 - 7*z - 9. Is a(-4) a prime number?
False
Let x be 2 + 2 + 0/(-2). Suppose -172 = -x*n + 176. Let q = n + -54. Is q composite?
True
Let g = -180 + 261. Suppose 0 = -4*o + 3*k + g + 557, 2*o + 3*k = 328. Is o composite?
True
Let c = -642 - -1175. Is c a prime number?
False
Let q(n) = 2*n - 4*n**2 - 23*n**3 + 7*n**2 - n**2 + 3. Is q(-2) prime?
True
Let i = 3 - -1. Suppose 0 = k - 1 - i. Suppose 562 = k*a - 13. Is a prime?
False
Let x = 35 - 6. Let f(n) = 18 + 0 + x - n. Is f(0) a prime number?
True
Suppose 5*h - 39 = 1276. Is h a composite number?
False
Suppose 4*x + 34 = 3*h, -36 = -h + 5*x - 10. Let v(s) = s**2 - 6*s + 4. Let a be v(h). Is ((-10)/(-4))/(a/56) composite?
True
Let s(b) = 2784*b**3 + b**2 + 2*b - 2. Is s(1) composite?
True
Let m(x) be the second derivative of 23*x**3/6 + 4*x**2 + x. Let l(o) = 24*o + 9. Let a(p) = 3*l(p) - 4*m(p). Is a(-6) prime?
False
Suppose 57*j + 77 = 58*j. Is j a composite number?
True
Suppose p = -3*p. Suppose -2*m = -3*x - 6, -4*x + p*x = 2*m - 6. Suppose -1 = -r + 2, -40 = -j - m*r. Is j prime?
True
Let k(u) = 16*u**2 - 2*u - 5. Is k(-3) composite?
True
Suppose -2 = 2*a, -4*p = 3*a - 8*a - 825. Is p prime?
False
Let q = 7 - 7. Suppose -u = -q*u - 82. Is u a composite number?
True
Suppose 0 = -2*p + 2*m - 31 + 177, 4*m = -p + 63. Suppose 4*w - 3*g - 45 - p = 0, 2*w - 3*g = 64. Is w a prime number?
False
Is 1565/10 + 1/(2 - 0) a composite number?
False
Let p(u) = 160*u**2 - u. Is p(-1) prime?
False
Is 136 - (0 + (1 - -2)) a prime number?
False
Let p(d) = -9*d**3 - 2*d**2 + 2*d + 3. Let u be p(-2). Let x = -6 - -10. Suppose -x*z = -z - u. Is z prime?
False
Let n = -7 - 25. Let j = 59 + n. Suppose -4*v = -j - 125. Is v composite?
True
Let j(l) = 3 + l**2 - 5*l - 3 + 3. Let i be j(5). Suppose -5*v = -a + 3*a - 179, i*a = -2*v + 65. Is v composite?
False
Suppose 3*s = -9, 3*u - 2*s - 3848 = 1012. Is u a prime number?
False
Let l(w) = 14*w**2 - 2 + 1 + 6 - 1 + w. Is l(-3) prime?
True
Let q(b) = 190*b**2 + 2*b - 1. Let m be q(1). Suppose -5*o = 13 - 33. Suppose m = 4*a - z + 44, -4 = -o*z. Is a a composite number?
False
Let o(d) = -4*d**2 + 19*d + 3. Let x(k) = 3*k**2 - 13*k - 2. Let v(l) = -5*o(l) - 7*x(l). Let r(b) = -3*b**2. Let a be r(-1). Is v(a) a composite number?
False
Let m(s) = 12*s**2 - 12*s + 8. Let y be m(-11). Suppose -5*b - y = -8997. Is b a prime number?
True
Is 6/(-4)*2 - (-754 - 0) prime?
True
Is ((-2282)/(-6))/(7/21) a prime number?
False
Suppose -2348 = -5*v + 762. Is v a prime number?
False
Is 12/(-8) + (-5188)/(-8) composite?
False
Is 4/(-5)*(-15)/6 - -477 a prime number?
True
Let q(a) = -a + 103. Is q(0) composite?
False
Let n(q) = -2*q**3 - 3*q**2 - q + 1. Let b be n(-4). Let r be (b/(-10))/(1/(-2)). Is -14*(0 - r/2) a composite number?
True
Let h(v) = v**3 + 7*v**2 + v + 1. Let f = -6 - 0. Is h(f) a composite number?
False
Suppose g = 1253 + 108. Is g a composite number?
False
Is (791 - 0 - -1) + -3*1 prime?
False
Suppose -6*j + 1336 = -2*j. Suppose 5*m = -b + 338, -j = -5*m - 0*b - 3*b. Let o = 9 + m. Is o a prime number?
False
Suppose 0 = 22*h - 26*h + 1228. Is h composite?
False
Let f be -2 - 1/1*-2. Suppose f = -4*b + 5 + 3. Let q = 99 - b. Is q prime?
True
Let z(d) = 4*d - 8. Let v(u) = -3*u + 9. Let j(y) = 3*v(y) + 2*z(y). Is j(0) composite?
False
Suppose 13 = 5*c - 27. Suppose 61 - c = i. Is i composite?
False
Suppose 0*y + 11 = -c - 4*y, -y + 6 = 2*c. Suppose -c*s = -4*z - 259, 2*s + z - 5*z - 94 = 0. Is s composite?
True
Let w(u) = -38*u - 1. Let m be w(3). Let z = -78 - m. Is z prime?
True
Suppose -4*a = -7*a + 6. Suppose 10 = a*h, r - 2*h + 187 = 58. Let d = -6 - r. Is d prime?
True
Let s = 2083 - 962. Is s prime?
False
Suppose 358 + 697 = 5*o. Is o a prime number?
True
Suppose -z = -0*z - 665. Suppose x + z = 6*x. Is x composite?
True
Let n be -1 + -5*2/(-2). Suppose -41 = -2*u - 33. Suppose -3*p = v - 337, n*p + v - u*v - 458 = 0. Is p a prime number?
True
Let f(x) = -3*x**3 - 3*x**2 + x. Let j be f(4). Let t = j - -381. Is t a prime number?
False
Let o(p) = 162*p + 7. Is o(2) prime?
True
Let k = -42 - -81. Suppose 4*u = -4*l + 140, -k = -4*u + 4*l + 69. Is u composite?
False
Is (-12513)/(-12) - 1/(-4) composite?
True
Suppose -3*p + 125 = -i + 748, -5*i + 5*p = -3155. Is i composite?
True
Let d(v) = -17*v - 30. Is d(-7) prime?
True
Suppose 2*z - 6*z = 3*t - 785, -2*z - 3*t = -397. Is z prime?
False
Let w be 1234/(-8) + (-6)/8. Let g = 220 + w. Is g a composite number?
True
Let y(j) = j**3 + 42*j**2 + 25*j + 17. Is y(-18) composite?
True
Let l(k) = 0 - 1 + 3*k - 1 + 1 + 4*k**2. Is l(2) composite?
True
Suppose -3*u + 374 + 1 = 0. Suppose 2*i + 4*r - 173 = u, -5*r + 20 = 0. Suppose l - i = -2*l. Is l composite?
False
Suppose n + 6 = -n. Let p be ((-1)/(-2))/(n/(-6)). Let w(f) = 56*f**2 - 1. Is w(p) prime?
False
Let y = 4 + -7. Is 2 + (102 + y - -2) prime?
True
Let f(l) = 13*l**2 - 2*l - 4. Is f(-5) composite?
False
Suppose -g + j + 9 = g, 5*g - 5*j - 30 = 0. Suppose 0 = i + 2*w - 33, -126 = -g*i - i - 2*w. Is i a composite number?
False
Let d = -10 + 45. Suppose -4*r - 5*o = -20 - 10, -5*o = 5*r - d. Suppose -2*l - 2*q = -8, -l - 4*q + 2 = -r*q. Is l composite?
False
Suppose 0 = d - u - 12268, u + 3*u = 5*d - 61341. Is d prime?
True
Let v(y) = y**2 - 1. Let k(u) = -3*u**2 - 4*u - 2. Let s(x) = k(x) + 2*v(x). Let q be s(-3). Is (0 - q/(-3))*-111 a prime number?
True
Suppose -2*x - x + 9 = 0. Suppose -2*u + 70 = -s - s, x*u + 2*s = 85. Is u prime?
True
Let d(v) = -2*v**3 - v**2. Let g be d(-1). Let s(z) = -163*z - 11. Let f(m) = -54*m - 4. Let a(x) = 8*f(x) - 3*s(x). Is a(g) a prime number?
False
Let p(q) = 4*q**3 - q**2 + 1. Suppose 3*f = 5*v + 28, -2*f + 3 + 9 = -2*v. Let l be p(f). Suppose m = -3*m - 20, -4*m = -l*s + 96. Is s prime?
True
Suppose -t = -2*t. Suppose t = -4*q + 152 - 652. Let s = -88 - q. Is s a composite number?
False
Let w = 699 + -128. Is w a prime number?
True
Suppose 98 = 3*g - 133. Is g a prime number?
False
Let f be 0/(12/(-3)) - 4. Is (-6 - -116)*(-2)/f prime?
False
Let m(t) = -t**3 + t**2 + t - 2. Let k be m(0). Let u be (1/k)/(2/(-660)). Suppose 100 + u = 5*j. Is j a prime number?
True
Is ((-77)/(-3))/((-3)/(-9)) a composite number?
True
Suppose -4*p = -9*p + 1055. Is p a composite number?
False
Suppose 6*h = h + 5*j + 45, h + 7 = 5*j. Is h composite?
False
Suppose 0 = f + f + 5*s + 21, 4*s + 20 = 0. Suppose -f*w = -5*w + 57. Suppose 0 = -a - 0*a + w. Is a prime?
True
Let y(h) = -5*h + 18. Is y(-8) a composite number?
True
Suppose -6*r + 4*n = -2*r - 552, -5*r - n + 720 = 0. Is r prime?
False
Let k = -1 + 3. Suppose -5*t = 20, k*g - 37 = t - 3. Is g a prime number?
False
Is 3/66*29858 - (-10)/(-55) a prime number?
False
Let k(w) = -w**2 - w**3 - 7*w - 5*w**2 + w**2 - 6. Is k(-4) a composite number?
True
Suppose 268 = 5*p + 3*a, 6*p + 2*a = 10*p - 210. Is p composite?
False
Let f(v) = v**2 + 5*v. Let m be f(-5). Suppose 0 = -o - m*o + 2. Let n(i) = 7*i + 1. Is n(o) a composite number?
True
Is (-6)/(-3) - 137/(-1) prime?
True
Let d(z) = -z**2 - 4*z + 9. Let q be d(-7). Let y = 37 + q. Is y prime?
False
Let o be 1 + 0*(-2)/(-6). Is (31/2)/(o/2) prime?
True
Suppose 4255 = 5*k - 2*y, -k + 562 = 4*y - 289. Is k a composite number?
True
Suppose 0 = 5*o - 0*j - j - 91, 77 = 4*o - 5*j. Let l = -11 + o. Is l a prime number?
True
Let t = -15 + 23. Let r(m) = -2*m**2 - 4*m**2 + 5*m**2 - 18 + 14*m + 7. Is r(t) composite?
False
Let t = -26 + 43. Suppose -92 = -5*l - t. Is l composite?
True
Suppose 3*k - 1540 = -4*n - 0*k, 2*n = k + 770. Suppose -f - 4*f = -n. Is f a prime number?
False
Let f = 9 - 5. Suppose -4*i + f*q = -1352, -q = -2*q - 3. Is i prime?
False
Let v be (-12)/(7 + -3) - -5. Suppose 0 = 2*y - z - 39, -3*y + v*z + 57 = -0*y. Is y a composite number?
True
Suppose 0 = 12*s - 13*s + 139. Is s composite?
False
Is (-217)/62*(0 + -1 + -193) composite?
True
Is 1/((-6356)/(-1588) - 4) a composite number?
False
Let n(i) = -5*i. Let q be n(-1). Suppose -3*y 