Is t(-9) prime?
False
Suppose 2052 = 4*n - 2*c, -3*c = 2*c + 20. Is n prime?
False
Let a = -4 - -6. Let y be a/11 - 291/(-33). Is 3/2*390/y prime?
False
Is (-17 + 16)/((2/1)/(-178)) prime?
True
Is ((-2)/4)/(2/(-1316)) prime?
False
Let d(j) = -j**3 + 4*j**2 - 1. Suppose -2*f = f + 12. Is d(f) prime?
True
Suppose -2*j = 3*z + 85, 0*z - 79 = 3*z - j. Let w = z - -81. Is w - (4 + 1 - 2) a prime number?
False
Suppose 0 = o - 3, -g - 110 = 3*o - 378. Is g prime?
False
Let y(c) = -2*c - 11. Is y(-11) a prime number?
True
Suppose 717 = -26*n + 29*n. Is n a prime number?
True
Let a(n) = 7*n**2 - 2*n - 1. Let f = -4 + -1. Let k be a(f). Suppose -k = -5*z + 4*x + 151, -3*z + 201 = 3*x. Is z composite?
False
Let x = 10 + -1. Suppose x = 4*i - i. Suppose s + 0*t = -t + 24, 5*s - i*t - 136 = 0. Is s a prime number?
False
Let i be (-15)/20 + (-13381)/4. Is 8 + -8 + i/(-2) a prime number?
False
Let x(v) = -v**3 - 3*v**2 + 2*v - 1. Suppose -5*y - 40 = -0*y. Let z be 30/(-8) - (-2)/y. Is x(z) a composite number?
False
Suppose 6*f + q - 2930 = 2*f, 3669 = 5*f - 2*q. Is f a composite number?
False
Let l = 168 - -43. Is l a composite number?
False
Let c = 875 - -311. Is c a composite number?
True
Suppose 2*t - 641 = -159. Suppose -364 = -5*s + t. Is s a composite number?
True
Let g = 4 + 2. Suppose -g*h = -9*h + 1335. Is h composite?
True
Let j(u) = 37*u**2 + 2*u - 3. Let b = 0 + 0. Let s be b/2 - (-5 - -3). Is j(s) prime?
True
Let v = -26 + 49. Suppose 13*z = 14*z - v. Is z composite?
False
Is (24/(-9) - -3)/(3/2097) a prime number?
True
Let q(r) be the second derivative of -r**3/6 + 9*r**2/2 + 3*r. Is q(0) composite?
True
Let y(v) = -29*v**3 - 2*v**2 + v - 2. Let o be y(-2). Suppose 0 = 4*i - 0*i - o. Is i a prime number?
False
Suppose 1 + 2 = f + w, -4*f + w = -27. Let p be 79/(-2)*(f + 2). Let d = p - -537. Is d prime?
False
Let q(j) = j**3 - 3*j**2 - 13*j + 3. Is q(10) prime?
False
Let h(k) = k**3 - 6*k**2 + 7*k - 7. Is h(6) a prime number?
False
Is ((-10)/3)/((-14)/399) composite?
True
Let t(p) = 2*p**2 + p + 6. Is t(-23) a prime number?
False
Suppose 4*d - 284 = -32. Suppose 5*t + 108 = 4*l + t, t = 3*l - 83. Let v = d + l. Is v a prime number?
False
Suppose 0*u + 17*u - 31739 = 0. Is u a prime number?
True
Suppose 9*l + 947 = 5816. Is l a composite number?
False
Let f = 673 - 44. Is f a prime number?
False
Suppose -42 = -5*r + 2*r. Suppose -l - 4*u = -3*u - 14, -3*u = l - r. Is l composite?
True
Suppose 6*p - 3*p = -402. Let i = p - -227. Is i a composite number?
True
Let m(w) = -105*w - 2. Is m(-13) a composite number?
True
Is (-23)/2*(1 + -3) a composite number?
False
Let y(d) = -d - 1. Let k be y(-11). Is (-8 + 1)/((-2)/k) a prime number?
False
Let k(f) = f**3 - 4*f**2 + 2*f - 1. Let u be k(5). Let l = 15 + u. Is l a prime number?
False
Let g(x) = 10*x**3 + 3*x**2 + 2*x - 2. Let h be g(-3). Let f = h - -622. Is f composite?
True
Is (-12200)/(-28) - -3 - 6/(-21) a prime number?
True
Let j be (-1 - -7)/(3/4). Let c = 132 + -89. Let h = c - j. Is h a prime number?
False
Suppose -5*l + 3*y = -2792 - 8016, -4*y = 4*l - 8640. Is l prime?
True
Suppose -t - 537 = -3736. Is t a prime number?
False
Let t(s) = -4*s + 29. Let n(a) = a - 10. Let h(f) = 17*n(f) + 6*t(f). Let b(i) = i**3 - 6*i**2 + 5*i - 7. Let y be b(5). Is h(y) prime?
True
Let g(r) = r**2 - 6*r + 3. Let a be g(6). Suppose -a*t = -322 - 11. Is t a composite number?
True
Let t = 8 + -5. Suppose -3 = 4*c + 21. Is 1 - c - (t + -2) composite?
True
Suppose 0 = x - 0 + 1. Let v be x*(-299 + 1) - -2. Suppose 0 = 4*p + 40 - v. Is p composite?
True
Suppose -2*o = -3*i - 4 + 9, 5*o - 4*i + 2 = 0. Let s(r) = -2*r**2 + r**3 + 3*r + 3*r - 5*r. Is s(o) a prime number?
True
Let g = 91 - -376. Is g composite?
False
Suppose 5*o + 2*v - 5*v = 3475, 3475 = 5*o - 4*v. Is o a prime number?
False
Let g = -490 + 912. Is g a prime number?
False
Let h(n) = 3*n**2 - 11*n + 36. Is h(7) a composite number?
True
Let w(k) = -11*k + 3. Let i be w(-4). Suppose 10 = -4*y + 50. Let s = i - y. Is s a composite number?
False
Suppose 0 = 3*v - 2*v + 18. Let q be (-3)/(v/224)*3. Suppose -2*f + 3*n + 37 + 6 = 0, 5*f - q = 3*n. Is f prime?
True
Let l(t) = -t - 1. Let q be l(-3). Is (-1 - (-3)/q)*118 prime?
True
Suppose 0*v - 2*v = -892. Suppose -3*o = -6 + 3, v = 5*q + o. Is q composite?
False
Is (-36 - -1)*(-8)/8 composite?
True
Suppose 5*f + l - 647 = -2*l, -3*f - 5*l = -401. Is f prime?
True
Let w be 5/(-15) + (-67)/(-3). Let o = w + 102. Suppose 0*v - o = -2*v. Is v a prime number?
False
Let o(i) = i**2 + i - 4. Suppose -3*n - 20 = n. Let a be o(n). Suppose -4*q + 40 + a = 0. Is q composite?
True
Suppose -23*c - 7162 = -25*c. Is c composite?
False
Let g = 701 - 370. Is g prime?
True
Let r(j) = -20*j + 3. Let d be r(-5). Suppose -5*w + 252 + d = 0. Is w composite?
False
Let i(a) = a**2 + 6*a + 7. Let w be i(-5). Let g be w/7 - (-366)/(-7). Let t = g + 143. Is t prime?
False
Let k = 2010 + -799. Is k a composite number?
True
Let c be 1/2 - (-12)/8. Suppose 0 = 2*s + c*o - 272, 0*o + 540 = 4*s + 3*o. Suppose -2 = -4*i - 10, 4*f = -4*i + s. Is f a prime number?
False
Let z = 10 + -8. Suppose f - 73 = 3*n, -f - 10 = z*n - 103. Is f a prime number?
False
Let g(y) = -y**3 + 12*y**2 + 2*y - 10. Let r be g(11). Suppose 44 = 3*z - r. Is z a prime number?
True
Let m(n) = n**3 - 17*n**2 - 27*n - 29. Is m(20) prime?
True
Let y(z) = -2*z**3 - 2*z**2 + 2*z. Let a be y(-2). Suppose 10 = t + t, 3*j - a*t = -17. Is j/(44/42 - 1) a prime number?
False
Let n be (17 - 19)*(3 - 1). Is n*((-177)/6 - 0) prime?
False
Let n = 721 + -384. Is n prime?
True
Let g(a) = a**3 + 10*a**2 + 11*a - 5. Suppose 5*u = 4*k - 2*k + 36, 4*u = 4*k + 48. Is g(k) composite?
True
Let q be 0 + -6*2/(-4). Suppose a = q*t - 219, -t - 2*a = -0*a - 80. Is t composite?
True
Suppose 5*g - 2935 = -0*g. Is g prime?
True
Suppose 1074 = -b - 3*p, -3*b = -5*b + 5*p - 2148. Is b/(-14) + (-8)/(-28) composite?
True
Suppose 4*h = -0*h - 2*b + 30, 0 = h - 5*b - 35. Let r be 254/h - (-4)/(-10). Suppose 2*y = 41 + r. Is y a composite number?
True
Suppose -a - 2*m + 547 = 0, -5*a + 2*m - 66 + 2801 = 0. Is a prime?
True
Suppose l - 2*l - 111 = 2*r, -l - 102 = -r. Let p = -151 - l. Let y = -25 - p. Is y a composite number?
True
Let n(l) = l**3 + 31*l**2 + 37*l + 31. Is n(-26) prime?
False
Let h(d) = -d**2 + 10*d - 9. Let f be h(9). Suppose -3*k + 5*o - 12 = f, 5*k + 5*o - 3 - 17 = 0. Is 7 - 7 - (k - 120) a prime number?
False
Suppose 7*k - 2*k - 470 = 0. Let y = k + 643. Is y prime?
False
Let n(k) = 1. Let q(x) = 49*x + 3. Let j(m) = -4*n(m) + q(m). Let p be j(3). Is 9/(-6) + p/4 prime?
False
Let z(p) = 16*p**3 - 2*p**2 - 2*p - 3. Is z(5) prime?
False
Suppose -2*g - 25 = -6*g - 3*v, -5*g + 3*v + 11 = 0. Suppose 0 = t - g*t + 93. Is t prime?
True
Let d(s) = 3*s + 4. Let y(q) = 7*q + 9. Let t(p) = 9*d(p) - 4*y(p). Let z be t(-2). Let f(u) = 21*u + 1. Is f(z) a prime number?
True
Let z(h) = 2*h**2 + h + 1. Let q(l) = l**3 - l**2 + 2*l - 2. Let x be q(2). Is z(x) prime?
True
Suppose 4*z - 999 = 5*y, 2*z = z + 3*y + 248. Is z a composite number?
False
Suppose 0 = 9*r - 11*r + 120. Suppose 3*w = -0*w + 15. Suppose -w*q + q + r = 0. Is q a prime number?
False
Let x(i) = i**2 - i - 3. Let f(y) = y**2 + 6*y + 5. Let z be f(-7). Let j = -4 + z. Is x(j) composite?
False
Let i = 705 + 446. Is i prime?
True
Suppose 2*c - 44 - 218 = 0. Is c a prime number?
True
Suppose 5*b = 3*b + 3386. Is b a composite number?
False
Let v = 247 + -90. Let z = 348 - v. Is z composite?
False
Suppose 0 = -2*r + 463 + 1683. Is r a prime number?
False
Let f(c) = c**3 - 3*c**2 + c - 1. Let h = -24 + 38. Let b = h + -10. Is f(b) a composite number?
False
Let t(c) = -2 - 3 + c - 41*c**3 + c**2 + c + 6. Let z be t(-1). Let g = z - 28. Is g a prime number?
True
Suppose 2*p + 5*d - 5 = -3*p, -p = -4*d - 11. Suppose 4 = p*s - 2. Suppose s*w = -2*w + 156. Is w prime?
False
Let h(v) = -74*v - 39. Is h(-5) a composite number?
False
Suppose 8 = -7*w + 4*w + 4*l, 0 = -4*w - 4*l - 20. Is (5 + -7)*110/w a composite number?
True
Suppose w - 9 = 2*y, 2*w - y = 4*y + 20. Let s(b) = 3*b + 3*b**2 + 2*b**2 + 2 - 2*b - b**3. Is s(w) a prime number?
True
Let f = 6 - 15. Let w(g) = -7*g + 2. Is w(f) a prime number?
False
Let g be 3*1/(-1) + 127. Let o = 