t l = -5005 - -12622. Is l composite?
True
Let q be (1/(1/(-4)))/1. Let w be ((-12)/q)/((-1)/(-7)). Is 1905/w + 8/28 a prime number?
False
Let u = 5999 + -676. Is u prime?
True
Suppose 2*s = -0*s + 66. Let j = -22 + s. Let l = j - -38. Is l a prime number?
False
Let l = -67 + 271. Suppose 0 = 4*f + 5*u + l - 820, 3*f - 4*u - 493 = 0. Is f composite?
True
Let m(z) be the first derivative of -1/3*z**3 + 1115*z - 2 - 1/2*z**2 - 1/4*z**4. Is m(0) prime?
False
Let x = -37 + 40. Suppose 3*y - 4766 = -4*v + 6*y, 3*y + 3573 = x*v. Is v prime?
True
Let u = 3588 - -730. Is u/6 + (-20)/30 a composite number?
False
Let c be 1/(-3) + (-6)/(-18). Suppose 0 = 2*q - 4 - c. Let m(x) = 101*x + 1. Is m(q) a prime number?
False
Suppose -3*t - t = -16. Suppose 6459 = t*k + 1903. Is k a prime number?
False
Suppose 0 = 2*n + z - 4835, -3*z - 2*z = 15. Is n a prime number?
False
Let n(p) = 19*p - 9. Let g(o) = -1. Let l(a) = -3*g(a) - n(a). Suppose 5*c = -26 - 9. Is l(c) prime?
False
Let w be 1*-2*(-3)/(-3). Let q be 9266/16 - w/(-16). Suppose -4*y + 2*v = -199 - 947, -2*y - 5*v + q = 0. Is y a prime number?
False
Let m(r) = -6*r**3 - 3*r**2 + 2. Let o be m(-1). Let b(y) = y**3 - 5*y**2 - 6*y. Let a be b(o). Is (-5424)/a + 2/10 prime?
True
Let q(a) = -a**3 - a - 1498. Let x be q(0). Suppose -4*f = u + 893, 5*u = 4*f - 5415 + 998. Let k = u - x. Is k a prime number?
True
Let a(s) = -80*s**3 - s**2 + s + 1. Let t be a(-1). Let m = t - -16. Suppose 2*g + 3*w - m = 0, -w = -5*w + 4. Is g a composite number?
True
Is (((-4)/6)/1)/(6/(-71271)) composite?
False
Let s(i) = -3 - 12*i - 5 - 6*i - i - 2*i**2. Is s(-6) prime?
False
Let m = 30569 + 9830. Is m a prime number?
False
Let o be 72/20*(-3)/(9/(-5)). Suppose o*w = 4*w + 1934. Is w a composite number?
False
Let i(b) be the third derivative of b**6/120 + 17*b**5/30 - 7*b**4/24 + 9*b**3/2 - 44*b**2. Is i(-31) composite?
True
Let a(o) be the first derivative of o**2/2 + 4. Let x be a(5). Suppose -2228 = -x*i + i. Is i a prime number?
True
Suppose j - 17 = 4*m, -4*j - 40 = -9*j + 5*m. Suppose 2*s - 20 = -2*b, j*s = -3*b + 23 + 17. Suppose -92 = 5*w + b*h - 962, 3*h = 2*w - 323. Is w composite?
True
Suppose -344 = t - 5*t. Is t/(((-12)/(-13))/6) prime?
False
Suppose -21*u - 892139 = -80*u. Is u composite?
False
Suppose -2*v - 53 = -57, -5*y + 3*v = -128429. Is y a composite number?
True
Is (-2)/(-9) - (1673236/(-36) - 12) a prime number?
False
Let s = 398 - 91. Let j = s - 158. Is j prime?
True
Suppose 2*c - 5206 = -m, -7*c + 10*c + 3*m - 7809 = 0. Is c a prime number?
False
Let c = -11 + 14. Let u(d) = 0 + 28*d - 2 + c - 11*d. Is u(2) a prime number?
False
Let g be -5 + 1 + (-90)/5. Is 4/g + (-6969)/(-33) a prime number?
True
Let t be 2/9 + (-56864)/(-72). Is ((-12)/10)/((-4)/t) prime?
False
Suppose 0 = -0*v + 3*v - 3. Suppose -j + v = -4, 5*j - 87 = -2*w. Is w composite?
False
Let b(w) = 2*w - 8*w - 15 - 18*w - 12*w. Is b(-6) a prime number?
False
Let d = -279 + -1820. Let w = d - -3010. Is w a composite number?
False
Suppose -32*h + 4477 = -26851. Is h a composite number?
True
Suppose o = 5*y - 925, y = -3*o + 1633 - 4344. Let m = o - -1686. Is m a composite number?
True
Let b be (-12)/((-189)/66 - -3). Let f = b - -168. Let u = 163 - f. Is u a composite number?
False
Let g be 8 + ((-90)/3)/6. Suppose 2*f + g*m = -208 + 1164, 1928 = 4*f - 2*m. Is f a prime number?
False
Let p(i) = 245*i**2 - 2*i + 2. Let l be p(-3). Suppose l = 4*k - 9375. Is k a prime number?
True
Let n = 3439 - -1998. Is n prime?
True
Suppose 5*z = -4*k + 1116, 2*z + 1084 = 4*k - z. Suppose 5*y - k = 501. Is y a prime number?
False
Let d = 120 + -23. Suppose -d*k = -93*k - 632. Is k prime?
False
Let z(f) = 209*f**2 - 21*f + 149. Is z(7) a prime number?
True
Suppose -26249 = 11*q - 15*q + m, 4*q - 26267 = -5*m. Is q composite?
False
Suppose -2*y + 273 = w, -3*y + 3*w = y - 561. Suppose i = 4*i - y. Is i composite?
True
Let x = 17 - 17. Let r be (3 - x)/(-3) - -6. Suppose 70 = -r*y + 305. Is y prime?
True
Suppose -5*a + 679 = 4*p - 8485, 0 = p - a - 2291. Is p composite?
True
Is -1 + (12 + 0)/((-18)/(-9444)) a prime number?
False
Suppose 3*i = 4*d + 15 + 25, -i + 11 = d. Let x = i - 13. Let h(p) = -371*p. Is h(x) a prime number?
False
Let u be 4*(-4)/(-16)*-9. Let l = 5 - 1. Is 18 + u/(-3) + l a composite number?
True
Let n be ((-284)/6)/((-2)/(-6)). Let q = 18 - n. Is q - (1 + -1) - 3 a composite number?
False
Let k = 0 + -7. Let h(v) = v**3 + 5*v**2 - 8*v + 5. Let y be h(k). Let t = y + 120. Is t a prime number?
True
Let g(f) = 9*f**2 - f - 13. Let u be g(9). Suppose -u = -4*t - v, -3*t + 628 = 5*v + 119. Is t prime?
False
Suppose -b - 3419 = -4*r, 5*b + 8 = -7. Suppose -r - 1511 = -5*v. Is v a prime number?
False
Let h(s) be the first derivative of 242*s**2 + 13*s + 1. Is h(3) composite?
True
Suppose -r = 1, 2*r = -3*x + 6*x - 1259. Is x a prime number?
True
Let y(f) = -f - 5. Let k be y(-7). Let t be (k/3)/(2/12). Suppose t*p - 166 = 838. Is p a composite number?
False
Let m(p) = p**3 - 2*p**2 - 5*p + 3. Let h(v) = 2*v**3 - 2*v**2 - 5*v + 2. Let b(j) = -2*h(j) + 3*m(j). Is b(-6) a prime number?
True
Suppose 3*k = -14 + 50. Let m(p) = -p**3 + 19*p**2 + p - 19. Let g be m(19). Suppose k*b - 17*b + 285 = g. Is b prime?
False
Let h = 623 + 2680. Is (h/12)/(4 + (-87)/24) a composite number?
True
Let u(f) = 4*f**2 - 1. Let y be u(-1). Let b = -5 + y. Is 3/b*(-340)/6 a composite number?
True
Suppose 2*y - 2150 = -4*v, -3*y - 7 = -22. Is v a composite number?
True
Let m = 45 + 3. Let w = 915 - 910. Suppose -m = -w*z + 47. Is z a composite number?
False
Suppose -4 = 4*m + p, 0 = 5*m + p - 5*p + 26. Is (2/((-4)/115) + 2)*m a composite number?
True
Suppose -5*k + 0*r = 3*r - 35032, -k + 7008 = r. Let m = k + -3851. Is m a prime number?
False
Is (-37 - -74)/((5/2)/5) composite?
True
Let x be 20/15 - 1*(-11)/3. Suppose 3*u + 4*m - 5187 - 3132 = 0, -x*m = -4*u + 11123. Is u composite?
False
Suppose -w + 5*c + 4992 = 0, 0 = -4*w + 5*c + 26413 - 6460. Is w prime?
True
Let y(j) = -56*j**2 - 2*j - 2. Let f be y(-2). Let i = 505 + -854. Let s = f - i. Is s prime?
True
Let y = -12962 - -64269. Is y composite?
False
Suppose -d + 4*w = 9, d + d + 4*w - 30 = 0. Suppose -h + 8536 = d*h. Is h a prime number?
False
Suppose -4 = 3*y + 2*l + 3*l, 0 = -5*y - 4*l + 2. Let q(f) = 2 - 9*f**2 + 4*f + 0 + 11*f**2 - y*f. Is q(-4) a prime number?
False
Let h(y) = -2*y**3 + 27*y**2 + 9*y - 7. Is h(-12) composite?
False
Suppose -r - 4*r = -1600. Let i = 623 + r. Let q = 1808 - i. Is q composite?
True
Suppose 14*d = 15*d - 2049. Suppose t - 1156 - d = 0. Is t prime?
False
Suppose 142 = 2*w - l, 4*w - 184 - 100 = -3*l. Let n = w + -152. Let x = -28 - n. Is x a prime number?
True
Let w(u) = -u**3 - 5*u**2 - 7*u - 8. Let i be w(-4). Suppose -1783 = -i*q + 909. Is q prime?
True
Let z be (-2)/(-4) - 3/(-2). Let x(t) = t**2 - t. Let s(u) = u**2 - 8*u - 15. Let v(i) = z*x(i) - s(i). Is v(-10) prime?
False
Let u(l) = 6*l**3 + 6*l**2 + 22*l - 8. Let v(o) = o**3 + 30*o**2 - 2*o - 53. Let i be v(-30). Is u(i) a composite number?
True
Suppose 5*z - x = 35, 14 - 49 = -5*z - 5*x. Suppose 4*r - z*r = -15. Suppose 0 = 5*c - r*b - 5160, 5*c - 3*b - 5150 = -8*b. Is c prime?
True
Suppose 13*t - 18532 = 12*t - 3*b, 2*b = -3*t + 55589. Is t composite?
True
Let z = 11 - 9. Let t(k) = -42*k + z - 7 + 32*k. Is t(-9) a composite number?
True
Let r(a) = 126*a**2 + 24*a**2 - 9 + 127*a**2 + 11*a. Is r(4) a prime number?
False
Let g(m) be the first derivative of 1/2*m**2 - m + 4. Is g(11) a prime number?
False
Let k be (8*(-4)/(-64))/(1/2). Let t(x) = 854*x**2 - 4*x + 1. Is t(k) prime?
False
Let s = -6 + 9. Suppose 0 = 3*m + s, -60 = -2*f + 3*m + 253. Suppose -k + f = -184. Is k prime?
False
Let z(v) = -383*v - 1079. Is z(-56) composite?
False
Suppose -9*z = -5*m - 14*z + 109950, -4*m - 3*z = -87959. Is m composite?
True
Suppose 0 = 2*l + 2*l. Is (92 + l)*(-7)/(-4) a prime number?
False
Suppose 4*z - n = 4*n + 19, 2*z - 3*n - 11 = 0. Let c(t) = 109*t**2 + t. Let y be c(z). Is (-3)/3 + 4 + y prime?
True
Let x(v) = -v**3 + 11*v**2 + 24*v - 5. Let r be x(12). Let n = 354 + r. Is n a prime number?
False
Let t = -50 + 54. Is (-1)/(t + (-30039)/7509) a prime number?
True
Suppose 23 = 5*m + 3. Is 3/(1430/(-358) + m) compo