 Suppose 0 = -6*i + i - v. Is (0 + -298)*2/i a prime number?
True
Suppose 4946 = 4*p - 3002. Is p a composite number?
False
Suppose 158 = p + 31. Is p a prime number?
True
Let l(s) = -9*s**3 + 2*s**2 - 1. Let a be l(-1). Is 1484/a*15/6 composite?
True
Let a(x) = x**2 - 25*x - 6. Let t be a(25). Let y = 4 + -4. Is (21/t + y)*-38 a composite number?
True
Suppose 4*w - s + 23 = -0*s, 0 = w - 4*s + 17. Let l(t) = -2*t**3 + 18*t - 5*t**2 - 11*t - 1 + 0*t**2. Is l(w) a composite number?
False
Suppose 16*c = 13*c + 111. Suppose y + c = 126. Is y a composite number?
False
Let r = -12 + 15. Let v be r*(-4 - -3) - -3. Suppose 3*h + 0*h - 285 = v. Is h a prime number?
False
Suppose -8*g + 29086 = 11894. Is g composite?
True
Let q(l) = l**3 - 39*l**2 - 26*l - 273. Is q(44) a composite number?
False
Is ((-126)/105)/(6/(-164470)) a prime number?
False
Let k(x) = 12*x**2 + 4*x + 10. Let y(q) = 1. Let s(w) = k(w) - 3*y(w). Is s(-11) a prime number?
False
Suppose 0 = s + 3 - 7. Is 4 + -5 + 12*256/s a prime number?
False
Suppose -2*o = -0*y + 3*y + 75, 100 = -4*y - 2*o. Let c = y + 33. Suppose 246 = 11*u - c*u. Is u prime?
False
Suppose 89*w - 7*w - 274126 = 0. Is w a prime number?
True
Let z(a) = -a - 2. Let w be z(-10). Let c be (w/4 - 4) + 177. Suppose -c = t - 6*t. Is t a composite number?
True
Suppose 205*b - 204*b = 19563. Is b prime?
False
Suppose 0 = 20*d + 17*d - 80105. Is d a composite number?
True
Let n = -8 - -11. Let u be 12*(10/(-45) - 19965/(-54)). Suppose t - u = -n*k, -2*k - 4*t + 7397 = 3*k. Is k a composite number?
True
Suppose -231 = -5*p + 5*k + 1194, 880 = 3*p + 2*k. Suppose t - 3*t = p. Let a = -76 - t. Is a composite?
True
Let t = 6 + -8. Let j = -3 + t. Let q = j + 79. Is q a prime number?
False
Suppose -3*w - 1067 = -4*r + 1011, 527 = r + 3*w. Is r a prime number?
True
Suppose 16 + 5 = 2*h + y, 0 = -y - 3. Suppose -3 = -h*w + 11*w. Suppose -w*o = 53 - 320. Is o a prime number?
True
Let y be (5 + -3)*(-2171)/(-2). Suppose 6*i - t - y = i, -5*t = -5*i + 2175. Let p = i - 291. Is p a prime number?
False
Let b(w) = 2*w**3 - 2*w**2 - 4*w - 47. Is b(9) a prime number?
True
Suppose -8*h + 145719 = -86753. Is h composite?
False
Let q = -19912 - -42209. Is q prime?
False
Let c(i) = 5*i**2 + 4*i - 8. Let d(p) = 11*p**2 + 8*p - 15. Suppose 0 = 26*s - 27*s + 6. Let z(v) = s*d(v) - 13*c(v). Is z(10) composite?
True
Let b be (-2 + 3)*-1 + 51. Let n = 660 + b. Suppose 3*q = -2*q + n. Is q a composite number?
True
Let h(y) = -3346*y + 177. Is h(-4) a composite number?
True
Let c = 1 + 1. Suppose 27 = 2*x - 5*w, 4*x + x + 5 = -c*w. Is (238/4)/(x/2) prime?
False
Let p = 2429 + -1274. Let w(h) = -h - 15. Let m be w(-17). Is m/(-6)*p/(-7) a prime number?
False
Suppose -34 = -2*q - 6. Suppose -1257 = q*y - 17*y. Is y prime?
True
Let t(d) = -79*d - 1. Let f be (1 - 9)*(-1)/2. Let w = f - 10. Is t(w) composite?
True
Suppose 0 = 28*s - 16055 - 13317. Is s composite?
False
Let t be (-743)/(3*(-3)/(-36)). Let x = 7323 + t. Suppose 0 = 2*d - x + 1389. Is d a prime number?
True
Is ((-9)/18)/(1/(-7))*158 prime?
False
Let w(n) = -1051*n + 2. Let k be w(-3). Suppose 0 = -11*b + 6*b + k. Is b composite?
False
Let l = 47753 - 24298. Is l prime?
False
Let c(u) be the third derivative of -u**6/120 - u**4/4 - 5*u**3/6 + 6*u**2 + 8*u. Let l = -9 + 5. Is c(l) composite?
False
Let l(c) = -c**2 + 2*c + 1. Let x be l(0). Let q(a) = 1362*a**2 - 3*a + 2. Is q(x) composite?
False
Suppose -2*t + 4*q + 4466 = -1396, -2*t - 3*q = -5890. Is t prime?
True
Let i = 34636 + -5849. Is i a composite number?
True
Suppose -2*y - 4 = 0, 0 = -2*t + y + 1 + 1. Suppose t = -5*r + 4*r - 4. Is 4 + (76 - 1) - r composite?
False
Let d = 27 - 13. Suppose d = -0*y + 2*y - 2*t, -5*t - 17 = y. Suppose -5 = -y*m + 13. Is m prime?
False
Let o(i) = -1 + 7*i**2 - i**2 - 8*i - 7*i + 6*i + i**3. Let l(b) = b - 2. Let w be l(-5). Is o(w) a composite number?
False
Suppose 2*a + 2 = 2*g, 8*a = 4*a + 5*g - 4. Is a/4 + (-3330)/(-40) prime?
True
Let k(j) = -252*j**3 - j**2 + 2*j + 2. Suppose -4*a + 9 = -2*v + 3, -v + 4*a - 5 = 0. Is k(v) a prime number?
True
Suppose 3*z - 763 = 2*y, 5*y = -z - 0*y + 243. Suppose 0 = 5*t - 3*f - 33 + 13, t = -f + 4. Suppose -t*p = 3*w - z, -2*p - 4*w - 4 = -118. Is p a prime number?
True
Let n = 169 - 167. Suppose 0 = 2*r - o - 2173, 0 = -r - r - n*o + 2176. Is r composite?
False
Let r(h) = -h**2 - 15*h + 13. Let o(j) = -7*j + 6. Let f(l) = 5*o(l) - 2*r(l). Let z be f(2). Suppose z*v + 259 = 3*v. Is v a composite number?
True
Suppose -49*r + 51*r + 7348 = 0. Let a = r + 5727. Is a a prime number?
True
Let x be ((-2)/(-4))/((-4)/(-16)). Suppose -6*t = -9*t + 3*z + 66, 0 = t + x*z - 10. Suppose t + 202 = 4*q. Is q composite?
True
Let b = 315 + -99. Suppose -g - b = 362. Let x = -387 - g. Is x composite?
False
Is (-6 - 31)/(-2 - 705/(-353)) composite?
True
Let q = 339 + -196. Is q prime?
False
Let u be (-9)/(-5) + 9/45. Suppose h = v + 131, -5*h - 2*v + 619 = u*v. Is h composite?
False
Suppose 15*o = 4*o + 20251. Is o a prime number?
False
Let u = 18158 + -12527. Is u composite?
True
Let d = 6 + -4. Suppose -3*q - 3*i + 1617 = d*q, -4*i + 1621 = 5*q. Is q a prime number?
False
Let x = 21 - 17. Suppose 0 = -5*d - 6 - x. Is 392 - (d + 4 + 1) composite?
False
Let i(n) = -n**2 + 8*n + 10. Let j be i(7). Let x be 1/(261/129 + -3 + 1). Let q = x - j. Is q a prime number?
False
Let t = -12 - -6. Let s = t + -2. Is (s/(-6))/(2/111) a composite number?
True
Let p = 2627 + -684. Suppose p = x - 216. Is x composite?
True
Let n = 16 - 10. Let z(x) = 4*x**3 + 3*x**2 - 5*x + 13. Is z(n) composite?
True
Let i be 108/(-8)*(-1 + 25). Let h = i + 481. Is h composite?
False
Let y(m) = 3*m**2 - m + 10. Let i be y(0). Suppose 296 = i*g - 6*g. Is g a prime number?
False
Suppose 2*b + 6 = 2*a, a + 3*a + 3*b = 33. Suppose a*d - 4*d = 0. Suppose v - 15 - 23 = d. Is v prime?
False
Suppose 6*d - 220706 - 81940 = 0. Is d composite?
False
Let c(s) = 7*s + 6. Let j be c(1). Suppose -j*x + 9401 = -12140. Is x composite?
False
Suppose 0 = w - 5*q + 12 - 0, -4*q - 45 = -5*w. Let v(t) = -w + t**2 - 89*t**3 + 7 + t + 6. Is v(-1) a prime number?
True
Suppose 0 = 3*i + 12, 5*w - w = -i. Let s(m) = 3028*m**2 - m. Is s(w) a prime number?
False
Suppose 5*y - 92 = y. Let o = -21 + y. Suppose -o*v - 11 = -825. Is v prime?
False
Let z(u) = u**3 + 2*u**2 - 4*u + 1. Let b be z(-3). Suppose -b*c + 5*l - 67 - 69 = 0, -3*c - 5*l - 137 = 0. Let q = 28 - c. Is q composite?
False
Suppose -2*g = 3*y - 5450, 0 = 2*g + 21*y - 16*y - 5442. Is g composite?
False
Suppose 91*y - 102*y = -807433. Is y composite?
True
Let r be (-232)/(-4)*18/2. Suppose 3*y - 1553 = -2*c, -y + 5*c = -2*y + r. Is y composite?
True
Let c(y) = -y**2 + 9*y + 5. Let z(m) = -3*m**2 + 28*m + 14. Let k(j) = -7*c(j) + 2*z(j). Is k(11) prime?
True
Let m(d) = -9*d + 9. Let o be m(-4). Let a = o - 8. Is a a composite number?
False
Let u be (2 + -1 + -1)/2. Suppose -2 = o - u. Is (-5)/(5/o) - -653 a prime number?
False
Suppose 5*f = 4*n + 7773, -3*f - 3*n + 4661 = -4*n. Is f a prime number?
True
Let g(u) = 82*u**2 + u - 4. Let h(f) = 81*f**2 - 5. Let i(s) = -6*g(s) + 7*h(s). Is i(-4) prime?
True
Let f = 3709 + -976. Is f prime?
False
Let f = 1019 - -675. Suppose -3358 = -2*h + 4*t - 0*t, 3*t = -h + f. Is h a composite number?
True
Let c(x) be the first derivative of -65*x**2 - 3*x + 5. Is c(-2) composite?
False
Suppose -2*w - 1885 = 2*k - 10405, 1 = k. Is w composite?
False
Let u = 138773 + -82006. Is u a composite number?
False
Let j be 10/(-15)*51/2. Let p = j + 19. Suppose 61 = p*u - 3*a, -u = -5*u - a + 143. Is u prime?
False
Let z be (1 - -66)*(-2 + 10). Suppose 0 = -4*j + z + 908. Suppose -4*w + 4*r + 496 = r, 0 = 3*w - 5*r - j. Is w a composite number?
False
Suppose 0 = 13*f + 11*f - 278184. Is f composite?
True
Suppose 5*a - 10 = 0, 0 = -2*g + g - 3*a + 17. Suppose -g*f = 5*f - 1232. Is f prime?
False
Suppose 0*h - 3*h = -12, 97554 = 5*b - 4*h. Let s = 29385 - b. Is s prime?
True
Suppose 5*u + s - 1679 = 396, 2*u - 830 = -2*s. Suppose 180 = 4*i + n - u, 0 = 3*i - 3*n - 450. Is i a prime number?
True
Let z(q) = -q**3 + 17*q**2 + 2*q + 1. Let s be ((-1)/(-2))/((-11)/(-374)). Is z(s) a composite number?
True
Suppose 13*b - 10911 = 10*b. Is b composite?
False
Let i