c + 2730 = -5*f. Is f a prime number?
True
Let s(z) be the third derivative of 29*z**5/60 - 7*z**4/24 - 5*z**3/6 + z**2. Is s(-4) prime?
True
Let n(s) = 7*s**2 - s + 4. Let o be n(-3). Let f = 40 - o. Let k = 25 - f. Is k composite?
True
Let n(z) = -z. Suppose -4*b - 10 = 10. Let w be n(b). Suppose 2*j + 0 = w*v + 397, 5*v + 970 = 5*j. Is j composite?
False
Suppose 7*a + 2*y - 1797 = 6*a, y = a - 1791. Is a a composite number?
True
Suppose 0 = -4*r - 3 + 11. Suppose r*c + c = -309. Let w = c - -154. Is w a composite number?
True
Suppose -5*g + 2*i = 14, 3*i = 2*g - 3*g - 13. Is (3 + 12)/((-6)/g) a prime number?
False
Let b = 74 + 89. Is b a prime number?
True
Let a(r) = 21*r + 44*r - 20*r - 5. Is a(8) prime?
False
Is ((-1899)/(-6))/((-6)/(-4)) prime?
True
Let s(z) be the first derivative of -z**4/4 + 7*z**3/3 + z**2 - 2. Let y be s(7). Let l = y + -7. Is l composite?
False
Suppose -4*p - 7*i = -2*i - 1344, -3*i = -2*p + 650. Is p a composite number?
False
Let l(j) = 1. Let w(t) = -t**2 - 5*t - 1. Let z(b) = 6*l(b) - w(b). Is z(-5) prime?
True
Let c(o) = 384*o + 1. Let j be c(2). Suppose 3*s - j = 290. Is s composite?
False
Is 2*((-818)/(-4) + 4) a prime number?
False
Let w = -21 + 29. Suppose 0 = n - w - 14. Is n composite?
True
Let f(u) = -53*u - 28. Is f(-15) composite?
True
Suppose 0 = 2*k - 1 - 25. Is k composite?
False
Suppose 3*g - 6*g + 3*o = 312, -3*g - 318 = 3*o. Let k = -23 - g. Is k a composite number?
True
Suppose -3*l = u - 2163 - 2104, 3*l = 5*u + 4279. Is l a prime number?
True
Let t(c) = -c**3 - 2*c + 1. Let p be t(1). Let b be 1 + (0/p)/(-3). Is (b/(-2))/((-2)/132) composite?
True
Let i(o) = o**3 + 7*o**2 - 8*o - 8. Let n be i(-8). Is ((-166)/n)/(3/24) composite?
True
Let k = -17 - -20. Suppose k = -5*j + 18, -86 = -f - j. Is f composite?
False
Let n(b) = -b**3 + 6*b**2 - 6*b + 5. Let o be n(5). Suppose -w - 5*i = -50, 5*w + 4*i = -o*w + 187. Is w a prime number?
False
Is 343 + (1/5 - (-11)/(-5)) prime?
False
Let f(g) = 28*g - 7. Let v be f(5). Let j = v + -66. Is j a prime number?
True
Suppose 0*p - 2*p + 3*i - 9 = 0, -15 = -5*i. Let v = 0 - p. Suppose v = -3*o, 52 = 5*w - 5*o - 43. Is w prime?
True
Let g = 28 + -2. Is g*(51/(-2))/(-3) a composite number?
True
Let x = -48 + 125. Is x prime?
False
Is ((-41)/2)/(3 + 412/(-136)) a prime number?
False
Let f be (6 - 0 - 2) + -1. Suppose 4*a = -3*k + 27 + 26, f*k + 5*a = 49. Is k composite?
False
Is (-2)/14 + 19322/14 + 5 a prime number?
False
Let o = 313 + -110. Is o prime?
False
Let j(t) = 17*t**2 - 2*t - 5. Let z be j(-5). Suppose 0*s - 5*s + z = 0. Is s composite?
True
Let k = -8 - -12. Suppose k*x - 384 = x. Suppose -s - x = -4*d, -s + 169 = 4*d + d. Is d composite?
True
Suppose -10 = -2*d + 202. Is (-5)/2*d/(-5) prime?
True
Let a = 19 + -19. Suppose 9*v - 4*v - 804 = -2*t, -4*t - 5*v + 1618 = a. Is t prime?
False
Let n(u) be the second derivative of -61*u**3/6 - 5*u**2/2 + 3*u. Is n(-4) a composite number?
False
Let w(t) = -t**3 - 8*t**2 + 6*t + 11. Let b = -14 + 5. Is w(b) composite?
True
Let f(u) = 18*u**3 - u**2 + u. Let q be f(1). Suppose -q*j + 2395 = -13*j. Is j prime?
True
Let d = 4 - 0. Suppose -1105 = -m - d*m. Is m a prime number?
False
Let f(m) be the first derivative of -m**5/20 + 5*m**4/12 + m**3 + 7*m**2/2 + 2*m + 3. Let l(w) be the first derivative of f(w). Is l(5) a prime number?
True
Let q = 2663 - 226. Is q a prime number?
True
Let t = 16 + -11. Suppose 0 = -6*r + r + 5*z + 135, 0 = -5*z - t. Is r a prime number?
False
Let n be -514 + -5 - (-4 + 1). Is (n/36)/((-2)/6) prime?
True
Let w(q) = -34*q - 3. Is w(-2) prime?
False
Suppose -4*w + 7 = -5. Suppose w*s - 749 = -278. Is s a prime number?
True
Let x = 373 + -224. Is x a composite number?
False
Let t(n) = -497*n. Is t(-1) prime?
False
Let l(z) = 13*z + 2. Suppose -4*j = -5*j + 2. Let q be l(j). Suppose -2*r + 130 + q = 0. Is r a composite number?
False
Let m be 2/3*(-150)/(-20). Suppose -m*q + 6 = -4. Is (-3 - (q + -2)) + 122 prime?
False
Suppose 2*b + 2 = -2, -n - 4*b = 5. Suppose -n = -3*p + 2*p. Suppose 3*s - 84 = -p*r, -r + 18 = s - 2*r. Is s a composite number?
False
Suppose 2*n + 5*j - 118 = 0, -j + 6 - 2 = 0. Suppose f - n = 78. Is f a composite number?
False
Is 6/10 + -3752*3/(-15) prime?
True
Let z(o) = o**3 - 4*o**2 + 3*o - 4. Let n be z(4). Is 223 + (n/4 - 2) a composite number?
False
Suppose 0 = 14*b - 8322 - 2612. Is b a prime number?
False
Let n = 133 + -322. Let a = n - -476. Is a prime?
False
Let y be (11 - 7)*(-31)/(-4). Suppose 296 - y = 5*u. Is u prime?
True
Let m(v) = v + 8. Let b(c) = -6*c - 1. Let r be b(1). Let h be m(r). Is 89 - (h + -2 + 1) composite?
False
Let q(c) = 4*c**2 + c**2 + 4*c**2 - c + 0*c**2 - 3. Let k be q(3). Is (-1)/(-2)*(-1 + k) prime?
True
Is (0 - 1/2)/((-3)/4782) a prime number?
True
Let w = -454 - -683. Suppose -4*p = -w - 383. Suppose -2*r + a = -p, a - 3*a + 233 = 3*r. Is r prime?
False
Suppose 0 = -10*c + 4747 - 1837. Is c a prime number?
False
Let g = 149 - 102. Is g prime?
True
Suppose -7*a = -15*a + 28632. Is a a prime number?
False
Let u = -6 + 6. Suppose -2*l - 126 - 44 = u. Let q = 28 - l. Is q a composite number?
False
Suppose 3*m + 3*v = v + 1347, 2*m = 3*v + 911. Is m a prime number?
False
Suppose -2*n + 1361 = -233. Is n prime?
True
Is 3/(-2 - 1)*-211 a prime number?
True
Suppose -b + 45 + 584 = 0. Is b a composite number?
True
Let u = 1 - -2. Suppose -p - u = -7, 0 = 4*z + 3*p - 888. Is z a prime number?
False
Suppose -3*g + 11 = -1. Suppose -g*z - 2 = -26. Is z a prime number?
False
Let b be (-15)/(-1)*2/6. Suppose -2*t = -3*z - 7, 4*z + 9 = b*t + 5*z. Suppose t*l - 6*l + 92 = 0. Is l composite?
False
Suppose -h - 1435 = -2*h - 4*f, 3*f + 3 = 0. Is h a composite number?
False
Let s = 546 + -5. Is s prime?
True
Suppose 3*n - 6 - 15 = 0. Suppose 0 = -4*k - 0*k. Let j = k + n. Is j a prime number?
True
Let a(g) = -g**3 - 1. Let o(y) = -y**2 + y + 4 + y + 9*y**2 + 2*y. Let k(d) = -a(d) + o(d). Is k(-6) composite?
False
Suppose -5*l + 456 + 859 = 0. Is l a prime number?
True
Let w(t) = -101*t + 4. Let m(p) = 67*p - 3. Let r(i) = -8*m(i) - 5*w(i). Is r(-3) a prime number?
True
Let y(s) = s + 5. Let p be y(-5). Suppose 2*z - 2 = 2. Suppose z*o + p*x = -x + 116, 4*x = 0. Is o a composite number?
True
Let r be (-3 + 2)/((-1)/(-2)). Is r/10 - 1326/(-5) a prime number?
False
Suppose -2*q + 1 = -7. Let s be (6/q)/(12/16). Suppose 0 = -0*m + s*m - 5*w - 427, -3*w = 15. Is m prime?
False
Let u = -112 + 335. Is u composite?
False
Suppose 5*m - 7*m = 114. Let l = m + 82. Is l composite?
True
Suppose 0 = -x + 4*x - 18. Suppose 3*o = x*o - 75. Is o composite?
True
Let n = 884 - 491. Is n prime?
False
Let w(x) be the third derivative of x**5/30 + 5*x**4/24 - 10*x**3/3 - 6*x**2. Is w(-15) composite?
True
Let m(l) = -l**2 + 6*l + 5. Let j be m(6). Suppose u + 2*u - 211 = -j*t, -t - 199 = -3*u. Is u a prime number?
True
Let o(q) = 64*q**3 + 1. Suppose -2*y + 4 = 2*y. Let x be 2 - y - (1 + -1). Is o(x) a prime number?
False
Let x = 1 + 4. Suppose 0 = -4*i - l + 16, 9*i = 4*i + 5*l - x. Suppose k + i*k = -5*c - 1, -k = 5*c - 11. Is c prime?
True
Suppose 6*y - 4*y - 6 = 0. Suppose -5*o - 2*j = -0*j - 2745, -y*j = 5*o - 2750. Suppose -5*c - 3*h + 653 = -7*h, -5*h = 4*c - o. Is c a prime number?
False
Suppose -4*z + 37 = -11. Let a = z + -7. Suppose 0 = 4*s + a*m - 148, s - m + 148 = 5*s. Is s composite?
False
Let s be (-12)/(-2) + (4 - 6). Let b = s - -1. Suppose 356 = 4*t + b*i - 0*i, 2*i = -5*t + 445. Is t a composite number?
False
Is 78 + 2 + -6 + 3 a composite number?
True
Suppose 3*b - 2 = 13. Suppose 78 + 32 = b*s. Is s a composite number?
True
Let b be (-10)/(-15) + (-11)/3. Let h be b*(-2)/(-5)*-5. Suppose -3*y - 141 = -h*y. Is y composite?
False
Suppose -p + 1639 = 4*m, 3*p - 1369 = -5*m + 3548. Is p a composite number?
True
Suppose -3*s + 844 = 4*p, -5*p + 7*s - 2*s + 1055 = 0. Is p composite?
False
Suppose 3*s - 6*s = 2*a - 371, -4*s + 193 = a. Suppose 3*c + 2*m - a = 0, 3*c + 2*c = 2*m + 275. Is c prime?
False
Suppose 800 = 4*o + o - 3*p, -4*o + 4*p + 648 = 0. Is o prime?
True
Let o(q) = q + 6. Let a be o(-6). Let t = a - -10. Is t prime?
False
Let i(p) be the second derivative of -p**3/3 - 4*p. Let o be i(-5). Is 194/o - (-8)/(-20) prime?
True
Suppose -4 =