 0 = 3*t + 9. Is s a prime number?
True
Let w(s) = -2*s - 13. Let r be w(-9). Suppose 0 = r*p - 3*p - 326. Is p a composite number?
False
Let v be (-2)/(36/(-682294)) + 140/(-630). Is (v/(-20))/(-7) - (-1)/4 a composite number?
False
Let u = 8 + -8. Suppose u = 4*j - 130 - 74. Let f = j + 416. Is f a prime number?
True
Suppose 2 + 8 = -2*y, 0 = -3*q - 4*y - 14. Suppose q*c + 5*o = 3202, -2870 - 3514 = -4*c - 5*o. Is c a composite number?
True
Suppose -16025 = -25*n + 200. Is n composite?
True
Let d be (-82)/4*-67*2. Suppose -665 - d = -2*m. Is m a composite number?
True
Let m(t) = -t**3 - t + 2. Let w be m(0). Let a(f) = -f**3 - 4 - 3*f**w + 11*f**2 + 15*f - 2 - 5*f. Is a(8) composite?
True
Let y(q) = 15*q**3 - 8*q**2 - 2*q - 13. Is y(6) a composite number?
False
Let n(h) = 28*h**3 + 2*h**2 - 2*h + 1. Let l be n(1). Let b = l + -8. Is b a prime number?
False
Let g = -1126 - -4057. Is g composite?
True
Let i(o) = -2*o + 1. Let b be i(0). Is 523 - (-2 + b)*-2 composite?
False
Let m be ((-6)/(-4))/(6/184). Suppose -5*g - 31 = -6, -3*q - 3*g = 0. Suppose q*z = u - 37 - m, -4*u + 332 = z. Is u prime?
True
Let q = -105 + 114. Let b(d) = d**3 - 6*d**2 - 2*d + 4. Let u(l) = l**3 - 6*l**2 - l + 4. Let w(h) = 3*b(h) - 2*u(h). Is w(q) a composite number?
False
Let w(g) = -g**2 + 6*g - 3. Let j be w(2). Let q = 14 - j. Suppose -q = -4*t + 931. Is t composite?
True
Let t(i) be the second derivative of 2*i**4 - 4*i. Let y be t(-1). Suppose 2*h - 2 = -l, -2*h + 3*l + y - 6 = 0. Is h composite?
False
Let n(f) = f**2 + 8*f + 11. Let c be n(-7). Suppose 5*z - 737 = -4*k, c*z + 4 = 3*k + 606. Is z composite?
False
Suppose -j - 14 = -2*c, 0 = 5*c - 6*j + 4*j - 37. Suppose 0 = -2*n - p - 1 + c, -n + 2*p - 6 = 0. Suppose d - n*d = -145. Is d composite?
True
Let p(t) = 19*t**2 + 22*t + 107. Is p(24) prime?
True
Is 16555 + 4*(-3 - -1) a composite number?
False
Suppose -8 = -2*h + 6. Let n(g) = g**2 - 4*g + 3. Let l be n(h). Let d = l - -133. Is d a prime number?
True
Let m be 0*((-9)/12)/(12/(-8)). Suppose -2*a = 2*n - 240, m*n - 3*n + 4*a = -367. Is n a composite number?
True
Let j = 28 + -26. Suppose -j*b = 6, x - 4*b = -4*x + 137. Is x a prime number?
False
Let x be 6/(1 - (-5)/(-2)). Let u(h) = -2*h**3 - 4*h**2 - 7*h - 6. Let i be u(x). Is i + -2*(-3)/2 prime?
True
Let h be 1 + (2 + -1 - 3)/(-2). Suppose -2313 = -h*z - 151. Is z a prime number?
False
Let l(g) = -g + 10. Let t be l(-3). Let a = t + 30. Is a a prime number?
True
Suppose -5*c - 15 + 5 = 5*q, 5*c = -4*q - 8. Let d be (-5 - (q + -2))*227. Let j = -112 - d. Is j composite?
True
Let i = -26673 + 38042. Is i prime?
True
Is (-10)/((-4)/2) + -27 + 26075 prime?
True
Suppose 6*q + 15 = q. Let l(w) = w**2 - w + 3. Is l(q) composite?
True
Let r(k) = 124*k**2 + 3*k - 4. Suppose 12*z = 8*z + 12. Is r(z) prime?
False
Suppose o = -o + 2. Let f be o/(4/(-12))*-1. Suppose -5*k + k = f*h - 1029, 2*h - 5*k = 663. Is h prime?
False
Suppose -4*a + 5422 = 2*v, 0 = -14*v + 13*v + 2*a + 2703. Is v composite?
False
Let p(o) = 3*o**2 - 7*o - 3. Let u be p(18). Let s = u - -1286. Is s prime?
True
Let r(q) = -q**3 - 13*q**2 - 13*q - 15. Let p be r(-12). Let a be (-2 - 9)/(p/9). Let l = 46 - a. Is l a composite number?
False
Suppose j = -j. Suppose j = -v + 49 + 85. Let p = v - 57. Is p composite?
True
Let u be (55/(-10) - -4)*10. Let n = u - -19. Suppose -2*k = -v - 474, 3*k + n*v = -0*k + 733. Is k composite?
False
Let l = 20 + -15. Suppose 0 = l*i - 6*i + 193. Let b = i + 100. Is b prime?
True
Let z(q) = q**2 + 12*q + 5. Let y be z(-11). Is ((-387)/6)/(3/y) a composite number?
True
Suppose 3*j - 3*v - 4827 = 0, -4*j + j + 4*v = -4825. Suppose -2*p = -2*c - 630, -5*p - 6*c + j = -2*c. Is p prime?
False
Let m = -11564 - -22923. Is m a composite number?
True
Suppose z - y = 9590, 4*y - 24323 - 14013 = -4*z. Is z prime?
True
Let n = 824 - 558. Suppose -x + 2*h = -257, 0*x - x = -5*h - n. Is x a prime number?
True
Let t = -2163 + 13568. Is t composite?
True
Suppose -19 + 121 = 3*b. Let j be -3 - (-4 - -1)*b. Let z = j + -32. Is z a composite number?
False
Suppose 0 = -3*z + 7*z + 160. Suppose 6*n - 157 = 197. Let s = z + n. Is s a prime number?
True
Suppose 0*i - 2252 = -2*i. Suppose -31 = 5*j - 46. Suppose 4*u - j*x = 2*u + i, -x = 0. Is u a composite number?
False
Let d = 42364 - 29471. Is d a composite number?
False
Let p be 7851/(-15) + (4 - (-23)/(-5)). Is (1/((-1)/p))/2 prime?
False
Let x(b) = -b**2 - 30*b - 61. Let z be x(-15). Suppose z = 5*j - 101. Is j prime?
True
Let p(l) be the first derivative of 41*l**2/2 - 13*l + 2. Is p(6) prime?
True
Suppose -3*w + 3*a + 2*a + 229 = 0, -121 = -2*w - 3*a. Suppose -w = -5*f + 202. Suppose 5*d - o - f = 0, -2*o - 38 = -3*d - 7*o. Is d prime?
True
Suppose -3*o = -5*a - 26, -2*o + o = 4*a + 14. Let p(i) = -10*i**3 + 2*i - 1. Is p(a) a prime number?
True
Let j = 49 - 28. Let x = j + -16. Suppose x*w - 6*w + 431 = 0. Is w a prime number?
True
Suppose -4*t - 3*r = -11525, -3*t - 4*r + 8652 = r. Is t composite?
False
Suppose -3*h + 600 = -5*i, -5*h + 536 = -i - 486. Suppose 3*x - 2*x = h. Suppose s - 2*y = x, -4*y - 829 = -4*s + y. Is s composite?
False
Is (-2)/((6/(-8))/((-1912905)/(-120))) composite?
False
Suppose 0*s - 19572 = -4*s. Suppose -3*z - s = -3*l + 2*z, -3278 = -2*l - 2*z. Suppose -l = -5*x + x. Is x composite?
False
Suppose -y + 7263 = 4*u, 2*y + 29137 = 6*y - u. Is y a composite number?
False
Let m(l) = 4 + 75*l - 234*l - 8. Is m(-5) composite?
True
Let q be 13/(39/(-18))*2051/3. Let w = q + 10455. Is w a composite number?
False
Suppose 7*v - 236 = 3*v. Suppose -18 = -m + v. Is m a prime number?
False
Let f = -60 - -114. Let w = 55 - 12. Suppose f = l - w. Is l prime?
True
Suppose -4*a + 766 - 762 = 0, t + 2*a - 421 = 0. Is t prime?
True
Suppose 5*t = -g - 1, -4*g - 2*t = -25 - 7. Suppose 0*f - g = f. Let k(j) = j**2 + 3*j + 5. Is k(f) prime?
True
Let p = 68 + -48. Suppose -3*n = -8*n + p. Suppose -4*b + 1102 - 390 = 4*j, 704 = 4*b - n*j. Is b composite?
True
Let h be 907/5 + (-6)/30*2. Let w = h - 52. Is w a prime number?
False
Suppose 13*f - 176 = 5*f. Let y = -17 + f. Suppose 0 = -y*p - 2*a + 165, -5*p + 20 = 5*a - 130. Is p a prime number?
False
Let k(r) be the second derivative of r**4/6 + 7*r**3/6 + 2*r**2 - 13*r. Let u be k(-4). Is 2840/32 - (-2)/u a prime number?
True
Let r(n) = -20*n**3 - 6*n**2 - 7*n + 11. Is r(-4) a composite number?
False
Let k(d) = -d**3 + 13*d**2 - 13*d + 16. Let r be k(12). Let t = r - 0. Suppose 376 = t*z - 628. Is z a composite number?
False
Let k(j) = -5*j**2 - 14*j + 641. Let z(c) = 3*c**2 + 9*c - 427. Let o(p) = -5*k(p) - 8*z(p). Suppose -4*a = -2*a. Is o(a) prime?
True
Let r(j) = -38*j**2 - 11*j - 2. Let q(c) = 25*c**2 + 7*c + 1. Let h(p) = 8*q(p) + 5*r(p). Let y be h(1). Is (39/y)/((-3)/(-279)) prime?
False
Suppose 4*a - 99144 = 4*y, 4*y = 2*a - y - 49563. Is a a composite number?
True
Suppose 3*t + 9 = 24. Suppose t*z + h = 2980 - 555, 2*z + 4*h = 970. Is z a prime number?
False
Suppose r + 15 = 21. Suppose 1655 = -r*n + 11*n. Is n prime?
True
Suppose 0 = 2*c - 0*c. Let r = c + -12. Is -1 - 268*r/8 composite?
False
Suppose -4*p + 3*p + 286 = 0. Let b = p - 19. Is b a prime number?
False
Let q be ((-12)/(-2) + 2)*(-30)/(-40). Is (-1)/(q/24 - (-1207)/(-4812)) composite?
True
Is 37978/(-68)*2/(-1) a composite number?
False
Suppose 33 = 3*l - 6*l. Let x = 15 + l. Suppose 465 + 11 = x*k. Is k composite?
True
Let x(a) = 4*a + 18. Let z be x(-5). Is 0 + 3 + -5552*z/4 prime?
False
Suppose 17*x = 31 + 20. Suppose -i + 2*i = 0, 0 = -x*a - 4*i + 4893. Is a prime?
False
Let z = 29 - 26. Is z + -2 + -5 + 386 a composite number?
True
Let h be (-9)/3 + (4 - (-1 + 4)). Let i(m) = 298*m**2 + 3*m + 1. Is i(h) prime?
True
Let u be (-3)/15 + (-11)/(-5). Suppose u*n + 194 = 2. Let z = n + 151. Is z composite?
True
Let r(w) = 41*w + 3. Let v(t) = t. Let u(z) = -r(z) - v(z). Is u(-7) a prime number?
False
Let t(b) be the third derivative of b**7/315 - b**6/180 + b**5/40 + b**4/3 + 2*b**2. Let q(j) be the second derivative of t(j). Is q(6) composite?
True
Suppose n + 3*n + 716 = 0. Let s = 1446 - 722. Let q = n + s. Is q prime?
False
Let m(h) = -839*h**3 - h**2. Let b be m(-1). Suppose 0 = -3*o - l + 636, 0 = 4*o + 2*l - 4*l - b. Is o a composite number