mber?
True
Let c(p) = -p - 2. Let x be c(-2). Is (-15 - x)*4011/(-63) prime?
False
Suppose 78 = -8*m + 446. Suppose -887 = 45*u - m*u. Is u a composite number?
False
Suppose -5*l = -4*f - 21, 4*l + 1 = 2*f + 19. Suppose k - l*k - 32 = -2*x, -4*x = 2*k - 24. Let i(j) = 22*j**2 - j - 1. Is i(x) a composite number?
False
Suppose 0 = 9*w - 11*w + q + 106459, 2*q = 2*w - 106456. Is w a prime number?
True
Suppose -3*a + 8*r = 10*r - 19055, -r = 5*a - 31763. Is a a composite number?
False
Let w(s) = s**2 + s - 2. Let u be w(1). Suppose 5*y + 3*k - 3409 = u, -675 = -y + 3*k - 7*k. Is y prime?
True
Let d = 27 - 25. Suppose d*g - 2495 = -3*g. Is g a prime number?
True
Suppose -2901 = 3*u - 3*b, -b = 2*b. Let j = -278 - u. Is j a prime number?
False
Let a be ((-8)/3)/((-1)/(-6)). Suppose -40*y = -1071 - 4809. Let c = y - a. Is c prime?
True
Let j = -1950 + 3789. Is j a prime number?
False
Suppose 8*c - 5715 = 130717. Is c a composite number?
True
Let n be -3 + 3 - 2*-2. Suppose 2*d + 1622 = n*v, 2*v + d + 0*d - 817 = 0. Is v composite?
True
Let o be 3/(-2*1/2). Let n be o + (32*1)/4. Suppose -n*k + 475 = -5*r, 2*k - 4*r - 198 = -0*k. Is k a composite number?
True
Suppose -n - 4*a + 17 = 0, n + 3*a - 6 = 8. Suppose -2141 - 364 = -n*u. Is u prime?
False
Is (-2*1013 - 3)/(-1 - 0) composite?
False
Suppose 3*l + 0*i - 31 = 2*i, 0 = 4*l - 5*i - 46. Suppose z = -l*z + 580. Is z composite?
True
Let n(m) = 17*m**2 - 3*m + 20. Let v be n(8). Suppose -2*t = -4*b + v, 2*b + 3*t = 8*t + 526. Suppose z - 98 = b. Is z composite?
True
Suppose 0 = g, -4*y + 50*g = 45*g - 130636. Is y a composite number?
True
Let z(m) = 2*m**2 - 16*m - 35. Is z(25) composite?
True
Let x = 188 - 3. Suppose s + x = 2*s. Is s prime?
False
Let r(k) = -k**2 + 24*k + 34. Suppose 0*w = -11*w + 264. Is r(w) a composite number?
True
Let z(s) = 243*s**2 - 7*s - 12. Is z(-2) prime?
False
Let u = -8 + 7. Let r be 43 - 0/(4 + u). Suppose -2*x - r = -149. Is x composite?
False
Is ((-10)/(-30))/(4/366348) composite?
False
Suppose -43*u = -730081 - 258274. Is u composite?
True
Let b(w) = 3792*w**2 + w - 2. Is b(1) prime?
False
Let o = 85 + -57. Suppose o*i - 33*i = -5245. Is i a composite number?
False
Suppose -11*t + 6*t = -9860. Let y = t + -579. Is y composite?
True
Let j = -152 + 300. Suppose 3*a = 15 + 3. Is 1*j + a + -9 a prime number?
False
Let a(w) = 6*w**3 - 7*w**2 - 86*w - 17. Is a(12) prime?
True
Let f(v) = v**3 + 8*v**2 + 5*v - 9. Let q be f(-7). Suppose 5*i - 5 - 15 = 0, 47 = u - q*i. Is (-4 - 0) + u - -4 composite?
False
Suppose 5*a = p + 15543, p = a + 6*p - 3119. Is a prime?
True
Let b be (20/(-3))/((-10)/165). Suppose 3*o - 142 = b. Suppose -o - 43 = -r. Is r a composite number?
False
Let o(p) = -63*p**3 + 6*p**2 + 2*p - 22. Is o(-5) composite?
False
Is 1/(-2)*-2 - 6 - -1936 composite?
False
Let y(q) = 4*q**2 - 7*q + 11. Let w be y(10). Let g = w + 50. Is g a composite number?
True
Suppose -2*u = 2*u + 52. Let x(s) = 0*s**3 + 3*s**2 + 16*s - 14*s**2 + s**3 - 2*s**3 - 3. Is x(u) prime?
True
Let d = 59 + -55. Suppose -i + 5*y + 943 = 0, -2*i - d*y = 383 - 2213. Is i a composite number?
True
Suppose 3*j + 2*j + 4*x - 16463 = 0, 0 = -j + 4*x + 3307. Suppose 2*h - 3*h + 3287 = -o, -h + 5*o = -j. Suppose h = 5*i - 4100. Is i a composite number?
True
Let z be (-1924)/7 - (-3)/(-21). Let t = z - -720. Suppose -3*o = y - 266, t = 7*o - 2*o + 2*y. Is o a prime number?
False
Let c(d) = -733*d - 25. Let z be (-4 + 3)/(3*2/36). Is c(z) a composite number?
False
Suppose 4*y + 5*t - 1017 = 0, -764 = 6*y - 9*y - 5*t. Is y composite?
True
Let i(a) = 6*a - 9. Let k be i(12). Is 63084/k*(1 - (-2)/4) prime?
False
Suppose -4*z - 2*g = -6*z + 17330, 5*z - 43319 = 2*g. Is z composite?
False
Suppose -5*c = -0*c - 2*l - 18183, 0 = -5*l + 5. Is c composite?
False
Suppose -9*v + 36 = -3*v. Suppose -v*a + 111 + 3063 = 0. Is a a composite number?
True
Suppose 2*u = 6*u - 408. Let y = -92 - -181. Let x = y + u. Is x a composite number?
False
Let f be 1/4 - (-123)/(-12). Is (514/4)/(1/f*-5) composite?
False
Let s = 689 - 370. Is s + (0 - (-8)/(5 - 1)) composite?
True
Suppose 2*q - b + 6 = 0, -9 = 5*q - 5*b + 6. Is (-3)/q + 4413 + 1 a composite number?
True
Suppose -5*l + 4129 + 3486 = 0. Is l composite?
False
Let r(d) = -d**2 + 4*d + 18. Let z(k) = k + 1. Let w(y) = -r(y) + 2*z(y). Let s be w(8). Suppose -o - 4*a = -277, 5*a + 7 = s. Is o a composite number?
False
Let v = -692 - -273. Let d = -82 - v. Is d prime?
True
Let m = 3432 + -1169. Is m a composite number?
True
Suppose 18*k + 103265 = 37*k. Is k prime?
False
Suppose -i - 3 - 18 = -4*x, -3*i - 13 = -2*x. Let v(z) = -1144*z**3 + 2*z**2 + 5*z + 4. Is v(i) a composite number?
True
Let m be 1076 + -3 + (2 - -2) - -1. Suppose r = -2*r - j + 808, -4*r = 2*j - m. Is r a composite number?
False
Suppose 0 = -4*m - m + 40. Suppose 4*v + m*v - 5316 = 0. Is v a composite number?
False
Suppose -j = -266 + 91. Suppose 3*k + g = 21, -2*k - 18 = -6*k + 2*g. Suppose -k*c = -c - j. Is c prime?
False
Suppose -19*b = -12*b - 32753. Is b a prime number?
True
Let s(i) = 209*i + 69. Is s(20) composite?
True
Suppose 0 = -4*p - d + 332, -3*p + 268 = -6*d + 2*d. Let o = 275 - p. Is o a prime number?
True
Suppose -10*v - 4 = -14*v, 4*n = -4*v + 42320. Is n a prime number?
False
Suppose q = -4*b + 11, 3*q - 6 = q. Let z be (-2)/b + (-6)/6. Is (-78)/(-4) + 1/z a composite number?
False
Suppose 0 = -3*b + 12, f - b = 178 - 906. Let u = 1103 + f. Is u prime?
True
Let b(x) be the third derivative of -x**4/8 - 25*x**3/6 + 4*x**2. Let v be b(-10). Suppose -2*k + v*w = -99, -k - 4*w + 91 = 2*k. Is k composite?
False
Let i be 2*((-1293)/6 - -3). Let w = 1238 + i. Let s = -482 + w. Is s prime?
True
Is (-6)/18*-773*141 a prime number?
False
Let c be (-3)/(-15) + (-186)/5. Let o = -12 - c. Is o composite?
True
Is -3*(70488/(-27) + -3) composite?
False
Suppose 7 = -2*v + 15. Suppose s = -2*s - v*q + 121, -4*s - 4*q = -156. Suppose 2*c = s + 159. Is c a prime number?
True
Suppose -c = 3*d - 62066 - 2190, -321330 = -5*c - 5*d. Is c prime?
True
Suppose -5*l - 5*m + 2690 = 0, 0 = l - 0*l + 5*m - 518. Let p = l + -250. Is p a prime number?
True
Is 22/(2*5/55) prime?
False
Let r(u) = u**3 + 4*u**2 - 2*u + 1. Let f be r(-4). Let t(j) = -9*j**2 + 7*j**2 + 9*j**2 - 20 + 7*j**2 + 11*j. Is t(f) prime?
True
Suppose -2*j - 3935 = -76057. Is j a prime number?
True
Let f = 12289 - -13744. Is f a prime number?
False
Suppose -5*l = 10, -3*l + 3 = c + 7. Suppose 2*o = m + 1502, -5*o = -8*o + c*m + 2253. Is o prime?
True
Let r(p) = p**2 + 6*p + 8. Let k be r(-5). Suppose -263 = -3*n - k*j + 367, 0 = -n - 2*j + 210. Suppose -w = 5*w - n. Is w prime?
False
Suppose -2*c + 4*k + 1094 = 0, -6*k + 2747 = 5*c - 10*k. Is c composite?
True
Let x(t) = 2*t**3 - 98*t**2 + 13*t - 218. Is x(49) prime?
True
Suppose z + p = -10, -6*z - p - 34 = -z. Let f(g) = 14*g - 3. Let n(r) = 26*r - 7. Let s(h) = -5*f(h) + 2*n(h). Is s(z) a prime number?
True
Suppose -20 = r - 6*r. Suppose -r*u + 2*u + 460 = 4*b, 3*u - 2*b - 666 = 0. Suppose -622 = -5*o - 3*x, 4*x + x = 2*o - u. Is o prime?
False
Suppose -3*a + 4*b + 69419 = 6*b, 3*b + 115673 = 5*a. Is a a prime number?
False
Suppose -551*n = -556*n + 45755. Is n prime?
True
Suppose -6 = 20*v - 17*v. Let k be (-1 - 0)/(v/650). Suppose k = 3*f - 308. Is f a prime number?
True
Let g = -36 - -24. Let h(n) = -9*n + n - 7*n - 17. Is h(g) a composite number?
False
Let o(n) = 9*n**2 - 3*n - 6. Let r be o(-4). Let u be ((-9)/(-6) + -1)*-146. Let z = u + r. Is z composite?
True
Suppose 73415 = -104*t + 4659295. Is t prime?
False
Let k(i) = -i**3 + 6*i**2 + 6*i + 10. Let o be k(7). Suppose -o*t = -223 + 49. Is t composite?
True
Let z(l) = 268*l - 673. Is z(27) a prime number?
True
Let z(m) be the third derivative of -m**6/60 - m**5/30 + m**4/6 - m**3/6 + 2*m**2. Suppose 0 = -y - y - 8. Is z(y) composite?
False
Suppose 70*z - 53*z = 382449. Is z a prime number?
False
Let d(p) = -p**2 + 19*p + 6. Let x be d(19). Suppose -5*v = -4*s - 19, -v = -3*v + 2*s + x. Suppose v*t = 277 + 318. Is t prime?
False
Let n(f) = -f + 4. Let b be n(-2). Suppose 0 = -b*i + 3*i + 9. Suppose 5 = 5*y, i*j + 0*y = -2*y + 1763. Is j a prime number?
True
Let v = 43 + -40. Suppose -v*t = 6*t - 855. Is t a prime number?
False
Suppo