t i be 2/(-4) + 6/(-12). Let u = 57 + i. Is u a multiple of 20?
False
Let d(k) = -32*k + 8. Let u be d(-6). Suppose 4*y + 5*v - 259 = 0, 6*v + u = 3*y + 4*v. Does 22 divide y?
True
Suppose -5*r + 37 = m, -m = -4*m + 2*r + 60. Let u = m + -15. Suppose 0 = u*d - 2*d - 45. Is 5 a factor of d?
False
Let n = 9 + 11. Suppose 2*b - 2*d = 3*d - 6, -4*b = -2*d - n. Is 7 a factor of b?
True
Let k(i) = 57*i + 1. Is k(1) a multiple of 7?
False
Let n be (-22)/(-3) + 2/3. Let m be 2/n - (-28)/16. Suppose 0 = m*u + u - 108. Does 12 divide u?
True
Let i(x) = 296*x**3 + x**2 - 2. Does 33 divide i(1)?
False
Let p(a) = -a**3 - 15*a**2 + 10*a - 17. Does 18 divide p(-16)?
False
Suppose p - 16 = -0. Does 7 divide p?
False
Let j(a) = -3*a - 13. Let p(s) = 3*s + 12. Let d(t) = 3*j(t) + 2*p(t). Is 3 a factor of d(-8)?
True
Let w = -43 - -63. Is 5 a factor of w?
True
Is 122/6 + 46/69 a multiple of 3?
True
Suppose -64 = -3*q - 2*d + 144, 0 = -4*d - 16. Does 12 divide q?
True
Suppose 2 = -3*q + 8. Suppose -1 = -4*s + 7*s - 2*a, -q*s + 2*a - 4 = 0. Let c = 17 - s. Does 7 divide c?
True
Suppose 0 = 2*o - 4*o - 6. Let f(b) = -3*b**3 + 21*b**2 + 3*b - 5. Let m(a) = 2*a**3 - 11*a**2 - a + 3. Let k(q) = 3*f(q) + 5*m(q). Is 21 a factor of k(o)?
False
Let t = 272 + -102. Suppose d + 4*d - t = -5*o, 0 = 5*d - 2*o - 184. Is d a multiple of 13?
False
Suppose 0 = -0*z - 4*z + 152. Is 19 a factor of z?
True
Let l(n) = 4*n - 1. Let h be l(1). Suppose -t + 5*f - 13 = -2*t, 4*t + h*f = 52. Is 5 a factor of t?
False
Suppose 4*u - g - 4 = u, 5*u = 2*g + 5. Let z(s) = -5*s**2 + s**u + 10 + 8*s**2 + 4*s**2. Is 10 a factor of z(-7)?
True
Suppose 5*p = -2*t - 6, 5*t + 0*p = -4*p + 19. Let y(j) = j**2 + 0*j**2 + 14 - t - 6*j. Is y(5) a multiple of 2?
True
Does 15 divide (-4)/(-18) + 5390/45?
True
Let q = -2 - -1. Let t(u) = -u**3 + 2*u**2 + u. Let i be t(q). Suppose -a + 22 = -s - 3*s, 2*a - 26 = i*s. Is a a multiple of 5?
True
Let o(k) = -2*k**2 - 5 + 6 + 3*k**2 + 7*k. Let p be o(-6). Let y(q) = -q**3 - 2*q**2 + 4*q - 7. Is 16 a factor of y(p)?
True
Suppose 2*d - 3*d = -238. Does 34 divide d?
True
Let r(f) = -87*f**2 - 3. Let t(h) = -58*h**2 - 2. Let k(x) = -5*r(x) + 8*t(x). Let i be k(-1). Let l = -20 - i. Does 5 divide l?
True
Suppose o + 4 = 4*t - 7, 2*t = -2*o + 28. Suppose -5*y + o = -1. Suppose -y*n + 38 = 3*c + 8, 3*c = 5*n - 96. Is 9 a factor of n?
True
Suppose -g - 100 = -5*u + 2*u, 5*u - 176 = -3*g. Does 17 divide u?
True
Let v(b) = b - 2. Let o be v(8). Let q(a) = a + 5 + 1 + 7 - o. Is 7 a factor of q(7)?
True
Let j(f) = -f**3 - 3*f**2 + 5*f - 1. Is 24 a factor of j(-5)?
True
Let y(f) = -f + 19. Let p(w) = 5*w**3 - 1. Let l be p(1). Suppose 8*d - l*d = 0. Is y(d) a multiple of 19?
True
Let b(m) = -2*m - 1. Let j be b(-3). Suppose -l - j*g = 2*l - 205, -g = -5*l + 295. Suppose 0 = -4*a + 2*a + l. Does 19 divide a?
False
Let z(c) = 9*c - 4. Suppose 0 = 3*o - 16 + 4. Is z(o) a multiple of 16?
True
Let a = -10 - -7. Let j = 16 - a. Is 19 a factor of j?
True
Let f be (-2 - (-14)/6)*9. Suppose -f = j - 0. Is (-18)/j + 2/(-2) a multiple of 5?
True
Let i(h) = 52*h + 1. Let m be i(1). Suppose -m + 17 = -d. Is 18 a factor of d?
True
Let n(s) = -3*s + 3*s**2 - 3 - 2*s**2 - 1. Let q be n(4). Does 14 divide (3 - q) + (-1 - -12)?
True
Let s(d) = -15*d - 3. Let z(o) = 23*o + 5. Let h(l) = 7*s(l) + 5*z(l). Is h(4) a multiple of 11?
True
Let h(l) = 10*l - 7*l - 9*l - 3. Is h(-2) a multiple of 9?
True
Does 53 divide 1*301 - (-5 - -5)*1?
False
Suppose 9 = 4*s + 1. Let x be (-1)/3 + (-20)/(-6). Suppose -3*j - s*p + 78 = -0*j, 3*p + 93 = x*j. Is j a multiple of 14?
True
Suppose 3*a + 15 = 0, -4*a = w - 0*w + 18. Is w even?
True
Let d(j) = -j + 2. Let b be d(-3). Suppose -3*y + 0*l + b*l = 0, 0 = -3*y - 4*l. Suppose -4*x + 0*x + n + 16 = y, -x - n + 9 = 0. Is x a multiple of 3?
False
Suppose -413 = -3*x + 4*n, -x = -n - 97 - 41. Is x a multiple of 51?
False
Suppose -2*x - 3*i = -15, 0 = -2*x + 3*i + i - 6. Suppose -x*k + 39 + 3 = 0. Is 10 a factor of k?
False
Suppose 3*m - 6*m + 204 = 0. Let y = -44 + m. Does 13 divide y?
False
Let m = 3 + 6. Does 2 divide m?
False
Let f(g) = 3*g**2 - 4*g + 1. Let h = -2 + 4. Suppose 5*w = h*v + 9, -v - 8 - 4 = -5*w. Is f(w) a multiple of 13?
False
Is 8 a factor of (-6)/21 + 1352/28?
True
Suppose -7*g - 318 = -g. Let o = g + 79. Is o a multiple of 13?
True
Let b = -61 - -85. Is b a multiple of 8?
True
Let o(d) be the first derivative of -2*d**2 - 5*d - 3. Let c be o(-7). Let q = c - 5. Does 18 divide q?
True
Let o be (-2 + 13/4)*8. Suppose -n + o = 4. Is 2 a factor of n?
True
Let j(w) = 7*w. Let z(u) = 21*u - 1. Let y(g) = 8*j(g) - 3*z(g). Is y(-6) a multiple of 15?
True
Let t(c) = 18*c**2 + c - 1. Let d be t(1). Let j = 32 - d. Is j a multiple of 14?
True
Let h = 12 - -5. Is h a multiple of 17?
True
Suppose 2*h - 7*h = -10. Suppose -h*w - 37 = -141. Let a = w - 25. Is a a multiple of 14?
False
Let j(x) = -18*x - 2. Let f(w) = -w**2 - 7*w - 1. Let u be f(-7). Is 14 a factor of j(u)?
False
Let r(n) = 5*n + 8. Is 10 a factor of r(7)?
False
Suppose 4*c - 20 = -p, 4*c - 25 = -2*p - c. Suppose p = -3*o + 8 + 7, n + 2*o - 20 = 0. Let f = n - 2. Is f a multiple of 7?
False
Suppose 0 = 3*w + 2 + 73. Let t = 86 + w. Suppose -2*q + t = 7. Is q a multiple of 11?
False
Let z = 17 + -12. Suppose 0*c + c - k = 80, 4*c + 2*k - 290 = 0. Suppose -5*s - z*h + c = 0, 2*s - 4*h = -h + 35. Is 8 a factor of s?
True
Suppose d - 28 = -3*s + 8*s, 2*d - 66 = 5*s. Is 16 a factor of d?
False
Suppose -2*f + 7 + 9 = 0. Suppose f*g = 3*g + 200. Is 20 a factor of g?
True
Let k(p) = -34*p - 2. Let z be k(-2). Suppose -2*y + c = -c - 20, 0 = -y - 5*c - 8. Suppose 0 = 4*b - y*b + z. Does 8 divide b?
False
Does 8 divide 0 - (-3 - -2 - 37)?
False
Let h be ((-4)/(-12))/((-2)/(-30)). Suppose -5*l + 3*m + 40 = -10, -h*l = -2*m - 45. Is (-7)/(l/(-22)) - 3 a multiple of 9?
False
Suppose -6*h + 3*h + 5*z - 28 = 0, 2*h + 26 = -4*z. Let k(l) = -l**2 - 12*l - 5. Is 3 a factor of k(h)?
True
Let k be (2/(-3))/((-4)/(-30)). Let v = k - -8. Suppose v*b + 2*f = 23, -26 = -2*b - 2*b - 5*f. Does 9 divide b?
True
Let r = 5 - 9. Does 2 divide 0/r + 0 + 4?
True
Suppose 7*o - 9*o + 58 = 0. Is 6 a factor of o?
False
Let h(y) = -y**2 + 5*y + 2. Let l be h(5). Suppose 0 = -l*n - 3*n + 65. Is n a multiple of 13?
True
Let l(n) = -11*n + 24. Is l(-9) a multiple of 29?
False
Let a(k) = -2*k + 12. Let j be a(-9). Suppose -3*z + z = j. Is z*(-2 - 8/(-5)) a multiple of 6?
True
Let v(b) = -5*b + 2*b**2 - 4 + 0*b + 0*b**2. Let r be (-2 + 3 - 2)*-5. Is 6 a factor of v(r)?
False
Suppose 2*t = -8, 0*d = -5*d - t + 56. Is d a multiple of 3?
True
Let h(z) = -3*z - 9. Let t be h(-11). Suppose 6*c - 7*c + t = 0. Is 24 a factor of c?
True
Let b = -1 - -1. Let f be (b + 2 - 0) + 1. Does 6 divide 18/(((-18)/(-4))/f)?
True
Let t(b) = -b**2 - 3. Let c be t(0). Let p = 9 + c. Let l(z) = 5*z. Is 15 a factor of l(p)?
True
Suppose 4*q + 3*j - 39 = -0*j, -3*q = 5*j - 32. Let u = 5 - 3. Let t = q - u. Is 3 a factor of t?
False
Suppose 0 = 2*c - 2*z - 2*z - 412, -z - 1003 = -5*c. Is c a multiple of 10?
True
Let s(g) = g**3 - 5*g**2 - 6*g - 8. Let m be s(6). Let n = m + 25. Let x = -1 + n. Is x a multiple of 16?
True
Let r = -5 + 8. Suppose 2*i - 5*k = -r*k + 50, 0 = -2*i + 5*k + 62. Is 7 a factor of i?
True
Let y = 57 - 36. Is y a multiple of 21?
True
Let j be -2*1/4*0. Suppose -3*y + 57 = 3*k, j = -3*k + 4*y - 3*y + 57. Is 12 a factor of k?
False
Suppose 0*o + 195 = 3*o. Does 13 divide o?
True
Let y = 149 - -75. Does 14 divide y?
True
Let h(v) = -7*v + 7. Is 21 a factor of h(-17)?
True
Let v = 165 + -65. Is v a multiple of 20?
True
Let o(l) = -3*l**3 + 4*l**3 + 10*l**2 + 6 + 7 - 11*l - 4. Is o(-11) a multiple of 7?
False
Suppose 14*s + 231 = 17*s. Does 11 divide s?
True
Suppose 3*k + 372 = 7*k. Does 12 divide k?
False
Suppose 0 = -5*o + 32 - 7. Suppose 0 = 2*r + o*g - 35, 3*g = -g + 20. Suppose r*i - 2 = 28. Is i a multiple of 6?
True
Is 22 a factor of (23 + -4 - -1)*(-64)/(-10)?
False
Let y = -20 + 13. Let h = y - -15. Is 5 a factor of h?
False
Let g be (-4)/6 + (-168)/(-36). Suppose o - 9 - g = 0. Is 7 a factor of o?
False
Does 46 divide (2/4)/((-20)/(-1840))?
True
Let g = -29 + 99. Is 14 a factor of g?
True
Let n(j) = 1. Let z(g) = 8*g + 16. Let p