 n(-4). Is (1 + -2)/((-1)/p) a composite number?
True
Suppose -177 - 40 = -s. Is s a composite number?
True
Suppose -5*q + q + 3*n + 2189 = 0, -3*q + 1638 = -3*n. Is q a prime number?
False
Let a(u) be the third derivative of 7*u**6/60 + u**4/24 + 2*u**2. Let r be (-2)/6 + (-4)/(-3). Is a(r) composite?
True
Suppose -5*k = 157 - 582. Is k prime?
False
Let j = -14 + 17. Suppose 4*t - 2*a - 23 = 393, 0 = -j*t - 2*a + 305. Is t prime?
True
Let p = 186 + 311. Is p composite?
True
Let b(z) = -z + 8. Let g be b(-7). Suppose -3*m + 5*i - 7 = 0, 0 = 3*i - 6*i + g. Is (m/2)/(-3) + 12 a prime number?
True
Let x(h) = 2*h + 5. Suppose 3*b = -b + 4*d, 2*b + 4*d - 24 = 0. Let r be x(b). Suppose r = 2*s - 1. Is s a composite number?
False
Let w = -936 - -6125. Is w prime?
True
Let d(l) = -l - 3. Let g be d(-5). Suppose 2*p - 65 = -g*n + 171, -2*n - 597 = -5*p. Is p a composite number?
True
Suppose -z - 4*c - 10 - 6 = 0, -4*z - c = 4. Suppose 4*k + 0*k - 8 = z. Is ((-670)/(-40))/(k/8) a composite number?
False
Let h be (-2 - 3)*(-8)/5. Let u(o) = -o + 8. Let r be u(h). Suppose -5*i + 4*s - 15 = -220, 5*i - s - 190 = r. Is i a prime number?
True
Suppose -3*i + 1671 = -0*i. Is i a prime number?
True
Let u = 7 + -4. Suppose -u*j - 12 = j. Is 1/(-1) - 60/j composite?
False
Let j = 115 + -45. Suppose -6*n = -8*n + j. Is n composite?
True
Let u(b) = -b + 11. Let d be u(10). Let a(f) be the third derivative of 29*f**5/15 - f**3/6 - f**2. Is a(d) a prime number?
False
Suppose 2*r - 274 = 682. Is r a prime number?
False
Let h(f) = 4*f**2 - 18*f + 2. Is h(12) composite?
True
Let s(z) = -5*z**3 + 2*z + 1. Let h be s(-1). Suppose -3*x - 10 = -4*f, -5*f + h*x + 11 = -2*f. Is f + (-1)/((-2)/4) prime?
True
Suppose -5*x - 36 = 4*i, -5*x = i - x + 20. Is (20/(-30))/(i/498) composite?
False
Suppose 20 = 5*v + 10. Is v/(2/23) - 0 a prime number?
True
Let b(c) = 94*c + 9. Let j = 5 - 0. Let d(f) = -141*f - 14. Let m(p) = j*d(p) + 8*b(p). Is m(3) a prime number?
False
Let v(s) = 7*s**2 - 11*s + 37. Is v(-15) a composite number?
False
Let d = -3 - -5. Suppose d*i - 43 = -3*u - 8, -113 = -5*i + u. Suppose 0 = 2*p + c - 16, -2*p - 3*c + 5*c + i = 0. Is p composite?
True
Let l(v) = v**3 - 15*v**2 + 15*v - 29. Is l(18) a composite number?
False
Let i be 2*((-3)/6 + 1). Let c be 4/(i/(-1)) - -2. Let t = c - -13. Is t prime?
True
Let u be (-2)/3*285/(-2). Suppose 4*d = i - 0*i - u, -2*i - 2*d = -180. Is i composite?
True
Is 182/4 - 4/(-8) a prime number?
False
Let i = -20 - -11. Let x = i + 4. Let y(k) = 5*k**2 + 7*k + 5. Is y(x) prime?
False
Let k(n) = 6*n**2 + 3*n - 10*n - 2 + 6*n. Is k(3) a prime number?
False
Let u(d) = d**2 + 13*d + 14. Suppose 5*b + 10 + 23 = -4*j, -3*j = 4*b + 24. Let x be u(j). Is 0 + 0 - (x - 129) composite?
False
Let v = -241 + 347. Suppose -c - 5 = -r + 2, -3*c = 3*r + 3. Suppose r*a = a + v. Is a prime?
True
Let o be (2 - 1) + 1 + -34. Let a = -3 - o. Suppose -q + a = -24. Is q composite?
False
Let p = 59 - -57. Let c = p + -26. Suppose c = 5*n - 305. Is n a composite number?
False
Let h(z) = z**3 - 7*z**2 - 7*z - 6. Let t be (-18)/(-2 - 1) - -2. Let k be h(t). Suppose k*i + 4*s + 23 = 3*i, -4*s + 23 = i. Is i a composite number?
False
Let i be 15/4*1600/24. Let t = i + 57. Is t a composite number?
False
Let c = -813 - -499. Let s be 1/2 - c/4. Is -2 + (s - 2) + 2 prime?
False
Suppose 6 = 2*u + 2. Suppose 0 = l - y - 53, u*y = 5*l - 224 - 41. Is l prime?
True
Let q(o) = -o**3 + 5*o**2 - 6. Let j be q(5). Let k = 7 + 21. Is (k/j)/(2/(-6)) prime?
False
Is (28/14)/((-2)/(-889)) a composite number?
True
Suppose 5*c - 474 - 47 = -3*s, 0 = -5*c + 5*s + 545. Is c a composite number?
True
Let w = -36 - 30. Let u = w - -99. Is u prime?
False
Suppose -z - p - 42 = 0, 0 = 4*z - 3*p + 6*p + 172. Let g = 3 - 82. Let n = z - g. Is n prime?
False
Let l be (-13)/(-2) + (-6)/(-12). Let t(k) = l*k**2 + 1 + 0 - k - k. Is t(-2) prime?
False
Let x(p) = -p**3 - 15*p**2 - 6*p - 7. Is x(-15) composite?
False
Let g be (-101)/(-2)*(3 - 1). Let k = -54 + g. Let d = -10 + k. Is d a composite number?
False
Suppose 5*u + 121 = -39. Is u/(-14) + 4/(-14) prime?
True
Suppose -8*t + 406 = -6*t. Is t composite?
True
Suppose -2*r + 598 = 4*l, -5*l - 227 = -r + 100. Is r composite?
False
Let i = 11 - 14. Is (423/6)/i*-2 composite?
False
Let d(g) = 3*g + g**2 - 4*g + 3 + 0*g. Let y be d(0). Let o(n) = 53*n - 4. Is o(y) a composite number?
True
Let f be 8/2 - (0 - 3). Let y(v) = 7*v - 3. Is y(f) a prime number?
False
Suppose z - 2*z + 49 = 0. Is z a prime number?
False
Suppose -4*s + 11 = -17. Is s a composite number?
False
Suppose 0*j - j = -5. Is (-2 + j)*(-68)/(-6) composite?
True
Let o(v) = 747*v**3 + 4*v**2 - 3*v + 1. Is o(1) prime?
False
Let v(c) = 37*c**3 - c**2 + c. Suppose -3*s - 2 = -5. Is v(s) a composite number?
False
Let l = -2312 + 5269. Is l composite?
False
Let r = 13 + -11. Suppose -2*g = 2*i - 1336, 4*i = -3*g - r*g + 2669. Suppose -5*x + i = 4*u, 0 = -0*u - 5*u + 20. Is x a composite number?
False
Suppose -2*f - 36 = 3*f - 3*o, 0 = f - 5*o - 6. Let i(r) = r**2 + 9*r + 1. Let s be i(f). Is s/(-1) + 15/1 a composite number?
True
Suppose -640 = -r + 195. Is r prime?
False
Let k = 4 + 3. Suppose 0 = k*g - 3*g. Is (g - -2) + 18 + -1 a composite number?
False
Let v = -382 - -778. Suppose -6*h + v = -4*h - 5*x, 5*h - 1009 = 3*x. Is h a composite number?
True
Let r = -472 - -831. Is r a composite number?
False
Suppose -44*f = -41*f. Let z = 7 + 8. Suppose 4*h - 48 = -2*l - 2*l, 3*l - z = f. Is h composite?
False
Suppose 4*i - 2346 = d, 2*d + 1755 = 3*i - d. Is i a prime number?
True
Let r be (3/4)/((-3)/528). Let j = -44 + r. Let d = 255 + j. Is d prime?
True
Suppose -14 = -0*j - 2*j - x, -4*j + 2*x = -28. Let g = j - 2. Let l(s) = 37*s - 4. Is l(g) a prime number?
True
Suppose -3*k + 5*n - 8 = 5, -6 = -4*k + 2*n. Suppose -k*w + 6 = -w. Suppose t = -w*t + 102. Is t a prime number?
False
Let i be -57*(-5)/(15/2). Suppose 4*b - c = -60, 0 = b + 2*c + 3*c + 15. Let h = i + b. Is h a composite number?
False
Let r(t) = t**3 - 12*t**2 + 10*t + 15. Let p be r(11). Suppose -3*x - 5*y = -176, 5*x - 154 = 3*x + p*y. Is x a composite number?
False
Suppose -5*k - u + 444 = 0, -3*k + 8*k - 3*u = 448. Is k prime?
True
Suppose -4*s + s = -711. Is (-4)/10 - s/(-5) prime?
True
Let h = -4481 - -6498. Is h prime?
True
Let x(i) = -2 - 2 - 2*i - 2. Let d be x(-4). Suppose 13 = m - u + d*u, 0 = m - 2*u - 19. Is m prime?
False
Let t = 638 + 68. Is t composite?
True
Let o = -106 + 174. Let s be 100 - (2 + 5/(-1)). Let q = s - o. Is q a prime number?
False
Is 221 + -2 + 0 + 4 composite?
False
Suppose -5629 = -2*d - 995. Is d a composite number?
True
Let k(m) be the first derivative of m**4/4 + 8*m**3/3 - m**2/2 + m - 7. Is k(-7) composite?
True
Let f(p) = 34*p**2 + 4*p + 21. Is f(-5) prime?
False
Suppose 2*r = 5*q, 3*q + 3*r - r = 0. Suppose -417 = -q*p - 3*p. Is p composite?
False
Let p(d) = -d**3 + 4*d**2 + 2*d - 4. Suppose 3*w - 8*w = -10. Suppose 1 = -w*l - 5. Is p(l) composite?
False
Let s(g) be the third derivative of 5*g**4/12 + g**3/6 + 2*g**2. Is s(3) composite?
False
Let h be ((0 - 2) + 1)*1. Is 83 + 0 + 3 + h composite?
True
Let d be 16/(-28) + 123/7. Let x = d + 57. Is x prime?
False
Let s be ((-9)/6)/((-6)/(-32)). Is (46/s)/((-14)/56) prime?
True
Let n(f) = 4*f**2 - 3*f**2 + 5*f**2 + 6*f + 1 + 2. Let t = -16 - -10. Is n(t) a composite number?
True
Is (106*1)/(16/88) a composite number?
True
Suppose -4*j + d + 2 = -6, 2*j = -4*d + 22. Suppose 110 + 49 = j*m. Is m prime?
True
Let u(l) = -l**3 - 9*l**2 - 8*l + 4. Let w be u(-8). Is (-3085)/(-25) - w/10 a composite number?
True
Let a(y) = -y**3 - y**2 + 4*y + 3. Is a(-8) composite?
False
Is 4464/10 + (-12)/(-20) composite?
True
Let h(s) = 48*s + 43. Is h(18) prime?
True
Suppose 0*x - 281 = -5*u + 3*x, x = -2. Is u composite?
True
Let i be (-220)/(-15)*(-6)/(-2). Suppose -4*x = -i + 8. Suppose x = 5*r - 6. Is r prime?
True
Let y(k) = 29*k**2 + 3*k - 1. Is y(-7) a composite number?
False
Suppose 4 = 4*o - 5*o. Let g be ((-2)/o)/((-3)/(-18)). Suppose g*r - 7 = 2*r. Is r a prime number?
True
Let a(d) = d**3 - 10*d**2 + 6*d - 6. Is a(11) a composite number?
False
Let f(s) = -s**3 - 8*s**2 + 6. Let p be f(-8). Let k(b) = -2*b**3 - 3*b**2 + 3*b**3 - 7*b 