False
Suppose 4*z - 17605 = 3*f, -f - 944 = -2*z + 7857. Is z composite?
True
Is 1/(13/(-945813))*-1 + (-1402)/(-9113) a composite number?
True
Let a = -117855 + 177856. Is a composite?
True
Suppose -183*r + 20887961 = -20*r. Is r prime?
True
Let m(w) = -w**2 - 25*w - 21. Let c be m(-25). Let b = c + 21. Suppose b = 4*t + 119 - 627. Is t prime?
True
Is -442853*3/(-2)*1350/2025 a composite number?
True
Let f = -26 - -1. Is (-13760)/f - (2 - 39/15) prime?
False
Suppose -563796672 = -414*o + 169787730. Is o prime?
False
Let l(s) = -2*s**3 - 6*s**2 - 7*s - 6. Let x be l(-7). Suppose -c = -2*f - 0*c + 1005, -2*f = 3*c - 1001. Let q = x + f. Is q composite?
False
Let r = -464 + -2146. Is 1/((-1)/r) - (-700)/140 prime?
False
Suppose 2*t + 5*m = 156612, -t + 5*m = t - 156612. Is (2/4)/(2 - t/39156) a prime number?
False
Suppose -60*s + 61*s + 3*j - 125506 = 0, -5*j = s - 125512. Is s a prime number?
True
Let f(l) = 2*l + 5458. Let c be f(0). Let p = c + 5579. Suppose p = 11*a + 554. Is a composite?
False
Suppose -6*g = -5*g - 3*j + 17, -4*g + 2*j = 18. Is 1 + g + -14 + 206 a prime number?
True
Let r(l) be the third derivative of 251*l**4/12 - 553*l**3/6 - 2*l**2 - 68*l. Is r(12) a prime number?
True
Is (1 + (-6)/4)/(36 - (-13869597)/(-385266)) prime?
True
Let y = 34 + -30. Suppose -7*r = 2*m - 6*r - 12760, y*r = 2*m - 12750. Is m prime?
True
Let p = -98 + 99. Is 66914/4 + p + (-4)/8 prime?
True
Suppose -23*p = 9*p - 1440. Is p/(-360) + 59058/16 prime?
True
Let a(x) = 36*x**2 - 11*x - 56. Let n(u) = -6*u + 45. Let m be n(10). Is a(m) composite?
False
Let b = 2268027 + -1108120. Is b a prime number?
False
Suppose -47*p + u + 256710 = -42*p, 0 = 3*p + 3*u - 154044. Is p a prime number?
True
Let l = 4449 + 45428. Suppose b + 2*v - 3811 - 8668 = 0, 4*b - 5*v - l = 0. Is b a composite number?
False
Let h(o) = 286*o**3 - 5*o**2 + 3*o - 10. Let b = 7 - 13. Let z be h(b). Is (-1)/3 - z/48 a composite number?
False
Let n(b) = 67*b**2 - 10*b + 1. Let i be n(-5). Suppose -f + 4*o + 578 = 0, 4*o = 3*f - 0*f - i. Suppose 5*g = -3*x + x + f, g = 0. Is x prime?
False
Let d = -24755 + 47857. Let a = d - 13717. Is a a prime number?
False
Let h(z) = 5*z - 5*z**3 - 16*z + 11*z + 8*z**2 + 5*z + 7. Let q be h(-9). Suppose -4*l = l - q. Is l prime?
False
Let x(k) = -k**2 - 7*k. Let t be x(-7). Let r(s) = s**2 + 1472. Let o be r(t). Suppose 4*v - o = -5*g, 1500 = -2*v + 6*v - 2*g. Is v composite?
False
Let f(k) = 4*k**3 + 0 + k**3 + 20*k + 4*k**3 - 5*k**3 - 5. Is f(8) a prime number?
True
Suppose 6*w - 215157 = -3*s, 17*s - 3*w - 286942 = 13*s. Is s composite?
True
Let m be -1 + (-11036 - (-1 + -5)). Let f = -5218 - m. Is f composite?
False
Let g = 2392 - -709. Suppose -88*b + g = -87*b. Is b a prime number?
False
Let r(g) be the third derivative of 8/3*g**3 + 0*g - 1/60*g**6 + 0 - 6*g**2 + 1/20*g**5 + 1/4*g**4. Is r(-7) composite?
True
Is (-6 - -6) + (1958 - 63) composite?
True
Let o(h) = -h + 16. Let g be o(6). Let t be g/30*(4 - -2). Suppose 0 = 2*i - 5*m - 278, -t*i - 2*m + 695 = 3*i. Is i composite?
False
Let u(g) = 428*g**2 - 249*g + 177. Is u(46) a prime number?
True
Suppose 2694 = 5*q - 1466. Let a(s) = -23*s**2 + s + 17. Let u be a(-5). Let v = u + q. Is v prime?
True
Is (-9 + 8)/((-2952355)/295235 + 10) a prime number?
False
Suppose 233*o - 228*o + 65750 = 0. Let m = o - -28541. Is m a composite number?
False
Let n(y) = 60515*y - 138. Is n(5) composite?
True
Let n be 12/16*-1 - (-1949)/(-4). Is (n/(-16))/(4/(-1696)*-4) a composite number?
True
Let a(j) = j**3 - 5*j**2 + j - 1. Let b be a(5). Suppose 2*g + 272 = 3*w + g, -b*w - 5*g + 331 = 0. Is w prime?
True
Let p be (-7 + 4)/((-2)/4) - 3. Suppose -4*i = t - 1205, 2*t - 2418 = -p*i - i. Suppose 2*y - t = y. Is y a prime number?
True
Let h(z) = 952*z**2 + 37*z - 39. Is h(10) a composite number?
False
Let m(j) = -4*j**3 - 33*j**2 + 11*j - 21. Let z(s) = 10*s**3 + 99*s**2 - 31*s + 62. Let v(n) = -11*m(n) - 4*z(n). Is v(14) composite?
True
Let s(p) = -7*p - 58. Let b be s(-9). Suppose b*c = -4*j + 25683 + 23507, -4*j = -3*c - 49174. Is j a composite number?
True
Let i = 259 - 237. Suppose -5*x - i*c + 18*c = -11569, 5*x - 11605 = 5*c. Is x a prime number?
False
Suppose 6*h = -5*n + 1092143, h - 38*n - 182021 = -36*n. Is h a prime number?
False
Suppose 5*x + 9 = -3*l + 2*x, 4*x = -20. Suppose -2*o = l*r - 4954, -2*o = -5*r - 4*o + 12397. Is r a composite number?
True
Let n(w) = 7*w**3 - 8*w**2 + 13*w + 13. Let o be (-4)/(-2) + -23 + 26. Is n(o) composite?
True
Let z = 12 + -7. Let i(n) be the third derivative of n**6/30 - n**5/10 + 13*n**4/24 - n**3 + 160*n**2. Is i(z) prime?
True
Let w(s) = 4*s**2 - 111*s - 25. Let a be w(28). Let g(r) = -r**2 - 11*r. Let d be g(-11). Suppose -t - 123 = -2*x - 435, a*t - 5*x - 931 = d. Is t composite?
True
Let t(f) = 262*f**3 + f**2. Suppose 0 = 3*o - 13 - 17. Suppose -d + 8 = 3*d - 2*s, 5*s = -o. Is t(d) composite?
False
Let h(z) = 11*z**2 + 20*z + 110. Let r be h(-15). Suppose r + 1369 = d - 5*g, 2*d - 7293 = -5*g. Is d prime?
False
Suppose 5 = -4*t - 3. Let q(b) = -b - 2. Let u be q(t). Is 0 + 1 + u + 424 + 12 a composite number?
True
Let k = 29 - 25. Let n be (-1)/((2/4)/((-802)/k)). Suppose -z + n = 4*b, 8*z - 2*b + 407 = 9*z. Is z a prime number?
False
Let x = -91 - -92. Let j be x*679 + (-9)/3 - -3. Suppose c + 664 = 3*h, 3*h - 4*c + 6*c = j. Is h a composite number?
False
Let v(c) = 39138*c**2 - 8*c + 7. Suppose 11 = 12*u - 1. Is v(u) a composite number?
True
Suppose -5*t + 2*u - 57 - 11 = 0, -3*t = -2*u + 44. Is (t*5/(-20))/((-6)/(-7594)) a composite number?
False
Suppose -3*m - 5*q = 40, -5*m - 4 = -4*q + 1. Is (1 - 20/m)*(-9938)/(-10) prime?
True
Let b be ((-60)/135)/((-1)/9). Suppose -i + b - 6 = 0, -j + 1369 = i. Is j a composite number?
True
Let a = 5822 - -6375. Is a a composite number?
False
Suppose 0 = 2*p - 2*d - 25304, -1430*p = -1427*p + 3*d - 37962. Is p prime?
True
Is (26/(-65))/(8/(-156865))*4 a prime number?
False
Let i be 18151/(-14) - 4/8. Let v = 1009 - -1429. Let q = i + v. Is q a prime number?
False
Let a = 4 + -128. Let h = a + 735. Is h a composite number?
True
Let q(f) = 4014*f + 155. Is q(20) composite?
True
Suppose -5*a = 529 - 489, 4*m - 540564 = -5*a. Is m prime?
True
Is 1 + -8 + (31 + -2 + 2)*6138 a prime number?
True
Suppose 10*z = 11134 - 37304. Let c = z + 13704. Is c composite?
False
Suppose 5 = -6*n + 29. Suppose -g + n*g = -2*x - 13, 1 = g. Let w(f) = -f**3 - 6*f**2 - 10*f + 3. Is w(x) a prime number?
True
Let s(c) = -25876*c - 6711. Is s(-12) a prime number?
False
Suppose 4*d + 10 = 5*y - d, 0 = -3*d - 12. Let w be (78/(-9) + y)*(-36)/8. Let p = w - 22. Is p a composite number?
True
Let m be (-15)/25 + 68/5. Suppose m*h - 9 = 10*h. Suppose -2*v = -b - 1821, h*v - 3*b = 2799 - 69. Is v a composite number?
False
Let i(z) = 113*z**2 - 36*z - 87. Is i(38) a composite number?
False
Suppose -2*o + 43*a + 134662 = 47*a, -3*a = 3*o - 201993. Is o prime?
False
Suppose f + 3*m = 9, 5*f + 3*m - 9 = 2*f. Let l be (1/1)/((f + 6)/(-1536)). Let g = 383 + l. Is g prime?
True
Let o be 4/(-20) + (-8072042)/(-85). Suppose 501759 = 12*d - o. Is d a prime number?
True
Let g(j) = -56*j - 61. Let k(y) = 56*y + 61. Let s(c) = 6*g(c) + 7*k(c). Is s(29) a prime number?
False
Is (-13)/((-3887)/2762507) - (-4)/(-26) prime?
True
Suppose -4*p = -d - 77349, -4*p - 2*d = -0*p - 77334. Suppose -p = -3*l + l. Suppose 0 = -m + 5*m - l. Is m a prime number?
True
Let p(q) = -q**3 + 2*q + 1. Let l(b) = 285*b**3 - b**2 - 12*b. Let w(m) = l(m) + 5*p(m). Is w(2) a composite number?
False
Let m(n) = -n**2 - 12*n - 10. Suppose -20 = 14*c - 12*c. Let p be m(c). Suppose 0 = p*w - 2*w - 2008. Is w composite?
False
Let p(h) be the first derivative of 98*h**2 - 9*h - 39. Let a be (-119)/(-14) - (-1)/(-2). Is p(a) a composite number?
False
Let x = -11 - -44. Suppose 0 = -n + 52 - x. Suppose 14*z - n*z = -2755. Is z prime?
False
Let z = 49 - 47. Let u(b) = 194*b**2. Let r be u(1). Suppose r = -0*i + z*i. Is i prime?
True
Suppose -799*j = i - 798*j - 525918, -2103677 = -4*i - 5*j. Is i a prime number?
True
Let w = 478 + -332. Suppose 2*v - 3*f = 138, -2*v - 2*f + f + w = 0. Let s = 25 + v. Is s a prime number?
True
Let d(a) = -7*a**3 + 8*a**2 - 9*a + 3. Let i(g) = -8*g**3 + 9*g**2 - 12*g