8) + 2). Let m = 31 - g. Is m a composite number?
True
Suppose 0*v = v - 4. Suppose v*m - 2 = -5*t + 3*t, -t = -3*m - 6. Suppose 5*i = -3*x + 1435, -x - 861 = -t*i - 0*x. Is i composite?
True
Suppose -19 = 5*s - 29. Is s + (-158)/4*-46 composite?
True
Let r(t) = 5497*t**2 - 4*t - 28. Is r(3) prime?
True
Let c(q) = 220*q**2 - 16*q - 41. Suppose 5*l = -m + 1, -3*m - 4 = 2*l + 6. Is c(m) composite?
True
Suppose -1797 = 23*c - 20*c. Is (-8)/36 - c*(-62)/(-18) composite?
False
Let x = -25310 - -36739. Is x a prime number?
False
Let s be (-4)/(-10) - (-234)/15. Suppose -s*t = -13*t - 165. Is t a composite number?
True
Let q be (-3)/(-1) + -3 + 4. Suppose -3*l = q*m - 752, -41 = 2*l + 3*m - 544. Suppose -l = -5*r + 1. Is r composite?
True
Let k(n) = 1138*n**2 - 2*n + 11. Is k(-3) composite?
False
Suppose 0 = 3*s + x - 1310 - 2044, -5*s + 4*x + 5590 = 0. Let h = 392 + -695. Let w = s + h. Is w a composite number?
True
Suppose -28*j + a = -29*j + 1541, 0 = -j + 4*a + 1551. Is j a composite number?
False
Let z(c) = 10 - 340*c**2 + 7 - 20*c + 338*c**2. Is z(-8) prime?
False
Suppose 3*a = 3*y + 33270, 4*a + 4*y - 60620 + 16268 = 0. Is a a composite number?
True
Let k(o) = -695*o - 90. Is k(-11) composite?
True
Suppose -5*s + 1605 = 5*x, 3*s - 962 = -3*x - s. Suppose 1279 = 4*n - 3*f, -n = -0*f - 3*f - x. Is n a composite number?
True
Let d = 9 + 2. Is 66/d*142/4 a prime number?
False
Let x = -23 - -27. Is x/(-16)*398*-2 a composite number?
False
Let z(t) = t**2 - 6*t + 3. Suppose -5*s - 4*m = -18, 0*s = 4*s - m - 27. Let v be z(s). Suppose -r = -v*r + 42. Is r a composite number?
True
Is ((-3013474)/(-159))/(2/3) a composite number?
False
Let o = 3985 + 6832. Is o a composite number?
True
Let m = 12 + -7. Is ((-714)/15)/((-2)/m) a prime number?
False
Let y be -3 + -2 + (-404)/(-2). Let h = y - -516. Is h prime?
False
Let f(v) = 240*v - 4. Let c be f(7). Suppose 0 = z + 4*r - 5, -4*r = -3*z - r + 15. Suppose u = z*u - c. Is u composite?
False
Suppose 3*z + 5*i = -0*i + 17568, 2*z - 11687 = 5*i. Is z a composite number?
False
Suppose -4*k + 69 = -3*q, -2 = -5*q + 3. Suppose 327 = k*x - 4389. Is x a prime number?
False
Suppose 4*r + f - 11449 = 0, -5*r + 6*f - 8*f + 14309 = 0. Is r a composite number?
True
Let o be (-4)/(-14) - (-729)/21. Let v be ((-75)/5)/(6/(-2)). Suppose 0 = v*m - 6*m + o. Is m a prime number?
False
Suppose 88274 = 15*k - 100021. Is k a prime number?
True
Suppose -n - 3*s - 70 = 0, 54 = -2*n - 4*s - 84. Let u = 98 + n. Is u a prime number?
True
Suppose -4*h - 2*m = -27346, h - 3*m + 27347 = 5*h. Suppose -2*p = -6*p + h. Is p prime?
True
Let y = 233 - -617. Suppose 3*r + 5*m - 358 = y, 4*m = 3*r - 1199. Is r composite?
False
Let x be 2/(-8)*(-5 + -3). Suppose -2*z = -3*s - 1588, -z - x*z = s - 2393. Is z composite?
False
Let n = -4682 - -7099. Is n a prime number?
True
Suppose 4*q - 4*i + 0*i + 8 = 0, 4*q = -2*i + 16. Let p be 6/(-3) + (q - -760). Suppose p = 5*v + 5*j, 4*v + 5*j = 536 + 75. Is v a prime number?
True
Let v be (-3)/4 - -3831*8/32. Suppose 4*b + 1003 = -1189. Let t = b + v. Is t a prime number?
True
Let d(b) = 5711*b**3 - 2*b + 2. Is d(1) composite?
False
Is 3/(-3 - 6300/(-2098)) prime?
True
Let b = 43 - 39. Suppose 2157 = b*a + 3*t, -5*t - 1071 = -2*a - 4*t. Is a composite?
True
Is (-1 - 44/(-52)) + 433458/78 prime?
True
Let s = 65 + -50. Let o(v) = v**3 + 6*v**2 + 8*v + 7. Let q be o(-5). Let a = q + s. Is a composite?
False
Let g(u) = -14*u**2 + 9*u - 13. Let d(c) = -14*c**2 + 8*c - 13. Let n(r) = -5*d(r) + 4*g(r). Is n(-8) a prime number?
True
Let o(v) = -1404*v - 149. Is o(-17) a prime number?
True
Suppose s - 2203 - 989 = 0. Suppose -3*n = -s - 1935. Is n prime?
True
Let p(k) = 31740*k**2 - 5*k + 6. Is p(1) a prime number?
True
Suppose 0*a - 2*a = -4. Let t(c) = -13 + 5*c + c + a*c - 4*c. Is t(11) prime?
True
Is ((12 - 801) + -5)*(-7)/2 prime?
False
Let m be (-3716)/(-10)*3*(1 + 4). Is 2 + (m - -2) - (-9)/3 a prime number?
True
Let x(d) = -d**3 + 5*d**2 - 5. Let v be x(-4). Suppose -5*y = -2016 - v. Suppose 3*l + 2*p - 425 = 0, 3*l - y = -0*l + p. Is l a composite number?
True
Let t = 27357 - 12254. Is t prime?
False
Let k(b) = -b**3 + 4*b**2 + 12*b + 2. Let l be k(6). Suppose 2*d = -l*c + 386, 2*c - d - 571 = -c. Is c composite?
False
Let s(c) = -34726*c + 11. Is s(-2) a composite number?
False
Suppose -37*c - 95834 = -2*b - 39*c, 2*c = -5*b + 239573. Is b a prime number?
False
Suppose -14 + 2 = -3*t. Suppose -9*i + t*i = -15. Suppose i + 292 = 5*x. Is x composite?
False
Let p(h) = 156*h - 1. Let x(a) = -9*a + 1. Let y be x(-1). Is p(y) composite?
False
Let t be 297/8 + (-5)/40. Suppose r + 0 - 2 = 0. Let x = r + t. Is x a composite number?
True
Suppose -174 = 3*o - 6*o. Suppose o = 2*m - 28. Is m prime?
True
Let a(f) = -f**2 + 3*f - 2. Let x = -11 - -13. Let l be a(x). Suppose -5*o + 2*s + 2389 = l, -o + 3*s = 8*s - 494. Is o a prime number?
True
Let g = 12448 + -3597. Is g composite?
True
Let x = -953 - -2857. Let j be 262472/224 + 3/(-4). Let y = x - j. Is y a composite number?
False
Let b(x) = 105*x**2 + 5*x + 9. Is b(-2) composite?
False
Let t = -430 + 483. Is t prime?
True
Let o be 2 + (-3)/((-9)/6). Let u(w) = 5*w**3 + w**2 - 2*w + 3. Let l be u(o). Let z = -218 + l. Is z composite?
False
Suppose -x + 36 = 34. Suppose x*u - j - 879 = 0, 3*u + 5*j - 1312 = -0*j. Is u composite?
False
Is -5 + 245/45 + 45964/18 a composite number?
True
Suppose 3*w + 2*b - 3*b = 27498, -3*w - 2*b + 27498 = 0. Is w prime?
False
Is 48929/113*1*13 composite?
True
Let n = 13 + -8. Suppose n*h - 9402 = -31512. Is (12/18)/((-4)/h) composite?
True
Suppose -61*m - 3804 = -65*m. Is m a prime number?
False
Let d = 42727 - -19216. Is d a prime number?
False
Let a = -6857 - -11798. Suppose 0 = 2*l, 5*b + a = 5*l + 22396. Is b prime?
True
Let t(v) = v**2 - 2*v. Let r be t(-2). Let w be ((-670)/r)/((-8)/32). Suppose a - w = -4*a. Is a a composite number?
False
Let u = 10478 + -5157. Is u a prime number?
False
Let g(h) = 3485*h + 1. Let v be g(5). Is (v + 2)*7/28 a prime number?
True
Let b = 10 - 14. Let j(m) = m**3 + 3*m**2 - 4*m + 4. Let v be j(b). Suppose -257 = -3*x + 4*a, 0 = 2*x - v*x + 3*a + 173. Is x a composite number?
False
Let j be -3*(7 - (-308)/(-12)). Let f(a) = a**3 - 8*a**2 + 10*a + 2. Let h be f(7). Let y = j - h. Is y composite?
True
Let k = -223 - -337. Let p = -219 + k. Let s = p - -892. Is s composite?
False
Let w(o) = -2*o**3 - 9*o**2 + 9*o + 2. Let t be w(-8). Suppose i = 165 + t. Is i a composite number?
True
Let j(v) = 12*v**2 + 2*v - 1. Let y be ((-9)/6)/((-5)/10). Suppose -b = -4*r - 2 - 21, -3*r = -y*b + 24. Is j(b) a prime number?
True
Suppose -5*i + 3*o = -12188, i - 2*o + 4872 = 3*i. Is i a prime number?
True
Is 20107 - 7*18/63 a composite number?
True
Suppose -3*c + 6483 = -2*v, -4*c + 4777 = 3*v - 3867. Is c a composite number?
False
Is (-26520)/(-14) + 7 + (-6)/21 a composite number?
False
Suppose 2*f = 3*s - 7367, 4*s + 4*f = 9*f + 9825. Is s a composite number?
True
Suppose 6*m - m + 3231 = 2*j, -j - m + 1619 = 0. Suppose -g = 2*a + a - 4894, a + 3*g - j = 0. Is a composite?
True
Suppose 42*p - 44*p = -24. Suppose 4*l - p = 0, -5*l = -2*b + 2840 - 285. Is b a composite number?
True
Let n(v) = 332*v**2 - 3*v + 2. Let q(c) = -3*c + 10. Let m be q(3). Is n(m) prime?
True
Let c(g) = g**3 + 9*g**2 + 2*g + 7. Let r be c(8). Suppose 0 = 5*f - r - 4624. Is f a composite number?
True
Is (0 + -4)*-1119 - 45/9 prime?
False
Suppose -12651 = -3*g - 1845. Is g composite?
True
Let k = 9232 - 3417. Is k a prime number?
False
Let m = -399 + 2246. Is m a prime number?
True
Let f(y) = -y**3 + 4*y**2 - 2*y - 12. Let o be f(3). Let j(a) = -a**2 - 11*a + 13. Is j(o) composite?
False
Let h be 21/42 + (-10)/(-4). Is ((-1152)/30)/(6/(-40)) - h a composite number?
True
Suppose 3083 = j + g, -j + 2*j + 5*g = 3063. Let z = j - 2090. Is z a composite number?
True
Suppose -3*d = -d + 10. Let g = -27 + d. Let j = 79 - g. Is j composite?
True
Let y = -6767 + 14022. Is y prime?
False
Let a(j) be the second derivative of -j**6/120 + j**5/60 + j**4/4 + 7*j**3/6 + 7*j**2/2 + 2*j. Let l(t) be the first derivative of a(t). Is l(-5) composite?
False
Let o(k) = 6*k + 35*k**3 - 31*k**3 - 19*k**3 - 5*k**2 + 9. Is o(-4) composite?
True
Let x(i) = 