= 0. Let s = 144 + v. Suppose s = -5*b + 1347. Is b prime?
False
Suppose -2*w = -5*j - 5 + 748, 5*j = w + 744. Is j composite?
False
Suppose 4*i - 50 = 38. Suppose y + f - 74 = -i, 0 = -f + 1. Is y a composite number?
True
Let q(o) = 15*o**2 + 3*o + 9. Is q(-4) composite?
True
Let b be (-360)/(-50) + 2/(-10). Suppose -b*x + 5*x + 370 = 0. Is x composite?
True
Suppose -2*d = -6*d + 276. Let t(o) = -o + 98. Let a be t(0). Suppose -5*p + d = 4*h - a, -4*h - 2*p = -170. Is h prime?
True
Suppose 3*b - 2293 = -4*d, 9*b - 4*b + 556 = d. Is d composite?
False
Suppose 3*v = 5*l + 20, -3*l + 3*v + 12 = -6*l. Let f(x) = x**3 + 5*x**2 + x - 5. Is f(l) a composite number?
False
Let o(a) = a**2 - 3*a + 3. Let x be o(3). Suppose x*w - 575 = 4*m + 162, 2*w - 495 = -m. Suppose 3*s + 52 - w = 0. Is s a prime number?
False
Suppose -3*p = -u + 3*u - 261, u - 175 = -2*p. Is p prime?
True
Suppose -4*x - u = -381, 3*x + 3*u = -0*x + 297. Is x composite?
True
Let y = -1230 + 2215. Is y prime?
False
Suppose 2*m = -2*m + 20. Suppose 0*f - m*f + 445 = 0. Is f a composite number?
False
Is -178*(-4 + -1 + 4) a composite number?
True
Let r(y) = -y - 8. Let i be r(-8). Suppose 2*v - v = i. Is v - 31/(1/(-1)) composite?
False
Is 2 + -4 - (3 - 134) a prime number?
False
Let u(b) = -3*b - 2. Let t be u(-4). Is (-3 - -1)*(-55)/t a composite number?
False
Suppose 4*t - 1588 = 1096. Is t a prime number?
False
Suppose -577 = 3*q + 233. Let u = -177 - q. Is u a prime number?
False
Suppose 375 = -2*i - 3*i. Suppose 4*y + 2*n = 6*n - 4, -2*y + 3*n = 2. Is i/3*1/y prime?
False
Let z(i) = 6*i**2 - 13*i - 7. Is z(12) prime?
True
Suppose 2*h = 5*r + 108, -5*r + 0*r + 276 = 4*h. Let b = h + -30. Is b a prime number?
False
Is 1070 + (-1)/1 - 44/(-11) a prime number?
False
Let f(b) = -b**3 - 7*b**2 - 8*b - 4. Let x be f(-6). Let r(p) be the second derivative of 5*p**3/6 - 5*p**2/2 + p. Is r(x) composite?
True
Let p(l) be the first derivative of -l**4/4 - l**3/3 + 91*l - 2. Is p(0) a prime number?
False
Suppose 0*l - 5817 = -3*l. Is l a prime number?
False
Let h(y) = -7*y - 4. Suppose -4*o = 3*v + 5 - 0, 2*o = -2*v. Is h(o) prime?
True
Suppose -5*t + 28 = -t. Let z = 5 + t. Suppose 0*g - 3*g = -z. Is g a prime number?
False
Suppose -4*k - f + 5135 = 0, 3*k - 2575 = k - 3*f. Is k a prime number?
True
Let h be 2 + (22 - 3 - -1). Suppose 6 = -3*u, 3*u - h = -2*y + 42. Is y prime?
False
Suppose 3*r = -4*l + 2249, -2*l - 3000 = -4*r - 6*l. Is r a prime number?
True
Let v = 7 - 12. Let f = -3 - v. Suppose 0 = -f*h + 30 - 10. Is h prime?
False
Is 1055*(-2 + 44/20) prime?
True
Is 0 + 3 + (-13)/(39/(-150)) a composite number?
False
Let k be (-30)/(-7) + 8/(-28). Suppose -2*z + 2*h = -3*h - 46, 3*h - 40 = -k*z. Is z a composite number?
False
Let c(s) = -s**3 - 6*s**2 + 2. Let d be c(-6). Let n(a) = -215*a - 1. Let j be n(-2). Suppose 89 = d*p - j. Is p a composite number?
True
Suppose -50 = -4*r + 38. Is r composite?
True
Suppose -5*d + 2545 - 8385 = 0. Let i = -533 - d. Is i a composite number?
True
Is ((-635)/5)/(-1 - 0) a prime number?
True
Suppose h - i = 9 + 7, -3*i = 3. Is 531/h + 4/(-10) a prime number?
False
Let l(o) = -19*o**3 + 3*o**2 + o + 1. Let g = 0 + -2. Is l(g) a prime number?
True
Suppose 11802 = 10*z + 292. Is z composite?
False
Let h(g) be the first derivative of 3*g**2 - 3*g + 3. Is h(3) a prime number?
False
Suppose 4*q - 258 = 5*x, x - 2*x - 39 = -5*q. Let u = x - -109. Is u a composite number?
True
Suppose 0 = 5*y + 3*o - 4547, 0 = -3*y + o - 6*o + 2741. Is y a prime number?
True
Let v(r) = 3*r**3 + 5*r**2 + 6*r - 1. Let a(o) = o**3. Let p(w) = -6*a(w) + v(w). Suppose -3*g + 3 = 18. Is p(g) composite?
True
Let k(m) = 39*m**2 - 2*m - 3. Suppose 5 = 3*n + 11. Is k(n) a prime number?
True
Is ((-14)/(-4))/(2/316) prime?
False
Let n be (-10 + 9)/((-1)/3). Suppose -4*v = 5*b - 553, 4*b - 98 = n*b - 5*v. Is b a prime number?
True
Suppose 9*q - 4*q = 3725. Is q prime?
False
Let g = 25 - 23. Suppose -g*y + 5*y - 279 = 4*c, -4*c - 85 = -y. Is y a prime number?
True
Suppose 4*f = 4*g - 32, 4*f + 11 = -6*g + 3*g. Suppose -r = -g, -5*r = 5*x - 0*r - 25. Is (x/4)/((-6)/(-804)) prime?
True
Let k(b) be the first derivative of b**4/2 - 3*b**3 + 2*b**2 + 19*b - 6. Is k(8) composite?
False
Suppose 25 = -2*k - 3*k, -122 = -z + 5*k. Is z prime?
True
Suppose -i = -118 - 39. Is i composite?
False
Let c(m) = 12*m**2 - 2*m + 7. Is c(7) a prime number?
False
Let l be 354/15 + (-4)/(-10). Let a = -1 + 3. Suppose 3*h - l = -5*s - 6, -h - a = -s. Is s prime?
True
Let h(x) be the first derivative of x**3/3 - 5*x**2/2 - x + 1. Let u be (-97)/(-9) + (-2)/(-9). Is h(u) a composite number?
True
Let l(f) = 2*f**2 - 5*f + 4. Is l(15) a prime number?
True
Suppose -5067 = -5*n + 2*n. Is n a prime number?
False
Let g(j) = 29*j**3 - 5*j**2 + 2*j + 1. Is g(3) a prime number?
False
Suppose a - 54 = 5*d, -a + 34 = -5*d - 5*a. Is 3/(-5) + (-76)/d prime?
True
Let i = 24 + -17. Suppose -3*k = -2*k + i. Let x = k - -10. Is x composite?
False
Suppose -2*d - 30 = -5*z - d, -40 = -5*z + 3*d. Suppose 0*k + k - z*u = 201, 838 = 4*k - 3*u. Is k a prime number?
True
Let s(t) = t**2 - 5*t - 2. Suppose 6 = 2*c + 4*z - 2, 2*c = -z + 8. Suppose -3*w + 35 = 2*w + 5*f, c*w + 2*f - 26 = 0. Is s(w) a composite number?
True
Suppose -1 = -u + 1. Suppose 64 = u*g - 166. Is g composite?
True
Let g(d) = d**3 - 2*d**2 - 4*d - 4. Let f be g(5). Let l = f + 8. Is l composite?
False
Suppose -f + 3*n - 8 = 2*n, 5*f + 20 = n. Is (6 - (-6)/f) + 175 a prime number?
True
Suppose 2*d = -3*d + 150. Is (-7393)/(-15) - (-4)/d a prime number?
False
Let q(u) = -u**3 - u**2 + 2*u + 1361. Is q(0) prime?
True
Let n be 0 + 0 + (-9 - -11). Suppose -4*w + 44 = -2*y, n*w = 5*y + 40 - 2. Is w composite?
True
Is -149*(-3)/(-1 - -4) composite?
False
Suppose -3*v + 8*v = 2395. Is v composite?
False
Let f(p) = 0*p**2 - p + 0*p + p**2 + 1. Let y(v) = 6*v**2 + v + 8. Let n(t) = 5*f(t) - y(t). Is n(-5) a composite number?
False
Let f = -507 - -994. Is f prime?
True
Let u be (-1 - -11)/((-2)/(-12)). Let g be -2*1 - 0 - -172. Suppose -5*y + 0*c - 5*c + g = 0, 2*y + 4*c = u. Is y a composite number?
True
Let h = -3 - -5. Suppose -31 = -h*j + 79. Is j composite?
True
Suppose 4*s - 477 = 3*s. Let a = 856 - s. Is a a prime number?
True
Suppose -h + 10 = 4*h. Suppose -177 = -h*c - c. Is c a composite number?
False
Let f = -2 + 5. Let y be (f/(9/(-111)))/(-1). Let w = 71 - y. Is w a prime number?
False
Suppose c - v + 2 = 3*c, 4*c + 5*v = -8. Suppose c*a + 561 = 6*a. Is a a prime number?
False
Let n be (51/(-6))/((-2)/4). Suppose 3*s + t - 7 = -s, -n = -5*s - 4*t. Is (-8 - 7)*s*-1 composite?
True
Let u = -818 - -1497. Is u a composite number?
True
Is ((-53)/(-2))/((-22)/(-44)) composite?
False
Let q = -11 - -6. Let h = 4 + q. Is 1/(0 + h/(-25)) prime?
False
Suppose f - 84 = 167. Is f a composite number?
False
Let s(q) = 10*q**2 - 10*q - 1. Suppose -m + 49 = -8*m. Is s(m) prime?
False
Suppose m + 2*n + 17247 = 4*m, 0 = -2*n. Is m composite?
False
Suppose 3*a = -62 - 88. Let r = 169 + a. Is r prime?
False
Suppose -2*l = -6*l + 1708. Is l prime?
False
Suppose -q - 400 = -f - 3*f, -3*q = 2*f - 214. Suppose 0 = -u + b + f, -4*u + b + 489 = u. Is u a composite number?
False
Let y(m) = m**3 + 4*m**2 - 4*m - 1. Let l be y(-5). Let v(h) = -7*h**2 + h + 9. Let w(f) = 14*f**2 - 3*f - 19. Let g(c) = l*w(c) - 13*v(c). Is g(-4) composite?
False
Let d be -1 - (-5 - 0/(-3)). Let x(y) = y + 1. Let h be x(d). Suppose 3*o - 59 = o - 3*v, o = -h*v + 47. Is o a prime number?
False
Let f be (-4)/(-12) + (-82)/(-6). Is f + (-2)/6*-3 a composite number?
True
Suppose -377 - 398 = -5*i. Let k = i - 72. Is k prime?
True
Suppose -2*h - 2*h = -1316. Is h prime?
False
Let g(d) = d**3 - 6*d**2 + 8*d - 6. Let u be g(6). Suppose 5*b + 7 = u. Suppose 2*n - 4 = t, 5*t - b = -n + 6. Is n a prime number?
True
Let r(q) = 10 + q + 0*q - q + q. Is r(-7) a prime number?
True
Suppose 2*q + 2*i = -0*i + 6, -4*i = 2*q - 6. Let d = q + 2. Suppose j = 5*j - 3*k - 392, 0 = d*j + 3*k - 463. Is j a prime number?
False
Suppose -5*a + 3*k = -7523, 3*a + k - 786 - 3739 = 0. Is a a composite number?
True
Suppose 4*d = 20, d = 6*m - 3*m - 262. Is m a composite number?
False
Let s(r) be the first derivative of -r**4/4 - r**3 - 7*r