lse
Suppose 48630 = 17*v + 18710. Does 20 divide v?
True
Is 30 a factor of (((-6)/1)/3)/(24/(-110640))?
False
Let h be (38 - -44)*(6 - 0). Suppose -5*j + j = -3*o - h, -j - 2*o = -112. Is j a multiple of 24?
True
Let v(q) = 7*q - 24. Let d be v(4). Suppose -455 = -2*p - 0*p + 5*i, 3*p = -d*i + 740. Is 6 a factor of p?
True
Suppose 44 - 32 = 6*y. Suppose y*v - 625 = 559. Is 18 a factor of v?
False
Let k = -6887 - -13583. Does 108 divide k?
True
Suppose 5*z = -2*h + 331, -2*z + 140 = 5*h - 677. Let a be 3/(18/50)*(2 - -4). Let i = h + a. Is 8 a factor of i?
False
Let m(d) = -7*d. Let u be m(-4). Is 17 a factor of ((-18272)/u)/(-4) - 1/7?
False
Let i be 5/((-30)/(-18)) + (-1)/1. Suppose 0 = i*g - 456 - 138. Is 33 a factor of g?
True
Let g be -5*4/(-40)*-4. Let r be (-5 - -7)*(-1)/g + -21. Does 13 divide 83 - ((-11)/4 + (-15)/r)?
False
Let p = -3368 - -5966. Is p a multiple of 17?
False
Let c(r) = -r**3 + 2*r**2 + 5*r - 6. Let y be c(3). Suppose -5*s + t + 1142 = 0, -919 = -4*s - t - y*t. Is s a multiple of 7?
False
Let u(l) = 2155*l**2 - 37*l + 1. Does 24 divide u(-1)?
False
Let q be (-2)/6 - 266/(-6). Suppose 0 = -11*r - 2177 + 2199. Suppose 134 + q = r*v. Does 7 divide v?
False
Let p = 1220 + -218. Does 6 divide p?
True
Is 1152585/90 + 6*1 - 10/4 a multiple of 14?
True
Suppose -202*v + 3585744 = -54*v. Is 18 a factor of v?
True
Suppose -9422 = -t + o, -8 + 14 = 2*o. Does 145 divide t?
True
Let f(h) = -h**2 - 59*h + 11589. Is 18 a factor of f(0)?
False
Let z(u) = u**2 - 25*u - 41. Let q be z(27). Suppose -275 = -q*i + 1402. Is i a multiple of 23?
False
Suppose -26*b = -22*b, -5*b = -2*t + 4084. Does 64 divide t?
False
Suppose -16*n + 90 = -31*n. Is 37 a factor of 7/(-21) + (-890)/n?
True
Suppose 0 = 59*b - 19*b - 53690 - 669390. Does 15 divide b?
False
Let y(s) = 3*s - 13. Let x be y(6). Suppose -2*p - x*j + 11 = 0, -4*p + 2*j - 1 = -11. Suppose -124 - 152 = -p*h. Does 21 divide h?
False
Suppose 0 = 3*n + 4525 - 17638. Is n a multiple of 93?
True
Suppose 0 = -18*i + i - 2*i + 87685. Does 3 divide i?
False
Let i(n) = 6*n**3 + 17*n**2 - n - 126. Is 108 a factor of i(9)?
True
Let y(b) = -24*b**3 + 5*b**2 - 65*b - 329. Is y(-5) even?
False
Suppose 8*i - 443 = 7*i + 4*t, -t - 2 = 0. Let g = i - 267. Is g a multiple of 6?
True
Let s(w) = -251*w - 148. Let h be s(-5). Suppose 27*v - h = 18*v. Does 17 divide v?
False
Let g = -147 + 214. Let p = -94 + g. Let m = 134 + p. Does 12 divide m?
False
Let b(s) = 6*s**2 - 5*s + 4. Let l be b(1). Let w(x) = -5*x + 9. Let p be w(l). Let d(q) = -8*q - 39. Is d(p) a multiple of 16?
False
Suppose -4*m = -2*s - 1806, s + 454 = -2*m + 3*m. Let c = -337 + m. Is 4 a factor of c?
True
Suppose 9 = 2*n + 1. Let x be 20/(-12) - -2 - (26/(-3) + 7). Suppose 0 = -x*c + m + 39, n*m = -10 - 10. Is 4 a factor of c?
False
Suppose -207 = 12*a + 129. Let i = 93 + a. Is i a multiple of 3?
False
Suppose -202981 - 1225299 = -140*s. Does 27 divide s?
False
Let t(w) = -14*w + 89. Let h be t(4). Suppose -x + h*x - 12032 = 0. Is x a multiple of 17?
False
Let j(k) = 5*k - 21. Let g(c) = -c + 5. Let s(x) = -9*g(x) - 2*j(x). Suppose -4*u + 16 = -6*u. Is 4 a factor of s(u)?
False
Let c be (-52)/(-78)*(12 - 0). Suppose 32*z - 1440 = c*z. Is 15 a factor of z?
True
Suppose d - 82*a + 81*a + 498 = 3810, 0 = 2*a. Does 12 divide d?
True
Suppose 43 - 13 = 5*p. Suppose -1680 = -5*q + 5*s, 9*s = p*s. Is 8 a factor of q?
True
Suppose 5*v - 2272 = 2*z - 21968, -9854 = -z + v. Does 4 divide z?
False
Suppose 24*v = 158463 - 28791. Is 70 a factor of (39 + -40)/((-10809)/v + 2)?
False
Is (-2345 + -67)*10/(-6) a multiple of 36?
False
Let v = -38 - -43. Let t = v - 33. Let m = -23 - t. Is m a multiple of 5?
True
Let c be 1/((-1)/(-4)*2). Let z be (-13 + -4 + 3)*c/(-2). Does 7 divide z/(-21) + (-46)/(-6)?
True
Does 112 divide 17843 - (17 + -2)/(90/60)?
False
Let h(g) = 2*g**2 + 41*g - 365. Is 2 a factor of h(22)?
False
Is 27 a factor of (-643965)/(-90) - (-2)/(-12)?
True
Suppose 17*r = 21*r - 32. Suppose 2*p - 4*i + r = 0, 0*i + 6 = 3*i. Suppose 4*x = -3*u + 246, p = 8*x - 3*x - 5*u - 325. Is 14 a factor of x?
False
Let f = -643 - -649. Suppose f*c + 9651 = 5*z + 7*c, -4*c - 16 = 0. Does 18 divide z?
False
Let a = -603 + 607. Suppose 0 = -a*o - w + 6999, -4*w + 5*w + 5244 = 3*o. Does 53 divide o?
True
Let t = -41 + 46. Suppose 3*c + p = -0 + 146, 0 = -t*p - 5. Is 14 a factor of c?
False
Let y = -9250 + 12224. Is y a multiple of 43?
False
Let n = -5820 + 7822. Is 154 a factor of n?
True
Let d(m) = 4*m**3 - 9*m**2 - 46*m + 103. Does 33 divide d(20)?
False
Let f(q) = -1. Let y(o) = -2*o - 22. Let g(d) = 3*f(d) - y(d). Let v be g(-10). Is (-174)/(-2)*(-4 + (v - -6)) a multiple of 11?
False
Let o(s) be the third derivative of -1/120*s**6 + 11/24*s**4 + 3/20*s**5 - 1/6*s**3 + 0 - 3*s**2 + 0*s. Is o(10) a multiple of 9?
True
Suppose 4*f = 47 + 61. Let k be 2/(75/f - 3). Is 4 a factor of k - -12 - (-28)/1?
False
Suppose 4*f = -4*m + 436, 426 = 5*m - 2*f - 147. Suppose 0 = 7*s - 426 - m. Is 9 a factor of s?
False
Suppose 34 = -2*m + 4*y, -28*m + 26*m - 58 = 4*y. Let n(u) = -3*u**2 + 6*u + 5. Let f be n(-5). Let h = m - f. Is 26 a factor of h?
False
Suppose 3*r = 3, -l + 266 = 2*l - 4*r. Let k = l - -196. Does 26 divide k?
True
Let g(t) = -t**3 + 2*t**2 + 11*t - 6. Let u(q) be the first derivative of -q**2/2 + 27*q - 17. Let z be u(23). Is g(z) a multiple of 3?
True
Let h(j) = j**2 + 6*j + 2. Let f be h(-6). Suppose -6*q - 3 = -15. Suppose f*p - 3*g - 18 = -q*g, 5*g = -4*p + 8. Does 3 divide p?
False
Let b(p) = -165*p - 168*p + 16 - 168*p + p**2 + 506*p. Is b(-10) a multiple of 31?
False
Let p be (-1996)/(-2495) + 2742/10. Suppose t - 356 = 6. Suppose 3*d = -d + 2*a + t, 5*a + p = 3*d. Is 10 a factor of d?
True
Let a(n) = 2*n**2 + 12*n - 5. Let m be 4/14 + (-624)/(-168). Does 7 divide a(m)?
False
Suppose 0*n + 2 = n. Let q(v) = 40*v**2 + v - 25*v**n + 22*v**2 + 1. Does 8 divide q(-1)?
False
Let z(v) be the first derivative of 2*v**2 + 34*v + 29. Is 10 a factor of z(14)?
True
Suppose 0 = 5*f + 5*z - 560, -4*f + 7*z + 403 = 2*z. Let y = f + -107. Suppose -8*o + 10*o - 192 = y. Does 16 divide o?
True
Suppose 16 = 5*b - v, 2*b = 2*v - 5*v + 3. Let l(h) = -7 + 11*h**2 - 2*h + 163*h**3 - 162*h**b - 8. Does 36 divide l(-9)?
False
Let i(x) be the first derivative of x**3 + 45*x**2 + 12*x - 20. Is 3 a factor of i(-30)?
True
Let o(b) = -2*b**2 + 56*b + 41. Suppose -16 = 5*i + 4, -5*i - 155 = -5*u. Is 2 a factor of o(u)?
False
Suppose -6*y + 3*y + 18 = 0. Let w = 16 - y. Is 4 + w*8 + -5 a multiple of 13?
False
Let m = 965 - 730. Suppose 0*v - 381 = 3*v. Let y = m + v. Is y a multiple of 27?
True
Let j be (24/14)/(31/3689). Let x = j + 387. Is x a multiple of 42?
False
Let p = 34484 + -5476. Is p a multiple of 28?
True
Suppose 0 = -3*f + 1 + 14. Let n(l) = 3*l**3 + 6*l**2 + 9*l - 14. Does 12 divide n(f)?
False
Let b(p) = 46*p**2 + 164*p - 215. Is 13 a factor of b(-34)?
True
Let h = 44 + -32. Let l = 565 - 331. Is (h/(-36))/((-2)/l) a multiple of 16?
False
Let b be ((-8)/20*22)/((-1)/(-30)). Let i = 288 + b. Does 8 divide i?
True
Suppose 17*w - 31*w = 10640. Let j = 506 - w. Is 65 a factor of j?
False
Let a be -1 - -1 - (-4 - 910). Let j = a + -466. Is j a multiple of 16?
True
Does 10 divide (((-104517)/(-2370))/((-3)/5))/((-1)/72)?
False
Suppose 0 = 26*a - 10416 + 1758. Is 2 a factor of a?
False
Let d = -9031 - -11985. Does 3 divide d?
False
Let b(n) = 25*n - 27. Let o be b(4). Suppose 0 = 3*k - 4*x - 811, -3*k = -2*x - 736 - o. Is 7 a factor of k?
False
Let z(t) = t**2 - 3*t - 36. Let y be z(8). Suppose 1074 = 2*s - y*n, 3*s = n + 381 + 1210. Does 62 divide s?
False
Suppose q - 10 = 5*y - 11, 0 = -3*q + 4*y + 19. Suppose 0 = 3*s + 9, 0 = -2*v + 5*s - 368 - 139. Does 23 divide 12/q*v/(-2)?
False
Suppose 2*a = -8*a + 40. Let o(f) = -24*f + 156. Is o(a) a multiple of 20?
True
Suppose 34 = -r + 3*c - 1, -95 = 3*r + c. Let y(q) = q**2 + 23*q - 172. Is y(r) a multiple of 7?
False
Let y = 3821 - -1255. Is 12 a factor of y?
True
Let w = 20 - 423. Is 37 a factor of 1/(-3)*(w - -1)?
False
Let b = -289 - -289. Suppose b = -d + 3 + 231. Is 18 a factor of d?
True
Let t be (-4 - -7) + 1*-7. Let m be ((-18)/t + -4)*-6. Is (-23*(2 + m))/1 a multiple of 15?
False
Suppose -9*n = -2*n - 13097. Su