*t + 108 = t. Let y = 50 - t. Is y a multiple of 14?
True
Let j(w) = 2*w**3 - 2*w**2 - w. Let c be j(3). Let v be 788/22 + 6/c. Suppose -3*k + v = -2*k. Does 16 divide k?
False
Let v(a) = 5*a**3 + a**2 - 1. Let b be v(2). Suppose b + 7 = 2*s. Is s a multiple of 12?
False
Let y = -55 + 79. Suppose 0 = 7*m - 2*m - 5. Is 6 a factor of m/((2 - -1)/y)?
False
Suppose 4*t - 44 = 20. Suppose -t = -4*r + 28. Is r a multiple of 9?
False
Suppose 0 = -5*x - x + 552. Does 23 divide x?
True
Suppose -3*r - t = -271, -305 = -4*r - 4*t + 59. Is 5 a factor of r?
True
Suppose -4*d + 4*x + 36 = 0, 0*x = -5*d + 3*x + 35. Let p be (-1 + 1)*(-2)/d. Does 5 divide 3*(p - (-13)/3)?
False
Let o(m) = -m - m + 10 + 3*m. Let s be o(-8). Suppose 0 = -s*q - 4*u + 52, 3*q + 3*u - 71 = 4*u. Does 12 divide q?
True
Let l(y) = 12*y**2 - 3. Is l(4) a multiple of 38?
False
Let u(x) = -7*x**3 + x. Let c be u(1). Let n(m) = -m - 4. Let k be n(c). Suppose 20 = -k*h + 60. Is h a multiple of 10?
True
Does 10 divide 3365/25 - (12/5)/4?
False
Let p(c) = -c**3 - 15*c**2 - 15*c - 10. Let x be p(-14). Suppose -5*g + 50 = -2*a, 0 = -0*g - 2*g - x*a - 4. Is g even?
True
Let u(p) = 7*p + 45. Does 10 divide u(19)?
False
Suppose 56 = -a - 0*a. Let o = -31 - a. Does 7 divide o?
False
Let o(j) = 4*j - 7. Suppose -h + 2 = 4*l, -h + 4*l + 64 = h. Let a = h - 16. Is 6 a factor of o(a)?
False
Let k = -10 - -6. Let t be (-6)/k + (-2)/(-4). Suppose 13 = 4*q - 5*d, -t*q + 9 = 2*q - d. Is q a multiple of 2?
True
Let w(g) = g**2 + 7*g + 2. Suppose x + 1 = 2*x. Suppose -44 = 3*j - 5*o, -3*j - 19 - x = o. Is 5 a factor of w(j)?
True
Let g(l) = 6*l**2 - l - 2. Is g(4) a multiple of 18?
True
Suppose 0 = 5*o + v - 28, -4*v = 2*o - 0*v - 4. Is 18 a factor of 4/o*(14 - -40)?
True
Let v(s) = 156*s**3 - 3*s**2 + 3*s - 2. Is 22 a factor of v(1)?
True
Let n = 3 - 5. Does 3 divide -2 + (n - -1) - -7?
False
Suppose 0 = 4*l + 12, 2*p - 2*l = 1 + 5. Suppose -5*q + q = p. Suppose q*f - 3*s = -3*f + 30, -3*s + 22 = f. Is f a multiple of 7?
False
Let m(k) = 3*k**3 - 6*k**2 + 2*k + 3. Let z be m(5). Is 34 a factor of (48/28)/(4/z)?
True
Let i(u) = -u**3 - 13*u**2 + 10*u - 19. Let c be i(-14). Let l = 56 - c. Is 19 a factor of l?
True
Suppose 2*t + 300 = 8*t. Is t a multiple of 25?
True
Suppose -o + 5*g = 16, -3*o + 2*g + 12 = 2*o. Suppose -o*m = -9*m + 140. Is 14 a factor of m?
True
Let g(r) = 48*r**2 - 3*r + 3. Does 16 divide g(1)?
True
Let f(k) = -10*k**2 + 9 - 21 + k**3 - 4*k - 4*k. Is f(11) a multiple of 21?
True
Let m(k) = k**3 + 9*k**2 - 11*k - 4. Let s be m(-10). Suppose 4*x = -2*b + s*x + 62, -5*b - 4*x + 191 = 0. Is 8 a factor of (168/b)/((-3)/(-10))?
True
Is 5 + -3 - -1 - -2 a multiple of 3?
False
Let g(a) = -91*a - 2. Does 53 divide g(-1)?
False
Let z(p) = p**2 - 9*p + 3. Let m(f) = -3*f. Let c be m(-3). Does 3 divide z(c)?
True
Suppose -3*g + 42 = -3*z, 3*z = g - 4 - 4. Let t = g + 37. Does 16 divide t?
False
Suppose -f = -4*f + 51. Suppose q - f = 7. Is q a multiple of 8?
True
Suppose -l - 4 - 6 = 0. Let o = 31 + l. Suppose 3 = 3*b - o. Is 6 a factor of b?
False
Suppose r = -26 + 8. Let t be ((-4)/10)/((-1)/5). Is (r + t)*6/(-8) a multiple of 5?
False
Let p(b) = -46*b**3 - 21*b**2 + 16*b - 6. Let g(q) = 9*q**3 + 4*q**2 - 3*q + 1. Let y(l) = -11*g(l) - 2*p(l). Is y(-2) a multiple of 21?
False
Let l(q) = -2*q**3 + 26*q**2 - 9*q - 20. Does 40 divide l(12)?
True
Let c = 12 + -7. Suppose -4*x - c*p = 2, -3*p - 10 = -4*x + 2*x. Suppose -x*g + 11 + 41 = 0. Is g a multiple of 13?
True
Suppose 16*v - 12*v - 748 = 0. Is v a multiple of 25?
False
Let m = 2 + -2. Suppose -2*k + 0*k - 312 = m. Is k/(-8) - 2/(-4) a multiple of 10?
True
Let u(a) = 11*a**2 + 3*a + 1. Let d be (-6)/(3 + -1) + 1. Is u(d) a multiple of 12?
False
Suppose -2*s + 72 = -i - 4*i, 0 = -s - 4*i + 10. Does 13 divide s?
True
Suppose 4*l - 296 = -5*w, -127 - 58 = -3*w + 5*l. Let d be (-2)/(0 - -2)*25. Let i = w + d. Is i a multiple of 12?
False
Let h = 6 - 2. Let c be 2/(-8) + 17/h. Suppose -p + 30 = c*p. Is 6 a factor of p?
True
Let s = 17 - 37. Let t = s - -39. Is 19 a factor of t?
True
Suppose 5*g - 5*t - 149 = 2*g, -231 = -5*g + 4*t. Does 10 divide g?
False
Suppose 0 = 4*l + 17 + 27. Let n = -14 + l. Does 18 divide (36/(-10))/(5/n)?
True
Suppose -d = -3*d - 2. Does 6 divide 28 + (-2 + d)/(-3)?
False
Let k(n) = -n**2 + 14*n + 3. Let p be k(-6). Let t = -36 - p. Is t a multiple of 27?
True
Suppose -7 = -2*r - 1. Suppose -r*z - 20 = -8*z. Suppose 5*w - 4*m = 42, -2*w - 6 = -w + z*m. Does 2 divide w?
True
Let f be -2 + 9/6*-4. Let a = f - -14. Suppose a*g = 4*g + 48. Is 8 a factor of g?
True
Suppose 9 = 3*d + 4*h, 4*d - 2*h - 7 = 5. Suppose -d*b = -39 - 72. Is 11 a factor of b?
False
Suppose -13 = -g - 2*n, 0 = 2*g + 3*g + n - 47. Is g a multiple of 2?
False
Does 9 divide 5/(-20) + (-234)/(-8)?
False
Let v = 829 + -587. Let w = 168 - v. Let j = 120 + w. Does 21 divide j?
False
Suppose 5*q - 70 = -m - 4*m, -5*q + 5*m + 50 = 0. Let f = -1 + q. Is 8 a factor of f?
False
Let y = -1 + -1. Let u = 4 + y. Suppose 3*t + u*t = 25. Is t a multiple of 5?
True
Suppose 2*j - 20 = 22. Let d(t) = t + 11. Let x be d(-10). Let w = j - x. Is w a multiple of 10?
True
Let r(x) = -x**3 - 2*x**2 + 2*x - 4. Let o = 9 - 7. Suppose -4 = o*t - t. Is 9 a factor of r(t)?
False
Is 14 a factor of (36/(-30))/(6/(-200))?
False
Let j = 0 - 1. Let y(r) = 1 - 10*r - 7*r - 8*r. Does 10 divide y(j)?
False
Suppose -g + 39 = 4*z, -5*z + 6*g - 3*g + 70 = 0. Suppose 5*o - z = 4. Does 12 divide (0 + -3)/o*-30?
False
Suppose 2*t = 2*y + 7*t - 108, 3*y - 176 = -4*t. Is y a multiple of 17?
False
Let h be -2*2*26/(-8). Suppose 5*q + 5 = 0, m + 1 = -5*q + h. Is m a multiple of 6?
False
Suppose 3*p + 2*g = p + 32, 2*g = -4*p + 56. Suppose 2 = -2*m + p. Suppose -4*i - 83 = -5*n + 57, m*n + 3*i = 105. Does 20 divide n?
False
Let u = 6 - 5. Suppose 2*t - 89 + u = 0. Is t a multiple of 20?
False
Let i(z) = z + 14. Let d = -5 - -5. Is i(d) a multiple of 7?
True
Let g(c) = 27*c - 2. Does 16 divide g(2)?
False
Let v(j) = 2*j**2 + 4*j - j**2 - 3 + 3*j**3 - 2*j**3 - 2*j. Let h be v(2). Suppose -4 = -4*p + 4*q, 5*q + 0 = 2*p + h. Is p a multiple of 3?
True
Let t be ((-60)/(-9))/((-4)/(-30)). Let s = -34 + t. Suppose -7*m + 3*m = -s. Is 3 a factor of m?
False
Suppose 92 + 1498 = 10*d. Does 24 divide d?
False
Let o = 0 - -10. Let b = o + -5. Suppose -3*s + 0*s = 0, l = 5*s + b. Is l a multiple of 5?
True
Let q = -7 - -27. Let b = -5 + q. Suppose 2*k = -5*n + 41, -n + 5*k - b + 7 = 0. Does 7 divide n?
True
Let j(g) = -22*g + 10. Is 40 a factor of j(-5)?
True
Let o be (-2)/(-12) - 46/(-12). Suppose o*y - 277 = -k, -3*k + 179 + 92 = 4*y. Is 22 a factor of y?
False
Suppose -2*a - 101 = -5*m, -4*a - 55 = -6*m + 3*m. Does 22 divide (-77)/2*(-36)/m?
True
Let o = -4 - -8. Suppose 84 = 2*v - o*s, 2*v - 220 = -2*v - 5*s. Does 25 divide v?
True
Suppose 0*i = -5*i + 95. Suppose 0 = -2*l + q + i, 4*q + 5 = 2*l - 17. Does 3 divide (-15)/(1/((-6)/l))?
False
Let d(r) = 2*r**2 + 2*r - 2. Let i be d(1). Is (-94 - i)*(-6)/12 a multiple of 24?
True
Let k = 72 - 28. Is 8 a factor of k?
False
Suppose -1 + 7 = 2*q. Suppose v = q*v - 12. Is 3 a factor of v?
True
Let r(x) = -x**3 - 6*x**2 - 2*x - 7. Let j be r(-6). Suppose -m = -2*m - j*f + 29, -m - 2*f + 35 = 0. Is m a multiple of 17?
False
Let m be 30/(-4) - 1/(-2). Let k(o) = 0 - 2*o - 2 + 4 + 2. Is k(m) a multiple of 17?
False
Let u = -57 + 206. Is u a multiple of 35?
False
Suppose 5*d - 460 - 1060 = 0. Suppose -5*c + 510 = 5*u, 3*u + c = -c + d. Is 28 a factor of u?
False
Suppose -18 = -2*m + m - 2*c, -m + 4*c = 0. Let d(l) = l**2 - 11*l - 8. Is d(m) a multiple of 4?
True
Let u(m) = 5*m. Let p be u(4). Let n = 53 - p. Is 12 a factor of n?
False
Let z(h) = -h**3 + 3*h**2 + 4*h + 4. Let c be z(4). Let q = c - -11. Is 12 a factor of q?
False
Suppose -3*l = -245 + 5. Is l a multiple of 20?
True
Let o(g) = g**3 - 4*g**2 + 4*g + 4. Does 17 divide o(5)?
False
Is 9 a factor of (4/12)/((-1)/(-78))?
False
Let v(k) = -k**3 - 8*k**2 + 10*k + 11. Let z be v(-9). Suppose -n - z*n = -333. Let q = -54 + n. Is 22 a factor of q?
False
Suppose 0 = 5*j - 2*a - 132, -6*j + 4*j - 2*a + 50 = 0. Let q be (j/6)/(1/3). Let w = q + -5. Does 7 divide w?
False
Let r(a) = -44*a**2 + 2*a + 1. Let s be r(-1). Let