 + 17 = 5*t - 2*t. Is x(o) composite?
True
Let h be ((-6)/(-60)*16)/((-6)/(-45)). Let w(s) be the third derivative of s**6/120 - 11*s**5/60 - 3*s**4/8 - 7*s**3/3 - s**2. Is w(h) a prime number?
False
Suppose -3*d - 5122 = -5*r, 2*d - 2*r + 3423 = 3*r. Let l = -1158 - d. Is l prime?
True
Let j be ((-23)/69)/((1/(-69))/(-1)). Let x = j - -120. Is x a prime number?
True
Suppose 5 = s - 2*s, 0 = -5*q + s + 24300. Is q prime?
False
Let l = -13 - -15. Suppose 3*o + 2*w + l*w = 2457, -3*o + 5*w = -2430. Is o a prime number?
False
Suppose 5*u - 75 = -0. Suppose -s - a + 0*a = 1, -3*s + u = -3*a. Suppose 83 = f + s*y, 4*f - f + 2*y - 241 = 0. Is f composite?
False
Let a(f) = 2134*f**2 - 17*f - 1. Is a(2) a composite number?
False
Suppose 7*m - 4*m - 9 = 0, 0 = 5*o - 5*m - 8970. Is o a prime number?
False
Let p(t) = 224*t + 131. Is p(37) composite?
False
Suppose -4*r + 0*r - d + 4869 = 0, 3*r - 5*d = 3646. Is r a prime number?
True
Suppose -k + 2 = -2. Suppose -q - 2*x = 2*x - 21, -k*x + 20 = 0. Is 2 + 33 + q + 1 a prime number?
True
Let d = -3 - -3. Suppose -2*a - v + 8 = d, -1 = -2*a + 5*v - 5. Suppose 4*y - 33 = a*y. Is y a prime number?
False
Let t(f) = -2*f**3 - f + 2. Let u be (-3 - 0)*(2 - 3). Let z be t(u). Let q = z - -512. Is q a prime number?
True
Let p(s) = s**3 + 6*s**2 + 5*s - 10. Let g be p(-5). Let n(i) = -2*i**3 + 10*i**2 + 12*i - 1. Is n(g) a prime number?
True
Let w(b) = 1285*b**2 - b - 4. Let c be w(2). Suppose 0 = -3*z - 3*m + 8535, -3*z + 3385 + c = -5*m. Is z prime?
True
Suppose 2*j = 3*y - 27405, 0*y - 5*j = 5*y - 45650. Is y prime?
True
Let a = -2547 - -7928. Is a composite?
False
Let h(i) = 8567*i + 32. Is h(3) prime?
True
Let o(r) = 77*r**2 + 13*r + 137. Is o(-9) composite?
False
Suppose 0 = 2*t + 2*o - 822, -3*t - 3*o + 1641 = t. Suppose -2*a + 1399 - t = 5*x, -5*x = -2*a + 981. Is a composite?
True
Suppose -z + 22600 = 3701. Is z composite?
False
Let w(k) = 7*k**3 - 6*k**2 + 8*k - 9. Let c be w(5). Suppose -3*n + 1221 = -c. Is n composite?
False
Let u = -30 - -28. Is -1 + u - (-189 - -1) prime?
False
Suppose -71735 = 24*y - 239183. Is y prime?
True
Suppose 3*l - 2 = n, 9*l - 3*n + 2 = 4*l. Let j(g) = 2*g**2 + 2 - 1 + 0*g**l + 3*g. Is j(-3) composite?
True
Is -4 - (14/(-28) + (-176775)/6) a composite number?
True
Let n(a) = 148*a + 58. Is n(16) a composite number?
True
Let r = -608 + 1282. Suppose -3*i = -i - r. Let x = -188 + i. Is x a prime number?
True
Let w(m) = 205*m**2 - 18*m + 10. Is w(-8) prime?
False
Let f = 21 - 16. Suppose f*l - 354 = 91. Suppose 4*k + l = x, -k + 0*k = -2*x + 213. Is x prime?
True
Let r = -15 + 15. Suppose r = 2*b - 41 - 273. Let t = b + -100. Is t a composite number?
True
Let o(g) be the first derivative of g**3/3 + 7*g**2/2 - 9*g + 1. Is o(-14) a prime number?
True
Suppose -4*t - 23 = 85. Let d = -31 - t. Is (-819)/(-2) - (-2)/d a composite number?
False
Let n = -211 + 600. Is n a composite number?
False
Let u = 24 - 19. Is (-9709)/(-35) + (-2)/u a prime number?
True
Let r(x) = -2*x**2 - 4*x + 5. Let c be r(3). Let m be (c/15)/((-1)/3). Suppose 2 + 20 = 2*f - m*u, -2*u + 8 = 0. Is f a prime number?
False
Suppose 3*r = 3*s + s - 4880, r + 1221 = s. Is s a prime number?
True
Let h be -1 - (0/(-4) + -807). Let d = h - 241. Is d composite?
True
Let g(n) = 16*n + 5. Let k(p) = -p**3 - 6*p**2 - 7*p - 7. Let i be k(-5). Is g(i) a prime number?
True
Let c(z) = z**2 + 3*z + 4. Suppose -5*q = 4*k + 12, 3*q = 7*q. Let j be c(k). Is (-6)/j - 2142/(-12) prime?
False
Suppose -2*k + 9942 = 2*o, 0 = -5*k - 2*o - 3126 + 27981. Is k prime?
False
Let h = -573 + 867. Let k = h - 139. Is k a composite number?
True
Suppose -190*w = -197*w + 12313. Is w composite?
False
Suppose 0 = -2*t - m + 6*m + 668, 3*m + 1336 = 4*t. Suppose -2*x - t = -2*y - 2*y, y = -x - 167. Let n = x - -313. Is n a composite number?
True
Let s(m) = 1098*m + 23. Is s(5) a prime number?
False
Let v(w) = w**2 - 8*w + 24. Let q be v(10). Let u(x) = q - x**2 - 6*x - 33*x - 45. Is u(-18) composite?
True
Let z(p) = 162*p**2 + 2*p - 10. Let v be z(-5). Suppose 4*m + 2*w - v = 0, -m - m - 3*w = -2009. Is m a composite number?
False
Let b = -1800 + 5681. Suppose -6*s + 2413 + b = 0. Is s prime?
True
Suppose 5*k - 3*u = 3370, 11*u = k + 10*u - 672. Is k prime?
True
Suppose 9 = -0*c + 3*c. Let j be 10491/(-15) + c/(-5). Let h = -401 - j. Is h a prime number?
False
Let s(g) = -2763*g + 12. Is s(-7) prime?
False
Let i = 2758 + -659. Is i prime?
True
Let r(v) be the second derivative of 25*v**3/6 - v**2 - 17*v. Suppose 0*w - 15 = -3*w. Is r(w) composite?
True
Let o = 91 - -187. Let i = 189 - o. Let j = i + 216. Is j composite?
False
Let n = -41 - 377. Let f = n + 1049. Is f composite?
False
Suppose 7*s = 6*s + 13. Let b(p) = 3 + 1 + s*p**2 - 12*p**2. Is b(-3) composite?
False
Let k(a) = -7*a + 783. Let v(x) = -3*x + 391. Let b(l) = -2*k(l) + 5*v(l). Is b(0) a prime number?
True
Suppose 149*n - 146*n = -y + 186770, 5*y + n - 933920 = 0. Is y composite?
True
Let i = 1284 + -745. Let s = -325 + i. Is s prime?
False
Let s be (-13)/(-3) + 28/42. Suppose 650 = s*z - 1755. Is z prime?
False
Suppose 9 - 2 = -u. Let k(y) = -80*y - 7. Is k(u) a composite number?
True
Let s(a) = -539*a**2 + 7*a + 9. Let g be s(-2). Is (0 + g/(-4))/(10/40) prime?
True
Let v = -15581 - -42208. Is v a prime number?
True
Let d(o) = o**2 + 14*o + 20. Let r be d(-15). Suppose 79 + r = 6*b. Let l = b - 12. Is l prime?
True
Suppose 2*k + 0*k = 2*d - 1260, 0 = -k + 3*d - 638. Let z = k + 1837. Is z composite?
True
Let o(f) = 2*f - 8. Let m be o(6). Let a = m + 2. Let v = 28 - a. Is v a prime number?
False
Let o be -281*((1 - -2) + -2). Let y = o - -428. Is (2/(-3))/((-14)/y) a prime number?
True
Let j(k) = -k**2 - 3*k + 4. Let d be j(-3). Suppose -d*z = -6*z + 548. Let q = -185 + z. Is q a prime number?
True
Let f be (-3 - (0 - 1))*-1788. Let d be (2/4)/(1/f). Suppose -2*h - d = -6*h. Is h a prime number?
False
Let x = -43 + 57. Suppose 17*g - 1623 = x*g. Is g prime?
True
Let i = 43180 + 6407. Is i a composite number?
True
Let t(x) be the third derivative of 1/6*x**3 + 0 - x**2 + 0*x - 1/24*x**4 + 11/12*x**5. Is t(1) composite?
True
Let x(i) = 43*i**2 + 6*i - 2. Suppose 3*q = 7*q + 20. Is x(q) a composite number?
True
Suppose 0 = -26*c + 377483 + 180659. Is c composite?
False
Let p = -37 + 24. Let n = 13 + p. Suppose n = -3*c + 68 + 601. Is c a prime number?
True
Let f be 12/(-12)*(-1 - 1) - -4. Let m(h) be the third derivative of 5*h**4/12 - h**3/2 - h**2. Is m(f) composite?
True
Let r(t) = -t**3 + 9*t**2 - 8*t + 3. Let s be r(8). Suppose m - 183 = s*a - 22, 4*m + a = 657. Let y = 253 - m. Is y a composite number?
False
Let t be 27/15*15/(-3). Is (-592)/(-10) - t/(-45) a prime number?
True
Suppose -2*v + 8 = -3*j, 4*j + v = -v + 8. Suppose -p + 28 = p + 3*z, j = 2*p - 2*z - 8. Let q(x) = x**2 + x + 5. Is q(p) composite?
True
Let f = 5330 + 5192. Is f composite?
True
Let i(b) = 3*b - 13. Let a be i(6). Suppose -m - 3*m = -2*s - 8490, 4*m - 8487 = a*s. Is m a composite number?
True
Is (84/(-35) + 2)/((-4)/764510) a prime number?
False
Let w(r) = -2*r**3 + 14*r - 8*r**2 + 3*r**3 + 12 - 5*r**2 - 3*r**3. Is w(-11) prime?
True
Let q be 158 - (-1 + 2 + 2). Is q/2*(-24)/(-60) prime?
True
Suppose 3*h + 1 - 7 = 0. Suppose v + 6 = h*m, 7 = 3*m - 5*v + 5. Suppose -2*n + 2*g = -240 - 24, -n - m*g + 107 = 0. Is n composite?
False
Suppose -4*y + 0*y + 29606 = 2*p, 7*p = -5*y + 103648. Is p a composite number?
True
Let u(k) = 41*k + 8. Let q = -41 + 56. Is u(q) composite?
True
Suppose -2*q + 4*q = -4*m + 24, 0 = m - 5*q + 16. Suppose -m*j + 5368 = -10196. Is j a composite number?
True
Suppose -7*h = -3*h. Suppose p + h*p + 3*q - 322 = 0, 3*p - 4*q - 953 = 0. Is p a composite number?
True
Let l(b) = 2*b + 119. Let c(q) = -3*q - 240. Let n(v) = -4*c(v) - 7*l(v). Suppose -2*z - 3*z + 5 = -5*g, -5 = 2*g - 5*z. Is n(g) a composite number?
False
Suppose 4*z - 568 = 2*y + 104, -y + 340 = 2*z. Let q be (1 - z)*(-1)/2. Suppose 82 = 2*f - q. Is f prime?
True
Suppose f - 4*h = -10, 5*f - h - 7 = -0. Suppose 4*t = -f*r + 2238, 0 = 5*t + r + 2*r - 2798. Is t prime?
False
Suppose 0 = 4*s - 9*s - 10, 5*s = 3*p - 14359. Is p a composite number?
False
Is 75/10 + -6 + 701080/16 composite?
True
Let r(q) = 49*q**2 - q + 5. 