b**3 - 16*b**2 + 20*b - 16. Is y(15) prime?
True
Is (-564)/18*(-1 - 2) prime?
False
Suppose -2*n - 3628 = -6*n. Is n composite?
False
Is ((-1)/2)/(5/(-3070)) a prime number?
True
Suppose 5*q + 1876 = -604. Let l = -347 - q. Is l a composite number?
False
Suppose 263 = 3*c + 4*r - 3*r, -3*c - 3*r = -255. Is c prime?
True
Let r = 7477 + -362. Is r a composite number?
True
Let v be -55 - (1 + 1 + -3). Let x = v - -88. Is x composite?
True
Let y(g) be the third derivative of -g**6/120 + 7*g**5/60 - g**4/6 + 7*g**3/6 + 2*g**2. Is y(6) a prime number?
True
Suppose 2*m + 2 - 10 = 0. Suppose -987 = -m*b + b. Is b a composite number?
True
Let t(j) = -13*j - 4. Suppose 2 + 4 = -2*v. Is t(v) composite?
True
Suppose 3*q - 4 = 5. Let s be 26/q - 8/12. Suppose -s = i - 61. Is i a prime number?
True
Let d(o) = -o - 2. Let p be d(-4). Suppose -2*n = 2*j - 14, 3*j - 2 = 5*n + 11. Suppose j*q = p*q + 40. Is q a composite number?
True
Suppose 4*o - 5*a - 1638 = 0, 3*a - 7*a + 2027 = 5*o. Is o composite?
True
Is 609/2 + 9/18 a prime number?
False
Suppose 0 = 2*z - a - 30 - 195, -5*z + 2*a + 564 = 0. Let h = -22 + z. Let y = h - 15. Is y composite?
True
Suppose -v - 3*v + 1268 = 0. Is v prime?
True
Suppose -2*u - 5*y - 11 = 0, -4*u = -0*u + 3*y + 1. Suppose 305 = u*b + 3*s - 5, -5*b - 3*s = -784. Is b prime?
False
Suppose -7*h = t - 2*h - 84, 0 = -t + 3*h + 124. Is t prime?
True
Is (-1 + 0)/((-14)/42) - -1634 prime?
True
Let b = 7 - 6. Is 0 - (-1 - 154*b) a composite number?
True
Suppose g + 0 = 14. Suppose -r = 3*n - 4*r, 3*r = -4*n + g. Suppose o + 23 = n*o. Is o a composite number?
False
Suppose -4*q + 9*q - 5*m = 11825, -m = -5*q + 11813. Is q composite?
True
Suppose -10 = -3*d - 2*v + 4, -5*v = 2*d - 13. Suppose -2 = d*k - 5*k. Is (2 - 5/k)*-94 a prime number?
True
Let c(t) be the third derivative of 31*t**4/12 - t**3/2 + 4*t**2. Let n(p) = 123*p - 7. Let f(a) = -5*c(a) + 2*n(a). Is f(-1) composite?
True
Let p(w) be the first derivative of 2*w**2 - 3*w + 1. Let v be p(2). Suppose -v = -l - 3. Is l prime?
True
Let t(u) = u**3 + 7*u**2 + 6*u + 1. Let l be (18/21)/((-2)/14). Let p be t(l). Let c = 7 - p. Is c prime?
False
Let r(d) = 35*d**2 + d - 1. Let z be r(2). Suppose -3*f + z = -m + 6*m, 4*m + 141 = 3*f. Is f composite?
False
Let c(i) = 6*i - 13. Is c(11) composite?
False
Let o = -883 - -1398. Is o composite?
True
Suppose -3*a = -q + 985, 3*q + 8*a = 3*a + 2899. Is q prime?
False
Is (-30)/20*(-68)/3 prime?
False
Suppose -64 = 5*q + 2*u, -4*q + 2*q - 14 = -5*u. Is 2/q - 158/(-12) a prime number?
True
Let w(r) = 1. Let d(m) = -12*m. Let q(y) = d(y) + 3*w(y). Let a = 20 - 29. Is q(a) composite?
True
Suppose 2*v - k = 5, 3*v + 3*k = 1 + 2. Suppose -5*u - 2*p + 1287 = 0, 3*u - 5*p = -v*u + 1280. Is u composite?
False
Let a(w) = -10*w + 5. Let g be a(-6). Let v = -102 + g. Is ((1 - 0)*v)/(-1) prime?
True
Suppose -a - t - 3*t = -10, 0 = -3*a - 5*t + 16. Suppose -a*j - 1 = 7. Let p(k) = k**2 - 6*k - 3. Is p(j) prime?
True
Suppose 2*o - 6 = 0, o + 8 = -2*s + 3*o. Suppose -8 = f + 3*f - y, -y = 3*f + 6. Is 15 - (f/(-1) + s) prime?
False
Suppose 614 = l + l. Is l prime?
True
Let j(m) be the first derivative of 37*m**2/2 + m - 2. Let a be j(1). Let v = -15 + a. Is v prime?
True
Let o = -1167 - -2036. Is o composite?
True
Suppose 26*u - 628 = 22*u. Is u composite?
False
Let c(h) = h - 13. Let x be c(9). Let a(n) = -n**3 - 3*n**2 + 3*n + 1. Let l be a(x). Suppose l*b - 360 - 25 = 0. Is b a prime number?
False
Suppose 5*u = -3*c + 1130, -4*u + 7*u + 785 = 2*c. Suppose -c = -7*x + 2*x. Is x prime?
False
Let d(c) = -6*c**2 - 5*c - 8. Let r(i) = -18*i**2 - 14*i - 23. Let m(k) = 17*d(k) - 6*r(k). Is m(-3) a prime number?
True
Let u be 182/(-8) + (-1)/4. Let l = 62 - u. Is l a composite number?
True
Is (3 + 0/(-3))*223 + -2 composite?
True
Is (-52)/(-6)*3297/14 composite?
True
Let k = 6 + -6. Suppose k = y + y + 3*g - 4, -4*y - 3*g = -14. Suppose -4*l + 33 + 7 = y*q, 5*l - q - 50 = 0. Is l prime?
False
Let f(z) = -z**3 - 5*z**2 - 2*z + 4. Let w be f(-4). Is (2 + 6/w)*42 prime?
False
Suppose -4 = v - 1, 2025 = f + 2*v. Is f prime?
False
Let d be (18/(-4))/((-9)/12). Let t(g) = g**3 - 6*g**2 + 3*g + 7. Let h be t(d). Is h - 2/((-2)/(-3)) prime?
False
Let l be 3/(-4) - (-62)/8. Suppose -1 = b - l. Let k(v) = -v**3 + 6*v**2 + 2*v + 1. Is k(b) prime?
True
Suppose -3*z - 58 = -2*u + 80, 0 = -2*z + 5*u - 103. Let w = z - -3. Let b = -22 - w. Is b prime?
True
Let w = -2659 + 3914. Is w a prime number?
False
Let l = 451 - 274. Is l a prime number?
False
Let d(c) = 35*c**3 + 3*c**2 + 2*c + 13. Is d(4) composite?
False
Let k = -29 - -18. Let h(n) = 11*n**3 - 24*n**2 - 23*n + 13. Let w(m) = -5*m**3 + 12*m**2 + 11*m - 7. Let o(y) = 6*h(y) + 13*w(y). Is o(k) a prime number?
True
Let j(g) = -6*g**3 + 7*g - 790. Let l(s) = 5*s**3 - 6*s + 789. Let w(c) = 4*j(c) + 5*l(c). Is w(0) a prime number?
False
Suppose 3*x - 7 = 2*x. Let z(a) be the first derivative of a**4/4 - 7*a**3/3 + 4*a - 8. Is z(x) a composite number?
True
Let l(z) = 21*z - 28. Let x be (3 + -1)*90/12. Is l(x) a prime number?
False
Suppose 2*r + 0*r = 14. Is r composite?
False
Let h(x) = 18*x - 9. Let z be h(6). Let f be z - 2*2/4. Suppose 4*i - 14 = -n, 2*i = -4*n + 7*i + f. Is n a prime number?
False
Suppose b + 32 = -b. Let o be b/(-12)*3/2. Suppose -o*q + 48 = -18. Is q a prime number?
False
Suppose -24*f = -21*f - 3765. Is f a prime number?
False
Suppose -938 - 625 = -3*p. Is p a prime number?
True
Let f be (-3)/((3 + -2)/47). Suppose 0 = 4*q + 4*w + 1360, -q - 1372 = 3*q + w. Let g = f - q. Is g a composite number?
True
Suppose -2*q + 0*q + 6 = 0. Let v(z) = -11*z**2 + 2*z + 9. Let s(x) = -12*x**2 + 3*x + 10. Let p(w) = 5*s(w) - 6*v(w). Is p(q) a composite number?
False
Let j be 26/4 + (-3)/6. Suppose -j*m = -m - 5. Let h = m - -9. Is h prime?
False
Let u be 203/1 - 2 - -3. Let w = -137 + u. Is w composite?
False
Let h(y) = -87*y + 14. Is h(-7) a composite number?
True
Let t be (94/(-3))/((-1)/36). Suppose -3*z = 3*s - t, 4*s - z - 1474 = z. Is s composite?
True
Suppose 5*t - 454 = -0*u - 3*u, 5*u = -3*t + 730. Suppose -5*m + 2*k + 2*k = -189, -4*m - 5*k + u = 0. Is m prime?
True
Let t(p) = -p**2 + p + 31. Let w be (6/5)/((-2)/(-5)). Let q = w - 3. Is t(q) a composite number?
False
Let d(a) = -5*a**3 - 3*a**2 + 13*a - 7. Is d(-8) a prime number?
False
Let r(g) = 5*g**2 - 15. Let l(f) = 2*f**2 - 7. Let p(d) = -9*l(d) + 4*r(d). Is p(-4) a prime number?
False
Let i(q) = -q**2 - 7*q - 7. Let a be i(-7). Let c(l) = -18*l + 1. Is c(a) a composite number?
False
Let h = 70 - 45. Let c = h + 21. Is c a prime number?
False
Let c be (-1 - 0)/((-3)/6). Let f be c + -1 + 23 + 3. Suppose 3 = -4*k + f. Is k prime?
False
Suppose -y + 42 = -364. Let p = y - 229. Is p a prime number?
False
Suppose -5*h - 2360 = -7*h. Suppose 0 = -0*g - 3*g - 5*m + 710, h = 5*g + 5*m. Is g composite?
True
Let z(g) = g**2 - 5*g + 5. Let o be z(6). Let u = -9 + o. Suppose -u*p - p = -57. Is p composite?
False
Suppose -5*x = 5*z - z + 2072, 2064 = -4*z - 3*x. Let w = -220 - z. Is w a composite number?
False
Let h(i) = -i**2 - i - 1. Let q(s) = -41*s**2 - 3*s - 8. Let b(f) = 5*h(f) - q(f). Is b(2) a composite number?
True
Let c(z) = z + 1. Let r(f) = -119*f - 4. Let p(q) = 3*c(q) + r(q). Suppose -2*j + 7*j + 10 = 0, d - 3*j - 5 = 0. Is p(d) prime?
False
Let a(y) = 191*y**2 - 3*y + 11. Is a(-4) a prime number?
True
Let b = 1079 + -526. Is b a prime number?
False
Let o(y) = 3*y**2 + 2*y - 44. Is o(13) a prime number?
False
Let r(l) = 2*l**2 + 6*l + 7. Suppose 2*v - 3*u + u = -16, 4*u - 38 = 5*v. Is r(v) a prime number?
True
Let h(a) be the first derivative of -a**3/3 - 7*a**2/2 + 4*a - 3. Let b be h(-7). Is 2678/14 - b/14 prime?
True
Suppose -807 = -2*r - r - 4*n, -4*n + 12 = 0. Suppose -43 = -f + r. Suppose 4*t + 0*t - f = 0. Is t composite?
True
Let p(g) = 8*g + 5. Let x be p(-9). Is (-5 + 7)*x/(-2) composite?
False
Suppose d + d = 62. Is d prime?
True
Let f(t) = -40*t + 2. Is f(-3) prime?
False
Let j = 1711 + -1194. Is j composite?
True
Suppose 2*g + 13 = 3. Let w(f) = -f**2 - 7*f - 7. Let i be w(g). Suppose 3*o + i*r - 675 = 0, o + 3*r = -0*o + 229. Is o a composite number?
False
Suppose 5*x + 4*z = 519 + 1078, -z + 1271 = 4*x. Is x a prime number?
True
Let