uppose -3*c = -n, 2*v + 43 = c + 150. Is v composite?
True
Let t be (6/9)/(2/9). Suppose 3*u = -t, 0 = -a - 3*u - u + 58. Suppose -173 = -3*q - a. Is q prime?
True
Let z(j) = j**3 + 14*j**2 - 11*j - 13. Is z(-10) composite?
True
Let c = 379 + 276. Is c a composite number?
True
Let y(n) = n**3 + 8*n**2 - 2*n - 2. Suppose -4*i - 2 - 30 = 0. Let m be y(i). Is ((-26)/(-3))/(m/105) a prime number?
False
Let l(g) = 5*g**3 - 11*g**2 + 6*g + 2. Let w(b) = -9*b**3 + 21*b**2 - 11*b - 4. Let a(u) = -5*l(u) - 3*w(u). Is a(5) a composite number?
False
Let w(k) = -10*k - 9. Is w(-22) composite?
False
Suppose -2*y - m + 5163 = -0*y, m = -3*y + 7742. Is y a composite number?
False
Suppose 158 = 8*d - 4314. Is d a composite number?
True
Let y = 0 + 4. Let g(v) = 133*v + 6. Let b be g(3). Suppose -y*n = -0*n + 3*x - 512, 0 = -3*n + 3*x + b. Is n composite?
False
Suppose 2*y = 2*u - 2040, y - 3048 = 4*y + 3*u. Let w = 1511 + y. Is w composite?
True
Suppose -2*p + 1135 = -351. Is p prime?
True
Suppose -3*n - 2*n - 2*g = -285, 3*n - 4*g = 145. Is n a composite number?
True
Let d(r) = r - 13. Let v be d(7). Let a = v + 6. Let y(w) = w + 10. Is y(a) a composite number?
True
Let f be ((-3)/(-3))/(3/441). Suppose -377 = -2*t + f. Suppose 2*i + 45 + 80 = j, -2*j + i = -t. Is j composite?
True
Let p(k) = k - 1. Let n be p(3). Suppose 0*o + o + 238 = n*r, 0 = 5*o + 10. Suppose 5*s + 4*v - r = 0, -4*s - 8*v = -5*v - 94. Is s a prime number?
False
Let f(d) = -153*d + 1. Suppose 3*b - 3*m = -7*m - 19, 3*m = -2*b - 14. Let s be f(b). Let o = -77 + s. Is o composite?
True
Suppose -2*a + 11 = -19. Suppose -a = -5*k - 0. Is -2 + k + -2 - -8 a prime number?
True
Let r(s) = 81*s - 2. Let v(j) = j + 1. Let y(g) = -r(g) - 3*v(g). Is y(-1) a composite number?
False
Let w(a) = 2*a - 9. Let r be w(7). Suppose 0 = -3*f + 5*m + 226, -2*m = -r*f + 202 + 162. Suppose 5*v = 23 + f. Is v prime?
True
Let h(g) = 11*g + 24. Let r = -28 + 45. Is h(r) a prime number?
True
Suppose -4*f = -2*a + 1786, 2*f = 4*a + f - 3600. Is a prime?
False
Let c(j) = -1. Let u(n) = -10*n - 3. Let x(v) = -4*c(v) - u(v). Is x(6) composite?
False
Suppose -5*p - 3*d + 9 = 0, 2*p = -2*p - d + 10. Suppose -5*r - 618 = -p*x, -3*x + 2*r + 1049 = 2*x. Is x a composite number?
False
Let p(t) be the third derivative of t**4/2 - 5*t**3/3 + 2*t**2. Let i be p(7). Suppose 2*j - i = 3*v, 3*v - 5 = j - 42. Is j prime?
True
Suppose 0 = 4*y - q - 6, -y = -0*q - 5*q - 11. Is 467 - ((-1)/1 - y) a composite number?
True
Is (574/4)/(1/2) a prime number?
False
Suppose 4*b - 9*b = 20. Let o = 0 - b. Suppose 3*r - 439 = -4*f, o*f = 3*r - 263 - 192. Is r composite?
False
Suppose 0 = -4*g + 15 - 3. Suppose -21 = g*j - 0*j. Is (-1419)/(-7) - 2/j a prime number?
False
Suppose 7*w - 3*i - 251 = 2*w, -4*w = -2*i - 202. Suppose -12 + 2 = s - 5*l, 5*s + 3*l = -78. Let c = w + s. Is c a prime number?
True
Is (-1)/(-4 - 55884/(-13972)) prime?
False
Let z = -334 + 627. Is z prime?
True
Let w(o) = -o**3 - 2*o - 5. Is w(-6) a prime number?
True
Let s(l) be the first derivative of -203*l**2/2 - 6*l + 2. Let j be s(-4). Suppose 2*z = 4*n - j, -2*z = -n - 6*z + 215. Is n a prime number?
False
Let f = 170 + 33. Is f a prime number?
False
Is (-1)/(-2)*(-5 - -289) composite?
True
Let p = 0 + 4. Suppose -10 = h + p*h. Is h + 22 - 6/(-3) prime?
False
Suppose 5*h + 548 = -3*i + 2968, -i - 5 = 0. Is h a composite number?
False
Let x(q) = -65*q + 47. Is x(-18) a prime number?
True
Let d(x) = -x**2 - 5*x - 4. Let t be d(-3). Suppose t*a - 3*s = 9, -8 = -a + 4*s - 1. Suppose -8 + a = -g, k - 3*g + 8 = 0. Is k a composite number?
False
Let b(u) = u + 6. Let j be b(-4). Suppose j*p = -2*p + 844. Is p prime?
True
Let v be 9/6 + 631/2. Suppose 2*i + 2*r = 592, 4*i + 5*r - v = 870. Is i a composite number?
False
Suppose 0 = a - 36 - 164. Let o = 334 - a. Is o a prime number?
False
Let j be (-2 + 4)*-1 + 4. Suppose -2*q - j*o + 16 = q, -2 = -o. Suppose -w = q*w - 185. Is w a composite number?
False
Suppose 460 = 4*c - 2*f, 6*c - 4*c + 5*f - 230 = 0. Suppose 3*b = 4*b - c. Is b composite?
True
Let d = -102 - -181. Is d prime?
True
Suppose 2 = 2*v + 4*w - 6, -3*w + 6 = 3*v. Suppose v = -3*y + 180 + 471. Is y prime?
False
Let k(b) = b**2 - 5*b - 4. Let a be k(5). Let d be 1 + -1 + a/(-2). Is d*(0 - (2 + -3)) a composite number?
False
Let l(h) = -h - 9. Let s be l(-11). Suppose -3*x + 396 = -3*o, -4*x + s*o = -488 - 30. Is x prime?
True
Suppose 2*v + 94 - 30 = 0. Suppose 0 = -c - c + 138. Let y = v + c. Is y prime?
True
Let f be ((-3)/6)/(3/12). Is (0 + f - -63) + -3 prime?
False
Suppose 4*h - 2*v = -79 - 39, v = 3. Let s = 71 + h. Is s composite?
False
Let g = 2 - -5. Is g a composite number?
False
Suppose d = -3*d + 936. Suppose 6*b + d = 3*b. Is (-2 + 1)/(2/b) prime?
False
Let b be 2 - (-36 - -3)*1. Let h be b/(-28) + (-1)/(-4). Is h*5*(-74)/10 a composite number?
False
Let k(z) = z**3 - 14*z**2 + 12*z + 15. Let l be k(13). Let r = 9 - l. Is r a prime number?
True
Let l = -172 + 255. Is l a prime number?
True
Suppose 131 = 3*h - 5*p, 2*p - 163 = -4*h - 3*p. Suppose 3*w + 23 = 4*r, -h = w - 5*r - 16. Let y(x) = -192*x - 1. Is y(w) a composite number?
False
Let s(o) = -79*o**2. Let t be s(-1). Let z = -143 - t. Let r = 97 + z. Is r composite?
True
Suppose -3*v + 16 = -20. Let c = -10 + v. Suppose c*q - 112 = -38. Is q a composite number?
False
Let f = -297 - -785. Let q = 21 + f. Is q a composite number?
False
Suppose -3*n = -2*n - m - 2335, 3*m = 0. Is n a prime number?
False
Suppose 2*m - 1648 = 2*p + 3580, 5193 = 2*m + 5*p. Is m prime?
True
Let z(s) = -s - 5. Let r be z(-6). Let a(n) = 6*n - n**2 - 2 + r + 6*n. Is a(8) a prime number?
True
Is ((-852)/(-16))/(3/12) a composite number?
True
Let n(g) = -g**3 + 7*g**2 + g - 7. Let h be n(7). Suppose h = -a + 2 - 4. Is (a/(-4))/((-4)/(-1016)) a prime number?
True
Let h be -5*(0 + (-6)/(-5)). Is (-340)/(-16) + h/(-8) a prime number?
False
Let y(a) = 4*a**2 - a + 9. Let i(n) be the first derivative of n**3 - n**2/2 + 10*n + 2. Let j(s) = 5*i(s) - 4*y(s). Is j(0) a prime number?
False
Let t = -38 - -83. Let x = t - -44. Is x prime?
True
Let n = -1209 - -1892. Is n prime?
True
Let m(u) = 23*u**2 + 20*u + 8. Let g(z) = -8*z**2 - 7*z - 3. Let p(t) = 11*g(t) + 4*m(t). Is p(6) prime?
False
Let j(u) = u**2 + 15*u + 5. Is j(7) a composite number?
True
Suppose 0 = -3*y + 5 + 4. Suppose -3*c - 2 = -2*c. Is 43/y - c/(-6) prime?
False
Suppose 2*k + u - 166 = 342, -5*k + 1275 = 5*u. Let b = k - 134. Is b a composite number?
True
Suppose r - 23 = 308. Is r composite?
False
Let r = 1838 + -841. Is r a composite number?
False
Suppose -2*v - 1713 + 435 = -2*s, -5*s - v + 3171 = 0. Is s prime?
False
Suppose -o = -2*n + 4*o + 3, -5*n = o - 48. Let f be 0*(n/6 - 1). Suppose 6*l - 5*l - 21 = f. Is l composite?
True
Suppose 3*x - 3 = 0, 5*x = l - 1413 - 603. Is l composite?
True
Let q = 15 + -10. Suppose -115 = -2*v - q*m, -2*m = -5*v + 2*m + 205. Suppose 4*o - 143 = v. Is o prime?
True
Suppose 10*j = 6*j + 1924. Is j prime?
False
Let t(x) = x**2 + 2*x - 5. Let l = -1 - -10. Suppose 3*m - l = 3. Is t(m) composite?
False
Let h(f) = f**3 - 2*f + 7. Is h(6) prime?
True
Let j(r) = 265*r**2 - 4*r + 3. Is j(2) composite?
True
Suppose -1784 = -4*u - p, 1085 - 199 = 2*u + 2*p. Is u a prime number?
False
Suppose 4*q - 2*y = 0, 4*q + y - 4 = 2*y. Suppose -258 = -q*x + 316. Is x composite?
True
Let s = 96 + 146. Suppose -2*x + 484 + s = 0. Suppose 0 = -0*n + 3*n - x. Is n a prime number?
False
Let l(w) = -w. Let p(z) = 16*z + 5. Let o(n) = -2*l(n) + p(n). Is o(6) composite?
False
Let l(m) be the third derivative of m**6/45 + m**5/20 - m**4/24 - m**3/6 + m**2. Let v(j) be the first derivative of l(j). Is v(-6) prime?
True
Let d(x) = -x**3 - 5*x**2 - x + 1. Let r be d(-7). Let j = 270 - r. Suppose -21 - j = -5*y. Is y prime?
True
Suppose -2*x - m + 178 = 0, -m - 352 = -4*x - 4*m. Is x composite?
True
Suppose 5*w + m - 1937 = 0, -11 + 3 = -4*m. Suppose -5*f + w = h - 0*h, 302 = 4*f - 3*h. Is f composite?
True
Suppose -67 = 5*b - 4*r - 1142, -1080 = -5*b + 5*r. Is b a composite number?
False
Let h = 0 + 0. Let x(n) = -n**3 - n**2 - n - 8. Let d be x(h). Let o(y) = -y**3 - 6*y**2 - 8*y - 7. Is o(d) composite?
True
Let h(n) be the first derivative of 11*n**2/