mposite?
True
Suppose 5*z - 2*u - 645 = 0, 5*z - 379 - 231 = -5*u. Is z a composite number?
False
Is 3 - (-2 - -4) - 210/(-2) composite?
True
Let x = 7 + -3. Let n(j) be the third derivative of j**4/24 - j**3/6 + j**2. Is n(x) prime?
True
Let y = 14 - -9. Let i = y - 0. Is i prime?
True
Suppose -822 = -8*y + 6*y. Is y a prime number?
False
Let x(l) = 7*l**3 - 2*l**2 - 4*l - 17. Is x(6) prime?
True
Let j(c) = 84*c - 1. Let l(i) = -167*i + 2. Let x(d) = 13*j(d) + 6*l(d). Is x(2) a prime number?
True
Let i be 10*((-3)/(-1))/3. Let s be ((-6)/i)/(1/(-5)). Suppose 7*y - s*y = 40. Is y composite?
True
Suppose 0*v + 2*v - 6 = 0. Suppose -4*b - 114 = -2*y, -15 + 3 = v*b. Is y a prime number?
False
Suppose -m + 35 = -k, -4*m + 0*k = -k - 128. Let c = m - 18. Is c composite?
False
Suppose -4*t = -q - 0*t + 366, 5*t = 5. Suppose -9*g + 11*g = q. Is g composite?
True
Let o(k) = -11*k**2 + 3*k + 1. Let g be o(-2). Let p = g + 72. Suppose 30 = h - p. Is h a composite number?
False
Suppose 5*j = -x + 27, 2*x = 3*x - 2. Suppose -4*w + 2*o = -2012, -5*w + 2545 = -0*w + j*o. Is w prime?
False
Is -1 - -1 - 1657/(-1) a composite number?
False
Is 1/(5 + -4) + 1732 composite?
False
Suppose -1 = -2*b + 5. Suppose -4*w = -2*g + 334, -b*w - 27 - 631 = -4*g. Is g composite?
False
Let b be ((-20)/8)/(1/(-22)). Suppose 4*z = -2*g + 220, -2*z + g = -b - 63. Is z a prime number?
False
Suppose -3*p - 2*p - 5*l = 20, -3*p - 5*l - 10 = 0. Let z(k) = -k**3 - 4*k**2 + 4*k - 2. Let i be z(p). Is 14/(3/i) + 0 a composite number?
True
Let w(u) = 44*u + 11. Is w(7) prime?
False
Let q(t) = -4*t + 6. Let i be q(-6). Suppose -3*n - 177 = -i. Is n*(-4 - (0 - 3)) prime?
False
Let i be (3/(-6))/(1/(-6)). Let l = 726 - 394. Suppose l = 4*n + 4*c, -c - 8 = -i*c. Is n a composite number?
False
Let y(w) = -6*w - 1. Let g be y(-1). Suppose 5*i - g*m - 1087 = 508, -5*m = 10. Is i a prime number?
True
Suppose 3*b - 485 = 304. Is b a prime number?
True
Suppose 5*c - p - 23 = 0, -4*c + 14 = c + 2*p. Suppose -2*v = c*x, 3*v - 9 = -v + x. Let w = v + 8. Is w a prime number?
False
Suppose 3685 = 3*v - 1844. Is v composite?
True
Let r(h) = 63*h - 1. Is r(4) a composite number?
False
Let w(c) = c**3 + 5*c**2 + 5*c - 4. Let o be w(-4). Is 7465/20 - (-2)/o a composite number?
False
Let a(t) = t**2 - 8*t + 4. Let f be a(6). Let z = -5 - f. Suppose 195 = z*m - 42. Is m composite?
False
Suppose 5*p - 1 = 24. Let y be 32/p - 14/35. Is y + (-2 + 3 - 0) prime?
True
Let g(z) = -11*z**3 + z**2 + 2*z + 7. Is g(-3) a prime number?
True
Let m(b) = -b**3 - 4*b**2 + 4*b - 1. Let t be m(-5). Suppose 7 = 5*k + 2, 0 = -4*y - t*k + 4. Let s = 35 - y. Is s a prime number?
False
Let r(x) = x**3 + 4*x**2 - 5*x + 2. Let c be r(-5). Let o(n) = -n**2 - 10*n + 2. Let w be o(-10). Is (1 - c)/(w/(-262)) a composite number?
False
Is ((-35)/(-20))/((-2)/(-16)) composite?
True
Suppose -4*j + 3*v = 7, 6*j - j = 5*v - 15. Suppose j*x = x + 15. Is (55/3)/(5/x) composite?
True
Let f = 14 - 8. Suppose 2*g - f = -g. Let a(o) = 3*o**2 - 3*o + 1. Is a(g) composite?
False
Let w(v) = 2*v**3 - 5*v**2 + v. Let t be w(4). Suppose 0 = -3*i + 6 - 0. Suppose 6*c = i*c + t. Is c a prime number?
True
Suppose 0 = -v - v + 16. Suppose 3*o + 10 = v*o. Suppose 142 = 4*i - o*g, -2*i + 9 = -4*g - 77. Is i a composite number?
True
Let i = 7 + -6. Is i - (-57)/(-2)*-2 prime?
False
Is ((-3786)/9)/((16/(-6))/4) a prime number?
True
Let d(a) = 390*a**2 - 2*a + 3. Is d(2) a prime number?
True
Let c = 763 + -506. Is c a prime number?
True
Let j = 1113 - 2304. Is 2*(-3)/(18/j) composite?
False
Is (333/(-12))/((-3)/8) a composite number?
True
Let w be (3/2)/(1/6). Let o = -10 - w. Let s = o - -56. Is s a composite number?
False
Suppose 4*t + 409 + 331 = 0. Let o = -106 - t. Is o prime?
True
Let s = -3162 - -6575. Is s a composite number?
False
Let j = 14 - 15. Let w(b) = 8*b**2 - 3*b - b + 6*b + 1. Is w(j) composite?
False
Suppose v + v = 5*m + 26, -5*m = 10. Suppose 0 = -6*o + v*o - 158. Is o prime?
True
Let x = -282 - -532. Is -3 + 0/1 + x prime?
False
Suppose -2 = -2*g + 2. Suppose 0 = -g*c + 89 + 5. Is c prime?
True
Suppose 5*v = -3*l + 730, 3*v + 3*l + l - 449 = 0. Is v a composite number?
True
Let b(k) = k**2 - 2*k - 1. Let y be b(-1). Let n be -10*(24/(-15) + y). Let r = 11 + n. Is r prime?
True
Let g(b) = 265*b**3 - 2*b + 2. Is g(1) prime?
False
Let a(w) = 94*w - 1. Is a(2) composite?
True
Let y be ((-9)/4)/(5/(-120)). Suppose 4*b = q + 52 + y, 4*b + 484 = -4*q. Let v = q - -209. Is v a prime number?
False
Let v(x) = 151*x - 36. Is v(5) a composite number?
False
Let k(b) = b**3 + 9*b**2 + 7*b + 4. Let r be k(-7). Let m be ((-2)/4)/(1/(-8)). Suppose -m*l + r + 29 = 2*n, -2*n + 57 = -l. Is n composite?
False
Let v be (-4)/(-3)*354/(-4). Let b = v + 212. Is b prime?
False
Suppose 0 = -4*t - 4. Let h(a) = -4*a - 21 - 36*a**3 + 20 - a**2 + 11*a**3 + 2*a. Is h(t) a composite number?
True
Let k be (-4 - -2) + 3 + 1. Is k/(1*-4)*-26 composite?
False
Suppose -2*j + 0*j + u = 7, -5*j - 3*u - 12 = 0. Let a be ((-6)/j*-1)/1. Is 11/(5/(-3) - a) composite?
True
Suppose -c = -4*c - 39. Let y = -27 - c. Is 316/(-6)*21/y prime?
True
Let z = 722 + -459. Is z composite?
False
Suppose 1 = -b + 2. Is b*3/(9/438) a composite number?
True
Let q(x) = 8*x + 2. Let z be q(10). Suppose -671 = -3*h + z. Is h composite?
False
Is 166/(-3)*(-24)/16 composite?
False
Let n = 19 + -12. Suppose -3*d + n*d = -8, -2*d + 91 = 5*r. Is r prime?
True
Let m be ((-739)/1)/(3/6). Let r be 2/10 + m/(-10). Is r/6 + (-4)/(-12) prime?
False
Suppose 3*q = q - 34. Let g(h) = -h**3 + 2*h + 54. Let w be g(0). Let r = q + w. Is r a composite number?
False
Let w = 2 - -2. Suppose -w*q + 588 = -0*q. Suppose 0 = 2*x + x - q. Is x prime?
False
Let v = 1 - -3. Let x be 1*(-1 - -3) + -2. Is x + v - (-1 + 2) composite?
False
Suppose 2*g - 7*g - 5*y = -4885, 2*y = -g + 977. Is g a prime number?
True
Suppose -5*a - 42 = -5*r + 233, 3*a = -4*r + 248. Is r composite?
False
Let r(s) = s**3 - 4*s**2 - 8*s + 6. Suppose -5*t - 3*l = 14 - 51, 21 = t + 4*l. Let u be r(t). Is (-2)/6 - 498/u a composite number?
True
Suppose p - 4*m + 40 + 23 = 0, 5*p + 4*m = -291. Let i = p + 200. Is i prime?
False
Let h be -2*(2 + (-7)/2). Suppose -2*k - h = -11. Suppose k*y - 70 = 2*w + w, 3*y - 5*w - 47 = 0. Is y a prime number?
True
Let g(a) = -4*a**3 + 4*a + 1. Let r be (-52)/(-14) - 4/(-14). Suppose 4*f = -r*j - 24, 0 = -5*f - 4*j - 43 + 16. Is g(f) a prime number?
True
Suppose -10 = -0*o - 2*o. Suppose -3*a = 5*h - 16, o*a - 3*h = 2*h. Suppose 4*f - 891 = -3*r, -4*r = a*f - 701 - 477. Is r a prime number?
True
Let q(d) = -45*d**2 + 4*d - 2. Let t be q(2). Is ((-14)/4)/(3/t) a prime number?
False
Let d(z) = 7*z + 0 + 4*z**2 - 4 + 1 - 3 - z**3. Let b be d(5). Suppose 0 = -v - 4, 2*v - 348 = -0*p - b*p. Is p prime?
True
Let u(j) = j**2 - 2*j + 6. Is u(5) a composite number?
True
Suppose -t - 2*i + 127 = 0, t + 0*t - i = 118. Is t composite?
True
Suppose -2*l + 255 = -347. Is l composite?
True
Suppose 0 = -6*b + 3*b + 1239. Is b composite?
True
Suppose -89 = -r + 2*c, 0*r + 83 = r + c. Is r prime?
False
Suppose -7*b = -17*b + 260. Is b prime?
False
Suppose -6 = 3*f - 0*f + 3*m, -4 = 2*m. Suppose f = -0*l - 2*l + 22. Suppose 2*j + l - 49 = 0. Is j prime?
True
Let s = 124 - 3. Is s a composite number?
True
Suppose 0 = 3*i - 6*i + 12. Suppose -75 = -j - i*j. Is j a prime number?
False
Let c(w) = 38*w**2 - 5*w + 4. Is c(3) a composite number?
False
Let q(r) = 25*r**2 + 9*r - 4. Let z(w) = -w**2 - w. Let x(i) = q(i) + 6*z(i). Let o be x(-4). Let d = 491 - o. Is d prime?
False
Let m be (-7)/(((-3)/1)/189). Suppose 2*c = b - 99, -2*c + 69 - m = -4*b. Is b a prime number?
False
Suppose 3*n + 2*m = 11426 - 4781, 4430 = 2*n + 5*m. Is n a prime number?
False
Let r be -10 + 9 + (1 - 0). Suppose -5*k = -r*k - 1115. Is k a prime number?
True
Let x(l) = l**2 + 3*l - 11. Let c be x(-8). Suppose c - 10 = m. Is m prime?
True
Suppose 2*c = 5*c - 573. Is c prime?
True
Let m be (-16)/20*15/(-6). Suppose -i + 0*i + 5 = 0. Suppose i*l + 103 - 2 = 4*p, 13 = m*p + 5*l. Is p composite?
False
Let p be 0 + (293 - (-3)/(-1)). Suppose -2*k + 7*k - p = 0. Is k a composite number?
True
Let a(l) = -5*l**2 + 47*l + 17. Let o be (-15)/(-6)*12/(-10). Let c(u) = 2*u**2 - 