Suppose -5*w + s - v*s = 2, s = 3*w - 2. Suppose -2*y + w*y = -170. Is y a prime number?
False
Suppose 11160 = 4*q + z, -13941 = -q - 4*q + z. Is q a prime number?
True
Let z = 365 - 209. Suppose -3*v = -z - 477. Is v a prime number?
True
Let a = -11 - 1. Let w(h) = -h**3 - 11*h**2 - 16*h + 17. Is w(a) prime?
True
Suppose 9*i - 5122 - 3104 = 0. Is i a composite number?
True
Suppose -5*w = -w - 12. Suppose -w*c = 4*t - 272, 138 = -2*t + 4*t + 2*c. Is t prime?
False
Let j = 197 - -360. Is j composite?
False
Suppose 0*d + j = -2*d - 169, 2*j = -5*d - 424. Let l = -49 - d. Is l composite?
False
Let n(m) = -m**3 - 3*m**2 + 3*m - 7. Let v(f) = -3*f**3 - 10*f**2 + 8*f - 20. Let q(h) = -11*n(h) + 4*v(h). Let g be q(-6). Let t = g - -68. Is t prime?
False
Suppose 4*g - 2*g + 2*l = -24, 75 = -4*g + 5*l. Let c = -11 - g. Is 6/c*(-370)/(-15) a prime number?
True
Suppose -1 = 3*p - 4*c, 0*c - 4 = -c. Let i(g) be the third derivative of g**6/120 - g**5/15 - g**4/24 - g**3 - 3*g**2. Is i(p) composite?
True
Let d(v) = -3*v**3 + 27*v**2 - 3*v + 18. Let n(a) = -a**3 + 9*a**2 - a + 6. Let x(s) = 4*d(s) - 11*n(s). Is x(7) a prime number?
True
Suppose 3*o - 144 = 5*p - 48, 0 = -p + 5*o - 28. Let i = -17 + 10. Let h = i - p. Is h a composite number?
False
Suppose -n + 4*h - 49 = -4, -3*h = -4*n - 128. Let x = n - -55. Is x prime?
False
Let d(r) = -r**2 - 7*r - 3. Let w be d(-6). Suppose -g = -4*g + w. Is 21 - (0 + -1 - g) composite?
False
Let l(a) = 20*a**2 - 2 - 2 - 1 - a + 0*a. Is l(-4) a composite number?
True
Let z = -255 + 459. Suppose r + z = 5*r. Is r a prime number?
False
Suppose 22*x - 1437 = 19*x. Is x a composite number?
False
Let c(p) = -82*p + 7. Is c(-9) a composite number?
True
Let m = -1 - 7. Let v = m - -2. Is (71/(-4))/(v/24) a composite number?
False
Let q = 2032 - 695. Is q composite?
True
Let x(p) = -25*p + 14. Let i(b) = -51*b + 29. Let a(k) = 6*i(k) - 13*x(k). Is a(9) a prime number?
True
Suppose t + 3*r = r + 147, 0 = 2*t - 4*r - 302. Is t a prime number?
True
Suppose 0 = q + 2*q + 9. Let z(l) = l + 1. Let k(y) = 14*y + 7. Let b(t) = -k(t) + 7*z(t). Is b(q) a prime number?
False
Let h(z) = 3*z - 1. Let m be h(2). Let r(c) = -c**3 + 7*c**2 + 4*c + 5. Let a be r(m). Let x = -42 + a. Is x a prime number?
False
Let d = 1 + 2. Suppose 320 + 410 = 2*g + 4*b, 0 = 5*g + d*b - 1804. Is g prime?
True
Let q = 4 + 6. Is (-7980)/(-25) - 2/q a prime number?
False
Let t be 4/(-18) - (-785)/9. Suppose -16 = 4*x - 4*q, -5*q = -4*x - 12 - 8. Suppose 5*g - 67 = -2*p, -5*g + 3*p + x + t = 0. Is g composite?
True
Suppose -11*k + 3170 = -9*k. Is k prime?
False
Let h = 1 + 3. Is 440/h - (1 - 0) composite?
False
Let o(a) = -2668*a - 5. Is o(-2) a prime number?
False
Let n(x) = -727*x**3 - 2*x**2 + 1. Let y be n(1). Let g = y - -1171. Is g prime?
True
Let u(b) = -37*b + 4. Suppose 0 = -5*g + x - 0*x - 15, 4*g + 12 = x. Is u(g) a prime number?
False
Let o = 13 - 136. Let w = -23 + 205. Let u = w + o. Is u prime?
True
Let v(d) = 9*d + 2. Let a(s) = s - 1. Let j(k) = a(k) + v(k). Is j(1) a composite number?
False
Let p = 2 + -1. Let o be (-2 + 1)/(-1) + p. Suppose -5*l + 2*g + 654 = 215, 4 = -o*g. Is l a prime number?
False
Is ((-2244)/18)/((-4)/6) a composite number?
True
Suppose -3*d = -3*l + 664 - 241, 0 = -5*l + d + 709. Is l a prime number?
False
Let n(r) be the first derivative of r**4/4 + 10*r**3/3 + 3*r**2 + 4*r - 3. Is n(-7) a prime number?
True
Suppose a - 4*p = 10, -6 = -2*a - 2*p + 3*p. Suppose -a*t + t + 91 = 0. Is t prime?
False
Suppose 5*l + 391 = -y - 3*y, 0 = -3*l + 2*y - 239. Let v = 114 + l. Is v a prime number?
False
Suppose 194 + 27 = a. Is a a composite number?
True
Let y(l) = -3*l - 25. Is y(-13) a prime number?
False
Suppose -27 = -5*l + t - 4*t, l + 3*t - 15 = 0. Let y = 14 + -10. Suppose 3*q + y*v = 75, 99 = 4*q + l*v + 2*v. Is q a composite number?
True
Let n(u) = -3*u**3 - 4*u - 6. Is n(-5) a prime number?
True
Let l(k) = -k**3 - k**2 + k. Let u(t) = -8*t**3 - 9*t**2 + 12*t + 3. Let g(v) = -6*l(v) + u(v). Is g(-4) composite?
False
Let w(l) = l**3 + 7*l**2 - 2*l - 6. Let b be w(-7). Is (28/6)/(b/36) prime?
False
Let w(f) = -68*f - 4. Let j(n) = 45*n + 3. Let l(b) = 7*j(b) + 5*w(b). Let m = -10 - -8. Is l(m) composite?
True
Suppose -5*s + 20 = 4*m - 5, m + s - 6 = 0. Suppose 0*o - 3*o - 100 = -5*f, -m*f + 2*o + 105 = 0. Is f prime?
True
Let w(m) = m**3 - 9*m**2 + 19*m - 16. Is w(13) composite?
False
Suppose 4*l + 5245 = 337. Is l/6*(-2 + 0) a prime number?
True
Let w = 21 + -19. Suppose 0 = -w*r + 51 + 19. Is r a composite number?
True
Suppose k + 2*j = -2*j + 23, 3*k + 5*j - 62 = 0. Is k a composite number?
False
Let t(y) = 59*y**2 + 7*y + 5. Let d(s) = -2*s**3 - 12*s**2 + 2*s + 8. Let g be d(-6). Is t(g) prime?
False
Let u(a) = -3 - 4 - 9*a + 3 + 3. Is u(-6) prime?
True
Let n = 8815 + -6284. Is n a composite number?
False
Let m = -122 - -289. Let i = 358 - m. Is i composite?
False
Let c(g) = -4*g**3 - 7*g**2 - 4*g + 3. Let j = -20 + 30. Suppose -5*q - 10 - j = 0. Is c(q) prime?
True
Let i(p) = -92*p + 2. Let o be i(-11). Suppose 5*r - o - 631 = 0. Is r composite?
True
Suppose 3*b = -q - 2*q + 1200, 3*q + 1182 = 3*b. Is b a composite number?
False
Suppose b - 3*i - 5 = 0, 0 = 5*b - 4*i - 3. Let x be 0/(b + 1 + -2). Suppose 5*l - 190 = -5*q + 130, q - 3*l - 76 = x. Is q a composite number?
False
Let r = -44 - -13. Suppose k - 5*p - 21 = 0, -p = -5*k - 0*p + 225. Let u = r + k. Is u a composite number?
True
Let z be ((-1)/(-2))/((-2)/(-12)). Suppose -4*g = 3*p - 45, 3*p + z + 0 = 0. Is (33/g)/((-2)/(-24)) a prime number?
False
Let c(t) = 9*t - 11. Let p be c(11). Suppose 0 = g - 0*x + 3*x - 26, 0 = 3*g - x - p. Suppose 2*l - g - 1 = 0. Is l a composite number?
True
Let j(d) = -d**2 + 265. Is j(0) a prime number?
False
Let u(j) = 5*j**3 - 9*j**2 + 11*j + 10. Is u(7) a composite number?
False
Let x = -184 - -443. Is x a composite number?
True
Suppose -3*s + 175 = 2*s. Is s composite?
True
Let o(d) = 2*d**3 + 2*d**2 - 6*d - 19. Is o(11) composite?
False
Suppose 3*g - 8*g = -1605. Suppose -x - 78 = -5*c + g, -5*c + 375 = 5*x. Is c a composite number?
False
Is 29 - (-3 - (-1 - 0)) a prime number?
True
Let a = 366 + 43. Is a prime?
True
Let g = -25 + 234. Is (-1)/(-6) - g/(-6) prime?
False
Let m = -370 - -819. Is m composite?
False
Suppose 8*f - 4087 = 5*f - 2*h, -2*h = -4. Is f prime?
True
Suppose -2*i + 57 = -13. Is i a composite number?
True
Let f(k) = 7*k**2 + 3*k + 5. Suppose -3*t = -4*w - 4, 0 = -2*t - w + 3*w. Let l be f(t). Suppose 5*q + 5*c = -0*q + l, 2*q + 5*c = 48. Is q a prime number?
True
Let t = 281 + -124. Is t prime?
True
Suppose 4*i - 4*d - 20 = 0, -5*i + 3*d + 27 - 4 = 0. Suppose g + 285 = i*g. Is g a composite number?
True
Suppose 0*r + 37 = r. Is r a composite number?
False
Let d(l) = 3*l + l**3 - 2*l + 4 + 0*l**3 + 162. Is d(0) a composite number?
True
Let i(n) = 2*n**2 + 9*n + 13. Is i(6) a composite number?
False
Suppose 0*b = 2*b - 10. Let u be ((-4)/5)/((-1)/b). Suppose 5*i + 52 = 2*q + 445, 0 = 5*i - u*q - 391. Is i a prime number?
True
Let g = 0 - -331. Is g a prime number?
True
Let d = 565 + -348. Is d prime?
False
Let w(f) = 15*f**2 + f + 1. Let m be w(-1). Let c be 23/5 + 9/(-15). Let b = c + m. Is b a prime number?
True
Is (-1 + 690)/(15/(-5) + 4) a composite number?
True
Suppose -2*c + 1057 = 5*d, -d + 1618 = 3*c - 0*d. Is c a composite number?
False
Suppose -2*p - 112 = -4*z, -3*z + 3*p + 8 + 79 = 0. Suppose -y + z = -304. Is y prime?
True
Let j(i) be the third derivative of i**6/40 + i**5/15 + i**3/6 - 5*i**2. Is j(4) prime?
True
Suppose 2389 = -3*a + 8*a + 2*n, 3*a - 2*n = 1443. Is a a composite number?
False
Let w be (-2)/(0 - (-3)/(-6)). Suppose w*a + 2*z + 12 = 0, -5*a = 2*z - 2 + 16. Is 14 - (2 + a)/3 a composite number?
True
Let w(k) = k**3 + 2*k + 2. Let l(p) = -p**3 + 2*p**2 + 2*p + 1. Let j be l(2). Suppose 5*y = -2*v + 26 - 0, 0 = 5*v - 5*y + j. Is w(v) composite?
True
Let n be (-18)/(-10)*10/3. Is 2020/n + (-2)/(-6) composite?
False
Let q(p) = -p**3 + 7*p**2 + 2*p - 1. Let c be -11*1*(-2 - -1). Suppose x + 5 = c. Is q(x) composite?
False
Is -170*(8/(-2))/8 a composite number?
True
Let v = 1601 - -578. Is v a prime number?
True
Let v(d) = d**2 + 3*d - 7. Let m be v(-5). Suppose -3*u + m = -3. Suppose 