. Suppose -5*w + 1379 = -v*t - 4191, 5582 = 5*w - t. Is w a prime number?
True
Let g be 13319/7 + (-12)/(-42). Suppose g = 6*s - 6239. Is s a prime number?
False
Let g(k) = 18*k**3 + 21*k**2 - 31*k - 59. Is g(15) a composite number?
False
Suppose -5*j = -o - 0*o + 36673, -5*o + 4*j + 183281 = 0. Is o a prime number?
True
Let s(b) = 1578*b**2 + 8*b + 13. Let j(r) = 1578*r**2 + 9*r + 14. Let p(i) = -2*j(i) + 3*s(i). Is p(-2) a composite number?
False
Suppose 0 = 3*r + r + 72. Let y(i) be the second derivative of i**4/6 + 4*i**3 - i**2/2 - 478*i. Is y(r) prime?
False
Let j(q) = 8*q - 3. Let n be j(2). Let z(s) = -s**2 + 14*s - 9. Let p be z(n). Is -4 + (5 - p) + 446 a composite number?
False
Let h(r) = -r**3 - 11*r**2 + 17*r + 6. Let c be h(-13). Let z = 97 - c. Is 72636/52 - 4/z a prime number?
False
Suppose 5*g - 5 = -20. Is -323*3*1/g prime?
False
Let z(n) = 457*n**3 - 2*n**2 + 2*n - 3. Suppose -6*b - 4 = -16. Is z(b) a composite number?
True
Let f(h) be the first derivative of 5*h**3/3 - 9*h**2 - 48*h + 2. Suppose -226*o - 105 = -233*o. Is f(o) a composite number?
True
Suppose 0 = -12*i - 900 + 63204. Let y = -591 + i. Suppose 9*g + y = 17174. Is g a composite number?
True
Suppose -3*k + 0*k + 6 = 0. Suppose -4*b + 47 = 5*r, -r - k*b = -0*r - 13. Let y(a) = a**3 - 7*a**2 + 8*a - 9. Is y(r) a composite number?
False
Let z = -275161 - -400796. Is z a prime number?
False
Let k = -241412 - -685813. Is k composite?
False
Suppose -29 - 8 = -5*t - 4*r, 40 = 5*t + 5*r. Is (t*(-1)/3)/((-1)/1383) composite?
True
Suppose 4*r = -2*h + 116778, -h + 4*r = -43970 - 14449. Is h prime?
False
Let b(w) = 46 - 9*w - 7*w - 652*w**2 + 1719*w**2. Is b(3) composite?
False
Suppose -3*b = -3*y + 27, -3*y + 4*b = -0*b - 32. Let a(q) = -6*q - 98. Let p be a(-17). Suppose 3*d = -d + z + 280, p*d = -y*z + 260. Is d a composite number?
True
Let m be (-282)/(-22) + -3 - (-6)/33. Suppose -m*n = 35 - 135. Suppose -2723 = -n*x + 9*x. Is x prime?
False
Let m(k) = 67 + 3*k**3 + 6*k**3 - 8*k**3 + k**2. Suppose -2*x - 5*q = -q - 16, 0 = q - 4. Is m(x) composite?
False
Suppose 0 = -771*o + 763*o - 12128. Let y = o + 11629. Is y a prime number?
False
Let i be 18/(-12) + (-1)/2. Is 7802 + (-30)/12*(i + 0) a prime number?
False
Let d = 64 + -52. Suppose -54 - 66 = -d*w. Let q(s) = s**3 - 8*s**2 - 10*s - 5. Is q(w) prime?
False
Suppose 10*j + 12 = 14*j. Suppose 11*u = j*u + 38888. Is u prime?
True
Let k be (63/6)/(9/47688). Let x = k - 78425. Let p = -16152 - x. Is p prime?
True
Suppose -p + 563*i = 562*i - 48214, 3*i + 96425 = 2*p. Is p a composite number?
True
Let f = 27482 - -8082. Suppose 0 = -4*a + 2*r + f, -r - 26671 = -0*a - 3*a. Is a a prime number?
False
Is -3*((-261)/174 - 27289/6) a prime number?
True
Let i = -220244 - -320193. Is i composite?
True
Let b = -4554 - -7044. Let q = 4231 - b. Is q a composite number?
False
Suppose 0 = 4*f + 2*t + 260, 4*t - 155 = -5*f - 483. Let j be (-131296)/f - 2*1/(-4). Let o = 3530 - j. Is o prime?
False
Let d(b) = -80658*b + 2689. Is d(-6) composite?
False
Let j = -32 + 72. Suppose p - 10 = n, p + 3*n = -2*n + j. Suppose -14*g + p*g = 1559. Is g composite?
False
Let n = 5299 + -1833. Let f = -837 + n. Suppose f = 9*z - 3752. Is z composite?
False
Let k(b) = -532*b - 683. Is k(-31) composite?
False
Let u(c) = -2*c - 5. Let p be u(-4). Let r be (-3)/(30/40) + (2 - 3). Is (-4196)/(-10) + p/r prime?
True
Suppose 118463502 + 259375948 = 170*k. Is k a prime number?
False
Let a = -5846 + 11302. Suppose -5*q + a + 749 = 0. Is q a prime number?
False
Suppose 5*p + 40196 = 4*z, -10 + 18 = -2*p. Let x = z - 5999. Is x a prime number?
False
Let j = -225 - -508. Suppose v - 184 = -2*c, -2*v = 3*c + 3*v - j. Is c prime?
False
Suppose -13 = j - 5*i, 0*i + 5*i = 20. Suppose 0 = -j*h - 0*h + 3451. Is h prime?
False
Let j be (13/(-2) + -1)*(-8388)/(-27). Let n = j - -3593. Suppose -2*x + 0*x = 5*c - n, 4*x + 235 = c. Is c composite?
False
Let g = -7453 - -235922. Is g prime?
True
Let w(z) = -z**3 + 15*z**2 + 18*z + 22. Let y be w(13). Suppose 0 = -0*j + 2*j - 4*x + 618, -5*x = -20. Let f = y + j. Is f a composite number?
False
Let n(y) = -y**2 - 4*y + 4. Let c be n(-3). Suppose 2*o - 1 - c = 0. Suppose -o*q + 1972 = -720. Is q a prime number?
True
Let i(x) be the third derivative of 209*x**5/30 + 5*x**4/8 + 7*x**3/6 + 49*x**2. Is i(-4) a prime number?
False
Let p be (-4)/14 - (-15381)/7. Let k = -10723 + 9389. Let q = p + k. Is q a composite number?
False
Let k(g) = 15*g**2 - 3*g + 2 - 20*g**2 + 2*g + 7*g - g**3. Let h be k(-6). Suppose h*q + 3*s - 643 = 0, 2*q - 5*q + 966 = 5*s. Is q composite?
False
Let y(r) be the first derivative of r**2/2 - 316*r - 14. Let f be y(0). Let q = f - -494. Is q composite?
True
Suppose -388544 = -208*l + 144*l. Is l a prime number?
False
Let s(m) = -m**3 + 18*m**2 + m - 17. Let d be s(18). Is ((-2)/(d*-2))/((-13)/(-9659)) a composite number?
False
Suppose 4*y + 51 = m - 8, -229 = -5*m - 2*y. Suppose -4*s = 3*z + z + 20, 0 = -4*s + 5*z - m. Is (0 + -1033 + -1)*s/16 a composite number?
True
Is (-7)/(-1)*7711718/343 a prime number?
False
Let y = 86868 + -37559. Is y composite?
True
Let g be (-40)/(-6)*165/(-22). Is g/(-4)*(-444)/(-30) a prime number?
False
Suppose -23*o - 527 - 370 = 0. Let f(z) = z**3 + 39*z**2 - 37*z + 70. Is f(o) a prime number?
False
Suppose 4*j - h - 1 = 15, -h = 3*j - 12. Suppose -3*b - 152 = -4*m, 8*m - j*b + 38 = 9*m. Is m a prime number?
False
Let t(n) = -8*n + 419. Is t(-18) composite?
False
Suppose 8108217 = 72*w + 45*w. Is w composite?
True
Let g = -5132 + 10560. Is (1 - (-15)/(-20))*g a composite number?
True
Let i(v) = -v**3 + 2*v**2 + 4*v + 1. Let k be i(3). Suppose -k*m + 5486 = -4438. Is m a composite number?
True
Let q be (-48)/18*(-9)/(-4). Is 168/294 + q*477/(-14) composite?
True
Suppose 5*c - 3 = 2*s, -4*s - c + 15 = -8*s. Let u be (4141*s/6)/(14/(-21)). Suppose -u = -23*x + 22*x. Is x a composite number?
True
Suppose 476 = -9*l + 5660. Let v = 865 - l. Is v a composite number?
True
Let x(p) = -2*p**2 - 4*p + 68. Let s be x(6). Is 7/(s/5672)*(-22)/4 a prime number?
False
Let s(l) = -47339*l + 1659. Is s(-10) a prime number?
False
Let z(t) = -343091*t**3 + 8*t**2 - 9*t + 2. Let p be z(1). Is p/(-45) - 3 - (-14)/(-63) a prime number?
True
Let g(i) = i**3 + 4*i**2 - 3*i - 5. Let z be (-1)/(3/(10 + 5)). Let a be g(z). Is (-12785)/a*3/2*2 a prime number?
True
Let h = -3529 - -5278. Suppose -t + 2*i = -3*i - 583, 0 = -3*t + 4*i + h. Is t a composite number?
True
Let c(a) = -2*a + 29. Let t be c(13). Let n(j) = 238*j + 5 + t + 7. Is n(7) a prime number?
False
Let p be ((-23842)/(-35))/13*(-10)/(-4). Let x(b) = -41*b. Let w be x(6). Let k = p - w. Is k composite?
True
Let w be (8/(-6))/(4*(-2)/12). Suppose 5*h - 4*i - 2050 = 211, 0 = -w*h - 3*i + 886. Is h prime?
True
Is (((-34573714)/28)/49)/(((-5)/2)/5) composite?
True
Let t = -42 - -36. Let a(u) = -u**2 - 8*u - 12. Let b be a(t). Is 4362/2 + (-2 - b) prime?
True
Let j(w) = 877328*w**2 + 22*w + 21. Is j(-1) a composite number?
True
Suppose 2*c + 71362 = 3*m, 10*m - 5*c - 118935 = 5*m. Suppose 5*u = b + m, -2*u + 2*b + 9499 = 7*b. Is u composite?
True
Suppose 12 = 4*g + 4*h, -2*g - 8*h + 21 = -3*h. Is 2/g - (-924*31)/7 prime?
True
Suppose 0 = -13*y + 12379 - 3019. Suppose -2*x - 341 = -x. Let v = y + x. Is v prime?
True
Suppose -116 = 2*n + 4*m, 11*m - 7*m = -n - 58. Let i = 89 + n. Is i a composite number?
False
Let r be 8/(-10)*(10 + (-125)/10). Let u(i) = 2709*i - 17. Is u(r) a prime number?
False
Suppose -4*q = 80*r - 83*r + 704107, 704059 = 3*r + 8*q. Is r prime?
False
Suppose v = -2*v - 2*h + 1783, -5*v + 2975 = 4*h. Let o = 512 + v. Is o composite?
False
Let s(d) = d**3 + 11*d**2 + 7. Let u be s(-11). Suppose -u*p = -p. Suppose -4*r - t + 845 = 0, p = -t - 0*t + 1. Is r composite?
False
Let m be (-2 + 0)*(7 - 10 - -2). Suppose -15 = 2*h - 5*h. Suppose -2*l = -2*u + 8412, -h*u + m*u + l + 12608 = 0. Is u a composite number?
False
Let s = -4 - 6. Let r(l) = l**2 + 10*l + 2. Let d be r(s). Suppose d*y = 11*y - 4473. Is y prime?
False
Let s be 4477 + -2 + -4 + 12. Let o = s + -2664. Is o a composite number?
True
Is (30/(-20))/(-3)*53114 a prime number?
True
Let g = -951 - -963. Let m(h) = 2*h**3 + 16*h**2 - 20*h + 103. Is m(g) a prime numb