et i = 6 + -8. Suppose -v + 60 = 4*v. Does 15 divide (-304)/v*3/i?
False
Let w(x) = 12*x**2 + 2*x - 2. Is 14 a factor of w(-2)?
True
Suppose g + 31 = -0*g. Suppose 4*y + 3*t = 0, -y = 3*y - t + 16. Does 5 divide g/y + (-3)/9?
True
Let p(r) = 22*r - 6. Let s be p(-7). Is (2/(-5))/(8/s) a multiple of 8?
True
Let s = 155 - 37. Suppose h = 4*g - 135 - s, -49 = -g + 5*h. Is -3*(-3)/18*g a multiple of 14?
False
Suppose 0 = -4*q - x + 1013 + 571, 4*x = -q + 411. Suppose t = -3*y + 71, 0*y + q = 5*t - 5*y. Let p = t - 48. Does 8 divide p?
False
Suppose -4 = 6*t - 8*t. Is 2 a factor of t?
True
Let f(q) = q**3 - 14*q**2 + 18*q - 12. Does 40 divide f(14)?
True
Let u be (-4 + -2)*(-2)/4. Suppose -3*r + 8*a + 72 = 4*a, -u*a = -r + 29. Does 10 divide r?
True
Let l be 3 - (6/(-1))/2. Suppose -l*q = 2*s - 4*q - 78, 5*s = 2*q + 181. Does 24 divide s?
False
Suppose -193 - 267 = -2*t. Is t a multiple of 23?
True
Let p(x) = -3*x + 6. Does 37 divide p(-12)?
False
Suppose 5*n = a + 12, 2*n + 2*a = -2*n + 18. Suppose -4*u = -3*u - n. Suppose u*v = -2*k + 35, -3*k = 2*k + 10. Is v a multiple of 13?
True
Suppose 11*t - 146 = 239. Is 7 a factor of t?
True
Suppose 3*z + 2*q = -81, -2*z + 5*q - 35 = -0*z. Let s = 63 - 11. Let k = s + z. Is 11 a factor of k?
False
Let y(f) = -f**3 + 6*f**2 - f - 12. Let d(w) = 3*w**3 - 18*w**2 + 4*w + 35. Let i(p) = 6*d(p) + 17*y(p). Does 24 divide i(6)?
True
Let b be ((-5)/4)/(1/(-4)). Suppose -41 - 29 = -b*v. Does 3 divide v?
False
Let y(g) = -g**2 - 13*g - 10. Is y(-11) a multiple of 4?
True
Does 13 divide -2*(-1 - 3)*2?
False
Let u = 12 + -18. Let g = -1 - 0. Let v = g - u. Is 2 a factor of v?
False
Suppose -4*i = -2*i - 2070. Let t be (-4)/(-6) + i/27. Suppose 163 - t = 4*d. Is d a multiple of 18?
False
Let i(n) = n**2 + 7*n - 18. Does 18 divide i(9)?
True
Let l(z) = z**2 - z + 8. Let k be 0/(-4) + 0 + 0. Let u be 0 + (k - 2) + 8. Is l(u) a multiple of 14?
False
Is 9 a factor of (1 - 0)*(17 + -1)?
False
Let c = 2 + -1. Suppose 2*z = -5*l - c, -3*z + 2*l + 62 - 16 = 0. Does 4 divide z?
True
Let i be (3 - 2) + (0 - -1). Suppose i*z - 5*l = 38, -5*z + 96 = 5*l - 34. Is z a multiple of 8?
True
Let u be (10 + 0)*3/6. Let n(d) = 5*d - 4. Does 14 divide n(u)?
False
Let h be (6/(-3) - -2) + 74. Suppose -31 = -3*k - 3*p + h, -3*k = 2*p - 105. Suppose -2*a + 28 = -s + 5*s, s + k = 3*a. Is 9 a factor of a?
False
Let y(v) = -v**2 - 7*v - 7. Let t(q) = 5*q**2 + 28*q + 29. Let a(o) = -2*t(o) - 9*y(o). Suppose s + 3*h - 2 = 13, 2*s + 2*h = 18. Does 3 divide a(s)?
False
Suppose -w + 27 = 5*k, 2*k + 4*w = k + 13. Suppose i - 2 = -a - 0*a, -2*i - 11 = k*a. Is 5 a factor of i?
False
Let g(c) = -c**2 - 7*c - 6. Let j be 0 + 3 + (-1)/(-1). Suppose -p + 15 = -j*p. Is g(p) a multiple of 4?
True
Let k = 10 + 9. Suppose 0 = -4*u + 13 + k. Let h = u - -14. Is h a multiple of 11?
True
Let l(a) = -5*a. Let j be l(-1). Suppose -3 = 2*c + j*n, 0*n - 42 = -2*c + 4*n. Is 11 a factor of c?
True
Let k(v) be the second derivative of -v**5/20 + v**4 - 3*v**3/2 + v**2 + v. Does 11 divide k(11)?
False
Let o = -3 + 6. Suppose 2*m - 3*r - 66 = 0, m - 2*m + o*r = -36. Is 8 a factor of m?
False
Let d(w) = -5*w - 9. Is d(-5) a multiple of 4?
True
Suppose -53 = -3*k + 25. Let w = k - -8. Is w a multiple of 10?
False
Let z(g) = 3*g**2 - 4*g - 12. Does 24 divide z(-6)?
True
Let q be ((-20)/12)/((-1)/(-3)). Is 10 a factor of (q/2 + 2)*-52?
False
Let f be 3/(6/4) + 0. Suppose f*x + 11 = 41. Is x a multiple of 9?
False
Suppose -c + 54 + 71 = 0. Is c a multiple of 32?
False
Suppose 3*h + 6*a - 5*a = 102, -3 = -a. Suppose -r - 12 = -4*r. Suppose r*g - 121 = -h. Is 11 a factor of g?
True
Suppose -5*n + 60 = -0*n. Is 7 a factor of n?
False
Let z = 223 + -148. Is 25 a factor of z?
True
Let g = 53 + -21. Does 15 divide 237/4 - (-24)/g?
True
Suppose 2*i = -4*m - 46, -4*m + 2*i = -11 + 37. Let n be 4/(-6) + (-249)/m. Let j = n - 6. Is j a multiple of 9?
False
Is 12 a factor of 2/7 - (-500)/14?
True
Suppose -2*r = -5*b + 392, 0 = -2*r + 5*r - 12. Is b a multiple of 20?
True
Let i be 6 - -1*(-9)/3. Suppose -3*w - w + 113 = -5*q, 73 = 4*w + i*q. Is w a multiple of 22?
True
Suppose 5*o - 147 = -0*m - 3*m, 49 = m + 4*o. Is m a multiple of 24?
False
Let q(k) = 85*k**2. Is 17 a factor of q(1)?
True
Let s(x) = x**2 - 3*x + 5. Let l(j) = -3*j - 4. Suppose 0*a = 4*a + 12. Let i be l(a). Is s(i) a multiple of 15?
True
Suppose m = -4*k + 8, -5*m - 3*k = -6*k - 86. Let s = m - 4. Suppose -4*w - 5*t = -s, 3*w + 3*t - 13 = -1. Does 8 divide w?
True
Let l(f) = f + 11. Suppose 3*k - 2*k + 8 = 0. Let t be l(k). Let h(s) = 3*s - 3. Is h(t) a multiple of 5?
False
Suppose -w = 3*c - 6, -5*c + 4*c - 14 = -w. Is 12 a factor of w?
True
Let k = 47 + -23. Is 6 a factor of 3 + k/(4 - 1)?
False
Suppose -3*u - 5 = 1. Let q(p) = 40 - 12*p - 40. Is 12 a factor of q(u)?
True
Suppose -1 = -3*b + 11. Suppose -b*y = y - 100. Suppose 0*q + y = 5*q. Is q a multiple of 2?
True
Suppose 0 = 3*l - 2*b - 168, 3*l + 0*l - b = 165. Let k = 18 - 39. Is 5 a factor of (l/k)/(6/(-28))?
False
Suppose -25 = -5*q - 3*g, -3*q + 0 + 1 = -g. Let h = -42 + 66. Is 22 a factor of h - (-2)/(-2)*q?
True
Let w = -665 + 443. Is 4 a factor of (-2)/9 + w/(-27)?
True
Suppose -2*y - 25 = -b + 2*b, -2*y - 67 = 3*b. Let f = b - -52. Is 16 a factor of f?
False
Let d = 320 + -217. Is d a multiple of 16?
False
Let m = -3 + -1. Let n be 0/(m/2) - 0. Suppose 40 = 4*c + c - 3*h, 5*h = n. Is c a multiple of 4?
True
Let o(x) = 7*x**2 + 2*x - 2. Let s be 1 + -1 - (1 - -5). Let v = -4 - s. Does 8 divide o(v)?
False
Suppose -4*l + 20 - 1 = -i, 3*i - 3*l = -12. Let j = 9 + i. Let n = j - 0. Does 10 divide n?
True
Suppose 2*c = -c. Suppose -3*n + 0*n - 12 = c. Let d(k) = 2*k**2 + 3*k - 3. Does 7 divide d(n)?
False
Suppose x = -x + 192. Is 24 a factor of x?
True
Suppose 0 = -2*d - 3*x + 14, 54 = 2*d + 3*d - 2*x. Let s = 18 - d. Let i = s + 0. Is 4 a factor of i?
True
Let t be 2/(-3) + 22/6. Suppose 3*j - s - 11 = 20, -t*j - s = -41. Does 6 divide j?
True
Suppose 25 = 5*w, -7*w = 4*r - 3*w - 44. Suppose 4*t = -3*x + 209, -2*t = -r*x + 2*x - 88. Is t a multiple of 25?
True
Let r be (-2 - -4) + 3 + 65. Suppose 0*s + 2*i = -2*s + r, i + 187 = 5*s. Is 26 a factor of s?
False
Let m be ((-12)/(-8) - 2)*0. Suppose m = -4*k + 32 + 124. Does 20 divide k?
False
Is ((-119)/28)/(1/(-8)) a multiple of 19?
False
Let l(s) = s**2 + s - 4. Let d(t) = 2*t + 11. Let p be d(-8). Is l(p) a multiple of 6?
False
Suppose 3*d = u, 3*d - 4*u - u = 0. Suppose d = -2*y + 16 + 10. Is y a multiple of 5?
False
Let o(l) = l + 1. Let i be (-4)/(-2) - (1 - 2). Let h be o(i). Does 15 divide h/6 - (-273)/9?
False
Let y(k) be the second derivative of 4*k**4 - k**3/6 + k**2/2 + 4*k. Does 16 divide y(1)?
True
Suppose 5*c + 4*x - 14 = 0, 4*c + x - 7 = c. Suppose -c*y + 27 = -17. Suppose 2*d + 0*d = y. Is 7 a factor of d?
False
Let h = 277 + -182. Let u = -50 + h. Is u a multiple of 18?
False
Is -82*3/12*-2 a multiple of 3?
False
Let m be 3/1 + (-18 - -1). Let z = 8 - m. Let p = z + -14. Is 4 a factor of p?
True
Suppose 6*b = 3*r + b - 263, 2*r - 182 = 5*b. Let i = -49 + r. Does 16 divide i?
True
Let a = 6 + -5. Let q(g) = -a + 6 + 7*g**2 + 4*g - g**3 - 12*g. Is 10 a factor of q(5)?
False
Let t = -9 - -5. Let a be t/(-18) - (-344)/72. Suppose 3*x + 22 = a*x. Is 8 a factor of x?
False
Suppose 5*y + 4*h + 12 = 0, 2*y + 2*h = 3*h - 10. Let l(m) = -2*m**3 - 4*m**2 - 4*m - 3. Does 26 divide l(y)?
False
Let p = 96 - 52. Is 22 a factor of p?
True
Suppose 4*h = -8, 7*k - 2*k = -5*h + 115. Does 25 divide k?
True
Let c be 1485/(-22)*(-8)/10. Suppose -9 = -3*y + c. Does 15 divide y?
False
Let k(w) be the third derivative of 3*w**5/10 + w**4/12 + w**3/6 - w**2. Suppose 0 = 4*x + 2*p - 5*p + 4, x + 1 = 5*p. Is k(x) a multiple of 17?
True
Suppose -63 = -i - 5*n, 0 = -2*i - 3*n - 80 + 227. Is i a multiple of 26?
True
Let n(k) = k - 2. Let q(m) = -3*m + 5. Let a(l) = 7*n(l) + 3*q(l). Let v be a(-3). Suppose -2*u + 3*r - v = -22, 0 = 4*u - 3*r - 33. Is u a multiple of 9?
True
Let j be 1/(-2 + 3) - -3. Suppose -4*q - 24 = -j*s + 3*s, -4*q + 24 = 5*s. Let b = s - 0. Is 7 a factor of b?
False
Suppose 4*a = -62 - 26. Let d = -9 - a. Is 13 a factor of d?
True
Let u = 13 + -22. Let m = u - -12. Suppose m*k - k - 10 = 0. Is k a 