et u be (-5)/((-424)/422 + 1). Suppose 0 = 5*d + x*p - 645 - 700, -p = -4*d + u. Is d a prime number?
False
Let g = 7736 + -2809. Is g prime?
False
Suppose 5*m - 3*l = -7*l + 20400, -20415 = -5*m - l. Suppose -14*w + m + 2034 = 0. Is w a composite number?
True
Let c(d) be the first derivative of 7*d**5/12 + d**4/24 - d**3/6 - d**2 + 1. Let w(j) be the second derivative of c(j). Is w(1) composite?
True
Let b(u) = 11*u**3 - 5*u**2 + 2*u - 1. Let q be b(-3). Let c = q - -712. Is (-9)/(-3) + 1 + c prime?
True
Let a(t) = t**3 - 23*t**2 + 13*t - 19. Let y be a(23). Suppose -5*o + 55 = -y. Is o a prime number?
True
Suppose -7*p + 2*v = -4*p - 8811, 4*v + 8805 = 3*p. Is p a composite number?
False
Suppose 5 = -5*c - 0. Let v be 2 - c/(3/90). Let r = v - -285. Is r a composite number?
False
Is (-1)/((-6)/(-6)*1/(-8419)) prime?
True
Let l = 12760 - -1039. Is l composite?
False
Let k = -74 - -76. Suppose -k*a + 5*a - 2132 = -4*g, a + 2665 = 5*g. Is g a prime number?
False
Let j be 49/((-1)/(37 - (-4)/1)). Let s = j + 2932. Is s a prime number?
False
Is 9 + -11 + -1 + 63970 a prime number?
False
Let i(c) = c**2 + 10*c + 12. Let p be i(-9). Let s be (14/3 - p)*-6. Is 981/11 - s/(-55) a composite number?
False
Is (8 - 9*-279) + 2 composite?
False
Is 12312 + (-1 - (-3 - -3)/(-5)) a composite number?
True
Suppose 12 = 4*g - 8, q - 5*g = 8766. Is q prime?
False
Suppose -5*w + 3046 = 3*m, 2*m - 3*w - w - 2038 = 0. Suppose -3*k + m - 6 = 0. Is k a composite number?
False
Suppose 5*s = 25, 4*y - 31*s - 178717 = -28*s. Is y a composite number?
False
Let j(h) = -5*h**3 + 12*h**2 + 6*h + 23. Let m(y) = -3*y**3 + 8*y**2 + 4*y + 15. Let s(a) = -5*j(a) + 8*m(a). Let r be s(-5). Is 193/5 - 12/r prime?
False
Let u be 3/(-2)*(-27576)/54. Let p = u + 3. Is p prime?
True
Suppose -21*f + 55734 = -11907. Is f a prime number?
True
Suppose -3*g + 919 = -2*g. Suppose -d - g = -2*z + 3*z, -5*z + d = 4619. Let b = z + 1558. Is b prime?
False
Let n = -28 - -32. Suppose 3*z + 7321 = 8*z - n*w, 0 = -2*z - 3*w + 2933. Is z a composite number?
True
Let a be (-5)/(-2)*(-12)/(-10). Suppose 0 = a*t - 5*t. Is (2 + t)/2 - -126 a composite number?
False
Let y be 103 - (-7 - (-2 + -1)). Let h = 200 - y. Is h a composite number?
True
Suppose -3*c + 1 = -5*y + 8, 3*c = 3. Suppose 5*v - y*a = -7*a + 14815, 0 = 3*v + a - 8889. Is v a prime number?
True
Let z be ((-1)/2)/((-8)/845760*5). Suppose -1558 = -10*q + z. Is q a prime number?
True
Let k = 11 - 14. Let n be (-244)/16 + k/4. Let v(y) = -y**2 - 24*y - 1. Is v(n) a composite number?
False
Suppose h + 2*h - 48 = -4*m, 3*h - 24 = 4*m. Let c = h + -8. Suppose 5*o + 6*f - 15 = 2*f, -20 = c*f. Is o prime?
True
Suppose -5*u - 7830 = -11*u. Let f = u - -3956. Is f composite?
False
Let h(z) = z**2 + 11*z - 23. Let j be h(-13). Suppose -j*p - 170 = -524. Is p a composite number?
True
Suppose 2*v + 1075 = -3*g, 0 = 2*g + 3*g - 4*v + 1821. Let q(x) = 7*x**2 + x + 8. Let o be q(-9). Let z = o + g. Is z a prime number?
False
Let w = -17 + 30. Let d = w - 13. Suppose k - 30 - 49 = d. Is k a composite number?
False
Let z(t) = 112*t + 10. Suppose 4*g - 22 = 3*d, 6*g = 3*d + g + 23. Let y be z(d). Is (y/(-3))/((-2)/(-9)) a composite number?
True
Let b = 21 + -21. Let a(l) = l**2 + 2*l + 271. Is a(b) a prime number?
True
Suppose -m + 2821 + 66 = 0. Is m composite?
False
Let o(i) = i**3 - 3*i + 3. Let f be o(2). Let s be (-5 - -1) + f + 2. Suppose -5*a + s*a + 718 = 0. Is a prime?
True
Let n = -73 - -75. Suppose 5*w - 640 = q, -n*w + 5*q = -7*w + 610. Is w composite?
False
Is 0 - (-10 - (-82375)/(-1)) composite?
True
Suppose 74*g - 51006 = 68*g. Is g prime?
True
Let u(r) = 362*r + 11. Let y be u(-4). Let p = -740 - y. Is p prime?
False
Let m(b) = 179*b**3 + 1. Let c be m(1). Suppose 4*v - c = -5*y - v, -5*v = 10. Is y composite?
True
Suppose -4*w - b = -3*w + 136, -2*b = w + 136. Let u = w + 285. Is u composite?
False
Suppose 2*a - 3*q - 11 = 0, -5*a - 4*q + 5*q + 21 = 0. Suppose a*k + 1014 = 3706. Is k a composite number?
False
Let q = 56 - 65. Is 6/q*1194/(-4) composite?
False
Let v(t) = 2*t**2 - t - 1. Let s be v(-1). Suppose s*y - 1 = 3. Suppose y*c = -5*k - 2*c + 279, -5*c - 50 = -k. Is k a prime number?
False
Let h(y) = -y**3 - 10. Let k be h(-5). Suppose 4*b - 3*g - 962 = -k, b + g = 210. Is b a composite number?
False
Let f = -147 + 244. Suppose -5*a = -4*o - 449, -f = -2*a + o + 82. Suppose 3*h - 4*h = -a. Is h a composite number?
False
Let a be 10/(-6)*(-6 + 0). Suppose 3*f = -3*o - 2*f + 6, -a = -5*o - 3*f. Suppose -5*u + 2*g + 1229 = -o*g, 3*u - 759 = -3*g. Is u a composite number?
True
Suppose -220197 = -20*z - 13337. Is z prime?
True
Let l(o) = 1342*o - 123. Is l(26) prime?
False
Suppose -8*b + 13*b = 20. Is (2 - 718/b)*(-6)/5 prime?
False
Let p = 387 - 229. Suppose -90 = -5*w - 13*w. Suppose p + 897 = w*t. Is t a prime number?
True
Let w(y) = -166*y**3 + y**2 - 5*y - 5. Let z(n) = -n + 8. Let t be z(10). Is w(t) a composite number?
True
Suppose 0 = -i, -5*h + 3*i + 3730 = -0*i. Let r = 1287 - h. Is r prime?
True
Let k(q) = q**3 + 8*q**2 - 8*q - 2. Let a be k(7). Suppose a = -9*c + 10*c. Is c prime?
True
Suppose 0 = 2*o + 4*x - 228, 2*o - 228 = x + x. Suppose f + y + 3*y - o = 0, -f + y + 114 = 0. Suppose 2*w - 148 = f. Is w prime?
True
Let x(k) = -k**2 - 25*k + 13. Let m be x(-17). Let u = 67 - m. Let t = 335 + u. Is t composite?
True
Let i be 5444/(-36) - -4 - (-6)/27. Let l(b) = -296*b**3. Let z be l(-1). Let v = i + z. Is v prime?
True
Suppose -4 - 16 = 4*y, 2*w - 25 = 3*y. Suppose -w*a = -2758 - 2452. Is a a prime number?
False
Let p = 30963 + -17396. Is p a prime number?
True
Let n be ((-3)/(-2))/(45/(-240)). Is (-2)/n - ((-378885)/(-12))/(-13) a prime number?
False
Suppose c - 699 = 2*d, -2088 = -3*c - 5*d + 2*d. Suppose 0 = 4*s - 811 - c. Is s prime?
False
Let v be (6 - 8) + 2/2. Let t(k) be the second derivative of -413*k**3/6 - k**2 + 12*k. Is t(v) a composite number?
True
Let h(f) = 148*f**3 + 5*f**2 + 5*f + 3. Let m(c) = 148*c**3 + 6*c**2 + 6*c + 4. Let s(x) = 5*h(x) - 4*m(x). Is s(1) a composite number?
False
Let q = -121 - -122. Let b(c) = 981*c + 12. Is b(q) a composite number?
True
Let j(c) = -18*c + 6. Let v be j(-12). Suppose g = 4*g - 12, -5*g - 367 = 3*x. Let o = v + x. Is o a composite number?
True
Let k = 4 - 10. Let d = 10 + k. Suppose -d*h + 173 - 49 = 0. Is h a composite number?
False
Let i(k) be the first derivative of k**6/90 + k**5/24 - k**4/6 - 7*k**3/3 + 2. Let w(m) be the third derivative of i(m). Is w(-7) a composite number?
False
Suppose -t + 88 = -568. Let r = t + 405. Is r prime?
True
Let f = 41098 + -25749. Is f composite?
False
Let h(z) = -z**3 + 8*z**2 - 10*z + 1. Let y be h(4). Is 4/(-10) + (-2 - (-13235)/y) prime?
False
Is (-4)/((128/84020)/(-8)) a prime number?
False
Let t(k) = -2392*k**3 + 2*k**2 + 15*k + 14. Is t(-1) prime?
True
Let q = 57 + -49. Is (-3)/(6/q) - -798 a composite number?
True
Suppose 2*p = 0, -3*d + 10*p + 10923 = 5*p. Is d a composite number?
True
Let q(b) = -21 + 9*b + 50*b - 19*b. Is q(9) prime?
False
Suppose -4*l - 2*n + n - 14 = 0, 0 = -5*l - n - 18. Let o be (-28 - l)*82/4. Let u = -259 - o. Is u prime?
True
Suppose 0 = -3*v + 52 - 7. Is ((-921)/v)/(1/(-5)) prime?
True
Suppose 0 = -16*t + 4879 + 6465. Is t a composite number?
False
Let r(o) = 3*o**2 - 1. Let c be r(-1). Suppose 5*z - 429 = 3*z + 5*n, c*z - 3*n = 431. Is z composite?
True
Suppose -3*m + 36 = -2*w, 2*m = 3*m + 3*w - 1. Is ((-4)/m*31)/((-34)/85) prime?
True
Let b be (-5*10/(-25))/(4/(-66)). Is (8/(-12))/2*b a prime number?
True
Let p(h) = 10*h**3 - 2*h + 1. Suppose 2*z = -2*z + 8. Is p(z) composite?
True
Let m be ((-7)/14)/(3/(-6)). Suppose 0 + m = -2*r - u, -u = 3*r + 4. Is r + 2 + 0 - -147 a prime number?
False
Let j = 6 - 2. Suppose 6*n - 9*n = i - 17, 3*n - 22 = -2*i. Suppose 0 = -5*c - 4*w + 475, -n*w + 239 = -j*c + 583. Is c a composite number?
True
Let f(q) = -4*q + 21. Let s be 2/3 - (-7)/3. Let p be -12*(3 - (-1 + s)). Is f(p) composite?
True
Let h = 550 + -323. Suppose -1081 = -2*u - 373. Let c = u - h. Is c a prime number?
True
Let w = 2 - 9. Let i(r) = -r**2 - 2*r - 4. Let y be i(-6). Let o = w - y. Is o a composite number?
True
Let z(o) = -4*o**3 - 9*o**2 + 10*o - 5. Let w be 9/12 - 18/(-8). Let g(v) =