mber?
True
Let s(a) = -a**2 + a + 5. Let w be s(-5). Let f = w + 30. Let g(p) = 7*p**2 + 4*p - 18. Is g(f) a composite number?
True
Suppose -j = -0*j - 3. Suppose -2*a = -p - 7*a, 2*p = j*a. Is 16 - 12/(p + 4) prime?
True
Is (802 + -5)*(8 - 1) a composite number?
True
Is (-60550)/(-26) + (-86)/(-559) a composite number?
True
Let n(a) = -a**3 + 4*a**2 + 7*a - 7. Let w be n(5). Suppose -k - w*k + 1756 = 0. Is k prime?
True
Let n(g) = 77*g. Let m(w) = -1. Let s(l) = 2*m(l) + n(l). Let i be s(2). Let a = 391 - i. Is a a prime number?
True
Suppose -35 - 1 = -3*t. Let x(n) = -n + 24. Let l be x(t). Suppose 2*h + l = 78. Is h a composite number?
True
Let w = -2078 + 3465. Is w composite?
True
Suppose -72 = -10*h + 8. Let q be (-32)/10*(-5)/1. Is 474/h + (-4)/q a prime number?
True
Suppose t - 2*g - 11 = 0, 5*t - 7 = -g - g. Suppose -2*v = -v - 627. Suppose t*b = u - 4*u + v, 4*u - 203 = -b. Is b composite?
False
Let h = -445 + 945. Let l = -289 + h. Is l a composite number?
False
Let h(f) = 5303*f**2 + 4*f - 6. Is h(-1) composite?
True
Suppose 0 = 3*r + 6*a - a - 40, 5*r - 5*a = 40. Suppose -6*h + 4*h = -r. Suppose h*b = 4*f + 194, -192 = -3*b - 2*b + 2*f. Is b a prime number?
False
Let d = -17 + 28. Let r(y) = -y**3 - 3*y - 7*y + d*y**2 + 3*y**3 - 3*y**3 + 7. Is r(9) a prime number?
True
Is ((66/(-18))/1)/((-4)/20316) a composite number?
True
Let x(d) = d**2 + 3*d - 4. Let u be x(-4). Suppose 2*r = -2*f + 270, 0*f - f - 5*r + 139 = u. Let o = 57 + f. Is o a prime number?
True
Let h(y) be the first derivative of -215*y**2 - 19*y - 27. Is h(-7) composite?
True
Suppose 4*w - 281701 = -3*w. Suppose -3*b - 4*b = -w. Is b a prime number?
True
Suppose -2*f + 61221 = 4*n - 3*f, 2*n - 3*f = 30613. Is n a composite number?
True
Let k(b) = 8411*b - 4. Let h be k(3). Suppose -h + 1784 = -9*f. Is f a prime number?
False
Suppose 3*b - 2166 = -3*d, b - 1484 - 1416 = -4*d. Suppose 0 = n - 4*x - d, -3*x = -3*n - 0*n + 2223. Is n a prime number?
False
Let z be 102/12 - 3/(-6). Let i = 44 + z. Is i composite?
False
Suppose -2*u + 14140 = 2*y, -2*u - 21211 = -5*u - 4*y. Is u composite?
False
Suppose d - 11 = 2*b, -5*d + 3 + 28 = -4*b. Suppose 9*n - d*n = 276. Is n a prime number?
False
Suppose -4*w = 5*c - 33106, -36 = -2*c - 40. Is w a prime number?
False
Let x(m) = -13*m**2 + 2*m + 1. Let z be x(-1). Let d = 88 + z. Is d prime?
False
Suppose 0 = -4*b + 13 + 7. Suppose b*q + 4*c = 425, 0 = 2*q - 4*c - 59 - 139. Is q composite?
False
Let z(p) = 90*p**3 + 1. Let h be z(1). Suppose 4*w - h - 121 = 0. Is 1*w - (5 + -5) prime?
True
Suppose -2*a - u + 185538 = 0, -4*u - 70104 = -2*a + 115414. Is a a prime number?
True
Suppose 4*o = -0*o + 28. Suppose i + 2 = 2*b, -o - 7 = -2*i - 5*b. Suppose i*t = -h + 7*t + 64, 0 = 5*t + 5. Is h a composite number?
False
Suppose 0 = 8*h - 45924 - 1033652. Is h a prime number?
True
Suppose -4*i - 3*g + 21041 = 0, -g = 3*i + 3*g - 15779. Is i a prime number?
True
Suppose -5*y = -4*y - 3*i - 34, -2*i = -2*y + 80. Is y a composite number?
False
Let i(z) = -6*z**3 - z + 10. Let s(o) = -6*o**3 + 9. Let m(r) = 2*i(r) - 3*s(r). Is m(3) composite?
False
Is (-1)/((-7)/54495) - -4 prime?
True
Let z be 554/22 - 2/11. Suppose 139 = 26*l - z*l. Is l a composite number?
False
Let s(m) = 169*m**2 + 22*m - 277. Is s(10) prime?
True
Let l = 391 - -1963. Suppose 3*k - l - 385 = 0. Is k a prime number?
False
Let u(o) = 2*o**2 - 4*o. Let z be 1 + (-1)/1 + 3. Let y be u(z). Suppose 2366 = y*r - 436. Is r prime?
True
Let i(d) = d**3 - 2*d**2 + d + 1. Let j(t) = 3*t - 4. Let f be j(2). Let h be i(f). Suppose 0 = h*y - 5*m - 19, -8 = 2*y - 4*y + m. Is y prime?
True
Suppose -19*g + 50*g - 21793 = 0. Is g prime?
False
Suppose 204*z - 203*z = r + 29850, 2*z - 4*r = 59698. Is z prime?
True
Is (-37968)/(15/(-5)) - -3 a prime number?
True
Is ((-11236)/(-1))/(-13 - -17) a prime number?
False
Let q(b) = 768*b**2 - 7*b + 5. Is q(2) a prime number?
False
Let f = -2078 - -4071. Is f a composite number?
False
Suppose -i + 4*l + 7469 = 0, 2*l + 7493 = i + 6*l. Is i composite?
False
Suppose 3033 + 20309 = 4*c - 5*r, 3*r + 6 = 0. Is c a composite number?
True
Suppose 13*f - 7*f - 22974 = 0. Is f composite?
True
Suppose 3*k - 3319352 = -65*k. Is k composite?
True
Let m = -2477 + 4438. Is m a composite number?
True
Suppose 2*m = 5*u + 18, -3*m + 10 = 3*u - 2*u. Is 8/(-16)*10964/u composite?
False
Suppose j - 2*l + 16 = 4*j, -16 = 2*j - 4*l. Suppose 4 = j*s, -y + 0*s = -s - 113. Is y a composite number?
True
Let c(u) = 9*u**2 + 14*u + 29. Let j be c(-10). Let x = 7696 - j. Is x a prime number?
True
Suppose -m + 5*m = 0. Suppose s = 3*h - m*h + 5, -3*s = 2*h - 15. Suppose -4*r - 5*d + 869 = h, -3*r - 2*d = 19 - 662. Is r composite?
False
Let i(s) = -174*s**3 + s**2 + 1. Suppose 4*m - 12*m - 16 = 0. Is i(m) a composite number?
True
Suppose 0 = 3*j - 2*o - 4, j - 4*o = -3*j. Suppose -j*n = 2*y - 138, y - 57 = -0*y + 4*n. Is y prime?
False
Let v be 6/(-39) - (-66824)/26. Suppose -l - 4*l + 4*s + v = 0, -5*l - s = -2570. Is l composite?
True
Suppose n = 984 - 311. Is n prime?
True
Suppose 39*b - 20*b = 393319. Is b a composite number?
True
Let a(h) = 227*h**2 + 4*h + 19. Let n be a(6). Suppose -l = -6*l + n. Is l a composite number?
True
Let s = -40 + 40. Suppose s = 36*j - 33*j - 699. Is j a composite number?
False
Is -2 + 9936/2 + (-12)/(-4) composite?
False
Let i be (-4 - (1 - 4))/1. Let b = 4 - i. Suppose n + 5*s - 211 = 0, b*s + 83 = 4*n - 661. Is n prime?
True
Let y = 213389 - 108700. Is y a prime number?
False
Let p = 40 + -36. Suppose 631 = p*v - 2365. Is v a composite number?
True
Let i(s) = 3*s - 117. Let h(c) = -4*c + 118. Let o(n) = -4*h(n) - 5*i(n). Suppose -3*g + 3*d + 3 = 0, g + 5 = -0*g - 5*d. Is o(g) a prime number?
True
Let x(z) = -20*z + 3. Let k be x(-3). Suppose t - 81 - 33 = 0. Let u = t - k. Is u prime?
False
Let c(g) = -g + 2. Let s be c(1). Is 359*(s - 0/(-5)) composite?
False
Let p(s) be the first derivative of 70*s**3/3 - 4*s**2 + 7*s - 6. Is p(2) a composite number?
False
Let s(f) = 3*f**2 - 9*f + 5. Let k(p) be the first derivative of p**4/4 - p**3/3 + p**2/2 + 6*p - 5. Let u be k(0). Is s(u) prime?
True
Let g be (1 + 0 + 7)/2. Let x(w) = 9*w**2 + 3*w - 1. Is x(g) a composite number?
True
Suppose 6076 + 443 = 2*h - r, -2*h + 6520 = -2*r. Is h a composite number?
False
Let w be (4 - -6 - 1) + 0. Let d = 50 - w. Let q = 78 - d. Is q a composite number?
False
Let c = -42 - -50. Is 1557 - (-9)/(-6)*c/(-6) a prime number?
True
Let c = -13337 + 19342. Is c composite?
True
Let f(d) = 97*d**3 - 5*d**2 + 2*d + 2. Let j be f(3). Let i = 3808 - j. Is i composite?
True
Suppose -9488 = -j - z + 2*z, -j + 9491 = 2*z. Is j prime?
False
Let l(h) = 3354*h - 55. Is l(3) composite?
False
Suppose -9*n = -12*n + 381. Is n a composite number?
False
Suppose 237063 = 14*u + 63673. Is u composite?
True
Let i be 2/(-2)*(5316/(-4) - 4). Suppose 3*n + 0*n + 2*c = i, -2*n + 2*c + 882 = 0. Is n prime?
True
Is 42/147 + (-24258)/(-14) prime?
True
Let q(m) = 6*m**2 - 21*m - 44. Is q(21) composite?
False
Let j = -305 - -309. Suppose 5*h = -4*c - 5, 3 = -2*h + c + 14. Suppose 2 = -2*y + j*y, h*r = y + 248. Is r a composite number?
False
Suppose -g = -4*d - 15, -1 - 2 = -5*g - 4*d. Suppose -4*l = -2*o - 3*o + 11657, -g*l = -o + 2338. Is o a composite number?
True
Let i = -12312 + 22571. Is i a prime number?
True
Let k(u) = 24*u + 11. Is k(26) a prime number?
False
Let l be 3078/216*3/(18/(-368)). Let c = 1547 + l. Is c composite?
False
Is (-1861)/((-3)/12*4) a prime number?
True
Suppose -8*r + 4*r + 652 = 0. Let p be (0 - -218)*3 - -1. Suppose p = 2*v - r. Is v a composite number?
False
Let j be 78/30 - (-6)/(-10). Suppose 1403 = j*w - c, -3*c - 603 = -4*w + 2204. Is w prime?
True
Let y be 756/4 + (-20)/5. Suppose -y = 2*i - 1015. Is i a prime number?
False
Let k(x) = 37*x**2 + x - 4 + 5 + 636*x**2. Let h be ((2 - -1) + -5)/(-2 + 4). Is k(h) a composite number?
False
Suppose 0 = -14*b + 13*b - 1006. Let o = b - -1463. Is o prime?
True
Let j(c) = -3*c**3 + c**2 + 1. Let i(a) = -4*a**3 + 2*a**2 - a + 2. Let x(g) = -2*i(g) + 3*j(g). Let y be x(-2). Is y/2*(1 + -31) composite?
True
Let y = 527 - 332. Let i(c) = -3*c - 3. Let b be i(-3). Suppose 9*h - b*h = y. Is h composite?
True
Let b be ((-