uppose 18 = -2*l - l. Is k(l) composite?
False
Is (-5)/((-15)/1224) - 1/(-1) prime?
True
Suppose 0 = 3*s - 230 - 112. Suppose g + l - s = 0, 5*g - g = -3*l + 460. Let c = g - -9. Is c a composite number?
False
Let v = -277 - -614. Is v prime?
True
Let s(p) = 3*p + 2. Let q be s(-2). Is -3*q*(-4)/(-8) composite?
True
Suppose 2*b - 2*k + 4 = 0, -2 = b + 3*b + 2*k. Is (357/(-3))/1*b prime?
False
Suppose 2*c + 4 - 12 = 0. Suppose k = c*k - 18. Is k a composite number?
True
Let c(j) be the second derivative of -j + 0 + 23/12*j**4 + 1/6*j**3 + 1/2*j**2. Is c(-1) prime?
True
Let c be 4*(-2 + 36/(-16)). Let n(m) = -m**3 - 17*m**2 - 7*m - 4. Is n(c) composite?
True
Suppose 0 = 5*k - 2516 + 851. Suppose a + 2*a = k. Is a composite?
True
Let f(h) = h - 3. Suppose -g - 2*q + 5 = 0, 4*g + 9 = 5*g + 3*q. Let o be f(g). Is ((-9)/o)/(3/8) a composite number?
True
Let l(w) = -87*w. Let s be l(-5). Let n = 646 - s. Is n a composite number?
False
Let j(b) = -b**3 + 7*b**2 - 4*b - 8. Let q be j(6). Suppose q*z + 4*o - 434 = 2*o, -2*z = -3*o - 237. Is z prime?
False
Let y = -4 + 3. Let w be ((-1)/(1/2))/y. Suppose -w*l = 23 - 65. Is l a composite number?
True
Suppose 2*p = -0*p. Let l = 6 + -1. Suppose l*v - 2*v - 159 = p. Is v a composite number?
False
Is (0 - -404) + 2 + 1 composite?
True
Let k(n) = -2*n**2 - 6*n + 7. Let u be k(-5). Let f = 36 - u. Is f a prime number?
False
Let k(i) = -i**2 - 8*i + 4. Let f be k(-7). Is (-2)/(-2)*0 + f a prime number?
True
Let p = 0 + 2. Let d = p - -29. Is d a prime number?
True
Suppose c + 125 = 6*c. Is (1*(-1 - c))/(-2) prime?
True
Let a(n) = 25*n**2 - 6*n - 2. Let o be a(-4). Suppose 5*t - 3*t - o = 0. Is t a composite number?
False
Let j(o) = o - 1. Let f(a) = 6*a**2 + a - 6. Let w(x) = f(x) + 2*j(x). Let n be w(7). Suppose -2*h = -3*i - 6*h + n, 8 = 2*h. Is i a prime number?
True
Let n(y) be the third derivative of -y**6/120 + y**5/10 + y**4/8 + y**3/3 - y**2. Suppose -5*d = -2 - 13. Is n(d) composite?
True
Let d(c) = -2*c + 4. Let t be d(3). Let u = t + 4. Is u*((-33)/(-6) + -2) prime?
True
Suppose 0*d + d + r - 8 = 0, 36 = 5*d + 4*r. Let g(x) = 2*x**3 + 3*x**2 - 3*x - 1. Is g(d) a prime number?
True
Let q(l) be the third derivative of 149/6*l**3 + 1/24*l**4 + 0*l + 0 - 1/120*l**6 - 1/60*l**5 + l**2. Is q(0) a prime number?
True
Let w = -163 - -3882. Is w composite?
False
Let o = 143 + 536. Is o composite?
True
Let b(g) = -618*g - 25. Is b(-4) a prime number?
True
Let p(y) = y**3 + 8*y**2 + 3*y - 4. Let t be p(-7). Suppose 4*c + 12 = 0, -4*c = 4*b - 8*c - t. Suppose b*f - 56 = -f. Is f composite?
True
Let b be ((-2)/(-3))/(4/18). Suppose 2*u + b*u = -10, 0 = 2*n - 5*u - 56. Is n a composite number?
False
Let p(r) = -r**3 + 3*r**2 + 17*r - 5. Is p(-6) prime?
False
Suppose 3*a - v - 542 = 0, 5 = -4*v + 9*v. Is a prime?
True
Let r be (-3)/(1 - (-6189)/(-6180)). Suppose -3*k = 2*k - r. Is k/12 - 2/(-3) prime?
False
Let t = 2639 - -2420. Is t a composite number?
False
Suppose 152 - 2 = -5*t. Let d = t - -92. Is d prime?
False
Suppose 3*d - y - 725 = -3*y, 479 = 2*d - 3*y. Suppose -d = -t - 74. Is t prime?
True
Let q(w) = 55*w + 129*w + w - 10. Let m be q(7). Suppose 0*h = 5*h - m. Is h a composite number?
False
Let q(l) = 15*l**3 - 5*l**2 - 3*l + 9. Is q(4) composite?
False
Let a(j) = 3*j**3 + 5*j**2 - 5*j - 13. Is a(6) prime?
False
Suppose -4*x + 544 = 3*p, 0*p = -3*x - 3*p + 411. Is x prime?
False
Let f(x) = 2*x**2 + x. Let t be f(1). Suppose 6*l - 45 = 5*l - 4*k, t*l - 2*k - 149 = 0. Is l composite?
True
Let i(d) = -16*d - 18. Is i(-7) a composite number?
True
Let o = 5 - 5. Let a(s) = s**2 + 1. Let b be a(o). Is -4*(b + (-234)/8) a prime number?
True
Let z = -19 - -28. Suppose 3 + z = -4*w, -2*w - 8 = l. Is l/(5/((-895)/2)) a prime number?
True
Suppose -5*l = -87 - 43. Suppose 2*t - 5*u = l, u + 66 = 4*t - 2*u. Suppose d - t = -3. Is d prime?
False
Suppose r = -13*r + 12418. Is r a composite number?
False
Let d be (0 + 2)*(-9)/(-2). Let i = d + -13. Let u(g) = -8*g - 1. Is u(i) a composite number?
False
Is (60/16)/(-5)*-188 prime?
False
Suppose -1235 = -2*k - 3*k. Let u = k - 68. Is u composite?
False
Suppose z + 43 = 2*o, 151 = 2*z - 5*z - 5*o. Let y = z + 70. Is y composite?
False
Suppose -t + 75 = -4*g + 5*g, 0 = -2*g - 4*t + 146. Is g composite?
True
Let g(i) = 6*i**2 + 5*i + 10. Is g(9) prime?
True
Let w be (-374)/(-14) - (-2)/7. Is (-392)/(-18) - (-6)/w prime?
False
Suppose 4*g - 5*g - t = 1, 2*g - 5*t = -2. Let x be (26/(-4))/((-2)/12). Is g/(1 + (-40)/x) composite?
True
Suppose 0 = -4*o + 5*o - 35. Is o composite?
True
Suppose -8*d - 645 = -3*d. Let a = d + 242. Is a composite?
False
Let o(r) = -31*r. Let d(b) = b + 8. Let f be d(-7). Let v be f + 5/(5/(-2)). Is o(v) composite?
False
Suppose 13 - 48 = -c. Suppose 0 = -3*h - 14 - 16. Is h/4*(-966)/c a prime number?
False
Let i(h) = 9*h**3 - 5*h**2 - 4*h + 2. Let w be i(4). Is (-2)/(-4) - w/(-4) composite?
True
Let f = 5833 - 3860. Suppose 5*r + 2*n = f, -3*r - 3*n + 1180 = 2*n. Is r a composite number?
True
Suppose -4*m = -4, 0*m + 3*m + 92 = s. Let p(h) = 4*h**2 + h + 1. Let k be p(-1). Suppose -x + s = k*x. Is x composite?
False
Suppose -3*i = 4*i - 35. Suppose 0 = -4*g + 4*h + 200, -g + i*h = -6*g + 280. Is g a composite number?
False
Let o(q) = -q**2 + 10*q - 9. Suppose 0 = -4*k - 28 + 8. Let z(g) = -g**2 - 5*g + 6. Let u be z(k). Is o(u) a prime number?
False
Suppose 0*y = 4*y - 16. Is (2/(-3))/(y/(-762)) composite?
False
Let j = -188 - -100. Is 2438/22 - 16/j prime?
False
Suppose -3*y + 634 = -y. Let x = y - 190. Is x prime?
True
Suppose -62 - 50 = -2*v. Suppose v = s - 21. Is s prime?
False
Suppose -3*n + 2 = -13. Suppose -n*k + 597 = p, 0*p - 4*k = -2*p + 1166. Is p a prime number?
True
Suppose -11*v + 1418 = -9*v. Is v composite?
False
Suppose -3*q - 4*o = -22, -4*q + 2 = -o - 2. Suppose -38 = -u + 3*z, u = q*z + 36 + 1. Is u prime?
False
Suppose 15 = 3*m + 3*l, 4*l - 14 = 4*m - 2*m. Is ((-2286)/12)/(m/(-2)) prime?
False
Suppose 3*q + 38 = 4*g, 5*q + 5*g + 37 = -38. Is 4/q - 2893/(-7) composite?
True
Is ((-157)/2)/(4/(-8)) composite?
False
Suppose 24 = -4*x - 4*a, 3*x + 5*a + 24 = -2. Let m(p) = 2*p**2 - p + 3. Is m(x) prime?
True
Is -2 + (-25)/(-20) - (-18670)/8 prime?
True
Suppose -4*g = 33 - 233. Let x = 691 - g. Is x a prime number?
True
Suppose -95 = -b - 5*u, -207 + 45 = -2*b + 4*u. Is b a prime number?
False
Is 2/(-4) - (-8870)/20 a prime number?
True
Let d be 1*2 - (10 - -13). Is 7/d - 1006/(-3) composite?
True
Suppose -4*p - 4*g = -16, 5*g - 52 = 5*p - 22. Is (3 + -4)*(p - 78) a composite number?
False
Is (-5606)/(-30) - (-4)/30 prime?
False
Let o = 3222 + 1641. Is o a composite number?
True
Let i = 2 + -7. Let o(k) = -7*k**2 + 4*k - 13. Let j(w) = -3*w**2 + 2*w - 6. Let x(v) = i*j(v) + 2*o(v). Is x(7) prime?
False
Suppose 1693 = 5*y - 2197. Is y a prime number?
False
Suppose 0 = 9*u - 10*u + 1059. Suppose 2*p = -p + u. Is p a prime number?
True
Let m(i) = 9*i**2 + i - 1. Suppose v + 11 = -2*q - 5, -4*q - 20 = -4*v. Let f be (-1 - 0)*(-4 - q). Is m(f) prime?
False
Let b = -5 + 8. Is (b - 0)*322/6 a prime number?
False
Let y(n) = 4*n**2 - 3*n + 3. Is y(4) a prime number?
False
Suppose -5*d = -4*d - 221. Let h = 408 - d. Is h composite?
True
Suppose u = -3, 0 = 3*d - d - 3*u - 9. Suppose d = -4*o + 3*y + 10, 0 = -o - 3*y + 4*y + 2. Suppose 0 = 3*f - l - 62, 0 = -o*f - 3*l + 70 - 9. Is f prime?
True
Let v(l) be the third derivative of l**5/60 + l**4/8 + l**3/3 + l**2. Let h be v(-6). Is (-1)/(-3) + h/3 a prime number?
True
Let r be (13/(-39))/(1/(-6)). Suppose j + 4*t = 293, r*j = -3*j + 2*t + 1465. Is j a prime number?
True
Let f(d) = -d**2 + d + 1. Let w(n) = n**3 + n**2 - 2*n. Let a(y) = 2*f(y) - w(y). Let i be a(-4). Suppose -2*s = i*s - 148. Is s prime?
True
Let m(j) = j**3 - j + 37. Let v be (1 - 0)*-1 + 1. Let d be m(v). Suppose -5*q + n + 6 = -d, q + 3*n = 15. Is q a composite number?
True
Suppose 4*o - 1540 = 672. Is o prime?
False
Let u = 867 + 346. Is u a composite number?
False
Let q = 646 - 109. Suppose -8*m - q = -11*m. Is m a prime number?
True
Suppose 4*l + l + 12930 = v, -51810 = -4*v + 2*l. Is v composite?
True
Let s(o) = 7*o**3 + 4*o + 1. Let v be s(3). Let l be 0/(9/(-3) - -4). Suppose -3*r - 4*y + 2*y = -106, -5*r + 3*y + v