 prime number?
False
Let u(x) = -6*x**3 - x**2 + x. Let g be u(1). Let k be (4 + g)*(-6)/4. Suppose -2*j - 71 = b - 2*b, 4*b - k*j = 274. Is b a prime number?
True
Let a = -4 - -6. Suppose -4*c - 2*m + m = a, -5*c - 4*m = 8. Suppose 0 = 5*h + 5*k - 230, 0*k + 2*k + 6 = c. Is h a composite number?
True
Suppose 0*w - 4*w + 176 = 4*s, -5*w + 229 = 2*s. Is w a prime number?
True
Suppose 0 = 5*d - 10*d. Let g be (9/6)/3*d. Suppose i - 5*k = -4*k + 83, 3*k - 12 = g. Is i prime?
False
Suppose -11 + 45 = 2*g. Suppose -2*t - 4*n - 14 = 0, 3*t + 4*n + g = 2*t. Suppose -2*p + t - 7 = 0, -12 = -2*i + 3*p. Is i a composite number?
False
Let y(q) = -2*q**2 + 2. Let f be y(2). Let i(w) = -36*w - 5. Is i(f) composite?
False
Let i = -57 + 100. Is i prime?
True
Let a be (-1978)/(-8) - (-5)/(-20). Let k = a + -156. Is k a composite number?
True
Suppose -129 = 2*n - 5*n. Is n composite?
False
Let i(w) = w - 9. Let j be i(5). Is ((-492)/(-9))/(j/(-6)) composite?
True
Is 16728/10 - 1/(-5) a composite number?
True
Let w be -1*(-2 + (-2 - -4)). Let u = 2 + w. Suppose -u*y - 217 = -3*y. Is y a composite number?
True
Let g(m) = 89*m + 2. Is g(3) composite?
False
Let i = 5 - 5. Suppose i*w + 37 = w. Is w prime?
True
Suppose 3*t = -3*q + 21, -3*q + 24 = -0*q + 4*t. Suppose 55 = q*f - 3*f. Is f prime?
False
Let h(z) = 2*z - 5. Let j be h(4). Let a(l) = 4*l + 3. Let i be a(6). Suppose -4*b = o - 29, -j*o = -0*o - 3*b - i. Is o a prime number?
True
Suppose -77 = 5*n - 4*a, -a - 7 - 63 = 4*n. Let v = n - -40. Is v a composite number?
False
Suppose 136 = 2*g - 966. Is g a composite number?
True
Let k = 4 + -2. Let m be (k/(-3))/((-2)/(-327)). Let g = -78 - m. Is g prime?
True
Let j(n) be the first derivative of 85*n**3/3 - n**2/2 - n - 3. Is j(1) prime?
True
Suppose -2*p - 2*p + 16 = 0, -k - 2*p = -18. Let s be (-1)/((-8)/k - -1). Is (s - -5) + (1 - -9) prime?
False
Is 5/(-20) - 12346/(-8) a composite number?
False
Let g be (-1)/((-2)/(-2)) - -5. Suppose -2*m - 63 = -5*m. Is 645/m + g/14 prime?
True
Suppose -3*p = -4*h + 5, 2*p + 0*p - 10 = 0. Suppose 2*t - 62 = 2*c, 0 = h*t + 7*c - 2*c - 195. Suppose -t = -2*f + 35. Is f a composite number?
True
Suppose -3*u - 15 = 0, 185 = 3*k - 5*u - 314. Suppose 0 = 2*j - f - k, 3*f + 349 = 5*j - 48. Is j prime?
False
Suppose 0 = -5*y - l - l + 8795, 3*y - 3*l = 5256. Is y prime?
False
Let q(z) = 8*z**3 - 4*z**2 + z - 6. Is q(4) composite?
True
Let j(x) be the first derivative of 3*x**3 - 5*x**2/2 + 3*x - 2. Is j(4) prime?
True
Suppose 5*z - 284 - 246 = 0. Is z composite?
True
Suppose -9*i + 8 = -7*i. Let a(r) = 9*r**2 + 4*r - 3. Is a(i) a prime number?
True
Suppose -2*u + 4*b = 34, 5*b = -4*u - 23 - 32. Let z(l) = -l**3 - 13*l**2 + 11*l - 20. Is z(u) a prime number?
False
Suppose -1411 = -2*i + 555. Is i a prime number?
True
Let o = 882 - 604. Is o a composite number?
True
Let x(g) = -2*g**3 - 2*g - g**3 - 12*g**2 + 0*g**3 + 2*g**3 - 15. Let j be -10*7/((-35)/(-6)). Is x(j) a composite number?
True
Suppose 0 = 2*i + 5*o - 1048, -2 = -4*o + 6. Is i composite?
True
Suppose -5 = -5*k - 0. Is 747/(-3)*k/(-3) prime?
True
Is (-1658)/(-5) + (-36)/60 a prime number?
True
Let s = 2023 - -1276. Is s a prime number?
True
Let u = 5 + -3. Suppose 118 - 282 = -u*c. Is c prime?
False
Suppose -779 = -f + q - 3*q, -5*q = 2*f - 1563. Is f composite?
False
Is 6/(-2) + 36/1 a composite number?
True
Suppose m - 19165 = -4*m. Is m composite?
False
Let z = 1 - -24. Let o be (-2)/(-10) - (-89)/5. Let u = z - o. Is u a prime number?
True
Let x = 6 - 56. Let d = x + 93. Is d a composite number?
False
Let a = 6 - 4. Suppose -s + a = s. Is (177 - -1)/(2/s) prime?
True
Let c = -7 - -10. Is 0 - (c - (651 - -1)) composite?
True
Suppose 5*h + 4*b + 0*b = -19, -4*h + b = 11. Let a(f) be the first derivative of -f**4/4 + f**2/2 + f - 2. Is a(h) a composite number?
True
Suppose -3*s - 13239 = -12*s. Is s a composite number?
False
Suppose -j = -2 - 3, 2405 = 5*p - 4*j. Is p composite?
True
Let l(f) = 6*f + 3. Let q be l(3). Let n be 6/q - (-52)/14. Suppose 4*s - 40 = -2*g, 6*g - 44 = -n*s + 2*g. Is s a composite number?
True
Let n(y) = 3*y**3 + 27*y**2 - 16*y - 6. Let l(o) = -o**3 - 9*o**2 + 5*o + 2. Let s(j) = -11*l(j) - 4*n(j). Let z be s(-10). Is (2 - 3)*(1 - z) a prime number?
True
Suppose 0 = -4*j - 0*j. Suppose f - 3 + 2 = j. Is f/4 - 518/(-8) a prime number?
False
Suppose -x + 2*t = x - 2318, -x - 3*t = -1175. Is x a prime number?
True
Let o be (-10)/15 + 611/3. Let k = o - -41. Let s = k + -157. Is s a composite number?
True
Let x(s) = 5*s + 24. Suppose -2*f - 5*m + 17 = -5, 0 = 5*f + 4*m - 55. Is x(f) composite?
False
Suppose 22 + 70 = 4*x. Is x a prime number?
True
Let d(k) be the first derivative of k**4/4 + 7*k**3/3 - 3*k**2/2 + 5*k + 2. Is d(-6) a prime number?
True
Let j(g) = -4*g + 3*g**3 + 4 - 2 - g**2 - 2*g**3. Let i be j(4). Suppose -2*t + 4*r + 13 = -3*t, -2*t = -4*r - i. Is t prime?
True
Suppose -5*m + 64 - 9 = 0. Suppose 5*a + m = 1. Is 205/9 - a/9 composite?
False
Is (-24)/4*(-23)/3 a prime number?
False
Let b = -2786 - -4897. Is b a composite number?
False
Suppose -3*g - 73 = -247. Is g a prime number?
False
Suppose -1 = -4*s - f, 1 = 5*s - 0*s + f. Suppose s = -0*u + u. Suppose p = -u*p + 67. Is p a prime number?
True
Let d(h) = -1 - 4*h + 15*h + 5*h. Suppose r - 18 = -2*r + 3*p, 5*p + 9 = 2*r. Is d(r) composite?
True
Let m(z) = 24*z**2 - z + 1. Let d be m(-3). Suppose 70 + d = 2*g. Is (g/4)/(2/8) composite?
True
Let l(b) = -b + 4. Let g be l(-3). Suppose g*w - 136 = 3*w. Is w a composite number?
True
Is (485*2/(-6))/(11/(-33)) composite?
True
Let h = -7 - -10. Suppose -h*l + 28 = -83. Is l composite?
False
Let k = -6 - -9. Is 340/5 - (-2 + k) a prime number?
True
Let g = -6 - -8. Suppose g*w + 84 = -3*s, s - 2*w = -4*s - 156. Let r = 63 + s. Is r a prime number?
False
Let n(y) = y - 1. Let l(u) = -6 + 3*u - 4 - 10*u**2 - u**3 + 3*u. Let w(c) = -l(c) + 4*n(c). Is w(-10) a composite number?
True
Let m(j) = j**2 + j + 177. Let h be m(0). Suppose -3*z - 11 = 1, -3*t + 3*z + h = 0. Is t composite?
True
Suppose 3*z - 5 = 5*h, -2*h + 0*z + 24 = 4*z. Suppose h*x = 194 + 408. Is x a prime number?
False
Suppose a + 21 = 3*q, -2*q - 5 = 5*a - 2. Is q composite?
True
Let i be (2/(-5))/((-1)/(-20)). Let q(m) = m**3 + 14*m**2 + 4*m + 12. Let u be q(i). Is (u/6)/(4/6) composite?
True
Suppose 2*r = 13783 + 7049. Suppose -5*j + r = 3041. Suppose -3*p + j = 2*p. Is p composite?
True
Let z be 1099/7 - -2*1. Let u = z + 32. Is u prime?
True
Suppose -2*f = -4*z + 1634, z - 2041 = -4*z + 2*f. Is z a prime number?
False
Let b be -3*(3 + -6)/3. Let w(n) = 0*n**b + 9*n - 10*n + 6 + n**2 + n**3. Is w(0) a composite number?
True
Let a be 20/(-15)*387/6. Let c = a - -175. Is c a composite number?
False
Let m(d) = -1. Let t(c) = -11*c + 5. Let n(q) = 5*m(q) + t(q). Let l be (-156)/32 - (-1)/(-8). Is n(l) composite?
True
Suppose 0 = -0*m + 3*m - 6. Suppose -83 = -o - 4*a - 4, 237 = 3*o - m*a. Is o a prime number?
True
Let u = 466 + -212. Suppose -3*x = -4*t - 245, -2*x - u = -5*x - 5*t. Is x a prime number?
True
Suppose 445 = -b + 6*b. Is b a prime number?
True
Let w(y) = y**3 - 10*y**2 + 6*y - 11. Let j = -17 - -27. Is w(j) a composite number?
True
Let r be 1 + 27 + 2/1. Suppose 49 = f - r. Is f a composite number?
False
Let s(f) = f - 27. Let l be s(15). Is (-2000)/l + 1/3 a prime number?
True
Suppose 2*n - 214 = 4*k, -2*k = 4*n - 6*k - 436. Is n a prime number?
False
Let z = 8 - 11. Let u(n) = n. Let y(b) = -b**3 - 7*b**2 + 6*b + 3. Let k(h) = 6*u(h) - y(h). Is k(z) prime?
False
Let d be -1 + -2 - (-2 - 0). Let x(c) = -7*c**2. Let l be x(d). Let r = l - -29. Is r a prime number?
False
Let r = 580 - 377. Is r prime?
False
Let j(v) = 97*v - 3. Let i be j(4). Suppose 11*a - i = 6*a. Is a composite?
True
Let w be -1 - (-1 + -3) - 1. Suppose 3*q - s = 4*q - 121, 361 = 3*q + w*s. Is q a prime number?
False
Suppose -4*o - 815 = -9*o. Is o a composite number?
False
Suppose 3*r - 6 - 194 = 4*h, -3*r - 4*h + 208 = 0. Suppose -4*p - r = -4*t, -27 = -2*t - t - 3*p. Suppose 0*k - t = -k. Is k prime?
True
Suppose 0 = j + j - 4. Suppose -12 = -j*p - 2*p. Suppose k + 4 = p*k. Is k prime?
True
Let o(r) = -11 - r - 4*r + 3*r - r**3 - 8*r**2. Let u be o(-8). Suppose s = -4*m - m + 29, -3*