er?
False
Let w(t) = 570*t + 158. Let r(d) = -190*d - 53. Let b(m) = -11*r(m) - 4*w(m). Is b(-6) a prime number?
True
Suppose 3*g - 20 = -5*y - 3, -5*g + 19 = -y. Suppose 3*m - g = 2*l + 11, 3*m + 4*l = -3. Is m a prime number?
True
Let p(x) = 2*x**2 + 6*x + 17. Let s(d) = 2*d**3 - 21*d**2 + 10*d + 7. Let o be s(10). Is p(o) composite?
False
Let d(u) = 6*u**2 - u. Let r be d(1). Suppose -5*m + 3332 = 4*f, r*m = -2*f + 4*f - 1696. Suppose -a = -3*a + f. Is a composite?
False
Suppose -20*y + 71859 = -17*y. Is y a prime number?
False
Suppose -2*j = -4*y + 3246, -2*j - 2424 = -3*y + 3*j. Is y a composite number?
True
Let o = 12262 - 69. Is o composite?
True
Let y = 11 + -6. Suppose -t = 3*t + d + 712, -869 = y*t - 4*d. Let v = -86 - t. Is v prime?
False
Let f = 37018 - 17357. Is f prime?
True
Let d be 1 + 1 + (-4 - -9). Let i(u) = u**3 - 14*u**2 - 3*u - 6. Let x be i(d). Let q = x - -573. Is q a prime number?
False
Let v be (-7408)/(-28) + (-9)/(-21). Suppose 42 - v = -t. Is t a prime number?
True
Let r = 12762 - 4963. Is r a composite number?
True
Suppose -5*i + 3*n = -i - 15293, 5*n = 4*i - 15283. Is i composite?
True
Suppose -u = -3*z + 6869, 5*z - 2*z - 6889 = -4*u. Is z a composite number?
True
Suppose 19*i = 30*i - 65131. Is i a prime number?
False
Let p(v) = 485*v - 150. Let j be p(4). Let w(g) = -g**2 + 8*g - 1. Let a be w(7). Is (-4 - j/a)*-3 a composite number?
False
Let r = -4 - -10. Let z(a) = a. Let k(t) = -3*t**2 - 1. Let g(i) = r*z(i) - 3*k(i). Is g(-4) composite?
True
Let n = -122 - -86. Is n/(-162) + 1744/9 a composite number?
True
Suppose 4*b - 23665 + 5001 = 0. Is b composite?
True
Is (-1*(-287418)/18)/(6/18) a prime number?
True
Let b(i) = 3*i**3 + 9*i**2 - 12*i - 32. Let m be b(7). Suppose 3*k = 4*k - 5*d - 6, -2*d = 4*k + 64. Is 2/7 - m/k prime?
True
Let g(j) = -42*j**2 - 29*j**2 - 5 + 10*j + 92*j**2. Is g(-8) composite?
False
Let l = 72911 + -51234. Is l a prime number?
False
Suppose -111667 = -11*d + 1148988. Is d prime?
False
Suppose 6*x - 3*x + 10 = -f, -12 = -4*x + 5*f. Is 2*2/x - -81 composite?
False
Let x = 7 + -5. Let w(r) = -x + r - 4*r + 0*r - 3. Is w(-8) composite?
False
Let z = -818 + 1537. Is z a prime number?
True
Suppose -4*i + 15 = -5. Suppose -n - 1811 = -0*z - 2*z, -4547 = -i*z - 4*n. Is z a composite number?
False
Suppose i = -0*i + 6. Suppose i*m = 11*m - 5135. Is m prime?
False
Suppose -5*c + 4 = 2*w - 10*c, -4*c = 0. Let x(p) = 37*p**3 - 2*p**2 + 3*p - 3. Is x(w) composite?
True
Suppose 5*g + r = 2*r + 1200, -2*g + 480 = 2*r. Let m = -109 + g. Is m a prime number?
True
Let q(w) = 57*w - 68. Let l be q(17). Suppose 0*a - 1802 = -2*a + 3*d, 2*d = -a + l. Is a a composite number?
True
Let p(l) = 5*l + 10*l**2 + 4*l**2 + 2 + 0*l**2 + 0. Suppose 2*c - 4*c = 3*g + 1, 2*c = 3*g + 17. Is p(g) composite?
False
Suppose 2*c - 12 = 2*t, 5*t + 19 + 6 = 4*c. Suppose -2*o - 2*o + 5*l + 15 = 0, -4*o - 15 = c*l. Is (7 - o)*43 - 2 composite?
True
Let q = -2283 + 7289. Is q a prime number?
False
Let a(z) = z**3 + 29*z**2 + 28*z + 16. Let g be a(-28). Suppose g*d - 9104 = 8*d. Is d composite?
True
Suppose -4 - 3 = -m. Suppose -2*t - 240 = -m*t. Suppose -4*d + 172 = t. Is d a prime number?
True
Let k(c) = -c**2 - 9*c - 9. Suppose -5*o + 1 = 3*g - 3, 0 = -4*o + 20. Let s be k(g). Let a(l) = 9*l**2 + l + 3. Is a(s) a prime number?
True
Let o = 29 - 3. Let d = o - 50. Is 297/4 + 6/d a composite number?
True
Let h(q) = -3*q. Let x be h(-1). Suppose -2*p + 0*z + 2*z + 1836 = 0, 2729 = x*p + 2*z. Is p a composite number?
True
Suppose -4*p = m - 23, -4*p + 35 = 5*m - 0*p. Suppose -m*u = -1174 + 316. Let t = -77 + u. Is t a prime number?
False
Let k(a) = a**2 + 6*a + 1. Let x be k(-7). Suppose 55 = -3*i + x*i. Let o = i - -15. Is o composite?
True
Suppose 0 = -3*m + 508 - 46. Let n = -15 + m. Let p = 350 - n. Is p composite?
False
Let h(d) = -4*d**3 - 3*d**2 - 13*d + 5. Let k(a) = -3*a**3 - 2*a**2 - 13*a + 6. Let g(y) = -5*h(y) + 6*k(y). Is g(5) a composite number?
False
Let s(n) = -n - 7. Let y be s(-11). Let m(i) = 180*i**2 - 2*i - 1. Let o be m(-1). Suppose -2*l + o + 97 = -4*w, y*l = 5*w + 544. Is l composite?
False
Let q(v) = 24*v**2 + v**3 - 1 + 6 - 2*v - 25*v**2. Is q(9) composite?
True
Suppose 0 = 4*z + 5*l - 25, 5*l = -5*z - 0*l + 25. Suppose -r = -z*r + 502. Is 2/1 + (-3 - r) composite?
True
Suppose -2*c + 547 + 435 = 0. Is c a composite number?
False
Is 3/(-2)*7634*(-1)/3 prime?
False
Suppose -u + 855 = -4*i - 140, 5*i = -4*u + 4001. Suppose 0 = 5*j + 41 + u. Let o = j - -395. Is o a prime number?
False
Let l(j) = 15 - j + 6*j + j**2 - j + 2*j. Is l(7) prime?
False
Let z = -25 + 21. Let k = -2 - z. Suppose -k*x + 316 = -p - 442, 0 = -3*x - 4*p + 1115. Is x prime?
False
Is (1 - 285604/(-20)) + (-1)/5 composite?
False
Let t = 9 + 4. Let u(k) = k**3 - 3*k**2 + 14*k - 25. Is u(t) prime?
True
Suppose 0 = 5*r - 3*s - 38, 2*r - 2*s + s - 16 = 0. Let y = 104 - r. Is y a prime number?
False
Let v be 8*(9/4 + -2). Suppose -2*z + 6 = v*w, -4*z = -2*w - 10 - 8. Suppose -2*h + 584 = 4*g, -3*g + z*h - 173 = -600. Is g composite?
True
Let s(f) = 11*f**2 + 65*f + 89. Is s(-40) a prime number?
False
Let b be 38/(-4) - 6/12. Is (-2)/4 - 1065/b a composite number?
True
Let d(h) = 33*h**2 + 4*h + 11. Let n(w) = -34*w**2 - 4*w - 11. Let z(x) = 3*d(x) + 2*n(x). Is z(6) a composite number?
False
Suppose -11 = 3*c - 4*t, -3*c + 4*t = -c + 14. Let w be ((-166)/8)/(c/(-12)). Let k = w - 9. Is k a composite number?
True
Let u(w) = 1543*w**2 + 8*w - 8. Is u(1) composite?
False
Suppose -q - 2*t = -18, 3*t = 3*q + 1 - 10. Suppose 3*k + q + 1 = 0, 5*c + 4*k = 6793. Is c prime?
True
Suppose 3044 = 6*k + 662. Suppose -5*i - 4*w = -1985, i + 5*w - k = -0*i. Is i a prime number?
True
Suppose -3*g = r + 13, r + g + 3*g + 18 = 0. Is (r - 3)*(8/(-4) - 1325) a composite number?
False
Let s be -5 + 3 - -130*44. Is ((-2)/2)/((-6)/s) a prime number?
True
Let u = 19346 + 32133. Is u a composite number?
False
Suppose 1106 = -2*y + y. Let i = y + 1669. Let s = -400 + i. Is s composite?
False
Suppose 7*n - 8215 = 3748. Is n prime?
True
Is -25 + 696 - (0 - -2) a composite number?
True
Suppose 2*a - o = 1274, -a - 4*o = -3 - 616. Suppose 5*w + 4*z - a = 0, -3*w - z + 381 = -5*z. Is w a composite number?
False
Let k(m) = -3*m**3 - 2*m**2 - 2*m - 1. Let q be k(-1). Let j(i) = 21*i**2 + i - 1. Is j(q) composite?
True
Let x = 18 - 13. Suppose i + 2*f = -2*i + 773, -x*f = 2*i - 519. Is i a prime number?
True
Let j(l) = -l**3 + 5*l**2 + l. Let d be j(5). Suppose 7 = d*r - 3. Suppose r*n = -3*o + 95, 2*o - 4*o + 62 = 2*n. Is o prime?
False
Suppose -23 + 8 = -5*z. Suppose -v - 1811 = -3*m + z*v, 607 = m - 2*v. Suppose -m = -4*n + n. Is n prime?
True
Let m = 18055 + -11156. Is m prime?
True
Let b = 27 - 24. Suppose 2*i - 587 = q, -4*i - b*q + 1333 - 134 = 0. Let x = i - 85. Is x a prime number?
True
Suppose 2*c = -5*z + 301 - 26, 5*c = -z + 722. Suppose -4*p + 0*p + 4*a + 616 = 0, -c = -p + 4*a. Is p a prime number?
True
Suppose 155 = n + t, -5*n + 759 = -0*t + t. Let d = n + -100. Is d prime?
False
Let b(v) = 48*v**2 - 6. Let w be b(3). Suppose -3*z + 0*q + 2*q + w = 0, 5*q = 5*z - 710. Is z composite?
True
Suppose -2*a + 18 = 4*s, -a - 2*a - 3*s + 15 = 0. Suppose -p + a = -0*p. Let u(y) = 162*y**3 + 2*y**2 - 1. Is u(p) composite?
False
Let j(z) = z**2 - 4*z + 7. Let m = 2 + 4. Let u be j(m). Let l = 34 - u. Is l a prime number?
False
Suppose -25 = 3*b - 5*s, 6*s = 4*b + 2*s + 20. Suppose -c + 4*c - 96 = b. Suppose -c - 199 = -3*t. Is t a composite number?
True
Let d be (3 - (0 + 2))/(-1). Is 3206/12 - d/(-6) a composite number?
True
Suppose n = -2, 4*t - 1630 = -0*n + n. Suppose 6*q - t = 5*q. Is q prime?
False
Let o = -17 - -19. Suppose 0 = o*h + 507 + 73. Is (-2)/2*(h + -3) prime?
True
Suppose n + 4*n - r = 139491, 20 = 5*r. Is n composite?
True
Let g = 20 - 15. Suppose 0 = 7*m - g*m - 2*i - 2110, 4*m + 3*i = 4220. Is m a composite number?
True
Suppose 0 = -2*h - 10, -2*h + 6480 = u - 10911. Is u prime?
True
Let m = -388 + 147. Suppose 4*n = p - 0*n - 456, 3*p - 4*n - 1360 = 0. Let d = m + p. Is d a prime number?
True
Let l = 3637 + -2070. Is l composite?
False
Let o = 17067 + -9086. Is o a prime number?
False
Let s(j) = -j**2 + 6*j + 5. Let v be s(7). Let d be 0/2 - (