lse
Let p(t) = 13*t**3 + 5*t**2 + 4*t + 5. Let f be p(-4). Let s = 527 + f. Is s/(-6)*(-126)/(-12) a prime number?
False
Let c(t) = -2494*t - 77. Is c(-13) composite?
True
Let o be (14/4)/(2/(-24)). Let q = o - -129. Suppose g - 19 - q = 0. Is g composite?
True
Let m(i) = 4*i**2 + 31*i - 13. Is m(-14) a composite number?
False
Suppose -4*k + 2*n + 10 = 0, 2*k - 7*k - 5*n = -50. Suppose -o - k*g + 442 = 0, o - 452 = 4*g + g. Is o a composite number?
True
Let a(v) = 3929*v**2 + 2*v + 1. Let z be a(-1). Is 10/(-4)*z/(-20) a prime number?
True
Suppose -2*y = 6, -3*u + 2*u = -3*y + 408. Is (2 - 4*u)/2 a prime number?
False
Let o = -34 + 52. Suppose 5*p - 2*p - o = 0. Suppose -2*d - 18 = -2*v, -3*v + d = p*d - 27. Is v a composite number?
True
Let h = 3 - 101. Let y = 122 + 97. Let t = y + h. Is t a composite number?
True
Let i(n) = -146*n**2 + 5*n - 5. Let k(q) = -q + 1. Let u(v) = -i(v) - 4*k(v). Let d(h) = h**3 - 5*h**2 - 2. Let w be d(5). Is u(w) a composite number?
False
Let z(y) = 10*y**2 - 5*y + 19. Let p be z(-14). Suppose 3*m + 2319 = -p. Let n = 2137 + m. Is n a prime number?
False
Let f(l) = 4275*l - 29. Is f(4) prime?
False
Let v = 5 + -1. Suppose 3*h - 6 = -2*w + v*w, 0 = -w. Suppose o - 440 = -5*s, -h*s - 5*o = -7*s + 470. Is s composite?
False
Suppose 0 = 2*v - 2, 5*h - 4*v - 1111 = 420. Is h a composite number?
False
Let i(s) = -s**3 + 29*s**2 - 8*s + 11. Let h be i(17). Suppose -4*l - 2*r - 499 = -h, -5*l + r + 3541 = 0. Is l prime?
True
Let r(l) = 232*l + 0 + 1 + 0. Let g be r(1). Suppose 2*m = 4*p - 2016, -2*m - g = p - 742. Is p a composite number?
True
Suppose -4*h + 3*d + 34004 = 0, 2*d - 34004 = -7*h + 3*h. Is h prime?
True
Let i(x) = 158*x**2 - x + 1. Let c be i(2). Is (-3 + c)/4 - -4 composite?
True
Let j = -538 + 1042. Suppose 4*o - j = -4*i, 4*i + 317 = -5*o + 820. Is i a composite number?
False
Suppose 0 = 3*r + 6, 2*c + r - 2 = 2. Let i(v) = -8*v + 16*v**2 + 0*v**3 - v**c + 0*v**3 + 15 - 13*v. Is i(14) prime?
True
Let h(b) = -5*b**3 + 8*b + 3*b**3 + 0 + 2*b**2 - 10*b**2 - 7. Let p be h(-8). Suppose -p = -k + 26. Is k a prime number?
True
Let p = 6 + -4. Let r be 9051/27 - p/9. Let m = 480 - r. Is m a prime number?
False
Suppose 4*a - 4*y - 40160 = 0, -5*a - 3*y + 60497 - 10281 = 0. Is a composite?
True
Suppose 3*m = 20 + 7. Let a(p) = -3*p**2 - 9*p + 15. Let v(c) = 8*c**2 + 26*c - 46. Let h(b) = -11*a(b) - 4*v(b). Is h(m) a composite number?
True
Suppose -6*q = -82081 + 19519. Is q a prime number?
True
Let c(i) be the first derivative of 193*i**2 + 5*i - 4. Is c(1) prime?
False
Suppose -118088 = -17*i - 20287. Is i composite?
True
Let r(o) = 41*o - 11. Let d be r(13). Suppose -5*f = d - 27. Is (-713)/(-9) + 22/f a composite number?
False
Let q(v) = v**2 - v + 83. Suppose 4*c = 3*a - 16 - 9, 2*c + 20 = 4*a. Let l(d) = d**2 - 4*d + 3. Let o be l(a). Is q(o) prime?
True
Let w be (262/2)/(4 - 5). Let o = -73 - w. Is o a prime number?
False
Let g = -385 + 561. Let w = 134 + g. Suppose w = 6*j - j. Is j prime?
False
Let s = 5026 + 36307. Is s prime?
True
Suppose 319 = t + 5*a, 0 = -5*t - 3*a + 290 + 1195. Let o be t + 3 + (2 - 0). Suppose -k + o = 2*r, -3*r + 161 = 4*k - 290. Is r composite?
False
Let q(f) = 268*f**2 + 30*f + 9. Is q(4) prime?
False
Let g(b) = -6*b - 17. Let t be g(-2). Let h(a) = -31*a**2 - 6*a - 6. Let s(p) = p**2 + 1. Let j(c) = -h(c) + 6*s(c). Is j(t) a prime number?
True
Let u(y) = -y**2 - 4*y + 1. Let n be u(-5). Let s = n + 26. Let c = s + 31. Is c prime?
True
Let t(l) = -2*l**2 - 75*l + 1. Is t(-12) prime?
True
Suppose 2*z = -3*z + 4*j + 18, 39 = 5*z + 3*j. Let m(c) be the first derivative of c**4/2 - 8*c**3/3 - 2*c**2 - 9*c - 82. Is m(z) a prime number?
False
Suppose z = -13*z + 154238. Is z a composite number?
True
Let f(d) = 11*d**3 - 13*d**2 + 135*d - 62. Is f(13) composite?
False
Let x = -23 - -23. Suppose -y + 3*z = -207 - 446, -3*y + 5*z + 1943 = x. Is y a prime number?
True
Suppose 6*w = -30*w + 314676. Is w prime?
True
Let b = 12397 - 6494. Is b composite?
False
Let c(y) be the second derivative of 5*y**4/12 - 5*y**3/3 + 31*y**2/2 - 2*y + 1. Is c(12) composite?
False
Suppose -1040*d = -1045*d + 2435. Is d prime?
True
Suppose w + 1 - 3 = 0. Suppose 4*y - 792 = -3*b, -y - b + w*b = -198. Suppose 4*k - y = -3*c, 0*k - 41 = -k - 5*c. Is k a prime number?
False
Let f = -5 + 10. Suppose -f*o = -291 - 284. Is o composite?
True
Suppose 6*z - 14545 = z - 3*q, 0 = -5*z + 3*q + 14545. Is z a prime number?
True
Let k be (2/4)/((-3)/(-48)). Suppose 3*h + 20 = k*h. Is 3/(-2) + 386/h a composite number?
True
Let x = 23834 + -13995. Is x composite?
False
Suppose -2*p = 3*d + 7, -5*p - 5 = 5*d - 0. Suppose 3*n - 2*o = -33, -p*o - 9 = 3. Let g = 6 - n. Is g prime?
True
Let b = -2 + -2. Let u be 12/b - (-6 + 0). Suppose 0 = 5*r - u*r - 746. Is r composite?
False
Let p = 18421 + -11072. Is p composite?
False
Let x(u) = 5*u**2 - u + 1. Let i be (0 - (-3 - -2))/1. Let o be x(i). Suppose o*c = 3*d + 51 + 29, -3*c = 4*d - 19. Is c composite?
False
Suppose -4 = -2*m - 0. Is (-10 + 8)*m*(-2053)/4 composite?
False
Let y = 40697 + -10932. Is y a composite number?
True
Suppose -2730 = 12*h - 45582. Is h prime?
True
Suppose -5*w = 2*r - 104 - 183, -r + 138 = -3*w. Is r a composite number?
True
Let o(i) = 15*i - 8. Let p(y) = -16*y + 9. Let f(k) = 4*o(k) + 3*p(k). Is f(5) prime?
False
Suppose -4*x + 83429 = 3*o, -26*x + 22*x + 83459 = -3*o. Is x a prime number?
False
Let v be (-13)/(-7) - (-1)/7. Suppose -2*a = -v*y + 1350, -5*a + 688 = 3*y - 1353. Is y composite?
False
Suppose f - 7161 = 4*u, -12*f + 14*f = -4*u + 14334. Is f prime?
False
Let o be 7/28 - (-78)/8. Suppose -99 = -k - o. Is k prime?
True
Let z(q) = -85*q - 337. Is z(-30) a composite number?
False
Let d(m) = -m**2 - m. Let i(c) = -2*c**2 + 3*c + 3. Let z(n) = d(n) - i(n). Let f be z(5). Suppose f*q - 685 = 109. Is q a prime number?
True
Suppose d - 6*d = -10. Suppose -3*g - 8 = v + v, 2*v - d = 2*g. Let z(a) = -47*a - 3. Is z(g) prime?
False
Let j be 6/24 + (-3225)/(-12). Let l = j - -210. Is l prime?
True
Suppose -2*r + 8479 = 333. Is r composite?
False
Let o(f) = 4*f**3 - 60*f**2 - 75*f - 148. Let c(y) = -3*y**3 + 40*y**2 + 50*y + 99. Let u(x) = 7*c(x) + 5*o(x). Is u(-22) a prime number?
True
Let m = 6263 + -3682. Is m prime?
False
Suppose 5*x - 3*l = -10, -6*x = -2*x + 5*l - 29. Let c(z) = 1512*z - 1. Is c(x) a prime number?
True
Is (-17 - (-193688)/32)/(1/4) composite?
True
Let g be (4/(-6))/((-2)/(-3))*-2. Suppose -x - 34 - 260 = -g*b, -b = x - 153. Is b prime?
True
Suppose -5*q + 57889 = 3*v - v, -4*v = 12. Is q a composite number?
False
Let l(a) = a**3 + 21*a**2 - 5*a - 6. Is l(-13) prime?
False
Is (-3 - 49)/4*(-247 + -4) a prime number?
False
Let a be -8*(105/10)/7. Is a/(-4) + -4 + 1740/2 a composite number?
True
Let o(b) = b**2 - b - 12. Let h be o(-3). Suppose h = 16*y - 19*y + 7833. Is y composite?
True
Let y = -217 - -594. Is y prime?
False
Let n = 478 + -275. Suppose -2445 = -2*m + n. Let c = -113 + m. Is c composite?
True
Let y be ((-3282)/(-9))/(4*4/24). Suppose -4168 = -5*r + y. Is r prime?
False
Let l(i) = -i**3 - 2*i**2 + i + 149. Let a be 1/4 + (-6)/(-8). Suppose -o - a = 2*n, -1 = n - 2*o - 3. Is l(n) a prime number?
True
Let l(n) = -4*n**3 + 9*n + 11. Let y be l(-10). Let b = y - 2421. Let h = b - 611. Is h prime?
False
Let u be (-90)/(-12)*4/5. Let b be (-24625)/(-45) + u/(-27). Suppose -3*f = -o - b, -6*o + 191 = f - 2*o. Is f composite?
True
Is (-1)/((-1)/((-28143)/(-9))) a composite number?
True
Suppose -p + 1151 = 2*a, -2*a + 1141 = p - 2*p. Suppose -6*i + a = -1701. Is i a composite number?
False
Suppose 26*j = 18*j + 329512. Is j prime?
True
Let k(o) = -2*o**3 - o**2 + 3*o - 1. Let g be k(4). Let b(x) = 75*x - 3. Let n be b(3). Let q = g + n. Is q a prime number?
True
Let j be 6/4*4/6. Suppose 0 = 5*x - 5*b - 30, 5*b - j = -3*x + 9. Suppose 4*o - 276 = -x*t, 4*t = 5*o - t - 345. Is o a composite number?
True
Let a(r) = -2*r**3 - 6*r**2 - 3*r - 11. Let q be a(-5). Let d = 222 - q. Is d prime?
False
Let l(z) = 17*z**2 - z - 8. Let s(c) = 18*c**2 - 7. Let h(i) = 4*l(i) - 3*s(i). Is h(6) a prime number?
False
Let q = -13608 - -20848. Suppose 2*b - q = -6*b. Is b composite?
True
Let b(s) = 1 + s + 0*s**2 + 5*s**2 + 2*s - 4*s**2. Le