- (-1 - (4 - 3)). Suppose -3*y + 5*k + v + 183 = 0, 3*y - 3247 = -4*k. Is y prime?
False
Let k(i) = 12886*i**2 + 217*i + 17. Is k(4) prime?
True
Suppose 6*u + 7*u - 52 = 0. Suppose b = 2*i - 10414, -i + 3*b + 26033 = u*i. Is i composite?
False
Let a = 54 - -15. Let r = 67 - a. Is ((-11)/4)/(r/1192) a prime number?
False
Suppose 0 = -5*n - 5*v + 205, -2*n - 4*v = -5*n + 109. Let l = n + -37. Suppose 3*q - t = -5*t + 16161, -16143 = -3*q + l*t. Is q a prime number?
False
Suppose -25 = -612*k + 617*k, 4*p - 53821 = -3*k. Is p prime?
False
Suppose 0 = 4*m + 5*y - 568, y - 426 = -3*m + 3*y. Let u = 261 - m. Suppose -5*k + 570 = 5*q, -5*k + 2*q = -6*k + u. Is k prime?
True
Suppose 200845 = -20*v + 587285. Is v prime?
False
Let s = 55265 - -24913. Suppose 17*x - 6131 = s. Is x a prime number?
True
Let a = -2 - -2. Suppose 5549 = c - 5*o + 3*o, 11054 = 2*c + 7*o. Suppose c = -a*x + 3*x. Is x a prime number?
True
Let k = 188762 + 52629. Is k a composite number?
False
Suppose 2*h - 5 = x, h - 28*x + 30*x - 15 = 0. Suppose -3*l = h*q - 1366 - 247, 5*q + 2174 = 4*l. Is l a prime number?
True
Let k(r) = 4*r + 80. Let n be k(-19). Suppose 2*u + 669 = s + n*u, -5*u = 10. Is s composite?
False
Let t(j) be the first derivative of -11 + 15*j**3 - 7*j + 4*j**2 + 14*j**3 + 8*j. Is t(-4) composite?
False
Let y(m) = -m**3 - 6*m**2 - 4*m + 3. Let w be y(-5). Let v(x) = 64*x - 1598. Let o be v(25). Is (w - -1)*o*1118/(-4) a prime number?
False
Suppose -16859 = -22*r + 17307. Let o = r - -2228. Is o composite?
True
Let i be -4 - 7/(-2) - 165095/(-14). Let s(u) = -296*u**2 + 5*u. Let y be s(5). Let x = i + y. Is x composite?
True
Suppose 81*t + t - 88 = 76. Let y be (4/(-10))/(2/(-10)). Suppose -2814 = -y*l + 4*k, -2*k + 0*k = t*l - 2790. Is l a prime number?
True
Let g(j) = -j**3 - 3*j**2 - 2*j - 14. Let o be g(-4). Let q(z) = 68*z - 87. Is q(o) a prime number?
True
Let o = 2094387 - 1191604. Is o a composite number?
True
Let r(j) = j**2 + 7*j + 13. Let g be r(-2). Suppose -g = -l + 54. Suppose 3*a + l - 1068 = 0. Is a a prime number?
True
Suppose -3*p + 1254936 = 4*t, -5*p = -t - 0*t + 313757. Is t a composite number?
True
Suppose 0 = 2*y + 4*d - 79394 - 130312, y + 3*d - 104849 = 0. Is y a prime number?
False
Let a(m) = -561*m**2 + 57*m - 15. Let x(k) = k**2 + 1. Let d(j) = -a(j) + x(j). Is d(5) a composite number?
False
Suppose 2*z = 3*s + 2*s - 29960, z = 4*s - 23968. Suppose 185*r - 2673 = 1027. Suppose 0 = r*n - 12*n - s. Is n a composite number?
True
Let r = 151383 - -93800. Is r composite?
False
Let c(v) = 21*v**2 - 13*v - 9. Let p(b) = -21*b**2 + 12*b + 9. Let z(s) = -3*c(s) - 4*p(s). Let i be z(-6). Suppose 0 = -o + 7 - 3, -o + i = j. Is j composite?
False
Let m = 63192 - 32373. Let x = 43808 - m. Is x a composite number?
True
Suppose 338*y = 337*y. Suppose 3*a - 17834 - 1387 = y. Is a a prime number?
False
Let m(g) = g**2 + 7*g + 13. Let v be m(-6). Suppose 9*j = v*j + 4. Is j - (-1164 + 9/3) a composite number?
False
Let n be -1 - ((-16)/28 - (-90)/(-14)). Suppose -5*p + 8*p + n = 0. Let h(o) = -14*o - 2. Is h(p) a composite number?
True
Let a(s) = -s**2 + s. Let d be a(4). Let o(c) be the third derivative of c**5/6 + c**4/2 - 13*c**3/6 + 49*c**2. Is o(d) a prime number?
True
Let l be (-406)/(-3) - 2/6. Suppose d - 246 = 2*d + 2*d. Let s = d + l. Is s prime?
True
Suppose -g = 3*s - 103750, g - 90768 = -2*s + 12979. Is g prime?
False
Suppose 31*m - 49*m = -28535742. Is m a prime number?
True
Suppose -2541010 - 39710 = -120*x. Is x a composite number?
True
Let w(k) = -k**2 - 5*k - 9. Let x be w(-9). Let h = x - 2260. Let l = 3516 + h. Is l a composite number?
True
Suppose -q = -2*j + 4*q - 1631, -2*j - 5*q - 1581 = 0. Let n = -199 - j. Suppose b + n = 2*r - b, 4*b = -16. Is r a prime number?
False
Suppose -15 + 25 = 5*v. Suppose -85150 = -2*z - i + 27393, v*z - i = 112549. Is z composite?
True
Let s(g) = 186*g - 59. Suppose 18*c + 3*c = 252. Is s(c) a composite number?
True
Let s(l) = -162*l**2 + 196*l**2 - 79*l**3 + 80*l**3 + 228 + 32*l. Is s(-31) a composite number?
True
Let s(m) = m**3 + 8*m**2 - 11*m - 2. Let r be s(-9). Let y be (r + -18)/(2/2). Is ((-1291)/1)/(2/y) prime?
True
Let j = -846 - -853. Let f(i) be the first derivative of 5*i**4/4 + i**3/3 + i**2 + 5*i - 4. Is f(j) composite?
False
Suppose -3*d = m + 45549, 5*m - 3*d = 8*m + 136641. Is (m/9)/(26/(-3) - -8) prime?
True
Is (((-748)/(-77))/17)/(4/602686) composite?
True
Suppose -10*g + 1771316 = -q, q - 3*q = 12. Is g prime?
True
Suppose -7406 = -2*c + 428. Suppose c - 1135 = 2*t + 4*q, 0 = 4*t + 5*q - 5549. Is t composite?
False
Let n(k) = 2490*k**2 - 2*k - 145. Is n(9) a composite number?
True
Let i(s) = s**2 - 4*s - 22. Let r be 15 - (3 - 2) - -2. Suppose r*b = 13*b - 51. Is i(b) a prime number?
False
Let o(j) = 35 - 76*j**2 + 112*j - 203*j + 104*j. Let y(w) = 38*w**2 - 6*w - 18. Let t(i) = -3*o(i) - 5*y(i). Is t(-14) a composite number?
False
Let q = 403686 - 193499. Is q a composite number?
False
Let c(v) = 8*v**3 + 27*v**2 + 155*v + 27. Let m be c(-25). Is (-530)/80 - -7 - m/8 composite?
False
Suppose 0 = -4*m + 20, 31687 = 3*j - 0*m + 2*m. Is j a composite number?
False
Let s(u) = -5*u + 1087. Let o(f) = f - 4*f**2 - f**3 + 13*f + 7*f**2 + 36 + 4*f**2. Let i be o(9). Is s(i) prime?
True
Let w(u) be the third derivative of 2*u**6/15 - 13*u**5/120 - 37*u**4/24 + 13*u**3/3 - 7*u**2. Let v(z) be the first derivative of w(z). Is v(-6) prime?
False
Let s = 620571 - 380020. Is s a composite number?
False
Suppose 0 = 3*r - 2*n - 64891, -r - r + 43267 = 5*n. Is r a composite number?
True
Let o(i) = -1159*i + 34. Let n(u) = -u**3 - 43*u**2 - 42*u - 7. Let l be n(-42). Is o(l) a composite number?
False
Suppose -21*i + 8 = -22*i. Let t be 2561 - (3/5 + i/5). Let d = t - 1031. Is d a prime number?
True
Let z(q) = 38*q**2 + q + 7. Let x(y) = y**3 + 18*y**2 + 18*y + 23. Let m be x(-17). Let w be 3/(-5 + m) - 9. Is z(w) composite?
True
Let i = 15 - 8. Suppose i*z = -5*z. Suppose -8*w + 4114 + 934 = z. Is w prime?
True
Let l(n) = 173*n**3 - 8*n**2 + 116*n + 32. Is l(7) a prime number?
True
Let i = -22 + -20. Let k = i + 53. Suppose -7*d = -k*d + 7624. Is d composite?
True
Let s = -231 + 742. Suppose 0 = 3*n + s - 133. Is (22/(-6))/(6/n) composite?
True
Suppose c - 20 = -2*b + 2*c, 5*c = -b - 1. Suppose 0 = -8*d - b - 7. Is d/18 - (-105728)/126 prime?
True
Let d(b) = 67619*b**2 + 330*b - 980. Is d(3) prime?
True
Suppose 2*x = -j + 699, -5*j + 1800 = 5*x + 60. Let c = -206 + x. Let r = c - 12. Is r a composite number?
True
Suppose 3*o + 7 = 4*n, 4*n + 22 = -5*o + 53. Suppose 4*j - f = 53, -n*f + 65 = 4*j - f. Suppose 0 = -j*s + 9849 + 665. Is s prime?
True
Let v(y) = -y**3 + 10*y**2 - 7*y - 13. Let f be v(9). Suppose k - 2*u - 23811 = 0, 0*u + 119035 = f*k - 5*u. Is k a prime number?
False
Let i(p) = 4825*p**2 - 284*p + 854. Is i(3) a composite number?
False
Suppose 0 = s + 3*d - 5760, -5*d + 18716 = 4*s - 4310. Suppose 2*n - s = -n. Is (n/4)/1*(-2 + 4) a composite number?
True
Let s(a) = 4048*a**3 - a + 2. Suppose -3*g + 74 - 71 = 0. Is s(g) a composite number?
False
Suppose 217 = -2*g + 1711. Let l = 1321 - g. Is (l/(-5))/((-34)/85) a composite number?
True
Let r(a) = 2*a**2 - 3*a + 1214. Suppose 0 = 10*x - 11*x - 11*x. Is r(x) composite?
True
Let o(d) = -d**2 - 7*d - 46. Let c be o(-9). Let r = c - -63. Is (r - -4)*1471/3 a prime number?
True
Let g = -21650 - -104076. Is g prime?
False
Is (-469492)/(-9) + 380/1710 a composite number?
True
Let z(q) = 14673*q - 1775. Is z(14) a prime number?
False
Suppose 416*c - 721*c + 121407385 = 0. Is c a composite number?
True
Let d(k) = 11*k**3 + 23*k**2 - 37*k - 1. Let s(o) = 31*o**3 + 69*o**2 - 113*o - 4. Let u(p) = -17*d(p) + 6*s(p). Is u(12) a composite number?
True
Let v(d) = 9*d + 23. Let s be v(-2). Suppose 4*z + s*g = 41443, 20*g = -2*z + 16*g + 20726. Is z composite?
False
Let q(a) = -40*a - 18. Let b be q(-10). Suppose 3*f = -b - 152. Is (6 - 7)*(f + -1) a composite number?
False
Suppose -296*u + 918*u + 142*u - 702896044 = 0. Is u composite?
False
Is 125/50*(45982 + 4) composite?
True
Let a(n) = 46 + 174 - n**2 + n**3 + 79. Is a(0) composite?
True
Suppose -8*a - 6 = 10. Is (30/(-15))/(a/2741) prime?
True
Let p = 291439 + -147794. Is p a prime number?