 a composite?
True
Let i = -1496 - 382. Is -2*1/(-4 - i/471) prime?
True
Let o be (-2)/(-4)*(2 + 8/(-4)). Suppose 5*j - 3*l - 5198 = o, 4*j - 3*l - 2*l = 4161. Is j prime?
True
Let o(i) = i**2 + 7*i - 10. Let f be o(-9). Let x be (-2 - -4)*f - 2. Suppose -x*n = -19*n + 1115. Is n a composite number?
False
Let c = -1234 + 1821. Is c a prime number?
True
Let h = -17159 - -42673. Is h a composite number?
True
Suppose -d = 887 - 888. Suppose -3*w + u + 28 = -u, w = -u + 1. Is -106*d*(-3)/w composite?
False
Is (1110*41)/10 + 2 a prime number?
False
Let a = -56 - -81. Suppose 0*r - 15 = 3*x + 3*r, -x + a = -5*r. Suppose x = 4*u + 2*v - v - 1315, -2*v - 660 = -2*u. Is u composite?
True
Suppose -2*z = -4*r - 0*z + 93600, 0 = -4*r - z + 93594. Is r a composite number?
False
Let h(c) = 2*c**3 - 58*c**2 - 51*c + 18. Is h(43) a composite number?
False
Let n(y) = -y + 2. Let k be n(-3). Let c(r) = -r**3 - 6*r**2 + 5*r - 12. Let x be c(-7). Suppose -x*z - 111 = -k*z. Is z a prime number?
True
Let r = 37 + -45. Let w(y) = -58*y - 18. Is w(r) prime?
False
Suppose 4*q - 3*q = s + 4548, 3*s - 18185 = -4*q. Is q a prime number?
True
Let a(x) = -x**3 - 3*x**2 + 4*x - 5. Let g be (-3)/4 - 4/16. Let m = g + -4. Is a(m) a prime number?
False
Suppose 3*a = -y + 5231, a + 0*a = -2*y + 10442. Is y composite?
True
Let z be 5*((-11084)/(-20) - 4). Suppose -4*t + t = -z. Is t composite?
True
Let x(g) = -14*g + 13. Let m be (-7)/(21/(-6)) - -30. Suppose 0 = -3*i + z - 13, -4*z = i + m - 6. Is x(i) composite?
False
Let g be -1165 + -2 + -2 - 2. Let i = -692 - g. Is i a prime number?
True
Let z = 33 + -31. Suppose 3*r + d = 96, -z*r - 6*d + 77 = -d. Is r prime?
True
Let f(x) = 4 + x - x**3 - 4*x**2 + 2*x**3 + 0*x**3 + 2*x. Let c be f(3). Suppose 101 = c*s - 311. Is s a prime number?
True
Suppose 8*y = 3*y - 3*t + 22477, -2*y + 5*t = -8966. Is y a composite number?
False
Let d = -5 + 10. Let o(h) be the second derivative of 7*h**3/6 + 4*h**2 - 18*h. Is o(d) prime?
True
Suppose -4*h + 16716 = -2*r + 6*r, 0 = -r + 4*h + 4199. Is r composite?
True
Let c(n) = n - 16. Let y be c(12). Let r(d) = -28*d + 3. Let x(u) = -29*u + 3. Let h(z) = -5*r(z) + 6*x(z). Is h(y) a prime number?
True
Let y(i) = -9*i**2 - 21*i + 65. Let z(t) = 20*t**2 + 42*t - 131. Let u(f) = -9*y(f) - 4*z(f). Is u(-25) composite?
True
Suppose -d = 3*d + 1100. Let j = d - -531. Let k = -173 + j. Is k a prime number?
True
Let u be 2/(1 - 3/9). Suppose u*i = 222 - 0. Is i composite?
True
Let b = -94 - -1427. Is b prime?
False
Let r(w) = -w**2 - 8*w + 53. Let c be r(-12). Suppose -s - 11003 = -5*d - 2848, -6524 = -4*d + c*s. Is d prime?
False
Suppose -11*n = -14*n + 6. Suppose y + 2*y = -3*l + 531, 0 = -n*l. Is y composite?
True
Let p(s) = -12*s**2 - 6*s. Let w(l) = -1. Let b(u) = -p(u) + w(u). Is b(-9) a composite number?
True
Suppose -14*g - 2 = -15*g. Suppose -o + 4*a + 0*a = -1785, -5*o - g*a + 9013 = 0. Is o a composite number?
False
Let r(g) be the third derivative of -5*g**4/24 - 4*g**3 + 21*g**2. Is r(-9) a prime number?
False
Let f = -28 - -26. Let y = f + 25. Is 2 + 3/3*y prime?
False
Let a(n) = n**3 + 9*n**2 - 8*n + 8. Let u(c) = c**3 + 10*c**2 - 10*c + 1. Let j be u(-11). Let h be a(j). Let o = h - -27. Is o a composite number?
True
Let z(l) = 3*l - 9. Let v be z(6). Suppose -6*r + 438 = -v*r. Let p = 243 + r. Is p a prime number?
True
Suppose -t = -0*t + 6. Let u = t + 6. Suppose -5*d + 139 = 3*g - 121, 5*d + 2*g - 265 = u. Is d composite?
True
Let t(m) = -m**2 + 2*m - 4. Let f be t(4). Let b = 12 + f. Suppose b = 3*s + 4*h - 921, -921 = -5*s + 2*s + 4*h. Is s a prime number?
True
Suppose 0*l + 4*l - 13 = 5*r, -2*r = -l + 7. Let y be 3/r*(3 - 8). Suppose 379 = y*c + 112. Is c composite?
False
Suppose -159644 = -3*v - t, 7*t - 11*t + 20 = 0. Is v a prime number?
False
Suppose 4*n = -i + 3*i + 17422, 2*i = -2*n + 8726. Is n prime?
False
Let h = -1734 + 5701. Is h prime?
True
Let w(c) = -2*c. Let g be w(0). Suppose g = -3*p - 0*p + 447. Is p a composite number?
False
Let v(l) = 19*l**2 + 16*l + 56. Is v(-11) composite?
False
Suppose 0 = 2*r - 8, 0*w - 2*r + 3383 = -3*w. Let s = 2032 + w. Is s a composite number?
False
Suppose 3*x + 3*b = 28830, 20027 = 5*x - 3*b - 28031. Is x composite?
True
Let n = 22 - 30. Let o be 41164/14 + n/28. Suppose -5*c + q = -o, 5*q = 2*c - 0*c - 1199. Is c prime?
True
Suppose 0 = -5*w - 4*h + 13599, -7*w - 2*h + 10878 = -3*w. Is w a prime number?
True
Let j(z) = -355*z - 82. Is j(-5) composite?
False
Is 6/4*(-15956)/18*-3 a prime number?
True
Suppose 14*d - 16*d = -12982. Is d a composite number?
False
Let h(n) = -n**3 - 3*n**2 - 3*n. Let m be h(-2). Suppose -4*d + 2586 = -m*r + 500, 0 = -2*d + 4*r + 1046. Is d prime?
True
Suppose 0 = -3*d - 58 - 230. Let j be (d/10)/((-2)/10). Let k = j + 9. Is k prime?
False
Let w = -5153 - -13356. Is w prime?
False
Is (-94109)/(-6) + (-29)/(-174) prime?
False
Suppose 816*v + 22675 = 821*v. Is v composite?
True
Is -4367*1*(-7 + 6) composite?
True
Suppose -57 = -5*k + s, 5*k + 7*s - 63 = 11*s. Suppose -2679 = -k*a + 5780. Is a composite?
False
Let f = 270 + -184. Suppose -3*g - f = 172. Let x = -53 - g. Is x composite?
True
Let j(h) = -58*h - 17. Let q(s) = -s**2 - 2*s + 6. Let n be q(3). Is j(n) a composite number?
True
Suppose -5*u = -2*s + 225, 5*s - 5*u - 182 = 418. Let n(y) = -45*y + 72*y + s*y + 33*y. Is n(1) prime?
False
Let s(q) = -20*q**2 + 10 + 4 + 40*q**2 + 17*q. Is s(-9) a prime number?
True
Let c be 2547/2 + (-3)/6. Suppose -c + 61 = -4*l. Suppose s + 92 - l = 0. Is s prime?
True
Is (9351/(-36))/(3/(-24)) a composite number?
True
Suppose 51787 = 17*m - 391624. Is m prime?
True
Suppose q - 2*z = 10, 2*q = 6*q + 3*z - 7. Is q + -2 + (-1 - -3988) prime?
True
Let c = 14 - 9. Suppose 0 = -5*m + c*p - 3*p + 200, -m + 5*p = -63. Let i = 45 + m. Is i prime?
True
Suppose 17*q + 1694 = 15*q. Let a = q - -2024. Is a composite?
True
Suppose 3*a + 12 = -3*y, 0 = 3*y + 2*a + 3 + 5. Let z be y + 1 - (0 - 3). Suppose -3*r - 9 = 0, 2*b - 4*b + 104 = -z*r. Is b a prime number?
False
Let n be 2*((-6)/(-16))/(5/2820). Suppose -v = -5*u - 4*v + 705, -3*u - 5*v + n = 0. Is u composite?
True
Suppose -4*z = 5 - 1. Is 2/12*z - (-10732)/24 a prime number?
False
Let f(m) = m**2 + 9*m - 3. Let o be f(-11). Suppose 2*j = 9*j - 84. Let r = o - j. Is r prime?
True
Let x = -48 + 10. Let w = x - -84. Is w a composite number?
True
Let b(i) = 369*i - 7. Is b(10) a prime number?
False
Suppose 8*j - 166948 = 91012. Is j a composite number?
True
Suppose 6*y - 2*y = 0. Suppose 5*h + 15 - 120 = y. Is h composite?
True
Suppose -d + 1504 + 14675 = n, -d = -n - 16187. Is d a prime number?
True
Suppose -4*u = -5*y - 184 - 4397, 4*y = -3*u + 3397. Is u a composite number?
True
Let s be 6/(-30) - (96/15)/(-2). Suppose 2*o + 4*x = 335 + 751, x = s*o - 1622. Is o prime?
True
Let d(x) = -x + 1. Let j(k) = 5464*k**3 + k**2 - 2*k + 2. Let r(w) = d(w) + j(w). Is r(1) a composite number?
True
Let x(g) = 203*g**3 + g**2 - 1. Let q(k) = -k**2 - 20*k + 26. Let a be q(-20). Let d = a - 25. Is x(d) prime?
False
Suppose -4*t = -28 + 12, 0 = -3*w - 4*t + 60445. Is w composite?
False
Let z(v) = -29*v - 7. Suppose -2*q + 12 = q. Let w = q + -13. Is z(w) a prime number?
False
Suppose 8827 = 8*p - 13661. Suppose -p = -13*b + 10*b. Is b a prime number?
True
Suppose g + 1 - 11 = 0. Let i(v) = 13*v - 33. Is i(g) a composite number?
False
Let g(p) = -107*p**3 - 2*p**2 - 7*p - 23. Is g(-7) prime?
True
Let a(k) = 493*k - 208. Is a(3) a prime number?
False
Let w = -1120 - -1669. Let q = w - -994. Is q a composite number?
False
Let i(g) = 17*g**2 - 4*g + 3. Let y be (5/(-4))/((-1)/4). Let m = 9 - y. Is i(m) prime?
False
Let k(y) = y**3 - 13*y**2 - 14*y - 19. Let u(f) = -2*f**3 + 25*f**2 + 28*f + 38. Let p(c) = 5*k(c) + 2*u(c). Is p(17) a prime number?
False
Suppose -2*b - 2*b - 4*o + 508 = 0, -2*b = -2*o - 254. Is b composite?
False
Let p be (-11)/(-66) + (-4505)/(-6). Suppose 2150 + p = 3*k. Is k a prime number?
True
Let q be 3/12 + (-1571)/(-4). Let h be 0/3 + 4 - 1. Suppose 0 = -3*s + 3*i + 393, s - h*i + q = 4*s. Is s composite?
False
Suppose 0*u + 55 = 5*b - 5*u, 2*u + 37 = 3*b. Suppose -41 = -2*k + 2*v - b, 57 = 5*k - v. Suppose -16*i + k*i = -2485. Is i a composite number?
True
Let y = 25 - 