642*h - 65. Let m be o(6). Let t = 56360 - m. Is t composite?
False
Suppose 2*h - 14*v + 15*v = -19, v = 5*h + 65. Is (h/8)/((-6)/4196) prime?
True
Let u = 60445 - 32688. Is u a composite number?
True
Let g(m) = m**2 + 2*m + 10. Let n be g(-7). Suppose -4*p + 179 - 27 = 3*h, -4*p = -3*h + 136. Suppose h*j - n*j = 261. Is j a prime number?
False
Let n be (-5 + (-6970)/15)/((-2)/(-42)). Let y = -4878 - n. Is y a prime number?
False
Is (-6 - -5)/(1/3) + 229580/13 a composite number?
False
Let q = 23891 - -5758. Is q composite?
True
Let o(m) = 69*m**2 + 3*m - 22. Let s(r) = -9*r - 27. Let a be s(-2). Let l be o(a). Suppose 3*w - l = h, -w - 2*w + 5538 = -3*h. Is w composite?
False
Let l = 355395 - 179864. Is l composite?
True
Let s(z) = 68*z**2 - 5. Suppose 70 - 26 = 4*r. Suppose f = 13 - r. Is s(f) composite?
True
Let c(u) = -u**2 + 2*u + 9. Let f be c(8). Let s be (-1)/(-2) + (f/(-6) - 0). Let r(p) = p**3 - 7*p**2 + 3*p + 1. Is r(s) composite?
True
Let b(z) = 17*z**2 - 2*z + 16. Let s be 6/3 - 1/(-1) - -3. Suppose w + 5*v + 65 = s*w, 3*w - 39 = -5*v. Is b(w) a composite number?
True
Let i(g) = 309*g**3 - g**2 + 9*g - 10. Let k(h) = -155*h**3 - 5*h + 5. Let v(q) = 4*i(q) + 7*k(q). Let z be v(3). Suppose 0 = -4*s + z + 1413. Is s prime?
False
Let x = 45179 - 8558. Suppose -x = -3*f + 3066. Is f a composite number?
False
Let m(y) = y**2 + 17*y + 70. Let h be m(-10). Is (30/(-45))/((-2)/20442 - h) composite?
True
Let n(a) = -46*a + 9. Let y(f) be the third derivative of -f**4/6 - f**3/2 - 24*f**2. Let w be y(1). Is n(w) a composite number?
False
Suppose -3*b - 3*g - 5 - 46 = 0, 0 = -2*b + 4*g + 8. Let j(u) = 7 + 5*u**2 + 4*u - 18 - 3*u**2. Is j(b) a prime number?
True
Suppose 6*c = 27*c - 236859. Is c composite?
False
Suppose -494*y + 478*y + 100144 = 0. Is y a prime number?
False
Let g(l) = 293*l**2 - 191*l - 599. Is g(-23) a composite number?
False
Suppose 4*c - 49 = 5*z, -5*c + 2*z + 22 = -3*c. Suppose c*x - 64 = -10. Suppose -x*q + 8*q + 211 = 0. Is q prime?
True
Let q(f) = 25*f - 96. Let y be q(4). Suppose 8*a + 2*n = 11*a - 14185, y*a - 3*n = 18913. Is a a composite number?
False
Suppose v + 5*v + 14 = -5*i, v = 5*i - 14. Suppose 2*z = 2*t + 4202, 0 = -i*z - 2*z + 3*t + 8402. Is z a prime number?
True
Suppose 4*a + 5 + 11 = 0. Let v(g) = -84*g**2 - 10*g**3 + 9 + 105*g**2 + 8*g - 10 + 16 - 19*g**2. Is v(a) a composite number?
True
Let v(m) = 7*m**2 - 2*m - 14. Suppose 2*u + 18 = -3*y, -5 = -5*y - u - 28. Let f = y + 13. Is v(f) prime?
False
Let s(c) = 5242*c + 6905. Is s(12) composite?
False
Let i = -73 + 75. Let r(o) = 145*o**2 + o - 5. Let s be r(i). Suppose 2*l - s = 891. Is l prime?
False
Suppose 21*k = -33*k + 813024. Suppose -4*v - d = -30139, -17*d + 13*d - k = -2*v. Is v a composite number?
True
Let o(n) = 49*n + 19 - 3*n**2 + 38*n - 16*n. Let m(f) = 2*f**2 - 47*f - 13. Let q(l) = -7*m(l) - 5*o(l). Is q(-11) prime?
False
Let v = -386 - -631. Suppose 597 = -v*i + 248*i. Is i prime?
True
Is (-196)/(-1764) - 3253157/(-9) a prime number?
False
Let q(f) = 37*f**2 - 5*f + 955. Is q(39) composite?
False
Suppose 0 = -0*l + 2*l + 2394. Let x = l + 2167. Is 3*(x/15 - 1) a composite number?
False
Let g = 53 + -66. Let l(q) = -q**3 + 10*q**2 - 12*q + 2. Is l(g) a prime number?
False
Is (-3951812)/566*(70/(-12) - 1/(-3)) a prime number?
False
Let t(a) = -58*a + 217. Suppose 4*i = -4*f - 24, i - 4*f = 4*i + 15. Is t(i) a prime number?
True
Is (44/11 - (-1650309)/12)/((-3)/(-4)) composite?
False
Let z be 1/3 - (-1)/(-3). Suppose z = 15*w - 11*w - 12412. Is w prime?
False
Let s be (-2)/(2*-10) + (-116)/(-40). Suppose -s*v = -5630 - 7543. Is v prime?
True
Let b = -62 + 65. Suppose -2*v = k - 3601, -3*v = b*k - 6*v - 10794. Is k prime?
False
Let s be 4/1*(-12)/(-6). Suppose 3*m = 12, -2*y + 10*m = s*m - 158. Is y prime?
True
Suppose -26 = -13*z + 39. Is -8702*z/(-6) + (-2)/3 prime?
False
Is (-60296652)/(-1710) + (-1)/5 prime?
False
Let o(c) = c**3 + 4*c**2 - 2*c + 4. Let l be o(4). Suppose -3*p = l - 673. Suppose -45 - p = -r + 5*b, -1007 = -4*r + b. Is r composite?
True
Let s be (-3060)/4*((-39)/15 + -3). Let c = s - 2221. Is c composite?
False
Let z = -10905 - -2831. Let s = z + 12431. Is s composite?
False
Let h be (-1)/(-5) + 260/(-50). Let v(g) = 5*g + 21. Let l be v(h). Let p(q) = -4*q**3 + 4*q**2 + 3*q + 9. Is p(l) prime?
True
Let w(x) = 28*x**2 - 225*x + 4. Is w(115) a composite number?
False
Suppose -5*q - 379 = -1404. Let w = 753 + 115. Suppose -q = -h + w. Is h prime?
False
Suppose -2*w - 30 = -4*w. Let a = 665 - 664. Is w*(-66)/(-9) + a a composite number?
True
Let l(b) = -b**3 + 3*b**2 + 2*b + 22. Let w be l(15). Let y = w - -5587. Is y prime?
True
Let t be (-171)/(-63) + 2/7. Suppose 0*d + 4*f - 9 = t*d, 5*d + 2*f = -15. Is (-1)/(-2) + d/(12/(-3002)) a composite number?
False
Let g = 6930 + -669. Is g prime?
False
Let d(m) = -140*m - 1. Let y(a) be the third derivative of a**4/24 + a**3/6 - 6*a**2. Let c be y(-4). Is d(c) composite?
False
Suppose -a - 17 = -12. Let j(t) = -66*t - 3 - 4 - 167*t - 89*t. Is j(a) composite?
True
Let a be (14 - -2)*(39/(-4))/13. Is (1693/(-2))/(6/a) a prime number?
True
Suppose 2*z - 6 + 0 = 0. Suppose -6*b = -z + 45. Let m(v) = -99*v - 8. Is m(b) composite?
True
Is ((-521)/(-3126))/((-2)/(-4088244)) prime?
True
Let g(d) be the second derivative of d**4/4 - 31*d**3/6 + 57*d**2/2 + 2*d - 20. Is g(14) prime?
True
Let u(h) = -72*h**3 - 5*h**2 - 3*h - 79. Is u(-12) a composite number?
False
Let b = 428 - 423. Suppose -14*k = -b*k - 37773. Is k a prime number?
False
Let d be 2/(-4) + 40/16. Suppose 5*i = 12 - d. Suppose 5*p = i*p - 3, -2*h - 5*p = -1029. Is h prime?
False
Suppose 2*f = -2*v - 64, -2*f - 5*v - 6 = 55. Let h be (202/3)/(11/f). Let z = -71 - h. Is z a prime number?
True
Let n(d) = 222*d + 41. Suppose -3*v = 3*l - 87, -l - 6*v = -v - 45. Is n(l) prime?
True
Let r(s) = -s + 18. Let l be r(10). Let w be (-2 - (2 + (-7542)/l))*4. Suppose 3*n - 8*n - 5*f = -3775, -5*f = -5*n + w. Is n a composite number?
True
Let m = -1144500 - -1828489. Is m prime?
False
Suppose 1476*h - 1464*h - 1053382 = 295982. Is h a composite number?
True
Suppose -3*c = 2*g - 89297, 5*g + 161*c - 160*c = 223210. Is g composite?
False
Let b = -62 + 66. Suppose -b*o = -c - 2458, -o + 298 + 318 = -c. Let r = 2301 - o. Is r composite?
True
Let t(o) = -513*o + 4 + 9 + 987*o. Is t(11) prime?
True
Let g = -13614 + 14681. Is g composite?
True
Let i = 7 - 17. Is (5748/i)/((-32)/80) a composite number?
True
Is 367129/(-13 - -6)*(-6)/6 composite?
True
Let z = 262330 - 179307. Is z a prime number?
True
Suppose 0 = t - 3*g - 1740, 5*t + 2*g = 6*t - 1739. Let s = t - 34. Is s a prime number?
False
Let z(i) = -8*i**2 - 15*i**2 + 4*i - 6*i**2 + 34*i**2 - 23. Let a(c) = -6*c**2 - 3*c + 22. Let b(m) = -4*a(m) - 3*z(m). Is b(-8) a composite number?
False
Let m = 61358 + 27071. Is m a prime number?
False
Let a = 568 + -557. Suppose 5*k - 1162 = -4*p, -4*k - 1473 = 6*p - a*p. Is p prime?
True
Let k = 238619 + -153516. Is k composite?
False
Suppose 3*o = 5*o + 12. Let s(n) = -n. Let g be s(o). Suppose 0 = 4*f - g*f + 582. Is f a prime number?
False
Suppose -300 = 4*j - 9*j. Let c be (-15)/j + 362/8. Let p = 194 - c. Is p a prime number?
True
Let m = 689 - 686. Suppose 4*u - 4*d = 16808, -4*u = -6*u - m*d + 8399. Is u prime?
True
Suppose -2*j = -4*u - 334, 3*j - 4*j - 5 = 0. Let w = -261 + 504. Let t = u + w. Is t prime?
True
Let t(s) = 22016*s - 717. Is t(2) prime?
False
Let g = 124718 - 36411. Is g a prime number?
False
Is (-94 - -789993) + 0 + 10 composite?
True
Let r = -361688 + 793879. Is r composite?
True
Suppose 3*f + f + 8 = 4*t, 30 = -3*f - 3*t. Is (-6)/9*(49251/f + 2) composite?
False
Let k be 280/(-105)*9/(-2). Suppose k*d = 132 + 2004. Is d a composite number?
True
Let z = -38 + 45. Let h(l) = 158*l**3 - 4*l**2 + 3*l. Let n be h(2). Suppose -z*k + n = -k. Is k a prime number?
False
Let i(m) = 213*m**2 - 10*m + 1109. Is i(30) a prime number?
False
Suppose 4*z - 544782 = -f, -2*z + 1195*f - 1192*f = -272384. Is z composite?
True
Let i be 16/(-4) - (-1)/1. Let k(f) = 18*f**3 - f**2 + 5*f - 5. Let q(w) = 21*w**3 - 2*w**2 + 6*w - 4. Let v(b) = -3*k(b) + 2*q(b). Is v(i) a composite number?
False
Let k(w) = 6299*w - 81. Let f(s) = 2099*s - 27. Let 