lse
Let o = -164 + 171. Is (o + -4 + 0)/(6/5878) a prime number?
True
Let l(p) = -p**2 + 10*p - 4. Let y be (3 + -4)/(1/(-5)). Is l(y) a prime number?
False
Suppose -3*p - 2*p = 15. Is p/(-5) + (-17856)/(-40) a prime number?
False
Let l(y) = -13*y**3 - 1. Let j be l(-1). Let a = j + -9. Let s(u) = u**3 + 3*u**2 - 3*u + 1. Is s(a) composite?
True
Let p = 1095 - -94. Is p a composite number?
True
Let n = 2174 - 1213. Let g = n + -1559. Let x = g + 1017. Is x a prime number?
True
Suppose n = -4*z + 8, -3*n - 33 - 8 = -z. Let g(h) = -46*h - 1. Let t be g(-2). Let s = t + n. Is s composite?
False
Let y(a) = 5*a. Let n be y(-1). Let j(g) be the third derivative of -g**6/40 + g**5/10 + g**4/12 + g**3 - 7*g**2 + 3*g. Is j(n) composite?
False
Let d(v) = -3*v**2 + 10*v - 15. Suppose 0 = -0*a + 2*a - 6, -4*s + 27 = a. Let u be d(s). Let p = u + 122. Is p a prime number?
True
Suppose -5*k - 39519 = -2*k. Let a = -6740 - k. Is a a prime number?
False
Suppose 0 = 5*f + 5*r, -6*f + 6 = -f + 3*r. Suppose -4*l + 3*m = f, -m = -5*l - 0*m - 12. Is (295 - l)/2*1 a prime number?
True
Suppose -7168 = -4*y + 119908. Is y prime?
True
Suppose 76 = 6*k - 2*k. Suppose -18*p - 2309 = -k*p. Is p prime?
True
Suppose 82*t = 59*t + 1768033. Is t a prime number?
True
Let h(z) = -25*z**3 + 2*z**2 + z. Let l = 2 + -13. Let n = 10 + l. Is h(n) a composite number?
True
Suppose -42*a + 16934 = -40*a. Is a composite?
False
Let b = -5 + 21. Suppose 0 = -3*t + 17 + b. Suppose t*i = 12*i - 58. Is i a prime number?
False
Is 9/15 + (2 - 1776/(-15)) prime?
False
Is 3 + (-3)/(6/(-32656)) a prime number?
False
Suppose -115541 = -10*p + 11409. Is p prime?
False
Let f(p) = -144*p + 1. Let s(i) = -i**2 + 11*i - 11. Let r be 0/((-2)/(-2)) - -10. Let v be s(r). Is f(v) prime?
False
Let v(j) = 7*j**2 + j - 1. Suppose 3*t = 3*i + 3, 4*t - 3*i + 5*i = 34. Is v(t) composite?
False
Suppose 1 = 2*y - 9. Suppose -y*w - i = -1, 0*i + 4 = w + 4*i. Suppose w = o - 79 - 14. Is o a composite number?
True
Suppose -12*c = -7*c + 5*x - 10205, -5*x + 4088 = 2*c. Is c prime?
True
Suppose 0 = 23*p - 3210 - 17881. Is p composite?
True
Suppose -2*o = 3*a + a - 18, 0 = 5*a + 5*o - 25. Let d be ((a + -4)/(-1))/(-3). Suppose -3*w + 83 = -u - 25, -2*w + u + 71 = d. Is w prime?
True
Let k(x) = -11*x**3 + 16*x**2 + 8*x - 26. Is k(-10) prime?
False
Is (-3828370)/(-175) + -3 + 18/5 a composite number?
True
Let b = 12 + -5. Let c = b + 7. Is 6/9*8799/c prime?
True
Let n be 2*(1/(6/9) + -2). Is (-1)/((-3)/2055) - n - 3 a prime number?
True
Let s = 12079 - 8102. Is s a prime number?
False
Let z(a) = -2*a**3 - 73*a**2 + 20*a - 66. Is z(-41) composite?
False
Let k = -26 - -29. Suppose -7367 = -2*o + 5*r, -k*r - 11031 = -3*o - 2*r. Suppose o = w + 3*w. Is w a composite number?
False
Suppose 3*c - 5729 = 15199. Is 4/12 + c/6 a prime number?
True
Let t be 803 + 0/(-6 - -2). Suppose -t - 565 = -4*m. Is 1/(m/339 - 1) prime?
True
Is (804872/(-48))/(1/(-6)) composite?
False
Let a(s) = 12*s + 3. Let w be a(20). Let f = 166 + w. Is f a composite number?
False
Let w be (4/10)/(-2)*-15. Suppose 5*l = -5*q - 1345, -2*q + 6*q = w*l - 1041. Let f = q - -475. Is f a prime number?
True
Let f(z) = -232*z + 32. Let p(x) = 1. Let q(d) = f(d) - 6*p(d). Is q(-5) composite?
True
Let j = -12102 - -20429. Is j composite?
True
Let i be (2 + 1395/(-12) + -1)*-4. Let k = i + -10. Is k a prime number?
False
Suppose 13*v - 8855 = -1978. Is v a prime number?
False
Suppose 4*m + 0*a + 21 = -a, 5*a = -5. Let q be (m - -4) + 3 - 2. Is (-2 + q + -5)*-1 a prime number?
True
Suppose 5*n - 2 = -4*q + 3*q, 4*n + 3*q - 6 = 0. Suppose n*p - 5*p = -1730. Suppose -r + 21 = -p. Is r a composite number?
False
Suppose -4*b + 3*d = 16, -5*b + 2*d + 3*d = 25. Let a(v) = -92*v**3 + v**2 - v - 2. Let o be a(b). Suppose 3*t = -4*r + o, r + 5 = t + 35. Is r a prime number?
False
Is 23/(-92)*(-1 - 31335) composite?
True
Let k(d) be the first derivative of d**5/8 - 11*d**3/3 - 10. Let w(b) be the third derivative of k(b). Is w(1) composite?
True
Let p(f) = -251*f + 324. Is p(-37) composite?
True
Suppose 49 - 4 = 3*j. Suppose j*v + 3 = 12*v. Is 6/(-18)*(-416 + v) a composite number?
False
Let n(w) = 468*w**2 + 23*w + 24. Is n(7) a prime number?
True
Let w be (6/1)/((-9)/(-60)). Suppose 5*z - 110 = w. Is (1 - (0 - z)) + 2 a prime number?
False
Let t(c) = -3*c - 5*c**2 + 2*c**3 - 7 - 3*c**3 + 4*c**2 - c**2. Let b be t(-5). Suppose -66 - b = -a. Is a composite?
False
Let o(g) = 12*g + 3*g**2 - 9*g**3 - 1 + 10*g**3 - 8*g. Let h be o(-5). Let d = 56 - h. Is d a prime number?
True
Let n(v) = v**3 + 22*v**2 + 12*v + 5. Let k be n(-20). Suppose 0 = -h + c + k, -5*h + 4*c + 2817 = 3*c. Is h a prime number?
True
Let b be (48/(-20))/((-6)/15). Suppose 0 = -b*d + 5*d. Is 124 - (d - 1) - 2 a composite number?
True
Let t = -2894 + 15537. Is t a prime number?
False
Suppose 7*i - 3*i = 2*k - 184, 0 = k + 4*i - 98. Let s = k - 3. Is s a composite number?
True
Let c(y) = 3*y**2 + 2*y + 1. Let w be c(-1). Let k be w + (-2 + 0 - -8). Let u = k - 6. Is u a prime number?
True
Let s(b) = b**3 + 31*b**2 - 17*b - 48. Is s(-31) prime?
True
Let w(b) = b**3 + 16*b**2 + 15*b - 15. Let r be w(-11). Suppose 2*u + 3*u = r. Suppose -79 = -3*k - k - a, -5*k - 4*a + u = 0. Is k a prime number?
False
Let h = 18 + -13. Suppose h*m + 87 = 2*p + 718, 2*p + 504 = 4*m. Is m prime?
True
Let x(u) = 6*u**2 + 7*u + 6. Let g be x(8). Let f = g - 280. Is f prime?
False
Let i = -2012 + 481. Let j = i - -2726. Is j prime?
False
Let l be (2 + (-1 - 0))*3. Suppose 55 - 16 = l*s. Is s a prime number?
True
Let f(q) = 1123*q**2 + 5*q + 25. Is f(4) composite?
False
Let k be (0 + -1)*4 - -7. Is ((-10365)/10)/k*-2 prime?
True
Suppose 4 = 3*v - 2. Let g be 1873 + (-2 - (0 + v)). Is (-4)/16 - g/(-4) prime?
True
Is ((-342)/135)/(-19) + 366583/15 prime?
True
Let h be (-8 + 2)/(14 - 13). Is (h/(-3))/(10/815) a prime number?
True
Let c = -30 - -30. Suppose c = -4*r - r + 1615. Is r a composite number?
True
Let q(j) = j**2 + 7*j + 6. Let z be q(-6). Suppose -f + 17 + 415 = z. Suppose 0 = -3*w - f + 1035. Is w composite?
True
Let x(b) = 4597*b**2 + 2*b + 2. Is x(-1) prime?
True
Let c = 1 + 4. Suppose 234 - 2599 = -c*k. Is k composite?
True
Let v(c) = c**3 - 13*c**2 + 10. Let f be v(13). Suppose f*a + 10563 = 13*a. Is a a prime number?
False
Suppose -2*p = 5*p - 33481. Is p composite?
False
Let c(x) be the second derivative of -29*x**3/6 - 11*x**2/2 + 5*x. Let s be c(-5). Is (s/(-5))/(2/(-10)) prime?
False
Suppose -25049 = 3*k - 83867. Is k a prime number?
False
Suppose 0 = -4*a + 2*c - 8580, -4288 = 2*a - 4*c + 2*c. Let f = -599 - a. Let h = f - 682. Is h composite?
True
Let m = -328 - -591. Let s = 558 - m. Suppose 0 = l - 6*l + s. Is l prime?
True
Let w(h) be the second derivative of -h**4/12 - h**3/3 + 5*h**2/2 - 2*h. Let z be w(-5). Is (12 + z)*143/2 a prime number?
False
Is -2*((-47982)/12 + 6) prime?
False
Suppose 0 = 3*t + 15, -5*f + 2*t + 3*t = -120. Suppose -f*n = -14*n. Suppose -915 = -5*w - n*w. Is w a prime number?
False
Let o = 82 - -16. Suppose 7*i - o = 1029. Is i composite?
True
Suppose 39942 = 18*t - 41076. Is t composite?
True
Let f be ((-1)/(-3))/(8/72). Is (0 - f)*1 + 524 prime?
True
Suppose 0 = -128*n + 130*n - 2174. Is n a composite number?
False
Suppose q = -3 + 7. Let y = -154 - -534. Suppose -3*h = -i - y, -q*h - 636 = -9*h - i. Is h prime?
True
Let b(j) = -6 + 20*j - 8*j + 8*j + 20*j. Let i be b(8). Suppose -2*y - i = -4*y. Is y a composite number?
False
Let u(r) be the second derivative of 18*r**5/5 - r**3/6 + 4*r**2 - 38*r. Is u(3) composite?
False
Suppose -4*g = 4*m + 9808, g - 5*m + 1552 = -882. Let w = g - -5206. Is w prime?
False
Suppose -5*l - 5*j + 35 = 0, 0 = -0*l + 3*l - 2*j - 11. Is 1*-1471*3*l/(-15) composite?
False
Suppose 4*i - 16 = 0, 5*v + 3*i - 16766 = 15191. Is v composite?
False
Let t be 823*3/((-9)/6). Let s = -445 - t. Is s prime?
True
Suppose -2*c + 22 = g, 4*g - 86 = c - 7. Is g/5 - 1983/(-1) composite?
False
Suppose 5 = -l, -3*l = -a - 5*l + 186. Suppose a + 424 = -5*x. Let u = x + 489. Is u a composite number?
True
Suppose 2*j + 19 = -5*s + 4, -4*s + 5*j - 45 = 0. Let l = s - -7. Suppose -5*p + v + 479 = 0, -l*p + 83 = -p + 3*v. Is p a composite number?
True
Let t = -37 + 40. Suppose t*s 