 a prime number?
False
Suppose 48113 + 9049 = 42*u. Is u composite?
False
Let j(f) = -149*f + 30. Is j(-7) prime?
False
Suppose -1540785 + 6278 = -13*c. Is c prime?
False
Let p(j) be the first derivative of -j**4/4 + 16*j**3/3 - 6*j**2 - 13*j + 1. Let o = 31 - 19. Is p(o) composite?
False
Let z = 6503 + -1596. Is z prime?
False
Let h(v) = 5*v - 21. Let z be h(6). Is (36492/(-16))/(z/(-12)) composite?
False
Suppose 2*k + 5*z - 11*z - 34100 = 0, 0 = -2*k + 4*z + 34098. Is k composite?
False
Let d be 0 - 2/6 - 5404/(-21). Let g = 1668 - d. Is g prime?
False
Let d = 10 + -20. Let r(v) = v + 10. Let x be r(d). Suppose -2*y + 2*l - 7*l = -1458, y + 4*l - 723 = x. Is y prime?
True
Suppose 0 = -8*a + 4*a + 16. Suppose 0 = 5*t + 5*s - 11790, 3268 + 6169 = a*t - s. Is t composite?
True
Let x = 30 + 57. Suppose 292 - x = s. Is s a composite number?
True
Let g(v) = 2470*v**2 + 14*v - 11. Is g(-3) a prime number?
False
Let q(j) = 12*j**2 + j - 5. Let u be q(-4). Suppose -t + 2 = -u. Is t prime?
False
Let q(j) be the first derivative of 14*j**3/3 + 2*j**2 - 7*j + 2. Let z be q(-6). Suppose m - z = -3*r, 3*m - 3*r - 1849 = -454. Is m composite?
False
Suppose -3*i - 5 = -2*c, -5*i - 23 = -0*i + 4*c. Is (-1520)/(-12) - 1/i prime?
True
Suppose 28*s + 50672 = 273580. Is s composite?
True
Suppose -2*b - a - 18 = 0, 2*b - 18 = 4*b + 2*a. Let m = 13 + b. Suppose 1816 = -m*n + 4788. Is n composite?
False
Suppose -2*l + f = -5881, -4*l + 5829 + 5930 = -f. Is l a composite number?
False
Suppose 0 = 13*i - 28633 + 6455. Is i a prime number?
False
Suppose 0*w + 3*w + 4*n - 10 = 0, 4*w = n - 12. Is -2*(-4 + 169/w) a prime number?
False
Let f(a) = -3*a**3 - 51*a**2 + a + 65. Is f(-22) a composite number?
True
Let w = 17991 - 11454. Is w prime?
False
Suppose -4*q + 2406 = -4*w + q, 3*q = 5*w + 3014. Is (w/(-12) + -3)*39/2 composite?
True
Suppose 9*g - 6*g + 2682 = 0. Is (g/12)/((-1)/2) composite?
False
Suppose -3801 = -l - 5*r + 2036, 3*l - 5*r = 17511. Is l a composite number?
True
Suppose 33*u = -77*u + 2160950. Is u a composite number?
True
Suppose 4*n = -p + 815, 2*n - 3*n = 5. Is p composite?
True
Let r(j) = -j**2 - 3*j - 10. Let l be r(-4). Let c = l + 1. Is (2429/2)/(c/(-26)) a prime number?
False
Let g = 14 - 9. Let i(x) = -x**3 + 11*x**2 + 7*x - 5. Let p be i(11). Let m = p + g. Is m a prime number?
False
Suppose 0 = -2*r + 4*b + 12, -3*r + 0*r = -3*b - 9. Suppose -i + 5*o = -213, 0 = -5*i + o - r*o + 1113. Is i a prime number?
True
Let m = 987 + -576. Is m prime?
False
Let b be -1 + 1 - 288/(-3). Suppose 3*c - 1113 = -5*q - 232, 5*c + 515 = 3*q. Let p = q - b. Is p composite?
False
Let u = 28372 - 16053. Is u prime?
False
Suppose 4*i = -4*l + 142392, -5*l + i + 29349 = -148671. Is l a composite number?
False
Suppose -17*x + 66416 = -35261. Is x composite?
False
Let p = -96 + 62. Let c = p + 257. Suppose 2*n - 4*n - h + 431 = 0, -n - 3*h + c = 0. Is n composite?
True
Let k = 33 - 33. Suppose 0 = 4*s + 4*d - k*d - 56, 3 = -3*d. Is s a composite number?
True
Let z(x) = -x**2 + 5*x. Let k be (23 - 17) + -1 + 1. Suppose -9 = 3*y - k*y. Is z(y) a composite number?
True
Let p be (1/1 + -1)/(-2). Let u be (-3)/((-12)/(-5) - 3). Suppose 2*f + 2*t = 44 - p, 68 = 3*f + u*t. Is f a composite number?
True
Let m(a) be the second derivative of a**5/60 + a**4/8 + 11*a**3/6 - 3*a**2 - 6*a. Let r(o) be the first derivative of m(o). Is r(-8) a prime number?
False
Let j = -10053 - -16184. Is j a prime number?
True
Suppose 2*f = -2*y + 6, -5*f - 5 = -2*y + 1. Let q = f - -2. Suppose -443 = -q*m - o - 0*o, 2*o = 4*m - 898. Is m composite?
False
Suppose 31 = -4*u + 155. Let q = 578 - u. Is q a prime number?
True
Suppose 0*t = -t + 2. Suppose -k + 11 = t*x + 3*x, 2*x - k = 10. Suppose 2*r + 59 = o, -2*o - o + x*r + 168 = 0. Is o a composite number?
False
Let l(n) be the second derivative of -3*n - 23*n**3 - 13/2*n**2 + 0. Is l(-6) composite?
True
Let m = -10037 - -22264. Is m a composite number?
False
Suppose -504 = 2*v - 7790. Is v a prime number?
True
Let c(p) = -71*p**3 + 8*p**2 + 11*p + 171. Is c(-8) a prime number?
True
Suppose -h = -12 - 56. Is (h/8)/((-1)/(-10)) prime?
False
Suppose 3*o - 3*j = -0*j + 14352, 2*o + 3*j = 9563. Is o a prime number?
True
Let m(x) = 375*x**2 + 8*x - 3. Is m(2) a composite number?
True
Suppose -32*z + b - 23609 = -36*z, 3 = -b. Is z prime?
True
Let r be 204*1*(-8)/(-24). Suppose o + 28 = -3*l, -2*o - l + 3*l - 72 = 0. Let h = o + r. Is h prime?
False
Let n be (-15 - -19) + -5*560. Let t = n + 3982. Is t a prime number?
False
Let h = -21 + 11. Suppose -5*y - 115 = -u, -5*y - 3*u - 105 - 30 = 0. Let a = h - y. Is a a composite number?
True
Suppose -4*w + p - 6*p = -15941, -5*p = 15. Is w a prime number?
True
Let x(v) = v**3 - 8*v**2 - 38*v + 64. Is x(17) composite?
True
Suppose 0 = -f - 2 - 10. Let g(r) = r**3 + 17*r**2 + 18*r + 13. Is g(f) composite?
True
Let c(p) = -p**3 + 3*p**2 + 4. Let j be c(3). Suppose 4*w - 5*u - 22 = 0, -2*w - 4*u + 7 = 3*w. Suppose -j = -d, r = w*d + 13 + 30. Is r prime?
False
Let u(q) = q**2 + 14*q + 128. Is u(-27) prime?
True
Suppose 5*w - 7*w = 0. Suppose w = 2*c - 7*c - 25, -c = -2*y + 895. Is y prime?
False
Let j(x) = 7*x**2 - 6*x + 6. Let h(k) be the third derivative of -k**6/120 - 2*k**5/15 + k**4/24 + k**3/6 - 5*k**2. Let i be h(-8). Is j(i) composite?
True
Let n(o) = 2*o**3 - 7*o**2 - 7*o - 7. Suppose f = 31 - 9. Let c = 28 - f. Is n(c) a composite number?
False
Let w = -168 - -216. Suppose -40*k - 23144 = -w*k. Is k a composite number?
True
Suppose 52 - 202 = 5*v. Is (-37478)/(-4) - v/20 composite?
False
Is (-25098)/(-14) - (-188)/658 a prime number?
False
Suppose -54*t + 492 = -50*t. Suppose 144 + t = 3*x. Is x a composite number?
False
Let v(r) = -5*r**3 + 11 + 6*r**3 + 2*r**2 + 13*r + 23*r**2 + 0*r**3. Is v(-7) a composite number?
True
Let t be (2 + -2)/((-3)/3). Suppose v + 12 = 4*v. Suppose 5*f + v*n - 999 = t, 2*n = 4*f - 2*f - 396. Is f a composite number?
False
Suppose 55*k - 778074 = -11*k. Is k composite?
False
Let n = -87 + 45. Let z = 25 + n. Let u = z + 43. Is u a composite number?
True
Let o(a) be the first derivative of a**3/3 - 7*a**2/2 + 2*a + 6. Let j be o(7). Is (22/(-33))/(j/(-213)) a composite number?
False
Suppose -4*o + 1061 = -2491. Let d be ((-1)/2)/((-3)/o). Suppose 141 + d = 5*l + 2*z, -3*l - 4*z + 179 = 0. Is l composite?
True
Let h(k) = 7*k + 1. Let o be h(1). Suppose -o*l + 247 = -345. Is l a composite number?
True
Suppose 3*o + 4*n = -0*n + 1213, 0 = 5*o - 3*n - 2041. Is o a prime number?
False
Suppose -2*c = -41 - 1513. Suppose 3*t = 5*u - 3*u - c, -5*t = 2*u - 737. Is u prime?
False
Let l(a) = -26*a + 16. Let f be l(-4). Suppose -f = -4*q + 436. Is q a prime number?
True
Suppose 2 = -2*s, 0 = -2*c + 3*s + 1399 + 21694. Is c a composite number?
True
Let p = 9942 - -4021. Is p a prime number?
True
Let c = -804 - -1663. Is c prime?
True
Let u(a) = -25*a**3 - 5*a**2 - 98*a + 5. Is u(-9) composite?
True
Is 2613 + (41/(-123) - (-11)/(-3)) prime?
True
Let k(c) = c**3 - 9*c**2 - 205*c - 7. Is k(24) a prime number?
False
Let g(x) = 51*x**3 - x**2 + 6*x - 1. Let n(z) = z - 15. Let l be n(19). Is g(l) composite?
False
Suppose -4*l + 546 = 2*l. Suppose 5*m - 160 = -5*p, 0*p - l = -3*m + 2*p. Is m a prime number?
True
Let z = 1553 - 766. Is z prime?
True
Suppose 0 = -5*z + 3*z - 2*x + 722, 0 = z - 4*x - 366. Suppose -4*t - 6 = 2*b, -3*t + 3 = -2*b - 3. Suppose -4*m + z + 506 = t. Is m a prime number?
False
Suppose 5*z - 3*z + 50 = -2*v, 2*v + 90 = -4*z. Let f be 0 - (z*1)/4. Suppose 0 = -4*c + 4*q + 112 + 28, -c + 47 = f*q. Is c a prime number?
True
Is 6442*(-1)/(-22) - 14/(-77) a composite number?
False
Let d be 2 - (-66114)/(-15) - (-6)/(-15). Is (-2)/(-1)*d/(-4) composite?
False
Let a(l) = -227*l - 23. Suppose -4*y = y + 55. Is a(y) prime?
False
Suppose -3*l + 2967 = 3*b, 0 = 2*b - 4*l - 2660 + 658. Is b a prime number?
False
Suppose 0 = 8*v - 8072 + 824. Suppose 509 = 2*a - 3*a. Let n = a + v. Is n composite?
False
Suppose 5*v = 0, -x = -0*x + 2*v - 7. Let u be (7 - 7)/(6/(-3)). Suppose -x*m + 11*m - 740 = u. Is m a composite number?
True
Let d(y) be the second derivative of 2*y**2 + 5/4*y**4 + 0 + 10*y - y**3. Is d(-5) composite?
False
Let j be (0 - 4) + (-1 - -8). Suppose 0 = 2*h + 8, j