 z a composite number?
False
Let v(w) = 14942*w - 8381. Is v(6) prime?
False
Let o = -4144 - -13698. Suppose -s + 5*s + o = 2*q, -5*q = -5*s - 23905. Suppose -3*c = -q + 1056. Is c prime?
False
Is 17 + (-8140)/484 + (-33438)/(-11) + -1 composite?
True
Let l(c) = -8*c**3 + 2*c**2 + 3*c + 2. Let j be l(-1). Is ((-669)/j)/(1 - 8/6) composite?
False
Suppose 30 = -3*s - 3*z, -5*s - 3*z = -4*s + 12. Let b be 1382*3/(-18)*s. Let j = b - 814. Is j a composite number?
False
Suppose 5*d - 4*q - 7158 = 110831, 2*d - 3*q = 47204. Is d a prime number?
True
Let n(k) = -16*k + 35. Suppose 2*o + 2*o - 364 = 4*i, 0 = -3*o + 2*i + 277. Let t = o + -106. Is n(t) composite?
False
Is 4/6*(-705)/(-10)*(4 + 123) a prime number?
False
Suppose -37*q = -16 - 58. Let v(c) = 2*c**3 - 2 - 2*c**3 + 3*c**3 - 2*c**2 + 4*c. Is v(q) composite?
True
Suppose -l + 14*l = 5*u + 1696304, 4*u + 20 = 0. Is l a composite number?
False
Suppose 148*z - 152*z = 16, 0 = 2*w + 5*z - 6846. Is w composite?
False
Suppose 5*l - 5*y = 328 + 7, -3*l = 3*y - 201. Suppose -2*d - 3*f - l = -4*f, -3*d - 101 = -f. Let x = d - -683. Is x prime?
False
Let p(y) be the third derivative of y**5/20 + 7*y**4/12 - 31*y**3/6 - 8*y**2. Suppose 10 = 5*f, 3*l - 2*f + 7 = -39. Is p(l) a prime number?
False
Let m(o) = 1198*o**3 + 5*o**2 + 19*o - 5. Is m(7) composite?
False
Suppose 8*j - 40 = 4*j. Suppose -62*r - j = -64*r. Suppose -r*c = 2*y - 1335, -692 - 393 = -4*c - 5*y. Is c a composite number?
True
Let r(g) = 2*g + 5. Suppose x - 2 = -6. Let q be r(x). Let u(d) = 239*d**2 + 4*d + 10. Is u(q) composite?
True
Let j(m) = 3414*m**2 - 3*m - 4. Let w(n) = 2*n**2 + 33*n + 15. Let p be w(-16). Is j(p) prime?
True
Let y(c) = 424*c + 13. Let v be 2/6*54/3. Is y(v) a prime number?
True
Suppose -222 = 107*y - 113*y. Let p = 63 + -113. Let f = y - p. Is f prime?
False
Suppose 3*g + 349834 = -6*a + 11*a, 3*g - 21 = 0. Is a a composite number?
True
Let y = 2724 - 1204. Let q = y + 2273. Is q a composite number?
False
Let k = -462 - -417. Is (-5)/((k/(-10566))/(-1)) a composite number?
True
Let j(v) be the first derivative of 49*v**3/3 + 3*v**2 - 2*v - 1361. Let z(h) = h**3 + 7*h**2 + 6*h - 5. Let n be z(-6). Is j(n) prime?
True
Let r = 37 - 27. Suppose r*k - 5*k + 7355 = 0. Let s = k + 2292. Is s a composite number?
False
Suppose 0 = -7*c - 2*c + 7*c + 394990. Is c a composite number?
True
Let f = 3 - 4. Let y be ((-45)/(-6) + f)*(1 + 1). Is 585/y - (-2)/2 composite?
True
Let c be 0 + 6*-4*5/(-40). Suppose -4*z = -o - 8552, -c*o - 5802 = -4*z + 2750. Is z prime?
False
Let f(t) = t**2 + t + 1. Let y be (6/(-9))/(14/(-6) - -3). Let q(m) = -542*m**2 + 2*m + 7. Let v(j) = y*q(j) + 3*f(j). Is v(-2) composite?
True
Let b = 875 - -130. Suppose -o + 511 = -5*a, -2*o = 4*a - b - 45. Is o composite?
False
Suppose 3*a + 8 - 20 = -4*c, 3*a - 2*c = -6. Suppose 14*d + 161 - 12607 = a. Is d composite?
True
Is (-1)/((-2)/(-16)) + 43057383/1077 a prime number?
True
Suppose -u - 5*p + 98 = 1030, 0 = -5*u + 3*p - 4604. Let v = 3399 - u. Is v a prime number?
False
Let x(v) be the third derivative of 53*v**4/12 + 25*v**3/6 + 26*v**2 - 2*v. Is x(2) composite?
True
Suppose v - 101824 = -o, 203557 = -5*v - 3*o + 712667. Is v a prime number?
False
Suppose -227 = 10*d + 1123. Let c = -1239 - -1819. Let n = c + d. Is n a prime number?
False
Suppose -251691 = -4*l + 33*l. Let n = l - -19318. Is n a composite number?
False
Let g be (-3280)/12 - 5 - 8/12. Is (-2 - (-32)/18) + (-1801007)/g a prime number?
False
Let r(h) = h**3 + 9*h**2 - h - 7. Let a be r(-9). Suppose 4*u - 86828 = -a*f, -3993 = -u - 2*f + 17708. Is u a prime number?
False
Suppose 0 = -4*u - a + 6752, 0 = 2*a - 0*a. Suppose 0 = 3*s - 3*f - 1668, -2*f + 3*f - u = -3*s. Suppose 4*j - 3157 = -s. Is j composite?
True
Is ((-625543)/5)/(5/(-25)) a composite number?
False
Is 6 + 1144/(-195) - (-34183)/15 a prime number?
False
Let a(y) = 139*y - 9. Suppose -8 = -4*t + 4*c, 2*c = 5*t + 6*c - 46. Let p be a(t). Let j = p - 434. Is j a composite number?
True
Is (0 - -8)/(3384/708491583) prime?
False
Suppose -m + 8151 = 2*m. Suppose 4*c + i - m = 0, 3*i = -4*c - 0*i + 2711. Let b = c + -129. Is b composite?
True
Let m(u) = -1481*u - 2073. Is m(-26) a prime number?
True
Let g = 25 - 32. Is -1 - -2520 - 14/g a composite number?
False
Let h(z) be the third derivative of -51*z**6/5 - z**4/24 - z**3/6 + 10*z**2 + 4. Is h(-2) prime?
False
Let a(n) be the third derivative of n**6/120 - n**5/30 + n**3 + 3*n**2. Let h be a(0). Suppose 0 = 4*i - h*i + 662. Is i a composite number?
False
Suppose -5201 = 61*x - 1032624. Is x composite?
False
Let i = 124560 + -68549. Is i composite?
True
Let w(f) = -906*f. Let z be w(-2). Suppose d + z = -4*h, 2*h - 1796 = 6*h - 3*d. Let k = h + 759. Is k a prime number?
True
Is ((-171778)/(1*(-2 - -4)))/(1/(-3)) composite?
True
Suppose -2*p + 3*a = -100822, 5*a + 151233 = 81*p - 78*p. Is p prime?
True
Let d = -131 - -116. Let g(k) = 99*k - 19. Let c be g(d). Let h = 2175 + c. Is h prime?
False
Suppose -48*f + 2462152 + 655496 = 0. Is f composite?
False
Let q(m) = m**2 - 17. Let g be q(-3). Let x(v) = 724*v**2 + 12*v + 3. Is x(g) composite?
True
Let w = 1015 + 582. Suppose -10485 = -4*q - r - w, 4*q + 3*r - 8896 = 0. Is q a prime number?
True
Suppose -3*g - 892319 = -4*n, 0 = 872*n - 877*n - 5*g + 1115460. Is n a composite number?
True
Let g be -2 - (-15160)/11 - (-26)/(-143). Let i = g - 315. Is i a composite number?
False
Let a(d) = -57*d - 10. Let t(s) = 28*s + 5. Let q(f) = -3*a(f) - 7*t(f). Let z be q(-1). Suppose 3*x = 3*i - 422 - 28, 0 = 4*x - z. Is i prime?
False
Is ((-153)/9 + 11)*(1 - 83655/6) a composite number?
True
Let u be 1 + 3 + 63 + -3. Let w = u - -63. Suppose -7*s = -8*s + w. Is s a prime number?
True
Suppose -4*y + 2*j + 24 = 0, 2*y + 0*y - 28 = 5*j. Suppose -y*z + 7*w = 4*w - 57071, z = 2*w + 14269. Is z a composite number?
True
Let u be ((-20)/15 - -2)/((-4)/(-42)). Suppose -x = -2*x + u. Suppose 0 = -x*i + 3*i + 1196. Is i a composite number?
True
Let b(w) = -w**2 - 8*w + 16. Let t be b(-10). Let k be (-6*24/45)/(t/10). Suppose 8826 = k*n - 2*n. Is n composite?
False
Let g(i) = -16*i**3 - 5*i + 18. Let k(c) = 2*c**2 - c + 1. Let u(z) = -g(z) + 2*k(z). Is u(5) composite?
False
Suppose -5*u - 742062 = -7*u + l, 3*u - 1113111 = -3*l. Is u composite?
True
Let z = 365594 - 156643. Is z a composite number?
True
Let w(r) = 5*r**2 + 33*r + 37. Suppose -238 = 6*t + 8*t. Is w(t) a prime number?
False
Let o = 1 - 1. Let j be 18/2 - 7 - -10. Suppose o = 6*a - j*a + 3318. Is a composite?
True
Let f = 24 - 18. Suppose f*k = 5*k + 5569. Is k a composite number?
False
Suppose -16467 = 1584*m - 1585*m - x, 0 = 4*m - 3*x - 65840. Is m a composite number?
True
Let f = 28883 + -1704. Is f composite?
False
Let z(u) = 92*u**2 + 13*u - 91. Is z(-18) a prime number?
True
Is -4*(-1350770)/(-40)*-1 a prime number?
True
Let c = -85 + 87. Suppose -4*v = k - 9563, -c*k + 5*v + 19146 = 3*v. Is k composite?
True
Let k(w) be the third derivative of 27*w**4/4 + 113*w**3/6 - 97*w**2. Is k(38) a composite number?
False
Let f(u) = -20432*u + 5. Let l be f(2). Is l/(-26) - 1/2 a composite number?
False
Suppose 2*v = -4*w + 478838, -2*w + 997*v = 1001*v - 239398. Is w prime?
False
Let w(i) = 5*i**3 - 126*i**2 - 6*i + 207. Is w(58) a prime number?
False
Let t(m) = -4*m**2 + 4*m + 3. Let o be t(-3). Let x = o - -51. Is x/2 - (6 + -522) a composite number?
True
Let o(v) = 5*v**3 + 4*v**2 + 13*v - 16. Let a be o(1). Let x(r) = -72*r + 20. Let n(t) = 144*t - 41. Let j(z) = 3*n(z) + 5*x(z). Is j(a) a composite number?
False
Suppose 2*y = 6*y - 28. Suppose -5*q - y*q = -12132. Is q prime?
False
Let i be -3*(-2)/12*(7 - -13). Suppose -173498 = -i*o - 16*o. Is o composite?
False
Is (46/(-4))/(-6*3/24876) a composite number?
True
Suppose 225*r = -357*r + 806095 + 42425447. Is r a composite number?
True
Suppose 2*f - 2*r + 17179 = 5643, 5*f = -5*r - 28880. Let b = -3067 - f. Is b a composite number?
True
Suppose -18*q - 16 = 2. Is (-5 + -8054)*(q + 0) a prime number?
True
Suppose 31*p + 2917868 = 107*p. Is p prime?
True
Suppose -3*h = 2*v - 82699, 2*h + 161410 - 37368 = 3*v. Is v + 6/18*15 a composite number?
True
Let l(v) = v + 2. Let j be l(6). Let y = -5 + j. Suppose -176 = -5*o + y*f, o - 3*o - 