**2 + g + 1. Let j(n) = 2*i(n) - x(n). Is j(-4) a prime number?
False
Let v be 32/12 + (-4)/6. Let i be 28*-1*(-3)/v. Let y = i + -19. Is y a prime number?
True
Suppose 2*x + 5*x - 2275 = 0. Suppose x = 6*z - 437. Is z a prime number?
True
Is (-3 - 734/4)*-4 prime?
False
Suppose 0 = 3*w - 7*w + 72. Let c be (1 + 5)*6/w. Suppose 2*i - 708 = -c*i. Is i prime?
False
Suppose 6 = -4*j + 2, 0 = -5*n - j + 1269. Is n a composite number?
True
Suppose -2*q + 5*n = -191 - 332, -q = -n - 257. Is q a composite number?
True
Let s(m) = -m**2 + 9*m - 4. Let c be s(8). Suppose 3*f = -3*d - 2*f + 10, d - c*f = 9. Suppose 0 = -4*z - 4, 3*z = d*x + 1 - 119. Is x a prime number?
True
Let s(u) = 27*u**3 - 2*u**2 + u + 1. Let h(j) = -26*j**3 + 2*j**2 - j - 1. Let l(w) = 3*h(w) + 2*s(w). Let i be l(-2). Suppose 444 = 3*x - i. Is x prime?
False
Suppose -5*w = -6*w + 119. Is w prime?
False
Suppose g = -4*i + 830, 3*i + 3303 = 4*g + 2*i. Let l = g - 528. Is l composite?
True
Let q = 2170 - 718. Suppose g + 3*s = 6*g - 1823, 4*s = 4*g - q. Is g composite?
False
Let f be 0 + (6 - 3) - 0. Suppose 157 + 511 = 4*g - 4*r, f*r - 314 = -2*g. Is g a prime number?
True
Let b = 540 + -50. Suppose -4*i + b = -546. Is i composite?
True
Let p = -208 + 687. Is p composite?
False
Suppose -r + 27 = 5*x, -4*r + 0*r = -3*x - 16. Is r composite?
False
Let i(j) = 3*j**2 - 4*j - 2. Is i(5) a composite number?
False
Let d(t) = 37*t**2 + t + 2. Let z be d(-2). Suppose 3*p - z = -p. Is p composite?
False
Suppose 0 = k - 4, 2*k - 6 = d - 0*k. Suppose a = -m - 0*m - 1, -d*m + 7 = -a. Suppose -i + 141 = m*i. Is i a prime number?
True
Let a = 102 + -73. Let n = -18 + a. Is n composite?
False
Is -2*(807/(-6))/1 a prime number?
True
Let x(j) = -37*j - 5. Is x(-2) composite?
True
Let q = -1 - -2. Let x be (-4)/(-12)*(3 + 960). Is q/2 + x/2 prime?
False
Suppose 2 = -a - 0. Is -5 - a - (-28)/2 prime?
True
Suppose 0 = -2*f - 3*w - 16, -4*f - 16 = w - 4. Let x be 6 + -2 + f + 2. Suppose 3*k = 25 - x. Is k composite?
False
Let s = -1 - -1. Suppose s*r = -4*r + 140. Is r composite?
True
Let p be (-315)/(-20) + (-1)/(-4). Let a(s) = -s**2 + 7. Let n be a(0). Let l = p + n. Is l composite?
False
Let q = -844 - -1563. Is q composite?
False
Let x(d) = d**2 - d + 19. Is x(9) a prime number?
False
Let f(s) = s - 5 + 3*s - 5*s. Let j be f(-9). Let r(x) = -x**3 + 3*x**2 + 6*x - 1. Is r(j) composite?
False
Let u be (-10128)/20 - 6/(-15). Let r = u + 796. Let b = 577 - r. Is b a prime number?
False
Let h(u) = -u**2 + u + 11. Let c be h(0). Let y(k) = -k**2 + 12*k + 12. Is y(c) a prime number?
True
Suppose 0 = -2*k + 7*k + 2*n - 14, k - 3*n = -4. Suppose -g + 419 = k*y, 805 = 5*y + 2*g - 241. Suppose -7*o = -2*s - 3*o + 110, 0 = 4*s - 5*o - y. Is s prime?
True
Suppose -4*b + 16 = -c, -12 = 2*c + c. Let t = b - 1. Is t a prime number?
True
Suppose -5*c + 10 = 0, 0 = 3*d - 5*c - 0*c + 301. Let w = d - -150. Is w prime?
True
Let y = -11 + 11. Suppose -2*r - 2*k + 56 = 0, y*r = -3*r + 5*k + 124. Is r a prime number?
False
Let y be (4 - 4)*(-2 - -3). Suppose y = 2*d - 23 - 47. Is d a composite number?
True
Let v be 2/(-10) - (-1652)/10. Suppose 2*a + 3*a + 400 = 0. Let x = a + v. Is x a composite number?
True
Let q = -5 - -9. Suppose q*g = 5*j - 929, 5*j + 192 - 1115 = -2*g. Is j a prime number?
False
Let s = 8 - 4. Suppose 6*t + 3*q - 117 = 3*t, 5*q = -s*t + 158. Is t a prime number?
True
Suppose 2*c + 17 = 1. Is ((-4)/(-6))/(c/(-948)) a composite number?
False
Suppose 9*g = 10*g - 544. Let b = 103 + g. Is b prime?
True
Let l(w) = -4*w**2 - w. Let o be l(1). Is 3 - (o - -2 - 341) prime?
True
Is 5/2*(-76)/(-10) a prime number?
True
Suppose -a = l - 129, 6*a + l - 653 = a. Let g = 236 + a. Is g a prime number?
True
Let d(n) be the third derivative of n**6/60 - 3*n**5/20 - n**4/4 + 4*n**3/3 + n**2. Is d(7) a prime number?
True
Let x(t) = t**2 + 2. Let l(s) be the third derivative of -s**4/6 + s**3/6 - 4*s**2. Let a be l(2). Is x(a) composite?
True
Let l(d) be the first derivative of d**3 + 13*d + 5. Is l(-6) composite?
True
Suppose 2*o = 0, -2*o + 35 = 3*x + 2*x. Let q = 30 - x. Is q a prime number?
True
Let r = -188 + 355. Is r a prime number?
True
Suppose 0 = 3*r + 3*o - 30, -o = -5 + 3. Let s(m) = m**3 - 3*m**2 - 10*m - 11. Let i be s(r). Suppose -4*n + i = 3*g, n = -g - 0*g + 58. Is n composite?
True
Let i(k) = -3*k**2 + 6*k - 3. Let o be i(2). Is 2/(-3)*o + 33 composite?
True
Let b = -3 - -8. Suppose -53 = -4*g - b. Suppose -2*l - 2*l + g = 0. Is l a prime number?
True
Suppose 0 = 2*d - 7 + 27. Let r be 12/d*1*15. Let x = r - -31. Is x a composite number?
False
Let p be (-3)/3 + (2 - 54). Let q = 165 + p. Let j = q + -73. Is j a composite number?
True
Suppose f - 9 = -2*f. Suppose -2*y + 0 = 4, f*y = -4*c + 78. Is c a prime number?
False
Let a(i) = -11*i + 0*i**2 - 12 + 0*i**2 - i**2. Suppose 3*w + 72 = 45. Is a(w) a composite number?
True
Let s(r) = r + 1. Let v(l) = l**2 + 2. Let f(i) = 4*s(i) - v(i). Let x be f(4). Suppose 3*m = -x*m + 10. Is m composite?
False
Suppose 5*d - 364 = -s, -d - s = 4*s - 92. Let z = -6 + -27. Let y = z + d. Is y prime?
False
Is (354/(-24))/(1/(-44)) composite?
True
Suppose x - 13 = 222. Is x a prime number?
False
Let q = -3 - -3. Suppose -3*m + 117 = -q*m. Is m prime?
False
Suppose 20 = 6*m - 2*m. Suppose -o = -m*o + 2980. Is o a prime number?
False
Suppose -4*u = -3*k - 36, 2*k - 20 = -2*u + 4*k. Let f be (-916)/(u/(-9)*3). Let q = f - 193. Is q a composite number?
True
Let f(s) = -s - 7. Let n(z) = -3*z - 20. Let r(u) = 11*f(u) - 4*n(u). Is r(16) composite?
False
Let x = -15 + 17. Let s(l) = 193*l**3 + l**2 - 2*l - 1. Is s(x) a prime number?
True
Suppose 0 = n - 206 - 97. Let p = n - 52. Is p composite?
False
Is -10*(-3)/105 + 5834/14 prime?
False
Suppose f - 6 = 153. Suppose -f = -2*h + h. Is h composite?
True
Let t be ((-43)/2)/((-1)/6). Suppose 0 = -5*i + 10 - 0. Suppose -i*y - t = -5*y. Is y a prime number?
True
Let h = 5 - 1. Suppose 0 = -5*k + 2*p + 651, -h*k - 186 = -5*p - 700. Is k composite?
False
Let p = 438 + -736. Let x = p + 429. Is x a composite number?
False
Suppose c - 4 = -0*c. Suppose -5*k = -5*j - k + 413, k + 337 = c*j. Is j a composite number?
True
Let b(c) = 7*c**3 + 7*c**2 - 4*c + 5. Let g(k) = -6*k**3 - 7*k**2 + 4*k - 5. Let n(v) = -5*b(v) - 6*g(v). Is n(-7) composite?
True
Let p(w) = -w**2 - 5*w + 2. Let k be p(-5). Suppose 583 = 5*g - 5*u + 3*u, -226 = -k*g - u. Is g prime?
False
Is (-346)/(-2)*2*18/12 composite?
True
Let n(y) = 5*y**2 - 13*y + 3. Let v be n(6). Let q = 202 - v. Is q prime?
True
Let x(d) = -7*d**3 - 2*d**2 - d + 4. Let c be x(-3). Suppose j - 81 = c. Is j composite?
True
Let f be (13 - 0) + (-2 - 0). Suppose -d + f = -3. Is d composite?
True
Let j be (-2160)/22 + 10/55. Let d = j + 284. Let l = -95 + d. Is l composite?
True
Let l(i) = -i**3 - 4*i**2 - 15*i + 5. Is l(-13) composite?
False
Let c = 7 + 5. Suppose 3*o + 3*g = 0, -g = -0*o - 3*o + c. Suppose -16 = -j + 3*a, 4*j + 2*a = -o*a + 81. Is j composite?
False
Let t(z) = 13*z**2 - z. Let d be t(4). Let q = d + -115. Is q a prime number?
True
Suppose 0*s - u - 5 = -s, -s + 11 = -4*u. Suppose -s*y + 10 + 11 = 0. Is y composite?
False
Suppose -6*y - 963 = -9*y. Is y a composite number?
True
Suppose -4*m - g = -11, -3*m - 6 = -3*g - g. Let t(d) = 0*d + 3*d + 3*d**m - 7 + 0*d. Is t(-5) composite?
False
Let a = -27 + 65. Suppose 2*s = 3*s - 19. Let c = a - s. Is c a composite number?
False
Is (4/(-8))/((-1)/38) a composite number?
False
Let t be (22/(-3))/(4/198). Let n = -250 - t. Is n a prime number?
True
Let c(a) = -a**3 - 5*a**2 - 6*a - 7. Is c(-9) a composite number?
True
Let h(z) = -z**3 - 6*z**2 + 7*z - 7. Let m(a) = 3*a**3 + 19*a**2 - 22*a + 21. Let v(j) = 7*h(j) + 2*m(j). Let i = 6 - 12. Is v(i) a composite number?
True
Let m = -141 + 236. Is m a prime number?
False
Let d = 584 - 103. Is d a composite number?
True
Let y(o) = 8*o + 5. Let q(u) = 17*u + 11. Let s(m) = 6*q(m) - 13*y(m). Let a be s(-4). Is 3/a*(92 - -1) prime?
True
Let r(h) = -h + 8. Let j be r(6). Suppose j*g - 25 = -3*g. Suppose 13 = 3*o - g. Is o a prime number?
False
Suppose -2*p = -k - 21, -4*k - 3*p - 117 = -0*k. Let z be ((-4)/(-6))/((-6)/k). Suppose -z*u - 21 = -6*u. Is u a prime number?
True
Let s = 3809 + -218