7/(-96) + 4). Does 24 divide 24/i - ((-1425)/(-4))/(-5)?
True
Let c(l) = -l**3 + 13*l**2 - 21*l - 17. Let h be c(11). Is 1 + 270 + h/48*0 a multiple of 34?
False
Let r(u) be the third derivative of -u**6/120 + u**5/5 + 2*u**4/3 - 25*u**3/6 - 19*u**2 + 2*u. Does 42 divide r(12)?
False
Suppose -14*c = 6 - 118. Suppose c*w = 2013 + 1475. Is 67 a factor of w?
False
Let o = 284 + 4009. Suppose -5*v - 4*m = -4299, -v + o = 4*v - 2*m. Is v a multiple of 20?
False
Let o be 8/1 + 3/(15/(-10)). Suppose 2*q = 2*s - o, -2*q + 6*q = -s + 18. Is 6 a factor of s?
True
Is 29 a factor of 10421 - (38/19)/(5/25)?
True
Let f be ((-11)/2 + 3)*(-48)/(-40). Is 4 a factor of 66 - (-6 + (-2 - f))?
False
Suppose 3*l - 12013 = -2*r, 4*r = 125*l - 127*l + 8030. Is l a multiple of 37?
False
Suppose 17*f - 295 = -40. Suppose -f*y - 2700 = -27*y. Is 13 a factor of y?
False
Let d = 0 - -3. Suppose d*s - 232 = 464. Does 29 divide s?
True
Let p = -8682 + 9382. Is 28 a factor of p?
True
Let l be 15 + (-5 - -4 - -3). Suppose -2*b + f + l = -3, -4*f + 4 = -b. Suppose -6*u - 474 = -b*u. Is u a multiple of 22?
False
Let k = -679 + 524. Is (-4632)/(-10) + 31/k a multiple of 22?
False
Let h(v) = -v**3 + 29*v**2 + 2*v - 118. Does 49 divide h(25)?
False
Let y be 1*(3 + 3 - -143). Let n = -59 + y. Is n a multiple of 6?
True
Suppose -p - 2*z = -7341, p - 2*z = -274 + 7603. Suppose -2*j = -5*c + p, -2*j + 2117 + 3751 = 4*c. Is 9 a factor of c?
True
Let j(o) = 2*o**2 + 73*o + 1133. Is 14 a factor of j(-28)?
False
Let i(t) = -t**3 + 30*t**2 - 55*t. Let x be i(28). Suppose 5*z - 2274 = -4*o, 0 = 2*o - x*z + 27*z - 1130. Does 88 divide o?
False
Let o(c) = 586*c**2 - 6*c + 9. Does 55 divide o(-2)?
True
Let j(l) = 3*l**2 + 27*l + 36. Let f be j(-7). Let t(d) = 8*d**2 - 4*d - 2. Let y be t(-3). Let h = y - f. Is h a multiple of 11?
True
Suppose 9*j - 8*j - 134 = -4*h, -4*h = -3*j - 126. Let m(d) = -d**3 + 31*d**2 + 74*d + 48. Is 26 a factor of m(h)?
True
Suppose 107*m = 407*m - 1203900. Is 8 a factor of m?
False
Suppose 4*j - 15 = -3*h, -2*j - j = 4*h - 13. Does 21 divide (1 - 17/j)*-18?
True
Let o = 1785 - -8966. Is o a multiple of 13?
True
Let m(q) = -12*q**3 - 266*q**2 - 25*q - 130. Is m(-25) a multiple of 93?
False
Is (-260)/260 - -4*5708/1 a multiple of 79?
True
Suppose 67*w - 70*w - 657 = 0. Let h = -157 - w. Is h a multiple of 3?
False
Suppose 61 = -b + x - 14, 0 = 2*x. Let d be 3*(b/27)/(-5)*-3. Does 4 divide (2/d)/(42/(-2415))?
False
Let j(w) = 235*w**2 - 111*w + 564. Is j(6) a multiple of 150?
False
Let b = 8228 - 7866. Is 3 a factor of b?
False
Let c = 163 - 158. Suppose -3*r = c*x - 186 + 26, 3*x - 115 = 2*r. Is 5 a factor of x?
True
Let f = 15830 + 9312. Is 157 a factor of f?
False
Let n = 52 - 39. Suppose 4*w - 468 = -2*s, w - 113 = 4*s + n. Let r = w - 60. Is 4 a factor of r?
False
Let i(n) = 1113*n**2 - 5*n + 10. Let u be i(-4). Suppose -60*x + 42*x = -u. Is x a multiple of 14?
False
Let r(o) be the third derivative of -19*o**4/24 - o**3/3 + 5124*o**2. Let k(w) = -7*w + 1. Let i be k(1). Is 8 a factor of r(i)?
True
Suppose 30 = -5*s - 0. Let q(t) = -23*t - 110. Does 4 divide q(s)?
True
Suppose -23*v = -858 - 42267. Let k = -1275 + v. Does 24 divide k?
True
Let x(v) = -179*v + 34. Let i(c) = -c**2 - 4*c + 15. Let r be i(-7). Does 69 divide x(r)?
False
Let t = -44698 + 67702. Does 27 divide t?
True
Suppose 2*f + 18 = 2*c, 2*c + 3 - 1 = -2*f. Suppose 0 = c*t + 40 + 32. Let v = t - -56. Is v a multiple of 19?
True
Let l be (-550)/4 + (-26)/52. Let h = l + 143. Is 2 a factor of h?
False
Let j(t) = -2011*t - 9653. Is 24 a factor of j(-23)?
True
Suppose -227 = 5*c + 3*k, 103 = -2*c + 4*k + 7. Let n = 254 + c. Is 11 a factor of n?
False
Let r(m) = 8*m + 1. Let q be ((-27)/(-36))/(-1 - (-27)/24). Let l be r(q). Let c = 73 - l. Is c a multiple of 6?
True
Suppose -4835 = 11*r - 36163. Is 16 a factor of r?
True
Let s be 2 + (2 - 1) + 3. Suppose 177 - 177 = 9*v. Suppose 5*d = v, -4*d + 29 = x - s. Is 9 a factor of x?
False
Suppose -27*o - 5*o - 5600 = 0. Is ((-630)/o)/((-3)/(-1170)) a multiple of 13?
True
Suppose -4*m = 3*i - 132, -5*i - 2*m + 203 = -m. Let v(o) = 5*o - 149. Let w be v(24). Let j = w + i. Does 2 divide j?
False
Let v be (-15)/6*(-4 - (-64)/20). Suppose -5*h + 8 = v*n - 1, 3*h - 4*n - 21 = 0. Suppose 5*y = 5, 0 = r - 4*y - h - 22. Is 9 a factor of r?
False
Suppose -n = -3, -2*n - 746 = -a - 222. Is a a multiple of 53?
True
Let a(z) = -z - 7. Let d(h) = -h**3 - h**2 - h + 2. Let p be d(-2). Let j be a(p). Let r = j + 141. Is r a multiple of 9?
True
Let o(v) = v**2 + 5*v - 10. Let a be o(-6). Let x(u) = 5*u**2 - 10*u - 25. Is x(a) a multiple of 5?
True
Suppose 5*m - 3286 = 4*d - 0*d, -d = m - 650. Suppose -b + m = 5*t, b - 5*t = -t + 690. Is 27 a factor of b?
False
Suppose 5*s + 62*l - 64*l - 5314 = 0, -4*s = -l - 4253. Is 8 a factor of s?
True
Let l(t) = -5*t + 18. Let k be l(7). Let r = -17 - k. Does 19 divide (6 + -5)*(r + 27)?
False
Suppose 3*m + 10591 = -3*q + 40756, -3*m + 3*q + 30147 = 0. Does 10 divide m?
False
Suppose -2*b + 5 + 7 = 2*w, 14 = -3*w + 5*b. Let v(d) = 4*d**3 + d**3 + w*d + 5*d**2 - 5*d**3 + 5 - d**3. Is v(5) a multiple of 11?
False
Let v = -48 + 35. Suppose -4*d + 3236 + 15820 = 0. Is 31 a factor of 2/v + 6 + d/39?
False
Suppose -f + 29*f + 62952 - 336680 = 0. Is 8 a factor of f?
True
Is -9 + 1787*138/72 - 5/60 a multiple of 28?
True
Suppose 29*g - 3034 - 1896 = 0. Let i = 6 + -1. Suppose 5*l - 141 = -i*d + 299, -l - g = -2*d. Does 21 divide d?
False
Let h(m) = m**3 + 10*m**2 + 4*m - 20. Let d be h(-10). Is ((-41)/2)/(15/d) even?
True
Let f be (-4)/12 - (-8)/(-3). Suppose -5*v - 91 = 4*g - 358, -3*g + 209 = -5*v. Let j = g + f. Is 27 a factor of j?
False
Let p(s) = 2*s**2 + 5*s + 5. Let k be p(0). Suppose 0 = -3*q - 4*l + 910, -k*l + 1035 = 5*q - 475. Is q a multiple of 21?
False
Suppose -3*l = -5*y - 70 + 5, -4*l + 3*y = -72. Suppose 0 = -l*w + 16*w - 336. Is 16 a factor of w?
True
Suppose 2*r - 6*r = 3*f + 48, 0 = 5*r - 3*f + 33. Let i be (-8)/12 - 330/r. Let d = 41 + i. Does 8 divide d?
False
Suppose 2788 = 15*b - 14*b - 4*i, -2*b - 4*i + 5504 = 0. Does 5 divide b?
False
Let h = -17785 - -21095. Is 30 a factor of h?
False
Let f(s) = 5*s**2 + 14*s + 44. Let j(v) = -2*v**2 + 9*v + 8. Let c(o) = -6*o**2 + 26*o + 23. Let m(q) = -3*c(q) + 8*j(q). Let u be m(3). Does 12 divide f(u)?
False
Suppose -15*y + 36584 + 65301 = -52915. Is y a multiple of 120?
True
Let p be ((-9)/(-6))/(3/30). Suppose p*r - 24 = 7*r. Suppose -243 = -d - 4*y, r*d + 0*y - y - 755 = 0. Is 15 a factor of d?
False
Let z be (0 + 4)*(-1)/(-4). Let a(y) = -143*y**2 + 4 - z + 144*y**2 + 7*y. Is 20 a factor of a(-14)?
False
Let z = -423 - -444. Suppose -434 + z = -7*q. Is 2 a factor of q?
False
Suppose -3*i + 5*a - 271 = -0*i, -2*i - a - 172 = 0. Suppose -2283 = -17*y - 107. Let m = i + y. Is 7 a factor of m?
False
Suppose -4*v - 3*v = 0. Suppose 0 = -0*o - 2*o + 2, 3*h - 2*o + 1091 = v. Let p = -227 - h. Is 34 a factor of p?
True
Let n(q) = q**2 + 3*q. Let i be n(8). Let r be i/(-33) - (-2 - (-7)/3). Does 9 divide r + 5/2 - 131/(-2)?
False
Suppose 16*p - 31718 = 34895 - 1957. Does 4 divide p?
False
Suppose -n = z - 2 + 8, z + 3*n + 6 = 0. Let q be 4/3 + 896/z. Let k = q - -161. Is k even?
False
Let h = -11 - 46. Let j = -44 - h. Does 13 divide j?
True
Is (-2210)/136*(-1176)/5 a multiple of 18?
False
Let m(h) = h**3 + h**2 + 1. Let g(o) = -4*o**3 + 12*o**2 - 31*o + 2. Let w(j) = -g(j) + 4*m(j). Is 55 a factor of w(5)?
False
Is 7143 - (13 - (-126)/(-9)) a multiple of 38?
True
Let d(k) = -3*k + 1. Let y(l) = -16*l - 28. Let v(a) = 6*d(a) - y(a). Let u(g) = -g + 6. Let w be u(0). Does 11 divide v(w)?
True
Suppose 4*b + 5*o + 3 = 0, -5*b + o - 2*o + 12 = 0. Suppose -b*a = w - 1733, w - 25 = -4*w. Suppose -15*t = -3*t - a. Is t a multiple of 37?
False
Suppose -4*t + 3*v = -2327, 3*t - 5*v - 78 = 1659. Does 4 divide t?
True
Suppose 0 = 4*w + 5*k - 44271, -2*w + 19801 = 3*k - 2334. Does 8 divide w?
False
Let b be (246 - 1)*(-6)/(-6). Suppose -5*g = 5*c + 590, 4*g = 5 - 17. Let q = c + b. Is 35 a factor of q?
False
Let h be ((-8)/(-8))/(2 - 261/129). Let x = h - -58. Suppose 0*j = -j + x. Is 14 a factor of j?
False
Let w = 5040 + -3200. Is 40 a factor of w?
True
Let h be -9*38/15*(3 + 2). Let q = 