4)/(-63) - 15735/(-27) a composite number?
True
Let o = -42 + -107. Let w = o + 228. Is w composite?
False
Suppose 0 = 5*m - 3*b + b - 8713, -16 = 4*b. Is m prime?
True
Let j(h) = h + 118. Suppose 3*o - 4 = 14. Suppose d = o*d. Is j(d) composite?
True
Let x(k) = -29*k - 1. Suppose 2*o + 2*o = -16. Is x(o) composite?
True
Suppose 2*z + z - 12 = 0, d + 3*z - 2317 = 0. Is d prime?
False
Suppose -411 = -2*h - h. Let w = 232 - h. Is w prime?
False
Let r = 73 - -48. Is r a prime number?
False
Let c(u) = -u**2 - 5*u + 6. Let k be c(-6). Suppose 202 = 3*d - 2*l - 181, k = 3*l - 15. Is d prime?
True
Let x be (1/3)/((-4)/(-12)). Is (2 + -3)*x - -300 prime?
False
Let u(a) = 31*a**2 - a + 5. Is u(-3) a prime number?
False
Let n = -18 - -20. Suppose -i + n*q = 26 - 391, -3*q = -9. Is i composite?
True
Let i(y) = -y**3 - 5*y**2 + 14*y + 13. Is i(-9) a composite number?
False
Let v = -129 - -248. Suppose 20 + v = l. Is l prime?
True
Let w = -282 + 493. Is w a composite number?
False
Suppose -c - 562 = -3*u, -u + 185 = -c - 3. Is u prime?
False
Let y = 2 + 0. Let u(r) = -3*r**3 + 3*r + 1. Let c be u(-2). Suppose 4*f - t = 88, t + c = 3*f - y*f. Is f prime?
True
Let d be (1 - (2 - 2))*1. Is 0/(-3) + 84 + d a composite number?
True
Suppose 0 = -2*q + 14 - 2. Let i(v) = 4*v + v**2 - 3 + 5*v - 5 + 3. Is i(q) a prime number?
False
Let l(a) be the third derivative of a**5/60 - a**4/24 + 499*a**3/6 - 6*a**2. Is l(0) a prime number?
True
Let i(k) = k**3 - 6*k**2 - 6*k - 2. Let z be i(7). Suppose -z*r + 4 = -6. Suppose r + 9 = p. Is p a prime number?
True
Suppose 0 = z - 3*z + 4*p + 1354, 4*p - 647 = -z. Is z composite?
True
Suppose -2*w + 548 = -5*x, -6*w + 822 = -3*w + 4*x. Is w a prime number?
False
Suppose -598 = -5*j - 0*j + r, -5*j + 2*r + 601 = 0. Is j a prime number?
False
Let z(h) = -484*h**3 + 2*h**2 - 1. Let y be z(-1). Suppose -u + 6*u - y = 0. Is u prime?
True
Let r(i) = -11*i**2 + 5*i - 1. Let j(p) = p**2 - p. Let l(b) = -6*j(b) - r(b). Is l(2) a composite number?
False
Let p(v) = 122*v + 23. Is p(7) a prime number?
True
Let a(v) = 4*v**2 + v - 1. Suppose -4*m + 5*d = -100 + 29, -4*d = 12. Let z = m + -8. Is a(z) prime?
True
Suppose -2*n + 435 = 3*n. Is n a composite number?
True
Suppose -b = 3 - 5. Suppose 7 = b*h - 5. Suppose h*o - 14 = 4*o. Is o prime?
True
Let l(t) = 2*t**3 - 4*t**2 - 5*t + 5. Let d(z) = -z**3 - 10*z**2 - z - 4. Let x be d(-10). Let f be l(x). Suppose -5*c + f - 78 = 0. Is c a prime number?
True
Let d = 11 + 0. Suppose 3*z + d = -1, 451 = 5*a + z. Is a composite?
True
Is 38 - (0/1 + 1) a composite number?
False
Suppose -2*c - 2 = -6. Suppose -3*k + 104 = o, c*k - o - 100 = -k. Is k a composite number?
True
Let d be (-34)/(-8) + (-3)/(-4). Suppose d*u - 395 = -110. Is u a prime number?
False
Suppose -6*r + 1644 = -0*r. Is r prime?
False
Suppose -7 = 2*z - 1. Let t be 6/z + 79 + -2. Let p = t - 53. Is p a composite number?
True
Let g = -2 + 9. Let q(x) = 2*x**2 + 6*x + 3. Is q(g) a prime number?
False
Let r(q) = -q. Let m be r(-6). Suppose 4*f = -3 - 1, -m = c + 3*f. Let g = 8 - c. Is g a composite number?
False
Let y = -3 + -1. Let z = 3 + y. Is 35 + ((-2)/2 - z) a composite number?
True
Let s(m) = -3*m**3 + 3*m**2 + 3*m + 1. Is s(-2) composite?
False
Let g be (2 - (-27)/(-3))/(-1). Suppose 0 = 3*o - 4*q + 2, 5*o = o + q - g. Is (-231)/o*(-10)/(-15) composite?
True
Suppose 5*l - 42 = -12. Is l prime?
False
Is 1 + 0 - (-406 + 0) a composite number?
True
Let i be (-948)/(2/(4/(-3))). Let l be (i/(-12))/((-1)/3). Suppose 2*y - 2*k - 69 = 93, -l = -2*y + k. Is y prime?
False
Let x be (-3)/(-9) + 2/3. Let a(r) = 3*r**2 + 1 + 17*r**2 + 0. Is a(x) prime?
False
Let o(d) = 2*d**2 + 5*d + 6. Let n be (-1 - 4) + -1 + -2. Let s be o(n). Suppose -2*j + 76 = -s. Is j a composite number?
True
Let g be (-6)/(1300/(-324) + 4). Is g + 4/8*-8 prime?
False
Let f(x) = -x**3 - 4*x**2 - 4*x + 7. Let s(y) = -2*y**3 - 8*y**2 - 7*y + 14. Let u(j) = -11*f(j) + 6*s(j). Is u(-5) composite?
True
Let m(a) = -a**3 + 13*a**2 - 9*a - 25. Is m(11) a prime number?
False
Suppose d - 6*d = -4*u - 12, 15 = -2*d - 5*u. Suppose 4*y = -s, 5*s + 2*y - 18 = -d*y. Suppose -3*c - t + 3*t + 24 = 0, -s*c + 33 = -3*t. Is c prime?
False
Let y(z) = 2*z**2 + 5*z - 7. Suppose -5*b + 3*b + 4 = -4*l, -2*b + l + 4 = 0. Suppose -b*i - 4 = -16. Is y(i) a prime number?
False
Is 41/1 - (-7 - -10) composite?
True
Let q(c) be the second derivative of c**5/20 - 3*c**4/4 + 2*c**3 - c**2/2 - c. Suppose -i + 28 = 3*l, 0 = i - 2 - 2. Is q(l) a prime number?
True
Let v(n) = 155*n + 6. Let z be v(-5). Let r = -375 - z. Is r prime?
False
Let n be 1/3 - 322/(-6). Suppose -n = -r - 2*a + 6*a, -r - 2*a = -24. Is r prime?
False
Is (3 - (-2023)/21)/(4/6) a composite number?
False
Let g be (16/(-8))/((-1)/66). Let o = 127 - -60. Let c = o - g. Is c a composite number?
True
Suppose 4*a - 12 = 0, 5*n + 2*a + 2*a - 3497 = 0. Is n a prime number?
False
Let s = -36 - -15. Let y = s - -40. Is y prime?
True
Let w = -91 - -498. Is w composite?
True
Is (-3 + (-352 - 4))/(-1) a composite number?
False
Suppose 4*d - 85 = 5*j, 5*j = -2*d + 3*j + 20. Is d composite?
True
Let z(p) = -p**3 - 4*p**2 + 3*p - 7. Let a be z(-5). Suppose -3*d - a*i = 6, -4*d - 2*i - 4 = d. Suppose d*c = -c + 35. Is c prime?
False
Let q(z) = -1276*z - 4. Let l be q(-3). Is l/64 + 6/(-8) composite?
False
Let d be (-4)/5 + 2440/50. Suppose -d = -2*z - 2. Is z prime?
True
Suppose 4*z + z + 3*d + 3 = 0, 3*d = -4*z. Is z/(-7) + 319/7 a composite number?
True
Suppose 2*b = -2*d + 72, -5*d = -5*b - d + 180. Let n = b + -11. Suppose -i + n = -6. Is i a composite number?
False
Let x(j) = -j**3 - 4*j**2 + 4*j - 2. Suppose m = -2*z + 13, -3*m + 23 = -z + 3*z. Let r be (-10)/(-4)*z/(-2). Is x(r) a prime number?
True
Suppose 0 = 32*n - 30*n - 382. Is n composite?
False
Let t(o) = 14*o - 5. Let h = -6 + 10. Is t(h) prime?
False
Let g be 15*2*3/(-15). Suppose 3*r + 1 + 17 = 5*u, 0 = 2*u - r - 7. Is 28/u - 4/g prime?
False
Let p(x) = x**3 + 6*x**2 + 3. Let h be p(-6). Suppose a = h*a + 64. Let u = -18 - a. Is u a composite number?
True
Suppose r = 4*c + 4, 4 = 2*r - 4*c - 0. Suppose -3*t - 5*m + 266 = 0, 89 = t - r*m + 2*m. Is t composite?
True
Suppose h - 2 = 3. Let g(b) = 2*b**2 + 3*b - 6. Is g(h) a prime number?
True
Let k(p) be the third derivative of 37*p**4/12 - 3*p**3/2 - p**2. Is k(4) prime?
False
Let s(j) = 6*j + 3. Let t(n) = 29*n + 15. Let y(q) = 11*s(q) - 2*t(q). Let z = 13 - 9. Is y(z) a prime number?
False
Let k = -290 + 609. Is k composite?
True
Suppose 94 + 8 = 3*o. Is o prime?
False
Suppose 3*g - 17 - 1 = 0. Let l be g + (1 - 1)/2. Suppose 3*u + 105 = l*u. Is u a composite number?
True
Suppose 0*c - 4665 = -5*c. Is c a prime number?
False
Is -23*(-1 - -21)/(-4) a prime number?
False
Let c(t) be the first derivative of t**3/3 + 3*t**2 + 6*t - 4. Is c(-13) composite?
False
Let r be (-117)/21 - 6/14. Let f(h) = 3*h**2 + 8*h - 5. Is f(r) prime?
False
Suppose -4*s + 12 = 0, 3*h + 3*s - 406 = 2*h. Is h a composite number?
False
Let z = 22 - 19. Is z a composite number?
False
Suppose 5*v + 0*q = 5*q + 25, -2*v - 3*q = 10. Suppose -4*r + 13 - v = 0. Is r a prime number?
True
Let c = -3 + -4. Let t(i) = i**2 + 5*i + 5. Is t(c) a composite number?
False
Suppose 15 + 1 = -4*c. Let b(p) = p**3 + 5*p**2 - p - 7. Is b(c) a composite number?
False
Is (-5775)/(-30) - (7/2 + -2) a composite number?
False
Suppose -i - 68 = -2*o + 3*i, 2*o - 67 = 3*i. Let q = -20 + o. Suppose -v = 3*v - q. Is v composite?
False
Suppose 5*j - 250 = 85. Is j a prime number?
True
Suppose -17 = 3*a - 2. Let k be 5*(3 + 9/a). Is -2*(0 + (-147)/k) a composite number?
True
Suppose -2 = 3*v - 2*g - 17, 0 = -g. Suppose 5*b + 4*x - 3 = x, -v*b = 2*x - 7. Suppose -b*o + 140 = o. Is o a composite number?
True
Let n(d) = d**2 + 4*d + 6. Let t be n(-7). Is (-6)/t + (-191)/(-9) prime?
False
Suppose v - 1 = 2*k - 4, 4*k = -2*v + 18. Is (k/(-6))/(2/(-2212)) composite?
True
Suppose 0 = 5*g - 0*g - 150. Suppose a - 2*k + 1 = -4, 3*k - g = -3*a. Is a/(5/4) - 2 composite?
False
Let p be (-2456)/(-12) - 1/(-3). Suppose 0 = 3*r + 2*u - p, -r + 72 = -u - 2*u. Is r a composite number?
True
Let k(t) = -2*t + 6. Let q be k(6). Let y(j) = 4*j**2 + 4*j + 10. Let h(r) = -3*r**2 - 4*r - 9. Let d(x) = 5*h(x