 - 3*o**2 - 2*o - 5. Let g = -12 - -7. Is m(g) a composite number?
True
Let q(i) = 3*i + 1. Let r be q(1). Suppose 0 = r*l + 3*h + 2*h - 669, 5*l - 815 = -2*h. Is l a prime number?
False
Let i(t) = -t**2 - t**3 + 4 - 2*t**2 - t**2 + 2*t. Let l be i(-4). Is 15/3 + l + 2 prime?
True
Suppose -3*y = g, 2*y = -3 - 1. Suppose -j + 18 = -157. Suppose d = g*d - j. Is d a prime number?
False
Suppose 0 = -6*m + 4*m + 1054. Is m composite?
True
Suppose 55 = -5*y - 80. Let k be 2/(-9) - 60/y. Suppose 4 + 10 = k*u. Is u prime?
True
Let u(z) = 27*z**2 + 5*z - 7. Is u(3) prime?
True
Let p = -210 - -377. Is p a composite number?
False
Let s(h) = -61*h**3 + 4. Let q be s(-2). Let n be 4/(-14) + (-1969)/(-7). Let t = q - n. Is t a composite number?
False
Suppose -r - t = -470, -5*r - 2*t + 2350 = -4*t. Is (r/(-25))/(2/(-10)) a composite number?
True
Suppose -3*w + 4 = -8. Let y(a) = 3*a**3 + 2*a**2 - a - 5. Let h(l) = -l**3 + l**2 + l + 1. Let c(i) = w*h(i) + y(i). Is c(5) a prime number?
False
Let r(p) = 58*p**3 + 4*p**2 + 3*p - 3. Let n(l) = l**3 + 1. Let g(x) = -4*n(x) - r(x). Is g(-2) prime?
False
Let z = 36 + -13. Suppose r - 4*i = z, 5*r - 1 = -4*i + 18. Is r a composite number?
False
Let b be (4/(-10))/((-3)/30). Suppose -6 = 5*i + 4*c - 1, -3*i - b*c = 11. Suppose -r + 391 = i*f + 3*r, 2*r + 536 = 4*f. Is f composite?
True
Let m(p) = p**3 + 5*p**2 + 8*p - 1. Let v(y) = 2*y**3 + 11*y**2 + 16*y - 2. Let d(x) = -5*m(x) + 2*v(x). Is d(-6) composite?
False
Is (1/(-2))/((-7)/5446) a composite number?
False
Let m = 149 - -65. Is m a prime number?
False
Let q(l) = 7*l**3 - l**2 + l. Let j be q(-2). Is (9 - 8)/((-2)/j) composite?
False
Suppose 5*k - 371 + 16 = 0. Is k a prime number?
True
Let s(t) = t**2 + 116. Let y be s(0). Let c = 235 - y. Is c a prime number?
False
Let l(y) = -y**3 + 4*y**2 + 8*y - 5. Let d be l(5). Let h(o) = o**3 - 11*o**2 + 14*o - 1. Is h(d) prime?
False
Suppose 5*m = 2*m + 867. Is m composite?
True
Let b(k) = -42*k - 53. Is b(-13) prime?
False
Suppose 2*i = -5*a - 3 - 3, 5*a - i - 3 = 0. Suppose a = -m - 2*m + 66. Is m composite?
True
Let j = 931 + -485. Suppose 5*q - j = 524. Is q a prime number?
False
Let w(t) = t**3 - 12*t**2 + t - 4. Let r be w(12). Suppose 76 = r*x - 4*x. Is x composite?
False
Let x(n) = n - 1. Let u be x(2). Is 0 + 19*(u + 0) a composite number?
False
Let k(s) = -3*s**3 + 3*s**2 + s - 2. Is k(-5) a prime number?
True
Suppose -313 = -3*i + 260. Is i composite?
False
Let o be (6/(-4))/(1/2). Let b be (-3)/o*-1 + 6. Suppose 6*x - b*x = 58. Is x a composite number?
True
Suppose 213 = p + 2*a - 750, 969 = p + 5*a. Is p prime?
False
Let w(q) = 41*q**2 - 4*q - 5. Is w(4) a prime number?
False
Let b(o) = 3*o - 3. Let x be b(2). Suppose -x*s + 2*l = -73, 2*s - 2*l - 48 = 2. Is s a prime number?
True
Let v(m) = m**3 - 11*m**2 + 10*m + 4. Suppose -k = 2*k - 27. Let u be v(k). Let o = -1 - u. Is o composite?
False
Let d = -133 - -31. Let m = d + 187. Is m a composite number?
True
Let y = 50 - -54. Suppose -4*s - y + 748 = 0. Is s a prime number?
False
Suppose 5*z - 18 + 48 = 0. Let h = 11 + z. Suppose -h*l + 196 = 11. Is l composite?
False
Suppose p = -2*r - 0*r + 67, -5*r = 5*p - 180. Is r a prime number?
True
Is (-3)/(-6)*(-1 + 2235) composite?
False
Let r be 23 + -4*1/(-2). Let n = -6 + r. Is n a composite number?
False
Let x(w) = -4*w**3 + 2*w**2 - 5*w - 2. Let u be x(-3). Suppose -c + u = -0*c. Is c prime?
True
Let l(u) be the third derivative of -u**4/3 + u**2. Let b be l(1). Let x(n) = -3*n + 7. Is x(b) composite?
False
Let w = 1072 - 2218. Is w/18*3/(-1) prime?
True
Let j = -3 + 3. Let s be 3 - (j + (-1)/1). Suppose -15 = -s*h - h. Is h a prime number?
True
Is -1*1*-841 - (17 + -15) prime?
True
Suppose 4*j - 12 = -4*r, -4*r + j + j = 6. Suppose -10*w + 8*w + 1526 = r. Is w composite?
True
Suppose -9*f + 15*f - 228 = 0. Is f a composite number?
True
Let b(s) = 220*s + 3. Is b(7) a composite number?
False
Let p(u) = 22*u**2 + u. Let f be p(-1). Let w be ((-120)/(-2))/((-6)/(-4)). Let v = w - f. Is v a prime number?
True
Let f(x) = x**2 - 2*x + 2. Let u be f(2). Is ((-8)/6)/(u/(-51)) composite?
True
Suppose 0 = -0*z - 5*z - 50. Let o(k) = 2*k**2 + 4*k - 3. Is o(z) prime?
True
Let f = 306 - 7. Is f prime?
False
Suppose 10*x - 22430 = -1320. Is x a composite number?
False
Let b(n) = -4*n - 6. Let o(m) = -2 - 3*m - 1 + 2. Let l be o(1). Is b(l) a composite number?
True
Suppose -337 = -l + 3*q, -3*l = 2*l + 4*q - 1647. Is l composite?
False
Suppose 0 = r + 2*k - 10, 0 = 2*r - 3*k + k - 50. Suppose 5*g + r = 135. Is g a prime number?
True
Let t = -5 + 9. Suppose -t*w + 273 - 61 = 0. Is w prime?
True
Let y(f) be the second derivative of -157*f**5/20 + f**3/6 + f**2/2 + f. Suppose 0 = 5*v + i + 3, 5*v - 2*i + 8 = v. Is y(v) a prime number?
True
Suppose 5*u + 53 = -17. Is 4/u - (-522)/14 a composite number?
False
Let b = -803 - -3700. Is b a composite number?
False
Let n = -1 - 2. Let m = 12 + n. Is m a prime number?
False
Suppose 0 = 4*a + h - 269 + 38, 4*h + 315 = 5*a. Suppose x + 8 - a = 0. Is x composite?
True
Let a(n) be the first derivative of 2*n**3 - 3*n**2 - 3*n - 2. Let b be a(-4). Let q = b + -48. Is q a prime number?
False
Let l(r) = 2*r**2 - 2*r - 1. Let u be l(2). Suppose 0 = -0*i + i - 2*f - 14, -5*i + 35 = -u*f. Is (-596)/(-16) + (-1)/i composite?
False
Let y = 4 + 0. Suppose y*f + j = 376, 3*f - j = -f + 384. Is f a composite number?
True
Let b(u) = 3*u - 16. Let x be b(7). Suppose -66 = -2*i - 4*k + x*k, -5*i = -5*k - 155. Is i composite?
True
Let b = 32 - 19. Let p = 49 - b. Let i = -13 + p. Is i prime?
True
Suppose i - 87 = 246. Suppose 8*l = 11*l - i. Is l composite?
True
Let g(h) = -29*h**2 + 23*h + 14. Let v(f) = 10*f**2 - 8*f - 5. Let l(c) = -6*g(c) - 17*v(c). Let s be l(1). Is (-1)/(-2*s/36) a composite number?
True
Let o be ((-4)/5)/(2/(-30)). Suppose -4*s = -s - o. Suppose -207 + 79 = -s*l - 3*y, 31 = l + y. Is l a prime number?
False
Let i(k) = 3*k**2 - 5*k + 1. Let o be i(7). Let b = o + -54. Is b a prime number?
True
Let s(r) = 2*r + 4. Let k be s(-4). Let d be 0 - (0 - -2) - k. Is d/1 - (-15 + 2) prime?
False
Let v(u) = -4*u**2 + 2*u**2 - 121*u**3 + 3*u**2 + u. Is v(-1) composite?
True
Suppose 0 = 3*z + 3*t - 6, -2*t - 2*t = -z + 2. Let x(d) = 2*d - 2. Let a be x(z). Suppose c = 3*i + a + 16, -2*c + 29 = i. Is c a composite number?
True
Let d be (2/(-4))/(1/(-40)). Let l be 22/5 - 8/d. Let q = 7 - l. Is q prime?
True
Let n(d) = -24*d**3 + 6*d**2 + 5*d - 6. Let b(g) = 71*g**3 - 17*g**2 - 14*g + 17. Let v(w) = -6*b(w) - 17*n(w). Is v(-1) a prime number?
True
Let j be 2/13 - 3972/(-39). Suppose 4*t = 5*f - 295, 3*f - 4*t - 83 - j = 0. Is f prime?
False
Let n = 116 - 61. Is n prime?
False
Let l = 65 - 7. Is l a prime number?
False
Let k(b) = 280*b**2 - 4*b + 5. Is k(2) prime?
True
Suppose 0 = 3*m - 5*j - 619 + 50, -5*j = m - 183. Let p = 309 - m. Is p a prime number?
False
Let n(i) = -i**3 - i**2 + 3. Let p be n(-6). Suppose 0 = 3*o - 2*q - 87, o - 43 = -q - 14. Suppose -4*z + p = -o. Is z a composite number?
False
Let i = 49 + -33. Is 199/4 - 12/i composite?
True
Let q(f) = -f**3 + 4*f**2 - f + 4. Let x be q(4). Suppose 3*d + 3*k = 3, 5*d + 2*k = -x - 4. Is d/3 - 88/(-6) prime?
False
Suppose -5*f + 397 = -4*f. Is f a composite number?
False
Suppose 2*w + 298 = 4*w. Is w a prime number?
True
Let n = 7 + -5. Suppose 2*v + 2*v - 4*r - 1652 = 0, 5*v + r = 2035. Is ((-1)/n)/((-6)/v) composite?
True
Let l = -12 + 17. Suppose -l*a + 379 = -2*a - 2*m, 125 = a - 2*m. Is a composite?
False
Suppose 0*g - g = -889. Is g composite?
True
Suppose -8772 = -2*x - 2*j, 10*x - 5*x + 4*j - 21931 = 0. Is x prime?
False
Let h = 168 + -101. Is h composite?
False
Let r be 55/(-11) - (-1 - -3). Let x = 134 + r. Is x a composite number?
False
Let o(u) = -u**3 - 9*u**2 + 17*u + 10. Is o(-11) a composite number?
True
Suppose 4 + 238 = 4*w + 2*o, 5*o - 74 = -w. Is w a composite number?
False
Suppose 55 = -4*w + 819. Is w a prime number?
True
Let v = -568 + 827. Is v a composite number?
True
Let x = -45 - -66. Suppose 3*d - 9 = -3*s, 0*s = 5*d + 2*s - x. Suppose 5*t - d*j - 5 = 0, 3*t - 3*j - j = 2. Is t a composite number?
False
Is (74/1)/(12/246) a prime number?
False
Let j = 857 - 588. Is j prime?
True
Suppose -30 = 4*t + 1