ppose -m = -5*k + 8. Is k composite?
True
Let w(q) be the first derivative of q**4/4 - q**3 - q**2 + 3*q + 2. Let k be w(5). Suppose -a = -3*r - k, a - 5*a = 4*r - 108. Is a prime?
True
Let g(f) = 3*f**2 + f + 1. Let x be g(-1). Suppose -5*z + x*z = -20. Suppose 0 = -p + 3*p - 4*u + z, 4*p + 4 = 4*u. Is p composite?
False
Suppose z = 2*g - 11, 2*z = 3*g + 6*z. Let r(p) = p + 2. Let a be r(-1). Suppose q + a = g. Is q composite?
False
Let n = -231 - -422. Is n composite?
False
Suppose 0*g - 10 = -2*g. Suppose 0 = -g*u + 25 + 20. Suppose 0*d + u = 3*d. Is d a composite number?
False
Is -103*(-3)/(-6)*-2 a composite number?
False
Suppose 3*m + 52 = 205. Is m a prime number?
False
Suppose 5*j = -3*x - 9, 5*j + 5*x + 0*x = -15. Suppose -5*l = -j*l - 775. Is l composite?
True
Let c be 1*(-3)/((-9)/(-6)). Let t be ((-6)/c)/((-6)/8). Is (65/10)/((-2)/t) a prime number?
True
Is 61038/162 - (-4)/18 a composite number?
True
Let t = -110 + 403. Is t composite?
False
Is 4/(-10) - 32004/(-60) composite?
True
Suppose 105 = 3*t + b, -b + 61 = 5*t - 114. Is t prime?
False
Is 2/(-11) + 38369/187 a prime number?
False
Suppose -21 - 3 = -4*v. Is ((-15)/v + 2)*-118 a composite number?
False
Suppose 4*z - 24 = z. Is 4/z*(73 - -1) a prime number?
True
Let j(f) be the third derivative of -f**6/120 - f**5/15 - 7*f**4/24 - f**3/2 + f**2. Let r be j(-6). Suppose 3*z - r = -0*z. Is z prime?
True
Suppose -3*a = -a - 1226. Is a a composite number?
False
Suppose 4*m - 2 = 46. Let f(z) = 18 + m*z - 11*z + 29. Is f(0) a prime number?
True
Suppose -7 = -3*k + 2. Is (1 + 0 - k) + 37 composite?
True
Let b(p) = 164*p**3 - 6*p**2 + 6*p - 1. Is b(1) prime?
True
Suppose -d = 5*c - 51, -4*c + 0*c + 44 = 4*d. Suppose -3*a + 4*l = -2*a - c, a = 2*l + 10. Is 5/a + (-29)/(-2) a prime number?
False
Suppose -274 = -o + 5*v - v, o = -v + 259. Is o composite?
True
Is (-4)/22 - 7140/(-187) a composite number?
True
Let z(k) = k**3 + k**2 + 609. Let t be z(0). Suppose -o - 2*o + 203 = i, -2*o + t = 3*i. Is i composite?
True
Suppose -8 = -3*m - m. Suppose 3*t - 1400 = -m*t. Suppose 3*z - 5 - t = 0. Is z composite?
True
Suppose -58 + 23 = 5*o. Let v be (-72)/o + (-4)/14. Is (-97)/(-5) - 4/v a prime number?
True
Suppose -5*b = 3*o + 486, -b = -3*o - 302 - 166. Let f = 474 + o. Is f composite?
False
Suppose 259 = -5*d + 6*d. Is d a composite number?
True
Let h(a) = -a**3 - 8*a**2 - 6*a + 7. Let q be h(-7). Suppose s - 8 = 3*s, q = 5*g + 3*s - 433. Is g prime?
True
Let a(p) = -p**3 + 12*p**2 + 13*p - 1. Suppose -19 = -2*c + 1. Is a(c) a composite number?
True
Let p(b) = -b**3 + 7*b**2 + 9*b - 7. Let q be p(8). Let j be -26*q - (-1 + 2). Let v = j + 74. Is v prime?
True
Suppose k - 6747 = -4*d, 4*k + 1674 = -d + 2*d. Let v(w) = w - 4. Let o be v(7). Is d/18 - 2/o a prime number?
False
Let n(i) be the second derivative of i**4/4 + 5*i**3/6 - i**2 + 4*i. Suppose -2*c - 14 = -5*r + 14, 0 = -3*c + 3*r - 24. Is n(c) prime?
False
Suppose 3*d - o = -5*o + 357, -3*d - 5*o + 357 = 0. Suppose 0 = 5*v - 5*f + 335, 3*v + 204 = -0*f + 2*f. Let i = d + v. Is i a prime number?
False
Let g = -44 + 268. Suppose -5*u = 2*b - 26, 3*u + 4*b = -2*u + 32. Suppose -u*l - g = -588. Is l prime?
False
Let m(o) = 1 + 0 - 3 - 5*o**2 - 26*o**2 - 3*o. Let c be m(-5). Is ((-2)/3)/(4/c) composite?
False
Let y = 467 - 277. Let u = y + -113. Is u a prime number?
False
Suppose -5*p = -3 - 2. Let x be 6 + -2 - (1 + p). Let a(w) = 6*w + 1. Is a(x) a prime number?
True
Suppose 5*d - 4*r - 5979 = 0, -2839 = -2*d - 5*r - 421. Is d composite?
True
Let x(h) = -2 - 15*h + 6 - 14*h. Let w be x(-3). Let u = w - 54. Is u a composite number?
False
Suppose -1 = 3*m - 10. Suppose -4*b = m*q - 226, 2*b - 2*q - 161 = -b. Is b a prime number?
False
Let a be (6/(-5))/(3/30). Is (-43)/(-3) + 4/a composite?
True
Let a = 1 + 1. Suppose -3*n + 19 = -a*n. Is n prime?
True
Let r = -83 - -143. Suppose -4*h + 2*x = -150, 0 = h - 0*x + x - 39. Let z = r - h. Is z prime?
False
Let j(u) = 0 - 2 + 5 - 2*u. Is j(-8) a composite number?
False
Let h(a) be the third derivative of 0*a + 1/3*a**4 + 0 - 5/6*a**3 + 3*a**2. Is h(7) a composite number?
True
Suppose 3*f - 2*f - 186 = 0. Let p = 355 - f. Let i = 252 - p. Is i composite?
False
Suppose -20 = 4*j + 2*u, 0 = -0*u - 5*u. Let o be (-38)/j - 4/(-10). Let z(h) = h**3 - 7*h**2 - 3*h - 6. Is z(o) a composite number?
True
Suppose -5*g + 8837 = 2*u, -g = -u - 5*g + 4417. Is u a prime number?
True
Let u(m) = -m**2 - 5*m - 3. Let p be u(-3). Let l = p + -3. Suppose -4*i = 4*s - s - 197, 4*s + 3*i - 251 = l. Is s a prime number?
True
Suppose r = 4*b + 529, -2*b - b + 2599 = 5*r. Is r composite?
False
Let s(c) = 2*c**2 + 3*c - 2. Let w be s(-3). Suppose 1 = 2*u - w. Is (u/(-12))/((-2)/534) a prime number?
True
Let z(d) = d**3 + d**2 - 1. Let q(y) = 0*y**3 - 4*y**3 - 10*y**3. Let g(i) = q(i) + z(i). Is g(-1) composite?
False
Let w(d) = -d**2 + 5*d. Let x be w(4). Suppose 0 = -s + 5*o + 73, -s + 3*s - 155 = o. Suppose -2*u + x*u = s. Is u composite?
True
Let x(b) = 22*b**2 + b + 11. Is x(-6) a composite number?
False
Let a(b) = 2*b**2 + 2*b - 8. Let p be a(-7). Is (p/8)/((-1)/(-2)) a prime number?
True
Let o(v) = v**3 + 13*v**2 - 9*v - 10. Is o(-11) composite?
False
Let z(x) = 42*x - 9. Is z(4) a prime number?
False
Suppose 14*r + 334 = 15*r. Is r a composite number?
True
Let i(j) be the third derivative of j**5/60 - 7*j**4/24 + j**3 + j**2. Suppose 0 = 5*h - 3*f - 32, -f + 17 = 3*h - 5*f. Is i(h) a prime number?
False
Let r(x) be the second derivative of x**5/4 + x**4/12 - x**3/3 + x**2/2 + 2*x. Let n be r(1). Suppose 5*o = h - 5*h + 114, n*h - o = 128. Is h composite?
True
Let v(k) = -36*k + 5. Let h(c) = -7*c + 1. Let i(w) = -11*h(w) + 2*v(w). Let m be i(1). Suppose -z = -3*d + 4, -m*z - 5*d + 53 + 16 = 0. Is z composite?
False
Let y(v) = 3*v + 2 - 10 + 0*v. Let w(z) = 4*z + 1. Let a be w(2). Is y(a) a composite number?
False
Let o(x) = x - 5. Let v be o(5). Let c = 2 - v. Suppose -y - 22 = c*w - 5*w, -y - 4 = 0. Is w a composite number?
True
Let o(r) = -r**2 - 8*r + 12. Let t be o(-9). Suppose -5*j = t*c + 2*c - 975, -c = -4. Is j prime?
True
Suppose 0 = 4*z + l - 14 + 38, -4*l + 16 = 0. Let g(m) = -m**3 - 6*m**2 + 7*m + 7. Let y be g(z). Is 10/(-35) + 72/y prime?
False
Let d(q) = q**3 + q**2 - q. Let f(z) = -4*z**3 + 2*z**2 - 2*z + 4. Let o(j) = 3*d(j) + f(j). Let y be 2 - (3*-1 - -2). Is o(y) composite?
False
Let t = -390 - -809. Is t a composite number?
False
Let n(d) = -3*d + 4. Suppose 6*z - 3*z - 5*v = 1, -2*z = -4*v - 2. Is n(z) a prime number?
True
Suppose -5*l + 3*q + 158 = -3*l, 2*q = -4*l + 316. Is l composite?
False
Suppose i + 3*i = 240. Suppose 6*r - r = -125. Let x = i + r. Is x a prime number?
False
Let j = -1 - 0. Let w be j/(2/(-2) + 0). Is (25/w + -2)*1 a composite number?
False
Let v = -174 + 540. Suppose 5*d + 647 = 4*c, 3*c - 5*d - 118 - v = 0. Is c a prime number?
True
Let w(p) = -p**2 - p + 149. Is w(0) composite?
False
Let m(h) = h**3 - 8*h**2 + 6*h + 4. Let r be m(7). Is (-736)/(-6) + (-1)/r prime?
False
Let v(t) = 3*t**2 - t**3 + 3 - 5 + 2*t**2. Let h be v(5). Is 2686/18 + h/9 a composite number?
False
Let b(z) = 40*z**2 - 9*z + 4. Is b(5) a composite number?
True
Let b(x) = 277*x - 2. Let i be b(6). Suppose 0 = 7*m - 3*m - i. Is m composite?
True
Let a(f) = 11*f**3 - 4*f**2 + 4*f - 1. Let b be a(4). Let q = 1134 - b. Is q a composite number?
False
Suppose 4 = y + y. Suppose 4*q = y*q + 26. Is q prime?
True
Let g(k) = -k**3 + 13*k**2 + 8*k - 2. Is g(-10) a prime number?
False
Let m(z) = z**2 + z - 12. Let i be m(-4). Suppose i*g + 263 = g. Is g a prime number?
True
Suppose 3*p - 2*p - 15 = -4*u, -3 = u - 2*p. Suppose -4*n + 20 = -6*n. Let j = u - n. Is j a composite number?
False
Let a(m) be the first derivative of -m**4/4 + m**2/2 + 37*m + 1. Let w be 2/(-2) + -2 - -3. Is a(w) a prime number?
True
Suppose -2*r + 5*q = 2*r - 78, -5*r = 5*q - 120. Is r composite?
True
Let z = 5 + -16. Suppose 2 = 3*i + 92. Let f = z - i. Is f a composite number?
False
Let n(x) = 22*x + 35. Is n(21) composite?
True
Let y be 1/1 + (1 - -3). Suppose -2*u + 7 = y. Is 4 - 3 - -10 - u prime?
False
Let a = -19 - -11. Let k be ((-9)/(-4))/(2/a). Let t = -7 - k. Is t a prime number?
True
Let l(g) = -3*g - 9. Let o be 