 m prime?
True
Suppose -561*p + 448*p = -85439639. Is p a prime number?
False
Let h(s) = -s**3 - 8*s + 16*s**2 + 18*s - 3*s**2 - 7 + 10*s. Let b be h(14). Suppose 270 = g + 3*k - b, -3*k = 0. Is g composite?
False
Is 4117*14 - ((-3 - 16) + 20) composite?
False
Let i = 147914 - 82747. Is i a prime number?
True
Let o be 1/(-2) + 1685/2. Let u = -7 + 7. Suppose u = 3*r - o - 1375. Is r composite?
False
Suppose -s = 2*g - 1573, -g + 73 = 2*s - 718. Let r = g + 1268. Is r a prime number?
True
Let g(c) = 593*c**2 + 555*c**3 - 9*c + 10*c - 3 - 589*c**2. Is g(1) composite?
False
Let s(h) = 1758*h + 2 - 3436*h - 2252*h + 5. Let g be s(-2). Suppose -12*x = 247 - g. Is x composite?
True
Suppose -15*l = 41 + 4. Is (-889 + l)/(6/(-12)) - 3 a prime number?
False
Suppose 441924 = -5*g - 7*z + 4790417, 3*z = -4*g + 3478810. Is g composite?
False
Let z = 26 - -8. Is 177714/z - 66/(-561) composite?
False
Let s(d) = -2*d**2 + 11*d + 2. Let x be (-124)/(-24) + 6/(-36). Let n be s(x). Is (4324/(-161))/((-2)/n) a prime number?
False
Let f = -14257 - -67736. Is f a prime number?
True
Let p(l) = -16*l - 3915. Let k be p(0). Let u = k - -8394. Is u composite?
True
Let f be (-2)/2*-54*66/12. Let z be f/18*2*64. Suppose -13318 - z = -10*h. Is h prime?
True
Let a(i) = 3*i + 81. Let t be a(-24). Suppose 0 = -2*g + t*g - 9968. Suppose 523 = 3*m - g. Is m a composite number?
True
Let q = 5703 - -12104. Is q prime?
True
Is (1362611 + -5)/6 + 10 a composite number?
False
Let y be 18/(-12) + (-9)/(-6). Let c(g) = -g**2 - 8*g + 1481. Is c(y) a prime number?
True
Let k(u) = 13 + 15 - 20 + 551*u. Is k(7) a composite number?
True
Let u(x) = -x**3 + 8*x**2 + 9*x + 4. Let j be u(9). Suppose 0 = -j*q + 5*n + 8501, 3*q + 0*n + 4*n - 6337 = 0. Is q a prime number?
False
Suppose -88990 = -60*n + 38*n. Let z be (-3 - 0) + 0 - -70. Suppose -n = -z*b + 62*b. Is b a prime number?
True
Suppose 78677 = -39*c + 88048 + 202360. Is c a prime number?
False
Let l = 234 + 173. Let t(b) = 3*b**2 + 49*b - 57. Let z be t(-12). Let j = l + z. Is j a composite number?
True
Is (-4 + 57431)/((-1)/(-2)) a composite number?
True
Let g(t) = -2862*t - 73. Let a be g(-7). Let h = 28908 - a. Is h a prime number?
False
Suppose -4*s - 11 = -19. Suppose 1517 = 4*i - w, 0*w - 2 = s*w. Is i a prime number?
True
Let t = 53 + -53. Suppose -q - 4915 - 21413 = -4*b, t = b + q - 6587. Is b composite?
True
Let k(f) = f**3 + f**2 - 1. Suppose -8*b + 11*b + 18 = 0. Let m(z) = -z**3 + 5*z**2 + z - 5. Let r(q) = b*k(q) + m(q). Is r(-3) prime?
False
Let w(h) = 210*h**2 - 89*h - 17. Is w(6) prime?
False
Let q be (-12)/3 + -1 + 7. Let l be (3/q)/(6/4)*3686. Suppose c = -3*h - 4*c + 2747, -4*h + 5*c + l = 0. Is h prime?
True
Suppose 4*n = 3*l + n - 327636, -3*n = -5*l + 546050. Suppose -18*u = -11*u - l. Is u composite?
False
Suppose -7*j - 24 = -8*j. Suppose -u = 1, -5*u - j - 17 = -2*l. Suppose b - 49 = l. Is b prime?
True
Suppose -b + 2049 = -2*x, 0 = -2*b + 2*x - 3*x + 4108. Let u be (2 - 4) + b + 2 + -2. Let n = u - 1396. Is n a composite number?
True
Suppose -44*t + 1240 = -42*t. Let k = 519 + t. Suppose 8*r - 293 - k = 0. Is r composite?
False
Suppose -10*c - 7363 + 19583 = 0. Suppose 1231*g - 28467 = c*g. Is g composite?
False
Suppose 2 = -5*x - 3*c - 37, 2*x + 3 = 3*c. Let q(k) = 3*k - 51*k + 37 + 3*k. Is q(x) a composite number?
False
Let w = 54 + -10. Suppose w = -3*f - 31. Let n = f - -56. Is n a composite number?
False
Suppose -87*r - 199224 = -93*r. Suppose r = 9*k + 3*k. Is k prime?
True
Suppose -140*f + 1323179 = -127*f. Suppose 2*j = 13*j - f. Is j prime?
False
Let k be (2 - 5) + 1 + 13 + -2. Let s(r) = 2210*r - 37. Is s(k) a prime number?
True
Let q = -173 - -175. Suppose q*r - 70 - 50 = -5*h, 0 = 3*r - 2*h - 199. Is r composite?
True
Let o(l) = -1129*l + 236*l - 386*l + 99. Is o(-2) prime?
True
Let m(v) = -43455*v + 59. Is m(-2) a composite number?
False
Suppose 420*p = 442*p - 467918. Is p prime?
True
Is (59428/36 - 8) + 8/36 composite?
True
Let d be (-1)/(-5) - (-168)/35. Suppose x - d*w = -2*x - 325, -20 = 5*w. Let q = x + 294. Is q prime?
True
Let v(s) = -12978*s**3 - s + 3. Is v(-2) a prime number?
False
Suppose 3*t - 3*u = -6, -2*t + 6*u - u = 19. Suppose 25805 = 5*o - 3*s, -23*s = -t*o - 22*s + 15483. Is o prime?
False
Suppose 0 = -4*m + 5381 + 1359. Suppose -2*i + m - 151 = 0. Is i a prime number?
False
Let s(c) = 623*c + 13. Let v(o) = -1868*o - 39. Let t(u) = -7*s(u) - 2*v(u). Let z be t(-3). Let x = z - 727. Is x a composite number?
True
Suppose 10*i - 10 = q + 13*i, -i = 3*q - 2. Is 141 - (-4 + (6 - q)) composite?
True
Is (182816*50)/20 + -19 composite?
False
Let n = 4018 - 168. Let i = -1815 + n. Suppose -2*q + 814 = j - 2*j, -4*j + i = 5*q. Is q composite?
True
Let m(p) = -p**2 - 12*p - 2. Let l be m(-11). Suppose -l*u + 6*u - 2497 = -v, 0 = 5*v - 5*u - 12465. Is v prime?
False
Suppose -42*t + 4667824 = 37*t - 3974223. Is t a prime number?
False
Let h = 107 + -99. Let w(f) = -f**2 + 3*f + 42. Let v be w(h). Suppose -s - v*s + 2932 = j, 5*s = j + 4884. Is s a prime number?
True
Let b(j) = -4*j - 10. Let v(l) = 5*l + 53. Let y be v(-11). Let z be b(y). Is 1/7*z - 20575/(-7) composite?
False
Suppose -3*y - 2 + 14 = 0. Let p(x) = -51*x**2 + 10. Let v(m) = -103*m**2 - m + 19. Let g(u) = 5*p(u) - 3*v(u). Is g(y) composite?
True
Let b(u) = -u**2 - 16*u - 3720. Let m be b(0). Let y = -2327 - m. Is y composite?
True
Let c(w) = 10937*w**3 - 22*w + 22. Is c(1) a prime number?
True
Let p = 186043 + -105146. Is p a prime number?
True
Suppose -4*s + 1521784 + 551593 = 149733. Is s prime?
True
Let k be (-33 + 15)*4/(-6). Suppose -t - k*t = -18317. Is t a composite number?
False
Let k(w) = 7*w**2 - 39*w - 72. Let d(s) = 4*s**2 - 20*s - 37. Let f(g) = -5*d(g) + 3*k(g). Is f(22) prime?
True
Let k(h) = 15*h + 1. Suppose 3 = -2*o - o. Let x be k(o). Is (-2718)/x + (-10)/70 a composite number?
True
Suppose 3*o + 5936911 = -169*u + 173*u, 0 = -4*u + 2*o + 5936918. Is u composite?
False
Suppose 0 = 2*p - 101*p + 6482550 - 1783317. Is p a composite number?
True
Let v(c) be the third derivative of c**6/24 - c**5/60 - 35*c**4/24 + c**3/3 - 13*c**2 - 4*c. Is v(9) composite?
False
Suppose 13852 = 4*o - 2*s - 8968, -5*o + 28503 = 3*s. Is o a prime number?
False
Let w(b) = -b**2 + 28*b - 25. Let q be w(27). Suppose 3*o + s - 12126 = q*s, -o + 2*s + 4037 = 0. Is o composite?
True
Let x = -3503 + 10906. Is x prime?
False
Suppose -195*p + 168780668 = 37966673. Is p composite?
True
Let g(p) = 195*p + 141. Let h(z) = -582*z - 422. Let r(j) = 11*g(j) + 4*h(j). Is r(-10) composite?
False
Let x(i) = i**2 - 6*i + 3. Let p be x(6). Suppose -p*s + 31 + 14 = 0. Is 961 - (-4)/(-5)*s/6 a prime number?
False
Let i = -20 - -20. Suppose i = -4*f + f - 396. Is (-24)/f - (4376/(-11) + 1) composite?
False
Is ((-10)/(-165)*-11)/(2/(-108561)) a composite number?
False
Let j = 34215 - 2044. Is j a prime number?
False
Let t(i) = 228*i**2 + 29*i + 48. Is t(-7) composite?
True
Let i = 2252 - -39. Suppose 3*m - i = 5*k, k - 1019 - 491 = -2*m. Is m prime?
True
Let x(q) = 1. Let i(s) = -923*s + 14. Let g(u) = i(u) - 5*x(u). Let a be g(-5). Suppose 5*m = 4*t - a, -3*m - 2447 = -4*t + 2169. Is t prime?
True
Let y = 112 + -68. Let w = 47 - y. Suppose -1617 = -w*r + 2466. Is r composite?
False
Let i be (-2)/(4 - 2106/525). Let d = i + 2390. Suppose 12*s - 6879 = d. Is s a composite number?
False
Suppose 3*a + 15 = 0, 2*a + a - 1227 = -3*s. Suppose 4*k - 246 = -l + 21, 16 = -4*k. Let z = s - l. Is z a composite number?
False
Suppose 3*l - 267332 = -s, 4*s - 28604 = 2*l - 206830. Is l a composite number?
True
Let j(m) = 2*m**2 + 19*m + 3. Suppose -2*q - 18 = -0. Let i be j(q). Is 872 + 1 + i/(-3) - -2 a composite number?
False
Suppose -15 = 8*i + 33. Is ((-4672)/i - 1/1)*3 a composite number?
False
Let h(t) = t**3 - t**2 - 2*t + 10. Let k be h(0). Let f(w) = w**3 - 2 - 14*w**2 - 14 - 2*w + 0 + k*w. Is f(19) composite?
True
Suppose -283*c + 465776631 = 22598914. Is c a composite number?
True
Is 1265814/6 + 42/6 + -9 composite?
False
Let d = -66 - -57. Let b = d + -9. Is (-3*(-15)/b - -2)*-1906 a prime number?
True
Is (1 - (-6)/(-4))/(-6*13/2263404) a prime number?
False
Suppose -f - 4*x + 196843 = 0, 389366 = 3*f - 3*x - 201163. Is f prime?
False
Suppose -1