ime number?
True
Let l = 77 + 294. Is l a prime number?
False
Let x = 11 - 16. Let y be -1 + -2 - x - -2. Suppose -2*u = -y - 38. Is u composite?
True
Let v(o) = 6*o + 8. Suppose 0 = a + 3*x + 7 + 2, 5*x = -5*a - 25. Let c(r) = 5*r + 7. Let i(w) = a*v(w) + 4*c(w). Is i(5) a prime number?
False
Suppose 0 = 2*t + t - 51. Suppose -11 = -o + t. Suppose d = 3*d - o. Is d a prime number?
False
Suppose 1 = 4*i - 83. Is 3/i - (-5472)/14 a prime number?
False
Let l be (21/(-4))/(3/8). Let s = l + -28. Let c = s + 79. Is c prime?
True
Let d(b) = 7*b - 1. Suppose -5 = -2*g - 3. Is d(g) a prime number?
False
Suppose a - 319 = -0*a. Is a a composite number?
True
Let k = -136 + 196. Let n = -3 + k. Is n a prime number?
False
Let f(z) = 5*z**2 - 4*z - 3. Let x(p) = -2*p + 2. Let s be x(2). Is f(s) composite?
True
Let f(p) = p**3 + 6*p**2 - 1. Let c be f(-4). Suppose 3*s + 6 = 0, 20 = 3*d + 3*s - c. Is d a prime number?
True
Let s = -928 + 2471. Is s prime?
True
Let k(q) be the first derivative of -q**4/4 - 5*q - 4. Is k(-4) prime?
True
Suppose 4*t = -3*d + 3211, -2*d - 4*t + 1333 + 809 = 0. Is d prime?
True
Let z = 126 - 27. Suppose -5*g + z = -2*g + 4*w, -4*g = -3*w - 132. Is g composite?
True
Suppose -26549 = -6*w + 15637. Is w a prime number?
False
Suppose 5*v = -4*p + 32, 3*p = -v + 16 + 8. Is (-44)/p*(-3 - -1) composite?
False
Suppose 1 = -2*k - 27. Let u be -1*1 + k/(-2). Suppose u*w - 60 = 2*w. Is w a composite number?
True
Let w be -273 + 6 - (1 - 1). Let v = -190 - w. Is v prime?
False
Let b(h) be the third derivative of -1/6*h**3 + 1/20*h**5 - 2*h**2 + 0 + 0*h + 1/12*h**4. Is b(2) prime?
False
Suppose 2*k + 2*k = 24. Let m(d) = -d**2 + 7*d + 4. Is m(k) a composite number?
True
Let v = -12 + 22. Suppose 4 = -x - 0*f - 2*f, 0 = x - 5*f - v. Suppose -10 = -b - x. Is b prime?
False
Let o = 2 - 1. Suppose -o = -5*v + 34. Is v prime?
True
Let z be (4 - -9) + (-2)/(-2). Suppose 0 = q + 1, -3*r + 2*q + 2*q = z. Is 4/r + (-485)/(-3) composite?
True
Let h = -5 - -8. Suppose b = 85 - h. Let d = 169 - b. Is d composite?
True
Suppose -3*u - 6860 = -4*y, -2*y - 1715 = -3*y + 3*u. Let n = -1150 + y. Is n prime?
False
Let z = 11 - 14. Is (15/2)/(z/(-6)) prime?
False
Is (1 - -5)*10/6 a composite number?
True
Let o(j) = 2*j**2 + 13*j - 14. Suppose 4*u + 14 = -30. Is o(u) a prime number?
False
Let r be 91*(1 + 2 - 2). Let b = r + -65. Let l = 237 - b. Is l a composite number?
False
Let y be (-6 + 3)/(6/8). Is (-3714)/(-26) + y/(-26) prime?
False
Let c(w) be the second derivative of 5*w**4/12 - 2*w**3/3 + w**2 - 3*w. Let m be c(-4). Suppose 50 + m = 4*s. Is s prime?
True
Let q = -52 - -88. Let d = q + 17. Is d composite?
False
Let t(s) = 4*s**2 + 5*s - 5. Let p be t(-5). Let r(x) = -x**3 - 8*x**2 - x - 6. Let h be r(-8). Suppose h*o + 0*o = p. Is o composite?
True
Let r be 6/(-9) - 12/(-18). Suppose -4*f + 4*i + 572 = 44, f + 4*i - 127 = r. Is f composite?
False
Let w(q) = q - 2. Let m be w(6). Is -1 + 1 - (-47 + m) a prime number?
True
Suppose l + l = 178. Suppose 4*j - g - 312 = 0, j + 3*g + l = 2*j. Is j composite?
True
Is (-9775)/(-7) + (-8)/(-28)*2 prime?
False
Is ((-16)/24)/((-2)/57) a composite number?
False
Suppose -2*c + c + m = 25, -c = 3*m + 17. Let t be 2/(90/44 - 2). Let u = c + t. Is u composite?
True
Let i(c) be the first derivative of -c**3/3 - 4*c**2 - 2*c + 3. Let w be i(-7). Suppose 2*u = -2*v + w*u + 106, -v + 53 = 5*u. Is v prime?
True
Suppose -1193 = -7*l + 1145. Is l composite?
True
Let v = 4 + 2. Is v/(-1 + -2) + 36 prime?
False
Let i = 19 - -108. Is i a composite number?
False
Let c = 728 + -414. Is c prime?
False
Suppose 24*c = 15*c + 15057. Is c a composite number?
True
Let v = -96 + -28. Let l = 202 + v. Suppose -4*b - 15 = -d - 4, 4*d + b = l. Is d composite?
False
Let n = 459 + -64. Is n a prime number?
False
Let p = -141 + 233. Let b(f) = 7*f**2 - 2*f + 1. Let d be b(6). Let x = d - p. Is x a composite number?
False
Let k be (6/(-2))/(-3)*7. Suppose -4*r + k*r = 0. Suppose r*t - 76 = -4*t. Is t prime?
True
Let c(p) = -p**3 - 3*p**2 - 27*p + 12. Is c(-13) a composite number?
False
Is (13/39)/((-1315)/(-657) - 2) a composite number?
True
Let s(i) = 94*i + 5. Let j be s(4). Let g = j + -10. Is g a composite number?
True
Let x be ((-12)/(-18))/((-1)/(-3)). Let j = -1 + x. Suppose -y = -j, c - y - 50 = 2*y. Is c composite?
False
Let a = 4 - 4. Suppose a = b - 2*b + 14. Is b a prime number?
False
Let b(v) = -v**2 + 7*v. Let w be b(7). Is (w - (-5 - -4))*515 composite?
True
Let k be (-1)/(-4) - (-50)/(-8). Let m(j) = -23*j + 5. Let z be m(k). Suppose -5*v + 202 + z = 0. Is v composite?
True
Let h = 1 - -2. Let y(q) = -q**2 + 5*q + 6. Let v be y(6). Let n = v + h. Is n prime?
True
Let y = -62 + 203. Is y prime?
False
Let y = 4 - 2. Suppose 4*z - 2 = y*z, 2*c - 160 = 4*z. Is c composite?
True
Let w = 393 - -344. Is w prime?
False
Suppose -5*u = 2*f - 7*u - 7226, 0 = u. Is f a composite number?
False
Suppose 2*d - 8*d - 546 = 0. Let a = d - -170. Is a a composite number?
False
Suppose -r + 340 + 7 = 0. Is r a composite number?
False
Let i = 182 + -123. Is i a composite number?
False
Let c = -6 - -9. Suppose 3*q - 3*a - 119 + 17 = 0, c*q = -2*a + 127. Is q composite?
True
Let y = -422 - -2092. Suppose 4*x + x = y. Is x prime?
False
Suppose 522 = -4*a + 2518. Is a prime?
True
Let l = 2072 + -1319. Is l composite?
True
Suppose -2*v = 3*v. Let j(s) = -s**3 - 5*s**2 - s - 2. Let p be j(-5). Suppose 4*b - 4*t = -v*b + 4, -p*t + 33 = 3*b. Is b a prime number?
False
Suppose 5*k - 2*a - 780 = 3*a, 2*a + 156 = k. Suppose -3*t + 433 = 4*i, t - 3*i = k - 16. Is t a composite number?
True
Let i be (-4 + 3)*-6 + -3. Suppose 5*w - a - 823 = -0*a, -5*w + 819 = -i*a. Suppose 0 = -3*y - 0*y + w. Is y composite?
True
Suppose 73*p + 10713 = 76*p. Is p a composite number?
False
Let a(k) = -3*k - 6. Let o be a(-7). Suppose 2*f = -f + o. Suppose -3*q - s - 23 = -f*q, -2*q = 3*s - 19. Is q composite?
False
Let p(o) = 23*o**3 + 11*o**2 + 8*o + 3. Let h be p(-7). Is h/(-5) + 2/5 a prime number?
True
Let k be 4/14 - 69/21. Is (30 - 2) + (-9)/k composite?
False
Suppose 0 = -l + w + 7, 2*l - 5 = -0*l - w. Suppose 0 = 3*c + 2*y - y - 632, -l*y - 4 = 0. Is c a prime number?
True
Let h(d) = 36*d - 3. Let f be h(3). Suppose -2*x - 5*v + 42 = -0*x, -5*x + 4*v + f = 0. Is x a composite number?
True
Suppose 10*q + 9*q - 3971 = 0. Is q prime?
False
Is (-2)/(-7) - ((-40736)/14 + -3) a prime number?
False
Suppose 0*a = -2*a + 62. Suppose -179 + a = -4*f. Is f prime?
True
Suppose 0 = 2*c - 9 - 15. Suppose 2*r = -r - c. Is r/(-22) + 1545/33 composite?
False
Is 320 - (4 + (0 - (-6)/(-2))) a composite number?
True
Let m = 260 + 33. Is m prime?
True
Is ((-258)/(-2))/((-3)/(-2)) composite?
True
Suppose -13794 = -4*m + b, -2*m + 5*m + 4*b = 10355. Is m composite?
False
Let g(u) = u. Let b be g(14). Let i(a) = a**2 + 3*a + 15. Is i(b) prime?
False
Suppose -3*a = -5*a + 4. Suppose -a*w - 574 = -4*w. Is w composite?
True
Suppose 0 = -5*n + 5*s + 5795, -2*n + 3*s = 7*s - 2306. Is n composite?
True
Let n(u) = -10*u + 17. Is n(-11) prime?
True
Is -87*68/(-24)*2 composite?
True
Suppose 2*z - 1680 = -4*y, 4*y + 3179 - 629 = 3*z. Is 3/(-6) + z/4 a composite number?
False
Suppose k - 3716 = -5*v, -4*k = -2*v + 702 + 780. Is v a composite number?
False
Let f = -8 + 11. Suppose f*u + 2*u = -530. Let g = u - -197. Is g a prime number?
False
Let k(a) = 3*a + 11. Let y be k(-8). Let h = y - -35. Is h a prime number?
False
Let z = 484 - 38. Is z composite?
True
Let g(w) = -11*w**3 - w**2 - 2*w - 1. Let p(b) = -b**3 - 2*b**2 - b. Let k be p(-2). Let c be (-8 + -1)/3 + k. Is g(c) a prime number?
True
Suppose 2*q - 4 = 2*g + 2, 5 = 5*g. Let z be q/(-14) - (-275)/7. Let p = 12 + z. Is p composite?
True
Let x = 837 + -24. Is x prime?
False
Let n = -28 + 22. Let k be 8/(-12) + 26/3. Let l = k + n. Is l a prime number?
True
Suppose -2 = 4*x - 2*x, -5*x - 536 = -3*d. Is d prime?
False
Suppose -3*t - 104 = -4*h, 3*h - h + 2*t = 52. Is h composite?
True
Let f(h) = -3*h**2 - 2*h + 2. Let t be f(5). Let g be (t/4)/((-2)/8). Suppose 5*c - 92 - g = 0. Is c prime?
False
Let d = 11 + -8. Suppose d*k - 21 - 36 = 0. Let n = k - 10. Is n prime?
False
Let k = -18 + 571. Is k composite?
True
Let f = -2800 + 5501. Is f prime