) = -3*y**3 + 21*y**2 - 11. Let a(l) = 2*o(l) - p(l). Is a(22) prime?
False
Let x(l) = 2304*l**2 - 4*l + 5. Is x(-2) a prime number?
False
Suppose -3*w + 17 = 29. Let v(c) = 212*c**2 + 8*c + 17. Is v(w) composite?
True
Let v be ((-24)/(-5))/(26/4095). Let u = 1273 - v. Is u composite?
True
Let a(r) = -30*r + 2. Let i be a(-2). Let t = 34 - 18. Suppose -t = b - i. Is b prime?
False
Let c(q) = 2*q**3 + 7*q**2 - q + 8. Let p be c(5). Let z = 606 - p. Is z a prime number?
False
Suppose -2*p + 7*p - 25 = 0. Suppose -f + p = 1. Let d(o) = 2*o**3 + 5*o**2 - 3*o - 5. Is d(f) composite?
False
Suppose 3054 = 2*a - 2*s, 2*a - s + 4593 = 5*a. Let x = -224 + a. Is x prime?
False
Let q = -13 - -6. Let c = -5 - q. Suppose y + 3*y - 556 = -4*w, 8 = -c*y. Is w composite?
True
Suppose 14*g - 5*g - 45 = 0. Suppose s + 2608 = g*s - 4*v, -5*s - 4*v + 3287 = 0. Is s composite?
True
Let f(r) = -372*r**3 + 4*r**2 + 5*r. Let u be f(-6). Let m be u/102 + 2/17. Suppose -m = -6*d + 105. Is d prime?
True
Let f(t) = t + 1. Let m(n) = 734*n - 3. Let r(p) = -2*f(p) - m(p). Is r(-1) a composite number?
True
Let o be (0/(-2) - 0)/1. Suppose 2765 = 4*u - 3*s, o = -u - 3*s - s + 677. Is u a composite number?
True
Let j(d) = d**3 + 2*d**2 - 2*d + 422. Is j(0) prime?
False
Let h = -22 + 34. Suppose h*m + 368 - 3020 = 0. Is m prime?
False
Suppose 0 = -5*g - 10, -3*i - 2*g + 6 = 2*i. Suppose -n = i*n - 15. Suppose n*f - 7*b - 135 = -2*b, 0 = 3*f - 4*b - 83. Is f a composite number?
True
Let w(m) = 13*m**3 + 14*m**2 + 4*m - 4. Let a(f) = -7*f**3 - 7*f**2 - 2*f + 2. Let r(l) = -5*a(l) - 3*w(l). Is r(-5) a prime number?
True
Let l(n) be the first derivative of 185*n**2 + n - 2. Suppose 0 = 2*c + 5*q - 17, -5 = 4*c + 2*q - 15. Is l(c) a composite number?
True
Let y(b) = -b**2 + b + 5. Let n be y(0). Suppose 2*g + n*k = 6*g - 15544, 4*k + 11659 = 3*g. Is g a composite number?
False
Let j = 82 - 58. Let a = j + -16. Is (263/(-4))/((-2)/a) composite?
False
Let z = 12253 + -3596. Is z a composite number?
True
Suppose 0 = -6*u + 7*u - 476. Suppose 7*a - 4*a - u = 5*n, -4*a = -n - 629. Is a prime?
True
Suppose -r + 0*r + 15511 = 0. Is r composite?
False
Is 55795/10*-2*-3 a composite number?
True
Let j(r) = 3 + 13*r - r**2 - 5*r + 2*r**2. Let l be j(-7). Is 592 + (-3)/3 + l a composite number?
False
Suppose 27 + 3 = -6*c. Let k = -5 - c. Let b(o) = -o**2 + o + 31. Is b(k) a composite number?
False
Let u(s) be the third derivative of s**6/40 - 3*s**5/20 + s**4/4 - s**3/2 + 22*s**2. Is u(4) a prime number?
False
Let m(w) = -36*w**3 - 2*w**2 - 6*w - 17. Is m(-6) composite?
False
Suppose 8*q - 244 = 3588. Is q a prime number?
True
Let l = -7812 + 26651. Is l prime?
True
Suppose 5*k - 4*k = 0. Suppose -w + h + 585 = k, -4*h + 1146 = 2*w - 0*w. Is w a prime number?
False
Let q(s) = s**3 - 13*s**2 - 29*s. Let l be q(15). Is 3/(l/(-3235)*(-4)/4) prime?
True
Suppose -4*x + 4*g = -6336, 0 = 5*x + 8*g - 10*g - 7917. Is x composite?
False
Let x(u) = 52*u**2 + 38*u + 83. Is x(-8) a prime number?
False
Let x(h) = -11*h + 32. Let d be x(2). Suppose 2*r + 212 - 650 = 0. Suppose -d = q - r. Is q a composite number?
True
Suppose 113*p + 5998 = 115*p. Is p a composite number?
False
Suppose 4*u + d = 15733 + 86192, -3*u + 76439 = -4*d. Is u a prime number?
False
Suppose 0 = -81*y + 57*y + 342552. Is y composite?
True
Is 11 - (-1 + 1 - 18024) composite?
True
Let g be (-6783)/(-17) - (-3 + -1). Suppose g = -9*h + 2410. Is h composite?
False
Let p(a) = 22*a**2 + 35*a - 82. Is p(-25) a prime number?
False
Let r = 13 - 9. Suppose 4*o - r*q = 48, 2*q = -3*o - o + 42. Suppose 0 = -n + 4*w + 6 + o, 4*n - 3*w - 55 = 0. Is n composite?
False
Let k be (117/(-27))/((-10)/(-12))*-35. Let g = k + -123. Is g a prime number?
True
Let d be 4/5*20/8. Suppose -d*y = -2*v - 592, v + 861 + 31 = 3*y. Is y prime?
False
Let h be 260/60 - 2/6. Suppose t - 4 = 2*j, -4*j + 0*t = h*t + 20. Is j - 161*(-3)/3 prime?
False
Suppose 3180 = p + 3*a, 3*p - 4*a = -2*p + 15957. Suppose p = -4*q + 33. Let r = 90 - q. Is r a prime number?
False
Let h be (15/10)/((-9)/84). Let p be h/(-4)*96/112. Suppose 4*n - 2*s = -680 + 2062, p*n = 5*s + 1026. Is n a composite number?
False
Let x be -8*(25/4)/(-5). Let t = 2 + x. Suppose 13*c - 37 = t*c. Is c a prime number?
True
Let v be (-2 + 6 - 2) + 2. Suppose -4*f - 5*d - 6 = -0, v*f - 12 = 4*d. Is (1 - 4 - -262)*f composite?
True
Let i = 130 + -386. Let o(g) = 47*g**3 - g**2 + 2*g + 1. Let r be o(-2). Let n = i - r. Is n prime?
True
Suppose 5*o = 3*k + 8, -o + 5*k = 4*o. Suppose 0 = o*n + 3*n - 245. Is n a prime number?
False
Let v = 139 + -54. Suppose -3*t + v = y, 0 = -2*y - 5*t + 100 + 70. Is y a composite number?
True
Let v(c) = 278*c**2 + c. Let f be v(1). Suppose 0 = 4*o - f - 261. Let n = o - 56. Is n prime?
True
Let g(u) = -5*u**2 - 20*u - 10. Let i be g(10). Suppose a = -0*a - 1157. Let l = i - a. Is l a prime number?
False
Let f(b) be the first derivative of -7*b**4/4 - 5*b**3/3 + 9*b**2/2 + 2*b - 14. Let k be f(-7). Suppose k = 4*x + x. Is x prime?
True
Let k = -61695 + 88762. Is k composite?
False
Suppose -211 = 5*u + 169. Let c = u + 197. Suppose 4*f - 505 = d, 0 = -f - d + 3*d + c. Is f composite?
False
Let v(w) = -5 + 4*w**2 + 1 - 5*w**2 + 11*w - 16*w. Let n be v(-3). Suppose n*k = -3*o + 166, -2*k - 236 = -4*o - k. Is o a prime number?
False
Suppose -292 + 58 = -3*d. Let a = -100 - d. Is a/(-6 - (3 + -7)) a prime number?
True
Let m(p) = -6*p + 1. Let l be m(-4). Suppose -2*u + l = 117. Let d = u - -81. Is d a prime number?
False
Let p = 644 + 311. Is p composite?
True
Let p(f) be the first derivative of -26*f**2 - 7*f - 19. Is p(-23) composite?
True
Let m = 1272 - 515. Is m prime?
True
Suppose 51 = 5*y + 4*g - 314, -y = 4*g - 89. Let b = 454 + y. Is b prime?
True
Let k = 18 - -1. Is k a prime number?
True
Let d(f) = -905*f**3 - f**2 - 2*f - 5. Is d(-2) a prime number?
False
Let f(n) be the first derivative of n**2/2 + 11*n + 8. Let d be f(-6). Suppose 0*u + d*u = 1585. Is u prime?
True
Suppose 23420 = 8*v - 13*v. Let x = v - -6924. Suppose -2*k + x = -2*b, -3*k + k = 5*b - 2205. Is k a composite number?
True
Suppose 5*r - 35656 = 2*r - 5*g, -r = 5*g - 11882. Is r composite?
False
Let x = -715 + 1946. Is x a composite number?
False
Is -2 + 2/((-5)/((-359650)/4)) prime?
True
Let x be 0/((-13)/26 + 3/2). Suppose 0 = -2*l - 5*g + 752, x + 6 = 3*g. Is l a prime number?
False
Let j be ((-4)/4)/((-2)/(-6)). Let f be j + (-3 - -5) + 786. Let d = f + -366. Is d prime?
True
Let n = -95 + 494. Suppose -n = -z - 5*i, 7*i + 413 = z + 5*i. Is z a composite number?
False
Is (-40)/220 - (1027866/(-22) + -2) a composite number?
False
Suppose 9 - 29 = -5*f. Suppose -314 = -f*o - 54. Suppose 0*y + o = 5*y. Is y prime?
True
Let j = 7558 + -4483. Let u = j - 1088. Is u prime?
True
Suppose 0 = -0*i + i - 3. Let r(s) = -3*s + 0*s**2 - i*s + 4*s**2 - s**2 - 7. Is r(6) prime?
False
Let t = -4043 + 6502. Is t prime?
True
Let a = 196 - 107. Is a/2*2*1 prime?
True
Suppose -2*v - 759 = x - 1927, 5*x = -3*v + 1759. Let q = -328 + v. Let c = -164 + q. Is c prime?
False
Suppose -4*s = -24 + 4. Let w(p) = 2*p**3 - 5*p - 4*p**2 - 14 + 12*p**2 + 8. Is w(s) a composite number?
False
Let s be ((-84)/(-9))/((-2)/(-3)). Let d = s + 53. Is d composite?
False
Let p(g) = 78*g**2 - 7*g + 27. Is p(-10) prime?
False
Suppose 0 = -3*q - 3*m + 15372, 0 = -5*q + 12*m - 16*m + 25623. Is q a composite number?
True
Let z(j) be the second derivative of 1002*j**3 + 17*j**2/2 - 37*j. Is z(3) composite?
True
Suppose 14*l - 16*l = -4*q - 17306, 34672 = 4*l + 4*q. Is l a prime number?
True
Let m(c) = -24*c - 25. Suppose -22*v + 21 = -25*v. Is m(v) a prime number?
False
Let z(j) = 1 + 209*j - 327*j - 366*j. Let a be z(-1). Suppose 4*o - a = -t + 995, o - t = 375. Is o a prime number?
False
Let y(a) = 26*a + 3. Suppose -5*l - 4*l + 45 = 0. Is y(l) composite?
True
Suppose 3*g = -2*g + 300. Suppose -146 = -2*d + g. Is d prime?
True
Let o = -108 - -46. Let u be 2536/(-20) + ((-42)/(-15) - 3). Let i = o - u. Is i a prime number?
False
Let q(f) = 211*f**3 - f**2 + 4*f - 9. Is q(4) prime?
False
Suppose -4*g - 2160 = -9*g. Suppose -2*b + 113 = y, g = 4*y + 5*b - 2*b. Is (-14)/y - 9167/(-15) prime?
False
Suppose 0 = 27*l - 5*l - 754270. Is l composite?
Tru