mber?
True
Let a = 28 + -16. Is 397/(-3*(-4)/a) composite?
False
Suppose w + 1160 = 3*u + 27, u - 391 = -3*w. Is u a prime number?
True
Let y = 112 - -3. Is y a prime number?
False
Suppose 0*g + 2*g + 4 = 0, 28 = -4*k - 2*g. Let c(x) = x**3 + 7*x**2 + 4*x + 7. Is c(k) a prime number?
True
Suppose -4*h = -3*h, 2*k = 2*h + 2374. Is k composite?
False
Let r(i) = -i + 2. Let b be r(2). Suppose b = -x - x + 56. Let h = 51 - x. Is h prime?
True
Suppose 1270 = 2*x - 2*m, -3*x - 3*m + 1873 = 2*m. Is x composite?
False
Suppose q + 2*q - 145 = -w, -q + 41 = 4*w. Is q a prime number?
False
Let n = 1111 - 620. Is n a composite number?
False
Let d(j) = j**3 - 9*j**2 + 3. Let i be d(9). Suppose q - 16 = -i. Is q composite?
False
Let k(b) = b + 1. Let u be k(2). Suppose 14 - 4 = 5*i. Suppose 0 = u*j - i - 28. Is j a prime number?
False
Suppose -9 = -2*f + 9. Suppose -f = 2*r - 1. Is (66/r)/((-2)/4) a prime number?
False
Is (1004/(-16))/(3/(-24)) prime?
False
Let n(m) = -m. Let t be n(6). Let s = -4 - t. Suppose 0 = -4*d + 2*q + s*q + 52, -3*q = -5*d + 69. Is d prime?
False
Let j(g) = 5*g + 11. Let y(d) = -6*d - 10. Let q(s) = 5*j(s) + 6*y(s). Let b be q(-6). Let a = b + -26. Is a a prime number?
False
Let q = -140 + 399. Is q a prime number?
False
Let h(q) = 7*q - 9 + 2 - q**2 + 1. Let v be h(4). Let k(u) = -u**3 + 6*u**2 + u + 7. Is k(v) composite?
False
Let f be (-35)/11 + 2/11. Let i(j) be the third derivative of j**5/4 - j**4/6 - j**3/3 + 7*j**2. Is i(f) a prime number?
False
Let l(u) = -u**2 + 6*u - 3. Let c be l(2). Is 296/c + (-2)/10 a prime number?
True
Let r(q) be the third derivative of 5*q**4/12 - 5*q**3/6 - 2*q**2. Is r(9) a composite number?
True
Let s(z) = -3*z**3 + 5*z**2 - 7. Is s(-5) a composite number?
True
Suppose -2*v - 2*s + 2512 = -s, -2*v + 2514 = 2*s. Is v a prime number?
False
Suppose -7*k - 10934 = -5*t - 4*k, 9 = -3*k. Suppose -8*f = -3*f - t. Is f composite?
True
Suppose -3*x = -58 + 4. Suppose -b + 183 = -4*b. Let q = x - b. Is q composite?
False
Suppose -637 = -5*t - 2*o, 5*t + o - 639 = -3*o. Is t a composite number?
False
Suppose -4*v - 32 = -2*b, -2*v = 4*b - 15 + 1. Suppose -147 = -b*s + 3*s. Is s prime?
False
Is (-318)/(-2)*(-26)/(-78) a composite number?
False
Let x(p) = 82*p**3 + p**2 - 2*p + 1. Let k be x(1). Let o = -8 + k. Is o prime?
False
Suppose -3*s - b + 11380 = 0, 5*s + 5*b - 15079 = 3891. Is s a composite number?
False
Let t(m) = m**3 + 6*m**2 + 4*m - 3. Let u be t(-5). Is u/(-4)*3236/(-2) composite?
False
Suppose -2*f - 22 = -0*f. Let u = f - -15. Suppose u*v = 2*v + 92. Is v prime?
False
Let i = -4 - -6. Suppose 2*t - 5*k + 16 = 0, -2*t + t + k = i. Suppose -3*w + 265 = t*w. Is w prime?
True
Is 10/45 + (-104)/(-18) a composite number?
True
Suppose 4760 = 6*b - 47686. Is b a composite number?
False
Let w be ((-3)/(-2))/(12/32). Suppose -5*h - 54 = -w. Is (-5)/h - 314/(-4) a composite number?
False
Suppose 4 = 2*s - s. Let a = -7 - -12. Suppose a*v = -l + 40, l - s*v = -l + 10. Is l prime?
False
Let a(z) = 4*z - 5. Is a(5) composite?
True
Let k be 571/3 + 6*4/36. Suppose a - 134 - 2 = 0. Let g = k - a. Is g a composite number?
True
Let d be ((-3765)/(-25))/(2/10). Suppose d = 4*m + 45. Is m composite?
True
Let y(d) = d**3 - d + 19. Is y(0) a prime number?
True
Suppose -5*c - 48 = -8. Let z = c + 13. Suppose -z*w + 2*a = -55 - 77, -29 = -w + 3*a. Is w prime?
False
Let t be (136/(-16))/(1/2). Is (2 - (t - 2)) + -2 a composite number?
False
Let s be 1*-2 + 2 + 0. Suppose s = -8*a + 3*a + 20. Suppose -a*n + 45 + 54 = 5*b, b = n + 27. Is b a composite number?
False
Suppose 5*k = 5, k = 5*t - 2*k - 2. Let r(a) = -11 + t - 17*a + 8*a. Is r(-7) composite?
False
Let c = 110 - 33. Let y = c - 18. Is y a prime number?
True
Suppose 2*n - t = -2, -1 = n - 0*n - 3*t. Is ((-3)/1 + -334)*n a composite number?
False
Let k be (-21)/(-3) - (0 - 1). Suppose -2*a = 4*d - 146, -2*d = -4 + k. Is a a prime number?
False
Let i be (-2)/(-4)*0/4. Suppose t + i*t - 22 = 0. Suppose -2*k + t = -0*k. Is k prime?
True
Let r = 9 + 26. Is r a prime number?
False
Let q(m) = m**2 - 5*m + 2. Let g be q(5). Suppose 5*u - 1987 = g*h, -2*h + 4*h = 3*u - 1193. Is u a composite number?
False
Let o(n) = n**2 + n + 17. Is o(-14) prime?
True
Let i(c) = 12*c**2 + 6*c + 1. Let w(y) = 11*y**2 + 5*y + 1. Let u(k) = -2*i(k) + 3*w(k). Is u(-4) prime?
False
Let p = 34 - -45. Suppose 4*w - 379 + p = 0. Suppose -5*f + 0*f = -w. Is f a prime number?
False
Let d(t) = -t**3 + 5*t**2 + 7. Let j be d(5). Suppose j = 3*v - 5. Suppose -2*p + 2*y = -164, p + 134 = 3*p + v*y. Is p a composite number?
True
Let x(d) be the second derivative of d**4/12 + d**3/2 - 3*d**2/2 + d. Is x(5) composite?
False
Let v(p) = -8*p**3 + 7*p**2 - 5*p + 7. Let f(w) = -7*w**3 + 6*w**2 - 5*w + 7. Let q(h) = 7*f(h) - 6*v(h). Is q(-5) a prime number?
True
Let q be (-6)/4*(-12)/9. Suppose -1 = q*s - 11. Suppose -28 = -s*n + n. Is n a composite number?
False
Suppose 5*h = 4*n - 291, -4*n + h + 270 = 3*h. Is n composite?
True
Let l(k) = -k**3 - 20*k**2 - 22*k - 40. Is l(-21) a prime number?
True
Suppose 2*k - 35 = -3*j - 2*j, 3*j + 3*k = 30. Let w(q) = q**3 + 1 - q - 4*q**2 - q + 7*q. Is w(j) a prime number?
False
Suppose 115 = 4*o + o. Let m = -11 + o. Let c = m - -39. Is c a composite number?
True
Let t(o) = -o**3 + 10*o**2 + o + 1. Let r be t(10). Let h be (r - 10) + 1*2. Suppose 18 = h*m - 0. Is m prime?
False
Let x = -8 + 8. Suppose v - 5*j - 94 = x, 3*v - 3*j = 93 + 141. Is v a composite number?
True
Let y = -7 - -4. Let v be 742/6 - 1/y. Suppose 0 = -5*m + m + v. Is m prime?
True
Let f(l) = 3*l**3 - l - 19. Let w(o) = 4*o**3 - o - 19. Let t(z) = -3*f(z) + 2*w(z). Let g = -5 - -5. Is t(g) prime?
True
Let u(b) = 150*b + 4. Let x be u(2). Suppose 2*o - x = 5*q, 2*o - 2*q = -5*q + 320. Is o composite?
False
Let b(z) = z**3 + 7*z**2 + 6. Let n be b(-7). Let f(d) = 1 - d + n - 6*d + d. Is f(-7) composite?
True
Let k(x) = -x**3 - 11*x**2 + 13*x + 16. Let f(l) = 2*l**3 + 11*l**2 - 13*l - 16. Let c(p) = 2*f(p) + 3*k(p). Is c(11) prime?
False
Suppose -709 = -2*q + 4317. Is q a prime number?
False
Suppose 4*q - 5070 = -2*q. Suppose -q - 29 = -4*l - 2*p, 889 = 4*l - p. Is l a composite number?
True
Let a = -33 + 160. Is a a prime number?
True
Let h be ((-1)/2 - -1)*-2. Let g = h + 0. Is 1944/30 + g/(-5) composite?
True
Suppose -138 - 72 = 5*t - 5*z, 4*z + 140 = -3*t. Is (-2)/11 - 3484/t a prime number?
True
Let l = 3 + -3. Let r(a) = a**2 + a + 7. Let p be r(l). Let x(h) = h. Is x(p) a composite number?
False
Suppose a = -4 + 8. Suppose 5*b + 2*w - 15 = 0, a*b - 12 = -3*w + w. Is b a prime number?
True
Let v be ((-6)/8)/((-10)/40). Suppose -v*x + 43 + 41 = 0. Suppose 5*z = 3*z + x. Is z a composite number?
True
Suppose 4*b - m + 86 = 2251, 2*b + 4*m = 1078. Is b prime?
True
Let s = 11 - 4. Is s composite?
False
Suppose 0 = -2*l + 4 - 6, 0 = k + 2*l - 31. Let n = k + -14. Is n composite?
False
Suppose g = -0*g. Suppose -5*x - 15 = g, -5*x + 3*x = 3*l - 627. Suppose 5*o + 5*a + 112 = 457, -4*a = 3*o - l. Is o prime?
False
Suppose 2*m - 120 = -i - 4*i, 4*i - 108 = -4*m. Let p = 31 - i. Is 0*3/p + 2 prime?
True
Suppose -2447 = -5*w + 4*z, -4*w + 2*z = 3*z - 1966. Is w a prime number?
True
Suppose -5*f + w = 31, -2*f - 7 = -f - w. Let h(i) be the first derivative of i**4/4 + 5*i**3/3 - 4*i**2 + 2*i + 1. Is h(f) a composite number?
True
Is (-5388)/(-36)*(3 - 0) a composite number?
False
Suppose 3 = -2*q + q. Let j be 0 + (q - 0 - 18). Let f = j + 88. Is f composite?
False
Suppose 3 + 0 = -3*l. Let c be -2 + (2 - (-229 + l)). Is (c/(-8))/(2/(-8)) a composite number?
True
Let g(m) = 11*m**2 + m + 5. Is g(-2) a composite number?
False
Let k(r) = -r**3 + 11*r**2 - 7*r - 5. Let s be 2 + (4 - -3) + -2. Is k(s) a prime number?
False
Suppose 5*i - 290 = -2*f + f, i = 4*f + 58. Is i composite?
True
Let t(a) = 5*a**3 - a**2 - a + 4. Is t(3) composite?
False
Let b(l) = -l**2 + 4*l. Let m be b(4). Suppose m = 2*z - 267 - 649. Let t = z - 301. Is t a composite number?
False
Let b(p) = -p**2 - 8*p - 3. Let v be b(-7). Suppose y + 0*y = -3*i + 118, -v*i = y - 157. Suppose -l + i = -4*m, -2*m = 4*l - 35 - 31. Is l composite?
False
Let i(s) = -2*s**3 + 7*s**2 - 6*s + 1. Let a = 9 + -15. Is i(a) a composite number?
True
Sup