ber?
True
Suppose k = 7*k - 30. Suppose 0 = -w - 0*z - 3*z + 883, 4*w - k*z - 3464 = 0. Is w prime?
False
Let a = -12264 - -23981. Is a a prime number?
True
Let d(q) be the third derivative of 0*q + 721/6*q**3 + 0 - 1/60*q**5 + 8*q**2 - 1/120*q**6 + 1/24*q**4. Is d(0) a composite number?
True
Let s be (-222)/(-27) + (-6)/27. Let a(y) = 2*y**2 - s*y + 1 + 11 + 0 + 0*y. Is a(5) a composite number?
True
Let j = -11 + 15. Suppose 2*x - 2370 = -j*x. Is x composite?
True
Let s(o) = -o**2 - o + 22. Let l be s(-5). Suppose 0*u + 11924 = 3*h - 5*u, -l*u + 10 = 0. Is h a prime number?
False
Suppose -35 = 5*b + 10. Let g = -6 - b. Suppose 0 = 6*x - g*x - 753. Is x composite?
False
Is (-2813)/(-4) + 14/(-56) prime?
False
Let c(b) be the first derivative of 5*b**2 - 18*b + 6. Is c(16) a prime number?
False
Let o = -14 - -12. Let w be 2/(o/3) + 32. Suppose -w - 38 = -u. Is u a prime number?
True
Is 678882/48 + ((-105)/(-40) - 3) composite?
False
Suppose -4*p + 1 = -k - 10, -p - 3*k = -6. Let w be (-15)/(-2)*(-4)/p. Is (-4)/w - (-666)/10 a prime number?
True
Let h(p) = -p**3 - p**2 - 1. Let o(n) = 23*n**3 - 4*n**2 - 2*n. Let j(w) = 2*h(w) - o(w). Let z be j(-2). Let f = z - 57. Is f composite?
True
Suppose 3*n - 4 = -2*u, -3 + 1 = -u. Suppose n = -4*d - 3*c + 173 + 293, c + 474 = 4*d. Is d composite?
True
Is (-4)/2*(15 + 93999/(-6)) prime?
False
Let w(o) = -21*o**3 + 2*o - 1. Let p be w(1). Let b = p - -17. Is 72 + (b + -3)/(-3) prime?
False
Let l be (-117 - -16) + (-1 - 0). Let r = l + 244. Suppose -14*h + r = -13*h. Is h prime?
False
Suppose 0*w + 2*w + 3656 = 0. Let g = -1004 - w. Suppose 2*p + l = 276 + 552, 0 = 2*p + 3*l - g. Is p a composite number?
True
Let d(h) = h**2 + 5*h + 2. Let v be d(-6). Let r be 2*(12/v + 1). Suppose r*c - 292 - 513 = 0. Is c a composite number?
True
Suppose 0 = 4*b - 4*t + 756, 2*b - t + 408 = -5*t. Let n(d) = d**3 - 3*d**2 - 6*d - 17. Let l be n(5). Is (-5 + l)*b/4 a composite number?
False
Let j be (-2 + (-3)/(-2))*12. Let w = j + 9. Suppose w*h - 809 = -4*b, b - 3*b = h - 405. Is b composite?
True
Let h be (-8900)/(-12) + 2/6. Suppose 0*p - h = -2*p. Is p a composite number?
True
Is (-1 - 0)/1*(16 - 6023) prime?
True
Let m(o) = 2 + 116*o - 35 - 51*o. Is m(7) prime?
False
Let n(x) = 3396*x - 19. Is n(7) a prime number?
True
Suppose -2*n - 5*q + 7 = 25, -n - 4*q - 15 = 0. Suppose -2*z + n = -5. Is 40 - (z + -3*2) a prime number?
True
Suppose -213*g = -209*g - 64. Let b be 4/3*3/2. Suppose b*k + g = 78. Is k a composite number?
False
Suppose 0 = -4*q + 6*c - c + 44, -34 = -5*q + c. Suppose 6*i = 4*i + q. Suppose -i*w + 57 = -0*w. Is w a prime number?
True
Suppose 0 = -7*l + 12624 + 8971. Is l a prime number?
False
Let f be (-910)/(-6) + 17/51. Suppose -78 = -5*k + f. Suppose -3*n + 821 = 4*m, -151 = -m + 2*n + k. Is m composite?
True
Suppose -11*l + 8*l + 3 = 0. Suppose 3*a - l - 6 = 4*i, 3*i + 4*a + 24 = 0. Is i*(279/(-12) + 1) a composite number?
False
Let q = 5959 + -1238. Is q a composite number?
False
Let q be 392/48 + (-2)/12. Suppose 5*s = q*s - 2073. Is s composite?
False
Suppose 2*b = 3*o - 4*o + 252, 0 = -3*b - o + 379. Is b a prime number?
True
Suppose 0 = -b - 2*z + 8347, 0 = -2*b + 5*z - 1832 + 18553. Is b composite?
False
Suppose 0 = 3*k + 12 - 6. Let z(x) = 30*x**2 - 2 + 1 + 0. Is z(k) composite?
True
Let n = 156 + -972. Suppose 0 = 28*g - 24*g + 1996. Let l = g - n. Is l prime?
True
Suppose -o + 2012 = -27. Is o a composite number?
False
Let x(g) = 24*g**3 - 6*g + 2. Let y be x(4). Let c = -843 + y. Is c composite?
True
Let q(b) = -174*b**3 - b**2 - b + 11. Is q(-3) a composite number?
False
Suppose -4*w + 2290 = -8074. Is w a composite number?
False
Let l(q) = -311*q**2 - 3*q + 2. Let r be l(3). Let z = r + 3999. Is z a prime number?
True
Suppose -26*s + 28*s - 10 = 0. Suppose 0 = -s*y + 13691 + 8774. Is y composite?
False
Let i = -10 + 141. Is i a composite number?
False
Let x = -47 - -40. Is (-36)/126 - 2613/x a prime number?
True
Suppose -8*r = -3*r - 5*t - 118580, 4*r = -t + 94879. Is r composite?
False
Is (-10 - -4)/(-2) + 1 + 289 a composite number?
False
Let s(i) = 4*i + 12. Let u(r) = -3*r - 11. Let d(v) = 4*s(v) + 5*u(v). Let p be d(12). Suppose -3*h = -3*f + 1113, 0 = -0*h - p*h. Is f prime?
False
Is -2 + (-74889)/(-6) + (-4)/8 composite?
False
Let f(w) be the first derivative of -w**6/360 - w**5/12 - w**3 - 2. Let d(o) be the third derivative of f(o). Is d(-7) composite?
True
Let f = 11845 + -6374. Is f a prime number?
True
Let d(t) be the third derivative of 13*t**6/360 - 13*t**5/120 + 11*t**4/24 + 11*t**3/6 - 13*t**2. Let i(m) be the first derivative of d(m). Is i(-11) composite?
True
Let t(a) = -a**2. Let q = 16 - 10. Let j(n) = -4*n**2 - n + 1. Let z(s) = q*t(s) - 2*j(s). Is z(-3) prime?
False
Suppose -2*t + 1460 = 5*u, -3*u + t + 0*t = -865. Let m be 2/(-6) + 1012/(-6). Let o = m + u. Is o prime?
False
Suppose 5*d = -27 - 23. Is (-3)/(-15)*-1 - 13372/d a prime number?
False
Let r(y) = 4*y**3 - 2*y**2 - 3*y - 4. Let v be r(3). Suppose -v*g + 419 = -76*g. Is g composite?
False
Let h(m) = m**2 - m + 3. Suppose -5*b - 18 = -y, -3*b + 6 = 2*y - 4. Is h(y) a prime number?
True
Suppose 0 = -4*u + 2*j + 210, 4*j = -2*u + 61 + 29. Let b = u - 36. Is b prime?
False
Let c(q) = -605*q**3 - 11*q**2 + 2*q - 3. Is c(-5) a prime number?
True
Let n be 0 + (-3 - (-3543)/3). Suppose 0 = 4*j - 2*j + w - n, j = 5*w + 589. Suppose 0*g - j = -2*x + 5*g, -x - 2*g = -317. Is x prime?
True
Let d(j) = -2*j + 8623. Is d(0) composite?
False
Suppose -5*c + 5*f = -20780, c - 4*f = 392 + 3773. Is c a prime number?
True
Let f be 0/((-1)/(-2)*-4). Suppose -i - u + 2 = 2*u, f = -2*i - 4*u + 6. Suppose -i*d = -197 - 98. Is d composite?
False
Let q(a) = -2*a + 7. Let k be q(3). Suppose 0 = 2*b - k - 3. Suppose -3*o - b*v = v - 183, 3*o - 185 = -4*v. Is o prime?
True
Suppose 18*l - 93240 = 129582. Is l prime?
True
Is (-4)/68 + 631392/204 prime?
False
Suppose -27203 = -4*x - 5455. Is x prime?
True
Suppose -253 = 3*m + 41. Let t = 20 - m. Is t composite?
True
Suppose 4*h + 5*c + 978 = 245, 4*c = 3*h + 511. Let k = h - -670. Is k a prime number?
False
Let n(d) = d + 1. Let x be n(-4). Let o = -6 + x. Is ((-2163)/o)/((-5)/(-15)) a composite number?
True
Suppose -29671 = -5*x + 3*k, -5*k = 4*x - 2*k - 23726. Is x prime?
False
Let m(c) = c**2 + 18*c - 14. Is m(25) composite?
False
Is -31 + 30 + (3474 - 0) composite?
True
Let l(c) = c**2 - 2*c. Let g be l(2). Suppose 0 = -g*b - b. Suppose b = f + f - 42. Is f a prime number?
False
Let i = 40577 - 14664. Is i prime?
True
Suppose -4*s - 5*m = -2*m - 1160, 0 = -m. Suppose 0 = -5*o + j - 11 + s, 2*o - 5*j = 130. Is o a composite number?
True
Suppose 0 = -r + 5*r + 1064. Is 2*r/(-35)*35/4 composite?
True
Suppose 0*z = 5*z - 35. Suppose 0 = -2*d + z*d - 15. Suppose -49 = -5*i + d*g, -3*i - 3*g + 4*g = -31. Is i a composite number?
False
Suppose 0 = 18*f + 5*f - 2434481. Is f prime?
False
Let v = -6 + 0. Is (-726)/22*((-772)/v)/(-2) a composite number?
True
Suppose -4*z = 3*k - 764, -2*z + 614 - 232 = -2*k. Is z composite?
False
Suppose -2*s = 5*d + 29 + 71, 2*s - 2*d + 100 = 0. Let h = 153 - s. Is h composite?
True
Suppose -18 + 6 = -s. Suppose 4*l + 38595 = 5*n, -s*n + 5*l = -7*n - 38600. Is n a prime number?
False
Let b(j) = j**2 + 9*j. Let d be b(-9). Suppose -h + d*h - 5*x = -22, -h + 19 = 4*x. Is 2/h - 40854/(-42) a composite number?
True
Let x(j) = j**2 - 2*j. Let q be x(3). Let v = -62 + 103. Suppose 3*i + 3*l - 123 = 0, i = q*l + 8 + v. Is i a composite number?
False
Let c(d) = -38*d + 13. Let j be c(6). Let q = 454 + j. Is q prime?
True
Suppose -2098 = -2*l - 3*y, -17*y + 13*y = 4*l - 4204. Is l a composite number?
True
Let b(c) be the first derivative of c**4 - 10*c**3/3 - c**2 + 5*c - 6. Is b(6) a composite number?
True
Suppose 2*l + 4*j = -8, 5*l + 4 = -4*j - 4. Suppose l = -3*m - p - 6, 0*m = 2*m - 2*p + 12. Is 2*109*m/(-6) a prime number?
True
Suppose -4*h = -h + 4*q - 8935, -16 = -4*q. Is h composite?
True
Let h(j) = -j**3 + 2*j**2 + 3*j - 9. Let w be h(-11). Suppose 4*u + 4*l = 1532, 3*u + u + 3*l - w = 0. Is u a prime number?
False
Let u(g) = 2*g**3 + 7*g**2 - 5*g - 3. Let k be u(-4). Let h = k + 8. Suppose -7*d + h*d = 74. Is d prime?
True
Suppose 0 = -3*b + 4 + 11, t +