lse
Let f(u) = 14*u**2 + 6*u - 6. Let z = 126 - 121. Does 16 divide f(z)?
False
Suppose -9*y + 12 = -15. Suppose 14 = y*u + 2*u + 2*g, -4*g = 5*u - 18. Suppose -5*b + 371 = 4*z, -b + 77 = -4*z + u*z. Is 6 a factor of b?
False
Let i = -3326 + 4618. Does 55 divide i?
False
Let d = 13321 + -10305. Does 26 divide d?
True
Let l be (-66)/(-7 + 3 - (-6 + 3)). Suppose -2*i + l = -116. Is 5 a factor of i?
False
Suppose 4*a = -4*m + 9*a + 3009, 2*m = 5*a + 1517. Suppose 4*h = 2*r + 2074, -3*r - 224 = h - m. Does 38 divide h?
False
Let j = 24891 - 24602. Is 17 a factor of j?
True
Let y be 69/12*1 + (-3)/4. Suppose 4*p = 8*u - y*u + 974, 2*p + 3*u - 496 = 0. Is 35 a factor of p?
True
Let n(x) = x**2 - 9*x + 2. Let g(h) = 2*h**2 - 13*h + 1. Let c be g(9). Suppose 0 = u - 6*u + 4*m + c, -4*m + 4 = 0. Is n(u) a multiple of 11?
False
Suppose -5434 = -3*h - 2*g, 3*g = h - 1061 - 765. Is h a multiple of 2?
True
Is 5 a factor of (-102)/(-136)*(-760)/(-6)?
True
Let h = -96 + -75. Suppose 36*y - 29172 = -42*y. Let f = y + h. Does 29 divide f?
True
Suppose 4*m + 3*s - 8 = 3*m, m + s = 4. Let k be m + -10 + 5 - (0 - 11). Let p(q) = 2*q**2 + 7*q - 16. Does 8 divide p(k)?
True
Let g be (-138)/(-33) + (50/55)/(-5). Let q be (3/(-6) - -1)*g. Suppose -22 = -2*i + q*v + 226, 5*i - 4*v = 618. Is i a multiple of 18?
False
Let a = 1526 + 10318. Is 83 a factor of a?
False
Suppose 0 = f + 4*n + 9, 4*f + 0*n = -2*n + 6. Suppose 43 - f = 4*r. Is 3 a factor of r?
False
Suppose -3 = 3*y, 8*w + 2 = 10*w + 2*y. Suppose -74 = -3*c + 4*l, 3*c - w*l - 64 = -0*l. Is c a multiple of 3?
True
Let o(i) = i**2 + 46*i - 303. Does 3 divide o(30)?
True
Let s be ((2 - -4) + (-95)/15)*0. Suppose a - w - 453 = s, a - 459 = w - 2*w. Is a a multiple of 65?
False
Let a(r) = -6*r**2 - 61*r - 7. Let z be a(-19). Let u = z + 1422. Is u a multiple of 12?
True
Let r be (3 + -4)/((-1)/4). Let y be (12/(-9))/(r/(-12)). Does 6 divide (-18)/y*608/(-24)?
True
Let p(u) = 1015*u**2 + u - 1. Let d be p(1). Suppose 15 = -4*w + d. Suppose 0 = l - 2*v - w, 4*l + l + 3*v = 1263. Is 36 a factor of l?
True
Suppose 1226 = -9*m - 1006. Let y = m + 313. Does 13 divide y?
True
Does 14 divide -2*(1 + -2) + 31534 + (9 - 3)?
True
Let x(z) = -z + 7. Let k be x(3). Suppose 4*f - 1268 = -k*v, -5*v - 2*f + 1356 + 223 = 0. Is v a multiple of 15?
True
Let h(o) = 2*o**2 - 20*o - 8. Let r be h(12). Let b = 6 + 11. Suppose 18*v - r = b*v. Is v a multiple of 5?
True
Suppose -15696 = -74*r + 65*r. Let y = -844 + r. Does 45 divide y?
True
Suppose -p - 5*a = 10, 7*p - 10*p + a = -2. Suppose 31*v - 1612 - 1798 = p. Does 11 divide v?
True
Let u be 5*((-12)/(-15))/((-6)/(-3)). Is -2*(u - (12/(-3) - -82)) a multiple of 7?
False
Let w(g) = g**3 + 7*g**2 + 9*g - 10. Let t be w(-5). Is (-1 - 7/(-5)) + (-473)/t a multiple of 8?
False
Is 15 a factor of ((-4632)/40)/(10/(-500))?
True
Suppose 5*b - 12 = 3. Suppose -6*l - 196 = -l - b*h, 4*l - 4*h + 152 = 0. Let f = 67 + l. Is 4 a factor of f?
False
Let r(i) be the first derivative of i**4/4 - i**3/3 - 59*i**2/2 + 19*i + 24. Does 31 divide r(9)?
False
Let v be (-1)/(-3) + (1 - (-60)/9). Is 9 a factor of v - 9 - (1 - 169)?
False
Suppose 3*w - 3*k - 156 = 0, -3*w + 3*k = -w - 101. Let c be (-2 + 4)/(6/537). Suppose -5*j + c = 4*a, -j = -a - 3*a - w. Does 11 divide j?
False
Let c(h) = 5*h**2 - 3*h - 18. Let g(q) = -3*q**2 + q + 9. Let k(o) = -4*c(o) - 7*g(o). Let f be k(-4). Suppose -2*p - f*p = -350. Is p a multiple of 40?
False
Suppose 36*h = 32*h + 2392. Let s = h - 557. Does 8 divide s?
False
Suppose -r + k = -5*r + 17, 3*r + 4*k = 29. Suppose r*u + 8*u - 1232 = 0. Let s = u - 80. Does 5 divide s?
False
Let k(m) = 6*m**2 + 306*m + 188. Is 20 a factor of k(-62)?
True
Let x(r) = -r + 1. Let k(y) = 12*y - 10. Suppose -105 = -3*i - 2*i. Let w(p) = i*x(p) + 3*k(p). Does 11 divide w(2)?
False
Let b(c) = -1373*c**3 - 6*c**2 - 21*c - 56. Is 208 a factor of b(-3)?
True
Suppose 0 = -3*k + 9, 8*k - 12*k = -2*s + 38. Suppose s*n - 16*n - 36 = 0. Does 7 divide 3 - (-320)/5 - n?
True
Let s be -1*(-3 + 0) + 26 + 706. Let l = s + -399. Does 12 divide l?
True
Let b = -1467 - -4375. Is b a multiple of 39?
False
Suppose 14*h - 40360 = 12587 - 5277. Does 15 divide h?
True
Let b(y) = 4*y - 4. Let n(r) = 2*r**2 - 10*r + 3. Let f be n(5). Is 8 a factor of b(f)?
True
Let p(y) = 242*y**2 + y - 1. Suppose 2*z + 4 = -4*m - 6, 3*z + 4 = 5*m. Is 40 a factor of p(m)?
True
Let n(h) = 2*h**3 + 6*h - 26. Let s be n(3). Let g = 6 + s. Is g a multiple of 4?
True
Suppose -197 = -5*b + p + 147, 3 = 3*p. Let d = b - 114. Let u = d + 85. Is 6 a factor of u?
False
Suppose 3*m + 5214 = 5*r - 3994, 0 = 5*r - m - 9216. Let k = 1235 - r. Is (-174)/k + ((-402)/(-14))/1 a multiple of 21?
False
Suppose 0 = -4*z - 2*x - 186, -x + 30 = -3*z - 122. Let t = 44 - z. Let i = -64 + t. Is i a multiple of 16?
False
Suppose 0 = -14*i + 3*i - 1364. Is (22/(-4))/(31/i)*33 a multiple of 8?
False
Suppose 3*o + 140 = 8*o. Let a = o + -24. Suppose 56 = 6*v - a. Is 10 a factor of v?
True
Let f be (-4)/(-10) - 88/(-55)*246. Let q = 620 - f. Is 16 a factor of q?
False
Let g = -123 + 126. Suppose -g*c - 804 = -7*c. Is c a multiple of 67?
True
Let y(z) = -z**2 + 2*z + 6. Let u be y(3). Suppose -33*v - u = -30*v. Is ((-70)/1)/(v/1) a multiple of 14?
True
Is 117/(-45)*-2069 - (1 - (-3)/(-5)) a multiple of 13?
False
Let x(t) = -43*t - 64. Let k be x(-5). Let c = 499 - k. Is c a multiple of 43?
False
Suppose 5*b - 57503 = -3*w - 5587, 4*b = w + 41543. Is b a multiple of 67?
True
Let a = -10049 - -16153. Does 14 divide a?
True
Let h = 357 + -355. Suppose 263 = -3*q + h*m + 1146, 5*m + 585 = 2*q. Is q a multiple of 70?
False
Let b(z) = z**3 + 4*z**2 - 7*z + 3. Let q = -12 + -17. Let y = -33 - q. Does 4 divide b(y)?
False
Let q = 2774 - 1709. Suppose -16 = -4*c, 4*c - 3961 = -5*d - q. Is d a multiple of 13?
False
Let m = -10937 - -11709. Is m a multiple of 22?
False
Suppose 2591 = 5*s - 3*d, d - 127 = 2*s - 1164. Does 40 divide s?
True
Let z(l) = l**3 - 6*l**2 - 7*l + 4. Let i be z(7). Suppose 0 = c - 5*k - 69, 2*c - 193 = -i*k + 3*k. Is 33 a factor of (c/1)/(-1 + (4 - 2))?
False
Suppose -1870527 = -40*x + 236953. Does 211 divide x?
False
Let y(d) be the first derivative of 17*d**3/3 + 7*d**2/2 + 4*d + 50. Does 17 divide y(7)?
False
Let y be 6*-10*(248/40 - 7). Let x = 211 + y. Is 37 a factor of x?
True
Let d = -106 + 231. Suppose -8*g = 17*g - 1725. Let b = d + g. Is 12 a factor of b?
False
Let m(v) = -v**2 + 14*v - 47. Let w be m(6). Does 61 divide (2 - 3)*w - (-980)/10?
False
Suppose -2*d - 135 = -d. Let x = -6727 + 6796. Let r = x - d. Is r a multiple of 11?
False
Let m(t) = 10*t**2 + 3*t + 26. Let q be m(-6). Let s = -81 + q. Does 9 divide s?
False
Let l(w) = 55*w**2 - 24*w - 72. Is l(-8) a multiple of 11?
False
Let k = 15872 - -3642. Is 23 a factor of k?
False
Let s be 5*(-5 - ((-102)/10 + 4)). Does 11 divide 167 + 1*(-11 - 1)/s?
True
Suppose 19*l + 46539 = 218736. Is l a multiple of 57?
True
Let g(k) = 3*k**2 + 14*k + 104. Let y(j) = j**3 + 13*j**2 + 23*j + 5. Let p be y(-11). Is 4 a factor of g(p)?
True
Let l(r) = r**3 - 30*r**2 + 84*r - 75. Let n be l(27). Let m(c) = 57*c**2 - 46. Is 17 a factor of m(n)?
True
Suppose 219*c - 240*c + 2520 = 0. Is c even?
True
Let m(a) = -7*a + 33. Let y be m(7). Let z be y/24*(-53 + 2). Does 8 divide 24*(-10)/(-1)*17/z?
True
Let w = -760 - -763. Suppose 0 = 4*a - n - 784 - 708, -w*a - 2*n + 1119 = 0. Is a a multiple of 39?
False
Let j(i) = -4*i**3 + 4*i**2 - 13*i - 15. Let f be j(-5). Let t = 937 - f. Is t a multiple of 9?
False
Let g be (3 - (-3 + (3 - -4)))*0. Let x(p) = -10*p + 165. Is 11 a factor of x(g)?
True
Is 10 a factor of ((-16)/6)/((-244)/298107)?
False
Suppose -107*a + 330751 + 4125 = -428676. Is 37 a factor of a?
False
Suppose -161*t - 3812 = -28992 - 1385. Is 11 a factor of t?
True
Let s = 42 + -104. Does 13 divide -1*s*(3 - 0)?
False
Let t = -65 - -74. Suppose 9*f - 10*f = -t. Suppose f = p - 6. Is p a multiple of 6?
False
Is 8 a factor of 2/(-8) - 2/(-64)*25096?
True
Let o be -1*(-4 + 5)*-1 + 653. Let n = -335 + o. Is n a multiple of 29?
True
Suppose 0 = -2*b - 2*b - 40. Let m = -7 - b. Suppose m*o + 60 = i - 0*o, -4*i + 172 = 5*o. Is 5 a factor of i?
False
Let j(d) = -3*d**3 - 18*d**2 - 13*d + 122. Is j(-13) a