 number?
True
Let b(x) = 13*x**2 + 81*x - 17. Is b(-27) prime?
False
Let s = -10946 + 19027. Is s prime?
True
Suppose -w = -2*d + 3 + 15, -36 = -4*d + 3*w. Suppose 5*c + v - 1110 = 0, -d*c + 1100 = -4*c + 3*v. Is c a composite number?
False
Let k = 211 - 121. Suppose k = 3*p - 111. Is p prime?
True
Suppose -224*h + 230*h = 8142. Is h prime?
False
Let l(p) = -p - 9. Let x be l(-3). Let o be 4/x*99/6. Let m(d) = -d - 1. Is m(o) a prime number?
False
Let o(n) = 947*n + 16. Let y(l) = -7*l - 9. Let i be y(-2). Is o(i) a prime number?
True
Let v = 3058 - 1147. Suppose -814 = 2*h - 4*x + 866, -4*h + 2*x - 3390 = 0. Let n = v + h. Is n a composite number?
False
Let a = -4 + 13. Let f be (15/a)/(3/9). Suppose f*v + 40 = 685. Is v a prime number?
False
Suppose -5*f + 96 = -13*f. Suppose 3*u + 3*i + 239 = 2*i, -4*u + 5*i = 287. Is (-14911)/u + 2/f a composite number?
False
Suppose -8*h = -12 - 108. Is (-10)/h*-3 + 1437 a prime number?
True
Let z(m) = -121*m**3 + 2*m**2 - 11*m - 21. Is z(-2) a composite number?
False
Suppose 0 = -2*x + 7*x, -4*i + 5*x = -4348. Is i a composite number?
False
Let m be 20586/21 - 6/21. Suppose 0 = -5*i + 35 + m. Is i prime?
False
Let f(h) = -h**3 + h**2 + h - 36. Let x = 9 - 9. Let k be f(x). Is ((-2313)/k)/((-1)/(-4)) composite?
False
Suppose 0 = -2*j + 4, 4*j = -4*z + 222200 - 65428. Is z composite?
False
Let j(z) = -29*z + 16. Let f(k) be the first derivative of k**2/2 - 3. Let v(g) = -2*f(g) + j(g). Is v(-9) a composite number?
True
Let h be (-3)/15 - (-17394)/(-30). Let z be 550/(-4)*h/25. Is z/11 - (1 + -4) a prime number?
True
Suppose -26*w - 10898 = -28*w. Is w composite?
False
Let k(y) = y**3 + 3*y**2 - 4*y - 1. Let j be k(-4). Is -3*1 + (j - -4 - -82) composite?
True
Let v(y) be the third derivative of -557*y**6/120 - y**4/24 - y**3/6 - 11*y**2. Is v(-1) a composite number?
False
Is (-1073915)/(-20) - 42/56 a composite number?
True
Suppose 0 = 2*j + 3*g - 12586, 5*g + 12618 = -j + 3*j. Is j a prime number?
True
Let z = 980 + -469. Let g = z + -328. Is g a prime number?
False
Let s = 3828 - 2049. Is s composite?
True
Let c = -4 - 10. Let q(m) = m + 7. Let g be q(c). Let n(x) = 2*x**2 - 6*x - 7. Is n(g) a composite number?
True
Suppose 4*w - 4*v = 4372, 3*w + 9*v = 5*v + 3307. Is w prime?
True
Let k(z) = -40*z - 29. Suppose -3*v - 27 = -6. Is k(v) prime?
True
Let o(q) = -392*q - 13. Let r = -6 + 3. Is o(r) composite?
False
Let z(b) = 63*b - 11. Let l(x) = 32*x - 6. Let s(r) = -5*l(r) + 3*z(r). Let t be s(3). Suppose -g + 5*g = t. Is g prime?
False
Is 7*(-11)/(-231)*(1 - -37706) prime?
True
Let w be 14 + 0*(-3)/(-12). Suppose -2*z + 0 = x + 3, -z - w = -2*x. Suppose 3*i - 3*c - 792 = 0, x*c + 536 = 4*i - 525. Is i prime?
False
Suppose -48*q + 226653 + 257235 = 0. Is q prime?
False
Suppose -5*v + 21 = -4. Suppose -5*x + 4*c + 7703 = 0, 3*x - v*c = 5693 - 1079. Is x composite?
False
Suppose 0 = -u + 4 + 1, -5*s + 2*u - 25 = 0. Is s + (131 - (-3 + 4)) prime?
True
Suppose -5*m - 292 = 2*n + 418, -270 = 2*m - 2*n. Let u = 230 + 129. Let i = m + u. Is i prime?
False
Let t(y) = -3*y**3 + 2*y**2 - 3*y - 7. Let m be (-1 - 16/(-6))*3. Suppose -9*f = -m*f + 24. Is t(f) a composite number?
True
Suppose 29 + 46 = -5*k. Let j = 65 + k. Let p = j + 109. Is p composite?
True
Suppose 18*p = 8*p + 50. Is 466*p - (-6)/4*2 a composite number?
False
Let p = -1137 - -1622. Is p composite?
True
Let k = 50 + -34. Suppose 1 = -3*v + k. Suppose -64 = -v*d + 1221. Is d composite?
False
Let a(k) = -k**3 + 18*k**2 - 16*k - 15. Let p be a(17). Let g = p + -16. Let s(z) = -z**3 - 12*z**2 + 9*z - 1. Is s(g) composite?
True
Suppose -40 = 4*i - 116. Suppose i = -3*u + 1. Let q(v) = -4*v**3 + 3*v**2 + v - 11. Is q(u) a prime number?
False
Let c = 14 + -5. Let y(h) = -4*h**2 + 27*h + 35. Let b(o) = o**2 - 7*o - 9. Let j(t) = c*b(t) + 2*y(t). Is j(11) composite?
False
Let j(v) = 1075*v**2 - 21*v + 33. Is j(-8) a prime number?
True
Let f = -14 - -16. Suppose f*k + 3*b = -2*k - 25, k - b + 1 = 0. Is (-92 - 12/k)/(-1) prime?
True
Is (-1180)/(-177)*58818/8 a prime number?
False
Suppose 2*t + 2*j - 228 = 0, 4*t - 6*t - j = -225. Is t composite?
True
Suppose 0 = -6*v - 2131 + 10207. Let g = -337 + v. Is g prime?
True
Let w be 2/(2 - (-36)/(-19)). Suppose 16*m - w*m + 105 = 0. Is m composite?
True
Suppose 4*z = -2*o + 2301 + 1625, o + 1953 = 2*z. Is z a prime number?
False
Let w(m) = -7*m**2 - 25*m - 6. Let a(n) = 4*n**2 + 12*n + 3. Let s(o) = 13*a(o) + 6*w(o). Is s(7) composite?
True
Let g be (-105 + -3)*2/(-3). Suppose 548 - g = o. Suppose 4*h = 8*h - o. Is h composite?
True
Let x = -494 + 1010. Suppose -6*f - x + 2682 = 0. Is f composite?
True
Let i(j) = -8*j**3 - 12*j**2 - 22*j - 19. Is i(-9) prime?
True
Is -5 - -2 - (-1 + (-24124)/4) a prime number?
True
Suppose -4*a = 86 - 34. Let r(d) = d**2 + 8*d - 19. Is r(a) a composite number?
True
Let b = -11275 - -19562. Is b prime?
True
Let r(k) = 2896*k + 243. Is r(32) a composite number?
True
Let g be (7 - (-2)/(-1))*395. Let i be 1392/(-522)*2*9/(-8). Suppose w - i*w + g = 0. Is w a composite number?
True
Suppose h - 2*h - 252 = 0. Let t = h + 139. Let p = t - -630. Is p a prime number?
False
Suppose 8*y - 9830 = 1386. Is y prime?
False
Suppose 0*u - 25 = -5*u, 4*p - 90179 = -3*u. Is p a prime number?
True
Suppose -3*v + 255 = 3*j, -3*v + 245 - 80 = 2*j. Suppose m + 42 + 11 = 0. Let f = m + j. Is f prime?
True
Suppose -4*q + 9 = -3. Let f be -3 - (-9)/(q + 0). Suppose f*j - 164 = -2*j. Is j prime?
False
Suppose 4*i - 8*a + 12 = -4*a, 2*a = -2*i + 10. Is i/(-4) + (-2295)/(-12) composite?
False
Let a(p) = -11978*p - 19. Is a(-1) a composite number?
False
Let j = -1959 - -3447. Suppose 3*h = 3*b + j, 0 = -2*h + 7*h + 2*b - 2445. Is h prime?
True
Let b be 6*4/(-8) + 212. Suppose -5*q = -j + b, -2*j - 3*q + 418 = -2*q. Suppose -3*p = -j + 8. Is p a prime number?
True
Let t = -9 + 2. Let w be (-7)/t + (1 - 180). Let x = -39 - w. Is x prime?
True
Suppose -11*u = -130678 - 15193. Is u a prime number?
False
Suppose -30 = -5*i - i. Suppose 2*s - 298 = -b - 43, -i*s = -5*b + 1245. Is b prime?
True
Suppose 0 = w - 3, -y + 16*w = 21*w - 5170. Is y a prime number?
False
Let g = -32 - -28. Let r(d) = -14*d + 11. Is r(g) a prime number?
True
Let h(j) = -j**3 + 2*j**2 + 5*j. Let p be h(4). Let r be (6642/5)/(p/40). Is 2/(-4) - r/8 a composite number?
True
Is -6 + 2*9331/14 prime?
True
Let q = 375 - 152. Is q prime?
True
Let d = 2807 + 1184. Suppose -5*i = -d - 1254. Is i composite?
False
Let r(o) = -o**2 - 2*o - 1. Let s be r(-6). Let v = 269 + -129. Let q = v + s. Is q prime?
False
Suppose -9 = -2*k + k - 3*y, 5*y = 2*k - 18. Let j(d) = 2*d - 3*d + 8*d - d - 17. Is j(k) a composite number?
False
Let q be (-5)/((-20)/36) + -2*1. Suppose q*u = 6067 + 4300. Is u a composite number?
False
Let s(x) = -105*x**3 + 14*x - 20. Is s(-7) composite?
False
Suppose 223 = 3*p + 76. Suppose 2*s + 3*m = -s - 111, -6 = -2*m. Let i = p - s. Is i a prime number?
True
Let v = -8770 - -16551. Is v a composite number?
True
Suppose -t - 3*t = -3*v - 12579, 4*t - 12574 = -2*v. Suppose -t = -3*o + 1911. Suppose 0 = 5*w - k - o, -2*k + 4*k = 0. Is w a prime number?
True
Suppose 0 = g + g + 746. Let m = 680 + g. Is m composite?
False
Suppose -5*t + 10*t = b - 135282, 0 = 3*b + t - 405766. Is b prime?
True
Let a = 5 - 13. Let v(t) = 3*t**2 - 5*t - 19. Is v(a) composite?
True
Let s = 3077 + -1672. Suppose l - s = -4*l. Let d = l + -24. Is d prime?
True
Let u(b) be the third derivative of -b**7/720 - b**6/120 - 7*b**5/60 - 6*b**2. Let d(g) be the third derivative of u(g). Is d(-7) a prime number?
True
Let l(k) = 7*k**2 + 20*k + 7. Is l(-11) a prime number?
False
Let s be ((-2)/4)/((-2)/24). Let b be -5 + 3 + 1*s. Is (-426)/b*10/(-15) composite?
False
Suppose 5*b = -3*a + 5290, -2*a - 3530 + 1430 = -2*b. Suppose b + 2755 = 6*n. Is n a prime number?
False
Suppose -2*q + 5*b + 4455 = -11808, 0 = 4*q - 3*b - 32491. Is q a composite number?
True
Let z(d) = d - 5. Let m be z(9). Suppose -m + 0 = -c. Suppose 4*a + 84 = c*s, 5*s - 2*a = 2*s + 61. Is s composite?
False
Let n(f) = 28*f**3 - 4*f**2 + 14*f - 5. Let d be n(-5). Let w = d + 5368. Is w a prime number?
True
Suppose -66*u - 68905 = -71*u. Is u composite?
False
Suppose -38388 = -9*t + 25989. Is t compo