 a factor of v?
False
Let b be (-13)/(-2) - 1/2. Let q be b/(-4)*(-4)/2. Suppose 0 = q*y - n - 16, 4*n = -3*y + n + 24. Does 4 divide y?
False
Let y(o) = 14*o**2 - o - 1. Is y(-1) a multiple of 7?
True
Let r(s) = -s**3 - 2*s. Let o be r(-2). Let u = -37 + o. Let n = -17 - u. Does 4 divide n?
True
Let b be (4/6 + 0)*-6. Let w be b*(-1 - (2 + -2)). Does 8 divide (-30)/w*12/(-6)?
False
Is (-21 - 4)/(-5) - -106 a multiple of 37?
True
Is 45 a factor of 306*(1 + 5/(-10))?
False
Suppose 271 = 6*c - 485. Is 14 a factor of c?
True
Let z(i) = -i**3 + 14. Is z(0) a multiple of 14?
True
Let z(x) = x**3 + 3*x**2 + x + 4. Let q be z(-3). Does 11 divide (3/2)/(q/14)?
False
Suppose -2*w + 3*f = 321, w + f + 663 = -3*w. Let n be (0 + -2)*w/6. Suppose 55 + n = 5*z - 4*c, -c = 0. Is z a multiple of 8?
False
Let g be 5*(0 + 1)*1. Suppose 4*h = -2*w + 32, -3*h = 2*w - g*w + 30. Is 9 a factor of w?
False
Suppose 2*t - 16 = -0*t - d, 14 = t + 2*d. Suppose -5*h + v = t*v - 90, 3*h = 3*v + 78. Is h a multiple of 9?
False
Does 17 divide ((-39)/(-65))/((-1)/(-85))?
True
Let v be 2 - ((-2)/2 - 2). Suppose -2*n + 16 + v = -3*l, -3*n - 3*l = 6. Suppose -2*f = b - 2*b - 50, 4*f - n*b - 102 = 0. Is 10 a factor of f?
False
Let m be (-228 + 0)/(-1 - 0). Suppose -5*v + m - 8 = 0. Suppose 0*x = 2*x - v. Does 11 divide x?
True
Suppose -5*w = -26 + 6. Let b(p) = -p**2 - 3*p + 5. Let q be b(-4). Does 11 divide (-89)/(-4) - q/w?
True
Let j(i) = -i**3 + 9*i**2 + 3*i - 8. Is j(4) a multiple of 15?
False
Let p = 3 + 2. Suppose p*k + 10 = 75. Suppose -2*v + 2*f + 16 = 0, f + 2 + k = 2*v. Is 5 a factor of v?
False
Let w(g) = -4*g + 12. Let x be w(-9). Suppose -3*b - x = -2*s - 5*b, 3*b = 2*s - 43. Is s a multiple of 23?
True
Let l be 4/18 + 32/18. Suppose 0*r + 552 = 4*r. Suppose 0 = 3*g + c - r, 0 = -3*g + l*c + 80 + 58. Is 16 a factor of g?
False
Let h(b) = -1 + 7*b + 4*b + 10*b. Let m be h(1). Suppose 0*k = 4*k - m. Does 5 divide k?
True
Suppose -g + 14 = 12. Suppose 3*n - 95 = -g*n. Is 5 a factor of n?
False
Suppose 5*p - y - 1324 = 0, 3*y = -p - 0*y + 268. Suppose 5*c = -45 + p. Is c a multiple of 11?
True
Let l be (-204)/(-21) + 2/7. Let z be 16/(-10)*l/(-4). Suppose -4*h - h = -z*b, 3*h = 2*b + 2. Is b a multiple of 4?
False
Let x = 32 + -8. Does 24 divide x?
True
Is 4 + 2 + (0 - -1) a multiple of 2?
False
Let c(q) = -q**3 - 9*q**2 - 9*q - 5. Let n be c(-8). Suppose n*u - u + 3*z - 79 = 0, 5*u + 5*z = 210. Is u a multiple of 18?
False
Suppose 3*u = 4*l - 3 - 37, -5*l + 20 = 0. Is 32/(-12)*84/u a multiple of 12?
False
Let n = 233 + -161. Is 18 a factor of n?
True
Suppose 57 = 5*k - 18. Is 5 a factor of k?
True
Let i(r) = -r**2 + 6*r - 1. Let n be i(8). Let x = n - -31. Is x a multiple of 9?
False
Suppose 76 = 4*o + k, o + 0*o + 3*k - 19 = 0. Suppose -4*y + o = -w, y + 22 = 3*y + 2*w. Does 6 divide y?
True
Suppose -1 = n - 33. Suppose n = 2*t - 56. Is 22 a factor of t?
True
Suppose -4*w - 34 = 2*b - 5*b, -w = -5*b + 51. Is 5 a factor of b?
True
Let h(t) be the third derivative of t**5/3 - t**2. Let j be -2 - (-2 - (2 - 3)). Does 13 divide h(j)?
False
Let m(u) = 5*u**3 - 2*u**2 + 1. Let l be m(-1). Let k(n) = n**3 + 6*n**2 + n + 7. Let z be k(l). Let o = 53 + z. Is o a multiple of 19?
False
Suppose -o = 4*o + 35. Let h = 21 + o. Is 14 a factor of h?
True
Suppose -202 = -11*g - 37. Is 5 a factor of g?
True
Suppose 0 = -8*l + 11*l - 234. Let i = l + -41. Does 13 divide i?
False
Let u(s) = -s**3 - 6*s**2 - 5*s + 4. Let g be u(-5). Let d be g/(-4)*6/2. Does 17 divide (-2 + (-23)/d)*6?
True
Let m = 384 + -213. Does 13 divide m?
False
Let o = 136 - 71. Does 13 divide o?
True
Suppose -2 = -a - 0*a. Suppose -a + 6 = c. Suppose 48 = c*u - 64. Is u a multiple of 14?
True
Let i(g) = 2*g. Let x be i(1). Suppose -4*f + x*f = 8. Let s = f - -8. Does 4 divide s?
True
Let w(v) be the first derivative of 2*v**2 - 6*v - 2. Let s be (4 - 3)*(-6)/(-1). Does 18 divide w(s)?
True
Let f = 18 - -52. Is f a multiple of 10?
True
Let k be 6*(3 + 20/(-8)). Suppose g = -5*z - 15 + 51, -k*z + 12 = 0. Is 4 a factor of g?
True
Suppose -2*u - 178 = -2*h, -3*h + h = 2*u - 182. Does 31 divide h?
False
Let g(i) = 7*i**2 - i**3 - i + 0 + 8 + 8*i - 1. Let u be g(8). Is 13 - (-1 - -1 - u) a multiple of 12?
True
Suppose o - 24 = 5*g, o = 2*g - 3*g + 54. Is o a multiple of 7?
True
Let a = 5 - -1. Let j(k) = 4*k - 1. Does 9 divide j(a)?
False
Suppose w - 4*w + 47 = 2*o, 3*o - 5*w - 42 = 0. Does 10 divide o?
False
Suppose 2 = 5*c + t - 1, 4*c - 14 = 5*t. Does 6 divide -1 + 42 - (4 - c)?
False
Let x be (-4)/(8/14) + 1. Let h = 23 + x. Is 13 a factor of h?
False
Let g(y) = 7*y**2 - 4*y - 4. Let j be g(-5). Suppose 35 = -4*r + j. Does 13 divide r?
True
Let m(a) = -36*a + 2. Let g be m(-6). Let f(w) = -8*w. Let s be f(-1). Is g/s - 3/12 a multiple of 11?
False
Is 23 a factor of 28 - 1 - 0/(-2)?
False
Let z(v) = -v**2 - 3*v. Let h be z(-4). Let y = h + 9. Suppose -x - y*k = 0, 0*x - 24 = -3*x - 3*k. Does 10 divide x?
True
Suppose 4*i - 45 = 2*v + 3*v, 4*i + 3*v - 5 = 0. Is 5 a factor of i?
True
Let i(d) = -d**3 + 6*d**2 - d - 2. Let b be i(6). Suppose -3*y + 0*y - 16 = 2*s, y = -2*s - 24. Let l = b - s. Is 3 a factor of l?
True
Is 26 a factor of 15/10*(-208)/(-6)?
True
Suppose m - 8 = -0*m. Suppose 7*k - m*k = -62. Does 24 divide k?
False
Let c = 4 - -11. Is c a multiple of 5?
True
Let f = -2 - -5. Suppose -2*l = l - f. Let c = 3 - l. Does 2 divide c?
True
Suppose 10 = -m - m. Is 11 a factor of (22/(-4))/(m/10)?
True
Does 32 divide (1/(8/20))/((-2)/(-36))?
False
Let w(n) = n**2 + 4*n + 4. Let v be w(-3). Suppose -x - v = 2*g, 2*x - 7 = -4*g + 3*x. Does 14 divide 2/2*(g - -13)?
True
Suppose 57 + 70 = 3*l + v, -5*l + v + 225 = 0. Is 6 a factor of l?
False
Suppose 0*j - 5*j + 10 = 0. Suppose 0*y + 84 = j*y. Does 14 divide y?
True
Suppose 0 = -2*r + 4*c - 7*c - 8, 0 = -5*r - c - 20. Let s = 7 + r. Is s a multiple of 3?
True
Let v be 3/((-9)/6) - 20. Is v/(-6) + (-10)/15 a multiple of 2?
False
Let u = 28 + -16. Does 12 divide u?
True
Let i be -1 - ((-2)/(-2) + 133). Is 4 a factor of (-1110)/i + (-2)/9?
True
Let m be ((-8)/6)/((-4)/(-30)). Let h = 17 + m. Is 4 a factor of h?
False
Suppose -2*g + o + 12 = 0, -2*g = -3*g + 5*o - 12. Suppose -k = -4*n + 5, -2*n + g = -4*n + 4*k. Suppose 3*l = s + 30, 0 = 2*l + 3*s + n - 11. Does 9 divide l?
True
Suppose -3*b - 160 = -8*b. Is b a multiple of 32?
True
Let v(o) = -7*o + 5. Is 8 a factor of v(-3)?
False
Suppose 0 = -5*a + 5*g + 113 + 102, -3*a + 121 = -5*g. Does 18 divide a?
False
Suppose -2*j + 4257 = 9*j. Does 43 divide j?
True
Let u = 5 - -139. Does 8 divide u?
True
Suppose -3*s + 180 = -p, 4*s + s + 5*p - 320 = 0. Does 13 divide s?
False
Is 12 a factor of 8/3*(2 + (-50)/(-8))?
False
Suppose -c - 6 = -3*c. Suppose 165 = c*x + 6. Suppose 0 = 2*q, -11 = 2*g - 4*q - x. Is g a multiple of 9?
False
Suppose 0 = -3*z + 2*x + 123, 3*z = 5*x - 2*x + 120. Is z a multiple of 17?
False
Let i(x) be the first derivative of x**4/12 + x**3/2 + x - 4. Let j(l) be the first derivative of i(l). Is 8 a factor of j(-7)?
False
Let v = 3 + -7. Let t = 6 + v. Suppose t*g + 6*a - 3*a - 34 = 0, -2*g - a + 38 = 0. Is g a multiple of 9?
False
Suppose 3*s - 14 - 10 = 0. Let i be (0 - 0)*(-3)/(-9). Suppose s = j - i. Is 7 a factor of j?
False
Suppose -2*c + 0*i - 230 = -i, 5*i - 238 = 2*c. Is c/(-18) - 1/3 a multiple of 6?
True
Is (4/3)/((-16)/(-72)) a multiple of 2?
True
Let h(r) = -3*r**2 + 3*r + 5. Let x(g) = 2*g**2 - g - 2. Let o(y) = 3*h(y) + 5*x(y). Is 3 a factor of o(-5)?
False
Suppose 3*d + d + 20 = 0, d - 301 = -3*q. Is q a multiple of 16?
False
Let n = 7 - 11. Let r = 6 + n. Does 8 divide (-31)/(-2) - (-1)/r?
True
Let c(a) = -a**3 - a. Let p(s) = 3*s**3 - s**2 + 2*s. Let f(g) = -8*c(g) - 3*p(g). Let q be f(-2). Let k = -1 + q. Is 10 a factor of k?
False
Suppose 3*a = -3*n + 177, 0*a = 5*a - 2*n - 330. Does 16 divide a?
True
Let b = -3 + 3. Suppose s - 5*s + 8 = b. Is 1398/27 - s/(-9) a multiple of 20?
False
Suppose 53 = 2*d - 73. Is d a multiple of 17?
False
Suppose -2*z + 2*d = 2, -3*z + 2*d - 6 + 4 = 0. Suppose z = -u + 22. Is 11 a factor of u?
True
Suppose -2 - 2 = -4*c. Suppose 4*r - c = 11. Does 7 divide 2*1*(4 + r)?
True
Suppose -k = 3*k + 4. Let w(t) = -t**2 + 3*t. Let c be w(3). Is k - (-2 + (c - 