3*w - 12. Let u(r) = 5*m(r) + 2*s(r). Does 11 divide u(-12)?
False
Suppose 6*m - 14 + 2 = 0. Let t be 9/m*880/60. Let r = 134 - t. Is r a multiple of 9?
False
Let t(h) = -179*h + 6. Let q(g) = 9*g - 35. Let k be q(-4). Let z = 69 + k. Is 52 a factor of t(z)?
True
Let u = 488 + -485. Suppose k = 3*z + 52 + 29, 4*z - 295 = -u*k. Does 31 divide k?
True
Let t be (-1)/10 - (-9612)/120. Suppose -4*m = m - t. Let i = m - -24. Does 4 divide i?
True
Suppose -15*f = d - 10*f - 415, 848 = 2*d + f. Suppose -2*r + d - 1 = 0. Does 18 divide r?
False
Suppose 51608 = 20*z + 7208. Let s = z + -596. Does 75 divide s?
False
Let k(d) = -169*d + 3113. Is k(12) a multiple of 5?
True
Suppose -175*c + 125426 = -410249. Does 7 divide c?
False
Let p(o) = 2*o**2 + 22*o - 10. Let m be p(-11). Is (m - 0)*(-13)/((-195)/(-510)) a multiple of 51?
False
Suppose 3*t + 16764 = -5*x + t, -t = x + 3354. Is 15 a factor of 6/21 + x/(-28)?
True
Let z(o) = o**3 + 51*o**2 + 22*o - 276. Does 150 divide z(-33)?
True
Let x be (-3)/(-2)*(-996)/(-9). Suppose 4*g = -5*n + 196, -3*g + n = -0*n - x. Is 2 a factor of g?
True
Let g(p) = p**3 - 7*p**2 - 13*p + 37. Let r be g(8). Is 20 a factor of ((-40)/r)/((30/(-9))/(-5))?
True
Suppose -4 = 5*u - 4*k, -2*k = -3*u - k - 1. Suppose 4*s + 0*s - 12 = u. Suppose 0*p + s*p - 129 = 0. Does 13 divide p?
False
Let n be (12 - (-1 - -5))/(2/(-70)). Let i = 722 + n. Does 13 divide i?
True
Suppose -4*w - j - 16 = 0, -26 = 2*w - 19*j + 24*j. Let v(y) = 25*y**2 - 21*y - 63. Is v(w) a multiple of 15?
True
Let u(f) = 8*f**3 - f**2 + 3*f - 2. Let w be u(1). Let n(g) = 10*g - 6 + w + g**2 + 3 + 1. Does 16 divide n(-11)?
False
Let p(s) = s**3 - 3*s**2 - 2*s - 7. Let j be p(-4). Let k(w) = -w**3 - 8*w**2 - 6*w + 6. Let a be k(-7). Is (a - (2 - j))*(-2)/3 a multiple of 19?
True
Let r(a) = -a**3 - 10*a**2 + 4*a + 2. Let j be r(-6). Suppose -63 = 2*s - 255. Let q = s - j. Is q a multiple of 15?
False
Suppose -23*n + 43*n - 8760 = 0. Is n a multiple of 3?
True
Let r = -122 + 203. Does 19 divide 22/8*(r + -17)?
False
Let l(m) = 102*m**2 - 5*m + 4. Let b(a) = 2*a**2 + 17*a - 8. Let r be b(-9). Does 7 divide l(r)?
False
Is 8 - 30/4*15932/(-21) a multiple of 51?
False
Let j(l) = -2*l**2 - 17*l - 6. Let n be j(-8). Suppose 2*i - 116 + 12 = -2*q, n*i = 4*q - 184. Suppose -69 = -5*c - 3*y, -3*c + q = 3*y + y. Does 6 divide c?
True
Let c = 20399 - 11379. Is 10 a factor of c?
True
Let c = -8825 - -21263. Is 37 a factor of c?
False
Let z be -3 + (-88 - 0/(-2)). Let g = z + 91. Suppose -5*j + 725 - 105 = g. Does 52 divide j?
False
Suppose -22931 = -3*l - 2*b, -3*b = 9*l - 11*l + 15296. Does 11 divide l?
True
Let w = -124 - -49. Let q be ((-1)/6*-8)/((-10)/w). Is 21 a factor of 39/(-65) - (-1156)/q?
False
Let m(w) = -w - 1. Let s(i) = 10*i - 4. Let u(a) = -m(a) + s(a). Suppose 66*y = 110*y - 176. Does 41 divide u(y)?
True
Suppose -10*p + 97*p - 471453 = 0. Is p a multiple of 28?
False
Suppose -38718 = -11*f + 50162. Does 111 divide f?
False
Let l = 454 + 3619. Does 12 divide l?
False
Suppose -3*w - 3*u = -5904, 2392 = 5*w - 5*u - 7468. Does 96 divide w?
False
Suppose -35036 = -2*a + 3*b, -4*a - 5*b = 21616 - 91732. Suppose a = -0*i + 26*i. Does 14 divide i?
False
Suppose 0 = -2*y + 34 - 14. Suppose -y*u + 691 + 269 = 0. Is u a multiple of 32?
True
Suppose -p = -3*m + 45 - 31, 0 = -4*p - 4*m - 8. Is ((-3)/p)/((-36726)/(-4590) - 8) a multiple of 47?
False
Let w = -11092 - -20972. Suppose 52*a - w = 14*a. Is a a multiple of 52?
True
Let c(i) = 4*i + 29. Let k be c(-11). Let m(s) = -40*s + 23. Is m(k) a multiple of 59?
False
Suppose -25*z = 23*z - 58520 - 110824. Does 7 divide z?
True
Let i(d) = 6*d**2 - 4*d + 2. Let z be i(5). Suppose -29*u + 31*u = z. Let p = -30 + u. Is 36 a factor of p?
True
Let a(u) = 434*u**2 - 1029*u. Does 11 divide a(3)?
False
Suppose -15*o + 50 = -5*o. Does 16 divide (-17760)/100*o/(-2)?
False
Suppose 4*h - 1114 = 5*a, 3*h - 838 = -5*a + 10*a. Let c = -225 + h. Is 4 a factor of c?
False
Let y = -64 + 92. Suppose -5*n + 2*n - 4*x + y = 0, 3*n = 5*x + 46. Does 12 divide n?
True
Let y be 67*14 + 54/9. Let u = y - 552. Does 39 divide u?
False
Suppose 3*o = o - 6, 0 = -4*h - 4*o + 60. Let s be 78/h + (-1)/3. Does 2 divide -9*((-6)/12)/(2/s)?
False
Let z(b) = 17*b**3 - 3*b**2 + 6*b - 4. Let j be z(2). Let w = j + -137. Let o(p) = 3*p**2 - 5. Does 35 divide o(w)?
True
Suppose -7*a - 1302 = -18914. Is 4 a factor of a?
True
Let m be 58/87*(21 + 0). Suppose 3*x = 4*n - 2965, -m*n + 16*n - 1484 = 2*x. Is 22 a factor of n?
False
Let x be (-6)/(-16) + 756/288. Suppose -4*f = 12, 0*a + x*a + 5*f = 1578. Is 10 a factor of a?
False
Let u be 2*(-2)/(-16) + (-25695)/(-36). Let c = 80 + u. Does 22 divide c/6 + 8/(-24)?
True
Let v be 1*-12*6/(-8). Suppose 4*o - 88 = z, -13 = -2*o - 5*z + v. Is 13 a factor of (-1382)/(-14) + 1 + 6/o?
False
Let i(z) = 5*z**2 + 14*z - 9. Let a be i(-19). Suppose -a = -14*t + 5*t. Is t a multiple of 39?
False
Suppose z - i - 335 = 0, 2*z - 227 = -4*i + 473. Let k = z - 296. Is k a multiple of 11?
True
Suppose -40*u = -50*u - 28*u + 380380. Does 24 divide u?
False
Let s(z) = -z**3 + 11*z**2 + 21*z + 35. Let p(y) = y**2 - 42*y + 159. Let f be p(38). Does 3 divide s(f)?
True
Suppose 0 + 6 = 2*b. Suppose 4*q + 3*a - 4*a - 11 = 0, 4*a = q + 16. Suppose -4*p + 2*k + 320 = 0, q*k = -b*p - 0*p + 251. Is 27 a factor of p?
True
Let n = 7897 + -4671. Is n a multiple of 31?
False
Suppose -3718 = 6*y - 154. Let h = -245 - y. Suppose 135 + 27 = 2*u - 4*k, 3*k = 4*u - h. Is u a multiple of 14?
False
Let f(x) = 92*x**2 - 56*x - 272. Is 3 a factor of f(-5)?
False
Let b = 1478 - 581. Is 13 a factor of b?
True
Let r(o) = 1147*o + 2332. Does 16 divide r(12)?
True
Let s(m) = 2*m + 28. Let z be s(4). Is 11 a factor of (-2 - z/(-15)) + 29852/170?
True
Suppose 152813 = 12*r - 4*r + 9*r. Is r a multiple of 89?
True
Suppose -85*g + 1312416 = -38*g + 25*g. Does 21 divide g?
True
Let s be (5 + 136/(-20))*125/(-15). Let m(y) = y**3 - 16*y**2 + 46*y + 14. Is 20 a factor of m(s)?
False
Let m be -3 + 265 - (5 + 3). Let o = 184 + m. Is 28 a factor of o?
False
Let k(i) = 2*i**2 + 34*i + 15. Let u be k(11). Suppose 29 = 4*j - u. Suppose 0 = -4*r + j + 227. Is 12 a factor of r?
False
Let p(j) = -j**3 + 7*j**2 - 10*j - 2. Let q be p(5). Let v be -39*3/((-6)/q). Let a = v + 53. Does 7 divide a?
True
Suppose 50*t - 44 = 28*t. Suppose 4*k - 690 = 2*h, -82*k = -78*k + t*h - 702. Is k a multiple of 3?
True
Let h(t) = 4*t**2 - 4*t - 6. Let q(n) = 3*n**2 - 4*n - 6. Let i(b) = -2*h(b) + 3*q(b). Let g be i(-4). Suppose j = 260 - g. Is j a multiple of 18?
True
Suppose 0 = -20*h - 6*h - 3276. Let v = 199 + h. Is 55 a factor of v?
False
Suppose 3*q + 28 = -q. Let u be 7 - (-4 - q) - -70. Suppose -u = -5*n + 51. Is 4 a factor of n?
False
Let l be 84/70*15/9. Suppose -l*o - 242 = -2*a, -7*a = -3*a - 3*o - 481. Does 12 divide a?
False
Suppose 0 = 33*v - 64 - 35. Is (v/(-9))/(17/(-5049)) a multiple of 2?
False
Let b(z) = z**3 - 6*z**2 + 6*z + 15. Let p be -5*1/(-3)*129/43. Is 5 a factor of b(p)?
True
Suppose 558 - 17886 = -57*x. Suppose -5*k = -24*k + x. Is k a multiple of 8?
True
Suppose -k = -640 - 1451. Let q be k/9 - (-2)/((-18)/3). Does 7 divide q/10 - (-40)/50?
False
Suppose -80*z = -101*z + 945. Is 9 a factor of -1071*(6/z)/((-6)/30)?
False
Let i be ((-14)/(-4) - 4)*-8. Let b be 61/((-15)/5 + i). Let z = b - 43. Is z a multiple of 9?
True
Let q(j) = j**3 + 4*j**2 + 3*j. Let x be q(-1). Suppose 7*g - 1740 - 4581 = x. Is g a multiple of 43?
True
Let q(o) = 2*o**2 - 8*o - 18. Suppose -31 - 39 = -5*d + 5*u, -3*u = d + 2. Is q(d) a multiple of 17?
True
Suppose 0 = -100*k + 820200 + 4750719 - 934119. Is k a multiple of 9?
True
Let l = 31 - 19. Suppose l = -2*r + 3*i, 0 = 5*r - 4*i + 7 + 9. Suppose r = -12*h + 15*h - 36. Does 11 divide h?
False
Let t be 15/(-9) + (-1115)/(-3). Let f = 649 - t. Is 9 a factor of f?
True
Let g(i) = i**3 - 13*i**2 + 21*i + 14. Suppose -20*b + 14 = -19*b. Is g(b) a multiple of 18?
True
Let b(t) = t**2 - t + 10. Let s be b(6). Let w = s - 30. Is w/(-4)*6/5 + 13 a multiple of 5?
True
Is (-10306)/((21/(-42))/(1/2)) a multiple of 28?
False
Let r be (-2 - 39/(-15))/((-5)/(-125)). Let w = r - 6. Let u(a) = 2*a**2 - 12*a + 4. Is u(w) a multiple of 55?
False
Suppose -h + 4*t 