2 - 2*d - 9. Let b be i(11). Let k = b - 840. Is k prime?
False
Let w(b) = 38*b - 13. Is w(15) a composite number?
False
Let a = -620 + 885. Is a prime?
False
Let g(q) = -4*q - q**2 + 2*q**2 + q + 4. Let v(a) = 3*a + 11. Let w be v(-6). Is g(w) a prime number?
False
Suppose -2050 = -5*z - 3*t, 2*z - 2*t = 232 + 604. Is z a prime number?
False
Let v be (-4)/(-14) - 7542/(-14). Let z be (-1)/(-2) - v/(-14). Suppose l - 2*q - z = 0, 3*q = -3*l + 8 + 91. Is l a prime number?
False
Let p be 1 - (-2 + -1)/(-3). Suppose p = 4*r + 3 - 15. Suppose 0 = -r*c - c - 16, -3*h = -4*c - 79. Is h prime?
False
Let d(q) = 3 - 3 + 11*q - 3 + 4. Let u(i) = -5*i. Let t(g) = -3*d(g) - 5*u(g). Is t(-11) composite?
True
Suppose 4*r + i = 2 - 1, 0 = 3*r + i. Let j = 9 + r. Is j a prime number?
False
Let d(a) = -a. Let f be d(2). Suppose 12 = -3*q - q. Is -29*q*(3 + f) a composite number?
True
Suppose -2*p + 5 = -3. Suppose 2*h + r - 179 = 0, p*h = -2*r + r + 357. Is h a prime number?
True
Suppose 3*x - 2*x = -5*v - 44, x + 4*v = -40. Suppose -3*s + 4*c + 88 + 57 = 0, 5*s - 195 = -5*c. Let b = s + x. Is b a prime number?
True
Let k(f) = 10*f + 28. Let m(x) = -3*x - 9. Let n(i) = 2*k(i) + 7*m(i). Let q be n(-8). Is ((-1)/2)/(q/(-194)) a prime number?
True
Is (-11495)/(-8) + 2/16 composite?
True
Let p be 9 + (0 - 3/3). Is 374/18 - p/(-36) composite?
True
Suppose 2*n - 5 = 5. Suppose n*w = -0*w + 25. Let h(z) = z**2 - 2*z - 6. Is h(w) composite?
True
Let r be 2/(((-2)/(-4))/1). Is 2430/66 + r/22 composite?
False
Let c(v) = 10*v + 8. Let h be c(6). Let t = -49 - -4. Let r = t + h. Is r a prime number?
True
Suppose -4*d + 10738 - 3990 = 0. Is d composite?
True
Let t be (-3 - 0) + 1128/(-3). Suppose 1 = v, -3*u + 2*u - 5*v = 183. Let o = u - t. Is o composite?
False
Is (3 - 4)/((-128)/127 - -1) composite?
False
Suppose -20 = p + 3*p, p = -4*u + 3. Is -3*(-37)/6*u a prime number?
True
Let l = 34 - 64. Let a = -11 - l. Is a prime?
True
Let d(g) = -4*g + 2. Let p be d(-7). Let v = p + 25. Is v composite?
True
Let n be 4*3/6*2. Let v be 1789/n - 2/8. Suppose -6*g + v = -3*g. Is g a prime number?
True
Let p(k) = -k**3 + 3*k**2. Let g be p(2). Suppose 0 = -d + g*d - 261. Is d a prime number?
False
Let u(y) = 4*y**2 - 5*y - 5. Let f be u(-4). Suppose -3*l - 3*c = -84, -3*c + 55 = -4*l + 139. Let t = f - l. Is t composite?
True
Let t = 7 + -5. Suppose 3*o - 1 = t*o, 4*o = -2*y + 102. Is y prime?
False
Let i = 9 - 2. Suppose -z = -2*z + i. Is (-1*1)/(z/(-2261)) prime?
False
Let s(l) be the second derivative of l**6/120 - l**5/10 + 11*l**4/24 - 5*l**3/6 - 3*l**2/2 - 3*l. Let w(o) be the first derivative of s(o). Is w(7) composite?
True
Let f(n) be the first derivative of 7*n**6/360 + n**3/3 - 2. Let o(j) be the third derivative of f(j). Is o(1) a composite number?
False
Let k(z) = -8*z**3 + 3*z**2 - z + 1. Is k(-4) a composite number?
True
Let c be 4/(-14) + (-32)/(-14). Let n = -1 + c. Suppose 4*r - 154 = -2*p, n + 70 = 2*r - p. Is r composite?
False
Suppose 2*f = 7*u - 2*u + 316, -4*f + 632 = 2*u. Let j = -61 + f. Is j a prime number?
True
Let p be 0 - ((8 - 4) + -7). Let w = 22 - p. Is w prime?
True
Is 3/7 + 66240/35 a prime number?
False
Let c(m) = -m**2 - 3*m - 4 + 4*m**2 - 2*m**2. Let y be c(4). Suppose -2*r = 4*g - y - 88, 2*r = 4. Is g composite?
True
Let f(d) = 4*d**2 + 2*d - 3. Suppose 2*z + 13 + 7 = 4*b, b = -4*z - 13. Let s be f(z). Suppose -q + 0*q = -s. Is q a prime number?
True
Suppose 2*w - 3*i + 9 = 0, -i + 27 = 4*w + 2*i. Suppose 2*c + w = 3*v, -28 = -3*c - 0*v - 2*v. Is c prime?
False
Let u(i) = 2*i**3 + 16*i**2 + 20*i + 19. Let x(j) = -3*j**3 - 24*j**2 - 30*j - 28. Let c(g) = -7*u(g) - 5*x(g). Is c(-6) a prime number?
True
Let d = 12 - 10. Suppose 3*h = -3*v - d*h + 57, h = -4*v + 76. Is v composite?
False
Let p(a) = -32*a + 3. Is p(-4) a prime number?
True
Let n = -471 - -1482. Is n a prime number?
False
Let b(v) = 6*v - 1. Let r = 13 - 9. Suppose r*x + 8 = -2*k, -4*k - 2*x - 2*x = 0. Is b(k) a prime number?
True
Suppose -j - 27 = -167. Suppose -4*w + 3*d = -d - j, -184 = -5*w + 2*d. Is w prime?
False
Let c(t) = t**3 - 4*t**2 - 8*t + 6. Let y be c(6). Let j = 63 - y. Let x = j + -10. Is x a prime number?
True
Let g be -2 + (-4)/4*0. Is (g/(-3))/((-4)/(-318)) prime?
True
Let n(w) = -w**2 - 4*w + 1. Is n(-3) composite?
True
Let h(w) = w**3 - w + 203. Let a = -4 + 4. Is h(a) composite?
True
Let y = -212 - -85. Let h = y + 222. Is h a prime number?
False
Let r = -150 - -457. Is r a composite number?
False
Suppose -4*w + 6127 = t - 424, 0 = 5*w + 3*t - 8194. Is w a composite number?
False
Let a(u) = -8*u**2 - u**3 - 4 - 5 + 2*u**2 - 5*u + 0*u**3. Is a(-8) composite?
True
Let p(f) = -9*f**3 - 4*f**2 - 18*f + 6. Is p(-8) a prime number?
False
Let b(d) = -29*d + 4. Suppose -5 = 2*j - h, j + 3*h = 2*j + 5. Is b(j) a prime number?
False
Let f(a) = -14*a - 1. Let n be f(-6). Suppose 2*b - 75 - n = 0. Is b a composite number?
False
Let k = -5 - -7. Suppose -k*w = -2*u + 902, 3*u - u - w - 900 = 0. Is u a composite number?
False
Let l(p) = 3*p - 4. Let h be l(3). Let k be 3*2*218/6. Suppose -833 + k = -h*d. Is d prime?
False
Is (1 + -5 - -8238)*(-3)/(-6) composite?
True
Suppose -2*f = 127 - 965. Is f prime?
True
Suppose 0 = -2*z - 2*z + 508. Is z prime?
True
Suppose -9 = -q - 4*b, -4*q - 14 - 4 = -2*b. Let y be q/(-1) - (1 + -2). Is 30/y*(-138)/(-9) a composite number?
True
Let c = -12 + 25. Is c prime?
True
Let x(v) = 3*v**2 - 3*v + 15. Is x(-7) composite?
True
Is (-15)/30*2*-2767 a composite number?
False
Suppose 2188 = 5*m - w, 3*m - 3*w + 675 - 1995 = 0. Is m a composite number?
True
Let u be 6/3 + (-272)/(-4). Suppose u + 225 = z. Is z a prime number?
False
Let v(k) be the third derivative of -7*k**6/240 + k**5/120 - k**4/24 + 3*k**2. Let d(x) be the second derivative of v(x). Is d(-4) prime?
False
Suppose 19887 = 5*k + c + c, -3*c + 7946 = 2*k. Is k prime?
False
Is (-4)/(-8)*(76 - -2) composite?
True
Let a = 25 - -156. Suppose -3*q = -a + 31. Let w = 87 - q. Is w a prime number?
True
Let l = 104 - -109. Is l a composite number?
True
Let w(i) = i**2 - i + 1. Let s be w(-7). Suppose -s = -2*x + 49. Is x a prime number?
True
Let h = 354 + 701. Is h prime?
False
Suppose -4*b - b + 920 = 0. Suppose 6*w = 5*w + b. Suppose -3*t = 6, -a + 2*t = -5*a + w. Is a a prime number?
True
Let w(y) = y**3 - 4*y**2 - 4*y + 10. Let p be w(7). Let f = -21 + 85. Let n = p - f. Is n composite?
True
Let k(j) = 3*j**2 + 8*j + 7. Suppose 2*g - 4 = -16. Is k(g) a prime number?
True
Let h = -18 - -22. Suppose -t = h*t - 1630. Is t a prime number?
False
Suppose -2*j - 2*j = -652. Is j a prime number?
True
Let f = 81 - 58. Suppose -k = 9 - f. Is k a prime number?
False
Let q = -4 + 7. Suppose -q*o + 5 = 4*t - 16, -o + 5*t = 12. Suppose 3*k - o*i + 12 = 36, 27 = 4*k - 3*i. Is k prime?
True
Let k be (20/10)/((-2)/(-34)). Suppose j - 3*v - 42 = 171, 5*j + 3*v = 1011. Suppose -5*o + j = k. Is o composite?
True
Let m(q) = q**2 + 10*q + 11. Let n be m(-9). Is 3/n*664/12 composite?
False
Suppose 9 = -7*h + 4*h. Let q = 2 - 7. Let y = h - q. Is y prime?
True
Let v = 20 + 2. Is v a prime number?
False
Suppose -b - 36 - 17 = 0. Is b/(-1) - (-1 - 1) a prime number?
False
Let f be -11 + (-6)/2 + 4. Is (f - 1)/((-2)/22) prime?
False
Let w = 7110 + -4683. Is w prime?
False
Let k(b) = -6*b**3 + b - 1. Let w = 3 + -2. Let p be k(w). Is (1*p)/3 - -35 a composite number?
True
Suppose 3*z + 561 = 4*a + 2*z, 4*a + 4*z - 576 = 0. Is a a composite number?
True
Let m = -7 - -7. Let r(w) = -w**3 - w**2 + w + 705. Let y be r(m). Suppose s - y = -2*s. Is s prime?
False
Let t = -10 + 10. Suppose -3*j + 10 + 83 = t. Is j a composite number?
False
Suppose 4*x - 2*f + f = 599, 4*x - 584 = -4*f. Is x a prime number?
True
Let v = 7 + -3. Suppose -d - v = -1. Let q(l) = -8*l + 1. Is q(d) a composite number?
True
Let p(r) = 372*r + 1 - 5 + 3. Is p(1) a composite number?
True
Let z be -87 - -2*(-3)/(-6). Let x = z - -135. Is x a prime number?
False
Let p(y) be the first derivative of y**4/4 - 4*y**3/3 - y + 2. Let a be p(4). Is 2/(102/(-106) - a) prime?
True
Let s(b) = -b - 3. Let r be s(-3). Suppose z - 4*w = -3*z + 256, r = -3*w - 15. Is z composite?
False
Let u(b) be the first derivative of 2*b + 1 + 11/3*b**3 + 2*b**2. Is u(-3