445 - i. Is o composite?
True
Suppose 2*p - 305001 = -5*t, 72*t - 3*p - 122008 = 70*t. Is t composite?
False
Suppose h + 1601 = 4*o - 0*h, 0 = 5*h - 15. Let g = o + -244. Is g prime?
True
Let q(u) = -2*u**2 - 15*u + 11. Let t be q(-8). Suppose -t*n + 21 = 3. Let g(i) = 3*i**3 - 8*i**2 + 6*i + 1. Is g(n) prime?
True
Suppose -8*h = -10*h + 60. Suppose -18 = -4*r - 2*c, 6*c - h = -5*r + c. Suppose r*k + 42 = 2*p, 2*k = 4*p + k - 84. Is p prime?
False
Let p(a) = 12*a**2 - 10*a + 9. Let s(k) = 12*k**2 - 9*k + 8. Let u(z) = -4*p(z) + 5*s(z). Let b = 1320 + -1317. Is u(b) a prime number?
True
Suppose -2*f - 2*j - 4032 = f, -j - 1344 = f. Let t = 2329 + f. Is t composite?
True
Let w = 0 - 30. Let r = w + 161. Is r a composite number?
False
Let s(u) = -48*u - 5. Let b(v) = 47*v + 6. Let d(t) = -2*b(t) - 3*s(t). Is d(11) a prime number?
False
Let z(j) = 584*j**2 - j + 39. Is z(-10) a composite number?
True
Let d = -403 + 1036. Is d prime?
False
Is (-1049103)/(-3) + (6 - 8) prime?
False
Let k = 1732 + 10762. Is k composite?
True
Let k(i) = 3*i**3 + i**2 + 3*i - 1. Is k(6) a composite number?
False
Let m(f) = -f**2 - f + 2. Let z be m(-2). Suppose r + 5 - 765 = z. Suppose -5*b = 5*o + 881 - 2766, 2*b - r = o. Is b prime?
True
Let u(a) = 20*a**2 - 3*a + 20. Is u(-11) a composite number?
False
Suppose -3*w - 4*j = -7*w + 11696, 3*w - 8751 = -4*j. Is w prime?
False
Let b = -94 + -3. Let g = b + 770. Is g a prime number?
True
Suppose 693377 = 27*w + 4*w. Is w composite?
False
Let g = 155 - 153. Suppose -4*a + 0*a = -3604. Suppose -p + 898 = g*z + 3*p, 2*z + 5*p - a = 0. Is z prime?
True
Let m(x) = 59*x + 27. Is m(16) composite?
False
Let m(o) = 8*o**3 - 6*o**2 + 5*o + 7. Let l(s) = -9*s**3 + 7*s**2 - 6*s - 8. Let c(x) = 5*l(x) + 6*m(x). Is c(2) prime?
False
Suppose 3*d - d + 2*x - 9316 = 0, -23296 = -5*d - 3*x. Let a = d - 3268. Is a a prime number?
False
Let y be 3 + 0 - 33/(-3). Suppose 6 + y = -5*v. Let x(l) = -34*l + 5. Is x(v) prime?
False
Is 7*16/616 - (-357562)/22 prime?
True
Let u = 29 - 130. Let m = 52 + -76. Let f = m - u. Is f composite?
True
Let d = -2 + 7. Suppose -4*m - 39 = -4*h + h, d*m - 30 = -5*h. Suppose 3*n - h - 6 = 0, 0 = -3*s - 5*n + 232. Is s prime?
False
Let r(z) = z**3 - z + 1. Let i(q) = -14*q**3 - 14*q**2 - 2*q - 5. Let t(s) = i(s) + 6*r(s). Is t(-8) composite?
True
Let p = -21 + 14. Let h(q) = q**3 + 9*q**2 + 2*q - 5. Is h(p) prime?
True
Suppose 2*k - 128 = 306. Suppose 0 = -3*w - k + 1069. Suppose w = 3*z - y, -6*y = -y + 10. Is z a composite number?
True
Let w be ((0 - -2) + 0)*(-3746)/(-4). Let a = -932 + w. Is a composite?
False
Suppose -51*i = -67*i + 53264. Is i a prime number?
True
Suppose -13*p = -18881 + 1630. Is p a prime number?
True
Let i = 0 - -21. Let j = -16 + i. Is j*(603/(-15))/(-3) prime?
True
Let w(y) = -y**3 + 4*y**2 + 3. Let n be w(4). Suppose -5*r - 5*z + 23 = -7, -r - 4 = n*z. Is r composite?
False
Let j(x) be the second derivative of -63*x**5/2 + x**4/6 - x**2/2 - 7*x. Is j(-1) a prime number?
True
Suppose 12*d + 3 = 9*d. Let n = 7 + d. Suppose -n*x + 4*x = -226. Is x a composite number?
False
Let w(g) = 2*g - 7. Let b be w(8). Suppose -2*r + 3*x = b, 11 = 5*r + x - 9. Is 184 + 1 + r + -1 composite?
True
Let l(d) = 3*d - 7. Let h be l(-5). Let m be (h/(-3))/((-2)/(-3)). Suppose 0 = m*k - 9*k - 502. Is k prime?
True
Suppose 1790 = -4*b + 9*b. Suppose 0*n = 2*n - b. Is n a prime number?
True
Let i be -7 + 649 - 2/(-1). Let q = i - -35. Is q a composite number?
True
Let w be (7/3)/(3/(-9)). Let r(f) = -f**3 - 7*f**2 - 3*f + 10. Is r(w) prime?
True
Let y(h) = -h**3 + 25*h**2 + 13*h - 41. Is y(18) a prime number?
False
Is (9489/(-1))/(-134 + 131) a composite number?
False
Let c(d) = 4*d - 5*d**2 + 3 + 42*d**2 - 4*d**2 + 4*d. Is c(8) prime?
True
Let y(c) = 5014*c - 819. Is y(8) prime?
True
Let n(b) = -727*b - 107. Is n(-2) a prime number?
False
Suppose 7*k - 3*k = 5*d + 2936, 3670 = 5*k + 3*d. Suppose -6*c + 2576 - k = 0. Is c composite?
False
Is 15/6*14346/45 prime?
True
Is ((-9346)/(-6))/((24/(-6))/(-12)) composite?
False
Suppose -37*d + 318086 = -72597. Is d composite?
False
Let q(n) = n + 6. Let s be q(9). Let o = 18 - s. Suppose -o*c + 247 = -2*c. Is c composite?
True
Let q be (-14)/4*(4 + -2). Let w(s) = -7*s - 10. Let x be w(q). Suppose -c = -x - 218. Is c prime?
True
Suppose 5*n = 4*i + 33, 2*n - 7*n + 5*i = -35. Suppose -n*m - s = -1328, -4*m = -5*m - 2*s + 271. Is m prime?
False
Let o(w) = -19*w - 4. Let y be o(6). Let b = y + 244. Suppose b = 8*i - 154. Is i composite?
True
Let v = 8397 - -4688. Is v composite?
True
Let u = -4317 + 6524. Let q = -1314 + u. Is q composite?
True
Suppose -8 = -2*m - 3*j, 0*j - 25 = -5*m - 5*j. Suppose -3*p = -2*p. Let b = p + m. Is b a prime number?
True
Is -1492*(-42)/72*3 a composite number?
True
Suppose 2*j - 50 = -24. Is j prime?
True
Let i = -13 - -16. Suppose 0 = -2*j - 2*j + i*p + 238, -5*j = -2*p - 294. Is j a prime number?
False
Suppose 0 = -5*i - 6 + 11. Is (7 + 27156/30)*5*i prime?
True
Let c = 7389 - 410. Is c a composite number?
True
Suppose 4*r = 2*f - 44, -3*f + 54 = r - 3*r. Suppose 3*n - f = 2*z, -z - z + 12 = 4*n. Is 210/n + 1/2 composite?
False
Let s be 0 - 3 - (-36)/9. Let a(p) = 195*p**3 - 2*p + 1. Let r be a(s). Let g = r + -67. Is g a composite number?
False
Suppose -3*k + 49118 = 2*j + 6531, -j + 5*k + 21300 = 0. Is j a prime number?
False
Let y be 154/33 - (-4)/(-6). Let o be -1 - y/(-2) - -1. Suppose 3*i = o*s + 445, -2*i = s - 0*s - 285. Is i a prime number?
False
Let y(o) = 1908*o**3 - o**2 + 2*o. Is y(1) composite?
True
Suppose -6*i - 6 = -3*i. Let r(t) = -2*t**2 - 3*t + 2. Let v be r(i). Suppose v*s + 115 = s. Is s a prime number?
False
Let p be 2/(-5) + 7828/20. Let t = 1419 - p. Suppose 0 = 2*u + 3*a - t, 0*a = -5*a - 10. Is u a prime number?
False
Suppose -2*q - 2*q - 5045 = -5*r, 0 = -r + 2*q + 1009. Is r a prime number?
True
Let i be ((-210)/(-75))/(2/10). Let l = i + -9. Suppose -2*t - 48 = r - 177, -r + 141 = l*t. Is r a composite number?
True
Suppose 12*f - 15*f + 27 = 0. Let k(w) = -w**3 + 11*w**2 - 21. Is k(f) a prime number?
False
Let r be (-630)/81 + 2/(-9). Is ((-466)/r)/(5/20) composite?
False
Let s = 32 - 30. Let b(g) = 374*g - 5. Is b(s) a composite number?
False
Let x(f) = 2*f**3 - 2*f**2 - 3*f + 4. Suppose -4*n + 16 = -4*v, -1 = -3*n + 5*v + 5. Let u = -4 + n. Is x(u) a composite number?
False
Let w(v) = -47*v**3 - 2*v**2 + 1. Let k be 3 + (0 - 4 - -6). Suppose -2*m - 27 = -5*d, -k*d = m - 6*m - 30. Is w(m) prime?
False
Let z(r) = -r**3 + r**2 + 270. Let c be z(0). Let q(g) = 4*g**2 + 7*g + 7. Let x be q(6). Let y = c - x. Is y a prime number?
False
Suppose -2838 = 3*w + 4*m, -w + 2*m - 946 = 3*m. Let a = 1761 + w. Is a composite?
True
Let j be (-7 + 0 - -4) + 4 - -389. Suppose 25 = 3*c + 2*c. Suppose -5*l = c*u - j, -3*u + 4 = -4*u. Is l a composite number?
True
Suppose 7*x - 72 = 4*x. Is ((-36)/x)/(2/(-356)) a composite number?
True
Let w(j) = 1798*j + 25. Let n be w(-7). Is (-1)/(-4) - (n/12 + -2) a composite number?
False
Suppose 10*c - 54875 - 127395 = 0. Is c composite?
True
Let z be 4/18 - 0 - (-612)/162. Let o be (36/30)/(6/(-80)). Is (-12)/o - (-449)/z composite?
False
Suppose -2*s = 5*g - 180287, -2*g + s + 26650 + 45472 = 0. Is g composite?
True
Suppose 3*k + 27 - 36 = 0. Suppose k*g = -4*a + 4999, 4*g = -4*a + 8056 - 1384. Is g a composite number?
True
Let d = 33134 + -21334. Suppose -5*b = 4*z - 8144 - 3631, -5*b = -z - d. Is b composite?
True
Let b(a) = a**3 - 10*a**2 + 7*a - 13. Suppose -3*o = 2*o + 60. Let j = -1 - o. Is b(j) a composite number?
True
Suppose -7503 = -4*i + 5*b + 9200, 2*i - b - 8353 = 0. Is i a composite number?
False
Let j(d) = 4*d + 4. Let n be j(2). Let g = n - 12. Suppose 4*m = -3*s + 533, g*s - 265 = -2*m - s. Is m a prime number?
True
Let p(b) = 14*b**2 - 13*b - 4. Let y(k) = -15*k**2 + 12*k + 3. Let v(d) = 5*p(d) + 4*y(d). Is v(9) a prime number?
False
Let s(g) = g**3 + 17*g**2 - 10*g - 17. Suppose f - 3*f - 30 = 0. Is s(f) a prime number?
False
Let a(s) = 29*s**2 - 6*s - 2. Suppose -4*d = f + 20, 0*d + 5*d = f - 25. Is a(d) a prime number?
False
Let m(b) = -31*b - 11. Let q be m(-6). Suppose 0 = 4*v + 16, -2*s + 4*v = -3 - 17. Suppose -11 = s*d - q. Is d a prime number?
False
Let