ppose -71845 = -469*j + 464*j. Is j prime?
True
Let j be (0/(-3))/(-4 - -3). Suppose j = -6*d + 4*d + 268. Is d prime?
False
Let g(d) = 3 + 10 - 1 + 5 + 38*d. Is g(15) a composite number?
False
Suppose 0 = 6*p - 103571 - 38623. Is p composite?
True
Let n(y) = -y**3 + 2*y**2 + 5*y - 4. Let j be n(3). Suppose -2*g = -k - g + 1149, g + 2300 = j*k. Is k a prime number?
True
Let j = 14 + -7. Let w = 44 - j. Is w composite?
False
Is -1*6/8 + (-344008)/(-224) prime?
False
Let p(o) be the third derivative of o**5/15 - 2*o**4/3 - o**3 - 6*o**2. Is p(14) prime?
False
Let f(v) = v**3 + 8*v**2 + 3*v + 6. Let d be f(-8). Let r = d - -17. Let z(c) = 148*c**2 - c. Is z(r) a prime number?
True
Let a(w) = -w**3 + 2*w**2 + 6*w - 4. Let v be a(4). Let b(t) = -22*t - 5. Is b(v) a composite number?
True
Let h = 2773 + -1320. Suppose -i = 3*u - h, 0 = u - 2*i - 49 - 440. Is u prime?
False
Suppose -4*h + x - 2696 = 0, h + 4*x + 267 + 390 = 0. Let m = -62 - h. Suppose 0*u + 6 = 2*u, 4*s = -5*u + m. Is s a composite number?
False
Let k = 3816 - -853. Suppose -7*y + 1176 = -k. Is y a composite number?
True
Is (1/2)/(9/6570) prime?
False
Let l(p) be the first derivative of 61*p**3/6 + 11*p**2/2 + 8*p + 8. Let m(q) be the first derivative of l(q). Is m(8) composite?
False
Suppose 1025 = 5*p - 5*t, 3*t - 345 = 5*p - 1364. Suppose -5*b = 5*l - 20, 0*l - 2*l - 4*b + 14 = 0. Suppose -3*h + p = l. Is h prime?
True
Suppose 0 = -2*f - 2*f + 2*r + 34656, 3*r + 43321 = 5*f. Is f a composite number?
False
Let s = 37 - 37. Suppose 3*w = 2*x + 383, 384 = -s*w + 3*w - 3*x. Is w prime?
True
Let t(l) = 28*l**2 - 8*l - 301. Is t(-22) a composite number?
True
Let u(y) = -839*y - 124. Is u(-19) composite?
False
Suppose 0 = 4*k - 5*q - 107956, 5*k + 21*q = 22*q + 134945. Is k a composite number?
True
Let j be 2/6 + (-32)/(-12). Let a(n) = n - 1. Let y be a(j). Suppose y*p - 39 = -2*p - b, 4*b = 4*p - 64. Is p composite?
False
Let d(j) = 35*j + 22. Let z be d(-17). Let s = z - -1040. Is s a prime number?
True
Let o(t) be the third derivative of 7*t**5/12 - t**4/12 - 5*t**3/2 + 24*t**2. Is o(4) a prime number?
False
Suppose 2*i - 4*v = 14 - 184, 5*i + 401 = 4*v. Let f be (-3960)/i + 6/(-14). Let a = f - 29. Is a a prime number?
False
Let z(x) = -37*x**3 + 2*x**2 + 7. Let i(c) = -3*c - 9. Let k be i(-4). Let w be z(k). Is 1/(2*(-1)/w) a prime number?
True
Suppose 19*k - 181178 = -3129. Is k prime?
True
Suppose 5*t = 4*t + 4183. Is t prime?
False
Is 18/(-6) + -5 + 15027 a composite number?
True
Suppose 2*w - 4515 = -7*o + 2*o, -3*w - o = -6740. Is w prime?
False
Suppose 6*x - 17959 = -3*d + 2*x, -20 = -5*x. Is d a composite number?
False
Let w = -27 - -11. Let p = w - -20. Suppose 2*m - 312 = -2*y + 58, -p*y = 2*m - 744. Is y a prime number?
False
Let l = -22 + 27. Let t(h) = 225*h + 4. Let c be t(l). Is 12/(-42) + c/7 composite?
True
Let j = 18 + -17. Suppose -5*g - 4*i = -8*i + 29, i = j. Is (-1414)/(-8) + g/(-20) prime?
False
Let s be (-2)/7 - 534/42. Let b = s - -15. Suppose -b*o = -5*m + 1119, 231 = -2*m + 3*m - 4*o. Is m a prime number?
True
Suppose -3*w = -7*w - 3*f + 1064, 4*w + f = 1072. Let x = 233 + w. Is x prime?
False
Let q(w) = 4*w**3 - 5*w**2 + 9*w - 7. Let s(i) = 2*i**3 - 2*i**2 + 4*i - 4. Let p(z) = 3*q(z) - 5*s(z). Let r be p(5). Let j = r + -28. Is j a composite number?
False
Suppose 5*a = 30 + 30. Is 3/18 - (-7606)/a prime?
False
Suppose 5*t - 2605 = -4*b, -4*t + 2090 = -b + 3*b. Suppose -5*v + 20 = 0, -x + 2*v + t + 140 = 0. Is x a composite number?
False
Let a(b) = 41*b**2 - 30*b - 33. Is a(-10) a prime number?
False
Let g(k) = 4*k - 6. Let x = 37 + -21. Let r be g(x). Suppose 4*q + 6 = r. Is q prime?
True
Let x(o) = -92*o**2 - 15*o + 6. Let a be x(7). Is (-6)/8 + a/(-4) composite?
False
Let z = 2001 + 4706. Is z a prime number?
False
Suppose 0 = -2*j - 4, -5*j - 1467 + 3586 = b. Is b a prime number?
True
Let l(w) = w**3 + 6*w**2 + 6*w + 8. Let k be l(-5). Suppose 0*p - 9 = -k*p. Suppose -2*o = -q - 707, -5*q = -p*o - 414 + 1464. Is o composite?
True
Let v = -348 - -650. Suppose 0 = 4*r - 9*r - 9*r. Suppose r = -5*c - 2*s + 4*s + 1545, -s = c - v. Is c a composite number?
False
Let p(g) = -8*g + 62. Let o be p(8). Is -5 + 1119 - (1 + o) prime?
False
Let o(w) = w**2 - w - 3. Suppose 4*s - 1 - 11 = 0. Let n be o(s). Is -12*n/(-12)*11 composite?
True
Let r = 8559 + 6790. Is r composite?
False
Let b = 707 + -415. Let q be -1*((0 - -3)*-1 + 204). Let k = q + b. Is k a prime number?
False
Let p(s) = -s. Let z(y) = y**2 + 4*y + 2. Let q be z(-4). Let i(r) = 3*r + 19. Let l(g) = q*p(g) + i(g). Is l(-5) composite?
True
Suppose 5*p + 2323 = 318. Let n = p + 624. Is n composite?
False
Suppose -51376 = -2*w - 16414. Is w a composite number?
True
Let h(b) = -5 + 211 + 855 - 3*b. Is h(0) a prime number?
True
Is ((-7444)/(-5))/(20/50) a prime number?
False
Let j = 17 + -23. Let s be (129/j)/(2/(-44)). Suppose -s = -0*c - c. Is c composite?
True
Suppose 5*g = -2*w + 4739 + 3201, w - 5*g = 3970. Suppose 0 = -5*a - 5*r + 4020, 5*a - w = -3*r + 8*r. Is a a composite number?
True
Let g be 3 + -6 + 1 - 4. Is g/27 - 1415/(-9) composite?
False
Suppose 0 = -4*r - 20, r + 4 = l - 6. Suppose l*m + 2*m = 1757. Is m prime?
True
Let l = 79483 + -42632. Is l composite?
True
Let v(x) = 13*x**2 - 3*x - 3. Let o be v(-4). Suppose 0 = t + 3*k - 609, -8*t + k - 1787 = -11*t. Let s = t - o. Is s a composite number?
True
Is (424 + (-6 - -4))/(16/40) a composite number?
True
Suppose 12014 = s - 12179. Is s a prime number?
False
Let z(j) = j - 1. Let l(h) = 4*h + 2. Let m(u) = l(u) - 2*z(u). Let w be m(-3). Is w/9 - 7323/(-27) composite?
False
Let h(u) = 5*u + 1 + 3*u - u**3 - 7*u + 2*u**2. Let f be h(2). Suppose -f*z - 1 + 13 = 0. Is z prime?
False
Let a = 109503 - 65777. Is a a prime number?
False
Suppose -5*s = -0*s - 10. Suppose s*m - 4*k + 4641 = 5*m, 4*k - 12 = 0. Is m composite?
False
Let j(z) = -920*z - 3. Let s be j(3). Is (2 - 1)/((-9)/s) composite?
False
Suppose -5*w + 3*w = -16. Suppose -10637 = -w*y - 3925. Is y prime?
True
Let t(a) = 13*a. Suppose 5*u - 34 = -2*z, -z + 3*u - 1 = u. Suppose 3 = -z*k + 10*k. Is t(k) prime?
True
Let b be (5/(-5))/((-2)/62). Suppose -b = 4*m - 5003. Suppose -5*n + 1030 = -5*y, 5*n - y + 217 - m = 0. Is n a composite number?
True
Let y(j) = -j**2 - 4*j - 3. Let f be y(-5). Let s = -16 + 79. Let a = s + f. Is a a composite number?
True
Let x = 352 - 160. Suppose 5*s - x = 743. Is s composite?
True
Suppose -2*z = -5*s - 15, 2*s + 18 = 4*z + 4*s. Suppose -6*b + 1025 = -z*b. Suppose 4*x + x = b. Is x prime?
False
Suppose 0 = -0*u - 4*u + 6888. Suppose 0 = c - 3*f + f - 577, 3*f + u = 3*c. Is c prime?
True
Suppose 2*d + 12 = -m, -4*m - 24 = -d - 3. Let q be m/(-10) + 8658/45. Let w = q + -104. Is w composite?
False
Suppose 2*v + 2*b + 14 = 0, -4*v + b = 8 + 5. Is v + 4/((-20)/(-1335)) composite?
False
Suppose 0 = 4*n - 9*n + 66305. Is n prime?
False
Suppose 5*c - 28*i - 36455 = -26*i, -c = 2*i - 7291. Is c a composite number?
True
Let o be (-28)/(-10) - (-1)/5. Suppose o*l + 0*l = 6. Suppose -r + 5 = z + 3*z, l*r = z + 46. Is r prime?
False
Suppose 0 = -g + 4 + 1. Suppose 0 = g*z - 10*z + 1485. Suppose 146 + z = l. Is l a prime number?
True
Let c = -571 - 231. Let d = 339 - c. Is d a prime number?
False
Suppose -2*z - 77 = 3*m, -3*z - 25 = 5*m + 90. Let r = 121 - 47. Let v = z + r. Is v a prime number?
False
Let q = -3 + -9. Let t = -7 - q. Suppose t*l + 161 = 6*l. Is l composite?
True
Suppose 40*i + 25 = 41*i. Let x = i + 98. Is x prime?
False
Is 2*(6/(-15) - 84294/(-60)) composite?
True
Suppose -3*a = 5*h - 13891, -a - 7*h + 4629 = -5*h. Is a a composite number?
False
Let p = -145 + 153. Suppose -p*i + 5*i = -285. Is i prime?
False
Let w(n) be the third derivative of -n**5/60 - n**4/6 + 7*n**3/6 + 3*n**2. Let y be w(-5). Suppose -j + 89 = -2*v, 4 + y = -3*v. Is j prime?
False
Suppose -290 = -4*c + 22. Is (1 + c)*(3 - 2) prime?
True
Let a(q) = -48*q - 1. Let k(c) = c + 11. Let u(f) = -1. Let g(h) = -k(h) - 4*u(h). Let z be g(3). Is a(z) a composite number?
False
Suppose 1000 = -3*i + 2*a + 13155, 3*i = -2*a + 12139. Is i a composite number?
False
Suppose 3*p = -6*h + h + 31504, 4*p = 12. Is h a prime number?
True
Suppose 0 = 2*m - 6*m - 4*o - 20, 4*m + 5*o = -24. Let