 = 209 + 696. Suppose -2*w + 2249 = c*z - b, -2398 = -3*z + 5*w. Is z prime?
False
Let l = 228 + -128. Suppose -39 = i - g - l, g - 110 = -2*i. Let p = i - 6. Is p composite?
True
Suppose 3*c - 7792 = -4*y - c, -3*y - 5*c + 5842 = 0. Is y a prime number?
True
Is (-2082)/4*33*14/(-63) composite?
True
Let b = 12 + -10. Suppose v - b*v = -3. Is -3 - (-86 - 2) - v prime?
False
Suppose 0*u + 5*a + 1 = 2*u, -7 = u + 5*a. Let h be u - -2 - 2695/(-7). Suppose -h = -c - 4*c. Is c prime?
False
Let l = -8 + 10. Suppose -5*r = 2*b + 1018, -l*b - b - 1527 = 3*r. Let y = b - -760. Is y prime?
True
Suppose 0 = 3*m, j - m - 28 = -5*m. Let l = j - 25. Let a(x) = 20*x**2 - x + 2. Is a(l) prime?
True
Let z = -13 + 16. Suppose -z*j + 83 = -0*j - 5*k, -3*j + k = -67. Suppose -j = 5*o - 211. Is o prime?
False
Let d(p) = 2819*p**3 + 2*p**2 - 2. Is d(1) a composite number?
False
Suppose -2*f - 9*z - 686 = -5*z, z + 1039 = -3*f. Let v = f + 500. Suppose -v = -5*i + 32. Is i a prime number?
True
Let j(v) = -27*v**3 + 6*v**2 + 2*v - 5. Let b be j(-5). Suppose 5*h - 4*g - b = -3*g, 3*h + 3*g - 2088 = 0. Is h prime?
True
Let w be (-6)/27 - 76/(-18). Let p(o) = 29*o**2 - 4*o - 5. Is p(w) composite?
False
Suppose 0 = 6*d + 729 - 1995. Is d prime?
True
Suppose 7470 = 2*n - 25304. Is n prime?
False
Let o be (872 - 2)*(-24)/(-5). Suppose -7*k = -7955 - o. Is k composite?
False
Suppose 0 = 11*i - 172805 + 43038. Is i composite?
True
Let x = 3044 + 5619. Is x prime?
True
Let t(v) = -v**3 - v**2 - v. Let x = -4 - -4. Let y be t(x). Suppose y*z = 2*c + 2*z - 268, 652 = 5*c - z. Is c prime?
True
Suppose -5*a - 6 = -3*a. Let o be 270/72 + a/4. Suppose t = -l + 32, 2*l = -o*l - 5. Is t a prime number?
False
Let w(f) = 150*f**2 - f. Suppose 0 = 2*u + 5*t + 4, -2*u = -2*t - 2 - 8. Suppose 0 = i + u*i + 5*b - 24, -2*i = b - 6. Is w(i) a composite number?
False
Let z = 10 - -3. Suppose 5*o - 2 = z. Suppose 789 = 3*w - o*h, -3*w + 2*w - 4*h = -243. Is w composite?
True
Let f(h) = -h**2 + 10*h - 7. Let t be f(10). Let g(k) = -k**2 - 8*k - 10. Let c be g(t). Is (c/(-6))/(3/222) prime?
True
Let y be (208/(-1 - 0))/(-1). Suppose 2*u + 2*u = -y. Is u/8*(0 + -2) prime?
True
Let y = -3010 - -6347. Let l = -1178 + y. Is l composite?
True
Let v be 1 + -1*(3 + -4). Let k be 6/v + -10 + 4. Let o(x) = -103*x - 4. Is o(k) a prime number?
False
Suppose 7*h = 44513 + 28980. Is h a prime number?
True
Let o(d) = 10*d**2 - 13. Let b be o(-11). Let r = b + -310. Is r prime?
True
Suppose -5*b - 6 = 4*a, -5*b + 6 = -0*a + a. Let c(d) = 7 - 12 - 4*d**b + 3 + 262*d**2 + 3*d. Is c(1) composite?
True
Let q = -2 + 24. Suppose 4*h = -4*d + 24, -3*h - 8*d + q = -4*d. Is (h - 6) + (169 - -4) prime?
False
Let q = 1202 - 711. Is q a prime number?
True
Suppose -3*z = -0*z + 12, -5*z + 2000 = -5*u. Let n = u + 567. Is n a composite number?
False
Suppose 8116 = 6*r + 562. Is r prime?
True
Let k(v) = -95*v**2 - 12*v - 7. Let l(j) = -142*j**2 - 18*j - 10. Let z(r) = -8*k(r) + 5*l(r). Is z(7) prime?
False
Suppose 0 = -i, 5*l + i - 2*i = 1270. Suppose 3*c + 17 = 5*o + 165, o = 5*c - l. Is c a composite number?
True
Let r(k) = -2*k - 10. Let o be r(-7). Suppose -8 = 4*i + o*g, i - 3*g - 3 = -21. Let s(t) = 4*t**2 + 5*t + 1. Is s(i) a prime number?
False
Let l = 16 + 2. Let i = l + -16. Let a(n) = 27*n**2 - 2*n - 1. Is a(i) a prime number?
True
Let c = 58 + -58. Suppose c = 16*w - 7*w - 4437. Is w composite?
True
Let r = -4 - -6. Suppose r*p + 1 = -g, -3*g + 4*g + 1 = 0. Suppose 3*f - 2*f - 23 = p. Is f composite?
False
Suppose 321 = -3*k + 2184. Let g = k + 10. Is g prime?
True
Let t = 165 - 70. Let l = 568 - t. Is l a composite number?
True
Let v(k) = 14*k**2 + k - 14. Is v(11) a composite number?
True
Let z(h) = h - 21. Let r be z(21). Is r - (-3 - (179 + 3)) a prime number?
False
Suppose -w - w = -10. Suppose 3*p - w = 1. Suppose -t + 3*k + 80 = 0, -p*k = -4*t - 3*k + 385. Is t a prime number?
False
Suppose -11*m + 24 = 90. Is (-1982)/m - (-7)/((-63)/(-6)) a prime number?
True
Is (6 - 5)/((-9)/(-15597)) prime?
True
Let w(t) = -58066*t**3 + 10*t**2 + 11*t + 2. Is w(-1) composite?
False
Is (1*(-2)/3)/(38/(-623409)) composite?
False
Suppose -3*y - 378 = -12*y. Let a(v) = 2*v**2 + 5*v - 2. Let x be a(-5). Let t = y - x. Is t composite?
False
Is (17656/12*3)/1 - -3 a composite number?
True
Let s = -4 + 4. Let w(d) = d**2 - 3*d + 551. Is w(s) composite?
True
Let i = 22546 + -11909. Is i a composite number?
True
Let u be 6/((-3)/(9/(-6))). Suppose u*b - 4*d - 2411 = 0, -4*b = -d - d - 3198. Is b composite?
False
Let r(c) = c - 22. Let m be r(22). Suppose -l + 3*g + 422 = m, 4*l + 2*g - 2093 = -l. Is l a composite number?
False
Suppose -44*d = -370594 - 2568738. Is d composite?
True
Suppose 2*m = -m - 3*r + 9, 2*m = 2*r + 2. Suppose -6 = -0*h + 3*h, h = m*b - 746. Let s = -227 + b. Is s a composite number?
True
Let i be (10/5 - -2)/(-2 + 1). Suppose 2*p + 2*p = 3076. Is i/(-6) + p/3 composite?
False
Let l(q) = q - 3. Let r be (-7)/14 + 15/2. Let w be l(r). Suppose -5*b + x - 1304 = -4126, 2*x = w*b - 2254. Is b prime?
False
Suppose -4*y + 9*y - 90 = 5*h, -4*h - 3*y - 58 = 0. Let c(l) = -503*l. Let f be c(3). Is f*(h/(-6) - 3) composite?
False
Suppose x = 6*x. Suppose x = 6*d - 2*d. Suppose d = 3*q - 330 + 63. Is q a prime number?
True
Let u(m) = 903*m**2 + 83*m - 515. Is u(6) a composite number?
False
Suppose 5*m - 751 = -4*k, 0*m + m = 5*k - 917. Suppose q - 5*c - k = 114, -q = 2*c - 291. Is q composite?
False
Let f = -48 + 52. Suppose 0*r - 5124 = -4*r + 4*o, 5156 = 4*r + f*o. Is r a composite number?
True
Suppose -4*t + 4*p + 4451 + 537 = 0, 3*p = -3*t + 3729. Let c = -740 + t. Is c a composite number?
True
Suppose -5*g = -3*g. Suppose g = -0*b - 2*b + 6. Suppose b*z + 2*z = 255. Is z prime?
False
Suppose 0 = 5*w + 4*z - 20265, -2186 = -2*w + 2*z + 5902. Is w prime?
True
Let f(j) = 26*j + 4. Let x be f(-4). Is (-11018)/((-5)/(x/(-8))*5) a prime number?
False
Let s = 46 - 18. Suppose -3*p - 2*p - s = -2*h, 21 = -4*p + 3*h. Let a(m) = -27*m - 1. Is a(p) prime?
False
Let d = 12 + -5. Let t(u) = 3*u**2 + 4*u - 10. Let y be t(d). Suppose -5*s + y = -3*q + 427, q + 4*s - 93 = 0. Is q composite?
False
Suppose -3*t - 26683 - 30793 = -4*c, -3*c - 5*t = -43107. Is c a prime number?
True
Suppose -3*d + 4*m = -32887, 3*m + 2 = -1. Is d a composite number?
True
Let h(j) = -j + 299. Let a be h(0). Suppose -490 = 5*t + f, 3*t + f = 2*f - 294. Let m = a - t. Is m a prime number?
True
Let h be (-22)/(-6)*6/(-2). Suppose -4*f + 34 + 98 = -p, -2*p = -8. Let y = f + h. Is y composite?
False
Suppose 6*z = 3298 - 484. Let w = z - 152. Is w prime?
True
Let m = -40456 + 67635. Is m prime?
True
Suppose 2*v - 3*j = 2, -2*v - 3*v - 2*j = 33. Let o = v + 8. Suppose 19 = 4*p - o*p. Is p a composite number?
False
Suppose 6*p = 125 + 91. Suppose 5*c = -p + 1211. Is c a prime number?
False
Suppose 4 - 19 = -5*p. Suppose 4*o - 3*o + p*f = 327, 4*f = 4*o - 1276. Is o a composite number?
True
Let i(g) = 610*g. Let c be i(3). Suppose 0*h = 6*h - c. Is h a prime number?
False
Let b = 48 + -45. Is 466 - 0/b - (-10 - -9) a prime number?
True
Let o be (985/4)/(1/4). Suppose 292 = -5*n + 3*v + 1503, 4*n - o = -3*v. Let t = n - 165. Is t a composite number?
False
Let h(m) = -8*m**3 - m**2 - 5*m + 2. Let p(n) = -6*n**3 - 2*n**2 - 6*n + 3. Let c(i) = -4*h(i) + 5*p(i). Suppose 0 = j + 5, -b - 3 = 2*j + 1. Is c(b) composite?
False
Let y(s) be the third derivative of s**5/12 + s**4/24 + 9*s**2. Let m be y(-1). Is m/(-6)*3 + 79 a composite number?
True
Suppose -23 = -5*x - 3*u, -3 = -2*x + 3*u + 2*u. Suppose -4*i - 3*y + 27 = 0, -i = 43*y - 38*y - 28. Is ((-10)/x)/(i/(-30)) prime?
False
Let t = 18 - 8. Let s(p) = -p**2 + 9*p + 10. Let l be s(t). Suppose l*g - g + 53 = 0. Is g prime?
True
Let t(i) = 1895*i**3 - 6*i**2 + 4*i + 4. Let b(k) = 1894*k**3 - 7*k**2 + 5*k + 5. Let p(z) = 5*b(z) - 6*t(z). Is p(-1) prime?
True
Suppose 0*j + w = -2*j + 13, 0 = -w + 5. Let k = -37 + j. Let l = 66 + k. Is l prime?
False
Suppose -5*j = -7*j + 32. Suppose 0 = -j*w + 15*w + 1385. Is w a composite number?
True
Let b(k) be the first derivative of -k**4/4 + 2*k**3 - 5*k**2/2 - 2*k + 7. Let d be b(5). Is 57 - (2/d)/1 a composite number?
True
Suppose 0 = -2*d + l + 2, -18 = -4*d - 2*l - 3*l. 