 n(z) = z**3 - 8*z**2 - 9*z + 4. Let y be n(9). Suppose -3*g - g + 3*i = 12, -y*g + 16 = 4*i. Suppose g*u - u + 295 = 0. Is u composite?
True
Suppose 0*q + 75 = -3*q. Let v = 210 + q. Is v a prime number?
False
Suppose -4 + 1 = 3*p, -136 = 4*j + 4*p. Is (59/3)/((-11)/j) prime?
True
Suppose 4983 = q - 38*v + 34*v, 4*v = -2*q + 9978. Is q a prime number?
True
Let x be (9/(-12))/(6/(-24)). Suppose -3*l + 2*c + 3256 = -6751, 2*l - 6680 = -x*c. Is l a prime number?
False
Let s(k) be the first derivative of 1/4*k**4 + 10 + 9*k - 7*k**2 - 2/3*k**3. Is s(6) composite?
True
Let f(x) be the third derivative of 61*x**4/8 - 10*x**3/3 - 23*x**2. Is f(7) prime?
False
Suppose 8*f + 2079 = 35687. Is f a prime number?
True
Let i(g) = -g**3 - 9*g**2 + 7*g + 31. Let q(m) = m**3 + 8*m**2 - 8*m - 30. Let z(s) = 4*i(s) + 5*q(s). Is z(9) a prime number?
True
Let o = 35394 + -20675. Is o a composite number?
True
Let v(w) = 4*w + 4. Let d be v(0). Suppose d*i - 6589 = -2553. Is i composite?
False
Let n(k) = 91*k**2 - 29*k + 51. Is n(22) a prime number?
True
Let a = -41 + 76. Let g be 33545/a + 6/(-14). Let f = g + -651. Is f composite?
False
Is 18113/(6/9 + 2/6) composite?
True
Let n(t) = t**2 + t - 9. Is n(-4) prime?
True
Let q = -565 - -1999. Suppose 3*o = 21 + q. Suppose 0 = -4*p - p + o. Is p a composite number?
False
Let b(o) = -2*o**2 + 13*o - 12. Let x be b(5). Suppose x*p - 1320 - 891 = 0. Is p a prime number?
False
Suppose 2*h + 3 = t, 3*t = -3*h - 13 - 5. Let c be (2 + 3 + h)/1. Suppose -c*x = -5*g + 584, 0 = g - 6*g - 2*x + 596. Is g a composite number?
True
Suppose -4*k + 2*o + 3276 = 0, -o - 2047 = -5*k + 2054. Is k composite?
False
Let o = 8 + -11. Let z(y) = -95*y + 2. Let m be z(o). Let r = m + 94. Is r composite?
True
Let b(f) = 625*f**2 - 9*f + 29. Is b(3) a composite number?
True
Let t be (0 - 0)/4 + 10. Suppose 0 = 5*c + t, -c + 300 = 2*l + 3*c. Let y = l - 27. Is y a composite number?
False
Let s(o) = -86*o - 7. Is s(-4) prime?
True
Suppose -4*m + y + 44 = 0, 9 - 21 = 3*y. Let r(x) = x**2 - 8*x + 13. Is r(m) a composite number?
True
Let v be (21/14)/((-9)/516). Let g = 297 + v. Is g composite?
False
Suppose 2*q = -4*r + 12, 5*r - 3 - 22 = 0. Let u(o) = -10*o**2 + 3*o**2 + 5*o**2 - 2*o**3 + 3 - 4*o. Is u(q) prime?
False
Suppose -5*a + 4*a - 5*n + 1406 = 0, a - 5*n = 1376. Is a prime?
False
Suppose -3*o + s + 3 = -2*s, -o - 2*s = 2. Suppose -4*m + 796 = -0*m. Is (o + 0 + 1)*m a composite number?
False
Let n(f) = -981*f - 287. Is n(-4) a prime number?
True
Is 4*(-133071)/(-24)*2 a prime number?
True
Suppose 3*m - 3*s - 41 = -s, 2*m - 49 = -3*s. Suppose -m = -3*k + 7. Suppose -507 = k*j - 5555. Is j a composite number?
False
Suppose 3*g - 6 = 2*r - g, -2*g = r - 5. Let h(a) = 121*a**3 + a**2 - a. Is h(r) prime?
False
Let a = 289 - 33. Suppose 3*p + c = -4*c + a, -4*p + 4*c = -288. Is p composite?
True
Let z = -53 + 57. Suppose -3*p - 606 = -6*p - 3*i, -z*p = 5*i - 811. Is p prime?
True
Let s = 4440 - 2999. Is s a composite number?
True
Let j = -5 - -2. Let c(y) = -y**3 - 3*y**2 - 3*y - 4. Let k be c(j). Suppose 0 = -k*f + 5*w + 2735, 4*f - 5*w - 1847 = 343. Is f prime?
False
Let d(c) = -c**3 + 2*c**2 - 4. Let u(b) = -b**3 - 3*b**2 - 3. Let a be u(-3). Let j be d(a). Suppose -2*q + 51 = -j. Is q a composite number?
True
Suppose 27*p - 26*p = 0. Suppose p = -2*u - 2*q + 628, -3*u + 5*u + q - 628 = 0. Is u a composite number?
True
Let v(k) = k**2 + 4*k + 5. Let x be v(-4). Suppose -x*d - 18 = -3*d. Is (12/8)/(d/(-228)) composite?
True
Suppose -155 = 4*x - 5*s + 37, 0 = 4*x - 2*s + 192. Is (181/(-2))/(8/x) a composite number?
True
Suppose r = -2*r + 87. Suppose 7*i = -194 - 2. Is 5/(1 + i/r) prime?
False
Let r(b) = 68*b - 19. Suppose -5*d + 47 = 3*n, n + 4*d - 34 = -n. Is r(n) a prime number?
True
Suppose 5*j = -3*f - f, 0 = -5*j + 2*f. Let m(l) = -2*l**3 + l**2 + l + 254. Is m(j) prime?
False
Let j(m) = -80*m + 13. Let u = 13 - 21. Is j(u) prime?
True
Is ((-163028)/53)/(4/(-2)) a prime number?
False
Let j(t) = 5*t**3 + t**2 - 2*t + 1. Suppose 5*v = -4*o + 64, -v + 19 = 2*o - 7. Let f = o + -8. Is j(f) a prime number?
True
Suppose 0 = 5*c + 5*u, -5*u + 2 - 22 = c. Suppose -9*f = -c*f. Suppose f*m = -2*m + 230. Is m composite?
True
Suppose 4*f + 3*b = 3608, -679 + 5224 = 5*f - 5*b. Let x = f - 378. Is x composite?
True
Let s(p) = -p**3 + 15*p**2 - 20*p - 12. Let f be s(12). Suppose 0 = 5*c - 8025 - f. Is c a prime number?
False
Suppose -5*o - 14*s + 11*s + 3541 = 0, 2*s + 4238 = 6*o. Is o composite?
True
Suppose 18*k - 12*k = 10*k. Suppose -3*z + 1896 + 3951 = k. Is z a prime number?
True
Let p(l) = -2*l**2 - 2*l**3 + 2 + 0*l**3 + 4*l**3 - 7 + 9*l. Is p(6) prime?
True
Suppose -5*c - 2*h + 14 = -h, -6 = 5*c - 4*h. Is (-6 - -1810)*(c - 1) + 3 a prime number?
False
Suppose y + 0 = 3. Let h be ((-4)/y)/(7/(-504)). Let t = h - 61. Is t a prime number?
False
Suppose 897013 = 89*a - 76*a. Is a composite?
False
Let z(y) = -15*y - 8. Let n(q) = -2*q**2 - 2*q + 3. Let j be n(-3). Let i = j - 0. Is z(i) a composite number?
False
Let s = -67 + 72. Suppose 0 = -s*f + 3*f + 534. Is f prime?
False
Let s(o) = 9*o**2 - 3*o - 5. Suppose 0 = 4*p + 150 - 54. Let u be 6/(-4)*p/9. Is s(u) a prime number?
True
Let n(q) = 39684*q**2 - 12*q - 11. Is n(-1) prime?
False
Suppose -65 - 1 = 2*k. Is (k + 2)/(((-5)/5)/7) prime?
False
Let k(u) = -7*u**2 + 7*u - 8. Let j be k(12). Let d = 220 + -699. Let s = d - j. Is s prime?
False
Suppose t - b - 4 = -3*t, 0 = b. Let o be -1893*(t - (-2)/(-6)). Is (-2)/(o/(-422) - 3) a composite number?
False
Let s be (-600)/((-1)/((-2)/(-3))). Let c(w) = -3*w**2 + 11*w + 25. Let t be c(-6). Let d = s + t. Is d prime?
True
Is 6 - (301/172)/(2/(-10552)) a composite number?
False
Let n(f) = 8*f**2 + 4*f - 6. Let i(x) = x**3 + 4*x**2 - 4*x + 10. Let l be i(-5). Let q be n(l). Is q - 4 - (-4 + 3) composite?
False
Let c(q) = 769*q - 65. Is c(16) a prime number?
True
Let g(k) = 5*k**2 + 1. Let d be g(-1). Let u be d/10 - (-172)/(-20). Is ((-2)/u)/((-3)/(-4548)) prime?
True
Let k be (-12)/(-7) + (-6)/(-21). Let v(q) = 119 + q - 4*q**k - q**2 + 4*q**2. Is v(0) a composite number?
True
Suppose -4*f = -24 - 548. Is f a prime number?
False
Suppose 0 = -10*q + 14*q + 17648. Let l = -2239 - q. Is l a prime number?
False
Let m = -9 + 7. Let f = 2088 - 1354. Is f/4 - 3/m a composite number?
True
Let c(n) = -n**3 - 14*n**2 - 12*n + 13. Let m be c(-13). Let y = m - -1. Is (-2)/y - -53*1 composite?
True
Let a = -12 - -13. Let r = a + 2. Is 28/(-42) - (-485)/r composite?
True
Let u = -26 - -39. Is 1378/u*3/2 prime?
False
Suppose 4*c = 7*c - 18147. Is c a prime number?
False
Let n = -22 - -39. Let y = n - 14. Is (1/y)/(15/35595) composite?
True
Let r = 6 - 5. Suppose j + r - 77 = 0. Suppose -j = x - 3*x. Is x prime?
False
Let l be -1*1*(-29 + 2). Suppose -18*j + 16*j - 40 = -p, -61 = -p - 5*j. Let z = p - l. Is z composite?
False
Let j(l) = l**2 + 3*l + 7. Let q be j(-4). Suppose q + 8 = i. Is i composite?
False
Let c(a) = -a + 5. Let f be c(7). Let h be f/(((-16)/(-110))/4). Is (-3675)/h + 4/22 a prime number?
True
Suppose -9*c + 3*c - 162 = 0. Let k = c + 38. Let n(f) = f**3 - 6*f**2 - 11*f - 5. Is n(k) prime?
True
Suppose 0 = 8*m - 12 - 28. Suppose 0 = 3*w + 5*x - 576, -2*x = m*w + x - 944. Is w a composite number?
True
Let s = -14 + 17. Suppose 0*u = s*u - 234. Let l = u - 40. Is l composite?
True
Let a = -206 + 518. Suppose -s = -2*o + 21, -3*o - 15 = -4*s - 94. Let g = s + a. Is g a composite number?
False
Is (31268/2)/(-8*(-16)/64) a composite number?
False
Let j be (-1087 + 4)/(-2 - -1). Suppose z = y, 0 = -4*z + 5*y - 0 - 3. Suppose 2*s - 530 = -4*d, -z*s + j = -2*d + 264. Is s a prime number?
True
Let u(v) = v**3 + v**2 - 2*v + 3233. Let i be u(0). Let q = i - 2304. Is q composite?
False
Let n(l) = l**2 + 1. Let k(u) = u**3 - 5*u**2 + u - 1258. Let m(y) = -k(y) - 5*n(y). Is m(0) composite?
True
Suppose -5*j = -5*g - 30, 5*j + 0*g - 4*g = 25. Let c(r) = r**2 + 5*r + 1. Let l be c(-4). Is j/l*(-242 - -5) a prime number?
True
Suppose 7*j = 12*j - 90. Is 12/54 - (-26978)/j prime?
True
Let h = 0 + 4. Let w = -12 + h. Let l(a) = 4*a**2 + 7*a + 5. Is l(w) a prime number?
False
Let f(s) = -s**3 + 2*s**2 + s + 14395. Let c be f(0). Suppose -3*v = 2*v - c. Is v a prime