o)?
True
Let b = 31954 + -20050. Is b a multiple of 64?
True
Let v be (-8 + 9)/((-2 + 5)/75). Suppose -d + 17 = 4*w, v = d + 4*d + 5*w. Does 3 divide (d/((-4)/(-23)))/((-2)/(-8))?
False
Let x = 387 - 598. Let o = x - -266. Does 5 divide o?
True
Suppose 4288 = 3*v + 286. Does 4 divide v?
False
Let l be (-4)/2 + 16*-39. Let y = l - -1759. Is y a multiple of 103?
True
Suppose 25*x + 35 = 30*x. Suppose 199 = 3*p - x*h + 3*h, 63 = p - 3*h. Suppose k - 5*m - 37 = 0, -3*k - 4*m + p = 2*k. Is 4 a factor of k?
False
Suppose 14*p - 36 = 5*p. Let s(v) = p*v**2 + 2*v + 6*v - 3*v - 2*v**2 - 10. Is 4 a factor of s(-6)?
True
Let a(z) = -2*z**3 - 79*z**2 - 553*z - 80. Does 18 divide a(-41)?
False
Suppose 0 = j - 23 + 20. Suppose -2*g = -27 - j. Is 13 a factor of g?
False
Let t(v) = 2*v + 17. Let g(x) = -x**3 + 7*x**2 + 9*x + 6. Let r be g(8). Let h = r + -5. Is t(h) a multiple of 8?
False
Suppose 0 = -211*s + 355*s - 4441824. Is s a multiple of 57?
False
Let n be 4/(-26) - (-24)/130*-10. Let x(l) = 13*l**2 + l + 4. Does 6 divide x(n)?
True
Is 8 a factor of ((-316)/8 + (-4)/(-24))*-96?
True
Let f = -35032 - -51030. Does 9 divide f?
False
Suppose 0 = 5*a - 5, 3*a - 48 - 15 = -2*z. Let y be z/26 + -1 + 2816/286. Is 20 a factor of (7 + 85)*y/8?
False
Let q = -670 - -645. Let l = 103 + q. Is 18 a factor of l?
False
Is 6/11 - (-3332850)/275 a multiple of 101?
True
Let i = 866 + 3349. Does 34 divide i?
False
Suppose 2*b - 6 + 14 = 0. Is 2*(-3)/(-12) + (-362)/b a multiple of 6?
False
Suppose -40 = -2*v - v - 5*g, v + 5*g = 10. Let f(t) = 23*t**3 + 15*t**3 + 18 - t - 17*t**2 - 39*t**3 + v*t. Does 19 divide f(-18)?
False
Let d = 420 + 5. Suppose -2*n = 3*t - 1100, n - 136 = 4*t + d. Is 33 a factor of n?
False
Is ((-924)/(-8) - -9)*28 a multiple of 21?
True
Let g(f) = -8*f**3 - 2*f**2 + 11*f + 23. Let a be g(-3). Let s = a + -154. Is 3 a factor of s?
False
Suppose -k = k - 510. Suppose 9*z = 6*z + k. Let i = -30 + z. Does 14 divide i?
False
Suppose -68 = -t - 2*u, 5*u = 8 - 3. Let i = 286 - t. Does 10 divide i?
True
Let m(i) = 2*i**3 + 2*i**2 + 140*i - 1852. Does 41 divide m(14)?
False
Let w be (0 - 2)*(-3)/3. Suppose s = 2*b + 5*s - 286, 2*b - w*s = 298. Is b a multiple of 18?
False
Let z(t) = -150 - 7*t - 2*t - 34 - 6. Is z(-29) a multiple of 2?
False
Let n = -115 + 21. Let c = n + 202. Does 4 divide c?
True
Suppose -16*a - 40 + 200 = 0. Is (a/3 - 3)/(8/4152) a multiple of 30?
False
Let f be 310/(-75) + 2/15. Does 27 divide (10 + f)/(-5 + (-497)/(-99))?
True
Suppose 94*t + 8002 = -339101 + 2562683. Is t a multiple of 10?
True
Let w(z) = -z + 98. Let m be w(0). Let v = -42 + m. Suppose 1000 = 8*u - v. Is u a multiple of 11?
True
Let q(u) be the third derivative of 7*u**2 + 0*u + 0 + 1/8*u**4 + 1/30*u**5 - 7/6*u**3. Is q(-5) a multiple of 28?
True
Suppose 5*y - 274776 = -152*y - 103960. Is 8 a factor of y?
True
Let a = 64 - 92. Let i be (-77)/a + 1/4. Suppose -i = -8*m + 85. Is 11 a factor of m?
True
Suppose 107*w - 125319 - 208521 = 0. Is 30 a factor of w?
True
Let k(r) = r**3 - 14*r**2 - 22*r + 17. Let l be k(14). Let a = 434 + l. Is (4/(-26) - 550/a) + 24 a multiple of 4?
True
Suppose 3*s + 9 = 15. Suppose 0 = -2*u + 10, 5*c + 3*u - 5 = s*u. Suppose 4*d - 3*d + g = 101, 4*d + g - 398 = c. Is 15 a factor of d?
False
Suppose -5*r + 64105 = 4*t, -t - 23*r = -24*r - 16015. Is 60 a factor of t?
True
Let i(g) = g - 37. Let k be i(27). Let w(b) = b**3 + 11*b**2 + 9*b - 5. Let f be w(k). Suppose -2*j + 4*y + 755 = 3*j, -f*j + 755 = -3*y. Is 34 a factor of j?
False
Let b = -1496 - -2425. Is b a multiple of 6?
False
Suppose 2*j = 2*o + 48622, 0 = 5*j + 5*o - 46653 - 74972. Is 23 a factor of j?
False
Let l = -3514 + 4305. Is l a multiple of 18?
False
Suppose -44*p = -46*p + 144. Is 21 a factor of 20970/p + (-2)/8?
False
Let g = -27 + 29. Let r be -90*1*(0 + -1). Is (17*g)/(-5 + 462/r) a multiple of 13?
False
Suppose -3*o - 26804 = -3*s + 418, -16 = -4*o. Is 18 a factor of s?
False
Is 44 a factor of 7818/3 - (1 + 0)/((-1)/7)?
False
Let l = -3 - -50. Let v = l - 43. Suppose -4*u + 39 = 3*a - u, 28 = a - v*u. Is 14 a factor of a?
False
Suppose 9 + 0 = -3*j. Let z be j*4/3 - -7. Suppose -z*k + 296 = 5*k. Is 20 a factor of k?
False
Suppose 4*m - 2*o + 1847 - 13087 = 0, 0 = 5*o + 20. Does 6 divide m?
True
Does 2 divide -2 + (-7)/((-91)/117) - -753?
True
Let p = 3038 - 5857. Let z = 4214 + p. Is 15 a factor of z?
True
Let p = -145 - -151. Let r(c) = 26*c + 52. Does 26 divide r(p)?
True
Let f = -38 + 47. Let z(l) = 11*l + 41. Is 31 a factor of z(f)?
False
Suppose -4*k - 8 = -6*k, -3*k = p. Let n(m) = -2*m**3 - 23*m**2 + 8. Is 23 a factor of n(p)?
False
Let u = -25822 + 36526. Does 12 divide u?
True
Suppose -4*u = -2*b + 1960, 2*b + 41*u = 36*u + 1942. Is b a multiple of 6?
False
Suppose 0 = -38*q + 104*q - 911196. Does 42 divide q?
False
Suppose -b + 2655 = 3*b + 5*d, 0 = b + 2*d - 663. Is b a multiple of 31?
False
Let g(x) = x**2 + 2*x - 24. Let c be g(-6). Suppose c = -6*o - 35*o + 5412. Does 9 divide o?
False
Let d = 147 - 144. Does 10 divide (-6 - -5)*(d - 393)?
True
Suppose 4*h = 38 - 34. Let u(m) = 2 + 9*m**3 + 2*m + 0*m**2 - 2*m**2 - 3. Is u(h) a multiple of 3?
False
Suppose 39 = 7*q + 305. Let j = q + 39. Suppose 3*v + 5*d = 44, 2*d - 7 = j. Is 4 a factor of v?
True
Suppose -5*r + 5 = 15. Is 7 a factor of (2 - (-40)/(-24))/(r/(-162))?
False
Let d(z) = -157*z + 47. Let v = -280 + 277. Does 10 divide d(v)?
False
Let i(z) = -6*z + 12. Let w(g) be the third derivative of -g**4/24 - 19*g**3/6 - 17*g**2. Let b be w(-14). Is i(b) a multiple of 17?
False
Suppose 0 = -n - 4*n + 20. Let l be (n - -20)/((-1)/(-2)). Let t = 77 - l. Is 3 a factor of t?
False
Let t be (-15)/(-2) - (1 - 12/8). Let w(b) = 2*b**2 - 20. Is w(t) a multiple of 9?
True
Suppose -30 = 3*t + 51. Let f = 35 + t. Suppose -3*l + 10 = -f. Is 6 a factor of l?
True
Let j = 570 + -270. Does 10 divide ((-12)/9)/((-1)/j)?
True
Let u be 10/2 - (-11 - 400). Suppose k + 2 = -k, -a - 5*k = -5. Is u/a - (-18)/45 a multiple of 14?
True
Let u = -989 + 2046. Is 3 a factor of u/(-21)*(-6 + 3)?
False
Let m = 7 - 2. Suppose 0 = s + 3*w - m*w - 80, 308 = 4*s - 2*w. Is 5 a factor of s?
False
Suppose -4*o - 2176 = 2*d - 9980, -5*d + 4*o = -19566. Does 17 divide d?
True
Let o = 528 + -548. Is (-2256)/o - (-72)/60 a multiple of 6?
True
Let l(p) = 399*p**2 + 5*p - 8. Let f be -2 - (7 - 43)/9. Does 94 divide l(f)?
True
Let j(f) = -11*f**3 - 3*f**2 + 2*f - 248. Is j(-12) a multiple of 176?
True
Let c(z) = -3*z**3 + z**2 + 9*z - 10. Let m be c(-6). Suppose 3*b = -2*o + m, -5*b - 3*o = -1087 + 52. Does 26 divide b?
False
Let t(d) be the first derivative of d**3/3 + 31*d**2/2 + 10*d + 89. Does 14 divide t(17)?
True
Let a = -96 - -59. Let m = a - -39. Is 11 a factor of m/15 - (-1141)/105?
True
Suppose 0 = -3*t + t + 200. Let q be (-12)/18*(-2 + 89). Let h = q + t. Is h a multiple of 7?
True
Suppose -4*l + 3 + 13 = 0. Suppose -384*j = -362*j. Suppose l*y - 80 = -j*y. Is y a multiple of 5?
True
Suppose 81*j - 21316975 = -574*j. Does 27 divide j?
False
Does 8 divide 57/133*(-14)/(-4) - (-77197)/34?
True
Let m = 255 + -167. Suppose 4*o + m = 5*f, 2*o - 3*f - 147 = 7*o. Let k = -5 - o. Is 22 a factor of k?
True
Suppose 0 = -b - 28*b. Is (b - 16)/(11/(-44)) a multiple of 14?
False
Suppose -f - a = -2, 4*f - 10 = -a - 2*a. Is 4 a factor of f/(-18) + 868/18?
True
Let j(w) = 9*w - 14. Let t = 42 + -38. Suppose 34 = 3*d - 4*q, 0*q = -3*d - t*q + 2. Is 20 a factor of j(d)?
True
Let k(i) = 4*i**3 + 18*i**2 + i - 21. Let u be k(-9). Let h = 91 - u. Is 21 a factor of h?
False
Let d(j) = -44*j**3 + 2*j**2 + 5*j + 3. Let r = -141 - -140. Is d(r) a multiple of 11?
True
Let t(y) = -2*y**3 + 3*y**2 - 9 + 30*y**3 - 30*y**3 - y**2 - 3*y. Suppose 0 = 2*d + 9 - 3. Does 18 divide t(d)?
True
Suppose f = 2*v - 1205, -13*f - 1232 = -2*v - 3*f. Is 9 a factor of v?
False
Let d(s) = -12*s**3 - 10*s**2 - 36*s - 211. Does 19 divide d(-7)?
True
Let z be 8 - 4 - 5 - 13. Let y(t) = t**3 + 16*t**2 + 5*t - 36. Is 18 a factor of y(z)?
False
Let s(w) = -46*w**3 - 19*w**2 + 44*w - 89. Does 17 divide s(-10)?
True
Suppose -3*m + 5*y = -25660, 5*m + y - 19235 = 23597. Is 39 a factor of m?
False
Suppose -80*d + 76*d - 5502 = -5*f, 3*f = -3*d + 3312. Does 58 divide f?
True
Let t(a) be the