0909. Is m a composite number?
True
Suppose 0*m + 15 = -5*m, -5*m = -2*v + 6053. Is v prime?
True
Let m(l) = 14*l**2 - 209*l - 38. Is m(-27) prime?
False
Let u(o) = o**2 - 7*o**2 - 3 + 0 - 5*o + 5*o**2. Let x be u(-3). Suppose -g = x*g - 1436. Is g a composite number?
False
Let z be (33/(-22))/(-3*2/16). Suppose b - 279 = -0*b - 4*m, -z*b = -3*m - 1021. Is b a prime number?
False
Let o = 8 + 393. Let p = o + -136. Suppose 5*c - p = 1630. Is c a composite number?
False
Let k(j) = -11*j**2 + 13*j - 24. Let l(y) = -5*y**2 + 6*y - 12. Let g(d) = 4*k(d) - 9*l(d). Let c(u) = -u**3 - 4*u**2 + 6*u - 6. Let t be c(-5). Is g(t) prime?
False
Let a(g) = 69*g**2 + 5*g + 9. Is a(5) a composite number?
False
Suppose 9984 = 8*k + 648. Is k a composite number?
True
Let r(q) be the first derivative of -1/2*q**2 - 5 + 5/3*q**3 + 3*q. Is r(5) a prime number?
False
Let j(c) be the second derivative of -c**3/6 - 6*c**2 - 4*c. Let g be j(-10). Is 3 - (-45 - (g - -3)) a prime number?
False
Let n(j) = -j**3 - 12*j**2 - 5*j + 9. Let l(m) be the second derivative of -m**5/20 - 11*m**4/12 + 13*m**3/6 - 6*m. Let p be l(-12). Is n(p) composite?
True
Let x(i) = i + 4. Let u be x(-5). Suppose -14*h - 5 = -19*h. Is -3 + 374 + h + u prime?
False
Let p = 37080 - 13997. Is p a prime number?
False
Let l = 25 - 28. Suppose -d = -2*d + 1. Is (91 - -3 - l)*d a composite number?
False
Let f(c) = 18*c + 187. Is f(31) composite?
True
Let r be 10/((-1)/(-3)*(-30)/20). Let f(w) = w**2 - 3*w + 25. Is f(r) composite?
True
Let y be (-4)/(-5) - (-6)/5. Suppose 3*o + 277 = y*w + 2015, -w + 2875 = 5*o. Let h = -247 + o. Is h composite?
True
Suppose 5*t = t - 2*x, 5*t - 2*x = -18. Let v be 128*(t + 1 - -2). Suppose 2*g + 5*s - v = 0, -4*s - 303 = -5*g - 8*s. Is g composite?
False
Suppose 4*x + 19 = 6*i - i, -3*x = i. Suppose i*g = g + 5218. Is g composite?
False
Let d = 37 - 6. Let a be 858/3 - (1 + -3 + 0). Let t = a - d. Is t a composite number?
False
Let n(l) = 869*l**2 - 21*l + 59. Is n(8) composite?
True
Suppose 8067 = 3*s - 2160. Is s a prime number?
False
Let j(d) = d**3 - 30*d**2 + 40*d + 21. Is j(38) a prime number?
True
Is (-24)/(-6) + (-30552)/(-4) a prime number?
False
Suppose 3*s - 4*t - 2299 = 0, 3*s - 4*s - 2*t = -753. Is s composite?
False
Let y be 5904/96*(-13)/(-2)*12. Let l = y - 2294. Is l a prime number?
True
Suppose 4*c = -5*r - 0*c + 47, 0 = -2*r - 3*c + 16. Let y(s) = -8*s - 2*s - 27*s**2 + s - 13 + 30*s**2. Is y(r) a prime number?
True
Is (133/(-21) - -7)*(-170490)/(-4) a prime number?
False
Let b be 75*15*4/18. Let o = b - 13. Is o a composite number?
True
Let h(o) be the third derivative of o**6/40 - o**5/30 + o**4/8 - o**3/2 + o**2. Suppose w = -9*w + 20. Is h(w) prime?
True
Suppose 5*f - 4 - 26 = 0. Let b(s) be the second derivative of s**4/4 + s**3/2 - 15*s**2/2 + s - 5. Is b(f) composite?
True
Suppose -3486 = -11*f + 63383. Is f a composite number?
False
Let m = 68 - -654. Let o = m + -243. Is o a prime number?
True
Let p = -6393 + 10784. Is p composite?
False
Let v be 123*2/18*24. Suppose 3*o - 641 = v. Is o composite?
True
Let u(f) = 7202*f - 103. Is u(3) prime?
True
Let a = -44 - -94. Suppose -4*t - a - 1610 = -4*g, 0 = 4*g + t - 1680. Is g composite?
False
Let d be ((-1335)/(-6))/((-5)/50). Let c = d + 3414. Is c composite?
True
Suppose -5*f - 22*c + 24*c = -135725, 3*c = 5*f - 135730. Is f composite?
False
Let j(b) be the first derivative of -79*b**2/2 + 4. Suppose -5 = 4*p + 15. Is j(p) a prime number?
False
Let k = -160 + 1143. Is k a prime number?
True
Suppose 4749 = k - j - 6083, 0 = 4*k - j - 43316. Suppose 3*z = 7*z - k. Is z a composite number?
False
Let x = -191 - -318. Is x prime?
True
Suppose s - 1428 = 2*w, -s - 2868 = 4*w + 3*s. Let t = -448 - w. Is t a composite number?
True
Let k(o) = -o**2 + 4*o + 7. Let f be k(5). Let h be (-1)/f*(-3 - -3). Suppose 3*t + 5*y - 517 = h, -2*t + y + 340 = 2*y. Is t prime?
False
Let d(l) = -588*l**3 - 3*l**2 - 14*l + 2. Is d(-5) prime?
False
Let i be (-4)/(-10)*(9 + 1). Suppose 3*w + 263 = s + s, 270 = 2*s + i*w. Let f = 688 + s. Is f composite?
False
Let x(s) = 146*s**3 + 16 + 5*s**2 - 4*s - 2*s**2 - 13. Let v be x(2). Suppose 0*d = -4*d - u + v, -2*u = 2*d - 592. Is d a prime number?
True
Suppose -3*m = 3*d - 30, -4*m + 7*m = -5*d + 38. Suppose 869 = -m*n + 2711. Is n composite?
False
Suppose 36*c - 82010 = 172906. Is c prime?
False
Let l be (-1 + 2)/((-5 - -3) + 3). Is (199/4)/(l/4) - -2 a prime number?
False
Let i(j) = -514*j + 165. Is i(-10) prime?
False
Let u = 28978 + -11423. Is u a composite number?
True
Let i(n) = -n + 1. Let x(s) = -2*s + 7. Let d(g) = -3*i(g) + x(g). Let f be d(-3). Suppose -120 = -j - f. Is j prime?
False
Let j = -27 + 25. Is (-1015)/(-15) - j/(-3) a prime number?
True
Let v(z) = -z**2 - 1. Let u(q) = -3*q**2 + 5*q - 5. Let y(s) = -u(s) - 2*v(s). Let o = -7 + 1. Is y(o) composite?
True
Let l(f) = f**3 + 9*f**2 + 7*f - 6. Let k be l(-7). Suppose 77 = -2*z - 5*n, -4*z - 105 = -z + 4*n. Let g = k - z. Is g a prime number?
False
Suppose -4*t + 26 = -4*q + 2, -t + 4 = q. Suppose -10 = t*s - 0*s. Is (s/(-3))/((-10)/(-3795)) prime?
False
Let i(p) be the second derivative of p**4/12 - p**3 + 3*p**2/2 + 4*p. Let l be i(7). Let x(z) = 71*z + 3. Is x(l) prime?
False
Let d(b) = 2*b**3 + 11*b**2 + 14*b - 19. Let q(u) = -u**3 - 11*u**2 - 15*u + 19. Let o(w) = -2*d(w) - 3*q(w). Is o(6) composite?
False
Let n be (-33)/(-22)*1*218/3. Let w(z) = 29*z + 2. Let l be w(-2). Let h = l + n. Is h composite?
False
Let v(h) = 8*h + 2. Let t be v(1). Let j be 22/(-55) + (-66)/t. Is (-1269)/j + (-16)/56 prime?
True
Let r = -1 + 5. Let a(b) be the third derivative of b**5/20 - b**4/8 - b**3/3 + 8*b**2. Is a(r) a composite number?
True
Let c(u) = 21*u**2 - 8*u + 68. Is c(15) a prime number?
True
Let b(p) = -p**3 - 5*p**2 + 7*p - 10. Suppose 4*o + 15 = z + 3, -4*z - o - 20 = 0. Let n be (-3)/(-4) + 31/z. Is b(n) composite?
True
Let g be ((-1)/3)/(4/(-12)). Let b(x) = 436*x**2 - x. Let i be b(g). Suppose 6*n = n + i. Is n a composite number?
True
Let s(q) = -3*q**2 - 2*q + 3. Let z be s(-15). Let j = 2573 + z. Is j prime?
True
Let a = -92 - -88. Is (2/(12/(-8247)))/(2/a) a prime number?
True
Let c(b) = 11*b**2 + 28*b + 13. Is c(-22) a composite number?
False
Let y be (25/3)/(2/6). Suppose y = -5*x, x = 3*z - 3*x - 899. Is z prime?
True
Let x = 121 + 150. Suppose -3*f = -x - 200. Is f a composite number?
False
Suppose c - 2*x = 165 + 3201, 4*x = -4*c + 13464. Suppose 5*q - z - c = 0, 0*q + 2696 = 4*q - 4*z. Is q composite?
False
Suppose 28 = p - f, -2*p + 2*f = 6*f - 68. Suppose p*u - 16475 = 25*u. Is u a prime number?
False
Let a(y) = y**2 - 4*y - 15. Let i be a(7). Suppose 0 = t - i + 4. Is t/7 + (-15029)/(-49) prime?
True
Let i = -21 - -1016. Suppose -9*q = -i - 4. Is q prime?
False
Suppose 21*m - 18*m = 28473. Is m prime?
True
Suppose 2*b - 81987 = -26969. Is b a prime number?
True
Let d(v) = 3*v - 9. Let w be d(4). Let i(c) = c**2 - 4*c + 3. Let x be i(w). Let r(a) = -2*a**2 - a + 211. Is r(x) composite?
False
Let q(b) = -b. Let n(g) = -212*g**3 + 2*g**2 + g. Let a(h) = -n(h) - 2*q(h). Is a(1) prime?
True
Let f(q) = -25*q**3 + 3*q - 2. Let z be f(2). Suppose -3*r = -2*i + 1510, 2*i - 1494 = -0*r - r. Let p = z + i. Is p a composite number?
True
Let h = -606 - -1285. Is h prime?
False
Let o(b) be the second derivative of b**3/2 - 7*b**2 + 3*b. Let p(g) = -8*g + 43. Let u(j) = 11*o(j) + 4*p(j). Is u(-8) a composite number?
True
Let s(u) = 6*u - 9. Let r be s(8). Let x = -21 + r. Suppose 5*w = 3*p + 16, 4*w - 4*p = -w + x. Is w a composite number?
False
Let r(g) = g**3 - 6*g**2 - 8*g + 3. Let u be r(7). Is 4/u + -1 + 679 a prime number?
True
Let v(t) = -t**3 - t + 3977. Is v(0) a composite number?
True
Let b be (-8)/12 + (-55)/(-15). Is 15/9 - (-4501)/b a prime number?
False
Let h(o) = 5*o**2 - 7*o**3 - 8 - o + 1 + 8*o**3 + 2*o**2. Let g be h(-7). Suppose -2*p + p + 9 = g. Is p a prime number?
False
Let v(r) = -43*r - 7. Let x be v(-9). Let l = x + -19. Is l a prime number?
False
Let l = 9839 - 4578. Is l a composite number?
False
Suppose 4899 = 5*j - 3296. Suppose 4*g + 3*r - j = 0, -1228 = -g - 2*g - r. Is g composite?
False
Let t = 10 + -7. Let g be -2 + (-1 + t - -2). Suppose 0*m = g*y + 5*m - 133, -3 = m. 