e -4*g = 4*q + 184, k*q + 39 = -g - 9. Let o = -29 - g. Is o a multiple of 15?
True
Suppose 4*i - 5*v - 88 = 42, 5*i = -2*v + 179. Suppose 0 = -3*f + i - 11. Is -4*(-2 + (-38)/f) a multiple of 27?
True
Does 15 divide (-3 - -2)*2*-27?
False
Let s = -11 + 7. Is 8 a factor of (-62)/s + (-4)/(-8)?
True
Let l(k) = 7*k**2 + k - 1. Let h be l(1). Let q = h + -3. Is 6 a factor of q/(-18) - 56/(-9)?
True
Suppose 0 = 5*a - 4*r - 128, -r = 2*a - 2*r - 50. Is a a multiple of 23?
False
Let g = 154 + -41. Suppose 3*z - 5*s = g, 4*z + 39 = 5*s + 193. Does 14 divide z?
False
Suppose 4*l = -2 + 10. Is (l - -1) + 2 + 12 a multiple of 15?
False
Is 10 a factor of 3/(-6)*-4 + 8?
True
Suppose 5*w + v = 5, -2*w - 20 = -5*v + v. Let k be -3 + w + -5 + 58. Suppose 4*r - 3*x - 89 = 0, -4*r + k = -2*r + 4*x. Is 8 a factor of r?
False
Does 13 divide ((-26)/6)/(9/(-54))?
True
Suppose -3*q - m = 0, -4*m + 8 = -0*q + 4*q. Let a = 3 - q. Suppose a*v + 27 = 7*v. Is v a multiple of 4?
False
Let n = -8 + 11. Does 2 divide 9/(((-9)/(-3))/n)?
False
Let x = -33 - -48. Let d = x - -9. Does 6 divide d?
True
Suppose 2*w + 2*x - 154 = -2*w, -4*w + 5*x + 175 = 0. Is 8 a factor of w?
True
Let j(d) = 7*d**3 + d**2 - 1. Let c be j(-1). Let f(u) = -12*u - 9. Is 29 a factor of f(c)?
False
Let a(k) = -k - 4. Suppose -3*d = d. Suppose d = -2*w + g - 13, 3*w = 4*g + g - 9. Does 4 divide a(w)?
True
Suppose -2*u + 5*u - 480 = 0. Is 8 a factor of u?
True
Let s be ((-6)/(-8))/((-5)/(-20)). Suppose -s*m + 0 + 9 = 0. Suppose -m*j = j - 80. Does 20 divide j?
True
Is (-350)/(-8) + 12/(-16) a multiple of 19?
False
Let z be 30/4 - 2/(-4). Let u = z - 7. Is 0 - 2 - (-5 - u) a multiple of 3?
False
Let x(z) = -4*z - 5*z + 4 - 6 - 4 + 7*z**2 + z**3. Let j be x(-8). Suppose 4 - 36 = -j*v. Does 8 divide v?
True
Let a = 4 + -1. Suppose -5*b - 4 = -2*n - b, 0 = 4*n + a*b + 47. Let g = n - -13. Is g a multiple of 4?
False
Suppose 5*f + 54 = 19. Let k(h) = 4*h + 7. Let b(y) = -7*y - 15. Let l(g) = -3*b(g) - 5*k(g). Is 3 a factor of l(f)?
True
Suppose -21 - 41 = -r. Does 31 divide r?
True
Let x = -112 - -180. Suppose 5*q - 10 = 0, -2*u + x = -0*u + 3*q. Does 9 divide u?
False
Suppose -29 = -3*h - 4*x, 0*x = -5*h + x + 10. Suppose 0 = h*c + 10 - 22. Is c a multiple of 2?
True
Let a be (1/(-3))/(1/(-6)). Suppose 0 = -4*y - a + 22. Suppose 3*p - 8 = 5*d, 6*d - 49 = -4*p + y*d. Does 10 divide p?
False
Suppose d - 3 = -0*d. Let p(t) = -6*t + 3*t - d*t. Does 10 divide p(-4)?
False
Let m = 6 + 42. Is 12 a factor of m?
True
Is 12 a factor of (-24)/32*(4 + -140)?
False
Let z = 11 - 1. Let a(f) = f**3 - 2*f**2 + 2. Let v be a(2). Is (42/15)/(v/z) a multiple of 7?
True
Suppose 0 = -3*y - 8 - 10. Suppose -5*c - 4*j + 175 = 0, -44 = -2*c + c + j. Is 13 a factor of c/((-9)/y + 0)?
True
Let b(j) = j - 7. Let q be b(4). Is (-3)/(3/14)*q a multiple of 12?
False
Suppose 2*k = 4*k - 172. Is k a multiple of 43?
True
Let p(q) = 50*q - 2. Does 14 divide p(1)?
False
Suppose -9*z + 142 = -2. Is z a multiple of 4?
True
Let l(s) be the first derivative of 7*s - 3/2*s**2 - 2. Is 14 a factor of l(-7)?
True
Suppose 4*q + 80 = 9*q. Let g = q - -32. Does 21 divide g?
False
Suppose d - 12 = -d. Is 50/6 - 2/d a multiple of 4?
True
Let i(x) = 13*x + 6. Does 21 divide i(6)?
True
Let z(s) be the third derivative of s**5/60 - s**4/8 - 8*s**3/3 + 9*s**2. Is 12 a factor of z(7)?
True
Suppose 101 = 6*j - 13. Is 7 a factor of j?
False
Let u(f) = f**3 + 3*f**2 - f - 1. Let r be u(-3). Let n = 7 - 5. Suppose t = n*t + r*j - 22, -2 = -j. Is 9 a factor of t?
True
Let l be -2*1*(1 + 1). Let h = l + -4. Let f(c) = -5*c - 7. Is f(h) a multiple of 12?
False
Let y = 161 + -98. Does 15 divide y?
False
Suppose 69 = 16*q - 923. Is 10 a factor of q?
False
Suppose 2*r + 2*r - 160 = 4*l, -r + 48 = l. Does 22 divide r?
True
Suppose -2*n = -1 - 11. Let v(o) = -o**3 + 7*o**2 + 6*o - 7. Is v(n) a multiple of 19?
False
Let b(r) = -74*r**2. Let n(m) = -m**2. Let d(z) = b(z) - 222*n(z). Let k be d(1). Suppose c + 4*c - k = -2*j, 5*j = 4*c - 125. Is c a multiple of 15?
True
Let i(w) = 16*w + 1. Let h be (-1)/3 + 12/9. Is 7 a factor of i(h)?
False
Let w(h) = h**2. Let d(z) be the second derivative of z**4/4 + 7*z**3/6 - z**2 + 2*z. Let j(x) = d(x) - 4*w(x). Is j(6) a multiple of 4?
True
Suppose 5 = -2*h + 17. Let n = h - -59. Suppose -92 = -5*r + 4*m, -4*m + n = 5*r + m. Is 16 a factor of r?
True
Let v(q) = -2*q**3 + 2*q**2 - 1. Let i be v(-1). Suppose -48 = x - i*x. Is 8 a factor of x?
True
Suppose h = -0*h - m - 11, -5*h - 46 = -4*m. Let p be (-564)/15 - (-4)/h. Let n = p + 66. Is 18 a factor of n?
False
Let v = 8 - -7. Is 5 a factor of v?
True
Suppose 3*g - 2*g = -v + 52, -6 = -3*g. Does 20 divide v?
False
Suppose -3*q + 18 = -9. Let k(u) = u - 2. Let a be k(8). Suppose x = a + q. Is 15 a factor of x?
True
Let q(i) = -i**3 - 6*i**2 - 6*i - 5. Let x be q(-5). Suppose x = -6*z + z + 170. Is z a multiple of 17?
True
Suppose 2*u + 4*r + 45 + 63 = 0, r - 83 = 2*u. Let p = -29 - u. Does 15 divide p?
True
Let h be -1 - 0 - (0 - 1). Suppose b = 3 - 2, h = -5*s + 5*b - 15. Is 12 a factor of s/(1 - -1) - -13?
True
Let z(u) = u**2 - 5*u. Let r be z(6). Let f be r/(-5)*80/(-24). Is 10 a factor of 2/f + (-41)/(-2)?
False
Suppose -17 - 3 = 4*n. Let q be (6 - (n - -3))/2. Is 24/10*10/q a multiple of 6?
True
Suppose -12 = 3*f, c + 5*f - 16 = -133. Let u = -67 - c. Suppose v + 2*m = u, 3*v - 7*v = -5*m - 120. Does 13 divide v?
False
Suppose 3*f + f = -2*a + 922, -a = 3*f - 693. Suppose -f = 3*p + n, 178 = -p - p + 4*n. Let x = -34 - p. Is x a multiple of 17?
False
Let m = 11 - 8. Is 16 a factor of m*(3 + (-23)/(-3))?
True
Let r(f) = -2*f + 11. Is 16 a factor of r(-16)?
False
Let f = 33 + -8. Is f a multiple of 14?
False
Suppose -45 = -3*l + 5*z + 46, l - 3*z = 33. Is l a multiple of 8?
False
Let w(n) = -n + 8. Let a be w(6). Suppose 2*z = -h + 21, 3*z = -a*z - h + 51. Is z a multiple of 3?
False
Let p = 18 + -15. Suppose p*d + j - 157 = -0*d, 0 = 5*d + 4*j - 250. Does 9 divide d?
True
Suppose 0 = -4*o - h + 3*h + 188, -3*h = -2*o + 98. Is o a multiple of 23?
True
Let t be ((-7)/2)/((-1)/14). Suppose -t + 159 = 5*s. Let c = -6 + s. Does 8 divide c?
True
Let t(x) = x - 1. Let f(m) = -4*m + 1. Let d(w) = f(w) - t(w). Does 18 divide d(-7)?
False
Let d(g) = -g**2 - 9*g - 6. Suppose 4*c + 8 = 2*o - 0, 5*o + c = -35. Is d(o) a multiple of 4?
True
Let t(f) = -44 + 6*f - 20*f + 6. Let m(l) = -9*l - 25. Let p(c) = -8*m(c) + 5*t(c). Is 15 a factor of p(10)?
True
Let a(r) be the third derivative of r**5/60 - r**3/3 + 7*r**2. Suppose -2*f + 3*h + 27 = f, -5*f - 5*h - 5 = 0. Does 5 divide a(f)?
False
Let a = -7 + 11. Let q be ((-1)/a - 1)*-4. Let i = q + 9. Is i a multiple of 14?
True
Does 5 divide ((-100)/30)/((-2)/9)?
True
Is 123/12 + 2/(-8) a multiple of 5?
True
Let g be 10/(-3)*12/(-10). Suppose -8 = -g*h - y - y, 4*h + 4*y - 16 = 0. Suppose h*t + 36 = t. Is 18 a factor of t?
True
Suppose 14 + 1 = 5*w. Let m = w + -3. Suppose m = -q + 5*k + 13, 0 = -q - q + k + 35. Is 14 a factor of q?
False
Let x = -70 + 121. Is 9 a factor of x?
False
Let i(g) = -19*g**3 - 2*g - 1. Let p be i(-1). Suppose 6*r - r = p. Let o(j) = j**2 - 2*j + 5. Is 5 a factor of o(r)?
False
Let h(w) = -w**2 - 6*w + 3. Let p be h(-6). Suppose 0*m = -p*m. Suppose z - 5 = n - 11, 4*n + 2*z - 48 = m. Does 4 divide n?
False
Let u = -87 + 126. Is u a multiple of 19?
False
Let y be 40*(6 - (-9)/(-3)). Suppose s + s - y = 0. Does 20 divide s?
True
Let z be 104/28 - 2/(-7). Suppose -z*v + v = -51. Let i = v + -2. Is i a multiple of 6?
False
Let r be 2 + -1*3 - -164. Suppose 5*d = -r - 12. Let l = d - -58. Is l a multiple of 11?
False
Suppose 3*t = 4*d + 48, 3*t = 12 - 0. Let q be (-1)/((-1)/d - 0). Does 2 divide 58/18 + 2/q?
False
Let g(i) = -149*i**3 + 2*i**2 + i. Let a be g(-1). Suppose -2*z = -7*z + a. Suppose 5*f - 105 = -z. Is f a multiple of 7?
False
Suppose a - 1 = -2*x - 0*a, -17 = -x + 5*a. Let p = x - 3. Let z = 3 + p. Does 2 divide z?
True
Let t = 25 + -12. Is 7 a factor of t?
False
Let w = 81 - 60. Does 8 divide w?
False
Let j(z) = -9*z - 9. Is j(-9) a multiple of 24?
True
Suppose 0 = 2*t + t. Suppose t = -4*i - i. Suppose -z - 4*w + 6 = z, -4*z + w + 30 = i. Does 7 divide z?
True
Let t = 757 - 539. Is t a multiple of 13?
Fals