/(0 + 3/(-9)) a prime number?
False
Let z be (2/(-3))/(2/(-9)). Is 1/z + 2760/9 a composite number?
False
Let z(m) = m**2 - m + 3. Is z(8) composite?
False
Suppose 5*p + 523 = 4*c, 0*c = 5*c - 5*p - 650. Is c a composite number?
False
Suppose -4 - 2 = 2*l. Is (5/(-2))/(l/30) composite?
True
Let n(l) = 4*l + l + 6*l - 3*l + 5. Is n(4) a composite number?
False
Let u = -75 - -75. Let q(o) = -o + 1. Let n(a) = 2*a - 38. Let i(p) = -n(p) - 3*q(p). Is i(u) a composite number?
True
Suppose 5*u + 90 = -2*o, -3*u + 3*o - 75 = -0*u. Is (-195)/u + (-2)/(-8) composite?
True
Let g be 5 - 4 - 4/2. Is (1341/g)/(-3) + -4 a composite number?
False
Let o = 2 + 0. Suppose 0 = -3*k + x + 18, -6*x - 17 = -k - o*x. Suppose -4*z + 9*j + 346 = 4*j, -439 = -k*z + 3*j. Is z a composite number?
False
Let j(x) = 27*x**2 - x - 4. Let t be j(3). Suppose 5*y - 6 = 3*w + t, -146 = -3*y + w. Is y prime?
False
Let d = 1097 + -630. Is d composite?
False
Is (-2046)/(-10) - (-2)/5 a composite number?
True
Let p(l) = -l**3 + l**2 - l. Let r(v) = 5*v**3 - 13*v**2 - 5*v. Let c(x) = -4*p(x) - r(x). Is c(7) a composite number?
True
Let q(f) = -f**3 - 9*f**2 + 3. Let o be q(-9). Suppose -838 = -o*x + x. Is x a prime number?
True
Let j(l) = -l**2 + 8*l + 6. Let d be j(9). Let k = d + 3. Suppose 0 = 2*f - k*f - 52. Is f a composite number?
True
Suppose 0 = -3*q - 5*n + 26, 3*q + 4*n - 6 = 16. Let g(u) = 1 + 78*u + 2 - q. Is g(1) prime?
True
Let v(w) = 2*w**3 - 5*w**2 - 8*w + 6. Let s = 1 + 4. Is v(s) a composite number?
True
Let z(p) = 2*p**3 + 2*p - 5. Is z(4) composite?
False
Let t(k) = 4*k - 2. Let h be t(4). Let r = 1 + h. Is r prime?
False
Suppose 2*q - 3*b - 70 = -13, 5*b = -2*q + 33. Let f be 4/10 - q/10. Is 1 + f/((-6)/15) a composite number?
True
Is ((-36)/(-27))/(2/15) a prime number?
False
Let s(n) = -2*n**2 + 3*n**2 - 2 + 1 + 10*n**2 - 2*n. Is s(-2) composite?
False
Suppose -3*l - 102 = -4671. Is l a prime number?
True
Suppose 0 = -r - j + 29, r - 13 = -2*j + 5*j. Let q = 47 - r. Is q a composite number?
True
Suppose -4*r = 3*y - 5*r + 1, 14 = -2*y + 4*r. Suppose 0 = d - y, 2*q - 4 = 6*q - 4*d. Suppose 5*g + 4*z - 8 = q, -2*g + 0*z + 2 = 2*z. Is g a prime number?
False
Is (-2)/((-8)/9938*1)*2 composite?
False
Let m = -4 + 6. Suppose 39 = 4*x - 3*y, -3*x - 2*y + 4 = -21. Suppose i + m*i = x. Is i a composite number?
False
Suppose -66 = -4*l + 2*b, -3*l = 2*b - 3*b - 49. Let g = 22 - l. Is g a prime number?
False
Is 1/(3225/805 + -4) a composite number?
True
Suppose -5*g + 2*k + 1 = -2*g, g + 4*k = -23. Is -2*((-310)/4 - g) prime?
True
Suppose -v = n + 3*v - 55, 5*v - 101 = -2*n. Is n a prime number?
True
Suppose 6*g - 2132 = 2*g. Is g a composite number?
True
Let s(h) = 5*h + 1 - 2 + 1 + 4. Is s(6) a composite number?
True
Let c(y) = y**3 + 4. Let f be c(0). Suppose f*g + 45 = 569. Is g a prime number?
True
Let h = 1012 - 540. Suppose -4*j + 0*c + 4*c + h = 0, -4*j = -3*c - 473. Is j composite?
True
Suppose -1247 = 3*k + 319. Let p = 895 + k. Is p prime?
True
Let j = 805 - 14. Suppose 2*w + j = d, d - 423 - 365 = w. Is d composite?
True
Suppose -4 = -2*q - 2. Suppose -5 = -3*d + q. Suppose -p = -3*x - 3*p + 15, x - 9 = -d*p. Is x prime?
True
Let x(o) = -354*o - 19. Is x(-14) composite?
False
Let i(t) be the second derivative of -t**3/6 + 15*t**2/2 + 2*t. Is i(9) a composite number?
True
Suppose -3*q = q - 72. Suppose -2*s - 3*v - 16 = 0, 2*v + q = -4*s + 3*v. Let m(y) = -9*y + 4. Is m(s) composite?
True
Let b(x) = -x**2 + 4*x. Let l be b(4). Suppose 5*p - 101 - 14 = l. Is p a composite number?
False
Let t(v) = -88*v + 5. Is t(-12) prime?
True
Suppose -5*u + 16175 = -0*u. Is u composite?
True
Let r(q) = -6*q + 1. Suppose 4*n + 15 + 5 = 0. Is r(n) a prime number?
True
Let p = 3 - -1. Suppose -7*i + 2*i - 2*j = -203, p*j = -2*i + 94. Is i a composite number?
True
Let q(i) be the second derivative of i**5/20 + i**4/12 - i**3/6 + 11*i**2 + 8*i. Is q(0) prime?
False
Let w = -4 + 65. Let q = 402 - w. Is q a composite number?
True
Let c(l) = -l**3 - 8*l**2 - 3*l + 1. Is c(-9) prime?
True
Let l(d) be the third derivative of -2*d**2 + 0*d + 1/6*d**3 + 0 - 13/24*d**4. Is l(-1) a prime number?
False
Suppose -2*l - 558 = -4*z - 5*l, 5*z = 5*l + 680. Suppose -g = -k - z, -2*k + 1 + 1 = 0. Is g a composite number?
False
Suppose 3*j - 356 = -41. Suppose 0*c - j = -5*z + 2*c, 130 = 5*z + 3*c. Is z a prime number?
True
Let s = -5 - -11. Suppose 3*n = s*n - 93. Is n composite?
False
Is (803 - -4)*(-4)/(-12) a prime number?
True
Suppose -16 = -2*v - 0*v. Is 24/v - 4*-12 a prime number?
False
Let k be (-6)/(-4) - (-1940)/8. Is (k/4)/((-1)/(-5)) prime?
False
Let i = -23 + 37. Let g = i + 73. Is g a prime number?
False
Suppose 564 = 12*l - 6984. Is l composite?
True
Let p(a) = a**3 + 3*a + 9. Is p(4) composite?
True
Let u(g) = 325*g**2 - 8*g - 1. Is u(-2) prime?
False
Is 2707 + (0/(-2))/(-2) prime?
True
Suppose -j - 2*j + 345 = 0. Suppose 0 = -3*v - 2*v - j. Let o = 60 + v. Is o a prime number?
True
Suppose -7*f + 466 + 2663 = 0. Is f prime?
False
Suppose 3*g - 51 = -3*c, 0*c = 5*g - 3*c - 101. Is g a prime number?
True
Let n(r) = r**2 + 3*r + 5. Let b be n(-4). Suppose 3*m + 3*a = m - 4, 0 = m - 2*a + b. Let s = 11 + m. Is s composite?
True
Suppose 0 = -3*d + 2*r - 0*r + 203, -132 = -2*d - 2*r. Is d a prime number?
True
Let q(h) be the first derivative of -25*h**2/2 - 3*h + 1. Is q(-2) composite?
False
Suppose 3*u - 17 = f - 2*f, 5*f + 4*u = 74. Is (-1 + -1)/((-4)/f) composite?
False
Let a(k) = 7*k**2 + k - 3. Let v be a(-4). Let r = v + -48. Is r composite?
True
Let d be -1 - -3 - 564/4. Let a = d - -198. Is a prime?
True
Let a be (-4)/(-10) - (-8)/5. Suppose -z + 99 = a*z. Is z a composite number?
True
Suppose 3*h = -5*y + 409, -y + 2*y = h - 147. Let x = h - -27. Suppose 6*l - 4*l = x. Is l composite?
True
Let m be 24/9*3/2. Suppose 3*x - 4*r = 82, 4*x = r - m*r + 101. Is x a prime number?
False
Let u(d) = -d**3 + 5*d**2 + 4. Let j be u(4). Suppose 0 = 5*r - 10 - j. Let q = 4 + r. Is q composite?
True
Suppose 0*t = t - 2. Suppose 0 = 4*s - t*s. Is 3*(93/9 + s) a prime number?
True
Let r = -154 - -273. Is r prime?
False
Suppose -297 + 54 = 3*w - 3*i, -2*w - 3*i = 167. Let n = w + 9. Let j = 104 + n. Is j prime?
True
Suppose -12*k = -17*k + 475. Is k prime?
False
Let m(r) be the second derivative of r**4/12 + 7*r**3/6 + 5*r**2/2 - 2*r. Let y be m(-6). Let x(s) = -60*s - 1. Is x(y) a composite number?
False
Let j be (0 + 5)/(2/2). Suppose j*r - 2 = -w, 0 = -2*w + 3*w + 2*r - 2. Suppose -a - 53 = -w*a. Is a a composite number?
False
Suppose -3*u + 5*n + 95 = 3*n, -3*n = 12. Let m be (-2 - 0/(-4)) + -6. Let f = u - m. Is f a prime number?
True
Let r(z) = -19*z**3 - 3. Is r(-2) prime?
True
Let s = -6 - -16. Let r = -22 + s. Is (50/8)/((-3)/r) composite?
True
Let a = 91 - 6. Is a a composite number?
True
Let w(h) = -2*h**2 + 1 - 2*h**2 - 4*h + 7*h + 6*h**2. Let g be w(-2). Suppose -m - 166 = -g*m. Is m a prime number?
True
Let u be 1589/(-14) + 3/(-2). Let b = u + 64. Let f = b + 138. Is f composite?
True
Let x be 2 - 4 - -176 - 3. Suppose -2*z - 2*z = b - x, -3*b + 169 = 4*z. Is z a composite number?
False
Let j = 4 + -2. Suppose p + 0 - j = 0. Suppose i + 95 = p*w, 4*i - 169 = -4*w - i. Is w prime?
False
Let o(k) = 2*k**2 + 2*k - 7. Let g be o(-5). Let l = 51 - g. Suppose l = -3*v + 303. Is v prime?
False
Suppose -3803 = -5*p - 88. Is p a composite number?
False
Let t(p) = 2*p**2 - 3*p + 7. Let h be 17*2 + (-2 - 0). Suppose 5*l - 3*c + h = -c, l - 5*c = 12. Is t(l) a composite number?
True
Let d be 25/(-2)*288/(-30). Let a = -55 + d. Is a prime?
False
Suppose 2*b - b = -2*v - 4, -4*b - 26 = -2*v. Is b + 3 + 0 + 6 a prime number?
True
Suppose -5*g - 3495 = -3*m, m = 5*g + 595 + 570. Is m prime?
False
Let r = 18 - -2. Is 1*(0 + 1) + r composite?
True
Suppose 0 = 3*g - 2*g - 4, -2122 = -3*j - g. Is j a prime number?
False
Suppose -h - 9 = -0*h. Let z = h - -1. Is 1/4 + (-774)/z a composite number?
False
Let w(y) = 9*y**2 + 7*y - 15. Is w(-7) prime?
False
Suppose 0 = -5*d + 3*k + 9, -d + 5 - 12 = -5*k. Suppose -o = -d*o. Is -1 - (o - (22 - -2)) a composite number?
False
Suppose 5*l = -0*l + 575. Is l a prime number?
False
Let s(r) = 6*r - 3. Let b be s(3). Let o be -6*(b/(-6) + -1). Suppose v - o =