 divide u?
False
Let d = -64 - -14. Is 20 a factor of (-14980)/d + (3 - 13/5)?
True
Let x be (-5 + (-4 - -7))*(-3)/(-6). Let k be x/((4/(-39))/(-4)). Does 12 divide 0/((-20)/5) - k?
False
Let d(n) = n**2 - 9. Let a be d(6). Let x be (a/6)/((-1)/(-2)). Is 30 a factor of 2 + 1869/x + (-2)/(-6)?
True
Let n = -8038 - -14805. Is 11 a factor of n?
False
Suppose -146863 = -76*q + 375407 + 282114. Does 28 divide q?
True
Let c be (-5)/(5*2/(-12)). Let w(f) = -11*f**2 + 7*f**2 + 2 - f**3 - c*f + 13*f. Does 10 divide w(-6)?
False
Let t be (-704)/(-121) + 1/11*2. Suppose t = -5*w + 8*w. Suppose -w*o = 5*x - 632, x - o = -2*x + 377. Is x a multiple of 18?
True
Suppose l = g + 72, -18*g - 248 = -4*l - 22*g. Is l a multiple of 24?
False
Let t(r) be the third derivative of -5*r**4/24 - r**3/3 + r**2. Let h = -1444 + 1440. Does 9 divide t(h)?
True
Suppose 0*w - 4*w = -4. Suppose -v = 4*y, 5*v + 7*y - 6*y = 19. Suppose 0 = v*p + w - 225. Is 14 a factor of p?
True
Let p = -560 + 562. Does 13 divide -3 - (p + -3) - (-13 + -392)?
True
Suppose -2*m = -8*j - 14910, 85*m - 87*m - 3*j + 14943 = 0. Does 131 divide m?
True
Let z = -2725 - -3305. Does 10 divide z?
True
Suppose 4 = 2*y + 6. Let s be (1 - 4)*(y/3 + -1). Suppose -s*a + 92 = 20. Is a a multiple of 15?
False
Let z(h) = 48*h + 29*h - 743 + 770 + 8*h. Does 7 divide z(1)?
True
Let y(h) = -h**2 - 16*h + 1. Let g be y(-7). Let z = g - 59. Suppose -3*l + 3*i + 101 = l, 0 = 5*l + z*i - 170. Does 8 divide l?
False
Suppose -5*x + 1 = -4*r, -r + 17 = 2*x + 1. Suppose 0 = r*p - 3*p - 9. Suppose -5*s = 3*y - 14, -4*s + p = y - 4. Is y a multiple of 2?
False
Is 18 a factor of 36/((9765/(-1629))/1 + 6)?
True
Does 12 divide -12 + 26925 - (4 + 5)?
True
Is 74 a factor of (1067130/17535)/((-521)/(-1554) - (-1)/(-3))?
True
Let w(f) be the second derivative of f**4/12 - f**3/6 - 5*f**2 - 55*f. Let d be 6*(-2 + -2 + 3). Is w(d) a multiple of 8?
True
Suppose w - 9 = -17. Does 11 divide -9*w/108 - 1316/(-6)?
True
Does 3 divide (-500)/225*18342/(-8)?
False
Let a(n) = n**2 + 2*n - 13. Let b be a(4). Let j = b + 366. Does 7 divide j?
False
Let v = -7410 - -8234. Is v a multiple of 8?
True
Let x be ((-2210)/(-4))/((-26)/(-52)). Suppose 186*o = 191*o - x. Let q = o + -62. Is q a multiple of 33?
False
Suppose 10*v = 6*c + 11*v - 16158, -c - v + 2698 = 0. Is c a multiple of 104?
False
Let m = 34243 - 8063. Is m a multiple of 22?
True
Let r be (12/8)/3 + 1/(-2). Suppose r = -2*s - 142. Let u = s + 97. Does 26 divide u?
True
Is 44 a factor of 1 + -2 - ((-169)/(-13) - 2654)?
True
Is (40/(-6))/((-65733)/(-8217) + -8) a multiple of 44?
True
Suppose 3*i = -9 + 21. Let h be -1 + 4/(i/121). Suppose 2*a - h = -0*a - 5*g, -5*g + 20 = 0. Is a a multiple of 10?
True
Let p = 3871 - 2581. Does 15 divide p?
True
Let t = 1788 - 878. Is 23 a factor of t?
False
Let r be 4/(-5 - -3) + 4. Let i be (-54)/48*-10*2*r. Suppose -3*y = -819 - i. Is y a multiple of 14?
False
Let o(p) = 13*p**2 + 10*p + 18. Does 14 divide o(-3)?
False
Let t = -173 + 183. Suppose -d + 3*l + 647 = 0, -t*l = -4*d - 6*l + 2628. Is 10 a factor of d?
False
Suppose -5*t = 5*x + 85, -2*t = 2*t - 4*x + 92. Let c be (1152/t)/(-4)*40. Suppose z = 7*z - c. Does 11 divide z?
False
Let y(q) = q**3 + 17*q**2 + 4*q + 13. Let s(v) = v**3 + 15*v**2 + 3*v + 11. Let h(i) = 5*s(i) - 4*y(i). Let n be ((-3)/4)/((-1)/(-8)). Is 10 a factor of h(n)?
False
Let x(n) = -2*n**2 - 25*n + 55. Let f(i) = 2*i**2 + 24*i - 53. Let w(q) = 6*f(q) + 5*x(q). Does 48 divide w(12)?
False
Let s be ((-286)/(-4) + 1)/((-5)/(-10)). Let g = s - 272. Let p = g - -196. Does 9 divide p?
False
Suppose 162 = 6*o + 12*o. Is 15 a factor of (-9)/(1/((-42)/o)) + 3?
True
Let m(p) = -22*p + 11. Suppose 4*f = -5*d + 10, -3*d - 5*f + 9 = -10. Is 50 a factor of m(d)?
False
Let g be -7*(1 - (0 - -2)). Let i(x) = -x**2 - 4*x + 1. Let b(s) = s**2 - 15*s - 7. Let j(z) = b(z) - 3*i(z). Is 33 a factor of j(g)?
True
Let s(a) be the second derivative of 13*a**4/4 + 2*a**3/3 - 3*a**2/2 - 3*a. Suppose -8*g + 193 - 185 = 0. Is 4 a factor of s(g)?
True
Suppose 0 = 38*u - 31*u + 42, 0 = 4*p - u - 5962. Does 11 divide p?
False
Let r(i) = -22*i**3 - i**2. Let u be (-2)/(7/(14/4)). Let a be r(u). Let w = 70 - a. Is 13 a factor of w?
False
Let s be (20/(-8)*(-10)/(-25))/1. Does 8 divide (2 - s) + (-1 - -2 - -100)?
True
Let z(q) = 35*q**3 - 2*q**2 - 3*q + 2. Let v be z(2). Let c = -2348 - -2350. Suppose 0 = c*l - 6*l + 3*h + v, -5*h + 370 = 5*l. Is 16 a factor of l?
False
Let g(m) = -2*m**3 + 35*m**2 - 41*m - 341. Does 11 divide g(-12)?
False
Suppose 0 = 3*g - 0*b + b + 6, -4*g = 5*b + 8. Let c be (-4 - g)/((-1 - 3) + 2). Is 3 a factor of (-33 + 1 + c)/(3 + -4)?
False
Let p(k) = 3544*k**2 - 43*k - 45. Is 209 a factor of p(-1)?
False
Suppose -5*v = 3*b - 18625, 2*v = -10*b + 11*b + 7439. Is 32 a factor of v?
False
Suppose -17*y + 12*y + 12806 = -4*l, 0 = 2*y - l - 5123. Is y a multiple of 61?
True
Suppose -11 = -2*t - 5*p, t + 4*p = -39 + 46. Suppose -t*y + 6 = 0, -4*z + 0*z = -y - 3310. Is z a multiple of 18?
True
Let q(z) = 5*z**2 + 2*z - 2. Suppose -2*i = -d + 4, 3*d + i + 11 = -5. Is q(d) a multiple of 14?
True
Suppose 2*b + 12202 = 2*v, 3*v - 21435 = 5*b - 3140. Is v a multiple of 4?
False
Let x(q) = -6881*q + 666. Is x(-4) a multiple of 10?
True
Let i be 13*(2 + -1) + -1 + -4. Is 22 a factor of 9/((-9)/220)*i/(-5)?
True
Let q be (1 - 2)/((-64)/(-256)). Is (7 - 34)*(q/3 - 0) a multiple of 3?
True
Suppose 0 = -36*f + 42*f + 42. Is 20 a factor of ((-9592)/24 + f)*-3?
True
Let n = -177 + 180. Is 5 a factor of (2 - n)*(16 - 411)?
True
Let v(s) = s**3 + s**2 - 3*s - 2. Let d be v(3). Let a = d + -31. Let j = 81 + a. Is 26 a factor of j?
False
Suppose -13*f - 4*f = -0*f - 2448. Does 9 divide f?
True
Let f be -2*(8 + -3 - 2 - 6). Let q be 1671/(-2)*(f + 32/(-3)). Suppose q = 16*d + 763. Is 49 a factor of d?
True
Let o(y) = -36 + 37*y + 47*y - 76*y - 24. Does 25 divide o(13)?
False
Suppose 6 = 6*m + 24. Does 11 divide -1*(m - 3) + 590?
False
Suppose -s = s - 18. Let y be (-2)/18 + 1/s. Suppose -i + 98 - 16 = y. Does 13 divide i?
False
Let i be (-40)/(-60)*9/(-2). Is 20 a factor of (-8)/(i - (-372)/126)?
False
Let v be (-60)/120 - 82/(-4). Does 14 divide (-36)/v - -2 - 6578/(-10)?
True
Let m(y) be the second derivative of y**7/840 - y**6/120 - y**5/40 - 25*y**4/12 - 5*y. Let q(o) be the third derivative of m(o). Does 17 divide q(5)?
False
Let k(p) = 6*p - 10. Let u be k(3). Let h(s) be the third derivative of s**4/6 - 7*s**3/6 - s**2. Does 3 divide h(u)?
False
Let o(d) = -d**2 - 10*d - 19. Let s be o(-8). Let z(p) = -7*p - 18. Let b be z(s). Does 17 divide 15/6*(37 + b/(-1))?
True
Let f be (76/95)/((-41)/(-20) + -2). Let a(v) = -v**3 + 17*v**2 + 39*v + 6. Is a(f) a multiple of 28?
False
Let m(b) = -37*b + 68. Let a be m(-7). Suppose -5*u = -2*z + 682, -7*z + u - a = -8*z. Is 20 a factor of z?
False
Let j be (87/17)/1 - (-110)/(-935). Does 31 divide (j + -4 + -125)*-5?
True
Let k(u) = u**2 - 13*u + 16. Suppose 10*w + 57 = 177. Let s be k(w). Suppose -4*v - 376 = -s*z, -3*z = -z - v - 193. Is z a multiple of 13?
False
Let v = 22 + -14. Suppose v*k = 231 + 601. Let o = -85 + k. Is 11 a factor of o?
False
Let b(s) = -394*s - 218. Is b(-8) a multiple of 18?
True
Let b = -6049 - -9415. Suppose 4*t = 37*t - b. Is t a multiple of 6?
True
Let x = -7 + -20. Suppose -41*s + 540 = -77*s. Let k = s - x. Is k a multiple of 4?
True
Let x(u) = -3583*u + 291. Is x(-17) a multiple of 142?
True
Suppose -4*q + 17 = 1. Suppose 3*g = 3*a - q*a + 11, 0 = -3*g - 4*a + 8. Is 85 - (-1 - (g - 2)) a multiple of 12?
False
Let j(r) = -r**2 + 405*r + 763. Is 187 a factor of j(135)?
True
Suppose 405967 = 15*o + 66622. Is 25 a factor of o?
False
Let m(n) = -3*n**2 - 80*n + 15. Let r be m(-24). Does 22 divide (-1333)/(-3) + 138/r?
False
Let u(z) = 9*z + 3. Let d be u(0). Is 18 a factor of 2 + (-5 + d)*-143?
True
Let w be (100/60)/((-1)/(-3)). Suppose -w*o = -4*o - 27. Suppose -o = -2*g - 13. Is g even?
False
Let q(t) = t**2 + 3*t + 2. Let r be q(-2). Suppose 0 = -r*k - 7*k + 63. Suppose 0*v + v + k = 4*m, -15 = -3*m. Is 11 a factor of v?
True
Suppose -2*k + 3*k - 4*y = 2, y = 0. Suppose -26*n = -27*n + k. Suppose 42 = b - n. Is b a multiple of 18?
False
Is -1224*(-1)/2*(-700)/(-40) a multiple 