Let x = 4 - y. Suppose 3*o = -3*m - 104 + 398, x*o = 4*m - 356. Is m composite?
True
Suppose 6 = -5*w + 3*u + 1, -10 = -2*u. Suppose -5*c - 2*l + 203 = -0*l, -4*l = 2*c - 94. Suppose -m + c - w = 0. Is m prime?
True
Suppose -n + 77 = 2*c, 0 = -2*n - c + 4*c + 154. Is n a composite number?
True
Suppose 2*f - f - 132 = 0. Suppose 2*u + 2*u - f = 0. Is u a prime number?
False
Let g be 2/6 - 208/(-6). Suppose 5*s - g = 4*r, 2*r = 4*s - 2*r - 32. Is s a prime number?
True
Let h be 5/1*(-788)/10. Let l = -271 - h. Suppose 3*c - 15 - l = 0. Is c a composite number?
True
Suppose -o = -2*u - 6*o + 22, 18 = 2*u + 3*o. Is (-42)/(-8) - u/(-8) a prime number?
False
Let a(y) = 6*y**2 + 5*y + 6. Suppose 2*c - n - 6 = 0, n - 15 = c - 4*n. Is a(c) prime?
True
Let x(k) = -160*k - 6. Let b be x(-5). Let a = b - 279. Is a a composite number?
True
Suppose 4 = -0*b - 3*b + r, 0 = -4*b + 5*r - 9. Is (0 + -13)*1/b a composite number?
False
Let g(d) = -d - 13. Let z(r) = -r - 12. Let o(w) = 5*g(w) - 6*z(w). Is o(14) composite?
True
Let l(m) = m**2 + 9*m + 3. Is l(7) a composite number?
True
Suppose -2*z - 6265 = -3*f + 1476, 5*f - 3*z - 12901 = 0. Is f a prime number?
True
Let k(j) = -28*j**2 - 1. Let h be k(-1). Let g = h + 48. Is g composite?
False
Let w = 913 + -360. Is w a prime number?
False
Let o(r) = -r**3 - 8*r**2 - 8*r + 3. Let g(t) = t**2 - 6*t + 1. Let p be g(4). Is o(p) a prime number?
False
Let i = 143 + 2. Is i composite?
True
Is (4*634*(-2)/(-16))/1 prime?
True
Let v(t) = -4*t - 1. Let r be v(-1). Let q be ((-10)/(-8))/(1/(-4)). Is 5*(r/q)/(-1) a composite number?
False
Suppose -33 = -5*t - 8. Suppose 4*p + 2*u = 3*p + 31, 2*p + t*u - 62 = 0. Is p a composite number?
False
Suppose 0*x - 394 = -5*o - 4*x, 5*o - 414 = x. Is o composite?
True
Let v = -27 - -6. Let g = v - -35. Is g composite?
True
Let d(i) = i**3 + 4*i**2 - 2*i - 1. Suppose 20 = t + 3*t. Suppose 3*y = t*y + 6. Is d(y) composite?
True
Let u(r) = -r**3 + 7*r**2 + 10*r - 3. Is u(7) composite?
False
Let w be (-3)/(-18)*118*9. Let u = w + -96. Suppose -3*c - 1 = -o + 3, 4*o - u = -c. Is o composite?
False
Let j(o) = o - 5. Suppose -28 = -r - 3*r. Let z be j(r). Suppose 3*m - 175 = -z*m. Is m a prime number?
False
Let y = -357 + 770. Is y composite?
True
Let x(b) = 21*b**2 + 60*b + 16. Let y(p) = 4*p**2 + 12*p + 3. Let o(w) = -2*x(w) + 11*y(w). Suppose -3*v = 5 + 19. Is o(v) prime?
False
Let i(l) = 2 + 6 + 51*l - 4. Is i(3) a composite number?
False
Let n(b) = -b - 4. Let y be n(6). Let k = y + 33. Is k composite?
False
Suppose 21*c = 22*c - 907. Is c composite?
False
Let u(k) = -9*k**3 - 3*k**2 + k + 2. Let a be u(3). Let o be (0 + -1)/(5/a). Is ((-2 - -2) + o)/1 a prime number?
True
Let r(u) = 31*u**3 - 1. Let m be r(1). Suppose 3*o = -0*o + m. Is o a prime number?
False
Let h = 918 + -623. Is h prime?
False
Let w = 15 - 8. Is w a composite number?
False
Suppose -938 = -6*v + 4*v. Is v a composite number?
True
Let p = 74 + -37. Is p a prime number?
True
Suppose 0 = l - 3*n - 3, 2*l + 5 = 2*n - 7*n. Suppose l = -8*k + 3*k + 290. Is k a prime number?
False
Suppose 7685 = 10*u - 5*u. Is u a composite number?
True
Suppose -8*s + 4*r + 682 = -3*s, s - 2*r - 140 = 0. Is s prime?
False
Let t = -3 - -7. Suppose 0 = r - 4, -n = r + t*r - 277. Is n prime?
True
Let n = -43 + 266. Is n a composite number?
False
Suppose -4 = -3*u + u. Suppose u*k = 30 + 12. Is k composite?
True
Let j be 4299/27 + 2/(-9). Suppose 3*k - 423 + 147 = 0. Let l = j - k. Is l a composite number?
False
Let c be (12/(-8))/((-1)/2). Let q be 6/(-4)*2/c. Is (-77)/q*(0 + 1) a composite number?
True
Suppose -24*w = -29*w + 2425. Is w prime?
False
Suppose 13 + 17 = 5*v. Suppose x - v = 28. Is x a prime number?
False
Suppose -3*s + 5*y - 5 = 2*s, -4*s + 28 = 4*y. Suppose -s*l - 11 = 28. Is (4/(-2))/(-1) - l a composite number?
True
Is (35/21 - (-4)/(-6)) + 1692 a prime number?
True
Let y(h) = 11*h**3 + 7*h**2 - 8*h + 3. Is y(5) a composite number?
True
Suppose 3*m - 2232 - 21 = 0. Is m a prime number?
True
Suppose -6 = -2*g + 4*r, -5*r + 8 + 7 = 2*g. Let l(m) = -m**3 + 8*m**2 - 1. Is l(g) a composite number?
True
Let z(y) = -2*y**3 + 10*y**2 - 6*y. Let c be z(8). Let q = -125 - c. Is q a prime number?
True
Let v(l) = 1254*l**3 + l - 2. Is v(1) a composite number?
True
Let o(h) = h + 4. Let f be o(0). Let t be f/18 - (-11)/(-9). Let r = 37 - t. Is r a composite number?
True
Let j(m) = m**2 + 6*m + 24. Is j(11) a prime number?
True
Let o(d) = 2*d**3 - 6*d**2 - 6*d + 7. Let j = -9 - -15. Is o(j) composite?
True
Suppose w = 5*f + 17, 0 = 4*w - f - 2 - 9. Let d be (2/(-4))/(w/(-136)). Suppose 2*x - x - d = 0. Is x a prime number?
False
Let j(o) = o**3 - 5*o**2 + 4*o + 4. Let d be j(4). Is (-6)/d*134/(-3) a composite number?
False
Let m(t) = 8*t**2 - 6*t + 13. Let x = 6 - 0. Is m(x) prime?
False
Let n = -100 + 169. Let t be (-5)/(-10) - (-2)/(-4). Suppose 0*b - 3*b + n = t. Is b a composite number?
False
Let a(c) = 2 + 0*c + 5*c - c**3 + 6*c**2 + 3. Let m = 15 - 10. Is a(m) a prime number?
False
Suppose 3*o = -2*u + 34, -10 = -o + 6*o. Suppose 5*q = -5*y + u, 2*y - 5*q + 20 = 3*y. Suppose y = 2*p + 2, -44 = -4*f + 5*p + 13. Is f a composite number?
False
Let o(w) = 4 - 2*w - 1 + w. Let a(m) = -m**2 - 5*m + 14. Let q be a(-7). Is o(q) composite?
False
Let z(s) be the third derivative of -s**4/12 + 3*s**2. Is z(-7) composite?
True
Suppose 7*g - 7752 = 3*g. Is g/10 + (-3)/(-15) prime?
False
Let c(w) be the second derivative of w**6/180 - w**5/20 + w**4/4 + w**3/3 - 2*w. Let s(t) be the second derivative of c(t). Is s(4) a composite number?
True
Let c = -5 - -14. Is 2 - (-24)/(c/3) composite?
True
Let l(z) = 341*z**2 - 7. Let d(u) = 683*u**2 - 15. Let y(a) = -6*d(a) + 13*l(a). Is y(-1) a prime number?
False
Let r be 6/4 + (-8)/(-16). Is 622*r/4 + -4 a composite number?
False
Let l(i) = 44*i - 5. Suppose 4*g = 2*b - 26, -5*g = -3*b + 31 + 4. Let c(x) = -x - 1. Let z(p) = g*c(p) + l(p). Is z(1) a prime number?
True
Let v = 7 + -6. Suppose -4*b = 7 + v. Is b/9 + (-803)/(-9) a prime number?
True
Let r = 2 + 0. Let g = r + -2. Suppose 4*y + 12 = g, 0 = -l + 4*y - 0*y + 18. Is l prime?
False
Is (2/(-6))/((-12)/3708) prime?
True
Let q(i) = -79*i + 3. Suppose -6*g + 2*g - 16 = 0. Is q(g) a composite number?
True
Let t = 197 - -872. Is t a composite number?
False
Let m = -68 - -135. Is m a prime number?
True
Let o(u) be the third derivative of -u**5/60 + 5*u**4/12 - 7*u**3/6 - 2*u**2. Let f be o(9). Is 34 - 2/(-1*f) a prime number?
False
Suppose 4*n - 41 - 39 = 0. Suppose 4*h - n = 0, -5*p + 3*p + 2*h + 164 = 0. Is p prime?
False
Let l(b) = 3 + 5 - b**2 + 3*b**2 - 13*b. Is l(9) composite?
False
Suppose -5*a = 4*v - 1930, -4*a - 3*v + 0*v + 1545 = 0. Let s = -97 + a. Is s composite?
False
Suppose -2*i - 21 = -5*i. Suppose i*a - 236 = 3*a. Is a composite?
False
Suppose -2*f = 3*k + 80, 0 = 3*k - 4*f + 27 + 29. Let s be (-5025)/4 - 6/k. Is (s/(-16))/((-2)/(-4)) a prime number?
True
Suppose r + 2*r = 0. Suppose -498 = -r*n - 3*n. Is n a prime number?
False
Let v(b) = b**2 + 2*b. Let q be v(-3). Suppose -x + 29 + 2 = -q*u, 3*x - 108 = 4*u. Suppose -x = -2*k + 3*r - 2, 70 = 2*k + 5*r. Is k a composite number?
True
Is (-3)/((-9)/663) - -2 composite?
False
Suppose 6*y - 187 = 5*y - 2*p, 3*p = 12. Is y a composite number?
False
Let k(w) be the third derivative of 119*w**4/24 + 3*w**2. Is k(1) prime?
False
Let y(s) = s**3 + 5*s**2 + s - 6. Let m be y(-5). Let w = 16 + m. Suppose -w*d - 4*g - 23 = -138, 4*g - 46 = -2*d. Is d composite?
False
Suppose 0*r + 2073 = 3*r. Is r a prime number?
True
Suppose 545 = k - 4*m, -4*k + 283 = -2*m - 1939. Is k a prime number?
True
Let f = 2467 - 1722. Is f a composite number?
True
Suppose 203 - 705 = -l + q, 1012 = 2*l + 2*q. Suppose 1022 = 4*k + 6*v - v, -2*k + l = -v. Is k a prime number?
False
Suppose 5*l = 2*d + 836, -3*l + d + 419 = -83. Suppose 0 = -b + l + 31. Is b prime?
True
Suppose 5*g - 77 = -4*n, -g = -3*n + n + 21. Is n a prime number?
True
Suppose -2*g + 4*t - 14 = 0, 0 = 4*t - 20 - 0. Let f(y) = 39*y - 4. Is f(g) a prime number?
True
Let x = -7 - -15. Let j = x - 4. Suppose 4*m - 128 = j*i, -3*i - 2*i + 85 = 2*m. Is m prime?
False
Let a(k) = 17*k**2 - 6*k + 10. Let y be a(-7). Suppose -6*v - y = -v. Let m = -68 