10*a - 135814 - 13516 = 0. Is a prime?
False
Let p(n) = 28*n**3 - 33*n**2 + 19*n + 177. Is p(31) prime?
False
Let n(p) = 7*p**3 - 6*p**2 + 3*p - 9. Let o be (-1)/((-3)/(-14)) + 14/21. Let i be 3 + (-3 - 16/o). Is n(i) a prime number?
False
Let y(v) = 44*v - 47. Let r(b) = -b**2 + b + 15. Let s = 0 - 0. Let k be r(s). Is y(k) a prime number?
True
Let u(g) = -g**3 + 14*g**2 + 33*g - 13. Let y be u(16). Let d = -11 + 13. Suppose 0 = -q - 4, y*r + 0*q + d*q - 2011 = 0. Is r a prime number?
True
Suppose -9*h = -123 - 75. Suppose 7*l - 50 = -h. Is -4 + 617 + (4 - l) composite?
False
Suppose -15 = 5*n, -3*n + 97 = 4*m - 6*n. Suppose 5*p = -m - 8. Is (-469)/(-3) + (5 - (-26)/p) prime?
True
Let c(b) = -59717*b**3 - b**2 - b. Let s be c(-1). Suppose 4*r - 35847 = -3*n + r, 2*r + s = 5*n. Is n prime?
False
Let m(f) = 41*f**3 - f**2 + 44*f - 9. Is m(5) composite?
True
Suppose 14*j - 11*j = 129. Suppose -13*g = -j*g + 113790. Is g a prime number?
True
Let j = -43 - -45. Suppose 5*m - w = -6*w + 15, j*w = m. Is 1*(-6595)/((-10)/m) prime?
True
Let s(j) = j**2 + 9*j - 43. Let t be s(-14). Suppose t*r - 31*r = -580. Is r a composite number?
True
Let p = 5036 + 1401. Is p a composite number?
True
Let n = -302 + 320. Let w(q) = 44*q + 87. Is w(n) composite?
True
Is (-861)/(-1435) - 5653442/(-5) prime?
False
Let o(w) be the third derivative of 26*w**5/3 - w**4/8 - w**3/3 + 42*w**2. Is o(-1) a composite number?
False
Let d(h) = -h**3 + 65*h**2 + 279*h - 73. Is d(66) composite?
True
Let p = -5380 - -9808. Suppose 7*o = 3*o + p. Suppose 2*w = 5*x + o, 4*w - x = 4*x + 2189. Is w composite?
False
Suppose -a - 5*w = -5 - 17, -14 = -a - 3*w. Suppose 2*t - 2314 = -a*y + 6*t, 3*y - t - 3491 = 0. Is y + (0 - 4 - 0)/2 a prime number?
True
Suppose 17 = 5*d + h, 4*d - 5*d = 3*h - 9. Suppose d*b - b - 3*x = 49, -4*b + 4*x + 92 = 0. Is 1*17*1*(b - -9) composite?
True
Suppose 2*p = -2*l + 47436, 66*p - 70*p + 94871 = 5*l. Is p composite?
False
Suppose -3*p + 2*i - 456 = 0, i + 323 = -4*p - 296. Suppose -4*j = 4*n - 1840, 4*n - 2033 = -2*j - 187. Let h = p + n. Is h a prime number?
False
Let t = -777 - -785. Suppose 0*l + t*l = 43448. Is l a composite number?
False
Let s = 7131 + -3994. Let b = s + -558. Is b composite?
False
Suppose 0 = 2*i - 2*n - 556 + 112, i - 224 = -n. Let c be (((-2)/1)/(-2))/(9/45). Suppose -h - 2*k + 470 = h, -c*k = -h + i. Is h composite?
False
Let c = -494 - -497. Suppose c*t + 1643 = a, a = -a + t + 3306. Is a a composite number?
True
Suppose 26*v - 238 = 9*v. Suppose v*h + 3*p - 5429 = 9*h, -5*p = 10. Is h a prime number?
True
Let d = 70 + -65. Suppose -5*r + 2*r = -5*j, 0 = r + d*j. Suppose -w - w + 1778 = -2*b, r = 5*b. Is w prime?
False
Let n = -206290 - -1244057. Is n prime?
True
Let p be (-150)/(-45)*1*-21. Is (-9957*(-1)/2)/((-105)/p) prime?
True
Let y(g) = 41*g + 33. Let q(x) = -x + 6. Let t be q(2). Suppose -2*r - 28 = -3*o - t*r, 2*r - 8 = -o. Is y(o) a composite number?
False
Let n(m) = -m**2 - 13*m + 4. Let b be n(-13). Let i be (2/(b/6))/(1/(-2)). Let g(p) = -6*p**3 - 12*p**2 - 6*p - 5. Is g(i) a composite number?
True
Is -1*(20/(-6)*36/30 - 242274) composite?
True
Let z = 1008616 + -628025. Is z a composite number?
False
Let i be (-18)/4*(4 - 28/6). Suppose f - i*y - 3107 = -7*y, 3*f - 2*y - 9307 = 0. Is f composite?
True
Let j = -335940 + 573211. Is j composite?
False
Suppose x = 2*m - 743239, 686*m - 689*m = -3*x - 1114866. Is m a composite number?
False
Let k(n) = 29340*n - 2669. Is k(14) composite?
False
Let v = -761 - -6192. Suppose -v = -3*i + 3*g - 4*g, 4 = -2*g. Is i a prime number?
True
Let b = -761 - -29082. Is b prime?
False
Let o = 551 - 545. Suppose 0 = -2*p - 2*b + 21330, -o*p - b - 21342 = -8*p. Is p a composite number?
True
Let h = 6290 + -967. Is h prime?
True
Let y(q) = -78*q**3 + 21*q**2 - 36*q - 344. Is y(-15) prime?
True
Is (-11)/(55/(-13424270)) + (-55)/5 a prime number?
False
Let z(u) = 28*u**2 + 11*u + 13. Suppose 18*k + 9*k = -486. Is z(k) a composite number?
False
Let t be 264*(5 + -2 + -2). Suppose -a - t = 2*x + 859, x + 556 = 5*a. Let i = x + 974. Is i composite?
True
Let x(m) = 2860*m**2 + 8*m - 7. Let p be (15/(-12) + 1)/((-3)/12). Is x(p) prime?
True
Let f(g) = 4068*g**2 - 63*g + 754. Is f(-15) a prime number?
True
Let g = 104 - 81. Suppose 0 = 21*u - g*u + 664. Suppose 330 = v + d, v = -0*v + d + u. Is v prime?
True
Suppose -69*r - 32*r + 86201096 = -101190365. Is r prime?
True
Let s(n) = 1381*n - 10. Let w be s(13). Suppose 3*u + 0*u = w. Is u a prime number?
True
Suppose 50*u = -2*n + 47*u + 93944, -3*n + 140919 = 4*u. Is n a composite number?
True
Let u = 249307 + 18472. Is u composite?
True
Suppose -15*w = -1502275 - 298654 - 886. Is w composite?
False
Let k(w) be the first derivative of 0*w**3 + 1/4*w**4 + 2*w**2 - 18 + 1207*w. Is k(0) composite?
True
Let z(p) = p - 4. Let a be z(10). Let y(j) = -a + 437*j - 423*j + 3. Is y(5) a composite number?
False
Suppose -58*q + 1123733 + 121213 = -631180. Is q composite?
True
Suppose -4*x = 5*t - 358949 + 24781, 5*t = x - 83542. Is x a prime number?
False
Suppose 54 = -21*c + 15*c. Let k(a) = 78*a**2 + a + 24. Is k(c) composite?
True
Let y(k) = 88*k**2 - 5*k + 49. Let m be y(-14). Let u = m - 6170. Is u a prime number?
True
Suppose 95 - 30 = 5*k. Suppose -10669 = -k*v - 1400. Is v prime?
False
Suppose -4*x + 5 = -9*x, -t + 4*x = -6. Suppose l = a - 4, -t*l + 3*a - 2*a = 12. Let r(k) = -89*k - 3. Is r(l) prime?
True
Let z(p) = -5940*p - 2401. Is z(-40) composite?
False
Suppose 2*v + 13306 = -4*i + 8*i, 3*v + 19949 = -4*i. Let y = -3488 - v. Is y prime?
True
Suppose -7726 = 9*s - 53698. Let x = s + -2775. Is x prime?
True
Suppose 4*z - 2*n = 8650, 0 = z - 3*n - 2502 + 337. Suppose 0 = -a + z + 768. Let v = 5077 - a. Is v a composite number?
True
Let a(u) = 6*u - 9. Let j be a(3). Let o be (-18)/12*(-48)/j. Is (0 - 3/(-6)) + 420/o a prime number?
True
Let q = -64 - -76. Suppose t + 4*x - q = 0, 3*x = -2*t + 8 - 4. Is (t/2)/(1*6/(-6609)) a prime number?
True
Let g(u) = 72*u**2 + 7*u + 6. Let j be g(-3). Suppose -2*x - j = -q - 7*x, -x - 657 = -q. Suppose 5*o = 2*c + 3231, 2*c + c = -o + q. Is o composite?
False
Let g = -443 + 439. Let l(v) = 41*v**2 - 3*v + 3. Is l(g) a prime number?
False
Let t be 16/24*(-3174)/(-4)*1. Let m = -167 + t. Is m a prime number?
False
Suppose 0 = -358*b + 362*b - 8. Suppose b*r - 5*j - 11932 = 0, -5957 = -r + 17*j - 19*j. Is r composite?
True
Let g(h) = -2*h**3 - 23*h**2 + 37*h - 15. Is g(-25) prime?
False
Suppose 2*o - 19 = 3. Suppose -5*p = -7*s + o*s - 1556, 0 = -2*s - 5*p + 778. Is s a composite number?
False
Suppose -56*a + 30*a + 390 = 0. Is (-13)/2*15/(a/(-58)) a prime number?
False
Let b = -153 + 5884. Is b a composite number?
True
Suppose -131*n + 5*k + 69832 = -127*n, -4*n = 2*k - 69804. Is n a prime number?
False
Let t be (-8 - 12/(-3)) + 6. Let j = 0 + t. Is j/8 - (-1593)/12 a composite number?
True
Is (-10555380)/(-63) - 7/98*-4 prime?
False
Suppose 348 = 5*i - i. Suppose -90*o + i*o = -11361. Is o a prime number?
False
Let o(t) = t**3 + 3*t**2 + 2. Let j be o(-3). Suppose 0 = -5*r + j*a + 720 - 4026, 4*r + 2652 = -2*a. Let v = -369 - r. Is v a composite number?
False
Suppose 25*u = 40797 + 33078. Is 4*(-7)/(-14) + u a prime number?
True
Let j(s) = -s**2 - 9*s + 6. Let d be j(-9). Let v be 10*1 - (d + -9). Suppose 26109 = v*r - 4*r. Is r composite?
True
Let i be (-156*19)/(46145/(-6589) - -7). Is 6/10 - i/(-195) a prime number?
False
Let b be 34 - ((-9)/12 - 4/16). Suppose b = 5*o + 5*q, -2*o + 2*q = -6*o + 20. Suppose a - 252 = 3*g - 0*g, o*a - 4*g - 751 = 0. Is a prime?
False
Let d(t) = -2*t**3 - 42*t**2 + 43*t - 12. Let h(j) = -3*j - 1. Let w(n) = -d(n) - h(n). Is w(-19) prime?
False
Let u(y) = 68*y**2 - 929*y + 15. Let p be u(13). Suppose -3*f - f - 1204 = 0. Let x = f - p. Is x a composite number?
False
Let r(o) = -4101*o - 221. Let z be r(-6). Let x = z - 13980. Is x prime?
False
Suppose -370*j = -231*j - 36979421. Is j composite?
True
Suppose 13 = -6*q + 7. Is (-5048)/(-8) - (0 - 2*q) a composite number?
True
Suppose 5*b - 5*l = 2684207 + 729423, 3*b = -4*l + 2048157. Is b composite?
False
Let s = -22544 + 39775. Is s composite?
False
Suppose 188*m = 2101477 + 5824039. Is m a prime number?
True
Let b(g) = 81757