**2/2 - 4*r + 4. Let l be s(-6). Let t = l - -63. Is t a composite number?
True
Let p(o) = 10*o**3 - 2. Let v be p(2). Is (-8)/16 - v/(-4) prime?
True
Is (53/(-2))/((-2)/4) a composite number?
False
Let l(x) = -x - 5. Let m be l(-7). Suppose m*v = 7*v - 725. Is v a prime number?
False
Let y be ((-11)/(-4))/((-4)/16). Let z(f) = 2*f**2 + 4*f + 5. Is z(y) prime?
False
Let d(n) = 10*n**3 + n - 1. Let u be d(1). Suppose u = 3*f - 83. Is f a prime number?
True
Let c(w) = 15*w**3 + 14*w**2 + 14*w + 5. Let h(g) = 5*g**3 + 5*g**2 + 5*g + 2. Let s(p) = 4*c(p) - 11*h(p). Let r be s(-2). Let m = -3 - r. Is m prime?
True
Is (-5)/(-2)*(-4 - -14) a composite number?
True
Suppose 274 - 3450 = -2*f. Is 1/(-2 - (-3180)/f) a composite number?
False
Suppose t + 2*t - u - 916 = 0, 5*u - 25 = 0. Is t composite?
False
Let y = 135 + -85. Let g be y - (-1 + -2)/(-1). Suppose -g = -5*x + 148. Is x prime?
False
Let a(x) = 2*x**2 + 13*x + 1. Is a(-14) a prime number?
True
Let z(j) = j**3 - j**3 - j**2 + 4*j**2 - 1 - 2*j**3 - 3*j. Let f(n) = -n**2 - 3*n + 1. Let u be f(-4). Is z(u) prime?
True
Let y(d) = -d**3 - 6*d**2 + 8*d + 7. Let o be y(-7). Is (-1 + o)/((-5)/2815) prime?
True
Suppose d + 155 - 1398 = 0. Let w = 1752 - d. Is w prime?
True
Let g(h) = 22*h + 4. Let b(t) be the first derivative of -11*t**2/2 - 2*t - 1. Let p(j) = -9*b(j) - 4*g(j). Is p(4) a composite number?
True
Let b(t) = -24*t - 13. Let j(r) = 25*r + 14. Let y(u) = -6*b(u) - 5*j(u). Is y(7) composite?
True
Let a = 17537 + -11698. Is a a composite number?
False
Let r = -701 - -1190. Is r a prime number?
False
Suppose 4*m + 4412 = 8*m. Is m a composite number?
False
Suppose 4*w - 12 - 5 = 3*z, -z = -3*w + 14. Let o be (-7)/(-7) + -1*z. Suppose -2*c - 3*i - 274 = -4*c, o = -5*i + 20. Is c a composite number?
True
Suppose -4*d + 0*d = -12. Suppose -d = q - 0, 0 = -3*h - q + 75. Is h a prime number?
False
Suppose -3*v - 22 = -4*v. Suppose 2*a - v = 156. Is a a prime number?
True
Suppose c = d - 9, 5*d = -0*d - 5*c + 25. Is d a composite number?
False
Suppose 1 + 2 = 3*r. Is r/1*(8 - -23) a prime number?
True
Let q(t) = 4*t**3 + 3*t**2 - 2*t - 1. Let a be q(3). Let l = 5 - 1. Suppose -20 = -l*h + a. Is h a prime number?
True
Let t(f) = -f**3 + 7*f**2 + 9*f - 4. Let n be t(8). Suppose -3*l - l + 96 = -4*d, 0 = n*d + 20. Is l prime?
True
Is -3 - (4062*-1)/(3/2) a composite number?
True
Let o = 1 + 0. Let g(t) = 6*t**3 - t**2 + 2*t - 1. Let n be g(o). Let j(m) = m**2 + 2. Is j(n) composite?
True
Is (66/(-8))/((-30)/3560) a prime number?
False
Suppose 2 = -2*b + 6. Suppose 2*w + 89 = b*f - 5, -3*f - 2*w = -121. Is f prime?
True
Let i(c) = 3*c - 5. Let n be i(3). Suppose 0 = -r + 2, -n*r + 91 = -2*q + 405. Is q a prime number?
False
Let i(s) be the second derivative of 0 - 7/2*s**2 + 1/12*s**4 + 4*s + 1/2*s**3. Is i(-7) a composite number?
True
Is (127/4)/((-3)/48*-4) composite?
False
Is 1401 + ((-32)/48)/((-1)/(-3)) a composite number?
False
Let b(r) = 7*r + 15. Let u(z) = -3*z - 7. Let w = 4 - 10. Let a(k) = w*b(k) - 13*u(k). Is a(-3) a prime number?
False
Is 0 - -2 - (-7)/(14/810) a prime number?
False
Is ((-268)/(-12))/(1/15) a prime number?
False
Let g = 2 - -3. Suppose 4*h = 2*k + 104, -5*k - h = g + 211. Let m = k + 111. Is m prime?
True
Let q(a) = 2*a**2 - a + 1. Is q(-3) composite?
True
Let r = 6 + -2. Let g = 17 + -12. Suppose -b + 3*a + 11 = 0, r*a + 1 = -g*b - 1. Is b composite?
False
Suppose -4*z = -4*l + 8, 2*z = -0*z + 4*l - 12. Let m(a) = -a + 1. Let h be m(z). Let o = h - -4. Is o composite?
False
Let o(d) = 4*d - 10. Is o(11) a prime number?
False
Let o = 11 - 7. Is o a composite number?
True
Suppose 67*m + 388 = 71*m. Is m prime?
True
Let i = -1 + 0. Let j = 36 + i. Is j prime?
False
Is (-3034)/(-14) - (-12)/42 a prime number?
False
Let i(w) = -6*w**2 - 2. Let f be i(3). Let b = 79 + f. Is b a composite number?
False
Let c(v) = 5*v**2 + 4*v - 10. Let h be c(-5). Suppose 0 = 4*u - m - 631, h = -3*u + m + 569. Is u a composite number?
False
Let o = -1 - -3. Let z(t) = t**o + 2 + 0 - 4 - t. Is z(-3) a prime number?
False
Let g be (-74)/9 + 2/9. Let m = g - 34. Let t = m - -61. Is t a composite number?
False
Suppose 30*j - 149950 = 5*j. Is j composite?
True
Suppose -35*c + 34*c = -519. Is c prime?
False
Let h(v) be the first derivative of 33*v**4/4 + v**2 + v + 1. Let m be h(-1). Let w = m + 87. Is w composite?
False
Let o = 26 + -17. Is (7 - o)*(-430)/4 a prime number?
False
Let a(f) = 1 + 0 + 4 + f. Let d be a(5). Is 2*(-2 + (d - 1)) composite?
True
Let k = -5 + 7. Let w(z) = z**2 - 2*z - 2. Let b be w(k). Is (-174)/(-12) - (-3)/b a prime number?
True
Let k = 275 + 1. Suppose 0 = -2*y + 5*y - 324. Suppose -m = -3*x - 2*m + k, x - 5*m - y = 0. Is x a prime number?
False
Suppose -2*p = l - 4, -3 = -4*l - 5*p + 7. Let j be (5/(-6))/(-5) + (-783)/(-162). Suppose j*o - 342 + 47 = l. Is o composite?
False
Let m(l) = 3 + 0 + 106*l**2 - 5*l + 0 + 2. Is m(2) composite?
False
Is (-8010)/(-20)*(-4)/(-6) a composite number?
True
Suppose 10*d - 5*d - 335 = 0. Is d a composite number?
False
Suppose -5*s + 3*d = -291, 4*s + 5*d - 36 = 219. Let o = s - 9. Is o a composite number?
True
Suppose -2*r - 5*m = -0*r - 237, -5*m = -15. Is r composite?
True
Suppose -2*u + 2469 + 4159 = 0. Is u prime?
False
Suppose 2*x + 6 = 0, 7*z - 26 = 2*z + 2*x. Suppose -3*q + 2*y + 664 = 3*y, -z*q = 4*y - 872. Is q composite?
False
Suppose 3*v + 811 - 100 = 0. Let k(y) = 4*y**3 - y**2 - 2*y - 1. Let t be k(-1). Is v/(-6) - (-2)/t prime?
False
Suppose 0 = -3*l + 87 + 27. Let a = l - -8. Is a composite?
True
Let u be (4 - 5) + (62 - -1). Let x = 10 + u. Let d = -39 + x. Is d a prime number?
False
Let t = -4 + 8. Suppose 1492 = 4*q + t*d, 2*q = -d + 2*d + 746. Is q prime?
True
Let d = 8 + -4. Suppose d - 14 = 5*b. Let o = b - -24. Is o a composite number?
True
Suppose -m + 5*m + 3*w = 6158, 0 = 2*w + 4. Is m a prime number?
False
Let o(m) = m - 2. Let b(v) = -1. Suppose 0 = 2*z - 4*z - 8. Let k(f) = z*b(f) - o(f). Is k(-8) a prime number?
False
Suppose -12*o + 1841 = -5*o. Is o a composite number?
False
Let d = 337 - 176. Is d a prime number?
False
Suppose 2 = c - 2. Suppose c*n - 572 = -0*n. Is n composite?
True
Suppose -22*c + 28*c = 1254. Is c prime?
False
Let o(r) = -r + 1. Let x be o(0). Is (0 - (-128 - 2)) + x a prime number?
True
Suppose r - 72 - 195 = 0. Is r a composite number?
True
Suppose 6456 = -4*m + 16*m. Is m prime?
False
Suppose -3*p + 352 = p. Suppose -5*v = -p + 28. Is v*(-3 - 25/(-4)) composite?
True
Let v be -1*(4 - 2 - 4). Suppose 2*z = x - 65, 4*z = -v*x + 3*x - 75. Is x a composite number?
True
Suppose 5*f = -2*j + 433, -4*f - j + 320 = -6*j. Is f prime?
False
Let o be ((-2)/(-6))/((-3)/(-63)). Suppose -4*l + 5 = -o. Suppose 2*i = -2*j + 44, 0*i + 5*j + 90 = l*i. Is i a composite number?
True
Suppose 8 - 2 = 3*z. Suppose z*h - 3*i = 0, 0 = -i + 2*i. Suppose h = 2*g + 4*y - 90, -4*g + 34 = -2*y - 176. Is g a composite number?
True
Let v(q) = 40*q - 9. Is v(5) prime?
True
Let b(c) = 3*c + 0*c**2 - 2 - c**2 + 2*c. Let y be b(7). Let j = 26 + y. Is j prime?
False
Let r = -25 - -44. Let y = r + -13. Let x(g) = -g**3 + 7*g**2 - 4*g + 3. Is x(y) a composite number?
True
Suppose -2*q - 164 = 2*g, -3*q = -3*g - 0*q - 234. Let u = g - -135. Is u a composite number?
True
Let i(u) = 4*u - 3. Suppose 0 = -3*w - 0*x - x + 11, 0 = 3*w - x - 1. Let m be i(w). Suppose 5*p = 2*h + 2*h - 86, m*p + 105 = 5*h. Is h a composite number?
False
Suppose -185 = -2*m + 303. Suppose 3*l + m = c - 24, 2*c - l = 541. Is c prime?
True
Let u(n) = 10*n - 1. Is u(2) a prime number?
True
Let d(m) = -70*m**3 + m - 1. Is d(-2) composite?
False
Let t = 11 - -242. Is t a prime number?
False
Let i(w) = -2*w + 2. Let r be i(2). Let z(h) = -2 + h + 1 + 1 + 10*h**2 - 1. Is z(r) prime?
True
Let z = -132 + 342. Is z/4 - (-11)/22 a composite number?
False
Suppose -b + 284 = 3*b. Suppose -d = -b - 6. Is d composite?
True
Suppose -5*p = -330 - 0. Is p/(-9)*-3 - -1 composite?
False
Let j(x) = -x**2 + 5*x - 2. Let a be j(5). Let l(v) = v**3 + v**2. Let h be l(a). Is h/(-20) - 1302/(-15) composite?
True
Suppose 4*a - 1385 = -5*t + 28, 0 = -2*t - 5*a + 555. Let w be -2*(0 + t/(-6)). Let b = w - 42. Is b a composite number?
False
Let g(w) be the third derivat