 = i + -4. Is b a composite number?
True
Suppose -2*h - h = 0. Suppose -3*b + 1127 = 5*a, 6*a - a + 5*b - 1135 = h. Is a prime?
True
Let v(r) be the first derivative of r**2/2 + 6*r - 2. Let c be v(-4). Suppose 0 = 5*i - c*k - 625, -3*i - 3*k + k = -391. Is i a composite number?
False
Is (1/((-6)/9147))/((-3)/6) a composite number?
False
Let x = 4 - 11. Let i = 11 + x. Let y(b) = b**3 - 3*b**2 + 4*b + 5. Is y(i) a prime number?
True
Let r = 2 - 0. Let c be r/3 - 36/(-27). Is -2 + (53 + c - 2) prime?
False
Let a(d) = 98*d**2 + d. Let h be a(1). Suppose -i - h = -4*i. Is i composite?
True
Is 3 + 0 - -29*40 prime?
True
Let l(y) be the second derivative of y**5/20 + y**4/3 - y**3 - 3*y**2/2 + y. Let b be l(-5). Suppose b*k - k - 33 = 0. Is k a composite number?
True
Let p(u) be the second derivative of u**4 - u**3/6 + 4*u**2 - u. Is p(5) a composite number?
True
Let n be (0 - 0/(-1))/(-2). Let u(a) be the first derivative of -a**2/2 + 7*a - 1. Is u(n) prime?
True
Let m(a) = 6*a**2 + 3*a + 1. Let p be m(-2). Suppose -p = 2*l + 1. Let z = l + 31. Is z a composite number?
True
Suppose 0 = -4*t, -90 = -2*w - 0*t - 5*t. Suppose 3*b - 18 = w. Is b prime?
False
Suppose 5*m - 36 - 9 = 0. Suppose -2*l + 1057 = -m. Is l a composite number?
True
Suppose 0 = s - 6*s + 13705. Is s a composite number?
False
Suppose -3*i - 2*i = 0. Suppose 0 = 5*z - 3*d - 3703, i = -z + 2*d + d + 731. Is z composite?
False
Let a(x) = x**2 - 3*x + 5. Is a(-8) composite?
True
Let d = -298 + 687. Is d a prime number?
True
Is -3*(-2)/(-6)*(0 - 118) a prime number?
False
Suppose 0*n - 4*r + 1736 = 4*n, -3*n = -4*r - 1337. Let s = -298 + n. Let w = -82 + s. Is w a prime number?
True
Let k(i) = -11*i. Let z be k(-12). Let c be (0 + 1)/((-1)/2). Is ((-1)/c)/(6/z) prime?
True
Let o(w) = 84*w + 1. Let p(z) = 3*z**2 + 4 - 4*z**2 + 2*z - 3. Let u be p(2). Is o(u) a composite number?
True
Suppose 121 = -5*o - 4134. Let u = -592 - o. Is u a prime number?
False
Let s be 3/6 - 131/2. Let g = -42 - s. Let i = g + -13. Is i composite?
True
Let n = 8644 - 6141. Is n a composite number?
False
Suppose 5*r = -5*v + 15, -3*v - 2*r - 4 + 13 = 0. Let l be v/2 + (-21)/2. Let z = l - -20. Is z prime?
True
Let w(j) = j**2 + j + 34. Is w(0) composite?
True
Suppose 4*v - 5*i = 68, -2*v + 0 = 4*i - 8. Suppose -7*f = -v*f + 595. Is f a prime number?
False
Suppose 5*r = 4*y + 1, -y - 2*r + 16 = -0*y. Let t(u) = -4*u**2 + 5*u**2 + 3*u - y - 1. Is t(-6) a composite number?
False
Let t(z) = -z**2 + 6*z. Let h be t(6). Suppose 0 = j - 5 + 2. Suppose -5*b + j*b + 118 = h. Is b a prime number?
True
Let n = -10 + 196. Suppose -s + 2*s + 99 = 0. Let i = s + n. Is i prime?
False
Let g be (-5 - -7)/(2/4). Suppose 0 = g*n - 6 - 2. Suppose 0 = 2*u + n*i + i - 85, -u + 35 = 4*i. Is u a composite number?
False
Suppose 0 = -5*q - 2*k + 245, 3*k + k = -2*q + 82. Let w = q + 4. Is w a prime number?
False
Let c be 91 + (4/(-4) - 1). Suppose c + 16 = 5*j. Is j a prime number?
False
Let d be -5 - (2 + 0)*1. Let s = d + 18. Is s prime?
True
Suppose 0*s - 4*s = 0. Suppose s = -4*w - 617 + 4837. Is w composite?
True
Is (1/2)/(6/10524) a prime number?
True
Let x(s) = -1 - 2*s - 3 + 9*s**2 + 3 - 1. Is x(-5) composite?
False
Let f(t) be the third derivative of t**5/60 + t**4/3 - 2*t**3 + 33*t**2. Let o = 6 - 17. Is f(o) prime?
False
Let g(h) = h**2 + 3*h + 4. Let b = -9 + 6. Let l be g(b). Suppose -2*f + 7*f + 333 = l*z, 4*z - 354 = -2*f. Is z composite?
True
Suppose -c = -3*t, -3*t - 25 = -3*c + t. Let p = -4 + c. Is p a composite number?
False
Suppose c = -3*c + 2788. Is c prime?
False
Let d be 24*(1 - (-13)/(-2)). Is (-2)/5 - d/30 a prime number?
False
Suppose 4*y - 3*m = -1, -3*y - m = -3*m. Suppose 5*p - y*j - 20 = -j, -2*j = p + 7. Suppose 4*u = p*f + 2*f + 71, 5*u = -3*f + 98. Is u a composite number?
False
Let d(l) = 3*l**3 - 4*l**2 + 2*l - 3. Let t(g) = -g**3 + 1. Let r(o) = d(o) + 2*t(o). Is r(5) composite?
True
Suppose 5*d + 3 = -2. Let k(m) = -113*m + 1. Let v be k(d). Is ((-3)/9)/((-2)/v) a prime number?
True
Let f = -91 + 174. Is f a prime number?
True
Let u(c) = c + 10. Let k be u(8). Suppose -2*i = a + 11, -12 - k = 4*a + i. Let t(p) = 4*p**2 + 11*p + 8. Is t(a) prime?
True
Let c be 0 - (13 + (2 - 0)). Let g be -24*(-2 - c/6). Is (-2)/(g/147)*2 prime?
False
Suppose -2*w - l - 182 = -999, -3*w - 3*l = -1224. Is w composite?
False
Is (-3764)/(-16) - (-2)/(-8) composite?
True
Let s(g) = g**2 - 6*g - 3. Let x(k) = -k**2 - 9*k + 11. Let i be x(-10). Suppose -3*n - i = 11. Is s(n) prime?
True
Let c(v) = -5*v**2 + v - 1 + v**3 + v**2 + 0*v**3. Let f be c(4). Suppose -5*b = -4*l - 115, f*l + 2*l + 6 = -b. Is b prime?
True
Suppose -5*w + 36240 = 5*q, 5*w - 4361 = -2*q + 10150. Is q composite?
False
Let t = -14 - -868. Suppose -3*o = -5*r - t, 2*o + r - 497 - 94 = 0. Is o composite?
False
Let m(c) = c**3 + 9*c**2 + 4*c + 8. Let l be m(-8). Let r = l - 7. Is r composite?
True
Suppose 602 - 195 = w. Is w prime?
False
Let x = 15 - 8. Suppose 3 = -3*l - 0, l = 2*j - x. Suppose -3*y = 9, j*y = -3*q - 2*y + 42. Is q composite?
False
Let y(x) = 22*x**2 + 6*x + 3. Is y(-4) prime?
True
Suppose -3 = -2*g + g. Suppose -f = 4*s - 2337, -2052 - 848 = -5*s + g*f. Is s a composite number?
True
Suppose 5*v - 77 = 2*r + 29, 0 = -4*v + 2*r + 86. Suppose -j + 2*n + 54 = j, 0 = -4*n - v. Is j prime?
False
Suppose -6*j = -j + 35. Let s = j - -9. Let k(o) = o**3 + 3*o**2 - 3*o + 1. Is k(s) prime?
False
Let x = 1510 - 197. Is x composite?
True
Let f = 75 - -110. Is f composite?
True
Let v(m) = 20*m**2 - 3*m + 2. Is v(-3) prime?
True
Let y = 4 + -4. Suppose y = 4*u + 4*c - 409 + 93, -227 = -3*u + 2*c. Suppose -s + u = -0*s. Is s prime?
False
Let c = 3340 - 2357. Is c a prime number?
True
Let w(f) = 5*f**3 - f**2 - 2*f - 1. Let o(g) = g**2 + 5*g - 3. Let p be o(-6). Suppose -t + 0 - 9 = -p*q, 4*t + 22 = 5*q. Is w(q) composite?
False
Let f(o) = 164*o - 49. Is f(3) a composite number?
False
Let a(n) = n**3 - n**2 - n + 235. Is a(0) a prime number?
False
Let x(g) = 2368*g**3 - g**2 + 1. Let v be x(1). Suppose 0 = -4*a + 324 + v. Is a a composite number?
False
Let w(s) = 13. Let o(b) = b - 38. Let j(r) = -6*o(r) - 17*w(r). Is j(-12) composite?
False
Let s = -1 + -3. Let i(l) = -39*l**2 - 9*l + 6. Let g(w) = -8*w**2 - 2*w + 1. Let f(d) = -11*g(d) + 2*i(d). Is f(s) prime?
False
Let s(v) = v**2 - 9*v - 8. Let k be s(10). Let h = k - -8. Is h composite?
True
Let o(j) = 3*j**3 + 5*j**2 - 8*j - 9. Let u(r) = 9*r**3 + 16*r**2 - 25*r - 28. Let z(x) = -7*o(x) + 2*u(x). Is z(-6) a prime number?
False
Suppose 2*r - 18 = -2*w, 2*w = -5*r + 31 - 1. Let i = r - -3. Suppose -2*v = i - 53. Is v composite?
False
Let a = 13 + -5. Suppose a = -f + 19. Is f composite?
False
Let f(c) be the first derivative of -16*c**2 - 8*c - 4. Let w be f(-6). Suppose -i + 94 = d, -5*i = -4*d - w - 241. Is i prime?
True
Let u(c) = -11*c**3 + c**2. Let f be u(2). Let s = f + 153. Suppose 2*k - s = -k. Is k a composite number?
False
Let x = -1 - -1. Suppose 2*g + 86 + 108 = x. Let u = -58 - g. Is u a composite number?
True
Let t(v) = -v - 7. Let r be t(-4). Is 706/3 - (-1)/r prime?
False
Let d(b) = 4*b**3 - 2*b**3 - 8*b + 5*b**2 - b**3 - 9. Let k be d(-6). Let g(p) = p**3 + p**2 + p - 4. Is g(k) composite?
True
Let o(d) = d**2 - 6*d + 3. Let l be o(4). Is (498/(-5))/(2/l) a prime number?
False
Let l = -78 + 357. Let a = l + -152. Is a prime?
True
Suppose 136 = 8*b - 4*b. Let f = 85 - b. Is f a prime number?
False
Suppose -2*g - 3*q = -g, -5*q = 4*g. Suppose -15 = 5*f + 10, 3*d - 2*f - 1327 = g. Suppose -3*h - 5*p = -282, 0*p - d = -5*h + 2*p. Is h composite?
False
Suppose 0 = 6*q - 2*q - 220. Suppose -3*d + 10 + 92 = 0. Suppose q = w - d. Is w a composite number?
False
Let m be (1 - 4/6)*15. Let r(p) = -p**3 + 6*p**2 + 3*p - 6. Is r(m) prime?
False
Let r(x) = 11*x + 0 - x - 1. Let v be r(2). Let a = 4 + v. Is a a prime number?
True
Suppose -4*d + 3*w + 996 = -0*d, -d = -3*w - 240. Let s = d - 61. Is s composite?
False
Suppose 262 = 3*c - 4*i, 103 - 497 = -5*c - 4*i. Let h be 3/12 - c/8. Let q = h - -17. Is q a prime number?
True
Let d(l) = -9*l**3 + 3*l**2 - 4*l + 4. Let m be d(4). Let t = -317 - m. Is t composite?
False
Let n(l) be the second derivative of -l**8/6720 + l**7/360 - l**5/120 -