+ 1)/(4/12). Let y be (0 - (m + 574)) + -3. Let a = 1067 + y. Is a a prime number?
True
Let v(o) = 16*o**2 - 9*o - 44. Is v(-15) composite?
False
Let u = -12054 + 21925. Is u composite?
False
Let m(n) = 13*n**2 - 47*n - 169. Is m(-25) a prime number?
False
Let p = 397 + 4456. Is p prime?
False
Is ((-14)/3)/((-118)/4497393) prime?
False
Suppose 0 = -2*f + k - 1 + 8, -2*k = -2*f + 8. Let d be (-1 + f)/(3 - 4). Is (-2)/(-3)*(-261)/d composite?
True
Let l be -3*8/12*3. Suppose -5*j + o + 2*o = -185, -2*j + 74 = -4*o. Let v = j + l. Is v a composite number?
False
Let o = 2838 + 2459. Is o composite?
False
Let m = -85 + 77. Let y(g) = -g**3 - 2*g**2 - g - 1. Let d be y(2). Let l = m - d. Is l composite?
False
Suppose -4*z + 808 + 276 = 0. Let a = 93 + -187. Let f = z + a. Is f a prime number?
False
Let g(c) = 4037*c**2 - 7*c - 5. Is g(2) a composite number?
True
Suppose 8*y = -4*o + 13*y + 14993, o + 4*y = 3743. Is o a prime number?
False
Let x(r) = 109*r**2 + 71*r - 57. Is x(16) a prime number?
False
Let c(u) = u**3 + 20*u**2 + 36*u - 2. Is c(-15) composite?
True
Let k = -95 - 105. Let p = k - -1545. Is p prime?
False
Let k(x) = -x**2 + 15*x - 29. Suppose 0 = -8*q + 6 + 42. Is k(q) a prime number?
False
Let i = 1092 - -9685. Is i a prime number?
False
Let s = 103928 - -12119. Is s a prime number?
True
Let x = 36 + -13. Suppose 2*y + 5*l - x = 0, 0 = -3*y - 2*l + 3*l + 9. Suppose -y - 10 = -2*f. Is f a composite number?
False
Let s(i) = 1 + 1 + 5 + 96*i. Is s(10) a composite number?
False
Let x(a) = -a**3 + 25*a**2 + 13*a + 23. Is x(14) a prime number?
False
Let k(n) = 861*n**2 - 13*n - 21. Is k(-2) a prime number?
True
Let t(h) be the first derivative of h**4/4 - 2*h + 8. Let f be t(2). Suppose -3*k + f*k = 291. Is k prime?
True
Let o be 1/(0 + 3/432). Let i = o + -61. Is i a prime number?
True
Suppose 0 = 4*k - 3*d - 27867 + 6686, -3*d = 5*k - 26510. Is k a prime number?
False
Let k be (-4 - -11) + -3 + -2. Suppose -k*b + 1 = -b, -3*u + 5*b + 8002 = 0. Is u composite?
True
Is (-2 - -2425)/(1*8/40) a prime number?
False
Suppose d + 14287 = 5*h - d, 3*h + 3*d = 8568. Let u = 4904 - h. Is u prime?
False
Suppose 3*t - 4*z = 72 + 1640, 20 = 5*z. Suppose -3*h - 5*u = -857, 2*h - 2*u = -3*u + t. Is h prime?
False
Suppose -4*o + 56181 = -2*n - n, -14044 = -o + n. Is (-2)/8 - o/(-84) prime?
True
Suppose 2*p - 4*f = 1494, -4*p + 5*f + 963 + 2025 = 0. Suppose -5*o + 597 = -o - w, -5*o = -2*w - p. Is o a prime number?
True
Let a be -6 - (1 + (-4)/1). Let i(z) = 62*z**2 - 8*z - 5. Is i(a) composite?
False
Let k(d) = 2*d**2 + 10*d + 8. Let a be k(-7). Let h be 801/12 + 5 - 3/4. Let x = h - a. Is x composite?
True
Let n(y) = 40*y**2 + 45*y + 24. Is n(-11) prime?
False
Let l(o) = 3. Let q(v) = v**2 - v + 10. Suppose -3*z - 9 = 12. Let s(f) = z*l(f) + 2*q(f). Is s(5) a composite number?
True
Suppose 3 = -2*p + 3*a, 4*a + 3 + 15 = -p. Is 1 + (-4904)/p*(9 + -6) prime?
False
Suppose 5*u - 68 - 99 = 3*b, 3*u = -4*b + 106. Is u prime?
False
Let m = -266426 - -470679. Is m a composite number?
True
Suppose 13905 = 3*m - 11658. Is m composite?
False
Let g(d) = 5*d**3 + 12*d**2 - 24*d - 22. Is g(9) a composite number?
True
Let j be (38/(-8))/(1/(-120)). Suppose -3*k = 3*q - j, k + 5*q - 2*q = 188. Is k composite?
False
Suppose -3*y - 4*i = 1, -4*y + 40 = -2*i - 3*i. Suppose k + k + y*l = 21, -3*k + 21 = 4*l. Suppose v = -a + 1373, 2408 = k*v + 5*a - 1715. Is v a prime number?
False
Is (-4 - -5)/(8/110728) composite?
False
Let s(y) = -73*y**3 + 3*y**2 - 7*y + 3. Let l(f) = f**3 - f**2 + f. Let g(h) = -5*l(h) - s(h). Is g(2) prime?
False
Let x be (-10)/(-4) - 39/(-26). Let t be 117/x - (-1)/(-4). Let f = 48 - t. Is f a prime number?
True
Suppose -14*t = -9*t - 15. Is t + 304/(-4 + 8) a composite number?
False
Let c be -4*2*(9 + -7). Let n = 32 + c. Is -4*(-116)/n*2 prime?
False
Suppose 0 = 5*j - 2*j + 4*h - 32, -5*j - 4*h + 40 = 0. Suppose -2 = -2*r, -j*r + 5 = 4*g + 1. Let m = g - -53. Is m a prime number?
True
Let y = -2125 - -3637. Suppose g = -g - 826. Let w = g + y. Is w prime?
False
Let n be -17 + 568 - (1 + 1). Let t = 1040 - n. Is t composite?
False
Suppose b = 4*b - 4*u + 21, -3*b = -3*u + 21. Let d be 241 + 1 - (10 + b). Suppose 4*s - d = 9. Is s a prime number?
False
Let d(c) = -26*c + 133. Is d(-15) prime?
True
Let n = -3922 - -5615. Is n a composite number?
False
Let i(p) = 5*p**2 + 9*p + 9. Let h(q) = 2*q**2 + 4*q + 4. Let r(g) = 7*h(g) - 3*i(g). Let t(x) be the first derivative of r(x). Is t(-11) composite?
False
Let c be ((2 + -3)*2)/((-2)/(-3)). Is 4111 + 0*c/(-3 - 0) composite?
False
Let z(y) = 36*y + 14. Let b(s) = -6*s + 3*s**2 + s**3 + 5*s + 6 - 4. Let p be b(-3). Is z(p) a composite number?
True
Let o = 61 + -57. Suppose -7*n + 2874 = -o*n. Is n prime?
False
Let p(w) = 173*w**3 + 11*w**2 - 7*w - 11. Is p(4) a composite number?
True
Let d = -7506 + 23084. Is d composite?
True
Let r(t) = -20*t**2 - 69*t + 2. Let w(p) = -7*p**2 - 23*p + 1. Let f(z) = 6*r(z) - 17*w(z). Let d be f(-11). Is d/((-1)/4*-4) a prime number?
True
Suppose -3*c + 29308 = -5*d - 4*c, 2*d - c + 11726 = 0. Is d/(-14) + (-14)/(-49) a prime number?
True
Is 2 + 15/25*(690 + 5) a composite number?
False
Let o be 2/(-6) - (-366)/(-9). Let r = -27 - o. Let d = -3 + r. Is d prime?
True
Suppose -3*a + 0*a = -3*z + 81, 2*z - 4*a = 52. Suppose 2*g - 53 = 5*p + z, 37 = g + p. Is g composite?
True
Suppose 0 = -133*x + 131*x + 7042. Is x composite?
True
Let i(r) be the first derivative of -4 + 81/2*r**2 + 5*r. Is i(6) prime?
True
Let v(g) = 6*g**2 - 5*g - 38. Let h(q) = 11*q - 4. Let r be h(1). Is v(r) a prime number?
False
Let y(s) = s + 4. Let n be y(10). Let p = n + -25. Let h(k) = k**2 - 2*k + 14. Is h(p) a composite number?
False
Suppose -5*l - 5*m = -2674 - 2521, -4*l + 4160 = 3*m. Is l a composite number?
True
Let f(i) be the second derivative of i**7/1260 - i**6/120 - 17*i**5/120 - i**4/3 + 3*i. Let q(l) be the third derivative of f(l). Is q(7) prime?
False
Suppose 2*p - 4287 = 8407. Is p a prime number?
False
Suppose r - 6 = 5*g, 7*g + 8 = -3*r + 9*g. Is 143/(r/20*-1) + 4 a prime number?
True
Let i(w) = -w**3 - 4*w**2 - 5*w - 7. Let v be i(-4). Let z = v + -13. Suppose -5*u - 5*d + 3*d + 5217 = 0, -4*u - 2*d + 4174 = z. Is u prime?
False
Suppose -l = 4*i - 44121, 0 = -3*i + 3*l - 4*l + 33092. Is i composite?
True
Let u(z) = 10*z**2 - 2*z - 53. Is u(18) a prime number?
False
Let g be ((-2)/4)/((-2)/4). Suppose 3*d - 15 = -3*x, g + 12 = x + 5*d. Suppose -5*o = 15, -x*v - 4*o + 432 = -3*o. Is v a prime number?
False
Let g = -7806 - -94391. Is g a prime number?
False
Suppose -5*d + 2*c = -142551, 55*d - 85525 = 52*d + 4*c. Is d composite?
True
Suppose -104675 = -5*x + 3*d + 386546, 0 = 2*x - d - 196488. Is x composite?
True
Let n(u) = -u**3 - 5*u**2 + 5*u. Let l be n(-5). Let a be 7615/l + (-4)/10. Let o = -187 - a. Is o a prime number?
False
Let x be (-6)/4*112/(-42). Suppose 2*v - 2796 = -x*v. Is v prime?
False
Is 5/(-5)*(1 + 0) + 19572 prime?
True
Let r = 48761 - 28172. Is r a composite number?
True
Let a = -9 + 16. Is (0 + a)*(465 - -2) a prime number?
False
Suppose 5*b = -82 + 12. Let f be b/35 - 937/(-5). Is f + (-4 - -1) - -3 composite?
True
Let s be 2/(-10) - 17916/20. Let m be s/(-42) - 2/6. Is -339*(m/(-9) - -2) a composite number?
False
Let u = -56 - -61. Suppose -2*f - u*y + 4426 = 0, -5*y = -9 - 11. Is f prime?
True
Let k(m) = -m**3 + 2 - 9*m**2 - 2 - 2 - 6 + m. Let w be k(-7). Let u = -60 - w. Is u prime?
True
Let o(l) = 11*l**2 + 16*l + 38. Is o(-18) prime?
False
Let i(d) = -32*d**3 + 2*d**2 - 1. Let b = -15 - -16. Let x be i(b). Let c = x + 53. Is c a composite number?
True
Suppose -3*o + 44 = -5*n, -o + 18 + 10 = -5*n. Suppose o*y - 6*y = 890. Is y composite?
True
Suppose 29*f = 192526 - 36593. Is f prime?
False
Let m be 1 - (3*-59 + 2). Suppose 0 = -4*t - 476 + m. Let p = t + 266. Is p a prime number?
True
Suppose 0 = b + i - 3, 3*i = -3*b - i + 8. Suppose -v + q + 0*q = 7, v = b*q - 4. Is (-4)/2*2452/v prime?
True
Suppose 3*n + 2*c - 3735 + 330 = 0, -4*n - 4*c + 4536 = 0. Let z(d) = -2*d**3 - 34*d**2 - 18*d - 20. Let h be z(-15). Let u = h + n. Is u composite?
False
Let y be -3 + (4 - 2) + 0 + -298. Let f = 80 - y. Is f a prime number?
True
Suppose -14 = -w - 9. Suppose