posite?
True
Let g(a) be the third derivative of a**5/3 + a**4/3 - 2*a**3 - 2*a**2. Let c be g(8). Is (-2)/(-5) + c/20 prime?
True
Let z = 13 + -10. Let d = z + 1. Suppose -2*p - 12 = -4*p - u, d*p - 24 = -3*u. Is p a prime number?
False
Is 544 + -4 + -3 + 4 a prime number?
True
Let m(l) = -14*l + 3. Let q(f) = 99*f - 22. Let i(y) = 22*m(y) + 3*q(y). Is i(-2) prime?
False
Suppose 236 - 617 = -3*f. Is f a prime number?
True
Let y = -1 - -3. Suppose -h = y*h - 15. Suppose h*n - 195 = -0*n. Is n composite?
True
Suppose i + 0*y = -4*y + 7, -3*i + 5*y - 13 = 0. Is (-1)/i - 98*-3 prime?
False
Suppose -2*x - x = -6. Suppose -3*u = x*u - 265. Is u a prime number?
True
Let p(y) = 10*y**2 + 5*y - 1. Is p(-6) prime?
False
Let b be 1/((-22)/(-10) - 2). Suppose 2*s = -j + 97, -485 = -5*j + b*s - 4*s. Is j a prime number?
True
Suppose 5*y + 7*n - 2*n = 195, -4*n = y - 27. Is y composite?
False
Let s = 709 + -216. Is s prime?
False
Let r(b) = -5*b**2 + 2*b**2 + 2*b**2. Let n be r(2). Let i(z) = z**3 + 6*z**2 + z + 3. Is i(n) composite?
False
Let l(r) = 11*r**2 - 7*r - 5. Is l(-10) a composite number?
True
Is 2066/4 - (-7)/14 prime?
False
Let b(z) = -2*z**3 - 3*z**2 - 3*z + 3. Is b(-3) prime?
False
Let y be (-2)/(-7) + 52/14. Suppose -3*i - 1555 = -y*z, -3*i - 360 = -z + 40. Suppose j + 4*j = z. Is j prime?
False
Let h = -405 + 578. Suppose -3*g + u = -h, 2*g = -2*g + 3*u + 229. Suppose -2*x - g = -160. Is x a composite number?
True
Let m(d) = 650*d - 1. Is m(1) a composite number?
True
Let h(i) = -2*i**2 + 6*i + 9. Let j be h(7). Let b = -27 - j. Let w = b + 1. Is w a composite number?
True
Let j(o) = 20*o**2 - 8*o - 5. Is j(9) a composite number?
False
Let y be (-2*1)/2*-1. Let i(h) = -2*h + 94. Let x be i(0). Let d = y + x. Is d a prime number?
False
Suppose -12*r = -16*r + 9172. Is r composite?
False
Let g = -5 + 5. Suppose g = -3*a - 4 + 10. Suppose -a*k + k = -57. Is k prime?
False
Let c(m) = -103*m + 3. Let i be c(-6). Suppose -2*q + 4*a + i = q, -3*q - a = -636. Is q a prime number?
True
Let t(o) = -o**3 + 8*o**2 + 10*o - 6. Let g(d) = -d**3 - 9*d**2 + 11*d + 13. Let r be g(-10). Suppose 0 = r*v - 0 - 24. Is t(v) a prime number?
False
Let o(p) = 118*p + 27. Is o(4) a prime number?
True
Suppose -8*c + 3 = -7*c. Let t(f) = 2*f - 1 + 0 + c + f. Is t(7) a composite number?
False
Let y = 22 + 13. Is y prime?
False
Let w = -16 - -10. Let i(j) = -j + 1. Let b(p) = -p + 1. Let o(n) = 5*b(n) - 4*i(n). Is o(w) prime?
True
Let p(l) = -l**3 + 7*l**2 - l + 10. Let v be p(7). Let m(u) = u**2 + 1. Let i(h) = 3*h**2 + 4. Let k(g) = i(g) - 2*m(g). Is k(v) prime?
True
Let v be -1*(2 - 3 - -2). Suppose -2*y = 5*s - 15, -6*y + 2*y + 2*s = -90. Let c = v + y. Is c prime?
True
Let s(w) = -w**3 - 8*w**2 - 9*w - 10. Let y be ((-14)/(-6))/((-2)/6). Is s(y) a composite number?
True
Let k(s) = s**3 + 12*s**2 - 5*s + 10. Is k(-9) a composite number?
True
Suppose 2 = -2*n - 5*i, 4*n - 3*i - i - 24 = 0. Let d(t) = -t**2 - 5*t - 1. Let r be d(-2). Suppose -7*a + n*j = -2*a - 377, r*j = 10. Is a a prime number?
False
Suppose 5*v - v - 1372 = 0. Suppose 2*x = -3*y + v, 4*x - 3 = 5. Is y a composite number?
False
Suppose -3*m + 27 = 2*h, -h = 2*h - m - 24. Suppose d + 0 = -2. Let v = d + h. Is v a composite number?
False
Let c = 8 - 3. Suppose 3*g + c*z = 498, -5*z + 659 = -g + 5*g. Is g a composite number?
True
Suppose -g = -5*r - 321, -4*g = 4*r - 862 - 446. Is g prime?
False
Let f = 202 - -11. Is f a prime number?
False
Suppose -2*h - 6 = -5*h. Is 212/(2*2/h) a composite number?
True
Let x be (-724)/(-14) + 6/21. Suppose -d - d + x = 0. Is (-1 + 2)*(-1 + d) composite?
True
Let i = 1 - 0. Let l(d) = -1 + 164*d**3 + 2 - d**2 + 2*d - 3*d. Is l(i) prime?
True
Suppose q - 4*q + 6295 = b, -10503 = -5*q + 4*b. Is q prime?
True
Let l(p) be the second derivative of 0 + 7/2*p**2 - 3*p + 1/6*p**3. Is l(12) composite?
False
Suppose 0 = b + 2*b - 381. Suppose -l - b = -2*l. Is l a composite number?
False
Let x be 52/((-23)/(-7) + -3). Is ((-6)/3)/((-4)/x) a composite number?
True
Let i = -223 + 65. Let d = i - -241. Is d a prime number?
True
Let z(m) = -m**3 - 6*m**2 - 2*m - 11. Let f be ((-14)/(-21))/(1/3). Suppose -f*u - 22 = -6. Is z(u) composite?
True
Suppose 6*l - 2*l = 8. Suppose 82 = l*b + 16. Let y = b + -10. Is y a composite number?
False
Is (-571)/(-3) + 26/39 prime?
True
Suppose -4*z = 5*p - 139, -6*p + 4*p = -4*z + 118. Is z prime?
True
Let t(y) = -4*y + 2. Let p(k) = 7*k - 3. Let r(o) = -3*p(o) - 5*t(o). Let i be r(-3). Suppose 0 = i*l + 3*m - 329, -5*l + 154 + 663 = 2*m. Is l composite?
False
Let a(l) = l**2 + 2. Let u be a(0). Suppose -u*m + 4*m + 384 = 2*y, 5*m = -25. Is y prime?
False
Suppose -d = -3*d + 6. Is (1240/(-24))/((-1)/d) a prime number?
False
Let j(c) = 6*c + 12. Let u be j(4). Suppose -3*x = 5*k + 14, 2*k - 12 = 2*x + 6*k. Let w = x + u. Is w a prime number?
False
Let a = -1345 + 2348. Is a a composite number?
True
Let h = -10 - -8. Is ((-110)/3)/(h/3) a composite number?
True
Let t(g) = g**3 + g**2. Let z be t(0). Suppose -3*h + 4*x = -5, z = -2*h - 6*x + 2*x + 10. Suppose r = -h*r + 124. Is r composite?
False
Suppose 4*j - 2*b = 1102, 5*j - j = -4*b + 1132. Is j a composite number?
True
Suppose 0 = 3*t + 5*b - 404, 3*b - 18 = -6. Let r = 197 - t. Is r a composite number?
True
Let d = 2454 - 655. Is d composite?
True
Let h(o) = o**3 + 7*o**2 - 7*o - 10. Let t be h(-7). Is (-22)/((18/t)/(-3)) composite?
True
Suppose 1 = w + 4*c - 2, -c = w. Is (10/4)/(w/(-26)) a prime number?
False
Suppose -v = 6 + 20. Is (v/(-39))/(4/1602) composite?
True
Let x(w) = -w + 7. Let p be x(9). Let b = p - -2. Is 2/6*b - -10 a prime number?
False
Is (2712/9 - -1)*(19 + -4) a composite number?
True
Suppose -u - 3 = -1. Let g = u + 14. Suppose -3*c = -0*c - z - g, 3*z = -4*c + 3. Is c a prime number?
True
Let f = -4 - -7. Let o be (-212)/f - 4/(-6). Let h = o + 104. Is h a prime number?
False
Is (-36320)/(-56) + (-3)/(-7) a prime number?
False
Let t be ((-64)/(-12))/((-2)/(-3)). Let j = t - 3. Suppose 5*i - j = 0, 2*r - 4*i = 3*r - 14. Is r a composite number?
True
Suppose -9*n = -0*n - 3429. Is n prime?
False
Suppose -3*h = 2*n - 3783, 5*h + 3*n - 5045 = h. Is h prime?
True
Suppose -3*h - 2*h - 2*n = -3908, 0 = 4*h - 5*n - 3100. Suppose 3*q + q = h. Suppose 0 = -3*s + 6 + q. Is s prime?
True
Let u(q) = q**3 + 2*q**2 - 16 - 11*q**2 + 5. Let z(l) = -6*l + 52. Let t be z(7). Is u(t) a prime number?
True
Let o(d) = -d**2 - 1. Let g(h) = -h**2 + 18*h - 9. Let j(n) = -g(n) + 2*o(n). Suppose -2 = -4*p - 42. Is j(p) a prime number?
False
Let v be (-2*(-4)/(-2))/1. Let h = 14 + -4. Is 68/5 - v/h prime?
False
Suppose -7*l - 59 = -6*l. Let p = 90 + l. Is p a prime number?
True
Let u(v) = 5*v**2 + 7*v - 7. Is u(-6) prime?
True
Let u(z) = 48*z**2 - 6*z - 31. Is u(-7) composite?
True
Let b(a) be the second derivative of 7*a**4/6 - a**3/6 + a**2/2 + 3*a. Is b(-2) a prime number?
True
Suppose -5*v + 815 = -0*v. Is v composite?
False
Let r be (-2)/(-10) - 108/15. Let n be r/(-2)*(13 - 3). Suppose -j + n = -0*j. Is j a composite number?
True
Is 3/9*1*93 prime?
True
Let q(t) = 8*t - 7. Is q(7) a prime number?
False
Suppose -19 = -4*g + 105. Is g a composite number?
False
Let b(o) = 3*o**2 - 11*o + 5. Suppose 3*n - 32 = -n. Is b(n) a composite number?
False
Is (5384/(-3))/(-1) + (-51)/(-153) prime?
False
Let j = -84 + 347. Is j prime?
True
Suppose 4 = -2*x - 0*x, w = 3*x + 6. Let q(j) = -j**3 - 2. Let f be q(w). Is f/(6/(-477)*3) prime?
True
Let l = 192 + 155. Is l composite?
False
Suppose -4*i - 314 = -u, -145 = -4*u - 4*i + 1091. Let q = 437 - u. Is q composite?
False
Suppose y - 576 - 308 = 0. Suppose 0 = -4*q + y + 2376. Is q a composite number?
True
Let z(k) = 3*k**3 + 12*k + 1. Is z(6) prime?
False
Suppose -6*a + a - 5 = 0. Let j(o) = 13*o - 1. Let l be j(a). Let d = 7 - l. Is d a prime number?
False
Let q be -3*41/(-6)*-8. Is -3 - (-3 + q) - 1 a prime number?
True
Suppose 2*n - 6 = 5*n. Let t(l) = 23*l**2 - 3*l - 1. Is t(n) prime?
True
Let y = 11 - 36. Let u = -231 + 333. Let o = y + u. Is o a prime number?
False
Suppose -3*h - 7 - 5 = -5*o, -3*o - 5*h = -14. Let q = -3 + o. Suppose -3*p + 12 = q, -5*p = 4*i - 3*i - 46. Is i a prime number?
False
Let o(u) = u - 2. Let f(d) = -d**3 + 3*d**2 + 6*d 