. Is s a composite number?
True
Suppose 2*k + 0*k - 484 = 0. Suppose -3*d - k = -5*d. Suppose 5*m - 2015 = 3*x, -2*m - 2*x + d + 685 = 0. Is m a prime number?
False
Suppose 0 = 5*h + 4*u - 3719, -3*h = -8*h - u + 3731. Let v = h - 413. Let f = v - -55. Is f a prime number?
True
Let z = 35775 + -10946. Is z a prime number?
False
Let o(f) = -f**3 - 9*f**2 - 11*f - 3. Let q be o(-8). Let t be 6/q - 3564/(-21). Suppose 5*g - 3375 = -t. Is g prime?
True
Is 12 + 2486/(-209) + 87132/19 prime?
False
Suppose -123140 = -12*d + 13756. Is (-8)/(-36) - d/(-18) a prime number?
False
Is 2/(-8)*3268/57*-1641 a prime number?
False
Is 2/(-4) - (744976/(-32) - -11) a composite number?
False
Let m = -148 - -446. Suppose k + 2*r - m = -r, -5*k + 1529 = 2*r. Is k a prime number?
True
Let k(y) = -y**3 + 6*y**2 + 7*y - 5. Let g = -26 + 19. Is k(g) composite?
True
Let d = 1957 - -5614. Is d prime?
False
Let g(l) = l + 6. Let a be g(-6). Suppose y - 2 = k, 3*k - 2*k + 2*y - 10 = a. Suppose 3*b - 4*s - 751 = 0, -k*s = -2*b - 0*b + 504. Is b prime?
True
Let u = -3533 + 5304. Suppose 3*f - 3*c = c + 1775, -u = -3*f + 2*c. Is f a composite number?
True
Let h(s) = 3*s**3 - 5*s**2 - 10*s + 11. Let f be 5/1 - (2 + -3). Is h(f) prime?
True
Let t(k) = 150*k**2 - k - 15. Let z be t(7). Suppose -6*x + z = -9214. Is x composite?
True
Is (-391785)/(-12)*(-204)/(-85) composite?
True
Let n = -208 + 1057. Suppose 3*m = -3*i + n, 0 = m + 2*m - i - 865. Is m a prime number?
False
Let m(w) = 25*w**2 - 5*w + 9. Let p be ((-6)/9)/((-2)/(-24)). Is m(p) prime?
False
Suppose -4*b - 15779 = -391695. Is b prime?
True
Suppose -2*j + 3*s + 703 = 0, -3*s = -s + 10. Let c = 2125 - j. Is c composite?
True
Suppose -236 = -5*g + 2*d, 4*g + 4*d - 248 = -g. Let c = -132 + g. Let j = 211 + c. Is j composite?
False
Let j(x) = x**3 + 4*x**2 - 7*x - 6. Let z be j(-4). Let u = -31 + z. Is 3/u*(1 - 436) a composite number?
True
Let p be 1 - -1 - 1 - -3. Suppose -3*c - 4*r = -119, -c = -2*r + p*r - 37. Suppose -c = -y + 34. Is y prime?
True
Suppose 8*s - 14904 = 17008. Is s composite?
False
Let k = 2432 - -2925. Is k composite?
True
Is (1 - 50/45) + 34482/27 prime?
True
Suppose -2*h + 5 - 1 = 0. Suppose 0 = h*c - 8. Suppose -c*f + 516 = 184. Is f a composite number?
False
Suppose 196*i - 197*i + 1761 = 0. Is i prime?
False
Suppose -f - 13 = -3*j, -11 = -2*f - 3*j + 8. Let l(u) = -33*u + 5. Let a(k) = -33*k + 6. Let r(y) = f*l(y) - 3*a(y). Is r(7) a prime number?
True
Let s = -601 + 1355. Let f = s - -4. Is f a prime number?
False
Let l(x) be the second derivative of x**6/180 - 2*x**5/15 - 11*x**4/24 + 5*x**3/6 + 7*x. Let q(u) be the second derivative of l(u). Is q(13) composite?
True
Suppose 0 = -94*c + 87*c + 103117. Is c composite?
False
Suppose 4505 = 6*t - 3*t + 2*k, 4*t - 2*k - 6016 = 0. Suppose -3*w + 2*w + c = -t, c = 4. Is w a prime number?
False
Let x = 26 - 32. Let z be -2*5/(20/x). Suppose -4*d + 240 = 2*c, -12 = -z*d - c + 167. Is d prime?
True
Suppose 4*b = x - 0*x + 172277, -3*b = 4*x - 129203. Is b prime?
False
Let n be 10*(5/10 - 0). Suppose 2*h + 0*x - 1042 = x, 2605 = n*h + 5*x. Is h a prime number?
True
Suppose 0*w + 2*w = 3*i - 12, -5*w - 30 = i. Let d be 140/(-44) + w/(-33). Is 109/2*(-6)/d prime?
True
Is (-535851)/(-6)*14/21 composite?
False
Suppose -18 = 2*u - 42. Let v be (-2)/3 - (-56)/u. Let l(q) = q**3 - 4*q**2 + 5*q + 1. Is l(v) composite?
True
Let r(t) = -1368*t + 2. Let y be r(-2). Let d = y - 1557. Is d a prime number?
True
Let x = -162 - -229. Let b(s) = 17*s - 9*s - 1 + x*s. Is b(2) a composite number?
False
Let s(t) be the second derivative of 3/2*t**2 + 0 - t**3 + t. Is s(-6) prime?
False
Let s be (-9)/15 + 12/20. Suppose 5*a + s*v - 25 = v, 3*v = 4*a - 31. Suppose a*r - 445 = -r. Is r a prime number?
True
Let v(p) = 1 + 4*p + p**2 - 1 - 3*p**3 + 3. Let f be 27/(-21) + 1 + (-24)/14. Is v(f) prime?
True
Let n(j) = 58*j + 321*j + 4 + 127*j + 179*j. Is n(1) composite?
True
Let z(u) = -u**3 - 11*u**2 + 2*u + 19. Let d be z(-11). Is ((-158)/(-6))/(-1)*d composite?
False
Suppose 5*c - 5199 = 2*c. Is c a composite number?
False
Let f(t) = 38*t**3 + 4*t**2 + 27*t - 31. Is f(6) prime?
False
Let o(z) be the second derivative of z**4/4 - 2*z**3/3 - 5*z**2/2 + 197*z. Suppose -5*s + 4*s + 11 = -2*c, -2*c - 17 = 5*s. Is o(c) a composite number?
False
Suppose 0 = 53*y - 4114822 - 1177811. Is y a composite number?
True
Suppose -5 = x - 0, 0 = -5*s + 2*x + 24155. Is s composite?
True
Let o = 21902 + -11551. Is o composite?
True
Suppose -5*t + 7*t + 6 = 0, -3*u = 4*t - 6987. Is u prime?
True
Suppose -o + 5*a = o - 11162, -5*o - 4*a + 27905 = 0. Is o a prime number?
True
Let y(z) = -z + 2*z**2 + z**3 - 3*z + z**2 - 1 + 6. Is y(5) composite?
True
Suppose 12*g - 51097 - 67907 = 0. Is g a prime number?
False
Suppose 4*o - 26570 = 2*o. Is o prime?
False
Let l = 85340 + -39498. Is l a prime number?
False
Let g = 8072 - 4579. Is g a composite number?
True
Let f(l) be the second derivative of l**7/420 - l**6/45 + l**5/30 + 7*l**4/24 - l**3/3 - 2*l. Let p(a) be the second derivative of f(a). Is p(5) prime?
False
Let z(a) = 163*a**2 - 12*a + 6. Let j be z(9). Let r be (-4)/6 - j/(-9). Suppose -2*v - 2*v - 5*k = -1197, 5*v - 2*k - r = 0. Is v a prime number?
True
Suppose -153685 = -15*w + 195350. Is w composite?
False
Let m(a) = -1. Let z(f) = 281*f - 37. Let i(u) = 6*m(u) + z(u). Is i(4) prime?
False
Let a(x) = 4*x**2 + 38*x - 61. Is a(-20) a composite number?
True
Suppose -13*c + 15095 = -12*c + 3*l, 0 = -c + 4*l + 15123. Is c a prime number?
True
Suppose -366 = 4*x - 2*l + 132, x = 2*l - 117. Let f = x - -240. Is f composite?
False
Let x = -17 + 32. Is 6*(-10)/x - -1769 composite?
True
Suppose -6*k + 2*k + 3*j = 32279, 24222 = -3*k - 2*j. Is k/16*(-6)/3 a composite number?
False
Let w(s) be the third derivative of 61*s**6/24 + s**5/15 - s**3/2 + 7*s**2. Is w(2) prime?
False
Let b = 3028 + -5448. Let h = -1383 - b. Is h a composite number?
True
Let f be ((-1 - 7)/4)/(-1). Let j be (f/(-4))/(6/12). Is (-647*(-4 - -5))/j a prime number?
True
Suppose -4*r + y + 1970 = 4*y, -497 = -r - 3*y. Is r prime?
True
Is 19 + -15 + (-467 + 0)*-119 a prime number?
False
Let r(v) be the first derivative of 6*v**2 + 13*v - 1. Suppose 0 = -3*w + 15 + 33. Is r(w) a composite number?
True
Suppose -5 = 2*t - 11. Suppose -2*z + z - 2*p - 3 = 0, 2*z + t*p = -2. Suppose -4*g + 520 = z*h - 199, -432 = -3*h - 3*g. Is h a composite number?
True
Is 11987 - (6 + (-2 - -2)) a prime number?
True
Let o = -19954 - -40547. Is o prime?
True
Let x = -12 - -14. Suppose 279 = -x*d - d. Let t = d - -220. Is t a prime number?
True
Let b = 54583 - 37016. Is 2/4 - b/(-22) composite?
True
Let o(y) be the third derivative of y**6/120 - y**5/10 + 2*y**3/3 - 9*y**2. Let a be o(6). Let i(p) = p**2 - 2*p + 5. Is i(a) composite?
False
Let c = 150099 - 85698. Is c a composite number?
True
Is (964/(-3) + 2)/(10/(-15)) a prime number?
True
Suppose 416 + 584 = 2*y. Let w = 224 + -511. Let u = y + w. Is u a prime number?
False
Let v be 0 + -1*2 - -7. Suppose -7*q = -28*q + 84. Suppose q*a - v*n - 75 = 458, 4*n - 488 = -4*a. Is a composite?
False
Let z(b) = 445*b - 5. Let g be z(2). Suppose 864 = -2*h + 6*h + 4*d, 0 = -4*h + 3*d + g. Is h prime?
False
Let q = -15 + 191. Is 203 - (1/5 - q/80) prime?
False
Let o = -1264 + 5255. Is o composite?
True
Let k = 34652 + -21673. Is k prime?
True
Suppose 0 = 5*r - 16 - 104. Is (-3)/r*-4*92 a prime number?
False
Suppose -4*k = 3*x - 17, -3*k - k = x - 11. Suppose k*f = 223 + 199. Is f a prime number?
True
Let t = 21228 - -10451. Is t a composite number?
True
Let d(j) = -1202*j + 55. Is d(-5) a composite number?
True
Suppose 256 = 4*w - 1520. Let v be ((-5)/((-5)/w))/1. Let x = v + -193. Is x prime?
True
Let o(m) = 1089*m - 47. Is o(10) a composite number?
True
Suppose -11*u = -0*u - 194623. Is u a composite number?
True
Suppose -6 = -t - 3*n, -3*t + 0 = 3*n - 12. Suppose -w = -t*w. Let j(z) = z**2 + z + 145. Is j(w) a prime number?
False
Let z(u) = -335*u. Let n = 32 + -80. Let j be 6/(-4)*(-32)/n. Is z(j) composite?
True
Suppose -18*d + 11*d = -155239. Is d prime?
False
Let p(x) = -x**3 + 6*x**2 + 3*x + 1. Let j be p(6). Let t = j + -14. Let v(d) = 3*d**2 - 3*d + 7. Is v(t) a composite number?
False
Let l(j) = -