 = j. Suppose -2*z - z + 171 = v. Is z a composite number?
True
Let s = 3805 - -3544. Is s prime?
True
Let g be (2 + -1 - 3)*-4. Suppose -2*i - 4 = 0, 3*k = g*k - 4*i - 343. Is k a composite number?
False
Suppose -3*b = -7*b - 632. Let d = b - -349. Is d a composite number?
False
Let u be 3 - (-3 + 5 - -3). Let i(m) be the third derivative of 23*m**5/30 + m**4/8 + m**3/6 - 7*m**2. Is i(u) prime?
True
Let k(c) = c**3 + 8*c**2 - 9*c - 2. Let v be k(-9). Is (1/v)/(5/(-4070)) a prime number?
False
Let j = 116 - -16. Suppose g = 214 + j. Is g prime?
False
Let o(a) = a**2 - 14*a + 52. Is o(9) a composite number?
False
Suppose -1916 = -2*c + 4*r, 4*c - 3*c - 962 = -2*r. Suppose -h = -0*h + 1, -m = -3*h - c. Suppose 0*n + m = 3*n. Is n a prime number?
False
Suppose 8*i = 10*i - 4. Suppose i*y - 9 + 31 = 2*w, -4*y - 35 = -w. Is (2/y)/((-2)/2104) prime?
True
Let f(t) = t + 2. Let g be f(15). Let b = g - 33. Let c = b - -37. Is c a prime number?
False
Suppose -4*z + 3*m + 32 = 0, 3*z - 3*m - 26 - 1 = 0. Suppose 2561 = z*w + f, 0*f + 3*f = -3*w + 1527. Let r = w + -347. Is r prime?
False
Suppose -5*g = 4*g - 89163. Suppose 8572 = 17*b - g. Is b composite?
False
Let u(d) = -d + 288. Let j(t) = 1. Let s(w) = 3*j(w) + u(w). Is s(0) prime?
False
Let a(b) = -b**3 - b**2 + 139. Let m(r) = r**2 + r + 1. Let c be m(0). Let f = c - 1. Is a(f) composite?
False
Let j(b) = -b. Let d be j(10). Let m be (27/(-18))/(3/d). Suppose -m*v + 275 + 20 = 3*s, s - 59 = -v. Is v prime?
True
Let q be 6/42 + 23868/14. Let a = q + -1134. Is a a prime number?
True
Let w = 16074 - 11215. Is w a composite number?
True
Let n(w) = 100*w - 49. Suppose -16*s - 35 = -131. Is n(s) prime?
False
Let p(g) = -2608*g + 3. Is p(-2) prime?
False
Let s(m) be the first derivative of 2/3*m**3 - 13*m + 1/2*m**2 + 3. Is s(12) composite?
True
Is 51930 - (-4 + 3)/(1/(-1)) prime?
True
Suppose -4*h + 21 - 5 = 0. Suppose 4*c + 0*d - 6 = d, h*d + 8 = 0. Let i(u) = 162*u**2 + u - 2. Is i(c) composite?
True
Let g(o) = 5*o + 3 + 7*o - 4*o - 20. Is g(11) prime?
True
Let g(b) = b**3 - 3*b - 7 + 7*b**2 + 8*b**2 + 24. Let m be g(-14). Suppose 5*s = 3*l - 57 - 88, 0 = -5*l + 5*s + m. Is l composite?
True
Let t(d) = 4*d**3 + 49 - 70*d**2 - 40 + 9*d - 3*d**3 + 73*d**2. Let r be ((-4)/1)/(2/(-4)). Is t(r) a composite number?
True
Suppose -27*g - 52551 = -36*g. Is g prime?
True
Suppose -2*v + 3*v + 2557 = 3*l, 0 = 5*l + v - 4259. Suppose -4*o + 2*z + l = 0, -639 = -3*o - 0*z - z. Is 1/(-1 - (-216)/o) a prime number?
True
Suppose 2*f - h - 13 = 0, -2*h + 9 = -2*f + 27. Suppose -i - 1761 = -f*i. Is i prime?
True
Suppose -d = -5*l + 1526, 3*l - 7*l - 3*d + 1217 = 0. Is l a composite number?
True
Suppose -34 = 9*m - 7. Is m*(-3)/(-9)*-4049 prime?
True
Let r = 4940 - -15669. Is r a prime number?
False
Suppose 0*v + 5*x = -3*v + 38, -2*v - 5*x = -32. Suppose n = 4*n + 5*l + 2, 2*l = -8. Is 1144/v + 2/n a composite number?
False
Let m be (21/(-9))/(2/(-66)). Let q = 663 - m. Suppose k = 2*y - 0*y - 300, 5*k - q = -4*y. Is y a prime number?
True
Let i(u) = -718*u + 35. Is i(-8) composite?
False
Let q be ((-6)/(-8))/(12/(-16) - -1). Is -2 - -408 - (-4 + q) a prime number?
False
Suppose 17*b = -9*b + 52702. Is b prime?
True
Is 1001/(-22)*-594 + 4 composite?
False
Let c = -6025 - -20496. Is c composite?
True
Let v = 51 + 255. Let f(w) = -w**3 - 3*w**2 + 6*w - 1. Let l be f(-6). Let q = v + l. Is q a composite number?
True
Let v be (-4)/(-10) + (-66)/15. Let w(b) = -97*b - 17. Is w(v) prime?
False
Suppose -35*k + 16133 + 60132 = 0. Is k a prime number?
True
Suppose 9 = m + l, -3*m + 2*l - l = -43. Suppose g - m*g = -48012. Is g composite?
False
Suppose -2*q = -7*q - s + 77135, 0 = -s. Is q prime?
True
Let h(l) = 3*l - 14. Let c be h(6). Suppose c = q, 3*q = 3*a + 5*q - 5399. Is a composite?
True
Is (-247502)/235*10/(-4) prime?
True
Let u = 27 - 19. Suppose -3*a + 2*n + 1 + 3 = 0, -5*a = -3*n - u. Suppose 4*q - 136 = -a*b, 2*q - 2*b - 130 = -2*q. Is q a composite number?
True
Let s = 28803 + -18506. Is s a prime number?
False
Let f(y) = 2*y**3 - 2*y**2 - y + 5. Let k = 9 + -10. Let u = k - -5. Is f(u) composite?
False
Let m = 1 + -2. Let c(n) = 3 + 5 - 4 + 2 - 5 - 2*n. Is c(m) prime?
True
Let u = -98 + 200. Suppose 0*a - u = -2*a. Is a composite?
True
Let o = 136 - 136. Let h = 3 + -1. Suppose 2*l + h*l - 56 = o. Is l composite?
True
Let s = 1047 + -659. Let u = 2855 - s. Is u a prime number?
True
Suppose -3*z - 1145720 = -43*z. Is z a composite number?
False
Let j(f) = 2356*f**2 - 18*f - 21. Is j(-2) prime?
True
Is -10 + (-143260)/(-24) + 2/(-12) a prime number?
False
Let n(i) = 99*i - 190. Is n(53) a prime number?
False
Let z be 9/27 - (-10)/6. Suppose -2*h + 908 = -l, 3*l + 2*h + 4480 = -z*l. Is -4 + (2 - l/2) a prime number?
False
Is (-4)/8 + (-41589)/(-6) prime?
False
Let o(a) = -66*a + 54. Let s be o(11). Let u = s + 1039. Is u prime?
True
Suppose 5 = s - 3*v, 5*s - 6 = 3*s + 2*v. Suppose 5*c + h - 7207 = 3*h, -4*h - 2886 = -s*c. Is c composite?
True
Let w = 768 + 240997. Is w composite?
True
Suppose 0 = -10*u + 7*u. Suppose 3*i + u*i - 3987 = 0. Is i a prime number?
False
Suppose 3 = -j - 3*i, 3*j - 2*i - 7 = -3*i. Let m be j/(12/92) + 1. Is (8/m)/((-1)/(-63)) prime?
False
Let c(f) = -3*f**3 + 2*f**2 + 5*f - 7. Let o be c(6). Let i = -266 - o. Is i prime?
False
Let a be (-4)/6*21/(-7). Is a + 16/(-4) + 1565 a composite number?
True
Suppose -3*x + 70 = 7. Let y be -1 - (-7)/(x/6). Is (0 - y)/((-8)/1480) a prime number?
False
Suppose -59*j - 100458 = -65*j. Is j a composite number?
True
Let g = -667 - -976. Is g a prime number?
False
Let h be -1 + (-4)/(-4) + 750. Suppose -h = -2*o + 7*o. Is (-12 + 13)*(-1 - o) prime?
True
Suppose 158881 = 5*t + 29796. Is t a composite number?
True
Let w = -10 + 14. Let a = w + 1. Suppose 0 = a*z - 23 - 162. Is z prime?
True
Let j be (7 - 8)*(-1 - 1). Let b(q) = -3*q + j*q**3 + 5*q - 7*q**2 + 5 + 0*q + 2*q. Is b(4) composite?
False
Let f be -6*1*2685/(-45). Let n = f + 273. Is n a composite number?
False
Let q(j) = -4*j**3 - j**2 - 15*j - 8. Let o be q(-4). Let p = 22 + o. Is p a prime number?
False
Let w = 14 + -12. Suppose w*u = 4*u + 20. Is 2/u + (-552)/(-10) composite?
True
Suppose 0 = 14*r - 18*r + 215804. Is r a prime number?
True
Is (25359245/555)/((-1)/(-3)) composite?
False
Let u(i) = i - 1. Let y(f) = -107*f + 50. Let p(r) = -6*u(r) - y(r). Is p(11) prime?
False
Suppose -b - 238 - 274 = -z, 3*z = b + 1532. Suppose 0 = -3*w + 51 + z. Is w composite?
True
Suppose -122*z = -67*z - 4771525. Is z a composite number?
True
Let h = -2727 - -8872. Is h a prime number?
False
Let g be (406/(-21))/((-2)/552). Suppose 5*q - g = -3*q. Is q a prime number?
False
Let n(u) be the second derivative of 17*u**3/3 - 15*u**2/2 + 2*u - 13. Is n(11) a composite number?
False
Let u = 14 - 20. Is (334/u)/((-6)/18) prime?
True
Let o(g) = -48*g - 50. Let u be o(8). Let m = u - -939. Is m a composite number?
True
Let w be 9/(-4)*(-23 + 47). Let v = 145 + w. Is v prime?
False
Is (1 + 9956)*1*16/48 a prime number?
True
Suppose -l = -4*h - 2427, -2*l - 43*h = -39*h - 4806. Is l a prime number?
True
Suppose -1909 = -3*z - 5*q + 3297, 3*q = 15. Is z composite?
True
Suppose 3*m - 48 = 3*s, m - 3*m = -4*s - 54. Let q be (-2)/s - 8100/(-99). Let p = q - 0. Is p a composite number?
True
Let z = -62 - -74. Suppose -7*l - 3385 = -z*l. Is l composite?
False
Let a(w) be the first derivative of -w**4/4 - w**2/2 + w + 5. Let s(r) = r**3 + 5*r**2 - 4*r + 5. Let t(q) = -2*a(q) - s(q). Is t(5) a prime number?
True
Suppose -2*r - 2560 = -7*r. Suppose 3*k - r = -2*i + 98, -5*i - 394 = -2*k. Is k a prime number?
False
Let m = 4 - -4. Suppose -4*i + m*i = 20. Suppose -i*j + 2374 = -81. Is j a composite number?
False
Let c(v) be the second derivative of 5*v**4/6 + v**3 + 7*v**2/2 - 4*v. Is c(-6) prime?
True
Suppose f + 5 = 0, -c - 4*c = -4*f - 60. Let b(j) = j**3 - 7*j**2 - 8*j + 2. Is b(c) composite?
False
Suppose 6*f + 1316 = 8*f. Suppose -3*a + 95 = -f. Is a a composite number?
False
Let a be (-1)/((7/3)/(-7)). Is ((-485)/(-2))/(a/6) composite?
True
Suppose 2*r - 3*y - 1225 = 0, -r - 2*r - 3*y + 1845 = 0. Let o = r - 33. Is o a prime number?
False
Let m(c) = -54*c**3 + c**2 + 2*c + 2. Let b be (-5)/25 + 32/10. Suppose 2*f - b*t