y - 48 + i. Is y a composite number?
False
Is 723/6 - 4/(-8) a composite number?
True
Let o(m) = 4*m**2 + 8*m - 17. Let g(a) = -7*a**2 - 16*a + 34. Let i(k) = -3*g(k) - 5*o(k). Is i(6) prime?
True
Let f(s) = s + 9. Let z be f(0). Is (z - 590)*(-2 + 1) a composite number?
True
Let i(q) = q**2 - 3*q - 5. Let b be i(5). Suppose -6*t + b*t + 37 = 0. Is t composite?
False
Is 13990/60 + (-1)/6 a prime number?
True
Let n(w) be the second derivative of w**4/6 + 3*w**3/2 + 2*w**2 + 3*w. Is n(-6) a prime number?
False
Suppose 0 = -z + 2*i - 215 + 1158, -5*i = -5*z + 4715. Is z composite?
True
Let w(f) = 27*f**2 + 7*f + 4. Let i be w(-5). Suppose 2*s = -2*s + i. Is s a composite number?
True
Suppose 2*b + 18 + 5 = -5*v, -3*v - 15 = 0. Let g = b + 22. Is g prime?
True
Let f = 3 - 3. Suppose f*p - 24 = 2*p. Is 2 + 2 + -2 - p a prime number?
False
Suppose -2*g - 4*g = -2022. Is g a prime number?
True
Let p(c) = c**2 - 10*c - 2. Let j be p(10). Is (j - (-2 - 77)) + 2 composite?
False
Let q = -1587 + 2324. Is q a prime number?
False
Let y(l) = -l**3 - 5*l**2 - 3*l - 4. Let n be y(-3). Let q = 25 - n. Is q a composite number?
True
Let w(l) = l**2 - l + 2. Let y be w(2). Suppose u - 224 = -4*c - y*u, u = 0. Suppose -k + c = -21. Is k prime?
False
Suppose 0 = g + 5 + 3. Let l(x) = -24*x + 10. Let j(w) = -w + 1. Let n(z) = g*j(z) + l(z). Is n(-2) a composite number?
True
Let a = -790 + 1121. Is a a prime number?
True
Let z(h) = -76*h + 4. Let g be z(-9). Suppose 0 = -2*o - 2*o + g. Suppose o = -s + 5*s. Is s a prime number?
True
Suppose 1781 + 7487 = 4*r. Is r a prime number?
False
Let c be 408/(-20) + 6/15. Is (79/(-5))/(4/c) prime?
True
Let b(k) = 32*k + 9. Is b(5) composite?
True
Let u(b) = b**3 + 4*b**2 - 6*b - 5. Let j be u(-4). Let t(c) = -c + 10 - c**3 + 62 - j. Is t(0) a composite number?
False
Let c(u) = -u**3 + 9*u**2 - 9*u + 11. Let d be c(8). Suppose 133 = d*v + o + 24, -5*v = -4*o - 193. Is v prime?
True
Suppose 5*j - 10 - 15 = 0. Suppose -b - 5*v = -0*v + 25, -j*b = -v - 5. Suppose 0 = 2*m - 3*s - 3, -4*m + 6*s - 2*s + 8 = b. Is m composite?
False
Let c be 1/(0 - 1/(-8)). Let f = -5 + c. Suppose -a + 217 = 3*n, f*a - 4*n = -6*n + 665. Is a a composite number?
False
Let r = 307 + -201. Suppose -5*t + 21 = r. Is (2 + t + 2)*-3 a composite number?
True
Let j(k) be the third derivative of -k**6/120 + k**5/10 + k**4/12 + 7*k**2. Is j(-7) a composite number?
True
Let g be (3 + -2 + 98)*-1. Let i = g + 656. Is i a composite number?
False
Let r be (-3 - 0)*782/6. Let g = 840 + r. Is g a prime number?
True
Let m(p) = -p**2 + 42. Let z be m(0). Suppose v - 3*k - z = 97, -k + 250 = 2*v. Is v composite?
False
Suppose 3*s - 6717 = 2388. Is s composite?
True
Suppose -2*i + 0*i - 2 = -3*d, d - 4*i + 6 = 0. Is d prime?
True
Let f = -28 + 97. Is f composite?
True
Suppose 0 = -2*x + 2056 + 54. Is x a prime number?
False
Suppose 5*v - 6*v + 149 = 0. Is v a composite number?
False
Suppose -r - 1001 - 105 = -3*c, 0 = 4*c - 3*r - 1483. Is c composite?
False
Suppose 5*t - 5*o = 5765, t - 5*t = -3*o - 4610. Is t a composite number?
False
Suppose -2*z - 5*h + 138 = 0, 5*z - 43 = -5*h + 272. Is z prime?
True
Suppose 10*r - 5*r + 5 = 0. Is 7*((-2 - -4) + r) prime?
True
Suppose 12 = -0*g + 3*g. Suppose -g*i = -m - 2*m - 5, -3*m = -2*i + 1. Is (-19*i)/(6/(-3)) prime?
True
Suppose 11662 = 5*o - 3*z, -4*o + 14*z = 9*z - 9327. Is o composite?
False
Is 10/40 - 3030/(-8) composite?
False
Suppose 0 = -2*f + 36 - 4. Let r = -10 + f. Is r composite?
True
Let p = 721 - 384. Is p a prime number?
True
Let h(n) be the third derivative of 1/60*n**6 - n**2 + 0*n**5 + 0*n + 0 + 5/6*n**3 - 1/8*n**4. Is h(4) a composite number?
True
Let f = -31 + 128. Is f a prime number?
True
Let i(t) = -t**3 - 10*t**2 - 2*t + 6. Is i(-11) a composite number?
False
Let y(z) = 23*z**2 + 9*z + 5. Is y(10) a composite number?
True
Let g = 16 + -11. Let i be g + 4 + -1 + -1. Is (-75)/(-7) + 2/i a composite number?
False
Suppose 3*r - 2 = -q, 5*r + 0*r + 4 = 2*q. Let k be ((-16)/(-12))/(q/12). Let s(g) = -g**2 + 11*g - 10. Is s(k) a composite number?
True
Let a(y) = 13*y**2 + 3*y + 17. Is a(-9) composite?
True
Let u = 116 - 47. Is u composite?
True
Suppose -21331 = -13*x - 3248. Is x a prime number?
False
Suppose 3*r - 17 - 7 = 0. Let m = 39 - r. Is m a composite number?
False
Let r(u) = 2*u**2 + 8*u - 4. Is r(-7) a prime number?
False
Let o(k) be the first derivative of k**4/4 + 10*k**3/3 - 5*k**2/2 + 3*k + 2. Is o(-6) composite?
True
Let d(m) = -m**3 - 13*m**2 - 15*m - 16. Is d(-13) a composite number?
False
Let f(r) = -4*r**3 - 4*r**2 - 2*r + 1. Let k(m) = m**3 - m**2 - 1. Let v(z) = f(z) + 2*k(z). Let n = -12 - -7. Is v(n) composite?
False
Let c = -19203 - -28126. Is c a composite number?
False
Suppose 0 = -5*w - 2*d + 28, 2*d - 21 + 1 = -3*w. Is w/(-10) - 514/(-10) prime?
False
Let b be 2*(-4 - -1 - 1). Let f = 11 - b. Is f prime?
True
Let m = 1993 - 1420. Is m prime?
False
Suppose 4*c + l - 858 = 0, 0 = c + l + l - 211. Let h(a) = a**3 - 2*a**2 - 10*a + 12. Let u be h(6). Let o = c - u. Is o a prime number?
False
Suppose 49 = -u + 3*j, -5*u + 2*j - 3*j - 277 = 0. Let n = -33 + 33. Let b = n - u. Is b composite?
True
Let v be 2 + 0/((-1)/1). Is 3/v*2212/21 a prime number?
False
Let o(c) = 91*c**3 + 2*c + 1. Let x be 9/4 + (-2)/8. Let d be o(x). Suppose 0 = 3*s + 4*n - 431, 4*s - 3*n = 9*s - d. Is s a composite number?
False
Let b(y) = -190*y - 5. Let u be b(4). Is u/(-6) - (-2)/(-4) prime?
True
Suppose -3*w = -8*w + 190. Suppose -k + 2*h + 8 = 0, 3*k + 20 = 7*k - 5*h. Suppose -f - f + w = k. Is f prime?
True
Let a(l) = -l + 8. Let w be a(7). Let c(d) be the second derivative of 3*d**5/20 - d**4/12 + d**3/3 - d**2/2 - 2*d. Is c(w) composite?
False
Suppose -7*g + 25901 = 10998. Is g a prime number?
True
Let k = 5 - 5. Suppose k*d = -3*d + 9. Is 10*(-1 + 4)/d a prime number?
False
Let n(x) = -x**3 - x**2 - x + 48. Let s be n(0). Let p = -11 + s. Is p a prime number?
True
Let k(v) = -v**2 - 4*v + 5. Let s be k(-4). Suppose -s*y + 6*b - b = -170, 0 = 2*b - 6. Is y composite?
False
Let r = -1 - -1. Suppose -4*x - 16 + 4 = r. Let p(m) = 2*m**2 + 3*m - 3. Is p(x) composite?
True
Let m(r) = r**3 - 5*r**2 + 6*r - 7. Is m(6) prime?
False
Suppose -4*d - 20 = 3*v - 7, 4*v - 24 = 5*d. Is v + 0 - 100/(-4) prime?
False
Let c(h) = 38*h**3 + 5*h**2 - 1. Let i(k) = k. Let j(s) = -c(s) - 4*i(s). Is j(-2) a prime number?
True
Let l(h) = 385*h - 9. Let a be l(5). Suppose d - 5*d + a = 0. Is d composite?
False
Let b be (10 + -15)*(-6)/10. Suppose b*r - 191 = 2*r. Is r a composite number?
False
Let i be (2/4)/(2/24). Let o(n) = 157*n + 6. Let q be o(i). Is (q/18)/(2/3) a prime number?
True
Let y(c) = 131*c**2 + 4*c - 1. Is y(-2) prime?
False
Let d be (-18)/((1 - 0)*-1). Suppose -2 = 4*t - d. Suppose -t = -4*x, 3*x = 5*s - 2*x - 165. Is s prime?
False
Suppose -2*g + 1 = 5*o, 2*o - 2 - 68 = 5*g. Is (-834)/g*4/2 composite?
False
Suppose -4*s = -0*s + 5*o - 1311, -s = o - 329. Suppose s = 2*t + 22. Suppose -x = 5*a - t, -4*a - x = 7 - 132. Is a a prime number?
True
Is (-3147)/(-4) - 3/(-12) prime?
True
Is 12504/(-36)*(-9)/2 prime?
False
Let k(h) = -h**2 - h. Let j(d) = d**3 + 8*d**2 + 9*d + 10. Let u(y) = -j(y) + 2*k(y). Let z be u(-10). Is (-3)/2*z/(-6) a prime number?
False
Suppose -3*t + v + 2770 = 0, -2*v - v - 4610 = -5*t. Suppose t = 5*w - 2*z, 2*w + 3*z = 187 + 183. Is w a composite number?
True
Let s(t) = -t**2 - 8*t - 9. Let r be s(-6). Suppose -5*h + 2 = r*v - 4, 5*v = -5*h. Is (-22)/(3 - (-11)/v) a composite number?
True
Suppose f + 6*s - 370 = 3*s, -5*f - 4*s + 1872 = 0. Let t = f + -184. Is t/15 - (-1)/5 a prime number?
True
Let b be (-1482)/(-15) + 4/20. Suppose 0 = -3*a - 3*k + b, a + 5*k = -2*a + 99. Suppose -2*q + 5 + a = 0. Is q a composite number?
False
Suppose 9275 + 2829 = 5*n - 3*t, 5*t - 12080 = -5*n. Is n a prime number?
False
Let v(p) = p**2 - 23*p - 49. Is v(-15) a composite number?
False
Is (1676/(5 - 3))/2 - 0 composite?
False
Suppose 0 = 3*h + 2*h - 395. Is h a prime number?
True
Let h(f) = 5*f**3 - 7*f**2 + 13*f + 35. Let v(p) = -3*p**3 + 5*p**2 - 9*p - 23. Let l(b) = -5*h(b) - 8*v(b). Let c be -1*(2 + 7 + -1). Is l(c) prime?
False
Let m = 485 - 81. Let c = -262 + m. Is c a composite number?
True
Let u(