 composite?
True
Let j(a) = -109*a + 14. Is j(-11) a composite number?
False
Let l(s) = -2*s - 8. Let u(i) = -i - 3. Let h(k) = -5*l(k) + 12*u(k). Let c(a) = a**3 + 5*a**2 + a - 4. Let n be c(-5). Is h(n) composite?
True
Let q be 1/(-4) + 223/(-4). Let p be (q/6)/((-6)/333). Suppose -p = -3*c + 151. Is c a prime number?
True
Let k be 1 + 36 - (-2)/(-2). Is (k - 2)/(4/10) prime?
False
Let z(o) = -o**3 - 6*o**2 - 5*o - 2. Let n be z(-5). Let j be 2/((-3)/(n - 157)). Let p = j + -53. Is p composite?
False
Suppose -4*n + 1253 = -5951. Is n prime?
True
Let m = 5 + 1. Suppose m = 5*t + 221. Let p = 62 + t. Is p composite?
False
Let n = 3 + -1. Is (-10)/(-8)*n*4 prime?
False
Let f(w) = 194*w**2 - 1. Let d be f(-2). Suppose 0 = c - 5*z - 298, 2*c - 3*z + 186 = d. Is c a composite number?
False
Let m(z) = 2*z**3 + 11*z**2 - 4*z + 10. Let k be m(-10). Let w be k/(-15) + (-4)/6. Let o = 103 - w. Is o a prime number?
True
Let w = -870 - -1623. Is w a prime number?
False
Let u(n) = 14*n + 30. Is u(16) a prime number?
False
Let g(s) = -s. Let u be g(-4). Suppose u*x = 1 + 7. Suppose -x*y + 29 = 5*r - 277, 3*y + r = 485. Is y a composite number?
False
Let q(b) = -b**2 - 17*b + 10. Is q(-13) composite?
True
Is 1 + 15/(-9) - (-3515)/3 prime?
True
Suppose 2*o - 8 = 0, 0 = 5*s - 2*s + 5*o - 485. Is s a prime number?
False
Let q = -19 + 122. Is q a composite number?
False
Let x(k) = 4*k - 5. Let i be x(-6). Let p = -19 - i. Let h = 3 + p. Is h composite?
False
Let v = 562 + -41. Is v a prime number?
True
Let b(x) = -29*x**3 - 8*x**2 - 8*x - 27. Is b(-4) a prime number?
True
Let s(i) be the first derivative of -2*i**3/3 - 2*i + 3. Let a be s(3). Let o = -10 - a. Is o prime?
False
Let z(u) = -u**3 - 2*u**2 + 5*u - 2. Let w be z(-4). Let b(a) = 2*a**2 - 13. Is b(w) a composite number?
True
Suppose 4*p - 269 = -5*w, 5*p = 5*w + 6*p - 266. Let d = -18 + w. Is d a composite number?
True
Suppose -t = 3*t + a - 3, 3*a = -15. Suppose -t*i = -171 + 35. Suppose b = -3*g - 0 + 17, -i = -5*b + 2*g. Is b a composite number?
True
Let r = 2307 + -830. Is r prime?
False
Let y(i) = -4*i**3 + 6*i + 7. Let m(z) = -3*z**3 - z**2 + 5*z + 6. Let l(o) = -5*m(o) + 4*y(o). Is l(4) a composite number?
True
Suppose 739 = -21*p + 22*p. Is p prime?
True
Suppose 4*g - 1034 - 4722 = 0. Is g a prime number?
True
Suppose 92 = -3*b + 728. Let p be 0 + 3 + 0 + -1. Is ((-2)/(-4))/(p/b) prime?
True
Let v = 1346 - 715. Is v prime?
True
Let q = 5 + -3. Suppose -6*t - 2 = -q*u - 4*t, 0 = 4*u + 4*t - 44. Is 4/(-6) + 538/u composite?
False
Suppose 3*u + 10 = 34. Let b be (u/3)/((-4)/(-54)). Suppose c - 1 = b. Is c prime?
True
Let j = 2895 + -1576. Is j a composite number?
False
Suppose 4*s - 45 = 135. Suppose -x + 4*p = 7*p - 29, -x + 5*p = -s. Is x a prime number?
False
Let q(b) = b**3 - 4*b**2 + 6*b - 5. Let u = 14 + -8. Let v be 7 + 1/(-2)*u. Is q(v) composite?
False
Suppose 372 = 3*d + 33. Is d prime?
True
Suppose 0 = 2*w + m - 14, -5*w + 0*w + 4*m = -48. Suppose 2215 = -3*f + w*f. Is f a prime number?
True
Suppose -1564 = 13*m - 4866. Is m prime?
False
Let x = -6 - -6. Suppose -b - 4*b = x. Let y(p) = p**3 + p**2 + 265. Is y(b) prime?
False
Let r(x) = 22*x**2 + 2*x - 1. Let l = 4 - 6. Is r(l) a prime number?
True
Suppose -3*k = 3*b + 138, -3*k + 5*b - 64 = 114. Let s = 64 - k. Is s a prime number?
False
Let q = 0 + 2. Is 21/(3 - q) + 0 prime?
False
Let k = 2 - -15. Let v be (-1)/3 - k/3. Let f = 20 - v. Is f composite?
True
Suppose -2145 = -5*p + 2*p. Let t = 1362 - p. Suppose -52 = 5*b - t. Is b a composite number?
True
Suppose 2*x - 26 = -0*x. Is x prime?
True
Suppose -4555 = -z - 4*z. Is z composite?
False
Suppose 0*t + 3*f = -4*t + 482, -3*t + 363 = 3*f. Is t prime?
False
Suppose -4909 = -s + 4*x - 0*x, -4*x = -4*s + 19600. Is s prime?
False
Let q(o) be the first derivative of 38*o**3/3 + o**2/2 - 4*o - 3. Is q(-3) prime?
False
Let n = -11 - -18. Suppose n*o = 3*o + 748. Is o prime?
False
Suppose 0 = 3*x + l - 12, 0 = 5*x - 0*l + 2*l - 21. Suppose 5*r = -x*p - 63 + 168, -r = -5*p + 7. Let s = 65 - r. Is s a composite number?
False
Suppose 3*c - 62 = 256. Is c a prime number?
False
Suppose 913 - 77 = 4*m. Is m composite?
True
Let u = 587 - 314. Suppose -7*l - u = -10*l. Is l a composite number?
True
Let l = 3 - -9. Suppose -4*r + 0*q + l = -4*q, 4*r + q - 7 = 0. Suppose x + 69 = r*x. Is x composite?
True
Suppose -4*y = -3*t - 35, 3*t = -0*y + y - 11. Suppose -790 = 6*n - y*n. Is n composite?
True
Suppose 3*q + l + 110 = 7*q, -5*l = -2*q + 46. Is (q/6)/(2/33) composite?
True
Let v = 7 + -7. Suppose -3*s - 285 = -5*l - s, v = -4*l - s + 215. Is l a composite number?
True
Let m be (-1 + 0)*(15 + 1). Let d = m - -36. Let p = d - -59. Is p a prime number?
True
Let b(x) = 23*x**2 - x. Is b(-2) a composite number?
True
Suppose -x - 3*x + 323 = 5*a, -4*a + 3*x = -277. Is a composite?
False
Suppose -2*m + 2*v - 156 = 0, -3*m + 6*v - 239 = 2*v. Let p = m + 104. Is p a prime number?
True
Suppose 0 = t + 3, -2*t = 2*f + 3*t - 353. Suppose -4*p = -4*j + 5*j - 176, 3*j = -4*p + f. Let l = p - -4. Is l a prime number?
True
Let h(d) = 22*d**2 - 15. Is h(-5) a prime number?
False
Let b be -1*(-2 + 0/(-3)). Is (37/b)/(8/16) a prime number?
True
Let g(d) = 2*d + 1 - 2 - d. Let j be g(3). Suppose 3*l = 4*c + 23, 4*c = 3*l - j*l + 3. Is l a composite number?
False
Let z(p) = p. Let m(w) = 24*w - 6. Let v(i) = m(i) - 30*z(i). Let s be v(5). Is s/(6/(-2)) - -1 a composite number?
False
Let v = -7 - -12. Let m = 8 - v. Suppose -s = m*i - 53, -i + 53 = s + i. Is s a composite number?
False
Let x(v) = -46*v - 37. Is x(-9) composite?
True
Let m = 158 - -314. Let q = -261 + m. Is q prime?
True
Suppose -4*c + 273 = -c. Is c a prime number?
False
Suppose 53*j = 56*j - 2553. Is j composite?
True
Suppose r - 4*h + 1 = 38, 2*r = -3*h + 30. Suppose o - r = -2*o. Is o prime?
True
Let x be ((-21)/(-2))/((-2)/4). Is 1 + -1 + x/(-1) prime?
False
Let d(c) = -c**2 + 5*c. Let v be d(5). Let k(y) = y**2 + 133. Is k(v) a composite number?
True
Let m(n) = -19*n + 13. Let p(g) = 38*g - 27. Let r(s) = -7*m(s) - 3*p(s). Is r(7) a composite number?
True
Suppose 5*g + 2 = 17. Suppose -3*z = 3*m - 1035, 3*z - g*m = -2*m + 1019. Is z composite?
True
Let t = 135 - 31. Let c = t - -53. Is c a prime number?
True
Is (-20571)/(-7) + -2*6/(-42) a composite number?
False
Suppose -3*v - 4*l + 451 = 0, 5*v - l - 746 = 21. Let a = 2 + v. Is a composite?
True
Let c(f) = 28*f - 7. Is c(5) prime?
False
Let u(s) = 35*s**2 - s - 19. Is u(-6) a composite number?
True
Suppose 2*d + d - 231 = 0. Is d a prime number?
False
Suppose -2*g + 5*g + 6 = 0, -5*g + 222 = 4*n. Is n a composite number?
True
Let v = 2506 + -1428. Let j(o) = 92*o**3 + 4*o**2 - 4*o + 3. Let y be j(2). Let u = v - y. Is u a composite number?
False
Suppose 3*k - 6*c + 4*c = 1103, 0 = 5*k - 5*c - 1830. Is k composite?
True
Let x = 25 + -19. Let y be 28*-1*1/2. Is (y/x)/(3/(-9)) composite?
False
Let v(a) = a**2 - 3*a - 4. Let n be v(4). Let p(f) = f**2 + f + 3. Let g be p(n). Suppose s - g*b - 204 = -85, -2*b - 119 = -s. Is s a prime number?
False
Let n = -97 + 186. Is n a composite number?
False
Let m(y) = -57*y - 13. Is m(-12) prime?
False
Let b = 21 - 16. Suppose 2*h - 20 = -2*h. Suppose b*i = 5*f - 350, h*f - 4*i = -6*i + 343. Is f a prime number?
False
Suppose -3*z - 5*o = -644, 0*z + 1125 = 5*z - 2*o. Is z prime?
True
Let p = -315 - -442. Suppose -m + 2*m = p. Is m composite?
False
Let s(q) = -96*q + 5. Is s(-3) a prime number?
True
Let n = 7 + -7. Let q be n + 1 + -1 + 3. Suppose q*l - 8 = 25. Is l prime?
True
Let h be 1236/8*4/2. Suppose 0 = -5*l + h + 736. Is l prime?
False
Suppose -4*r + 324 = -4*n, -4*n + 101 = 4*r - 239. Is r a composite number?
False
Let z(t) = 35*t**3 - 5*t**2 - t - 2. Is z(3) a prime number?
False
Let q(v) be the first derivative of -v**7/840 + v**6/72 + v**5/120 + v**4/8 - 2*v**3/3 + 1. Let p(u) be the third derivative of q(u). Is p(4) prime?
True
Let j = -132 - -188. Suppose f + j = 5*f. Is f a composite number?
True
Let v(j) = -j**3 + 6*j**2 - 5*j + 3. Let q be v(5). Suppose -3*m + 3*k = -936, -2*k = -q*m - 4*k + 911. Is m a composite number?
False
Suppose 2031 + 2614 = 5*k. Suppose -5*m - k = -8329. Is m/32 - 1/4 a prime number?
False
Suppose 3*g + 2*f = 27 +