o = -4*j + 22, 5*j - o - 26 = 2*o. Suppose 0 = -k + 4*k - j*u - 883, 3*u = -3. Is k composite?
False
Suppose -10*o + 3*o = -2*o. Suppose 3*v - 1923 = 5*h, -2*v + 1282 = -h - o*h. Is v prime?
True
Let o(v) = 12*v - 7. Suppose -5*w - 10 = -3*w. Let h be o(w). Is (-2 + (-1)/(-1))*h a composite number?
False
Suppose -329 = g - 2*g. Let r = 1042 - g. Is r prime?
False
Let f(w) be the first derivative of w**6/120 - w**5/60 - w**4/12 - 7*w**3/6 - 3*w**2 - 7. Let a(t) be the second derivative of f(t). Is a(5) a prime number?
True
Let w be (-2)/(-3)*(-36)/(-24) + -11. Is (-2596)/w + 3*3/(-15) a composite number?
True
Let w(k) = 5675*k**3 + 2*k**2 - 4*k + 3. Let p be w(1). Suppose 3462 = 6*f - p. Is f prime?
True
Let q(y) = 27*y**3 + y**2 - 2*y - 1. Let k be (10/(-8))/((-33)/(-12) + -3). Is q(k) a prime number?
True
Let u(s) = 33*s**2 - 2*s - 13. Is u(-6) a prime number?
True
Let f(r) = 3*r**2 + 14*r + 6. Let v be f(16). Let l = -55 + v. Is l a prime number?
False
Suppose 0 = -6*l - 5768 + 23420. Is (-5)/(-2)*l/5 prime?
True
Suppose -8*h - 1442 - 4478 = 0. Let u = -351 - h. Is u a prime number?
True
Suppose -3*k - g + 4*g + 5514 = 0, -g + 5502 = 3*k. Suppose -k = -3*y - 2. Is y a prime number?
False
Suppose 0 = -j - 3*y + 1800 + 379, -3*j + 6537 = 3*y. Is j a prime number?
True
Let y = -9037 + 15887. Is y/6 - 4/6 prime?
False
Suppose 2*w = 4*c - 9712, 3*w + 7568 + 4571 = 5*c. Suppose -t = -2*k + 3*k - c, -4858 = -2*t - k. Is t prime?
False
Let z(w) = 7*w - 66. Let k be z(6). Let x(s) = -s**3 - 23*s**2 - 23*s - 41. Is x(k) a composite number?
False
Is 5/(-40) + (-161370)/(-80) composite?
False
Is ((-10)/(-30))/(1/11811) prime?
False
Suppose -3*f - 11 - 1 = 0, 0 = -4*z + 3*f + 6824. Let p = 3121 - z. Is p a prime number?
False
Let x = 125 - 120. Let z(m) be the third derivative of 5*m**4/24 - 11*m**3/6 - m**2. Is z(x) a composite number?
True
Let m(d) = -13*d + 7*d - 2*d**3 + 4*d**3 + 1 - 4*d**2. Is m(6) a composite number?
True
Suppose -2*i = -0*i + 46. Let j be (-6)/21 - i/7. Let q(z) = 36*z - 5. Is q(j) composite?
False
Let l be 20/(-10) + -1 + 3. Let j(f) = f**3 + f + 523. Let q be j(l). Suppose -5*z - 188 + q = 0. Is z a prime number?
True
Suppose -4*n = 5*i - 3333, 4*n + 6 = 7*n. Suppose 0*u = 3*u - 4*b - 1973, -u = -5*b - i. Is u a composite number?
True
Let b = 5 - 13. Let a = b + 20. Let j = a - -9. Is j prime?
False
Suppose -175*r = -2*l - 174*r + 21087, 3*l + 5*r - 31598 = 0. Is l a composite number?
True
Suppose -2311 = -6*q + 4967. Is q prime?
True
Suppose t + 64 + 144 = c, 0 = t + 2*c + 205. Let p = t - -147. Let f = 131 - p. Is f prime?
True
Suppose 3*t = -2*t + 40. Is 1262/10 + t/10 a composite number?
False
Suppose -2*k + 2*r = -3*r - 10635, r = 5*k - 26599. Suppose -4*q + q + k = 5*m, -5*m + 5280 = -5*q. Is m a composite number?
False
Suppose 2*p + 946 = 3*p. Suppose -5*r + 4*i = -2383, i + 3*i = 2*r - p. Is r prime?
True
Is (-40)/25 - 489808/(-80) composite?
False
Let w = -21 + 39. Let j = 175 - w. Let a = -90 + j. Is a prime?
True
Let u = -214 - -308. Is u a prime number?
False
Let a be 2/(-6)*(-66)/2. Let y be (-4*8/40)/(4/(-10)). Suppose -r + y = -a. Is r composite?
False
Let w = -3163 + 4481. Suppose -5*p - x - w = 3*x, 4*p + 2*x = -1058. Let v = p - -765. Is v a prime number?
True
Let h be (-20)/(-12) - 4/6. Let m be (2 + h - -1)/2. Suppose -m*v + 29 = -85. Is v a prime number?
False
Let m = -36 + 39. Suppose -4*t + 817 - 2722 = -m*o, -5*t = -3*o + 1905. Is o composite?
True
Suppose -2*q = -12743 - 1939. Is q a prime number?
False
Suppose 11*m - 18*m = 0. Suppose 9*u = -m*u + 17163. Is u a prime number?
True
Suppose 17*m + 2*j - 987 = 14*m, -1667 = -5*m + 4*j. Is m a prime number?
True
Let i(y) = -y**3 + 12*y**2 - 37*y + 8. Let c be i(6). Let n be (1/(-2))/(6/(-36)). Suppose 2*t = -n*t - c*d + 2508, 0 = -d - 1. Is t a composite number?
True
Suppose -8 = 93*z - 95*z. Suppose -3*q - 703 = -b - q, z*b - q - 2791 = 0. Is b prime?
False
Let o = 23476 + 9618. Is o composite?
True
Let g(d) = -d**3 - 2*d**2 + 5*d + 5. Let p(x) be the second derivative of x**4/12 + 3*x**3/2 + 9*x**2/2 - 6*x. Let y be p(-7). Is g(y) a prime number?
False
Let m be -2 - 2*3/6. Let g = m - -7. Suppose 5*d - 385 = -4*w, 0 - 4 = -g*d. Is w composite?
True
Suppose 4*q + 3*s + 14 = s, -2*q + s = -3. Is (6 - 2) + q - -36 prime?
False
Let a = -92 - -88. Let l(n) = -25*n - 14. Is l(a) a prime number?
False
Suppose -3*i = -5*z + 231 - 5171, i - 1630 = 5*z. Is ((-1)/1)/((10/i)/(-2)) composite?
False
Suppose 0 = -m + 4*m - 6, 0 = -4*d + 2*m + 9640. Is d a composite number?
False
Let a(f) = -f + 2. Let y be a(6). Let b = y + 5. Let r = b - -22. Is r composite?
False
Let f(g) = g**3 + 46*g**2 + 77*g + 25. Is f(-33) prime?
False
Let m = 71 + 3362. Is m a prime number?
True
Let v = -2869 - -4888. Is v a prime number?
False
Suppose 4*v = -4*a + 26936, -2*v + 253*a - 258*a + 13471 = 0. Is v a composite number?
False
Let r(b) = 290*b - 103. Is r(12) composite?
True
Suppose t + 3*t + 72 = 0. Let x = t - -23. Suppose q - x*q = 3*p - 113, 4*q - 51 = -p. Is p composite?
False
Let x be -2 - 0 - (5 - 4). Is 46/((x/87)/((-4)/8)) prime?
False
Let t = 17518 + -6929. Is t prime?
True
Suppose 108623 + 76972 = 15*q. Is q a prime number?
True
Suppose 0 = 2*u + 3*u - 5*y - 10, 5*u - y = 30. Suppose 2*j + 36 = u*j - 2*f, -4*f = 2*j. Suppose 0 = j*a - 121 - 29. Is a a prime number?
False
Let s(k) = 12*k - 7 - 5*k - k**2 + 11 + 7. Let f be s(8). Suppose 643 = f*x + 46. Is x a prime number?
True
Let z be (193 + 4)*1 + 3. Let w(s) = 5 - z*s + 7 - 11. Is w(-2) a composite number?
False
Suppose 0 = -5*b, -2*w + 478 = -11*b + 15*b. Is w composite?
False
Is (-475970)/(-150) - 3/(-90)*-4 composite?
True
Let q = -5 + 7. Suppose 3*m = -4*d + 53, 2*m + 17 + 27 = q*d. Let v = d + 6. Is v a prime number?
True
Suppose -3*p - 70 = 3*v + 119, 63 = -p - 4*v. Let w(s) = -15*s + 28. Let q be w(-6). Let z = p + q. Is z a composite number?
True
Is 19 - 9 - (-281928)/8 composite?
False
Let l = 546 - 351. Suppose 1129 = 2*f + l. Is f composite?
False
Suppose 0 = 4*j - 8*j - 4*g + 108, -j + 2*g = -18. Let l = 385 + j. Is l prime?
True
Is -10*10/(-50) - -3791 composite?
False
Is -11519*(-4)/(-10)*(-15)/6 a prime number?
True
Let w be 2/7 - (-120600)/84 - 2. Let o(h) = -h + 13. Let b be o(6). Is (b/21)/(2/w) prime?
True
Let p(b) = -7*b**2 + 11*b + 17. Let d be p(-7). Let f = d - -776. Is f composite?
False
Suppose -3*o + 389 = -100. Is o a prime number?
True
Let o(a) be the first derivative of 65*a**2/2 - 3*a + 7. Is o(8) prime?
False
Let l(p) = 1 + 4*p**2 + 1 - 3*p - 4. Let d be l(-2). Suppose -5*q = -2*q - 2*b - 439, -5*b = -d. Is q a prime number?
True
Suppose z + 10 = 4*a, 3*a + 1 = 10. Suppose -c + z*g + 265 = 0, 3*c - 4*g = -2*g + 815. Suppose 2*j - t - c = 152, 3*j = -3*t + 654. Is j composite?
True
Let q = 11173 - 6642. Is q prime?
False
Let y(w) = -49 - 135*w - 490*w + 126*w. Is y(-8) composite?
False
Let r(h) = 22*h**2 + 2. Let t be r(-8). Is t/9 + 1/3 a prime number?
True
Let p be -697 + -1 + -1 + 2. Let d be -1641 + 0 + -3 + (-12)/3. Let n = p - d. Is n prime?
False
Let h = 1127 - 449. Suppose -5*a + h = 43. Is a composite?
False
Suppose 2*t = 5*t - a - 190, -2*a = 4*t - 270. Is t a prime number?
False
Let r(h) = 50*h + 38. Let i(c) = -25*c - 19. Let a(v) = 7*i(v) + 3*r(v). Suppose -g = 5*b - 0 + 31, -23 = 3*g + b. Is a(g) composite?
False
Let r be (56/(-6))/(1/(-18)). Suppose -4*q = -232 - r. Suppose -3*x + q = -137. Is x composite?
False
Let g(d) be the first derivative of d**3/3 - 3*d**2/2 + 2*d + 6. Let w be g(3). Suppose -3*p + 405 = -w*o, 380 = 4*p - 3*o - 161. Is p a prime number?
False
Let v = 41 - 436. Let t = v - -954. Is t composite?
True
Suppose -q + 3*b - b + 13 = 0, 20 = 5*q - b. Is (-2804)/2*((-15)/(-6) - q) composite?
False
Let r(q) = 144*q + 89. Let o be (-179)/(-7) - -1 - (-4)/(-7). Is r(o) a prime number?
True
Suppose -4*z = 12, 4*l - 2*l = -z - 127. Let y = l + 619. Is y composite?
False
Let u(a) = -a**3 + a. Let y(p) = -2*p**3 + 2*p**2 + p. Let q be y(2). Let s be u(q). Suppose 5*w - 1005 = -s. Is w a prime number?
False
Is 2920 + ((6 + 4)/5)/2 a composite number?
True
Let r = -6308 + 18289. Is r a composite number?
False
Let s be (-6)/(-15) - (-40)/25. Suppose -2*n - 71 = 5*b, -n 