e 0 = -2*y + a + 42, 0 = 4*y + y - 5*a - j. Is y a composite number?
False
Let j = 320 + -179. Is j prime?
False
Let t = 202 + -383. Let g = t - -266. Is g composite?
True
Let k = 2254 - 311. Is k a composite number?
True
Let i(x) be the third derivative of x**8/20160 + x**7/1008 + x**6/120 + x**5/30 - 2*x**2. Let b(u) be the third derivative of i(u). Is b(-5) a prime number?
False
Suppose 12*h - 14*h = -818. Is h composite?
False
Suppose -6*c = -c + 35. Let q = -1 - c. Is q a prime number?
False
Let d = -2 - -7. Suppose 0 = k - 5*k + 2*r + 206, -4*k - d*r + 171 = 0. Suppose -q - 12 = -k. Is q composite?
False
Let w(i) = -5*i**3 - 4*i**2 - 5. Suppose -5*k - 1 = 19. Is w(k) a prime number?
True
Let a be (2 - (-6)/(-9))*12. Is (2/3)/(a/17880) a prime number?
False
Let m be 3 - 4 - (-6 - -3). Suppose -3*r - o - 3*o = -1433, m*r - 932 = 2*o. Is r composite?
True
Is 4 + -8 + 23*21 a composite number?
False
Let m(r) = -21*r + 3. Suppose -4*w - 23 = -3. Let j be m(w). Suppose -j = -3*n + 3*y, 4*n - 3*y = 199 - 54. Is n a composite number?
False
Let s = -234 - -455. Is s a composite number?
True
Let y(n) be the first derivative of n**2 + n + 2. Let d be y(6). Let j = d + 24. Is j composite?
False
Suppose -3248 = -x - 5*d, 4759 - 1556 = x - 4*d. Is x a prime number?
False
Let f(h) = 15*h + 2 + 1 + 58*h - 6. Is f(2) prime?
False
Let o(t) = t**2 - t - 10. Suppose -24 = -2*h - 4*z, 0 = 3*h - 5*z + 14 + 5. Suppose -h*n + 7*n + 35 = 0. Is o(n) prime?
False
Let l(w) = 53*w + 2. Let d(q) = q + 2. Let i be d(5). Is l(i) prime?
True
Suppose -4*s + 2*t + 45 + 125 = 0, 4*s - 195 = -3*t. Suppose 0 = -3*q + 2*r + 38, -3*r - 11 = 2*q - s. Is q a composite number?
True
Suppose 3*a - 3*o + 3 = 0, a - 5*a + 5 = 5*o. Let c be 12/3*(1 - a). Let u(m) = -m**3 + 5*m**2 - 3*m + 6. Is u(c) a prime number?
False
Suppose 168 = 2*l - 242. Is l composite?
True
Let l = 148 + -87. Let y = l + 18. Is y composite?
False
Let o be ((-4)/10)/(2/(-710)). Suppose 0 = 3*g - 3*m - 147, -3*g + 4*m + 6 = -o. Let h = g + 1. Is h prime?
False
Let r = 759 - 502. Is r a prime number?
True
Let m(x) = -6*x**2 - 1. Let r be m(-1). Let z(t) = -t**3 - 7*t**2 - 2*t + 7. Is z(r) a composite number?
True
Let w be (-2)/((-2)/(-2) + -2). Suppose w = -4*f - z, f + f + z = -2. Suppose -4*c + 34 + 6 = f. Is c prime?
False
Let f be (8/3)/((-2)/6). Let c = 13 + f. Suppose -m - 30 = -c*b + 40, 0 = m + 5. Is b prime?
True
Let p(v) = -v - 5. Let w be p(-7). Suppose 4*n = -3*x + 28, 36 = 5*n + 2*x + w*x. Suppose 0 = -2*i - k + 25, -6*k = -n*i - 5*k + 41. Is i a composite number?
False
Suppose 2*g + y = -y - 2924, 5*g + 7303 = 2*y. Suppose 2*q + 2 = -22. Is g/q - 9/12 a prime number?
False
Is 994/(-21)*(-2 - 1) composite?
True
Suppose -3*z + 3*d + 570 = -0*z, d + 5 = 0. Is z composite?
True
Let g = -3 - -4. Suppose 0 = -n + 1 + g. Suppose n*z + 48 = 2*s, 0*z = -s - z + 18. Is s a composite number?
True
Let h(f) = f**2 - 4*f - 2. Let u be h(7). Suppose 4*z = 4*g - 32 - 16, -5*g - 5*z + 60 = 0. Let s = g + u. Is s composite?
False
Let q be (-5)/10 + (-5)/(-2). Suppose 0 = 2*g + 4*s - 1234, 5*g + s - q*s = 3063. Suppose 0 = -4*n - 3*j + g, -4*j + 451 = 2*n + n. Is n a prime number?
True
Let i be 2 - (1 - 1/(-1)). Suppose i = -j + 4*j - 204. Let w = 23 + j. Is w a prime number?
False
Suppose -y = -4*p - 76 - 215, -4 = 4*y. Let d = p - -132. Is d composite?
False
Suppose -1 = 2*s + 3. Let h = s + 2. Suppose 0 = -3*p + 4*y + 42, 5*p + y - 47 = -h*y. Is p prime?
False
Let p be 162/8 - 1/4. Let o = -6 + p. Is o composite?
True
Let y(n) = 620*n - 11. Is y(2) composite?
False
Suppose -3*a + 6*a - 3*m = -9, -4*m = 4*a + 20. Is a/30 - 22868/(-60) prime?
False
Let o(y) = 14*y**3 + 2*y**2 - 1. Let r(s) = -s**2 + s + 3. Let b be r(2). Is o(b) prime?
False
Let v(j) = -17*j + 6. Let u be v(-7). Let a = 336 - u. Is a a composite number?
False
Suppose 5*l + 35 = 2*s - 5, -2*s + 3*l + 32 = 0. Suppose -3*d = 2*d - s. Suppose d*b - 2*r = -r + 20, 5*b = -3*r + 61. Is b a prime number?
True
Let s(u) = 21*u**3 - 2*u**2 + 1. Let z be s(-1). Suppose 4*f + 26 = -34. Let v = f - z. Is v a prime number?
True
Let m(i) = 17*i - 2. Let j be m(6). Suppose y = 195 + j. Is y composite?
True
Suppose 7*i - 440 = 3*i. Suppose 6*u - u = -i. Is (u/(-6))/((-3)/(-9)) a prime number?
True
Let d = 243 + -83. Let m = d + -67. Is m a composite number?
True
Let s = -4 + 5. Let z = s - 4. Let g(n) = -5*n**3 + n + 1. Is g(z) composite?
True
Suppose 0 = -0*y - 4*y - 4. Is y + 79 - 4/(-4) prime?
True
Suppose 5*m - 20 = -5*w, 4*m = 5*w - 0*w + 16. Suppose 0 = -5*n - m - 1, -v + 52 = 3*n. Is v a composite number?
True
Suppose -2*h + 75 = -297. Suppose -3*v = -5*v + h. Is v a composite number?
True
Let j = -668 - -1071. Is j composite?
True
Suppose -5*z + 3*z - 1905 = -q, -z = -2*q + 3807. Is q a composite number?
True
Let l(x) = -3*x - 1. Let o(k) = -2*k. Let y(a) = -3*l(a) + 5*o(a). Let s be y(3). Suppose 8*u = 4*u - 20, -3*b + 4*u + 41 = s. Is b a composite number?
False
Suppose -5*b + b - 1223 = -5*y, 0 = -y - b + 250. Is y a prime number?
False
Suppose 2*g = -0*g. Suppose -j + 1 = -g*j, 5*y + j + 69 = 0. Is (y - -2)/(-2) + 1 composite?
False
Let o(x) = x**3 + 3*x**2 - 5*x - 2. Let f be o(-4). Let j be 0/(f*(-2)/(-2)). Suppose 0*k + 4*k - 332 = j. Is k composite?
False
Let p(o) = -10*o + 35 + 2*o + 9*o - o**2. Is p(0) a composite number?
True
Suppose -3*v - 2*v - 2389 = -3*u, -3*u = -v - 485. Is (v - 5)*(0 + -1) a prime number?
False
Let q(r) = r**3 + 9*r**2 + 9*r + 10. Let h be q(-8). Suppose 0 = h*f + f - 12. Is f prime?
False
Let n(s) be the first derivative of -s**4/4 - s**3 + 3*s**2/2 - 4*s - 4. Let u be n(-4). Suppose u = -5*g + 3*g + 226. Is g a composite number?
False
Let w = -3 - -18. Suppose -5*v + 8*v - w = 0. Suppose -v*s - 20 = 2*n - 4*n, -n + 5*s + 5 = 0. Is n a composite number?
True
Suppose 2 = q - 1. Suppose -q*s + 69 = -0*s. Is s a prime number?
True
Suppose 3*t = r + 3340, 0 = -2*t + r + 4*r + 2205. Is t composite?
True
Suppose 0 = 2*d + 3 + 1, 0 = -2*g + 5*d + 1412. Is g a composite number?
False
Let z(o) be the first derivative of o**4/4 + 4*o**3 - 7*o**2/2 + 10*o - 3. Is z(-12) prime?
False
Suppose -5*g + 3*f = -391, 4*f = -2*g + 7*f + 160. Suppose z - 5*l - 56 = 0, 23 = -z + 4*l + g. Is z composite?
True
Let v be (-1 + -2 - 2)*-1. Suppose -5*u - v*y + 460 = -1185, -1320 = -4*u - 2*y. Is u a composite number?
False
Let b(x) = 9*x**2 + 5*x + 1. Is b(6) composite?
True
Let q(s) = -6*s**3 + s**2 - 1. Let w be q(1). Let l(i) be the third derivative of i**6/120 + 2*i**5/15 - i**4/12 - i**3/6 + i**2. Is l(w) a prime number?
True
Let f = -287 + 730. Is f a prime number?
True
Suppose -6 - 2 = 2*m. Is 12970/20 - (-6)/m a composite number?
False
Let l(a) = a - 5. Let f be l(9). Suppose 3*r - s + f = 0, -2*s + 20 = 3*r + 3*s. Let y(c) = c**3 - c**2 - c + 37. Is y(r) a prime number?
True
Let j = -3 + 4. Let w = j + -1. Suppose w*d = 3*d - 237. Is d composite?
False
Let j(d) = d**2 - 5*d - 7. Let i be j(6). Is 43*(i - 9/(-3)) composite?
True
Let k = 13 - 4. Let t = 0 + 3. Is k - t/6*4 prime?
True
Suppose -33 = -2*l - 3*t, 0*t + 77 = 4*l - 5*t. Let a be 86/l + 12/54. Suppose 0*d - 4*d + a*n + 31 = 0, -5*d + 4*n = -32. Is d composite?
True
Suppose 2*u - 2 - 2 = 0, 5*u + 255 = 5*q. Is q prime?
True
Let w = -629 + 1260. Is w a prime number?
True
Let i be -4 - -11*12/4. Let w = -8 - -11. Suppose o = -5*f + 17 + i, w*f = 9. Is o prime?
True
Let h be -10 + -1 + -1 + -1. Let g = h + 22. Is g a prime number?
False
Suppose 0 = -5*l + 5*z + 1670, -841 = -3*l + 5*z + 165. Suppose -l = -4*b - 0*b. Is b a composite number?
False
Suppose -u + 4*u + 6 = 0. Let t be 1/((-3)/u)*-6. Is 46/t*(-1 - 1) prime?
True
Is ((-5)/4)/(6/(-4584)) a prime number?
False
Suppose -5*b + 149 = 3*x + 18, 0 = -5*x - 3*b + 245. Let p = -31 + x. Is p a composite number?
True
Let i(p) = 2*p - 2 - p - 4*p - p. Let o be 2/7 - (-88)/(-14). Is i(o) a composite number?
True
Suppose -d = 4*c - 5*c - 17, 0 = -5*d + 4*c + 82. Is d prime?
False
Let l = 0 + -10. Let q(f) = f**3 + 10*f**2 + 2*f - 10. Let k(h) = h**3 + 10*h**2 + 3*h - 9. Let a(o) = 3*k(o) - 4*q(o). Is a(l) composite?
False
Suppose -5*v - 644 = -4*x, 5*x + 6*v = v + 760. Suppose -y + x = 3*y. Is y composite?
True
Let t(c) = -44*c**3 + c**