Is m composite?
False
Let r(m) = -m**2 + 34*m + 31. Is r(16) a composite number?
True
Let u be (141 + 2)*(-3 + 2). Is 2/1 - u - 0 prime?
False
Suppose 1698 = -5*i + 3*h, 3*i + h + 4*h = -1012. Let l = -71 + i. Is l/(-18) - (-8)/36 a prime number?
True
Let l = 1011 + -494. Is l composite?
True
Suppose l = w + 161 + 97, 2*l + w = 513. Is l a prime number?
True
Let p(b) = 8*b - 8. Let g(q) = 7*q - 8. Let n(o) = 5*g(o) - 4*p(o). Let f = -6 + 13. Is n(f) a composite number?
False
Suppose 5*b - 2*b - 12 = 0. Suppose 8 = -3*m + 4*y, 2*m - y - 4 = -1. Is (-1002)/m*b/(-6) composite?
False
Is (-201)/2*22/(-6)*2 prime?
False
Let z = -93 - -538. Suppose -g = -0*g - z. Is g composite?
True
Suppose -624 - 44 = -4*d. Is d composite?
False
Let y(v) be the third derivative of 0 - 1/60*v**5 + 1/24*v**4 + 23/2*v**3 + 0*v - 2*v**2. Is y(0) composite?
True
Let x be (7 - 5)*7/(-2). Is (-261)/x + (-2)/7 composite?
False
Let w be 39/(-21) + (-2)/14. Is 1/(w/6) - -214 composite?
False
Suppose 3*z + 2*z = 10, -4*y + z + 1658 = 0. Is y prime?
False
Let s be 4/3*(-11 + 14). Suppose -s*p + 97 + 151 = 0. Is p a composite number?
True
Let r(w) = 4 + 164*w**2 - 22*w**2 - 3. Is r(-1) a prime number?
False
Suppose -5*i + 2*g - g + 1187 = 0, -4*i = g - 946. Is i a prime number?
False
Let g be (-225)/(-5) + 0/1. Let v = g + -24. Is v composite?
True
Let h = 2236 - 977. Is h composite?
False
Let n = -10 + 10. Suppose -199 - 262 = -4*d + 5*w, -5*d - 3*w + 604 = n. Is d a composite number?
True
Suppose -5*o - 50 = -395. Is o composite?
True
Suppose -s = u - 0*u + 6, 0 = s + 3*u + 12. Let v = s - -3. Is -2 + (-79 - v)*-1 a prime number?
False
Let j(d) = d**3 + 2*d**2 + 4*d + 2. Is j(7) a composite number?
True
Suppose -4*a + 690 = 110. Is a prime?
False
Let r = 351 + -88. Is r composite?
False
Let i(p) = 4*p**2 - 10*p + 1. Is i(-12) a prime number?
False
Suppose 5*a - 326 = 3*a. Is a prime?
True
Suppose 4*s - 1487 + 403 = 0. Is s a prime number?
True
Let a = -8 - -8. Suppose a*b = -3*b + 150. Suppose 3*f + b = 5*f. Is f a prime number?
False
Let o = -221 - -319. Suppose j - o = -3*z - j, -2*z = -4*j - 76. Is z composite?
True
Let f(s) = -9*s + 11. Let u be f(-7). Let m = u - 43. Is m prime?
True
Suppose 0 = -3*g + 2*l + 5, 0 = g + 4*g - 2*l - 3. Suppose -3*v + 10 = -2*v. Is (-110)/v*g*1 prime?
True
Suppose 10*k = 7*k + 21. Is k a composite number?
False
Let h(u) = u + 14. Let c be h(-11). Suppose -c*n = 112 - 721. Is n prime?
False
Let p = 14 - -13. Suppose -r + 137 = -3*u, 3*u - 134 - p = -r. Is r prime?
True
Suppose 4*f - 377 = 627. Is f composite?
False
Let i(k) be the second derivative of k**5/20 - 5*k**4/12 - 7*k**3/6 - 5*k**2 + 3*k. Is i(7) composite?
True
Suppose 2*h = -4*n + 114, -99 = -5*n - h + 39. Suppose 0 = u - b - 36, 3*b = 2*u - b - 76. Is (u/(-6))/((-3)/n) prime?
False
Suppose 5*m - 12*m = -595. Is m a composite number?
True
Suppose 5*u = 2*x - 0*u - 261, 5*u + 143 = x. Is x a composite number?
True
Let i = 119 + -9. Let j(s) = s**2 + 4*s - 16. Let f be j(-7). Suppose f*x = 3*x + i. Is x prime?
False
Let p be 0*(-1 - 1 - -3). Suppose 4*n + p*q - 4*q - 216 = 0, 0 = -5*n + q + 266. Is n a prime number?
True
Suppose -21*c = -3*c - 14166. Is c prime?
True
Let i be ((-16)/(-14))/(2/7). Suppose w = i*w - 1023. Is w prime?
False
Let t(p) = -p**2 + 10*p + 15. Suppose r + 2*o + 10 = 2*r, 4*r - 28 = 5*o. Suppose -r*g = -5*g + 33. Is t(g) composite?
True
Suppose y = -5 + 3. Is (y + 1)/((-3)/57) a prime number?
True
Let i = -8132 - 1006. Is 6/(-27) - i/54 prime?
False
Let b(r) = -2*r + 3. Suppose j = 3*j + 6. Let s be 38/(-8) + j/12. Is b(s) prime?
True
Suppose 1 = -3*b - 14. Let m(c) = -c**3 + c**2 + 4*c - 3. Is m(b) prime?
True
Suppose -3*m - 14 = -2*x + 9, 3*m - 1 = -4*x. Suppose -v = v + x. Is 2 - 351/(v + -1) a prime number?
False
Let m(w) = 7*w**2 - 9*w - 15. Is m(-5) composite?
True
Suppose 0 = 4*a + 485 + 239. Let u be 18/24 - a/4. Suppose -w + u = w. Is w composite?
False
Let a be 140/65 - (-4)/(-26). Let h = a - -1. Suppose 0 = -3*u + 2*g + 431, h*g + 2*g - 445 = -3*u. Is u prime?
False
Let g be 6/27 - 133/(-9). Let j(f) = -19*f - 15. Let b be j(-5). Suppose 2*d + b = 5*y - g, -3*d - 76 = -4*y. Is y a prime number?
True
Let h(n) = -20*n - 22. Is h(-7) composite?
True
Let z = -3 - -54. Let a = z + -2. Is a a prime number?
False
Let g(o) = 61*o**2 - 6*o + 40. Is g(5) prime?
False
Let v be (0 + 7 + -2)*1. Suppose 0 = j + v*r - 29, 43 = 2*j - 0*r + 5*r. Is j a composite number?
True
Let z be 3/7 - 15240/35. Let s = 1088 + z. Is s prime?
True
Let p = -1 - -3. Let h = p - 2. Is h/(1*-3) + 14 composite?
True
Suppose -13*z + 63415 = -14494. Is z a composite number?
True
Let o = 8 - 8. Let n = -2 + o. Is (2/(-3))/(n/201) a composite number?
False
Let w = -13 - -18. Suppose w*g + 6 = -3*f + 2*f, 0 = 2*f + g - 15. Is f a composite number?
True
Let l(o) = -o**3 + 9*o**2 + 2*o - 9. Let d be l(9). Let g be ((-4)/(-3))/((-3)/d). Let a = g - -29. Is a a composite number?
True
Suppose 7*m - 4668 = 2003. Is m composite?
False
Suppose 5*l = -0*l + 25, -5*r - 5*l + 16330 = 0. Is r prime?
False
Let n(u) = 135*u + 23. Is n(2) a composite number?
False
Suppose -5*u - 2 - 3 = 0, -69 = -2*g - 3*u. Suppose -q = 3*q - g. Is (-2030)/(-18) - (-2)/q prime?
True
Let q be (-22)/(-5) - 14/35. Is 20/q*22/2 a composite number?
True
Let b = 89 - -265. Is 4/(-10) + b/10 a composite number?
True
Let y(s) = -2*s + 7. Let c be y(0). Let g(k) be the second derivative of 5*k**3/3 + 9*k**2/2 - 3*k. Is g(c) a composite number?
False
Let x = -1154 + 2411. Is x a composite number?
True
Suppose -5*k - n + 32 = 3*n, -n + 19 = 4*k. Suppose k - 2 = 2*s. Let p(t) = 32*t**2 - t. Is p(s) prime?
True
Suppose 0 = 11*i - 13*i + 740. Suppose 3*d = d + i. Is d composite?
True
Suppose -1 = 2*x + 1. Let h = 0 + x. Is -35*(0 - h/(-1)) a prime number?
False
Let h = -49 + 139. Let p = -409 - -744. Suppose 5*i - h = p. Is i composite?
True
Suppose -u - 1 = 1, -v + 639 = -2*u. Is v a prime number?
False
Let k be 2/3*(-45)/(-6). Suppose -k*g + 2*z = -8, -2*g = -2*z + 4*z - 6. Suppose -5*s - 2*r + 181 = -r, -g*r = 2*s - 66. Is s a prime number?
True
Let p(m) = 4*m**2 - 1. Let n(c) = -c**2 - 6*c - 1. Let d be n(-6). Let z be p(d). Suppose 2*b + 177 = 3*b - 2*u, 0 = -4*b + z*u + 718. Is b a prime number?
True
Let n = -180 - -316. Let z(g) = 2*g + 1. Let i be z(1). Suppose -k + 0 = 2*u - 45, -5*u = i*k - n. Is k composite?
False
Let u(j) = j - 2. Let w be u(5). Suppose w*o - 2 = -59. Let m = o + 40. Is m a prime number?
False
Let r be 376/10 + 8/20. Let s = r + 47. Is s a prime number?
False
Let h = 64 - 13. Is h composite?
True
Let v = -78 - -190. Suppose 2*t - p - v = -0*t, -2*p = -2*t + 108. Is t composite?
True
Suppose 0*z + 1266 = -z. Is ((-2)/(-3))/((-4)/z) a prime number?
True
Suppose w + 5*z - 16 = -2*w, 5*w - 10 = -5*z. Let s(p) = 5 - 7*p - 1 - 18*p - 2. Is s(w) a prime number?
False
Let k = 574 + 105. Is k a prime number?
False
Let b(m) = -m + 6. Let z be b(-6). Is -19*3/(z/(-4)) a composite number?
False
Suppose -2*d = 6, -7*d - 23 = -4*t - 2*d. Let j be ((-28)/t)/(6/6). Let z = j + 48. Is z prime?
False
Suppose 15*b - 30569 = 4*b. Is b composite?
True
Suppose 3*i + 3 = 0, -3*d + 4*i + 108 + 64 = 0. Is (-3)/((-6)/d) - 3 prime?
False
Let o be -6 + 3/((-3)/(-2)). Let g(z) = z**2 - z - 1. Is g(o) a prime number?
True
Let a be 1/(8/12)*-4. Is 261/a*10/(-3) a prime number?
False
Suppose -2*v - 2*x = v - 22, 0 = -v - 4*x + 24. Suppose -2*c = v*p - 22, c + c = 5*p - 5. Suppose -2*y - 775 = -6*l + l, 3*y = -p*l + 465. Is l a prime number?
False
Let l be (0 + 305)*(-8)/(-20). Let i = -79 + l. Let y = -18 + i. Is y a composite number?
True
Is 2/(3/(1338/4)) a composite number?
False
Is 933*(8/(-6) + 2) a composite number?
True
Let g(t) be the third derivative of -t**4/24 - 7*t**3/6 - 2*t**2. Let a be g(-10). Suppose a*w + w = 140. Is w composite?
True
Let y be ((-30)/35)/(9/(-42)). Suppose 5*c + 3*k - 460 = -174, 2*k = y*c - 242. Is c composite?
False
Suppose -30*y + 33*y = 5079. Is y composite?
False
Let d(u) = 0*u**2 - 2 + 2*u - u**2 + 8*u. Let k be d(4). Suppose 0 = n + 3*b + k - 10, -3*n + b + 14 = 0. Is n a composite number?
False
Is (3 + (-7)/2)/(1/(-3302)) a composite number?
True
Let m = 601 + -234. Is m composite?
False
Su