y. Let g = -16 - -15. Is 1/(y - g)*-129 prime?
False
Is (2942/8)/(11/(-4) - -3) a prime number?
True
Suppose t + 1 = 3*n + 6*t, 0 = -4*n - 4*t + 12. Suppose 0 = -3*c - m - 4, -m = -c - 1 - n. Is (2/2)/(c/(-111)) a prime number?
True
Let f(m) = m**3 - 19*m**2 + 19*m - 11. Is f(18) a prime number?
True
Suppose -7*n = -9*n + 182. Is n prime?
False
Suppose 12 - 4 = 4*h. Suppose -h*j + 7*j - 15 = 0. Suppose 4*b = 2*o, 2*o - j*b - 6 = -o. Is o composite?
True
Let u be (-12)/(-2) - (2 + -1). Let p = 10 - u. Is 636/p + 2/(-10) a composite number?
False
Let u(x) = 2*x**2 - 9*x - 8. Let j(y) be the first derivative of -y**2/2 - 1. Let c(z) = -2*j(z) + u(z). Is c(6) composite?
True
Let x(p) = 5*p**3 - 2*p**2 + 6*p - 3. Let k be x(4). Let d = k - 160. Is d a composite number?
False
Let j = 2 - 7. Is 7/2*-2*j composite?
True
Let z = 408 + -197. Is z prime?
True
Let n(g) = -4*g + 18. Let t be n(-8). Is ((-213)/5)/((-10)/t) a composite number?
True
Is (3/6)/((-8)/(-6896)) a prime number?
True
Let h = 321 - 56. Is h composite?
True
Let k(j) = 471*j**3 + 4*j**2 - j - 3. Is k(2) a prime number?
True
Let x(h) = h - 1. Let b be x(11). Let j = b + -3. Is j a prime number?
True
Let v = -2 + 6. Suppose -d + v = -7. Is d composite?
False
Suppose 5*d - 598 = 3*d. Is d a prime number?
False
Suppose -3*l - 30 = 2*f, -4*f = -2*l + 21 + 7. Let b = -15 + f. Let y = 47 + b. Is y composite?
False
Is 1/6 + 4655/42 a composite number?
True
Let b(z) be the first derivative of -z**4/4 - 4*z**3/3 + 5*z**2 + 8*z - 1. Is b(-7) composite?
True
Let y be 1281/14*16/6. Suppose 2*u - 3*u = -l - 55, 0 = 4*u + 2*l - y. Is u a prime number?
True
Suppose -5*t = -4837 - 738. Is t a prime number?
False
Let t(r) = 3*r**2 - 6*r - 8. Is t(7) composite?
False
Suppose 4*x - 153 = 5*x. Let d = x + 230. Is d prime?
False
Let y be -1 + 15*(-4)/(-12). Suppose 674 = 2*r + 4*c, 0 = -y*r + c + 2*c + 1315. Is r a composite number?
False
Let q(n) be the first derivative of n**3/3 - 3*n**2 + 5*n + 1. Let t(k) = -k**2 + 9*k - 6. Let v be t(7). Is q(v) composite?
True
Let m = 1324 - 237. Is m composite?
False
Suppose -117*h + 57 = -114*h. Is h a composite number?
False
Suppose 0 = -l + 2*l - 239. Is l a prime number?
True
Suppose -4*u = -2*u - 232. Suppose 0 = -f + 5*b + 10, 6*b = 5*f + 3*b - u. Is f composite?
True
Let h = 4 + -2. Let r(g) = 11*g - 1. Let z be r(h). Is (-6)/21 - (-468)/z a composite number?
True
Let u = 6 + -4. Suppose -5 = c - 6*c, 0 = u*a + 2*c - 260. Is a a composite number?
True
Let t(d) = d**3 + 3. Let j be t(0). Suppose 2*p - 5*g = -j*p - 20, 5*g = -3*p + 20. Is (-57)/(-3) - p/1 composite?
False
Suppose 0 = -3*y - y + 576. Suppose 2*g = -3*f - 0*g + 107, -4*g = 4*f - y. Is f composite?
True
Suppose 0*k - 24 = -2*k. Suppose 2*y - 34 = -3*y - r, y - 5*r = k. Is ((-7)/(-3))/(y/105) composite?
True
Let u = 13 + -6. Suppose -u*z + 3*z - 911 = -b, -b + 887 = 2*z. Is b a composite number?
True
Suppose 4543 = 11*t - 4*t. Is t a prime number?
False
Let z = 2 + -2. Let p = 4 - z. Is 86/p + 2/(-4) a prime number?
False
Suppose -2*s = 4*t - t - 709, 0 = 5*s - 10. Is t a composite number?
True
Let h = 16 - 10. Suppose -5*d + 5*t = 560, 0 = d + 3*t - h + 114. Is (1 + 1)*d/(-6) composite?
False
Suppose 14*x - 3210 = 8*x. Is x a prime number?
False
Is (1 - (-1950)/2) + -2 composite?
True
Suppose -4*f + 1121 + 48 = 5*w, -2*f = -3*w + 697. Is w a prime number?
True
Suppose -263 = -5*i + 202. Let f be (-1 + (-1 - 0))*-59. Let j = f + i. Is j a composite number?
False
Is 945 + -1 - -1 - 2 composite?
True
Let t = 3342 + -1799. Is t a composite number?
False
Suppose 0*d = -5*d + 4535. Is d prime?
True
Let y(k) be the first derivative of 7*k**5/60 - 5*k**4/24 - k**3/3 - 3. Let j(x) be the third derivative of y(x). Is j(6) composite?
False
Suppose 5*q = -q + 978. Is q prime?
True
Let o = 54 + 23. Is o prime?
False
Suppose 5*g = 65 + 210. Is g composite?
True
Suppose -5*n + 3*y - 6*y + 3886 = 0, n - 767 = -4*y. Is n prime?
False
Let h be ((-8)/5)/((-6)/15). Let o(z) = 3*z**3 + 4*z**2 + z - 5. Let v be o(h). Suppose 0 = 3*j - 192 - v. Is j prime?
True
Suppose 21 + 9 = -5*r. Is (89/(-3))/(r/18) a composite number?
False
Suppose 156 = 3*a - 39. Is a prime?
False
Let k(o) = -16*o**2 + 3*o + 3. Let b be k(-2). Let g = b + 178. Suppose -c - 15 = -2*c - 2*z, -g = -5*c - z. Is c a prime number?
True
Let m = 23 + -16. Is m a prime number?
True
Suppose 13*z - 4*z = 1917. Is z a prime number?
False
Let c = -975 - -1566. Let v = c - 184. Is v a composite number?
True
Let z(d) be the second derivative of -d**8/6720 + d**7/252 - d**6/144 + d**5/120 - d**4/12 + 3*d. Let y(j) be the third derivative of z(j). Is y(9) prime?
True
Suppose 0 = 3*f + q - 465, 0 = 3*f + f - 5*q - 620. Is f a prime number?
False
Let h(f) = -73*f - 25. Is h(-6) a composite number?
True
Suppose -2*w = 6 - 16. Suppose -q - q = w*u, -5*u - 30 = -4*q. Let n(f) = -2*f + 2. Is n(u) a composite number?
True
Let q = -5 + 11. Let w(y) = 9*y**3 + y**2 + 2*y - 2. Let l(n) = -10*n**3 - n**2 - 3*n + 3. Let s(o) = q*w(o) + 5*l(o). Is s(4) composite?
False
Let j = 17 - 7. Let m be (-342)/(-4) + 5/j. Is (m + 0 + 3)/1 a prime number?
True
Let m = -999 - -3818. Is m a prime number?
True
Suppose -3*p - p + 5*r + 10422 = 0, p + 3*r - 2597 = 0. Is p composite?
True
Let a = 42 - 29. Suppose 2*g + 43 = a. Let u = -2 - g. Is u a composite number?
False
Suppose 3*a - 4*s = -2*a + 13, 0 = -2*a + 3*s + 1. Suppose -3*z = -a*v - 103, 2*z = -v + 46 + 1. Is z prime?
False
Let x(r) = 2*r - 1. Let d be x(2). Suppose -4*i - 2*f = -466, i + 2*i = -d*f + 342. Is i a composite number?
True
Let b(h) = 2*h**2 - 5*h + 43. Is b(-10) a prime number?
True
Let h(n) = n**3 + n. Let q be h(0). Suppose q*v + 5 = v, t - 3*v - 59 = 0. Is t a prime number?
False
Let k = -207 + 621. Suppose -2*l - 40 = -k. Is l a prime number?
False
Let o = -27 + -20. Let y = 254 - 118. Let m = o + y. Is m a prime number?
True
Suppose -6*g + 10 = -14. Let h = -12 + 63. Let o = h + g. Is o a composite number?
True
Let d = 5 - 24. Let r(z) = z**2 + 11*z + 19. Let t be r(-13). Let x = t + d. Is x a composite number?
True
Suppose -4*i = -3*i + 617. Let v = -366 - i. Is v a composite number?
False
Let k = 71 + -37. Let r = 9 + k. Is r a prime number?
True
Let t be (-4 + 1)/((-6)/(-4)). Is 1546/10 + t/(-5) prime?
False
Let j(n) = 3*n**2 + 2*n - 2. Let b be j(-9). Suppose -b = 4*z - 987. Is z a composite number?
False
Suppose -6*w = -14589 + 3507. Is w prime?
True
Let p(b) = 4*b**3 - 8*b**2 - 21. Is p(7) a composite number?
True
Let r(a) = -a**3 + 11*a**2 + 2*a - 7. Let q = 6 + 0. Is r(q) composite?
True
Suppose 0 = -26*n + 28*n - 11062. Is n prime?
True
Suppose -5*f = -3*j + 2*j - 22, 0 = -5*f + 5*j + 10. Suppose f*l - 2*k - 166 = k, -5*k + 15 = 0. Is l composite?
True
Let c = -81 - -244. Is c a composite number?
False
Let p(v) = -v + 11. Let o be p(8). Suppose 0*s - 84 = -o*s. Let w = -2 + s. Is w prime?
False
Let z(s) = s**3 - 8*s**2 + 12*s - 2. Is z(11) prime?
False
Suppose 0 = a - 3*a + 286. Is a composite?
True
Is (-970)/(-3)*(-33)/(-22) composite?
True
Suppose 4*v + 3*h - 32 - 59 = 0, 4*v - 2*h = 86. Let w = -13 + v. Let z(f) = 2*f + 4. Is z(w) composite?
True
Let s be ((-4)/6)/((-4)/12). Is 3/s + 379/2 a composite number?
False
Suppose 0 = -4*i - 0*i + 2240. Suppose -5*p = 5*m - 0*p - i, 2*p = -3*m + 339. Let a = m - 4. Is a a prime number?
False
Suppose m + 4*x = 3647, m - 4*x - 3647 = -x. Is m a composite number?
True
Suppose -2*b = 4*g - 14, 19 = 4*g + b - 4*b. Suppose 2*h + g*c = -c + 90, 0 = -2*c + 8. Is h prime?
False
Suppose 0 = f - 4*f + 2*h + 3119, 5*f - 5*h = 5205. Is f a composite number?
True
Let g(m) = 87*m. Let t be g(7). Suppose -2*v = v - t. Is v a prime number?
False
Let q(h) = -11*h + 1. Let b be q(-5). Let r = 3 - -2. Suppose 2*a - 3*z = -8*z + b, r*z = 10. Is a a prime number?
True
Let a = -1 - -3. Suppose 20 = a*n + 3*b, -4*n + 12 = -4*b + 3*b. Is (-146)/(-4) + 2/n a composite number?
False
Let m(j) = -j**2 - 5*j + 2. Let d be m(-7). Let n = d + 25. Is n prime?
True
Is (-6)/9 - 863*3/(-9) a prime number?
False
Let u be -6 - 0/(0 + 2). Let b = 10 + u. Suppose -b*c = 2*h - 204, 4*c = c - 3*h + 147. Is c a composite number?
False
Let t(r) be the first derivative of r**6/120 - r**5/30 - r**4/4 