 = l - 5. Suppose 0 = 4*u + 4*q - 72, q = -l*u - 0*q + 60. Is u a composite number?
True
Let w(j) = 2*j**3 + 1 - 5*j**2 + 2*j**2 + 5*j**2 - 3*j + j**2. Is w(2) a prime number?
True
Let n = -76 + 111. Is n a composite number?
True
Suppose -o + 3*o - 110 = 0. Suppose -4*b + o = b. Is b a prime number?
True
Let a be -3*(-2)/(-3) - -2. Let z(v) = a*v - v + 34*v**3 + 2*v. Is z(1) prime?
False
Suppose 3*l - 1964 = 541. Is l composite?
True
Suppose 4*g + 0*g - 13100 = 0. Suppose 1330 = -5*n + g. Is n a composite number?
False
Let b be 7 + -6 - -166*2. Suppose b = 5*l - 262. Is l composite?
True
Suppose -4*a - a + 1350 = 0. Suppose -3*r = -a - 285. Is r a prime number?
False
Let g(p) = -9*p + 10. Is g(-13) a composite number?
False
Let u = 218 + -107. Is u a prime number?
False
Let l(p) = 24*p - 19. Is l(15) prime?
False
Suppose 0 = 4*t - 4*c - 196, -2*t - 4*c + 98 = -c. Is t composite?
True
Let x(u) = 1 + 0 - 3 + 2*u. Let v be x(-2). Let w(y) = y**3 + 6*y**2 - 6*y + 1. Is w(v) a prime number?
True
Let h be 38/5*(-4 + -1). Let o = 9 - h. Is o prime?
True
Let q be 12/(-4)*(-6)/9. Suppose q*n + 293 = 3*n. Is n composite?
False
Suppose -w + 69 = -3*t - 19, 0 = -t - 3. Is w a prime number?
True
Suppose -22*a + 21*a = 6. Is a/(-39) + (-1530)/(-26) a composite number?
False
Let n be ((-10)/25)/((-1)/5). Suppose -5*w = -n*w - 237. Is w a composite number?
False
Let b = 30 + -16. Is (557/2)/(7/b) composite?
False
Let u(r) = r**3 - r**2 - 4*r - 5. Let v(y) = -y**2 - 4*y - 6. Let k(o) = -7*u(o) + 6*v(o). Let x = -33 - -30. Is k(x) a composite number?
True
Suppose -b - 3*b + 288 = 0. Let w = -37 + b. Is w prime?
False
Let y(m) = m**2. Let c(n) = -35*n**2 + 4*n + 4. Let q(f) = -c(f) + 2*y(f). Suppose -3 = -4*h - 15. Is q(h) prime?
False
Suppose -2*n = 3*b + b + 6, -b - 4 = 3*n. Let h be -115 + n/(2 - 1). Is 2/(-1) + (-1 - h) prime?
True
Let w be (90/8)/(4/16). Let a = w + -8. Is a a prime number?
True
Let a(u) = -u**2 + 13 + 6*u**2 - 3*u**2 - 16*u. Is a(11) prime?
True
Suppose 27*j - 268 = 23*j. Is j prime?
True
Let i(g) = 0*g + 5 - 1 + 2 + g. Let n be i(-3). Suppose 0 = r + 2*r + 4*w - 779, n*r - 765 = 3*w. Is r composite?
False
Suppose 3*z + 10 = -2*z. Let m be -1 + 1 + (z - -4). Suppose -5*w + 156 = 5*b - m*w, -3*b + 114 = -5*w. Is b a composite number?
True
Let n be 27/(-36) + (-15)/(-4). Suppose -a - 166 - 472 = -n*t, -t = 4*a - 191. Is t prime?
True
Suppose -3*f = -r - 1, 4*f + 4*r + 8 = 4. Suppose 2*l - 65 = 157. Suppose l = 3*g - f*g. Is g a prime number?
True
Suppose -i + 12 = -4*i. Let m(s) = -s**3 - 8*s**2 - s - 3. Let q(z) = -z**3 - 7*z**2 - 3. Let k(x) = 4*m(x) - 5*q(x). Is k(i) composite?
False
Let j(y) = 12*y**3 - y**2 + 2*y - 3. Is j(2) prime?
False
Let x = 425 - 174. Is x a prime number?
True
Is 1/3 - 176/(-3) a prime number?
True
Is (30/(-45))/((-4)/762) a prime number?
True
Let w = -287 + 594. Is w composite?
False
Let n(j) = 24*j**2 - j - 1. Suppose 0 = 4*d - 3*d - 2. Is n(d) a prime number?
False
Let o(y) be the third derivative of y**2 + 1/6*y**4 + 0*y + 0 + 1/30*y**5 - 5/6*y**3. Is o(7) a composite number?
True
Let g = -198 - -493. Is g prime?
False
Let v be (-2)/4 - (-120)/16. Suppose 0 = v*u - 9*u + 332. Is u a composite number?
True
Let u = 7194 - -709. Is u a prime number?
False
Suppose -c + 0 = -2. Let v be (-4)/8 + (-99)/c. Let s = v - -87. Is s composite?
False
Let t = 91 - -28. Is t a prime number?
False
Suppose 3*s - 7*s + 104 = 0. Let a = -1 - s. Let u = 52 + a. Is u a composite number?
True
Let z = 3 + 6. Let q = z + 80. Is q composite?
False
Suppose 5*n - 22 = 3. Suppose -2*m + 4*m + 4*s = 90, -285 = -5*m + n*s. Is m prime?
True
Is 24/30 + (-2811)/(-5) prime?
True
Is ((-1)/3)/(((-20)/(-12108))/(-5)) composite?
False
Let a = -7 - -4. Let p(j) = -26*j - 4. Let o(u) = 79*u + 12. Let s(m) = -3*o(m) - 8*p(m). Is s(a) a prime number?
True
Is 5 + -7 + 2 + 781 composite?
True
Let s = -4 + 6. Let p(j) = j**2 + j**3 + 0*j**3 - 2*j**s - 4*j. Is p(3) composite?
True
Suppose u - 5*x - 76 = 0, -5*u + 2*x + 344 + 82 = 0. Is u prime?
False
Suppose 110*i - 108*i = -4. Suppose -3*o + 8 = o. Is 37 - i/(3 - o) a composite number?
True
Suppose 5*x - 12 = 23. Suppose -x*v + 177 = -4*v. Is v prime?
True
Let a(t) = -102*t**3 - 2*t**2 + 1. Let m be a(1). Is (m/3)/((-1)/3) prime?
True
Suppose 3*z - 11 = 4. Suppose -9 = -z*c + 6. Is (c/2)/(7/70) a composite number?
True
Let x = 2562 + -1768. Is x a prime number?
False
Is (-3)/2*(8794/(-3) + 4) a prime number?
True
Let p(k) = 8*k - 6*k**2 + 5*k**2 + 3*k**2 + 0 - 2. Is p(-6) composite?
True
Let a be 1/(1*2/6). Let g = 36 + -14. Suppose a*m = 5*w - 53, g + 3 = 3*w + 5*m. Is w a composite number?
True
Suppose 146 = -3*w + 1187. Is w a prime number?
True
Is 3*(-2)/(-4)*74 composite?
True
Let t(d) = 411*d - 47. Is t(6) composite?
True
Let o(m) = m**2 + 12*m - 22. Is o(-19) a prime number?
False
Let a = 15 + -11. Suppose -y + 5*j = -169, 6 = j + a. Is y a composite number?
False
Suppose -r = 3*n + r - 2207, 5*n = -r + 3669. Is n prime?
True
Let i be (-60)/(-9) + (-6)/9. Suppose 0 = -x + u - i, 21 = -x + 4*u. Is (35 - x) + -3 + 0 a prime number?
False
Let k = 135 - 86. Is k a composite number?
True
Let y = -140 + 809. Is y composite?
True
Suppose 2*w + 3*b - 2*b = 12, -3*w - 4*b + 28 = 0. Suppose 0*a - 4 = -w*a. Is (1/(-2))/(a/(-178)) a prime number?
True
Suppose -6*a + 5137 - 1819 = 0. Is a a prime number?
False
Suppose 0 = -7*h + 270 + 619. Is h composite?
False
Suppose 0 = -i - 6*i. Let s(n) = 6 - 7 + 24 - n. Is s(i) composite?
False
Let n be (-2)/((4 - 2)/(-4)). Suppose -n*c + 155 = 59. Let s = c - 17. Is s prime?
True
Suppose -o + 3*h + 21 = 0, -5 = -o + h + 6. Is (-9)/o*462/(-9) composite?
True
Let p(m) = -7*m + 1. Is p(-2) a composite number?
True
Let o = -2 - -6. Is o/(-18) + (-425)/(-9) a prime number?
True
Let y = 2810 - 1561. Is y prime?
True
Let m = -34 + 197. Is m a prime number?
True
Let a(x) = 2*x**2 - x + 5. Let v be a(4). Suppose b - v = 38. Is -1 - -3 - (-4 - b) a composite number?
True
Let d be 2 - (1 + -58)/3. Let u be (-6)/d + (-4)/(-14). Let o = 3 + u. Is o a prime number?
True
Let o be (-6)/(-10) + (-608)/5. Let d = o - 214. Let t = 594 + d. Is t a prime number?
False
Let g(k) = 12*k + 1. Let y be g(-2). Let l = y - -42. Is l a prime number?
True
Let c be (14 + -1*2)/1. Is c/(-3)*(-51)/4 prime?
False
Let k(s) = -s**2 + 8*s - 6. Let t be k(7). Suppose -t + 12 = l. Is l composite?
False
Suppose 4*x + n - 45 = 0, 2*x - 2*n = -n + 27. Suppose 3*d + 30 = 3*w + x, -5*d = 10. Suppose p + 4*b = 5*b + 10, -w*p + 4 = 5*b. Is p a prime number?
False
Let v = 258 + -168. Suppose 0 = 2*w - 76 - v. Is w composite?
False
Let q be (8/(-12))/(2/(-6)). Suppose -3*g = -q*g - 77. Is g a prime number?
False
Let z(a) be the third derivative of a**6/24 - a**5/30 - a**4/12 + a**3/2 + a**2. Let k(r) = r + 4. Let g be k(-2). Is z(g) prime?
True
Suppose 260 = u - 771. Is u a composite number?
False
Let s = -7 + 4. Let f be 0/s - -1 - -1. Suppose -f*b = 2*u - 164, 5 = -5*u - 10. Is b prime?
False
Let i = 1 - -1. Suppose 3*k - 4 = i. Is -4*(-1)/k*3 a composite number?
True
Suppose l + 4 = 5*l, 282 = 2*n - 4*l. Is n a prime number?
False
Suppose 608 = 4*b - 5*m - 0*m, 3*b - 491 = -5*m. Is b prime?
True
Let n(f) = -320*f - 17. Is n(-5) a prime number?
True
Suppose 4*h = 2*h + 2. Let b be -3 - 0 - h*-3. Is 0 + b - -1*43 a prime number?
True
Let i be (-4)/(-5)*(-5)/(-2). Suppose -5*w = i*j + 49 - 1, 2*j = 5*w + 52. Is 2085/25 + 4/w a prime number?
True
Let y(t) = 3*t - 4*t**3 - 10*t + 0*t**2 + 5*t**3 - 2*t**2 - 5. Let s(q) = -q**3 - 2*q**2 - 2*q + 2. Let z be s(-2). Is y(z) composite?
False
Let a(w) = -9*w**3 + 6*w + 1. Is a(-4) a composite number?
True
Suppose -5*b + 4*g + 5 = -1, -b = 2*g - 4. Let v be 0/(2 + -2 + b). Is 10/((0 - v) + 1) prime?
False
Let z be (20/5)/(-1 + 3). Is (472/(-16))/((-1)/z) prime?
True
Suppose -952 = -2*g - 6624. Is (-1)/4 - g/16 composite?
True
Suppose 62 = 2*k - 0*k - 4*x, -2*x = -2*k + 58. Suppose 0 = -4*r + 20, -4*r + 142 = 5*s + k. Is s a composite number?
False
Let m(c) = -4 + 3 + 4*c - 2 - c**3 - 11*c**2. Is m(-16) a composite number?
False
Suppose -5*n - c = -2621, 2622 = 5*n - c + 3*c. Is (n/(-8))/((-2)/4) a prime number?
True
Let d be 1*4 - (11 - 11). Suppose d*u = -v + 287, v + v 