q + 13426, 4*q - 4*c = x. Is q prime?
True
Let h(k) = 8*k - 1. Let i be h(1). Suppose d + 71 + i = 0. Let t = d + 133. Is t prime?
False
Suppose 2*x + 63 + 31 = 0. Let d = -108 - x. Let q = 132 + d. Is q prime?
True
Suppose -r + 6341 = 3*p - 2*r, 5*r + 25 = 0. Let w = p + -845. Is w prime?
False
Suppose 3*v = 84*k - 78*k + 36621, 3*v - 36576 = -3*k. Is v a prime number?
True
Suppose -2*x + 0*x + 5*z + 519 = 0, 0 = 2*x + 4*z - 528. Suppose 657 + x = m. Is m a prime number?
True
Is (-40)/80*(-9926 - 0) a prime number?
False
Suppose -2*h + 897 = 5*r, h + 0*h + 715 = 4*r. Let c = r - 90. Is c a composite number?
False
Suppose 2*h = -54 - 24. Let w = h - -58. Is w a composite number?
False
Suppose 3*k = 7 - 10. Let t(a) = -60*a + 2. Is t(k) composite?
True
Is 17340 + -3 + 3 + -2 a prime number?
False
Let d(a) = 255*a - 19. Is d(2) composite?
False
Let y(d) = 2*d**2 + 3*d - 1. Let u(l) = 3*l + 7. Let w be u(-4). Is y(w) a composite number?
True
Let y = 5 - -9. Let i = y + -10. Is 16/4*26/i prime?
False
Suppose -49*p - 139506 = -55*p. Is p a composite number?
False
Let c(g) = -13*g**2 + 2*g + 12. Let r(l) = 25*l**2 - 4*l - 23. Let v(s) = 5*c(s) + 3*r(s). Suppose 2*i - 18 = -3*i - 2*z, 0 = -3*i + 4*z + 16. Is v(i) prime?
False
Is 10/(-2) - (-16 + -25869 + -9) composite?
False
Let h = 288 - -1329. Let w = h - 388. Suppose -16*c = -15*c - w. Is c composite?
False
Let i(c) = c**3 + 9*c**2 + 6*c - 1. Let g be i(7). Suppose x + g = 6*x. Suppose -18 = 3*j - x. Is j composite?
True
Suppose 3*h + h + r = 5, 4*h + 3*r + 1 = 0. Suppose -2*w - 2*w - 10 = -3*p, 5*p + h*w - 8 = 0. Suppose v - 12 = -p*v, -4*y + 488 = 3*v. Is y composite?
True
Let w(a) = -a**3 + 17*a**2 - 7*a - 5. Let m = 64 + -50. Is w(m) prime?
False
Suppose 24 = 2*d - 2*o + 8, 37 = 5*d - 4*o. Suppose -i - d = 5*v, -v + 0 - 2 = 0. Suppose -i*p + 316 = -409. Is p composite?
True
Let r be (3972/10)/(6/15). Suppose -4312 - r = -5*a. Is a a prime number?
True
Suppose -125*z = -138*z + 79417. Is z a prime number?
False
Let d = -4706 + 8269. Is d a composite number?
True
Suppose -5*b + b = 5*t - 5, -10 = t + 3*b. Suppose -q = -3*x - 0*q + 155, t*x + q - 253 = 0. Is x prime?
False
Let k(p) = p**2 - 1. Let i(x) = 8*x**2 + x - 2. Let t(r) = -i(r) + 3*k(r). Let a be t(-3). Let h = a + 74. Is h a prime number?
True
Let i = 486 + -235. Is i composite?
False
Is (52/(-12) + 8)*177 prime?
False
Suppose -2*i = -2*d - 20612, 5*d - 4008 = 4*i - 45237. Is i composite?
False
Suppose l + 5*p = 8256, -5*p = -8*p + 3. Is l a composite number?
True
Let m(h) = 0*h + 34*h - 16 - 7. Is m(13) a composite number?
False
Let l(a) = -a**3 + 41*a**2 - 108*a + 77. Is l(35) composite?
True
Let u(c) be the third derivative of 7*c**6/60 + 7*c**5/60 + c**3/3 + 52*c**2. Is u(7) prime?
True
Let s(m) = m**3 - 17*m**2 + 4*m + 81. Is s(20) composite?
False
Let u(z) = 42*z**3 - 2*z**2 + 1. Let p be u(2). Suppose -2*f - 6*n + 92 = 0, 3*f = -2*n + 30 + 143. Suppose -5*t - 2*c + p = 0, -3*c = t - 5*c - f. Is t prime?
False
Let m(q) = -795*q + 4. Let s be m(-1). Suppose 4*y - 8 = -2*b, -3*y = b - 5*y. Suppose -b*r - 189 = -s. Is r a prime number?
False
Suppose 0*l + 52 = 4*l - s, 0 = 3*l + 2*s - 28. Let y be 4*(-4)/((-16)/l). Is (y/4)/(-1) - -58 composite?
True
Suppose 2*k + 5*i - 494 = k, 4*i = k - 467. Is k a prime number?
True
Let j = 1082 + -557. Let c = 884 - j. Is c a composite number?
False
Let h be 30/(-9) + (44/(-12) - -3). Is ((-15)/6)/(h/7288) composite?
True
Let i be 1*-1 - (11 - 16). Suppose 0 = -3*h - q + 1558, i*h + 5*q = 680 + 1379. Is h prime?
True
Let i(n) = -n**2 - 7 - n + 8 - 3*n + 13. Let y be i(-6). Suppose -j = -y*j + 467. Is j prime?
True
Let y(w) = 913*w + 295. Is y(24) composite?
True
Is (-3)/(9/(-2)) - 5950/(-30) composite?
False
Let k(l) = 34*l**3 + 5*l**2 + 6*l - 2. Let s be k(6). Let o = -5375 + s. Is o a composite number?
True
Suppose 28*q = 25*q + 4*n + 6209, 5*q - 2*n - 10325 = 0. Is q prime?
True
Suppose -10*s = -5*s. Suppose -i + 5 = s, m + i = 82 + 460. Is m composite?
True
Is (-7)/14*(-6683 - -1) a composite number?
True
Let n(b) = -21*b**3 - 6*b**2 - 4*b + 4. Let u be ((-6)/(-9))/(4/(-18)). Is n(u) composite?
True
Let v be ((-6)/(-9))/((-6)/(-9)). Suppose -2*p - 2*p + 3*m - v = 0, 4 = p - 5*m. Is (21/9)/(p/(-51)) composite?
True
Suppose 4*y + 20 = 9*y. Suppose 3*d - 3 = 4*h, -4*d + y*h = -2*d + 2. Suppose 2*k = 6*k - 2*f - 1354, 1670 = 5*k + d*f. Is k a composite number?
False
Let i be (3/(-2))/(3/92). Let g = i - -191. Is g a composite number?
True
Let u(t) = -t**2 + 38*t + 21. Let o = 74 - 52. Is u(o) prime?
True
Let s(u) = -393*u**2 + u - 30 + 30 + 109*u**2. Let g be s(1). Let y = -200 - g. Is y composite?
False
Let g(u) = 1947*u - 31. Is g(2) prime?
True
Suppose 0*k = -3*k + 9. Suppose -r - k*m + 176 = -227, 2*m = 5*r - 1964. Is r a prime number?
False
Let i = 39381 - 21664. Is i composite?
True
Let j = -44 - -47. Suppose m - 6455 = -j*p, -4*m + 8600 = 4*p - m. Is p a composite number?
False
Let d be 1/3 - (-24)/9. Suppose d*l + 2 = -1. Is 4*(l + 78/8) composite?
True
Let q(s) = 2*s**3 - 39*s**2 - 5*s + 7. Is q(24) a composite number?
True
Let n(g) = 4*g**2 + 23*g. Is n(-7) a composite number?
True
Let x be (-8)/(-16) + 11/2. Suppose 18 = x*t - 6. Suppose -924 - 715 = -3*z - 4*v, 0 = 2*z + t*v - 1098. Is z composite?
False
Let b be 30/80 - 2243/8. Suppose -2 = 5*p - 12. Is (b/16)/((-1)/p) composite?
True
Let z be (-50)/(-15)*9/6. Suppose z*x - 437 = -172. Is x a prime number?
True
Suppose 0 = 2*v - 6 - 0. Suppose 2*d = -v*b + 6057, -3*b = -d - 7*b + 3026. Is d/25 - 1/5 composite?
True
Suppose -2*v + 4*t + 10058 = 0, v + 4*t - t = 5039. Is v a prime number?
False
Let a(f) = 668*f + 27. Is a(7) prime?
True
Let q = -3119 + 1644. Suppose 0 = -404*j + 399*j + 15320. Let w = q + j. Is w a composite number?
True
Let s(r) = 88*r - 78*r + 266*r - 2. Let w be s(4). Suppose 419 + w = 3*v + 2*d, 0 = -2*v - 4*d + 1006. Is v composite?
False
Let o = -49 - -46. Let z(g) = -14*g**3 + 4*g**2 - 1. Is z(o) a composite number?
True
Suppose -9*d + 7*d + 3*u = -9413, -23570 = -5*d - 5*u. Is d a prime number?
False
Is (-5)/6 + (-1125538)/(-12) + 5 composite?
True
Suppose 6*i - h = i + 73889, 4 = -h. Is i composite?
True
Is (2 + (-89337 - -4))/(-3) a composite number?
True
Let c(z) = -1 - 3 + 549*z - 19. Is c(6) a composite number?
False
Suppose 3*a + 14 = -4. Let u(n) = n**2 + 7*n + 9. Let b be u(a). Suppose b*q - 418 = -37. Is q prime?
True
Let f(q) = 4*q**2 - 7*q - 14. Let l be f(-7). Let r = 414 - l. Is r composite?
True
Suppose -2*f - 22 + 30 = 0. Suppose 543 + 1709 = f*t. Is t composite?
False
Suppose 0 = -k - 82 - 139. Is k/(-1) - (-28)/14 a prime number?
True
Let y = 294 - -195. Suppose y = p + 2461. Let m = 3353 + p. Is m composite?
False
Let z = -16 - -18. Let i be (-10)/5 - 6/z. Let x(p) = -p**3 - 4*p**2 - 3*p + 3. Is x(i) composite?
False
Is (-2 - (-25690)/10) + -4 + 0 a composite number?
True
Let t(d) = 2*d**2 - 10*d + 1. Suppose 3*q = 2*q - 4*n - 16, 0 = -4*q - 5*n - 42. Is t(q) prime?
False
Let g(h) = h**2 - 15*h - 16. Let l be g(16). Suppose l = -3*m - 4*a + 8*a + 377, -4*m - a + 490 = 0. Is m prime?
False
Let q(z) = 49*z**3 - 16*z**2 + 90*z + 11. Is q(6) a composite number?
False
Let r(d) = 6*d + 9. Let s be r(-15). Let q(u) = -7*u**3 - 2*u**2 + 3*u - 4. Let g be q(-4). Let b = g + s. Is b composite?
True
Suppose -4*m = -20, -b + 11 = 4*m - 11. Suppose 0 = -0*l - b*l + 830. Is l composite?
True
Let g(j) = -13*j + 4. Let q(d) = -25*d + 9. Let h(l) = -5*g(l) + 3*q(l). Suppose 0*s = -5*s - 30. Is h(s) a prime number?
True
Let z(s) = -680*s**3 - 19*s**2 - 13*s + 3. Is z(-4) prime?
True
Let b = -37 + 36. Let u(m) = -881*m - 3. Is u(b) prime?
False
Let b(t) = -18*t**3 + t**2 - t - 1. Let h(y) = -4*y - 4. Let m(n) = -5*n - 4. Let d(u) = -4*h(u) + 3*m(u). Let x be d(-5). Is b(x) prime?
True
Suppose 1523 = u - 3*d, 2*d + 3026 = 2*u + d. Is u prime?
True
Suppose -5*c = -423 - 482. Let z = 38 - 86. Let n = c + z. Is n composite?
True
Let v be -5*(-14)/35 - (-1546 - 1). Let n = -68 + v. Is n a composite number?
False
Suppose -19*y = -518641 + 49550. Is y prime?
False
Suppose -16 = -4*j - 36, -4*b + 51031 = j. Is b prime?
False
Let n(o) = -2*o - 10. Let j be n(-7). Let z = 511 - -151. Suppose 0 = -j*k + 14 + z. Is k a