Suppose 3*b + 0*b - 2*s - 2037 = 0, 0 = s + d. Is b prime?
True
Let b be (-10)/(-45)*-3*(-52 - -1). Suppose b = y - 253. Is y composite?
True
Let l(w) = 19529*w**2 + 4*w + 6. Is l(-1) prime?
True
Let i = -26 + 47. Let f = i + -19. Is (f - 4)*(-6890)/20 prime?
False
Let w be ((-8)/24)/((-2)/(-114)). Let o = w - -14. Let n(k) = -k**3 + 3*k - 1. Is n(o) a composite number?
False
Suppose -3*c + 5*l + 44 = 0, l = 5*c - 4*l - 80. Suppose -x = -2*x - c. Let b = -5 - x. Is b prime?
True
Let t be (-2 + 7*72)*44/22. Suppose 0 = -g - 3*g + 3*r + 799, t = 5*g - 2*r. Is g composite?
True
Let w = 15 - 13. Suppose -2*r = -4*v + 134, 175 = 5*v + w*r + 3*r. Let g = v + 331. Is g prime?
False
Let k(i) = -i**3 - 5*i**2 + i + 15479. Is k(0) a prime number?
False
Suppose 2*v - 165067 = -3*w, 3*w + 5*v - 222376 = -57303. Is w prime?
True
Suppose -l + 1669 + 2572 = 0. Is l a prime number?
True
Let j = 10 - 7. Suppose 0*a = j*a - 249. Suppose 0 = -n + 6*n - 5*q - 110, -5*n - 4*q + a = 0. Is n a composite number?
False
Suppose 3*t = 4*m - 13625, -3*m - t = -2918 - 7304. Is m prime?
True
Let a(g) be the third derivative of 161*g**5/30 - g**4/6 + g**3/2 + 24*g**2. Is a(1) prime?
False
Let q(v) = v**3 + 10*v**2 + 2. Let y be q(-10). Is 1 - (-220 - 4)*y a prime number?
True
Let n(l) be the third derivative of l**6/40 + l**5/30 - l**4/24 + l**3/6 + l**2. Let t be n(3). Suppose -t = 11*h - 12*h. Is h a prime number?
True
Suppose -19*h + 14*h + 15 = 0. Suppose -2*z - 2710 = -5*y + 3*z, -h*y - 2*z = -1621. Is y a prime number?
True
Suppose -4*d + 4 = -4. Let j(f) = 81*f**2 - 2*f**2 + d - 1. Is j(-2) prime?
True
Let w = 4152 - 2713. Is w a composite number?
False
Let s(u) = -13*u**3 + 4*u**2 - 6*u + 2. Let m be s(-5). Suppose -p + m = 6*p. Is p composite?
False
Let o(z) = 4 - 7*z - 3 + 0 - 2. Let k be o(-8). Suppose -371 + k = -4*v. Is v composite?
False
Let z(s) = 203*s - 134. Let t(q) = -102*q + 67. Let r(l) = -7*t(l) - 3*z(l). Is r(20) a prime number?
False
Let n = 18 + -12. Let z(k) = -k + 8. Let q be z(n). Suppose -3*x + 39 = 5*r, 0 = -3*r + 4*x + q + 4. Is r prime?
False
Let c(s) = 3*s**2 - 9*s + 3. Suppose -k = -0*k - 20. Suppose 2*q = z + 10, q + q + 4*z = k. Is c(q) a prime number?
False
Suppose -3*b + 5*h = 1379, -4*b + h - 1860 = 5*h. Let a = -204 - b. Suppose -g - 239 = -i - 4*g, -i = -2*g - a. Is i a prime number?
True
Let s = -9276 - -18685. Is s prime?
False
Let a be (-1 + -1 + 12)*-1. Let k(y) = -y**3 + 46*y**2 + 44*y + 136. Let g be k(47). Is -1 + 250 + a/g prime?
True
Let x(m) = 7*m + 5. Let g = -5 + 3. Let n be x(g). Is (-852)/n*(-9)/(-6) prime?
False
Let f = -13446 - -23311. Is f composite?
True
Suppose 3*y + 14 = 4*y. Suppose -x - l = -16 - y, 2*x - 3*l - 80 = 0. Is x a prime number?
False
Let b = 8 + -7. Let a = 6 - b. Suppose 0 = -a*w + 11 + 84. Is w a prime number?
True
Suppose 2633 + 1791 = 2*o. Suppose 6*d - o = 4*d. Suppose 2*y + 3*f = 445, 5*y + f + 0*f - d = 0. Is y a prime number?
False
Let r(w) = 11*w**2 + 4*w - 5. Let u(k) = k**2 - 1. Let h(a) = r(a) - 2*u(a). Let s be h(4). Let i = s + -98. Is i a composite number?
False
Is (-1570)/25*50/(-4) a prime number?
False
Let f be (-4 - -177) + (-2)/(-1). Suppose -5*j + 1280 = -f. Is j prime?
False
Let v = -11812 + 22136. Suppose 0*u + d - 12893 = -5*u, -4*u + 4*d = -v. Is u composite?
False
Suppose 3*z - 8*v = -7*v + 28466, -z - 4*v = -9493. Is z a composite number?
True
Is (-14)/42 + (-607)/(-3) composite?
True
Let g = 9468 - 5437. Suppose -4*b - 327 = -g. Let o = -295 + b. Is o composite?
False
Let d(h) = 230*h**2 - 17*h - 78. Is d(-13) composite?
True
Let l = -5 + 8. Suppose -2*g - 6 = -4*y + 6, -3*g = -l*y + 6. Suppose 3*s + 850 = 4*k, -2*s + y*s + 848 = 4*k. Is k prime?
True
Let a = 43884 - 27013. Is a prime?
True
Let v be 65/20*(-1 + -3). Let b = 54 - v. Is b a composite number?
False
Let j be (-43712)/(-6) + (2 - 28/12). Suppose -j = -5*w + 2*c, 5*w - c = -0*c + 7290. Is w composite?
False
Suppose 0 = -4*j + 4*n + 20, -n = 3*j - 0*n - 3. Let b be (-18)/(-3)*1/j. Suppose 4*t - 429 = -b*o, -t + 497 = 4*o - 75. Is o a prime number?
False
Suppose -81*y + o + 27109 = -79*y, 0 = y + o - 13550. Is y a composite number?
False
Let p = 6293 - 514. Is p a composite number?
False
Let d(z) = -8*z**2 - 4*z**3 + 5*z**3 + 2 - 4 - 2 + 12*z. Let b be d(8). Suppose -3*u = u - b. Is u composite?
False
Let s be -1 - 1 - (-9 + 6). Let z(n) be the first derivative of 12*n**4 - 2*n**3/3 + n**2 - n - 9. Is z(s) composite?
False
Let o(k) = k**3 + 17*k**2 + 2*k + 17. Let g be o(-17). Let m(a) = 5*a**2 + 17*a + 15. Is m(g) prime?
True
Suppose 152*w - 155*w = -16197. Is w a prime number?
True
Let k be ((-8)/(-3))/(4/6). Suppose -h + 6*h + i = 6385, -k*i = 0. Is h composite?
False
Let j be (-1)/(-3) - 102/9. Let r = 13 + j. Suppose -2*u + r*h + 11 = -11, 11 = u - 3*h. Is u composite?
False
Let s(a) = 466*a**3 - a**2 + 2*a - 3. Let y(c) = -467*c**3 + 2*c**2 - 3*c + 3. Let x(q) = -4*s(q) - 3*y(q). Is x(-2) a composite number?
False
Let s(t) = -t - 15. Let f be s(-19). Let y(r) = 25*r - 1. Let j be y(5). Suppose -124 = -f*g + j. Is g composite?
True
Let o(a) = -a**2 + 14*a - 13. Let f be o(13). Is f/2 + (-2)/(-6)*159 composite?
False
Suppose -2*k - 8 = 0, 2*v = -5*k - 15 + 3. Suppose -9*c + v*c - 795 = 0. Let t = 338 + c. Is t prime?
True
Let m(u) = u**3 + 5*u**2 - 4*u + 9. Let j(v) = -5*v**2 + 4*v - 8. Let s(l) = 5*j(l) + 4*m(l). Let y be s(3). Let h = 124 - y. Is h composite?
False
Suppose -b - 449 = q, -229 = q - 3*b + 200. Suppose 0 = 2*j + 174 + 220. Let s = j - q. Is s composite?
True
Let f(x) = -7117*x**3 - 5*x**2 - 3*x. Is f(-1) a composite number?
True
Let x be 942/8*24/9. Suppose x = a + 63. Is a a composite number?
False
Let g = -3157 + 7146. Is g composite?
False
Let r be 4/4*-5 - 1. Let z be 999/r - 4/8. Let f = 174 - z. Is f a prime number?
False
Suppose -4 = 5*i + 1. Let x be -1130 + (0/1)/i. Is x/(-25) - (-4)/5 a composite number?
True
Let l(b) = 16*b**2 + 3*b + 8. Let o be l(-2). Is (-10314)/(-22) - ((-96)/o)/8 composite?
True
Suppose 0 = 5*l + 5*q - 82780, -9*q = 9*l - 6*q - 149022. Is l a composite number?
True
Let q(r) = -r**3 + 35*r**2 - 21*r + 83. Is q(32) a composite number?
True
Let k(p) = 2*p - 4. Let s be k(6). Suppose 7518 = -2*u + s*u. Is u prime?
False
Let z be (8/6)/(2/159). Let w = 436 - z. Suppose 0 = -5*s + 3*t + w, s - 4*t = -4*s + 325. Is s composite?
True
Suppose 0 = 5*p + c + c - 1512, -8 = 2*c. Suppose 605 = 2*a - n, 0 = a - n - 0*n - p. Is a a prime number?
False
Suppose 9*p - 84 = 15. Is p a composite number?
False
Let d(z) = 8*z**2 + 43*z - 11. Is d(6) a composite number?
True
Let b(z) = -368*z - 723. Is b(-38) prime?
False
Let s = 114 - -35. Let x(n) = n**2 - 7*n + 8. Let k be x(6). Suppose 0 = k*l - s + 55. Is l a prime number?
True
Suppose 0 = 25*z + 34*z - 58823. Is z composite?
False
Suppose -4*x = -x - 30. Suppose -x*s = -7*s - 5847. Is s composite?
False
Let p(m) = m**2 - m - 2. Let z be p(3). Suppose 374 = z*f + 78. Let v = 148 - f. Is v prime?
False
Suppose -3*u = m - 233, -2*m + u + 3*u + 476 = 0. Let p = -165 + m. Let y = 136 - p. Is y a composite number?
True
Suppose -5*r = -0*r. Suppose r*n = 3*n + 6. Let a(i) = 53*i**2 - 2*i + 1. Is a(n) composite?
True
Let y(a) be the first derivative of 5*a**2 + 21*a - 1. Is y(17) a prime number?
True
Suppose -3*t = -0*h + 3*h + 303, 16 = 4*h. Is 14/t - 7534/(-30) a prime number?
True
Suppose 3*p = 15 + 15. Let u(t) = 39*t - 2. Let f be u(p). Let a = f - 197. Is a composite?
False
Is 1621564/(-174)*(-3)/2 composite?
True
Suppose -4*y = -2*l + 3861 + 2079, -2*y + 8 = 0. Is l + 2 - (1 - 2) a composite number?
True
Let d be (8 - 63/7)*194/(-2). Suppose -x - 2*x + 54 = 0. Let b = x + d. Is b prime?
False
Suppose -14*d + 56746 = -10888. Is d composite?
False
Let n(v) = -v**3 + 6*v. Suppose 25 = 6*m - m. Suppose -m*c - 22 - 3 = 0. Is n(c) prime?
False
Let o(z) = 31*z + 29485. Is o(0) a prime number?
False
Suppose -4*h = 0, -4*c + 33 - 9 = -3*h. Is (-94)/c*(-14 + 5) a composite number?
True
Suppose 2*r = 8*p - 4*p - 18, r - 11 = -2*p. Let s be (-3)/(r*4/(-28)). Suppose 0 = -3*t + 2*t + s. Is t composite?
True
Suppose o + 2*x - 8 = 0, 2*o - 4*x = 5 + 3. Suppose -5*p - o + 1 = 0. Is (6 - 4 - 1339)*p a prime number?
False
Let q be (1/(-4))/(3