e -17 - -5 - -6 - 1. Suppose 3*l = -51 + 393. Is 20 a factor of (-4 - s) + (l - -3)?
True
Suppose -5*y = -5*l - 5, -4 = 4*y + 4*l - 0. Suppose 4*t - 5*a - 1529 = 0, y = -a + 40 - 41. Is 13 a factor of t?
False
Is 18 a factor of -10 - -11 - -1 - -1852?
True
Let g = -12 - -12. Suppose 6*l - 6 = -g. Is ((-428)/20 + l)*-5 a multiple of 17?
True
Let q be (5/(-30))/((-2)/8)*2031. Let d = -733 + q. Is d a multiple of 9?
True
Suppose -3*h + 56 = 245. Let n = h + 467. Does 59 divide n?
False
Suppose 67*p - 5556 = -3*p - 586. Let g = 1 - 1. Is (3 - 4)*-1 + p + g a multiple of 9?
True
Let u be 20/25 - 8/10. Let f = 2 + u. Suppose 39 + 35 = f*k. Does 37 divide k?
True
Suppose -35*j - 3 = -34*j. Let p be 1/((-1)/1) + (-2 - j). Suppose v + 66 = 5*c, -c - v - v + 11 = p. Is 2 a factor of c?
False
Suppose -39*o + 35*o - 17488 = -4*f, -4*f + 17460 = 3*o. Is 26 a factor of f?
True
Let z(w) = 85*w - 3. Suppose -u - 14 = -3*y, 3*y - 9*u = -7*u + 19. Is z(y) a multiple of 28?
True
Let k be (-1)/(-2)*(1 + -3). Let l(s) = 2. Let p(o) = 38*o + 5. Let z(m) = k*p(m) - l(m). Does 6 divide z(-2)?
False
Let q = 265 + -149. Let z = 270 - q. Suppose 3*i - 116 = z. Is 18 a factor of i?
True
Suppose -81*x + 7177 = -4001. Is 23 a factor of x?
True
Let x = -897 + 2037. Let y be 42/(-441) - 2/(-21). Suppose y*f - 10*f = -x. Is 19 a factor of f?
True
Is 4 a factor of 142*(-34)/4*5/20*-4?
False
Suppose 107*k + 2*z - 4028 = 104*k, 4*k = -5*z + 5366. Is 67 a factor of k?
False
Suppose 5*t - 38 = -3*z, 0 = 4*t + 4*z - 12 - 20. Suppose -2*w - 6*p + 20 = -t*p, 5*p - 68 = -4*w. Does 4 divide w?
True
Let k(g) = -12*g**2 + 2*g + 1. Let r be k(2). Let u = r - -45. Suppose 160 = 2*b + 4*v - 150, -u*v = -4*b + 580. Is 34 a factor of b?
False
Is 179 a factor of (((-10)/(-3))/5)/((-93)/(-1331109))?
False
Suppose 0*q = -3*a - 4*q - 897, 3*q = -3*a - 897. Suppose 12*i = 6*i - 1218. Let b = i - a. Is 32 a factor of b?
True
Let f(a) = a**3 - 33*a**2 - 90*a - 188. Does 20 divide f(36)?
True
Suppose 2*y - 2 = 0, 197*y = -5*h + 194*y + 8853. Is 17 a factor of h?
False
Suppose -66*p + 1331589 = 120*p + 417585. Does 39 divide p?
True
Suppose 5*o - 51 = 734. Let i = 201 - o. Is i a multiple of 15?
False
Suppose -4*k - 32 = -84. Suppose -220 = k*j - 15*j. Suppose 0 = 6*l - 7*l + 2*a + j, 4*l - 3*a = 435. Does 36 divide l?
True
Suppose -3*n + 7*i = -18985, 2*n + 2*i + 6326 = 3*n. Does 11 divide n?
False
Suppose 5*m = -3*w + 7166, -7*w = -5*m - 3*w + 7187. Suppose -24*u + m = 547. Is u a multiple of 7?
False
Let x = -20707 + 40692. Is 35 a factor of x?
True
Let c = 510 + 1150. Suppose 0 = -4*r + 2*n + c, -3*r + 415 = -2*r + 4*n. Is 5 a factor of r?
True
Let f(y) = 4 + 5*y + 7 + 15*y + 3*y**2 - y**2. Let r be f(-10). Suppose -12*z + r*z = -19. Is z a multiple of 19?
True
Let s = -1539 - -2875. Let a = -566 + s. Does 14 divide a?
True
Let s(p) = -20*p**3 + 2*p**2 + 4*p + 17. Is 2 a factor of s(-4)?
False
Let o = 76 - 149. Let c = 5 - o. Suppose 3*l - 189 = -2*m, 5*m - 388 + c = -5*l. Is 13 a factor of l?
True
Let d = -839 + 4727. Is 24 a factor of d?
True
Let g be -6*(-7)/21 - 27/(-1). Suppose 0 = -4*i - g - 35. Let s = 72 + i. Is s a multiple of 3?
False
Suppose 12*g = 4*g - 53*g + 639280. Is 16 a factor of g?
True
Let s(d) = 4*d**3 + 7*d**2 - 32*d + 24. Is s(12) a multiple of 30?
True
Is (3237/78)/((-2)/(-68)) a multiple of 26?
False
Suppose -361 + 1105 = 6*s. Let r = -125 + s. Does 14 divide (153 - 1)*r/(-2)?
False
Let d(i) = 6*i - 170. Let v be d(29). Is 30/v*20*(-20)/(-15) a multiple of 18?
False
Let q(o) = 9*o + 42. Let p(a) = 5*a + 21. Let x(f) = 5*p(f) - 3*q(f). Let h be x(-13). Suppose 3*t + 330 = h*t. Does 55 divide t?
True
Let x = 19632 - 14656. Is x a multiple of 181?
False
Let d(o) = -8*o - 229. Let r be d(-29). Suppose 2*l - 2493 + 271 = -3*q, r*q - 2225 = -5*l. Is q a multiple of 39?
False
Let i(b) = -b**3 + 23*b**2 - 33*b - 101. Is i(21) a multiple of 3?
False
Let i(l) = 20*l - 395. Let p be i(20). Suppose 0 = d + 2 - 5, 0 = p*q - 3*d - 3641. Is 6 a factor of q?
False
Suppose -3*b + 2*g + 11 = -0*b, 1 = -b + 3*g. Suppose 2*c = -3*a + 1625, -b*c - 43 + 602 = a. Is 26 a factor of a?
False
Let m = -1072 - -11283. Is m a multiple of 11?
False
Let j(t) = 20*t + 24. Let k(w) = w - 7. Let f be k(3). Let r(z) = 19*z + 23. Let c(p) = f*r(p) + 3*j(p). Does 26 divide c(-11)?
True
Let t(v) = 8*v**3 - 8*v**2 + 35*v - 275. Is 6 a factor of t(7)?
True
Is 106 a factor of (-213)/4047 + 24378/19?
False
Let j(v) = v - 3. Let s be j(8). Suppose -5*x - s*d + 3560 = 0, -5*d - 800 - 2048 = -4*x. Suppose 0 = 6*b - 14*b + x. Is 12 a factor of b?
False
Let g be (-10)/(-35) - 114/7. Let q = -14 - g. Suppose 3*r + 3*p - 156 = 0, -q*r - 50 = -3*r - 3*p. Is r a multiple of 10?
False
Let a(z) = -20*z + 1 - 5 + 19*z. Let p be a(-4). Suppose 5*k - 3*w - 262 = p, 3*w - w = -3*k + 161. Is 9 a factor of k?
False
Let f(x) = -2*x + 982. Does 3 divide f(24)?
False
Suppose j = 137 - 131, 5*j - 129445 = -5*p. Is 13 a factor of p?
True
Let i(k) = -k**3 - 179. Let v be i(0). Let f = 74 + v. Let j = -82 - f. Does 16 divide j?
False
Let o be -352*(-40)/8*(-3)/(-5). Suppose 0*c + 4*c - 1056 = 3*t, 3*t = -4*c + o. Is c a multiple of 12?
True
Let g(l) = -l**3 - 8*l**2 + 3. Let w be g(-8). Suppose -w - 17 = 4*a. Let d(s) = -18*s - 20. Is d(a) a multiple of 14?
True
Let m(h) = 4*h**2 + 70*h + 234. Is m(16) a multiple of 58?
True
Suppose 18*s - 332463 = -189*s + 18402. Is s a multiple of 7?
False
Suppose 8*i - 23781 = -4*z + 50787, 0 = -4*z + 8. Is 20 a factor of i?
True
Let r(n) = -32*n - 60. Let d = -65 - -60. Does 20 divide r(d)?
True
Let t(d) = 145*d**2 + 41*d - 183. Is 59 a factor of t(4)?
True
Suppose -4*c = -s - 249, 4*c = c - 4*s + 163. Let t(v) = 112*v - 62*v - c*v + 18 + 5*v**2 + v**3. Is 48 a factor of t(-6)?
True
Let b(a) = -82 - 11*a + 35 - 9*a. Is b(-11) a multiple of 3?
False
Let m(p) = -43*p - 218. Is 64 a factor of m(-78)?
True
Let h = 176 + -155. Is 52 a factor of (-6)/h + (-161)/(-49) - -309?
True
Let w(s) = s**2 - 2*s - 49. Suppose -q = -6*q - 2*u + 31, -2*q - u = -13. Suppose 3*j + 0*p = -p - 40, -4*j - q*p - 68 = 0. Is 22 a factor of w(j)?
False
Let d(q) be the second derivative of q**4 - 9*q**3/2 + 125*q**2 + 16*q + 3. Is d(8) a multiple of 15?
False
Does 9 divide (3 + 2198/6)*108/8?
True
Let x(q) = 207*q - 1953. Is 18 a factor of x(79)?
True
Suppose -5*f - 61 - 14 = 0. Let v be 8/(-6) + (-3800)/f. Suppose 3*x - 2*r = v, 5*x = 4*r + 545 - 125. Is x a multiple of 8?
False
Let g(q) = 3*q + 12. Let c be g(-3). Suppose c*j + 348 = 2*s, 7*s - 4*s = 4*j + 522. Is s a multiple of 3?
True
Let m = 241 - 217. Suppose -32*h = -m*h - 1944. Is h a multiple of 49?
False
Let i(n) = -37*n**2 - n. Let x = -2 + 1. Let d be i(x). Is (-3 + 25)/((-8)/d) a multiple of 18?
False
Let j(q) = -q + 1. Let i(y) be the third derivative of 7*y**4/24 - 19*y**3/6 - 13*y**2. Let n(b) = 3*i(b) + 12*j(b). Is n(10) a multiple of 45?
True
Suppose d - 43*d = 15*d - 1856490. Is d a multiple of 21?
False
Suppose 3*x - x - 352 = 4*m, 5*x - 4*m - 874 = 0. Let s = 205 - x. Does 26 divide s?
False
Let b = 45 - -250. Let k = 415 - b. Is 60 a factor of k?
True
Does 28 divide -4 + (-5 + 1745)*1?
True
Let z = 83 - -150. Suppose 61 = 7*q - z. Is 14 a factor of q?
True
Suppose -3*b + 11 = -1. Suppose 10*x = -38*x - 30*x + 9048. Suppose 2*o - 6*o - 4*l = -152, 3*o + b*l = x. Is o a multiple of 18?
True
Suppose h = -2*h + 6. Let r(m) = -28*m**2 - 7*m + 14. Let k(x) = -26*x**2 - 6*x + 11. Let f(a) = -5*k(a) + 4*r(a). Is f(h) a multiple of 7?
True
Let w(q) = 479*q**2 - 12*q - 19. Let n be w(-3). Does 66 divide n/8 + 6 + -7?
False
Suppose 17*j + 9*j + 212515 = 45*j. Is j a multiple of 26?
False
Suppose 3*i + 3*u + 0 = 18, -3*i + 16 = u. Suppose 4*w - 8 = o, 3*o + i*w - 37 = 2*o. Is o a multiple of 2?
True
Suppose 118*g - 1008007 = -25*g. Is g a multiple of 79?
False
Let g = 10 - 7. Let d be 0*((-15)/5)/g. Suppose -q - 5*q + 84 = d. Does 2 divide q?
True
Suppose -20*m = -2*h - 22*m - 8, -2*m + 24 = -2*h. Is (2 - (-7 - 65)) + h a multiple of 11?
True
Does 15 divide ((-1)/((-5)/(-474)))/(75/(-500))?
False
Let s(o) = 2*o**2 + 11*o. Suppose z = 5*k + 84, 31*k - 32*k = 5*z - 4. Is s(k) a multiple of 14?
True
Let x(y) = 6 + 13*y + 0*y**2 + y**2 + 0*y**2 - 5*y. Let o be x(-6).