= g + i. Is 13 a factor of d?
False
Suppose 2*v + v + 6 = 0. Does 17 divide (-56)/v + -5 + 7?
False
Let j(o) = -5*o**2 - 9*o + 13. Let h(q) = -q**2 - q + 1. Let z(d) = 4*h(d) - j(d). Is 10 a factor of z(-9)?
False
Let p be (-1)/2*(0 - -2). Does 2 divide 4/12*(14 - p)?
False
Suppose 12*c = 163 + 1649. Does 30 divide c?
False
Suppose 0 = b + 4*u - 10, -2*b - 13 = 5*u - 48. Is 10 a factor of b?
True
Suppose 26 = g + 2*f, -3*g - f + 73 = -0*g. Is 12 a factor of g?
True
Suppose 0 = -0*t + 5*t - 5*j, 3 = 2*t + j. Suppose 3 = 2*l - t. Does 7 divide l/(-13) + (-465)/(-65)?
True
Let v(j) = j**3 + 14*j**2 - 81*j - 3. Is v(-18) a multiple of 42?
False
Suppose -3*t = -3*o - 4*t + 15, -t - 1 = -o. Suppose -o*g - 2*v + 31 = -1, -v + 9 = g. Is g - (-3 + 1) - -3 a multiple of 12?
True
Suppose -l + 35 = 4*l. Suppose -5 = -2*s + 7*s. Let n = l + s. Does 6 divide n?
True
Is 13 a factor of ((-4)/(-6))/(0 - (-4)/828)?
False
Let i = 212 - 167. Is 5 a factor of i?
True
Let l = -5 + 14. Let j = -6 + l. Suppose -p - h + 23 = p, -j*h = 9. Is 4 a factor of p?
False
Let o(p) = 31*p**3 - p**2 + p - 1. Let j be o(1). Let v = 56 - j. Does 13 divide v?
True
Let u = -20 - -52. Is 10 a factor of u?
False
Let c be 2/(-2)*(-54 + 1). Suppose 4*p = -12, -5*p - c = -2*a - 16. Is 8 a factor of a?
False
Let g(m) = -3*m - 13. Let b be (-1)/5 - 267/15. Let t = 9 + b. Is g(t) a multiple of 7?
True
Suppose 0*y + 2*y + 124 = 0. Let s be (-1)/5 + y/(-10). Let v(w) = 8*w - 8. Is v(s) a multiple of 20?
True
Is 2064/42 - 1/7 a multiple of 23?
False
Let i(g) = -3*g + 2*g + 8 + 2*g. Let s be i(-6). Is 3 a factor of (s + -1)*5*1?
False
Let b(h) = -h**2 + h - 7. Let d be b(0). Let f = d - -11. Is 3 a factor of 2*(-3)/f*-2?
True
Let q = -3 - -7. Suppose j = -5*v - 23, q*j + 7 = v - 1. Is ((-38)/(-4))/((-2)/v) a multiple of 19?
True
Let z be 4/2 - 6/2. Is (-2)/((2/17)/z) a multiple of 5?
False
Let l = -64 - -240. Does 11 divide l?
True
Let s = -160 - -344. Is 24 a factor of s?
False
Suppose 5*m + 55 = 3*q, 0*q + 5*q = m + 77. Is q a multiple of 13?
False
Let a = 33 - 23. Does 3 divide a/15 - (-7)/3?
True
Let v(a) = a**3 - 6*a**2 + 2. Let c be v(6). Suppose -u - 14 = -c*u. Does 7 divide u?
True
Let i = 8 + -4. Suppose -i*n = -3*n, 0 = 2*k - 5*n - 54. Does 12 divide k?
False
Let q(n) = -n**3 + n**2 - n + 7. Let l be 0*(-1)/3 + -4. Let i = 4 + l. Does 4 divide q(i)?
False
Let h be 2*(2 + -1) + 2. Suppose 0*w - 2*w - 3*s = -3, 9 = -h*w - s. Is 14 a factor of ((-6)/w - 1)*32?
False
Suppose 0 = 6*o - o + 2*k + 123, -5*o + 4*k = 129. Let j = -11 - o. Let t = j + -1. Does 13 divide t?
True
Let g = -148 + 268. Is 12 a factor of g?
True
Let l(t) be the third derivative of t**6/60 - t**5/30 + t**3/3 - 5*t**2. Suppose -4*u + 5*m + 6 = -u, 4 = 2*u - 4*m. Is l(u) a multiple of 6?
False
Suppose 0 = -2*f - 4 + 2. Does 10 divide (-285)/(-12) - f/4?
False
Let n(v) = v**2 - v - 11. Let c be n(-9). Let o(r) = -r + 8. Let g be o(6). Suppose -4*l = 5*t - c, 0*l - 44 = -g*l - 4*t. Does 8 divide l?
True
Suppose 2*m + n = 137, n = 3 - 2. Is 11 a factor of m?
False
Let t be (0 + -4)*2 + 1. Let l be (-556)/(-14) - 2/t. Suppose s + 3*s = l. Is 10 a factor of s?
True
Let q = -9 + -6. Let k = 25 + q. Does 5 divide k?
True
Suppose 4*z + 10 = 270. Is 37 a factor of z?
False
Let c(h) = -16*h**2 + h + 3. Let p(q) = 5*q**2 - 1. Let w(t) = 2*c(t) + 7*p(t). Is w(-4) a multiple of 10?
False
Suppose -4*v + 3*l = -237, -v - 3*l + 243 = 3*v. Is v a multiple of 10?
True
Does 23 divide (44/66)/(2/(-165)*-1)?
False
Is 44 a factor of (-794)/(-6) + (28/(-12) - -2)?
True
Suppose -2*o + 14 = 4*k, 2*o = -5*k - o + 18. Suppose k*z + 499 = -149. Is 13 a factor of 1/((-3)/z*3)?
False
Let c(s) = s. Let m(f) = 9*f. Let o(x) = -2*c(x) - m(x). Does 9 divide o(-1)?
False
Let i(t) be the second derivative of t**3/3 - 2*t**2 + 2*t. Is 4 a factor of i(7)?
False
Let u = 2 - -1. Let c = u - 0. Suppose c*v + 6 = 0, -3*p + v + 14 = -15. Does 3 divide p?
True
Let p(a) = a**3 - a**2 + 6*a + 2. Suppose 2*o = -4*n + 2 + 2, 3*o = -2*n + 10. Is 17 a factor of p(o)?
False
Suppose 0 = -0*p - 2*p + 54. Is p a multiple of 9?
True
Let a(u) = -1 + 2*u - 7*u + 3. Is a(-5) a multiple of 8?
False
Let a(i) = i**3 + 2*i**2 + 3*i - 2. Let d be a(4). Suppose 5*o = 4*b - 197, 2*b - 4*o - d = -0*b. Is b a multiple of 17?
False
Suppose r - 5*l - 18 = -1, 3*l = r - 23. Does 16 divide r?
True
Suppose 0 = 3*y - 3, 0 = -5*f - 5*y + 239 + 71. Is f a multiple of 14?
False
Let w(o) = -o**2 - 7*o + 10. Let z be w(-8). Suppose z*s = -3*s + 45. Is 2 a factor of 1 + (-3 - (3 - s))?
True
Let k = -14 + 16. Suppose -n - 2*n - k*l = -60, 5*n - 93 = -l. Does 10 divide n?
False
Suppose 2*j + 2 = 3*j, 4*r = 2*j + 12. Is (-8)/16 + 50/r a multiple of 4?
True
Suppose -3*o = b + 1, -5*b + 4*o + 90 = -0*b. Does 10 divide b?
False
Let a be (-36 - (-8)/4) + -1. Let m = a + 79. Is 24 a factor of m?
False
Suppose 0 = 4*d - 0*d - 240. Suppose 2*w + 2*l - 22 = 0, -5*l = -4*w - l + d. Is w a multiple of 13?
True
Let z be 2/(-4)*(0 + 0). Suppose -d = -3*w - 18, -3*d - d + 4*w + 104 = z. Suppose -d = c - 6*c. Is c even?
True
Suppose n - 4*w - 8 = -n, 13 = n - 5*w. Does 15 divide (38/(-6))/(n/6)?
False
Let w = -18 - -31. Suppose -w = 5*b - 178. Is b a multiple of 11?
True
Suppose 4*j - 8 = 4*h - 20, h - 23 = -4*j. Is 4 a factor of h?
False
Let g(t) = t**2 + 3*t - 2. Is 4 a factor of g(-6)?
True
Suppose -4*h + 1980 = -0*h. Suppose o + h = -2*o. Does 22 divide ((-12)/(-15))/((-6)/o)?
True
Suppose -m + 10 = -v, -v + 20 = 4*m + m. Suppose 0*b - m*b = -20. Is b a multiple of 2?
True
Suppose 61 = j + x, 3*x + 119 = 2*j + 22. Is j a multiple of 56?
True
Suppose -g + 2*l + 28 + 174 = 0, -3*l - 1031 = -5*g. Is 52 a factor of g?
True
Let n(t) = -t**2 - 7*t - 1. Suppose 7 - 1 = -2*d. Is 9 a factor of n(d)?
False
Is ((-3)/9)/((-2)/456) a multiple of 37?
False
Let x = 194 + -67. Let r = x + -55. Does 17 divide r?
False
Suppose 0 = -4*h + p + 203, 0 = p - 3 - 2. Is 10 a factor of h?
False
Let n(i) = 77*i. Let b be n(9). Suppose -3*d + b = -3*u, -3*u + 535 = 2*d + 53. Is 8 a factor of (-2)/(-4) + d/10?
True
Let r(y) = 4*y**2 - 3*y + 7. Let a(v) = 7*v**2 - 6*v + 13. Let c(f) = -6*a(f) + 11*r(f). Let m be ((-1)/(-1)*4)/(-1). Is c(m) a multiple of 17?
False
Suppose -j - 14 + 1 = -3*v, -4*v - 3*j = 0. Let x(b) = 4*b**2 - b - v*b**2 - b + 2. Does 5 divide x(4)?
True
Let u be 70/20*8/7. Suppose -v = -s - 4*v + 19, 51 = 5*s + u*v. Is s even?
False
Let u(m) be the first derivative of m**4/4 - m**3/3 - m**2/2 - 8*m - 1. Let l be u(0). Is (-145)/(-4) - (-2)/l a multiple of 12?
True
Let y(a) = 4*a**2. Let z be y(-1). Let b = 7 - z. Is -2 + 6 + -1 + b a multiple of 5?
False
Suppose -3*b + 20 = b. Suppose -h = -b*h. Suppose h = -3*d + 19 + 26. Is d a multiple of 15?
True
Let b = 271 + -156. Is b a multiple of 6?
False
Let p(m) = -9*m**2 - 3. Let k be p(-3). Suppose 0 = -5*g - 3*j + 587, 3*g = -0*g + 4*j + 358. Let c = k + g. Is 13 a factor of c?
False
Let q(w) = w**3 - 7*w**2 - 7*w - 1. Is q(8) a multiple of 4?
False
Let i(c) = c**3 - c**2 - 9*c + 7. Is 3 a factor of i(4)?
False
Suppose u = n + 2*n - 5, -5*u + 13 = 4*n. Does 7 divide (0 + u)*(26 - -1)?
False
Let k(b) = -b**3 + 5*b**2 - 4*b + 6. Let m be k(4). Suppose m = 2*s, 0 = -0*n - 4*n + 5*s + 201. Is n a multiple of 18?
True
Let t be (-372)/(-18) + 4/(-6). Suppose 4*y = q - 28, 2*q + 4*y - t = -q. Is q a multiple of 3?
True
Suppose -d - 5*u - 3 = 0, d = -4*d - u + 105. Is 22 a factor of d?
True
Suppose 16*h - 25*h = -486. Is h a multiple of 12?
False
Let z = -52 - -95. Let c be -1*(2 - 0) + 5. Suppose z - c = 5*d. Is 8 a factor of d?
True
Let y(c) = -4 + 0*c - 2*c - 2*c + 0. Is y(-3) a multiple of 8?
True
Let f(n) be the first derivative of n**4/4 - 4*n**3/3 + n**2/2 - 6*n - 2. Does 24 divide f(5)?
True
Let f(t) = t + 8. Let s be f(-7). Let g = s - -3. Suppose -2*p + 2*x + 26 = 0, 5*x + 4 + 53 = g*p. Does 3 divide p?
False
Suppose 2*l - 42 = -l. Let r = 5 + -5. Let g = l - r. Is g a multiple of 9?
False
Let d = 54 - 13. Is 21 a factor of d?
False
Let z = -4 - -5. Let j be (0 - -3)*1/z. Suppose 3*k = 2*h + 75, j*k = h + 3*h + 69. Does 8 divide k?
False
Let l = 31 + 33. Is 19 a factor of l?
False
Let z(q) = -5*q**3 - 4*q**2 - 6*q - 5. Let t(l) = -4*l**3 - 5*l**2 - 7*l - 4. Let v(w) =