Suppose 4*y - 2*m - 3598 = 3164, -4*m - 3366 = -b*y. Is y prime?
True
Let x be (4098/(-4))/((-9)/30). Suppose -3*p - 3*o = 833 - 2858, -5*p + x = -5*o. Is p prime?
False
Let c(n) = -n + 4. Let o be c(2). Suppose 2*z = 4*i - 1154, 3*z - 850 = -3*i + o. Is i a composite number?
True
Let a = -2199 + 3256. Suppose 0 = -k + a + 1762. Is k composite?
False
Let q = -68 + 46. Let v = -12 - q. Is v composite?
True
Let n(i) = -45*i + 3 - 27*i + 9 - 11. Is n(-2) composite?
True
Let a = -20 - -20. Suppose -4*z = -2*b + 298, a*b + 2*b - 296 = 3*z. Is b composite?
True
Let g be 42/49*(-7 + 0). Is 232 + (3 + g)/(-3) a composite number?
False
Suppose -27*n = -68175 - 142614. Is n composite?
True
Suppose -38*a = -56*a + 1266390. Is a a prime number?
False
Let u(t) = -4121*t. Suppose -h = -36 + 37. Is u(h) a composite number?
True
Suppose 31763 = z + 3*l, 5*z + 5*l - 158815 = -0*z. Is z a prime number?
False
Let l(x) = 2*x**2 + 7*x. Suppose -m = -4 - 0. Let a = m - -1. Is l(a) a prime number?
False
Suppose -18*u = -5*u - 24791. Is u composite?
False
Let w = 1256 + 51. Let j = -538 + w. Is j a prime number?
True
Let d be (-6 - -2) + 2 - -5. Suppose -2*a = -3*a + 3*s + 16, d*a - 8 = s. Let h(b) = 191*b**3 + b**2 - b. Is h(a) prime?
True
Let v(u) = -5124*u - 157. Is v(-12) a prime number?
True
Suppose 2*o = -5*j + 2795 + 202, -3*j = 3*o - 1791. Suppose 2*m + 1250 = 6*v - 2*v, -4*v - j = m. Let c = m + 876. Is c composite?
True
Let l(u) = 483*u**2 - 2*u - 24. Is l(-7) prime?
False
Suppose 3*f = -2*m + 6910, -11506 = -5*f + 6*m - 4*m. Is f composite?
True
Let q(a) = -a**3 - 13*a**2 - 5*a + 18. Let l be q(-12). Let b = -47 - l. Is b a composite number?
False
Let i(z) = 5*z + 3. Let x(w) = 2*w + 1. Let j(r) = 3*i(r) - 7*x(r). Let n be j(3). Suppose 0*p = -p + k + 33, 3*k + 161 = n*p. Is p prime?
True
Let f be 6588/32 + 2/16. Suppose -432 = -4*t + 2*p - 0*p, 3*t + 5*p - 337 = 0. Let r = f - t. Is r a composite number?
False
Let a be (6/(-10)*-3)/((-6)/(-20)). Suppose -2264 - 730 = -a*g. Is g prime?
True
Let v = 7724 + -2679. Is v prime?
False
Let k(m) = 6*m**3 - 14*m**2 + 6*m + 89. Is k(12) a prime number?
True
Suppose -u - 4*v - 4 = 0, -u - 3*v = -6*u + 3. Suppose 3*k - k + 4*a - 202 = u, -a = 4*k - 432. Is k composite?
False
Let t(l) = 7*l**3 + 2*l**2 - 7*l. Let n be t(5). Let i = n + -439. Is i a prime number?
False
Let w(n) = -n**2 - 5*n + 40. Let s be w(-22). Let j = -191 - s. Is j a composite number?
True
Let j = -35 - -44. Is (4/6)/(j*10/39555) a composite number?
False
Let a = 355 + -857. Is 1*(-1)/2*a prime?
True
Suppose 0 = w + 3*v - 15523, -4 = -2*v + 4. Is w a composite number?
False
Let x be 231/(-9) + (-40)/(-24). Is (-5862)/(-10) - x/30 composite?
False
Suppose -3*s = -s + 12. Let d be (s/(-4))/((-12)/(-88)). Suppose -t + d = -48. Is t a prime number?
True
Suppose 13*q + 23729 = 3*d + 11*q, 5*q - 23722 = -3*d. Is d a prime number?
False
Suppose -4*y - 1323 = -12575. Is y a prime number?
False
Let f(c) = c**2 + 5*c + 10. Let l be f(0). Let i(w) = 36*w + 49. Is i(l) a prime number?
True
Let x(q) = -5*q - 133. Is x(-34) prime?
True
Let g(m) = 24*m**3 - 7*m**2 - 7*m + 13. Is g(7) composite?
False
Let x be (-1)/(((-30)/125)/(-6)). Let p = x + 28. Suppose 0 = p*j - 246 - 387. Is j composite?
False
Suppose -35*t - 51148 = -39*t. Is t prime?
False
Suppose x - 15 = -4*x. Suppose -423 = -x*p + 105. Suppose 0 = 4*h - 1208 - p. Is h a composite number?
True
Suppose -3*o = o + p + 12, 3*o + 3*p + 18 = 0. Let f be o/2*(8 - -1). Is (-3)/(f/(-75))*-1 composite?
True
Let d be (6/5)/(2/5). Suppose 2*l = -2*v + 4, -4*v + l + d*l = -8. Suppose v*h - 229 = 9. Is h composite?
True
Let o(b) = b**3 - 5*b - 2 - b**2 - 8 + 4*b**3. Is o(5) prime?
False
Suppose -2*y - 2*n = 3*y - 41, -3*y = 4*n - 33. Suppose 0*a + 3*r = -3*a + 15, -4*a = -5*r + y. Suppose 22 = -a*i + 164. Is i composite?
False
Let c be (-2670)/(-4) - 3/(-2). Let h = -478 + c. Is h composite?
False
Let n(q) = -q**3 + 5*q**2 - 5*q + 1. Let z be n(2). Suppose -4*x + z*x = -1243. Is x a prime number?
False
Let v = -34 - -49. Let j be -2 - (v/5 - 808). Suppose -j = 20*r - 21*r. Is r prime?
False
Suppose w - 8 + 3 = 0. Let u be 94/(-10) + 2/w. Let b = u - -40. Is b composite?
False
Let v = 105 + -46. Suppose 5*g = -4*j + 3*j + v, -3*j = 3*g - 117. Is j composite?
True
Is (-25830)/(-22) - (45/(-99))/(-5) a prime number?
False
Let z be 46 + -39 + (-3)/(3/4). Suppose -z*a + 5*p + 2611 = 0, -a + 897 = -p + 6*p. Is a composite?
False
Suppose 2*d - 4*h - 2442 = -0*h, -4*d - 2*h = -4844. Is d composite?
False
Let c(n) be the first derivative of n**4/4 + 3*n**3 + 3*n**2 + 4*n - 6. Let p be c(-7). Let d = 113 - p. Is d prime?
True
Suppose -3*d + 9*d - 24 = 0. Suppose -2*l + r - d*r + 104 = 0, r = l - 47. Is l prime?
False
Suppose 2*s = 3*q + 65093, -4*s + 155590 = 3*q + 25449. Is s a prime number?
False
Suppose -2*z = -10, -3*r + 4*z + 0*z = 11. Suppose r*i + 4*m - 10829 = 0, 3*i - 5*m - 10784 = -0*i. Is i prime?
False
Let p = 21 - -6. Suppose p = -5*d + 147. Let o = 107 + d. Is o a prime number?
True
Let q(c) = 3*c**2 - 4*c + 10. Let d be q(3). Let v(a) = -a**2 + 30*a - 12. Is v(d) prime?
True
Let q = 7 - 7. Suppose q*a - 7*a + 3969 = 0. Suppose -23 = -2*z + a. Is z a composite number?
True
Let c(l) = 160*l - 3. Let r(y) = 320*y - 5. Let a(x) = 7*c(x) - 4*r(x). Suppose 16 = -2*m + 4. Is a(m) a composite number?
True
Let w = 7044 - 2133. Suppose -20*c + 17*c = -w. Is c a composite number?
False
Suppose 8 = 3*i - 7. Suppose -s = -4*k + 17, -i*k = -10 - 15. Suppose c - 30 + 0 = 4*p, -2*c + 82 = s*p. Is c a prime number?
False
Suppose -34*j - 3707095 = -83*j. Is j a prime number?
False
Let n = -48 + 51. Suppose -b - 5*v = 3*b - 4753, 0 = -n*v + 3. Is b a composite number?
False
Is 355050/120 + 2/8 a composite number?
True
Let v = 0 - -7. Suppose 3*j - 2 = v. Is j/(-5) + (-9992)/(-20) a prime number?
True
Let d be 1/(-4) - 2/(-8). Let c(t) = 2*t + 134. Let r(q) = 3*q + 135. Let j(s) = 4*c(s) - 3*r(s). Is j(d) prime?
True
Let m = -1508 + 2155. Is m composite?
False
Let z be 3/2 - 5623/(-2). Suppose -4*q - 4*l + 5*l + 2766 = 0, -2 = -l. Suppose -5*c + 3*a + z = -c, c - 3*a = q. Is c composite?
True
Let h = 111 - 105. Suppose -h*c = 7*c - 35165. Is c a prime number?
False
Let c(h) = 67*h**2 - 5*h + 9. Is c(4) composite?
False
Let s(n) be the first derivative of 368*n**3/3 + n**2/2 - 3. Is s(-1) composite?
False
Let p = -54 - -56. Suppose 0 = -4*f + p*z + 522, z = -4*f - 2*z + 527. Is f prime?
True
Let v(q) = -340*q - 31. Let d be v(-6). Suppose d = 3*k + 503. Is k prime?
False
Let f(c) = -c**3 + 16*c**2 + 68*c + 22. Is f(17) a composite number?
True
Suppose -3*s + 2 = -2*t + 17, 5*s - 5*t + 30 = 0. Let z be (1 - 1 - 1)*(23 - 19). Is z/6 - 293/s a composite number?
False
Let f(w) = w**3 + 19*w**2 + 4*w - 13. Let v be -14 + 0 + (-66)/(-22). Is f(v) a prime number?
True
Suppose 2*g + 205 = 2769. Let s = g + -500. Suppose j = -j + s. Is j prime?
False
Let i = 68 - -58. Suppose -i = -2*k - 5*g, -k = -2*g - 69 + 15. Is k composite?
True
Let c(u) = 14*u**3 - u**2 - 16*u - 40. Is c(9) prime?
True
Suppose -52*p + 25635 = -37*p. Is p a composite number?
False
Let q = 29001 - 16208. Is q a composite number?
True
Suppose -1014 = -7*t + 4*t. Is 3 + t/((-5)/(-5)) composite?
True
Let q(o) = -o**2 + o. Let k(s) = -s**3 + 17*s**2 - 3*s - 10. Let l(r) = k(r) + 6*q(r). Is l(-7) composite?
True
Let b(h) be the second derivative of -h**7/840 - h**6/45 + 7*h**5/60 + 7*h**4/12 - h**3/6 - 2*h. Let s(d) be the second derivative of b(d). Is s(-11) prime?
True
Let y(b) = -4 - b**2 + 3*b**2 + 2*b - 3 + 10*b. Is y(13) a prime number?
True
Let x(g) = 514*g**2 - 5*g + 5. Suppose 14 = 5*z + 2*z. Is x(z) a composite number?
True
Suppose 289 - 833 = 16*c. Let t(j) = -j**3 + 2*j**2 + 2*j + 3. Let x be t(4). Let i = x - c. Is i a prime number?
True
Let u(w) = 126*w**2 - 5*w + 3. Let r be u(-3). Suppose -5*o - 227 = -r. Is o a composite number?
True
Let v(a) = -4*a**2 + 2*a - 1. Let f be v(1). Let l = f - -2. Let d(w) = -76*w**3 + 2*w**2 + 2*w + 1. Is d(l) prime?
False
Let f(q) = 64*q - 25. Let x be (0 - -22)*6/12. Is f(x) prime?
False
Let y be 1*-24*(-4 - 42). Suppose 0 = 3*n + 2*i - 2136 - 1171, 0 = -n - i + y. Is n a composite number?
True
Is (2/(-4))/((-6)/35076) 