5). Suppose 11*z - g*z = 468. Is z a multiple of 6?
True
Let u(c) = -5*c - 13. Let r(y) = 0*y + 5*y + 26 + 4*y. Let k(x) = 4*r(x) + 9*u(x). Does 14 divide k(-4)?
False
Let v be 96*((-3435)/(-10) - 8). Suppose 10*j = -34*j + v. Is 61 a factor of j?
True
Let b = 15890 + -9302. Is 9 a factor of b?
True
Suppose 2224 = -45*a + 47*a + 3*k, 4*k = 4*a - 4448. Does 4 divide a?
True
Let y(t) = -t**3 + 14*t**2 + 6*t - 79. Let r be y(10). Let g = -79 + r. Is 9 a factor of g?
False
Suppose -4*c = -4*c + 3*c. Suppose c = -v - 120 + 937. Is v a multiple of 11?
False
Let x = 80 - -292. Suppose 3*q + 4*y - 2*y - x = 0, -2*q + 5*y + 248 = 0. Suppose 0 = -4*d + 4*g + 38 + 86, 4*d + 4*g - q = 0. Is d a multiple of 13?
False
Let x be 25/15 - 1/(-3) - -601. Let s = -467 + x. Is 28 a factor of s?
False
Suppose 2*q + 5*i = 550, 5*q - 846 = 5*i + 564. Suppose -2*d + w = -118 - q, 1000 = 5*d - 5*w. Suppose x - 7*x = -d. Is x a multiple of 33?
True
Suppose -11*u - 1242 = 1035. Let w = 687 + u. Is 32 a factor of w?
True
Is 362 a factor of 132/88*(-42)/9 - -77993?
False
Let c be 2 + 21 + 11 + -5. Is -1 + c - (-8 + (3 - -8)) a multiple of 5?
True
Suppose -i + 3*i - 48 = 0. Suppose t + 5*t = i. Suppose 3*y = d + 163, -y = -t*d - 24 - 23. Is y a multiple of 5?
True
Suppose -29*x + 54 = -11*x. Is 5 - (-246 - 2*(x + -6)) a multiple of 2?
False
Suppose 0 = z + 5*d + 32, 2*d + 57 = -2*z - d. Let n = 87 + z. Suppose -55*l + n*l = 1370. Does 44 divide l?
False
Does 27 divide 393048/33 - ((-140)/(-55) + -2)?
False
Let h(q) = q**3 + 18*q**2 + 16*q - 18. Let t be h(-17). Let n(w) = 12*w**3 - 2*w**2 - 2*w - 1. Let v be n(t). Is 4 a factor of (-1 - v)*(-133)/(-28)?
False
Suppose 3336*n = 3410*n - 1553334. Is n a multiple of 10?
False
Let q(o) = 7*o**3 - o**2 + o - 1. Let w be q(1). Let k(s) be the second derivative of -s**4/12 + 2*s**3/3 + 12*s**2 + s - 44. Is k(w) a multiple of 12?
True
Let o = 44 + -61. Let f be (3 + o)*(4 - (-120)/(-28)). Suppose -f*p + 709 = s, -252 + 61 = -p - 3*s. Does 22 divide p?
True
Let y be (14 - 1)*33/(-33). Let l(s) = -9*s - 60. Does 14 divide l(y)?
False
Let c(o) = -7 + 0 + 13 + o + 0. Let k be c(-3). Let b(s) = 9*s**3 - 4*s**2 - 3*s + 7. Is 41 a factor of b(k)?
True
Suppose -6*d = -645 - 15. Let s = d - 75. Is 22 a factor of s?
False
Let x be (-4357)/(-6) - 3/18. Let a = 855 - x. Does 60 divide a?
False
Suppose 19*u - 40170 - 161610 = 0. Is u a multiple of 180?
True
Suppose -2*j = 4*d - 5*j - 300, -d - j + 82 = 0. Suppose 4*r = r - 2*l - d, 0 = -l - 3. Let o = 1 - r. Is o a multiple of 3?
False
Let g = -48 + 52. Suppose -i + 4*l - 9 = 0, -22 = -g*i - 5*l + 5. Is ((-30)/(-35))/(i/63) a multiple of 9?
True
Let h(m) = m**3 - 7*m**2 + 8*m - 10. Let p be h(6). Suppose p*v - 114 = -24. Let t = 78 - v. Is 4 a factor of t?
False
Let w = -401 + -840. Does 4 divide 1*20/110 + w/(-11)?
False
Let m(a) = 43*a**3 - 2*a**2 - 86*a + 805. Is 50 a factor of m(11)?
True
Let d be (2 - 62/4)/((-162)/216). Let f = -2 - 0. Does 17 divide d/30 - f*(-3441)/(-30)?
False
Let i(g) = -g**3 - 3*g**2 + g + 7. Let u be i(0). Let w(s) = 2*s**2 - 3*s + 16. Is 31 a factor of w(u)?
True
Suppose 0*v = 2*z + 4*v - 2, 0 = 4*z + 5*v - 10. Let m = -452 - -638. Suppose -4 = 2*s + 2, 3*x - z*s = m. Is x a multiple of 19?
True
Let g(y) = -9*y + 4 - 5*y**2 + 6*y**2 + 4*y. Let n be g(4). Suppose n = -j + 36 - 6. Is j a multiple of 3?
True
Does 8 divide (-20)/15*(-114780)/80?
False
Suppose 1610*h - 3420 = 1608*h. Is 6 a factor of h?
True
Let d(k) = k**2 + 7*k + 16. Let l be d(-6). Suppose -4*u + l = u. Suppose 314 = 4*r - 0*q - 3*q, -164 = -u*r - 2*q. Is r a multiple of 20?
True
Let c be 15/(-5)*10/(-6). Suppose 374 = l - c*o, -5 = o - 2. Is l a multiple of 12?
False
Let f be ((-24)/(-15))/(2/(-600)). Let j = f - -801. Is j a multiple of 12?
False
Suppose 0 = 5*g + 3*j - 269, 3*j - 2*j - 108 = -2*g. Suppose 54*k + 105 = g*k. Is k a multiple of 9?
False
Suppose 18*s + 2*s = 8280. Suppose -293*c = -291*c - s. Is c a multiple of 9?
True
Let r = -158 - -263. Let m = r - 174. Let u = m - -154. Is u a multiple of 4?
False
Let l = -79 + 74. Let f(r) = -10*r**2 - 12*r + 6. Let m(p) = p**2 + p. Let n(j) = f(j) + 12*m(j). Is n(l) a multiple of 28?
True
Suppose -5*a + 200 = 5*g, 3*g - 3*a - 125 = -a. Suppose g*v + 5508 = 59*v. Is v a multiple of 18?
True
Let k(c) be the third derivative of 0 + 0*c + 2*c**3 - 15*c**2 + 1/4*c**5 + 0*c**4 + 1/120*c**6. Is k(-15) a multiple of 6?
True
Let v(m) = m**2 - 22*m + 9. Let y be v(22). Let l be y - 5 - 1*-37. Suppose 0 = 3*j - 31 - l. Is j a multiple of 13?
False
Suppose -y = -4 - 0. Suppose 3*o - y*q = 152, -o + 2*q - 15 + 69 = 0. Is o a multiple of 11?
True
Let r = 3 + 0. Suppose -r*l = -6*l + 399. Let c = -83 + l. Does 26 divide c?
False
Let l = -15 + 12. Let i(w) = 15*w - 90. Let c be i(7). Is 16 a factor of -20*(36/c)/l?
True
Suppose -u = -5*g - 20, 5*u - 4*g + 2*g - 31 = 0. Suppose v - u*i - 69 = 0, 3*v + 4*i = i + 189. Does 43 divide v?
False
Suppose 25*w - 193160 = -10460. Is w a multiple of 18?
True
Let f be (50/(-30))/(25/60). Is 15 a factor of (10 - (-2)/(-1))*(-30)/f?
True
Let a be ((-1 - 2) + 2)/((-1)/91). Suppose 2*w - a - 3 = -4*b, b - 1 = 0. Is 5 a factor of w?
True
Let a = -62 + 201. Let w = a + 72. Is w a multiple of 17?
False
Let r(q) = -233*q**2 + 46*q - 24. Let g(i) = 116*i**2 - 24*i + 13. Let u(m) = -11*g(m) - 6*r(m). Does 60 divide u(-1)?
False
Let r(f) = 11*f**3 + f**2 + 202. Is 144 a factor of r(13)?
False
Let g(n) = 20*n**3 + 4*n**2 + 10*n - 36. Let m be g(4). Let t = m + -673. Does 45 divide t?
True
Let k(r) = 11*r + 20*r + 10*r - 52*r + 70. Does 7 divide k(0)?
True
Suppose 25*c = 22*c + 3486. Is c a multiple of 26?
False
Let t = -53 + 51. Let l(m) = -m**3 - 10*m**2 - 8*m + 1. Let x be l(-6). Is (-12)/(-10) + t - 8816/x a multiple of 6?
False
Suppose 8*f - 1377 = -169. Let d = 164 - f. Does 3 divide d?
False
Let r be (6/(-10))/(0 + (-3)/15). Suppose 3*h = -3*i + 1947, h - r*i = 396 + 233. Is 30 a factor of h?
False
Is 23 a factor of (-126)/1638 + 14951/13?
True
Suppose -2*s = -3*i + 2*s + 504, 0 = 2*s. Let r = 105 - i. Let x = r - -87. Does 12 divide x?
True
Let m(i) = i**2 - 9*i + 20. Let s be m(8). Suppose 2*n + y - 6*y - s = 0, 0 = 2*n + 3*y - 28. Is 11 a factor of n?
True
Let m(d) = 217*d + 15085. Is m(-15) a multiple of 91?
True
Let f be (4/(-10))/(4/(-280) - 0). Suppose -2*m + 4*d + f = 0, 5 = m - 4*d - 17. Suppose 288 = m*l - 42. Is l a multiple of 11?
True
Let z = 18380 + -16788. Does 8 divide z?
True
Does 10 divide (1534 - -4) + 24 + -22?
True
Let m(r) = 15*r**2 - 9*r + 36. Let t be m(6). Let g = t - 149. Does 35 divide g?
False
Is 49*(243/756)/((-9)/(-744)) a multiple of 7?
True
Is 11 a factor of (804/(-57) - 6/(-57))/((-5)/70)?
False
Let m(j) = 8*j - 195. Let c be m(25). Let w(r) = -r**3 + 10*r**2 + 7*r - 4. Is w(c) a multiple of 12?
True
Suppose 0*c + 3609 + 4743 = c. Does 116 divide c?
True
Let k = -58 - -52. Let n(v) = 64*v**3 - v**2 + 5*v. Let x(y) = y**3 - y. Let w(b) = k*x(b) - n(b). Is 11 a factor of w(-1)?
False
Let a be 1/5 - (-1074)/30. Suppose 3*v = -v - 4*k + a, -5*k = -4*v + 9. Suppose -v*d = -62 - 40. Does 4 divide d?
False
Let r(i) = i**3 - i**2 - 6*i + 6. Let a be r(-6). Suppose 176*m - 171*m - 270 = 2*h, 0 = -h - 5*m - 150. Let b = h - a. Is 14 a factor of b?
True
Let d be 144/10*-15*(-8)/36. Let t = -50 + d. Is 2 a factor of t/(-17) + 3531/187?
False
Suppose 27*b - 5*d + 14860 = 32*b, 4*b + 5*d - 11896 = 0. Is 5 a factor of b?
False
Let f = -144 + 145. Let s be (-5 - f/3)*-3. Let k = s + 69. Is 17 a factor of k?
True
Let p be (-28)/35 + 14973/(-15). Is 14 a factor of 0/(-6) + p/(-1)?
False
Let q(x) be the second derivative of -x**3/3 + 23*x**2/2 - x. Let g be q(9). Suppose -g*s - 179 = -539. Is 17 a factor of s?
False
Let f be (-670)/(-7) + (-4)/42*-3. Suppose 54 = 5*b - f. Is 5 a factor of b?
True
Let t(j) = 0*j**3 + j**3 - 3*j**3 + j**3 - 6*j**2 + j + 7. Let l be t(-7). Suppose 0 = 2*y - 131 - l. Is 30 a factor of y?
True
Let h(z) = 5*z**2 + 27*z - 14. Let x = -186 - -177. Does 37 divide h(x)?
True
Let v = 0 - -2. Let m = -631 + 633. Suppose 488 = 4*y + m*d + v*d, -118 = -y - 2*d. Does 42 divide y?
True
Suppose -40*l - 10 = -42*l. Suppose -j + l*j = 468. Does 16 divide j?
False
Suppose 26382 + 26412 = 8*f - 260