. Suppose 4*c - u = 3072. Is c composite?
False
Suppose -1420 = -8*a + 3*a. Let l be (38/(-3))/(4/18). Let d = a - l. Is d prime?
False
Suppose 0 = -3*r + 2*r + 6. Let u be r/(3 - 0) - -6. Let g = 29 + u. Is g a composite number?
False
Let v(u) = u**3 - 4*u**2 - 7*u + 12. Let o be v(5). Suppose -x + 3*b - 4544 = o*b, 0 = 2*b. Is x/(-12) + 2/6 prime?
True
Suppose -3*u = 4*v - 2209 + 728, 5*u + 2*v - 2487 = 0. Is u prime?
True
Let h(y) = -y + 7. Let l be h(5). Let z be l + 2 + -3 - -2. Is 51 - (1 - z) - 0 prime?
True
Let k = -2535 - -3654. Suppose b + 2*t = 1131, b - k = -0*b + 4*t. Let i = b - 546. Is i a composite number?
True
Let q = 605 + 7110. Is q prime?
False
Let q = 6571 - 4108. Is q prime?
False
Suppose -2*q = 2*s - 4*s + 582, -873 = -3*s + 2*q. Is s a prime number?
False
Let x = -75 + 78. Suppose 2*b + 5812 = x*t, 3*t - 6030 = b - 223. Is t a composite number?
True
Suppose 0 = 9*o - 5*o + 120. Let z be ((-20)/6)/((-20)/o). Is (z/10)/((-1)/366) prime?
False
Is (-9940614)/(-374) + (-3)/33*2 prime?
False
Suppose 0*y - o = -2*y - 33, 2*o + 14 = -y. Let m = y + 14. Is ((-101)/(-4))/(m/(-56)) a composite number?
True
Suppose 1 + 8 = -3*o. Let w be 0/(-3*1/o). Suppose w = 3*y + 28 - 85. Is y prime?
True
Let x = 296 - 59. Suppose -x = o - 816. Is o composite?
True
Let k(n) = -n**3 + 7*n**2 - 6*n - 5. Let q = 10 + -16. Is k(q) prime?
True
Let k be 336/54 - 2/9. Suppose k = 5*s - 44. Let y(p) = p + 1. Is y(s) composite?
False
Let c = 26862 - 13249. Is c a composite number?
False
Let k = -83 + 163. Suppose 3*h - k = 199. Suppose 3*j = -0*j + h. Is j composite?
False
Let y(x) = -2253*x + 80. Is y(-17) composite?
True
Let u(w) = w**3 - 8*w**2 - 5*w + 10. Let h be u(8). Let r be ((-2)/3)/((-4)/654). Let p = r + h. Is p prime?
True
Let m be 0 + (0 - -3) - -15. Suppose t + 0*t - 6 = -g, 0 = -4*g - t + m. Suppose -59 = -n + 4*h, -g*n + 2*h + 59 = -177. Is n a composite number?
False
Let b = -12 - -5. Let q = b - -7. Suppose -4*m + 3*m + 865 = q. Is m prime?
False
Suppose 14 = 3*p - 61. Is (-3246)/(-4)*(p/15 - 1) a prime number?
True
Suppose -2*y = 4*b - 2886, -2*b - 2874 = -10*y + 8*y. Is y prime?
True
Let r(t) be the second derivative of t**4 - 5*t**3/3 + t**2/2 - 5*t. Is r(6) a prime number?
True
Let s be 13/((-13)/(-534)) + -1. Let r = -234 + s. Is r composite?
True
Let m be 84/105*(-5)/(-2). Let z be 3*((1 - 2) + m). Suppose -z*c = c - 1432. Is c a composite number?
True
Let q(a) = 117*a**2 - 16*a - 46. Is q(-3) composite?
True
Let t(m) = -3*m + 20. Let g be t(7). Is (3985 - g)*((-52)/(-8) + -6) a prime number?
True
Let g = 10968 + -2549. Is g composite?
False
Let f(s) = 1073*s**3 - s**2 + 7*s - 6. Is f(1) prime?
False
Let t(i) = i**3 + 18*i**2 - 26*i + 16. Let o = -36 + 40. Suppose 114 = -2*m - o*m. Is t(m) a composite number?
False
Let v = -5 + 8. Let b be 0 - (-3)/(v/5). Suppose 2*i = 6*i + 4, i - 1344 = -b*q. Is q a prime number?
True
Suppose 0 = 6*q - 88909 + 2335. Is q prime?
False
Suppose 3*z - 6 = 6. Suppose 0*w - z = -2*w. Suppose w*c = 432 + 10. Is c composite?
True
Let j(t) = 3*t**3 + 10*t**2 - 4*t - 44. Is j(15) a composite number?
True
Let p = 8377 - -4310. Is p prime?
False
Let y(c) = 172*c**2 + 9*c - 22. Is y(-15) prime?
True
Suppose 545225 = 13*n - 1460246. Is n prime?
True
Let m(a) be the third derivative of 121*a**5/60 + a**4/24 - 2*a**3/3 - 10*a**2. Let y(x) be the first derivative of m(x). Is y(2) a composite number?
True
Is 3 + (-12)/2 - -302 composite?
True
Let p be (40/12 - 3)*15. Let n(i) = 242 + 205 + 4*i**2 + i**3 - p*i**2 - i. Is n(0) prime?
False
Let y(m) be the second derivative of 0 + 9/2*m**2 + 5*m + 1/6*m**4 + 2*m**3. Is y(-11) a prime number?
False
Suppose -15*t = -t - 42. Is t/(-5)*-5 + 248 composite?
False
Let t(c) = 3*c + 6. Let v be t(0). Suppose -2*h = -v*h + 892. Is h composite?
False
Suppose -2*s = 4*d - 18470, 18470 = -3*s + 5*s - 4*d. Is s composite?
True
Is (224904/(-32))/(9/(-12)) a prime number?
True
Let y = 76 - 74. Suppose -333 + 2111 = y*w. Is w a prime number?
False
Let b = 17402 - 8515. Is b a composite number?
False
Let a(h) = 5*h**2 - 6*h + 3. Let j(g) be the first derivative of 11*g**3/3 - 13*g**2/2 + 6*g - 1. Let o(p) = 5*a(p) - 2*j(p). Is o(-4) a prime number?
True
Let t be (-1 + 3)/((-4)/(-6)). Let g(h) = 18*h**2 + 25*h + 3. Let n be g(-6). Is n - (5 + (t - 4)) prime?
False
Let h(r) be the second derivative of 0 + 5/6*r**3 - 3/2*r**2 + 5*r. Is h(2) prime?
True
Let i(l) = 2*l + 2. Suppose 2 - 12 = 5*f. Let o be i(f). Is (o - 1112)/(-1 - 1) a prime number?
True
Suppose -3*l + 84 = 3*g - 6*g, 5*l - 3*g = 132. Suppose i - l = 187. Is i a prime number?
True
Suppose 27*b = 32*b - 602920. Is b/56 + ((-2)/7 - 0) composite?
False
Suppose -4*m - 5*k = 708 - 188, -605 = 5*m - 5*k. Let f = m + 222. Is f composite?
False
Let n be 4/2 - (-5 + 7). Let g be (18 - n)*(-558)/27. Let d = 875 + g. Is d a composite number?
False
Let b = 26 - 28. Is b + 5 + -1 + 631 composite?
True
Let t(s) = 175*s - 3. Let l be t(2). Suppose 5*k = -4*w + 444 + l, 5*k + 373 = 2*w. Let z = w - -29. Is z composite?
False
Let p be ((-1)/(-4))/(1/716). Let x = -94 + p. Is x a composite number?
True
Let r be (-2)/4 - (-13)/(-2). Let d be 16*-7 + (-14)/r. Let f = -36 - d. Is f composite?
True
Let h(z) = z**3 + 74*z**2 + 205*z + 243. Is h(-70) a composite number?
True
Suppose o + 0*o + 24 = 0. Let i = o - -27. Suppose -3*y + 390 = -k, i*y = -0*y + 2*k + 387. Is y prime?
True
Let l(f) = f**2 - 23*f - 67. Let x be l(18). Let h = x - -306. Is h a prime number?
True
Let l = 5468 + -3711. Is l prime?
False
Suppose 117 = 6*q + 3*q. Suppose q*t = 4*t + 15453. Is t prime?
False
Let l = 6972 + -3773. Is l composite?
True
Suppose 394*a - 391*a - 6117 = 0. Is a prime?
True
Let j = -54 - -59. Suppose -2*x - 4*z + 621 + 1417 = 0, j*x = 5*z + 5020. Is x a composite number?
False
Let k(n) = 531*n**2 - 9*n - 5. Is k(2) prime?
False
Suppose -y - o + 129618 = -134226, 4*y = 5*o + 1055367. Is y composite?
False
Suppose 2317 - 83 = 2*t. Is t a prime number?
True
Suppose 8*h - 5*h - 414 = 0. Suppose -2*t + h = -58. Let v = t - 51. Is v prime?
True
Let v(g) = -183*g - 9. Let x(o) = 91*o + 4. Suppose 7*p = -2*c + 4*p - 18, 5*p = -20. Let y(s) = c*v(s) - 7*x(s). Is y(-6) a prime number?
False
Suppose -17*i + 487 = -41622. Is i a prime number?
True
Suppose 0 = 5*j - 118139 - 31776. Is j composite?
False
Let w(v) = 2*v + 10. Let m be w(3). Let x be (-2)/(-8) + 892/m. Let o = -1 + x. Is o prime?
False
Let s = 5 + -86. Let y = s - -176. Is y composite?
True
Suppose -670 = -5*y - 4*v, 5*y - 742 = v - 72. Is y prime?
False
Let k(w) = 4*w**3 - 20*w**2 + 6*w + 6. Let t be k(8). Suppose -7*g + t = -1705. Is g composite?
True
Suppose -1 = 3*s - 4. Let l be 23/(0 - s/(-5)). Let t = 96 + l. Is t a composite number?
False
Let m(v) = 30*v**2 - 5*v + 6. Let y(z) = 2*z**2 + 21*z - 16. Let r be y(-11). Is m(r) a prime number?
False
Let g(t) = 20*t**3 - 7*t - 6. Let v be g(7). Suppose 3*b + 1361 = a, a - b + v = 6*a. Is a a composite number?
False
Let i(a) = -2*a - 2. Let j(f) = -27*f - 13. Let c(q) = -6*i(q) + j(q). Suppose 24 = -3*n + 3*o, -4*n + o - 16 = 5*o. Is c(n) composite?
False
Let q(g) = -g**2 + 9*g + 12. Let c be (-18 - -17)*1*-10. Let j be q(c). Suppose -w - 507 = -4*t, -182 = -4*t + j*w + 324. Is t a prime number?
True
Suppose -3*o + 2*l + 23 = 0, 0 = 4*o + 3*l - 65 + 6. Let f = o - 7. Is (212/(f/1))/1 a prime number?
True
Let x(o) = 4*o + 8. Let q be x(4). Is (-1 + q)*(15 - -4) a composite number?
True
Let m = -131 - -65. Suppose 10*o - 661 = 969. Let t = o + m. Is t a prime number?
True
Let a(w) = -6*w**3 - 4*w**2 + 0*w**3 - 6 + 44*w - 45*w. Is a(-5) composite?
True
Suppose -x = -5*x - 4. Let h(b) = b - 1. Let w be h(0). Is (x/2)/(w/1354) prime?
True
Suppose v - 10 = -3*w - v, 2*w + v = 5. Let u(s) = 2*s**3 + 26. Is u(w) prime?
False
Suppose 43*r - 2135884 = 639637. Is r composite?
True
Let b be (-27)/(-9) + 12*6. Suppose -j + 45 = 3*k + 4*j, -4*j + b = 5*k. Is k prime?
False
Suppose 0 = -2*l + 9154 - 2596. Suppose 3*j + 0*j + l = 0. Let b = j - -1614. Is b a prime number?
True
Suppose 4*p - 225496 = -4*m, -3*p + 8*m = 4*m - 169087. Is p a composite number?
False
Let o(d) = d**2 + 9*d - 1. Let l be o(-10). Let a be 2883/l + 6/9. Suppose -2*v - a + 835 = 0. Is 