*z, 142 = 2*v + v + 5*z. Let d = -57 + v. Is (-4)/d + (-1141)/(-9) prime?
True
Let a = -16 + 13. Let k be (2 - -3) + a/3. Suppose k*n = 335 + 125. Is n prime?
False
Let l = 283946 + -26983. Is l composite?
True
Let c = 18 - 19. Is (-1 - (3 + c))*-17 a prime number?
False
Let j = -7 - -6. Let f(n) = 736*n**2 - n. Let p be f(j). Suppose -2*r - p = -5*r - 4*s, -r + 239 = 3*s. Is r a prime number?
True
Suppose -4 = 5*g - 4*v, -3*v + 1 + 2 = g. Let o(n) = -n**2 - 2*n + 215. Let w be o(g). Suppose 4*j - j - 118 = -2*q, 0 = 3*q - 5*j - w. Is q a prime number?
False
Let u be (-6)/10 - 46/(-10). Let h be 4*(u + 15/(-6)). Suppose -273 = -5*v + f, 3*f = 6*f - h. Is v a prime number?
False
Suppose 0*o - 12*o + 86904 = 0. Let n = 10849 - o. Is n a prime number?
True
Let f(r) = -r - 10. Let o be f(-10). Suppose -2*z - 4 = 0, o*p + z + 318 = 4*p. Is p composite?
False
Suppose 2*k + 0*k + 5*q = 19, 2*q - 4 = k. Suppose v + k*v - 423 = 0. Is v a prime number?
False
Let m = -1721 + 5212. Is m a composite number?
False
Let d be 21 - 0 - (4 + -5). Let y be (-9)/18 - d/(-4). Suppose -h - 4*v + 183 = 0, y*h - 550 = -4*v + 285. Is h a prime number?
True
Let z(k) = -4*k + 9. Let h be z(-9). Let l = -26 + h. Is l composite?
False
Let w(n) = -n**3 - 9*n**2 + 6*n + 15. Let k(h) = -h**3 + 5*h**2. Let y be k(5). Suppose y = -2*q - 22 - 0. Is w(q) a prime number?
True
Let h be -8 + 19 - (-1 + 0). Is (135/36)/(3/h) a prime number?
False
Let r(y) = -5*y**2 - 2*y - 6. Let w(k) = -14*k**2 - 6*k - 18. Let f(c) = 17*r(c) - 6*w(c). Let x be f(4). Let b(n) = -21*n - 4. Is b(x) prime?
False
Let m = -10303 + 14738. Is m a composite number?
True
Let r(n) = 2 - 1 + 38*n - 202*n. Is r(-9) prime?
False
Let r(w) be the third derivative of w**4/24 - w**3/3 - 7*w**2. Let u be r(5). Suppose -375 = -u*s + 3*m, -3*s - 2*m + 512 = s. Is s a prime number?
True
Suppose 109396 = 4*z + 4*c, 3*z - c - 83669 = -1622. Is z a composite number?
True
Let v = 5 - -11. Let r be (-16)/6*(-12)/v. Suppose 4*m - 796 = r*m. Is m composite?
True
Let a(j) be the first derivative of -7*j**5/120 + j**4/4 + j**3/3 - 3. Let y(n) be the third derivative of a(n). Is y(-7) prime?
False
Let k(z) = 2*z + 32. Let w(y) = y**3 + 4*y**2 - 14*y + 1. Suppose -3*m - 3 = 15. Let f be w(m). Is k(f) composite?
True
Suppose -4*z + 1088 = 4*o - 0*o, 0 = 3*o + 5*z - 824. Let g = o + -119. Is g a composite number?
False
Suppose 30*z - 183871 - 347519 = 0. Is z a prime number?
True
Let j(z) = 2*z - 14. Let n(q) = q**2 - 6*q - 1. Let m be n(7). Let l be j(m). Is (l/8)/((-5)/17740) composite?
False
Let x(v) = -v**2 + 14*v + 5. Let h be x(14). Suppose 19 = -4*m + 3*s, h*m + s + 3*s + 16 = 0. Is (-387)/m - (-9)/36 prime?
True
Suppose -3*a = 5 - 35. Let w = -6 + a. Suppose -3*x - 215 + 52 = -2*p, w*x + 12 = 0. Is p composite?
True
Suppose 0 = 3*d - 9096 - 11205. Is d prime?
False
Let d = 233 - 97. Suppose d = 6*n - 92. Is n prime?
False
Let f(r) = -38*r**2 + 8*r - 20. Let g(t) = t**2 + 1. Let n(y) = -f(y) - 4*g(y). Is n(3) a composite number?
True
Let d(a) = 2*a**3 + 80*a**2 - 135*a + 31. Is d(-40) a composite number?
False
Is (5/2 + -3)*(-16 + -18922) prime?
False
Let i = -12103 - -22344. Suppose -3*f + i = 5*t, 5*t + 0*t = 3*f + 10229. Is t a composite number?
True
Suppose -3 = 3*b, 4*w - 4*b - 10 = w. Let c(r) = -2 - 1 - 6*r**w - 23*r + r**3 + 9*r. Is c(10) prime?
True
Suppose -r = 5*g - 4*r - 12, -5*g = 2*r - 17. Suppose 2*t + 4*c = 1782, g*t + 908 - 3580 = -5*c. Is t a prime number?
False
Let c = -3 + 9. Let q(m) = 8 - c + 9 + 3*m - m. Is q(13) a composite number?
False
Let t(m) = 216*m - 3. Let f be t(9). Let d = 8 - 3. Suppose -d*p + f - 236 = 0. Is p a prime number?
False
Let i = -103 + 107. Suppose 5*o + 0*o = b - 1176, i*b + 5*o = 4679. Is b composite?
False
Let o(l) = -356*l + 101. Is o(-12) a prime number?
True
Suppose -3*w = -0*w - 6. Let d be -4*((-139)/(-12))/((-2)/6). Suppose w*q = 447 + d. Is q a composite number?
False
Suppose -4 = -0*s - 2*s, 3*s = 3*k. Suppose 3*r + 18 = -5*w, r - k*r = -3*w - 8. Is (w - 0)/((-6)/62) a composite number?
False
Let d be 54/45*(-5)/(-2). Suppose -19 = -d*n - 1. Let g(s) = s**3 - 6*s**2 + 4*s + 1. Is g(n) prime?
False
Suppose 0 = -3*s - s. Suppose p + 2 - 33 = s. Is p prime?
True
Suppose -y = -3*s + 4*s - 179, -4*s - y = -710. Suppose -s = -5*l + 2*a, 0*l - a - 36 = -l. Is l composite?
True
Is 2*3 - 595374/(-78) composite?
False
Let r = -42 + 243. Suppose 3*d + r = 4*d. Is d a prime number?
False
Let n(x) = -x**2 - 14*x + 37. Let q be n(-16). Suppose -4*p + 2*d + 16858 = 0, q*d = -5*p + 33828 - 12778. Is p prime?
False
Suppose 167241 = 72*w - 88431. Is w composite?
True
Let x = -75 + 224. Suppose -252 = -w + x. Is w a prime number?
True
Let n = 26 - 21. Suppose 2*g + n*m + 26 = 0, -3 = m + 1. Is 1 + 252 + (g - -1) composite?
False
Let n = -21 + 21. Suppose 4*v + 3*p = 429, -2*p - 121 = -v - n*p. Let b = v - -44. Is b composite?
True
Let z(y) = y**2 - 7*y + 3. Suppose 4*t = -2*n + 6*t + 18, 6 = -2*t. Let o be z(n). Let v(s) = -s**3 - 2*s**2 - 2*s - 4. Is v(o) prime?
True
Let v = 43 + -43. Suppose v = 2*j - 5*g - 732, -g = -1 + 3. Is j a prime number?
False
Let b = -551 - -1912. Is b a prime number?
True
Is 3234/4 - (-5)/10 a prime number?
True
Let t(d) = -d**2 - 6*d + 1. Let k be t(-4). Suppose -7 = 8*x + k. Let l = 295 + x. Is l prime?
True
Let o be 3/((-1)/2*-3). Let x(g) = 3 - 14*g**2 - o + 12*g**2 + 17*g**3 - g. Is x(2) prime?
True
Suppose -4*w - h = 4, -5*w - h + 4*h + 12 = 0. Suppose -2*m + 7*m - 3265 = w. Let v = m - 132. Is v composite?
False
Suppose -11 = 3*t + 1. Let z be (-4768)/(-8) - (t - -1). Suppose -3*x + 931 = -2*p, 2*x + 0*x = -3*p + z. Is x composite?
False
Let c = 17 - -237. Suppose -i - c = -3*i. Is i a prime number?
True
Let i = 11204 - -14703. Is i prime?
False
Let u = 3382 - 1617. Let x = 3058 - u. Is x composite?
True
Suppose 4 = -3*q + 10. Suppose q*o - 1 = -3*y + 10, 3*o = -2*y + 4. Suppose -74 = y*r - 2319. Is r composite?
False
Let o = 22 + -1. Let x(w) = w**2 + 2*w + 3. Let p be x(-3). Is ((-4)/(-1))/(p/o) a composite number?
True
Let p(v) = 542*v**3 - 16*v**2 + 2*v - 7. Is p(4) composite?
True
Suppose 4*k + 99 + 9 = 0. Is ((-776)/12)/(6/k) a prime number?
False
Let t(f) = 3*f**3 - 10*f**2 + 11*f + 1. Is t(6) composite?
True
Suppose 1988*n - 115954 = 1986*n. Is n a prime number?
True
Let z = 10 - 10. Suppose 4*x + z*v = -v + 942, 2*v - 474 = -2*x. Is x prime?
False
Let r(d) = -d**3 + 15*d**2 + 15*d + 14. Let g be r(16). Is -7 + 69900/42 + g/7 composite?
False
Let v(h) = -2146*h - 50. Is v(-22) composite?
True
Suppose 4*z - 2*g + 137 = -3*g, -z + 5*g = 8. Let o = z - -35. Suppose -717 = -o*n - n. Is n a prime number?
True
Let d be (-1)/(-1*4/20). Suppose 0 = -d*n, 0 = -0*x - 3*x - 5*n + 801. Is x composite?
True
Suppose -22*x = -20*x - 370. Is x composite?
True
Suppose -5167 = -2*g + 3*v, -5*v - 5173 = -0*g - 2*g. Is g composite?
False
Let y(f) = 66*f**2 - 22*f - 3. Is y(5) a prime number?
False
Let p(h) = h**2 - 7*h**3 - 1 + 6*h**3 + 0. Let q be p(1). Is (123/(-3))/(q/3) prime?
False
Let r(h) = -h**3 - 13*h**2 - 18*h + 14. Suppose 0 = -2*p + p - 13. Let g be r(p). Suppose g = 3*t + t. Is t prime?
False
Let t be (229/(-2))/(-4 - (-9)/2). Let p = -18 - t. Is p prime?
True
Let i(t) = -t**2 - 13*t - 18. Let k be i(-12). Let b = 9 + k. Suppose 422 = -l + b*l. Is l a prime number?
True
Suppose -j = -3*y - 6, -5*j + 2*j = 4*y - 5. Suppose -6*r + j*r = -6. Suppose -5*p + 2553 = r*i, 4*p + 0*i = i + 2032. Is p a composite number?
False
Let u = -6507 + 20391. Suppose 2*q + d = 5555, -d = -q - 4*q + u. Is q composite?
False
Suppose -1672 = -x - 4*g + 2761, 0 = 2*g - 8. Is x composite?
True
Let r(y) = -y**3 - 5*y**2 - 11*y - 11. Let d be r(-3). Suppose d*s = -2*h + 4872, -3*s - 2*s + 3*h + 6101 = 0. Is s composite?
True
Let n = -20 - -19. Suppose -5*v + 2*i = 685, 3*v + 2*v + i = -670. Is n + (-3 - (v + -2)) a prime number?
False
Is (-4584)/(-1) - (-34 - -35) a composite number?
False
Suppose -d + 9 = -2*q + 1, -2*q = 10. Let c(k) = 20*k**2 + 3*k + 1. Let t be c(d). Suppose 2*s - 56 = 4*r + 22, 2*s = 3*r + t. Is s composite?
True
Let h = -1550 - -32727. Is h a composite number?
False
Suppose 4*g + 3*y + 527 = 6*g, -799 = -3*g - 4*y. Is g composite?
True
Let h = 19 + -32