- 20. Let x = -2411 - y. Is x a composite number?
True
Let m(a) = -9*a - 14. Is m(-11) a composite number?
True
Let o(j) = j**3 + 2*j**2 - 3*j + 7. Let m be o(-5). Let k = m - -90. Is k a prime number?
True
Let u = 145 - -162. Is u prime?
True
Let o be ((-1)/2 + 0)*-8. Suppose 2*w - 158 = o*u, 4*w = 5*u + 6 + 325. Is w prime?
True
Let b = 52 - 30. Let g be (-6)/(-5)*(-30)/12. Let x = g + b. Is x prime?
True
Let d = -811 + 1348. Suppose -94 - 290 = -c + 4*k, 2*c = -3*k + 746. Let y = d - c. Is y composite?
True
Let d(a) be the third derivative of a**5/60 + a**4/8 - a**3/2 - 2*a**2. Let t be d(-3). Is (-6)/t - (-18 + 1) a prime number?
True
Let n(w) = -1. Let g(s) = 5*s + 1. Let u(c) = -g(c) + n(c). Is u(-3) a prime number?
True
Suppose 3*h = 3*d + 87, -2*d + 37 = h + d. Is h a composite number?
False
Let f = -14 - -20. Suppose -g + f*g - 65 = 0. Is g composite?
False
Let j(k) = -k**2 + 16*k - 8. Is j(11) prime?
True
Let j = 4 - 2. Let f(u) = -u + 1. Let m be f(-6). Suppose m = -2*l - 4*h + 117, -5*l + 227 = -j*h. Is l a prime number?
True
Suppose f - 3*y = 0, -y + 3*y - 2 = 0. Is f a prime number?
True
Let f be (5/20)/(2/24). Suppose -f*i = i - 388. Is i prime?
True
Suppose 4*x - 42 - 162 = 0. Is x a composite number?
True
Let u(d) = 39*d**2 - d + 13. Is u(-7) prime?
True
Suppose -5*b + 1002 = 3*q, 0*b = 4*b + 12. Is q prime?
False
Let t = 5 - 0. Is (t + -6)/(1/(-127)) a prime number?
True
Suppose -735 + 3123 = 2*j + q, 0 = q - 2. Is j a prime number?
True
Suppose 0 = -4*d + 1610 + 170. Is d composite?
True
Let r(k) = 52*k**2 + 2*k - 1. Suppose -i - 2*i = -3. Is r(i) a prime number?
True
Suppose -18*y + 21*y = 927. Is y a prime number?
False
Let l(v) = -5*v**2 - 6*v - 2. Let a(i) = -6*i**2 - 5*i - 1. Let o(w) = -6*a(w) + 5*l(w). Let z be o(-3). Suppose 0 = -0*c + 5*c - z. Is c a prime number?
True
Let a(c) = 8*c - 1. Let m be a(11). Suppose m + 6 = 3*s. Is s a composite number?
False
Let h(t) = -t**3 - 4*t**2 - 3*t - 1. Let z be h(-2). Let d = z + 6. Is 2/d*(18 + -3) a composite number?
True
Let a = -85 - -132. Let h = a - 25. Is h a composite number?
True
Let i = -1454 - -2085. Is i a prime number?
True
Suppose -2*c + 1443 = 3*i, -3*i + 4*c + 1634 = 209. Is i prime?
True
Let y be 24/9*15/(-4). Let h be (-1)/5 + (-2)/y. Suppose -3*i + j + 152 = 0, 0 = -i - h*j + j + 50. Is i a prime number?
False
Suppose -25 = 4*y - 9*y. Suppose -6 - 4 = y*l. Is l + 5 + 1/1 prime?
False
Suppose -8 = -2*o, 4*m + o + 36 = 5*o. Let b(z) = -14*z**3 + 7*z**2 - 5. Let f be b(m). Is f/25 + (-2)/(-10) a prime number?
False
Let p(i) = 4*i**3 - i**2 + i. Let t be p(1). Let q(y) = 2*y**3 - 4*y**2 - 5*y + 6. Let b be q(t). Suppose 0 = 4*j + b - 174. Is j a prime number?
True
Let q(g) = 27*g**2 + 2*g + 6. Let n be q(5). Suppose 5*f = -n + 2846. Is f a prime number?
True
Let h(p) = 13*p**3 - 4*p**2 + 1. Let j be h(3). Suppose j = -f + 5*f. Is f prime?
True
Suppose 0 = n - m - 7, -31 = -4*n - 0*m + 5*m. Suppose 3*p - n*r + 5*r = 61, 2*p - 4*r - 22 = 0. Is p a prime number?
True
Let p = 902 - 501. Suppose q - 5*r = p, 4*q = -r + 6*r + 1544. Suppose 2*x - 5*b = -x + q, -x = b - 127. Is x a prime number?
True
Let b(s) be the first derivative of s**7/840 - s**6/120 + s**5/120 - s**4/6 - 2*s**3/3 - 2. Let h(m) be the third derivative of b(m). Is h(5) prime?
False
Let h(d) = -16*d - 17. Is h(-9) composite?
False
Suppose -3*k = -2*l + 97, -2*l - k + 3*k = -96. Let y = l + -114. Let a = 78 - y. Is a a prime number?
False
Suppose h = -124 - 16. Let j = h + 398. Suppose 3*n = j - 9. Is n a composite number?
False
Let h(b) = -16*b + 11. Let r(g) = 11*g - 7. Let c = 5 - 10. Let z(q) = c*h(q) - 7*r(q). Is z(4) composite?
True
Let z = 3 - -1. Let k(t) = t + 10. Let a be k(-7). Suppose z*r - 55 = -r - 2*m, 0 = -a*r - 2*m + 29. Is r a composite number?
False
Let q = 6 - 2. Is (-160)/(-24) + q/(-6) a composite number?
True
Let h be (-2)/8 + (-22980)/(-16). Suppose 2*t - 3*y = 218 + 370, -5*t - y = -h. Suppose -4*o = 3*x - 239, -3*x + o - 59 = -t. Is x a composite number?
True
Is -22*(-2 + 1332/(-8)) a prime number?
False
Let y(w) = -15*w + 4. Let r be y(-10). Let p = r - 608. Let t = p - -639. Is t a prime number?
False
Suppose -172 = -4*j - 0*j. Is j a prime number?
True
Let x(r) = 2*r - 3. Let b be x(2). Let l = 10 + b. Suppose 2*m = 3*m - d - l, 5*m = 4*d + 59. Is m composite?
True
Suppose 3*b + r = -125, -5*b = -r + 241 - 30. Let g be (93/(-9))/(2/(-18)). Let s = g + b. Is s prime?
False
Suppose -5*c - 136 = -2216. Suppose 213 = j - c. Is j a prime number?
False
Let n be 1/(((-9)/(-12))/(-3)). Let v = 4 + n. Let q(w) = w**2 + 39. Is q(v) prime?
False
Is -3 + (-33)/6*-116 a prime number?
False
Let t(g) = g**3 - 5*g**2 - 5*g - 4. Let m be t(6). Is m/8 + (-585)/(-12) a prime number?
False
Let a = 18 - 13. Suppose -a*x + 5010 = x. Is x a composite number?
True
Suppose 92 = -4*d + 3*k, 105 = -4*d - k + 13. Let u(x) = 12*x - 4. Let o be u(5). Let b = d + o. Is b a composite number?
True
Let g(o) = o**2 - 6*o - 5. Let k be g(7). Suppose 5 = 2*v - 1. Suppose -k*f = -5*c - f + 474, 3 = v*f. Is c composite?
True
Suppose x = 5*p - 1475, -x = -5*x. Is p a prime number?
False
Let b be (1 - 1)/(-1 + -1). Let y = b - 2. Is (-215)/(-1) + (y - -5) prime?
False
Let f = -370 + 525. Is f prime?
False
Suppose 0 = -5*i - 5*k + 7395, i + 4*k = -i + 2954. Is i a composite number?
False
Suppose -4755 = -8*k + 997. Is k a composite number?
False
Suppose 2*g + 2*g - 12 = -4*m, 0 = -2*m + g + 9. Suppose -q + v + m*v + 11 = 0, 4*v - 8 = 0. Is q composite?
True
Let a be (-28)/1*2/(-4). Suppose -3*p + 5*p - 3*w - a = 0, -12 = 3*w. Is p*23 + 6/3 a composite number?
True
Let h(c) = c**3 - 7*c**2 - 4*c - 7. Let n be h(8). Let b = -12 + n. Is b prime?
True
Let z = -76 - -142. Suppose 5*q - z = 39. Is q a prime number?
False
Suppose 3*w - 5*g - 5388 = 0, 4*w + 3*g + g = 7216. Is w prime?
True
Let s be (8/3)/((-4)/(-318)). Is (s/2)/(4/2) composite?
False
Let p(z) = z**3 - 3*z**2 + z + 4. Let y be p(3). Let o(j) = 3*j - 6. Let b(k) = -k + 1. Let w(x) = -4*b(x) - o(x). Is w(y) prime?
False
Let s(j) = 2*j - 8. Let z be s(6). Suppose -4*k - 2*u = -1232, -5*k = -z*u + 5*u - 1537. Is k composite?
False
Suppose u - 2*u - 4 = 0. Let n(h) = h**2 + 7*h - 17. Let v be n(-9). Is (38/(-8))/(v/u) a prime number?
True
Let x(i) = i**3 - 14*i**2 + 16*i + 8. Is x(13) prime?
True
Is (-1623)/(-11 + 3 - -5) prime?
True
Suppose 0 = -5*s + y - 41, 5 = -4*s + 5*y - 11. Let j = s + -21. Let f = j + 67. Is f a composite number?
False
Suppose 4*u - 3 = u - 2*j, -4*j = -4*u + 24. Suppose -u = 4*a - 391. Is a composite?
False
Let o(h) = 21*h**3 - 2*h**2 - 4*h + 1. Let g(z) = 43*z**3 - 4*z**2 - 9*z + 1. Let r(w) = -2*g(w) + 5*o(w). Is r(2) prime?
False
Suppose 2*m = 3*a + 3 - 2, 3*m = -4*a + 10. Suppose -2*v + m*o = 8 - 28, -5*v + 3*o + 44 = 0. Suppose -v*f = -3*f - 44. Is f a composite number?
False
Let p = 542 - 357. Suppose -2*k + 7*k = p. Is k composite?
False
Let n(o) = o**2 - 4*o - 8. Let i be n(6). Suppose -i*l = -251 - 53. Suppose l = 2*h + 2*h. Is h prime?
True
Let m(h) = -h**3 - h**2 + 5. Let b = -3 + 3. Let i be m(b). Suppose i*a = -10, -a = -3*v - 11 + 79. Is v a prime number?
False
Let u(g) = g**3 - g**2 - 2*g + 1. Let v be u(2). Is 1*214 + (-3)/v a prime number?
True
Let m be 1 - (-61 + (3 - 1)). Suppose j + 12 = 4*j. Suppose j*b - 64 = m. Is b a prime number?
True
Let k be ((-1)/2)/((-1)/10). Suppose -4*z + z + 9 = 0. Suppose -2*m + j = -z*m + 5, -j + 33 = k*m. Is m composite?
False
Suppose 4*l + b = 4*b + 10826, -4*l - 2*b + 10816 = 0. Is l a composite number?
True
Let a(m) = -m + 4153. Is a(0) prime?
True
Let d = -515 - -1150. Is d prime?
False
Suppose 0 = 3*y - 2*l - 3*l - 162, -5*l + 162 = 3*y. Let k = y + 1. Is k a prime number?
False
Suppose 5*d - x = d + 47, 0 = 4*x + 12. Suppose -485 = -d*h + 6*h. Is h composite?
False
Let y = -306 + 561. Suppose 10*f = 5*f + y. Is f a composite number?
True
Let f(n) = 471*n + 37. Is f(6) prime?
False
Let v = 7 - 4. Suppose 4*d - f + 2*f = -5, 3*f = -3*d + v. Is 36 - 2*d/4 prime?
True
Suppose 6*p - p - 20 = 0. Suppose 3*y = p*y - 679. Is y prime?
False
Is (0 + 3 + -1)*443/2 composite?
False
Suppose 10 = 4*r + r. Let y be (-1)/3 + r/6. Suppose y = -b - 56 + 213. Is b prime?
True
Let n(q) = 45*q