lse
Let v = -370 - -687. Let a = 80 + v. Is a a prime number?
True
Let t(n) = 469*n - 91. Let p(o) = 47*o - 9. Let c(i) = 21*p(i) - 2*t(i). Is c(2) a composite number?
True
Let b(u) = 20*u**2 - 4*u + 7. Let i(y) = y**3 - 6*y**2 + 6*y - 7. Let c be i(5). Let r be c/(-1 - 9/(-15)). Is b(r) a prime number?
True
Suppose 0 = -4*x - 6*p + 9*p + 10432, 3*x = p + 7829. Is x composite?
True
Let i(x) = -5*x + 65*x + 27*x - 33 - 13*x. Is i(7) composite?
True
Let l be 21/(-14) - (1 + 9/6). Is (l - -21)*(3 + 20) composite?
True
Let p(q) = -q**2 - 20*q - 39. Let w be p(-11). Suppose 0 = 5*r - w - 335. Is r composite?
False
Suppose 468 = g - 5*p, 5*g + 2*p + 3*p - 2190 = 0. Let k = 862 - g. Is k a prime number?
True
Suppose -u - 5*s = -5 - 8, 2*u - 3*s = 0. Suppose -5*x + 1855 = u*r, x - 3*r = -21 + 392. Is x a prime number?
False
Suppose 9*q = 2442 + 1761. Is q a prime number?
True
Suppose 5*v + 8 = 38. Is (-9)/v + (-20425)/(-10) composite?
True
Let l(p) = -7*p + 5. Let z(v) = -14*v + 8. Let g be z(2). Is l(g) composite?
True
Let y = 14768 + -1125. Is y composite?
True
Let x(z) = -z**3 + 11*z**2 - 20*z + 20. Let k be x(9). Suppose 5*n = 0, k*n + 3*n - 3682 = -2*c. Is c a composite number?
True
Let j(a) = -a**3 + a**2 - a. Let x(i) = 8*i**3 + 49*i**2 + 27*i - 31. Let q(s) = 6*j(s) + x(s). Is q(-25) a composite number?
True
Let n be (-7)/(-2)*8/7. Suppose -a = n*o - 3*o - 221, -3 = o. Suppose 5*y - a - 861 = 0. Is y composite?
True
Is ((-669)/9)/(1/(-39)) a composite number?
True
Let d = 15 + -11. Suppose 3*f + 299 = 4*q, q + d*q = -2*f - 184. Let r = f + 260. Is r a prime number?
True
Suppose 3*d - 2*f - 26 = -0*d, -5*d + 38 = -2*f. Suppose 4448 = d*l - 3*l + p, 20 = 4*p. Is l composite?
False
Suppose 4*x - 7 = -5*k + 20, 0 = 2*x + 3*k - 15. Is ((2 + 7)/x)/((-6)/(-530)) a composite number?
True
Let l(p) be the third derivative of p**6/120 + 13*p**5/60 + p**4/12 + 7*p**3/6 + p**2. Is l(-7) composite?
True
Let n(u) = -8*u - 18*u - 7*u - 4 + 3. Is n(-10) composite?
True
Suppose -4307 = -2*o + 4*q + 859, -10342 = -4*o + 3*q. Suppose 5*k + 892 = 2*x, k = -4*x - 759 + o. Suppose -x + 99 = -7*z. Is z prime?
False
Let m(r) be the first derivative of 17*r**5/20 - r**4/4 + r**3/2 - 3*r**2/2 + 10*r + 8. Let u(z) be the first derivative of m(z). Is u(2) composite?
False
Suppose -3*c = 4*d - 173 - 2320, 5*d - c - 3121 = 0. Let k = d - 177. Is k prime?
False
Let h = 121 - 219. Is (0 - h)*6 - -3 composite?
True
Is ((-679)/2 - -3)*-2 a composite number?
False
Let i = 44944 - 20747. Is i a prime number?
True
Suppose 0 = -0*r + 2*r - 5*c + 7896, 19806 = -5*r - 4*c. Let k = -2303 - r. Is k a prime number?
False
Let t be ((-64)/24)/(4/402). Let p = t - -405. Let l = -86 + p. Is l a prime number?
False
Suppose 0 = -t - 2*g + 6 + 4, 0 = g - 4. Let f(y) = y**2 + y**2 - 5*y**3 + y**t - 5*y**2 - 1 - y. Is f(-2) a composite number?
True
Let a(o) = -o**3 + 11*o**2 - 12*o + 14. Let g be a(10). Let r be 4*(-3)/g*1. Suppose 0 = -3*m + 5*z + 218, -6*z = r*m - 4*z - 140. Is m a composite number?
False
Suppose -64511 = -20*t + 39269. Is t prime?
True
Let x be 6/(1*2/(-2)). Let t(m) = 17*m**2 + 8*m - 4. Let q be t(x). Suppose 89 = -3*p + q. Is p a composite number?
False
Suppose 5*x = -3*j + 508, -x - j = 2*j - 92. Suppose -r - 5*w = -437, -r + x + 337 = 3*w. Is r prime?
False
Let w = -3542 - -25195. Is w a prime number?
False
Let v be (-39)/(-4) + (-2)/(-8). Suppose -q = -v - 201. Is q a composite number?
False
Suppose 24*f - 20*f = 44. Let b(z) = -z**3 + 11*z**2 + 10*z - 16. Is b(f) composite?
True
Suppose -8*a + 2551 = -46401. Is a a composite number?
True
Let p = 188 - 186. Suppose 4*i + 5267 = 5*l, 2*l - 4*i + 3173 = 5*l. Suppose -7*n + l = -p*n. Is n prime?
True
Suppose -4 = -g - 8. Is g/((-3)/(59391/12)) a composite number?
False
Suppose 0 = -3*m + 3 - 12. Let o be (-3 + (-1 - m))*-1426. Is o/4 - (-18)/(-12) prime?
False
Let x = 96 + 36. Let i = x - 79. Is i a composite number?
False
Let z = 126553 - 3902. Is z prime?
True
Is (2*-3 - 39/(-6))*3086 composite?
False
Let u(t) = 52*t - 101. Is u(15) composite?
True
Let y(i) = 6*i**2 + 4*i - 1. Let k be y(-3). Let m(a) = 2*a**3 - 7*a**2 - 13*a + 12. Let p be m(9). Suppose p - k = 5*j. Is j a composite number?
False
Let s = 0 - -3. Let x(r) = 2 - 2*r + 0 + s*r + 246*r**2. Is x(-1) a composite number?
True
Let d(s) = -s**3 - 2*s**2 + 6*s - 3. Let c be d(7). Let z(v) = 747*v**2 - 2*v + 3. Let l be z(1). Let a = l + c. Is a a composite number?
True
Let m(k) = 1732*k - 19. Is m(9) prime?
True
Suppose 96*d - 133*d + 163133 = 0. Is d composite?
False
Let c(f) = -7 - 5 - 4*f + 0. Let y be c(-4). Suppose 5 = -y*i + 3*i, -3*i = -2*u + 277. Is u prime?
True
Let k(t) = t**3 + 53*t**2 + 38*t + 113. Is k(-28) composite?
True
Let r(p) = -1 + 26*p + 6 + 2. Is r(2) composite?
False
Suppose 9*v - 38952 = 927. Suppose 0 = -4*s + 5*a + v, 3609 = 5*s + 5*a - 1941. Is s prime?
True
Suppose 1 = 2*o - 1. Suppose 0*g - o = g. Is (-4 + 1 + -116)*g a prime number?
False
Suppose 5*h + 103511 = 9*h + j, -4*h - 2*j + 103506 = 0. Is h a composite number?
True
Let w(q) = -q**3 - q**2 + 3*q - 1. Let i be w(2). Let v be 106/3*(-4 - i). Suppose 2*t - 7*t + 3*x = -530, -t = -4*x - v. Is t composite?
True
Suppose -4*j + 9 + 55 = -4*b, 130 = 5*j + 5*b. Suppose -22*c + j*c + 298 = 0. Is c prime?
False
Let g(i) = -24*i + 25. Let q be ((-11)/(-66) - (-230)/(-12)) + -3. Is g(q) composite?
True
Suppose 6*h - 3 = 5*h. Let p be 1926/(-12)*(-2)/h. Suppose -4*k = -121 - p. Is k a prime number?
False
Let h = -1 + 5. Suppose h*n + 4*o - 113 = 103, n = -3*o + 52. Suppose -y + f = -n, -f + 96 = 2*y + 4*f. Is y composite?
False
Suppose 2557 + 4851 = 4*w + 4*p, 0 = -2*w + 3*p + 3689. Let h(q) = -46*q**2 + 2. Let l be h(-5). Let y = w + l. Is y a composite number?
False
Suppose -10*i = 2*i - 19884. Is i a prime number?
True
Let z = -1876 + 2869. Is z composite?
True
Is (-10)/((-15)/8185*(-10)/(-15)) prime?
False
Let x be ((-22)/1)/(2/(-32)). Suppose -3*n + 80 = w, x = 2*w + 3*w + 3*n. Suppose -w = -7*t + 401. Is t a composite number?
False
Suppose f + 46*i - 11804 = 43*i, -2*i = 3*f - 35447. Is f a composite number?
True
Let r(c) = -c**2 - 2*c + 1. Let z be r(-3). Let f be z/3 + (-28)/(-6). Suppose -k - 45 = -5*w - 681, f*k - 2439 = -w. Is k a prime number?
False
Let b(c) = 2*c**2 + c + 841. Suppose -3*q = 4*q. Is b(q) a prime number?
False
Suppose -78*t + 2284345 - 564367 = 0. Is t a composite number?
False
Let o(z) = 10*z - 5 - 15 - 3*z. Let u be (2 + 2)*(-1 + 20/8). Is o(u) composite?
True
Let c be 0/2 + -1 - -4. Is (-838)/4*(c - 5) a prime number?
True
Is (-8)/2 - (-1 - 17041) - -3 composite?
False
Suppose 0 = -i - 2 + 7, 2*i = -g + 12. Is (-10)/15*(507/(-6) + g) a prime number?
False
Let k(d) = -5*d**3 - 4*d**2 - d - 3. Let f(b) = 0*b**2 + 3 + 0*b**2 + 5*b - b**2 - 1. Let y be f(6). Is k(y) a prime number?
True
Let h(p) = p**2 + 1. Let z(r) = 0 - 4 - 1 + 4*r - 1 + 3*r**2. Let a(u) = -2*h(u) + z(u). Is a(7) composite?
True
Let t = 585 + -1045. Let l = 677 + t. Is l composite?
True
Let w(v) = 1221*v**2 + 59. Is w(8) a composite number?
False
Suppose 5*o = -19 + 9. Let n be o/24*-4*9. Is (-1)/(n + 2296/(-764)) composite?
False
Let u(j) be the third derivative of j**6/60 + j**5/15 - 7*j**4/24 + 7*j**3/6 + 6*j**2. Is u(6) a composite number?
False
Let i = 80 + -89. Is ((-1)/(i/(-6906)))/((-6)/63) a composite number?
True
Let m(a) = a**3 - 3*a**2 - 4*a + 3. Let g be m(4). Is 0 - (g + -1)/1 - -811 prime?
True
Suppose 9 = -15*o + 18*o. Suppose -v - 21 = -5*s + v, o*v = -2*s - 3. Suppose -5*x = -s*x - 118. Is x prime?
True
Let x be -664 + -9 - (6 + -2). Let p = x + 1198. Is p a prime number?
True
Suppose 9*c = 157 + 626. Is ((-10)/(-6))/(1/c) a composite number?
True
Let x be 16/(-9) - -6*5/(-135). Is (331/x)/((-2)/(-40)*-2) a prime number?
False
Suppose 61*b - 60*b - 8 = 0. Let u be 2 - (2 + -1)/(-1). Suppose -5*p = u*f - 2333, -b*p - 2*f = -3*p - 2337. Is p prime?
False
Is 19/95 - 2494/(-5) composite?
False
Is 0*(-6)/30 + (6293 - -2) a prime number?
False
Is (9967/2)/(7 + 156/(-24)) a prime number?
True
Let w be ((-4)/10)/((-4)/1480). Suppose 0 = 4*z - 84 - w. Let v = z - -1. Is v a prime number?
True
Suppose 0 = -4*o + 3*v + 314224, -4*o + 360988 = -4*v + 46768. Is o a prime number?
False