 + 3455 = 3*s - 1513. Is s a prime number?
True
Let u = 18499 + -6166. Is u a composite number?
True
Let j(f) = -4979*f + 136. Is j(-15) a prime number?
True
Let o = 715 + -1431. Let w = 1265 - o. Is w a composite number?
True
Let b(o) = o**3 - 5*o**2 - o - 12. Let d be b(6). Let t be 2/(-4) + 11457/d. Suppose 0 = -6*z + 10*z - t. Is z a composite number?
True
Suppose 3152 = u - 13139. Is u a prime number?
False
Suppose -5*w + 14*w - 36 = 0. Suppose -3 = w*u - 5*u. Is u prime?
True
Suppose 1524 = 5*l - 1546. Let s = l + -303. Is s prime?
True
Let z(c) = 12*c**2 + c. Let t be z(1). Suppose 5*k = 2*g - 8, -t + 1 = -3*g. Suppose v + n = -0*n + 39, k = -v - 3*n + 47. Is v prime?
False
Let f = 56078 + -24595. Is f prime?
False
Suppose -171 = -3*v + 3*j, -j - 114 = -2*v + 4*j. Let n be -704*5*4/40. Let w = v - n. Is w composite?
False
Let a(t) be the second derivative of 65*t**4/12 + 2*t**3/3 - t. Let g be a(-2). Let u = g + -133. Is u prime?
False
Suppose -4*g + 12 = -8. Suppose 0 = 4*o + 4*j + 8, -6*j + 3*j = g*o + 2. Suppose 0*t + 1126 = o*t. Is t composite?
False
Let w be (-3)/((-36)/(-4))*(1 + 5). Let f(g) = 28*g**2 + 9*g + 1. Is f(w) composite?
True
Let m(j) = 53*j**3 + 9*j**2 - 28*j - 6. Let o be m(5). Suppose 2*q + 880 + 1804 = 2*i, -5*i = -3*q - o. Is i a prime number?
False
Suppose 640*s = 633*s + 68719. Is s composite?
False
Is (-96)/(-240)*63790/4 a composite number?
False
Let s(g) = 8*g**2 + 15*g - 4. Is s(13) composite?
False
Let i = -12 + 19. Let t = i + 6. Is (-1 - t)*(-222)/12 prime?
False
Let b(o) = -o**3 + 4*o + 521. Is b(0) composite?
False
Let t(q) = 971*q**2 + 44*q + 45. Let p be t(-1). Suppose h = -498 - 27. Let y = h + p. Is y prime?
False
Suppose 4*f + 2*c - 37240 = 0, 4*c - 18616 = -2*f + c. Is f a composite number?
False
Is ((-235868)/(-6))/((-32)/(-48)) a prime number?
True
Suppose -3*p + 31090 = 2*p. Is p a prime number?
False
Suppose 0 = 4*a + 5*i - 11281, -3*a - 4*i = -0*i - 8461. Is a a prime number?
True
Let o = -39891 - -113830. Is o a prime number?
True
Let z(s) = s - 4. Let l be z(8). Suppose 4*x = -l*c - 32, -3*c + 5*x + 5 = -3. Is (-52)/2*26/c a prime number?
False
Let k be ((2/(-3))/(-1))/((-4)/(-246)). Suppose -4*u + k = -227. Is u a composite number?
False
Suppose 263701 + 476915 = 12*g. Is g composite?
True
Let z = -210 - -690. Suppose 4*s + z - 2252 = 0. Is s a prime number?
True
Let l(h) = -5*h - 6. Let t(z) = -z - 1. Let m(v) = l(v) - 4*t(v). Let b be m(-7). Suppose -2175 = -b*c + 3070. Is c prime?
True
Suppose -3*t = 38 - 44. Is -2 - 909/t*-2 prime?
True
Let v(p) = -p**2 - 8*p + 12. Let k be v(-9). Is 335/6*4 + (-1)/k prime?
True
Is 3621*2 - (81 - 82) a composite number?
False
Let s = 16382 - 11343. Is s a prime number?
True
Suppose -7*d = 2 - 72. Let k be (7/2 - 3)*d. Suppose 8*u - j = 3*u + 632, 0 = -u + k*j + 112. Is u a composite number?
False
Let o(g) = 18*g**3 - 2*g**2 + 4*g + 1. Let r be o(5). Suppose -4*y + 5*a = -1762, 3*a - r = -6*y + y. Is y a composite number?
False
Suppose -4*h + t = 588, h + 102 = -t - 50. Let g be -2*(3 + h/(-8)). Let p = 24 - g. Is p prime?
True
Let b be (1 + -7)*20/15. Is ((-22)/b + -2)/((-4)/(-1136)) prime?
False
Is 2 + 0 + 2 + (-91440)/(-24) a composite number?
True
Suppose 0 = -5*q + 2*a + 6759, 2*a = q + a - 1353. Suppose j + 6*s = s + q, 4*s = -2*j + 2714. Is j prime?
True
Suppose 0 = -33*v + 13394 + 16999. Is v a prime number?
False
Let j(t) = -9*t**3 + 5*t**2 + 5*t. Let p be j(-2). Let q(v) = -3*v - 2. Let m be q(2). Let b = m + p. Is b a prime number?
False
Let g = -75 - -73. Is (2 + -2 + 74)/(g/(-11)) a prime number?
False
Suppose 3*d = 5*a - 6717, -a + 5*a + 3*d - 5352 = 0. Is (-1)/(-3)*(7 - 6)*a composite?
True
Let x = 36695 + -20494. Is x composite?
True
Let r = 1310 - -1169. Is r a composite number?
True
Suppose -5*o = 1 - 6. Let j be o/(-2)*(-313 - -7). Suppose k + 2*s - 42 = 37, -2*k = 5*s - j. Is k prime?
True
Let o(r) = -394*r + 29. Let w(y) = 197*y - 15. Let c(d) = 6*o(d) + 11*w(d). Is c(-4) a prime number?
True
Let t(i) = i**2 - 20*i + 59. Let o be t(18). Let r(b) = -2*b**3 + 45*b**2 + 53*b + 11. Is r(o) a prime number?
True
Let h(a) be the second derivative of -11*a**5/8 + 7*a**4/24 + a**3/6 - 4*a. Let o(j) be the second derivative of h(j). Is o(-4) a composite number?
True
Let k(v) = v - 4. Let w be k(6). Let p be 2*(w + 3/(-6)). Is -196*(-3 - -2) + p prime?
True
Suppose -4*z = -l - 10, -3*l = 2*z + z - 45. Suppose 0 = -l*j + 6*j + 8. Suppose -j*h = 5*n - 1969, 5*n - 1957 = -0*n + 4*h. Is n a composite number?
True
Suppose 14*h - 38*h + 666408 = 0. Is h composite?
False
Suppose -2*n - 2*n = 16. Let c = -12 - n. Let l(g) = 6*g**2 + 12*g + 5. Is l(c) prime?
True
Let x = 6 - -185. Is x composite?
False
Let q(p) = -68*p**3 - 4*p**2 + 20*p + 55. Is q(-7) a composite number?
True
Let g be (6 + -7)/((-2)/8). Suppose 2*x + h = -89, h - 95 = -2*x + g*x. Let d = x + 95. Is d a composite number?
True
Suppose -31*m + 29414 = -9*m. Is m prime?
False
Suppose 60*h - 4996 = 56*h. Is h a composite number?
False
Let s(r) = r**3 - r + 5483. Let v be s(0). Is (-5 - -4)*(-2*v)/2 prime?
True
Let a(y) = -101*y - 10. Let b be a(-8). Let o be 5 - 1 - b/(-7). Suppose -o = -10*w + 8*w. Is w prime?
True
Let c(f) = 7*f**3 - 3*f**2 + 2*f - 2. Let q be c(2). Suppose u + q = 2*u. Is u a prime number?
False
Let w = -8408 + 19777. Is w a composite number?
False
Is 2498 - (-5 + 6 + -1) a prime number?
False
Let d(i) be the second derivative of -i**4/4 + 7*i**2/2 + 7*i. Let s be d(8). Is (1 + s/4)*-20 prime?
False
Let v = 951 - 656. Suppose -v = -5*a + 950. Is a a composite number?
True
Let x = 204 - 366. Let q = 553 + x. Is q prime?
False
Let q(m) = m - 5. Suppose 0*o = 4*o - 28. Let u be q(o). Suppose -4*j = -4*a + 64, -4*a + 27 = -u*a - 3*j. Is a prime?
False
Suppose -11971 = -2*l + y, 0*y + 3*y = 2*l - 11965. Is l prime?
True
Let r(k) = -3*k**2 - 8*k - 1. Let m be r(6). Let p = m + 306. Suppose -4*y + 303 = -p. Is y a prime number?
True
Suppose 85*y = 90*y + 10, -5*y - 86625 = -5*b. Is b a composite number?
True
Let y(v) = 2*v - 8. Let q be y(2). Is q/(-2) - -1315 - -2 a composite number?
False
Let v(x) = -x**3 - 15*x**2 + 17*x + 42. Is v(-19) composite?
False
Suppose -13*z - 1452 = -15*z. Let p = z - 175. Is p a prime number?
False
Let p = 163 - -648. Is p a composite number?
False
Let p(b) = 56*b**2 - 13*b - 13. Is p(18) a composite number?
True
Suppose -5*j + 0*v - v = -11, -19 = -j + 4*v. Suppose -g + j*x + 10267 = 3*g, -5106 = -2*g - 4*x. Is g a composite number?
True
Suppose 6*u - 3*u = -n + 12331, -12311 = -n + 2*u. Is n composite?
True
Let c(i) = -386*i - 5. Let p(l) = -1. Let u(m) = c(m) - 2*p(m). Is u(-1) a composite number?
False
Let m = -1947 + 11659. Suppose -4*s - 3*o + m = -5*o, -12141 = -5*s + 3*o. Suppose 5*z = 2*l + s, -5*z + 1253 + 1194 = 3*l. Is z a prime number?
True
Let u = 2 + 1. Suppose 3*z + u*a = -417, z + 4*a = 5*z + 516. Let p = z + 421. Is p composite?
True
Let c(t) = 653*t**2 + 22*t - 224. Is c(11) composite?
False
Let z(d) = -42*d - 6. Let p be z(-3). Let x = 173 - p. Is x a composite number?
False
Let o(m) = -m**2 + 2*m - 1. Let d be 1 + 8/(-4) + 2. Let h be o(d). Suppose h = -5*z + 1721 - 646. Is z composite?
True
Let g(b) = -6*b - 3. Let c be g(-1). Suppose -2*i - 3*s + 54 = -107, -c*s + 3 = 0. Is i a composite number?
False
Let p = -13 + 17. Let f(d) = 368*d + 9. Is f(p) a prime number?
True
Is 9797 + (-3 - (-42)/6)/(-1) prime?
False
Let r(w) = -4*w**3 - 22*w**2 - 34*w - 19. Is r(-14) a prime number?
True
Let i = -5 - -2. Let p be (399 + 0)/i - -1. Is (-2 - p/8)*6 a prime number?
False
Is (-3207)/(-12)*572/11 a composite number?
True
Let u(t) = 550*t + 12. Let a be u(2). Let r = 1217 + 496. Suppose 5*h - r - a = 0. Is h prime?
False
Let t(y) = 2*y**3 - 5*y**2 - 10*y - 10. Let o(n) = -n**2 - 15*n - 18. Let d be o(-13). Let p be t(d). Suppose -1729 + p = -5*s. Is s prime?
True
Suppose -a + 3*a = 10, -5*q + 85 = a. Let y be (16/24)/(116/57 - 2). Let r = y + q. Is r a composite number?
True
Suppose -5*j + 4*x = 68, -4*j - 20 - 22 = 3*x. Let d = j - -79. Is d composite?
False
Let u(m) = -1. Let s(t) = t**2 + 27*t - 27. Let p(z) = -s(z) + 3*u(z). Let q = -15 - 2. Is p(q) prime?
False
Let i(a) = 3*a - 24. Let k be i(13). Is k/(-2)*(-1 - 1) a composi