mposite number?
False
Let t(f) = 69*f - 4. Is t(3) a prime number?
False
Suppose m + 5 - 7 = 0. Suppose 4*i + m*u - 189 = -i, 0 = 4*u - 8. Is i composite?
False
Let y = 1432 - 801. Is y a prime number?
True
Let d = -2 + 2. Suppose d = -2*w + 117 - 39. Is w a prime number?
False
Suppose 0*t + 5*s = 2*t - 98, t - 4*s - 55 = 0. Suppose 0 = -i + t - 13. Is i a prime number?
False
Let z(s) be the first derivative of -5*s**2 - s - 2. Is z(-9) a prime number?
True
Let h be (7/1)/(-3 - -2). Let u(f) = 6*f - 7. Let q(b) = b - 1. Let v(n) = 3*q(n) - u(n). Is v(h) prime?
False
Let x(z) = 29*z**3 - 3*z**2 - z - 2. Let d be x(5). Is d/27 - (-6)/(-27) prime?
True
Is (-150)/(-20)*(-788)/(-10) a prime number?
False
Let o be (-27)/(-12) + (-9)/(-12). Suppose -o*d + 3*u - u = -57, 5*u = 0. Is d composite?
False
Let i be -78 + (0 - 4)/4. Is 1 + 6 + -3 - i prime?
True
Let d(p) = -210*p + 1. Is d(-3) prime?
True
Suppose 4*w - 20 = -0*w. Suppose -2*r + w*n = -0*n + 257, -4*r = -5*n + 489. Let q = r - -167. Is q a prime number?
False
Let q be (-5)/(-30) - (-49)/(-6). Let b(o) = 3*o**2 + 9*o + 11. Is b(q) a composite number?
False
Let d(k) = k**3 - 6*k**2 - 9*k + 10. Let p be d(7). Let l(c) = 22*c**2 + 6*c + 3. Is l(p) composite?
False
Let k = 2 - -2. Let v = 145 + k. Is v prime?
True
Suppose -2*a + 135 = 11. Let n = a + -15. Is n prime?
True
Let p be (-29)/(0 + 2/(-60)). Suppose 2*m - 5*m = 2*h - 1291, -h = -2*m + p. Let x = 656 - m. Is x a composite number?
False
Suppose -4*f - 5*p = -4*p - 4, 0 = 2*f - 4*p - 20. Suppose k - 11 = -f. Is 2/k + 662/18 a composite number?
False
Let d(a) = 3*a**2 - 20*a + 4. Is d(15) a prime number?
True
Let x be (1/2 - 0)*-4. Let m(q) = 0 - 7*q - 2 - q + 0. Is m(x) prime?
False
Suppose -3*t + 7 = -8. Let z(b) be the third derivative of 7*b**4/24 - 3*b**2. Is z(t) a prime number?
False
Let o(s) = s**3 + 13*s**2 + 3*s - 11. Let y be o(-8). Is 4/(-6) + y/9 a prime number?
True
Let i(m) = -m**3 - m**2 + m - 1. Is i(-8) a composite number?
False
Suppose -35 + 13 = 2*g. Let f be (g + 2)/((-6)/(-8)). Is (114/f)/((-1)/2) prime?
True
Suppose 11*u = 10*u + 209. Is u composite?
True
Suppose -9 = -4*c + c. Suppose 19 = z + c*o, -5*z + 3*o + 113 + 54 = 0. Is z a prime number?
True
Let f(y) = y**3 - 3*y**2 - 4*y + 4. Let n be f(4). Suppose c = v + 121, -3*c + 6*v - n*v = -360. Is c composite?
True
Let t = 23 + -7. Suppose -i + 5*i = t. Suppose -i*c = c - 95. Is c a composite number?
False
Suppose -5*n + 25 = 5*b, -3*b - n + 14 = 1. Suppose -5*k - 518 = r, -b*k + 6*k - 4*r + 216 = 0. Let y = 171 + k. Is y prime?
True
Suppose 4*s - 12 = -3*q, 1 = -s - 3*q + 4. Suppose -4*v + s*t = -2075, -7*t = 4*v - 5*t - 2090. Is v a prime number?
True
Suppose -z - 4*z = -3*o + 157, -114 = -2*o + z. Is o a prime number?
True
Let s = -21 - -9. Let u be ((-3)/2)/(9/s). Suppose 4*m + 0*f + u*f - 204 = 0, -f = 4*m - 200. Is m prime?
False
Let s(q) = 11*q + 4. Let f(t) = -21*t - 7. Let p(w) = -3*f(w) - 5*s(w). Let i be p(-6). Let l = -21 - i. Is l composite?
True
Let s(t) = -442*t**3 - 4*t**2 + t + 3. Is s(-2) composite?
True
Suppose 4*m - 34 = -5*i + 5, 2*i = m - 26. Let o = 14 - 23. Let t = m + o. Is t prime?
True
Suppose 4*x - 9 + 5 = 0. Let f = x - -34. Is f composite?
True
Suppose -1 + 2 = -f. Let q be f*3/6*-6. Suppose -2*v - q*v = -415. Is v prime?
True
Let t = 293 - -391. Suppose -j - 1 = 0, 0 = -3*k + j - 254 + t. Is k prime?
False
Let p = 102 - -889. Is p a composite number?
False
Is ((3635 - 7) + 3)*(-2)/(-2) a prime number?
True
Let i(h) = -h**3 - 4*h**2 - h + 2. Let k be i(-4). Suppose 4*s + 6 - 14 = 0. Suppose k*m - 308 = s*m. Is m prime?
False
Let l be -2*(3/1)/6. Let u = -2 - l. Let w = u - -20. Is w a composite number?
False
Let x(d) = 8 + 0 + 3*d + d**2 - 5*d**2 + d**3 - 1. Is x(5) composite?
False
Let b(v) be the third derivative of v**7/2520 - v**6/180 - v**5/60 - v**4/24 - v**2. Let l(m) be the second derivative of b(m). Is l(6) a prime number?
False
Is -1754*((-6)/9)/(8/6) a composite number?
False
Let j be (-1 - -1) + 6 + 0. Let i = j - 13. Is (-3 + i)/(2/(-11)) a prime number?
False
Suppose 3*b + 3*m - 26 = b, 75 = 5*b + 5*m. Is b a composite number?
False
Let b = 16 + -22. Is ((-596)/b)/(2/3) composite?
False
Is 4/(4/2)*1358/4 a prime number?
False
Let v(m) = -3*m**3 + 5*m**2 + 4*m - 4. Let l be v(4). Let x = l - -59. Let d = x + 78. Is d a prime number?
True
Let i = 327 + -47. Is ((-1)/2)/((-4)/i) composite?
True
Suppose -5*x + 21507 = -4*r, -3*x + 2*r = -13274 + 369. Is x a prime number?
False
Let z(d) = d**3 + 4*d**2 - d - 2. Let v be z(-4). Is (1 - -4)*25 - v composite?
True
Let f(w) = -w + 25. Let d be f(0). Is (-10)/d - (-1767)/5 composite?
False
Let p(b) = -7*b - 4. Let f be p(-5). Suppose 0*m = -m + f. Is m composite?
False
Suppose -4*r - 2*a = -4466, 0*a + 2*a = -r + 1115. Is r composite?
False
Suppose 4*i + 3*j + 2*j = 2951, 0 = -j + 3. Is i prime?
False
Let w be -2*3/12*-10. Suppose w*p - 63 = 2*p. Is p a composite number?
True
Let q = -6 - -3. Let l be -3 + q*(-1 - 0). Is (5 - 4) + (l - -76) composite?
True
Is 113/3 - 14/21 a composite number?
False
Is (2/6)/((-2)/(-2082)) a composite number?
False
Suppose -5*c + 12 - 2 = 0. Let t be -1 + 2 + c/2. Suppose -3*h + 41 = -0*s - t*s, 0 = h + s - 17. Is h a composite number?
True
Is 107382/42 - (2 + 16/(-7)) composite?
False
Let d(o) = 47*o**2 + 2*o - 1. Suppose 0 = -i + a + 1, 2*i + i = 4*a + 3. Let b be d(i). Suppose 3*m = 285 + b. Is m prime?
False
Suppose k + 6 = 2*k + l, -k + 9 = 2*l. Suppose -r + 380 = k*r. Is r prime?
False
Suppose -728 = -x + 4*c, 0 = -5*x - c + 2*c + 3697. Suppose -5*h + x = s, -3*h = -3*s - 0*s - 462. Is h a prime number?
True
Let r = -2 + 4. Suppose b + 4 = 4*h - 2*h, -4 = -r*h. Suppose c - 19 + b = 0. Is c a prime number?
True
Let j(s) = 428*s - 1. Is j(1) a prime number?
False
Let j = 1519 - 852. Is j a prime number?
False
Suppose -v + 1133 = -4*k + 142, -k = -5. Is v prime?
False
Let x(z) = -z**2 - z + 1. Let f(w) = 4*w**2 - 9*w + 9. Let q(d) = f(d) + 3*x(d). Is q(13) a composite number?
True
Let p(x) = 346*x - 7. Is p(12) a composite number?
True
Suppose -2*l + t + 24 = 2*l, 0 = l - 5*t - 25. Suppose -l*j + 3*b + 47 = 0, -2*j + 5 + 17 = -2*b. Is j composite?
False
Let q = -9 - -43. Is (-2 - -5) + 1*q a prime number?
True
Let w = 310 + -221. Suppose 306 + w = 5*o. Is o composite?
False
Suppose -4*i = -22 - 46. Suppose -j = i + 20. Is 2/1*j/(-2) prime?
True
Let y = 273 + -178. Let g = y - 18. Is g a composite number?
True
Suppose -3*w - 6*n + 813 = -3*n, -1349 = -5*w - 3*n. Let c = w - 21. Is c composite?
True
Let l be (-4081)/(-28) + 6/(-8). Suppose l + 0 = k. Is k composite?
True
Let m = -239 + 336. Is m a prime number?
True
Let h(w) = -w**3 - 3*w**2 + 3*w + 12. Let d(b) = -b**2 + b - 1. Let v(j) = 3*d(j) + h(j). Is v(-8) a prime number?
True
Let q(w) = 2*w**2 - 2*w - 4. Let t be q(4). Suppose -3*o + 0*o = 2*c - 10, -3*c = o - 1. Let f = c + t. Is f a prime number?
True
Let o(v) = -v**2 - 6*v + 3. Let q be o(-5). Let h = 14 - q. Is h/3 - 1 - -42 a prime number?
True
Suppose 5*p + h - 201 = -2*h, 0 = 3*h - 6. Let k be (-15)/(-2)*64/(-24). Let w = k + p. Is w composite?
False
Let y = -5947 + 8573. Suppose -5*p + 229 + y = 0. Is p prime?
True
Let d = -7 - -27. Let u = -25 + 15. Let i = u + d. Is i a prime number?
False
Suppose -3*j - j + 1916 = 0. Let r = -318 + j. Is r a prime number?
False
Let g = -6 + 18. Let q = -5 + g. Is q prime?
True
Let k = 7 + -3. Suppose 2 = 3*u - k*u. Is -77*(6/3)/u a prime number?
False
Let l(j) = -j**3 - 6*j**2 - 5*j + 7. Suppose u + 5*f - 19 = 0, -3*f + 31 = -5*u - 14. Is l(u) a composite number?
False
Let z(p) = p**3 + 7*p**2 + 8*p + 8. Let w be z(-6). Let y(u) = -2*u - 3. Let f be y(w). Let s = f + 26. Is s prime?
True
Suppose -2*b + 5*m - 41 = 0, 2*b - 3*m + 39 = -b. Let a(v) = -10*v - 11. Is a(b) composite?
True
Let u = 918 - 23. Is u a prime number?
False
Let y = -105 - -250. Is y a composite number?
True
Let a = 846 + -542. Is a/(-8)*1/(-2) a prime number?
True
Let n = -8 + 35. Suppose -4*u - 24 = -10*u. Let z = n - u. Is z a composite number?
False
Let z(u) = u**3 - 6*u**2 + u - 2. Let p be z(6). Suppose 4*j - p = 2*j. Suppose -2*v - 3*c + 3 = 0, -3*c + j*c = 5*v - 14. Is v prime?
True
Let q = 249 - -44. Is q a prime n