se -j = -3*m + 57. Is m composite?
True
Suppose -180*a = -214*a + 1712206. Is a a composite number?
False
Is (3/(-6))/(4 + 16584/(-4144)) a prime number?
False
Suppose 2*x = -5*d + 23658, 3*d - 5*d + 59145 = 5*x. Is x prime?
False
Let g = 1 - -3. Suppose -c - 6 = -g*c. Suppose -c*m + 8 = -126. Is m a prime number?
True
Let y(v) = 19*v + 16. Suppose -30 = -6*w + 6. Suppose w*o + o = 49. Is y(o) composite?
False
Let t(j) = -j**3 - 6*j**2 + 6*j - 5. Let d be t(-7). Let x be -205 + 0 + (-36)/(-18). Is x/d*(3 - 5) a prime number?
False
Let u = 2 - -24. Suppose -22*l - 312 = -u*l. Suppose 0 = -4*w + l + 106. Is w a prime number?
False
Let p(m) = 71*m**3 - 3*m**2 + 4*m + 7. Is p(6) composite?
False
Let p(o) = 146*o - 1. Let m(l) be the third derivative of -l**6/120 + l**5/30 + l**3/6 - 4*l**2. Let k be m(0). Is p(k) a composite number?
True
Is (-6 - 0) + (-2 - -12) + 2125 composite?
False
Let h(g) = -1354*g + 175. Is h(-13) prime?
False
Suppose 0 = -c - 4*c + 5. Let q be c*(-5)/3*-3. Suppose -y = -2*y + q*f + 258, -f = -2*y + 471. Is y composite?
False
Suppose 3 = 2*k - 5. Let h = k + -4. Let b(u) = u + 145. Is b(h) a prime number?
False
Let t = 10285 + -7082. Is t composite?
False
Let n = 1275 - 692. Is n composite?
True
Let s be 2 - (2 + -1 + -1). Suppose 3*d = -s*t - 193 + 1676, -t - 1477 = -3*d. Is d a prime number?
False
Suppose -5*a + 5*w = 4560, -2*a - 1824 = -0*w + w. Let f = 1321 + a. Is f composite?
False
Suppose -5*f + 5*l = -100015, 3*f + 2*f - 99983 = -3*l. Is f a prime number?
False
Suppose 28619 = 4*p + 5*m, m = -2*p - 2*m + 14311. Is p prime?
True
Let y = 17 + -125. Let g = 935 - y. Is g prime?
False
Suppose 2*b - 2*l + 516 = 114, 0 = -b + 2*l - 196. Let c = b + 417. Is c a composite number?
False
Let i = 32 + -28. Suppose f - i*d = 3*f - 1686, -d = -2*f + 1706. Is f composite?
True
Let o be 0*(-5)/20 + -97. Let k = o - -348. Is k composite?
False
Suppose -5*u - 2*l = -l - 20, -27 = -4*u - 3*l. Suppose 0 = 2*m + 5*w - 1018 - 98, 1683 = u*m + 3*w. Is m composite?
False
Let k = -5005 - -7956. Is k a composite number?
True
Suppose 4*c + 1697 = -q + 289, 0 = -4*c + 2*q - 1420. Let i = -116 - c. Is i composite?
True
Let i = -3557 + 5072. Suppose 0 = 2*s - s + 5*a - i, -2*a + 1527 = s. Is s prime?
False
Let g = 34345 + -2766. Is g a prime number?
False
Let f be (1/(-3) - (-2702)/(-84))*-2. Suppose r - 14 = f. Is r a composite number?
False
Let h(x) be the first derivative of -x**7/120 + x**6/90 + x**5/60 + x**4/6 + 4*x**3/3 - 2. Let d(b) be the third derivative of h(b). Is d(-3) composite?
False
Let g = 15 + -16. Let c(x) = -187*x + 1. Let p be c(g). Let t = p - 49. Is t a prime number?
True
Let l(z) be the second derivative of 23*z**4/12 + z**3/6 - 7*z**2/2 - 3*z. Is l(3) a composite number?
True
Suppose -3*r = 80 - 8. Let h be ((-1)/(3/r))/(-1). Let g = h + 33. Is g composite?
True
Let f = 16 - 13. Suppose 6 = r + f. Suppose -r*a = -a - 2, -5*a + 82 = j. Is j prime?
False
Suppose 3*m - 15 = -3*g, -5*g - 2*m + 31 - 6 = 0. Let f(o) = 35*o**2 + o - 3. Is f(g) prime?
True
Suppose s = -3*z + 133, 3*s = 5*s + 2*z - 266. Suppose -4*w + 234 = 5*t, -3*t - 4*w + 96 = -t. Let k = s - t. Is k prime?
False
Let i = 10 + -10. Suppose -k = -1, 0 = -3*v - i*k - k - 119. Let r = v + 167. Is r composite?
False
Let u = -209 + 396. Is u a composite number?
True
Let s(l) be the third derivative of -l**7/420 - l**5/120 - l**4/6 + l**3 - 3*l**2. Let g(t) be the first derivative of s(t). Is g(-5) a composite number?
False
Suppose -u + 52 = -2*u. Let v = 343 + u. Is v a composite number?
True
Is ((-2)/4)/(26/(-475852)) a prime number?
True
Let u be ((-4)/(-5))/(10/225). Suppose 2*k + u = -0*k. Is 59*(k + -1)/(-2) a composite number?
True
Let z = 9 + 13. Suppose 3*u = 2*s - 0*u - 74, 3*u + 142 = 4*s. Suppose 4*v - z = s. Is v a prime number?
False
Let w(d) = 51*d**2 + d + 6. Let y be w(5). Let x be 4*(-1)/(-8)*y. Let u = -312 + x. Is u a composite number?
False
Let f = 10979 + -4862. Suppose b - f = -2*b. Is b a composite number?
False
Let j(c) = 368*c - 348*c + c**3 - 15*c**2 + 2*c**3 - 7 - 2*c**3. Is j(15) composite?
False
Suppose 0 = -28*i - 17*i + 146835. Is i prime?
False
Let z(j) = -217*j**3 - j**2 + 1. Suppose -4*d = 12, 5*y - d = 31 + 62. Suppose -4*g + 16 = 4*c, 5*c + 4*g + 3 - y = 0. Is z(c) a prime number?
False
Is 1705/155*(1814*-1)/(-2) composite?
True
Suppose -5*g - z + 2709 = 0, 4*g + 2*z = 702 + 1470. Is g a composite number?
False
Let g = -2250 + 3767. Is g a composite number?
True
Is 33/165 - (2 - 16388/10) a composite number?
False
Let o = 16 - 9. Suppose -535 = d - o. Is -1 - (d/(-4))/(-2) prime?
False
Suppose 0 = 15*h - 40089 + 12744. Is h a composite number?
False
Let t = 9 + -9. Suppose -f + 5*z = -5*f + 1053, t = z - 5. Is f a prime number?
True
Is 139158/15 - (-26)/(-130) prime?
True
Suppose -5*t = -2067 - 868. Is t a composite number?
False
Suppose -4*k = 20, -k + 4*k = r - 36. Let o = r + -5. Is ((-71)/(-2))/(8/o) a composite number?
False
Suppose -4*y - 8437 = j, 3*y + y = 2*j - 8446. Is 3/6 - (-1 - y/(-4)) prime?
False
Let q = -49 - -73. Is (-1 - 4) + (522 - q) a composite number?
True
Let g = 4 - -1. Let x(d) = 7 - 6*d + d**3 + 0*d**3 - 2*d**2 - 5. Is x(g) prime?
True
Let y(i) = i**3 + 3 + 4*i + 7*i**2 - 3*i**2 - 1. Let w be y(-3). Let x(q) = -119*q + 2. Is x(w) a composite number?
True
Let i(h) = -351*h + 305. Is i(-16) a prime number?
False
Let a(t) = 4*t**2 + t - 7. Suppose 8 = 2*p - 0. Suppose 0 = 2*x + 4 + p. Is a(x) a composite number?
False
Suppose -112*g + 117*g = 1425. Is (4/6)/((-568)/g + 2) composite?
True
Let x(v) = 6*v**2 - 4*v - 1. Suppose -4*q + 21 = 5. Is x(q) a prime number?
True
Let g(i) = 19*i**2 + 29*i - 16. Let p be g(-16). Suppose 0 = 2*h + 2*y - 1756, 0 = 3*h - 8*h + y + p. Is h composite?
False
Let k(w) = 4*w**2 - 9. Let n(z) be the first derivative of z**3/3 - 3*z**2 - 2*z - 3. Let d be n(7). Is k(d) composite?
True
Let p be ((0 - 0)/(-3))/(-1). Suppose 3*m + 70 + 83 = p. Let v = m - -118. Is v composite?
False
Let x = -5 - -13. Let a(w) = 44*w + 1 - 2 - 2 - 2. Is a(x) composite?
False
Let y = 2223 - 1152. Let g be (1 - (-2 + 4)) + y. Suppose -5*h = 115 - g. Is h composite?
False
Let j = -1883 - -6364. Is j composite?
False
Suppose -u = 3*y - 2809 + 473, u - 2*y - 2331 = 0. Is u composite?
False
Suppose -3*n + w + 1368 = 0, 2*w = 3*n - 6*n + 1377. Is n a prime number?
True
Suppose 3*a + 39*i - 41*i = 1179, -4*i + 12 = 0. Suppose 3*q + 758 = 2*r, -2*r - 4*q + 1085 = 313. Suppose -3*h = -a - r. Is h composite?
True
Let i be 13/2 - 2/4. Suppose 3*u - 6*u = -y + 62, -u = 3*y - 226. Suppose 4*n = i*n - y. Is n a composite number?
False
Suppose -4*y + 2*m + 4 = 0, 0*y = y - 3*m - 11. Let x(c) = 2552*c**2 + 2. Is x(y) a prime number?
False
Let h = 2 - 1. Let w = -253 - -488. Is h*(0/(-4) + w) a composite number?
True
Suppose 3*j + 4*d - 8 = 0, 1 = -d + 3. Suppose -3*q - 9 = -j*q. Let m(r) = -5*r**3 - 4*r**2 + 2*r + 2. Is m(q) composite?
True
Let j(x) = 5*x - 2. Let k(q) = -10*q + 5. Let f(g) = 9*j(g) + 4*k(g). Let l be f(-6). Let b = l + 59. Is b a composite number?
False
Let i = 46318 + -25077. Is i a composite number?
True
Let r = 85 + -81. Suppose 0 = p - y - 1814, -p - y - 5436 = -r*p. Is p a prime number?
True
Let n(l) = l + 12. Let j be n(-10). Suppose 4*s + 2*g - 606 = j*s, s + 5*g = 311. Is s composite?
True
Let q(c) = -115*c - 17. Let h be q(-6). Let r = -386 + h. Is r a prime number?
False
Suppose -5*x = 4*d - 44222, -11063 = -5*d + 4*d - 5*x. Is d a composite number?
True
Suppose 0 = -5*g + x + 16464, -2645 - 3944 = -2*g - 3*x. Is g a prime number?
False
Let h(r) = r + 3. Suppose -3*k + 0*g = 2*g, 0 = 2*k - 5*g. Let t be h(k). Suppose -t*i = -4 - 170. Is i prime?
False
Let q = -89296 + 155949. Is q prime?
True
Let d = 94 + 31. Suppose -123 = -i + r + d, 0 = i + 5*r - 266. Is i a composite number?
False
Suppose -2*k + 2 = -k. Suppose 3*f + f - 1676 = 0. Suppose -k*t + f = -t. Is t composite?
False
Let n = 2525 - 2128. Is n a prime number?
True
Let f = -99 - -3532. Is f a prime number?
True
Let g(c) = 6*c + 1. Suppose -2*s + 2*h + 22 = 0, 3*s + 4*h + 0*h = 54. Let m = -10 + s. Is g(m) a composite number?
True
Let p = 35942 - -17823. Is p a composite number?
True
Let z(n) = 921*n**2 + n + 3. Is z(-1) a co