c(h) = -d(h) + 6*n(h). Let u be c(5). Let f = 7 + u. Is f composite?
True
Let l(v) = 2*v + 238. Let x be l(0). Suppose 2*y = 4*h + x, -4*y + 5*y - 123 = h. Is y prime?
True
Let c = 115 - -150. Is c prime?
False
Suppose -5*z + 6*z = 20. Let o = -169 - -249. Suppose o + z = 4*s. Is s composite?
True
Let z(r) = -r + 3 + 2*r + 0. Let i be z(3). Let y(g) = g**3 - 3*g**2 - 8*g - 5. Is y(i) prime?
False
Let g(x) be the third derivative of -1/2*x**3 + x**2 + 1/12*x**4 + 0*x + 1/12*x**5 + 0. Is g(2) prime?
False
Let n = 11 - 15. Suppose -f - 3*h + 6 = 0, 4*f - 24 = -3*h - 0*h. Is (-42)/4*n/f composite?
False
Let j(y) = 11*y**2 + 9*y - 1. Is j(-8) a prime number?
True
Let x = 9 + -7. Suppose -2*j = f - 95, -j = 2*f + x*f - 37. Is j a prime number?
False
Let f = 249 + 778. Is f prime?
False
Suppose -u + 0*u = -2. Let n(s) = 204*s + 1. Is n(u) a prime number?
True
Let o(m) = 15*m**2 + 3*m + 9. Is o(8) composite?
True
Let p = 17 - 12. Let l(g) = 3*g. Let b be l(1). Suppose p*a + 650 = 3*o, -b*o - 2*a + 1073 = 2*o. Is o prime?
False
Let m(i) = 10*i - 5. Suppose 2*t + 4*f + 0*f = -8, -12 = -3*t + 2*f. Let u be (-9)/1*(1 - t). Is m(u) a prime number?
False
Suppose -2*z + 5*b + 6550 = 0, z - 3253 = -0*z - 3*b. Is z a composite number?
True
Let m be (56/10)/(6/60). Suppose -a - m = -5*a. Suppose 5*z = -4*x + 22, 0 = -2*x - 4*z + a. Is x a composite number?
False
Suppose 5*i + 2512 = -868. Let t = i + 1223. Is t a prime number?
True
Let p = 545 - 383. Let u = 291 - p. Is u a prime number?
False
Suppose 2*w - 36 = 302. Suppose -5*u - 1624 = -3*k, 0 = -k - 4*u + 344 + w. Is k prime?
False
Suppose -5*q + 24 = 4*m - 3*q, 4*m - 3*q = 24. Let t = m + 8. Suppose -2*f + 0*f = -t. Is f prime?
True
Let g(k) = 8*k**2 - 5*k - 4. Let o(l) = -l**3 + 2*l**2 + 3. Let z be o(3). Is g(z) composite?
True
Suppose -d - 4*x + 237 = 0, 4 = 4*x - 0. Is d a prime number?
True
Suppose 2*b - 5*b + 96 = 0. Suppose -2*v = 4 - b. Is v a composite number?
True
Suppose 0 = 2*m - 5*m. Suppose m = 4*g - 10*g + 306. Is g prime?
False
Suppose 0 = -5*j + 25, 5*d - 184 = 5*j + 686. Is d composite?
False
Let p(o) = -o + 10. Let f be p(0). Is ((-15)/(-25))/(1/f) a composite number?
True
Suppose -l - 3*j = 3*l - 11, j + 8 = l. Let d = 44 + l. Is d composite?
True
Let b(n) = n + 23. Let o(w) be the third derivative of -w**4/12 - 23*w**3/3 + w**2. Let v(m) = -5*b(m) - 3*o(m). Is v(0) composite?
False
Let j = 24 - 14. Suppose 0 = -3*k + 2 + j. Suppose -394 = -4*f + 2*v, k*v = 2*f + f - 303. Is f a composite number?
False
Let g = -342 + 481. Is g prime?
True
Let j(y) be the second derivative of 39*y**5/10 - y**4/6 + y**3/3 - y**2/2 + 3*y. Is j(1) a composite number?
True
Suppose y - 1 = 0, -3*q + 3*y = 6*y - 258. Is q a composite number?
True
Let f = -71 - -11. Suppose 3*c = -4*j + 361, 2*j + 178 = 4*j + 4*c. Let s = j + f. Is s composite?
False
Suppose -4*x + 226 = 4*f + 58, 3*x = f + 106. Is x composite?
False
Suppose -3*y + 2*w = 2*y - 736, -2*y + 301 = -3*w. Let r = -77 + y. Is r prime?
False
Let k be 0 - (3 - 2 - 4). Suppose w + 5*f = 63, -f = 2*w - 35 - 46. Suppose -k*a = -55 - w. Is a a composite number?
False
Let q(o) = o**3 + 10*o**2 - 9*o - 19. Is q(-10) a prime number?
True
Suppose 2*d - 443 = -3*s, -7*d + 9*d = -5*s + 441. Is d prime?
True
Let a(s) = s - 5. Let j be a(8). Suppose g - j*q - 1 - 3 = 0, 0 = 2*q. Suppose -f + g*u - 53 = -4*f, -41 = -2*f + 3*u. Is f prime?
True
Suppose -z - z = 3*o - 12, 3*z - 4*o + 16 = 0. Suppose z = -5*k + k + 652. Is k prime?
True
Suppose 2*z = d - z - 896, 4441 = 5*d - 2*z. Is d a prime number?
True
Suppose i - 402 - 101 = 0. Is i a composite number?
False
Let c be (2/(-6))/(2/(-24)). Suppose -c*b + 1460 = 2*g, 0 = 3*b + 4*g + g - 1081. Is b composite?
False
Suppose 0 = b, x + 4*x - 20 = b. Let n(i) = 3*i**3 + i**2 - 5. Is n(x) composite?
True
Let b be (2/6)/(1/9). Let x be (b - 0)/(-2 - -1). Let o = 8 - x. Is o prime?
True
Let n be (-8)/(-2)*15/20. Suppose -n*v - 5*y = -3*y - 53, -5*y - 105 = -5*v. Is v composite?
False
Let d = -8 - -8. Suppose -5*z = -d*z - 175. Is z composite?
True
Suppose -13633 = -4*b + 3*j, -4*b + 3*j - 17048 = -9*b. Is b a composite number?
True
Suppose 3*y = 4*a + 4687, 6*y + 6246 = 10*y - 2*a. Is y prime?
False
Is (-2 - 609/(-6))/((-1)/(-2)) composite?
False
Suppose 2*l + 3047 = -3*u + 512, -u = 1. Suppose 0 = 2*k + i - 26, 5*k - 4*i - 111 = -20. Is l/(-10) - (-6)/k prime?
True
Is 2 + (3*51)/3 a prime number?
True
Suppose 0 = 2*g, -2*m - 3*g = 6 + 10. Let u = 11 + m. Suppose -3*p + 12 = 0, 4*d - u*p = d + 93. Is d composite?
True
Suppose 0*q + w + 40 = 2*q, 5*q = -5*w + 130. Suppose 2*g - 2*y - q = -0*g, 0 = 2*y + 2. Is g composite?
True
Let s be (-66)/7 + 3/7. Let a = s - -13. Suppose -7*b = -a*b - 33. Is b composite?
False
Suppose -v - 7 - 16 = -4*n, 13 = -n + 4*v. Suppose 3*o - n*o + 872 = 0. Is o a composite number?
True
Let u(m) = 19*m**2 - 2*m. Is u(-5) composite?
True
Suppose 0 = 2*u + 2103 - 255. Is u/(-8)*6/9 a prime number?
False
Is (-2)/(-3) - 22330/(-30) a composite number?
True
Let f(v) = v - 1. Suppose 0 = -s - 3*s. Let u be f(s). Is 0 - (-66)/(-3)*u a prime number?
False
Let a be (-154)/8*(-12)/3. Let t = -40 + a. Is t a composite number?
False
Suppose x - 6*x = f - 2434, 0 = x + 4*f - 483. Is x prime?
True
Is 95/(-10)*-26*1 a composite number?
True
Suppose -5*q - 40 + 14 = -3*a, 3*q + 4 = -4*a. Is 2069/4 - q/(-16) composite?
True
Let y be (-18)/(-4) + 4/(-8). Suppose -y*d + 6 = q, -d - 3*d + 2 = -q. Suppose q*k = -4*m + 174, -5*k + 3*m + 102 + 268 = 0. Is k a composite number?
True
Let l be (-1 - 1) + -3 + 9. Suppose l*s - 1175 = -s. Suppose 0*r + s = 5*p + 5*r, 0 = -3*p - 5*r + 137. Is p a composite number?
True
Is 4/(-6) - -1 - (-5516)/21 a prime number?
True
Let l(a) = -18*a**2 + a + 1. Let t be l(-1). Let b be 3/(-2)*(-12)/t. Is (2 + b)/(1/35) composite?
True
Let o = 20 + -14. Let q = 1 + o. Is q a prime number?
True
Let w = -18 - -22. Suppose 0*u + 5*u = 0, -w*p + 260 = u. Is p a prime number?
False
Suppose 0 = 3*c - 275 - 169. Suppose -c = -3*z + z. Is z composite?
True
Suppose 0 = -4*r + 2*r + 354. Let u = r + -124. Is u a prime number?
True
Let k(l) = -l**3 + l**2 + 1. Let q(i) = 111*i**3 - 9*i**2 - 7*i - 5. Let w(f) = -6*k(f) - q(f). Let z be w(5). Is z/(-72) - (-4)/18 a prime number?
True
Suppose -183 = -3*j + 54. Is j prime?
True
Let a be -2*(-3)/(-6)*-2. Suppose 0 = a*o - 14 - 34. Let b = o + -14. Is b a composite number?
True
Let m = -4 + 6. Let t be ((-1)/m)/((-1)/82). Suppose t = 5*x - 354. Is x a prime number?
True
Suppose 0 = 4*k + 3 + 1. Let s be (-1 - k)/(-2 + 4). Suppose s = t - 2*p - 39, 2*t - 3*t - 3*p = -64. Is t composite?
True
Suppose j = 5*j + 5*b - 504, 5*j - 613 = -2*b. Is j prime?
False
Let o(i) be the third derivative of i**6/120 + i**5/6 - 7*i**4/12 - 11*i**3/6 + 2*i**2. Is o(-11) a prime number?
False
Let x(t) = t + 6. Let r be x(-4). Suppose -3 - 5 = r*z + 3*i, -2*z = -i + 8. Let f(s) = -18*s - 5. Is f(z) prime?
True
Suppose 0 = 2*g + 3 + 1, -3*g + 381 = 3*l. Let o = l - 74. Is o a prime number?
False
Suppose -24*o = -19*o - 5815. Is o a composite number?
False
Let d(q) = 13*q - 6. Let r(m) = m - 1. Let c be r(8). Let w be d(c). Let f = w + -59. Is f prime?
False
Let u = -417 - -1928. Is u prime?
True
Let f(k) = 39*k**2 + 1. Let s(q) = -q. Let u(x) = f(x) - 2*s(x). Is u(2) a prime number?
False
Suppose 5*d - 5*c - 1535 = 0, -5*d = -c - c - 1529. Suppose a = 4*u + d, a + 0*u - 290 = -u. Is a prime?
True
Is -1 - (0 + 4)*526/(-8) a composite number?
True
Let w(n) = 47*n**2 + 6*n - 11*n - 4 + 1. Let u(b) = -141*b**2 + 14*b + 8. Let x(r) = -4*u(r) - 11*w(r). Is x(-2) a composite number?
False
Let k = 50 - 40. Is k prime?
False
Let r(w) be the second derivative of 119*w**4/12 + w**3/6 + w**2/2 - 3*w. Is r(-1) a prime number?
False
Suppose -4*l - 17 = 4*s - 65, -5*s = -5*l - 110. Suppose -3*x + 109 + s = 0. Let b = -23 + x. Is b a prime number?
True
Let z(h) = -11*h - 7. Let i be z(-6). Let j = -29 + i. Suppose -2*f - j = -5*f. Is f a composite number?
True
Suppose -5*i = -2*k + 3*k - 23, 2*i - 2*k - 2 = 0. Suppose -497 = -i*z + 4*l + 247, -5*z - 4*l + 975 = 0. Is z a prime number?
True
Let p(g) = g**2 - 2*g + 2. Suppose 5*v - 4*i + 51 = 0, -v = -0*v + 5*i - 13. Let d = 0 - v. Is p(d) a co