s) = 1. Let r(q) = 6*b(q) + o(q). Is r(2) a prime number?
True
Suppose -200124 = -3*k + 2*m + 1737, -134581 = -2*k - m. Is k a prime number?
True
Let i = -855 + 2090. Suppose 5*k = -0*k + i. Is k a composite number?
True
Suppose -13 + 9 = -r, -r = d - 59. Is d prime?
False
Let l(k) = -k**2 + 5*k + 3. Let j be l(5). Suppose -z + 716 = j*z. Is z a prime number?
True
Suppose 2*j + 1944 = 2*w, 0 = 3*j - 8*j + 2*w - 4854. Let c = -579 - j. Is c composite?
True
Let b(p) = 7*p**3 + 4*p**2 + 6*p - 7. Suppose -47*u + 52*u = 20. Is b(u) a composite number?
True
Let q be (2 - 1)*(4 - 1). Let m be (18/45)/((-4)/(-720)). Suppose 39 = q*y - m. Is y a composite number?
False
Suppose 86 = -3*b - 31. Let n = 457 - 195. Let z = b + n. Is z a composite number?
False
Suppose n = 2*q + 6, -4*n + 3*n - q = 6. Let u be ((3 - 0) + -5)/n. Is (u + 0)*(-408)/(-8) a prime number?
False
Let r be (40/14)/(4/14). Suppose 3*d - r + 115 = 0. Is (-12166)/d - 3/5 composite?
False
Let u be 12/3 + (-1 - 2) + 3. Suppose u*k - 346 = -5*n + 25, 5*n + 5*k - 375 = 0. Is n prime?
True
Let u be 2/((-1)/12*-3). Let l = -7 + 10. Let a = u + l. Is a composite?
False
Suppose 7*i + 15*i = 7414. Is i prime?
True
Suppose -308896 = 61*q - 894557. Is q a composite number?
False
Suppose 6*u - 3*y = 7*u + 1, 2*u - 13 = -y. Is 1526/u - (-3)/12 a composite number?
False
Suppose 2*y - 3089 = -y + 2*g, -2 = 2*g. Let c = 1748 - y. Is c a prime number?
True
Let f(g) = 3*g**2 - 2*g - 1. Let u(x) = -x**2 - 5*x + 5. Let h be u(-6). Let n be f(h). Suppose 3*q + 5*j - 129 = 316, -2*j = -n. Is q a composite number?
True
Let c = 8 + -4. Suppose -c*w = -2*w. Suppose w = -2*r - 6, 0*n + 139 = n + 2*r. Is n composite?
True
Suppose 0*l - 4*l = -2280. Suppose s - 4*s + l = 0. Suppose 0 = 5*m - 3*m - s. Is m composite?
True
Let y(i) = 249*i + 2. Let q(t) = -t + 1. Let j(z) = 4*q(z) - y(z). Let g be j(-2). Suppose -93 + g = a. Is a composite?
True
Let s(c) = 16*c**3 - 23*c**2 + 6*c - 81. Is s(10) composite?
False
Suppose -11*u + 48239 = -67206. Is u composite?
True
Let t(h) = -393*h + 47. Is t(-18) a composite number?
False
Suppose -72 = 2*x + 44. Let t = -38 - x. Is (-7590)/t*4/(-6) composite?
True
Let c(j) = -18*j**3 + 10*j**2 + 31*j - 12. Is c(-5) a composite number?
False
Suppose 0 = -5*x + 22 - 7. Let v = x + 1. Is -17*(2 - 46)/v prime?
False
Suppose -16*f = -4550 - 3146. Is f prime?
False
Let l be (-6)/(-18) - 35/(-3). Suppose d - l*d = -14047. Is d a prime number?
True
Suppose 11*b - 397298 = -11*b. Is b a composite number?
False
Suppose o = -o. Suppose 5*t = 3*k - 116, -2*k - 5*t + 46 + 23 = o. Is k a composite number?
False
Let g be -2*(1 - 10/(-4)). Let i(c) = c**3 - 5*c + c + 7*c**2 - 5 - 3*c + c. Is i(g) prime?
True
Let i = -63 + 282. Let r = i - 152. Is r prime?
True
Let s be (-11 - -8)*1*2. Let q be (-1)/2 - s/12. Suppose 2*x + 2*h + 86 = 6*x, q = -3*h + 3. Is x composite?
True
Let t(s) = 5*s - 21. Let u be t(5). Is ((-5)/(-15))/(u/4296) a composite number?
True
Let m(t) = t**2 + 22*t + 23. Let a be m(-21). Is ((-1367)/a + 0)*-2 a prime number?
True
Is (-17 + -5546)/(-2 - -1) composite?
False
Let i be 5/(-2)*(-4)/5. Suppose 3*g - 4 = i. Suppose l = -1, -g*c + 3*l + 1626 = c. Is c a prime number?
True
Suppose 59 = -5*v - 6. Let q = 28 + v. Is (2690/q)/((-4)/(-30)) a composite number?
True
Let x = 7 + -206. Let k be x/(-2 + 9/3). Let n = 710 + k. Is n a prime number?
False
Suppose 0 = -k - 3*x + 327, 4*k - 1690 = -k - 4*x. Let j = k - 215. Is j composite?
False
Let s(q) = 5334*q - 163. Is s(11) composite?
False
Is (2 - 0 - -951)*1 composite?
False
Suppose 81*w = 82*w - 2333. Is w a prime number?
True
Let t = -6222 - -8755. Is t a composite number?
True
Let p be 1 + -1 - 5 - -9. Suppose p*r + 79 - 4235 = 0. Is r a composite number?
False
Let y be 4/(-16) - (34/(-8) + 0). Let w be 1*(-1 - 1/(-1)). Suppose w = -y*h - 94 + 722. Is h a composite number?
False
Suppose -114*n = -119*n + 3345. Is n a prime number?
False
Suppose -2*m + 4 = -6. Suppose -j = -5*t - m*j + 1457, 0 = 2*j + 4. Is t prime?
True
Let z(f) be the first derivative of -f**4/4 - 4*f**3/3 + f**2/2 - f + 3. Let c(a) = -a - 11. Let w be c(-5). Is z(w) a prime number?
False
Let y(z) = -2*z - 4. Let d be y(-3). Suppose c = d*c. Let l(t) = t**2 - t + 47. Is l(c) composite?
False
Suppose s + 4 = 3. Is (-514)/4*(-3 - s) a composite number?
False
Let y = -16 + 19. Suppose r + 68 = y*r. Is r a prime number?
False
Let w(t) be the third derivative of 7*t**5/60 - t**4/24 - t**3/6 - t**2. Suppose 5*a + 5*k + 30 = 0, 4*a + 15 = 2*a - 5*k. Is w(a) prime?
True
Let b = 7 + -4. Suppose -1325 - 1192 = -b*o. Is o prime?
True
Let w = 103 + 43. Suppose 97 = 3*q - w. Let n = -16 + q. Is n a composite number?
True
Let k(d) be the second derivative of -d**4/6 + 3*d**3/2 - d**2/2 - 3*d. Let v be k(6). Is (-6)/(-9) - v/3 a composite number?
False
Suppose -6532 - 4301 = -3*k - 3*l, -k + 2*l = -3611. Is k prime?
False
Is 37177 + -4 + (-1 - -6 - 7) composite?
False
Suppose 3*m + 0*m = 12, 0 = -3*q + 4*m + 94013. Is q composite?
True
Suppose 0*c - 840 = a - 2*c, -4*c - 858 = a. Let t = -455 - a. Is t composite?
True
Suppose 2*p - 2*i - 27332 = 0, p = -p - 5*i + 27353. Is p prime?
True
Let v(g) = -49*g - 9. Let a be v(-7). Suppose -3*y - 1684 = -a. Let t = y - -699. Is t composite?
True
Let h be 1 - (171/(-1) - 0). Suppose -5*x + 735 = -1390. Let s = x - h. Is s composite?
True
Let b = -75 + 547. Let g = b - 333. Is g prime?
True
Is ((-24)/(-32) - 1)*-11572 a prime number?
False
Suppose 0 = 50*q - 52*q + 111712. Suppose -3*c + q = 13*c. Is c prime?
True
Is (-29496)/(-18) - (-6)/18 a prime number?
False
Suppose -6854 = -7*r - 16*r. Is r composite?
True
Let g be (-1 - -3) + (6 - -8). Suppose 2*u - 4*b = -u + 16, u - 4*b = g. Suppose 5*h + 3*v - 161 = u, 2*v - 3 = 1. Is h composite?
False
Suppose -2*z - 3*o - 34 = 0, -3*z - 56 = o + o. Is (-9984)/z - 1/5 prime?
True
Suppose w = t + 5, 3 + 17 = -2*w - 4*t. Suppose 2*b = -w*b + 1306. Is b prime?
True
Let o(h) = h - 1. Let g(t) = 10*t - 4. Let s(k) = g(k) - 8*o(k). Let b be s(4). Is 3/b + 1270/8 prime?
False
Suppose 4*u = -4, -3*l - 9 = -2*u - 38. Suppose 0*y + 2484 = 4*y - 2*z, 0 = 4*y - 5*z - 2472. Suppose y = l*q - 2*q. Is q prime?
True
Let g(w) = -12*w**3 + 15*w**2 + 10*w + 17. Is g(-7) prime?
False
Suppose 3*i - 41397 = -2*v, -11*i + 55196 = -7*i - 2*v. Is i a prime number?
True
Let x(k) = k**3 - 7*k**2 + 7*k - 9. Let r be x(6). Let v be r + (-1 - -4) + 0. Suppose -596 = -4*o - v*o. Is o prime?
True
Suppose -5*l - 8526 = 2*l. Let d = 1859 + l. Is d prime?
True
Let b(u) be the second derivative of 115*u**3/3 - 9*u**2/2 + 4*u. Is b(4) composite?
False
Let o(d) = 37*d**3 - 13*d + 47. Is o(6) a prime number?
False
Suppose -5*d + 4*d - 27 = 3*l, 36 = -4*l - 2*d. Suppose 2 = -3*m - 3*z - 4, 3*m - 4*z + 34 = 0. Is (-291)/(-6) - l/m a prime number?
True
Let c(i) be the third derivative of i**6/30 + i**5/4 - i**4/3 + i**3/6 + 4*i**2. Let a be c(-11). Is a/(-24) - (-2)/4 composite?
True
Let o(c) = -1360*c**3 - c**2 + 5*c + 1. Let h(i) = 4080*i**3 + 3*i**2 - 14*i - 3. Let w(d) = 6*h(d) + 17*o(d). Is w(1) a composite number?
False
Suppose -n - 2*q = -0*q - 20643, 0 = -4*n - 3*q + 82552. Is n prime?
False
Let u(l) = 2*l - 17. Let w be u(7). Let r be (-1)/w - (-6340)/(-12). Is ((-2)/(-4))/((-8)/r) a composite number?
True
Let w(a) = -a**3 - 15*a + 15. Is w(-11) prime?
True
Let r(z) = 3*z + 5. Let f be r(-8). Let m = f - -66. Suppose 3*d = 2*k - m, -3*k + 77 = -2*d + 14. Is k a composite number?
False
Let a = 298 + -201. Suppose 0 = -b + j + a, 5*b + 4*j - 504 = -37. Is b a prime number?
False
Let m be (16/(-12))/(4/(-12)). Let u = m + -2. Suppose -4*q + 3838 = n, 0*q + u*q - n = 1916. Is q prime?
False
Let u(r) = r**2 + 9*r - 8. Let p be u(-10). Suppose 4*t - 16 = 0, 3*k - k - 8 = -p*t. Suppose -3*v - 114 + 993 = k. Is v prime?
True
Suppose 0 = -3*j + i + 6080 + 504, 0 = 5*j - 2*i - 10975. Let d = j - 514. Is d a composite number?
True
Let p(h) = -1759*h + 343. Is p(-30) composite?
False
Is (-113404)/(-10) - (-12)/20 a composite number?
True
Let h = 19749 + -13826. Is h a composite number?
False
Suppose 23939 = 51*g - 14*g. Is g a composite number?
False
Suppose 23*s = -5*s + 242312. Is s composite?
True
Suppose -43211 = s - 2*s - 4*t,