 2*s**2 - 37*s. Is i(10) a prime number?
True
Suppose 4280 = 5*v + 5*d, 3*v - 2*d - 2584 = -d. Let x = 1879 - v. Is x a prime number?
True
Let l(c) = -300*c + 49. Is l(-4) prime?
True
Let z(q) = -845*q**3 - 6*q**2 - 2*q - 2. Let u be z(-3). Suppose 12*x = u - 5113. Is x prime?
True
Let z(g) = -19*g**2 - 14*g + 4. Let l(w) = -19*w**2 - 14*w + 5. Let n(p) = 2*l(p) - 3*z(p). Is n(7) a prime number?
False
Let j(b) = 2*b**3 - 2*b**2 - 22*b + 93185. Is j(0) composite?
True
Let d(x) = -x**2 - 7*x - 5. Let b be d(-6). Let m be 0/(0 - b) + -9. Is 19/2*(m + 11) prime?
True
Suppose -5*p + 6*z = 2*z - 6, 5*z + 1 = 3*p. Suppose r - 3*r + 3*c + 1108 = 0, -1667 = -3*r + p*c. Is r composite?
False
Let x be 12/5*(-50)/(-15). Let p = 10 - x. Let v(r) = 62*r + 3. Is v(p) composite?
False
Suppose -7*o = -25 - 3. Suppose 2503 = 5*b - 4*b + o*y, 5*y = 10. Is b a prime number?
False
Let y be (5 + -1)/1 + -2. Let g(u) = -u**y + u**3 + 3 - u + 0*u - 3*u. Is g(4) composite?
True
Suppose 5*f + 4*c = 157511, -5*f + 39*c - 40*c = -157499. Is f a prime number?
False
Let r be (-1)/(2/3 + 2/(-4)). Is (0 + -1 - r/4)*138 a composite number?
True
Let o = 77 + -24. Let h = o + -27. Is h prime?
False
Let w(m) = m**3 - 4*m**2 + 6*m - 5. Let k = -4 + 32. Let z = k + -24. Is w(z) prime?
True
Let k(o) = -5*o**3 + 2*o**2 + 3*o + 1. Let t be k(-1). Let f(h) be the third derivative of -h**5/60 + 5*h**4/12 - 2*h**3/3 - h**2. Is f(t) a prime number?
False
Let i = 16 - 12. Let w be 3*1*i/6. Suppose -w*o - 142 = -4*o. Is o composite?
False
Let l = 551 + -297. Is l a prime number?
False
Is -1 + 2755 - (9 + -14 + 0) prime?
False
Let x be (-48)/20*(-20)/8. Let f(c) = -c**2 + 1. Let n(q) = 8*q**2 - 7*q - 7. Let d(r) = 3*f(r) + n(r). Is d(x) a composite number?
True
Suppose 15 = 3*v + w, -8 + 23 = 3*v + 2*w. Suppose -x - 1 = v*p, -x - 2*x + 2*p - 3 = 0. Is (4 + -1*323)/x a composite number?
True
Let c be (-15236)/12 + 1 + (-3)/9. Let b = 92 - c. Is b prime?
True
Is 20/(-2) - (-1033 + -86) a prime number?
True
Let j(b) = 291*b**2 + 20*b - 62. Is j(3) composite?
False
Suppose -3*v + 4 = z, 0 = z - 3*z + v + 8. Suppose -2*r - z*o - 14 = 0, r = 2*r - 2*o - 13. Suppose r*m + 8 + 1 = 0, -m + 1452 = 5*j. Is j prime?
False
Suppose -12*g + 14*g - 794 = 0. Is g a composite number?
False
Let a be -3 - ((-3)/((-6)/4) + -11). Suppose a*g = -4*g + 2110. Is g a composite number?
False
Let q(g) = -g**2 - 6*g + 5. Let u be q(-6). Suppose 1 - u = -k. Is k*-3*(-5)/4 composite?
True
Let h = 54 + -638. Let s = h + 1089. Is s a prime number?
False
Let n(i) = -i**2 - 7 + 2*i - i**3 - i**2 + 2. Let b be (4 - 3)/((-2)/(-24)*-3). Is n(b) prime?
True
Let s(m) = m**2 - 3*m - 9. Let j be s(6). Is 8/(-12) - (-3723)/j a composite number?
True
Let d(x) = 727*x - 8. Let g be d(4). Suppose 0 = -7*s + 54 + g. Is s prime?
False
Let k = -33 + 21. Let i(s) = -71*s + 10. Is i(k) a composite number?
True
Suppose 31*c + 47714 = 33*c. Is c a prime number?
True
Suppose 0*g - 224 = 4*g. Suppose 35 + 23 = c - 5*s, 4 = s. Let a = c + g. Is a a composite number?
True
Let c = 4804 - 2433. Is c a prime number?
True
Suppose 205 = 2*x - 3*w, -4*w = 6*x - 3*x - 265. Is x prime?
False
Suppose -r - 3*r = -3*c + 31, 4*c + 3*r - 8 = 0. Suppose -5 = -5*v, -c*v = 3*h - 0*v - 290. Is h a composite number?
True
Suppose 0 = -31*d + 1642198 + 963631. Is d a prime number?
True
Let f = 9192 + -5431. Is f composite?
False
Let w be (2 - 3) + 5 + 0. Suppose 0 = -w*r + 4. Is (4 - -19) + (r - -2) prime?
False
Is 0 - 6*(-1565)/10 a composite number?
True
Suppose -15*i - 4812 + 43527 = 0. Is i a composite number?
True
Let g(q) = -3*q + 6. Let i(a) = -10*a + 18. Let z(h) = 16*g(h) - 5*i(h). Let l(c) = -6*c + 8. Let u be l(-1). Is z(u) prime?
False
Suppose 0 = -l - l - 2*x, 5*x = -10. Suppose -5*w - 3824 = -3*w. Is w/(-16)*(l + 0) composite?
False
Suppose k + 8 = 9. Let y be (-3)/9*k*-9. Suppose 0*c = y*c - 1059. Is c a composite number?
False
Let o(g) = 17*g**3 - g**2 + 28*g + 3. Let i(p) = -11*p**3 + p**2 - 19*p - 2. Let a(r) = 8*i(r) + 5*o(r). Is a(-7) composite?
False
Let o(t) = 29*t + 305. Is o(9) composite?
True
Let s(g) = 3*g**2 + 52*g + 84. Let x(l) = l**2 + 17*l + 28. Let o(t) = 4*s(t) - 11*x(t). Is o(17) composite?
True
Let i = -466 - 831. Let u = i - -1946. Is u prime?
False
Suppose -4*k = f - 26543, -4*k + 53096 = 2*f - k. Is f a prime number?
False
Let v = -48641 - -84132. Is v a prime number?
True
Let g be 54/(-45)*-5*1. Suppose h = k + 83, 5*h - g*k - 417 = -2*k. Is h prime?
False
Let t = -26 - -6. Let x be (24/t)/((-4)/(-20)). Let v(q) = -35*q - 4. Is v(x) a composite number?
True
Let h = -13369 + 33200. Is h composite?
True
Let r = 929 + 452. Is r a composite number?
False
Suppose 0 = 2*a - 5*z - 131, z + 53 = a - 11. Let q = 152 + a. Suppose -j + q = 4*l, -j + l = -2*j + 206. Is j composite?
True
Suppose -5*s - 12 = -2*o - 9*s, -4*o - 4*s + 20 = 0. Suppose 0 = -o*l + 5*y + 5051, -y + 6289 = 5*l + y. Is l composite?
False
Suppose -8 = -4*n - 5*v, -5*n + 5*v = v - 10. Suppose -n*f = 2*f + 224. Let w = 175 + f. Is w composite?
True
Let d(v) = v + 7. Let w be d(-7). Suppose w = -15*x + 18*x - 3291. Is x a prime number?
True
Suppose 0 = -2*n + p + 343, 3*p = -n + p + 164. Suppose 3*b + 2*b = n. Is b a prime number?
False
Suppose 0 = -x - 3*x + 5*b - 14, -10 = 2*x - 4*b. Is 4306/14 - ((-6)/14 - x) composite?
False
Let n(k) = 1490*k + 59. Is n(6) composite?
False
Suppose -3*m = 2*u - 2884, 4*m + 0*u - 2*u = 3822. Is m a prime number?
False
Suppose -3*v = -f, 4*f - 8*f + 5*v + 7 = 0. Let j = f + 1. Suppose j*i + 46 = 6*i. Is i prime?
True
Suppose -446*i = -447*i + 1951. Is i a composite number?
False
Let a(g) = -g**3 - 11*g**2 - 2*g + 14. Let r be a(-11). Let l = r - 24. Let k(z) = z**2 - 12*z + 4. Is k(l) composite?
True
Suppose -4*n + 3*w + 1208 = -2822, -5*n = 3*w - 5051. Is n prime?
True
Let g be (-7390)/8 + 105/60. Suppose -4*p = -4749 - 1167. Let q = g + p. Is q a prime number?
True
Suppose q + 23225 = y, -5*y - 4*q = -8*q - 116127. Is y composite?
False
Let u(w) = 20*w**2 - 2*w. Suppose -i + 3 = 2*y - 6*i, -9 = 3*i. Let p be u(y). Suppose 4*l = 4*v + p, -3*l - 2*v = l - 756. Is l a composite number?
True
Suppose -m + 7023 = 7*g - 3*g, -4*m + g + 28160 = 0. Is m a prime number?
True
Suppose 2*p + 2 = 4*p, 0 = 3*x + 2*p - 2. Suppose -g + m - 301 = x, 4*m = -5*g + 16 - 1530. Let u = -45 - g. Is u prime?
True
Suppose 10*d - 7*d = 0, -d + 65695 = 5*s. Is s a prime number?
False
Suppose 6*r = 5*r. Let d(v) = -v**3 + v**2 + v + 896. Let b be d(r). Suppose 218 = x + 5*n, -5*n = -4*x - n + b. Is x prime?
True
Let c(a) = 2227*a - 268. Is c(7) a composite number?
True
Suppose -6*q + 4339 = -26987. Let f = -3602 + q. Is f composite?
False
Let q = 3386 - 1607. Is q prime?
False
Let b(o) = -o**3 + 4*o**2 + o - 2. Let m be b(4). Suppose -m*a = -3*x + 5 + 2, 0 = -4*a - 3*x + 31. Is (-24)/9*(-249)/a a prime number?
False
Suppose 2*m = 5*z + 2, -z - 5*m + 5 = 2*z. Suppose z = -o - 8*k + 11*k + 68, 3*o - 4*k = 199. Is o a composite number?
True
Let s be (0 - 1/2)*2. Let w be (14/(-28))/(s/(-1314)). Is (w + -1)*(-5)/10 composite?
True
Let z be -8 + 326 - (1 + -4). Let u = 760 - z. Is u a prime number?
True
Suppose 4*t = -3*a + 106, 10 = a - 3*t - 2*t. Let z be (-6 - 1)*a/(-35). Suppose 369 = z*l - 2757. Is l a composite number?
False
Let n = -30 + 22. Is -4 + n/2 + 489 a prime number?
False
Let y(t) = 67*t + 2. Suppose 3*x = 5*x - 14. Is y(x) a prime number?
False
Suppose 76851 + 32277 = 8*k. Is k a composite number?
True
Suppose 3*l = 5*l - 240. Let a be 7*(-4 - l/(-28)). Suppose 4*u - a*u = 974. Is u composite?
False
Let y be (-72)/(-6)*(-7)/2. Suppose 2*c + 5*g + 8 = 0, 10 - 40 = 4*c + 3*g. Let d = c - y. Is d composite?
True
Is (-10 + 1/1)*771/(-9) a composite number?
True
Let f = 164 - 156. Suppose 6*l = f*l - 12706. Is l a composite number?
False
Is 93/62 + (-491)/(-2) a composite number?
True
Let r(u) = 221*u**2 + 2*u - 3. Is r(-2) composite?
False
Suppose -8*u - 24483 = -175867. Is u a composite number?
True
Let x(b) = b + 135*b**2 + 1 + 17 - 18. Is x(-1) a composite number?
True
Let z be -2*521*2/(-4)*1. Let u = z + -310. Is u composite?
False
Let y(g) = 16*g + 13. Is y(13) a prime number?
False
Let x be (-62)/(-7) - (-1)/7. Let y = x + -9. Suppose y = 5*m