8 - 7781. Is h prime?
False
Let i = -507 - -542. Is i prime?
False
Let k be ((-2)/3)/(2/(-2556)) + -3. Let f = k - 590. Is f prime?
False
Let y(q) = 2*q**2 + 2*q - 3. Let a(z) = 3*z**2 + 1. Let w be a(1). Is y(w) a composite number?
False
Suppose 2*j + 15*j = 22083. Suppose 0 = p - j - 172. Is p a composite number?
False
Let w(z) = -7*z**3 + z**2 - z + 2. Suppose -2*o = -k + 1, -6*o + 3*o + 3 = -3*k. Is w(k) a prime number?
False
Let k be 2 + 1 - 9/3. Let j = k - 3. Let w(i) = -70*i + 5. Is w(j) composite?
True
Is (-5 + 16 - -5241) + 6 + -1 a prime number?
False
Let o be ((-6)/9)/((-4)/(-66)). Let w = 15 + o. Suppose 0 = w*b - 5*y + 102 - 294, -3*y - 41 = -b. Is b prime?
True
Suppose -4*v - 5*w = -87053, 8*v - 7*v - 21755 = -4*w. Is v a composite number?
False
Let f(r) = 51547*r**2 + 2*r - 7. Is f(-2) a composite number?
False
Let i(s) be the second derivative of 23*s**4/12 + s**3/6 + 7*s**2/2 + 35*s. Is i(4) a composite number?
False
Let m = 23 - 27. Let o(x) = 167*x**2 + x + 5. Let r be o(m). Is r/9 + 1*-4 a composite number?
False
Suppose 3*n = -q + 4, -3*q = -3*n + q - 1. Is -1 + 2 + 56 + n prime?
False
Suppose -16 - 20 = 3*d. Let x(i) = -i**3 - 12*i**2 - i - 8. Let b be x(d). Suppose 0*t = 2*t - 2*j - 262, b*j = 3*t - 397. Is t composite?
False
Let n be 56/32 - (-1)/4. Suppose 4*t = 2*a + 17 + 5, -4*a - 26 = -n*t. Suppose 2*r + 1016 = 6*r - t*s, 3*s + 263 = r. Is r prime?
True
Let b(k) = -2948*k + 147. Is b(-20) composite?
False
Let p = 2131 + -966. Is p a prime number?
False
Let f(p) = -9*p**2 - 3*p + 10. Let g be f(4). Let s = g + 565. Is s composite?
False
Suppose -20*b = -18*b - 8, -4*b = 5*y - 56. Suppose 5*w - 875 = -y*x + 3*x, 5*w = 3*x - 541. Is x a composite number?
True
Let j be -3 - (-72)/((-4)/(-2)). Suppose -5*b + j = -2*n, -2*n + 13 = b - 4*n. Suppose -b*d - 3*a = -186, 5*d + 2*a = 7*a + 210. Is d a composite number?
True
Suppose 3*f - s + 13 = 6*f, -4*s - 38 = -3*f. Suppose -d - 2667 = -4*g - f*d, 4*d = -20. Is g a prime number?
True
Let b(a) = -2*a**3 - 13*a**2 + 4*a - 3. Is b(-8) composite?
False
Let v(c) = 16*c + 8. Let i be v(4). Suppose i = -s + 12. Let h = -3 - s. Is h prime?
False
Suppose -5*s + 2*p + 98597 = -2*s, 65730 = 2*s - 2*p. Is s composite?
True
Let c(l) = 10411*l**3 + l**2 + 2*l - 3. Is c(1) prime?
False
Suppose 5*x + l = -l + 111277, -x - l = -22256. Is x a prime number?
False
Suppose 0 = 5*i - 2*i - 4743. Suppose -2*q + i = q. Is q prime?
False
Let m(u) = u. Let c be m(2). Suppose -c*w = p + 3*w, 3*p - w = 0. Suppose -3*t + 4*t - 6 = p. Is t a composite number?
True
Let t(q) = -306*q + 1. Let m = 19 + -17. Suppose -3 = m*i + i. Is t(i) a composite number?
False
Is (-18)/12*(-722134)/21 a prime number?
True
Let q(j) be the second derivative of -5*j**2 + 10*j - 1/2*j**3 + 1/6*j**4 + 0. Is q(-7) composite?
False
Let t = 69 + -101. Let y = t + 54. Is y a composite number?
True
Let o(c) = c**3 - 10*c**2 - 20*c + 97. Is o(28) a composite number?
False
Let a = 665 + -469. Let g = a - -451. Is g prime?
True
Suppose 0*s = 4*s - 3*p - 4339, 5*s - 3*p - 5426 = 0. Is s a composite number?
False
Suppose -q - 124 = 644. Let z = -461 - q. Is z a prime number?
True
Let h(s) be the second derivative of -s**5/120 + 133*s**4/24 + 7*s**3/6 - 3*s. Let v(u) be the second derivative of h(u). Is v(0) composite?
True
Suppose 5*o + 2*g - 23 = 4*g, -3*o - 11 = 5*g. Let p be 1/((o - 0)/1062). Suppose -p = -3*c + 129. Is c a prime number?
False
Let b be 0 + -3 - 546 - 1. Let c = 1217 + b. Is c a prime number?
False
Let t = -48 - -52. Suppose -t*u = u - 5275. Is u prime?
False
Suppose f - 1067 = 4*t, -3*f + 4216 = 3*t + 940. Is f composite?
False
Let m be (173 - (1 + -2)) + 3. Let a = m + -28. Is a a composite number?
False
Let w = 10 + -15. Let v(b) = 5 + 21*b - 27*b + b**2 + 11*b - 6*b**3. Is v(w) a prime number?
False
Let r be 0 + 1/((-4)/(-16)). Suppose -1 - 13 = -2*u + 4*l, 5*u = -r*l + 7. Suppose -5*g - 3*o = -1170, u*g - o = 2*g + 242. Is g composite?
True
Suppose 5*r - 2*i = -181 - 8, 3*i = 4*r + 154. Let t = 529 + r. Suppose -j = 191 - t. Is j a prime number?
False
Let p be 1*3/(-3) - 3. Let j be ((-4)/(6 + p))/(-2). Is -5 + j + 264 + -1 a composite number?
True
Is (-2)/((6/(-4484))/(21/28)) composite?
True
Suppose 4*c - 15 = -7. Suppose -2*d + 5*v = 2*v - 719, c*d - 717 = v. Is d prime?
False
Suppose -y + 572 + 198 = -w, 3*w = 3. Is y a prime number?
False
Let i = 8 - 6. Suppose -3*r + 1 = c, 1 = -i*c - 5*r + 4. Suppose 5*b = 5*y - 405, 3*b + 2 = c*y - 326. Is y a prime number?
False
Let n(o) = 80852*o**3 - 3*o**2 + 5*o - 1. Is n(1) prime?
False
Suppose -2 = 2*i, 0*q = -3*q - 3*i + 210. Let n = q + 275. Is n composite?
True
Let i(n) = 3*n - 10. Let h be i(4). Suppose 2393 = 5*x + 2*k, -h*x - k = -4*x + 959. Is x a composite number?
False
Let f = 19301 + -1632. Is f a prime number?
True
Let j(i) = -343*i**3 - i**2 + i - 1. Let n be j(1). Let y = -501 - n. Let f = 94 - y. Is f a composite number?
False
Suppose 24 = 4*i + 32. Is (-18465)/(-6) + (-3)/i a composite number?
False
Let p(q) = -58*q**3 - q**2 - 13*q - 8. Let n be p(-3). Let c = n - 425. Is c composite?
False
Suppose 36*d + 18431 = 43*d. Is d a prime number?
True
Let c(i) = -17*i + 976. Is c(-39) composite?
True
Suppose 6*n - n + 2150 = 0. Let g = n + 742. Suppose -2*j + 674 + g = 0. Is j a composite number?
True
Suppose 0 = -2*k - 2*q + 11126, 4*k - 62*q - 22252 = -59*q. Is k a composite number?
False
Let t(s) = s**2 + 179*s - 69. Is t(67) composite?
True
Let p(d) = -8*d**3 - 3*d**2 + 5*d - 2. Let l(n) = 8*n**3 + 3*n**2 - 4*n + 3. Let j(x) = 3*l(x) + 2*p(x). Let g be (-2)/(-1*3/6). Is j(g) composite?
False
Let d = -7 - -10. Let u be (0 + -5)*(d - 7). Let j = 2 + u. Is j prime?
False
Is 27379 - 16/8*-3 prime?
False
Let y be (-3)/((-3)/40*-5). Let n(d) = 4*d**2 - 4*d + 7. Is n(y) composite?
True
Let i(n) = -n. Let v be i(-5). Suppose -2*d - r = 40, 2*r = 2*d - v*d - 58. Is (-6)/(-2)*d/(-3) a composite number?
True
Let s(z) = -962*z - 16. Let t be s(9). Let q be t/(-6) + (-4)/6. Suppose 0*c + 5*c = q. Is c a prime number?
False
Let k(u) = -9*u**3 + 7*u**2 - 31*u - 27. Let o(i) = 5*i**3 - 3*i**2 + 16*i + 13. Let w(n) = -6*k(n) - 11*o(n). Is w(-10) prime?
True
Suppose -3*x = -s + 5963, 13*x - 23882 = -4*s + 10*x. Is s composite?
True
Suppose 17*x + 38*x - 300355 = 0. Is x a composite number?
True
Let c be 44/10 + 6/10. Suppose 3*m = 3*o - 8*o + 409, -5*m + c*o = -735. Is m a composite number?
True
Suppose h = -2, -2*m - 5*h + 1029 = -695. Let b = -477 + m. Suppose 3*p - 921 - b = 0. Is p composite?
True
Let t(w) = -w**3 - w**2 - 10*w + 6689. Is t(0) composite?
False
Let z(b) be the first derivative of b**7/840 + 11*b**6/360 - b**5/15 - b**4/8 + b**3/3 - 4. Let s(c) be the third derivative of z(c). Is s(-8) prime?
False
Suppose z = 3847 + 126. Suppose 5*x - 8*c - z = -4*c, 0 = 4*x - 2*c - 3182. Is x composite?
False
Suppose 12 = 5*w - 3*u, 2*u = -4*w - 0*u + 14. Is ((-373)/w)/(6/((-90)/5)) composite?
False
Suppose 6 = v + 2*v. Suppose i = -4*f + 121, 3*i = -3*f + v*i + 91. Suppose 291 = 3*d + f. Is d a prime number?
False
Let i = -26795 - -64104. Is i prime?
True
Suppose -2*y + 38888 = 6*f - f, 58323 = 3*y + 3*f. Is y a composite number?
True
Suppose -12*v = -30*v + 273366. Is v prime?
True
Is -1756*(-7 + (-90)/40) a composite number?
True
Suppose -24 = -4*y - 72. Is 1355/7 + y/(-28) a prime number?
False
Let f = -82 - -144. Suppose f*g - 172 = 60*g. Is g composite?
True
Let a = 26545 - 11987. Is (-4)/((-48)/a) - (-2)/(-12) prime?
True
Suppose -242221 = -23*i + 250002. Is i prime?
True
Let q(y) = -1390*y - 47. Is q(-4) a composite number?
True
Let f = -171 + 367. Suppose -5*p + 139 = -f. Is p composite?
False
Let k(o) = -5*o - 75. Let d(c) = -c - 15. Let g(r) = -11*d(r) + 2*k(r). Let s be g(-11). Suppose -4*u - 7 = -3*j - 54, s*u - 59 = -j. Is u a composite number?
True
Suppose 0 = -3*v + 5*g + 2890, 0*v + 4*v + 5*g = 3795. Is v composite?
True
Suppose s - 4 = 1. Suppose 5*z + d = -s, 0*z = z - 2*d - 10. Suppose z = -3*j + 7*j - 148. Is j a composite number?
False
Let f(m) = m**2 + 11*m + 15. Let n be (-100)/(-15)*9/(-6). Let a be f(n). Suppose 4*z + 2*c - 152 = 0, -z = -a*c - 17 - 10. Is z a composite number?
False
Is (-8)/(-20) + (-19998)/(-30) prime?
False
Let w = 