= a + -1639. Suppose 241 = 5*c - p. Is c composite?
False
Suppose 5*f = 4*b - 693, 5*b + 3*f - 454 = 403. Suppose 0*s + 2*s = -4*v - b, -140 = 3*v - 4*s. Let g = v - -51. Is g a prime number?
True
Is (-1 - -2 - 56/16)*6629018/(-55) composite?
False
Suppose -18*w = 9*w - 1128789. Is w composite?
True
Suppose -5*z - 52281 = i + 2*i, -i - 17431 = 3*z. Let v = -8183 - i. Is v composite?
False
Let p be (-1)/3*-39 + -6. Is (-17)/(476/(-823504)) + 1/p prime?
True
Let l = 251086 + 4075. Is l a prime number?
False
Suppose -5*r + r + 1087 = 5*m, -3*r = -4*m - 854. Suppose 7896 = 7*x + x. Suppose -f + 3*h + 2*h = -r, 5*h - x = -4*f. Is f a composite number?
True
Let o(a) = a**2 + 9*a - 13. Let s be o(-11). Let t = -11 + s. Let c(b) = 53*b**2 + 7*b + 1. Is c(t) composite?
False
Let h = 272 - 270. Suppose h*d + 2835 = 8981. Is d a prime number?
False
Let u = -319 + 321. Suppose -a = -4*a - 2*o + 141, a - 39 = 2*o. Suppose -a = -u*b + 929. Is b a composite number?
False
Let r be (1 - -13)/(-6 - -5). Is ((-24)/r - (-16)/56) + 5007 prime?
True
Suppose -4*b - 974 = -5*m + 74, 0 = b - 2*m + 262. Let h = 682 - b. Let v = h + -653. Is v composite?
True
Let l be -7*(-18)/4 + (-2)/(-4). Suppose 31*h + 13649 = l*h. Is h a composite number?
False
Let c(x) = 28 + 27 + 28 - 99 + 25 + 428*x. Let b be 10/4*(5 + -3). Is c(b) prime?
False
Let h = 37292 - 31. Is h prime?
False
Suppose -y - 670081 = -4*b, 398195 = 5*b + 2*y - 439416. Is b a prime number?
True
Suppose -3*q + 3705 + 3369 = 0. Let t(w) = -19*w**3 - 2*w**2 + 7*w - 11. Let k be t(-6). Let l = k - q. Is l a prime number?
True
Let v = -1114169 - -2265898. Is v a prime number?
True
Suppose -24*i + 8498885 = -9738068 - 6468383. Is i composite?
True
Let g(v) = 10885*v - 702. Is g(83) a prime number?
True
Is (45 + 36912)*2/6 a composite number?
True
Suppose 0*h = 5*h - 3*w + 14784, 2*h - 4*w + 5922 = 0. Let j = h - -8768. Is j a composite number?
False
Suppose -10*y - 3*y + 65390 = 0. Let f = -649 + y. Is f a composite number?
True
Let i(j) = j - 11. Let o be i(8). Let f = 355 + -354. Is (f + -24)/(((-12)/o)/(-52)) composite?
True
Let i = 193 + -183. Is (-4)/i + (-54637)/(-55) composite?
True
Let o be 6902/2 - 1*5. Suppose -b - o = -3*x + 4*b, 4*x = -2*b + 4586. Is x a prime number?
False
Let k(s) be the first derivative of -39*s**4/8 - 13*s**3/3 - 35*s**2/2 - 9. Let d(y) be the second derivative of k(y). Is d(-9) prime?
False
Let m(w) = 10*w - 172. Let r be m(18). Suppose -9992 = -l + r*f - 3*f, 3 = f. Is l a composite number?
False
Suppose 3751 = -8*w + 5430 + 33177. Is w composite?
False
Suppose 172512 = 80*m + 13687 - 111335. Is m a composite number?
True
Let o(i) = 1039*i**2 + 332*i + 2. Is o(9) a composite number?
False
Let x(r) = r**3 + 3*r**2 + 3. Let g be x(-3). Suppose -g*u = -0*u - 12, -2*t + 10 = 4*u. Is (-873)/(-3) - (-6)/t composite?
True
Suppose 4*q - 22*h - 1811815 = -23*h, -3*q - 6*h = -1358877. Is q composite?
False
Suppose 11*l + 548130 = 33*l. Suppose -3*i + 8*i - l = 2*o, 0 = i - o - 4986. Is i a composite number?
True
Is (-2 - 5) + (2 - -62163) composite?
True
Let b be (-1470)/(-9) + 32/(-24). Suppose -b*u = -156*u - 8886. Is u a prime number?
True
Let c be -4*-3*-3*(-2)/36. Suppose -5*g = -c*t - 64, 3*g + t = -25 + 70. Is (-2)/(44/(-30738)) + g/(-77) a prime number?
False
Let c(f) = f**3 + f**2 - 6*f + 1. Let i be c(-4). Let q(h) be the third derivative of h**5/30 + 17*h**4/24 + 17*h**3/3 - 4*h**2. Is q(i) composite?
False
Let i(r) be the first derivative of -r**6/24 - r**5/15 + r**4/8 + 2*r**3/3 - 23*r**2/2 + 12. Let w(g) be the second derivative of i(g). Is w(-6) prime?
False
Suppose 0 = -6*q + 3*q - 0*q. Suppose 0 = 5*f + 5*a - 12725, -5*f + a + 7351 + 5374 = q. Is f prime?
False
Suppose 14*v = 31905 + 19629. Let l = 1482 + v. Is l a prime number?
False
Let i(s) = -2*s**2 - 38*s + 5. Let m be i(-19). Suppose w = 2*w - m. Suppose 0 = w*t - 2960 - 8395. Is t composite?
True
Suppose -71*r = 2270462 - 12072031 - 11956878. Is r composite?
False
Let c(p) = -79622*p + 4407. Is c(-14) a prime number?
False
Suppose 11*p + 4*g - 30997 = 6*p, -3*g + 9 = 0. Is p a composite number?
False
Suppose 28*s = 20*s + 21168. Suppose -4800 - s = -6*l. Is l a composite number?
True
Let a = -158 - -152. Is a/(-18)*11391*1 prime?
True
Let j(b) = -191*b - 155 - 8 - 30 - 55. Is j(-17) prime?
True
Suppose 4*o - 182648 = -4*p, -6 = -325*p + 323*p. Is o composite?
False
Let w(v) = -46259*v - 1287. Is w(-14) a prime number?
True
Let v(x) = 2*x**3 - 39*x**2 - 114*x + 109. Is v(46) a composite number?
True
Suppose 45*r - 2462869 + 185915 = 22*r. Is r a prime number?
False
Let w(i) be the first derivative of -i**3/3 + 11*i**2 - 43*i + 35. Let p be w(20). Is ((-419)/p)/((-17)/(-51)) prime?
True
Let i(g) = -g**2 + 21*g - 18. Let y be i(20). Let t(o) = 158*o**3 - 3*o**2 + o - 2. Let p be t(y). Suppose p = 5*u - 1473. Is u composite?
True
Let w(l) = 66*l**3 + 46*l**2 - 13*l - 1. Is w(4) composite?
True
Suppose 15*l + 6 = 13*l, -2*l - 135851 = -5*w. Let h = 38504 - w. Is h composite?
True
Let j(u) = -2*u**3 + 93 - 91 - 3*u**2 - u**2. Let g be j(-2). Suppose 0 = -3*t - 5*o + 1481, -3*t = g*o + 2*o - 1483. Is t a composite number?
True
Let z = 896147 - 431454. Is z a prime number?
False
Suppose 2537*h = 5*n + 2536*h - 4517343, -5*h = -2*n + 1806974. Is n a prime number?
False
Suppose 14*q + 6 = 6. Suppose q*l + 2*l = -4*x + 1094, 2*x - 1661 = -3*l. Is l composite?
False
Let c(x) = -184*x**3 + 7*x**2 + 46*x + 57. Is c(-8) prime?
False
Suppose k - 3*k - 13 = -3*w, -2*w + 2*k + 8 = 0. Suppose 2*t + 3*x = 5*t - 21, x = -w*t + 5. Suppose -l - 2 = l, t*l = -4*a + 7130. Is a a prime number?
True
Let x = -11 - -14. Suppose -x*i = 2*i - 4345. Suppose h - i = -3*h - 5*s, 4*h = -s + 849. Is h prime?
True
Let i(a) be the second derivative of -49*a**3/2 + 22*a**2 - 150*a. Is i(-10) a prime number?
False
Suppose 1590022 = 5*q + 3*b - 42633, 3*b - 979593 = -3*q. Is q prime?
False
Suppose -4*o + p - 8 + 5 = 0, o - 2*p + 6 = 0. Suppose -5*h - 6*x + 4*x = -4445, -2*x + 10 = o. Is h a prime number?
True
Let y(o) = -o**2 + 4*o + 21. Let p be y(-3). Suppose 0 = -2*b - 4*j + j + 154, 3*j + 12 = p. Is b prime?
True
Let f(a) be the third derivative of -a**6/120 - a**5/10 - 7*a**4/24 + 50*a**2. Let s be f(-4). Is (11740/6)/((-18)/(-27)) - s composite?
False
Suppose 0 = 3*s - 9*s + 4686. Let k be (s/(-2))/((-5)/50). Suppose -k = 6*l - 11*l. Is l a prime number?
False
Let s be 2913/(-2)*16/(-9)*-51. Is (-7)/3 + s/(-51) a prime number?
False
Let x(q) be the third derivative of -49*q**6/30 + 11*q**5/60 + 29*q**4/24 + q**3/2 - 8*q**2 + 8*q. Is x(-7) prime?
True
Let h(k) = -9*k**2 - 1. Let t be h(-1). Let w(g) = g**2 + 13*g + 9. Let b(m) = -2*m**2 - 14*m - 11. Let p(j) = -2*b(j) - 3*w(j). Is p(t) composite?
True
Let f = -65 + 105. Suppose -39*d - 6284 = -f*d. Suppose -d = -4*a - 3*r, 0*a + r = -3*a + 4718. Is a composite?
True
Suppose 12 = -4*o, -25*r = -29*r + 3*o + 2500981. Is r prime?
False
Suppose -131670 = 59*l - 1336568. Is l a prime number?
False
Let j = -3410 - -3416. Let d(u) = 93*u**3 + 2*u**2 + 4*u + 1. Let x be d(3). Is j/12 + 2/4 + x composite?
False
Suppose 4*y = -3*n + 31379, -3*y + 2*n - 12442 + 35972 = 0. Suppose -s + d - 1586 = 0, 4*d - 87 = 5*s + y. Let v = -898 - s. Is v composite?
True
Let n(x) = 2*x**2 + 15*x + 15. Let v be n(-8). Let z(a) = -5*a + 8 + 19 - 7*a - v*a. Is z(-8) prime?
True
Let r(h) = -15*h**3 + h**2 + 7*h - 6. Let t be r(4). Suppose -3*b - 14 = -2. Is b/((-16)/t)*(-11 - -1) composite?
True
Let p(b) = 47*b**2 - 29*b + 165. Let k be p(13). Is -1*34/(-323) + k/19 prime?
False
Let n be -1 - (-7 - -3) - (1 - -91). Let b = -104 - n. Let j = b + 292. Is j composite?
False
Let t = 380 - 385. Let b(c) = -c**3 + 2*c**2 - 4*c - 16. Is b(t) a prime number?
True
Let o = -27 - -29. Suppose -4*z - 20 = -o*f, -2*z = 3 + 3. Is (-5)/10*-834 - f a composite number?
True
Let f(a) = -a**2 + a - 3. Let b(u) = 2*u**2 - 2*u + 5. Let w(t) = 3*b(t) + 5*f(t). Let x(i) = 4*i**2 - 4*i - 9. Let z(n) = -2*w(n) + x(n). Is z(-13) composite?
True
Suppose -8*q = -5*q - 3. Suppose -5*j - q = -16. Suppose -72 - 66 = -j*o. Is o prime?
False
Let h = -28301 + 43312. Suppose -9*z - 64016 = -h. Is z/(-12) - 2/(-8) a prime number?
False
Suppose -3*d = 15, 4*h + h 