 8 a factor of (2/(-6))/(4/(-492))?
False
Suppose -2*j + 28 = r + j, -5*r + 2*j + 89 = 0. Suppose -4*o - r = -3, 4*h - 64 = 2*o. Is h a multiple of 7?
True
Suppose -w + l + 0*l + 5 = 0, -w + 3*l = -9. Let q be (10/(-6) - -1)*w. Does 9 divide q/(-8) + (-35)/(-4)?
True
Suppose t - 3*r - 6 = 0, -2*t - 3*t = -2*r - 4. Suppose u = -t + 20. Does 11 divide u - 6/(6/(-2))?
True
Let q = 10 + -14. Let s(z) = -7*z + 1. Is 8 a factor of s(q)?
False
Suppose 2*t = -m - 30, -4*m + t - 125 = 13. Let d be m/(-3) - 4/(-6). Does 4 divide (-1 - -2)/(1/d)?
True
Let g(r) = r**2 + 7*r. Let a be g(-7). Let b be (0 + 1)*(a + 2). Is 6 a factor of 15 + 6/((-4)/b)?
True
Suppose 0 = -0*k - 5*k + 25. Suppose 0*j - 2*o = -3*j + 30, j + k*o = 10. Is 10 a factor of j?
True
Let x = 118 - 28. Is x a multiple of 18?
True
Suppose v + 2*t = -t - 4, -3*v = 3*t + 12. Is 66/((-2)/4*v) a multiple of 7?
False
Let w = -102 - -170. Is 17 a factor of w?
True
Let y(g) = -14*g - 4. Suppose 16 = -v - 3*v + a, -3*v - 2*a = 1. Does 19 divide y(v)?
True
Let u be ((-12)/9)/((-2)/21). Let i(f) = 2 + 0*f**2 + 4*f + 3*f**2 - 4*f**2 - u*f. Is i(-8) a multiple of 18?
True
Let b be 18/(-4) + 10/20. Does 14 divide (-160)/b + 6/3?
True
Let f be 2*(39/6 - 4). Suppose c = -f*g + 91, 0 = g + 2*c - 4*c - 16. Does 18 divide g?
True
Let g(z) = z**2 + 3*z + 4. Is g(-6) a multiple of 7?
False
Suppose s = -4*u + 339, 5*s = -5*u + 2*u + 250. Suppose -u = -2*h - 11. Let b = h + -16. Does 21 divide b?
True
Suppose -t = 3*i - 3*t - 33, -t + 68 = 5*i. Is 13 a factor of i?
True
Does 25 divide 4/6*750/20?
True
Let g = 90 + 5. Does 19 divide g?
True
Let a = -17 + 8. Let w be 1/(3/a*1). Is 9 a factor of (4/(-8))/(w/126)?
False
Suppose 2*a = 5*v + 96, -5*a + 240 = -4*v + 3*v. Let r = a + -27. Is r a multiple of 6?
False
Let i(v) = 7*v**2 + 4*v - 48. Does 6 divide i(5)?
False
Let m(s) = s. Let j be m(3). Suppose 0 = -2*y - 1 - 7, -3 = -3*n - j*y. Suppose 3*r = -n*o + 71, r + 2*o = o + 27. Is r a multiple of 16?
True
Let s(q) = q**2 + 9*q - 6. Let a be s(-10). Suppose -w - 92 = -a*c, 3*c - 2*w - w = 78. Does 11 divide c?
True
Suppose -22 = -i - r, -2*i - 2*r + 42 = -r. Let d = i - 8. Does 11 divide d?
False
Let o(b) = -b**2 + 16*b + 17. Is o(10) a multiple of 30?
False
Let l(h) = 4*h**3 + 2*h**2 + 2*h + 1. Let c be l(-1). Is 9 a factor of c/((-7)/3 + 2)?
True
Let c(h) = -7*h. Suppose -1 + 5 = -4*x. Is 7 a factor of c(x)?
True
Let v(f) = -2*f - 9. Let l be v(-6). Let p(a) = -a**2 + 9*a - 5. Let b be p(8). Suppose l*w = 5*i - w - 113, 69 = b*i - 3*w. Is 12 a factor of i?
False
Let a(o) = 4*o**2 + 2*o + 1. Let n be a(-2). Let d = n + 2. Is 10 a factor of d?
False
Let h(m) be the second derivative of -5*m**3/6 + 4*m**2 - 4*m. Is h(-6) a multiple of 11?
False
Let l = -20 + 28. Is l a multiple of 8?
True
Let o be (-4)/(-6) - (-1722)/9. Suppose -5*s = -s - o. Is s a multiple of 12?
True
Let h = -23 - -45. Is h a multiple of 18?
False
Let l(i) = -i**2 + 9*i + 7. Does 8 divide l(6)?
False
Let b be ((-8)/(-3) - 3)*-6. Let o = b - -12. Is o a multiple of 7?
True
Let w = 4 - -1. Suppose w*a + 0*k + 5*k - 55 = 0, -44 = -4*a - 3*k. Suppose -z - 2 + a = 0. Does 7 divide z?
False
Suppose 44*r - 110 = 39*r. Is 11 a factor of r?
True
Let s = 11 + -10. Let y be (9/(-6))/(s/(-2)). Suppose 235 = 2*d + y*d. Does 19 divide d?
False
Suppose 0*q - 5 = -5*s - 5*q, 0 = 3*s + 4*q - 2. Let p be 7/s + 7/14. Suppose -v = -6 - p. Does 4 divide v?
False
Is (-24)/(-3)*(-5)/(-2) a multiple of 12?
False
Let m = 13 + -5. Let d = 14 + m. Is d a multiple of 10?
False
Suppose -m - w + 248 = 0, -29 = m - 3*w - 261. Is m a multiple of 48?
False
Suppose -687 = -3*t + 4*j, 3*t + 0*t + 5*j = 714. Is t a multiple of 28?
False
Let t(g) be the first derivative of 2*g**3/3 - 7*g**2/2 - 4*g + 2. Does 11 divide t(6)?
False
Let y(z) = 7*z**2 + 24*z + 3. Let t(f) = -3*f**2 - 12*f - 2. Let r(w) = -9*t(w) - 4*y(w). Is 13 a factor of r(11)?
False
Suppose 2*u + 765 = 3*u. Does 18 divide 6/(-14) + u/21?
True
Let y = 0 + 4. Let k = y + 0. Is k a multiple of 4?
True
Does 3 divide ((-490)/7)/(-1*2)?
False
Let u be -20*((-6)/4 - -1). Suppose -2*r + u = 3*r. Suppose -2*k - r*t + 41 = t, k = 2*t + 24. Is k a multiple of 12?
False
Let b(n) be the third derivative of n**5/30 + n**4/24 - n**3/3 - n**2. Is b(4) a multiple of 9?
False
Let l(b) be the second derivative of -b**3/6 + 18*b**2 - 5*b. Does 11 divide l(0)?
False
Suppose -3*c + 15 = -6*c, 0 = -3*k - 3*c + 63. Does 24 divide k?
False
Suppose -6*i = -i - 800. Is 32 a factor of i?
True
Suppose -7*r + 3*r = -2*a - 16, -3 = -r + a. Suppose r + 7 = 4*g. Suppose -w - g*w = -120. Is w a multiple of 15?
True
Let x(s) = s**3 + 5*s**2 + 7*s + 4. Let v be x(-4). Let f be (-1)/(2/(2 + v)). Is 4 a factor of 2 - f/((-9)/6)?
True
Let j(o) = -o**2 - 6*o + 1. Let r be j(-5). Suppose d = 9 - 3. Suppose -d = -4*k + r. Is k a multiple of 2?
False
Let v(t) = t**2 + 2*t. Let m be v(-9). Suppose z - 59 = 4*h - h, z = 2*h + m. Does 23 divide z?
False
Let c(i) = 17*i + 1. Suppose -1 = -2*j + 1, -s + 6 = 5*j. Does 5 divide c(s)?
False
Suppose 5*c = -3*x + 128, x + 16 = 3*c - 72. Suppose 0*m - c = -2*m. Is 4 a factor of m?
False
Let g(u) = -18*u + 3. Let f(s) = -17*s + 4. Let k(w) = -4*f(w) + 5*g(w). Let t be k(2). Let c = t - -75. Is 15 a factor of c?
True
Suppose 5*r - 13 + 33 = 0, -3*r = -3*k. Let j = k + 9. Suppose 73 = 5*q + w, -5*q = -j*w + w - 58. Is 14 a factor of q?
True
Let f(j) = -j**2 - 36*j - 38. Is 11 a factor of f(-18)?
True
Let o(j) = j**3 - 7*j**2 - 1. Let d be o(6). Let f = d + 54. Is f a multiple of 7?
False
Let o(i) = -i**2 + 6*i + 25. Does 4 divide o(5)?
False
Suppose -z - 5*l = -59, -6*l + l = 2*z - 93. Is z a multiple of 8?
False
Let y be (-4 - -3) + 8/1. Let q = -3 + y. Suppose 4*f + x = -0*x + 53, -q*x = 2*f - 30. Is f a multiple of 6?
False
Suppose -4*w = z + 2*z + 23, -4*z - 24 = 2*w. Let n be (-2060)/(-25) + w/5. Suppose 2*v = -h + 53, -n = -3*v - 0*h - 2*h. Is v a multiple of 12?
True
Let x(z) = -z**3 - 4*z**2 - z + 4. Let r(u) = 3*u**3 + 9*u**2 + 2*u - 9. Let b(h) = -2*r(h) - 5*x(h). Does 19 divide b(-3)?
False
Let y be (-171)/15 + 4/10. Let f = 7 + y. Let g = f - -6. Is 2 a factor of g?
True
Let j(v) = 1 + 10*v**2 - v + 5*v**2 + 6*v**2 + 0. Let w be j(1). Suppose 4*p - w = p. Is 7 a factor of p?
True
Let w = 17 - 12. Suppose 128 = 4*v - 5*c, -w*v + 131 = -2*v + 5*c. Does 13 divide v?
False
Does 26 divide 4/(-22) + 13744/88?
True
Is 40*(10 + (5 - 11)) a multiple of 21?
False
Let y be 5*9*(-2)/(-2). Let k(b) = b**3 - b + 4. Let p be k(0). Suppose -p*a + y = -a. Is 13 a factor of a?
False
Let v(f) = 5*f**2 + f. Let t be v(-1). Suppose 5*m = 4*l + 190, 0 = -t*m - 2*l + 135 + 43. Does 14 divide m?
True
Let j(i) = i**2 - 8. Let m(u) = 2*u**2 - u - 17. Let l(b) = 5*j(b) - 2*m(b). Does 10 divide l(5)?
False
Suppose 0 = 2*p + 4*j - 236, -4*p + j + 345 + 109 = 0. Suppose -2*q = -m + 30, 0 = -5*m + 3*q - 5*q + p. Suppose 91 = 5*i - m. Is 22 a factor of i?
False
Suppose -2*a - 6 = v, -2*a + 7*a + 5 = 0. Let i be 12*(v/(-2) + -1). Suppose i = b + b. Is b a multiple of 4?
False
Let y(i) be the third derivative of -i**4/8 + i**2. Let x = -12 + 8. Is 12 a factor of y(x)?
True
Suppose 5*a - 75 = 3*l, 0 = -4*a + 4*l - 8*l + 60. Does 15 divide a?
True
Suppose -n - 21 + 7 = -r, 0 = -2*n. Is r a multiple of 3?
False
Let w(q) = 3*q**2 + q - 1. Is w(-2) even?
False
Let r = -13 + 17. Does 2 divide r?
True
Suppose -5*r + 5*j + 350 = 0, r - 2*r + 2*j + 73 = 0. Suppose -l = -5*q + 21 - r, -l = -3*q - 36. Is 17 a factor of l?
False
Suppose 182 = 5*t - 2*z, -t - 3*z = -7 - 26. Does 18 divide t?
True
Suppose 0 = k + 2*k - 12. Let d = 0 + k. Is d a multiple of 2?
True
Let h(t) = -t**2 - 3*t + 0*t - 3*t + 2*t**2 + 4. Is h(7) a multiple of 4?
False
Let r(w) = -w + 29. Suppose 4*t + 85 = 5*f, 0 = -3*t - 7 - 8. Is 6 a factor of r(f)?
False
Suppose 4*a - 6*a = -10. Suppose a*h = m - 6*m + 400, -h + 2 = 0. Is m a multiple of 26?
True
Let s be (-1654)/12 - (-3)/(-18). Does 20 divide (s/18)/(1/(-3))?
False
Let b(i) = -i**3 - 8*i**2 + 8*i + 4. Let s be 60/(-8) + (-6)/4. Is b(s) a multiple of 13?
True
Let f(k) = k**2 - 3*k + 3. Let h be f(3). Suppose 0 = h*d - 10 - 44. Is 12 a factor of d?
False
Let m = -47 + 15. Let v = -118 + 72. Let o = m - v. Does 7 divide o?
T