ite?
True
Let g(o) = o**3 + 6*o**2 + 8*o + 3. Let c be g(-5). Let l(q) = -q**3 - 9*q**2 - 3*q + 9. Let v(x) = x + 1. Let a(u) = l(u) - 2*v(u). Is a(c) composite?
False
Suppose 4*z - 2*p - 303 = 1207, 2*z - 4*p = 764. Suppose 3*l - 21*d + 97 = -17*d, 5*d + 25 = 0. Let i = l + z. Is i a prime number?
True
Let a(c) = -145*c - 3. Suppose -4*y + 5 = -5*d, -2*d + 3*y = -2*y + 2. Is a(d) composite?
True
Let g(r) = 548*r + 37. Is g(8) composite?
False
Suppose 20 = 101*h - 96*h. Suppose h*b = b + 10473. Is b a composite number?
False
Suppose -5*j - 11109 = -39224. Is j a composite number?
False
Suppose 0 = 32*w - 29*w - 15. Suppose 4*i + 293 = w*i. Is i a prime number?
True
Let v(b) = 4*b**2 + 40*b + 117. Is v(-26) a prime number?
False
Is -2722*((-105)/90 + 6/9) prime?
True
Let t(o) = 10*o**2 - 53. Is t(-20) prime?
True
Let p(t) = 31*t**3 + 10*t**2 - 10*t - 2. Let b(m) = 92*m**3 + 29*m**2 - 29*m - 5. Let c(u) = 6*b(u) - 17*p(u). Is c(3) a prime number?
False
Let q(u) = 40*u + 40 + 74*u + 1. Is q(5) a composite number?
True
Let w = 871 + -31. Let o(q) = 40*q**2 - 7*q + 5. Let b be o(6). Let t = b - w. Is t a composite number?
False
Suppose -400*b + 401*b - 10081 = 0. Is b a prime number?
False
Let s(l) = 339*l**2 - 76*l + 803. Is s(12) prime?
False
Let z = 95 + -22. Let a(x) = 6 + 6 + z*x - 19*x + 7. Is a(7) a prime number?
True
Let r(u) = 8*u**3 - 5*u**2 - 8*u + 81. Is r(10) a composite number?
True
Suppose 5*y = a - 4*a + 27, 2*a + 26 = 4*y. Suppose -y*o = o - 3409. Is o a prime number?
True
Let l be -1 + (-102)/(-21) + 1/7. Suppose -y + l*y = 2337. Is y prime?
False
Suppose -1088 = 2*y - 5636. Is (-1)/(-2*3/y) a composite number?
False
Suppose 5*n = n - 20. Let b(g) = 0*g**2 - 3 - 6*g + 0 - g**2 - 7*g. Is b(n) prime?
True
Is -1*((3 + -6 - 2739) + -1) composite?
True
Let l(q) = -q**3 - 8*q**2 + 3*q - 48. Let f be l(-9). Let r(u) = 2065*u**2 - u + 1. Let w be r(1). Suppose n = f*n - w. Is n a prime number?
False
Let x = -5 + 10. Suppose 2*f - x = f. Suppose f*s - 1304 = -4*r, -7*s - 20 = -2*s. Is r composite?
False
Let i = -43 - -122. Let a = i + -53. Is a a prime number?
False
Let c(g) = 3976*g + 1. Let i be c(1). Let l = i + -2650. Is l composite?
False
Suppose -14*v - 6525 = -3*b - 17*v, -5*b + 10835 = -5*v. Is b composite?
True
Let u = 62 - 22. Let z be ((-20)/u)/((-2)/8). Is z*(-90 - 4)/(-2) a prime number?
False
Let u(c) be the third derivative of 31*c**4/4 + 5*c**3/6 + 4*c**2. Is u(2) composite?
True
Let g(a) = -19*a + 6 - 4 - 4*a + 1. Suppose -f - 2*f = 12. Is g(f) prime?
False
Suppose 58 = 5*q + 4*u, q + u - 22 = -q. Let c be (-12728)/(-20) + (-4)/q. Let v = c - 445. Is v composite?
False
Suppose 5*i = -2*d - 28, -5*i = -8*i + 6. Is (d + 20)/((-114)/(-113) + -1) a composite number?
False
Let j(x) = 21*x**2 + 14*x + 82. Is j(21) prime?
False
Suppose 5*i - 46684 = q, -3*i + 5*q + 40237 - 12231 = 0. Is i a prime number?
True
Let n be (-4)/3*-3 - 2. Suppose 6 = -4*z - n. Is (9/6 + z)*-106 a prime number?
True
Suppose -l + 20 = -37. Suppose l = 2*s - 125. Suppose 0*m - r - 83 = -m, -m = -3*r - s. Is m a composite number?
False
Suppose -7*k + z = -2*k - 4205, -z + 847 = k. Suppose -5*u - r + 1059 = -3*r, 4*u + r = k. Is u prime?
True
Let i be (-4)/26 - 5*(-8406)/(-585). Let t = 13 + -8. Let b = t - i. Is b composite?
True
Let y = 51014 - 16233. Is y a composite number?
False
Is (1/(15/(-6)))/(32/(-2780560)) prime?
True
Suppose -12 = 4*x - 4*u, -4*x + 1 - 5 = -2*u. Let q(y) be the first derivative of 139*y**4 - y**2/2 + 2*y - 8. Is q(x) prime?
True
Let i(r) = -r**2. Let w(y) = 12*y**2 + 3*y - 7. Let q(t) = -2*i(t) - w(t). Let x be q(-5). Let a = -95 - x. Is a a prime number?
False
Let o be (18/15)/((-3)/10). Let g(n) = 5 + 11*n**2 + 0*n**2 - 6*n**2 + 5*n + 2*n**2. Is g(o) composite?
False
Let l(p) = -34*p**2 + 2*p - 1. Let d be l(1). Suppose 20*y - 25*y - 50 = 0. Let h = y - d. Is h prime?
True
Let h be (-2)/(-8) + (-190)/(-40). Suppose -2*b + h*b = 0. Let s(l) = l + 25. Is s(b) a prime number?
False
Let n(a) = 55*a**3 + 11*a**2 + 6*a - 3. Is n(10) composite?
True
Let n(r) = -r**2 + 2*r + 326. Is n(0) a composite number?
True
Let z = -19 + 39. Let t = -10 + 14. Suppose -t*a + 104 = -z. Is a a composite number?
False
Suppose -7*w = -11904 - 815. Is w a prime number?
False
Let l(r) = -12*r - 22. Let c be l(-4). Suppose c = 3*x - 967. Is x a prime number?
True
Let x(z) = z**2 + z - 31. Let a be x(0). Let l = -43 - a. Let r = 26 - l. Is r a composite number?
True
Let d = 0 - -10. Suppose -2*y + d = -4*y. Let z(x) = 13*x**2 - 6*x. Is z(y) a prime number?
False
Suppose 0 = -11*j - 118944 + 409993. Is j a prime number?
True
Let y(w) = 18*w**2 - 5*w + 97. Is y(10) prime?
True
Let q(k) = 23*k**2 - 3*k + 6. Let j(r) = r - 19. Let v be j(14). Let n be q(v). Suppose 5*x - 745 = 2*l, 4*x + 2*l - n = -3*l. Is x composite?
False
Suppose 0 = -2*i - 1 + 5. Suppose -4*p + 160 = -0*v + v, -i*v = -4*p + 160. Suppose -2*l + 238 = 4*r, 2*r = 5*l - p + 129. Is r prime?
False
Suppose 8*x - 1236 = 9*x. Suppose 0 = -2*p, -2205 = 2*y + y - 5*p. Let d = y - x. Is d prime?
False
Let u(r) = 22*r + 14. Let f(w) = 11*w + 7. Let v(n) = 5*f(n) - 3*u(n). Let j be v(-8). Let a = 132 - j. Is a a prime number?
False
Let d(b) = -b**2 + 18*b - 54. Let z be d(14). Suppose z*n - 12550 = -8*n. Is n a composite number?
True
Let s be (1 - 0)/((-11)/(-55)). Suppose -5*t + 5*z = -745, -t - 447 = -4*t + s*z. Is t prime?
True
Suppose -2*g = 2*g - 2536. Suppose 4*q - 1130 = g. Let o = -312 + q. Is o prime?
False
Let n(c) = -3*c**3 - 17*c**2 - 16*c - 25. Let t be 2 + (-13)/1 - (0 + 1). Is n(t) a prime number?
True
Let n = -1298 + 4437. Is n prime?
False
Let h(q) be the second derivative of 157*q**3/2 - q**2 + 14*q. Let u be h(4). Suppose 2*y - 108 = u. Is y prime?
False
Suppose -4*x + 18072 = -2*x. Is ((-14)/6)/((-12)/x) composite?
True
Let a be 6*2/(-8) + (-3)/(-2). Suppose a = -5*w + 2266 - 311. Is w a prime number?
False
Let x be (-2)/5 + (-6)/10. Is (-3)/15*485/x a prime number?
True
Let g be (16/10)/((-4)/1910). Let w = g + 1231. Is w a prime number?
True
Suppose b = 4*b + 3*q + 432, 5*q = -4*b - 571. Let p = 175 + -247. Let l = p - b. Is l a prime number?
False
Suppose -5*j + 14 = -0*p - 3*p, 3*p - 18 = -3*j. Is 522/24*p*44/6 a prime number?
False
Let v = -131 - -135. Suppose -3019 = -2*g - 13*q + 10*q, -5*q = v*g - 6033. Is g composite?
True
Let d(j) = -j + 1. Let b(c) = 3*c**2 + 6*c - 2. Let w(p) = b(p) + 3*d(p). Suppose 13 = -4*f - 11. Is w(f) composite?
True
Let u(l) = 517*l - 537. Is u(40) a composite number?
False
Let m(z) = -z - 9. Let i(s) = -4*s - 28. Let q(o) = -2*i(o) + 7*m(o). Let v be q(7). Suppose v = -g + 2*g - 53. Is g composite?
False
Suppose -5*h - 155582 = -19*h. Is h composite?
False
Let x(v) = v**3 - 19*v**2 - 36*v - 5. Let q be x(27). Suppose -3*c = c - m - q, 5*c + m = 6062. Is c composite?
False
Let d be (-2)/8 - 513/12. Suppose -290 = -5*o + 8*o - s, 4*o + 3*s = -404. Let m = d - o. Is m composite?
True
Let m(z) = -z**2 - 5*z - 4. Let t be m(-3). Let b be ((-18)/4)/(t/(-4)). Suppose 4*j = b + 31. Is j composite?
True
Let t(u) = 18*u**2 - 68*u + 65. Is t(-18) a prime number?
True
Let g = 4278 - -2189. Is g composite?
True
Let f(s) be the third derivative of 17*s**8/1440 + s**6/720 - 3*s**5/20 + 10*s**2. Let v(t) be the third derivative of f(t). Is v(-1) a prime number?
True
Let b be (3/2)/(12/16). Suppose b*l = -0*l + 158. Is l a prime number?
True
Let c = 569 + -276. Is c a composite number?
False
Suppose 0 = -6*m + 9*m. Suppose -3*u - 48 = -i, m*u + 3*i = -4*u - 51. Is (5/u)/(1/(-933)) a composite number?
False
Suppose 0 = 4*y - y + 6, -4*y = -a + 13. Suppose -3*w + 2*m = -2443, -5*w - m + 4071 = -a*m. Suppose 0 = 2*x - x - w. Is x prime?
False
Suppose -5*a - 3*l - 1557 = -47333, -a + 8*l + 9181 = 0. Is a composite?
False
Let o(h) = h**3 + 24*h**2 - 20*h + 8. Is o(-11) composite?
False
Suppose -338 = -9*t + 292. Suppose -2*j = -0*j - t. Is j prime?
False
Is (-2924 + 3)/(23/(-23)) a prime number?
False
Suppose -2*u + 4*i - 2 = 4, 0 = -2*u - 3*i + 22. Let q(f) be the second derivative of f**4/12 - f**3/6 - f**2/2 - 2*f. Is q(u) a composite number?
False
Suppose l + 192 = 3. Let p be 2/5 + l/135. Is 80 - ((-1)/1)/p a composite number?
False
Is (-14)/(-3)*(58558/4 - 