= 0, 5*r - 4*o = 2760. Let d be 0 - 1 - (-580 + 2). Suppose 0 = 4*c + l - d, -3*c = -7*c + 4*l + r. Is c composite?
True
Let h(z) = 6*z**3 + 1. Let d be h(-1). Let q(b) = 6*b**2 - 13*b - 4. Is q(d) composite?
False
Let t(i) = 10*i**2 - 11*i + 3 - 4*i**2 + 6*i**2 - i**3. Let b be t(11). Is (7 - b)/(-2) - -85 a prime number?
True
Let i = 41 - 10. Suppose -1292 = 27*x - i*x. Is x composite?
True
Suppose -6*q + 3627 - 1167 = 0. Suppose 4*x - 15 = -v + 2*v, 2*x - 20 = -2*v. Suppose -7*m + q = -v*m. Is m composite?
True
Let b(q) = 19*q**3 - 6*q**2 + q + 13. Is b(6) a prime number?
True
Let b(y) = 194*y**2 - 107*y**2 + 4 + 5 + 14*y. Is b(-4) composite?
True
Let c(h) = h**2 - 12*h + 4. Let o be c(11). Let q = 11 + o. Is 2934/5 - q/(-20) a prime number?
True
Suppose 8*i - 10*i + 46195 = 3*w, i - 3*w - 23084 = 0. Is i prime?
False
Let i be 1/(27/6) + (-13360)/18. Let q = i + 2307. Is q a prime number?
False
Let f = 20440 + -12021. Is f a prime number?
True
Suppose -6 = 3*y, -h = -5*y - 69 + 4. Let g = 76 - h. Is g prime?
False
Let f = -13 - -13. Let y = f + 0. Suppose -5*k - 3*o + 178 = y, -k - 54 = -2*k + 4*o. Is k prime?
False
Let c be 33 + (6/(-5))/((-6)/(-15)). Is (-1)/5 - (-68616)/c a composite number?
False
Suppose -8*u - 13178 = -34898. Suppose 3*n = -9, 0*h + 3*h - 4*n = u. Is h a prime number?
False
Is 591/2 - 52/104 prime?
False
Suppose 199*v + 547131 = 238*v. Is v prime?
True
Let t(w) = -w - 9. Let v be t(-8). Let o be v*2/(-4)*8. Suppose 5*q - o*u = 1525, 0 = -3*q - u + 436 + 462. Is q composite?
True
Let z(o) = 10199*o**2 - 18*o - 33. Is z(-2) composite?
True
Suppose 63 + 9 = 8*c. Suppose -4249 + 730 = -c*v. Is v a composite number?
True
Suppose 2*k = -0*k - 12. Let c(t) = -3*t**3 + 5*t**2 - 3*t + 7. Is c(k) a prime number?
True
Let s(t) be the second derivative of -t**5/20 - 7*t**4/12 + 8*t**3/3 - 11*t**2/2 - 2*t. Is s(-12) composite?
True
Let d = 13 - -162. Let z(b) = -b**3 + 15*b**2 - 9*b - 14. Let i be z(12). Suppose -5*j + i = -d. Is j prime?
True
Suppose 5*h + 11715 = 10*h. Suppose 0 = -4*w + 5*p + h, -2*w + 3*p + 1224 - 53 = 0. Is w prime?
True
Suppose 0 = 6*v - 2364 - 68742. Is v prime?
False
Suppose -3*h - q + 12625 = 0, 12641 = -h + 4*h + 5*q. Suppose -f - h + 287 = -4*k, 5*k = -5*f + 4875. Is k a composite number?
True
Suppose 5*u - 4*x - 92 = 0, 0*x - 25 = -u + 3*x. Let f = -10 + u. Is (-2)/f - 106/(-3) a composite number?
True
Let u(i) = 2*i**3 + i**2 - i - 1. Let y be u(-5). Let c = -551 - y. Is 6*(c/(-9) + 1) composite?
True
Let k be 11/4 + 9/(-12). Suppose 5*d - k = 4*x - 7, 3 = d. Suppose -x*o + 2*o + 93 = 0. Is o prime?
True
Let w be 8 - (-2 + 5) - 0. Suppose 390 + 220 = w*c. Let q = c + -45. Is q a prime number?
False
Suppose 9*x - 285 = 4*x. Let o = x + 154. Is o a prime number?
True
Let s be (-2)/2*188 + -1. Is (-7578)/(-14) + 54/s prime?
True
Let s(n) = 308*n**2 - 6*n + 1. Let w(g) = 308*g**2 - 5*g + 1. Let a(k) = -3*s(k) + 4*w(k). Is a(1) a composite number?
False
Let p(v) = 17*v**2 - 12*v. Suppose -o + f - 6 = 0, 0 = -3*o - 4*f - f - 10. Is p(o) a prime number?
False
Let d = 56 + 189. Suppose -d = -3*s - 80. Is s composite?
True
Let m = 14323 + -4704. Is m prime?
True
Suppose -41 = -2*r + 127. Let q = r + 327. Is q composite?
True
Suppose -11*x + 95023 = -353931. Is x a prime number?
False
Suppose 2 + 16 = 4*y + g, 0 = -3*y + 4*g + 23. Let t(r) = -3*r - 4. Let x be t(-6). Let p = y + x. Is p prime?
True
Let h(s) = s**3 + 41*s**2 - s + 103. Is h(-36) prime?
True
Let m = 9307 + -4598. Is m a composite number?
True
Suppose -z + 201 + 224 = 0. Suppose -4*r + z = r. Is r a prime number?
False
Let i(k) = 56*k**2 - 8*k + 36*k**2 + 49*k**2 + 3*k - 7. Is i(-3) a composite number?
False
Suppose 0 = -10*j + 8*j + 472. Suppose -419 = -5*k + j. Is k a composite number?
False
Suppose -15*t = -92756 - 103759. Suppose 0 = 10*s + s - t. Is s composite?
True
Let h(k) be the second derivative of 5*k + 29/6*k**4 - 1/3*k**3 + 0 - 1/2*k**2. Is h(-1) prime?
True
Is 199/(5 - 238/49) a composite number?
True
Suppose -5*f = -22593 - 23962. Is f prime?
True
Let m(s) = -5*s**2 - 3*s - 11. Let u(g) = 11*g**2 + 5*g + 22. Let h(i) = -7*m(i) - 3*u(i). Let j = 1859 + -1851. Is h(j) a prime number?
False
Let t = 92571 - 50990. Is t a composite number?
True
Let u be -2 + -2 + 2 - -1*2. Let s(z) = z**3 - z + 1471. Is s(u) a prime number?
True
Suppose 3*z + 5*u - 11364 = 0, -3*u - 2174 = 5*z - 21130. Is z a composite number?
False
Let h be 242 - (6/(-4) + 1/(-2)). Let d = -126 + h. Is d a prime number?
False
Let g be 0 - -18 - (0 + -4). Let s = g - 13. Suppose -5*v - 1780 = -s*v. Is v a prime number?
False
Suppose -271761 = -314*a + 293*a. Is a a prime number?
True
Let f(l) be the first derivative of 7*l**4/2 + l**2 + 3*l + 21. Is f(2) composite?
True
Is (-209930)/(-110) - (-18)/33 prime?
False
Let z = 1532 + -885. Is z a prime number?
True
Suppose -3363 = 4*k - 27559. Is k composite?
True
Let x = 17158 - 10999. Is x prime?
False
Suppose 3*n = 4*b + 24483, -5*n = 5*b - 3*b - 40805. Is n composite?
False
Let a = -3468 + 31549. Is a prime?
True
Let z = 8 - -54. Suppose -h + 39 = -z. Let m = h + 62. Is m a composite number?
False
Suppose -7*j = -8*j + 12. Let q = j + -2. Is ((-5020)/q)/(4/(-2)) composite?
False
Let i = 634 + 1015. Is i a composite number?
True
Let p be 6/33 + 20/11 + 2. Suppose p*v + 22529 = 17*v. Is v composite?
False
Let r(q) = 4*q**3 - 11 - 9*q**2 - 6 - 70*q + 73*q. Is r(6) a composite number?
False
Let h(b) = -b**3 - 38*b**2 - 10*b + 6. Is h(-38) prime?
False
Suppose -69 = -5*i + 5*a + 91, -i - 2*a = -47. Is i a composite number?
False
Suppose 0 = 5*a + 15, 5*h - 2*a + 5 = 21. Suppose -h*l = -8 + 2. Let r(x) = 14*x**2 - 4*x + 4. Is r(l) a prime number?
False
Let c be -1 - ((4 - 16) + 3). Suppose c*m - 11*m = -5793. Is m a composite number?
False
Suppose o = -5*h - 12, 0 = -10*o + 5*o - 5*h. Is (o - 1) + 231 - 0 a prime number?
True
Let z = -317 + 710. Let q = z - 235. Is q prime?
False
Let p(z) = 45*z**3 - 8*z**2 - z - 10. Let n be p(-6). Let o be (-3)/9 - n/(-6). Is (-17)/102 - o/6 a prime number?
False
Let x(m) = -m**3 + 3*m**2 + 2*m + 7. Let d be x(4). Let o be d/(-2) - (-1)/(-2). Suppose 5*a - 1202 + 117 = o. Is a a prime number?
False
Suppose -9372 = -17*h + 5*h. Is h a composite number?
True
Let m be ((-9)/(-15))/((-2)/(-20)). Suppose 3*t - m*t = -54. Let g = t + 49. Is g composite?
False
Let u(l) = -l**3 + 31*l**2 + l + 85. Is u(26) a prime number?
True
Suppose 746*c + 130035 = 749*c. Is c composite?
True
Suppose -r = -8*c + 12*c - 51275, 5*r - 51271 = -4*c. Is c composite?
True
Suppose -2*z = 2*z - 5*j + 39, 0 = -z + 4*j - 18. Let t(i) = -7*i**3 + 6*i**2 + 3*i - 1. Is t(z) a composite number?
False
Let u = 15511 + -5628. Is u a composite number?
False
Suppose -46435 = -8*y + 12917. Is y a prime number?
False
Let y(j) = j**3 - 2*j**2 - 7*j + 3. Let b be y(5). Suppose b + 103 = s. Is s prime?
False
Let b = 6 + 2. Suppose b = -2*a, 2*z + 4*a = 5*z - 1768. Let l = z - 111. Is l a composite number?
True
Let j be 7905/(-6) - (-5)/(-40)*4. Let z = -399 - j. Is z a prime number?
True
Let j(s) = -s**2 - s + 30. Let l be j(0). Suppose 2*w + d - 10 = 0, -3*w - 3*d = 1 - 10. Let i = l + w. Is i composite?
False
Let w = 34118 + -23317. Is w prime?
False
Suppose 0 = 2*w - 2. Let a be (-2 + 2)/(w - -1). Suppose -b - 69 = -l - a*l, -5*l + 333 = -2*b. Is l a prime number?
False
Let p(a) = 5*a**3 - 10*a**2 - 23*a - 15. Let h(t) = 4*t**3 - 10*t**2 - 22*t - 15. Let z(n) = -4*h(n) + 3*p(n). Is z(10) composite?
True
Let g(o) = 80*o**3 + 3*o**2 - 3*o + 1. Let m be ((-36)/(-48))/(1/4). Is g(m) a prime number?
True
Suppose y - 119 = 19. Suppose -6*v = -y - 12. Is v a prime number?
False
Let g = -31 + 43. Let h = g - 12. Suppose h = t - 4*t + 1455. Is t a prime number?
False
Suppose 6*y - 22 - 26 = 0. Suppose -y*f + 4605 = -5*f. Is f composite?
True
Let l = 293 + -495. Let x = 843 + l. Is x a prime number?
True
Suppose 4*r - r = 9. Suppose -4*w = r*f + 8, -w - 4 = w + 4*f. Is 1*w*605/(-10) composite?
True
Let m be 2/(-4)*(7 + -9). Let o(g) = 53*g**2 - 3*g + 1. Is o(m) prime?
False
Let y(n) = n**3 - 4*n**2 - n. Let p be y(3). Let h(d) = -44*d + 13. Let l be h(p). Suppose -5*s + l + 954 = 0. Is s composite?
True
Let m(b) be the third derivative of 1/