5) + 5/25. Suppose i = -3*v + 72 + 33. Suppose 2*j = 3*j - v. Is j composite?
True
Let q be (-6 + 7)/((-1)/(-6)). Suppose -595 = z - q*z. Is z prime?
False
Let n = -16 + 201. Is n prime?
False
Suppose -q + 5 = 4. Is (q - 1) + 35 + 0 composite?
True
Let d(w) be the third derivative of w**4/8 + 5*w**3/6 + 2*w**2. Let s be d(5). Suppose 0 = 3*b - 4*l - 59, 3*l + s = 5. Is b prime?
True
Suppose 2*d - 14 = 118. Let i = d - 47. Is i a composite number?
False
Let b be (1 - 16)*2/(-3). Suppose 2*m - m = -4*y - 5, 0 = 4*m + 20. Let i = b - y. Is i a prime number?
False
Suppose 2*b - 2*j - 43 = 583, 5*b - 1577 = 2*j. Is b a composite number?
False
Let t = -9 - -12. Suppose -4*u + 0*u = 5*z - 113, 4*u = -t*z + 71. Is z composite?
True
Let i(n) be the third derivative of n**4/8 + 5*n**3/3 - 5*n**2. Is i(7) a prime number?
True
Suppose 7*u - 4*u - 210 = 0. Let o(w) = -3*w + 1. Let s be o(-1). Suppose j + s*j = u. Is j a composite number?
True
Let u(y) = 27*y**2 - y - 1. Let o be 2*(-4)/24*6. Is u(o) composite?
False
Suppose -3*x + 4*x = 366. Suppose 508 = 4*a + j, x = 5*a + 5*j - 269. Is a a composite number?
False
Suppose 0 = -g + 3*s + 17, g + 4*g = -4*s - 10. Suppose -g*f = -4*h + 38, 0*h + 5*f - 25 = -2*h. Is h*((-4)/(-2) - 1) prime?
False
Is ((-10)/(-20))/((-2)/(-892)) composite?
False
Let m(s) = s**3 + s**2 - 4*s - 1. Let l be m(4). Let q = 17 + -46. Let y = q + l. Is y a composite number?
True
Suppose -18*m + 102 = -15*m. Is m prime?
False
Suppose -9 = 3*n - 0. Is (85/n)/(2/(-6)) a composite number?
True
Suppose -2*z + 5070 = 4*t - 4*z, -t - z + 1266 = 0. Is t a prime number?
False
Let z(q) = -6 - q + 4 - 5. Let h be z(-9). Suppose 0 = 5*a + h*c - 121, -4*a + 5*c = -a - 54. Is a prime?
True
Let v be (-3 - 33) + 0/(-1). Let f be ((-12)/(-4) - -3)*70/(-6). Let x = v - f. Is x a prime number?
False
Let q be ((-28)/(-6))/((-2)/(-6)). Let j be (-26)/(-6) - q/(-21). Suppose j*s - s - 148 = 0. Is s prime?
True
Let f = 382 + -179. Is f a prime number?
False
Let u(c) = -5*c - 1. Let v be u(2). Is v/((-3 - -1)/6) a composite number?
True
Is 1*627 + (-1 + 3 - 6) composite?
True
Suppose g - 439 = 2*s, 2*g - 3*s = -s + 888. Is g composite?
False
Let h(y) = -2*y**3 - 5*y**2 - 11*y - 4. Let t be h(-9). Suppose 5*d + 4*b - 1513 = 0, -3*d - 3*b - 239 = -t. Is d a prime number?
False
Suppose 15*f - 58949 = -8*f. Is f composite?
True
Let s = 1207 + -576. Is s a composite number?
False
Let p(o) = o**2 + 7*o + 8. Let s be p(-6). Suppose s*i + i - 21 = 0. Is i composite?
False
Suppose -3*w - 6 = 0, 6*a - 3*a + 4*w = 10. Is a a composite number?
True
Suppose 3*t - 391 = -v + 150, -t + 195 = 4*v. Is t a prime number?
True
Let u(v) = 2*v + 8. Let z be u(-6). Let c(b) = 3*b**2 + 5*b - 1. Let s be c(z). Suppose -3*i = -3*h - 0*i + s, 0 = 2*h + 3*i - 43. Is h prime?
False
Suppose 0 = -j - 0 + 3. Is 65/2 + j/(-2) prime?
True
Let d(z) = z + 5*z**2 + 0*z - 2*z + z**3 + 2. Is d(-4) prime?
False
Let n = 11 - 11. Suppose 5*w - 220 = -2*v, -236 = -n*v - 2*v + 3*w. Is v a composite number?
True
Let o be (1 + 0)*(1 + -22). Let y be 2/((-6)/o) - -2. Suppose 0 = 2*i + r - 66, 55 = i - y*r + 4*r. Is i a composite number?
True
Let j be 94*2/4 + -2. Suppose 0 = -3*n + 5*u - 35, 5*n = -3*u - 130 + 15. Let b = n + j. Is b a prime number?
False
Suppose 0 = -3*x - f + 865, -4*f = 5*x - 8*x + 845. Is x a prime number?
False
Let x(n) = 33*n + 1. Suppose 0 = -0*f - 2*f. Suppose c = -4*b + 13, f = -3*b - 2*c + 4 + 12. Is x(b) composite?
False
Suppose -3*o + 2092 = -5*w, 3411 = 5*o - w - 83. Is o prime?
False
Let w(g) be the first derivative of g**4 - g**3 + g**2 - g + 3. Is w(2) prime?
True
Let d(o) = 2*o**2 + o**2 - 5 + 3*o**2 - 6*o**3. Is d(-5) a composite number?
True
Let z(k) = -k + 4. Let g be 1 + -4 - (3 - 0). Is z(g) prime?
False
Let a = 104 + 4. Suppose w = 3*w - a. Suppose q - 20 = -x, -2*x - 4*q = -9*q - w. Is x prime?
False
Let u(j) = -2*j + 1 - 6*j**2 + 18*j**2 + 0. Let h be u(-2). Let k = h - 30. Is k a composite number?
False
Let q(g) = 2*g**2 + 3*g - 2. Let k be q(-3). Let t(l) = l**2 + 11*l - 8. Let b be t(k). Let d = b + -81. Is d composite?
False
Let x = 1749 + -746. Is x composite?
True
Is (-4 + -126 + 3)*-1 composite?
False
Suppose 0*p = -p. Suppose 6 = 3*q, 2*y + 2 = 4*q - p. Suppose 0 = y*s + 15, -s = 2*z - 3*s - 252. Is z a prime number?
False
Suppose -4*y = -361 + 93. Is y composite?
False
Let m = 277 + -166. Is m prime?
False
Suppose 2*c - r = -0*c + 1539, -1 = r. Is c a prime number?
True
Suppose 3*f = -14 + 2, -5*g = -4*f - 31. Suppose 1510 = -2*j + 6*j - k, -g*j + 4*k = -1139. Is j composite?
True
Suppose -11*b + 3*b + 16760 = 0. Is b a composite number?
True
Suppose r = -a + 1072, 2*r + 216 = a - 847. Is a prime?
True
Let r be 6 + 4/((-2)/1). Suppose -r*b + 15 = -b. Suppose 2*v + 5*i - 66 + 4 = 0, b*v - 5*i = 85. Is v composite?
True
Suppose 0 = -4*x + 657 + 427. Is x prime?
True
Let q be 4/10 + 17/(-5). Is (285/6 + q)*2 a composite number?
False
Suppose -4*a + 9*a - 19 = 3*d, 0 = a - 5. Suppose -377 = -3*w + l, 5 = -d*l + 13. Is w prime?
True
Let q(f) be the first derivative of f**2/2 + 2*f + 1. Let i be q(0). Is i*((-153)/(-6) + 1) a composite number?
False
Suppose 0 = 4*h - 3*u - 386, -h + 3*u + 196 = h. Is h a composite number?
True
Suppose -v + 0*v + 263 = 0. Is v a composite number?
False
Let a(l) = 13*l**2 + 4*l - 4. Let j = 16 + -11. Is a(j) a prime number?
False
Let d be 83*(2 + (-6)/2). Let o = 240 + d. Is o a prime number?
True
Let i be (-9 + 4)*1*-1. Suppose -i*k = -99 - 1256. Is k prime?
True
Let a(t) = -t**2 + 3*t + 2. Suppose 5*n - 3*h = 32, 0*n - 2*n + 4 = h. Let s be a(n). Is -3 - (s - 0) - -150 a composite number?
False
Suppose 5*x + 0*x = -4*q + 1011, -3*q + 758 = 4*x. Is q composite?
True
Let x(f) = 4*f**2 - 3*f - 8. Let t(d) = -5*d**2 + 3*d + 8. Let y = -14 + 9. Let c(q) = y*t(q) - 6*x(q). Is c(-6) a prime number?
False
Let l be -3*((-4)/3 + 1). Let t(q) = 4*q**2 - 2*q + 1. Let b be t(l). Let u = 12 + b. Is u a prime number?
False
Let m(s) = 27*s - 3. Let g be m(5). Suppose -7 = 5*k + 388. Let j = g + k. Is j composite?
False
Let n(y) = -7*y**3 + 2*y**2 + 2*y - 3. Let x be n(2). Let r be (-4)/((-4)/x) + 1. Let u = r + 71. Is u a composite number?
True
Suppose 38 = 5*i + 2*u, -i - 3*u - 12 = -5*i. Suppose -5*y = -i*y + 65. Is y prime?
False
Let a(i) = 29*i**2 - i - 7. Is a(3) prime?
True
Suppose -3*y + 21 = -0*y. Let f = -37 + y. Let s = -20 - f. Is s composite?
True
Is (-12)/84 - 8864/(-14) a prime number?
False
Suppose -4*m = -m. Let k = 8 + -19. Let x = m - k. Is x composite?
False
Suppose 0*u + u = -4. Is (46/u)/((-1)/2) prime?
True
Let s(j) = j**3 + 13*j**2 - 2*j + 11. Suppose -12 = -5*d - 77. Is s(d) prime?
True
Let j = -238 + 1305. Is j a composite number?
True
Suppose 0 = -3*l - 57 - 24. Let f be (18/l)/((-4)/234). Suppose 4*r - 37 - f = 0. Is r a composite number?
False
Suppose -5*w = a - 1268, 3*a + 582 = 4*w - 421. Is w a composite number?
True
Is 2 - ((-336)/4 - 3) prime?
True
Suppose z = 5*o - 717, 3*z = 4*o + 5*z - 568. Is o composite?
True
Let h(c) = 36*c - 1. Is h(12) composite?
False
Let k = 2 - -4. Suppose 2*d - 2*j - k = 3*d, 16 = -4*j. Is (d - 1)/(3/399) a prime number?
False
Let b(f) = -f**3 - 7*f**2 + 5*f - 6. Let s be 1/(1/(-7 + -2)). Is b(s) composite?
True
Let n(g) = g**3 - 8*g**2 + 4*g - 10. Let q be n(7). Let u = 44 + q. Is u a composite number?
False
Suppose -3 = -0*d - d. Suppose d*o = -o, 0 = 5*b - 4*o - 2275. Suppose -b + 91 = -4*u. Is u prime?
False
Is ((-1208)/(-12))/((-4)/(-12)) a composite number?
True
Suppose -k - k = -x + 513, 3*x + 4*k = 1579. Is x prime?
True
Suppose -4*s + 2*s - 14 = -4*g, -s + 8 = 3*g. Suppose -r - f = -95, g*r + 4*f = 2*f + 285. Is r prime?
False
Let w(p) = -p**3 - 9*p**2 - 9*p + 13. Is w(-14) prime?
False
Suppose -i + 3*i = -u - 24, 2*u + 24 = -2*i. Let s = 61 + i. Is s composite?
True
Let g(m) = 2*m**2 - 6*m - 6. Is g(5) prime?
False
Let w(b) be the first derivative of 7*b**2 - b + 3. Is w(7) composite?
False
Suppose 2*x = 7*x - 650. Let t be (2/6)/(1/3) - -40. Suppose -3*w = -x - t. Is w composite?
True
Let d(h) be the third derivative of h**5/12 + h**4/8 - h**3/2 - 35*h**2. Let k = -2 + 4. Is d(k) a composite number?
False
Let s(i) = i**2 - 4*i - 8. Let u be s(6). Suppose -79 = -5*k 