= 2*u, -u + 10 = -2*x. Let h be 1/x + (-2)/(-8). Suppose 2*f = m - h*f - 32, 2*m - 64 = 5*f. Is m a multiple of 16?
True
Let y(o) = 6*o + 22. Let x be y(-10). Let v = -20 - x. Is 9 a factor of v?
True
Let k(i) = -2*i. Let g be k(-3). Is (-8)/(-12)*513/g a multiple of 15?
False
Suppose -v + 8 + 4 = 0. Suppose 2*m - 6 = 2*s + 2, 3*s + v = 2*m. Suppose 5*z - 101 - 64 = m. Is z a multiple of 14?
False
Let m be (308/21)/((-2)/(-3)). Suppose h = -8 + m. Is 5 a factor of h?
False
Suppose -5*k + 5*g + 906 = -219, 4*k = -4*g + 868. Is 17 a factor of k?
True
Let l(d) = 20*d - 2. Let f(o) = o - 9. Let g be f(11). Let x be l(g). Suppose -3*m = 0, 0*y - 3*m - x = -2*y. Is 8 a factor of y?
False
Suppose 2*f - 5*j - 135 = -3*f, -3*f = j - 89. Suppose -c + 3*y = -f, -c - 5*y + 85 = 4*c. Is 5 a factor of c?
True
Is 17 a factor of (32/(-40))/((-2)/170)?
True
Suppose -2 = 3*b + 1. Is b - -2 - 1 - -51 a multiple of 17?
True
Is 18 a factor of (-186)/(-2 - 0/(-1))?
False
Let m = -39 - -38. Suppose -j - 15 = 2*j, -14 = 4*k - 2*j. Does 18 divide (-215)/k + m/(-6)?
True
Suppose 3*h + 3 = 3*g, -g - 2*g = -4*h - 9. Let r be 0*(-3)/h - -3. Suppose -x + r + 13 = 0. Does 13 divide x?
False
Let y(f) = -f**2 - 8*f - 3. Let t be y(-7). Let m be (3 - t)/(1/(-14)). Suppose -2*w - 4*l + 54 = -m, -w = -5*l - 13. Does 14 divide w?
True
Suppose 0 = -11*w + 945 + 320. Is 23 a factor of w?
True
Let w(i) = i**3 + 6*i**2 + 3*i + 1. Does 3 divide w(-5)?
False
Suppose 6*g - 2*g - 84 = 0. Let a = g + -15. Does 15 divide 30/(-4)*a/(-3)?
True
Let z(x) = -14*x**3 + 3*x**2 + x - 2. Is 40 a factor of z(-2)?
True
Suppose -3*k = 2*k + 5. Does 14 divide 3/6*(105 - k)?
False
Let r = -6 + 9. Let m be 4/3*r/2. Suppose 0 = 2*d + m*f - 4*f - 26, -d + 9 = f. Is d a multiple of 9?
False
Suppose 39 = -a - 9. Is 14 a factor of (8/3)/((-4)/a)?
False
Let u(g) = 3*g**3 - 10*g**2 + 7*g - 6. Is u(6) a multiple of 54?
True
Let x(d) = -d + 14. Let u be x(10). Is 15/u + 6/24 even?
True
Let y(l) = l**2 - 11*l + 12. Let f be y(8). Does 10 divide ((-45)/f)/(3/24)?
True
Suppose 2*v = 4*v + 10. Is 13 a factor of 52/v*1*-5?
True
Let q be ((-8)/(-20))/((-1)/20). Let z = q + 6. Is (0 - 2)/(z/24) a multiple of 12?
True
Suppose -2*n + 126 = n. Does 8 divide n?
False
Is 14/(1/4*2) a multiple of 14?
True
Suppose 3*m + 75 = -2*m. Let i(c) = -c**2 - 8*c + 2. Let o be i(-8). Is (o - (-7)/(-3))*m a multiple of 2?
False
Suppose 0 = -4*o + 4*y + 84, -4*y - 68 = -3*o - 0*o. Suppose p + o = 2*p. Is 8 a factor of p?
True
Let l(a) = -a**3 + 12*a**2 + 4*a + 12. Let o be l(11). Suppose -4*i - 5*j + 147 = 0, -4*i + o = -0*i - j. Is i a multiple of 13?
False
Let b = 11 - 15. Is (-10)/(((-6)/b)/(-3)) a multiple of 20?
True
Let l = -96 - -134. Suppose 0*j = 2*j - l. Is 7 a factor of j?
False
Does 6 divide ((-4)/5)/((-19)/((-2850)/(-4)))?
True
Does 16 divide (-6)/(((-99)/336)/11)?
True
Let x(h) = -8*h - 16. Let i be x(-9). Is i/3 + 6/18 a multiple of 4?
False
Let w = 11 - 6. Suppose -3*b + w*b = 24. Suppose 0 = -3*p - 0 + b. Does 2 divide p?
True
Suppose -5*c + 6 = -9. Suppose -5*w + 15 = 0, -c*z = -2*z - w - 30. Does 15 divide z?
False
Let h be 33*(-1 + -2)/(-3). Suppose h = 4*s - 35. Does 5 divide s?
False
Suppose 3*o + 4 = 22. Suppose o*n - 236 = 2*n. Suppose -6 = -5*u + n. Is u a multiple of 13?
True
Let m(x) = 13*x**2 + 1. Let a be m(-1). Let q = a - -7. Is 7 a factor of q?
True
Is (-2 + 1)*543/(-5 - -2) a multiple of 51?
False
Suppose 2*k = 7*k - 140. Is 13 a factor of k?
False
Is (-8 - -7)/((-3)/501) a multiple of 34?
False
Let s = -73 + 143. Is 19 a factor of s?
False
Let w = 5 + -2. Suppose -z - 3*y + 6 = -2, 0 = -w*z + 5*y + 10. Suppose -3*g - 33 = -3*t - 0*g, -g = z. Is t a multiple of 4?
False
Let s(q) = -q**2 + 8*q - 7. Is s(6) a multiple of 5?
True
Let w be 12/(-10)*5/(-2). Suppose 2*v - 30 = -4*x, w*v - 4*x - 22 = 3. Is v a multiple of 8?
False
Suppose 4*h - 250 = -5*a, -4*h = -h - 5*a - 170. Is h a multiple of 5?
True
Let m(o) = -o**3 + o**2 + 9. Let z be 3 + (-3 - (-5 + 1)). Suppose -d = -3*f + 4*d + 10, 0 = -z*d - 8. Is 4 a factor of m(f)?
False
Let j be ((-1)/(-2))/((-1)/2). Let g be (-21)/9 + j/(-3). Is 3 a factor of (g/6)/((-1)/12)?
False
Suppose -5*a = c + 42, 13 + 13 = -3*a - c. Let k(z) be the first derivative of -2*z**2 + 5*z - 1. Is 13 a factor of k(a)?
False
Let q = -6 + 5. Does 12 divide ((-52)/(-2))/(q + 3)?
False
Let q(b) = b**3 + 5*b**2 - 7*b - 4. Suppose 0 = -3*o + 4 + 14. Let p be ((-3)/o)/(2/24). Is q(p) a multiple of 2?
True
Suppose -2*x = -0*x. Suppose x*a = -a + 12. Is a a multiple of 6?
True
Let l(w) = w**2 - w + 3. Let x be l(0). Suppose 4*p + i - 19 = 0, -5*p + 5 + 10 = x*i. Is p a multiple of 3?
True
Suppose 5*w = -2*i + 15, -6*w + w + i = -15. Suppose x = w*x - 112. Is x a multiple of 17?
False
Suppose -3*j - 4*a = 17, 4*j + 32 = -0*a - 3*a. Let y be (j - (-3 - -6))/(-2). Suppose 0 = -3*k + y*k - 144. Does 13 divide k?
False
Let z = -4 + 10. Does 10 divide (z - (-1 + 1))*6?
False
Let y(n) = -n + 24. Let i be y(10). Suppose -i = -5*m + 6, m = l - 1. Is l even?
False
Let n(v) = -v + 1. Let o(f) = -2*f + 2. Let l(m) = 14*n(m) - 6*o(m). Is l(-8) a multiple of 18?
True
Let m be -1 - -2 - (4 + -6). Suppose -5*z - 3*d - d = -60, 0 = -m*d. Is z a multiple of 12?
True
Let r(b) = -2*b**3 - 3*b**2 - 3*b - 1. Does 3 divide r(-2)?
True
Suppose 0 = 4*v + 2*q - 56, 0*v + 5*q = -5*v + 75. Let f = 43 - v. Does 11 divide f?
False
Let y(q) = q**2 - 9*q + 13. Let p be y(11). Let w(l) = 3*l**3 - l**2 + 1. Let r be w(2). Suppose -r = -2*z + p. Is z a multiple of 10?
False
Let b = -6 + -1. Let s be 12/(-42) - (-187)/b. Is 2 - (1 + 0) - s a multiple of 14?
True
Suppose 0*a - 8*a + 632 = 0. Suppose -5 = -4*m + a. Is 7 a factor of m?
True
Suppose -54 = -3*a + 3*f, 0*a - 2*f + 16 = 2*a. Is 4 a factor of a?
False
Let h = -86 + 152. Is 24 a factor of h?
False
Let f be (0 + -46 + 2)*2. Let k = -58 - f. Is k a multiple of 10?
True
Suppose 3*f = -f - z + 43, -20 = 4*z. Suppose f = 4*u - 4. Suppose u*s = 3*n - 5*n + 66, -3*s = -5*n - 30. Is s a multiple of 15?
True
Let i be 171/6 + (-2)/(-4). Let w = i - -2. Is w a multiple of 15?
False
Let f = -20 - -25. Does 5 divide f?
True
Let b(d) = -5*d + 13. Let y(g) = -g + 1. Let u(w) = b(w) - 6*y(w). Does 7 divide u(0)?
True
Let d = -5 + 9. Let i(z) = -10*z + 6. Let n be i(-10). Suppose -d*c = -2*o - 176, -3*c + 5*o + 26 + n = 0. Is 16 a factor of c?
False
Suppose -2*u - 31 = -3*l, -3*u + 36 = -2*l + 5*l. Is -1*l*(0 - 1) a multiple of 5?
False
Let o = 409 - 193. Is o a multiple of 18?
True
Suppose 54 + 26 = 4*x. Is 10 a factor of x?
True
Let v = -112 + 72. Let d = v + 67. Does 9 divide d?
True
Let o(d) = d**2 + 7*d - 25. Is o(3) a multiple of 2?
False
Let z = 18 + -26. Is 13/3 + z/(-12) a multiple of 5?
True
Let n(l) = l**3 + l**2 + 8. Let x(a) = -a**2 + 8*a + 9. Let b be x(9). Is n(b) a multiple of 8?
True
Let o(b) = -b**3 - 4*b**2 - 5*b + 3. Let f = -12 + 7. Is 26 a factor of o(f)?
False
Suppose -j + c = 39, -4*j = -2*c - 3*c + 160. Let r = j - 17. Does 13 divide (r/10)/(3/(-15))?
True
Let h(u) = -17*u - 3. Let m be h(-3). Suppose 3*b + 3*p = m, 9*p - 4*p = b - 10. Is 15 a factor of b?
True
Suppose -41 - 2 = -3*d + x, -4*d + 2*x = -58. Is (7/d)/(2/56) a multiple of 3?
False
Let p = -217 - -377. Is 16 a factor of p?
True
Suppose -3 = 2*s - 3*s. Let d be (0 - -3)/s - 8. Is 11 a factor of (-208)/d - 4/(-14)?
False
Let t = 14 - 12. Suppose 3*l + t*h = h + 16, -2*l + 2*h = 0. Is l a multiple of 2?
True
Let q(j) = -j**3 + 8*j**2 - 5*j - 7. Let h = 9 + -3. Is q(h) a multiple of 11?
False
Suppose 4*t - 15 = -t. Suppose 0 = -t*a + 2*a + 20. Does 10 divide a?
True
Let v(z) = -z - 2*z**2 + 2*z - 3*z + 0*z**2 - 7*z**3. Is v(-2) a multiple of 12?
False
Let x be 6/(-10) + (-36)/(-10). Let o be 0/(x - 1)*1. Suppose o = 2*p - 0 - 8. Does 4 divide p?
True
Suppose l + 10 = 2*l. Is l a multiple of 3?
False
Does 23 divide (-23793)/(-273) - (30/26 - 1)?
False
Suppose -3 - 41 = -2*t - 3*u, -3*u + 12 = 0. Let k = 29 - t. Is 13 a factor of k?
True
Suppose 4*t = -5*l + t + 469, -3*l - 4*t = -288. Is 19 a factor of l?
False
Let b = -25 - -35. Does 5 divide b?
True
Let o = -16 + 106. Is o a multiple of 26?
False
Suppose t = -1 - 3, -5*x - t + 146 = 0. Is 5 a factor of (x/(-9))/((-4)/24)?
True
Let z = -159 - -4