ivide v?
True
Does 13 divide -2*2*(374/(-8) - 2)?
True
Let q(s) = s**3 + 9*s**2 - 8*s + 14. Let a be q(-10). Let j be (-4 + 1)*14/a. Let w = j + -3. Is 2 a factor of w?
True
Let c = -7 + 11. Suppose c*i = j + 88 - 11, -37 = -2*i - j. Is 8 a factor of i?
False
Let w(x) = x + 9. Let r be w(-6). Suppose -v = r*v - 64. Is v a multiple of 16?
True
Does 26 divide ((-69)/4 - 3)*-4?
False
Suppose -2*u - 3*u + 60 = 4*z, -2*z + 5*u = 0. Suppose 4*v - z = -2*f, -4 = 5*f + v - 29. Does 5 divide f?
True
Suppose 0*z + a = -4*z + 40, -3*a + 21 = z. Let o(y) be the second derivative of -y**5/20 + 5*y**4/6 - 7*y**3/6 - 7*y**2/2 + 6*y. Is 3 a factor of o(z)?
False
Let k(w) = 1 + 2 + 16*w**2 + 2*w - w + 0*w. Is k(2) a multiple of 23?
True
Suppose g = -2*g + 15. Suppose 80 = -0*h + g*h. Is 8 a factor of h?
True
Suppose -a - 20 = -3*a. Is 3 a factor of a?
False
Is 8 a factor of (16/(-4))/(-1)*4?
True
Suppose 4*v = -18 - 42. Let z = 21 + v. Is (z/8)/(2/64) a multiple of 12?
True
Suppose 4*s + 880 = 4*z, z + 4*s - 81 = 114. Is z a multiple of 22?
False
Let r(c) = -13*c - 2. Let o(b) = -12*b - 3. Let t(p) = 4*o(p) - 3*r(p). Is 19 a factor of t(-9)?
False
Let u be (-3)/(6/14)*1. Let a = u + 59. Does 26 divide a?
True
Let d = 64 + -53. Is d even?
False
Let t = -51 - -81. Suppose -3*i + t = -0. Is 8 a factor of i?
False
Let u = 92 - 66. Is 3 a factor of u?
False
Suppose 2*h - 16 = -2*h. Let z(j) = -2*j + 14. Let d be z(5). Suppose -d*m + 5*y + 83 = 0, -h*y = -5*m + 29 + 68. Is m a multiple of 17?
True
Let p be (-4)/18 - 56/(-9). Let r be 4/p*3 + 9. Let x = 3 + r. Is 7 a factor of x?
True
Suppose 0 = 3*o - 0*d + d - 16, 6 = 2*o - 4*d. Suppose 159 = g + 2*g - o*x, x = 5*g - 243. Does 17 divide (-3 - -2) + (g - -1)?
False
Let p = 8 - 5. Is 10 a factor of p*(-2)/3 - -26?
False
Let y(a) = -a**3 - 2*a + 36. Let p be y(0). Let z = p + -4. Is 16 a factor of z?
True
Suppose -15*i - 2256 = -23*i. Does 47 divide i?
True
Suppose 3*n = 3*m - 132, 2*n + 217 = 5*m - 15. Does 16 divide m?
True
Let u be 6/2 - (0 - 0). Suppose u*v + 232 = 7*v. Is v a multiple of 29?
True
Suppose -4*p - l = -473, -5 = 5*l + 10. Is p a multiple of 17?
True
Let x be (-2)/(-6) - (-1925)/21. Suppose -3*g = -g - x. Is g a multiple of 33?
False
Is 18 a factor of 3/(-21) - 6813/(-63)?
True
Suppose -5*j - 10 = 0, 0 = 4*z - 3*j + 4*j + 110. Let s = z - -74. Suppose n - 2*c + 34 = 2*n, 2*n = 3*c + s. Is 14 a factor of n?
True
Suppose -2*d - 5*g + 91 = 0, 0*d + 3*g = -5*d + 199. Does 38 divide d?
True
Let z = 24 + 74. Does 7 divide z?
True
Suppose 5*l = 5*t - 25, 5*t - l = 13 - 0. Suppose 7*h - 5 = t*h. Does 2 divide 3*(h + (-1)/3)?
True
Suppose 5*i + a - 163 = 0, -3*i - i + 4*a = -116. Is i a multiple of 20?
False
Let w(j) = 16*j**2 + 2*j. Let v = 5 - 3. Let x be w(v). Suppose -4*t + x = 4*m, -3*t - m + 5*m = -30. Does 7 divide t?
True
Let d(m) = -9*m + 4. Let y be d(4). Let l = -17 - y. Is l a multiple of 15?
True
Let g(w) = w - 10. Let k be g(8). Let l(v) = 7*v**2 + 4*v + 3. Is l(k) a multiple of 9?
False
Let u(i) = -i**3 + i**2 - i + 20. Let l be u(0). Suppose -4*s + 2*s = -l. Is s a multiple of 8?
False
Let v be ((-4)/14)/((-3)/21). Suppose -v*c - 33 = -5*r, 0 = -3*r - c + 25 - 3. Does 5 divide r?
False
Suppose 3*w + 2 = 110. Suppose -3*j = j - w. Suppose 0 = i + 3*h - j - 4, -50 = -2*i + 2*h. Is i a multiple of 12?
False
Let p(s) = 24*s + 22*s + 15*s - 2 - 22*s. Let y be p(3). Suppose -5*t + 0*n + 2*n + 161 = 0, 3*n - y = -4*t. Is 11 a factor of t?
False
Suppose 0*y - 5*y + 200 = 0. Is y a multiple of 8?
True
Suppose 0 = -2*w - 3 + 1. Let l be 2 - 1 - (w + 1). Is 11 a factor of 63/3 + 1/l?
True
Let p be (-2 - -2)/(1 + -3). Let o = 0 + p. Is 9 + o - 1 - 1 a multiple of 2?
False
Let s be (-156)/16 + (-4)/16. Let l = -43 - -16. Let h = s - l. Is 17 a factor of h?
True
Let l(t) = -2*t**3 + 10*t**2 + 2*t + 5. Let o be l(7). Let y = -121 - o. Suppose f + f = y. Is f a multiple of 14?
True
Let p = 1 - 4. Let z be (2160/p)/3*-1. Does 8 divide (4/5)/(8/z)?
True
Let j = 100 + -68. Suppose -2 + 6 = -4*f + 4*i, 4*f = -5*i + j. Is 3 a factor of f?
True
Let f = 3 + 8. Is 5 a factor of f?
False
Suppose 2*w + 0*w - 94 = 0. Suppose 5*q + w - 13 = r, 0 = r - 3*q - 24. Does 4 divide (r/(-6))/(3/(-8))?
True
Let f = 4 + -2. Suppose 5*u - 20 = -c, f*c - 5*u - 9 = 1. Does 4 divide c?
False
Let b = 4 + 62. Suppose 4*i + 50 = -130. Let d = b + i. Is d a multiple of 9?
False
Let r(g) be the first derivative of -7/2*g**2 - 4 + 1/3*g**3 + 10*g. Is 5 a factor of r(7)?
True
Suppose -6*w + 11*w = 125. Is w a multiple of 5?
True
Suppose 0 = -2*p + p + 8. Is p a multiple of 3?
False
Let l be 2/8 - (-77)/28. Suppose l*n = -n - 8. Is 8 a factor of -1*(-51)/(1 - n)?
False
Suppose 66 = 3*y - 96. Suppose -5*a + 324 - y = 0. Does 14 divide a?
False
Suppose 172 + 101 = 3*x. Does 16 divide x?
False
Let q = 18 + -29. Let w = -8 - q. Suppose 1 + 88 = 3*h - 4*j, -w*j + 12 = 0. Is 16 a factor of h?
False
Suppose 640 = 2*y + 3*y. Is 14 a factor of y?
False
Let q be 5/(1 - 0/1). Let m be (3*5)/(6/4). Let j = m - q. Does 3 divide j?
False
Let c be 1 - 1*(-3)/3. Suppose -h = c*h + 12. Is 18 a factor of (1 + 53)/((-6)/h)?
True
Let c(y) = y**2 - 7*y + 1. Let g be c(7). Let s be 0 + (3 + 0 - g). Suppose 0*d - s*d = -24. Is d a multiple of 10?
False
Let d = 99 - 57. Suppose 3*k = d - 0. Is k a multiple of 5?
False
Let d(v) be the second derivative of v**5/20 + 7*v**4/12 - v**3/2 - 3*v**2/2 + 7*v. Is 9 a factor of d(-7)?
True
Suppose -3*v - 32 = -3*o - 11, -5*v - 2*o - 49 = 0. Let m = 76 + -35. Let f = v + m. Is 16 a factor of f?
True
Let i(l) = 5*l + 8. Let x be i(6). Suppose h = 3*h - x. Is 14 a factor of h?
False
Suppose -5*n + 3*n = -10. Suppose n*c - f - 165 = 0, 3*c + c + f = 141. Is 6 a factor of c?
False
Let s = 10 - 21. Let h = s - -71. Suppose -4*a + 172 - h = 0. Does 12 divide a?
False
Let z be 4*(-2)/3*-3. Let n = z + -2. Suppose -4*t + n = -10. Is 3 a factor of t?
False
Let o(t) = t**2 - 5*t - 2*t**2 - t + 1. Let f be o(-3). Suppose 78 = 4*v - f. Does 11 divide v?
True
Let i(x) = x**3 + 15*x**2 + 9*x + 10. Let n be i(-14). Suppose -n - 30 = -5*p. Is p a multiple of 11?
True
Suppose 3*q - 421 = 4*u, q - 4*q + 435 = 3*u. Is q a multiple of 15?
False
Suppose -194 = -2*d - 3*h, -2*h + 147 = 5*d - 349. Is 6 a factor of (d/(-15))/((-2)/3)?
False
Let f(l) be the first derivative of l**3/3 - l**2/2 + 2*l + 3. Does 10 divide f(5)?
False
Let k be 4 - (-3 - -4)*1. Suppose 68 = q + k*q. Is 16 a factor of q?
False
Suppose 2*q - 35 = 13. Is 6 a factor of q?
True
Suppose -3*f = -10 + 1. Suppose -124 = -5*c + f*v + 46, 0 = c + 3*v - 34. Does 14 divide c?
False
Let i = 7 + -4. Suppose 5*v = -2*m + 8 + 3, v + 3*m = -3. Let c = v + i. Does 3 divide c?
True
Let y be 7 + (-5 - -3) - 2. Does 7 divide 22/(2 + y + -3)?
False
Let m(v) = -v**2 + 5*v - 3. Let y(a) = a**2 - 3*a - 1. Let s be y(4). Let i be m(s). Does 11 divide (0 - i) + 1 + 13?
True
Let s be (-6)/15 - 42/(-5). Suppose -z + 5*a - 4 = 0, -z + 5*a - 16 = 3*z. Is 7 a factor of (-36 - 0)*z/s?
False
Is (-78)/(-3 - (-4 - -2)) a multiple of 26?
True
Suppose 2*f - 4*x - 74 = -0*x, 133 = 4*f - 3*x. Does 12 divide f?
False
Suppose 0 = -4*u + 4*p - 0*p + 56, -2*p + 26 = u. Is 4 a factor of u?
False
Suppose 885 = -5*p + 2*g, 2*p = -4*g - 287 - 43. Is ((-12)/(-10))/((-14)/p) a multiple of 13?
False
Let h = -129 - -163. Is 7 a factor of h?
False
Suppose z - 2*z + 4 = 0. Does 16 divide 1/(-2) + 98/z?
False
Suppose 4*s = t - 0*s - 17, 68 = 4*t - 4*s. Is t a multiple of 17?
True
Let k = -21 - -41. Is k a multiple of 7?
False
Let c(r) = r**2 - r. Let m(x) = -x**3 - 6*x**2 + 2*x + 4. Let i(z) = 3*c(z) + m(z). Is 12 a factor of i(-4)?
True
Let n = 2 + -1. Suppose n = -3*d - 11. Does 6 divide (0 - -12)/(d/(-6))?
True
Suppose -14 = -5*n + 4*n. Is n a multiple of 14?
True
Suppose 0 = j - 45 - 5. Does 9 divide j?
False
Let v(d) be the third derivative of d**6/120 - d**5/10 - d**4/4 - d**3/3 + d**2. Let n be v(7). Suppose 5 = -n*q + 130. Is q a multiple of 9?
False
Is -14 - -16 - (-1 + -282) a multiple of 14?
False
Let w(v) = -v**2 + 2*v - 1. Let u be w(4). Does 3 divide -1 - 3*(u + 2)?
False
Suppose -4*p + u = -4*u - 244, -4*u + 122 = 2*p. Is p a multiple of 16?
False
Let v(t) = 159*t + 2. Does 43 divide v(1)?
False
Suppose -k - 7