, -a*w = -3*v - 125. Let l = w + -7. Is l a multiple of 11?
True
Let x = 4 + -1. Suppose -x*i - 4*n = -38, -2*i + 0*n - n + 22 = 0. Is i a multiple of 5?
True
Suppose -3*b = b - 8. Suppose 3*x = d + 7, -d = 4*d - 2*x - 17. Suppose 4*y - 75 = -d*s, 5*y + s - 72 = b*s. Is y a multiple of 5?
True
Let v(q) = -q + 7. Let s be v(5). Suppose 5*g = 5*i, -6 = 2*g - s*i + 6*i. Let b(d) = -12*d - 1. Is b(g) a multiple of 11?
True
Let q = -131 + 184. Is q a multiple of 6?
False
Let w(r) = 3*r**2 + r + 5. Let m be w(-10). Is 15 a factor of m/20 + (-1)/(-4)?
True
Let c = -11 + 11. Suppose -4*s + 3*s + 21 = c. Is s a multiple of 11?
False
Let p(o) = o**3 + 8*o**2 + 5*o - 1. Let k be p(-6). Let r = -17 + k. Does 8 divide r?
True
Let l be 1*3 + (8 - 9). Does 14 divide 66/(1 + l) + 0?
False
Suppose -3*j + 8 = -j. Let g = 9 + j. Let z = g + -8. Is z a multiple of 2?
False
Suppose -4*h - 9 = -7*h. Suppose 145 = h*j + 2*j. Is 14 a factor of j?
False
Let w(h) = 2*h**3 - 5*h**2 + 5*h - 2. Let f be w(4). Suppose -2*a + 0*x = 4*x - 32, -4*x - f = -5*a. Suppose 2*l - a = l. Is l a multiple of 8?
False
Suppose 0 = x + 4*x - 240. Does 6 divide x?
True
Let r(u) = 2*u**2 - 4*u. Suppose 4*j = -0*j - 8, g + j = 0. Suppose g*m + z = -z, 2*m = 4*z + 24. Is 16 a factor of r(m)?
True
Suppose 233 = 5*k + 4*u, -5*u + 9 = -1. Is k a multiple of 9?
True
Let a = 4 + 1. Is (15/a)/(6/52) a multiple of 20?
False
Let v(c) = -23*c**3 + c**2 + 2*c + 1. Is 23 a factor of v(-1)?
True
Let j be 6*1*(-9)/2. Let k = -42 - j. Let m = k + 25. Is 4 a factor of m?
False
Let l(w) = 4*w**2 - w - 1. Let r be l(-1). Is 6 a factor of 23*(-3)/(-12)*r?
False
Let a = 33 + -28. Is 4 a factor of a?
False
Let o = -3 + 7. Suppose -o*n = -2*k + 80, 0 = 3*k + 2*n - 145 + 25. Is 20 a factor of k?
True
Let u(j) be the first derivative of j**3/3 + 2*j**2 - 6*j - 6. Is 13 a factor of u(5)?
True
Let p = -10 - -22. Is 4 a factor of p?
True
Let z(c) = 8*c. Let j(w) = w**2 + 8*w + 10. Let h be j(-7). Is z(h) a multiple of 5?
False
Suppose -2*b - 5*l = -82 - 87, -5*b - 2*l = -454. Is b a multiple of 11?
False
Let f(p) be the third derivative of 5*p**5/12 - p**3/6 - p**2. Suppose s = 2*s - 2, 0 = -a - 4*s + 7. Does 12 divide f(a)?
True
Does 2 divide 1/2 + 1 - 2/(-4)?
True
Let b be (6/12)/(2/8). Suppose b*y + 0*y - 52 = -2*l, y = 4*l - 119. Suppose 0 = v - 5*d - 9 - 2, -5*v - d + l = 0. Is 3 a factor of v?
True
Let w(r) be the second derivative of -63*r**5/20 + r**4/12 - r**2/2 - 2*r. Let h be w(-1). Suppose 3*k - h - 21 = 0. Does 15 divide k?
False
Let j be ((-1)/(-3))/((-6)/(-54)). Suppose -j*q + 7 + 17 = 0. Is q a multiple of 6?
False
Let s be (-5 - -4 - 2)*11. Let c = -10 - s. Is 5 a factor of c?
False
Let m(r) = r**3 - 4*r**2 - 4*r - 12. Let v be m(5). Let i(h) be the third derivative of -5*h**4/24 + h**3/6 - 2*h**2. Is i(v) a multiple of 18?
True
Let m(v) = 4*v**2 - v - 2. Let c be m(3). Suppose 5*r + 5*s - 55 = 3*r, c = 2*r - 3*s. Is 10 a factor of r?
True
Suppose 0 = -n + 5*d - 11 + 1, -5*n = -2*d + 4. Let f be 2/(1/(9/6)). Suppose n = f*y - 36 - 72. Is 16 a factor of y?
False
Let w = 36 - 13. Suppose -k + w + 33 = 0. Does 28 divide k?
True
Let q(l) = -l - 2. Let s be q(-6). Let u(k) = -8*k + s*k - 2 - 1 + 4. Does 9 divide u(-2)?
True
Let w(g) = 2*g**2 + 6*g - 7. Let o be w(-7). Suppose -y = 8*y - 828. Let f = y - o. Does 11 divide f?
False
Suppose 7*g + 1580 = 11*g. Suppose d + g = 6*d - 5*z, -6 = -3*z. Is 14 a factor of d?
False
Suppose 0 = -3*c + 28 - 7. Suppose 7 = -2*i - c. Does 7 divide i/((1/(-1))/1)?
True
Let y(l) = -11*l**3 + l**2 + l + 2. Is y(-2) a multiple of 23?
True
Let x(q) = q**2 + 7*q - 23. Is x(3) a multiple of 3?
False
Let p be 5*(3 + -11)/(-1). Let r = p - 20. Is r a multiple of 20?
True
Suppose -4*b - 4*r - 24 = 0, -b = b - 5*r - 2. Let y = b + 21. Is y a multiple of 8?
False
Suppose -3*a - 8*z + 4*z + 78 = 0, 15 = 5*z. Let l = a + 0. Does 11 divide l?
True
Suppose 156 + 9 = 5*m - 5*o, m - 2*o - 36 = 0. Is 7 a factor of m?
False
Let d = 33 - 23. Is 15 a factor of 244/d - 2/5?
False
Suppose 2*t = 5*t. Suppose 4*j + 23 - 67 = t. Is 7 a factor of j?
False
Suppose -2*c = -3 + 1. Is 82/4 - c/2 a multiple of 10?
True
Let y = -1 + 6. Suppose y*x - 15 = -0. Suppose 2*c + x*m = 5, -c - 50 = -5*c + 2*m. Is 10 a factor of c?
True
Suppose -6*d + 147 = -273. Does 11 divide d?
False
Let y(v) = -2*v + 1. Let a(i) = -i**3 + 4*i**2 - 4*i + 4. Let r be a(3). Let w be y(r). Is 18 a factor of 1 + (20 + w - 0)?
False
Is -1 - 30*(-3)/6 even?
True
Suppose -60 = z + z. Suppose 4*n + 84 = 36. Let x = n - z. Is 10 a factor of x?
False
Suppose 3*y + 13 = -z, -5*z + 0*z = y + 51. Let w(x) = -4*x + 10. Is w(z) a multiple of 13?
False
Let h = 1 + 2. Let z(p) = h*p**2 - p - 4*p - 4 + p**2 + p**3. Is z(-4) a multiple of 16?
True
Let w(r) = -r**3 - 6*r**2 - 6*r. Suppose 2*t = -2*t - 20. Let d be w(t). Suppose 0 = -d*a + 3*a + 90. Is 17 a factor of a?
False
Let h(i) = -i**3 + 11*i**2 - 10*i + 14. Let j = 5 + 0. Suppose -j*k + 3*v + 2*v = -70, -k + 3*v = -22. Is 11 a factor of h(k)?
False
Let z(w) = 18*w - 1. Let c(r) = -18*r + 1. Let j(v) = -2*c(v) - 3*z(v). Is j(-1) a multiple of 7?
False
Suppose -6 = 2*m - g, g = 3*m - 0*g + 10. Is (56/(-6))/(m/18) a multiple of 14?
True
Does 33 divide 1/1*(78 + -7)?
False
Let j(t) = -12*t - 2. Is 17 a factor of j(-3)?
True
Let t(i) = -2*i - 1. Let w be t(-4). Suppose -6*r = -r - 35. Let v = r + w. Does 7 divide v?
True
Suppose -4*n = 4*i - 36, 0*i + 2*n = 4*i - 12. Suppose 0 = -3*w + w - v + 51, i*v - 31 = -2*w. Is 14 a factor of w?
True
Let q be (-4)/(4/(-37)) + 1. Is q/4 - (-4)/(-8) a multiple of 3?
True
Suppose 4*h + 10 = -22. Let c = 16 - h. Is 9 a factor of c?
False
Let a(i) = i**2 - 2*i - 4. Let g be a(4). Let l = g + 21. Does 11 divide l?
False
Let h = 5 + -5. Does 13 divide 36 + 1 + 0 + h?
False
Let n(s) = 5*s**2 - 3*s - 2. Let d be n(4). Suppose d = w + w. Is 11 a factor of w?
True
Let u = -122 + 218. Is 8 a factor of u?
True
Is 12 a factor of 23 - 1/1 - (-40)/20?
True
Suppose -2*f = 5*r + 144, r + 2*f - 80 = 4*r. Does 3 divide r/(-3) - 24/18?
False
Let o = -4 - -14. Let i = 78 - o. Is i a multiple of 22?
False
Let g = -11 - -12. Does 10 divide g + (-2 - 20/(-1))?
False
Let t(q) = -11*q**2 + q + 2. Let k be t(-1). Let m(o) = o + 14. Is 2 a factor of m(k)?
True
Suppose -3*u = -5*x + 204, 0 = -4*u + 3*u + 2. Is 20 a factor of x?
False
Let x = 127 - 11. Does 29 divide x?
True
Suppose 5*j + 49 = 5*r + 14, 2*j - 5*r + 29 = 0. Let k be j + 3/((-6)/8). Is 9 a factor of 16/k*(-21)/4?
False
Let g(c) = c**2 - c - 4. Let i be g(0). Let n = i - -6. Is n a multiple of 2?
True
Let h(g) = -21*g + 1. Suppose -2*m + 10 = -0. Let p = -6 + m. Is h(p) a multiple of 20?
False
Let a be (-12)/((-3)/2*-1). Let j = -5 - a. Suppose j*u = -0*u + 60. Is 14 a factor of u?
False
Let d(h) = -h**2 + 4*h - 6. Let g be d(5). Let p(t) = 17*t**3 + 2*t**2 + 2*t + 1. Let n be p(-1). Let r = g - n. Is r even?
False
Let w(r) = -r**2 - 9*r - 6. Let d be w(-8). Suppose -7*i + d*i = -50. Is 6 a factor of i?
False
Let k(a) = 1 + 3*a - 11*a - 18*a. Let m be k(-2). Suppose -s = -4*p + p - 13, -2*p = -3*s + m. Is 10 a factor of s?
False
Let k(s) = 2*s**2 + 5*s + 21. Let l(b) = -b**2 - 3*b - 10. Let g(c) = -4*k(c) - 9*l(c). Let o be g(-6). Suppose o = 4*d - 38 - 70. Does 9 divide d?
True
Suppose 0 = -5*x + 34 + 11. Is x a multiple of 9?
True
Let x = 17 - 5. Is 6 a factor of x?
True
Let r(g) = 6*g - 2. Suppose 5*f - 15 = 0, 3*l + 3*f - 28 = -13. Is r(l) a multiple of 10?
True
Suppose 9 - 181 = -4*x. Let h = x + -16. Suppose 6*u = t + 2*u - 2, 0 = t + u - h. Is 22 a factor of t?
True
Let o(a) = -12*a + 4. Let l be o(-7). Suppose l = 3*d - 8. Suppose -d = -3*i + 1. Does 5 divide i?
False
Let w = -40 - -91. Is w a multiple of 16?
False
Let j(v) = -4*v**2 - 6*v + 10 - 7 - 4*v**3 + 3*v**3 - 4. Is j(-4) a multiple of 6?
False
Suppose -39 = -2*o + 5*k, 5*o - 5*k = 19 + 101. Suppose -2*b - 3 = -o. Is 5 a factor of b?
False
Suppose -5*n = 25, 0 = 2*r + n - 3*n - 86. Does 9 divide r?
False
Let o be 39 + (-9)/(36/(-8)). Suppose -o = -3*s - 2. Is 13 a factor of s?
True
Let p(i) = i**3 + 8*i**2 + 4*i - 1. Let s be 0/(-1) + 2*-3. Let r be p(s). Suppose 0 = 2*m - 37 - r. Does 14 divide m?
True
Let c be 3 - (6/(-3) + -31). Suppose 2*w - c = -