lse
Let x(b) be the third derivative of -497*b**4/24 + 35*b**3/6 - 19*b**2. Is x(-6) composite?
True
Let w(m) = -3*m - 6. Let p be w(-4). Is (2696/24)/(2/p) a composite number?
False
Suppose -4*y + f + 3 = 0, 4*y + 2 - 17 = 5*f. Let x be y/(-2) + -18 + 25. Let w(n) = n**3 - 6*n**2 - 2*n. Is w(x) prime?
False
Let t = 30592 + -18141. Is t a prime number?
True
Suppose 4*u + 10 = -u, -f + 2750 = 3*u. Is (1 + f/8)*2 composite?
False
Suppose 1592 = 5*n + 2*a - 1074, 4*n - 2143 = -5*a. Let i = -269 + n. Is i a composite number?
False
Let u = 32 - 39. Let v(j) = 2*j**2 - 9*j. Let o be v(6). Let i = u + o. Is i composite?
False
Let i = -9285 - -34066. Is i a prime number?
True
Let g = -3608 + 6129. Is g composite?
False
Suppose 3*q + q = 12. Suppose -19 - 57 = 2*n + u, -100 = q*n + 5*u. Let j = n - -117. Is j a composite number?
True
Suppose 4*t + 15*t - 10051 = 0. Is t prime?
False
Suppose 10 + 86 = -6*z. Is 5063/8 + (-2)/z a composite number?
True
Is -1 + 17085/4 + (-9)/(-12) a composite number?
False
Let y(m) = m**3 + 8*m**2 + 4*m - 5. Let i be y(-7). Suppose -i = -5*a - 191. Is (-1211)/a - (-4)/10 prime?
False
Suppose 20826 = 4*d + 5*z - 91111, -3*d = -3*z - 83946. Is d a prime number?
True
Suppose -10*t - 5375 = -5*t. Is -2*(t/10 - -2) prime?
True
Suppose 5*l = 14 - 4. Suppose 0 = t + 5*b - 210, -l*t - 132 + 592 = 2*b. Is t - (-4 + -1 + 1) prime?
True
Let d(s) = 171*s**2 - 4*s - 3. Let j(f) = -170*f**2 + 3*f + 2. Let l(q) = -2*d(q) - 3*j(q). Is l(-1) prime?
False
Let a be 582 + 0 + 0 + 0. Suppose -2*b + a = -0*b. Is b prime?
False
Let y be 4/22 - 2/11. Is 5 + -2 + (y - -1382) prime?
False
Let i(w) = -28*w - 13. Let o(n) = -n**3 + 4*n**2 + 7*n + 2. Let l be o(6). Let f = 21 + l. Is i(f) a composite number?
True
Let q = -21 + 28. Let x = 8 - q. Is -4 + 3 + 203 + x a prime number?
False
Let a(z) be the second derivative of -5*z**3 + z**2/2 + 2*z - 8. Suppose 3*s = -s - 44. Is a(s) prime?
True
Suppose -n - 4*r + r = -2342, 0 = 2*n - 2*r - 4700. Suppose 18*t - n = 14*t. Is t a prime number?
True
Suppose 4*b - 732 = -4*z, -2*z - 3*b + 207 = -163. Suppose -z = -3*u + 2*u. Is u prime?
True
Suppose -11 = -u + t - 3, 3*t = -2*u + 11. Suppose -u = 3*r - 886. Is r prime?
True
Let l(i) = i - 9. Let f be l(9). Suppose 5*h + f*h = 15. Is ((-242)/h)/((-2)/3) composite?
True
Let w(o) = -55*o + 1. Let g be w(4). Let r = 139 + g. Let z = 387 + r. Is z a composite number?
False
Suppose 86 - 1487 = -3*g. Is g composite?
False
Suppose 4*u - 8*u = 4*p - 72, 2*p - 38 = -4*u. Suppose -i - 3*l - 4 = 7, -3*i - 5*l - p = 0. Is i/(1 + (-660)/662) prime?
True
Let b(l) = 2*l**2 - l + 5. Suppose -j - 1 = 4*o + 2, 3*o = 3*j + 9. Suppose -3*g - g + 36 = o. Is b(g) composite?
True
Is 25696 - (7 + 2 + -10) composite?
True
Suppose 3*i + 18 + 6 = 0. Let q(r) = -3*r**3 - 11*r**2 - 2*r - 9. Let o be q(i). Suppose 4*u + 5*j - 867 = 0, -4*u + o = -2*j - 63. Is u composite?
False
Suppose -4*w = 11020 - 45568. Is w prime?
False
Suppose 76931 = 8*l - 185061. Is l a prime number?
True
Suppose -536232 = -303*w + 295*w. Is w a composite number?
True
Suppose 2*w = 2*j, 4*w + 3 = -4*j + 27. Suppose -j*q = -2*q - 19. Is q composite?
False
Let p = -21 - -18. Is (p - -2)/(0 + 2/(-1994)) a composite number?
False
Let t be (-3675)/10*(-4)/6. Let w = t - 82. Is w a prime number?
True
Let v be (-2)/((1/(-8))/((-17)/(-1))). Let c = v + -115. Is c a prime number?
True
Let b(q) = q**2 - 16*q - 5. Let h be b(16). Is 1560 + 15/h - -4 composite?
True
Let v be 24/4 + -4 - (1 + 0). Is 2 + (-276)/(-6) - 2/v prime?
False
Suppose -36*i = -30*i - 28002. Is i a composite number?
True
Suppose 0 = 3*v - 9, -5*m + 11*v - 15*v = -388217. Is m composite?
False
Suppose -4*x = -20847 + 139. Is x prime?
False
Let u = 13236 - 4009. Is u a prime number?
True
Let k be (1*-2)/(4/(-490)). Suppose 40 = 5*r + 3*r. Suppose 3*j - r*b = 230, k = 3*j + 2*b - 4*b. Is j a prime number?
False
Suppose -17*k = -29*k - 96. Is ((-4)/k)/1*1382 composite?
False
Suppose -6*i = -i + 4*s - 66295, 13248 = i + 3*s. Suppose 89*t - i = 86*t. Is t prime?
True
Let v(d) = 4*d + 18. Let o be v(-6). Let y be (o/4)/((-2)/16). Is 6/(y/2830)*1 a composite number?
True
Let k be 100*(1 + 12/8). Suppose 5*l + k - 2135 = 0. Is l composite?
True
Let l = 241 - -503. Let o = l - 453. Is o a composite number?
True
Suppose -2*j = 2 + 2, 2*t - j - 62 = 0. Let l be (48/9)/(4/t). Suppose 4*u + p = 86 + 61, -3*p = -u + l. Is u composite?
False
Suppose 0 = 2*v - 67 + 37. Is (-2)/v - (-4474)/30 a prime number?
True
Let x(b) = -2*b - 7. Suppose 0 = -3*r - 19 + 4. Let t be x(r). Suppose t*l - 262 = -p - 4*p, 5*l = p + 390. Is l a prime number?
True
Suppose 8 = -4*i - 8. Let b be (2/i)/((-6)/24). Is -21*b/12*-4 composite?
True
Let m = -1004 - -1801. Is m a composite number?
False
Let t(d) be the second derivative of d**4/4 - 5*d**3/3 + 13*d**2/2 - 17*d. Let i = 30 - 42. Is t(i) a prime number?
False
Suppose 88*c = 112*c - 1721784. Is c a composite number?
False
Let t(w) = 34*w**3 - w**2. Let c(r) = -5*r**2 - 35*r + 6. Let v(x) = x**2 + 7*x - 1. Let a(f) = 2*c(f) + 11*v(f). Let j be a(-7). Is t(j) a prime number?
False
Let k = -1659 - -19472. Is k a prime number?
False
Suppose 0 = 2*w - 13*b + 8*b - 25519, 2*w - 25516 = 2*b. Is w a composite number?
False
Let q be 1*4*(4/8 + 0). Is (-5 - (q - 3)) + (-1661)/(-1) composite?
False
Let s = -1241 + 6162. Suppose -o + s = -5506. Is o prime?
True
Let u be -8 + (2*-2)/2. Let b(t) = t**3 + 11*t**2 + 10*t. Let a be b(u). Suppose 3*m - 2*m - 79 = a. Is m a prime number?
True
Let j = 84 + -24. Let g = j - 97. Let p = 40 - g. Is p prime?
False
Let m(r) = 2*r**2 - 25*r - 185. Is m(26) composite?
True
Let h be (0 - -1 - 2)*-4. Suppose 3*u + 4*c = 251, -2*u + 4*c - c = -139. Is (u/3)/(h/12) a prime number?
False
Let r be ((-283)/(-2) - 3)*-2. Let q = 468 + r. Is q prime?
True
Let j = -7 - -4. Is (0 - (-4 - j))*26 a composite number?
True
Suppose 5*j - 147471 = -3*c, -49157 = -14*c + 13*c - j. Is c a composite number?
False
Let a(l) = l**3 - 2*l**2 + 2*l - 4. Let p be a(6). Let q = -83 + p. Is ((-1)/1*q)/(-1) a composite number?
True
Let b be (0/(0 - 2))/((-9)/3). Suppose 767 = 4*a + 3*y, -3*y + b*y - 188 = -a. Is a prime?
True
Let k(r) = r**2 - r - 3. Let f be k(3). Suppose -3*t + f + 9 = 0. Suppose t*q = -20, 4*q + 962 = 5*l - 83. Is l prime?
False
Let g(y) = 546*y**2 + 9*y - 4. Is g(3) a composite number?
False
Suppose 4*m + 3*b + b - 912 = 0, -b = -2*m + 450. Let c = m + -65. Is c a composite number?
True
Suppose 2*o - 47 = 4*o + 5*x, -3*o - 5*x = 58. Let g = o + 8. Is 84/(-8)*158/g composite?
True
Let q = -188 - -168. Suppose -2*v + v = -96. Is v/5 - (-4)/q prime?
True
Let r(k) = -11*k**2 - 105*k - 11. Is r(-6) a composite number?
False
Let a(r) = -468*r + 1. Let u be a(1). Suppose -f + 3*q = -2*f + 664, -2*f - 2*q + 1320 = 0. Let y = u + f. Is y a composite number?
False
Let d = 375 + -680. Let c = -157 - 57. Let q = c - d. Is q prime?
False
Suppose -f = 3*f. Suppose f = -4*s - 134 + 1406. Let h = s + -191. Is h composite?
False
Is (-208)/832 - (-200010)/8 prime?
False
Let z(i) = 568*i**2 - 87*i + 5. Is z(6) prime?
False
Let w(y) = 23*y + 121*y + 78*y - 3. Is w(1) prime?
False
Let j(f) = 463*f**2 - 10*f + 26. Is j(4) prime?
False
Suppose 13 - 1 = 3*y. Suppose -1172 = y*v - 8*v. Is v a prime number?
True
Let s(b) = 266*b + 11. Let u(n) = -133*n - 5. Let i(l) = 3*s(l) + 5*u(l). Let g = -8 - -11. Is i(g) composite?
True
Let n(f) = -f**2 - 7*f + 20. Let t be n(-9). Let d(v) = -t*v - 3 - 3*v - 21 + 4. Is d(-9) composite?
True
Suppose w - 3 = 0, -3*v - 5*w + 717 + 321 = 0. Suppose 6939 - v = 2*m. Is m a composite number?
False
Suppose -3*a = -2*a - 7. Suppose -6137 = -a*g + 702. Is g composite?
False
Let r be 4/(-2) - (-140 - 3). Suppose 5*t + 4*b + 410 = 0, 0 = 3*t + 3*b - 7*b + 278. Let c = r + t. Is c a prime number?
False
Suppose 2*j = -c - 2*c - 169, 3*c + 171 = -3*j. Let p = 110 + c. Is p composite?
True
Let c be -6*((-16)/(-6))/(-4). Suppose 0 = -c*a - 3*a + 833. Is a a composite number?
True
Suppose -8*y = -4*y - 4*i - 30016, 2*i - 6 = 0. Is y a prime number?
True
Suppose a + 3198 = 2*x - 912, -4*a = 2*x - 4090. Is x prime?
True
Is 1393 + -1 + 3 + (-40)/(-20) a composite number?
True
Let z(f) = 947*f**2 - 93*f + 6. Is z(4) prime?
