= 7*t - d*t + 551. Is 9 a factor of t?
False
Suppose -17*l + 20*l = 9, -3*l = -o + 1827. Suppose 768*i = 772*i - o. Does 17 divide i?
True
Suppose 4*s + 329*f - 17884 = 333*f, s = -2*f + 4486. Is 12 a factor of s?
True
Let x(b) = -3*b**3 + b**2 + 7*b. Let h = 118 + -122. Is x(h) a multiple of 10?
True
Let y be (-2*1 - 1)/(60/(-322640)). Suppose 451 = 23*m - y. Is 7 a factor of m?
True
Suppose 72*l - 7590 = -3*q + 70*l, q - 2522 = -2*l. Is 18 a factor of q?
False
Let d be (11/4)/(-11)*0. Suppose 5*b + 2*m - 78 - 97 = d, m = 5. Is b a multiple of 9?
False
Let k(i) = -22*i + 8 + 2 - 6. Let n be k(-2). Suppose -3*h - 5 + 96 = 4*y, 2*h - n = -2*y. Does 19 divide y?
True
Suppose -6*m - 1 = -5*m. Let z be (m - (-3)/3)/(-1). Suppose -3*d = -z*d - 144. Is d a multiple of 8?
True
Let h = 4 - -3. Let p(y) = -y**3 - 20*y**2 - 14*y + 66. Let j be p(-20). Suppose h*t - 2*x - 480 = 3*t, 3*t = 5*x + j. Is t a multiple of 17?
False
Let s(q) = q - 1. Suppose p = -4*o - 21, 13 = -3*p - 2*o - 0. Let z(l) = -l**2 - 14*l - 22. Let r(g) = p*z(g) + 2*s(g). Is r(-15) a multiple of 2?
False
Let z be 1/(-3) + -50*1/(-6). Suppose -3*h + z = h. Suppose -h*f + 45 = -25. Is f a multiple of 5?
True
Let j = 19664 + -17292. Is j a multiple of 63?
False
Let x(t) = -350*t - 5484. Does 3 divide x(-45)?
True
Let j = -341 + 399. Suppose 2*u = -4*u + 12. Suppose -4*t + 82 = -u*s, -2*t + 3 = -5*s - j. Is t a multiple of 18?
True
Does 6 divide (-9079)/(5/30*-21)?
False
Suppose 0 = 3*v - 3*n - 8961, 5*v = -0*v + 3*n + 14941. Does 4 divide v?
False
Let v(k) = 4*k**3 + 17*k**2 + 2*k + 9. Let z be v(-5). Let a = 14 - 11. Is (z/3)/((-32)/(-12) - a) a multiple of 9?
False
Suppose -1157*w + 983*w + 3285468 = 0. Is w a multiple of 137?
False
Suppose 0 = h - 5*f - 674, -f + 0*f = 5*h - 3292. Let s = h + -394. Suppose 0 = -4*b + 9*b - s. Is b a multiple of 5?
False
Let i = 227 + -213. Let j(b) = 98*b - 274. Is 61 a factor of j(i)?
True
Let q be ((-60)/8)/(-15)*2132. Suppose -5701 = -9*f - q. Does 7 divide f?
False
Let g(l) = l**2 + 27*l - 324. Let k be g(9). Suppose -9*t + 8*t + 312 = k. Does 6 divide t?
True
Suppose 2*w = 8, -5*w - 12128 = -4*m - 3*w. Is 37 a factor of m?
True
Suppose 2*y + 5*a + 11 = -y, 2*y + 3*a = -6. Let b(r) = 117*r + 39. Is b(y) a multiple of 6?
True
Suppose 33*h - 673200 = -55*h. Is h a multiple of 25?
True
Let z(j) = -j**3 + j**2 - 244*j + 21056. Does 8 divide z(0)?
True
Let j = -62 + 61. Let w be 105 + (1 - j) + -3. Suppose -g = -3*g + w. Is 6 a factor of g?
False
Suppose 19 = -2*w - 5*p, 4 - 29 = 5*p. Suppose 6*i = w*i + 1242. Is i a multiple of 23?
True
Let g(a) = 2*a + 7. Let l be g(-2). Suppose 420 = l*o - 3*b - 18, 0 = -4*b + 4. Is o a multiple of 29?
False
Suppose -s + 13 = 3*y, 0*s + 2*s - 6 = 4*y. Suppose 5*r - 10 = o, o - 3*r = -s*r + 35. Suppose 16*d = o*d + 119. Does 21 divide d?
False
Suppose -31630 = -73*c + 40859. Does 5 divide c?
False
Does 15 divide (1200/3)/((-48)/(-768))?
False
Let v = -59 + 71. Suppose 0 = -4*y + 5*l - 80, 1 = -y + 2*y + 4*l. Does 24 divide (v/y)/((-6)/(-15)) + 158?
False
Let o = -955 - -877. Let f be 2*1 - 243/(-3). Let z = f + o. Does 2 divide z?
False
Let y be 3 + -3 - 80/(-1). Let p = y + -90. Let n(x) = -28*x - 40. Does 30 divide n(p)?
True
Suppose u + 2*u - 5*g = 831, -g = 0. Suppose -4*r + u = -4*o - 27, 303 = 4*r - 5*o. Is 7 a factor of r?
True
Let w = -509 - -529. Suppose -5*x - 25 = 0, 3*g - 21*x = -w*x + 2051. Is 22 a factor of g?
True
Suppose 3*o - 47 + 7 = -4*r, 43 = 5*r + 2*o. Suppose -15 = r*i - 8. Is 40 - (4 + i - -1) a multiple of 6?
True
Let w(u) = 7*u**2 + 138*u + 25. Suppose -4*g = 4*p + 84, p = 3*g - 4*p + 87. Is w(g) a multiple of 15?
False
Let n = -90 + 63. Let r(w) = -4*w - 40. Does 14 divide r(n)?
False
Let n(h) = 2*h**3 + 23*h**2 + 12*h + 15. Let b be n(-11). Suppose -4*o = y - b, -2 = 4*y + 14. Suppose o*z - 200 + 44 = 0. Is 10 a factor of z?
False
Suppose -3*p = -3*h - 0 + 3, -h + 19 = 5*p. Suppose -2*n = 2*k + 6, -p + 12 = -2*n - k. Does 4 divide n/(-10) + 34/10?
True
Suppose -15*i = -10*i + 6295. Let y = i - -2535. Does 58 divide y?
True
Let q(m) = m**2 + 4*m + 1714. Let d be q(0). Let j = d - 954. Is 61 a factor of j?
False
Let u(w) = w**2 - 10*w - 9. Let z be u(9). Let p(g) = -g**3 - 17*g**2 + 18*g + 26. Let h be p(z). Suppose -h*j + 7*j = -361. Is j a multiple of 19?
True
Let a(b) = -b**3 - 4*b**2 + 3*b - 4. Let v be a(-5). Does 12 divide (-160)/(-28) - v - (-1852)/14?
True
Let n be (-9)/((-3*1/(-3))/(-1)). Suppose n*u - 380 = 187. Let b = 105 - u. Does 21 divide b?
True
Let j(l) = 3*l**2 + 39*l - 48. Let s be j(-21). Is (s/95)/((-6)/(-40)) a multiple of 25?
False
Is 33 a factor of ((-8)/32 + (-22882)/(-40))/(5/75)?
False
Is (805/(-7))/((-2)/(-260)*(-240)/384) a multiple of 208?
True
Suppose 4*j = -2*s + 438, -102 = -3*j + 4*s + 232. Let h(d) = -2*d - 33. Let a be h(-14). Let p = j - a. Is p a multiple of 18?
False
Suppose z + 2181 = 3*q - z, -2*q + 5*z + 1443 = 0. Suppose 135*t = 144*t - q. Is 7 a factor of t?
False
Let x(l) be the third derivative of -l**5/60 + 11*l**4/12 + 4*l**3/3 - 1795*l**2. Suppose -5*j + 2*m - m = -84, 0 = -j - 2*m + 8. Is x(j) a multiple of 7?
False
Let r be 8/(40/(-565)) - (0 + -2). Let u = 456 + r. Is u a multiple of 16?
False
Suppose 1 = 2*f + 9, -f - 8 = 4*z. Let m(i) = -206*i**3 - 2*i**2. Is 2 a factor of m(z)?
True
Suppose -2*b + 270 = 7*b. Suppose 0 = -b*u + 35*u. Suppose x - 3 = u, -v = -5*v + 4*x + 288. Is v a multiple of 20?
False
Suppose 6*c - 7 - 5 = 0. Suppose -b + 7978 = -5*n, -4*b + 6392 = c*n - 6*n. Is n/(-33) + (4/(-6))/(-1) a multiple of 5?
False
Let l(t) = 323*t**2 - 15*t - 17. Is l(-5) a multiple of 11?
False
Let i(x) = -16*x + 95. Let l be i(11). Is (-3942)/l + (-4)/6 a multiple of 6?
True
Suppose 4*a = -2*x + 4770, -a + 2*x + 587 = -598. Is 184 a factor of a?
False
Let i(v) = v**3 + 12*v**2 - 2*v + 8. Is 8 a factor of i(-4)?
True
Let a = 211 + -336. Let i = a - -583. Is 24 a factor of i?
False
Suppose -4*j = 5*u - 740, -22*j = -26*j. Let n = -367 + 860. Suppose 3*x - n = -u. Is x a multiple of 14?
False
Let o = -30 + 1375. Is o a multiple of 60?
False
Suppose 2*g + 3*g = -2*f + 50331, 0 = -2*g + 3*f + 20140. Does 12 divide g?
False
Let g(y) = 9*y - 13. Let c(w) = w**3 + 8*w**2 - 9*w + 3. Let a be c(-9). Let q be g(a). Is -132*(-4 - q/(-4)) a multiple of 19?
False
Suppose -4*m + 14 + 42 = 0. Suppose -3*l + 1 = -m. Suppose 0 = y, v + l*y - 127 = -40. Is v a multiple of 10?
False
Let w = 1360 + 986. Does 10 divide w?
False
Is (-4)/14 + 1078287/147 a multiple of 15?
True
Suppose -126*p - 80*p = -245*p + 952887. Is p a multiple of 5?
False
Let i(x) = 747*x + 5. Is i(5) a multiple of 11?
True
Is (-2041564)/(-77) - (-2)/44*4 a multiple of 9?
True
Let n be (28/(-12) + 3)*3. Suppose 3*o + 0*d - 607 = -4*d, -d = -n*o + 401. Let a = o - 109. Is 11 a factor of a?
False
Let l = 4664 + -3756. Is l a multiple of 4?
True
Is 50 a factor of (-70)/(-10) - -1948 - 5/(3 - 2)?
True
Suppose -5*n - 2744 = -13*n. Suppose -4*l + n = 3*m - 135, 0 = 2*l - 2*m - 232. Suppose -4*o + 251 = 5*a, -15 = -2*o - a + l. Does 3 divide o?
True
Suppose -5*y - 511 = -1736. Suppose y = -26*l + 1961. Is 11 a factor of l?
True
Let o = 16 - 24. Suppose 3*v + 4*r - 14 = 0, r + 12 = v + 6*r. Is 1*-103*o/(6 - v) a multiple of 21?
False
Suppose -2*l - 2*q + 68 = 0, -3 = -q - 4. Let g be 15/(-6) - 2/(-4). Let d = g + l. Is 12 a factor of d?
False
Let q = 180 + -131. Suppose -v - q = -8*v. Is 15 a factor of (101 + 4)*6/v?
True
Suppose 0 = 6*n - 3*n, 0 = 9*t + 4*n - 2*n - 69921. Is 17 a factor of t?
True
Let j(t) = 8*t - 26. Let u be j(4). Suppose u*m = -2210 + 6086. Does 19 divide m?
True
Suppose -260*z - 3872 = -282*z. Does 44 divide z?
True
Let x = -285 - -50. Let j = x - -289. Does 9 divide j?
True
Let d(t) = 43*t**2 + 19*t - 32. Does 6 divide d(9)?
False
Let m(y) be the third derivative of -y**6/120 + 4*y**5/15 + 5*y**4/6 + 5*y**3 - 55*y**2. Does 9 divide m(17)?
True
Suppose 372780 = -6737*j + 6813*j. Is j a multiple of 45?
True
Suppose 49*c - 54 = 47*c. Suppose 0 = -5*i - 3*v + c, 2*i - 2*v - 3*v + 14 = 0. Suppose 0*g - 3*g = 5*a - 316, a = i*g - 340. Is 7 a factor of g?
True
Suppose l - 204 = -12*h, -4*h - 544 = -5*l + 732. Is l a multiple of 12?
True
Suppose 2*z = 5*l - l - 34, -3*z - 44 = -