ose 5*y + t = 7*y. Is y a prime number?
True
Suppose -y + 3*y = 3*w - 101, -206 = 4*y - 2*w. Let z = -26 - y. Is z a composite number?
True
Let w(r) = -r + 5. Let m be w(-5). Let h be (m/3)/(10/4275). Is 2/9 + h/27 composite?
False
Let g(x) be the second derivative of x**7/360 + x**6/120 + 7*x**5/120 - x**4/6 - x. Let y(v) be the third derivative of g(v). Is y(-6) composite?
False
Let q(b) = 3*b**2 - 9*b - 1. Let m = 1 + -8. Is q(m) a composite number?
True
Let i(w) be the second derivative of w**4/12 + 7*w**3/6 - 9*w**2/2 + 4*w. Let t be i(-10). Let x = 86 - t. Is x prime?
False
Suppose 5*n + 600 = n + 2*o, -2*o + 8 = 0. Let t be n/(-10) - 3/(-15). Suppose -4*c = -3*c - t. Is c a composite number?
True
Let a be 9 + (-2 - 4 - -2). Suppose 8*n - a*n = 1005. Is n composite?
True
Let u(n) = -2383*n. Is u(-1) composite?
False
Let v(g) be the first derivative of -33*g**4 + g**3/3 - g**2/2 - g + 3. Is v(-1) composite?
True
Let h = -1125 + 1712. Is h a prime number?
True
Let d(h) = 4*h - 2. Let t be d(2). Let n be (-2254)/(-10) + t/(-15). Let p = n - 148. Is p a prime number?
False
Suppose -l = -2*b + b + 124, 0 = -3*b - 2*l + 387. Is b a prime number?
True
Suppose -15896 = -5*j + 4349. Is j a composite number?
False
Let a = 40 + -66. Let w = 101 - a. Is w prime?
True
Suppose -2946 = -5*h - h. Is h a prime number?
True
Let i(q) = -157*q + 2. Is i(-1) composite?
True
Let i(p) = p**3 + 15*p**2 - 18*p - 7. Is i(-12) composite?
False
Suppose -747 - 2130 = -3*l. Is l composite?
True
Suppose -2 = -4*n + 34. Let r(m) = 2*m**3 - 4*m**2 - 8*m - 7. Let b be r(n). Suppose 6*u = u + b. Is u prime?
True
Suppose -5*u = 65 - 3210. Is u prime?
False
Let k = 29 - -318. Is k a composite number?
False
Suppose x = 3*p + 296, 4*p - 1176 = -4*x + 8*p. Is x prime?
True
Let m(g) be the first derivative of 11*g**3/3 - g**2/2 - 3*g - 3. Is m(5) a prime number?
False
Suppose -2*b - b = -483. Suppose 2*v + 560 = 3*m, -2*m + 227 + b = -5*v. Suppose 5*h = -0*h - j + m, -36 = -h - j. Is h prime?
True
Let i be (8/6)/((-1)/(-6)). Let j = 5 + i. Is j composite?
False
Suppose -x + 3*q + 0 + 10 = 0, 5 = x - 2*q. Let i = 4 + x. Is (i - 2)*(-52)/6 a composite number?
True
Suppose 2*p - 1120 = -4*t + 4372, -4*p = -4*t + 5468. Is t prime?
False
Suppose -34 = 5*p + 131. Let s = p - -164. Is s a composite number?
False
Let c be (-1 - -1) + (-6)/(-2). Let f = 1 + c. Suppose 0 = -f*h + y + 66 + 247, 2*h + 4*y - 134 = 0. Is h prime?
False
Let x be 2/(-2) - -1*111. Suppose -152 = -2*q + x. Is q composite?
False
Suppose w - 3*l = l + 383, 2*l = -5*w + 1849. Is w a prime number?
False
Let l = -9 - -11. Suppose 42 + 98 = l*w. Suppose -6*p = -p - w. Is p a prime number?
False
Suppose 10*h - 4*h - 45906 = 0. Is h prime?
False
Let j = 36 + 17. Is j a prime number?
True
Let y(g) = -5*g - 2. Let h(x) = 2*x + 7. Let m(p) = 4*p + 15. Let i(a) = -13*h(a) + 6*m(a). Let z(c) = 7*i(c) - 4*y(c). Is z(9) prime?
False
Let d = 169 - 20. Is d a prime number?
True
Let p be 1/5 + 90/50. Is (p + -881)*5/(-15) a composite number?
False
Let t(p) = 980*p - 19. Is t(7) a composite number?
False
Let r(v) = 3*v**2 + 6*v + 15. Let l be r(-13). Suppose 3*m = 4*i + 661, -m - i = -3*m + l. Is m prime?
True
Suppose 86 = 5*y + 31. Let v = 0 + y. Is v composite?
False
Let d = 480 + -121. Is d a prime number?
True
Let r(x) = -10*x + 11. Is r(-15) composite?
True
Suppose 5*o = 2*f - 24, 2*o = 4*f - 0*o - 16. Suppose 0 = -3*i + 2*n - n - 5, -2*n = f. Is 2/(-3)*(i + -1) prime?
True
Let o(m) = 33*m**3 + 4*m**2 - 7*m + 1. Is o(3) a prime number?
True
Suppose 2*s - 48 - 76 = -o, 3*o + 3*s = 363. Is o prime?
False
Let p = 247 + -108. Suppose -51 = -c - 4*m, 5*m = -4*c + 2*m + p. Is c a composite number?
False
Let t(b) = -7*b**2 + 9*b + 8. Let c(l) = -l**2 + l + 1. Let a(v) = 6*c(v) - t(v). Let w be a(3). Is (w/3)/((-2)/69) a composite number?
False
Let w be (-4)/(-5)*10/(-4). Is 275 - (w + 8 + -2) a composite number?
False
Suppose 349 = 3*t + 5*y, -7*t = -2*t - 2*y - 592. Let g = t + -53. Is g a prime number?
False
Let a(j) = 4*j - j + 3 - j**2 - j**2 - 10*j**3. Is a(-2) a composite number?
True
Let d(o) = -5*o**3 + o**2 + o + 4. Is d(-3) prime?
False
Let x be (0 + -2)/2*3. Let u = 1 + -22. Is (x/9)/(1/u) a composite number?
False
Let w(d) = d**2 - 3*d + 1. Let c be w(3). Is c/5 - 548/(-10) a prime number?
False
Let o = -403 + 639. Suppose -2*s - 2*s + o = 0. Is s a composite number?
False
Suppose 4*o = 5*w - 252 - 1114, -3*o = -4*w + 1093. Is w prime?
False
Let o(c) = c**3 - 9*c**2 + 2*c - 13. Let v be o(9). Suppose -6 = -v*k + 3*k. Is 237/(-2)*(-2)/k a prime number?
True
Suppose 3*b = 5*t + 1930, 2*b + 3*b - 3195 = 4*t. Is b a composite number?
True
Let b(o) = o**3 - 18*o**2 - 6*o + 2. Is b(19) a composite number?
True
Let q = 5 - 5. Suppose q*g = -4*y + 4*g + 104, 41 = y + 4*g. Let j = y - 8. Is j prime?
False
Suppose 0 = 3*t - 5*t - 40. Let b be (-772)/(-2)*(-10)/t. Suppose 2*g = 5*v - 0*g - 188, 3*g = -5*v + b. Is v a prime number?
False
Suppose 7*a - 748 = 3*a. Is a a prime number?
False
Is (16/12)/((-4)/(-642)) a prime number?
False
Let i(g) = 2*g + 167. Is i(0) a prime number?
True
Suppose 0*z - 3*z + 963 = 0. Let p = -206 + z. Is p prime?
False
Let k(s) = 17*s**3 - 4*s - 1. Suppose 0 = z - 3 - 0. Let n be k(z). Suppose x - g = -4*x + n, -g + 355 = 4*x. Is x prime?
True
Let n = 874 + -429. Is n composite?
True
Suppose -4*p - 197 + 37 = 0. Suppose 2*k - 2*j - 268 = 0, -2*j - j = -k + 140. Let b = k + p. Is b prime?
False
Suppose -v + 4*q = 1 + 1, -24 = -3*v + 2*q. Let c = v + -6. Suppose -c*h + 71 = 5*l - 307, -2*l + 5*h = -138. Is l a prime number?
False
Let s(m) be the first derivative of -8*m**2 - 7*m - 3. Is s(-6) a composite number?
False
Let f = 3 + 1. Suppose -f*q = -105 - 163. Is q a prime number?
True
Suppose i + 0 = 7. Suppose a - 104 = -i. Is a composite?
False
Let m(t) = -t**3 - 7*t**2 - 6*t + 6. Let c be m(-6). Suppose -2*q = -c*q + 376. Is q composite?
True
Suppose -5*x + 5 = -s, 2*x + 5*s = 5 - 3. Is ((-76)/10)/(x/(-5)) a prime number?
False
Let o(f) = -f**3 - 6*f**2 - 9*f - 3. Let a be o(-6). Let j = 102 - a. Is j a prime number?
False
Let d = 174 + 40. Let v = 329 - d. Is v a composite number?
True
Let j(h) be the first derivative of -h**3/3 + 5*h**2/2 - 2*h - 1. Let p be j(3). Suppose -t - 5 = 0, -p*t - 35 = -d - 2*t. Is d a composite number?
True
Let p = -177 + 368. Is p composite?
False
Suppose 0 = 10*a - 7*a - 165. Is a prime?
False
Suppose 3*s = -3*w + 4497, w - 6*w + 7491 = 4*s. Suppose -2*a - 2*a + 2985 = -5*v, 0 = -2*a + 5*v + w. Is a prime?
False
Suppose -4*f + 6*f - 232 = 4*s, 237 = 2*f + s. Let a = -5 + 76. Let y = f - a. Is y a prime number?
True
Suppose 4*t = -5*v + v + 712, -3*v - 5*t = -534. Is (v/(-2))/(1 + -2) a prime number?
True
Let y(s) = 51*s + 22. Is y(7) a prime number?
True
Let r = 21 + -17. Suppose -4*l - 27 = -7*l. Suppose -r*n + l*n - 170 = 0. Is n composite?
True
Suppose 4*d - 13 = -5. Suppose 921 = 5*o - d*o. Is o prime?
True
Let o(f) = -f**2 - 5*f + 8. Let k be o(-6). Suppose -3*b = k*b - 245. Is b a composite number?
True
Let a be (8/(-10))/(4/(-210)). Suppose -4 + a = 2*j. Is j a prime number?
True
Let h(r) = r**3 + 14*r**2 - 19*r - 22. Is h(-8) composite?
True
Suppose 372 + 1202 = 2*d. Is d composite?
False
Let z = 10 + -7. Suppose -n + 3*f = -8, 5*f = -z - 7. Suppose -n*m + 114 = -40. Is m prime?
False
Let c = 0 - -4. Is ((-2)/(-4))/(c/152) a prime number?
True
Let m(p) = 34*p**2 - p - 1. Let t be m(-2). Suppose -4*d = -2*d + 2, -3*i + t = d. Is i a composite number?
True
Let a(w) = 81*w + 14. Let n be a(-7). Is (1 - 1)/(-4) - n prime?
False
Let t(d) = -d - 6. Let q be t(-8). Suppose -q*s + 202 = -60. Is s a prime number?
True
Let p be (-2)/10 + (-118)/10. Is 3550/20*p/(-10) a prime number?
False
Let z(b) = -34*b - 4. Let d(w) = -35*w - 3. Let q(y) = -5*d(y) + 4*z(y). Is q(2) prime?
False
Suppose -5*d - 3*i = 10, 4*d + 16 + 14 = 2*i. Let s = d + -7. Let t = 19 - s. Is t a composite number?
False
Suppose 2*a - 15 = -4*s - s, 0 = -5*s + 15. Suppose 2*w - 1 = 11. Suppose -2*z = -w - a. Is z a prime number?
True
Let z(t) = 127*t**2 + t + 1. Is z(-1) composite?
False
Let j(i) = -60*i - 7. Is j(-5) a composite number?
False
Suppose 0 = 2*a - 0*a - 4. Suppose -r + 136 = -3*h, 3*h + 