Let y(b) be the first derivative of -b**4/4 - b**3/3 + b**2/2 + 49*b + 1. Let v be 4/10 - (-4)/(-10). Is y(v) a prime number?
False
Let z be 33/9*3*-19. Let b = -130 - z. Let k = 168 - b. Is k a prime number?
True
Let u = 252 - 157. Suppose 3*s - u = -2*d, -4*s - 5*d - 54 = -183. Is s a composite number?
False
Let z(u) = 667*u**2 - 2*u - 2. Is z(-1) prime?
False
Let y = 5 - 3. Suppose -233 + 21 = -y*g. Suppose 2*t + 0*w = -3*w + g, -2*t + 3*w = -82. Is t prime?
True
Let v be (-2)/(-1 - 6/(-9)). Suppose -8 = 4*c - 132. Let o = v + c. Is o a composite number?
False
Suppose -x - 106 = -2*x. Suppose x + 131 = 3*u. Is u a prime number?
True
Let z = 41 + -65. Is 2 + -3 - z/2 composite?
False
Let l(k) = 2*k**2 - 13*k - 9. Is l(-8) a composite number?
False
Let i be 1/5 - 77/35. Let t be ((-272)/5)/(i/10). Suppose -3*q - 442 = -9*o + 4*o, -5*q + t = 3*o. Is o prime?
True
Is 6977*1 + (4 - (0 + 4)) a prime number?
True
Suppose 0 = -d + g + 250, -2*d + 2*g + 505 = 5*g. Is d prime?
True
Let h(o) = -o**2 + 2*o + 141. Is h(0) a composite number?
True
Let b(n) = 71*n. Is b(7) composite?
True
Let y(r) be the first derivative of 25*r**4/4 - r**3/3 - r**2 + 4. Let i be y(3). Is i/18 - (-2)/6 composite?
False
Let p(d) = d - 4. Let m be p(3). Let u(f) = -79*f**3 + f**2 + 2*f + 1. Is u(m) a prime number?
True
Suppose l = -b, -2*l - l - 5*b + 8 = 0. Is ((-489)/(-2) - l)*2 composite?
True
Suppose -4*v = -0*v - 8. Suppose -3*g + 5 = -2*g, -v*g = -3*x + 1481. Is x a prime number?
False
Suppose 4*p - p = -2*n + 34, -38 = -4*p + n. Is p/(-4)*-28 + -3 a prime number?
True
Suppose 2*q + 5*q = 26803. Is q a prime number?
False
Let m be 8/20 + (-73)/(-5). Suppose -3*v + 2*i + 0*i + 6 = 0, -5*i = 2*v + m. Is 57/(-12)*(v - 4) a prime number?
True
Suppose 0 = -k + 2*k - 5. Suppose 29 - 104 = -k*n. Is n prime?
False
Let z(g) = 46*g + 3. Let t be (-32)/14 + 2/7. Let q be z(t). Let d = 144 + q. Is d composite?
True
Let q(l) = -30*l + 8. Let u be q(-4). Let m be 8/6 + (-4)/(-6). Suppose -m*s + u = -30. Is s composite?
False
Is (-3 + 15)/(-4) - -590 a prime number?
True
Let z = 14 - 10. Suppose 0 = -0*m + 4*m + 4*n - 640, z*m - 5*n - 631 = 0. Is m composite?
True
Let j(q) = -2*q - 4. Let l be j(-5). Is (105/l)/((-2)/(-4)) composite?
True
Suppose 5*w - v - 1905 = 0, 5*v - 8 - 17 = 0. Suppose 198 = 2*l + 4*t, 4*l - t - w = -2*t. Let c = -42 + l. Is c composite?
False
Suppose 0 = 4*d - 432 - 2260. Is d a composite number?
False
Let k = -10 - -9. Let c(v) = -v**2 - v - 1. Let f be c(-5). Is 49/f*3*k prime?
True
Let a = -11 + 31. Suppose -4*c - 277 = -3*g - 3*c, a = 4*c. Is g prime?
False
Is (3405/(-10))/(15/(-50)) composite?
True
Suppose 0 = -3*g + 2*g + 210. Suppose -g = -3*f - 0*f. Let q = f - 37. Is q a composite number?
True
Let t be (-6)/(-2)*(-2 - -1). Let y be (0 + (-15)/t)*1. Suppose y*z = 51 + 104. Is z a composite number?
False
Let r = 5 - 1. Suppose -4*m + r*h + 7 = -37, -2*m + 22 = 2*h. Is 2/m - (-238)/22 a prime number?
True
Let k(l) = 56*l**2 + l - 1. Let m be k(1). Let j = m + -3. Is j a composite number?
False
Let j = -33 + 126. Suppose -j = 5*z - 8*z. Is z a composite number?
False
Let f(d) be the second derivative of d**5/20 + d**4/12 - d**3/6 - d**2/2 - 2*d. Let l be f(-1). Suppose 0 = a - 5*k - 20, l = 6*a - 2*a - 3*k - 46. Is a prime?
False
Let l(y) = 2*y**2 + 13*y - 89. Is l(14) composite?
True
Suppose -o - 4*o = 0. Is (-737)/(-11) - o/(-2) composite?
False
Suppose -3*k + k - 50 = 0. Let p be (1130/k)/(2/(-10)). Suppose 3*r - p = -5*x + 525, -2*r - 741 = -5*x. Is x a prime number?
True
Let x = 8 - 0. Let t(q) = -4*q - 11 - 4*q**2 + 20*q + 3*q**2. Is t(x) a prime number?
True
Let y = -29 + 570. Is y a composite number?
False
Let k be (-2)/6*(-25 - 2). Let f = k - -104. Is f a prime number?
True
Let i(u) = -4*u + 10. Let a be i(8). Suppose 6*y - y - 18 = s, 0 = 2*s + y + 3. Let c = s - a. Is c prime?
True
Let z = 475 + -211. Is 3/(4/(z/9)) composite?
True
Suppose -5*t = -a + 22, -13 + 1 = -3*t. Is a/(-4)*110/(-15) composite?
True
Let z be (-4)/14 + (-204)/(-28). Suppose -4 = -5*i + 3*t, 0 = 3*i - z*i + 3*t + 2. Is i/(-5) - 354/(-10) a prime number?
False
Suppose 2*w + m + 16 = 0, -w + 2*m + 41 = -6*w. Is 4/6 + (-291)/w a composite number?
True
Let t be 38/(-14) + (-4)/14. Let a be t/(-3*1/4). Suppose a*f + 2*b - 138 = 0, f + b + b - 33 = 0. Is f a composite number?
True
Suppose -4*w = -3*w - 5*k - 387, -367 = -w - 5*k. Is w a composite number?
True
Let g(l) = 4*l**2 + 9*l - 1. Let x(t) = -11*t**2 - 26*t + 2. Let m(b) = -8*g(b) - 3*x(b). Let n be m(-5). Is 37/(1/(-3)*n) prime?
True
Let t = -15 + 21. Is (-2)/3 - (-154)/t a prime number?
False
Suppose -18 = p - 2. Let y = p - -1. Is 3/y + (-46)/(-5) prime?
False
Suppose j + 4*j - 635 = 0. Is j a composite number?
False
Suppose 0 = -4*s - 0*s - 456. Let x = s - -241. Is x composite?
False
Suppose 0 = 2*n + 2*n - 764. Is n a composite number?
False
Let k(z) = z**3 + 2*z**2 - 5*z - 2. Let v be k(-3). Suppose -h - 16 = -3*a - 2*h, a = -v*h + 20. Is ((-2)/a)/((-8)/368) prime?
True
Let l be 1 + 0 - (2 - 0). Let u = l - -5. Let q(t) = t + 2. Is q(u) a prime number?
False
Let g(r) = -r**3 + 5*r**2 - 3*r - 1. Let i be g(4). Suppose 0 = -i*z + z + 838. Is z prime?
True
Suppose -5*x + 155 = -0*x. Suppose v - 4*b = b + 99, -5*v + 2*b = -426. Let w = v - x. Is w a composite number?
False
Let y(d) be the second derivative of -d - 1/2*d**2 + 1/3*d**3 + 0 + 11/6*d**4. Is y(3) a composite number?
True
Suppose 0 = 177*p - 172*p - 2645. Is p a composite number?
True
Suppose 27*i - 30*i = -213. Is i a prime number?
True
Let p(y) be the first derivative of -5*y**2 - 3*y - 1. Let s(h) = h - 9. Let j be s(5). Is p(j) a prime number?
True
Let d be 108/8*6/9. Let y = -5 + d. Suppose -y*v + 254 = -2*v. Is v prime?
True
Suppose 2*z = -0*z + 2*j + 8, -5*j - 4 = -z. Suppose 5*t - 573 = c - 202, -c = -z*t + 297. Is t composite?
True
Suppose -i = i - 4*y, -4*i + 5*y + 6 = 0. Is (-937)/(-5) - i/10 prime?
False
Let m = 13 + -8. Suppose d + 1 = -0*d, d = -m*i + 1054. Is i composite?
False
Suppose 2*m - 2 = -n + 2, n = 0. Suppose -5*z + z = -412. Suppose -5*u + 5*d = m*d - z, 20 = 5*d. Is u a prime number?
True
Let w(c) be the first derivative of -c**2 - c - 2. Let m be w(-3). Suppose -5*s - m = -190. Is s prime?
True
Is -1*((-3 - -3) + -2333) prime?
True
Let q be 38/4 + 1/(-2). Let y be (-4)/(-8) + q/(-2). Let k(p) = -9*p + 1. Is k(y) a composite number?
False
Let c(t) = -8*t**2 + 13*t + 3. Let n(w) = -w**3 - w - 1. Let g be 2*(-1 + (-3)/(-6)). Let d(a) = g*n(a) - c(a). Is d(-9) prime?
False
Suppose -5*j + 3155 = 3*m, -2*j + 631 = -j + 2*m. Is j prime?
True
Let p be -10 - (-3 + 8/2). Let f = 72 - p. Is f prime?
True
Let z(w) = 4*w**2 + 4*w + 6. Is z(13) prime?
False
Suppose 0*o - 1540 = -2*o. Let i = 445 - o. Let w = -228 - i. Is w composite?
False
Let m(y) = -2*y - 6. Let w be m(-5). Suppose 4*g + 2*v - 18 = 0, 33 = w*g + v - 4*v. Is g a prime number?
False
Let w(i) = i + 12. Let n be w(-9). Suppose -v = 2*u - 41, -n*u + 5*v + 5 = -37. Is u a prime number?
True
Suppose -38 = 5*y - 13, 5*d = -2*y + 100. Is d/2*(3 - 0) prime?
False
Let a = -294 - -613. Is a composite?
True
Let u(p) = 2*p**2 - 6*p - 7. Let l(j) = -j**2 - 8*j + 11. Let x be l(-10). Is u(x) prime?
False
Suppose 0 = 3*p + 5*r - 349, p = -0*p + 3*r + 135. Is p a prime number?
False
Let w = 3 - -5. Suppose 2*a = 4*a + w. Is 1/2 + (-74)/a a composite number?
False
Let g(b) = -b**3 - 8*b**2 + 2*b + 9. Let k be g(-8). Is 10/(-1)*k/2 prime?
False
Suppose 0 = 2*z + 3*z - 1055. Is z composite?
False
Suppose -w - 3*a = -2183, w - 4*a + 4358 = 3*w. Is w a prime number?
False
Let f be (-8)/(-6)*18/12. Let m be 283/f + 1/(-2). Let g = m + -83. Is g composite?
True
Suppose -4*z - 133 = 2*m - z, 4*z = -m - 64. Let b = 147 + m. Is b prime?
True
Let i be 73 + (4/1 - 1). Suppose y + i = 5*y. Is y composite?
False
Let t(x) = -38*x - 1. Let g(n) = -n**2 - 10*n - 11. Let o be g(-8). Suppose -o*d + 4*d - 1 = 0. Is t(d) prime?
True
Let m be (24 - 2)/((-2)/(-6)). Suppose -l + m = 4. Is l a composite number?
True
Suppose 3*n = -2*n + 4585. Is n composite?
True
Suppose 0*i - 2*i = 2*m - 118, 4*m = 3*i + 208. Is m composite?
True
Let q = 79 - 46. Let f = q + -22. Let u(p) = p**3 - 11*p**2 + 9*p - 8. Is u(f) a c