2*v = 1190. Let k = i + 7721. Is k composite?
True
Suppose 0 = -108*k - 72823 + 807331. Is k a composite number?
True
Suppose -4*a = -6*o + o + 8916, 5*o + 2*a - 8892 = 0. Suppose -2*l = 2*l - o. Suppose -3*w - 3*p = w - l, -5*w = 2*p - 565. Is w a composite number?
True
Suppose -43*m + 60 = -47*m. Let l(y) = y + 18. Let h be l(m). Suppose -3*s + 7679 = -5*z + 3*z, 0 = -h*s - z + 7694. Is s prime?
False
Suppose h = -0*p - 4*p - 812, -5*h = -2*p - 406. Let c be -4 + 3 - 0 - p. Suppose 0 = -u + 509 - c. Is u a composite number?
False
Suppose 0 = -14*u - 1661 + 583. Is (-834204)/u - (105/(-33) + 3) a prime number?
False
Let t = -4907 + 7872. Is t composite?
True
Let m(o) = -o**2 - 20*o - 1. Let t be m(-20). Let k(d) = -3972*d**3 + 3*d**2 + 2*d. Is k(t) composite?
True
Let b be 2*(2 - (-485)/(-10)). Let q = b + 425. Suppose 3*s - 2329 - q = 0. Is s a composite number?
False
Let g = -72 - -74. Suppose 0 = -2*i + 3*i - 3*c - 2828, 0 = 2*i - g*c - 5644. Is i a composite number?
False
Let z(b) = -b**3 - 6*b**2 - 3*b + 11. Let a be z(-14). Suppose 62 = -3*k + 404. Suppose -3*p + 858 = -x - k, -5*p + a = -2*x. Is p a prime number?
False
Let h(g) = -g**3 + 33*g**2 + g - 25. Let z be h(33). Suppose 0 = z*r - 7*r - 29947. Is r a composite number?
False
Let x(i) = i**2 - 4*i - 7. Let t be x(-2). Suppose -6*j - t*j = -j. Suppose j = 11*q - 6*q - 35. Is q composite?
False
Let g(m) = 20*m**2 - 17*m - 11. Let x be g(-7). Let k = x - 651. Is k prime?
False
Let t = 6 - 17. Let q be (4/6)/(t/(-33)). Suppose -438 = -2*w - 4*o, -q*w + 5*o = w - 613. Is w a composite number?
False
Let q = 137205 + 80696. Is q a composite number?
False
Suppose 68*m = 25*m + 50018417. Is m a composite number?
True
Suppose -168*i - 611959 = -191*i + 2659768. Is i a prime number?
False
Let v = 241951 + -142938. Is v prime?
True
Let o = -76 - -79. Let b(u) = 3 + 2 + o*u**3 + 0 - u - 2*u. Is b(5) a composite number?
True
Suppose 46*y = 49*y - 3*f - 13704, 5*y - 3*f = 22838. Is y a composite number?
False
Let q(a) = -19*a - 67*a - 8*a - 23*a - 24*a + 68. Is q(-7) a composite number?
True
Suppose -2*y = -w - 5*y + 327715, 4*w - 3*y - 1310890 = 0. Is w a prime number?
True
Suppose -7*w - 1283170 = -67*w - 10*w. Is w prime?
False
Suppose -260086 + 640296 = -53*v + 63*v. Is v prime?
False
Let y = 154285 + -9768. Is y prime?
False
Let m(z) = -17*z**3 + 7*z**2 - 11*z + 11. Suppose 15*l = -61 - 89. Is m(l) composite?
True
Let r(q) = -78*q**3 + 33*q**2 - 66*q - 358. Is r(-25) a composite number?
False
Suppose 3*w = -3*n + 385417 + 637142, 0 = -2*w - 4*n + 681694. Is w a composite number?
False
Suppose -2*f + 8 = 0, 4*w + 2*f + 28 = 5*f. Let h be w + 2*(-2 - -7). Suppose 2*j - 1242 = -2*x, -x = 5*j - h*x - 3125. Is j a composite number?
True
Suppose -8*c = 278 + 242. Let b = 70 + c. Suppose 3*q + 328 = 6*q - 5*h, -5 = -b*h. Is q a composite number?
True
Suppose 9*a - 7*a = 5*i - 1562, -a - 625 = -2*i. Let z = i + -89. Is z a prime number?
True
Let s = 22 - -246. Let h = s + -77. Is h a composite number?
False
Suppose -4*k + 341 = 61. Is (-8586)/(-5) + (-14)/k composite?
True
Suppose 5*b - 7*y + 9*y = 6, 0 = -3*b + 5*y - 15. Suppose -2*t = 2*t + q - 6144, b = -2*t - 4*q + 3058. Is t prime?
False
Let d = -94028 - -162199. Is d a prime number?
True
Let y(c) = 10633*c + 13790. Is y(111) a composite number?
True
Let w = -26697 - -9917. Let f = w + 28851. Is f composite?
False
Let m(w) = -37*w**3 - 15*w**2 + 7*w - 2. Let c(z) = 73*z**3 + 33*z**2 - 16*z + 4. Let h(x) = -6*c(x) - 13*m(x). Let r be (0 + 6)*3/6. Is h(r) a prime number?
True
Is ((-90279)/84)/((-3)/164) composite?
True
Let o be (4 - 4)/(2/(-2)). Suppose 0 = -p - 5*s - 20, o = 5*s + 10. Is (-2806)/(-6) - p/(-15) a prime number?
True
Let q(r) be the second derivative of 0 + 8/3*r**3 + 17*r - 7/2*r**2 + 5/6*r**4. Is q(-5) prime?
True
Let s = -173021 + 471510. Is s a prime number?
False
Let c = -505 - -509. Suppose c*o = 28017 + 47203. Is o composite?
True
Let y = 1234 - 481. Let a = -479 + 913. Let m = y - a. Is m a prime number?
False
Suppose -3002058 = -3*x - 32*c + 35*c, -3*c = 5*x - 5003374. Is x a prime number?
True
Suppose 62*i - 61*i = 137. Suppose -376 = -5*u - y + 3*y, 3*y = u - 83. Let x = u + i. Is x a prime number?
True
Suppose 4*h + 6 - 46 = 0. Let w be -3 + 2/1*(-1851 - h). Let b = w + 5902. Is b prime?
False
Suppose 5*g = -23*g - 549948. Let h = -7150 - g. Is h composite?
False
Let c(v) = 158*v**2 + 55*v - 420. Is c(13) a prime number?
False
Let a be ((-14)/4)/(9 + (-148)/16). Suppose a*k - 21*k = -5663. Is k a prime number?
True
Let t be (-4)/((-11)/(-22)*(-8)/(-6)). Suppose 2*o = -16 - 12. Is t/21*-1 + (-1578)/o composite?
False
Is (-4726510)/(-35) - (-1)/(-7) prime?
True
Suppose -2*c + h - 8 = 1, 2*c + h + 19 = 0. Is (2110 + -2 - -2)/(-5 - c) composite?
True
Let l be (2/5)/(3/30). Suppose -w + l*s + 186 = -37, -1043 = -5*w + 2*s. Is (2 + 2)*(w + -3) - 1 a composite number?
True
Let l = -211595 + 363253. Suppose 25*k = -22633 + l. Is k composite?
True
Let o(v) = 6 + 0 + 8 - 604*v + 5157*v. Let x be o(3). Suppose c - x = -10*c. Is c composite?
True
Suppose 3780*u - 3*b + 3263 = 3781*u, 0 = -5*u - 4*b + 16271. Is u a composite number?
False
Suppose 6*s - 5434 = 25*s. Let r = s - -653. Is r a composite number?
False
Let d = 50395 - 10896. Is d a composite number?
False
Suppose 0 = -4*i + 5*l - 2, -5*i + 3*l = 2*l + 13. Let k(d) = -27*d - 56. Let n be k(11). Is (n/i + 1)/(4/6) prime?
False
Is (-21)/((-147)/14)*(-5)/4*-4406 prime?
False
Let a(p) be the second derivative of -p**6/720 + p**5/24 - 17*p**4/12 + 6*p. Let g(j) be the third derivative of a(j). Is g(-10) a prime number?
False
Let d(n) = n**2 + 14*n + 8. Let r be d(-13). Let m(y) = -5*y - 27. Let a be m(r). Is 1 - (a + 1) - -975 a composite number?
False
Suppose 3*r = -5*a + 255401, -114*r - 6 = -117*r. Is a composite?
True
Let k = 86115 + 196474. Is k a composite number?
False
Let r be (3 + (-6)/6)*-142. Let q = r + 1143. Is q a prime number?
True
Let c(t) be the first derivative of 124*t**3/3 + 21*t**2 + 3*t - 280. Is c(-5) a composite number?
True
Suppose -161*b + 165*b - 421728 + 10724 = 0. Is b prime?
False
Let c(y) = y - 11. Let p be c(5). Let s be (-10450)/(-2299)*22/5. Is (-3 - s/p)*2874 prime?
False
Suppose 2*z - 5110 + 109689 = 3*v, 0 = 4*v + 3*z - 139399. Is v composite?
True
Let s(c) = c**2 + 14*c - 10. Let o be s(-13). Let x = o - 23. Is 5166/10 + x/(-115) a composite number?
True
Let x(w) = 8*w**3 + 2*w**2 + 3*w - 12. Let l be x(-5). Suppose 0 = -2*g - 213 - 345. Let u = g - l. Is u a composite number?
True
Let m = -47 + 38. Let k = m + 11. Suppose 0 = -5*g - k*w + 1059, 3*w = -0*g + 3*g - 627. Is g prime?
True
Let m = 162826 - 87863. Is m composite?
True
Suppose 0 = -2*j + 4*d - 10, -4*j - 2*d - 10 + 30 = 0. Let y(l) = -6*l**3 + 10*l**j + 1 - 22*l**3 - 2*l - 21*l**3. Is y(-2) prime?
True
Let t(u) = 4*u - 26. Suppose -5*z + 10 = -3*q, 3*z = -q - z + 25. Let d be t(q). Is 305 - -1 - ((-24)/(-4))/d a composite number?
False
Suppose 4531722 = -1784*s + 1823*s. Is s composite?
True
Let a(f) = -55*f**3 - 41*f**2 + 72*f + 157. Is a(-14) composite?
True
Let d(c) = 10*c**3 + c**2 + 6*c - 19. Let a be d(5). Suppose 5809 = 5*r - 4*u, -2*r + 3*u + 1032 = -a. Let i = r + -680. Is i composite?
True
Let h(l) = 46*l**3 + 57*l**2 - 29*l + 53. Is h(22) composite?
False
Let r be 24/(-168) + (-456)/(-7). Suppose 0 = 71*x - r*x - 48882. Is x a prime number?
True
Let x(u) be the second derivative of 4*u**3 - u**2/2 + 5*u. Let o be x(6). Let r = o + -76. Is r prime?
True
Suppose -5 = -43*j + 38*j. Is j*(-2)/(-4) - 47415/(-58) composite?
True
Let n = 0 - 0. Let m be (-151)/(-3) + -1 + (-6)/18. Suppose 18 = 2*j - n*j + 4*r, -5*r - m = -4*j. Is j a composite number?
False
Let g(x) = 0 - x**2 + 4 - 3 - 3 - 8*x. Let a be g(-7). Suppose 5123 = 2*h + 5*y, h = -4*h - a*y + 12785. Is h prime?
False
Suppose 47*i - 240*i = 153340 - 3346911. Is i prime?
True
Let l = -295 - -303. Let f(c) = 3*c**3 + 24*c + 19. Is f(l) a composite number?
False
Let n be 5*(4/10 + 0). Let x be -4 - (-105)/7 - 8. Suppose -x*q = -2*u + 1168, 4*u - n*q - 2931 = -u. Is u prime?
True
Let p(c) = 3037*c - 877. Is p(8) a composite number?
True
Let l be (-65)/(-20) + (-1)/4 + 2. Suppose -4*v + 3*r = -26727, 5*v + l*r = 2