-4 - -11. Is n composite?
False
Let c be (3/(-9))/(1/(-153)). Is (c/9)/(2/42) a composite number?
True
Let z(b) be the second derivative of 11*b**4/6 - b**3/3 - b. Let r be z(-2). Suppose 8*h - 4*h = r. Is h composite?
False
Suppose -o + 4 = 0, -3*o + 0*o = -2*h + 184. Suppose x + h = 2*x. Suppose -29 - x = -u. Is u a prime number?
True
Let u(o) = -109*o + 2. Let r(g) = g**3 + 9*g**2 - 11*g - 15. Let s be r(-10). Is u(s) a prime number?
True
Let c(r) be the second derivative of r**3/3 - r**2/2 - r. Let u be c(2). Suppose -3*z = -3*b + 6*b - 84, 0 = -5*z + u*b + 100. Is z prime?
True
Let k = -9 - -13. Suppose 5*q = -w + 1488, k*q + w - 1200 = -3*w. Suppose 4*r - q = -69. Is r a prime number?
False
Let p(b) = 7*b - 1. Let j be p(2). Let f = j - 8. Is f*(-2 + 14/2) composite?
True
Let t(c) be the third derivative of -c**6/40 + c**5/60 + c**2. Is t(-1) a prime number?
False
Let g(v) = -200*v**3 + v**2 - 2*v - 2. Is g(-1) a prime number?
False
Let t(v) = v**3 - 4*v**2 - 5*v + 3. Let n be t(5). Suppose 0*b = n*b + 135. Let h = 64 + b. Is h composite?
False
Suppose -5*u - 3*y + 27 = -4*y, 0 = -3*u - y + 21. Suppose -3*b = -u*b. Suppose 3*c + w = 330, 3*w = -b*w - 9. Is c a composite number?
True
Let u(l) = -l**2 - 17*l - 2. Let c be u(-8). Let q = c - 3. Is q prime?
True
Let a = -4 - -6. Suppose 25 = 2*q - 7. Suppose a*r - 28 = q. Is r prime?
False
Let k(q) be the third derivative of -25*q**4/24 + 5*q**3/3 - 2*q**2. Is k(-7) a prime number?
False
Is 6/42 - 888/(-7) prime?
True
Suppose 0 = -3*k - 3 - 3, 3*c + 333 = -3*k. Let x be (-5284)/22 - (-10)/55. Let i = c - x. Is i prime?
True
Let j = 45 - 22. Let c = j + 104. Is c a composite number?
False
Let b(x) be the second derivative of -x**3/3 - 3*x. Let m be b(-1). Suppose -m*i = 0, -5*t = -0*i - i - 55. Is t a prime number?
True
Is (-1 - (-3 + 2)) + 1262 a composite number?
True
Let d(f) = -18*f - 5. Is d(-8) a composite number?
False
Suppose -l + 565 = -108. Is l prime?
True
Suppose 4*l = -6 + 2, -35 = 3*h - l. Let f be 4/h + (-328)/(-3). Suppose 0 = 2*y + 10, y = -3*i + f - 21. Is i a prime number?
True
Let x be ((-6)/(-9) + 1)*3. Suppose -2*u + 2*f + 91 = -77, 370 = x*u + 5*f. Is u prime?
True
Let t = -3203 + 6225. Is t prime?
False
Let l(s) = -31*s - 9. Is l(-16) prime?
True
Suppose -112 = 2*x - 6*x. Let j(p) = -2*p - 4*p - p**3 - x + 15 - 3*p + 12*p**2. Is j(10) a prime number?
True
Let s be (-2)/(-1) - (0 - 21). Suppose -4*l - 126 = 114. Let t = s - l. Is t a prime number?
True
Let a(t) = -14*t**3 + 2 - 6*t**3 - 1. Is a(-2) prime?
False
Let c(n) = 11*n**3 - 4*n**2 + 3*n - 4. Suppose -i + 4 = -3*s, 6*i = i + s + 6. Let u(m) = m**3 - m**2 + m - 1. Let o(d) = i*c(d) - 4*u(d). Is o(1) composite?
True
Is 1/(-3) - 512/(-6) a prime number?
False
Suppose -5*m + 91 = -694. Is m a composite number?
False
Let y(q) = -q**2 - 3*q - 2. Let a be y(-3). Let g be 1 - (-1 + 0 + a). Is 15*1*g/6 a composite number?
True
Let w be (-2)/7 - (-1087)/7. Let h = -9 + 16. Suppose -2*b - w = -h*b. Is b a composite number?
False
Let r(m) = -6*m - 5. Is r(-2) composite?
False
Let f be (-1)/(-3) + (-1648)/(-24). Suppose 0 = 4*u + 77 + 75. Let q = u + f. Is q a composite number?
False
Let j = 105 - 49. Suppose 5*t - 4*t - 3 = 0. Suppose -j = t*d - 323. Is d a prime number?
True
Let b = 1 - -7. Let z(w) be the third derivative of w**5/60 - 7*w**4/24 + 5*w**3/6 + 2*w**2. Is z(b) a prime number?
True
Suppose 5*n = -20, -i = 3*n - 28 - 7. Is i a prime number?
True
Let s(x) = 2*x - 5. Let r be s(4). Suppose 6 = -3*h + 12. Is r + -1 - (h + -51) prime?
False
Suppose 5*l = 3*m + 988 - 249, -3*l = 2*m - 451. Is l a composite number?
False
Suppose 3*t + 2*u = 4*u + 99, -2*u = 2*t - 56. Suppose t = i - 169. Suppose 5*k - i = -0*y + 5*y, y + 75 = 2*k. Is k a composite number?
True
Suppose -2364 = 15*a - 13509. Is a prime?
True
Let q = -1446 + 2068. Is q prime?
False
Let n(b) = b - 8. Let u be n(-6). Let c = 92 - u. Is c prime?
False
Let s = -1 + 3. Suppose -2*w - 56 = s*n, -3*w - n - 120 = 2*w. Let p = -16 - w. Is p a composite number?
False
Let r be (-57)/(-21) - 2/(-7). Suppose 2*k = k + 1, r*h = -k + 64. Is h a composite number?
True
Suppose -20 - 265 = 5*g. Let b = -4 - g. Is b a composite number?
False
Suppose 0 = 2*t - y - 663, -348 = -t - 0*y - 5*y. Suppose -3*i - 3*x + t = -0*i, 0 = i - 3*x - 127. Is i composite?
True
Let a(v) = v**2 - 4*v - 5. Let r be a(6). Let m be (-1)/(-2)*(977 + r). Is (-10)/(-4)*m/15 a prime number?
False
Suppose 0 = -5*v + 14 + 6. Suppose v*a + 3*o - 6 = -1, -o - 20 = -3*a. Suppose -3*x - 4*d = 2*x - 195, 0 = -a*x + 3*d + 160. Is x prime?
False
Let i(m) = -7*m - 4. Let c be 2/(-10) + 48/(-10). Let l be i(c). Let g = l + -8. Is g composite?
False
Let k = 9 + -11. Let r(o) = -13*o**3 - 4*o**2 - 4*o - 3. Is r(k) a composite number?
True
Let b be 1*(-2 - -2) + -2. Let g be (7 - -3)/(b/(-1)). Suppose -g*n + 296 = -159. Is n prime?
False
Let v = -10 + 14. Suppose v*p - 402 - 14 = 0. Suppose -201 = -5*m - 4*k + p, 5*m + k = 320. Is m prime?
False
Suppose 2*h + 2*w = 1052, -h - 2*w + 263 + 265 = 0. Suppose 5*o + 129 = h. Is o prime?
True
Let j(u) = -7*u**2 - 4. Let d(t) = 13*t**2 + 7. Let o(r) = 3*d(r) + 5*j(r). Is o(-3) a prime number?
True
Let v(d) = -d**3 - 6*d**2. Let z be v(-6). Suppose w = 20 - z. Suppose -w = -h + 13. Is h a prime number?
False
Suppose -491 - 633 = -k - 5*q, 4*q = 2*k - 2290. Is k prime?
False
Let j = 187 + 52. Is j composite?
False
Suppose 3*c + 3*n = 6456, -5*n = -3*n + 2. Is c a composite number?
False
Let r = -16 + 31. Suppose 5*b = 5 - r. Is 191/9 + b/9 a composite number?
True
Is 43767/81 - ((-5)/3 + 1) a composite number?
False
Let t(j) = -11 + 2 + 54*j + 0 + 2. Is t(6) prime?
True
Let v(u) = 9*u**3 + 4*u**2 + u + 5. Let l be v(5). Suppose 0*s + l = 5*s. Is s a prime number?
False
Let l = 1 - 2. Is (652/(-8))/(l/2) a composite number?
False
Let k = 48 - 25. Is k composite?
False
Let f be 3532/6 + (-1)/(-3). Let w = f + -387. Suppose -3*y + w = 4*z, z - 50 - 3 = -2*y. Is z a composite number?
True
Let u(b) = 4*b**2 + 2. Let p be u(-4). Suppose -p = -0*r - 3*r. Is r composite?
True
Let g(v) = -14*v**3 + 4*v**2 + 2*v + 1. Let c(h) = -h**2. Let r(i) = 2*c(i) + g(i). Is r(-1) a composite number?
True
Let l = -1498 + 2585. Is l a prime number?
True
Let r(k) = -17*k**3 - k**2 + 3*k + 2. Let v be r(-2). Let u = v - 63. Is u a composite number?
True
Let q = 26 - 15. Suppose 5*p - 2*r - 125 = 0, -q = -p - 3*r - 3. Is p a prime number?
True
Let m(w) = -12*w**3 - 2*w**2 + 1. Is m(-2) a prime number?
True
Let z = -11 + 15. Suppose -143 = -3*x - 2*n, -2*n - 211 = -z*x - 25. Is x a composite number?
False
Let m be (2/5)/(2/(-190)). Let v = m - -123. Is v composite?
True
Let h be 0 - (0 - 1) - -1. Suppose x + 4*m - 6 = 0, 0*m + h*m = -x + 10. Is x a prime number?
False
Suppose 3*h - 1333 = 4*p, -6*h = -h + 4*p - 2211. Is h a composite number?
False
Suppose 5*x - 701 = d - 2*d, 3*x + 4*d = 407. Is x a composite number?
True
Let q(x) = 24*x + 3. Let y be q(12). Suppose -206 - y = -c. Is c a composite number?
True
Let h(p) = p**2 - 3*p + 3. Is h(-13) a composite number?
False
Suppose 5*y + 13 = -i - 1, 1 = 4*i + y. Let p be (-12)/(-2) - (i + -2). Let o(l) = -l**3 + 7*l**2 + 6*l - 9. Is o(p) a composite number?
True
Let k = 463 + -278. Let t = k - 40. Is t a prime number?
False
Let i be 59/3 - (-1)/3. Suppose -i = -5*f + f. Let n = 10 + f. Is n a prime number?
False
Let b = 229 + -108. Let g be 1/(-2) + 405/(-6). Let p = g + b. Is p a prime number?
True
Let k(y) = -y - 6. Let c be k(-5). Let w be (-1 - c) + (1 - 3). Let f(s) = -2*s**3 - 2*s**2 - 2*s + 2. Is f(w) a prime number?
False
Let x = -836 + 2595. Is x a composite number?
False
Suppose 2*w + 38 = 3*z, -3*w - w + 4*z = 68. Let r(o) = -o**2 - 15*o + 8. Is r(w) a composite number?
True
Let f = 13 + -7. Suppose 0 = 2*h - f*h + 8. Suppose -h*o = o - 57. Is o a prime number?
True
Let y be ((-6)/(-4))/((-3)/(-90)). Suppose -y = -5*r + 5*u, 4*u + 22 + 6 = 2*r. Is r a composite number?
True
Let m = -330 + 547. Is m prime?
False
Let u(o) = -o - 5. Let a be u(-7). Suppose 2*f - a*q - 2 = 0, -q - 31 = -3*f - 5*q. Let d = f - -52. Is d a prime number?
False
Suppose -8 + 4 = -k. Let y be 762/k*4/6. Suppose 0 = 3*f - 50 - y. Is f composite?
False
Suppose -