lse
Let s(p) = 4*p - 14. Let m(h) = -h + 5. Let i(v) = 7*m(v) + 2*s(v). Let g be i(-3). Is (-2)/g + (-795)/(-10) composite?
False
Is 8 + -8 + -17 - -102510 prime?
False
Let h = 41591 - -10112. Is h prime?
False
Let r(a) = -a**2 - 14*a - 43. Let g be r(-4). Is ((25 - 24)/((-2)/3378))/g prime?
True
Suppose -2251*m - 27603584 = -2379*m. Is m prime?
True
Suppose 3*f + f + 97 = 5*r, -3*f + r - 70 = 0. Let i = f + 25. Is i/(-9) + (-2)/((-18)/4061) composite?
True
Let m(d) = 85*d + 7830. Is m(-59) a prime number?
False
Let o(n) = 6*n**2 + 3*n + 11. Suppose 3*d + 8 = -4*v, v - 7*d + 25 = -2*d. Let u be o(v). Let j = 385 - u. Is j composite?
False
Suppose 80775 - 342950 = -25*k. Is k a composite number?
False
Let a(m) = 8*m**3 + 7*m - 8. Let u be a(1). Is u/(-56) + 396075/24 composite?
True
Let d = 338590 - 230213. Is d prime?
True
Suppose 62216 = 100*n - 342084. Is n a composite number?
True
Suppose -13 + 21 = 2*n. Suppose 2*r + 28 = -3*k, 0*r + n*k = 3*r + 8. Is ((-1 - r)*67)/1 a composite number?
True
Let j(d) = 29310*d - 49. Is j(6) composite?
False
Let y(w) = -78*w - 8. Let g(k) = -82*k - 9. Let m(b) = 5*g(b) - 6*y(b). Let t be (-35)/(-3) - (-2)/(-3). Is m(t) a prime number?
True
Suppose -325*m + 351*m = 17148794. Is m prime?
True
Suppose -349*h + 426*h = 4823203. Is h a composite number?
False
Let s = 9752 + 1064. Suppose -2*k + 4*k + 5410 = 2*c, 2*k = 4*c - s. Suppose -2*v - j - 405 = -1488, 5*v - 2*j = c. Is v a prime number?
True
Suppose -2 + 5 = 3*c. Let s be 9/7 - c - (-129983)/49. Suppose 0*y + s = 7*y. Is y composite?
False
Let u(a) = -12*a + 26. Let t be u(6). Let y be (-23)/t - (-33)/(-2). Is (-8716)/y*(-8)/(-2) composite?
False
Let u(n) = 5*n**2 - 1. Let h be u(-1). Suppose 0 = -2*r + 4, -4*m - h*r + 1907 = -3*m. Suppose 2*w - m = -w. Is w composite?
True
Suppose 5*r + 5*k - 20 = 0, 7*r = 3*r - k + 16. Is r/16*-2 + (-164931)/(-26) a prime number?
True
Let s(t) = -2*t**2 + 17*t + 20. Let n be s(8). Is 16/(-56) + (3 - (-93808)/n) a composite number?
True
Suppose 2*l - 3*c = 89219, 5*l - 48437 = -2*c + 174658. Is l a composite number?
False
Suppose 45*w + 2*w = -188. Let r be 3/(-2)*(-6)/(-3). Is (306 - w) + (r - -2) a composite number?
True
Suppose 24*l - 108 = 36*l. Let j(i) = -87*i + 5 + 5 + 17 + 5. Is j(l) prime?
False
Let j(c) be the first derivative of -5*c**2/2 - 5*c + 5. Let a be j(-1). Suppose 2*w - 6*d + 4*d - 1728 = a, 5*d + 1725 = 2*w. Is w a prime number?
False
Let w = -2585 + -1343. Let i = 709 - w. Is i a prime number?
True
Is (-66)/561 + (-303384)/(-17) a composite number?
True
Let i(n) = n**3 - 17*n**2 - 19*n - 6. Let p be i(18). Let d = 26 + p. Suppose -d*f + 16 = -4. Is f composite?
True
Let y(u) = -u**3 - 6*u**2 - 6*u + 11. Let j be y(-4). Suppose 0 = 3*h - h - b - 9726, -9710 = -2*h - j*b. Is h a prime number?
True
Let d(m) = 3*m**2 - 4*m - 17. Let w be d(-2). Suppose -4*t - 8*n + 11886 = -6*n, w*t = 2*n + 8932. Is t a composite number?
True
Is 12/(39/((-84619626)/(-56))) prime?
False
Let i(a) = -519*a - 80. Suppose -3*v + 5*v = -5*c - 81, 83 = -5*c - v. Is i(c) prime?
False
Let p be (-15 + 22)/(2 - 3). Let d be -64*(5 + p - 17). Suppose -9*i = -d - 62. Is i composite?
True
Suppose 343932 = 6*z - 12*z. Let w = -34246 - z. Is w/9 - (2 - (2 - 1)) composite?
True
Let r = 52 + -38. Suppose -5*o - p + 41 = 0, -p + r = o + o. Is ((-254)/(-6))/(o/135) composite?
True
Let h = -396 - -231. Suppose -z = 57 + 61. Let n = z - h. Is n prime?
True
Suppose 0 = 12*i - 243*i + 97296969. Is i composite?
True
Let b(k) = 154*k**3 + 2*k**2 + k - 6. Let a be b(2). Let n = 3139 - a. Is n composite?
True
Let w = -186270 + 521899. Is w a prime number?
False
Suppose 0 = 10*w - 4*w + 48. Let y be 16/12*(-18)/w. Is (y + (-2 - 0))/(5/995) composite?
False
Let x = 931154 - 521125. Is x a composite number?
False
Let l(h) = -h**2 - 123*h**3 - 85 + 61*h**3 + 59*h**3 + 4*h**2 - h**2 - 7*h. Is l(-12) a composite number?
False
Let o(f) = 2604*f + 871. Is o(7) prime?
False
Let l(h) = -h**3 - 16*h**2 + 12*h + 29. Let j be l(-18). Let t = 798 - j. Is t prime?
True
Let f(u) = -2*u + 1. Let z be f(-1). Let a(w) = 3703*w - 13. Let q be a(2). Suppose z*y = -5*v + 1246 + 4290, -q = -4*y + 5*v. Is y a prime number?
True
Suppose t + 40112 = 9*t. Let s = -2469 + t. Is s prime?
False
Let j(k) = 16*k**2 - 288*k - 705. Is j(-73) composite?
True
Suppose -5*f + 40 = 0, 81*f - 77*f = 2*d - 342194. Is d a composite number?
True
Suppose -4*m + 6 = 18, -n + 62 = -4*m. Suppose 53*u = n*u + 47739. Is u composite?
False
Let l(p) = 2801*p**2 + 26*p + 156. Is l(-5) composite?
False
Suppose -8*p - 15 = -3*p, 0 = -3*y - p - 8220. Let j = y + 4136. Is j a prime number?
False
Suppose 6*p + 0 = 6. Let s(x) = x**2 - x + 1. Let c(d) = 33*d**2 - 1. Let r(k) = p*c(k) - 4*s(k). Is r(2) prime?
False
Let o(k) = 978*k**2 + 17*k + 230. Is o(-9) prime?
False
Let v = 292248 - 113245. Is v prime?
False
Let h(n) = 2*n - 13. Let k(i) = -4*i + 27. Let x(c) = -5*h(c) - 3*k(c). Let u be x(9). Suppose 3*s + u*b = 1953, -2*b - 643 = 2*s - 3*s. Is s a prime number?
False
Suppose -144*d + 132*d + 36 = 0. Is (d/(6/(-59)))/(20/(-920)) a composite number?
True
Let y = 700794 + -464863. Is y a prime number?
False
Let t(m) = 1596*m**2 - 19*m + 20. Let g be 8/(-4)*-4*(-2)/(-16). Is t(g) prime?
True
Suppose 8*y - 3399 = -17367. Let j be ((-4885)/(-15))/((-2)/6). Let w = j - y. Is w a composite number?
False
Is 27*24/432*(-1)/(3/(-157172)) composite?
True
Is (-5 - (232/290)/((-4)/10)) + 171502 composite?
True
Suppose 8*y - 17346 = 235142. Is y composite?
True
Let r(b) = -22*b + 170. Let k be r(7). Suppose 4*t - k*d - 6623 = -17*d, 0 = 2*t + 2*d - 3304. Is t prime?
True
Suppose -2 = -j, 2*j = -5*x - 3*j + 315305. Is x prime?
True
Let q(x) be the first derivative of -29*x**4/24 + x**3/3 - x**2 - 14. Let o(n) be the second derivative of q(n). Is o(-11) a prime number?
False
Suppose 258*i - 358*i + 17875900 = 0. Is i a prime number?
False
Suppose -3*h + 5*n + 15 = -h, 0 = 3*h + 4*n - 11. Let q(o) = 11*o - 15. Let z be q(h). Is (-5)/z*4*(-253 + -1) prime?
True
Let v = -2458 + 7700. Suppose 0 = -9*g + 3281 + v. Is g composite?
False
Suppose 20*w - 360933 = -81673. Is w prime?
True
Let t(j) = -2*j**3 + j - 11 + 8*j**2 + j**3 + 2*j**3. Suppose -4*p = 4*m - 28, 0 = 4*p - 2*m - 12 - 10. Is t(p) a composite number?
False
Let v(k) = 6*k**3 - 2*k + 1. Let t be v(1). Let o(x) = 292*x + 479. Let w be o(19). Suppose -2*g - 11620 = -2*q, -t*g + w = 5*q - 23053. Is q prime?
True
Let n = 167 - 158. Suppose -750 = -n*j + 1149. Is j a composite number?
False
Let v(o) = 24 - 5 + 108*o**2 - 11*o - 6*o - 29*o**2. Is v(8) a composite number?
True
Let d(q) = 2*q**2 + 15*q + 10. Let g be d(-7). Suppose -3*h + 1601 = -t, -5*t - 1603 = -3*h - g*t. Is h a composite number?
True
Let z(s) = -92814*s - 2513. Is z(-13) prime?
False
Let r be 3*9/((-108)/(-20)). Suppose j - 7089 = -x, r*j - 28376 = j + x. Is j a prime number?
False
Suppose 6*x - 1210 = 3*x - 5*q, -3*x - 3*q + 1200 = 0. Let o = -2 - -2. Is o - (-2 - x)/1 a composite number?
False
Let m(c) = 5893*c + 268. Is m(25) a prime number?
False
Let x be (-9)/12 + (42810/8)/3. Let o = x - 146. Is o a composite number?
False
Let s(f) be the third derivative of -f**6/40 + f**5/20 - f**4/8 - 3*f**3/2 + 7*f**2. Let d be s(4). Is d/10*-158 - 2*-1 prime?
True
Suppose 0 = -z + 9 - 4, -5*u - 4*z + 75 = 0. Suppose 5*g = u*g. Suppose 5*m - 4*a - 6040 = a, g = -3*a + 9. Is m a prime number?
False
Let w be ((-27)/(-6) - 1/2) + 1. Suppose w*t - 1358 = 1487. Suppose 2*h + 3*m = t + 9, m = 4*h - 1156. Is h a composite number?
True
Let f(i) = 35*i**2 + 35*i + 167. Is f(-28) a prime number?
True
Suppose 20 = 5*k, 5*k = 16*w - 11*w - 960125. Is w a composite number?
False
Let u(p) = 8*p**3 + 3*p**2 + 6*p + 3. Let d(j) = 3*j + 4. Suppose 3*t = -0*t + 5*t. Let o be d(t). Is u(o) prime?
True
Let x(j) = 2*j - 18. Suppose -5*h + 1 + 24 = 0. Let f be x(h). Is (449/4)/((-2)/f) a prime number?
True
Let c(n) = 11*n - 30. Suppose 2*f + i - 3*i - 56 = 0, 4*i - 49 = -3*f. Is c(f) a composite number?
False
Suppose -14*q - 10 = -24*q. Is q - 1*16/(-4) - -1208 a prime number?
True
Let u be 1 - 5/(-40)*-8. Suppose -8*s + 36*s - 70084 = u. Is s a prime number?
True
Let g = 38 - 30. Let m(j) = 4*j**3 + 12*j**2 + 2*j - 13. 