. Suppose -3*m + 1711 = z, -1707 = -m - 2*m - b*z. Is m a prime number?
True
Let d(y) = -y**3 + 45*y**2 - 43*y + 189. Is d(38) a prime number?
True
Let l be (-4)/10 - (48/20)/(-6). Is (2734 - l - 5)*1 a composite number?
False
Let r be (6/(-5))/((-6)/20). Suppose 2*s - r*c = -4, 5*s + 3*c + 12 - 41 = 0. Suppose s*w - 10932 = 4*d, 7*w - 13641 = 2*w - d. Is w a composite number?
False
Is ((-245)/(-2))/7*(12 - -31780) - -7 prime?
False
Let v be ((-2152)/(-6)*5)/((-4)/(-12)). Suppose 0*f + v = 4*f + 2*p, 5*f - 2*p = 6743. Suppose 4345 = 4*a - f. Is a a composite number?
False
Suppose -3*j + 1398 = -2*h, -3*j + 938 + 460 = -3*h. Let m = 2183 - j. Is m composite?
True
Let q be -2 - (0 - -2 - 6). Suppose -3*d - q*d = -43715. Is d a composite number?
True
Suppose x - 3*x + 7*x = 0. Suppose 2*n + 5*l - 4 = 0, -3*n = -n + l - 4. Suppose x = -n*f + 9*f - 574. Is f a composite number?
True
Let z = -721035 - -1524004. Is z prime?
True
Let y(j) = -4498*j + 21. Let z(x) = -8998*x + 44. Let r(w) = -7*y(w) + 4*z(w). Is r(-1) a composite number?
True
Suppose 0 = 6*y + 66731 - 693641. Is y composite?
True
Let w = -141 + 137. Is (37789/(-62))/(2/w) a composite number?
True
Let z = 286285 - -15732. Is z composite?
True
Let s = -3 - -5. Suppose -s*x + 2*p = -3*p - 28, 4 = -x - 2*p. Let j(r) = 27*r + 10. Is j(x) composite?
True
Suppose 2*w + 1264474 = 4*u, -2*u - 4*w + 120328 = -511934. Is u prime?
False
Let q(g) be the third derivative of g**6/120 + 3*g**5/5 - g**4/4 - 16*g**3/3 + 3*g**2 - 3. Is q(-33) composite?
False
Is 455261/6 - (31/(-6) - -5) composite?
True
Let o(y) = -y**3 - 4*y**2 + 5*y. Suppose 56*p = 55*p - 5. Let q be o(p). Suppose 0 = -q*x + x - 1753. Is x a composite number?
False
Let a(x) = -x**3 + 17*x**2 - 22. Let q(o) = 2*o**3 - 48*o**2 + 65. Let i(g) = 8*a(g) + 3*q(g). Is i(-10) composite?
True
Let y(m) = -620*m - 15. Suppose 41*b = 31*b - 100. Is y(b) composite?
True
Let i(m) = m**3 + 12*m**2 + 10*m + 7. Let k be i(-11). Suppose -7*z = -z - k. Suppose -s - s + 251 = 5*p, 0 = z*s + p - 344. Is s composite?
False
Suppose 253913 + 3427326 + 953712 = 71*s. Is s a prime number?
False
Suppose 2*s = -5*a + 14597, 3*a - 2*s - 1864 = 6907. Is a a composite number?
True
Let t(n) = 634*n**2 + 48*n - 141. Is t(13) a composite number?
True
Let u = -139 + 121. Let m be 3/(u/(-1437))*(-1 - 1). Is (m - -1)*(-1)/1 a prime number?
False
Is (-4)/(-5) + 7455002/10 a composite number?
True
Let n(f) = 495*f + 149. Suppose -w + y + 12 = 0, 14 = -5*w - 3*y + 42. Is n(w) composite?
True
Let g(p) = -4*p - 156. Let h be g(-40). Suppose -4*s = 3*j - 2*s - 2437, -h*j + 2*s + 3226 = 0. Is j a prime number?
True
Let c be (-5)/45*-3*-3*-22511. Let z = c + -7540. Is z a prime number?
False
Let i(z) = z**3 + 5*z**2 - 22*z + 27. Suppose 2*w - 7*w - 75 = -5*q, 0 = -5*q + w + 79. Is i(q) prime?
True
Suppose -9*a - 65 = -20. Is 4/5 + (3 - 11556/a) prime?
False
Is (-60484)/(-6)*9/6 composite?
False
Suppose 2*y - 1948 + 104 = 0. Let h(d) = d**3 - 16*d**2 + 24. Let s be h(16). Is (-3 - (0 + 0)) + s + y composite?
True
Is (-6)/9*-27529 + ((-182)/42)/(-13) a prime number?
True
Let q = 61907 - -23006. Is q a composite number?
False
Let n(x) = -2*x**3 - 18*x**2 + 109*x - 161. Is n(-24) a prime number?
True
Let q = -1725 - 2800. Let i = 6708 + q. Is i prime?
False
Suppose -12*j - 18974 = -212522. Let m = j + -11408. Is m prime?
True
Let q(i) = 3*i + 27. Let a be q(-4). Suppose 2717 = 3*x - x + 5*c, -a = 3*c. Is x composite?
True
Suppose y + 151 = -u + 4*u, -3 = 3*y. Suppose 0 = u*n - 72327 - 66023. Is n composite?
False
Let n(v) = 630*v**2 + 2*v + 46*v**2 + v - 2. Let f be n(1). Is f + 8 - (1 - -1) a composite number?
False
Let u(m) = 16521*m - 14. Is u(7) a composite number?
True
Let y be (-1)/((-12)/(-7096))*(-48 + -3). Suppose 26*t + 8*t = y. Is t a prime number?
True
Suppose 8*x + 110740 = 622716. Is x a composite number?
False
Let z be 4 + (7 - 5) + -17. Is z/(-132)*-6*(1 - 30699) a composite number?
False
Suppose -124*n + 35189012 = 9027244. Is n a composite number?
True
Let r(z) be the third derivative of 0 - 3/20*z**5 + 0*z**4 + 1/6*z**3 - 24*z**2 + 3/40*z**6 + 0*z. Is r(3) a composite number?
False
Suppose 4*c - 6 = n, -5*c + n = -4*c. Suppose -c*u - 4 = 0, 3*b - 39456 = -b - 2*u. Is b a composite number?
True
Suppose 8916 + 21144 = -10*o. Let z = 6745 + o. Is z composite?
False
Let l(p) = 2556*p**3 - 5*p**2 - 280*p + 1436. Is l(5) prime?
True
Is (-3 - (-129)/45) + (-4125308)/(-60) prime?
False
Let z be 2/(-6) + 0 + (-1725)/(-207). Suppose -10*s + 40878 = z*s. Is s composite?
True
Let m(o) = -o**3 + 23*o**2 - 19*o - 54. Let u be m(22). Suppose u*d - 84013 = 202967. Is d composite?
True
Let s(m) be the second derivative of 6*m**3 + 37*m**2/2 + 14*m + 1. Is s(18) prime?
False
Suppose 27 = -4*f + 115. Suppose 5*c = f + 3. Suppose -7*k = -6*k - v - 539, -c*v - 1613 = -3*k. Is k a prime number?
True
Suppose -46*d - 76*d + 13019962 = 0. Is d composite?
False
Is 0 - (0/(23 - 11) + 130867/(-1)) a composite number?
True
Suppose 88*m = 71*m + 131461. Suppose 4*s = -3*l + m, -2*l + 3961 + 3769 = 4*s. Is s prime?
True
Is 29829/(-549)*((-485)/7 + 4/14) a composite number?
True
Suppose 3*u + 3*r = 8*u - 4125, -3*u + 4*r + 2486 = 0. Let c = u + -343. Is c composite?
False
Let a be 114 - (-14)/(13 + -6). Suppose -a*q + 115*q + 12289 = 0. Is q composite?
False
Let p(o) = 6*o**2 + 78*o - 223. Is p(-70) prime?
False
Suppose -5*k = -5*o + 195, -101 + 29 = -2*o + 5*k. Suppose b - o + 390 = 2*w, -892 = -5*w - 4*b. Let h = 11 + w. Is h a composite number?
True
Let d(i) = -3*i**3 + 4*i**2 + 2*i - 12. Let j(g) = -g**3 - g - 1. Let h(f) = -d(f) + 2*j(f). Let n be h(4). Is ((-24)/(-1))/n*23/(-4) a prime number?
True
Let u(v) = 79*v**3 + v**2 - v - 3. Let w = 3 - -3. Suppose 1 = -w*z + 13. Is u(z) a prime number?
True
Let y(a) = -2995*a**3 + 26*a**2 + 120*a + 5. Is y(-4) a composite number?
False
Suppose -24*m = -88*m - 66*m + 12468430. Is m a prime number?
True
Suppose -71*t + 74*t - 8797 = -5*o, 10 = 2*o. Let y(a) = 144*a**2 - 4*a + 1. Let k be y(6). Let p = k - t. Is p composite?
False
Let g(m) = -11*m**3 + 10*m**2 + 46*m + 407. Is g(-32) a composite number?
True
Let u(x) = x**2 - 9*x + 6. Let j be u(4). Let p(z) be the second derivative of -z**5/20 - 7*z**4/12 + 5*z**3/3 - 19*z**2/2 - 83*z. Is p(j) a prime number?
True
Suppose 0 = 3*b - 8 + 29. Let m(d) = -30*d**3 - 7*d**2 - 14*d - 8. Is m(b) a prime number?
True
Is ((-1546611)/(-6))/(120/240) prime?
False
Suppose 0 = a - 5 - 2. Let h(l) be the second derivative of l**5/10 + l**4/3 + 2*l**3/3 + l**2/2 + 4*l. Is h(a) a composite number?
False
Suppose -30*i + 120147 = -144543. Suppose -2*j + i = -y, 5*j - 22080 = 8*y - 13*y. Is j a prime number?
False
Suppose 0 = -17*g - 6*g + 3*g + 759020. Is g prime?
True
Suppose 0 = 18*a - 3925425 + 707871. Is a composite?
False
Suppose -24*y - 5878513 = -147*y - 47452. Is y composite?
False
Suppose -4*w = 5*s - 468807, 11*w + 3*s + 586018 = 16*w. Is w a composite number?
False
Suppose 2982*h - 2998*h = -476240. Is h composite?
True
Let m be 2/(3/(-6) + (-5)/(-2)). Let b be m/(11/22 + (-2)/12). Let y(r) = 89*r**2 - r + 1. Is y(b) prime?
False
Let y be ((-25)/(-30))/(3/18). Suppose y + 1 = 6*u. Is u/((-3 + 6)/5259) a prime number?
True
Is 1517846/((-41)/(656/(-32))) a composite number?
True
Suppose 2*y - 3*y - 3*u - 9 = 0, 4*y + u - 8 = 0. Suppose -y = 5*t - 13. Suppose 3*i - o + 3*o - 1991 = 0, 3*o = t*i - 1349. Is i a prime number?
False
Let v(z) = 61*z**2 + 11*z + 2. Let o be -2 - 1*(3 - 0). Let g(d) = 30*d**2 + 6*d + 1. Let j(x) = o*g(x) + 3*v(x). Is j(3) prime?
True
Let k = -10284 + 39175. Is k a prime number?
False
Let p(n) = 7*n**2 - 53*n - n**2 + 4*n**2 - 72 - 2*n**2 + 0*n**2. Is p(23) prime?
False
Suppose -15*v = -23*v + 627785 + 99983. Is v prime?
True
Let a(p) = -20477*p - 17035. Is a(-6) prime?
False
Let k(m) = -28*m + 30 + 154*m - 13. Let i(j) = 3*j + 22. Let r be i(-6). Is k(r) composite?
False
Let b(u) = u**3 + 21*u**2 + 18*u - 19. Suppose -9*s = -4*s. Suppose -g + s*g - 15 = 0. Is b(g) prime?
True
Let d be (-6)/4*-1*104/(-6). Let q(t) = 3*t**2 + 23*t + 47. Is q(d) a composite number?
True
Suppose -6*u + 1093898 = -34*n + 33*n, -n = -4*u + 729264. Is u prime?
False
Is -16 + (-7 - 87430/(-5)) prime?
Fals