*b - 11*b. Suppose 4*k - 4215 = -b*u, 2*u - 4*k - 1803 = -145. Is u a prime number?
True
Suppose 11*g - 40992 = 33445. Is g a composite number?
True
Let b be (-28)/(-6)*6/4. Suppose -5*w - 8 = -0*w + 2*x, 0 = 5*w + 3*x + b. Is (w/8)/(7/(-1876)) a prime number?
True
Suppose 3*b + 3 = -6. Let w be b + -11 + 8/2. Let h = 175 - w. Is h a composite number?
True
Suppose 9*f - 3*f = 18. Suppose 2*w - 2110 = -3*b, f*b + 1055 = w + 2*b. Is w a prime number?
False
Suppose -2*b - 10534 = -4*l - b, 5*b = -2*l + 5256. Is l composite?
False
Let p(l) = -165*l - 3. Let i be p(2). Is -2*(i/6)/(3/11) composite?
True
Suppose 0 = -4*t - 3*i + 17088, 5*t - t - 17084 = -2*i. Is t prime?
False
Suppose 20*k - 26*k = -123978. Is k prime?
True
Let s(g) = 830*g**3 + 3*g - 2. Let i be s(1). Let w(k) = 208*k - 2. Let a be w(-2). Let x = i + a. Is x a composite number?
True
Let x = 12667 + 1522. Is x prime?
False
Let z = 2309 + 1302. Is z prime?
False
Suppose -5*i + 4732 = 2*j - 63, 0 = 5*j - 2*i - 11973. Is j composite?
True
Let b(c) be the first derivative of 203*c**4/12 + 3*c + 6. Let o(q) be the first derivative of b(q). Is o(-1) a composite number?
True
Suppose 0 = -44*q + 18992 + 545132. Is q composite?
False
Suppose 0 = -3*m + 12. Suppose y = -2*u + 321, y - 486 = -3*u + m*y. Is u prime?
False
Let t be 33/6 - (-2)/4. Let u = -8 + 16. Is 4/t*5820/u a composite number?
True
Let q(f) be the first derivative of f**4 - 3*f**2 + f + 13. Is q(5) composite?
True
Let d(s) = -15*s**3 - 9*s**2 + s + 39. Let x(w) = 7*w**3 + 5*w**2 - w - 19. Let j(u) = 6*d(u) + 13*x(u). Let y be j(-9). Is (7/(-14))/((-2)/y) composite?
False
Suppose -189*s - 88439 = -202*s. Is s composite?
False
Let h(j) = 209*j**2 - 13*j + 9. Is h(7) prime?
True
Let u(n) = -89*n**3 + 3*n - 2. Let q(h) = 268*h**3 - 8*h + 5. Let c(w) = 3*q(w) + 8*u(w). Is c(1) prime?
False
Suppose 4*v - 7777 + 1037 = 0. Suppose 0 = -4*f - 5*o + 5835, -3*f + 2720 = -2*o - v. Is f a composite number?
True
Suppose 35 = -3*z - 5*j, -2*j = -z + j - 7. Let c = 15 + z. Suppose c*k - 745 = -0*k. Is k a prime number?
True
Let k(t) = t**2 + 3*t + 3. Let z(x) = -x**2 + 9*x - 11. Let l be z(8). Let g be 32/12*l/(-2). Is k(g) composite?
False
Suppose -6*f + 3*d + 8 = -4*f, 6 = 3*f - 3*d. Let z be f/5 + (-16)/(-40). Suppose -s + 4*x + 109 = z, 5*s - 2*x - 473 = -0*s. Is s a prime number?
False
Suppose -114400 = -15*n - n. Suppose 5*k + 365 = n. Is k a prime number?
False
Suppose -162 = -4*l + 274. Suppose 4*b = l + 47. Is b a composite number?
True
Let q(g) = 48*g**3 + g**2 - 3*g + 1. Is q(1) composite?
False
Let r be (1 - -2)*(-8)/(-6). Suppose 8*n = 2*m + 7*n - 2, -2*m - 8 = 4*n. Suppose r*t = -m*t + 5540. Is t composite?
True
Let f(u) = -u - 2. Let q be f(-7). Let y be (q + -6)/(1/(-3)). Let b(h) = 14*h**2 - 4*h + 7. Is b(y) prime?
False
Let q = -20587 + 36804. Is q composite?
False
Let p = 894 - 574. Suppose w = p + 767. Is w composite?
False
Suppose -5*i - 80056 = -4*h, -2*h + 0*h + 40028 = i. Is h prime?
False
Suppose 5*r - 15469 = -0*z - 3*z, r = z + 3097. Is r a composite number?
True
Is (-6433)/7*(3 - 10) a composite number?
True
Let l(k) = 126*k + 25. Let u(p) = -5*p + 11. Let o be u(1). Is l(o) prime?
False
Let y(d) be the third derivative of -d**6/120 + 3*d**5/20 - d**4/12 + 7*d**3/6 + d**2. Let a be ((-4)/(-15)*-9)/((-6)/20). Is y(a) prime?
False
Suppose 3*t - 2*g = 2522, g - 4 = 2*g. Is t prime?
False
Let r(a) = 6*a + 57. Suppose 0 + 2 = -q. Let c(l) = 3*l + 29. Let w(b) = q*r(b) + 5*c(b). Is w(0) prime?
True
Suppose -3*z + 7979 = j - 6248, 5*z - 23689 = 4*j. Is z composite?
True
Let u = -29372 + 67617. Is u composite?
True
Let l(o) = 7102*o**2 - 6*o - 5. Is l(-1) composite?
False
Suppose 7 = 3*w + 19. Is (-184)/(-2) + 3 + w a composite number?
True
Suppose -3*n + 873 = 4*p, -p + 5*p - 283 = -n. Is n composite?
True
Let w = 5907 - 1520. Is w a composite number?
True
Let n = 17 + -12. Suppose 0 = n*x - 3*l - 60, 2*x + l = -x + 50. Suppose -c - 2*c = -x, u + 3*c - 84 = 0. Is u a prime number?
False
Suppose -3*t + 14 = 5. Let i be -1 + 0 - (-18)/t. Let h(s) = s**3 - 4*s**2 + s - 7. Is h(i) a composite number?
False
Let w = -233 + 96. Let b = w + 209. Is b + 2 - (-3 - -3) a composite number?
True
Suppose -4*h + 40938 = 2*b, b = -h + 7438 + 13035. Is b prime?
True
Is (2 - 2)/9 + 26913 prime?
False
Let m(t) = t**3 + 32*t**2 - 57*t - 53. Is m(-25) a prime number?
False
Suppose -w - 5104 = -17*w. Is w a composite number?
True
Suppose -8*v = -5*v - 21. Suppose -5*y + 4*r + 4615 = 0, -2*y + v*y - 4610 = 3*r. Is y a composite number?
False
Let p(a) = a**2 - 17*a - 3. Suppose -3*z = -7*z + 36. Let t be p(z). Let w = t + 121. Is w a composite number?
True
Let r(q) be the first derivative of q**6/360 + q**5/40 + 7*q**4/24 + 4*q**3 - 11. Let c(h) be the third derivative of r(h). Is c(4) a prime number?
False
Suppose 5*c = c - 0*c. Suppose 2*g = -c*g + 2162. Is g prime?
False
Suppose 38986 + 7750 = 16*z. Is z a composite number?
True
Let f = 35 - 31. Suppose 3*j = f*p + 3891, -j = -2*j + 5*p + 1308. Is j prime?
False
Let b = -6 + 11. Suppose -4*u + 2*u + 14 = 4*p, 10 = b*p. Suppose -3*j - j - 50 = -5*x, 2*x - 27 = u*j. Is x a prime number?
False
Suppose 17*k - 9840 = 14*k + 3*u, -4*u - 12 = 0. Is k prime?
False
Let h(x) be the third derivative of -421*x**6/120 + x**5/60 + 5*x**3/6 + 8*x**2. Is h(-2) a prime number?
False
Let w = 392 - -1559. Suppose 0*s = b + s - 395, w = 5*b - s. Is b a composite number?
True
Let s(h) = h**2 - 12*h - 44. Let p be s(15). Is (-4)/16*p + (-1978)/(-8) prime?
False
Let m be (-15)/((-54)/26 + 2). Suppose w = m - 10. Is w prime?
False
Let v(r) = -2*r + 2. Let u(q) = q**3 + 7*q**2 - 9*q - 8. Let n be u(-8). Let l be v(n). Is 256 + -4 + l + -1 a composite number?
True
Let q(g) = 74*g**2 - 5*g + 28. Is q(5) a prime number?
False
Let c be (1 - 3)*(-2)/2. Suppose 4*i - k = 306, -5*i - c*k + 312 = -i. Is i composite?
True
Let k(a) = 4*a**2 - 72*a + 61. Is k(31) composite?
True
Let z = 5 + -2. Suppose 2*h = -2*h + z*i + 15, -i - 16 = -5*h. Is (279/h)/1 - -4 a composite number?
False
Suppose -7470 = -4*o + 2110. Suppose 2*u + o = 7*u. Is u prime?
True
Is ((-3092)/(-10))/(2*1/10) a composite number?
True
Suppose -2*p = 3*p - 25. Suppose 4*v + p*k = 201, 2*v - 6*v + 2*k + 194 = 0. Is v a prime number?
False
Suppose -2890*h + 2876*h + 528934 = 0. Is h a composite number?
False
Let g(w) = 3*w - 44. Let m be g(15). Let x(u) = 400*u + 1. Is x(m) a prime number?
True
Let l be (2/6 - 1)*96. Let n be (1 - 7)*(-1534)/52. Let t = n + l. Is t prime?
True
Suppose 5*t - 20 = 0, -t - 21955 = -6*i + 5*i. Is i a prime number?
False
Let r be ((-4)/7)/(4/(-14)). Suppose -r*o + 8 = -5*l, 5*o - o - 16 = -2*l. Suppose o = -c + 18. Is c a prime number?
False
Let s be 1278/8 - 2/(-8). Let m = s - 111. Suppose 3*j - 58 = -2*u - j, -j + m = 2*u. Is u a prime number?
True
Let t = 0 + -5. Let g(k) be the second derivative of k**4/6 - 7*k**3/6 - 3*k**2/2 - 2*k. Is g(t) a composite number?
True
Let t(r) = 3*r**3 + 1. Let d be t(1). Is 2567/2 + d/(-8) prime?
True
Suppose 2*i = 3*q + 942, 2*q = 5*i - 335 - 2020. Is i prime?
False
Let p be (-30)/12*(-12)/(-10). Is (1 + -16)/(p + 2) a prime number?
False
Suppose s - 1689 = c - 3*c, -3*s + 3*c = -5085. Is s a composite number?
False
Suppose -15*u = -14*u - 11401. Suppose 21*v + u = 34*v. Is v a prime number?
True
Is (36/(-6))/(6/(-2811)) prime?
False
Suppose -6*b = -b. Let w be (b + (4 - 3))*2. Suppose 0 = w*k + 8, -2*t = -k - 4*k - 258. Is t composite?
True
Let g = 312 + 31. Let i = 574 - g. Suppose -b + 43 = j - i, 2*b = 2*j + 528. Is b composite?
False
Suppose 2*c + 5*x - x = 4202, -x = -c + 2092. Is c composite?
True
Suppose -3*z + 554 = 4*l + 28, 0 = -5*z - 3*l + 884. Suppose -3*i - 3*v = -4*i + z, -2*v = -5*i + 929. Is i prime?
False
Let q(v) = 31*v**2 - 55*v - 5. Is q(-6) composite?
True
Let u = 1390 - 941. Is u prime?
True
Let u = 26 + -12. Is (u/(-2))/((-4)/172) a composite number?
True
Suppose -8*r + 3*r - k = -109, 2 = -2*k. Let a = 13 + -19. Is r/33 - 890/a composite?
False
Suppose -d + 29 = 2*l - 2*d, 0 = -l - 3*d - 3. Suppose 3*j = 7*j - l. Suppose 0 = -j*f - 207 + 672. Is f composite?
True
Let o(a) = 2*a**3 - 119*a**2 - 57*a - 59. Is o(66) composite?
False
Let l(w) = 3*w**2 + 2*w - 1. Let x 