pose -2*v + 1062 = -1892. Is v prime?
False
Suppose -40*v = -34*v - 83982. Is v a composite number?
False
Suppose 0 = -l - 0 + 4. Suppose -l*m = m. Suppose -2*y + 244 + 10 = m. Is y a composite number?
False
Suppose 1790 = 10*j - 8*j. Is j a composite number?
True
Suppose -6*o + 408 = -10*o. Let a = o - -197. Suppose 325 = 2*n + a. Is n composite?
True
Let x(g) = -103*g**3 - 15*g**2 - 3*g + 1. Is x(-10) prime?
True
Suppose 0 = -8*l + 31184 + 3432. Is l a prime number?
True
Suppose 0 = -a - 2*a + 6651. Let k = -1576 + a. Is k a prime number?
True
Suppose -7*p + 28 = -7. Suppose 15 = w - p*m - 27, 8 = -2*m. Is w composite?
True
Suppose 0 = 2*y + 3*q - 12802, -y - q - 2*q = -6401. Is y a composite number?
True
Let z(a) = -a**2 + a + 8. Let c be z(-9). Let l = c + 159. Is l a prime number?
False
Let d(j) = -j**3 + 5*j**2. Let k be d(5). Suppose -3*l + 9 = k, 2*l - 7*l = -3*q + 1536. Is q prime?
False
Suppose -4*d - 20 = -4*n, 2*n - n = -5*d - 7. Suppose 2*y - 2*m = 534, -1319 = -5*y + 4*m - n*m. Is y a prime number?
True
Let z = -1 - 2. Is (15/(-10))/(((-18)/(-6616))/z) composite?
True
Let c = 50807 + -24216. Is c prime?
True
Let g = 22 + -20. Suppose -g*h + 1 + 9 = -x, 3*x + 3*h - 6 = 0. Is x*21/(-18)*177 a prime number?
False
Let u(c) = 538*c**2 + 29*c - 20. Is u(-6) a prime number?
False
Suppose 144*h - 146*h - 14026 = -4*y, 0 = 2*h + 6. Is y a composite number?
True
Let u(c) = -c**3 - 6*c**2 - 4*c - 6. Let g be u(-6). Let o = -18 + g. Suppose -5*f + 2*f + 489 = o. Is f composite?
False
Suppose 5*c = -3*r + 47842, -41404 + 3127 = -4*c + r. Is c a prime number?
False
Suppose 0 = -2*w - 0*p + 2*p - 3728, -3*p - 3748 = 2*w. Is w/(-6)*21/14 a prime number?
True
Let x(u) = 130*u + 97. Is x(18) a prime number?
True
Let i = 288 - 177. Is i composite?
True
Suppose 2*t + 2*z - 5600 = 6*z, 0 = 4*z - 16. Let h = t - 1987. Is h a composite number?
False
Suppose 3275 = 5*s + 5*b, 5*s + b - 3310 = 3*b. Suppose 5*q = -5*d + s, d - 5*d = 2*q - 526. Is d a composite number?
False
Let x(l) = l**3 + 5*l**2 + 20*l + 17. Is x(8) a composite number?
False
Let x(u) = -u**3 + 5*u**2 + 8*u - 3. Let n be x(6). Let h(l) be the second derivative of l**5/10 - 13*l**4/12 - l**3/3 + 2*l**2 + 74*l. Is h(n) prime?
False
Let c = 216065 + -124036. Is c prime?
False
Is 6/15 + (3020472/65)/8 composite?
True
Let l(o) = 779*o**3 - o**2 - 2*o + 2. Let b be l(1). Let q = -525 + b. Is q a prime number?
False
Let y(t) = -915*t - 322. Is y(-27) prime?
False
Suppose -4*v + 44523 - 16075 = 0. Is v/154 + (-4)/22 a prime number?
False
Let n = 16 + -11. Suppose 0 = n*v - 9*v + 1092. Let m = v - 140. Is m prime?
False
Let k(r) = -34*r + 60. Let d be k(-8). Let f be 1192/6 + (-3)/(-9). Let w = d - f. Is w a composite number?
True
Let h(v) = -3 - 2*v**2 + 3*v**3 - 2*v**3 + 5*v + 14*v**3 + v**3. Suppose -1 + 9 = 4*a. Is h(a) prime?
True
Let r(n) = -207*n - 290. Is r(-8) a prime number?
False
Suppose -5*c + 2*c + 3*v = -14922, c = -3*v + 4962. Is c composite?
True
Let l = 70 + -66. Suppose -4*f + 4*a = a - 2540, -l*f - 5*a = -2540. Is f a composite number?
True
Suppose -4*i - 8 = -20. Suppose 3*f - 706 = -2*p, 2*p + f - 4*f - 706 = 0. Suppose -p = -c + 4*l, -i*c + 3*l = 2*c - 1850. Is c prime?
True
Suppose -4*r - 8 + 44 = 0. Suppose r*b - 4*b + 3*i = 1102, 5*i = -5. Is b a prime number?
False
Let j(l) = 2*l + 2. Let k be j(-1). Let a(z) = -3*z - 419. Let c be a(k). Is 1*(0 - 1)*c a prime number?
True
Let m be (-104)/(-65)*(-10)/(-4). Suppose 22 = 3*l - m*c - 13, 0 = l + 2*c + 5. Suppose 0 = 2*i + l*y - 343, 0 = 3*i - 3*y + 4*y - 534. Is i composite?
False
Suppose 2*b + 2597 = 3*n, n + 4*b - 1232 = -371. Is n a composite number?
True
Let w(c) be the first derivative of -c**4/4 + c**3/3 + 2*c + 9. Let g be w(0). Suppose 2*h = g*y + 28, 0 = -h + y + y + 18. Is h composite?
True
Let x = 78 - 74. Suppose 28 + 232 = x*l. Is l composite?
True
Suppose -7*r = -5*t - 2*r + 13615, -2*t + 4*r + 5448 = 0. Is t composite?
True
Suppose 0 = 5*w - 148248 - 163137. Is w prime?
False
Suppose 9 = -3*l + 2*l. Let w = 9 + l. Suppose w*u + 3*u - 207 = 0. Is u a prime number?
False
Let a = -5005 - -12786. Is a a prime number?
False
Suppose 6341 = 2*a + 2617. Is 40/60 - a/(-6) a composite number?
False
Let o be ((122*-6)/2)/(4/10). Let t = 1456 + o. Is t composite?
False
Let u(b) = -2 - 8*b - 7*b**3 - 5 + 9*b**2 + 8*b**3 - 2*b**2. Let h be u(-7). Suppose 34 = j - h. Is j composite?
False
Is (-123260)/60*(-2 + 3 + -4) a prime number?
True
Is (-45798)/(-78) + -4 + (-50)/(-13) prime?
True
Suppose 5*t = -15*t + 381260. Is t a composite number?
True
Suppose -d - 5 = -2*a, -2*a - 4 = -6*a - 4*d. Let q(j) = 24*j + a*j + 6*j + 18 - 3. Is q(8) a composite number?
False
Let w(f) = -676*f + 41. Is w(-5) prime?
False
Let w(v) = -2*v - 16. Let x be w(-9). Suppose -x*k = -k + 2*d - 12, -k - d + 7 = 0. Suppose 0 = -2*f - 5*u + 919, 0*u = -k*f + 2*u + 912. Is f composite?
False
Suppose 2*z - d - 19 = 6, z - 4*d = 2. Let s(w) = w**3 - 9*w**2 - 8*w + 19. Is s(z) prime?
True
Suppose 0 = 2*y + 2*m + 16, 0*y - y - 8 = -3*m. Let v(c) = -3*c**3 + 2*c**2 + 10*c - 1. Is v(y) a prime number?
True
Suppose -1063 = -2*f - 5*j + 749, -6 = 3*j. Is f prime?
True
Let c(b) = 4*b + 36. Let z be c(-8). Suppose -16 = z*y, 0*y - 129 = -q - y. Is q a composite number?
True
Suppose 4*h - 5*a - 16419 = 0, 67*h + a = 64*h + 12338. Is h a prime number?
True
Let j be 2 + -1 - 1 - -2. Suppose 0*d + j = d - 5*b, 5*d + 68 = -b. Let o(y) = -y**2 - 18*y - 18. Is o(d) a prime number?
True
Let f(j) = -2 + 296*j + 30*j - 3. Is f(12) a composite number?
False
Suppose 880 = -4*k - 3*a, 0*k - k - 4*a = 207. Is k*(4*4/16)/(-1) a prime number?
True
Suppose 0 = -5*o + 4*o, 3*o = 3*n - 120027. Is n a composite number?
False
Let b be 6 + ((-2)/3)/((-20)/(-90)). Suppose -718 = -l + 4*m - 84, -b*l + 3*m + 1857 = 0. Is l a prime number?
False
Let t = 485 - -1959. Suppose -654 = 2*z - t. Is z a prime number?
False
Let m(q) = -125*q - 73. Is m(-24) a prime number?
True
Let z be -1 + 5 + 4564 + -2. Let n = z - 371. Is n prime?
False
Let y be 218/4*2 + 15/(-5). Suppose b = -5*p + 360, b = 5*p + y + 204. Is b composite?
True
Let c be 24/36 - 2/(-6). Suppose -3*b - y = -35, -3*y = 2*b - 15 + c. Is b a prime number?
True
Let y(m) = -94*m - 27. Is y(-12) a prime number?
False
Suppose 0 = -10*h + 381751 + 71079. Is h a prime number?
False
Let j = 90016 - 32923. Is j prime?
False
Let f(n) = 34*n**2 + 91*n + 17. Is f(-26) a prime number?
False
Let o(s) = -43*s + 18*s + 22*s - 14. Is o(-11) a composite number?
False
Suppose 0 = -2*c + 2*h - 3*h + 6, -3*c = -4*h - 9. Suppose 4*x + c*f - 2*f = 29, f + 27 = 4*x. Is x composite?
False
Let t be 1/((-3)/12) + 10. Suppose u = -3*i + 2141, -2*u + t + 4 = 0. Suppose 0 = 5*l - i - 473. Is l a composite number?
True
Suppose -v + 1554 = 3*y - 4*v, y - 520 = -v. Is y composite?
True
Suppose 2*f + l + 5 + 2 = 0, 8 = -3*f - 4*l. Let d be f + 1*7/1. Suppose -478 = -d*r + 401. Is r composite?
False
Suppose 4*c = 20*c - 86928. Is c a prime number?
False
Let h = 3851 - 2272. Is h a composite number?
False
Let v = 810 + 10. Suppose 4*d - 4*z - v = 0, -2*d + 402 = 2*z - 0*z. Is d a composite number?
True
Let a be (-2735)/(-2)*5/(100/32). Suppose -3*m = -5*o + 11000, o = 2*o - 3*m - a. Is o a composite number?
False
Let q(a) = 3*a**2 + 5*a - 5. Let p(x) = 9*x**2 + 16*x - 15. Let j(o) = -2*p(o) + 7*q(o). Suppose 3 = -5*n + 43. Is j(n) prime?
True
Suppose 2*y + 15 = f, -y + 2*y = 3*f - 50. Let h = f - 21. Is 9435/21 + h/14 prime?
True
Suppose 18*b + 14*b = 410208. Is b a prime number?
False
Suppose -2474 = -7*j + 2286. Suppose 2*r - 10*r + j = 0. Is r a prime number?
False
Let h = -94 + 97. Suppose -2*i + 126 = 3*l, -h*l + l + 8 = 0. Is i prime?
False
Let v = -32 - -25. Let d = v - -2. Is 21/(-35) - 638/d composite?
False
Let a(s) = 59*s**2 - 3*s - 13. Let x = 51 - 57. Is a(x) composite?
False
Suppose 14493 = -508*n + 511*n. Is n composite?
False
Let g(w) = 92*w**2 - 17*w + 27. Is g(8) a composite number?
False
Suppose 4*w = 2*v + 8, -v + w - 2 = 2*v. Suppose 0*y - 2*y + 8 = v. Suppose y*q = -q + 355. Is q composite?
False
Is (-91494)/(-13) + -7 + 2 prime?
False
Let l = 5 + -2. Suppose -8 = -h - l*h. Suppose 0*a - h*a + 30 = 0. Is a composite?
True
Let d(q) = 5*q*