 8*d - 44 = -t*x, d - 5*x = -12. Is 4 a factor of d?
True
Let y be 3/((-13482)/2244 - -6). Let b = 889 + y. Does 35 divide b?
False
Suppose 141915 + 261085 = 42*y + 8*y. Is y a multiple of 65?
True
Is 624/(-3952) - (-32040)/38 a multiple of 4?
False
Suppose 66*f = 32*f + 25*f + 5364. Is f a multiple of 10?
False
Suppose 2*r - 3*s - 419 = 0, -5*s + 1010 = 5*r - 0*r. Suppose 0 = -f - v + r, 5*v + 1017 = 5*f + 2*v. Does 54 divide f?
False
Let o = 703 + -704. Does 77 divide 608 + 42 - o*(-2 - -6)?
False
Suppose 0 = 5*u - 2*x - 172820, -u - 5*x = -3124 - 31467. Is 42 a factor of u?
True
Suppose 5*c + 137 = 3*d, -c = -5*d + 31 + 14. Let a = -49 - c. Let v = a - -40. Does 3 divide v?
False
Suppose -7*j - 5*p = -6*j - 935, 3*j = 3*p + 2733. Let r = -643 + j. Is 8 a factor of r?
True
Suppose -294985 = -133*g - 36965. Is 10 a factor of g?
True
Let p(k) = 2*k**3 - 9*k**2 - 8*k - 9. Let j(w) = w**3 - 16*w**2 + 15*w + 6. Let h be j(15). Is p(h) a multiple of 8?
False
Suppose -4*d - 6628 = -2*h - 25714, 0 = d + 4*h - 4785. Does 37 divide d?
True
Let k(q) = 7*q**3 + 549*q**2 + 188*q - 184. Is k(-78) a multiple of 20?
False
Suppose 11 = -5*h + 26. Suppose -w - h*r - 44 = 41, 3*w + 277 = 2*r. Let g = w - -206. Does 24 divide g?
False
Suppose 26*c = -30*c + 12*c + 45408. Is c a multiple of 86?
True
Let c(i) = -i**3 + 13*i**2 - 32*i + 73. Let f be c(13). Let b = f + 414. Is 21 a factor of b?
False
Let v(r) = r**3 + 6*r**2 + 3*r + 2. Suppose 2*u - 54 = -5*a, 3*a + 3*u = 18 + 18. Let z be a/(-3)*48/40. Is v(z) a multiple of 2?
True
Let r(v) = -56*v**3 + v**2 + 3*v + 6. Does 69 divide r(-3)?
True
Suppose 0 = -3*y - 6, 5*x + 65 = 2*y + 654. Suppose -9*u + 682 - 52 = 0. Suppose -69*j + u*j = x. Does 12 divide j?
False
Let j be (87/12 - 5) + 3/4. Let g be j - (5/3 + -1)*-3. Suppose g*a = 13*a - 336. Is 13 a factor of a?
False
Let b = -470 + 311. Does 15 divide -5 + b/(-33) + 167/11?
True
Suppose -4*h - 4*i - i = -170, -2*i - 76 = -2*h. Suppose -3*s + s + h = 3*a, 0 = 4*a - 5*s - 15. Let g = 38 - a. Is 14 a factor of g?
True
Let a = 3931 + -3448. Is 69 a factor of a?
True
Suppose 0 = -2*m - 5*m + 3360. Let c = m - 388. Is c even?
True
Suppose -5*z = r - 20, -z - 5*r = -26 - 2. Let s(y) = 75*y**2 + 8*y - 20. Is 9 a factor of s(z)?
False
Suppose -7*f + 4*f + t + 42 = 0, -2*f - 4*t + 42 = 0. Let s(b) = -b**3 + 20*b**2 - 36*b + 47. Is s(f) a multiple of 62?
False
Let q(z) = -3*z**2 + 115*z + 50. Is 13 a factor of q(34)?
False
Suppose 36 = 4*t, -29*t + 32*t = 4*k - 17925. Is k a multiple of 22?
True
Let b be (-633)/24 + (-15)/(-40). Let n = b + 33. Suppose n*w - 845 = 2*w. Does 13 divide w?
True
Let r be -149 + 0 + (-2 - -1). Let o = r + 254. Is o a multiple of 8?
True
Suppose -2*a + 5828 = -6*s + 96446, -18 = -2*a. Does 22 divide s?
False
Let x be ((-20)/11)/(642/(-3531)). Let g = -25 + 37. Is (-1)/(x/(-25))*g a multiple of 30?
True
Let q = 539 - 201. Suppose 2*h - 210 = 2*x, 3*h - x + 17 - q = 0. Is 12 a factor of h?
True
Suppose -7*l = -0*l - 98. Is 11 a factor of (132*1)/(-13 + l)?
True
Let z(v) = 2*v**2 - 25*v + 13. Let r(l) = -3*l + 19. Let b be r(9). Let j be (2/(-2 + 1))/(b/52). Is 13 a factor of z(j)?
True
Let z be 3 - (-5 - -9) - -7. Suppose 0 = -3*h - x + 237, 2*h - z*x + 10*x = 148. Is h a multiple of 20?
True
Suppose z - 5*j = 1114, 3*z - 3093 = -3*j + 285. Let i = 15 - 6. Suppose -z = -i*a + 55. Does 9 divide a?
False
Let x = 59 + -62. Let p be (1/x)/((-380)/75 + 5). Let k(q) = 9*q + 6. Is k(p) a multiple of 13?
False
Let w(x) = -7384*x**3 - 2*x**2 - 31*x - 30. Let l be w(-1). Suppose 8*z - 633 - l = 0. Is z a multiple of 31?
False
Does 60 divide 10 + (-5 - -2) + (-3 - -2328)?
False
Let x be 2*(-28)/(-32) + 2/8. Suppose 0 = -6*i + x - 14. Is (-1954)/44*i - (-16)/88 a multiple of 21?
False
Let n(l) = -3*l**3 - 4*l**2 - 106*l - 924. Is 10 a factor of n(-12)?
False
Suppose -102*s - 22657 = -135469. Is 7 a factor of s?
True
Let v(k) = -k**2 - 7*k + 49. Let o be v(-11). Suppose 0 = 4*r - o*z - 278, 5*r - 350 = 2*z + 3*z. Does 3 divide r?
True
Suppose v = -4*p + 6*v - 564, -556 = 4*p - 3*v. Let n = p + 74. Let h = n - -90. Is 8 a factor of h?
False
Suppose -h = 2*y - 252, 2*h - 2*y = 173 + 355. Suppose -6*r - h = -11*r. Is 26 a factor of r?
True
Let d(v) be the second derivative of -v**5/20 + 3*v**4/4 + v**3/2 - 5*v**2 - 29*v. Is 14 a factor of d(8)?
False
Let c be ((-10)/(-15) + 3/9)*229. Suppose -4*z = -c - 859. Does 16 divide z?
True
Let a(t) = t**2 + 13*t + 15. Let o be a(-15). Let y = o + -43. Suppose h = y*h - 21. Is h a multiple of 3?
True
Let b be 3190/35 - 3/(-63)*-3. Let q = b - 87. Suppose -3*n + z - q*z = -423, 0 = 5*n - 3*z - 665. Is 8 a factor of n?
True
Let g be 3 - (5 + -4 + 2). Suppose -c + 2 = -g*c. Suppose 0 = h + 3*h + c*a - 312, -4*h = -a - 318. Is h a multiple of 13?
False
Does 10 divide (528462/21)/2 - 3 - 516/1204?
False
Let k = 2306 + -2213. Let o(m) = 2*m**3 - 8*m**2 + 3*m - 1. Let c be o(5). Suppose 95*b - c = k*b. Is 16 a factor of b?
True
Does 52 divide (1658 - (-6)/2)/(3/18)?
False
Let m = -42 - -52. Suppose 2*k + m = j, k - 6 + 2 = -4*j. Suppose -g + 851 = 4*f, j*f + 5*g - 617 = -214. Is f a multiple of 45?
False
Suppose 25*i = -16*i + 33*i. Suppose a = -3*a. Suppose 0 = -3*t - a*b + 4*b + 254, 5*t + 4*b - 466 = i. Is t a multiple of 12?
False
Is ((-35)/(-6))/(163/42054) a multiple of 3?
False
Let u(x) = 5*x**2 - 3*x - 57*x**3 + 58*x**3 + 2*x + 15 + 8*x**2. Suppose -i + 5*g + 28 = -2*i, g + 3 = 0. Is 5 a factor of u(i)?
False
Suppose 0 = -f + 739 - 2171. Let s = -814 - f. Is s a multiple of 33?
False
Let w = 6810 - 1685. Is 21 a factor of w?
False
Let s(n) = -n + 2*n + 16 - 25 + 53. Suppose -123*h + 122*h + 5 = 0. Does 17 divide s(h)?
False
Suppose 0 = 4*y - 5*z - 1589, -4*y - 3*z = -6*z - 1595. Suppose -y = -9*i + 1642. Is i a multiple of 4?
False
Is ((9163/33)/(-7))/(1 + (-307)/306) a multiple of 119?
True
Let p be 1 + 2 + -2 + -1. Suppose -3*c + 10 = 4*g, c + 6 = -3*g + 11. Suppose -2*y = -c*j - p*j - 36, -4*y - 4*j + 72 = 0. Is y a multiple of 18?
True
Let h(a) = a**3 - 14*a**2 - 15*a + 3. Let b be h(15). Does 44 divide (-7498)/(-46) + (b - 0) + -1?
False
Let j = 8932 - 5356. Does 83 divide j?
False
Let w = -259 - -274. Does 11 divide 20*(-5)/(-30)*w?
False
Suppose -5*o + 197970 = -72*j + 77*j, 3*j + 198018 = 5*o. Does 33 divide o?
True
Let j(q) = 34*q**2 + q - 7. Let m be j(2). Let g = m - -85. Does 6 divide g?
True
Let t be (-9 - (-100)/(-6)) + (-1)/3. Let d(l) = -l**3 - 25*l**2 + 21*l - 60. Does 35 divide d(t)?
True
Let t(b) = -4*b - 114. Let h be t(-29). Suppose -3*o - 3*n + 204 = 0, -n - 360 = -5*o - h*n. Is o a multiple of 34?
False
Let x be (-37)/(-4) - (3/12)/1. Suppose -x*i = 2238 - 8511. Is 16 a factor of i?
False
Does 3 divide 4/(-1) + ((-68)/8)/((-27)/1782)?
False
Let c(m) = -m**3 + 17*m**2 + m - 20. Let o be c(17). Is -4*o/36*228 a multiple of 16?
False
Suppose 4*z + 4*x = 36, -4*x = -4*z - x + 43. Let o be ((-100 + 0)/2)/((-10)/z). Suppose 238 = 2*f - o. Is f a multiple of 18?
True
Let r(w) = 5*w**3 - 14*w**2 - 19*w - 12. Let u(p) = p**3 - p**2 + p + 1. Let i(o) = -r(o) + 4*u(o). Let v be i(12). Is 20 a factor of ((-5088)/(-15))/v*5/2?
False
Let a(o) = 18*o + 9. Let c(j) = 90*j + 46. Let k be (60/15)/(1/(-4)). Let z(f) = k*a(f) + 3*c(f). Is z(-5) a multiple of 28?
True
Let w = 25823 - 15275. Does 18 divide w?
True
Let m(q) = 2*q**2 + 0*q - q**2 - q - 14 + 16*q**2 + q**3. Let k be m(-17). Suppose -133 = -f + 3*c, -k*f = -6*c + 2*c - 399. Is f a multiple of 37?
False
Suppose -3*o = -4*y + 22783, -2*o = -42*y + 37*y + 28477. Is 45 a factor of y?
False
Suppose 45*y - 76776 = 4134. Is y a multiple of 62?
True
Suppose 0 = -112*p - 47*p + 104781. Is 13 a factor of p?
False
Let n(d) = 23*d**2 - 215*d + 39. Is 11 a factor of n(19)?
True
Suppose c = -10*c + 968. Let y = 96 - c. Suppose -13*o + y*o = -1015. Is o a multiple of 29?
True
Suppose g - 2707 = 7*i + 2002, -g + 5*i = -4717. Is g a multiple of 37?
False
Let p(t) = 11*t + 66. Let j be p(-6). Suppose -4*i = -4, j*i - 5*i = -u - 132. Does 10 divide (-3)/(2*3/(-8)) - u?
False
Let q be ((-12)/3 - -8) + -4. Suppose 7*i + 2*d = 11*i - 150, i - 4*d - 27 = q. Is 36 a factor of i?
False
Suppose -9*c + 5 = -8*c. Suppose -2*d - 119 = -6*d + 5*j, 0 = c*d + j - 127. Suppose -d*y 