2*g - 5 = -4*n + 11, 5*n + 16 = -b*g. Is (-8)/g*(1 - -201) a prime number?
False
Let h(d) = -d**3 - 8*d**2 + 3*d + 2. Let v be h(-8). Let c = v - -23. Is c*(4/2 + 324) composite?
True
Let p = 3892 - 2011. Suppose 3*x + 2*x - 9300 = c, -x = 4*c - p. Is x composite?
False
Let y(r) = 2*r**2 - 38*r + 251. Is y(-31) prime?
False
Suppose -27*f + 29*f - 2 = 0, -3*x + 39996 = 3*f. Is x prime?
True
Let f(a) = -a**2 - a + 25. Let k be f(-6). Let l(j) be the second derivative of -47*j**3/6 - 6*j**2 - j. Is l(k) composite?
False
Suppose -11*s - 13*s + 331536 = 0. Is s a prime number?
False
Suppose -4*g + 12 = 3*i, -16 = i - 5*i - 3*g. Let b be 1 - i - (-6 + 3). Suppose p + 3*x = 206, b*x = x + 5. Is p composite?
True
Let o = 8109 + -1947. Let q = -3343 + o. Is q composite?
False
Let s be -2 - (45/(-6) - (-4)/8). Suppose z + 4*j + 1180 = 5*z, 0 = 2*z - s*j - 602. Is z composite?
True
Suppose 6*v - 8550 = -4*v. Let p = -112 + v. Is p a prime number?
True
Let a = 68357 + -22350. Is a a prime number?
False
Suppose 2*q = -3*q + 10. Suppose 3*l = 3*c - 5*c - 10, -2*l = q*c + 10. Suppose l = -6*w + w + 1255. Is w prime?
True
Suppose -3*l = -10*u + 12*u - 64174, -5*u - 2*l + 160457 = 0. Is u a composite number?
True
Suppose 3*v + 30 = v. Let f be (v/3 - 2) + 3. Is (-274)/f - (-4)/8 a prime number?
False
Let v(t) be the first derivative of 59*t**6/360 + t**5/60 - t**4/24 + t**3 + 1. Let y(w) be the third derivative of v(w). Is y(2) prime?
True
Let z be 3 - (2 + -6 - -3). Suppose 0*m + z*m - 2444 = 0. Is m composite?
True
Let i(x) = 8*x + 30. Let y be i(14). Suppose 2*o = -36 + y. Is o composite?
False
Suppose -21*x - 94441 = -264394. Is x composite?
False
Suppose 5*x - 3*i = 74262, -2*x - 5*i = -7*x + 74260. Is x prime?
False
Let b = 37 - 46. Is (5 + -2790 + -2)*3/b prime?
True
Suppose -2*w - g - 2 = -6*g, 4*w = -3*g - 30. Let o = w + 11. Suppose -3*s = 5*n - 176, s + 4*n - 42 = o. Is s prime?
True
Suppose -6 = -w + 5. Let c(k) = 9*k - 40. Is c(w) a composite number?
False
Suppose 2 = -2*q + 4*u, u + 2*u = -2*q - 30. Let x = -17 - q. Is -2*(-4244)/x*-1 composite?
False
Let r be (-15)/9*63/3. Let l be ((-20)/r)/(4/14). Is l/(-3)*762/(-4) composite?
False
Let g(y) = 959*y**2. Suppose i + 2*r - 9 = 0, 6*i - 2*i = -5*r + 21. Is g(i) a composite number?
True
Suppose 2*b - 3*q + 0*q - 21 = 0, -5*q = b + 9. Let z be -5*((-54)/5)/(-3). Is 403/b + 3/z a prime number?
True
Let d(g) = 426*g**2 - 208*g**2 - 209*g**2 + 2 + 7*g - 3. Is d(8) a prime number?
True
Let z(f) be the first derivative of 2*f**3 - 7*f**2/2 - 7*f - 11. Is z(-6) a composite number?
False
Suppose 6 + 0 = 2*x. Suppose 2*t - x - 99 = 0. Is t prime?
False
Let s(c) = c**3 - 12*c**2 + 13*c - 13. Let n be s(11). Let a(r) = 13*r - 11. Let g be a(n). Suppose -v - v + g = 0. Is v prime?
True
Let j(v) = -24*v**2 + v + 1. Let i(n) = -29*n**2 + 78*n**2 - 6*n - 3 - n + 4*n. Let z(c) = -3*i(c) - 7*j(c). Is z(-1) composite?
True
Suppose -4*r - 2*r = -1026. Let i = 460 + r. Is i composite?
False
Suppose 15129 = 2*s - 34057. Is s a prime number?
True
Let v(i) = 2*i**2 - 6*i + 161. Is v(18) prime?
True
Let k = 606 - -1605. Suppose 19*m - k = 8*m. Is m a composite number?
True
Let z(j) = j**3 - 2*j**2 - 5*j + 6. Let f be z(4). Suppose -26 + 0 = -3*x - 4*i, 4*i = x + f. Suppose 0 = x*l - 0*l - 318. Is l a composite number?
True
Let o(x) = x**3 - 8*x**2 - 4*x - 1. Let k be o(9). Is (-9663)/(-33) + (2 - 80/k) composite?
False
Suppose -5*d + 19 = 4. Suppose 935 - 128 = d*w. Is w a composite number?
False
Let k be (-3 - -5)/2*5. Suppose -k*q + 505 = 5*h, 5*q + 383 - 40 = 3*h. Is h composite?
True
Let f(i) be the second derivative of -29*i**3/3 - 2*i**2 - 2*i. Let y be f(-2). Let n = 33 + y. Is n composite?
True
Let m = -57 - -71. Suppose -m*i - 1902 = -20*i. Is i a prime number?
True
Let l = -137 + 142. Suppose -2*r - 1370 - 5306 = -4*b, 8345 = l*b - 2*r. Is b prime?
True
Let a(m) be the third derivative of -m**6/120 - 3*m**5/20 - m**4/6 - m**3/6 - 5*m**2. Let o be a(-7). Is (2*o)/((-4)/2) composite?
False
Let z(x) = -11*x**3 + x**2 - 2*x - 15. Let i be z(7). Is i/(-5) - 10/(-25) a composite number?
False
Let h be (-2)/8 + 15/(-20). Let c(q) = -317*q**3. Let b be c(h). Suppose 2*s = -k + b, k - 1591 = -4*k - 4*s. Is k composite?
True
Suppose 2*q = 7*q - 13370. Suppose f - 2*b = q, -f + 1044 + 1627 = -b. Is (-8)/56 + f/7 a composite number?
True
Suppose -10170 = -10*z - 0*z. Suppose 7*r - 9910 = z. Is r composite?
True
Suppose -6*b - 1749 = -27711. Is b composite?
False
Let b = -24706 - -17394. Is (2/4)/((-8)/b) a prime number?
True
Let d(f) = 10*f**3 - 7*f**2 + 3*f + 5. Suppose -j - 15 = -6*j. Suppose q + 4 = 2*s, 4*q + 0*s + j*s = 28. Is d(q) prime?
False
Let m(d) = 1061*d - 18. Is m(5) composite?
True
Let o(f) = 0*f + 6 - 4 - 3*f. Suppose -12*z = -18*z - 24. Is o(z) a prime number?
False
Is (3/(-1))/(9/(-6687)) a prime number?
False
Suppose -5*d = -7*d + 26882. Is d prime?
True
Let t(q) = q**3 - 6*q**2 + 13*q - 13. Let b = -76 + 83. Is t(b) composite?
False
Let v(z) = z - 6. Let l be v(8). Suppose -l*n = 3*y - 5*y - 2966, -2*y - 4 = 0. Is n prime?
True
Suppose 46*u - 4*p - 55062 = 44*u, 4*u + 5*p = 110137. Is u prime?
False
Let i(c) = -4*c**3 + 2*c**2 - 11*c + 4. Let l(o) = -8*o**3 + 3*o**2 - 22*o + 8. Let r(j) = -5*i(j) + 2*l(j). Is r(7) composite?
False
Let k(l) = -473*l + 69. Let y(d) = 237*d - 34. Let z(i) = 3*k(i) + 5*y(i). Is z(-8) a prime number?
False
Let l = 2738 + -627. Is l a prime number?
True
Suppose 16 - 9 = x. Suppose 2*d - x*d + 2*r + 416 = 0, -5*d + 3*r = -414. Is d + (3 + 1)/(-4) composite?
False
Let j(o) = 73*o**2 - 4*o + 19. Suppose -5 = -15*a + 55. Is j(a) prime?
True
Let f(g) = 11*g + 8. Let j be f(12). Suppose 2*m - 3*t - j = 0, -5*m + 2*t = -557 + 218. Is m prime?
True
Let g be (-18)/135 + ((-11582)/(-15) - 2). Suppose -6*z + 4808 = g. Is z prime?
True
Suppose -7*q + 4*q - 3*g = -5778, 4*q = 4*g + 7664. Is q composite?
True
Let a(g) = 69*g**2 + 11*g - 61. Is a(4) prime?
True
Let w = -22 - -32. Is (740/w)/(2/1) composite?
False
Let k = 37188 - 9029. Is k prime?
False
Let f = 977 - 288. Is f composite?
True
Suppose 3*y + y = -4*q + 12, -2*q + 2*y = -14. Suppose -f = -2*z + 2081, -z = -q*z - 3*f + 4177. Is z composite?
True
Let d = 33 + -31. Let f be d/(-8)*-3*-864. Let g = -229 - f. Is g composite?
False
Let a(o) = 62*o + 1. Let k(y) = y + 5. Let h be k(-2). Let s be a(h). Suppose n - 4*c - s = 0, 0 = 3*n + 4*c - 361 - 264. Is n prime?
False
Suppose 392674 - 966828 = -14*a. Is a prime?
True
Let p(w) = w**3 + w**2 + 20*w + 13. Is p(9) a prime number?
False
Suppose -12 = -35*l + 33*l. Is 4/(-8) + 2205/l prime?
True
Let v be (-6)/12*(0 - 0). Suppose z - 45 = -k, k + 4 + v = 0. Is z prime?
False
Let p(h) = -2*h**3 + h**2 - h - 1. Suppose -5*b = -4*t + 4, 0*b + b + 2 = 2*t. Suppose -2*s = -5*i - 21, -5*i - 6 = 3*s - b. Is p(i) composite?
True
Suppose -4*v + g + 9487 = 0, 4*v + 3*g - 4366 - 5109 = 0. Is v prime?
True
Let n(z) = 19*z**3 - z**2 + 1. Let i be n(1). Suppose -3*f - i = -d - 312, 0 = 2*f - d - 196. Is f prime?
True
Let n = -1374 + 723. Let q = -346 - n. Is q prime?
False
Let y(a) = -18 + 725*a**2 - a - 2*a + 445*a**2 + 16. Is y(-1) a composite number?
False
Suppose 0 = 14*n - 9*n + 2*g - 25825, 25790 = 5*n - 5*g. Is n composite?
True
Let t = 30 - 30. Suppose t = -0*j + 2*j - 422. Is j composite?
False
Let a = -63117 - -174236. Is a a prime number?
True
Suppose -24*n + 539867 = 13*n. Is n prime?
True
Is -2069*(-4 + 0)*60/48 a prime number?
False
Suppose -145021 = -12*n + 8*n + 5*b, 5*n = -4*b + 181307. Is n a composite number?
True
Suppose 81*p + 68533 = 100*p. Is p prime?
True
Suppose -47*w + 52*w = 75490. Is w prime?
False
Suppose 3*j - 9 = -3*u - 0*j, 0 = -5*j + 15. Suppose u*o = -4*o + 56. Let d(a) = a**2 - 9*a + 13. Is d(o) a prime number?
True
Suppose 60*r = 87*r - 526959. Is r a prime number?
False
Let i = 2553 - -1054. Is i composite?
False
Suppose 0 = -4*t + t. Suppose 4*c + t*c - 1308 = 0. Suppose -2*y = 89 - c. Is y a prime number?
False
Let j be 9/((-329)/168 - (-4 - -2)). Suppose q = -5*i + 428 + 19, -q = 2*i - 180. Let d = j - i. Is d composite?
False
Let w(r) be the second derivative of -r**4/12 - 23*r**3/6 + 8*r**2 + 9*r. Let n be w(-11). Let y = n + -79. Is y prime?
False
Suppose 