*l + 5*f = -1455, 4*l - o = -2*f. Is l composite?
True
Suppose 0 = -j + 4*b + b + 58, -171 = -2*j - b. Is 26*j - (-7 - -6) a composite number?
True
Let a(t) = 3*t**2 - 36*t + 21. Suppose -3*j + 35 = 2*q - 6*j, 4*q - 60 = -4*j. Is a(q) a composite number?
True
Let v = -17 - -23. Suppose 8*g - v*g + 46 = 0. Is g/4*(-2 + -6) composite?
True
Let o(h) = -4 + 21*h + 7 + 16*h**2 - 9 - 5. Is o(6) composite?
False
Suppose -9*v + 9148 + 16358 = 0. Suppose 48*a - 46*a - v = 0. Is a composite?
True
Let l be (-13144)/6 + 2/(-6). Let w = 3690 + l. Suppose -5*g + g = -3*h - w, 0 = g + h - 366. Is g a composite number?
True
Let r = 4182 - -559. Is r a prime number?
False
Let v(c) = 47*c - 1. Let x be v(1). Suppose -3*f + 0*o - 2*o - 66 = 0, 0 = 2*f + 2*o + x. Is (-2)/8 + (-945)/f a prime number?
True
Let a = 33974 + -2991. Is a a composite number?
False
Suppose 0 = 3*h + h + 4*l - 4164, -2*l - 2090 = -2*h. Is h prime?
False
Suppose -6*y + 9 = -15. Suppose -3*s + 5*m + 898 = -0*s, -1206 = -y*s - 2*m. Is s a prime number?
False
Suppose n = x - 0*x - 13, n + 37 = 3*x. Let m be 6/(-10) + x/20. Suppose -l = h - 21 - 13, h + 4*l - 19 = m. Is h a prime number?
False
Suppose -4*u + 5*q + 42649 = 8690, 2*u - 5*q - 16977 = 0. Is u a prime number?
False
Let i(w) = 72*w - 5. Let c = 23 + -32. Let t(z) = z**3 + 9*z**2 - 2*z - 11. Let x be t(c). Is i(x) a composite number?
False
Let x(w) = -5*w - 3. Let g be x(-2). Suppose g = -4*y + 15. Suppose 0 = 3*f + y*f - 130. Is f a prime number?
False
Suppose -5*p + 650469 = 238184. Is p a composite number?
False
Let u(g) be the second derivative of -g**3/3 - 21*g**2/2 - 7*g. Let c be u(-9). Is (-1)/c*8283/11 prime?
True
Let c(f) = 11*f**2 - 3*f**2 + 15 - 12. Is c(6) prime?
False
Let d(v) = -180*v + 12. Let i be d(-3). Let m = -364 + 656. Suppose i = 4*c - m. Is c prime?
True
Suppose 0 = 6*u + 26699 + 88681. Let r be 3/((-5)/(u/9)). Suppose -3*p - 3121 = -5*c + 84, 0 = 2*c - 3*p - r. Is c composite?
False
Let a(x) = -x**2 + 10*x + 23. Let d be a(12). Is -13*4/8*(-21 + d) prime?
False
Let d = 627 + -280. Is d a prime number?
True
Let u = 11 + -7. Suppose 4*i - u*d = i + 941, -2*i + 594 = 4*d. Is i a composite number?
False
Let m(i) = -2*i**2 - 21*i - 21. Let h be m(-9). Suppose 0 = 2*s - x - 1264, -2520 = -h*s + 2*s - 2*x. Is s prime?
True
Suppose -6*p + 43625 = -21001. Is p composite?
False
Let q = -35 - -1016. Let k be (q/(-6))/((-3)/(-6)). Let d = k + 484. Is d a prime number?
True
Suppose 25*g = 27*g + 6. Suppose -2*x - 3 = -x. Is (g - x - 7)*-7 a composite number?
True
Let u = -11974 - -20877. Is u prime?
False
Let n = -73 + 73. Suppose n = s - p - 562, -6*p + p - 1133 = -2*s. Is s prime?
False
Suppose 54 = 3*m - 0*m. Let y(k) = -k**3 + 20*k**2 - 26*k. Let w be y(m). Is (-4)/(-30) + 6636/w a composite number?
False
Suppose 2*b - 3 = 1. Suppose -5*v = -b*n + 75, v = -2*n - 0*n + 69. Let s = -4 + n. Is s a prime number?
True
Suppose -3*y = 5*b - 405598, -7*b = -5*b + 3*y - 162241. Is b composite?
False
Is (-3101985)/(-348) + 10/8 prime?
False
Suppose 420 = 5*o - 8*o. Suppose 2*x - 864 + 230 = 0. Let d = x + o. Is d composite?
True
Let h(i) = -82*i + 12. Let t(o) = 163*o - 25. Let f(a) = 7*h(a) + 3*t(a). Is f(-8) composite?
True
Let j(q) = 165*q**2 - 3*q + 2. Let f be j(-5). Let d = f - 1747. Is d a prime number?
False
Suppose 5*p + 3*z = 25168, -z + 20156 = 4*p - 4*z. Suppose 5*l = l + p. Is l prime?
True
Let r be ((-6)/(-4) - 1) + 5/2. Is 938 - -1 - (1 - r) a composite number?
False
Let l(w) = -32*w**2 - 4*w + 5. Let j be l(-4). Let s = 944 - 242. Let a = j + s. Is a composite?
False
Let k = 24013 - 14898. Is k composite?
True
Suppose -r + 3*o - 363 = -2*r, -3*o - 3 = 0. Let z = r - 157. Let p = 50 + z. Is p composite?
True
Let x be 14/4 - (-5)/(-10). Let y = 6 - x. Is (951/y)/(0 - -1) a prime number?
True
Let x = -1454 + 112. Let a = x + 2261. Is a composite?
False
Let l = 13 + -11. Suppose l*y + y - 3 = 0. Is (-763)/7*(-2 + y) a prime number?
True
Let i(k) be the second derivative of -k**4/12 - 3*k**3/2 + 5*k**2/2 + 2*k. Let m be i(-9). Suppose -4*p - a = -259, -4*p + m*a = a - 264. Is p a prime number?
False
Let o(j) = -6*j - 9. Let t(g) = -7*g - 10. Let l(q) = 5*o(q) - 4*t(q). Let w be l(-5). Suppose -w*s + 2*s + 231 = 0. Is s a composite number?
True
Suppose 3*g + 3 = 0, -g + 222 = -5*b + 1028. Is b a composite number?
True
Let v(b) = -30*b + 37. Let a be -2*(4/24 - 26/(-6)). Is v(a) composite?
False
Let k be (-1 - (4 - 9))*1828. Let m = k + -4723. Suppose -959 - m = -4*r. Is r prime?
True
Let b(a) = 2*a - 21. Let w be b(12). Suppose q = 3*v + 193, 6*q = w*q - 2*v + 557. Is q composite?
True
Let q be (-2)/(-3) + 549/27. Suppose -y = -5*t + q, -3*t + 0*t = 2*y - 23. Suppose -t*b + 5*p = -200, -p - 2 = 1. Is b composite?
False
Let t(z) = 4*z**2 + 26*z - 14. Let x be t(10). Suppose -10 = -2*o, -x - 1146 = -s + o. Is s composite?
True
Let r(t) = -7*t - 5. Let v be r(-2). Is 1486/((-3)/v + 1) a prime number?
False
Is 805 - 0/1 - 12/(-3) a prime number?
True
Let j = 7 - 2. Suppose h + 13 + 32 = -4*w, 5*h = -j*w - 195. Let d = h + 72. Is d a prime number?
False
Let i = 4913 - 6925. Is (0 - 6/4)/(2/i) prime?
False
Let c(l) = 3*l**2 - 11*l + 4. Let f be c(-17). Let q be -1 + ((-822)/(-3) - 2). Let j = f - q. Is j a prime number?
True
Suppose 1 + 2 = 5*l + 4*t, -5*l = -5*t + 15. Let r be 6556/(-4) - (-4 - 0). Is r/(-10) - l/(-2) a prime number?
True
Suppose 2567301 = 22*p - 1116269. Is p composite?
True
Let l(t) be the third derivative of 1/24*t**4 + 0 + 0*t**3 + 293/120*t**6 - 1/60*t**5 + 0*t + 5*t**2. Is l(1) a composite number?
False
Let z = -6946 + 10435. Is z composite?
True
Suppose -4*b = -2*b - x - 18, 3*b - 32 = -x. Let r be b/(-3)*771/(-2). Suppose 0 = 3*c + 2*c - r. Is c a prime number?
True
Let n(y) = y**2 + 1. Let w(b) = -b**2 - 6*b - 8. Let i(a) = 5*n(a) + w(a). Let j = 23 + -29. Is i(j) prime?
False
Let f(q) = q**2 + 7*q - 5. Let v(o) = o + 4. Let c be v(-12). Let y be f(c). Is 451/22 - y/2 prime?
True
Let n(t) = -t**3 + 4*t + 1. Let r be n(-2). Is r*(112 + -3)*1 a prime number?
True
Suppose -4*u = 3*t - 12151, -2*t + u = -0*u - 8097. Is t a prime number?
True
Let w = -1239 - -3896. Is w a prime number?
True
Let c = -98 - -234. Suppose -2749 = -5*g + c. Is g a prime number?
True
Suppose 0 = -2*w + 7*z - 3*z + 6446, -w + 5*z = -3220. Let x = -2032 + w. Is x prime?
True
Let x(g) = -g**3 - 13*g**2 + 7*g + 2. Let n(q) = -q**2 - q. Let o(m) = -6*n(m) + x(m). Is o(-9) prime?
True
Let f be -3 + (8 - 3) + -3. Let k be (1/f)/(4/12). Is (-17 + 4)/(k/6) a prime number?
False
Let r(v) = -3*v**2 + 28*v - 3. Let i(k) = -4*k**2 + 29*k - 3. Let c(p) = -2*i(p) + 3*r(p). Let h be c(13). Let m = h + -53. Is m a composite number?
False
Suppose 0*m + 3*k = m - 18, -2*m + 2*k + 36 = 0. Let o be m/8 + (-12)/(-16). Suppose 0 = o*q - q - 442. Is q composite?
True
Let r(b) = -b**2 - 5*b + 9. Let a(k) = 3*k**2 + 9*k - 19. Let o(g) = -2*a(g) - 5*r(g). Let c be o(6). Is c*-2*(-14)/(-4) a prime number?
True
Suppose -3*l + 614 - 155 = 0. Suppose -r - l = -854. Is r prime?
True
Suppose 3*z = 2*l + 35 - 10, 4*l = 3*z - 53. Let s = 14 + l. Suppose -4*o - h + 195 = -s*h, -o - 3*h + 46 = 0. Is o a composite number?
True
Let r(i) = i**3 + 11*i - 7. Let h(v) = v**2 + v. Let j(l) = -h(l) + r(l). Is j(8) a composite number?
False
Let o(y) = -y**2 + 2*y + 28. Let i be o(0). Let j be i/(-42) + (-17)/(-3). Suppose 0 = j*d - 86 - 479. Is d prime?
True
Let g be (12/14)/((-4)/(-4872)). Suppose 7*s = 3*s + g. Suppose -615 = -5*r + 3*d + 706, 0 = -r - d + s. Is r composite?
False
Let m = -38 + 37. Is -23*(4*-2 - m) a composite number?
True
Let a be (4/(-8))/(2/(-8)). Let t be ((-1)/a*2)/(-1). Let k(b) = 42*b**2 + 3*b - 2. Is k(t) a composite number?
False
Suppose 0 = -3*v - 2*v - 3*t + 20, 2*v + 4*t = 8. Let a = 7 - v. Suppose 5*k = -m + 513 + 2552, k - a*m - 613 = 0. Is k prime?
True
Suppose -2*o + 57 = 3*p, 4*p - 69 = -0*p - 5*o. Let k = -34 + p. Is (-14)/91 + (-1549)/k composite?
True
Let n(k) = -k**2 - 7*k - 6. Let s be n(-3). Suppose 2*a + 356 = s*a. Is a composite?
False
Let s = 40624 + -561. Is s prime?
True
Suppose u + 1614 + 1153 = 0. Is (-2)/(-16) - u/8 prime?
False
Let r(i) = 8*i**3 + 20*i**2 + 14*i - 79. Is r(10) prime?
True
Suppose 2*b - 2*r = 6*b, 