divide u?
False
Let s(t) = t**2 - 2*t - 3. Let j = 1 + 3. Does 3 divide s(j)?
False
Let g(v) = -13*v + 12. Is 12 a factor of g(-12)?
True
Is 1/3 + 87/9 a multiple of 6?
False
Let f = 2 - -1. Suppose c - 13 = -6*z + f*z, -5*c = -2*z - 14. Does 10 divide (-10)/c*44/(-10)?
False
Suppose 2*p + 557 = 4*p + 5*g, 2*g = 3*p - 826. Is p a multiple of 46?
True
Let k(i) = -i**2 - 16*i - 15. Let y be k(-10). Suppose -r - 3*q + 5 = -3, -y = -3*r - 2*q. Does 7 divide r?
False
Let s(l) = l**3 + 9*l**2 + 7*l - 1. Let i = -6 + 6. Suppose i*d + 24 = -4*d. Does 18 divide s(d)?
False
Let s = -4 + 6. Suppose r = s*k - 0*r + 3, r - 1 = k. Does 3 divide 8/k*5/(-5)?
False
Let z(w) = -w - 5. Let l be z(-7). Let a(x) = 1 - 5*x**2 + 4*x - x**3 + 0 - l. Does 5 divide a(-6)?
False
Suppose 2*c = -2*c + 24. Let n = 3 + c. Is n a multiple of 9?
True
Let d(t) = 15*t - 3. Let o(j) = -j + 14. Let s be o(13). Is d(s) a multiple of 12?
True
Suppose -4*k = -2*x + 1258, 2*k = -4*x + 1729 + 777. Is 15 a factor of x/18 + 1/6?
False
Suppose 3*n + 2 = i + 2*n, 5*n = 4*i - 8. Suppose i*q - 1 - 73 = 0. Is q a multiple of 13?
False
Suppose -4 = -4*x + 16. Suppose x*h - h = 32. Is h a multiple of 4?
True
Suppose 12 = 3*n - 3. Is 4 a factor of n?
False
Suppose -394 = 9*u - 1168. Is 3 a factor of u?
False
Let s(t) = 3*t - 8. Let m = -6 + 9. Suppose -n - m*y = 1 - 6, 3*n - 5*y - 29 = 0. Is s(n) a multiple of 16?
True
Let n(g) = g**3 + 5*g**2 + 2*g + 2. Let w be n(-4). Suppose y + 4 = w. Let j(k) = -k**3 + 6*k**2 + k - 2. Is j(y) even?
True
Is (102/9)/(6/9) a multiple of 10?
False
Let v(t) = 9*t**2 + t - 2. Is 10 a factor of v(-2)?
False
Let q be (1/(-3))/(1/(-6)). Suppose 9*k - 4*k - 130 = 3*i, 3*k - 77 = q*i. Is k a multiple of 8?
False
Let y = 476 - 241. Is 20 a factor of y?
False
Let a(z) = z**3 - z**2. Let c be a(0). Suppose 2*g + c*g - 40 = 0. Does 19 divide g?
False
Is (-242)/(-2) - 2/1 a multiple of 36?
False
Let k = -64 + 136. Does 12 divide k?
True
Suppose 0 = -3*x - 2*x + 35. Does 10 divide (-4)/(-1)*(x - 3)?
False
Let r be (-2)/4 - 13/(-2). Is 5 a factor of r/4 + 112/32?
True
Suppose -5*b + 2*d = -133 - 44, 0 = 2*b - 5*d - 75. Suppose 2*h - 14 = 8. Let z = b - h. Is 15 a factor of z?
False
Suppose -3*q - 3*q + 144 = 0. Is 8 a factor of q?
True
Let n(x) = -x**2 + 2*x. Let s = 6 + -4. Let r be n(s). Suppose -2 = 2*y - r, 0 = 3*w + 3*y - 36. Is 13 a factor of w?
True
Suppose -58 = -2*l + 14. Let o = l - 21. Is 9 a factor of o?
False
Let s be (-176)/28 + (-2)/(-7). Does 6 divide (-3)/9 + (-38)/s?
True
Let n(r) = -7*r - 16. Is n(-10) a multiple of 18?
True
Let y(c) = -5*c**3 + 5*c**2 - 6*c - 11. Let b(k) = 11*k**3 - 11*k**2 + 13*k + 21. Let t(s) = -6*b(s) - 13*y(s). Is 7 a factor of t(0)?
False
Suppose -m + 0*m = -4*v - 139, -2*m - 5*v = -252. Let i = m - 86. Is i a multiple of 15?
True
Suppose 5*a = 4*a + 4. Suppose -3*c - 2*l + 84 = 0, 3*l = -a*c - 52 + 163. Is 5 a factor of c?
True
Is (-24)/(-6) + (27 - 1) a multiple of 15?
True
Suppose 0 = -7*g + 3*g - 144. Let x = g + 76. Is 20 a factor of x?
True
Suppose 0 = 2*z + 4*m - 52, -4*z + 73 + 51 = -2*m. Does 5 divide z?
True
Suppose 3*q + 40 + 8 = n, 0 = 5*n - 5*q - 200. Is 18 a factor of n?
True
Let s be ((-3)/(-5))/((-4)/(-20)). Suppose 3*v = -s*t + 159, 2*t + 4*v - 31 - 71 = 0. Is t a multiple of 14?
False
Let h(v) = -v. Let u be h(3). Is 42 - u/(9/6) a multiple of 22?
True
Let f be ((-531)/(-6))/((-6)/(-8)). Suppose -c + 6*c - 120 = 5*r, -4*r - f = -5*c. Is 9 a factor of c?
False
Suppose -7*s + 1164 = 226. Let m = s - 71. Does 24 divide m?
False
Let z = 6 - 1. Suppose 3*q + z*s = 7*q - 37, -5*q - 3*s + 37 = 0. Is 8 a factor of q?
True
Let b(i) = 13*i + 8. Is 20 a factor of b(3)?
False
Suppose 13*g = 8*g + 175. Does 10 divide g?
False
Let p(x) = 5*x**3 + x**2. Let b be p(1). Let o = 7 + b. Suppose -17 = -3*f + o. Does 5 divide f?
True
Let g = -10 - -17. Suppose g*j - 2*j = 0. Suppose 3*s + 0*s - 66 = j. Is 8 a factor of s?
False
Let q(c) = 6 + 6 - 10 + 8*c. Let r = 7 - 4. Is q(r) a multiple of 14?
False
Let g be (-476)/5 + (-3)/(-15). Let i = 150 + g. Is i a multiple of 19?
False
Suppose 2*f - 28 = 2*j, 0*j - 48 = -4*f + 2*j. Suppose a + a - f = -2*s, -4*a = 5*s - 16. Is a a multiple of 9?
True
Is 29 a factor of 3/(9/264) + 1*-1?
True
Let b = 14 + -4. Suppose 4*p + 15 = -r, 2*p = -3*r - r + b. Does 2 divide r?
False
Let j(b) = 2*b**2 - b + 11. Is 46 a factor of j(6)?
False
Let w = 45 - -147. Does 32 divide w?
True
Let m = -30 + 54. Is m a multiple of 8?
True
Let o = 70 + -63. Is o a multiple of 2?
False
Suppose -4*m = -4*x + 40, 4*x + m - 45 = 6*m. Suppose x*t = -5*v - 90, 0 = -3*t - 0*t + 2*v - 59. Let r = t - -39. Does 9 divide r?
False
Let j be 1/(-4) + (-212)/(-16). Is 15 a factor of (j - -2)*(-6 - -9)?
True
Let m(k) = -80*k - 36. Is m(-3) a multiple of 12?
True
Suppose 42*c - 47*c = -120. Is 8 a factor of c?
True
Suppose 3*m + 5*w - 16 = 0, 3*m + 2 = m + 3*w. Does 9 divide 21/1 + m + -4?
False
Suppose 103 = 2*j + 1. Suppose -4*u = -5*u + j. Does 21 divide u?
False
Let y(h) = -9*h + h - h. Let m be y(-6). Let k = 97 - m. Does 11 divide k?
False
Let h = 8 - 4. Does 18 divide (3/h)/((-5)/(-120))?
True
Suppose 4*g = -5*k + g + 260, -k + 59 = 2*g. Is 7 a factor of k?
True
Suppose -j = 4*d - 294, 0 = -4*d - 2*j + 185 + 107. Suppose -d - 10 = -4*w. Does 7 divide w?
True
Let w = -4 + 7. Let c(g) = -w*g + 6 + g - g. Is c(-5) a multiple of 21?
True
Let b = 3 - 1. Suppose -b*l + 13 = -1. Is 5 a factor of l?
False
Suppose -3*u - 33 = -t, 4*u + 4*t - 3*t + 51 = 0. Is (-6)/u + 67/2 a multiple of 13?
False
Let w(n) = -2*n**3 - 6*n**2 - 2*n - 1. Let g(r) = -r**2 + 5*r + 2. Let a be g(6). Let y be w(a). Suppose 0 = 4*o - o - y. Is o a multiple of 12?
False
Let q = 7 + -4. Suppose -q*l = 4*d + 310, -d - 7*l = -2*l + 69. Let m = d - -119. Is 16 a factor of m?
False
Let m(v) = v**2 + 6*v + 4. Let f be m(-5). Suppose -4*c - 3 = 3*j - 43, 4*j - 4*c = 16. Is f*(j - -2)/(-2) a multiple of 4?
False
Suppose -5*h - 4*s + 60 = -50, 2*h + s - 41 = 0. Does 6 divide h?
True
Suppose -2*w + 1 = -7. Suppose 22 = w*v - m - m, v - m = 4. Is v a multiple of 6?
False
Let k(h) be the second derivative of h**4 + h**3/6 + h**2/2 + 3*h. Is 12 a factor of k(-1)?
True
Suppose -3*v = n + 8, -4*n - 2*v - 32 = v. Let s be 1/4 + (-294)/n. Suppose 0 = 4*y - s - 19. Is 7 a factor of y?
True
Does 31 divide 120 - 3/(12/16)?
False
Suppose -5*x + 4 = -1. Let g = 35 + x. Is g a multiple of 7?
False
Let o = 2 - -34. Is o a multiple of 36?
True
Is (-3 - (3 + -7))*23 a multiple of 11?
False
Is 8 a factor of 8/(-4) - (-8 + -114)?
True
Suppose 3*f = -5 + 14. Let s = f + -4. Let i = 24 + s. Is 19 a factor of i?
False
Suppose 215 = 5*g + 3*l, 4*g - 2*l = -6*l + 180. Is g a multiple of 20?
True
Suppose -4*u - 24 = -4*w, u + w - 3 - 1 = 0. Is 41/2 + u/(-2) a multiple of 10?
False
Let h = -108 - -132. Is h a multiple of 6?
True
Let x = -73 + 112. Let w be (-99)/45 - 2/(-10). Let z = w + x. Is 18 a factor of z?
False
Suppose 3*c - 63 = 15. Suppose -g + 0*g = -c. Does 7 divide g?
False
Let z = 6 - 4. Suppose 5 = z*t - 1. Suppose 0 = -2*c + 59 - t. Is c a multiple of 14?
True
Suppose 0*d = 2*y - 2*d + 12, -30 = 4*y - d. Let j(a) be the third derivative of a**5/60 + a**4/4 + a**3/6 + 5*a**2. Does 17 divide j(y)?
True
Let h(v) = -v**3 + 7*v**2 - v + 10. Let z be h(7). Suppose -4*j = 3*k - 160, -154 = -z*k - j + 3. Is k a multiple of 11?
False
Suppose 2*n - 5 = n, 3*n - 19 = -4*q. Let g(y) = -1. Let x(h) = 4*h + 4. Let i(m) = 4*g(m) + x(m). Is 3 a factor of i(q)?
False
Let s = 140 - 57. Is 25 a factor of s?
False
Suppose -2*c - 24 = i - 67, -3*c + 5*i = -97. Is c a multiple of 16?
False
Let l(w) be the second derivative of -17*w**5/20 + w**4/6 - w**2/2 - 2*w. Does 7 divide l(-1)?
False
Let u(n) = 4*n + 3*n + 0*n**2 - 8 + 0*n**2 + n**2. Is u(-11) a multiple of 18?
True
Suppose -2*s = -8, 4*i - 167 - 37 = 4*s. Does 16 divide i?
False
Is 9 a factor of (54/4)/((-1)/(-8)*6)?
True
Let s(f) = -7*f - f**2 - 2*f - 5 - 3. Let j be -2 - (1 + 1 + 2). Is 5 a factor of s(j)?
True
Let w(t) = -2*t**2 + t + 4. Let q = -4 + 8. Let f be w(q). Is (-6)/f + (-214)/(-8) a multiple of 9?
True
Let g(s) = -2*s**3 - 9*s. Let w(b) = 4*b + 0 + b**3 + 0. Let r(d) = 2*g(d) + 5*w(d). Is 5 a factor of r(2)?
False
Let b be 1/(-