ose 3*c = 2*m - 305, -2*c = -c + 5. Is m a prime number?
False
Suppose -62 = 2*l + 114. Let h = -63 - l. Suppose 0 = 4*d - 19 - h. Is d a prime number?
True
Let c(f) = 5*f**3 - 2*f + 1. Suppose -5 = -4*j - 1. Is c(j) prime?
False
Let q = -15 - -20. Suppose -r - r + 427 = q*h, 5*r + h - 1056 = 0. Is r prime?
True
Let x = 323 + 376. Is x a prime number?
False
Let p(y) = 2*y**3 + 3*y + 4. Suppose -2*b + 33 - 11 = -4*d, 0 = 4*b + 3*d. Is p(b) a prime number?
True
Let l(u) = -u**2 - 8*u - 4. Let c be l(-7). Suppose n = 3, -n + c = k + 4*k. Suppose 3*r + k*r - 111 = 0. Is r prime?
True
Let l(c) = 4*c - 8. Let d be l(-6). Let t = -90 - d. Let f = t - -137. Is f composite?
False
Suppose 4*z - 13 = 7. Let o(h) = h**3 - 4*h**2 - 3*h - 4. Let f be o(5). Let w = f + z. Is w a prime number?
True
Suppose 2*u + u = 6. Suppose -u*p + 72 = -52. Is p a prime number?
False
Let r(s) be the first derivative of s**3/3 + s**2/2 + s - 1. Let d = 4 - -1. Is r(d) composite?
False
Let x = 101 + -61. Let q(z) = z**3 - 10*z**2 + 3. Let h be q(10). Suppose x = 5*t + 2*c - 69, 2*c = -h*t + 67. Is t prime?
False
Is ((-1895)/20)/(1/(-4)) a composite number?
False
Let v(w) = 12*w + 5. Let n be v(5). Let x = 112 - n. Is x prime?
True
Let t = -523 + 1044. Is t composite?
False
Suppose b - 105 - 94 = 0. Is b composite?
False
Let b be -3 - (0 - (2 - -1)). Let y be (-2)/(-1 - (-2)/6). Is b/(y/(-1)) - -6 a prime number?
False
Let s(q) = -40*q + 1. Is s(-18) prime?
False
Let k = 9 - 1. Let p = 27 + k. Is p a prime number?
False
Suppose 0*j + 2*j = -2*f + 6, 4*f + 13 = j. Is 2*1 - (-260 + j) composite?
False
Let t(l) = l. Let s be t(0). Suppose -2*w - 4 + 158 = s. Is w a prime number?
False
Let w be (-14)/35 - (-24)/10. Let c(t) = 7*t**2 + 2*t + 1. Is c(w) composite?
True
Suppose 44*k - 5554 = 42*k. Is k a prime number?
True
Let l(u) = -2*u**2 + u - 1. Let n be l(2). Let y(v) = v**3 + 10*v**2 + 11*v + 9. Is y(n) a composite number?
False
Suppose -108 = -q + 5*f, q + f = -0*f + 114. Let d = 169 - q. Is (38/(-4))/((-4)/d) prime?
False
Let t(m) = 2*m - 6. Let i be t(5). Let u(k) = 2*k + k**2 + i*k + 37 - 7*k. Is u(0) prime?
True
Let c = -429 + 1826. Is c a composite number?
True
Let c be (18/8)/(30/(-80)). Let n be 2/3*-3 - c. Suppose -3*m = 3*v - 453, 0 = 5*m - m - n*v - 588. Is m a prime number?
True
Is (-260007)/(-121) - (-2)/11 a prime number?
False
Is 14/(-63) - 29679/(-27) a composite number?
True
Let j(y) be the third derivative of 11*y**5/60 + 5*y**4/24 + y**3/2 + 2*y**2. Is j(-3) a composite number?
True
Let a(r) = r**3 - 4*r**2 + 3*r. Let s be a(3). Suppose s*x - x + 293 = 0. Is x composite?
False
Suppose 2*p + 3*p = 15. Suppose -p*l + 955 = 2*l. Is l a prime number?
True
Suppose k - 1 = t + 3, -4*t - 2 = -2*k. Suppose -k*j + 6782 - 1833 = 0. Is j composite?
True
Let v = 141 + -228. Is 17/(3*(-1)/v) composite?
True
Let a be ((-1)/(-3)*0)/3. Suppose -2*i + 1 + 5 = a. Is i a prime number?
True
Suppose 12*d + 439 = 13*d. Is d prime?
True
Let q = 1100 + 95. Is q composite?
True
Suppose 0 = -2*k - 2*k + 8. Suppose -k*u + 2 = 0, 2*s - 3*s - 4*u + 78 = 0. Is s composite?
True
Suppose 2*f - 18380 = -3*f. Suppose 0 = -0*y - 4*y + f. Is y prime?
True
Suppose 13 = 5*j + 3. Is (2/(-1))/j - -162 prime?
False
Suppose o + 142 = 3*o. Let t = -2 + o. Is t composite?
True
Let d = -1 + 1. Suppose -3*s - 2*j = -10, -5*s + d*j + 50 = -5*j. Is ((-16)/s)/((-8)/12) composite?
True
Suppose 8*h = 10*h - 1834. Is h a composite number?
True
Let b(c) = -59*c - 1. Suppose 0 = -3*y - 3. Is b(y) a prime number?
False
Suppose 2*l - 17 = -5*r, -l - 3 = -2*r + 2*l. Suppose 2*v - 4 + 40 = 4*u, -u = r*v - 16. Is u composite?
True
Suppose -8*b = -4*b - 8. Suppose 0 = b*a + a - 63. Is a a composite number?
True
Suppose 5*x + 2*q - 934 = 5*q, 0 = 2*x - 5*q - 385. Is x prime?
False
Let f(k) = 78*k**2 + k. Let j(y) = -y**3 + 6*y**2 - 5*y + 1. Let x = 9 + -4. Let l be j(x). Is f(l) a prime number?
True
Suppose -52 = -5*v + 3*x, 3*x = 4*v - 2*v - 28. Suppose -v - 12 = -2*k. Is k a prime number?
False
Let h = 25 + -37. Let z = h - -7. Is 93/5 + (-2)/z a prime number?
True
Let q(b) = 53*b**2 - b - 1. Is q(-3) composite?
False
Suppose -5*g - 18 = -128. Is g a composite number?
True
Let c = 16 - 6. Suppose -5*n - p = -3*n - 3, 0 = -n + 3*p - 2. Is (-29)/(-2)*c*n prime?
False
Let l be 41/(-4)*(15 - 11). Let q = l - -78. Is q prime?
True
Let h(a) = -62*a. Let j(n) = 1363*n. Let k(z) = 87*h(z) + 4*j(z). Let q(g) = -g**3 + 3*g**2 + g - 2. Let u be q(3). Is k(u) prime?
False
Let l = 0 + 2. Suppose n + 0*n + 3*m = 138, -4*n - 4*m + 560 = 0. Suppose l*q - 5*q + n = 0. Is q a composite number?
False
Let c(a) = a + 8. Let q be c(7). Let b = 64 - q. Is b prime?
False
Let v = -10 - -22. Suppose o - 4 = -t + v, 62 = 2*t - 4*o. Is t a prime number?
False
Suppose 9 = 4*l - l. Suppose l = -4*n + 47. Is n a composite number?
False
Suppose 1250 = 4*k + k. Let z = k + -111. Is z a composite number?
False
Is (1 - -57)*14/4 a prime number?
False
Let u(d) = d**3 - 6*d**2 - 2*d - 9. Suppose 0 = -0*j - j + 8. Let f be u(j). Suppose 7 = 5*h - f. Is h a composite number?
True
Suppose -t + 5 = 4*t. Let i(x) = 7*x - 1. Let s be i(t). Suppose s*p = p + 265. Is p prime?
True
Suppose 29 = -c + 282. Is c a prime number?
False
Let m be (-18)/2 + 3 + -2. Let a(h) = h**3 + 7*h**2 - 5*h - 2. Let c be a(m). Let t = 57 + c. Is t a prime number?
True
Let d(j) = j**2 + 2*j + 6. Suppose -g - 13 = -20. Is d(g) composite?
True
Let s(j) = 2*j**2 + 9*j - 1. Let k be s(-7). Suppose -324 = -d - 3*d. Let y = d - k. Is y a prime number?
True
Let w(u) = -u**2 + 5*u - 4. Let c be w(3). Suppose -y - c*k + 20 = y, 0 = 4*y - 4*k. Suppose -304 = -5*j + 2*s + 29, -y*s + 72 = j. Is j prime?
True
Suppose 5*q - 293 = 2*d, -2*d = 3*q + d - 180. Is q prime?
True
Suppose -324 = -3*w - 6. Let k = 27 + w. Is k composite?
True
Let j(n) = 2*n**2 + 2*n + 1. Let o be j(-1). Is o/(-2) + 540/8 composite?
False
Let o(p) be the second derivative of 0 + 0*p**3 - 7/2*p**2 + 1/6*p**4 + 3*p. Is o(7) a composite number?
True
Let y(r) be the second derivative of r**5/20 - r**4/3 - r**3/3 + 3*r**2 + r. Suppose -s = -5*s + 20. Is y(s) a composite number?
True
Is (14103 + 2)/5 - 2 composite?
False
Let i = 11 - 8. Suppose i*t = 7*b - 2*b + 192, 0 = -t + 5*b + 54. Let k = 0 + t. Is k prime?
False
Let k(r) = -r**2 - 11*r - 9. Suppose 5*c + 4 = -3*n + 34, -18 = -3*c + 5*n. Let u(o) = -o. Let b be u(c). Is k(b) prime?
False
Let o(w) = -2*w - 2. Let s be -2 - 5 - (1 - 1). Let a be o(s). Let f = 21 + a. Is f a prime number?
False
Suppose 4*n - u + 811 - 6859 = 0, 5*n - 7539 = -4*u. Is n a composite number?
False
Suppose -2*p - 3*w - 2*w = -1129, -5*p + 3*w + 2776 = 0. Is p a prime number?
True
Suppose 195 = -2*t + 2701. Is t a prime number?
False
Let f(p) = p**3 + 7*p**2 + 11*p - 12. Let s be f(8). Suppose d = 3*z - 550 - 225, 4*z - 2*d - s = 0. Is z prime?
True
Let s be (-4)/18 - (-208)/(-36). Let t = s - -11. Suppose -t*c = 10, 4*c = -j - 0*j + 6. Is j a prime number?
False
Let u(b) = -137*b**3 - 7*b**2 + 4. Let l(y) = -91*y**3 - 5*y**2 + 3. Let a = 10 + -17. Let h(j) = a*l(j) + 5*u(j). Is h(-1) a composite number?
False
Suppose 4*u + 4*x - 1 = 3, -4*u - 5*x = 0. Suppose u*w - 12 = 243. Is w prime?
False
Let v = 4 - 1. Suppose -175 = -5*l + 5*g, g = -v*l - g + 115. Is l composite?
False
Let j(c) = c**2. Let z(s) = -13*s**2 - 2*s - 2. Let t(f) = -12*f**2 - f - 3. Let o(l) = 7*t(l) - 6*z(l). Let r(w) = -5*j(w) - o(w). Is r(6) composite?
True
Suppose 0 = 3*i - 5*u + 23, 2*i + 2*i - 4*u = -36. Let w = 1 - i. Is 112/3 + 8/w a prime number?
False
Suppose 4*g + 4*z = 0, 0 = 3*g - 7*g - 3*z + 4. Suppose -g*f + 11 = -3*f. Is f composite?
False
Suppose 5*c - 2*u + 3 = 0, -3*u = 2*u - 20. Is (-34 + (c - -2))*-1 composite?
False
Let x = 480 + -143. Is x a composite number?
False
Suppose -53 = -3*i + 5*b, -4*i - b - 23 + 109 = 0. Suppose 0*r = t - r + 7, 3*r + i = -4*t. Is (-25)/t + (-1)/6 prime?
False
Let j(x) = x**3 - 3*x**2 + 2*x - 4. Let b be j(3). Let w(k) = 10*k**2 - 2*k + 1. Is w(b) a composite number?
False
Let z = 13 + -8. Suppose -20 = v - 101. Suppose -19 = -5*w - z*n + v, 75 = 4*w - n. Is w a prime number?
True
Let f(m) be the third derivative of m**5/60 + m**4/24 - m**3/6 - 4*m**2. Let d(v) = v**2 - 6*v