d + r. Is d composite?
True
Let a(p) = -p**3 - 2*p - 3. Let b be a(0). Let g be (2/6)/(1/b) - -5. Let i(d) = 23*d**3 + 4*d**2 + 4*d + 7. Is i(g) composite?
False
Suppose 3*h + 17*p = 19*p + 18519, -h = -3*p - 6180. Let j = h - 3976. Is j prime?
False
Suppose 27 = 9*s - 9. Let f(q) = 7693*q + 1. Is f(s) a prime number?
True
Let w(h) = 690*h**3 - 7*h**2 + 27*h + 15. Is w(13) prime?
False
Let c(i) be the third derivative of 985*i**5/6 - 5*i**4/8 - 7*i**3/3 + 197*i**2. Is c(-1) a prime number?
True
Let o(r) = -11097*r - 391. Is o(-20) composite?
False
Suppose -2*a - 43048 = -3*j, 8*j = 13*j - 5*a - 71740. Let n = j - 6983. Is n a composite number?
False
Suppose -11*u + 0*u + 11 = 0. Is (1330 + (2 - -5))*u prime?
False
Let f be 23 + -15 + 2 - 1*5. Suppose f*v - 16893 = -n + 48700, 5*n = v - 13129. Is v a composite number?
True
Let v = 1005 - 583. Suppose 4*a - v = 2*a + 2*l, 3*a + 2*l = 633. Is a composite?
False
Is (3 + 0)*644172/36 a composite number?
False
Let x(b) = -11*b**3 - 16*b**2 - 21*b - 83. Let r be x(-13). Suppose 4*p = -20, 2*d - r = -6*p + p. Is d composite?
True
Suppose -3*i - 31 = -2*b - 2*i, b + 4*i = -7. Let n(g) = 8*g + 8*g + 14*g + 6 - 44*g + 14*g**2 + 12*g - g**3. Is n(b) a prime number?
True
Suppose -5*u + 23 = -7. Is -182014*(4/u - (-224)/(-192)) composite?
True
Suppose 18 = 3*u + 5*b - 15, 30 = 4*u + 2*b. Suppose -i + u*i + i = 0. Suppose 0 = -5*x + 3*a + 4567, 0 = -4*x - i*x + 3*a + 3656. Is x a prime number?
True
Let t be 4 - (-5 - 770) - 0. Suppose 7*h - t = 3799. Let l = 2365 - h. Is l a prime number?
False
Let a be 36667 - (22/44)/(2/(-4)). Suppose 18*x - 17314 - a = 0. Is x a composite number?
False
Let w = 839 - 329. Suppose q + 4*m = 453, -3*q + w = -4*m - 833. Is q composite?
False
Let a be 6 + (-1 - -7380 - -6). Let q = a + -3434. Is q a composite number?
True
Is (-1)/4 + 674631216/1472 a composite number?
False
Suppose -566*a = -565*a - 1312. Let i = a + 309. Is i prime?
True
Suppose 288974 = 4*q - 4*i - 3498, -q + 73136 = 5*i. Is q prime?
True
Is (8 + -3 - -33428) + -1*0/3 a prime number?
False
Let g = -27 - -32. Let v = g + 0. Suppose 2*w - 2*k + 104 = 676, -k = -v*w + 1434. Is w prime?
False
Suppose 360 + 3726 = -3*d. Let o = d - -2141. Is o prime?
False
Let s(i) = -15*i - 31*i**2 + 28*i - 9*i + 108*i**2 - 5. Is s(-6) a composite number?
True
Let g(q) be the third derivative of q**6/60 - q**5/20 + q**4/6 - 13*q**3/6 - 2093*q**2. Suppose 2*n - 4*f + 32 = 6*n, -10 = -5*f. Is g(n) a prime number?
False
Let h(t) = -10*t**2 - 3*t**2 + 6*t**2 + 6*t + 4*t**3 - 7. Let b be h(4). Suppose s - b = 90. Is s a composite number?
False
Let x = -683 - -1340. Let c(k) = 2 + x*k + 11 + 8 - 15. Is c(3) composite?
True
Suppose 8 = -43*l + 47*l. Suppose 0 = q + o - 4, -l*o - 2*o - 38 = -5*q. Suppose 0 = -4*j + 10*p - q*p + 9628, 0 = -5*p + 20. Is j a prime number?
True
Let s(v) = -v**3 - 21*v**2 + 16*v + 18. Let c be s(-10). Let g = c + 1759. Is g a composite number?
True
Let b be (-28)/126 - 29023/9. Let o be (2126/5)/(2/(-10)). Let j = o - b. Is j composite?
True
Let g = 22620 + 48973. Is g a prime number?
True
Is 10/6 + (-3488)/327 + 212786 a prime number?
True
Suppose 66*x - 17727564 = 20814440 - 13053794. Is x a composite number?
True
Let p = -62405 + 136716. Is p composite?
False
Suppose 50*f = 32*f + 693774. Is f a prime number?
True
Let t = 206797 + -114060. Is t composite?
False
Suppose 5*l + 509 - 5644 = 0. Suppose -d - 4*n + 2919 = 0, -2*d - 2*n + l = -4817. Is d a prime number?
False
Suppose 16*u + 72*u + 743920340 = 428*u. Is u a composite number?
False
Let i = 3 - 2. Let l be 14/(-21) + 22/6 + i. Is 1/((-6376)/19164 + l/12) a prime number?
True
Let v(b) = -b**3 - 6*b**2 - 99*b + 67. Is v(-58) a composite number?
True
Is ((-8)/4)/((-26)/373763) composite?
False
Let g = -3135 + 9043. Let a(s) = s**2 + 3*s - 4. Let q be a(-4). Suppose 18*h - 22*h + g = q. Is h prime?
False
Let b(s) = -208*s - 31. Let x(m) = 35*m + m**2 - 2*m**2 - 26*m + 13 + 2*m**2. Let k be x(-6). Is b(k) composite?
False
Let c(w) = 3*w**2 - 27*w - 43. Let v(i) = -i**2. Let n(o) = c(o) - 2*v(o). Suppose -108 = -193*b + 199*b. Is n(b) a composite number?
False
Is 196970 + (-16)/((-160)/(-30)) composite?
True
Suppose 1321830 - 883129 + 1608239 = 20*c. Is c a composite number?
True
Suppose -26*o + 260959 = -117500 - 164499. Is o a composite number?
True
Let m(b) = 70*b**3 + 7*b**2 + 12*b + 27. Let c(z) = -70*z**3 - 7*z**2 - 13*z - 28. Let w(x) = 4*c(x) + 5*m(x). Is w(6) a composite number?
False
Let g = -37 - -80. Suppose m = -g + 52. Is (-9)/(-6)*(-3)/(m/(-1682)) a prime number?
False
Let i = 574879 + -313908. Is i a prime number?
False
Let r(i) be the third derivative of -i**6/120 - i**5/30 - i**4/8 - i**3/2 + 18*i**2. Let t be r(-2). Suppose t*h - 1431 - 1488 = 0. Is h a composite number?
True
Let g(f) = 9*f**2 + 91*f - 1429. Is g(96) a prime number?
False
Let f(s) = s**3 + s**2 - 8*s. Let n be f(-3). Let o(r) = 131*r + 1. Is o(n) a prime number?
True
Let m(b) = b**3 + 3*b**2 - 9*b + 4. Let i be m(-5). Is 6 + (-4 + i)*-271 prime?
True
Is (1/((-1)/1))/(-27 + 7159804/265178) a composite number?
False
Suppose 5*z - z = 8. Suppose -869 = -3*b + z*x, b = -b - x + 570. Is b composite?
True
Let j(x) = -x**3 - 12*x**2 + 13. Let u be j(-12). Suppose t = 3*g + 4 - u, 0 = 2*t + 4*g - 12. Suppose 7*r - 14*r + 18011 = t. Is r a composite number?
True
Suppose -6*o + 3*o + 35 = 5*w, 2*w = -3*o + 23. Suppose -o*v + 10479 = 3694. Is v prime?
False
Let g(c) = c**2 + 37*c - 53. Let r be g(-40). Suppose 2*k = 5*k - 438. Let n = k - r. Is n composite?
False
Let f(o) = -7*o - 3*o**2 - 2*o**2 - 24 - 4*o + 4*o**2. Let u be f(-4). Suppose 6*s + 2*m - 12616 = 2*s, s - u*m = 3163. Is s a prime number?
False
Let y(n) be the first derivative of 571*n**3/3 + 13*n**2/2 - 11*n + 156. Is y(-4) prime?
False
Let m = 55806 - 25826. Let n = m + -14819. Is n prime?
True
Let w(b) = -b**2 - 10*b. Let a be w(-10). Suppose -5*l + 0*l + 455 = a. Let y = l - -1078. Is y a prime number?
False
Let u(c) = -13*c**3 - 31*c**2 - 51*c - 71. Is u(-26) a composite number?
False
Let x(j) = -j - 21. Let q be x(-12). Let a = 11 + q. Suppose 1 = 3*m + 7, -4*l = a*m - 1456. Is l a composite number?
True
Suppose 0 = -3*m + 6*m + n - 10, -2*m - 12 = -4*n. Suppose -m*x = 3*s - 7093, -10*x + 2*s - 14198 = -14*x. Is x a composite number?
True
Let c = -3402 + 6768. Suppose 4*z - 2*z = -4*s - 4766, 4*z + 9562 = 2*s. Let x = c + z. Is x a prime number?
True
Let y(p) = 5*p - 53. Let g be y(11). Let o(h) = -4*h**2 + 5*h - 8. Let i be o(g). Is 586/((-8)/i*63/18) a composite number?
False
Suppose 4*h + 11*h = 31*h - 2766928. Is h prime?
True
Let t(w) = w**3 + 10*w**2 - 21*w + 11. Suppose 24 = -2*g - g. Is t(g) prime?
True
Let u(k) = -78*k**2 + 8 - 436*k + 194*k**2 + 454*k. Let l be u(-9). Suppose -l = 96*c - 98*c. Is c a composite number?
False
Let n = 187954 + -31013. Is n prime?
True
Let a(l) = l**3 - l**2 + 3*l + 21. Let h be a(0). Suppose z + h = 28. Let q(b) = b**3 - 4*b**2 - 3*b + 1. Is q(z) composite?
False
Suppose 275*h = 160*h + 18413265 + 52072420. Is h a composite number?
True
Suppose -6422 = 27*k + 4432. Let j = k - -613. Is j a prime number?
True
Let q(v) = 5*v**2 + 88*v + 2. Let n be q(-18). Suppose -n*s + 46934 = -7*s. Is s prime?
False
Let m(r) = 17*r**3 - 27*r**2 - 31*r - 93. Let v(l) = -5*l**3 + 9*l**2 + 10*l + 31. Let d(o) = -2*m(o) - 7*v(o). Is d(18) a composite number?
False
Suppose 2*v + 0*v = 6. Let l(o) = -o**3 + 122*o**2 - 913*o + 129. Let k be l(114). Suppose -m + 3*c + 883 = m, 0 = -v*c + k. Is m a prime number?
True
Let d be (-2)/(-4) + (-489253)/(-82). Suppose d = p + 4*h, -11*p - h - 17849 = -14*p. Is p a prime number?
False
Let l = -4143 + 45742. Is l a composite number?
True
Suppose -46*k = -52*k + 74490. Suppose -4*n - k + 3735 = 0. Let m = -1283 - n. Is m a composite number?
False
Suppose -23*k + 310154 + 146557 = 0. Suppose 0 = -57*t + 60*t - k. Is t composite?
False
Let t = -6 - -10. Let k = 1904 + -1900. Suppose -t*q + k*n + 503 = 71, 5*n - 364 = -3*q. Is q prime?
True
Suppose 6 = -7*f + 27. Let r(j) = 457*j - 10. Is r(f) prime?
True
Let w = 242 + -237. Suppose -36*r + 113939 = w*r. Is r a composite number?
True
Suppose -2*u - q = 122440, 5*u - 10*u = 3*q + 306099. Let v = 97018 +