True
Suppose 0 = -l - 0*l - 0*l. Let c(b) = b**3 - b**2 + 3*b - 67. Let w(s) = -5*s**3 + 5*s**2 - 13*s + 268. Let z(k) = -9*c(k) - 2*w(k). Is z(l) composite?
False
Let p = 249 - -74. Suppose f = 6*f - 20. Let z = p - f. Is z composite?
True
Suppose -17*f - 452 = -21*f. Suppose 12*w - f = 11*w. Is w a prime number?
True
Let y(p) = 5*p**2 + 5*p + 13. Suppose -d - 16 = -0. Is y(d) composite?
False
Suppose -40 = 5*d - 3*b + 20, -5*b + 61 = -4*d. Is 593 + d - 6/(-2) prime?
True
Suppose -2*x - 2*x = -2*z + 742, 0 = -x - 5. Suppose -d - 5*v - 84 = -z, 4*d - 1032 = -v. Is d a prime number?
True
Suppose -19*q = -24*q. Suppose 2*g + u - 2 - 5 = 0, -u - 3 = q. Let k(a) = 24*a + 11. Is k(g) composite?
False
Suppose 9 = 5*s - 2*c, 0 = 3*s - c + 5*c - 21. Suppose s*i = -d + 1961, d + 1 = -3. Suppose -q + 4*k - 393 = -4*q, 5*q + 3*k - i = 0. Is q a composite number?
False
Suppose -2*j - 3 = -3. Suppose 0 = q + 2*w - 111, 0 = -j*q + 5*q - 4*w - 569. Is q composite?
False
Is (-30)/(-10) + -7*1 + 5705 composite?
False
Let r = 13 + -11. Let n = 3 + r. Is (-2)/n - 771/(-15) composite?
True
Let x(q) = q**3 - 4*q**2 - 7*q + 1. Let i = 6 - 1. Let t be x(i). Is -2 - t/(-3)*-71 composite?
False
Suppose 9*b - 7*b = 1948. Is b a composite number?
True
Let z be ((-1)/3)/((-23)/4002). Is (-1)/(((-2)/z)/(14 - 12)) a prime number?
False
Suppose 9*f - 110916 = -5*z + 8*f, 3*z + f - 66550 = 0. Is z composite?
True
Let p be 9/12 - 225/12. Let j = p + 71. Is j a composite number?
False
Let u(y) = -21*y**3 + 5*y**2 - 5*y - 3. Let f be u(6). Is f/(-12) - (-6)/(-8) prime?
False
Is 2200019/69 - (-12)/(-9) prime?
True
Suppose 5*l - 44453 = -117*g + 119*g, 0 = -3*l - 2*g + 26659. Is l a prime number?
False
Let s(l) = l - 12. Let j be s(9). Let f be j*(-4)/(-6) - 175. Is ((-8)/12)/(1/f) a composite number?
True
Suppose 67591 + 98491 = 14*t. Is t composite?
False
Let r be (1 - -2) + -3 - (-9 - -3). Let h be 1/(1 + (-1)/2). Suppose r*q - h*q = 328. Is q prime?
False
Let t(j) = 2*j**3 - 6*j**2 - 28*j + 11. Is t(11) prime?
False
Let v(j) = j**3 - 6*j**2 + 5. Let y be v(6). Suppose 2*l + y*s = 517, 4*l - 5*s - 636 = 353. Is l composite?
False
Let j(f) = -f**3 + 12*f**2 + 3*f - 17. Suppose -12 = -r - 0*r. Let p be j(r). Let u = p + -8. Is u a prime number?
True
Suppose -h + 3650 = 3*z - 5892, 4*h - 2*z = 38098. Is h a composite number?
True
Let x(d) = 74*d**2 - d. Suppose -3*o = -2*o - 4*h + 10, -2*h + 12 = -4*o. Is x(o) a composite number?
True
Suppose 2*r = 2*a + 8, -4*a = -r + a + 4. Let h(x) = 9*x**3 - 3*x**2 + 4*x - 3. Is h(r) a composite number?
False
Let s(h) = -h**2 - 16*h. Let j(u) = -1. Let m(o) = -3*j(o) + s(o). Let b = 32 + -46. Is m(b) a prime number?
True
Let x(p) = 37*p - 3. Let m be x(6). Let r = -36 + m. Is r a prime number?
False
Suppose 6 = -2*b - 0*b. Let l = 195 + -235. Let y = b - l. Is y prime?
True
Let z(k) = 31*k**2 + 22*k + 40. Let q be z(-15). Suppose -2*y - q = -7*y. Is y a prime number?
False
Let l(r) = 2*r - 5. Let p be l(4). Let m = -68 - -203. Suppose p*c - m = 492. Is c a prime number?
False
Suppose -11*s + 9*s + 4 = 0. Suppose s*v + c - 42 = 26, 2*v - 66 = -2*c. Is v a prime number?
False
Suppose 10*u = -28053 + 93683. Is u composite?
False
Let b = 5 - 11. Let y = 121 + b. Let w = -80 + y. Is w composite?
True
Is -1 + (3 - (4 + -185)) + 4 composite?
True
Let h = 298 - -2129. Suppose -a - 2*a + h = 0. Is a prime?
True
Let d(p) = -3*p**3 + 2*p**2 - p + 1. Let v be (3 - 2) + 9/3. Suppose -3*s = -v*s - 3. Is d(s) a composite number?
False
Let m(j) = 5*j**3 + 16*j**2 + 12*j + 5. Let u(b) = -4*b**3 - 16*b**2 - 12*b - 6. Let v(c) = -5*m(c) - 6*u(c). Is v(-12) a composite number?
True
Let f(g) = 81*g**2 - 103*g + 15. Is f(-18) composite?
True
Let h be (-3)/(-2)*(-16)/(-6). Suppose -2*b = h*u - 2716, 5*u - 2*b + 51 = 3428. Is u a composite number?
False
Let h(b) = 62*b - 161. Is h(12) prime?
False
Let n = -12 + 21. Suppose 0 = -2*j - j + n. Is j a composite number?
False
Let h(f) = -f**2 + 4*f + 3109. Let b be h(0). Let l = b + -1700. Is l a prime number?
True
Let w be ((-4)/(-8))/(3/(-24)). Let b be (-3765)/(-6) + (-2)/w. Suppose g - 5*n = b, 2*g + 6*n - 3*n = 1243. Is g a composite number?
True
Suppose -4*q = -v - 3, -4*q - 2 = 5*v - 11. Let n(h) = 2*h - 1. Let m be n(q). Is (4/6 - m)*-537 composite?
False
Let p(o) = -1088*o + 2. Let y be p(-5). Suppose 0 = 2*j - 8*j + y. Is j composite?
False
Let l be 5 - -1318 - -6*2/(-4). Let b = l + -835. Is b prime?
False
Let u be (1 - -8) + (-4 - -3). Let t = -7 + u. Is 3 - (t/1 - 157) a composite number?
True
Let g(v) = 73*v**2 - 2*v - 2. Let b be g(3). Suppose -4*h + 653 = 5*l - 5*h, b = 5*l - 3*h. Is l composite?
False
Let m = -1872 + 2741. Is m prime?
False
Suppose -3*n = -3*o + n + 6402, o = 3*n + 2134. Suppose -5*h = -1 + 11, 0 = -2*j - 2*h + o. Is j prime?
True
Let a(v) = -9*v**2 - 20*v - 32. Let b(j) = 3*j**2 + 7*j + 11. Let d(f) = -4*a(f) - 11*b(f). Is d(8) a prime number?
True
Suppose -4*b = -6*b + 518. Suppose 0 = m - 3*m + 4, 5*m - b = -3*l. Is l + 0 + (-5 - -1) a composite number?
False
Is (-6826)/(-8) - (18/8 + -2) prime?
True
Is (1171/(-3))/(53/(-4929)) a prime number?
False
Suppose 3*i - 2*j = 9215, 4*i - 10433 = 2*j + 1855. Is i a prime number?
False
Let t(r) = -9*r**3 - r**2 - r. Let q be t(-1). Suppose -2*f + 12 = -2*o, -2*o + 4*f - 31 + q = 0. Is 631 + 1*(1 + o) a prime number?
True
Let u = -7257 - -11126. Is u prime?
False
Let d be (27/12)/(12/80). Suppose 3*x = d, -4318 = -2*n - 2*x - 2*x. Is n prime?
False
Let d = -2606 + 4685. Suppose l = -i - 3*l + d, -i + l + 2099 = 0. Is i a composite number?
True
Let j = -2575 - -4134. Is -5*(-4)/20*j a prime number?
True
Suppose -9367 - 9683 = -30*m. Is m a composite number?
True
Let h(n) = 2*n**2 - 5 - 5 + 4*n + 2. Let r be h(-11). Suppose -9*q = -11*q + r. Is q a composite number?
True
Suppose -6 = 2*z + 3*b, -5*z + 5*b + 8 = -2. Suppose -16*k + 11*k + 695 = z. Is k a prime number?
True
Let w = 7182 + 211. Is w prime?
True
Let b = 221 - 86. Let d = 236 + b. Is d composite?
True
Let n(p) be the first derivative of -p**4/4 - p**3/3 + 3*p**2 - p - 1. Is n(-6) a prime number?
False
Let g(j) = j**3 + 9*j**2 + 12*j - 10. Let s be g(-7). Suppose 379 = -3*z + s*z. Is z prime?
True
Let d be ((-20622)/(-15))/((-1)/(-5)). Suppose -2*z - d = -9*z. Is z composite?
True
Let s = -27 + 32. Suppose 0 = -5*r + s*z + 2925, -1743 = -2*r - r - 3*z. Is r composite?
True
Let m(p) = -236*p + 6. Let l be m(6). Let v = 2263 + l. Is v composite?
False
Let z = 38573 - -416. Is z prime?
False
Let j = -1566 + 42917. Is j a composite number?
False
Let d = 34 + -44. Let i be ((-60)/(-25))/((-3)/d). Let o(f) = 48*f + 7. Is o(i) composite?
True
Suppose 0 = -3*p + 5 - 2. Let f(k) = -6*k - p + 18*k - 6*k + 18*k. Is f(2) prime?
True
Suppose -6*j + 3*c + 586 = -2*j, -5*j = 2*c - 744. Let d = j + -81. Is d a composite number?
False
Suppose 0 = -6*b + 10278 + 7824. Is b a composite number?
True
Suppose -5*d + 49980 - 9225 = 5*t, 2*t - 16306 = -3*d. Is t a composite number?
False
Let u = 46723 + 5938. Is u a composite number?
True
Let n(h) = 59*h**3. Suppose 0 = 7*a - 9 + 2. Is n(a) a prime number?
True
Let r(y) = y**3 + y**2 + 6*y + 15. Let p be r(8). Let b = -260 + p. Is b composite?
False
Suppose 0 = d + 3*s + 3433, -4*s - 1756 = d + 1682. Let b = -2217 - d. Is b a prime number?
True
Let z(s) be the first derivative of 34*s**3/3 + 2*s**2 + 21*s - 11. Is z(-11) prime?
True
Let r = -232 + 2067. Is r prime?
False
Is 16220/1 - (8 - 5) a prime number?
True
Is (3/6)/((-1)/(-19298)) prime?
True
Suppose -4*c + 5*c + 5*d = 14, 3*d = 3*c - 78. Suppose 1319 = -23*h + c*h. Is h a composite number?
False
Suppose -59 = 6*p + 49. Is (-11526)/p - (-8)/12 a composite number?
False
Let w(v) = 8*v**3 + 2*v**2 - 6*v + 5. Let m(x) = 7*x**3 + 2*x**2 - 7*x + 6. Let s(r) = 4*m(r) - 3*w(r). Is s(4) a prime number?
True
Suppose -4*o - 3*u = -5*u - 42, 4*o = -5*u + 63. Let j be ((-14)/(-8))/(o/528). Suppose -4*v + j + 1511 = 0. Is v composite?
False
Suppose 4*f - 3 = 5*b + 25, -3*b = -4*f + 20. Suppose -f*y + 626 = 2*y - q, 3*y - 4*q - 463 = 0. Is y composite?
False
Let h = 23 - 18. Suppose 3*s + h*l - 434 = 0, 0*s + 2*s - l - 285 = 0. Suppose 3*a - s = 256. Is a prime?
False
Let n be 34*(98/(-5))/((-52)/65). Let y = n 