6*g - 871. Is q a composite number?
True
Let c(o) = -o**2 - 9*o. Let r be c(-9). Let f be (r/(-6))/(1*2). Suppose 3*m + 0*m = 5*l + 653, f = -5*m - l + 1051. Is m composite?
False
Let i(j) = 4*j**3 + 2*j**2 - 1. Let q be i(1). Suppose -3*k = 2*f + f - 474, 158 = f + q*k. Is f a composite number?
True
Suppose -145 = t - 2*t. Is t prime?
False
Let m(n) = 24*n - 7. Is m(5) a prime number?
True
Let o(g) = 3*g - 1. Let t(q) = 5*q - 2. Let u(n) = 7*o(n) - 4*t(n). Let f be u(1). Suppose 3*z - c = 108, -4*z + 0*c + 146 = -f*c. Is z composite?
True
Let g(s) be the third derivative of s**7/420 - s**5/120 + s**4/12 + s**3/3 - s**2. Let u(t) be the first derivative of g(t). Is u(3) prime?
True
Suppose 3 = -a - x, 3*a - x = x + 6. Suppose a*d + 3*d - 15 = 0. Suppose -2*m - 78 = -d*m. Is m a prime number?
False
Suppose 4*d - 13 - 3 = 0. Let p be (d/(-5))/(2/(-10)). Suppose 0 = 5*a + t - 111, -3 = p*t + 13. Is a prime?
True
Suppose -3*l + 182 = 5*m, 4*m - 5*l - 79 = 2*m. Is m prime?
True
Let x(p) = p**3 + 6*p**2 + 2*p + 2. Let d(b) = b - 3. Let q be d(0). Is x(q) composite?
False
Let y be (-4)/(-4)*(-2 - -2). Suppose -4*f = k - 7, -f + 10 = -y*k + k. Is k composite?
False
Let i = 6 - 1. Suppose i*t = t + 260. Is t prime?
False
Let t(v) be the first derivative of 1 + 1/3*v**3 - 4*v - 1/4*v**4 - 5/2*v**2. Is t(-3) a prime number?
True
Let q(u) = u**3 + 3*u**2 - 2*u - 4. Let a be q(-3). Let d be 2 - (-216 - -2) - a. Let v = d + -135. Is v a prime number?
True
Let n(u) = -107*u**3 + u**2 + 2*u + 1. Let h be n(-1). Suppose 4*i - h - 89 = 0. Is i composite?
True
Let w(k) = -k + 1. Let z be w(-4). Suppose 3*c + 4*b + 0*b = 43, b + 110 = 5*c. Suppose -c - 54 = -z*o. Is o composite?
True
Let l(n) = n**2 - n + 2. Let q be l(3). Suppose d - 5*d = -q. Let s = d - -5. Is s composite?
False
Let p = 49 + -13. Suppose 3*r - 9 = p. Is r a composite number?
True
Let q(s) = -1 - 2*s + 330*s**2 + 0 + 0. Is q(-1) a prime number?
True
Let s = -647 - -1144. Is s a composite number?
True
Let p = -13 + 22. Let r = p - 5. Suppose 0 = -9*o + r*o + 65. Is o prime?
True
Let a be 4/(-6) + 132/9. Is (a/(-4))/(-7)*514 prime?
True
Suppose 2*j = -6, 2*j + 365 = 3*s + 50. Is s prime?
True
Suppose -3*z - 3*y + 3 = 0, 0 = -5*z + 2*z - 4*y. Suppose k = 4*x - 593, -z*x - k + 611 = 4*k. Is x a prime number?
True
Suppose -3*f - f - 108 = -h, 5*f + 114 = -4*h. Let i = -11 - f. Is i composite?
True
Suppose 0 = f - 4 - 1. Suppose 0 = -4*o + 5*g + 1, f*o + g = 29 - 6. Suppose -o*k = -2*k + 4, -5*n - 4*k = -167. Is n prime?
False
Let v be (-72)/45*5/(-2). Let a be v/(-20) + (-282)/(-10). Let d = 49 - a. Is d composite?
True
Let c(b) = 11*b**2 - 1. Let a be c(6). Suppose -a = 4*l - 9*l. Is l prime?
True
Suppose -2*u - u + 2958 = 0. Suppose -7*s - u = -9*s. Is s prime?
False
Suppose -u = -4*n + 15, 2*u - 21 + 3 = -4*n. Suppose 0 = -6*b + n*b + 174. Is b a prime number?
False
Let t(c) = 174*c + 35. Is t(16) a prime number?
True
Let u = 9 - 6. Suppose u*m - 118 = m. Is m a composite number?
False
Let z = -3 + 3. Suppose l - 5*c = -0*l - 74, -c = z. Let j = l + 105. Is j composite?
False
Let c(z) be the first derivative of -1/2*z**2 - 1 + 7*z. Is c(0) a prime number?
True
Let c(y) = y**2 - 8*y - 14. Let o be c(10). Suppose -z + o*z - 2645 = 0. Is z composite?
True
Let m(f) = -f**3 - 6*f**2 + 4*f + 10. Let q be ((-4)/10)/(1/45). Let y = -25 - q. Is m(y) prime?
True
Suppose 7*a = 2*a - 370. Is (a/(-8))/(2/16) prime?
False
Suppose 8*w - 590 = 3*w. Is w prime?
False
Let j be 8/5 + (-14)/(-35). Suppose j*x + x + 3 = 0. Let k(i) = 133*i**2 - i. Is k(x) prime?
False
Suppose -h = -3*g - 0 - 6, -1 = -2*h - 5*g. Suppose -44 = m + h*m. Let w = m - -33. Is w a prime number?
False
Let h(a) = -13*a + 30. Is h(-13) composite?
False
Let o be (-78)/(-14) - 33/(-77). Let p(u) be the third derivative of u**4/3 - u**3/6 - u**2. Is p(o) prime?
True
Suppose 3*d + 4*d + 357 = 0. Let o = d + 178. Is o prime?
True
Suppose -z + 10 = -0*p + 2*p, 5*p = -z + 22. Let m(n) = n**2 - 4*n + 1. Let x be m(p). Is ((-62)/(-4))/(x/2) a prime number?
True
Let h(s) = 0*s - 3*s + 0*s - 13. Let m be h(-9). Suppose -2*u + 3*u = m. Is u a composite number?
True
Let r = -155 + 233. Is r - 3/6*2 prime?
False
Let o(r) = -1518*r + 1. Is o(-2) a prime number?
True
Let q(a) = -36*a + 1. Let m be q(-2). Let i = m - 8. Is i composite?
True
Let o(z) = -7*z - 73. Suppose 0*d - 2 = -d. Let k(j) = 3*j + 37. Let l(t) = d*o(t) + 5*k(t). Is l(0) prime?
False
Suppose 0 = 2*f - 9 + 1, -5*f = 5*t + 15. Suppose -54 = -2*o - w - 4*w, 2*o - 4*w - 18 = 0. Let r = t + o. Is r prime?
False
Let s be 2728 + 0 - (0 - 2). Suppose -5*h + 177 = 5*a - 2523, 0 = -5*a + h + s. Suppose 0*c + a = 5*c. Is c composite?
False
Suppose 5*b = -y + 2091, 0*y + 1237 = 3*b + 5*y. Is b a composite number?
False
Let g(l) = -1857*l + 8. Is g(-3) a prime number?
False
Suppose 4*d = 5*d - 769. Is d a prime number?
True
Let q = 5 + -3. Let p be 8*4/2*q. Suppose -p = -m + w, -15 = 2*m + 3*w - 74. Is m a composite number?
False
Suppose -m + 5*m + 145 = 3*r, r = -2*m - 85. Let n = m - -61. Is n prime?
False
Let c(t) = 2*t**2 + t + 1687. Is c(0) composite?
True
Suppose 0 = -3*w + 2*i + 16, -3*w + 2*i = -4*w - 8. Let g be w*-1 + 4 - -51. Is g - 2/(1 + -2) composite?
True
Suppose 4*l - 54 = 6*l. Let y = 94 + l. Suppose -5*a + y = s, -a - s - 2*s + 19 = 0. Is a composite?
False
Suppose -2*k - 11*k + 1742 = 0. Is k prime?
False
Let k(c) = 10*c. Let b be k(-3). Let u = 77 + b. Is u a prime number?
True
Suppose j + 4*s - 1284 = -237, 2094 = 2*j - s. Is j composite?
True
Let h(b) = 11*b**3 - 3*b**2 - 6*b + 5. Let v be h(4). Let a = -330 + v. Is a a prime number?
True
Suppose -3*o - 3*y - 27 = 0, 0*y + 2*y + 14 = -o. Let t be 3/(-6)*o*2. Suppose b + 3*v + 0 = 7, -t*b + 28 = 4*v. Is b composite?
False
Let h = -12 - -31. Is h a prime number?
True
Let f(l) be the third derivative of 0 + 2/3*l**3 + 1/20*l**5 + 0*l - 3*l**2 + 1/6*l**4. Is f(-3) prime?
True
Let c(b) = -3*b + 4. Let x be c(3). Is 86 + x + (-5 - -3) a composite number?
False
Let n be ((-2)/4)/(2/(-8)). Let z(c) = c**2. Let x be z(n). Suppose -x*l + 21 = 9. Is l composite?
False
Let t(m) = -m**3 - 8*m**2 + 9*m + 2. Let p be t(-9). Let s = 2 + p. Is ((-75)/6)/((-2)/s) a prime number?
False
Suppose -4*f - 9 = 3. Is f + (-3)/((-6)/26) prime?
False
Let s(x) = -8*x**2 - 2*x - 2. Let n be s(3). Let d = -34 - n. Is d prime?
False
Let k = -6 - -8. Let n be ((-16)/(-6))/(k/6). Is 122/n - 2/8 composite?
True
Let f(j) = -43*j + 5. Let q be f(6). Let u = q - -1940. Suppose -5*v + u = -168. Is v composite?
True
Let k = -835 - -1194. Is k a prime number?
True
Let p = -609 - -1078. Is p a prime number?
False
Let r = 1971 + -418. Is r a prime number?
True
Suppose f + 1665 = 4*f. Let l = f + -236. Is l a prime number?
False
Let b(d) be the second derivative of d**5/10 - d**4/12 + d**3/3 - d**2/2 + d. Let n be b(1). Is (-3 + n - 0)*-13 a composite number?
False
Let c(w) = -3*w**2 - 5*w - 1. Let h be c(4). Let a = 106 + h. Is a composite?
False
Suppose -10 - 12 = -4*d - 3*x, -d + 4*x - 4 = 0. Suppose 3*b - 357 = -d*b. Is b a composite number?
True
Let z(l) = -788*l**3 - 2*l**2 + 1. Is z(-1) composite?
False
Suppose 4*r - 1307 = 337. Is r a composite number?
True
Suppose -39 = -3*b + 3*y, b = -2*y + 1 + 3. Suppose 4 = -2*q - i, -4*i + 0*i - b = 2*q. Is 2*(13/2 + q) prime?
True
Is 64*2 + (1 - 2) composite?
False
Let c = -9 + 15. Is (c/9)/((-2)/(-447)) a prime number?
True
Suppose -4*f + 917 = d, 2*d + f - 3*f - 1864 = 0. Is d composite?
False
Is 1*(-4 + 794 + -3) composite?
False
Suppose 3*r + 1379 = 8*r + 3*l, -2*l - 4 = 0. Suppose 2*w - 4*m = 118, -5*w = -7*m + 3*m - r. Is w a composite number?
False
Suppose -11*k + 1222 = -9*k. Is k composite?
True
Let z = -669 - -1962. Is z a prime number?
False
Suppose -3*o = -7*o + 256. Let r = o + -31. Is r composite?
True
Suppose 5*f - 9*r = -4*r, -3*f - 3*r = -18. Is -3 + -1 + 168 - f composite?
True
Let x be 3/(9/(-6)) - -8. Suppose x*s = s + 335. Is (-1)/((-1)/s - 0) composite?
False
Let k = 84 - -25. Suppose -2*v + 5*g + 245 = 0, v + 0*v + 2*g = k. Is v a prime number?
False
Let w(s) = s**3 - 7*s**2 - 4. Let n be w(8). Suppose 0 = 3*y - 63 - n. Suppose y = 3*i - 394. Is i a prime number?
False
Let f(d) = -d**3 - d**2 + 7*d +