0 = 10*l - 4*l - 780. Let t(s) = -15*s - 146. Let c be t(-10). Suppose -3*z + 4*h + 441 = -h, -c*h = z - l. Is z composite?
True
Let l(c) = 953*c**2 + c - 4. Let y be l(2). Suppose -r + 7779 = 2*r. Let j = y - r. Is j prime?
True
Is (-7 + 10)*3412/12*79 composite?
True
Suppose -2*o + 676 = -460. Let k = o - 1211. Let q = 1114 + k. Is q composite?
True
Let r = -22 + 22. Let n(j) = j**2 + 2. Let g be n(r). Suppose 3*b = 3*i + 741, -i + 2 + g = 0. Is b composite?
False
Let l(z) = -6*z**2 + 56*z - 77. Let w be l(-24). Let a = w - -8146. Is a a prime number?
False
Is (40638 - (-24)/(-24))*1 a composite number?
False
Suppose -2*s = -2*q + 18, -4*q - 5*s + 10 = 1. Suppose -4*p = -6*p + q. Suppose -5*c + 649 = w, c + p*c + 1985 = 3*w. Is w composite?
False
Let w(u) be the third derivative of -271*u**4/8 + 4*u**3/3 + 120*u**2. Is w(-17) prime?
True
Let w(c) be the first derivative of 130*c**3/3 - 3*c**2/2 - 15*c + 11. Is w(4) a prime number?
True
Suppose 6 = 4*x - 2*s, -x - 5*s + 9 = -4*s. Suppose -5*v + v = x*p - 68, 4*v = 20. Suppose 786 = -6*i + p*i. Is i prime?
True
Let r(s) = 3*s**3 - 86*s**2 + 39*s + 350. Is r(48) composite?
True
Let y(u) = -u**3 - 23*u + 9. Let g be y(6). Let x = g + 484. Is x composite?
False
Suppose 0 = -5*u + 35, -13*u + 11*u - 164455 = -3*m. Is m a composite number?
True
Let l be (-3 - (-115)/(-35))*(-7)/2. Let k(d) = -d**3 + 20*d**2 + 43*d + 25. Let i be k(l). Suppose -i*x + 0*x = -3759. Is x a prime number?
False
Let o = -214831 - -977942. Is o a prime number?
True
Let l = 52 - 50. Let i(x) = 869*x - 2. Let a be i(l). Let g = -621 + a. Is g a prime number?
False
Let v(q) = 6*q**2 - 3*q**2 - 43 - 4*q**3 + 3*q**3 + 3*q + 39. Let d be v(3). Suppose 4*k - 2*o - 3004 = 0, d*o - 2915 = -4*k + 89. Is k a prime number?
True
Is (146138/(-3))/(22/(-33)) prime?
False
Let h = 141342 + -47428. Is h a prime number?
False
Let q(m) = m**3 + 3*m**2 + 5*m + 4. Let v be q(-2). Let n be 1*2/1 - (-1 + v). Suppose -2*y - 199 = -2*o - o, -2*o - n*y + 139 = 0. Is o a composite number?
False
Let v = 1075729 - 626960. Is v prime?
True
Let j(l) = l**2 - 6*l + 4. Let p be j(4). Let b be (18083 - -3) + 5 + p. Suppose 11*q - b = -1796. Is q composite?
False
Let u(g) = -5*g**2 + 9*g - 619. Let h(p) = -14*p**2 + 25*p - 1859. Let f(c) = -6*h(c) + 17*u(c). Suppose 4*n + n = 0. Is f(n) composite?
False
Let v(u) be the second derivative of -2710*u**3/3 + 47*u**2/2 - 3*u + 57. Is v(-4) a composite number?
False
Suppose -b = 58*b + 46*b - 92509305. Is b a prime number?
False
Let o(p) = 20*p + 1. Let w be o(-1). Let r = 19 + w. Suppose -3*f + 4*l = -f - 610, r = -5*f - 4*l + 1483. Is f prime?
False
Suppose -3*c - 14 = r, 17*r - 22 = 5*c + 20*r. Is 3895 + (-5)/(-5) + c a composite number?
True
Let w(s) = -7*s - 26. Let k be w(-8). Let j = k - 27. Suppose j*o + 28 = 559. Is o a composite number?
True
Let f(v) = 3*v**2 - v**3 - 23*v + 14 - 7*v + 31*v**2. Is f(13) prime?
False
Suppose w - 3*d + 6 = 0, -d - 5 + 2 = 0. Let a = 141 - 59. Is (a/4)/(w/30)*-5 a composite number?
True
Let m(f) = -3*f**3 - 30*f**2 + 72*f + 14. Is m(-24) prime?
False
Let z(o) = 26*o**2 - 13*o - 63. Suppose 32 = 49*x - 51*x. Is z(x) prime?
False
Suppose -5*c - h + 194426 = -96112, -290552 = -5*c + h. Is c prime?
True
Suppose -1484252 = -11*q + 846767 - 124034. Is q a composite number?
True
Let l = -43 - -46. Suppose -5*i + l*i = -1618. Let p = i - 228. Is p a composite number?
True
Let b(u) = 22*u**2 - 78*u - 11. Suppose 0 = 21*c - 16*c - 50. Is b(c) a prime number?
True
Let x = 243038 - -244457. Is x a composite number?
True
Let b = -21811 + 131250. Is b prime?
False
Let d(t) = t**3 + 20*t**2 + 14*t + 2. Let m be d(-15). Suppose 7*w - m = 4732. Is w a prime number?
False
Suppose -3*y - 18580 + 1702 = -3*z, 5*z + 3*y - 28098 = 0. Suppose -13*l + 45649 = z. Is l a prime number?
True
Suppose -389*t - 316*t = -66*t - 191925567. Is t prime?
False
Let b(j) = 2*j + 6. Let u be b(-7). Let y be 26/8 + 2/u. Suppose 1612 = y*z + 385. Is z prime?
True
Let k(l) = -937*l**2 + 5. Let i(r) = 3750*r**2 + 2*r - 20. Let a(h) = -2*i(h) - 9*k(h). Is a(2) prime?
True
Let z = 6 - 2. Suppose 5*o - z = 1. Is (o + -2)/(6/(-2334)) a prime number?
True
Let t = 342 + -312. Is (-15)/(t/(-6)) - -31102 a prime number?
False
Let x(p) = 4*p**3 - 28*p**2 - 73*p - 42. Let i be x(-13). Let r = -6740 - i. Is r a prime number?
False
Let g = -3 - 4. Let y be ((-6)/(-12))/((7/(-4))/g). Suppose 0 = 3*b + y*w - 3813, 2714 = 2*b - w + 172. Is b a prime number?
False
Suppose -3000*r + 3021*r - 4614897 = 0. Is r a prime number?
True
Suppose -4*t - 1399 = -h, 3*t = 3*h - 2*t - 4176. Suppose -4*r + 4930 = 5*a, -3*a + 1568 = 3*r - h. Suppose -4*q + 987 = p, 0 = p + 4*q - 3*q - a. Is p prime?
True
Suppose 1512 = 2*t + 5*j, -6 + 0 = -3*j. Suppose 2*z - t + 43 = 0. Let x = z - -319. Is x prime?
True
Let u be 66704/(-33) + 2/(-3). Let v(i) = i**3 + i**2 + i + 2893. Let n be v(0). Let f = u + n. Is f a prime number?
False
Let w = 971 + -977. Let u(f) = -1917*f + 260. Is u(w) composite?
True
Let j be 8/(8/(-12)*-3). Suppose 0*x - 2*x = -8, -5*x = -j*w + 4856. Is w a prime number?
False
Let z = 13 + -276. Let c = z + 52. Let o = c - -600. Is o a composite number?
False
Let s = 8081 + 36336. Is s composite?
False
Let s(t) = 846*t + 715289. Is s(0) a prime number?
True
Suppose 3*z = 0, 0 = -v + 3*z + z + 125. Suppose 0 = o - v - 48. Let m = o + -40. Is m prime?
False
Suppose 7*m = 16 + 26. Is (5 - 25329/m)*(-14)/21 prime?
False
Let c = -258038 + 413103. Is c composite?
True
Suppose 5*w + 28 = -r - 2*r, 3*w + 10 = 5*r. Let d be ((-350450)/(-5) - 5) + r. Is d/21*(-6)/(-8) a prime number?
True
Suppose u - 86*l - 166441 = -78*l, -4*l = 4*u - 665620. Is u composite?
False
Let r(p) = 3*p**2 - 7 + 31 + p**2 + 41*p - 6*p**2. Let h be r(21). Suppose 5*w - 11188 = h*j, 7*j - 9*j = 2. Is w a prime number?
True
Let t(d) = d. Let o(j) = 45638*j**2 - 5*j - 5. Let q(a) = o(a) - 3*t(a). Is q(-1) a composite number?
False
Let w(u) be the first derivative of u**4/4 + 12*u**3 - 31*u**2 + 22*u - 132. Is w(-27) a composite number?
True
Let t = 64 - 62. Suppose -29 = -3*s - t. Suppose -10*d + s + 20971 = 0. Is d prime?
False
Suppose -g + 3*i = 3*g + 4, -3*i = 3*g + 3. Is (g - 0)*(-12 + -1307) prime?
True
Is 25/(125/30)*-3*2524794/(-36) composite?
True
Let h(v) = 11*v + 66. Let f be h(-5). Let p be f*76 + 80/16. Suppose -j - 6*i = -4*i - p, 5*j - 3*i = 4270. Is j prime?
False
Let y = 1783 + -2523. Suppose -131 - 21 = -19*m. Is (-12)/m - y/8 composite?
True
Let r be (2/((-8)/(-5)))/(31/14012). Suppose -5*p = -6160 - r. Is p a composite number?
True
Let h = -81 + 85. Suppose -4*u - 2235 = -3*o, 3*u + 3736 = h*o + o. Is o prime?
False
Let x(g) be the first derivative of -3*g**5/20 + g**4/3 + g**3/6 + 9*g**2/2 + 17*g - 7. Let q(j) be the first derivative of x(j). Is q(-5) a composite number?
False
Is -1 + -1 + -4 - (-18234 + (-2 - -1)) prime?
True
Suppose 108787 = -282*o + 289*o. Is o a prime number?
True
Let f(o) = 45*o - 173. Let l be f(4). Is l - (-1 + 3) - -42900 composite?
True
Let n = -1097 + 487. Let y = 1683 + n. Is y a composite number?
True
Suppose -21*v + 1951532 = 23*v. Is v a prime number?
False
Let q = 33 + 6. Suppose 0 = 42*o - q*o - 357. Is o a prime number?
False
Suppose -187*w + 39086612 = -7482185. Is w a prime number?
False
Suppose -2*z + 1920901 = w, 36 = -w - 3*w. Is z a composite number?
True
Let k(w) = 3*w**3 - 15*w**2 - 46*w + 11. Let p be k(13). Let x = p + 318. Is x composite?
True
Suppose 2*c = 2*a + 336708, -3*c - 3*a + 388881 = -116139. Is c prime?
True
Let w = 0 - 1. Let f(y) = 50*y - 510 - 863*y + 1046 - 528. Is f(w) composite?
False
Suppose 2*s = -s + 6. Suppose -4 = s*t - 8. Suppose 4*z - 1421 = -3*b + 96, -3*z + 1013 = t*b. Is b a composite number?
False
Let r(b) = 699*b**2 - 15*b + 42. Let v be r(12). Suppose 0 = 44*p - 38*p - v. Is p a prime number?
False
Suppose 0 = -7*r - r + 119550 + 17674. Is r prime?
False
Suppose 3770 - 12758 = -21*i. Suppose 423*b - i*b = -7685. Is b a prime number?
False
Let d(l) = 41*l**2 - 665*l + 1105. Is d(113) a composite number?
True
Suppose 15 - 39 = -8*m. Suppose 3*w = -m*y + 11817, -5*y = -3*y - w - 7890. Is y composite?
False
Let g be (-33)/(-3) + -1 - -2. Suppose -5*d - 29010 = -11*d. Suppose 7*f 