) = k**2 - 11*k + 7. Is r(11) prime?
True
Let g(s) = -22*s + 15. Is g(-13) a composite number?
True
Suppose b + 4*v = 8 + 10, -3*b - 4*v + 78 = 0. Suppose -6*h = -3*h - b. Is h a composite number?
True
Let f(t) = t + 1. Let r(y) = 2*y**3 + y. Let d be r(1). Is f(d) a composite number?
True
Suppose -y + 60 = 2*g - 5*y, 0 = -y - 4. Let x = g - -109. Is x prime?
True
Is (-2680)/(-16)*(-18)/(-15) a composite number?
True
Suppose -o = -m + 8, 1 = -3*o - 14. Suppose 0 = 2*c - 4*j - 590, 0 = j + j - 6. Suppose c = m*h + 40. Is h a prime number?
False
Suppose 2*l + 6 = 4. Let w(k) = -74*k**3. Is w(l) prime?
False
Suppose 3*w - 43 = 2*w. Let c = 24 + w. Is c prime?
True
Let s = -4 - -4. Suppose -5*f + 10*f - 530 = s. Is f prime?
False
Suppose 7*q = 2*q + 1065. Suppose -2*p = p - q. Is p composite?
False
Suppose 0 = 4*m - 2*m + 4. Is (-1)/(m*4/1192) composite?
False
Let r(c) = c**2 + 4*c - 2. Let g be r(-5). Suppose -4*l = 0, q + 52 = g*l + 287. Suppose 3*h - q = 2*h. Is h a composite number?
True
Let z = 30 - 19. Is 4/22 + 1395/z a composite number?
False
Let w = 1138 + -791. Is w prime?
True
Let u(b) = b**2 - b. Let d = 4 + -3. Let c be u(d). Suppose 140 = 3*n + 4*j - 299, 3*n - 5*j - 430 = c. Is n a composite number?
True
Let o(p) = 78*p**2 - 2*p - 1. Is o(2) a composite number?
False
Suppose 4*y - 16 = -0*y. Is 586/(y - (6 + -4)) composite?
False
Let a be 571 + (6/2 - 7). Let l = 964 - a. Is l composite?
False
Is -11156*6/(-60) - 3/5 a composite number?
True
Suppose 4*q - 5*z + 35 = 0, 0*z + 2*z - 38 = 4*q. Let k = -6 - q. Suppose k*x - 154 = -h, -5*h - 57 = -4*x + 109. Is x composite?
True
Let t(f) = 118*f - 3. Is t(2) a composite number?
False
Let b(j) = -j**3 + 6*j**2 + 4*j - 1. Let r = -7 + 7. Suppose m = 6 - r. Is b(m) prime?
True
Suppose -3*y + 408 = y. Let d = -178 + y. Let o = d - -261. Is o a prime number?
False
Let m be (9/(-1))/(6/(-4)). Is m/9 + (-2234)/(-6) prime?
True
Suppose 3*r - 22 = -4*y, -3*r - r + 16 = 2*y. Let p(t) = t**2 + y*t + 3 - 4*t - 2. Is p(6) prime?
True
Suppose -3*n - 2*p = 0, -2*n + 3*p + 0*p = 0. Let s = 37 - n. Is s a prime number?
True
Let j(z) = 12*z - 5. Let o(h) = -13*h + 6. Let q(d) = -3*j(d) - 2*o(d). Is q(-5) a prime number?
True
Let i(y) = 2*y - 8 + 15 - 3*y. Let u be i(5). Suppose 0 = -u*f + 4 + 58. Is f a prime number?
True
Let t = -26 - -20. Let c(f) be the third derivative of f**5/10 - f**4/8 + f**3/6 + f**2. Is c(t) prime?
False
Let j(f) = f + 1. Let d be j(-2). Let y(r) be the third derivative of 13*r**5/12 - r**4/24 - r**3/6 + 2*r**2. Is y(d) a composite number?
True
Let m(w) = 33*w**2 - 19. Is m(6) prime?
False
Let y = 2637 + -1550. Is y a composite number?
False
Suppose 1402 = y + y. Is y a composite number?
False
Let w(i) = 6*i + i**2 + 7 + 2*i**2 - 4*i**2. Let o(k) = -k - 5. Let g be o(-11). Is w(g) composite?
False
Suppose -4*n = -35 - 313. Let i = 61 + n. Suppose 3*s - i = -s. Is s prime?
True
Is ((-9878)/(-33))/((-2)/(-3)) a composite number?
False
Suppose 2*j + 53 - 351 = 0. Is j prime?
True
Let c = -1972 - -3251. Is c a prime number?
True
Let h(w) = 48*w + 1. Let x be h(1). Suppose -x = 4*z + 59. Let c = z - -38. Is c prime?
True
Suppose v + 0*v - 2 = 0. Suppose -3*y + 37 = -v*y. Is y a composite number?
False
Let q = -2060 + 4629. Is q a prime number?
False
Suppose 0 = -6*v + 3*v + 2661. Is v prime?
True
Let g(j) = j**3 - 4*j**2 - 9*j + 5. Is g(7) a composite number?
False
Suppose -5*k + 400 = -o, -2*k + 3*o = -63 - 110. Is k composite?
False
Suppose -3*z + 106 = 439. Is 2/(-3)*z/2 prime?
True
Let q = 3064 + -1847. Is q a composite number?
False
Let f(t) be the second derivative of -t**4/4 - t**3 - 2*t**2 + 2*t. Let n be f(-4). Let a = n - -47. Is a a prime number?
True
Let p be (-1 + (-10)/(-6))*489. Suppose n - p = -n. Is n a prime number?
True
Let b = -7 - -12. Suppose a - 2*a = b*d - 25, -20 = -4*a. Let y(p) = 11*p - 1. Is y(d) a prime number?
True
Let c be (-7)/((2/2)/1). Let n = 7 + c. Is ((-20)/(-2))/(n + 1) composite?
True
Suppose -64 = 2*n - 4*f, -f = -4*n + 2*f - 153. Suppose 4*p - 68 = -3*x + 191, -93 = -x + 2*p. Let a = x + n. Is a a composite number?
False
Suppose 0 = 2*p - 3*c - 1097, 4*p - 2336 = c - 127. Is p prime?
False
Suppose 0*q = 4*q + 16. Let g be -6*(2/q + 0). Suppose 80 + 151 = g*r. Is r composite?
True
Let o = 267 - 56. Is o a prime number?
True
Let z(r) = 6*r**3 - r**2 + r - 1. Let s be z(1). Suppose s*n = 10*n - 165. Is n a prime number?
False
Suppose 0 = 5*q, -111 = -b - q + 698. Is b composite?
False
Suppose -7*k = -2137 - 1020. Is k a composite number?
True
Is (-2407)/(-5) - 4/10 composite?
True
Let c(q) = -3*q**3 + 3*q**2 + 7*q - 2. Let r(a) = -5*a**3 + 4*a**2 + 11*a - 3. Let p(m) = -8*c(m) + 5*r(m). Is p(-6) a prime number?
True
Let d(z) = 3*z**2 - 33*z + 10. Let k(q) = 4*q**2 - 49*q + 15. Let f(l) = -7*d(l) + 5*k(l). Let a(m) = 3*m + 6. Let v be a(-4). Is f(v) composite?
False
Let l(g) = -g + 10. Let a be l(8). Let f = a - -19. Is f a prime number?
False
Suppose m - 2 = -i + 1, -24 = -5*i - 2*m. Is i/21 + 887/7 composite?
False
Suppose d - 204 = -2*d. Suppose -x + 91 = -0*x. Let q = x + d. Is q prime?
False
Suppose q - 52 = 133. Is q a composite number?
True
Suppose 3*j = -12, 0 = 2*i + 2*j + 3*j + 10. Suppose -i*n = -5*u + 715, -5*n - 230 = -u - 75. Is u/6 - 3/9 prime?
True
Suppose -108 = -2*p - 2*z, 12 = -4*z + 8*z. Is (8/12)/(1/p) composite?
True
Let i(w) = 836*w - 5. Is i(1) prime?
False
Suppose 2*f + 4 = 2*w, 2*w + 5*f + 2 = 13. Suppose 0 = -3*s, -4*s + 87 = w*x + s. Is (4 - x)*(0 - 1) composite?
True
Let q = -5203 - -9770. Is q composite?
False
Let z(o) = o**3 - 10*o**2 + 10*o - 7. Let j = -4 + 13. Let n be z(j). Suppose -5*s = 4*p - 4*s - 53, 0 = n*s - 2. Is p a composite number?
False
Is ((-56452)/66)/(4/(-6)) a composite number?
False
Suppose 2*m = -4 - 6. Let w = 5 + m. Suppose w = -5*y + 6*s - 4*s + 57, -3*s = 2*y - 38. Is y a prime number?
True
Suppose 5*h = 6633 - 1058. Is h a prime number?
False
Suppose -7*p - 1058 = -9*p. Is p prime?
False
Suppose -i = -4*i - 3. Let r be (0 + i)/((-5)/(-1165)). Is (-2)/3 - r/3 a composite number?
True
Suppose 9*t - 22888 = t. Is t a prime number?
True
Let w be (-3)/(-3)*(0 - 0). Suppose -3*o - d = -4*d - 9, w = -2*o - 5*d + 20. Suppose -o*k = 2*n - 97, -3*k + 58 - 15 = 5*n. Is k prime?
False
Let m = 671 - -242. Is m a composite number?
True
Suppose -3*x - x + 332 = 0. Let c = 160 - x. Is c a composite number?
True
Is 160 + 1 + (1 - -1) composite?
False
Suppose -10*r - 2301 = -13*r. Is r a prime number?
False
Let j be (-4)/(-4) + 0 + -1. Suppose j = -4*w + 12 - 0. Is (-15)/(-2)*14/w prime?
False
Let d(j) = -j**3 - 4*j**2 - 2*j + 4. Let g be d(-3). Is 153/3 + (-1 - g) a composite number?
True
Suppose 12 = -2*l - 0*b - b, -5 = l + b. Let n(h) = -36*h - 1. Is n(l) a prime number?
True
Suppose h = i, 5*i + 3*h + 0*h + 24 = 0. Let f = 3 + i. Is 2 + (55 - f) + -2 a composite number?
True
Suppose 0 = 2*s + 2*j - 790, 6*s - 2*j = 3*s + 1180. Suppose -3*c = 2*v - s, -6*v + 5*v - 3*c + 203 = 0. Is v composite?
False
Let k(p) = 329*p - 1. Suppose 4*m + 27 = -5*t - 2, -17 = 2*m + 3*t. Let r be k(m). Let x = r + 521. Is x a prime number?
True
Suppose -3*t - 402 = -1323. Is t a prime number?
True
Suppose -5*b + 4*v + 6339 = 0, -1682 = -4*b - 4*v + 3382. Is b prime?
False
Let g = 5 + -7. Is 1/(g/((-762)/3)) a prime number?
True
Let h be 9/6*8/6. Suppose h*q - 16 = -l - q, -3*l = 3*q - 30. Is l composite?
False
Let b be 4 + -5 + 86/2. Suppose -5*r + 5 + 35 = -2*c, 0 = -2*c + 4*r - b. Let z = 6 - c. Is z a composite number?
False
Suppose 2*z - 4*z = -82. Suppose -2*x = z - 107. Suppose -a + 56 = -x. Is a composite?
False
Let f(y) = 10*y - 2. Let c(s) = 9*s - 2. Let h(a) = -4*c(a) + 3*f(a). Let v(i) = -2*i**2 - i. Let k be v(-2). Is h(k) a composite number?
True
Let t be -2*(-3)/(6*-1). Let l be (6/(-9))/(t/(-3)). Is (2 - 4)*37/l a composite number?
False
Suppose 58*r = 64*r - 2130. Is r prime?
False
Suppose k - 3*k = l - 3603, -5*k + 18025 = 5*l. Is l composite?
False
Suppose 0 = 3*r + 960 + 135. Is r/(-4) + (-7)/28 composite?
True
Let p(g) = -2*g**3 - 12*g**2 - g + 22. Is p(-9) prime?
False
Let h = 6 - 4. Let n(b) = -18*b**3 - 2*b**2 + b + 2. Let x be n(-2). Suppose 298 = h*s - x. Is s a prime number?
False
Suppose b + 151