True
Let t(b) = -7*b**3 + 5*b**2 - 7*b - 100. Let i(n) = 15*n**3 - 11*n**2 + 15*n + 199. Let l(r) = -6*i(r) - 13*t(r). Let f = -17 + 17. Is l(f) prime?
False
Let j(k) = -k**3 + 36*k**2 + 80*k + 5. Is j(36) composite?
True
Suppose -76349 = -4*f - 3*f. Is f composite?
True
Is 41253/(-2)*(-2)/3 a prime number?
True
Let v(z) = z**3 - 15*z**2 + 7*z + 10. Let b(i) = -i**3 + 14*i**2 - 6*i - 9. Let d(p) = -5*b(p) - 4*v(p). Let f be d(10). Let w = f - -28. Is w composite?
False
Suppose 4*y + 242 = 6*y. Suppose 2*g + 3*n - y = 0, -2*n + 180 = 3*g + n. Is g composite?
False
Let t = -27992 + 40173. Is t composite?
True
Suppose 23*d + 3 = 26*d. Is 1413 + 8/2*d a composite number?
True
Let m = 8 - -3. Suppose -m*n + 1455 = -8*n. Is n a composite number?
True
Suppose -8*b + 2*v = -3*b - 27781, -b + 2*v = -5553. Is b prime?
True
Let n = -4054 - -7188. Suppose -6*m = -76 - n. Is m a composite number?
True
Let j be 165/(-10)*-4*1. Let s be (-3)/(-3)*j*11. Suppose 0*o + 4*o - s = -2*l, 388 = l - 3*o. Is l a composite number?
False
Suppose -k = -10*g + 2*k + 85795, 3*k - 15 = 0. Is g a prime number?
True
Is (-204)/(-18) + -11 + (-5788)/(-6) prime?
False
Let u(x) = -x + 14. Let s be u(2). Suppose -4*i + s*i - 3376 = 0. Is i a prime number?
False
Let n be 19984/14 + 33/(-77). Let r = n + -434. Is r composite?
True
Suppose -7*k = -8*k - 287. Let n = 429 + k. Is n composite?
True
Let o(g) = 2*g**2 + 2*g + 2. Let y be o(-2). Let i(f) = -f**2 - 11*f + y + 5*f - 8*f. Is i(-7) a prime number?
False
Let g = -29 + 98. Suppose l - g = 5*h, 0*l - l + 81 = -2*h. Is l a composite number?
False
Let y = -88 - -58. Let h be 2/6 + (-2450)/y. Let n = h + 63. Is n composite?
True
Let k(y) be the third derivative of -y**6/60 - y**5/60 - y**4/8 - y**3/2 - 3*y**2. Is k(-3) prime?
False
Suppose 5*r - 8 = 3*r. Let n be (-180)/(-8) + 6/r. Is (-4)/n + (-499)/(-6) a composite number?
False
Let x = -19 + 24. Is 16/((-20)/x) + 542 a composite number?
True
Let b = -10 + 12. Let a(k) = -69*k - b - 9 + 74*k. Is a(6) composite?
False
Suppose 0 = 2*r - 4*r + 4. Suppose -2*c = 10, -382 = f - r*f - 3*c. Is f a prime number?
True
Suppose 2*d = 2, -5*d - 54 = -g + 527. Is g a composite number?
True
Let h = -5 - -17. Suppose -6*p = -h*p + 1062. Is p composite?
True
Suppose 2*t - 9 = 3*n, -3*t - 2*t = -5*n - 15. Suppose 5*u - 4435 = -5*h, t = 5*h - h + 8. Is u composite?
True
Let z = 187 - 18. Let o be ((-564)/5)/(-1 - 265/(-275)). Suppose 0 = 7*j + z - o. Is j a prime number?
True
Suppose -77569 = -2*r + 6*g - 5*g, -r + 5*g = -38798. Is r a prime number?
True
Suppose 2*z + 185 = 2*k - 4377, 3*k = 4*z + 6841. Is k composite?
True
Suppose -7 - 1 = c. Let w be 7/(-4) + 2/c. Is 136 + -3 - (-4)/w a composite number?
False
Suppose x - 5*b - 7718 - 4838 = 0, 2*x = 3*b + 25077. Is x composite?
True
Let l be 6/21 - ((-36634)/14 - 5). Let k = l + -395. Is k a prime number?
False
Suppose 336 = 2*a + a. Let v = 32 + 14. Suppose 2*h = v + a. Is h composite?
False
Let f(r) = -2*r - 4. Let i(o) = -o - 5. Let v(w) = 2*f(w) - 3*i(w). Let b be v(7). Suppose -d = -b*d - 177. Is d a composite number?
True
Let x(o) = -53*o + 11. Let a be x(-11). Suppose -v = -t - 6*v - 153, 650 = -4*t - v. Let p = a + t. Is p a prime number?
True
Suppose 3*u = -u. Suppose -5*j = 3*l - 21, -4*l - 5*j + j + 20 = u. Is l - (-3 + 2 - 196) a composite number?
False
Let d(v) = -65*v - 2. Let w be (-1 - -2)*(2 - 5). Let i(p) = p**2 + 6*p + 4. Let y be i(w). Is d(y) a composite number?
True
Let o be 8/1*5*(-15)/(-50). Is 20/(-16)*o/(-1) a prime number?
False
Let u be (2 - (-2 + -1)) + -1. Suppose -2 = t - 3*t, -3*i + 1417 = u*t. Is i a prime number?
False
Let i = -14221 - -22424. Is i a composite number?
True
Let d(h) = 17*h - 3*h - 33 + 36*h. Is d(6) a composite number?
True
Suppose 0 = -5*i + 5246 + 3269. Is i a composite number?
True
Suppose 8*r - 60 + 12 = 0. Suppose r*y - 5*y = 6167. Is y composite?
True
Suppose -6*z = -z - 17730. Suppose -5*m = -4*n + z, 3*n - 3*m - 2657 = 2*m. Is n prime?
False
Let x(l) be the second derivative of 11*l**4/2 + 2*l**3/3 + 3*l**2/2 + 6*l. Is x(-2) a prime number?
False
Suppose 4*n + 468 = -0*n. Let c = n + 528. Is c a composite number?
True
Let t(y) = -y**3 - 5*y**2 - 5*y + 1. Let o be t(-4). Suppose -2*w + 15 = o. Suppose l = w*l - 1276. Is l a prime number?
False
Let u(n) = 225*n - 19. Let h be u(-9). Let c = h - -140. Let l = c + 2857. Is l composite?
False
Let g(t) = t**2 + 12*t + 10. Let y be g(-12). Is 3571/3*30/y a prime number?
True
Let u(o) = -o**3 - 5*o**2 + 2. Let x be u(-5). Suppose 4*b + x*b = 6516. Suppose 2*w + m - b = 0, 2*w - 2*m + 1090 = 4*w. Is w composite?
False
Is (-8668)/6*12/(-8) a composite number?
True
Let s(x) = 266*x**3 + 6*x**2 - 3*x + 2. Let q(b) = 267*b**3 + 7*b**2 - 3*b + 2. Let a(j) = -6*q(j) + 7*s(j). Is a(1) prime?
False
Is (98607*1/12)/((-2)/(-8)) prime?
True
Suppose -4*m + 8428 + 17746 = -5*w, -2*w = -4*m + 26180. Suppose 3265 - 8178 = -3*t - 2*z, 0 = 4*t + 5*z - m. Is t a composite number?
True
Let k(x) = x**2 + 6*x - 6. Let w be k(-7). Suppose 5*o - 20 = 0, o + 4*o + w = 3*l. Suppose 2*z + l*s - 4*s = 410, -2*z + 4*s = -438. Is z composite?
False
Let y(x) be the second derivative of x**5/20 - x**4/12 - 8*x**2 + 5*x. Let i be y(0). Is (-3)/1 - i*5 a composite number?
True
Let d be (4 - 7)/1 + 17 + -1. Suppose d*k - 12*k - 10 = 0. Is k prime?
False
Let a be 0/(1 + (0 - 3)). Suppose -2*p = -a*p - 258. Is p prime?
False
Suppose -5*w + 16 = -9*w. Let u(x) = -x**3 - 10*x**2 - x + 4. Let z be u(w). Is (-2)/(-2)*(-9 - z) prime?
True
Let m(i) = i**3 + i**2 + i - 1. Let h(z) = 116*z**3 - 9*z**2 - 6*z + 8. Let b(p) = -h(p) - 5*m(p). Is b(-2) a composite number?
True
Is 2 - -4*(-4)/16 - -8713 a composite number?
True
Let d(s) = -3*s + 17. Let c be d(5). Is 1074/1 - (c - (0 - -1)) a prime number?
False
Suppose 3*p - 3*r - 1944 = 1947, -4*p - 3*r = -5202. Is p a composite number?
True
Let a be (-12)/(-10)*(-40)/12. Let g be ((-8)/a)/(2/4). Suppose g*f + f = 385. Is f a prime number?
False
Let w(r) = r**2 + 17*r - 13. Let o(x) = -x**3 + 5*x**2 - 2*x + 4. Let y be o(4). Is w(y) prime?
False
Suppose 4*t = -3*t - 2*t. Suppose -91*v + 88*v + 9411 = t. Is v composite?
False
Suppose 16391 = -22*q + 271129. Is q prime?
True
Suppose 31*w = -5491 + 31500. Is w composite?
False
Let i = 1548 + -917. Suppose -3*k + i = -2*k. Is k a composite number?
False
Let b be 1*-9 + 4/(-8)*-2. Is (2692/(-16))/(2/b) a prime number?
True
Let q = 159 + -155. Suppose 12*f = q*f + 49576. Is f composite?
False
Let r(y) = -34*y**2. Let c be r(-1). Let i(o) = 18*o + 1. Let v be i(-3). Let a = c - v. Is a a composite number?
False
Let o = -119 - -126. Suppose 0 = o*m - 0*m - 3997. Is m prime?
True
Let l(h) = 828*h - 11. Is l(9) composite?
True
Suppose -1593 = -4*n + 2379. Is n composite?
True
Let u = -13 + 21. Suppose -4*g - u = -180. Let j = 62 - g. Is j composite?
False
Let i(q) = q - q - 2 + 5*q. Let o be i(1). Is (o - -38*1)*11 a composite number?
True
Let t(p) = 91*p**3 - 3*p**2 - 6*p + 23. Is t(3) prime?
False
Let u = 6013 - -1120. Is u composite?
True
Let o(p) = -p**3 - 6*p**2 - 18*p + 2. Let w be o(-10). Let d = -1 - -1. Suppose -4*y = -2*l - 2*l + 2320, d = -l - y + w. Is l a composite number?
True
Let b(k) = -k**2 + 3*k. Let v be b(8). Let r = v + 118. Is r + (5 + -3 - 1) prime?
True
Suppose 8*z - 1230 = 2826. Let d = 1904 - z. Is d a prime number?
False
Let q be (2 - 0)/((-4)/(-16)). Let t be (q/6)/((-2)/3). Is (-1)/t + 474/4 composite?
True
Suppose 5*g + 5*r = 2170, -6*g + 7*g - 4*r = 449. Is g composite?
True
Let c(a) = a**2 + a + 3. Let k be c(-3). Let r be (-2)/(-4) + k/6. Suppose r*w - w = 145. Is w prime?
False
Suppose r + 87 = -4*j + 561, 5*j - 2*r = 599. Suppose 0 = -10*p + 4383 + 737. Let a = p + j. Is a prime?
True
Let q = -7790 + 14568. Is q a composite number?
True
Let t(b) = 2137*b + 38. Is t(5) a prime number?
True
Suppose -14*p + 76964 = -26706. Is p a composite number?
True
Let r(o) = -304*o**3 - 2*o**2 - 12*o + 13. Is r(-5) prime?
False
Suppose 17*n - 15*n = 290. Let a = n - 64. Is a + ((-24)/4)/(-3) composite?
False
Suppose 4*n + 5*v = 904, 0 = -v - 0*v. Let w = n + -46. Suppose -m - 5*j + w = 0, 241 + 399 = 4*m + 4*j. Is m a composite number?
True
Suppose 2*d - 140 = 5*g, -210 = -3*d -