lse
Let r be (-3)/9*-3 + 39. Let q = -17 + r. Is q prime?
True
Let z = 17 - -20. Is z a composite number?
False
Let w = -1 + 0. Let t = w + 8. Let b = t - 0. Is b a composite number?
False
Suppose -3*i + 4*i - 11 = 0. Suppose 4*z - i - 1 = 0. Let w(l) = l**2 - 2*l. Is w(z) a composite number?
False
Let m(a) = -4*a**2 + 4*a + 10. Let o(z) = z**2 + z + 1. Let w(b) = -m(b) + 5*o(b). Is w(4) composite?
True
Let p be 1/(-5) + 242/10. Let v(q) = -5*q**3 + 2*q + 2. Let u be v(-2). Let k = u - p. Is k composite?
True
Let o(s) = 13*s + 10 + s - s. Let l be o(7). Suppose g + l = 4*g - 2*d, -20 = 5*d. Is g prime?
True
Let n(u) = 2*u. Let a be n(-1). Is 1 - ((-1 - a) + -2) a composite number?
False
Suppose 0 = -2*y + 2*v + 36, -4*y + 81 = -2*v + v. Let o be -4*y/(-24)*2. Is ((-20)/(-7))/(2/o) prime?
False
Let f be (-2)/(-1 - 63/(-69)). Suppose 4*h - 3*k = -0*h + f, 5*h - k - 15 = 0. Is h prime?
True
Let s = -341 + 156. Let q = -102 - s. Is q a composite number?
False
Suppose 3*h + 5 + 5 = t, 4*t - 4*h = 24. Suppose 5*z + 12 = -5*r - 3, r = -t*z - 12. Suppose -2*v - v + 18 = r. Is v a prime number?
False
Suppose -5*h + 2*h + 2361 = 0. Is h composite?
False
Let t(d) = 194*d**2 + 2*d + 1. Let k be t(-1). Suppose 17 = -5*i - k. Let z = -11 - i. Is z a composite number?
False
Let m(u) = -65*u + 7. Is m(-6) composite?
False
Suppose -3*j + 6401 = 2*y, 5*y + j - 14782 = 1240. Is y composite?
True
Let a = 16 + -16. Is 22 - (a + 1)*-3 a composite number?
True
Let w = 16 + -11. Suppose -x + d = -2*d - 6, d + 16 = w*x. Is x a composite number?
False
Let b = 10 - 11. Let p(a) = -33*a**2 - 4*a + 6. Let s(y) = -y + 1. Let j(d) = -p(d) + 5*s(d). Is j(b) a composite number?
True
Suppose -3*l - 392 = -7*l. Suppose -4*u = -2*u - l. Is u composite?
True
Let a(x) = -5*x**2 + x - 1. Let y be a(1). Let r(k) = 5*k**2 - 7*k - 3. Is r(y) a composite number?
False
Let h = 923 + -510. Is h prime?
False
Suppose 202 = -5*c - 818. Let w = c - -599. Let u = w + -232. Is u a prime number?
True
Let a = 359 + -210. Is a a composite number?
False
Suppose 5*f - 7964 = 4*s, 4*s - f + 7964 = -2*f. Let n = -1230 - s. Is n prime?
True
Suppose -2*b - 15 = -3*n, 2*b - 3*n - 3 = -6*n. Let u = b + 0. Let y = u - -18. Is y a prime number?
False
Suppose 4*j + d = 11, 7*j - 4*j - 5*d - 14 = 0. Suppose 0 = -j*p + 88 + 143. Is p a prime number?
False
Let m = 10 - 8. Suppose -4*x - 6 = -5*x. Suppose m*p = x*p - 172. Is p composite?
False
Let n be 13*(27/(-3))/(-3). Let v = 14 + n. Is v a composite number?
False
Let d(o) = o**2 + 53. Let y(s) = 0 + 4*s + s**2 - s**3 - 3 - 2*s**2 + 3*s**2. Let c be y(3). Is d(c) composite?
False
Let g(p) = 12*p**2 - 2*p + 5. Is g(-3) a composite number?
True
Let w(q) = 2*q**3 - 11*q**2 + 7*q - 8. Suppose -i + 6*i - 4*u - 31 = 0, 5*u = 5. Let j be w(i). Suppose 0*o = 4*o - j. Is o a composite number?
False
Let j(r) = 6*r**3 + 9*r + 6. Let m(s) = s**3 + s**2 + s + 1. Let i(l) = j(l) - 5*m(l). Let w be i(4). Is 98 - (2 + w + -2) prime?
True
Let d(c) be the second derivative of c**4/12 + c**3/6 + c**2/2 - 2*c. Let o(b) = 5*b**2 + 15*b + 19. Let f(a) = -6*d(a) + o(a). Is f(9) a composite number?
False
Suppose -3*q + 6342 = 4*z - 199, 3*q + 3*z - 6540 = 0. Is q prime?
True
Let q = -2 + 6. Let j(t) = 13*t**2 + 3*t - 5. Is j(q) a composite number?
True
Suppose -2*y - j = -417, -6*y + y - 3*j + 1040 = 0. Is y composite?
False
Suppose u + 2245 = 3*g, -g + 365 + 376 = -4*u. Is g a prime number?
False
Suppose -5*i - 2*b + 22 = 0, -6 = -2*i + b + 1. Suppose -20 = -i*j - j. Let a(f) = -f**3 + 5*f**2 + 3*f - 6. Is a(j) a composite number?
True
Let h = 106 + -152. Let v = h + 85. Is v prime?
False
Is 483 - -5 - (4 + -1) prime?
False
Let s be 1*((-2)/(-1) - 1). Let v(t) = 227*t**3 - t**2 + t - 1. Let b be v(s). Suppose -11 - b = -3*l. Is l a composite number?
False
Let u(z) be the third derivative of z**6/120 - z**5/30 + z**4/12 - z**3 - 12*z**2. Let p be 15/4 - 1/(-4). Is u(p) composite?
True
Let q(j) = 7*j**2 + 4. Let z = -7 - -2. Is q(z) a composite number?
False
Let g = -6 - -11. Let f = g + -5. Suppose f = -v - 4*a + 6*a + 137, 4*v + 5*a - 600 = 0. Is v composite?
True
Let o(m) = m**3 + 2*m**2 - 3*m - 3. Let n be o(-2). Suppose n*g - 163 = g - p, -4*g + 301 = -3*p. Is g composite?
False
Is 20692/24 + -2 + (-11)/(-6) a composite number?
True
Suppose -5*n = -91 - 304. Is n prime?
True
Suppose -2*u + 1 + 3 = 0. Is 8/(-12)*(-153)/u a prime number?
False
Let c = 235 - 116. Is c composite?
True
Let a = 2093 + -616. Suppose a = 3*u + 613. Let j = u + -169. Is j a composite number?
True
Let d = 129 - 73. Let g(f) = 3*f**2 - 2*f - 5. Let a be g(4). Let l = d - a. Is l a composite number?
True
Let o(c) = c**3 + c + 34. Is o(0) prime?
False
Suppose -9*u = -5*u - 1276. Is u composite?
True
Let h(g) be the third derivative of g**5/60 - g**4/4 + 3*g**3/2 - 3*g**2. Suppose s = 1 + 7. Is h(s) a prime number?
False
Let h be -1 + (65 + -2 - -1). Let m = h + -37. Suppose -2*a + 4 = 2*y - 28, -2*a - 4*y + m = 0. Is a a composite number?
False
Let j(m) be the third derivative of -m**4/24 + 65*m**3/6 - 2*m**2. Is j(0) composite?
True
Let h = 276 - 133. Is h a composite number?
True
Let g = -78 - -83. Let c be 5 - (1 + -1)/1. Suppose -132 = -6*s + 2*s - g*z, -5*s + c*z = -165. Is s prime?
False
Let m be (-3)/(-9) - (-291)/(-9). Let v = 5 - m. Is v a prime number?
True
Let r(x) = -4*x - 5. Let l be r(-10). Is (-2)/(-7) + 1635/l prime?
True
Suppose 0 = -0*b - 2*b. Suppose q - o - 53 = 0, -q = -b*q - 4*o - 68. Suppose i - 2*w + w = q, i + 2*w = 45. Is i prime?
True
Let g(n) = -25*n. Is g(-1) a composite number?
True
Is 88/(-2)*(-293)/4 composite?
True
Suppose 5*j + 5*g + 360 = 0, 3*j + 231 = 2*g + 10. Let k = j + 131. Suppose -4*r = -2*t + k, 2*t + 115 = 5*t + r. Is t composite?
False
Let u(d) = 1. Let z(l) = 699*l + 11. Let a(j) = 6*u(j) - z(j). Is a(-2) prime?
False
Let c(b) = 16*b**2 - 4*b + 5. Is c(-7) a composite number?
True
Let z(s) be the second derivative of -s**5/20 + 2*s**4/3 - s**3/2 + 7*s**2/2 + 7*s. Is z(7) a prime number?
False
Suppose 3*y + 3*t - 3499 = -2*y, 0 = 5*y - 2*t - 3509. Is y composite?
False
Let h be (4 + -1)/((-6)/4). Is -1 + 11 + (-2)/h composite?
False
Suppose 0 = 4*o + 8, 2*l - 2*o = 3738 + 9804. Is l a prime number?
False
Suppose -4*g = -683 - 65. Is g a prime number?
False
Let f = 11 + -1. Is ((-111)/(-15))/(2/f) a prime number?
True
Suppose 10*f = 9*f + 7. Suppose f*q = 357 + 742. Is q composite?
False
Let z(o) = 21*o - 9. Let d(c) = 10*c - 4. Let f(p) = 7*d(p) - 3*z(p). Let j be f(1). Suppose j*i - 175 = i. Is i composite?
True
Let i be (0 + -6)/(-2)*-16. Let o = i + 85. Is o prime?
True
Suppose 3*k + 4*b = 341, -2*b - b = -k + 118. Is k composite?
True
Let g be -2 - (-5)/((-10)/4). Let c be (g - -2)*(-3 + 1). Suppose -2*a + 3*w + 0*w = -100, 0 = 2*w - c. Is a prime?
True
Suppose 2779 = 2*u + 485. Is u composite?
True
Suppose -2*n - 3*n - 2*r = 5, 2*n = 3*r - 2. Let q be n/(-2) - 289/2. Let s = q - -215. Is s a composite number?
False
Let i = -160 - -269. Is i a prime number?
True
Is 1756 + -3 + 3 - 5 prime?
False
Let k(l) = l**3 - 4*l**2. Let y be k(4). Suppose -2*v - g + 94 = y, 5*g + 233 = 5*v - 32. Is v prime?
False
Suppose -r - 3*r = -120. Suppose a - r = o, 20 = a - 2*o - o. Is a a composite number?
True
Suppose 6*c - 308 = 838. Is c a composite number?
False
Let t be (26/(-4))/(4/(-24)). Let l = t - 14. Is l prime?
False
Is -591*(-21)/(-18)*-2*1 a composite number?
True
Suppose -5*j - 1455 = -5*h, 0*h - 1460 = 5*j - 4*h. Let s = j + 423. Is s composite?
False
Let a be (-14)/(1*(-1 - 0)). Let q = a + -9. Suppose -1 = -p - 2, 2*p = -q*d + 108. Is d prime?
False
Suppose -4*h - 10 = 10. Let z = h - -8. Suppose z*y = 2*y - 4*m + 21, -2*y = -3*m - 42. Is y a composite number?
True
Let a = -95 + 308. Is a a prime number?
False
Let x = 4222 - 2993. Is x a prime number?
True
Suppose 5*f = -5*h - 13 - 2, 5*h + 5 = 0. Let j be f/10*4*-5. Is (j/(-4))/((-1)/37) a composite number?
False
Let c(x) = x**3 - 3*x**2 + 14*x - 13. Let d be c(9). Suppose 71 = 2*l - d. Is l prime?
False
Let k(y) = -6*y + 0*y - 10 - 7*y. Is k(-5) composite?
True
Suppose 0 = -2*f + 6, 3*f = -6*z + 3*z + 4920. Is z composite?
False
Let g = -5 - -2. Let y be ((-6)/4)/(g/448). Suppose 5*r - y = 581. Is r a c