*u**2 - 6*u - 3. Suppose 10 - 42 = 8*z. Is y(z) a prime number?
True
Suppose 998 = 5*p - 272. Let j be (-12 + (-2 - -3))*p. Is (j/(-55))/(2/5) composite?
False
Is 7791 + (-3 - 5/(-5)) a composite number?
False
Suppose 0 = -3*t + u + 2*u + 22434, -3*t + u + 22432 = 0. Is t prime?
True
Let t(s) be the first derivative of 13*s**2/2 - 13*s - 2. Is t(8) a prime number?
False
Let m = 231 - -177. Let t = -16 - -23. Suppose 5*s = m + t. Is s composite?
False
Let w = 4479 + 951. Let d = w - 2065. Is d a composite number?
True
Let m(g) = 7*g**2 + g - 2. Let w(i) = -7*i**2 - 2*i + 2. Let t(s) = 3*m(s) + 2*w(s). Is t(3) a composite number?
True
Let y(v) = -v**3 + 13*v**2 + 15*v + 12. Let t be (3 - -30)*(-2)/(-3). Suppose -3*l + t = -l. Is y(l) prime?
True
Let y(s) = 222*s + 23. Is y(9) composite?
True
Suppose -10*t = 6*t - 17312. Suppose -d - 2*h + 579 + t = 0, 5*d = 3*h + 8370. Is d prime?
False
Suppose 0 = i - 3*v + 8 - 3, 0 = -2*v + 8. Suppose i*p + 74 = 9*p. Let z = -22 + p. Is z a prime number?
False
Let m be 2/((-25710)/(-6425) + -4). Suppose -8*j = -3*j - m. Is j prime?
True
Let p(i) = -1208*i - 161. Is p(-33) a composite number?
False
Let f = -78 + 50. Let m = f - -16. Let h = 65 + m. Is h a prime number?
True
Suppose 4*s = 2*c + 2812, -4*c + 2824 = 4*s - 9*c. Is s composite?
False
Suppose 4*z = 5*z + 8. Let w = 8 + z. Suppose 3*x - 210 = 2*c + c, -4*x + 5*c + 276 = w. Is x a prime number?
False
Let m = -17 + 20. Suppose -1678 = -b - a, -3*b - 2*a + 5042 = m*a. Suppose -560 = 2*c - b. Is c a composite number?
False
Let c be (5/(-6))/(11/(-66)). Let h(j) = -4*j**3 + 3*j - 3. Let o be h(c). Let m = 941 + o. Is m a composite number?
True
Let x = 4 - 0. Suppose -3*b + 23 + 2 = y, -2*y + 36 = x*b. Let j(t) = 43*t - 12. Is j(b) prime?
False
Let j be (-4 + 5)/((-1)/(-3)). Suppose j*n = a - 2*a + 7, 2*a = -n + 9. Suppose 0 = a*h - 18 - 74. Is h a prime number?
True
Suppose 3*p = 7*p - 20. Suppose 300 = p*s - 4*o - o, -5*s + 2*o + 291 = 0. Is s a composite number?
True
Suppose -w - 27985 = -6*w. Is w a prime number?
False
Let z = 16221 - 10408. Is z prime?
True
Is (22 + 8691)*(1 + 0) a prime number?
True
Let s(i) = 5*i**3 - 14*i**2 + 20*i - 23. Is s(8) composite?
False
Let i = 23982 - 12377. Suppose -7*v - 4*v + i = 0. Is v prime?
False
Suppose v - 2 = 4*x - 0, -3*v - 3*x + 21 = 0. Suppose -815 = -v*k - 245. Is k a prime number?
False
Suppose 9 = 3*r, r - 12338 = -5*p + 1590. Suppose l + l = -s + p, 5*s - l = 13881. Is s prime?
True
Let o(f) = 311*f**2 + 19*f + 79. Is o(-7) composite?
True
Let g(d) be the second derivative of 76*d**3/3 + 39*d**2/2 + 15*d. Is g(8) a prime number?
False
Let i(j) = -1098*j**3 - 13*j**2 + 26*j + 9. Let v(s) = -549*s**3 - 7*s**2 + 14*s + 5. Let b(r) = -6*i(r) + 11*v(r). Is b(2) a prime number?
False
Let q(s) = 1686*s + 421. Is q(13) composite?
True
Let j = -753 + 827. Is j a prime number?
False
Suppose 3*j - 248 = j. Suppose -n - n = -j. Let g = 117 - n. Is g a prime number?
False
Let n = 25 + -15. Let z be n/(-35) + 13654/14. Suppose 4*i + v = i + 569, -5*v - z = -5*i. Is i a prime number?
True
Let t(x) be the third derivative of x**4/6 + 965*x**3/6 - 11*x**2. Is t(0) prime?
False
Suppose -p + 4*q = -10 - 4, 0 = -5*p + 3*q + 36. Let v = -712 + 468. Is p/10 + v/(-10) prime?
False
Suppose 25916 = h - 2*v + 2121, -3*h = -4*v - 71387. Is h a prime number?
False
Let t be (6 - (0 + 2)) + -2. Suppose -2*g = 4*q - 10, 15 = 3*g - 2*q - 0*q. Suppose -t*f + 1148 = -f - g*n, 2*n = -6. Is f prime?
False
Let s = 414 + -380. Is s a prime number?
False
Let i(c) = 28*c**2 + 7*c - 4. Let m be i(6). Suppose -5*v - 541 = -2*d, d + 3*d + 2*v = m. Is d a composite number?
False
Let z(m) = 3*m + 10. Let c be z(-4). Let g be (-189)/c + (-6)/(-12). Suppose -5*j + g = -80. Is j composite?
True
Is 4 - ((-18)/(-2))/(49/(-25137)) prime?
True
Let p = -6 - -7. Is (33/(-12) + p)*-76 composite?
True
Suppose -4*b + 30 = -3*i, -5*b + 5*i = -11 - 29. Let p(q) = 21*q - 15. Let l(c) = -31*c + 22. Let h(d) = -5*l(d) - 7*p(d). Is h(b) a prime number?
True
Let v be (-5 - -4)*(-6)/2. Is v/((1/3)/(411/9)) composite?
True
Suppose l + 988 = 199. Suppose z + z = -1076. Let a = z - l. Is a a composite number?
False
Let j be (-30 - (-1 - -3))*-11. Suppose -61 = 3*x - j. Is x a composite number?
False
Let x = 6 + -13. Is (2 + x/4)*596 a composite number?
False
Suppose 3*r + 3107 = 12920. Is r composite?
False
Suppose 0 = 3*s - 2*w - 39, -s + w - 4*w + 13 = 0. Suppose -4*r + s = r + b, -17 = -3*r + 4*b. Suppose 4*m - r*x = 216, -2*m + 55 = 4*x - 31. Is m composite?
True
Let q = -26 - -61. Suppose -q = -5*r - 4*s - s, 5*s = 25. Suppose 3*b + 2*g = 453, 0 = -b + 2*g + r*g + 137. Is b prime?
True
Suppose -2*s = -2*v - 2849 + 849, -5*v = 5*s - 5030. Is s composite?
True
Suppose -3463 - 4713 = -4*b - 4*z, z + 2034 = b. Is b prime?
True
Suppose -7*w + 4*w + i + 68611 = 0, 8 = 4*i. Is w a composite number?
False
Suppose o - 4*h + 6 + 1 = 0, -5*h = -15. Suppose -16503 = -2*l - 3*l - 2*f, -o*l + 3*f = -16483. Is l composite?
False
Is (-1)/(-2) + (-885060)/(-264) prime?
False
Suppose 14 = 3*x - 16. Suppose 0 = 4*v - x*v - 66. Let o(t) = -t**3 - 9*t**2 - t + 1. Is o(v) composite?
True
Let g = -35 - -32. Is 4/(-12) + g/((-27)/3360) a composite number?
False
Let i = 26 + -7. Let s = 8 - i. Let n(x) = x**2 + 5*x - 15. Is n(s) a composite number?
True
Let l(z) = 4*z**2 + 13. Let y(m) = m**2 - 19*m + 23. Let k be y(18). Is l(k) composite?
False
Let o(s) be the third derivative of 1/120*s**6 - 7/6*s**3 + 0*s + 0 - 1/6*s**4 - 4*s**2 + 11/60*s**5. Is o(-9) composite?
False
Let j = -42 + 47. Suppose -j*d = -4*o + 6*o - 241, -o + 122 = 3*d. Is o composite?
False
Is 27 + -28 - (-820)/2 prime?
True
Let t(k) = -k**2 - 5*k + 27. Let q be t(14). Let j = 158 - q. Is j a composite number?
False
Suppose 2267 = j + 4*d, -2*j + 2*d - 4*d = -4510. Is j composite?
False
Suppose 3*k + 719 = 4*r + 3885, 3*r + 4233 = 4*k. Let l = k - 12. Suppose l = 2*i + w - 448, 4 = -w. Is i a composite number?
False
Let o(z) = -5*z**3 + 13*z**2 + 15*z - 16. Is o(-11) a composite number?
True
Suppose -3*t + 9 = 0, -4*t = 5*o - 4*o - 462. Suppose 0 = 5*j - o - 185. Is j a composite number?
False
Suppose 2*a - 7662 = -s, 5*a - 22*s = -19*s + 19177. Is a a prime number?
True
Suppose 0 = l - 2*l + 5*r + 20416, -l = 3*r - 20440. Is l a prime number?
True
Suppose -q - 2*r + 0*r + 7552 = 0, -q - 4*r + 7544 = 0. Suppose 2496 = -8*c + q. Is c a composite number?
True
Suppose -d = 4*d - 110. Let b be d*((-4)/2 + 0). Let s = b + 75. Is s a prime number?
True
Let b = 15165 - 8534. Is b prime?
False
Let m = 35 + -31. Suppose 2*g = 2*l - 592, -m*l + l - 5*g = -864. Is l prime?
True
Let m be (11 - -2) + (1 - 3). Let c = m + -6. Suppose 2*y + x = 283, 0*y = -2*y + c*x + 277. Is y composite?
True
Let j be (-189)/28 - 2/8. Let h(s) = 9*s**2 - 9*s - 6. Let y be h(j). Let u = y + -287. Is u prime?
True
Let v(x) = 25*x - 6. Let u(z) = -25*z + 5. Let t(q) = 4*u(q) + 5*v(q). Let p be (-1 - -10) + (6 - 4). Is t(p) a prime number?
False
Suppose 0 = a + v - 1366, 4 = -2*v - 0. Suppose 4*i - 916 = a. Is i a composite number?
False
Suppose 0 = 4*l - 4*a - 1348, -4*a + 0*a + 990 = 3*l. Suppose 0 = -b + 411 + l. Is b composite?
True
Let n = -6632 - -9439. Is n prime?
False
Let n(v) be the first derivative of -v**4/4 + 8*v**3/3 + 11*v**2/2 + v + 11. Is n(9) a prime number?
True
Is -6 + (-38)/(-6)*(7573 + 8) a prime number?
False
Let t = 10791 - 5522. Is t a composite number?
True
Let u = 13 + -14. Let i = u + 6. Suppose -5*l + 4*p = -1157, -5*l + i*p - 153 = -1308. Is l prime?
True
Let l(s) = s**3 - 3*s**2 - 2*s - 2. Suppose 3 = -j - 2*h, 0*j = -5*j - 5*h. Let f be l(j). Is 4/f + 155/2 composite?
True
Let w(v) = v**2. Let z = 2 - 0. Let y be w(z). Is 8/y - -5*19 prime?
True
Suppose 5*c - c = 652. Let i(h) = -3 - 2 + c*h + 122*h - 64*h. Is i(2) composite?
True
Suppose i - 3*h = -11668 + 32141, 4*h + 20473 = i. Is i a composite number?
True
Let q = -33 - -56. Let r = q + 162. Is r a composite number?
True
Let k(s) be the third derivative of -31*s**4/12 - s**3 + 2*s**2 + 24. Let y = -4 - -2. Is k(y) a prime number?
False
Let m(g) = 13*g**3 - 22*g**2 - 12*g - 38. Is m(13) a prime number?
False
Let z(b) = 4 + b + 4 - 4*b. Let m be z(8). Let d(p) = -13*p - 