 - o) a prime number?
True
Let t = -28 - -81. Is t composite?
False
Let q(d) = -11*d - 2. Let m(g) = -5*g**3 - 4*g**2 + 7*g - 1. Let w(f) = -f**3 - f**2 + f. Let s(i) = m(i) - 4*w(i). Let t be s(2). Is q(t) a composite number?
False
Is ((-27)/(-30) + (-6)/15)*334 a composite number?
False
Let w = 3 - 5. Let p = 5 + w. Suppose -p*k = -34 + 1. Is k a prime number?
True
Let d(l) be the third derivative of 7*l**5/60 + l**4/3 + l**3 - 2*l**2. Is d(-5) prime?
False
Suppose 213 = 4*f - 5*p, -125 - 138 = -5*f + 3*p. Let z = 243 - f. Is z prime?
True
Let z(g) = 2*g**2 - 3*g + 2. Let d be z(2). Suppose -d*t + 5*t + 4 = 0. Is (-2)/t - 65/(-2) composite?
True
Suppose 4*d + 161 = a, 0 = -3*a - 3*d - d + 403. Suppose -a = -2*g + 67. Let c = 199 - g. Is c prime?
False
Let r = -38 + 53. Let q = r + -11. Suppose l - q = 3. Is l a composite number?
False
Suppose 3*z - 3*a + 0*a = 7377, 12295 = 5*z + 2*a. Is z composite?
False
Let c be 2/(-4) + 318/4. Suppose -c = -2*m - 17. Is m a composite number?
False
Suppose 0*c = -c + 2. Is c/(-3) - (-2337)/9 composite?
True
Let t(k) = 24*k - 9. Let j be t(-8). Let v be j/7 + (-2)/7. Is (-1 - -1) + 2 - v a prime number?
True
Suppose 5*y = -4*c + 348, 0*c - c - 3*y = -87. Is c a prime number?
False
Let c = 1283 - 390. Is c composite?
True
Let n(v) = -v**3 - 5*v**2 + v - 8. Let h = -1 + -6. Is n(h) prime?
True
Let u(c) = -41*c + 4. Is u(-3) a prime number?
True
Let m = -30 + 20. Let n(q) = -2*q - 5*q - 4*q - 1. Is n(m) composite?
False
Let y(f) = -1 + 1 + 2 - 15*f. Is y(-5) a composite number?
True
Suppose 0 = -8*l + 12*l - 1324. Is l composite?
False
Let w(l) = l**2 - 2*l - 4. Let d be w(-6). Suppose 4*c - 72 = d. Suppose c + 8 = j. Is j composite?
False
Suppose 4*f = -2*g + 964, 5*g = -4*f - f + 2385. Suppose 5*z = 10, -3*v - 4*z - g = 2*v. Let m = 151 + v. Is m prime?
False
Suppose -y = p - 73, -3*y = 3 - 0. Suppose -4*t + p = -2*t. Is t a prime number?
True
Suppose 3283 = 4*k + 3*k. Is k a composite number?
True
Suppose 4*d = 3*d. Let r be (12 - 2) + -2 + d. Suppose 0 = 3*c - r*c + 185. Is c a prime number?
True
Let y be ((-8)/(-10))/(4/60). Is 109/3 + 8/y a composite number?
False
Let a(n) = n**3 + 11*n**2 - 8*n - 11. Is a(-10) composite?
True
Let n(k) = 3*k**2 - 6*k + 5. Let s be (3/2)/((-2)/(-8)). Is n(s) a prime number?
False
Suppose -4*d + 10 + 2 = 0. Suppose d*q + 5*y - 95 = -0, q + y - 33 = 0. Is q composite?
True
Let w(g) = 342*g**2 + g + 1. Is w(-2) a prime number?
True
Suppose -8*c + 9*c = 819. Suppose w - x + 6*x = 404, x + c = 2*w. Is w a prime number?
True
Let d be (2/4)/((-1)/(-6)). Suppose d*u + 0 - 21 = 0. Is u prime?
True
Let g(l) = l**2 - 2. Let s be g(0). Is ((-2)/6)/(s/18) composite?
False
Let k be 2/((-8)/(-135))*4. Suppose 0*l + k = -5*l. Is (-2)/(-9) + (-1560)/l prime?
False
Suppose 5*i = -54 + 244. Suppose 4*p + 12 = 3*b + 48, 5*p - 2*b = i. Suppose 5*q = -4*s + 96, p*q = q + 20. Is s composite?
False
Let c = -367 + 3198. Is c a composite number?
True
Suppose -2*z - u + 610 = z, 809 = 4*z - 3*u. Is z composite?
True
Let u = 308 - -13. Is u a prime number?
False
Let z = -3 + 6. Suppose z*k - 341 = 349. Suppose -4*x - x = -k. Is x a composite number?
True
Suppose 2*t + 4*r - 1344 = 0, -t + r = -2*r - 647. Suppose -3*g = -5*g + t. Is g composite?
False
Let x be -6 + 4 + 3*-1. Is (-398)/x + 24/(-40) a prime number?
True
Let l(i) = 88*i**3 + 3*i**2 - i - 1. Is l(2) a composite number?
True
Let w be 6 - (5 - (0 + 2)). Suppose w*n + n = 36. Let p(s) = 2*s**2 + 10*s + 7. Is p(n) a composite number?
True
Suppose 0 = -3*u - 25 + 4. Let i(a) = -a - 5. Let q be i(u). Suppose 10 = q*d - 104. Is d a composite number?
True
Let v(k) = 8*k**3 - 7*k**2 + 2*k + 7. Let t be v(5). Let a = -494 + t. Suppose -3*r + a = r. Is r a prime number?
False
Let u = -1179 - -1886. Is u prime?
False
Let q be (-2)/(0 - 2/5). Suppose 2*j + 3*h = -2, 5 = -0*j - q*j - 5*h. Is (0 - j) + 54*1 a prime number?
False
Let v = 7 + 9. Let j be (5 - 3)*(-18)/(-4). Let g = v - j. Is g a composite number?
False
Suppose 2*d + 3*a - 325 = -7, -d + 159 = 5*a. Is d a composite number?
True
Let z(p) = -p**2 - 9*p - 3. Let g(a) = -2*a**2 - 6*a - 10*a - 7 - 2*a. Let h(q) = 6*g(q) - 11*z(q). Is h(-6) a prime number?
False
Let l(i) = 56*i - 39. Is l(4) a composite number?
True
Let b be 0*-3*3/(-9). Suppose b*a + 12 = 3*a. Is ((-47)/a)/((-3)/12) composite?
False
Let r(p) = -p**2 + 23*p + 3. Let t(j) = 10*j - 1. Let k be t(-1). Let s = 21 + k. Is r(s) prime?
False
Let m(c) = -c**2 - 9*c + 10. Let z be (-4)/(-18) + (-184)/18. Let l be m(z). Suppose -3*d + 12 + 6 = l. Is d a composite number?
True
Suppose 3*p = 5675 - 1277. Is p composite?
True
Suppose -2*y + 5*n = -27 + 1, -8 = 2*n. Suppose 3*u + 797 = 2*g, 0 = -3*g - y*u + 87 + 1071. Is g prime?
False
Suppose x - 8 = -3. Suppose -x*z + 15 = -25. Is 2*(-62)/z*-2 a composite number?
False
Suppose -2*f - 57 = -5. Let s be f*14/(-4) - -1. Suppose 0 = 2*n - 4*n + s. Is n prime?
False
Suppose -5*n - 3*v + 1156 = -1336, -2*v + 996 = 2*n. Is n composite?
False
Let i(v) = -10*v - 11. Is i(-6) a prime number?
False
Let u(q) = -363*q + 1. Let b be u(-3). Suppose 0*h - 2*h + 4*x + b = 0, -539 = -h - 4*x. Is h a prime number?
False
Let s = 8 + -4. Let h be (-8)/s + 1 + -60. Let d = h - -110. Is d a composite number?
True
Suppose -7 = 3*q - 1. Let v = 81 - q. Is v composite?
False
Suppose -2*x - 1164 = -3*x. Is 14/((-8)/x*-3) a prime number?
False
Let z be (-2 + (1 - 1))*-68. Let u = -45 + z. Is u prime?
False
Suppose -3*g + 3*v = -11805, -g + 2918 = 3*v - 1025. Is g a composite number?
True
Let g(d) = 56*d + 2. Let c(k) = -k + 8. Let p be c(7). Is g(p) prime?
False
Let o(h) = 10*h**2 - 5*h + 3. Let q = -10 + 14. Is o(q) composite?
True
Let r be ((-34)/(-6))/((-3)/18). Let k = r + 69. Is k a composite number?
True
Let x(o) be the first derivative of -o**3/6 + 77*o**2/2 - 2*o + 3. Let v(i) be the first derivative of x(i). Is v(0) composite?
True
Let c(a) = 3*a**2 + 5. Is c(4) a composite number?
False
Suppose -p - 10 = -2. Let u be (122/4)/((-4)/p). Suppose 209 = 4*r + u. Is r composite?
False
Suppose -5*s + 1 + 19 = 0. Suppose s*b - 1056 = 4*n - 8*n, 0 = 2*b - 2. Is n composite?
False
Let m be -3 + 5 - (-2 + 4). Suppose -4*z + 9 + 3 = m. Is ((-46)/z)/((-4)/6) a composite number?
False
Let d(u) = -u**3 + 7*u**2 + 8. Let l = -5 - -11. Let p be d(l). Suppose 2*f + 2*f = p. Is f a prime number?
True
Let j = -43 - -21. Let u = j - -101. Is u a prime number?
True
Let z(c) be the second derivative of 3*c**5/20 + c**4/12 + c**3/6 - c**2/2 - 2*c. Let n be z(1). Is (-5)/(-2)*24/n a prime number?
False
Let y = 11 + -19. Let i(p) = -p**3 - 8*p**2 - 3*p + 11. Is i(y) composite?
True
Let u be (-2)/(-2) + -3 - -2. Suppose u = -k + 2*k - 93. Is k a prime number?
False
Let f be (2/3)/((-4)/(-18)). Suppose b = f*b - 46. Suppose 376 = 3*c - b. Is c prime?
False
Let w = 1 - -1. Let g be 78/18 + w/3. Let l(b) = b**2 + 3*b - 5. Is l(g) a prime number?
False
Suppose 2*g - 2 = -4*f, -2*f - 2 + 0 = -2*g. Let i = g + 18. Is i a composite number?
False
Let m = 6 + -3. Suppose 0 = -5*v + 2*u + 431, -2*v = v - m*u - 255. Is v a composite number?
True
Let c(m) = 28*m + 23. Is c(16) a prime number?
False
Suppose -6*m + 5*m + 5 = 0. Let y(l) = 8*l**2 - l - 1. Is y(m) a prime number?
False
Suppose 4*g = 5*n - n - 588, 5*g = -20. Is n a prime number?
False
Let q(o) = 2*o**2 - 14*o - 37. Is q(-14) a composite number?
True
Suppose -3*q = -6*a + 4*a - 12, 5*q = -a + 33. Suppose -q*c + c = -325. Is c composite?
True
Let s(o) be the third derivative of 2*o**2 + 0 + 0*o + 0*o**3 - 53/24*o**4. Is s(-1) a composite number?
False
Suppose 2*f - 436 = -r - 3*r, -r + 2 = 0. Is f a composite number?
True
Let p = 123 - -208. Is p prime?
True
Is (-4)/(-10) - 8/(80/(-766)) composite?
True
Let x be (18/9)/(2/3). Suppose x*h - r - 180 = -4*r, 3*h = 5*r + 140. Is h a prime number?
False
Let d(r) = -r**2 + 4*r. Suppose 1 = -2*t + 7. Let i be d(t). Is (i/(-2))/(4/(-56)) composite?
True
Let x(i) be the first derivative of -5*i**2 - 3*i + 3. Is x(-4) composite?
False
Suppose 0 = 4*r - a - 401, -2*r + 198 = 6*a - 4*a. Suppose 233 = 2*w + 5*q, -q + 4*q + r = w. Is w composite?
False
Let i(n) = -n + 9 + 2*n + 5*n + n + 2*n**2. Let u be i(-7). Suppose -5*v + u = -67. Is v a 