s = 2941 + -2240. Is s prime?
True
Let b(y) = y**3 + 2*y**2 - 10*y - 4. Let o be b(-4). Is 1/(-3)*(-797 - o) a composite number?
True
Let d be (-2*(-3)/(-8))/((-7)/28). Suppose 0 = d*p - 1453 + 532. Is p composite?
False
Let j = 748 - 421. Suppose -3*g + 724 + 262 = -5*q, g = 2*q + j. Is g prime?
True
Let w(o) = -o**3 - 12*o**2 + 38*o + 14. Is w(-19) prime?
False
Suppose -3*d + 1045 = 5*z, d = -5*z + 557 - 222. Is d prime?
False
Suppose 1324887 = 14*x + 189893. Is x composite?
False
Let c be (-3 + 0)*(-826)/(-21). Let p = c + 74. Is ((-2)/4)/(2/p) prime?
True
Suppose 2*i + 3*w - 10551 = 0, -6*i + i - w = -26384. Is i composite?
True
Is 80070 + 1 - (-45 - -37) a prime number?
False
Suppose 0 = -5*w - 38 - 2. Let o be (136/(-6))/(w/60). Let a = o - 121. Is a composite?
True
Suppose -12*z + 858 + 5166 = 0. Let l = 3709 - z. Is l a prime number?
False
Let k(x) = 13*x**2 + 0 + 2 + 49*x - 38*x. Let y be k(-8). Is y/4 - 8/(-16) a prime number?
False
Let n(b) = 22*b**2 - 39*b - 42. Is n(11) composite?
True
Let w be (-6)/14 + (-27)/(-63). Suppose -d + 5*a - 24 = w, -6 - 4 = -5*d - a. Is d/(2 - 0)*1282 prime?
True
Let d(z) be the third derivative of z**5/12 + 13*z**4/24 + 5*z**3/6 + z**2. Suppose -4*l = -2*b + 11 + 9, -l = 0. Is d(b) composite?
True
Let p(b) = 3*b + 2. Let o be p(1). Suppose 2*q = 3*j - q - 210, 0 = -o*j - q + 320. Is j composite?
True
Is (55/(-99) - (-2)/9)*-51399 a prime number?
False
Suppose 0 = 7*c - 7670 - 38789. Is c a prime number?
True
Let n(r) = 15*r**2 + 4*r + 30. Is n(-11) a composite number?
False
Let l = -1980 + 3507. Is l a prime number?
False
Suppose -2*t = -0*t - 8. Suppose -2*j = -10, 2*d - 2*j + 3*j - 9 = 0. Suppose t*f - 236 = -a, -14 = 4*f - d*a - 238. Is f prime?
False
Is (1 + -16191)*(-5 + 36/8) a prime number?
False
Let u be (1 - -1)/(5/30). Suppose -5*m - u = -1917. Is m a composite number?
True
Let m = 17 + -15. Suppose 4*a - 2*s - 2 = -0, 2*s + m = -2*a. Suppose a = 2*y - 231 + 53. Is y composite?
False
Is 190707/(-44)*(-32)/24 a prime number?
True
Let q(g) = 12*g**2 - 4*g + 1. Let o be q(-1). Suppose -o*f - 3365 = -22*f. Is f a composite number?
False
Let b(f) = 79*f**2 + 37*f - 203. Is b(5) prime?
False
Let g = -680 + 1188. Is 10/(((-16)/g)/(-2)) a composite number?
True
Suppose 2*f = -8*k + 11*k - 16811, -28025 = -5*k + 5*f. Is k a composite number?
True
Suppose 0 = 2*x + 5*v - 225, 4*x + 3*v - 443 = -0*x. Suppose -2*z + 364 = x. Is z composite?
False
Let g = 48037 - 27560. Is g prime?
True
Let o = 22 + 12. Let n = -10 + o. Let l = 173 - n. Is l a composite number?
False
Let g(m) = -1696*m + 315. Is g(-7) composite?
True
Suppose -3*m - 4*j = -190, 340 = 4*m + 4*j + 84. Let g = m - 100. Let d = g + 105. Is d a composite number?
False
Suppose 2*o = u - 619, 3*o = -2*o + 4*u - 1540. Let m = 693 + o. Is m prime?
False
Let o(n) = -3*n - 2 - n**3 + 13 + 9*n**2 + 21*n - n**2. Is o(-10) a composite number?
True
Let f(q) = -659*q - 3. Suppose 42*o - 51*o - 18 = 0. Is f(o) prime?
False
Suppose -20 = -4*w + 4*d, 2*w - d + 6*d - 10 = 0. Suppose 0 = 2*r - 51 + w. Is r composite?
False
Let p be (-3 + (-3)/(-2))*10. Let h = p + 26. Is h a composite number?
False
Suppose -4*a + 3*a = -13. Suppose -a*h = -12*h. Suppose 6*o - 9*o + 633 = h. Is o composite?
False
Let u(b) = -b**2 - 17*b - 13. Let v be u(-16). Suppose n - 2541 = -5*w, 2149 = v*w + 5*n + 642. Is w a prime number?
True
Suppose 30*l + 21704 = 162674. Is l a prime number?
False
Suppose -2*u + 3 = 5*q, -2*u + 4*q + q = -13. Let p = 180 - 78. Suppose -2*n = 4*z - p, 0 + 110 = 2*n - u*z. Is n composite?
False
Suppose 4*l = -z + 20881, 0*l - 3*l + 15666 = -z. Is l a composite number?
True
Let o(x) = -2*x**3 - 3*x**2 + 5*x - 7. Suppose -25*d = -21*d + 20. Is o(d) composite?
True
Is ((-94086)/63)/(2/(-7)) prime?
True
Suppose 0 = 38*u - 33*u - 10. Suppose -1037 = 2*b - 3*b - 4*w, -w = -u*b + 2101. Is b a composite number?
False
Suppose 0 = f + 3*w - 34 + 4418, -3*w - 17545 = 4*f. Let i = -1452 - f. Is i a composite number?
True
Let z(l) be the first derivative of 157*l**2/2 + 3*l + 3. Let j = 20 - 16. Is z(j) a composite number?
False
Suppose -18658 = -q - 3*k, -2*q = -156*k + 151*k - 37327. Is q composite?
False
Let y = 11 - 8. Let n(p) = -p**3 - p**2 + 4*p - 4. Let z be n(y). Let u = z - -66. Is u a composite number?
True
Suppose -3*v = 3*j - 95919, 2*v = 3*j + 53687 + 10239. Is v a composite number?
True
Suppose 6*i - 197460 = 151998. Is i a composite number?
False
Let s = 812 - 475. Is s prime?
True
Let n(t) = 3*t - 16. Let q be n(7). Suppose -2*x - 2*y = 18, x - q*y + 27 = -0*x. Is 47/(x/(-8) - 1) composite?
True
Let b(n) = 8*n**3 - n**2 + 10*n + 15. Is b(8) prime?
True
Suppose 0 = -5*h - 5*c + 495, -2*h + c = -4*h + 199. Let o = 2 + 9. Let m = h - o. Is m prime?
True
Let n be (-6 - -100)*-2*(0 - 1). Let t = -82 + n. Is t a composite number?
True
Let m(u) = u**2 - u + 134. Let s(g) = -g**3 + 10*g**2 - 18*g + 16. Let i be s(8). Is m(i) prime?
False
Suppose -23613 = 19*a - 362516. Is a composite?
False
Suppose -76616 = 9*p - 17*p. Is p prime?
False
Let w(s) = 1 - 6*s - 37*s**2 + 89*s**2 + 50*s**2. Is w(5) prime?
True
Let k be ((-15)/5)/((-3)/771). Suppose -3*g + k = 198. Is g a composite number?
False
Let q(l) = 13*l**3 - 118*l**2 - 18*l + 10. Is q(12) prime?
False
Let l(h) = 31*h + 3. Let b be l(-5). Let f be (-7 + 5)*(-2 + (-217)/2). Let i = b + f. Is i a composite number?
True
Let r = -71 - -181. Let q = r - -767. Is q composite?
False
Let c(h) = 2*h - 5. Let t be c(4). Suppose 0 = t*o + 4*y + 1, -4 = y. Suppose -4*p - 4*w + 1003 = -w, 0 = -o*w - 15. Is p a prime number?
False
Suppose -5*q + 3*r = -47, -r = -4*q + 3*r + 44. Let s(a) = 13*a**2 + 9*a - 9. Is s(q) a prime number?
True
Suppose h - 3*a = 609, -4*h + 6*a + 2436 = a. Suppose 55 + 915 = -5*k. Let r = h + k. Is r composite?
True
Let h(j) = -j**2 + 18*j + 48. Let l be h(20). Suppose -l*m + 755 - 11 = 0. Is m a composite number?
True
Let h be (3 + -10 + 5)*(-1910)/4. Suppose h = 15*o - 10*o. Is o a prime number?
True
Let j be ((-16)/(-28) - 0) + 277/(-7). Let d be 21/(-6)*(1 + -29). Let f = j + d. Is f prime?
True
Suppose -914 = -4*m + 2970. Let t = m - 336. Is t composite?
True
Is 98792/(7 - -1) - -10 a composite number?
True
Let k(r) = 18*r + 5. Suppose -4 - 1 = -j. Is k(j) composite?
True
Let w be (-42)/28 + 6/4. Suppose 0 = -y + 2*y - 3. Suppose -t + 644 = -y*u, -u + 1902 = 3*t - w*u. Is t a composite number?
True
Let r(m) = -4*m**3 + 3*m**2 + 5*m. Let n be r(-4). Let s be -2 + 0 - (0 + -4). Suppose h + 5*c = n, h - s*c = -5*c + 274. Is h a prime number?
False
Suppose 0*k = -3*k. Suppose -2*x = -3*w + 4025, -3*w + 3*x - 5*x + 4009 = k. Is w a prime number?
False
Let a(h) = -h**3 + 3*h**2 + h + 3. Let g be a(-4). Suppose -423 = n + g. Is n/(-18)*(-6)/(-2) composite?
False
Is 24/84 - (-1 - (-87440)/(-14)) a composite number?
False
Suppose 12*l = 364823 + 877333. Is l composite?
True
Let d(n) = -246*n - 4*n**3 + 3*n**2 + 251*n - 3 + 3*n**3. Let r be d(3). Is 3/((-7)/((-1540)/r)) prime?
False
Suppose j - 3*j = -9478. Suppose -4*d - 2747 = 4*p - 7491, -5*p = 4*d - j. Is d prime?
False
Let g = 35 - 31. Suppose 5*h = -p + 8462, g*p = 2*h - p - 3401. Is h prime?
True
Let v(x) = -42*x**2 + 3. Let q be v(-3). Let k = q + 581. Let n = k - 79. Is n composite?
False
Suppose 7*o - 5*o = 4724. Is o a composite number?
True
Let y be (21/12)/(8/(-128)). Is (-8)/(-2)*(-1799)/y prime?
True
Let c = 260 + -185. Let j be (13 + -11)/(2/10). Let g = c - j. Is g composite?
True
Let h(s) = -3*s + 20. Let p be h(6). Suppose p*v + 22 = 3*v. Is v prime?
False
Let w(f) = -f**3 + 4*f**2 + 2*f - 2. Let r(t) = -t**2 - t + 4. Let x(g) = -g. Let q(c) = -r(c) - 5*x(c). Let v be q(-7). Is w(v) composite?
False
Let d(t) = 1. Let g(o) = o + 12. Let c(j) = 2*d(j) + g(j). Let q be c(-14). Suppose 3*k - 9*k + 1986 = q. Is k prime?
True
Is 29397*16/15 + (-1)/(-5) composite?
False
Suppose -a + 9 = 3*v, -2*v - 4 = 2*v. Suppose -a*m + 2443 + 4553 = 0. Is m a composite number?
True
Suppose -3*j = -4*f + j + 8936, 4*f + 4*j = 8952. Suppose 2*a + 8958 = 4*t, -t + 7*a - 3*a + f = 0. Is t/15 + 2/(-6) a composite number?
False
Let h = -2646 - -4303. Is h prime?
True
Suppose -131 = -5*o - 66. Suppose -5866 = -4*q + h, 8*q - 2*h + 7326 = o*q. Is q a prim