2*i**2 + i. Let h be c(-1). Let g = h - 1. Is 2/4 + (-351)/g composite?
False
Let u(t) = -1109*t - 30. Is u(-8) composite?
True
Let s(a) = a**2 - 9*a - 3. Let d be s(10). Suppose -d*g + 2020 = -4357. Is g a prime number?
True
Let u = 535 - 324. Is u a composite number?
False
Is 1 + 14/(-8) + 19127/4 a composite number?
True
Suppose -4*l + 0*i + 2*i = -1916, -4*l + i + 1916 = 0. Is l a prime number?
True
Is 2/(-10) - 458940/(-75) prime?
False
Let v = -3 - -7. Suppose -16 = -v*g + 2*j - 4*j, -2*g = 5*j - 16. Let s(l) = 6*l**3 - 2*l + 1. Is s(g) a composite number?
False
Let s = 51 - 30. Is 3 + s/(-9) + 3242/6 a composite number?
False
Let i(o) = 290*o**2 - 2*o - 13. Is i(-2) prime?
True
Let g = -287 - 634. Let t = g + 1292. Is t composite?
True
Let o(i) = 353*i**2 - i + 7. Is o(3) a prime number?
True
Let m = -24 + 26. Suppose 0 = -m*j + w + 326, 3*j + 4*w = 2*w + 475. Is j a prime number?
False
Let g = 51 + 14. Suppose -3*h = h - 296. Let v = g + h. Is v a prime number?
True
Let m(t) = t**3 + 12*t + 12. Suppose 11*o - 132 + 33 = 0. Is m(o) prime?
False
Suppose 0 = 4*l - 5*w + 462 + 468, -2*l = -2*w + 464. Let d = -119 - l. Is d prime?
False
Let a(j) = 2*j**2 + 2. Let f be a(0). Suppose f*g - 1484 = 1334. Suppose -1 - 2 = -t, g = n - 2*t. Is n a composite number?
True
Suppose -16*f = -18*f - 364. Suppose k - 323 = -q, -3*q = -2*k - 3*k + 1615. Let v = k + f. Is v prime?
False
Let k be (-1328)/(-44) - 4/22. Suppose -k = -3*g + 39. Let d = g + 66. Is d a prime number?
True
Suppose -4*r - 4*f = -21220, -2*r + 3*f = -5385 - 5225. Is r a prime number?
False
Suppose b - 6 + 16 = 0. Is 16/(-40) - 34/b - -874 prime?
True
Let u(h) = -6 + 9 + 6 + 8 + 6*h**2 + 9*h. Is u(-6) prime?
True
Suppose -3*q - o = 2*o - 32904, -3*q = -5*o - 32912. Is q a composite number?
True
Suppose -5*w - 6*r + 10*r = -2503, -2*w + 1006 = -4*r. Is w prime?
True
Let b(g) = 287*g + 22. Let s be b(4). Suppose 4*v - 2*q = 21050, -4*q = -v + 6443 - s. Is v a composite number?
False
Let y(w) = 5*w**2 - 4*w - 1. Let j be y(-3). Suppose l = -4*p + j - 16, -l - 3*p + 35 = 0. Suppose -i = -l - 301. Is i a composite number?
True
Let r(h) = -31*h - 13. Let z(q) = 92*q + 40. Let s(l) = 11*r(l) + 4*z(l). Suppose b - 17 + 11 = 0. Is s(b) composite?
False
Let f be -1 - (18/15)/(3/(-10)). Suppose 3*d = -4*r + r + 9, 0 = 2*d - 2*r - 14. Suppose 4*n - 4*y - 344 = 0, -17 = f*n + d*y - 267. Is n prime?
False
Suppose -79*d = -85*d + 17214. Is d prime?
False
Let t = -20 + 283. Is t composite?
False
Let l be 11/3 + 3/9. Suppose -4*b + 8 = -3*p, 0 = l*p - b - 4*b + 10. Suppose 3*r + r - 148 = p. Is r a prime number?
True
Let q(t) = 3*t**2 + 2*t**2 + 8*t**2 - 3 - t**2 + 8*t. Is q(-7) composite?
True
Suppose 2*l = -d + 7, 3*d + 3*l = d + 9. Is (d/4)/(18/(-5112)) prime?
False
Let m(k) = k**3 + 2*k**2 + 2*k + 1. Let t be m(-3). Let z be (-4*t/(-4))/(-2). Suppose -6*l + z*l = 889. Is l prime?
False
Suppose 0 = 9*c - 2*c - 84. Suppose 5*o - c = 2*o. Suppose -19 = -g + 3*i, -3*g - 4*i + 61 = o. Is g composite?
False
Let w = 7 + -5. Let s(l) be the first derivative of 23*l**3/3 - 3*l**2/2 + l + 1. Is s(w) prime?
False
Let m = 2 - 3. Is (-3 - (-3 + m))/((-1)/(-191)) a prime number?
True
Let m = -11 + 6. Let j be ((-27)/(-4))/(m/220). Let f = j + 848. Is f prime?
False
Is (212/(-6))/(80/(-2040)) prime?
False
Is ((-2)/(-4))/(21/821982) a prime number?
True
Let d(c) = c**3 + 7*c**2 - 3*c - 3. Let j be d(-7). Let m = j - 8. Suppose -m*s + 6*s = -284. Is s prime?
True
Let p be (-1 + 2)*7/(-1). Let c = -5 - p. Suppose 2*n + c*s = 6*s + 238, -5*s - 595 = -5*n. Is n a composite number?
True
Let q = 148 - -1251. Is q a prime number?
True
Let p be 0 - ((-28 - -3) + -3). Let a = 729 - p. Is a a prime number?
True
Is (-2 - (-11)/(-3))/((-57)/96273) composite?
True
Let n be (29 - -1) + 2 + -1. Let p = -19 + n. Is 109/3 - (-8)/p prime?
True
Suppose 0*x - 18895 = -4*d + 5*x, 14145 = 3*d + 5*x. Suppose -3*h = f - 2281, -5*f + 6605 = -5*h - d. Is f composite?
False
Let x = -45 + 28. Let o(s) = s**2 + 16*s - 13. Let l be o(x). Suppose -5*y + l*y = -211. Is y composite?
False
Suppose -21 = -7*c + 56. Suppose c*s = s + 1150. Is s prime?
False
Let v = 259 + 186. Is v a prime number?
False
Let u = -9680 + 13797. Is u a composite number?
True
Let a(v) = -17*v**3 - v**2 + 2*v - 1. Let j be a(1). Let r = j + 32. Is r composite?
True
Let a = 48 - 53. Is 1 - a*(1112/(-5))/(-2) a prime number?
True
Let y be (-4)/14 - (-42)/147. Suppose 3*h - 3*i = 966, -2*i + y*i = -5*h + 1595. Is h a composite number?
False
Let i(t) = 38*t + 16. Let z be i(11). Suppose -4*k = -3*d + z + 1335, 4*d = 2*k + 2342. Is d composite?
True
Let c(p) = -19*p - 13. Let w(t) = -9*t - 7. Let s(o) = 6*c(o) - 11*w(o). Is s(-5) prime?
False
Let s = -10170 + 19097. Is s prime?
False
Let t(x) = -168*x**3 - x**2 + 2*x + 1. Let f be (-3)/(-1 + 5/2). Is t(f) a composite number?
True
Let q be ((-5)/(-2))/(1/2). Suppose 0 = -41*t + 51*t - 20. Suppose 0 = n - t*a + a - 374, a + 1858 = q*n. Is n composite?
True
Let m(p) = 184*p**2 + 13*p + 2. Is m(-7) a composite number?
True
Let t = 7236 - -2747. Is t a prime number?
False
Let f = -9251 - -56184. Is f a prime number?
True
Suppose -4*t + 40759 = -3*q - 123228, 4*q = -3*t + 123009. Is t composite?
True
Let l(v) = -v**3. Let q(s) = 3*s**3 + 3*s**2 + 3*s - 2. Let k(z) = -2*l(z) - q(z). Let w = -270 + 267. Is k(w) a prime number?
True
Let o(f) = 40*f**2 - 20*f - 73. Is o(-11) prime?
True
Let m(t) = 1 + 157*t + 146*t - 2 - 82*t. Is m(3) composite?
True
Let l(m) = -m**2 + m + 1. Let q(w) = -2*w**2 + 11*w + 11. Let g(n) = -4*l(n) + q(n). Is g(-8) composite?
False
Suppose 2*a - 3 - 10 = -3*o, 4*a + o = 11. Suppose 62 = y + 5*v, -v = y + 11 - 53. Suppose -3*q + y - 357 = -4*c, a*q + 316 = 4*c. Is c prime?
False
Let k(t) = 2*t - 1. Let i be k(2). Suppose 3*r = -2*g + 111 - 20, 0 = 5*r + i*g - 153. Is r composite?
True
Suppose -3*c + 0*s + 63 = 3*s, 3*s = 3*c - 57. Let g(d) = -8*d - 11 - d**3 + 5*d**2 + c*d + 7*d**2. Is g(12) a composite number?
True
Is 11 - (-67897 - (13 + -20)) composite?
False
Suppose 2*r + 4*a = 13814, -5*r = -6*r + 3*a + 6907. Is r prime?
True
Let o(k) = -k + 1. Let j(g) = -5*g**2 + 5*g - 5. Let d(w) = -j(w) + 2*o(w). Is d(4) a prime number?
True
Let g be (-1)/2 - (-63)/14. Let x(a) = 30*a - 7. Is x(g) a prime number?
True
Is ((-3386)/(-5))/((-20)/(-50)) prime?
True
Let i be (3 + (-6)/3)*0. Let t(m) = m - 12. Let w be t(i). Is (249/w)/(-1)*4 composite?
False
Let w = -412 - -6035. Is w a composite number?
False
Suppose 7*s = 2*s + 100. Suppose s = 4*o + o. Suppose 4*m - 577 = 3*b, 559 = o*m + 2*b + b. Is m composite?
True
Let s be (859/(-3))/(2/6). Let v = s - -1432. Is v composite?
True
Let u(t) = 21*t**2 + 7*t - 3. Is u(-2) composite?
False
Let q = 3 + 2. Let u(d) = -d + 9. Let g be u(q). Let j(k) = k**2 - k - 5. Is j(g) composite?
False
Suppose -2*r - 4*t + 654 + 5504 = 0, -4*t = -r + 3091. Is r prime?
True
Let j(k) = 420*k**3 + 3*k**2 - k - 1. Is j(2) composite?
True
Suppose -10*b - 2*k = -13*b + 39251, -4*b = 2*k - 52358. Is b prime?
False
Let f(q) = -6*q**3 + 13*q**2 - 3*q - 7. Let i(t) = -5*t**3 + 13*t**2 - 3*t - 8. Let j(c) = -6*f(c) + 7*i(c). Is j(-9) prime?
True
Let d(u) = u**3 + 8*u**2 + 5*u + 4. Let y be d(6). Suppose -a + y = a. Is a prime?
True
Let b(g) = -69*g - 2. Let y be b(-2). Let u be -45 - 0/((-18)/(-6)). Let w = u + y. Is w prime?
False
Suppose -2*w = -c + 22343, -5*c + 4270 = 4*w - 107417. Is c a prime number?
False
Let u = -136 - 131. Let t = 88 + u. Let z = -92 - t. Is z composite?
True
Suppose 2*d + 5*k = 458, -d = 4*d + 4*k - 1145. Is d - 1/(4/(-16)) prime?
True
Suppose 2*r = 7*r + 2*j - 29235, 2*r - 5*j = 11665. Suppose 3*v = -1162 + r. Suppose -5*p + v = -924. Is p composite?
True
Let k(o) = 3*o**2 + 3*o + 2. Let m be k(-2). Suppose c + m = 3*d - 3*c, 3*d - c - 11 = 0. Is 150/4 - 2/d prime?
True
Let q(l) be the second derivative of l**4/6 - l**3/2 - 3*l**2 - 6*l. Is q(-5) prime?
True
Suppose 4642 = 8*q - 13414. Is q prime?
False
Let b = -5754 - -2375. Is b/(-11) - (-20)/(-110) prime?
True
Let r(b) = -b**3 - 27*b**2 + 58*b + 11. Let y be r(-29). Let k(g) be the second derivative of -g**4/12 + 8*g**3/3 + 3*g**2/2 + g. Is k(y) prime?
False
Let r(s) = 2 + 176*s**2 + s - 8 + 6. Let i be (2/3)/