ppose 5*g - 330 = -0*g. Suppose -3*t + 1 = -j + 14, 0 = -4*j + 5*t + g. Is j a prime number?
True
Let u = 18 + -30. Let a be (u/(-8))/((-6)/(-8)). Is (918 - -3)*a/6 composite?
False
Is -339*((-24)/(-9) + -3) a prime number?
True
Suppose 779 + 21 = 5*m. Let k = m + -102. Is k prime?
False
Is (-7 - -2)/(2/(-46)) prime?
False
Suppose 2*q + 3*q - 2*f = -2, -3*f + 3 = 3*q. Suppose q = -2*u + 14. Is u a prime number?
True
Suppose 0*z + 35449 = 2*k - 5*z, -4*z - 17729 = -k. Is k composite?
True
Let q(c) = c**3 - 4*c**2 + 4*c**2 + 3 - 3*c**2. Let d(v) = v**2 + 7*v - 3. Let g be d(-8). Is q(g) a prime number?
True
Let v = 2 - 6. Let r be 145/20 - (-1)/v. Suppose r*w - 65 = 2*w. Is w a composite number?
False
Let m = -408 - -769. Is m a composite number?
True
Let f(l) = l**2 - 2. Let g be f(2). Suppose -2*q + 2*h + 12 = 0, 2*q + h - 2 = -g*h. Suppose 0 = q*y - 2*y - 106. Is y a prime number?
True
Let z be (-10)/15*(1 + -4). Suppose z = o - 17. Is o a composite number?
False
Let v(r) = -2*r - r - r + r**2 + 5*r. Let x be v(-1). Suppose 2*w = -2*t + 294 + 116, -2*t = x. Is w a prime number?
False
Let d(t) = 3*t - 11*t**2 - t - 4*t - 1. Let j(w) = -w. Let u(z) = -d(z) + j(z). Is u(-1) composite?
False
Suppose 4*v - 4*f - 4476 = 0, 2*f - 4*f = -4*v + 4468. Is v prime?
False
Let v(g) = 29*g**3 + 3*g**2 - g - 4. Is v(5) prime?
True
Let i = 287 + -76. Is i a prime number?
True
Let z(l) be the third derivative of l**6/120 + 3*l**5/20 - l**4/6 - 5*l**3/6 + 6*l**2. Is z(-6) composite?
False
Let i(p) = 3*p**2 + 314. Is i(0) prime?
False
Suppose v + 0*v - 1232 = -4*d, 5*d - 5*v - 1515 = 0. Is d prime?
True
Suppose 2*t - 450 = 2*a, -2*a - 175 - 52 = -t. Is t composite?
False
Let j = 5 - 16. Suppose 5*g = 5*l, 5*g + l - 8 = 4*l. Let i = g - j. Is i prime?
False
Suppose 3*d + 167 - 593 = 0. Suppose -5*n + r + 0*r + 187 = 0, -4*n + d = 3*r. Suppose 3*w - n + 9 = s, -46 = -5*w + 2*s. Is w composite?
True
Let c(v) = v - 3. Let h be c(7). Let l = 335 - 123. Suppose 4*s + l = h*z, 5*s - 4 = 6. Is z a composite number?
True
Let r be (-4 - -5) + (5 - 2). Suppose -217 = -r*b + 3*b. Is b a prime number?
False
Is 143 - (5 - (-1 - -4)) composite?
True
Let x be (12/(-10))/(3/(-10)). Suppose 4 = -x*a - 4. Is -46*((-3)/(-2) + a) composite?
False
Suppose -2*i + 0*l + 5*l = -203, 2*l = 3*i - 277. Is i composite?
False
Let k(m) = -9*m + 2. Let y(g) = 37*g - 9. Suppose -u + q - 1 = -0*u, 2*q + 2 = 0. Let v(a) = u*y(a) - 9*k(a). Is v(3) composite?
True
Let v(s) = -s**2 - 9*s - 7. Let a be 1 + 8/(0 + -1). Is v(a) composite?
False
Let j = 15 - -1. Is (447/12)/(4/j) a prime number?
True
Let s be (15/12)/((-1)/16). Is (-12 + 3)/(-3) - s composite?
False
Let r = 78 + -25. Is r a prime number?
True
Suppose -5*p = -10*p. Suppose t + a - 5*a - 11 = p, -5*t + 4*a + 103 = 0. Is t prime?
True
Let c = -19 + 18. Is 98*2/(-4)*c a prime number?
False
Let o be 2/6 + (-880)/3. Is (o/4)/((-9)/36) composite?
False
Let v = 4 + 0. Suppose -4*p = -16, -v*q + 184 = 2*p - 3*p. Is q a composite number?
False
Let t = -211 - -696. Is t a composite number?
True
Let z(s) = -s**3 - 9*s**2 + 9*s + 3. Let c be z(-10). Let x = -6 + c. Is x a prime number?
True
Suppose d = 3*d - 58. Suppose k = d + 8. Is k a prime number?
True
Suppose 0 = -5*o + 4*j + 562, -o + 107 = -4*j + 5*j. Let f be (-1 + 0 + -1)*-1. Suppose -5*n = a + o - 290, -10 = -f*a. Is n composite?
True
Suppose 3*z - 2*c = -4*c - 31, 0 = -2*z + 2*c - 4. Let u = z - -14. Is u + 0*2/6 prime?
True
Let z(l) = l**3 + 20*l**2 + 4*l + 13. Is z(-14) a composite number?
True
Let q(l) = -6*l + 6. Let s be q(-5). Let o = s - -17. Is o composite?
False
Let k(m) = m**3 - 6*m**2 + 4*m - 5. Let w be k(5). Let n(z) = z**3 + 9*z**2 - 14*z - 11. Let u be n(w). Suppose -3*h + 79 = 2*i, i = -2*h + u + 22. Is h prime?
True
Let u = -2 - -6. Suppose 8*y - u*y = 12. Suppose 0 = 3*i + 6, o - 32 + y = -i. Is o a composite number?
False
Let v(z) = 6*z - 5. Is v(4) a prime number?
True
Suppose -6*a = -a + 15, 3*a = 4*r - 3157. Is r a prime number?
True
Let t(n) = 3*n**2 + n. Let d be t(-1). Suppose -1 = -d*s - 5, -3*q + 2*s = -16. Suppose -3*w - 3 = -q*w. Is w prime?
True
Suppose 3*w - 2*q = -32, 4*q - 21 - 7 = 3*w. Let t be (-1)/(-2) + w/(-8). Is 109*-2*t/(-4) composite?
False
Suppose 663 = 3*h - 0*h. Is h a composite number?
True
Let m = -28 - -92. Let y = m - 159. Let z = 174 + y. Is z composite?
False
Let s be 6*((-1 - -1) + -1). Let c be -3*((-56)/s)/2. Let p = 35 + c. Is p a composite number?
True
Suppose -24 - 781 = -5*m. Is m prime?
False
Is -2*2258/(-12) + (-2)/(-3) a prime number?
False
Let v(c) = -c**3 + 3*c**2 + 3*c + 6. Let i be v(5). Is (-2)/8 - i/4 prime?
True
Let x = -941 + 1692. Is x a composite number?
False
Let p be (-3 - -1)*(-3 - -2). Suppose 2*t - 10 = -2*k, 5*k = -2*t + t + 9. Let i = t + p. Is i a prime number?
False
Suppose w - 9 = -2*w. Suppose -2*b = -3*n + 549, -5*n + w*b + 550 = -366. Is n a prime number?
False
Let v be (-45)/12 + (-1)/4. Let j(z) = 8*z**2 - 5*z - 6. Let o(b) = 7*b**2 - 5*b - 5. Let g(q) = -4*j(q) + 5*o(q). Is g(v) a prime number?
True
Suppose -g - 1690 = -2*z + z, 5*g - 3401 = -2*z. Is z a prime number?
True
Suppose 1292 - 5438 = -6*q. Is q a prime number?
True
Let c = -51 - -109. Let r(o) = -26*o + 1. Let u be r(1). Let h = u + c. Is h a composite number?
True
Suppose 4*w = 2*a + 2*w - 516, 0 = -2*a - w + 531. Is a composite?
False
Let t be ((-3)/(-9))/(1/15). Suppose 0 = q - t*c - 135, 0*q - 3*c = -q + 127. Is q prime?
False
Suppose -n - n = -1526. Is n prime?
False
Let q = 20 + 12. Suppose -y + q = -5. Is y prime?
True
Let b(h) = -h**3 + 4*h**2 - h + 5. Let j be b(5). Let f be ((-8)/(-10))/((-10)/(-475)). Let w = j + f. Is w a composite number?
False
Let d = 45 + -12. Is d a composite number?
True
Let f be 167/(-3) - 5/15. Let n be (-16)/f - (-1927)/(-7). Let a = 390 + n. Is a a composite number?
True
Is ((-1)/(-3))/(4/744) a composite number?
True
Suppose -5*r + 115 = -520. Is r composite?
False
Let g = -7 - -128. Is g prime?
False
Let q(m) = -372*m**3 - m**2 - m - 1. Is q(-1) composite?
True
Let x(p) = -p + 515. Is x(0) composite?
True
Suppose 3*q = -5*o - 3, o - 1 = -0*q - q. Suppose -5*f = 3*t - 222, -283 = -3*t + 2*f - 61. Suppose 0 = -q*a + t + 14. Is a a composite number?
True
Let z(q) = -q**3 - q**2 + 2. Let b(l) = -l**3 + l**2 - 1. Let g(x) = b(x) + z(x). Let p = -2 - -1. Is g(p) prime?
True
Suppose 4*i - 24 = -4*m, -2*m - i = -3*m - 2. Let l be (-2)/m - 0 - 11. Let f = 37 + l. Is f a composite number?
True
Is (-12)/(-4) - (-18 + 2) prime?
True
Let f = -18 + 14. Is (-118)/(4*f/8) a prime number?
True
Suppose 1 = 3*i - 3*b + 7*b, -3*b + 3 = 3*i. Let o be ((-58)/(-8))/(i/12). Suppose 0 = -n + 3*q + o, -28 = -4*n - 3*q + 118. Is n composite?
True
Suppose -7 = -3*i - 2*v, 5*i = -4*v - 1 + 12. Suppose -2*s + c + c = -84, 2*s - 86 = i*c. Is (s - 3) + 4/(-2) prime?
False
Let l = -1 - -2. Is (297 + l)*(-3)/(-6) prime?
True
Let z be (0 - -3)/(3/86). Let y = z - -117. Is y composite?
True
Suppose -90 = -5*v + 6*p - 4*p, 2*v = -2*p + 50. Suppose -2*a + r = -v - 374, 6 = 3*r. Let f = 65 + a. Is f a composite number?
False
Let p(a) be the first derivative of a**4/4 - 2. Let f(b) = 5*b**3 + 5*b**2 - 4*b - 1. Let q(m) = -f(m) + 6*p(m). Is q(5) prime?
False
Suppose -5*n - 3*p = -6*n + 5087, 0 = 2*n - p - 10174. Is n prime?
True
Suppose -5*p = -2*y - 135, 5*y + 62 = -p - 208. Let o = y - -110. Is o prime?
False
Let t be ((-12)/10)/(4/(-10)). Suppose -3*d - 17 = -5*b + t*b, 5 = 2*b + d. Suppose -2 + b = a. Is a prime?
True
Let i = 10 + -4. Suppose -1525 = -i*u + 1997. Is u a prime number?
True
Suppose 0 = 2*v - 0*v - 4474. Is v prime?
True
Let s = 2840 - 1803. Is s a composite number?
True
Let l be 35/15 - 1/3. Suppose 4*n = 3*a + 221, 0 = l*n - 3*a - 105 - 10. Is n a composite number?
False
Let f be ((-3)/6)/((-2)/956). Let o = f - 154. Is o a prime number?
False
Suppose 3*y = -3*l + 9, 5*y + 0 = -4*l + 17. Let j = l + 87. Is j composite?
True
Let d = 18 - -29. Let c = d - -35. Is c composite?
True
Let m(g) = g**3 - 4*g**2 + g - 4. Let s be m(4). Suppose s*x = -x. Is 0 + x + 1 + 10 a prime number?
True
Suppose 2*t + 0 - 6 = 0. Let w = t + -1. Is (1*w)/(6/66) prime?
False
Suppose -4205 = -3*r - 2*r. Is r a composite number?
True
Is ((-6)/(-