 0 = 3*l - 4*s - 223, -l = 2*s - 5*s - 81. Let u = l + 28. Is u prime?
True
Let n be (-2 - 1*-9)*1. Let x(g) = -6*g + 1. Let o be x(n). Let d = -26 - o. Is d a prime number?
False
Let l(f) be the third derivative of -f**5/60 - f**4/6 - f**3/3 + 2*f**2. Let u be l(-5). Let w(s) = 2*s**2 - 5. Is w(u) prime?
False
Let v(g) = 70*g. Let q be v(-1). Let n = q - -107. Is n a composite number?
False
Let l = 136 - 47. Is l composite?
False
Let f(t) = -t**2 - t + 2. Let h be f(0). Is 0 + (-4)/h - -17 a composite number?
True
Suppose -r - 2*r = -4*s + 113, 0 = r + s + 40. Let f = r - -102. Let h = -28 + f. Is h a prime number?
False
Let y = 1 + 1. Suppose 2*u = -a + 49, -u - 19 = 5*a - 66. Suppose 0*m + y*m = u. Is m a composite number?
False
Suppose -2*w = 2*w + 60. Is (-6)/w - 186/(-10) prime?
True
Let o = -2394 + 4325. Is o a composite number?
False
Let m(j) = -2*j**2 + 4. Let c be m(3). Suppose 0 = -4*p - 0*p - 100. Let f = c - p. Is f a prime number?
True
Let d(x) = -11*x**3 + 2*x - 1. Let w be d(1). Let q(n) = 2*n**2 + 12*n - 1. Is q(w) prime?
True
Suppose -3*u = -288 - 1041. Is u a composite number?
False
Suppose 0 = 12*w - 9*w - 1623. Is w a prime number?
True
Suppose 5*j = 5*b + 2920, -2*j - b = 42 - 1219. Is j prime?
True
Suppose 5*h + 2*h = 105. Is h composite?
True
Let l(b) = b**3 - 10*b**2 + 8*b + 11. Let k = 22 + -13. Let z be l(k). Suppose -6*c + z*c = -40. Is c composite?
True
Let r(o) = -o**3 - 10*o**2 - o - 6. Let d be r(-10). Suppose -5*s - 5*i = 0, -14 = -4*s + i - d. Is s a composite number?
False
Let f = -480 - -1729. Is f a composite number?
False
Let h = 25 + -13. Let o be h/(-66) - (-717)/11. Suppose 2*y - 7*y + o = 0. Is y prime?
True
Is 12/(-30) + 13807/5 prime?
False
Suppose 1 = 3*h + 3*w - 23, 5*h + 4*w - 37 = 0. Suppose -h*i - 649 = -3*x + 297, 2*i + 624 = 2*x. Is x a prime number?
True
Suppose -102 - 363 = -5*i. Is i a prime number?
False
Let v(t) = 133*t. Let y be v(-1). Let a be ((-2)/(-4))/(3/(-396)). Let h = a - y. Is h composite?
False
Let z = 0 + 5. Suppose -2*w + 38 = -5*r, 0 = -z*w - 2*r - 2*r + 29. Is w prime?
False
Let y(u) be the first derivative of 97*u**2/2 + 5*u - 5. Is y(6) prime?
True
Let y = 7 + -5. Suppose 0 = 2*x - 2*l - 766, -3*x - 774 = -5*x + 4*l. Suppose 3*k + 3*q = 5*k - x, -y*q = 4*k - 766. Is k a composite number?
False
Suppose 5*w + 701 = 3*o, -5*o = 5*w - 4*w - 1187. Is o composite?
True
Let m = 227 + -4. Is m a composite number?
False
Is ((-902)/(-2))/((-5)/(1 + -6)) prime?
False
Suppose 2*a = 3*a - 4. Suppose 186 = a*l + o, -5*l + 3*o - 53 = -294. Is l composite?
False
Is (554/8)/(1/28) a composite number?
True
Suppose -5*x = -2*k + 1 + 29, -5*x = 2*k - 30. Let d be (k/4)/5*4. Is 13/(-3*(-1)/d) a prime number?
True
Let w(a) = 2*a**3 - 9*a**2 - a - 3. Is w(7) composite?
True
Let c = -51 + 91. Suppose 0 = -5*a + a + c. Is a a composite number?
True
Suppose 0 = 3*k - 6*k + 21. Is (-2)/k - 3120/(-42) prime?
False
Let m(v) = -2*v + 121. Is m(0) a prime number?
False
Suppose -5*v = 4*n - 1015, -v - 2*n - 2*n + 203 = 0. Is v a composite number?
True
Is (1/2)/(5/4990) a composite number?
False
Suppose 168 = -6*u + 2*u. Let y = 37 - u. Is y composite?
False
Let h be -3*((-1479)/9 + 2). Let v = h + -194. Is v a prime number?
True
Suppose -2*s = -o - 517, 2*s - 520 = 2*o - 4*o. Is s composite?
True
Suppose w - 4*i - 1267 = -228, 3*w - 3177 = -3*i. Is w composite?
True
Let r(g) = -g**2 + 17*g - 12. Let p(y) = 3*y + 4. Let v be p(2). Is r(v) a composite number?
True
Let y(n) = n - 2. Let a be y(1). Is 1 + a/1 - -203 a prime number?
False
Let m = 21 - 21. Suppose o = 4*k - 16 - 708, 5*o = m. Is k composite?
False
Let m(n) = 28*n + 4. Let q be m(3). Suppose -44 = -4*p + q. Is p/12*1*28 a prime number?
False
Suppose 2*j - 2*h + 0*h - 328 = 0, -j + 2*h + 167 = 0. Is j composite?
True
Suppose 3*x + 6*g - 11*g - 3767 = 0, -5*g - 6285 = -5*x. Is x prime?
True
Let k(a) = -a**3 - 12*a**2 - 16*a + 7. Is k(-12) prime?
True
Let o(g) = g**2 - 2*g - 9. Is o(12) a prime number?
False
Suppose 5*w - 382 = 2963. Suppose -3*g - 127 = -f, 7*f - 2*f + 2*g - w = 0. Is f a composite number?
True
Let l = -11 - -6. Let y(i) = i**2 + 3*i. Let h be y(l). Is 526/10 - (-4)/h composite?
False
Let u(n) = -3*n + 10. Let w(z) = -2*z + 7. Let r(c) = -5*u(c) + 7*w(c). Let p(h) = 3*h + 10. Let g(j) = -p(j) - 5*r(j). Is g(-5) composite?
True
Suppose -8 = -2*n - 0. Is 12*2 + (-4)/n composite?
False
Let h(v) be the second derivative of -3*v**5/20 + v**4/12 + 2*v**3/3 + 3*v**2/2 - 2*v. Let d be h(-3). Let q = 200 - d. Is q prime?
False
Let w(s) = -434*s + 1. Let a be w(-2). Let l = a + -576. Is l prime?
True
Let q(j) = -59*j**3 - 3*j**2 - 3*j - 2. Let n be q(-2). Let m = n - 154. Suppose 85 = f - 4*w, 0*w + w = 4*f - m. Is f a prime number?
False
Suppose -4*w - 7237 = -3*c, 6*c - 3*c + w = 7217. Is c prime?
False
Let l = -1 - -1. Let c be -2 - -4 - (0 + l). Suppose -4*h + 4 = 2*v - 2, -c*h + 3*v = -15. Is h a composite number?
False
Is -1 - 298*(0 - 4) a composite number?
True
Let u(t) = -2*t**3 - 2*t + 0 + t**3 + 4 + 0*t**3 + 2*t**2. Is u(-3) a composite number?
True
Let x(q) = -215*q - 31. Is x(-6) prime?
True
Suppose -5*z = y - 8241, 4*z = 3*z - 2*y + 1641. Suppose 0 = -5*u + 3*a + z, 0 = 2*u + 4*a - 2*a - 666. Is u prime?
True
Suppose 3*b = 2*b. Suppose w - s + 7 = b, -3*s = -4*w - 37 + 8. Is 1 - 26/4*w a prime number?
True
Let k = 510 - -191. Is k prime?
True
Let u(h) = h + 11. Let z be u(-6). Suppose -3*g - 5*k - 3 = 3, -k = -z*g + 18. Suppose g*d = 5*r + 2*d - 98, 5*r - 92 = -d. Is r composite?
False
Let k be 238 - (-1)/((-3)/(-9)). Suppose -s + 70 = -3*y - 6, 3*s + 4*y = k. Is s a prime number?
True
Let a(m) = -3. Let c(s) = -s + 1. Let j(g) = a(g) - 2*c(g). Is j(9) a composite number?
False
Let u(q) = 53*q - 10. Let z be u(6). Suppose -3*n + 7*n - z = 0. Is n a prime number?
False
Let v = 140 + 2037. Is v a composite number?
True
Let n = -4 + 1. Let h be (-2)/(-6) + (-203)/n. Is (h/10)/(1/5) a composite number?
True
Suppose 0 = -3*h + h - 18. Is 1 - 3*336/h composite?
False
Let q(k) = 15*k + 8. Is q(15) prime?
True
Suppose 3*s - 4*s = -21. Is s a prime number?
False
Let j(x) = x + 9. Let n(q) = q**2 + 9*q + 5. Let h be n(-7). Let y be j(h). Let s = 91 + y. Is s composite?
True
Let a(n) = -n**3 - n**2 - 3*n + 6. Let l(u) = -u - 10. Let m be l(-5). Is a(m) composite?
True
Suppose 10*j - 3582 + 532 = 0. Is j prime?
False
Let q = 0 + 0. Suppose q = -s - 0*s + 47. Is s composite?
False
Let m = 3274 - 1071. Is m a composite number?
False
Let i(f) = 381*f**3 - f + 1. Is i(1) a composite number?
True
Suppose -3*u - 1974 = -3*c, -3*c = 4*u - 1377 - 618. Suppose -2*z + 3*z = -4*i + c, -4*i = -5*z + 3185. Is z composite?
False
Let y(x) = 66*x - 7. Is y(3) a composite number?
False
Let w(y) = -y**3 + 2*y**2 + 5*y - 4. Let h be w(3). Suppose 0 = -3*b - h*g + 355, 3*g - 5*g + 125 = b. Is b composite?
True
Let t = -6 - -6. Suppose 363 = -t*o + 3*o. Is o composite?
True
Let l be (-27)/(-5) + (-2)/5. Let z = l - 0. Let t = z + 18. Is t a composite number?
False
Suppose -4*w + 13 = -7. Suppose l = w*l - 56. Is l a prime number?
False
Suppose 2*i = 3 + 1. Suppose 3*s = 2*p + 111, 5*s = -i*p - p + 185. Is s a prime number?
True
Suppose -3*a + y + 141 = -2*a, 2*a - 3*y - 280 = 0. Is a composite?
True
Let b(f) be the second derivative of f**4/12 + f**3/3 + 7*f**2 + 7*f. Is b(-8) a prime number?
False
Let d be (-58 - -1)/(6/(-8)). Suppose 2*k = x - 25, -4*x - k + 33 = -d. Suppose 2*q + 5*g - x = 0, 0 = q - 5*q + g + 109. Is q prime?
False
Suppose -b + 5 = 2*x + 2, 12 = -3*x + 4*b. Suppose 0 = -2*g - x*g + 4644. Is g/30 - (-4)/(-10) a composite number?
True
Suppose p = 5*t + 11 + 222, 3*p - 3*t = 747. Is p prime?
False
Is 6/(-8) - 1175/(-4) a composite number?
False
Let v be 2/(-5) + (-15)/25. Is (-6)/3 + (156 - v) prime?
False
Let v(x) = 123*x**2 - x - 5. Is v(3) composite?
True
Let g(h) = -h**2 + 6*h - 9. Let a be g(6). Is (-3)/(-9) - 600/a a prime number?
True
Let a = 182 + -4. Is a a composite number?
True
Let d be 438*((-16)/6)/4. Is 3 - (d - (-12)/(-3)) composite?
True
Suppose -249 = -0*u - 3*u. Suppose u = 4*c - 37. Let i = c - -29. Is i a prime number?
True
Let q(z) be the second derivative of 7*z**3/3 - z**2/2 - 5*z. Is q(6) a composite number?
Fa