ose -3*w = -m + 57, 3*m + w - d = -m. Suppose 3*k - 8*k + m = 0. Is k a multiple of 5?
False
Suppose -195 = -3*k - 204. Is 269 + k - (-9 - -11) a multiple of 44?
True
Let w(b) = b**3 - 8*b**2 + 20*b - 16. Let f be w(5). Suppose -f*q + 17*q = 1416. Is 33 a factor of q?
False
Suppose -4*k - 5 + 21 = 0. Let h(t) = 2*t**2 - 3*t - 4. Let z be h(3). Suppose 4*m - 2 = -z*b + 39, k*b = -5*m + 49. Does 5 divide m?
False
Suppose -20 = -4*i + 512. Suppose -2*l = -21 + 13. Suppose t + t - 10 = 0, l*s + 5*t = i. Is s a multiple of 6?
False
Suppose 2*c = 3 - 15. Let a(m) = -2*m - 7. Let z be a(c). Suppose 2*i - 299 = -i - z*y, 5*y + 73 = i. Is 31 a factor of i?
True
Suppose 4*q - 12 = -0*q. Let n be (q - 4)/((-2)/4). Is 15 + (1 + -2)*n a multiple of 6?
False
Let r = -2 + 4. Let s(o) = 3*o - 1. Let c be s(r). Suppose 2*y - 55 = -c*l - 3*y, 0 = -5*l + 4*y + 73. Is 6 a factor of l?
False
Let o(j) = 2*j**3 - j**3 + 6 + 10 - 11*j - 3 + 10*j**2. Let t be o(-11). Suppose 4*g + 4*z - t = -5, -4*g - 3*z + 12 = 0. Does 2 divide g?
True
Let a(v) = -v**3 + 3*v**2 + 5*v - 2. Let s be a(4). Suppose 92 = s*d + 4*i, -5*i + 80 = 4*d - 98. Is 9 a factor of d?
False
Let d = 8 - 5. Suppose -m = -4*m - d*p, 4*p = 2*m. Is m*1/(-3) + 57 a multiple of 19?
True
Suppose 5*j = z + j - 1526, 5*z + 2*j - 7630 = 0. Is z a multiple of 7?
True
Let r = -80 + 34. Suppose 7*z - 2*z - o = 359, -2*z + 146 = -o. Let c = z + r. Is 10 a factor of c?
False
Let z be (4/8)/((-1)/8). Is 11 a factor of (-155)/z*2*(0 + 2)?
False
Is 8 a factor of 24/60 - (-160770)/75?
True
Suppose -5*t + 860 = -3*l, 4*t = 3*l + 175 + 516. Let k = -99 + t. Does 5 divide k?
True
Is 2488 - (9 - 0 - 1) a multiple of 16?
True
Let l be -1*(-1 + 3) + -27. Suppose -j + 63 = 4*h + h, 3*h - 225 = -3*j. Let g = l + j. Is 11 a factor of g?
False
Suppose 2229 = 5*i - 2*i - 4*l, 3*l = 0. Is i a multiple of 39?
False
Let h = 16 + -15. Let d = 18 + h. Let s = 2 + d. Does 9 divide s?
False
Let n = -16 - -2. Let b = -14 + 8. Let u = b - n. Is u a multiple of 8?
True
Suppose -3*z = -a + 28, -a - 84 = -4*a - z. Let x be (a/35)/(4/770). Suppose 2*g = -5*r + 160, -3*r + 5*r = -2*g + x. Is 25 a factor of g?
True
Suppose 11*b = 9*b - 5*c + 822, -2*b + 5*c + 782 = 0. Does 4 divide b?
False
Suppose 3*y = -2*m + 3, 5*m + y + 21 = 3*y. Let a be (m/(-2))/(21/364). Suppose 4*j - 4*o = 216, 4*j = o + 233 - a. Is 20 a factor of j?
False
Let o = -20 - -22. Suppose -2 = o*h + 4, -x = -5*h - 9. Let v(q) = -q**3 - 5*q**2 - 4*q - 2. Is v(x) a multiple of 21?
False
Suppose 6*y = 11247 - 933. Is 34 a factor of y?
False
Let p = 1554 - 947. Does 12 divide p?
False
Is 15 a factor of ((-8)/5)/((-2)/(-290)*-2)?
False
Let p(i) = -2*i - 17. Let n be p(-10). Suppose 2*d - 122 = -3*k, -k + n*d = -4*k + 123. Is 8 a factor of k?
True
Suppose 0*n = -n + 3*g + 3, -4*g + 22 = 3*n. Suppose -196 = 2*x - n*x. Is x a multiple of 7?
True
Let h(o) = -29*o + 167. Is 11 a factor of h(-28)?
True
Let m = -7 + 6. Let c = m - -5. Suppose 3*o = -3*k + 36, k - 12 + 60 = c*o. Is 7 a factor of o?
False
Let c = -201 - -651. Does 18 divide c?
True
Let h(w) = -65*w + 13. Is h(-7) a multiple of 59?
False
Let r = 49 + -46. Suppose -4*v - 123 = -m, -r*v = -2*m + v + 230. Does 10 divide m?
False
Let n = 30 + -39. Let r = 24 + n. Does 3 divide r?
True
Let v(i) be the second derivative of 2*i**3/3 - 47*i**2/2 - 22*i. Does 11 divide v(20)?
True
Is 6 a factor of 576/42 + 4 - 2/(-7)?
True
Suppose 3*s + 0 - 55 = 4*u, -2*s = 2*u - 46. Suppose 18*v - 66 = 150. Let x = s + v. Is 14 a factor of x?
False
Suppose 10*f - 1 = 9*f. Suppose -p + 4 = f. Suppose -5*t + 24 = -p*t. Is 4 a factor of t?
True
Let w(b) = 4*b**2 + 3*b + 1. Let n = -16 + 14. Let p be w(n). Does 14 divide 581/p + (-10)/(-55)?
False
Let k(c) = -97*c + 41. Does 21 divide k(-3)?
False
Let z be 2/7 - (-57)/21. Let t(o) = 11*o**2 - 9*o + 6. Is t(z) a multiple of 39?
True
Does 22 divide 2 + -4 + 4098/6?
False
Suppose d - 4*k = -8, d - 2*k = 3*d - 14. Suppose -d*p - 24 = -i, -i + 69 = 4*i - 3*p. Is i a multiple of 4?
True
Let b = 39 - -6. Suppose 3*r - 74 = -2*g, -g - 4*r - 18 = -b. Does 13 divide g?
False
Let s be (-12)/10 + 3752/335. Let a be 14/4 - 3/(-6). Suppose -a*n = -s*n + 180. Is n a multiple of 30?
True
Let w = 59 - 55. Does 2 divide -2 + 12 + w/4?
False
Let b(q) = 58*q + 2. Let m(i) = 115*i + 3. Let p(o) = -7*b(o) + 4*m(o). Is p(1) a multiple of 24?
False
Suppose 2 = -4*j - g, 0*j - g - 3 = 5*j. Suppose 69*l - 34*l = -735. Does 5 divide (l + 1)*(j - 0)?
True
Let q(v) = v**3 + 11*v**2 + 3*v + 46. Is q(6) a multiple of 26?
True
Suppose -5*o - 2*l + 0*l + 6 = 0, 0 = o - l + 3. Suppose o = -9*m + 14*m - 440. Is 11 a factor of m?
True
Let s be ((-56)/(-49))/((-4)/(-14)). Let y be (s/(-6))/(5/405). Is (y/(-21))/((-1)/(-7)) a multiple of 6?
True
Let p(r) = -r**3 - 6*r**2 + 13*r + 49. Is p(-9) a multiple of 40?
False
Suppose 4*c = 5*c + 2. Let n be 2/(-4)*0/c. Suppose n*t = 3*t + 4*m - 97, m = -t + 31. Is 9 a factor of t?
True
Let i = 222 + -122. Let n = 112 - i. Is 4 a factor of n?
True
Suppose 3*u - 9 = 2*u. Let r be 5 + (-1)/(-4 + 5 - 2). Is 10 a factor of (u/r)/(9/150)?
False
Let x(f) = 8*f**3 - 13*f**2 + 16*f - 3. Does 13 divide x(4)?
False
Suppose 0 = t + 2, -4*t = 4*f + 46 - 134. Let m be 120/(-18)*f/(-10). Suppose -4*c + m = -0*c. Is 2 a factor of c?
True
Let p = 21 + -31. Let c be 6/15 - (-404)/p. Is (144/c)/(4/(-70)) a multiple of 21?
True
Let q(a) = a**3 - 6*a**2 + 2*a + 4. Suppose -8*v = -9*v + 4. Suppose -l - 2*d = 2, l = -v*l + d + 34. Is q(l) a multiple of 4?
True
Let j(n) be the first derivative of -49*n**4/4 - 2*n**2 - 3*n - 16. Is 7 a factor of j(-1)?
False
Let f = -809 - -1184. Is 27 a factor of f?
False
Suppose 5*u + 5*t - 57 - 28 = 0, -83 = -4*u + t. Is u a multiple of 4?
True
Is 3 a factor of 54 - (0 + -6 - 0)?
True
Let x(a) = 3*a**2 + 9*a - 18. Let p = 78 + -84. Does 12 divide x(p)?
True
Suppose 2*i - 9 = 29. Suppose -4*q + 45 = -i. Does 6 divide q?
False
Suppose -13*n + 12*n = -135. Does 17 divide n?
False
Let w = 11 + 4. Is 18 a factor of 6/w + 1340/25?
True
Let f(q) = -28*q - 15. Let n be 6/(3/(-6)*2). Let d be f(n). Suppose 0 = 3*j - p - d, -j = 3*p - 5*p - 46. Is j a multiple of 10?
False
Let v(w) = w**2 - w - 22. Let l be v(8). Let h = -34 + l. Suppose -230 = -2*y + 2*m, h = -3*y - y - 4*m + 420. Is 22 a factor of y?
True
Suppose 5*z + 2*p = -p + 18, 2*z + 4*p = 10. Suppose -c + 27 = 2*c + 3*f, -2*c = -z*f - 43. Does 4 divide c?
False
Let h(d) = d**2 - 5*d - 17. Let u be h(7). Let k(w) = -w**3 - w**2 - 3. Does 5 divide k(u)?
True
Suppose -3*y = -0*y - 129. Suppose 4*g = -8*f + 7*f - 17, -3*f + 3*g - 66 = 0. Let q = y + f. Does 16 divide q?
False
Let x = -3 - -3. Suppose -3*l = -x*l - 300. Suppose l = q + q. Does 25 divide q?
True
Does 7 divide (-639)/(-12) + 21/28?
False
Does 8 divide (-7)/((-35)/9250) - 10?
True
Is 49 a factor of (20/12)/5 + 6610/15?
True
Suppose -5*f + 2159 = 2*i, -4*f + 3242 = 3*i - 0*f. Does 5 divide i?
False
Let g be 78*(-1 + (-7)/(-2)). Let m(r) = -3*r**2 - 75*r + 2. Let q be m(-25). Suppose -5*x - q*h = -7*h - g, 4*x - 141 = -h. Is x a multiple of 12?
True
Let v(m) = 20*m + 62. Let o be v(11). Does 11 divide -20 + o - (1 - 0)?
False
Let l(q) = 4*q**3 - 31*q**2 - 19*q + 61. Let g(u) = -u**3 + 10*u**2 + 6*u - 20. Let w(m) = -7*g(m) - 2*l(m). Does 10 divide w(-8)?
True
Let q(a) = -6 + 5 + a + 13 + 12. Let h be q(-7). Let i = h + 15. Is i a multiple of 23?
False
Let s(u) = -u**2 - 18*u - 12. Let c(r) = -1. Let g(x) = 4*c(x) + s(x). Let z be g(-17). Is (3 - 3) + z*8 a multiple of 8?
True
Let z(x) = 26*x**2 - 12*x - 9. Let j be z(-4). Suppose -9*g - j = -16*g. Does 8 divide g?
False
Is 2 a factor of (1 - -1)/(62/1705)?
False
Suppose -7*g + 10*g + 30 = 0. Is 3 a factor of 50/g + -1 + 34?
False
Suppose 5*m = 3*c - 1407 - 619, 2708 = 4*c - 5*m. Is 22 a factor of c?
True
Suppose 92 = n + 3*l, l + 16 = -3*l. Is n a multiple of 26?
True
Suppose 126*t - 132*t + 84 = 0. Let v(l) = -l - 21. Let k be v(0). Let s = t - k. Is s a multiple of 11?
False
Suppose -23*z + 14*z + 6579 = 0. Does 43 divide z?
True
Let d be (-10)/55 - (-356)/22. Suppose -5*t - d = -131. Suppose 0 = -h + 4*k + t, 4*h = 2*h - k + 55. Does 27 divide h?
True
Let p = -103 + 169. Suppose -p - 14 = -8*m. Is 3 a factor of m?
False
Let 