e -53 + i = -s. Is s a composite number?
True
Suppose -4*p = -6*p - 168. Let j = p + 233. Is j a prime number?
True
Suppose 4*z = 5*x - 10, 5*x + 0*z = -4*z + 10. Suppose -6 = -x*j - j. Is j/(-6) + 4940/15 prime?
False
Let j(f) = -48*f - 5. Is j(-9) composite?
True
Suppose -2*u = u - 1671. Is u a composite number?
False
Let i(f) be the first derivative of f**6/10 + f**4/24 - f**3/3 + 1. Let u(x) be the third derivative of i(x). Is u(-1) a prime number?
True
Suppose 0*y - 2*g = -y + 583, -2350 = -4*y - g. Is y prime?
True
Let b = 127 + 130. Is b prime?
True
Let t = -13 + 170. Is t a composite number?
False
Let v(o) = 68*o + 11. Is v(6) prime?
True
Let m be -4 + 147 + (-2 - 2). Suppose -452 = -2*t + 2*v, -t - v + 81 = -m. Is t composite?
False
Suppose 0 = -3*v + v + 890. Suppose 2*m = -3*m + v. Is m a composite number?
False
Let a(x) = -x**3 + 7*x**2 + x - 9. Suppose 3*d = -0*y - 5*y + 15, -3*d - 21 = -y. Is a(y) composite?
True
Suppose -3*g + 18 = 3. Suppose -3*w + 3 = 0, p + 3*p - 419 = g*w. Is p/2 + 10/5 composite?
True
Let s(t) = -5*t - 4. Let i be s(-6). Let j be 3/(-6) - 1185/10. Let v = i - j. Is v a prime number?
False
Suppose 3*t - 1192 = -t. Let f = t + -171. Is f composite?
False
Suppose 0 = 2*a - 3*m - 771, 8*m = 3*m + 25. Let l = -266 + a. Is l a composite number?
False
Suppose -a + 6 = 1. Suppose d + 4*d - h = 30, 0 = a*h. Is d a prime number?
False
Let n(g) = 2*g**2 + 7*g - 3. Let b be 8/3 - (-1)/3. Let y(u) = -u**2 + 1. Let x(t) = b*y(t) + n(t). Is x(5) prime?
False
Suppose -3*w + 5840 = 4*s, -6612 = -4*s - 5*w - 780. Suppose -3*d = 2*x - 5*d - 582, -s = -5*x + 3*d. Is x prime?
False
Let c = -382 + 885. Is c prime?
True
Suppose -3*m + 30463 = -4*j, -m - 3*m = -5*j - 40618. Is m composite?
True
Let y = -101 - -22. Is -3 - (y - (-2)/(-2)) prime?
False
Let r = -4 - -4. Suppose -5*m = 5*l - 8*l - 179, r = -4*m - 5*l + 158. Is m a composite number?
False
Suppose n - 5 = -y + 3, 0 = -y + n. Let f = 21 - y. Suppose -2*u - 7*x = -2*x - f, -3*u - 4*x = -29. Is u composite?
False
Let o = -68 - -147. Is o prime?
True
Let t be (-975)/(-4)*(1 + 3). Suppose 4*j - 1461 - t = 0. Suppose 4*m + 101 - j = 0. Is m prime?
True
Let h be 2 - (0 + (-329)/1). Suppose 0 = -l + 4*c - 2*c + h, 3*c = l - 332. Is l composite?
True
Let c be (-3)/((-3)/(-2)) - 225. Let t = 493 + c. Is t/8 - (-2)/(-8) composite?
True
Suppose 2*z - 4*z = -4. Suppose a + 0 - z = 0. Suppose -2*s = -a*c - 34, -2 = -4*c - 10. Is s a composite number?
True
Let w(r) = 5*r**2 - 14*r - 45. Is w(-7) composite?
True
Suppose -1313 - 2505 = -5*p + w, -2*p = 2*w - 1520. Is p a composite number?
True
Suppose 0 = -2*o - 3*j + 4, 4*o - j - 6 = 2. Let r(f) = -o*f + f + 53 + 0*f. Is r(0) composite?
False
Suppose -g - 3*g + 8 = 0. Is 2*g - (-3635)/5 composite?
True
Let v = 228 + -17. Is v prime?
True
Let d(r) = 10*r - 14. Let j be d(6). Let n = j + 13. Is n composite?
False
Suppose -4*z - 3*l - 7 - 7 = 0, 5*z + 21 = -2*l. Let u = -6 - z. Let i(w) = -12*w - 1. Is i(u) prime?
True
Let f(l) = 11*l + 4. Let m(b) = 12*b + 4. Let i(p) = 6*f(p) - 5*m(p). Suppose 4*s + 9 = -x, 0 = x - 5*x + 4*s + 24. Is i(x) prime?
False
Suppose 0 = -4*q - 16, 3*u = -6*q + 4*q - 11. Let r be (-1)/(u/(-3)) + 0. Is 3/r*191*-1 prime?
True
Suppose -9*s + 3326 = 473. Is s composite?
False
Is 139/4 + 10/40 a composite number?
True
Is 2/(-8) - (-1330)/40 a prime number?
False
Suppose 5*f + 2*q = 0, -7*q = 5*f - 3*q + 10. Is 14 - (f + -1) - -1 composite?
True
Let l = 3 + 2. Let c = l + -3. Suppose -i = c*i - 111. Is i a composite number?
False
Let i = 1817 + -1282. Is i prime?
False
Suppose 5*s = 2*d - 489, 2*d - 990 = -2*d - 2*s. Is d composite?
True
Suppose 0*l + 3*l - s - 57 = 0, -5*s = -2*l + 38. Suppose -y = l - 86. Is y prime?
True
Suppose -14 = -5*v + 3*h + 24, -1 = h. Let x = 58 + v. Is x composite?
True
Let m be 50 - 1*9/3. Let z be m/5 + (-12)/30. Is (-2)/9 - (-227)/z a prime number?
False
Let s = -238 - -461. Suppose s = 2*w - 69. Suppose w = p + 19. Is p prime?
True
Let c(x) = -x**3 + x**2 - x + 51. Let q = -2 - -2. Is c(q) composite?
True
Let d(n) be the third derivative of n**5/60 - n**4/2 + 5*n**3/6 + 2*n**2. Let z be d(7). Let g = -7 - z. Is g a composite number?
False
Suppose 2*n - 35 = 4*u - n, 5*n = -3*u - 19. Let y(b) = 8*b - 3. Let a(v) = 9*v - 2. Let f(h) = 4*a(h) - 5*y(h). Is f(u) a composite number?
True
Let z = -5 + 10. Suppose -20 = z*j, 2*x + 76 = -j + 676. Suppose -d + 3*c = -161, -c - x = -6*d + 4*d. Is d a prime number?
True
Let z(q) = -4*q - 3. Let i be z(-2). Let o = 1 + i. Is o a composite number?
True
Let o(y) = -y**2 + 47. Suppose 0 = -2*b + 3*b. Is o(b) composite?
False
Let r(o) = o + 253. Suppose j + 7*w = 2*w, -j + w = 0. Is r(j) a composite number?
True
Suppose 6*h - 5*h - 223 = 0. Is h a prime number?
True
Let r(a) = a**2 + a + 69. Let b = -10 - -10. Is r(b) a composite number?
True
Let r = -476 - -733. Is r a composite number?
False
Let y(k) = 3*k**2 - 2*k + 16. Let g be (-1 + 3)*(-42)/12. Is y(g) a composite number?
True
Is -2 + 5 + (1 - 1 - -554) prime?
True
Let g(k) = 106*k**2 + 4*k + 1. Let c(y) = -106*y**2 - 5*y - 2. Let t(h) = 2*c(h) + 3*g(h). Is t(-2) composite?
False
Suppose 2027 = 5*n + 4*x - x, 2*n = 4*x + 790. Is n composite?
True
Let n(y) = -76*y + 5. Is n(-3) composite?
False
Let k(q) = 9*q**2 - 3*q + 1. Let h be k(2). Suppose h = -x + 192. Is x a composite number?
True
Suppose -o - 4*o = 160. Let a = o + 56. Let h = 65 + a. Is h prime?
True
Let j be (15 - 0)*1 + -1. Is 3126/j + 2/(-7) a composite number?
False
Let k(x) = -10 + 3*x - 2*x + 2. Let d be k(8). Suppose -c + 6*c - 65 = d. Is c composite?
False
Let t(r) = -70*r**2 + 2*r - 11 + r**3 + 81*r**2 + 0*r. Is t(-9) a prime number?
False
Is -8 + 9 - 276/(-2) a composite number?
False
Let u(g) = g**3 + 14*g**2 - 10*g - 13. Is u(-12) composite?
True
Is (-3)/((-5)/((-335)/(-3))) composite?
False
Suppose -3*r = 4*j - 37 - 16, j = -5*r + 60. Is r prime?
True
Let m be 3/6 - 9/2. Let n(b) = -12*b - 2. Is n(m) composite?
True
Let l be (-194)/10 - 2/(-5). Let q = l - 20. Let x = 76 + q. Is x a prime number?
True
Let j(b) = 35*b**2 - b - 1. Suppose -4*p - 2*f + 1 = -f, 2*f - 13 = 3*p. Is j(p) a prime number?
False
Let f(b) be the first derivative of b**4/4 + 8*b**3/3 - b + 3. Let t be f(-8). Is (83*-1)/(t + 0) a prime number?
True
Suppose 3 = 7*w - 2*w + o, -8 = 4*o. Suppose -4*l - 10 = -3*i - 2*i, -4*l = 0. Is (2/w)/i + 12 prime?
True
Suppose 2*m + 0*m - 4*s - 262 = 0, 2*s + 256 = 2*m. Suppose -3*g = -7*v + 3*v - 337, g = -5*v + m. Is g composite?
True
Let y = 108 - 71. Is y composite?
False
Suppose -2*l - 2 - 6 = 0. Let g = l + 6. Is 374/18 - g/(-9) prime?
False
Suppose -23 = 5*q + 2. Let x(g) be the third derivative of -3*g**4/8 + g**3 - 2*g**2. Is x(q) prime?
False
Let f(o) = 4*o**2 - 5*o - 4. Let b be f(-4). Suppose -b = t - 207. Is t a composite number?
False
Let h(x) = 82*x + 1. Let g be h(1). Suppose -t + g = -38. Is t a composite number?
True
Let q be 6/(-15) + (-32)/(-5). Suppose 3*c - 90 = 66. Suppose -c = 2*d - q*d. Is d a prime number?
True
Let i be (-2 - -3) + -6 + 7. Suppose 4*t + 4*w = 4680, -3*t - 4*w = -i*t - 1173. Is t composite?
True
Suppose 2*k = -0*k - 4*h + 1282, 0 = 3*k - h - 1951. Is k a composite number?
True
Suppose 3*k - k - 4*g - 1134 = 0, -4*g + 555 = k. Is k composite?
False
Suppose -3*c = 4*n - 4*c + 1, c = -3*n + 1. Suppose 358 = 2*j + 5*v, n*j - 3*v = 3*j - 537. Is j prime?
True
Suppose 0 = 2*y - 216 + 88. Let l = y + -27. Is l prime?
True
Let s = 11 + -6. Suppose 0*a + 285 = 4*a + 3*g, -5*a = s*g - 360. Is a a prime number?
False
Suppose -5*x - 19 = -4*p + 56, -5*x - 15 = 0. Let c be 8 + 2/(-1) + -1. Suppose -91 = -c*m - r, 12 = m - 2*r - p. Is m composite?
False
Suppose -2*x - 2 + 4 = 0, 4*x = -4*s + 3144. Is s a prime number?
False
Suppose -p + 9 = -5. Suppose -2*f + p = 2*b + b, -5*f - 3*b + 35 = 0. Is f a composite number?
False
Let k(l) = -109*l - 17. Is k(-4) composite?
False
Let l(v) = -4*v**3 + 2*v - 1. Let n be l(1). Let m = n + 5. Suppose 0*z + z + 4*r = 7, 3*z - m*r = 63. Is z a composite number?
False
Let w = -7 + 12. Is 4/3*(-2 + w) a prime number?
False
Let k(o) = o**3 - 5*o**2 - o + 3. Is k(7) composite?
True
Is 39634/49 - (-3)/21 a prime number?
True
Let k(v) = 3*v**2 - 2*v + 7. S