lse
Let k = 3519 + -1862. Is k a composite number?
False
Let t = 2705 - -684. Is t a composite number?
False
Suppose -3*q + 0*c + 43 = -5*c, 0 = 4*q - 2*c - 48. Let t be (-4)/(-4)*(0 - -66). Let x = q + t. Is x composite?
True
Let m be (3/(-2))/((-3)/18). Is ((-1)/(-2))/(m/3798) composite?
False
Let m(g) = g**3 + g**2 + g - 61. Let y(s) = s - 5. Let x be y(5). Let b be m(x). Let r = b + 96. Is r a prime number?
False
Suppose 260 = -2*g + 6. Let u be ((-24)/(-9))/((-4)/114). Let n = u - g. Is n composite?
True
Suppose t + 0*t - 4*w - 315 = 0, 4*w - 1220 = -4*t. Is t composite?
False
Let y(v) = -v**3 + 11*v**2 - 8*v - 13. Is y(7) a prime number?
True
Let v = -10 + 16. Let u(h) = 2*h**2 - 2*h - 7. Is u(v) a prime number?
True
Let s(u) = 6*u**2 - 3. Is s(-7) prime?
False
Let s(h) = -h**3 + 13*h**2 + 11*h + 16. Is s(9) prime?
True
Let n(j) = j - 6. Let k be n(0). Let x = k + 10. Suppose -x*w + 32 = 4*m, 2*w = -w - 5*m + 20. Is w a composite number?
True
Suppose 4*m + 9 = 9. Suppose 3*o - 5*f = -3 + 27, 0 = -5*o - 4*f + 3. Suppose 0 = 2*w - 5*l - 55, 2*w - 4*l - o - 47 = m. Is w prime?
False
Let n(m) = m**2 + 10*m. Let d be n(-8). Suppose -4*h = -12 - 144. Let f = h + d. Is f prime?
True
Let a(r) be the second derivative of -r**4/6 + r**3/3 + r**2 - 3*r. Let f(y) = y - 1. Let c(p) = -a(p) - f(p). Is c(-4) prime?
True
Suppose 224 + 52 = 3*k. Let n = k - -131. Is n prime?
True
Let z(r) = r**3 + 3*r**2 - 4*r + 3. Let p be z(-4). Suppose t = -p*t. Suppose 5*u - 3*a - 98 = t, 3*u - a - 62 = 4*a. Is u a prime number?
True
Suppose -j - 2*y = -1, -3*y + 0*y = 0. Let p be (j*(0 - -17))/1. Is 8/(-20) - p/(-5) a composite number?
False
Is ((-7)/2)/(18/(-1908)) prime?
False
Let i(q) be the second derivative of -2*q**5/5 - q**4/6 - q**3/3 - 3*q**2/2 - q. Let s be (-2)/(-2) + -1 + -2. Is i(s) composite?
True
Let a(f) be the second derivative of -f**5/20 - f**4/6 - f**3/3 - f**2 + f. Let v be a(-2). Suppose 0 = 3*o - v*r - 83, -5*r - 1 = o - 6. Is o composite?
True
Let i(s) = -s**2 + 3. Let t be i(0). Suppose -3*y + 338 + 253 = -t*w, 0 = 4*w - 16. Is y a prime number?
False
Let n(a) = -a**2 + 6*a + 10. Let y be n(7). Let u(x) = -12*x - y + 3*x - 12*x. Is u(-2) composite?
True
Let u = 600 + -411. Let y = -116 + u. Suppose -12 = -3*q, -3*c + 0*c + y = 4*q. Is c prime?
True
Let x = 49 + 202. Is x prime?
True
Suppose -3*k - r - 1 = -2, -k = 4*r + 18. Is 4/(16/526)*k prime?
True
Let g(w) = -w**2 + 8*w - 7. Let t be g(6). Suppose -i + t = i - 5*p, 4*p + 16 = 4*i. Suppose 0 = 4*b + 2*x - 52, i*x = -b - 4*b + 75. Is b composite?
False
Let i(g) = 2*g - 8. Let d be i(6). Suppose 2*h - 162 = d*n - 0*h, h - 121 = 3*n. Let m = n - -117. Is m prime?
False
Suppose 77 = m + 3*m + t, -5*m - t + 96 = 0. Suppose m = 2*f - 1. Is f a prime number?
False
Suppose -15*n - 148 = -19*n. Is n a composite number?
False
Let h(y) = -y**3 + 3*y**2 + 3. Let a be h(3). Suppose -25 = 5*x, -405 = -a*w + 5*x - 143. Is w prime?
True
Suppose -27*w + 2442 = -21*w. Is w composite?
True
Let l(q) = -q**2 - 12*q + 11. Let m be l(-13). Is (-1004)/m*(-4)/(-8) a composite number?
False
Let j = 18 + -13. Let y = j + -1. Suppose y*b - 634 = 5*i, -487 = -6*b + 3*b - 2*i. Is b composite?
True
Let o(l) = -2*l + 8. Let z be o(6). Let d(i) be the first derivative of -3*i**4/4 - 5*i**3/3 - 2*i**2 - 6*i + 4. Is d(z) a prime number?
False
Let g(f) = -157*f - 15. Is g(-2) a prime number?
False
Let v = -1 + 12. Suppose f - 5 = -4*a, 3*a - a - 20 = -4*f. Suppose -4*p = -a*p - 16, -p - v = -5*b. Is b prime?
True
Suppose 0 = 3*y - 5 - 4. Suppose -6 = y*s - 6*s. Is (s + 5)*(2 - 1) prime?
True
Suppose -5*p = -5*a + 703 - 88, -4*a - 5*p + 492 = 0. Is a prime?
False
Let o be (3 - -244)*(-16)/(-4). Let n = o + -435. Is n a composite number?
True
Let d(k) = 2*k**2 + 3*k - 4. Let b(l) = 5*l - 5 - 6*l + 3 + 0. Let y be b(-5). Is d(y) composite?
False
Let k(o) be the second derivative of -o**3/6 + o**2/2 + 3*o. Let h be k(8). Let j(g) = -8*g + 9. Is j(h) prime?
False
Suppose -3 = -2*i + 167. Is i prime?
False
Let y(c) = 14*c + 5. Let i(a) = 41*a + 16. Let n(k) = 3*i(k) - 8*y(k). Is n(7) composite?
True
Suppose 0 = 2*k - 372 + 98. Suppose 5*z = v + 713, k = -0*z + z - 3*v. Is z a prime number?
False
Is (4716/(-30))/(6/(-15)) a composite number?
True
Let g(z) = 43*z - 4. Is g(15) composite?
False
Let a = 2 - 3. Let k be a/((-2)/4*-2). Is k + 1 - (-1 + -9) a prime number?
False
Suppose -u = 5*p - 198 + 17, 4*u + 53 = p. Is p prime?
True
Let d = 4613 - 3274. Suppose 0 = -2*n + 5*n - 4*m - d, 2*m - 4 = 0. Is n a composite number?
False
Let s = 710 + -319. Is s prime?
False
Let q(x) = x**3 - 2*x**2 - 2*x + 9. Let r be q(0). Let y be (-1 - -2)/((-2)/6). Is (-11)/r*y*51 prime?
False
Is (-13895)/(-7) - (3/3 + -1) composite?
True
Let h = 263 + -102. Is h composite?
True
Suppose 156 = 4*y - 0*y. Let g = 70 - y. Is g prime?
True
Suppose -1820 = -4*i + 1248. Is i prime?
False
Suppose 4*m - 1872 = 2*s, 0 = 2*m + 2*m - 3*s - 1868. Suppose 0 = -5*o + m + 195. Is o prime?
False
Suppose -4*d + 105 = -3*y, -2*d = -2*y - 8 - 60. Let o = y + 51. Suppose 2*s = 5*q + 3 + o, 64 = 4*s - 4*q. Is s prime?
True
Let y = -2 + 1. Is 67*y*(-3 + 2) composite?
False
Let t = 3 + -8. Let q = t - -36. Is q a prime number?
True
Let m = -12 - -19. Suppose -3*o + m*o = 2260. Is o composite?
True
Let g(x) = 11*x - 18. Is g(7) a prime number?
True
Suppose 0 = 11*i - 15*i + 340. Is i prime?
False
Suppose -5*r = -2*d - 622 + 135, -3*d = 3*r + 678. Let f = d + 374. Is f prime?
False
Let q = -982 + 2783. Is q prime?
True
Let q(o) = -o**2 - 7*o + 3. Suppose -2*c = v + 17, -4*c - c = v + 32. Let l be q(v). Suppose -2*a - g = l*g - 134, 0 = 5*g + 5. Is a a prime number?
False
Suppose 547 + 4364 = 3*p. Is p prime?
True
Is (-1314)/(-10) + 4/(-10) composite?
False
Suppose 5*o - r + 97 = 0, 5*o + r + 106 = -r. Is 2687/5 - (-8)/o prime?
False
Let b = 0 - 1. Let o = b - 2. Is (o - -10) + 2/(-2) a composite number?
True
Suppose -3*m + 50 = 2*i - 60, 0 = -m. Is i composite?
True
Let w = 14 + 45. Is w a prime number?
True
Suppose -3*l + 2287 = c, 0*l = 5*c - l - 11371. Suppose 908 = 2*x - y, 0*x - 5*y = -5*x + c. Is x composite?
True
Let z be (3 + -2)*(4 - 2). Suppose 2*y - 2*h = 98, 3*h = -z*y - 2*h + 133. Suppose -4*u + y + 2 = 0. Is u prime?
False
Is (-3)/(-5*(-191)/239 - 4) composite?
True
Suppose -4*p + 0*y + 28 = -4*y, -31 = -5*p + y. Let v(l) = -5*l**2 + 4*l - 12*l**3 + 13*l**3 - 9 - l**2. Is v(p) prime?
False
Suppose 192 = 4*t - 0*t. Let b = t - 29. Is b a composite number?
False
Let a(m) = -m**2 + 10*m - 7. Let y be a(6). Let j = y + 4. Is j prime?
False
Suppose -30 = -3*m + 3*n, -10 = -m - 0*n + 5*n. Let j be 19/5 - (-2)/m. Suppose -2 = 2*y, 4*y = -j*v + 2*y + 90. Is v a composite number?
False
Let t(x) = -3*x. Let o be t(5). Let j be 966/15 - (-6)/o. Suppose 4*y + c = -3*c + j, -4*y = c - 79. Is y a composite number?
True
Let k(a) = 10*a**2 - 2*a + 13. Is k(-7) prime?
False
Let k(u) = u**3 - u**2 - 3*u + 2. Let w be k(2). Suppose w = -5*z - 2 + 17. Suppose -2*y - 31 = -3*v, -2*y = -3*v - z*y + 34. Is v a composite number?
False
Let l = 1187 + -498. Is l a prime number?
False
Suppose -3*s + 4 = -14. Let l = -1 + s. Suppose -l*t + 435 = -0*t. Is t a prime number?
False
Let a(b) = b**3 - 604. Let x be a(0). Let f = x - -855. Is f prime?
True
Let m(s) = 116*s - 11. Is m(8) a composite number?
True
Let w(v) be the third derivative of -v**5/60 - 5*v**4/8 - 7*v**3/6 - v**2. Is w(-13) a composite number?
False
Suppose 4*d + 3*l = -l + 3416, 2560 = 3*d + l. Is d composite?
False
Let k(p) = -p**3 - 9*p**2 - 9*p - 8. Let m be k(-8). Let d(b) = -b**3 + 9*b**2 - 11*b + 10. Let i be d(7). Let j = i + m. Is j prime?
True
Let q be 4/(-2)*(-2)/(-4). Is (-7200)/(-28) + q/7 prime?
True
Let i(k) = -k**2 - 3*k. Let v be i(-3). Let m(j) = -j**3 + j**2 - j + 53. Is m(v) a prime number?
True
Let v be -30*1/1 + -4. Suppose y - 4*a + 59 = -2*a, 4*a = -20. Let d = v - y. Is d a composite number?
True
Let z(h) be the first derivative of h**5/60 + h**4/12 + h**3/3 + h**2/2 - 2. Let s(m) be the second derivative of z(m). Is s(-7) a composite number?
False
Let o(g) = g**2 + g + 2. Let m(h) = h**2 + 3*h - 4. Let t be m(-3). Is o(t) a composite number?
True
Let s = -1471 - -2628. Is s prime?
False
Suppose 