ose -2*o + o = -631. Is o a prime number?
True
Suppose -4677 = -4*f + 1079. Is f composite?
False
Let d(n) = -5*n**3 - 9*n**2 - n + 6. Let t(i) = 4*i**3 + 9*i**2 + 2*i - 7. Let f(j) = -3*d(j) - 4*t(j). Is f(-9) prime?
False
Let c(t) = -5*t + 209. Is c(0) composite?
True
Suppose -6*n + 2*n = -372. Let g = -13 + 16. Suppose 0*c = -g*d - 3*c + n, 5*c + 109 = 3*d. Is d a composite number?
True
Let f(n) = -n - 222. Let b be f(0). Let d be b/(-9) - (-2)/(-3). Let w = -11 + d. Is w a composite number?
False
Suppose 0 = -3*h + 5*z - 4 - 2, 0 = h - z. Suppose 0*t = h*t - 1497. Is t a prime number?
True
Let w = 22 - -38. Suppose -w + 566 = -2*x. Let z = 462 + x. Is z a composite number?
True
Let u(r) = -r**3 - r + 2. Let g be u(3). Is (6/(-4))/(2/g) a composite number?
True
Suppose -l + 3845 = 642. Is l composite?
False
Suppose 3*t - j - 3419 = 0, -5*t - 4*j + 2168 = -3553. Is t a composite number?
True
Let u = -1414 + 3543. Is u a prime number?
True
Let t = 4 + 21. Suppose 0 = -2*b - 3*b + t. Suppose -2*q + 2*d = -d - 61, -b = d. Is q a prime number?
True
Suppose -5*u + j + 82667 - 19610 = 0, 5*u + 4*j = 63047. Is u a composite number?
False
Suppose 52*c = 57*c - 30. Is c composite?
True
Let i be 1 - (0 + -58 + -1). Let n = i - -17. Is n a prime number?
False
Suppose 8*d - 11*d = -4659. Is d composite?
False
Let o(h) = 11*h**3 + 4*h + 19*h**3 + 5*h**3 - 5 - h**2 - 2*h**3. Is o(2) composite?
False
Suppose 0 = -i + n - 3*n + 13, -2*n + 55 = 3*i. Let j be (-5)/(0 + (-1)/i). Let w = -52 + j. Is w a prime number?
True
Let y(x) = 2*x + 4. Let r be y(-2). Let t = -233 + 504. Suppose s - f = 66, -3*f = 4*s - r*s - t. Is s composite?
False
Suppose 7 = -2*h + 3. Suppose -12 = 3*i - 3*a, 0 = i + a - 2. Is i + 27*(0 - h) a composite number?
False
Let l(h) = h**3 - 2*h**2 - 13*h - 5. Is l(13) a prime number?
False
Let i be -2 - (-4)/2 - 1. Let l be 5/(-2)*2/i. Suppose -l*g + 4*f = -251, 4*g = 6*f - f + 208. Is g a composite number?
False
Let o(t) be the third derivative of -t**6/48 - 7*t**5/120 + t**4/24 + 2*t**2. Let i(q) be the second derivative of o(q). Is i(-6) composite?
False
Let w(u) = 3*u**3 - 3*u**2 - 4*u - 2. Let n = 0 - 2. Let x be w(n). Is (-6)/x + 264/5 a prime number?
True
Let k be (3/9)/(1/6). Let x = -3 - k. Let n(b) = b**2 + 2*b - 2. Is n(x) composite?
False
Suppose 11*s + 15 = 8*s. Let v(i) be the first derivative of i**3/3 + i**2/2 - 5*i + 1. Is v(s) composite?
True
Let x(a) be the third derivative of a**5/20 + a**4/6 + a**3/6 - 3*a**2. Let m be (-4)/(-2) - -3 - -1. Is x(m) prime?
False
Suppose 0 = 3*v - 2*x - 3*x + 33, 0 = 4*v + 4*x + 12. Let q be v*1/(-6)*2. Is (76/16)/(q/8) a composite number?
False
Let h be (-2 - 0) + -1 - 0. Let r = 5 + h. Is r/3*(-111)/(-2) a composite number?
False
Suppose 0 = 2*a + a - 24. Let p be a/5*(-15)/(-6). Suppose 5*k + 30 = 3*z - 3, -p*k = 0. Is z composite?
False
Let n = 3 - 4. Let l = n + 0. Let t(k) = -3*k + 1. Is t(l) a composite number?
True
Suppose -3*d + 2*z = -z - 9, 0 = 4*d - z - 3. Suppose d = -g + 4*g - 201. Is g composite?
False
Suppose 0 = -2*n - 3*o + 38, -3*n - 2*o = -3*o - 46. Let u = 38 - n. Is u a composite number?
True
Let k(z) = 10*z**2 + 5*z + 4. Let m be k(-4). Let w = m + -13. Is w prime?
True
Let q(v) = -241*v**3 + v**2 - v. Let g be q(1). Let l = 66 + g. Is (l/15)/((-2)/6) composite?
True
Suppose 3*t + 20 = -4*o - 7, t = -2*o - 11. Let q = 2 + o. Let i = q - -24. Is i prime?
True
Suppose 50 + 248 = 2*n. Is n prime?
True
Suppose 384 = 3*k + 3*g, -2*g - 19 - 642 = -5*k. Is k composite?
False
Let t be (-6)/14 - (-13380)/105. Is -2*(t/(-2) + 0) composite?
False
Let a(n) = 204*n**3 + 3*n**2 - 2*n. Is a(1) a composite number?
True
Suppose -2*u + 0*u - 2*t = 6, 4*u + 2*t = -6. Let f = 7 + u. Suppose -4*y + 4*s = -3*y + f, -5*y + 90 = 5*s. Is y composite?
False
Let q = 7 + 154. Is q a composite number?
True
Suppose -3*l - 16 = 5*g - 49, 5*g = -5*l + 45. Suppose 0 = b + k - 187, -l*b + 4*b + 374 = k. Is b a composite number?
True
Let k(c) = -c**3 - 4*c**2 + 5*c + 2. Let g be 122/8 - (-4)/(-16). Let f be (-81)/g + (-4)/(-10). Is k(f) a composite number?
False
Let w = -26 + 57. Is w prime?
True
Suppose -7*i - 2459 + 11986 = 0. Is i a composite number?
False
Suppose 12 = 3*p, p - 3 - 13 = 3*l. Is (-458)/l + 5/10 composite?
True
Suppose 2*j - 6*j + 17 = f, -4 = -j. Let g(m) = 13*m**3 + 1. Is g(f) prime?
False
Let j(v) be the first derivative of 1/3*v**3 - 2 + 2*v - 1/2*v**2. Is j(5) prime?
False
Suppose 4*g - 2*g - 4 = 0. Is -7*3/(g + -5) a prime number?
True
Let o be 2/6 - 50/15. Let i be 402/4*(o + 5). Let h = -68 + i. Is h prime?
False
Let i be (27/(-2))/(1/(-6)). Let g = i + -207. Is (g/(-3))/2*1 a prime number?
False
Let q(s) = 6*s - 2*s + 1 + 0*s + 2*s. Is q(2) a composite number?
False
Let n = 11 - 7. Let x(p) = 2*p**3 - 5*p**2 + 4*p + 3. Is x(n) a prime number?
True
Let j = -1908 + 3961. Is j prime?
True
Suppose 2*t = -0*t + 4. Suppose -3*r - 47 = -4*v - 2*r, v - 3*r = 9. Suppose -2*l + v = 4*z - 2*z, 2*l - t*z = 28. Is l a prime number?
False
Let v = -83 + 170. Is v composite?
True
Suppose -4*t + 11 = 3*w, -2*t - 17 = -2*w - w. Suppose -4*j + 55 + w = 0. Suppose -5*v = -j, -5*g - 4*v + 278 = -8*v. Is g composite?
True
Suppose 4*b + 0*s = -2*s - 38, 4*b + 13 = 3*s. Let y be 2*(-3)/b*133. Suppose -394 = -4*j + y. Is j a composite number?
False
Let y = -7 - -3. Let i be (4 - 6)*(-1)/2. Is (7/y)/(i/(-20)) a prime number?
False
Let z(v) = -21*v**2 + 5*v + 5. Let h(u) = -14*u**2 + 3*u + 3. Let r(g) = -8*h(g) + 5*z(g). Is r(-1) a prime number?
True
Suppose -5*a + 3390 = -5*b, -a - 3360 = -6*a - b. Is a prime?
True
Suppose -4*y = -8 - 4. Suppose 257 = 5*u - y*r, -11 = 2*u + 2*r - 101. Suppose n + l - u = 0, 0 = -5*n + l + l + 273. Is n prime?
True
Let f be (-610)/(-90) - 2/(-9). Let z(o) = o**3 - 7*o**2 + o + 3. Is z(f) prime?
False
Let h(z) = -17*z - 7. Suppose -9 = o + 1. Is h(o) composite?
False
Let f be (-10 + 0)/((-2)/(-4)). Suppose 0 = k - 2*k + 974. Is k/10 + 8/f a composite number?
False
Suppose 4*x - 26 = -10. Suppose 2*v + x*k - 58 = 0, 1 + 19 = -5*k. Is v composite?
False
Suppose -2*c = 2*c + 16, 4*k - 3032 = 3*c. Is k a composite number?
True
Let g = -45 + 9. Is (-4)/18 + (-2420)/g a composite number?
False
Suppose -2*k + 60 = -k. Let z = 139 - k. Is z a composite number?
False
Let u(r) = 149*r**2 + 5*r + 17. Is u(-3) a prime number?
False
Let o(u) = u**3 - 12*u**2 + u - 9. Let x be o(12). Let w be 6/(-6*x/(-12)). Suppose 0 = 3*q + 3*t - 35 - 436, t = -w*q + 640. Is q a prime number?
False
Let d(r) = -r**2 - 2*r + 3. Let l be d(2). Let p(q) = q**2 + 4*q - 2. Let k be p(l). Let i(v) = 8*v**2 - v - 4. Is i(k) a composite number?
True
Let k = -103 + 252. Is k a composite number?
False
Let u(x) = 20*x**3 - x**2 + 29. Let y(d) = -7*d**3 + 1 - 8 - 3. Let b(z) = 6*u(z) + 17*y(z). Is b(6) a prime number?
False
Let x = 1173 + -494. Is x prime?
False
Let o = -89 - -209. Let r = o + -83. Is r prime?
True
Let c be (-8)/(-12)*(-5 + -1). Is (514/8)/((-1)/c) composite?
False
Let p = -7 - -1. Let d be ((-9)/p)/(9/48). Let s = d + -6. Is s prime?
True
Suppose 3 = -l + 4*l. Is -2 + l - (-70 - -2) a composite number?
False
Suppose 10*d - 236 = 6*d. Is d prime?
True
Let l be (-239)/(1/(0 - 1)). Suppose 6*h + 95 = 119. Suppose -h*d + 93 = -l. Is d prime?
True
Let r(m) = -m**2 + 6*m + 4. Let j be r(5). Let d be (j - 0)*498/9. Is d/(-9)*3/(-2) prime?
True
Let o(l) = l + 13. Let j be o(-11). Suppose -j*i = 6, -3*d = -i + 38 - 101. Suppose -d = 5*h, 4*f + 101 - 577 = 4*h. Is f composite?
True
Suppose -14 = -2*a - 2*z, 2*z = 2*a - 30 + 4. Let p = -66 + -187. Is a/25 - p/5 composite?
True
Let l = 12472 + -5039. Is l a prime number?
True
Suppose v = -5*j + 488, 3*j - 4*v - 31 = 248. Is j a composite number?
False
Suppose -3*b - 2*b - 75 = 0. Let u be 1/((9/b)/3). Let t(x) = -x**3 - 5*x**2 - 5*x + 6. Is t(u) composite?
False
Is ((-63775)/(-10) - 7)*(-2)/(-3) a prime number?
False
Suppose 2 = g - 221. Let l = 440 - g. Is l a composite number?
True
Suppose 2*j - 3356 - 1767 = -3*y, -10286 = -4*j + 2*y. Is j prime?
False
Let g = 150 - 19. Is g composite?
False
Let y(i) = i. Let m(w) = 59*w - 2. Let b(f) = m(f) - 4*y(f). Is b(3) a prime number?
True
Suppose -3*n + 5191 + 4472 = 0. Is n composite?
False
Is (-2 - 2834