 - 240 = -2*z + 2414. Is x composite?
True
Let z(q) be the third derivative of 3*q**4/8 - 35*q**3/6 + 21*q**2. Is z(9) a prime number?
False
Let r(w) = -w**3 - 7*w**2 - 6*w + 5. Let h be r(-6). Suppose 0*u + 565 = u - 2*y, -h*u + 4*y = -2819. Is u a prime number?
True
Let r = -3927 - 1032. Let g = -466 - r. Is g prime?
True
Let u(i) = 75*i - 1 + 65*i + 477*i + 163*i. Is u(5) a prime number?
False
Let j(v) = 16*v**3 - 35*v**2 - 17*v + 9. Let n(o) = 5*o**3 - 12*o**2 - 6*o + 3. Let u(q) = -6*j(q) + 17*n(q). Is u(-4) composite?
False
Is ((64/12)/(-8))/((-6)/323397) prime?
True
Let g(i) = 16*i**3 + 10*i**2 - 6*i - 7. Is g(11) composite?
False
Let g(k) = 12*k**2 - k + 2. Let r be g(-2). Let b = -96 - -97. Let f = r + b. Is f a prime number?
True
Suppose -6*w + w = 45. Let m(d) = 3*d**2 - 2*d - 4. Is m(w) composite?
False
Let g = -619 + 1508. Is g a prime number?
False
Suppose 4*h + 44 - 184 = 0. Suppose 2*a + 5*u = h, 4*u = -3*a + 15 + 20. Suppose -a*n - 3*j = -4*j - 1733, -10 = -5*j. Is n prime?
True
Suppose -3*x = -h - 4 + 15, -x = -h + 17. Suppose -3*z = z - h. Suppose -z*k + 3*c + 263 = -78, -205 = -3*k + 2*c. Is k a composite number?
False
Let c(b) = b**2 + 12*b - 23. Let o be c(-14). Suppose o*j + 3*f + f = 237, 0 = -5*f - 10. Is j a composite number?
True
Suppose 0*s = 4*s. Suppose 2*w + 5*t = 1372, t - 2045 = -3*w - s*t. Is w a composite number?
True
Suppose 2*n = -2*j, -4*n + 2*n + 12 = -2*j. Let v(r) = 33*r - 24*r - 73*r - 63*r. Is v(j) a composite number?
True
Suppose 5*f + 5 = 0, -d = 3*f + 2*f + 1. Suppose -n = -4*z + 2313, 3*z + n = -d*n + 1706. Is z composite?
False
Is 4/(2 + (-76620)/38330) a composite number?
False
Let z(i) = 13*i**2 + 48*i - 630. Is z(17) composite?
False
Let y(s) = -s**2 - 15*s. Let b be y(-7). Suppose 0 = j - b - 321. Is j composite?
True
Let z = 13552 + 28311. Is z a prime number?
True
Let p(k) be the second derivative of 133*k**4/12 + 5*k**3/6 + k**2/2 - 8*k. Is p(4) a composite number?
True
Let r = 11876 - 4015. Is r prime?
False
Let s = -25 - -29. Suppose -s*v + 3*v = 0. Suppose v = -l + 3, 2*x + 5*l = -0*x + 859. Is x prime?
False
Suppose -9*z - 7*z = -8336. Is z prime?
True
Suppose 1303 = 4*z - 125. Suppose -3*j - z - 163 = -c, -5*j + 1073 = 2*c. Is c a composite number?
True
Let z(l) = l**3 - 53*l**2 - 34*l - 23. Is z(54) prime?
False
Is ((-22535)/(-20))/((-1)/(-4)) a composite number?
False
Let r = -34 + 38. Suppose 3*x + 2*x - 4*a - 1739 = 0, -r*a = -x + 351. Is x a prime number?
True
Suppose 0 = -3*j - 3*a + 5193, 7*a = -2*j + 3*a + 3462. Suppose 4*z = -0*d + 3*d - 1033, -2*z - j = -5*d. Is d a prime number?
True
Suppose 130 - 928 = -d. Suppose -157 - d = -5*b. Is b a prime number?
True
Let x(v) = -2*v**2 + 15*v - 4. Let g be x(7). Suppose 2436 = 3*w + g*j, -2*w + 4*j + 632 + 992 = 0. Suppose 0 = -3*z + 4895 - w. Is z a composite number?
False
Let k be 5/((-275)/10) - 3660/(-44). Suppose -15 = -d - 3*o, 3*o = 11 + 1. Let z = d + k. Is z composite?
True
Let s(d) = -5*d - 3. Let w be s(-3). Let q = 2 - w. Let g = q + 16. Is g composite?
True
Suppose y + 68 + 14 = c, 2*y - 5*c = -164. Let n = y + 153. Suppose 2*a - 33 = -5*j, n = 5*a - 0*j + j. Is a composite?
True
Let m = -8 + 15. Let j(d) = m*d - 8*d - 2 + 11*d**2 + 3. Is j(1) a prime number?
True
Suppose 12 = -4*f + 24. Let g(s) = s**2 - 2*s. Let y be g(f). Suppose y*r = c + c + 227, -r + 89 = 2*c. Is r composite?
False
Let u = -62 - -112. Suppose 6*b = 4*b + u. Let p = 59 - b. Is p a prime number?
False
Let h(n) = -2*n**2 - 22*n - 12. Let s be h(-11). Let b(t) = 2*t**2 - 8*t + 23. Is b(s) prime?
False
Let q(u) = 5*u**3 + u**2 + 18*u - 47. Is q(9) composite?
True
Suppose 0 = -4*l + 20, -m - 2 = 4*l - 3*l. Is (1743/9)/m*-15 prime?
False
Suppose -3*l + 2*l - 2*m = -64941, 0 = 3*m. Is l a composite number?
True
Suppose 0 = 10*f - 32646 - 17644. Is f prime?
False
Let l(h) = 56*h**2. Let j be l(-1). Suppose -s - 5*q = 32, 6*q = 2*s + 2*q + 22. Let x = j + s. Is x a composite number?
True
Suppose -166 - 486 = v - 4*d, 2*v + 2*d = -1264. Let f = 32 - 22. Is 25/(-10)*v/f prime?
False
Let b(q) = -84*q + 12. Let f be b(-5). Suppose 0 = -2*p - p + 3, 0 = c + 5*p - f. Is c a prime number?
False
Let x(a) = -14*a**3 + 5*a**2 - 2*a + 7. Let h be 54 + -58 + (0 - 0/1). Is x(h) a composite number?
False
Let l(n) = -n**2 - 12*n + 17. Let c be l(-11). Let w be 2/(-6) - c/(-3). Let g = w + 149. Is g a prime number?
False
Suppose 3 = 3*b + 3*v, 3*b + v + 3*v - 4 = 0. Suppose b = 2*c + 4*u + u - 1708, -857 = -c - 4*u. Is c a composite number?
True
Let q = -2036 - -11635. Is q a composite number?
True
Let t(g) = -g**3 - 47*g**2 + 9*g - 67. Is t(-60) a composite number?
True
Let o = 48 - 39. Let j(c) = -2*c - 8 + 0*c + 5*c + 4*c. Is j(o) composite?
True
Let m(x) = -x**3 - 5*x**2 + 4*x - 10. Let q be m(-6). Let d be (-16)/(-2) + (-1 - q). Suppose 0 = 5*o - d*a - 6830, 2*o - 4*a + 1110 = 3852. Is o composite?
False
Let a = 1190 - -247. Is a composite?
True
Suppose 2*q = 2*i - 792 - 454, 5*i + 3*q - 3075 = 0. Suppose -b + 2*u = 80 - 247, 4*b + 2*u - i = 0. Is b prime?
True
Let l(w) = 4*w + 117. Let i(m) = -5*m - 118. Let b(u) = 6*i(u) + 7*l(u). Is b(0) a composite number?
True
Suppose -2*p - 3 - 1 = 0. Let k(n) = 3*n**3 - 4*n**2 + 1. Let l be k(-2). Let z = p - l. Is z a prime number?
True
Let f = 963 - -160. Is f a prime number?
True
Suppose k - 6 = b - 2*b, 0 = -3*k + 3. Let y(i) = -b + 18*i + 36*i**2 + 4 - 17*i. Is y(3) prime?
False
Suppose 3*q + 5*x = 41, 3*q + 0*x - 13 = 2*x. Let u(p) = 23*p + 5. Let z be u(q). Suppose -n = -z - 25. Is n a composite number?
False
Let k(y) = -y**3 + 2*y + 3186. Let q be k(0). Suppose -4*d - 3*f + 3192 = f, -4*d = -2*f - q. Is d composite?
False
Let d = 7864 - 3383. Is d a composite number?
False
Let f(q) = -q**2 - 5*q + 2. Let o be f(-4). Let l be (-162)/39 - o/(-39). Let r(h) = -h**3 + 3*h**2 + 3*h - 3. Is r(l) a prime number?
True
Let f = -10 + 4. Let m = f - -9. Suppose -54 = -v - a + 57, 0 = -m*v - 2*a + 333. Is v a composite number?
True
Suppose -3 = 3*k - 18. Let d be 11 + -7 + (1 - k). Suppose d*h = -6*h + 2802. Is h a composite number?
False
Let u(w) = w + 2. Let n be u(4). Suppose -f + n = f. Suppose 201 = 4*b - f*b + 4*g, -1049 = -5*b + 2*g. Is b composite?
True
Suppose 2*b = -2*y + 696 + 2456, y - 1566 = b. Let d = y - 984. Is d a prime number?
True
Suppose -1588128 - 84954 = -54*b. Is b a composite number?
False
Suppose 11 + 4 = 3*n. Suppose -5*h + 5*l - 4 = -14, 0 = n*h - 4*l - 12. Suppose -u = m - 71 - 14, -h*m + 4*u + 324 = 0. Is m composite?
False
Is (-3)/(-3)*(-59439 - 3)/(-3) prime?
False
Suppose l + 3*y - 10759 = 0, 16*y = 4*l + 14*y - 43064. Is l a composite number?
True
Suppose -62*q = -794739 - 1045607. Is q prime?
True
Let a(q) = 282*q - 8. Let u be a(-2). Let n = 1123 + u. Is n a prime number?
False
Suppose -2*j = -0*d - 4*d - 1238, 2*j - d = 1235. Suppose 5*z - j = -4*r, -2*r - 629 = -5*z - 0*r. Let p = -70 + z. Is p a composite number?
True
Suppose -4*j + 4 - 52 = 4*f, 5*f = 4*j - 33. Let x = f - -11. Is 6/4 - (-71)/x prime?
True
Let f be (-13)/((-39)/2628) - 3. Is (2 - 1)*f - 2 a composite number?
True
Suppose -25*g + 136459 = -2*g. Is g a composite number?
True
Suppose 9*v + 5*w = 5*v + 117882, 5*w - 29463 = -v. Is v prime?
True
Let r(s) = -s**2 - 5*s - 1. Let d be r(-4). Let l be (-2)/6 + (-11)/d. Is (-30 + -1)*(l + 3) prime?
True
Suppose t - 7*g = -2*g - 7, -t + 7 = 2*g. Suppose t*r = -p + 107, -5*p - 4*r + 681 = 102. Is p a prime number?
False
Let f(g) = -281*g**3 - g**2 + g - 2. Let b be f(1). Let u(d) = 192*d. Let w be u(-3). Let s = b - w. Is s a composite number?
False
Let w = 680 + -495. Is w composite?
True
Let y = -13 - -15. Suppose -y*q = q - 3. Let z(j) = 38*j**3 - j**2. Is z(q) a prime number?
True
Let q = -7 - -12. Suppose -q*n + 218 + 400 = 3*v, -v = 3*n - 370. Suppose 2*m - n - 135 = -2*d, -4*m + 2*d = -504. Is m a prime number?
True
Let r(m) = -18*m**2 - 7*m + 5. Let u be r(2). Let w = 296 + u. Is w prime?
False
Let s(a) = 183*a**3 + 3*a**2 - 3*a + 1. Is s(2) a composite number?
False
Let c(u) be the second derivative of u**8/1680 - u**7/504 + u**6/144 + u**5/40 - u**4/6 - u. Let w(q) be the third derivative of c(q). Is w(4) composite?
False
Is (2 - -3)*(7764/10 + -4) composite?
True
Is (2/8)/(