9. Suppose -q - v + 23 = l*q, -q - 2*v = -11. Is q a multiple of 5?
True
Let b(r) = 4*r**2 - 9*r + 2. Let t(a) = -17*a**2 + 37*a - 8. Let h(d) = 9*b(d) + 2*t(d). Does 16 divide h(6)?
True
Let l = -2 + 3. Suppose i + i + l = 5*y, -5*i = -5*y - 5. Let k(g) = 23*g + 1. Is 12 a factor of k(y)?
True
Suppose 3*o - 4 = 2*o. Suppose 0 = 5*t - o*x - 62, 4*x + 0*x = t - 22. Does 5 divide t?
True
Suppose 3*v + 6 = -0*v. Let h be 9 + -2 + 1 + v. Suppose 65 = h*a - a. Does 6 divide a?
False
Let b = -5 + 4. Let o(l) = -19*l. Is o(b) a multiple of 7?
False
Suppose 5*d + 3*q - 65 = 0, 3*q - 20 = -4*d + 7*q. Is (-41)/(-5) + (-2)/d a multiple of 4?
True
Let d(s) = s**2 - 4. Let v(k) = 2*k - 1. Let l be v(-1). Let w be d(l). Suppose w*y - y = 40. Is y a multiple of 5?
True
Let q(i) = 21*i + 10. Is q(5) a multiple of 23?
True
Is 22 a factor of (-2241)/(-15) + ((-4)/10)/1?
False
Let s be 1118/14 + (-3)/(-21). Suppose 0*t - 5*t = -5*d + 10, 0 = -3*t - 2*d + 4. Suppose t = -5*o + 70 + s. Is 15 a factor of o?
True
Is 10 a factor of 676/8 + (6/4)/(-3)?
False
Suppose -4*j - 34 = -4*t - 2*j, 5*t = -3*j + 37. Does 20 divide (-15)/60 - (-482)/t?
True
Suppose 0 = 4*s - 945 + 141. Does 22 divide s?
False
Suppose -5*i = 3*l - 40, -2*l + i + 3 = -2. Is 2/l - 192/(-20) a multiple of 3?
False
Let k(q) = -6*q - 12. Is k(-10) a multiple of 24?
True
Let c be (-4040)/(-12) - (-6)/(-9). Does 11 divide (-9)/15 - c/(-10)?
True
Suppose -3*f - 4*u + 68 = 0, -2*u + 4 = -0*u. Is 10 a factor of f?
True
Let s(i) = 2*i**3 - 5*i**2 - 2*i - 5. Let h be s(4). Suppose 0*c = 5*c - h. Is c a multiple of 7?
True
Is (-3)/(-2) - (-5 + (-664)/16) a multiple of 32?
False
Let j(m) = 13*m**2 - 5*m + 9. Let g(w) = 3*w**2 - w + 2. Let n(i) = 9*g(i) - 2*j(i). Let a be n(-1). Suppose a = -3*k - 0*k + 78. Is 19 a factor of k?
False
Let b(w) = -w + 4. Suppose -2*s + 5 = -1. Let l be b(s). Let i(t) = 8*t**2 - t + 1. Is 8 a factor of i(l)?
True
Let d(b) = b**3 + 2*b**2 - b - 2. Let j be d(-2). Let t(f) be the first derivative of f**3/3 - f**2/2 + 8*f - 1. Does 4 divide t(j)?
True
Suppose 0*h - 50 = -2*h. Let l(o) = o**3 + 5*o**2 - o + 4. Let t be l(-5). Let j = h - t. Is j a multiple of 16?
True
Let k = -20 + 56. Suppose -6*r = -4*r - k. Is 9 a factor of r?
True
Let t = 145 + -46. Is t a multiple of 11?
True
Does 14 divide (2/3)/(-2)*-273?
False
Is 5 a factor of 2324/77 + 4/(-22)?
True
Suppose 0 = y - 4*n - n, 4*y - 3*n = 85. Let a = -18 + y. Does 7 divide a?
True
Let u be (4/5)/(6/15). Suppose -30 = -u*n + 34. Does 27 divide n?
False
Let g be 9*-15*4/(-18). Suppose 4*a - 5*c - g - 3 = 0, 20 = -4*c. Suppose x + 5*h + 6 - 2 = 0, -3*h = x - a. Is 11 a factor of x?
True
Let a be (-760)/(-12) + (-4)/(-6). Let g be (18/(-21))/((-1)/7). Is a/g*(-9)/(-2) a multiple of 24?
True
Suppose -2*f = 3*c - 16, -3*f - 2*c + 18 - 4 = 0. Suppose f*y = -2*y + 16. Suppose y*z - 38 = -10. Does 3 divide z?
False
Let o = 77 - 25. Is 43 a factor of o?
False
Suppose 3*m - 3*f = 567, 3*m - 5*f - 313 - 248 = 0. Is 24 a factor of m?
True
Let b = -18 - -8. Let v = 0 - b. Does 10 divide v?
True
Suppose -4*c - 59 = -175. Does 4 divide c?
False
Let t(u) = 39*u**3 - u + 1. Let s be t(1). Is 16 a factor of (13/s)/(1/219)?
False
Suppose -5*h + 89 = -z - 99, -4*z + 136 = 4*h. Is 7 a factor of h?
False
Let m(h) = -2*h**3 - 4*h**2 + 5*h + 2. Let v be 2/(-5)*(10 + 0). Is 16 a factor of m(v)?
False
Let k(y) = -17*y + 1. Let c be k(-7). Suppose -5*x = -3*w - 375, -2*x - 3*w = -30 - c. Does 21 divide x?
False
Let a(w) be the first derivative of w**2 - 4*w + 1. Let l be a(3). Suppose -3*c - l*c - 115 = -5*h, 4*c - 64 = -2*h. Does 16 divide h?
False
Suppose 3 - 8 = -5*r, -3*j + r - 34 = 0. Let t = j - -6. Let x = 15 - t. Is x a multiple of 7?
False
Let s = -1 - -1. Suppose s = -2*z + 2*w + 45 + 7, 100 = 4*z - 2*w. Suppose 4*y - 180 = -z. Is 13 a factor of y?
True
Let n be 3/(9/(-12)) + 3. Suppose 2*v - 21 = -3. Let r = v + n. Does 4 divide r?
True
Suppose c = 4*o - 25, 4*o = 3*c + 48 + 11. Let i = 36 + c. Is 8 a factor of i?
False
Suppose c = 2, -c = -d + 42 + 20. Is 9 a factor of d?
False
Let g = 112 + -66. Is g a multiple of 23?
True
Let x(c) = -14*c. Let g be x(-1). Let o be (-6)/9 - g/(-3). Suppose o*i + 36 = 164. Is 16 a factor of i?
True
Let g = 22 - 15. Let b = 39 - g. Is 16 a factor of b?
True
Suppose 3*l - 6 - 96 = 0. Is l a multiple of 17?
True
Let h(r) = r**3 + r**2. Let c be h(2). Is 9 a factor of (c/(-8))/(3/(-68))?
False
Suppose 0 = -12*q + 412 + 200. Is 17 a factor of q?
True
Let r = -5 + 5. Suppose r*b - 2*q = -b + 16, 4*q + 26 = b. Is 3 a factor of b?
True
Let h(l) = 8*l**3 + l**2 - 3*l + 2. Does 7 divide h(2)?
False
Let g be 1/(-1) - 1 - 6. Let t = 60 - 49. Let w = t + g. Does 2 divide w?
False
Suppose -o - 48 = -11. Let v = o - -68. Does 14 divide v?
False
Let k = 12 + 202. Is 9 a factor of k?
False
Let k be (-4 + 9)*8/5. Suppose k - 41 = -v. Is 13 a factor of v?
False
Suppose -414 = -2*j + 4*p, 3*p + 1042 = 5*j - 0*p. Is 19 a factor of j?
True
Suppose -4*g = 4*c + c - 2, -4*g = 4*c. Suppose -16 = -c*l + l. Does 6 divide l?
False
Let a(v) = v - 6. Let g = 5 - 6. Let t be g - -2 - -9 - 0. Is a(t) a multiple of 2?
True
Suppose 0 = -36*m + 48*m - 1152. Is 12 a factor of m?
True
Suppose -2*s = -3 + 1, y - 4*s + 4 = 0. Suppose y*k - 5*k + 100 = 0. Suppose 4 = 2*b - k. Is 12 a factor of b?
True
Suppose 5*w - 192 = 28. Does 22 divide w?
True
Let g(r) = -2*r**2 - 26*r - 1. Does 11 divide g(-11)?
False
Let j be (1/1)/(1/6). Suppose j*c - 30 = c. Is 5 a factor of c?
False
Let h(t) = -303*t**3 - t**2. Let g be h(-1). Suppose 62 - g = -5*c. Let l = c + -31. Is l a multiple of 6?
False
Let y = -4 + 4. Suppose y*m - 45 = -m. Suppose 9 = -3*z, -4*w - 3*z = -7*w + m. Is 6 a factor of w?
True
Let f(w) = w**3 - 7*w**2 - 6*w - 11. Let z be f(8). Suppose -z*l + 6*l - 13 = 0. Is 6 a factor of l?
False
Suppose 1 = -3*q - 7*r + 3*r, 2*q + 5*r = -10. Is 5 a factor of q?
True
Let u be (1 - (2 - 0)) + 8. Suppose u = -h + 29. Is 12 a factor of h?
False
Let g = 234 + -152. Is 20 a factor of g?
False
Suppose -4*f = -6*f. Suppose f = -2*w + 5*o + 24, w - 24 = -w + 4*o. Let m = w - -11. Is 9 a factor of m?
False
Suppose -i = -k - 2*i, -3*k - 4*i = -1. Let w(b) = -9*b + b - b - 1. Does 5 divide w(k)?
False
Suppose -3*d + 2*u = -31, -2*d + 3 = -u - 16. Is 2 a factor of d?
False
Does 68 divide ((-28)/3 + 0)/(5/(-255))?
True
Suppose 0 = -5*h + 6 + 9. Suppose -h*l + 15 + 12 = 0. Does 3 divide l?
True
Let u(p) = -p**3 - 7*p**2 + 5*p + 12. Is u(-8) a multiple of 36?
True
Suppose s = -51 + 125. Let d = s - 45. Is 11 a factor of d?
False
Let v(g) be the second derivative of g**2 + 0 - g + 1/6*g**3. Is 9 a factor of v(8)?
False
Let p = -54 - -95. Suppose 0*z + 5*z - 330 = 0. Let s = z - p. Is 25 a factor of s?
True
Let m = -3 + 14. Suppose 4*g + 3 = m. Suppose -g*z = 3*z - 130. Is 9 a factor of z?
False
Is 21 a factor of (-73)/(-2)*(2 - 0)?
False
Let r(o) = 2*o + 8. Let w(h) = h**2 - 4*h + 3. Let v be w(5). Is r(v) a multiple of 7?
False
Suppose -2*h + 320 = 2*h. Let s = -26 - -80. Let l = h - s. Is 13 a factor of l?
True
Is 47 + -3*3/(-9) a multiple of 14?
False
Let k = 11 + -6. Suppose -j + 5*y = -76 - 8, k*j - 354 = 3*y. Is 23 a factor of j?
True
Suppose -4*f + 8 = -4. Suppose f*d + 0 - 9 = 0. Suppose -3*q = 5*l - 21, d*q - 5*l - 73 + 22 = 0. Is 6 a factor of q?
True
Suppose n = 3*l - 364, l + 3*n = 4*n + 124. Does 8 divide l?
True
Suppose 4*l - 3*l = 2. Suppose -l = 2*q - 6. Is q even?
True
Let b(a) = 6*a**2 - a. Let m be b(1). Suppose -191 + 41 = -m*c. Is c a multiple of 8?
False
Let f be -2*(2 + (-7)/2). Suppose -3*m = f, -38 = -7*r + 3*r + 2*m. Does 3 divide r?
True
Let v be ((-18)/8)/((-9)/24). Let w(j) = 2*j - 5. Let s be w(v). Let i(r) = 2*r. Is 14 a factor of i(s)?
True
Let a(b) = b**2 - 8*b - 6. Does 9 divide a(11)?
True
Let q be (-163)/3 - (-2)/6. Suppose 6*s = 2*s + 4*m - 4, 5*s + 3*m = -29. Is 9 a factor of (q/s)/(3/4)?
True
Suppose 5*s - 285 - 445 = 0. Is 33 a factor of s?
False
Suppose 3*z + 128 = -o, -3*z + 2*o - 8 - 123 = 0. Let q = -20 - z. Is 9 a factor of q?
False
Suppose 5*m - 388 = 242. Is 15 a factor of m?
False
Let s = -12 + 5. Let m(h) = -h**2 - 9*h - 6. Does 5 divide m(s)?
False
Suppose -4*u + 2*m + 252 = 6*m, -4*u = m - 261. Does 10 divide u?
F