pose -3*u + 67 = -f*u. Is u prime?
True
Let i(q) = q + 2859. Is i(0) prime?
False
Is 4/3 - (-114611)/21 a prime number?
False
Suppose s - 18 = 4*s. Let c(n) = -2*n**3 - 7*n**2 - 14. Is c(s) composite?
True
Suppose 4*a = 16, -3*s - 5*a + 4*a = -10. Suppose -n - v = -5*n - 29, 3*v - 27 = s*n. Let q(m) = 5*m**2 + 3*m + 1. Is q(n) a composite number?
False
Is (-423798)/(-66) - (0 + 6/33) composite?
False
Let x(j) = -j**3 - 5*j**2 - 2*j + 2. Let w be x(-4). Let b be -1*-10*(-3)/w. Suppose 0 = -5*t - 2*d + 281, 3*d - 122 = -b*t + 157. Is t a prime number?
False
Suppose 4*y - 5*y - 9924 = -5*l, 0 = -4*l + 2*y + 7938. Is l prime?
False
Let k = 17805 + -9938. Is k a prime number?
True
Suppose 4*z - 22 = -5*q + 3*q, 0 = -4*q - z + 16. Suppose 3*p + 2*i = 1795, -678 = q*p + 3*i - 2475. Is p a composite number?
True
Let s(o) = -9*o**3 + 43*o**2 - 21*o - 14. Is s(-15) composite?
False
Suppose -5 = -j - 0. Suppose -j*s + 4 - 2 = -4*h, -4*s + 16 = 4*h. Is ((-141)/(-6))/(h/20) a composite number?
True
Let q = 3662 + -2316. Is q a prime number?
False
Let r be (-4)/(-5) - (-24)/20. Let q be r/(-9) - (-2614)/18. Let z = q + -62. Is z a prime number?
True
Let l(b) = -14 + 0*b + 0*b + 3*b - 4. Let x be l(6). Suppose -4*h + v + 267 = 0, -2*v + 337 = 5*h - x*v. Is h prime?
True
Let d be (-3 + 20 + -1)*1. Let w(h) = 93*h - 50. Is w(d) a prime number?
False
Let s = -64 - -228. Let g be 1/(332/s + -2). Let a = g + 138. Is a a composite number?
False
Suppose 10347 = 22*m + 3593. Is m prime?
True
Suppose -i + 4197 = 2*i. Is i prime?
True
Let z(q) = q**3 - 3*q**2 + q - 2. Let c be z(3). Is 107*(c/(-3))/(6/(-198)) composite?
True
Suppose 5*z + 3431 = -2*u + 9026, 3*z - 11155 = -4*u. Is u composite?
True
Suppose 0 = 4*m + 3*r - 19, -5*m + 2*m - 3*r + 15 = 0. Suppose 61 = -2*i + 5*c, 4 = -i - m*c - 7. Let s = 58 + i. Is s a composite number?
True
Let d be (-2 - -2)/(-1 - 1). Suppose 3 - 13 = -2*v, 3*g - 5*v - 2936 = d. Let t = g + -646. Is t composite?
True
Suppose -2 = -j + 2. Let m(r) = 5*r**3 - 3*r**2 - 2*r + 7. Let u be m(j). Suppose u = 4*i - 2*a - a, 2*a - 333 = -5*i. Is i composite?
False
Suppose -15*a = -16*a - 176. Let r = 665 - a. Is r a composite number?
True
Let a = 21928 - -4395. Is a a composite number?
True
Let u = -1918 + 3971. Is u composite?
False
Let r(z) = -2*z + 2 + 11*z**2 - 3 + 64*z**2 - 5. Is r(-2) a prime number?
False
Let u = 5090 - -59. Is u a prime number?
False
Suppose 8*n + 47 = -1. Is n/(-30) - 4984/(-5) a prime number?
True
Is 21/(-14)*22556/(-6) a prime number?
True
Let h be ((-2)/(-6))/(-4 - (-1047)/261). Let u = h + -25. Is u prime?
False
Let s(v) = v + 1. Let p be s(4). Let u(i) = 3*i + 7*i**2 - 1 - 3 + i. Is u(p) prime?
True
Is -2 - 1 - (-6 + 12 + -5108) prime?
True
Let u be 254 + (-2)/(-2) + 3. Let g = u - -113. Is g a prime number?
False
Suppose 4*f - 5 = 3. Suppose 0 = -f*t - 2*t + 12. Suppose t*o = 7*o - 860. Is o a prime number?
False
Suppose -48*m + 344522 = 32570. Is m composite?
True
Is (2226 - 35/(-7)) + -4 a prime number?
False
Suppose 0 = -g + 17 - 10. Is -1 + g/(14/30) a prime number?
False
Let z(h) = 19*h**3 - 5*h**2 - 9*h + 28. Is z(6) a prime number?
False
Let t(m) = 4*m + 183. Is t(-16) prime?
False
Suppose 4*y - 8 = 5*d, -3*y - 2*y = -2*d - 10. Suppose 0 = -5*t - d*t + 1595. Is t a composite number?
True
Suppose 4*d - 63*t = -64*t + 173688, -2*t = 8. Is d composite?
True
Suppose -71*c + 936660 = -11*c. Is c prime?
False
Let u(m) = m**3 - 58*m**2 + 14*m - 273. Is u(64) prime?
False
Suppose -2*j = -2*b - 2*b - 24, -5*j + 12 = 2*b. Let a be 18/(-12) + 6/j. Suppose a = 4*u - 0*u - 172. Is u composite?
False
Let t(m) = -m + 1. Let u be t(-3). Suppose -2*c - 4 = 0, u*k - 4*c + c - 12610 = 0. Suppose 3137 = 6*g - g - 4*h, 5*g = -3*h + k. Is g composite?
True
Let h(q) = q**2 - 2*q + 50. Is h(-9) a composite number?
False
Let u(o) = o**2 + 12*o - 3. Let q be u(-13). Let r = q + -7. Is 141 - (r - 2)/(-1) composite?
True
Is (-219612)/3*4/(-16) a prime number?
True
Suppose -6 = 2*f, 3*y + 0*y = -4*f + 2235. Is y a prime number?
False
Let f = 866 - -1767. Is f a composite number?
False
Let n = 18 - 12. Let b(y) = -y**3 + 6*y**2 + 7. Let v be b(n). Let k(j) = 16*j**2 + 5*j + 2. Is k(v) prime?
True
Let v(u) = -u. Let a(j) = -495*j - 363. Let o(c) = -19*c - 14. Let q(l) = 3*a(l) - 77*o(l). Let n(k) = q(k) - 2*v(k). Is n(-8) a prime number?
True
Let x(p) = 62*p**2 + 20*p - 81. Is x(24) prime?
False
Let x(v) = 3*v**3 - v**2 - v + 1. Let q be x(2). Suppose q*r + 2638 = 21*r. Is r prime?
True
Let d(m) = 2*m**3 - 119*m + 13. Is d(22) prime?
True
Suppose 46*j - 4*j - 172662 = 0. Is j a prime number?
True
Is (1000564/(-246))/(4/(-6)) a prime number?
True
Suppose -5*o = -2*k + 5*k - 2502, 4201 = 5*k - 2*o. Is k a prime number?
True
Let q(o) = -56 + 2*o**3 - o - o + 49 - 5*o**2. Let s be q(-7). Let r = -383 - s. Is r composite?
False
Let f(u) = u**3 + 7*u**2 + 6*u - 13. Let i(z) = 5*z**3 + 35*z**2 + 31*z - 66. Let a(w) = 11*f(w) - 2*i(w). Let p be a(-8). Is 2 + (-2 - -2) - p composite?
False
Let q(j) = -38*j + 1. Suppose -x = 4*x. Suppose -y - 3 + 0 = x. Is q(y) a prime number?
False
Suppose -8*z - 13824 = -3712. Let d = 1943 - z. Is d prime?
False
Let m(q) = -3*q**2 - 2*q - 1. Suppose -2*n - w - 4 = -2*w, 5*n = -3*w + 1. Let v be m(n). Let f(u) = -93*u - 1. Is f(v) composite?
True
Let h = 12073 + -8106. Is h a composite number?
False
Let i(k) = 9*k**2 + 19*k + 2. Let n(a) = 9*a**2 + 20*a + 1. Let b(y) = 6*i(y) - 5*n(y). Is b(12) prime?
True
Let v be 4 - (6 + 1 + -2). Let z be 49/28 + v/(-4). Suppose -3*s = -z*s - 797. Is s prime?
True
Let q(x) = x**3 - 13*x**2 + 12*x + 12. Let i be q(12). Suppose -i - 242 = -2*o. Is o composite?
False
Let v = 3295 - 2044. Suppose 3*z = 2*j - v, -3*j + 1879 = -z - 3*z. Is j a prime number?
False
Let a(h) = h**3 + 8*h**2 - 11*h - 13. Let r be a(-9). Suppose -5*g = 2*z - z - 31, 0 = -r*g + 10. Is z composite?
True
Is 2/(-2)*(33 + -2810) a prime number?
True
Let c(w) = -8*w + 2. Let r be c(1). Let j(g) = 75*g**2 + 7*g + 9. Let s be j(r). Suppose -2*h + s = h. Is h a composite number?
True
Let z(g) = -172*g**3 - 38*g**2 - 3*g - 5. Is z(-6) composite?
False
Let h(i) = -4*i + 15. Let k be h(6). Let q = 15 + k. Is q a prime number?
False
Let u = -376 + 790. Suppose t + u = 2*x, 4*x - 1038 = -x + 4*t. Suppose -p + x = 15. Is p prime?
True
Suppose -11722 = -5*h - 4*d, -d - 7023 = -2*h - h. Is h a composite number?
True
Let r = -34 + 37. Is (6542/r)/(12/18) a prime number?
True
Let b(r) = -2*r + 1052. Let i(p) = p + 2. Let t be i(-2). Let a be b(t). Is a/20 + (-8)/(-20) a prime number?
True
Suppose 4*l + 22 = 10, 2*c = 2*l + 8818. Is c a prime number?
False
Let c(y) = -19*y + 8. Let f be c(-9). Let z = f - 345. Let t = -77 - z. Is t a composite number?
False
Let b = 34 + 118. Suppose -s + 91 = 3*d - 2*s, 5*d - b = 2*s. Is (-6)/d - (-4512)/10 a prime number?
False
Let m = -26510 + 94227. Is m a composite number?
True
Suppose 2*n - 4*p = -5*p + 36630, 2*n + 2*p - 36626 = 0. Is n a prime number?
False
Let r = -13 + 16. Suppose 0 = -r*u + v - 700, -3*v + 215 = -u + v. Let q = 362 + u. Is q prime?
True
Suppose 2*k - 12594 = -2*p, 0 = -12*k + 9*k + 4*p + 18905. Is k a composite number?
False
Suppose 0 = -4*o - 3*f + 15029, o + 2*f - 1843 = 1908. Is o a composite number?
False
Let p(h) = h - 4. Let q be p(8). Suppose -s - 4*w = -68, -2*w - 384 = -s - q*s. Is 14/(-8)*s*-1 prime?
False
Let p = 150 - 71. Let o = 3 + p. Is o composite?
True
Let l(s) = 442*s - 556. Is l(5) composite?
True
Let o = 114 - -12607. Is o a prime number?
True
Let t(c) = 10*c**2 + 2*c + 1. Let a = 0 + -6. Let o = a + 9. Is t(o) a composite number?
False
Is (-2)/(-14) - 17338/(-21)*3 composite?
False
Let k = -4018 + 9217. Is k a composite number?
True
Let y = 20 + -13. Suppose -2*z + y*z + 10 = 0. Is 24/z*-7 - 1 composite?
False
Let r(x) = x - 2. Let k be r(7). Suppose 0*a = u + 3*a + 3, -3*u = 5*a + k. Suppose -356 = -4*o + f + f, u = 5*o + 3*f - 445. Is o prime?
True
Suppose 0 = 4*p + 3*y - 69152, 4*y - 35484 - 50955 = -5*p. Is p prime?
True
Let x be 76/(-4) - (1 + 1). Suppose -5*o = 0, 0*j + 2*j - 556 = 3*o. Let w = j + x. Is w composite?
False
Let h(u) = -55*u - 60. Is h(-25) a prime number?
False
Let n(h) = 15015*h**2 + 30*h + 28. Is n(-1) composite?