s (1127/c)/((-1)/4) a composite number?
True
Suppose 2027 + 777 = 4*r. Is r composite?
False
Let f = 15 - 11. Suppose -3*i + 5*h + 17 = 0, -f*h = -5*i - 7 + 44. Let p(l) = l**2 - 6*l - 12. Is p(i) prime?
False
Let s(r) = -4*r - 1 - 16*r - 1 - 1. Let g be s(-4). Let h = g + -43. Is h a composite number?
True
Suppose 0 = -6*r + 1733 + 1765. Is r composite?
True
Let m(i) be the second derivative of i**3/6 + 75*i**2/2 - 3*i. Let h be m(0). Suppose -4*p = -7*p + h. Is p composite?
True
Suppose 4*n + 2022 = 10*n. Is n a prime number?
True
Let f(i) = -2*i**3 - i**2 - 2*i - 6. Let k(v) = -v**3 - 3 + 4 + 0*v**3 - 2. Let z(s) = -f(s) + 3*k(s). Is z(-3) a prime number?
False
Let v = 4 + 3. Is v/(0 + 1) - 1 prime?
False
Suppose -3*k - 3*v + 11463 = 0, 5*k - 5*v - 21660 = -2555. Is k a prime number?
True
Let m(c) = 8*c**2 + 39*c + 27. Is m(-26) a prime number?
True
Let s(c) = -c**3 + 4*c**2 + 6*c - 3. Let z be s(5). Suppose -m = -2*f - 25, -5*m - 3*f + 158 = -z*f. Suppose 3*l = -3*p - 2*p + 37, 0 = l - 3*p - m. Is l prime?
True
Let t = -2603 - -6682. Is t a composite number?
False
Let d = -14 - -53. Let o be (-2 + 1)/(1/(-4)). Suppose -k + o*k - d = 0. Is k a prime number?
True
Let q(j) = 2*j**2 + 2*j + 3. Let o be q(-3). Let t = -11 + o. Is (-84)/(-8) - 2/t composite?
True
Let j(d) = -7 + 0*d + 0*d + 5*d + 2*d**3 - 4*d - 11*d**2. Is j(8) a prime number?
False
Suppose 2*l = -2 - 2. Let c be 3 - ((-1 - -1) + l). Suppose 130 = 5*q - c*n, 2*n - 32 = -2*q - 0*q. Is q a composite number?
True
Let u be (-2)/(-4)*(-64)/(-8). Is 7*2/u*14 prime?
False
Suppose 0*i + 25 = -i. Let x = -22 - i. Is x composite?
False
Let z = 9 - 6. Suppose 0 = z*h - 66 + 21. Is h prime?
False
Let m(c) = -2*c**3 - 6*c**2 + c - 4. Let z be m(-6). Let x = 31 + z. Is x a composite number?
True
Let p(h) = 1 + 1 + 7*h**2 + h - 3. Suppose -2*j - j = -3. Is p(j) composite?
False
Let r(x) = x**3 + 4*x**2 - x - 1. Let z be r(-4). Let c(a) = 8*a**2 - 5*a + 2. Is c(z) a prime number?
True
Suppose -4 = 5*p - 4*j - 373, -4*p + 324 = 4*j. Is p composite?
True
Let i = 350 - 193. Is i a prime number?
True
Is (-6)/15 - 2067/(-5) composite?
True
Let p = 24 + 45. Is p a prime number?
False
Let t(r) = 23*r**2 - 1. Suppose 0 = i - 0*i - 1. Is t(i) composite?
True
Suppose -2*c = 14 - 2. Let v(m) = -7*m + 7. Is v(c) a prime number?
False
Let p be (-8)/20 + 1472/5. Suppose -q - p = -4*q. Suppose 2*c + q = 4*c. Is c a composite number?
True
Let y(f) = 28*f - 1. Is y(5) prime?
True
Let r be -1 - -3*(3 + -2). Suppose -w - 5*b + 3873 = w, r*w - 2*b = 3908. Is w a prime number?
True
Suppose -y + 2*m + m + 21 = 0, -4*m = -5*y + 72. Let f = y - -212. Suppose 3*h - f = -4*w, -2*w + 0*h + 2*h + 98 = 0. Is w prime?
True
Suppose 8*x - 1420 = 5148. Is x a prime number?
True
Suppose 0 = -3*j + j + 12. Suppose -5*l - 25 = 0, -j*o + 2*o + l - 87 = 0. Is 2/(-1 + -1) - o prime?
False
Is ((-175)/(-15))/(1/3) composite?
True
Let v(k) = 110*k**2 + 6*k - 3. Is v(-4) a composite number?
False
Let h(g) = -g**2 + 41*g - 51. Is h(32) prime?
False
Let h(d) = 91*d + 5. Let j be h(5). Let s = j + -173. Is s prime?
False
Suppose 0 = 4*r, -r = 2*h - 0*r - 16. Let a(b) be the third derivative of b**5/60 - b**4/12 + 5*b**3/6 + b**2. Is a(h) prime?
True
Suppose 496 = -b - 5*w, -2*b - 795 - 188 = w. Let j = 748 + b. Is j composite?
False
Let z = 2 - 2. Suppose c - 230 = 5*t, -3*c + z*t = -5*t - 640. Is c a composite number?
True
Let q(r) = -r**3 - 8*r**2 - r - 6. Let p be q(-8). Suppose -5*s + 5*h + 790 = 0, -2*s - p*h + 316 = -6*h. Is s composite?
True
Let a(p) = -p**3 - p**2 - p + 4. Let b be a(0). Suppose 3*z = -b*d + 12, z + 15 = -2*d + 7*d. Suppose -d*t - o + 31 = -t, o + 74 = 5*t. Is t a prime number?
False
Suppose -2*s - s + 204 = 0. Suppose -4*u = -s - 24. Is u a prime number?
True
Suppose 5*f - 4*b - 8 = -6*b, 0 = f - 5*b + 20. Suppose 2*h + 13 - 123 = f. Is h prime?
False
Let j = -772 - -1335. Is j a composite number?
False
Suppose -3*n = -5*v - 3 + 7, 5*v - 2 = 4*n. Is 0 - (-98 + (v - 1)) a composite number?
False
Let l be -1 + -1 + 9/3. Is (l + 1)*(-223)/(-2) a prime number?
True
Let d = 426 + 205. Is d composite?
False
Let i(v) = -v**3 - 4*v**2 - 4*v + 3. Suppose h - 6*q = -5*q + 5, -5*q = 3*h + 1. Suppose r + 10 = -h*l, 0 = -4*r + l - 13 - 1. Is i(r) a prime number?
True
Let y(r) = 18*r**2 + 5*r - 10. Is y(-5) prime?
False
Suppose -f - 3*z = -431, f - 507 = 4*z - 97. Suppose f = 5*q - 3*q. Is q prime?
True
Let t be 2 + 6/(3/1). Suppose t*s - 246 = 178. Let a = -53 + s. Is a prime?
True
Let z = -13 + 28. Suppose -3*v + 3*b = -z, -b - 12 = 3*b. Let g(p) = 4*p**3 + p**2 - 2*p - 1. Is g(v) a prime number?
True
Let t(z) = 5*z**2 + 10*z + 10. Suppose 2*x - 28 = 6*x. Is t(x) a prime number?
False
Let b(v) = 3*v + 108. Let c be b(0). Let y = c - 11. Is y composite?
False
Let x = 11 + -7. Is 8 + (-2)/x*2 a composite number?
False
Let m(t) be the second derivative of t**6/120 - 7*t**5/60 - 3*t**3/2 - t**2/2 + 2*t. Let h(l) be the first derivative of m(l). Is h(8) composite?
True
Suppose 2*w + 3*w = 2*v + 32, 3*v = 4*w - 27. Let x = w + -17. Let a(r) = -15*r - 10. Is a(x) composite?
True
Let z(v) = -6454*v + 1. Is z(-1) prime?
False
Let u(o) = 22*o**2 + o - 19. Is u(8) a prime number?
False
Let z(f) = 67*f - 5. Let j(s) = 66*s - 4. Let a(x) = 5*j(x) - 4*z(x). Let y be a(1). Suppose t = -t + y. Is t a composite number?
False
Let g be (10 - 0)/((-4)/(-6)). Suppose 0 = -3*d - d - 16. Let o = g - d. Is o a prime number?
True
Let n be (-2 + 3)*14 + 3. Let j = n + -6. Is j a composite number?
False
Let j(a) = 37*a - 10. Let h(r) = -75*r + 19. Let y(w) = 4*h(w) + 7*j(w). Suppose -d = 5*p + 4*d + 45, -2*p + 5*d + 10 = 0. Is y(p) prime?
True
Let r be 0/2*(2 - 1). Let m(h) = h**2 - h - 2. Let w be m(r). Is (-434)/(w - -1 - 1) a prime number?
False
Let c be 124/6 + 2/(-3). Suppose 0 = -0*w - 5*w + 5*g + 20, -5*g + c = 5*w. Suppose 20 = -0*m + 5*m, w*m - 181 = -3*z. Is z a prime number?
False
Let b = -1 - -9. Suppose 0 = c - f - b, 5*c + 0*f - 37 = 2*f. Is c a composite number?
False
Is (-1645)/(-20) - (-6)/8 prime?
True
Suppose -459 = -5*b + 291. Let h = 15 + b. Suppose 4*y - h = 31. Is y composite?
True
Let t be 2 + -4*1 - -4. Suppose b = 5*v - 4, -t*b - v + 4*v = -6. Is (-6)/(-4)*88/b prime?
False
Let j(r) = 7*r + 5*r + 9 + 2*r + 8*r. Let o be j(7). Suppose 0 = 4*h + 11 - o. Is h prime?
False
Let f(r) = -2*r - 9. Let i = -4 - 2. Is f(i) composite?
False
Let k(n) = 8*n**3 + n + 2. Is k(3) a composite number?
True
Let y be ((-16)/(-20))/((-2)/15). Is (y - -115)/(1/1) composite?
False
Let d be (-2)/2*-1 - -1. Suppose l + d*l - 669 = 0. Is l composite?
False
Let s = 117 - 58. Is s composite?
False
Suppose 24*d - 6082 = 22*d. Is d composite?
False
Let w be 0 - (2*-2 + 2). Suppose 3*v - 3*r = 138, 89 = 2*v + 3*r - 4*r. Suppose -3*n - n = -y + v, -125 = -w*y - 5*n. Is y a composite number?
True
Let y(s) = s**2 - 6*s + 10. Let g be y(7). Suppose -2 - g = -b. Is b prime?
True
Let t = 5 - 2. Suppose -5*y = 2*v - 332, y = -t*v - y + 487. Suppose 0 = 3*k - w - v, 2*k = -4*w - 0*w + 126. Is k a composite number?
True
Suppose 3*v - 4*d - 296 - 438 = 0, 3*v = -5*d + 743. Suppose 29 + v = 5*s. Is s composite?
True
Let q be 1800 - -2*(-2)/(-4). Suppose -j - 2169 = 2*g, -g = 3*j + q - 719. Is g/10*(-2 - 0) a prime number?
False
Let u(c) = 2 + 0 + 1 + 4*c. Suppose 0*x = -2*x + 14. Is u(x) composite?
False
Let g be 925/13 + 14/(-91). Suppose 124 = 5*p - g. Is p a prime number?
False
Let n = -4 + 6. Suppose f + i = -2*f + 20, n*f - 4*i = 18. Is f prime?
True
Let j be 4/3*15/10. Suppose -l - j = -79. Is l prime?
False
Let m(k) = 2*k**2 - 3*k + 1. Let b be m(2). Let i be (9/(8 + -5))/1. Suppose -z - b*x - 274 = -3*z, 0 = -z - i*x + 155. Is z a composite number?
True
Suppose -2 = -5*b + 3. Is 6 + 47 - (b + 1) composite?
True
Suppose 105 = 6*y - 3*y. Is y a composite number?
True
Let x(a) = -a**3 + 9*a**2 + a - 5. Let p be x(9). Let b be 12*((-10)/p - -3). Suppose 2*g - 72 = 5*h, -2*h + 2 = b. Is g a prime number?
True
Suppose -4*t - u + 6 = u, 0 = 3*u + 15. Let a = 2 - t. Is 1*(a*1 - -15) a prime number?
True
Suppose 0 = -5*x + 3*x + 2*s + 4, 3*x + s = 18. Suppose x*i - 1079 = 826. Is i composite?
True
Let b(w) = -w**2 + w + 242. Let m be b(0). Suppose m + 8 = 5*o. Is 