-3 - n. Does 13 divide 15 + z/3*-3?
True
Suppose -v = v - n - 295, v - 161 = -4*n. Does 35 divide v?
False
Is 9 - 5*6/15 a multiple of 2?
False
Let a = -47 + 1. Let f be (-1 - a/(-6))*-6. Suppose 5*y = -0*m - 4*m + f, -56 = -5*m - 4*y. Is 8 a factor of m?
True
Let w(d) = -d**3 - 8*d**2 + 11*d - 12. Is w(-10) a multiple of 13?
True
Let z = -16 - -221. Suppose -5*m + z = -15. Is m a multiple of 22?
True
Suppose -a = c - 249, -c - 747 = -4*c + a. Is c a multiple of 11?
False
Let r(t) = 7*t**2 - t + 2. Let s be (-6)/4*(-24)/9. Let n(m) = m**2 - 4*m + 2. Let l be n(s). Is 14 a factor of r(l)?
True
Let d = 10 + 25. Is 12 a factor of d?
False
Suppose -3*r + 3 = -r - 3*b, -4*b = 5*r + 4. Let c be r + 4 - (-8)/(-4). Let x(g) = 10*g + 1. Does 15 divide x(c)?
False
Let w(n) = 40*n + 1. Let h be w(7). Suppose h - 95 = 2*l. Is l a multiple of 31?
True
Suppose -4*i - 1 = -9. Suppose z = -3*o + 2 - 8, 0 = -o - i. Is 13 + 9/3 + z a multiple of 8?
True
Suppose -3*y - 2*j + 136 = -y, -3*y + 207 = 4*j. Is 13 a factor of y?
True
Suppose 5*q = 32 + 38. Suppose 2 = n - q. Is n a multiple of 8?
True
Let a be (-52)/(-16) + (-3)/12. Suppose -a*w + 36 = -w. Is w a multiple of 18?
True
Let g be (-2)/(23/(-11) - -2). Suppose 25 = -4*q - q, 4*x - 5*q = 293. Let s = x - g. Is 15 a factor of s?
True
Let f = -7 - -14. Suppose f*b = 3*b + 28. Is 2 a factor of b?
False
Suppose 0 = 2*r - 3*r - 44. Let g = -28 - r. Is 8 a factor of g?
True
Let d = -5 - -2. Let a(y) = -y + 2 + 2*y - 4*y. Does 4 divide a(d)?
False
Suppose 2*b = 3*y - b - 15, -2*y - 2*b - 2 = 0. Suppose -y*r = r - 18. Does 3 divide r?
True
Let y(k) = 95*k**2 + 2*k - 2. Is y(1) a multiple of 55?
False
Let j = 6 - 3. Does 10 divide j/3 + 18 + -5?
False
Suppose 19 + 221 = 3*f. Suppose -5*j + 0*j = -f. Is 9 a factor of j?
False
Suppose 3*p - 4*p = -6. Is p a multiple of 3?
True
Let u = 139 - 79. Suppose -5*g + u + 20 = 0. Let o = g + 0. Does 16 divide o?
True
Suppose -18*a + 672 = -15*a. Suppose -r = 3*r - a. Is 14 a factor of r?
True
Let l(w) be the first derivative of 2*w + 3/2*w**2 - 1/4*w**4 + 2/3*w**3 + 2. Is l(-2) a multiple of 12?
True
Suppose 6*l + 247 = 19*l. Is l a multiple of 11?
False
Does 25 divide (-500)/(-6) + 4 + (-65)/15?
False
Let j(v) = -v**2 - 1. Let h(c) = -c**3 + 8*c**2 + 2*c + 2. Let b(m) = h(m) + j(m). Suppose -5*t + 6 = -d - 29, -2*t + 14 = -3*d. Is b(t) a multiple of 15?
True
Let s(m) = m**3 + m**2 - 2*m - 1. Let o(n) = -6*n + 3 + 3*n**2 - 1 - 4*n**2. Let a be o(-6). Does 4 divide s(a)?
False
Let m be (-3 + 4)/(2/94). Let v = m - 30. Is 6 a factor of v?
False
Let z = -292 + 558. Is 38 a factor of z?
True
Let y = -34 - -50. Let u be 4/24 + (-70)/(-12). Is 12 a factor of (y/u)/((-8)/(-36))?
True
Let h be (-28)/(-8) - (-1)/2. Let k(n) = -5*n**2 - n - 2. Let y(s) = -s**2 - 1. Let f(g) = k(g) - 6*y(g). Is f(h) a multiple of 16?
True
Suppose 0 = -2*h - 5 - 5. Let p(t) = 2*t**2 + 7*t + 7. Is 15 a factor of p(h)?
False
Let d(o) = 4*o**3 + 6*o**2 - 6*o + 5. Let n(z) = -z**3 + z**2 - z + 1. Let t(x) = -d(x) + 6*n(x). Does 6 divide t(-1)?
False
Let v be 10/(-3)*(-6)/5. Let a = -2 + v. Suppose -78 = -q - a*q. Is 9 a factor of q?
False
Suppose 213 = -5*h + 8*h. Does 29 divide h?
False
Suppose -2*x + 6 - 2 = 0. Suppose w = -r + 33, 11 = w + x*r - 18. Is 14 a factor of w?
False
Suppose 3*t - m - 108 = -4*m, 5*t - m - 162 = 0. Does 11 divide t?
True
Let r(k) = -1. Let n(w) = w + 6. Let c(i) = n(i) - 5*r(i). Let v(g) = 2*g + 10. Let f(o) = 3*c(o) - 4*v(o). Is 14 a factor of f(-7)?
True
Suppose l = 5*q + 13, 3*q + 3 = 4*l - 15. Suppose -3*i + 34 = 4*z, -2*z - 2 = -l*i + 8. Does 6 divide i?
True
Suppose 5*f - 57 = -2*r, 0 = -2*r + f + 3*f + 30. Let x = r + -1. Is x a multiple of 11?
False
Suppose 4*i - 172 + 24 = 0. Let t = i + -12. Is 11 a factor of t?
False
Let u be (-27)/(-12)*(-24)/(-9). Let q(l) = l - 1. Is q(u) a multiple of 5?
True
Let d be (27/2)/(3/6). Suppose 0 = 3*f - 8*f + z + d, 4*z = 4*f - 28. Suppose -2*k - 12 = -f*k. Does 4 divide k?
True
Let v be (4 + -4)*(-2)/4. Let h be (32/(-3))/4*-33. Suppose v = -0*r - 4*r + h. Is 9 a factor of r?
False
Suppose 0 = -5*v - 2*k - 26, -4*v = -6*v + 2*k - 2. Let o = v + 23. Suppose -227 = -5*m + 3*s, -2*m - 3*s = o - 93. Is m a multiple of 15?
False
Suppose -4*n + 2*f + f = 6, 5*f = -2*n - 16. Let i(c) = -3*c. Let l be i(n). Does 22 divide 6/l + (-130)/(-3)?
True
Is 11 a factor of (-7 - 52/(-8))/(2/(-872))?
False
Suppose -3*h + 89 = -w, 35 = -h + 2*h + 5*w. Let x = 46 - h. Does 8 divide x?
True
Let w = 70 + 195. Let m = -175 + w. Is 18 a factor of m?
True
Let j be 1/(-6) - 38/(-12). Suppose -8*x + 305 = -j*x. Is x a multiple of 17?
False
Suppose -3*q + 3 = 12. Does 22 divide 65 + (1 - 4) - q?
False
Let z(t) = t**3 - 4*t**2 - 4*t - 1. Let b be z(5). Suppose -b*o + 5*y = -159 - 94, 0 = -o + y + 63. Is 26 a factor of o?
False
Suppose 2*m - 10 = -2. Is 1/m - (-31)/4 a multiple of 8?
True
Let t(i) = 41*i - 3. Let n be t(2). Let z = n - 37. Does 19 divide z?
False
Let l = 33 + -51. Suppose -6*z = -5*r - 3*z + 244, 0 = -4*r - 4*z + 208. Let u = r + l. Is 16 a factor of u?
True
Let a be 2/(-6) - 16/(-12). Let n be a/(-3) - (-6)/(-9). Does 4 divide 3 + (0 + -1)*n?
True
Suppose -4*t - 2*p + 6*p = -100, 3*p = 2*t - 53. Is 5 a factor of t?
False
Suppose -3*d = 5*y - 242, 0 = y + 3*d - 23 - 35. Does 19 divide y?
False
Let a(n) = -2*n + 107. Is 24 a factor of a(0)?
False
Let s(p) = p + 18. Let y be s(-9). Let g = 11 - -2. Let h = g - y. Does 2 divide h?
True
Let a = -12 - -38. Let k = -10 + a. Is k a multiple of 8?
True
Let o(k) = -k**3 - 7*k**2 - 6*k - 3. Let b be o(-6). Let x be -1 + (-9)/b - -7. Suppose 0 = 4*j - j - x. Is 3 a factor of j?
True
Suppose -11 + 176 = 5*f. Is f a multiple of 11?
True
Let a(g) = 27*g - 39. Does 43 divide a(11)?
True
Let z(l) = l**2 - 3*l + 6. Let v be z(4). Let y = -8 + v. Suppose -3*o + 5*u - 7 = 0, y*o + 3*u = -2*o + 39. Is o a multiple of 3?
True
Let x be -8*(-3)/(-3*1). Let s = x + 19. Suppose -s = -5*h + 234. Does 19 divide h?
False
Does 21 divide (-1)/((-3)/(-14))*(-198)/4?
True
Suppose p - 4*p = 2*n + 89, 0 = -4*n + 3*p - 151. Let d = n + 64. Is 8 a factor of d?
True
Suppose 0 = v + 5 - 43. Is v a multiple of 10?
False
Let y be 8/(-1)*4/(-8). Let x(k) = k**3 - 5*k**2 + k + 6. Let o be x(5). Let v = o + y. Is 9 a factor of v?
False
Suppose 2*z = -6, -3*g - 2*z + z + 6 = 0. Suppose -5*b = 0, -g*k - 4*b + 40 = -86. Does 9 divide k?
False
Let j(o) = -o**3 - 6*o**2 - 6*o - 1. Let l be j(-5). Suppose -2*s + 5*s - 12 = 0. Is s/((-48)/(-93))*l a multiple of 9?
False
Suppose 3*s + 4*j - 16 = 0, 2*s - 21 = 3*j + 18. Does 8 divide s?
False
Let w(k) = -26*k**3 + k**2 + 2*k. Let c be w(-2). Suppose 40 = -4*v + c. Does 13 divide v?
False
Suppose u - 7*u + 1242 = 0. Is 14 a factor of u?
False
Let j(a) = 13*a + a**2 - 10*a + 9 - 8*a. Does 3 divide j(6)?
True
Suppose -4*r - 443 = m, r + 4*r + 553 = -m. Let s = r + 154. Is 22 a factor of s?
True
Let k(f) = -3*f - 1. Let i be k(-1). Let z be (-332)/8 + (-1)/i. Let x = 60 + z. Is 9 a factor of x?
True
Suppose 2*n - 113 = -3*n - 4*x, 86 = 4*n + x. Suppose -5*u - 115 = -s - n, -4*s + 4*u = -312. Suppose -17 = 3*z - s. Is 10 a factor of z?
False
Suppose z - 5 = -0. Suppose j + 0*j = -2*u + 12, 4*u - 54 = -z*j. Is 5 a factor of j?
True
Let k be 1/5 + 10434/30. Is k/22 + (-8)/(-44) a multiple of 8?
True
Let k = -7 + 3. Let u = k + 6. Is u a multiple of 2?
True
Suppose 2 = 4*g - 6. Suppose 0*h - 42 = -g*h. Is h a multiple of 7?
True
Suppose -5*h = 2*u - 14, 0 = -u + 5*u - 4*h. Suppose 3*v - 110 = 5*b, 79 = 5*v - u*b - 79. Is v a multiple of 8?
False
Is 3 a factor of (-20)/(-4) - 3 - (-15 + 0)?
False
Let n(f) = -27*f - 12. Is 24 a factor of n(-4)?
True
Let t be 1 - (-2)/2*2. Suppose t*r = 19 + 2. Let p(d) = -d + 13. Is p(r) a multiple of 3?
True
Suppose 9*x = 5*x + 60. Does 12 divide x?
False
Does 11 divide 10/4*426/15?
False
Is 7 a factor of (0 - (-14)/(-5))/(45/(-225))?
True
Does 6 divide 20/1 + (-2)/1?
True
Let h(w) = 4 - 3 + 1 + w. Is 6 a factor of h(7)?
False
Suppose -5*u - 35 = y, 4*u + 28 = -6*y + y. Let g(b) = b + 11. Does 2 divide g(u)?
True
Let g be 4/6 - (-17)/(-3). Let t be ((-24)/(-20))/((-2)/g). Suppose b = -t*a + 13, 2*a - b - 4*b - 20 = 0. Is a a multiple of 3?
False
Does 8 divide (-1 - -3)*-