y - 36*t = -41*t - 5719. Does 10 divide y?
False
Let g = -5163 - -9872. Is g a multiple of 17?
True
Let m = 1650 - -8650. Does 33 divide m?
False
Let o(n) = 9*n - 18. Let s be o(6). Let h be s/(-27)*1*72. Let c = h + 159. Is c a multiple of 10?
False
Let k be ((-2)/(-3))/(-1) - (-584)/12. Let v = k + -26. Suppose -18*t = -v*t + 360. Is 9 a factor of t?
True
Suppose 7*t = 46 - 11. Suppose 0 = 5*y - 2*w - 808, 0 = t*y - 4*y + w - 156. Is 4 a factor of y?
True
Let v = -8442 - -8519. Is 38 a factor of v?
False
Let c be (4 + 2)*(-1)/3. Let k be (9/18)/(c/(-8)). Suppose k*n = -0*n + 102. Does 12 divide n?
False
Suppose -19 = 2*c - 25. Suppose 0 = 5*r - 3*s - s - 12, 3*r = -s - c. Suppose 2*l - u = 17, -l - 5*u + r + 3 = 0. Is 4 a factor of l?
True
Let k(a) = -6*a + 5. Let d be k(-13). Suppose 0 = -10*s + 187 + d. Is ((-60)/7)/(-4 + s/7) a multiple of 3?
True
Let d be 2322/36 + 2*1/4. Does 11 divide (4524/d)/((-2)/(-10))?
False
Suppose 0 = q + 5*n - 12, 3*q - 4 - 4 = -n. Suppose -2*r + w = q*r - 1563, -5*w = -25. Does 64 divide r?
False
Let a(s) = s**2 + 9*s - 11. Let t be a(-12). Is -3*3*t/(-45)*51 a multiple of 16?
False
Let o(a) = -a + a**3 - 3*a**2 + 2 - 7 + 4 - 7*a**2. Let q be o(7). Let v = -71 - q. Is v a multiple of 28?
True
Suppose -94*h = -89*h - 4590. Is h a multiple of 12?
False
Let b(t) = 13*t**2 - 4*t + 52. Suppose 35*f - 100 = 25*f. Is 32 a factor of b(f)?
True
Suppose -4*a = -4*w + 15520, 4*w + 473*a - 471*a = 15484. Is w a multiple of 149?
True
Suppose 2*n - z = 10, -3*n - 4*z = 3 - 7. Suppose 0 = 4*v - j - 1749, n = 2*j + 14. Is v a multiple of 9?
False
Suppose -16*t - 3*i + 6962 = -14*t, -10442 = -3*t - 4*i. Is t a multiple of 74?
True
Let k(j) = 3*j**2 - 4*j + 3. Suppose 0 = 2*r - 2, -4*z + r + 7 = -0*r. Let c be k(z). Suppose -51 = c*b - 394. Is 7 a factor of b?
True
Suppose t = -2*g + 3, 3*t = 2*t - g + 3. Suppose -z = t*p + p - 2264, -4*p - 3*z = -2264. Let m = -338 + p. Is m a multiple of 38?
True
Let j(g) = g**2 - 7*g + 10. Let l be j(4). Let w be 4 + (-4 - (-116)/l). Let f = w - -191. Is 10 a factor of f?
False
Let z(w) be the third derivative of w**6/120 - 23*w**5/60 + 8*w**4/3 + 14*w**3/3 - w**2 - 31*w. Is z(20) a multiple of 27?
True
Suppose 1308 + 262 = 2*i - 2*u, 0 = -2*i + 4*u + 1560. Does 158 divide i?
True
Suppose -18*z + 8*z - 30 = 0. Is (z - 7)/((-11)/286) a multiple of 9?
False
Suppose 0 = 2*a + 5*n - 4*n + 80, 0 = a + 5*n + 58. Is 638*1 + a + 40 a multiple of 32?
True
Suppose -37*p + 21*p = 320. Does 25 divide (7095/22 - 0)*p/(-6)?
True
Let n(k) = -k**3 + 3*k**2 + 2*k - 12. Let r be n(3). Let c(i) = -2*i**3 - 4*i**2 + 6*i + 12. Is 12 a factor of c(r)?
True
Suppose 4*y + 4*b - 60 = 0, 0 = 18*y - 13*y - 5*b - 35. Suppose 0 = y*p - 5707 - 8868. Does 54 divide p?
False
Suppose -26144 - 19147 = 31*q. Is (q - -1)/(10/30*-6) a multiple of 73?
True
Let v(f) = -5*f**2 + 2*f - 32. Let d(w) = -36*w**2 + 12*w - 222. Let q(j) = 2*d(j) - 15*v(j). Is 46 a factor of q(-8)?
True
Let v = 1016 - 460. Suppose -3*z + 694 = 2*z + 3*p, -4*z - 2*p = -v. Is z a multiple of 7?
True
Let o be 1/(185/(-30) + 6). Let y(z) = -z + 5 + 0 + 6 + 2*z**2 - z**2. Does 14 divide y(o)?
False
Let j be (-2752)/(-352) - (-2)/11. Suppose 0*r - 2 = 3*r + 4*q, 4 = 4*r + 4*q. Suppose r*i + 224 = j*i. Does 14 divide i?
True
Let i(z) = -6*z - 36. Let j = 21 + -40. Let l be i(j). Suppose -5*q - 4*a = -l, 3*a = 11 - 5. Does 2 divide q?
True
Suppose -34*j + 40*j + 6 = 0. Is j*(-3 + 3 - 243) a multiple of 9?
True
Let f be (-15)/(-5) + -7 + (-2 - -58). Let q = f + 16. Is 17 a factor of q?
True
Let w(n) = n**2 + 7*n + 7. Let s be w(7). Let o be 30/s - (1 + (-52)/14). Suppose 4*p + 90 = 5*u, -o*p - 9 = -3*u + 45. Does 9 divide u?
True
Let h = -211 - -181. Is 49 - ((-35)/11 - h/165) a multiple of 32?
False
Let d be (-15)/3*((-28)/(-20) + -2). Suppose d*g - 52 = 35. Suppose -q + g = -3*s, 5*s - 24 = -q + 3*s. Is q a multiple of 13?
True
Let y(s) = 59*s**2 - 2. Suppose 0 = -3*p + 7 - 1. Let i be y(p). Let h = 341 - i. Does 32 divide h?
False
Is -456*((-44)/42 + -2 - 32/112) a multiple of 19?
True
Is 8/(-4 - 4)*-6 + 8961 a multiple of 147?
True
Let u be (-78)/(-21) - (-2)/7. Suppose -507 = 16*n - 587. Suppose -n*o = u*g - 306, 120 = o + o + 4*g. Does 15 divide o?
False
Suppose 24*i - 580 = 20*i. Does 34 divide i?
False
Let a = -3862 - -10702. Is a a multiple of 6?
True
Let a(x) = -x - 19. Let v be a(-17). Let j be 15/((-10)/4 - (-2 + v)). Let b(o) = o**3 - 8*o**2 - 13*o + 7. Is 29 a factor of b(j)?
False
Suppose -6*m + 26100 = 6*m. Does 6 divide m?
False
Suppose 0 = -17963*o + 17967*o - 6952. Is 7 a factor of o?
False
Is 49 a factor of 23123034/858 - 2/(-26 + 0)?
True
Let y = 118 + -113. Suppose -14 - 1 = y*v. Is 29 a factor of v*((-32)/18)/((-10)/(-465))?
False
Let a = 3199 + 5780. Does 73 divide a?
True
Let o(p) = p**3 + 20*p**2 - 23*p - 27. Let q be o(-19). Let s = -131 + q. Is 32 a factor of (s/30)/((-4)/(-30))?
True
Suppose k - 5*m = 327 + 528, 0 = -3*k + 4*m + 2620. Suppose k = 2*h + 2*t, 29*t - 24*t + 887 = 2*h. Does 49 divide h?
True
Suppose -5*t + 5*v + 721 + 194 = 0, t = 2*v + 188. Let h = t + 302. Is 12 a factor of h?
True
Let v(y) be the third derivative of y**5/10 - y**4/12 - 5*y**3/2 - 121*y**2. Suppose 0 = -5*s + 3*s - 6. Is v(s) a multiple of 15?
True
Let t(i) = -2*i**3 - 3*i**2 - 8*i + 10. Let r be t(-7). Suppose -7*h = -1012 - r. Is h a multiple of 21?
True
Let z be (-38)/(-8) + 2 - (-45)/36. Suppose z*x = -353 + 1041. Does 4 divide x?
False
Let r = -78 + 105. Let w = 25 - r. Is 5 + -4 - 380/w a multiple of 48?
False
Suppose -21*u + 16950 = 2*c, -23*c + 3*u + 25632 = -20*c. Does 16 divide c?
False
Let b = -6 + -1. Let y(f) = -8*f - 11. Let q be y(b). Suppose t = -1 + q. Is 18 a factor of t?
False
Let o = 200 - 197. Suppose 4*k = -o*p + 3525, -p + 478 = 4*k - 3049. Is k a multiple of 12?
False
Suppose 2*w - 5*t - 3 = 10, -5*w - 5 = -5*t. Let b(v) = 6*v - 3. Let n be b(w). Let j = n - -47. Is j a multiple of 4?
True
Let o be ((-34)/5 - -4 - -3)*6445. Suppose -7*a + o + 3933 = 0. Is a a multiple of 10?
False
Let r = -8049 + 14658. Does 9 divide r?
False
Suppose 43*z = 45*z. Suppose 97*h - 96*h = z. Let n(q) = 6*q + 48. Is 8 a factor of n(h)?
True
Suppose -2*h = 2*h - 8. Suppose h*m = -m + m. Suppose -2*z + 100 = -m*z. Is z a multiple of 6?
False
Let q(u) = -u**2 + 20*u - 23. Suppose l - 9*o = -4*o + 4, o = l - 16. Let t be q(l). Let s(w) = -28*w. Does 28 divide s(t)?
True
Let u(p) = p**3 + 6*p**2 - 7*p + 6. Let a be u(-7). Let g be (16/(-3) + a)/((-4)/138). Let c = 20 - g. Is 4 a factor of c?
False
Suppose 233*d - 210*d = 118473. Is d a multiple of 17?
True
Suppose 0 = 4*c + 2*r - 2256, 0*r - 578 = -c + 3*r. Let m = c + -225. Is m a multiple of 25?
False
Let u(z) = -11*z - 115. Suppose -1 = l + 17. Does 26 divide u(l)?
False
Let m(u) be the second derivative of u**4/12 - 5*u**3/3 - 16*u**2 + 2*u - 1. Does 8 divide m(16)?
True
Let g = 885 + -943. Let m be (312/9)/(1/3). Let x = m + g. Is 27 a factor of x?
False
Let l(k) = 3119*k**2 - 60*k - 171. Is l(-3) a multiple of 24?
True
Let x = 35 + -30. Suppose -x*a = -4*y - 2*a + 2452, -2*y - a + 1236 = 0. Suppose -3*t - 5*t = -y. Does 7 divide t?
True
Does 40 divide (-5148130)/(-780) - 2/12?
True
Suppose -20*k = 5*a - 21*k - 234532, 2*k + 422157 = 9*a. Does 21 divide a?
False
Suppose 0 = 2*i - 8, 2*z - 2*i + 5*i + 12 = 0. Let b be z/(-1) + 36/(-9). Suppose a + 4*d = 48, b = 2*d - 0*d. Does 11 divide a?
False
Suppose 6327 = 4*y - j - 9972, -5*y + 20379 = -3*j. Does 21 divide y?
True
Let m = -126 + 63. Let d be m - (-5)/((-10)/8). Does 13 divide ((-40)/(-25))/(d/(-65) - 1)?
True
Let w(y) = -691*y**3 + 3*y**2 - 2*y + 5. Let l be w(-2). Suppose 0 = 29*a - 19 - l. Does 2 divide a?
True
Let f = -76 - -83. Suppose -75 - 779 = f*p. Let l = -34 - p. Is 22 a factor of l?
True
Suppose -596834 = 38*j - 1546454. Does 102 divide j?
True
Is ((-910)/20)/13 + 4545/10 a multiple of 21?
False
Let x(k) = 20*k - 65. Suppose 2*d + d = -2*t + 15, -d + 3*t - 6 = 0. Suppose 12*b = d*b + 72. Is 9 a factor of x(b)?
False
Let w(q) = 64*q - 370. Let f be 4 + 9 - (-11)/(-11). Is w(f) a multiple of 4?
False
Let s = -1323 + 1991. Suppose -15*y = -s - 2542. Is y a multiple of 33?
False
Let a = -34250 - -51641. Is a a multiple of 31?
True
Supp