 0. Let h be (-2)/(-7) + 1701/q. Suppose -2*k = -13 - h. Does 13 divide k?
False
Let u(o) = 7*o - 6. Does 18 divide u(4)?
False
Let j(w) = 38*w - 6. Is j(3) a multiple of 18?
True
Suppose 7*i + 4*c = 2*i - 35, -26 = 2*i + 4*c. Let r be 3 + i + 2 + -27. Let s = 46 + r. Is 9 a factor of s?
False
Suppose 2*b = -6, -2*b = -2*s - b - 17. Let k(v) = v**3 + 11*v**2 + 10*v + 11. Is 7 a factor of k(s)?
False
Suppose 6 = -c - c. Let v(g) = 4*g**2 - g - 4. Is 9 a factor of v(c)?
False
Suppose -3*d = -4*c + 11, -4*d + 2*d = 2*c - 16. Suppose 0 = 5*a + c*h + 15, -9 = 2*a + h - 2*h. Does 12 divide (-149)/(-7) + a/14?
False
Suppose 0*n = 5*n - 290. Let m = n - -6. Is m a multiple of 18?
False
Let b = 237 + -141. Is 14 a factor of b?
False
Let j(r) = 13*r**2 + r + 1. Let u be j(-1). Let c = u - -4. Suppose 3*o - 41 = -c. Is o a multiple of 8?
True
Let r = 7 - 6. Let d(t) = 57*t + 1. Is 18 a factor of d(r)?
False
Suppose 5*d - 116 = -4*k + d, 0 = -5*d - 15. Does 15 divide k?
False
Suppose -276 = 5*u - 8*u. Does 7 divide u?
False
Let y be ((-54)/(-45))/(4/10). Suppose -2*m = -y*m + 20. Is 10 a factor of m?
True
Let f(n) = -6*n + 4. Is f(-4) a multiple of 14?
True
Let n(g) = -g**2 - 19*g - 25. Does 15 divide n(-14)?
True
Suppose 3*n - 75 = 3*j - 5*j, -5*n = -2*j + 115. Is 9 a factor of j?
True
Let n(m) = m**2 - 4*m - 2. Let l = 18 + -10. Is n(l) a multiple of 15?
True
Let t(n) = n**2 - 2*n - 1. Let r be t(3). Suppose r*x + 28 - 74 = 0. Is x a multiple of 12?
False
Let o = 4 + -2. Suppose j + 16 = o*j. Is j a multiple of 12?
False
Suppose 4*g = -3*s + 28, 2*g = 4*g + s - 14. Suppose 3*p - 4*y - 45 = -g*y, 5*p + y - 59 = 0. Does 4 divide p?
False
Let k be (-1)/4 + (-21)/(-4). Suppose -c + 5*c = k*u - 221, -115 = 2*c - u. Let d = 83 + c. Is d a multiple of 12?
True
Let s(p) = -5*p**3 + 2*p**2 + 2*p + 1. Let m be s(-2). Let i = 70 - m. Suppose -i = -3*r + 95. Is r a multiple of 20?
True
Let i(x) = -x**2 + 12*x + 9. Let l be (-10)/(-4) + (-8)/16. Suppose 4*a - 15 + 2 = -3*b, 3*b - 43 = l*a. Does 9 divide i(b)?
False
Let l be ((-8)/(-3))/((-2)/(-3)). Suppose 3*b - 3*t + 167 = 8*b, l*b = 3*t + 139. Is 11 a factor of b?
False
Let b(i) = 5*i**2 + 2*i + 5. Does 18 divide b(-6)?
False
Let x(h) = -h**3 - 8*h**2 + 4. Let c be x(-8). Suppose 2*p + 2*p = c*n - 12, -3*n = 4*p - 16. Suppose 0 = -k + n*k - 12. Is 3 a factor of k?
False
Does 20 divide (-3)/(-6)*6 - -32?
False
Let y(c) = -2*c - 5 + 3 + c - 2. Let b be y(-8). Suppose -191 = -5*n + b. Is n a multiple of 20?
False
Does 12 divide (-10)/15 + (-110)/(-3)?
True
Let c be 10/(2 - 0)*1. Suppose 2*b = 2*y - 1 - 1, 2*b - 5 = -5*y. Let o = c - y. Does 4 divide o?
True
Let u(v) = -4*v**2 + v + 1. Let b be u(-1). Let l = 75 - b. Does 28 divide l?
False
Let t = 196 + -39. Is 7 a factor of t?
False
Let b(g) = -g**2 - 9*g + 2. Suppose 2*m - 5*a + 29 = -5, -m + 3*a = 19. Does 13 divide b(m)?
False
Let k(b) = b**3 - 15*b**2 + 20*b - 14. Let p be k(14). Suppose 0 = 3*y + 7 - p. Does 7 divide y?
True
Suppose -939 = -5*u - 104. Is u a multiple of 16?
False
Let y(b) = -b**2 + 21*b - 10. Is 29 a factor of y(11)?
False
Let i = 14 + -12. Suppose -x - 2 + 17 = -i*u, -x = 2*u - 15. Is 15 a factor of x?
True
Let q(d) = -14*d + 120. Is q(-30) a multiple of 27?
True
Suppose -l - 3*n = 6 + 10, -55 = 3*l + 2*n. Let y = l + 31. Is 6 a factor of y?
True
Let w(r) be the first derivative of -r**2/2 - 6*r - 2. Let m be w(-5). Does 15 divide (1/m)/(1/(-15))?
True
Let q = 1 + -4. Let d(a) = 7*a**2 - 6*a - 6. Is d(q) a multiple of 25?
True
Let r(h) = h**3 - 9*h**2 + 13*h + 8. Is 9 a factor of r(8)?
False
Suppose -2*n - 5*j + 50 = 0, 0 = -2*n + 2*j - 6*j + 54. Let i = n + -17. Is i a multiple of 14?
False
Let w = 17 + -14. Suppose -w*t + 221 = -25. Is t a multiple of 14?
False
Let o(l) = -4*l**3 - l**2 - 1. Suppose -3*w - 25 = 5*v, v = -3*w - 6 + 1. Let g be (-1 + 3)/(v/5). Does 11 divide o(g)?
False
Does 7 divide (-15)/((-3)/(-4)*-2)?
False
Suppose 2*t + t + 3 = 2*w, 0 = w - t + 1. Let k = w - -4. Is (0 - k) + (-2)/(-1) even?
True
Suppose 0*h - 12 = -4*h. Suppose -3*a + 5 = -34. Suppose -a + 4 = -h*b. Does 3 divide b?
True
Suppose o = -x - 2, 12 = -4*x - 4. Suppose 3*m - 156 = o*z - 5*z, z = 4*m + 37. Let h = -26 + z. Is h a multiple of 16?
False
Suppose 4*n = -c + 99, -5*c = 5*n - 116 - 4. Does 6 divide n?
False
Suppose -5*j - 2*b = -323, b - 60 = -j - 4*b. Let m be (-1)/(-4)*(-5 + 9). Is m + 4/(4/j) a multiple of 22?
True
Let z(o) = o**2 + 11*o + 3. Let s be z(-8). Let y = s - -53. Is 16 a factor of y?
True
Let z(s) = -10*s. Let d be z(-5). Suppose d - 10 = 4*c. Is c a multiple of 10?
True
Suppose 4*g + 37 = 117. Does 10 divide g?
True
Let k = -8 + 8. Suppose k = 2*m - 2, -5*m = b - 2*m - 12. Is 3 a factor of b?
True
Let q(h) = 7*h + 3. Let b be q(-2). Let a(f) = 3*f**2 + 3*f + 4. Let c be a(3). Let n = c - b. Does 20 divide n?
False
Is 24 a factor of ((-384)/(-80))/((-2)/(-20))?
True
Let q(v) = 7*v - 14. Let b(h) = h. Let m(p) = 6*b(p) - q(p). Is 3 a factor of m(4)?
False
Let v = -99 + 141. Does 14 divide v?
True
Suppose 0*n = -4*n + 12. Let k be (n - 0)/(0 + 1). Suppose -35 = -k*u - 2*u. Is u a multiple of 5?
False
Let h(w) = -w**2 + 9*w + 4. Is 24 a factor of h(5)?
True
Let q(j) = j**3 - 3*j**2 - 2*j + 4. Suppose 24 = -0*l + 3*l. Let t = l + -4. Is 12 a factor of q(t)?
True
Let w(a) = a + 14. Let i be w(-12). Let s(b) = 7 + i + 0 + 7*b - b**2. Is 9 a factor of s(7)?
True
Let y = -10 - -7. Is 7 a factor of (-1)/y - (-40)/6?
True
Suppose 0 = -4*m - 3 - 5. Let v be (m - 10/(-4))*8. Suppose -6*q + 28 = -v*q. Is q a multiple of 14?
True
Suppose 0 = 3*o - 100 - 29. Does 25 divide o?
False
Let a = -74 + 122. Does 12 divide a?
True
Is 13 a factor of (-114)/(-6) - (1 - 0)?
False
Suppose 0 = -4*h - 0*c + c + 241, -4*c = 2*h - 116. Is h a multiple of 11?
False
Suppose 349 = 4*a - g, 2*a + g + 2*g = 171. Is 11 a factor of a?
False
Let v = 4 - 8. Let a = v + -2. Let m = a - -24. Does 8 divide m?
False
Let a = 76 - 49. Is a a multiple of 9?
True
Suppose -2*y = y + 12. Is (-106)/y - (-1)/2 a multiple of 9?
True
Let d(f) = f**2 + f - 25. Let s be d(-6). Let n(a) = 4*a - 4. Let m(x) = -x + 1. Let g(o) = 2*m(o) + n(o). Is g(s) a multiple of 4?
True
Let o(t) = t + 1. Let d be (-15)/(0/3 + -1). Suppose 0 = a - 4*a + d. Is o(a) a multiple of 3?
True
Let b(g) = g**2 - 11*g - 16. Does 17 divide b(-13)?
False
Suppose -30 = 3*c - 4*c. Suppose -153 = -5*u - 4*i, -2*i + c = u - i. Is 21 a factor of u?
False
Let q = 20 + -22. Is (-165)/22*q/3 a multiple of 5?
True
Let x(h) = -39*h**3 + 2*h**2 - 1. Is x(-1) a multiple of 10?
True
Let x be (-16)/(-10) - 8/(-20). Let h be 2*(-1)/2*x. Does 14 divide (-56)/(-10)*(h - -7)?
True
Let l(j) = -27*j + 15. Is l(-5) a multiple of 16?
False
Let q(s) = 9*s - 1. Let n be q(4). Let y = 15 - 5. Suppose -5*j = -y*j + n. Does 3 divide j?
False
Let i = -28 - -49. Does 14 divide i?
False
Let g(l) = 44*l. Let i be 4/18 + 20/(-9). Let s(v) = -2289*v. Let d(q) = i*s(q) - 105*g(q). Is d(-1) a multiple of 13?
False
Suppose 182 = -8*k + 1038. Is 10 a factor of k?
False
Let l(u) = 7*u**3 - 10*u**2 + 7*u - 1. Let m(y) = -3*y**3 + 5*y**2 - 3*y + 1. Let f(x) = -2*l(x) - 5*m(x). Does 2 divide f(5)?
True
Let w(o) = -o**3 - 11*o**2 - 11*o - 10. Let b be w(-10). Let y = b - -12. Is y a multiple of 4?
True
Let z be (-2)/4 - (-15)/(-10). Let v = 21 - z. Is v a multiple of 23?
True
Suppose 14*g - 9*g - 1615 = 0. Does 30 divide g?
False
Suppose -2*l = -2*i - i - 219, -i = l - 97. Let h be (-4)/8 + 561/6. Suppose -5*z = -l - h. Is z a multiple of 13?
True
Suppose 0 = 3*t - x + 94, 2*t + x = -61 + 5. Let s be (-2)/(-5) - 48/t. Suppose -15 = s*j - 55. Is j a multiple of 10?
True
Let z = -37 - -134. Let a = z - 44. Is a a multiple of 13?
False
Let x(r) = r**2 + 8*r - 6. Does 7 divide x(-10)?
True
Let i(f) = f**2 + 0*f**2 + 0*f + 0*f**2 - 1 - 3*f. Let n = -2 - -8. Is 5 a factor of i(n)?
False
Let y(m) = -2*m + 59. Is 8 a factor of y(0)?
False
Suppose -5 = -q - 21. Let b = 4 - q. Is b a multiple of 4?
True
Let x be (-18)/(-4)*(-16)/(-6). Suppose -4*b + 44 = 5*u + x, 4*b - 12 = 0. Suppose 2*q + 3*i - 1 + 0 = 0, -2*q - 2 = u*i. Is 3 a factor of q?
False
Let f = -5 + 0. Let z(n) = n**2 - n - 3. Let p be z(f). Let s = p - 12. Is 15 a factor of s?
True
Let y(w) = -w**2 + 14