vide a?
True
Suppose 20 = 4*i + 4. Suppose q + 8 = 5*x, i*q - 8 = 2*q - 2*x. Suppose -v + 27 = q*v. Does 9 divide v?
True
Let y be 3/6*(0 - 0). Suppose -50 = -3*p + 106. Suppose y = 5*c - c - p. Is 5 a factor of c?
False
Suppose -5*s - 3 = 3*x, 0 = x - 4*x - s + 9. Suppose -x*w + 24 = -8. Is w a multiple of 4?
True
Suppose 16 = 5*m - 3*m. Let f(k) = 3 + 6 + k**3 - m*k**2 + 0 + 8*k. Is 6 a factor of f(7)?
False
Let f = -63 - -95. Does 8 divide f?
True
Let o(j) = 3 + 2*j + 0 - 18*j**2 - 1. Let a(l) = -72*l**2 + 9*l + 9. Let r(k) = 4*a(k) - 18*o(k). Does 18 divide r(-1)?
True
Suppose 4*c - 2 = 2*c. Let n = 2 + c. Suppose 3*x + 4*t - 106 = 0, 5*x + t - 64 = n*x. Does 13 divide x?
False
Suppose -5*p - 2*k + 5 = -4*p, -2*p = -k - 5. Suppose -5*x = -2*b - 1, x + p = b + 2*x. Does 8 divide (-4 + 5)/(b/26)?
False
Let c(a) = -4*a + 3. Let h(i) = -i**2 + 12*i - 8. Let l(y) = -7*c(y) - 2*h(y). Let j(r) = -r**2 - r + 1. Let d(k) = -4*j(k) - l(k). Is d(-3) a multiple of 19?
True
Let o be 4/12 - (-76)/6. Suppose k + o = 2*z, 0 = 4*z + 3*k - 1. Suppose -h + z*n - 21 = -67, -4*h = 4*n - 184. Is 14 a factor of h?
False
Let k(f) = 27*f - 15. Does 24 divide k(5)?
True
Suppose 5 = -l + 3. Does 25 divide (-236)/(-4) - (l - -1)?
False
Let s = 246 + -90. Is 52 a factor of s?
True
Let j(k) be the second derivative of -k**7/840 - k**6/60 - 5*k**4/12 - k**3/6 - 2*k. Let r(c) be the second derivative of j(c). Is 18 a factor of r(-7)?
False
Let i = 324 - 190. Is 21 a factor of i?
False
Suppose -3*h + 3*z + 30 = 0, -h + 30 = 3*h + z. Suppose -1 + h = -k. Let c = 11 + k. Does 4 divide c?
True
Suppose 2*m = 5*n + 71, -3*m = -n + 6*n - 169. Is m a multiple of 13?
False
Suppose 41*i = 43*i - 6. Let n(y) = 3*y. Let b(f) = -4*f. Let m(g) = 5*b(g) + 8*n(g). Is m(i) a multiple of 12?
True
Let q(k) = -k**2 + 13*k - 6. Let b be q(8). Suppose -2 = z + 5*w - b, -z - 2*w = -26. Is 13 a factor of z?
False
Suppose -9 = 2*o + o. Let c be 2/o + (-2)/(-3). Let g = c + 5. Is 2 a factor of g?
False
Suppose -4*a = -4, -3*a + 9 + 0 = 2*l. Let d(k) be the second derivative of k**5/20 - k**4/6 - k**3/2 + 3*k**2/2 - k. Does 3 divide d(l)?
True
Suppose 0 = -h - 2*h - 780. Is 13 a factor of h/(-6)*12/10?
True
Let q = 117 - 32. Is 20 a factor of q?
False
Suppose c + 4*n - 40 = -c, -5*c + 122 = -n. Does 4 divide c?
True
Let i = -5 - -10. Suppose -2*c + i + 21 = 0. Is c a multiple of 13?
True
Suppose v = -4*s + 8, -5*v - 4*s + 45 = -75. Does 7 divide v?
True
Suppose 3*z = -0*z - 6, 0 = -c + 4*z + 7. Let u be -3 - (2 + c*2). Let s = 9 + u. Is s a multiple of 6?
True
Let w = -18 + 31. Is w a multiple of 13?
True
Let l be 2/9 + (-34)/(-9). Suppose 0 = 3*w - 2*n - 120, 0 = -2*w + l*n - 0*n + 88. Does 19 divide w?
True
Suppose 4*m - 2*z + 116 = 7*m, 3*z = -5*m + 194. Is m a multiple of 10?
True
Suppose -2*v = -3*v + 82. Let a = 162 + -109. Suppose -5*d = -k - 46 - a, -2*k + v = 4*d. Does 12 divide d?
False
Suppose -47 = -5*u + 78. Suppose -v + 7 = g, -g - u = -5*v + 4. Is v a multiple of 4?
False
Let h = 109 - 57. Is h a multiple of 26?
True
Let v(y) = y**3 + 14*y**2 + 9*y + 22. Does 22 divide v(-12)?
False
Suppose -1 - 4 = 5*d. Let c(z) = -35*z - 1. Does 17 divide c(d)?
True
Let n(i) = -i**3 - 3*i**2 - 6*i. Let u be n(-4). Suppose -d + u = d. Is d a multiple of 9?
False
Let x = 4 + 60. Let k = x + -16. Is 15 a factor of k?
False
Is 10 a factor of (-724)/(-18) - 12/54?
True
Let x(o) = -o**2 - o. Let j(k) = k**3 - 11*k**2 - k - 2. Let b(v) = -j(v) + 5*x(v). Let w = 7 - 3. Does 9 divide b(w)?
True
Suppose 330 = -5*t + 2*t. Let h be 4/12 + t/(-3). Suppose -15 = -4*x + h. Is x a multiple of 10?
False
Let f(s) = 28*s**3 + 2*s**2 - 2*s - 1. Let a(l) = 111*l**3 + 9*l**2 - 8*l - 5. Let b(z) = -2*a(z) + 9*f(z). Is 29 a factor of b(1)?
True
Suppose -5*a + 16 = -a. Is a a multiple of 4?
True
Let q(n) = -3*n. Is 24 a factor of q(-16)?
True
Let k(z) = z + 42. Is k(-24) a multiple of 3?
True
Let o(j) = -j**2 + 7*j - 7. Let c be o(5). Suppose c*r + 75 = 183. Is 12 a factor of r?
True
Let h be -7*(0 - 3)/(-3). Let g(o) = -o**2 - 8*o + 9. Let q be g(h). Does 15 divide (39/(-4))/((-6)/q)?
False
Suppose -5*i = 5*o + 535, -3*o - 5*i + 67 - 382 = 0. Let x = o + 222. Is 23 a factor of x?
False
Suppose 162 = 4*h - 46. Is h a multiple of 13?
True
Let x(p) be the third derivative of p**5/60 + 7*p**4/24 + p**3/3 + 3*p**2. Suppose -2*l - 5*n = -9 + 48, 2*n = -l - 17. Does 2 divide x(l)?
True
Let l = 57 + -37. Does 20 divide l?
True
Let h be 2 + (-1 - 1) + 1. Let d = h - -27. Does 15 divide d?
False
Suppose -g + 2 = -3*m, 0*m + 20 = 4*m. Does 17 divide g?
True
Let l(i) = 8*i - 3. Let q be l(2). Is 466/q - (-2)/13 a multiple of 18?
True
Suppose -2*t + t = 9. Let i(j) = -j**3 - 9*j**2 - 2*j - 8. Does 8 divide i(t)?
False
Let s be 238/(-6) + 2/(-6). Let w = s + 66. Is 13 a factor of w?
True
Let b = -14 - -62. Does 16 divide b?
True
Let v(a) = -20*a**3 + a**2 + 2*a. Let h be v(-2). Suppose 0*i + 3*i = r + h, 3*i - 3*r - 168 = 0. Does 18 divide i?
False
Let v(w) be the first derivative of w**4/4 - w**3 + 4*w - 1. Is v(3) a multiple of 4?
True
Let k = -7 - -232. Is k a multiple of 32?
False
Let f(t) = -t**2 - 14*t + 4. Is 17 a factor of f(-13)?
True
Let d(x) = -2*x + 3*x - 7 + 2 + 0*x. Is 2 a factor of d(9)?
True
Let n = 8 - -88. Suppose 0 = -s - 3*x + 52, x + x = 2*s - n. Suppose -i + 0*i = -s. Is i a multiple of 23?
False
Suppose -8 - 132 = -5*c. Suppose -r + 12 = 3*n, -c = -5*n + 4*r - 3*r. Suppose -2*h = 5*k - 40, -n*h - k = -33 - 44. Does 15 divide h?
True
Suppose 0 - 2 = -f. Suppose -q - 5 = -f. Let r(i) = 3*i**2 + 4*i - 1. Is 7 a factor of r(q)?
True
Is (1*-6)/(9/(-12)) a multiple of 8?
True
Suppose -4*n - 3*g + 12 = -7*g, 3*n - 5*g - 11 = 0. Let q be 148/n + -3 + 4. Suppose -5*h + q = -30. Is h a multiple of 20?
False
Let v(z) = -z**3 - 2*z**2 - 3*z. Let o be v(-2). Suppose y = -4*t - 10, 3*y + 4*t + 0 = -o. Suppose 4*h - 4 = -y*u, 5*h - 3*u - 12 - 4 = 0. Is 2 a factor of h?
True
Let t = 11 + -5. Suppose 5*c + 16 = t. Let q(j) = -3*j**3 - 4*j**2 - 3*j - 1. Is q(c) a multiple of 13?
True
Suppose 0 = -c - 3*c - 16. Let p be -40 + (9/6 + -1)*0. Is 15 a factor of (p/6)/(c/18)?
True
Suppose -o = -3*v - 273, 3*o - o - 3*v = 558. Is 46 a factor of o?
False
Let q(k) = -2*k - 2. Let x be q(-11). Suppose o - 17 = -3*m, -3*o - 2*m + x = 2*o. Suppose 28 = o*i - 10. Is 9 a factor of i?
False
Suppose -2*u + 0*u = -6. Suppose 3*g = -t + 7*g - u, -5*t + 17 = -4*g. Suppose 0 = t*i - 3*n - 221, 6*i - 4*n = 3*i + 126. Is i a multiple of 15?
False
Let b = 84 + -38. Is b a multiple of 23?
True
Suppose d - 2*y - 10 = 0, 0 = 3*d + 4*y - 3*y - 51. Suppose -d = -h + 2. Is 6 a factor of h?
True
Suppose 0 = -5*a + 16 + 19. Is 20 a factor of ((3 - a)*5)/(-1)?
True
Let p(q) = -q**2 - 7*q - 6. Does 2 divide p(-5)?
True
Let g(x) = 5*x**2 - 4*x**2 - 5 + 3*x**2 - 4*x - 2*x**2. Is 11 a factor of g(4)?
True
Is 12 a factor of ((-16)/(-3))/((-4)/(-90))?
True
Let s(k) be the first derivative of k**2/2 + 7*k + 1. Let h be s(-5). Suppose w + u - 31 = 0, h*w - 134 = -2*w + u. Is w a multiple of 11?
True
Let z(b) = 2*b**2 + 2*b - 12. Is 12 a factor of z(-6)?
True
Let y = 7 - -1. Is 2 a factor of y?
True
Let j be ((-10)/8)/((-1)/12). Suppose c - 6*c = -j. Does 3 divide c?
True
Let s be (-8)/(-20)*(3 + 2). Suppose -2*f + 28 = s*f. Is 3 a factor of f?
False
Let b be (3/4)/(4/(-16)). Let y be ((-8)/(-3))/((-1)/b). Let z(d) = d - 3. Does 2 divide z(y)?
False
Let z = 42 - 45. Let x be (-2)/8 - (-156)/(-16). Let w = z - x. Is w even?
False
Let z be 2/3*-3 + 1. Is 9 a factor of (z*1)/((-2)/34)?
False
Let o(t) be the first derivative of t**4/4 + 4*t**3/3 - 5*t**2/2 - 4*t - 2. Let s be o(-4). Suppose -34 = -2*r + s. Does 11 divide r?
False
Let y(s) = s**2 + 2*s - 5. Let v be y(5). Suppose -2*q = -4*q + n + 56, n = q - v. Is q a multiple of 13?
True
Let w be ((-4)/(-3))/(8/12). Suppose 2*u + 2*s = 66, -5*s = 6*u - w*u - 134. Suppose 0*y = y - u. Does 8 divide y?
False
Suppose 4*k = -13 + 37. Suppose -2*s + 5*r = -17, -3*r + 3 = k. Is 2 a factor of s?
True
Is 1 + 54 - (-9 + 7) a multiple of 15?
False
Let f(k) = 6*k**2 - k - 8. Does 9 divide f(5)?
False
Let i(x) = -x. Let l be i(2). Let d be (7/l + 2)*2. Is d/15 + 112/10 a multiple of 5?
False
Let b = 82 + -115. Let n = -113 + 66. 