 -5*u - 5*a + 60. Does 14 divide u?
False
Suppose -3*k + 708 = -0*k. Suppose -4*y + t = -3*t - k, -t = y - 69. Is 16 a factor of y?
True
Suppose 0 = 5*z - 15 - 5. Suppose z*j + 0*j - 60 = 0. Is 15 a factor of j?
True
Let w(q) = 2*q**3 - 6*q**2 + 3*q - 4. Let j be w(4). Suppose 0*c + c + 5*d = 0, 2*d = c. Suppose 5*t - t - j = c. Is t a multiple of 5?
True
Let t(o) = 10*o**2 + 3*o + 2. Let u(l) = -9*l**2 - 4*l - 3. Let p(w) = 4*t(w) + 3*u(w). Suppose b = 3*z - 2 - 3, 3*z = 5*b + 1. Does 6 divide p(b)?
True
Suppose -3*x - u + 609 = -4*u, 5*x = 3*u + 1015. Is x a multiple of 20?
False
Let s(h) = -h**2 - h + 1. Let c be s(3). Is 2 a factor of (-42)/c + 4/22?
True
Let y(g) = 5*g - 3. Does 8 divide y(7)?
True
Let x = -7 + 11. Let t(l) = l**2 + 3*l - 13. Let u be t(-9). Suppose -x*f + 15 = -u. Is f a multiple of 5?
False
Let u(d) = -10*d + 2. Let c be u(-1). Let p = c + 13. Is 18 a factor of p?
False
Let n(q) = -21*q + 6. Is n(-4) a multiple of 15?
True
Suppose 4 - 2 = -q, 0 = x - 3*q - 34. Is 4 a factor of x?
True
Let d(i) = -2*i**2 + 12*i + 1. Let c(l) = -l**2 + 12*l + 1. Let j(m) = 4*c(m) - 3*d(m). Is j(-8) a multiple of 12?
False
Suppose -2*m = -4*m + 102. Is 17 a factor of m?
True
Let v = 0 + 107. Does 23 divide v?
False
Suppose 2*o - 5*u - 115 = -24, 5*o - 160 = -u. Does 25 divide o?
False
Suppose -2*v - 4*z - z - 26 = 0, v = 4*z. Let t = -13 - v. Let p(d) = -d**3 - 5*d**2 - d + 1. Is 6 a factor of p(t)?
True
Let v(t) = -10*t + 1. Does 10 divide v(-2)?
False
Suppose 0 = -3*v + 8*v + 100. Let u = 30 - v. Does 13 divide u?
False
Suppose 2*u = -0*u + 98. Is u a multiple of 17?
False
Is 1420/30 + 2/3 a multiple of 16?
True
Let l(o) = 2*o**2 + 5*o - 2. Suppose 0 = -3*p + 3*z - 3, 3*p = p + 5*z - 14. Does 14 divide l(p)?
False
Let a(r) = -r**3 + 12*r**2 + 2*r + 10. Let h be a(12). Let i = h + -18. Suppose -2*u = 2*u - i. Is u a multiple of 4?
True
Does 8 divide 17 + -1 - 0/2?
True
Suppose 0 = 2*t - 14 - 18. Is 16 a factor of t?
True
Let w = 50 + -121. Let b = w - -124. Let u = -34 + b. Is u a multiple of 19?
True
Let w(p) = p**2 - p - 3. Let c be w(3). Suppose 16 = 4*m - 56. Suppose c = 3*b - m. Is 7 a factor of b?
True
Is (16/6)/(-2)*(-4 - 5) a multiple of 12?
True
Let l = 5 - -1. Suppose 3*k - 6*k = -l. Is k a multiple of 2?
True
Suppose -p + 61 = 5*s, 2*p = 4*s - 3*p - 72. Is 9 a factor of s?
False
Suppose 0*x = -4*x + 28. Let w = -9 + x. Let q = 14 + w. Is 12 a factor of q?
True
Let m(u) = 14*u + 1. Let v be m(1). Does 5 divide v/2 - (-2)/(-4)?
False
Let a be (20 + 0)/(5 - 4). Is 21 a factor of (-2)/(-5) + 1012/a?
False
Let r be (-24 + 0)*-1*3. Suppose -3*q = -0*q. Suppose q = j + j - r. Does 18 divide j?
True
Let x(o) = 55*o**3 - 2*o**2 + o. Does 10 divide x(1)?
False
Suppose 0 = 3*r + 5*y - 4, r - 2*y = y + 6. Suppose 0*i - 4*i - 66 = -2*g, 0 = -g - r*i + 23. Does 6 divide g?
False
Let u = 4 + -3. Does 16 divide (-34)/6*(-12)/u?
False
Does 24 divide 1 + -1 - (-12 + -141)?
False
Let h(a) = -13*a + 8. Is h(-4) a multiple of 15?
True
Let h(f) = -360*f**3 - 10*f**2 - 10*f - 16. Let k(l) = -72*l**3 - 2*l**2 - 2*l - 3. Let m(s) = -2*h(s) + 11*k(s). Does 13 divide m(-1)?
False
Let j(d) = 3*d**2 - 2*d - 2. Let v = 6 - 3. Let l = -1 + v. Is 3 a factor of j(l)?
True
Suppose 4*d + 4 = 24. Let s = -3 + d. Suppose -4*z = i - 10, -s*i = 2*z - 7*z - 7. Is 6 a factor of i?
True
Suppose -3 = -3*j - 3*k, -3*j = 5*k - 11 - 0. Is 13 a factor of 9 - j/((-12)/(-16))?
True
Let h = -1 + 3. Let r be 27 + (-1 - (-1 + -1)). Is 21 a factor of r*-6*h/(-8)?
True
Suppose b - 85 = 4*w, -6*b + 3*w + 353 = -2*b. Is b a multiple of 30?
False
Suppose -5*r + 126 = -0*s + s, 0 = 5*s + 3*r - 630. Is 30 a factor of s?
False
Let k = 181 + -37. Is k a multiple of 8?
True
Let i(v) = 83*v**3 + v**2 + 3*v + 1. Let r be i(-1). Is 34 a factor of 2/8*-2*r?
False
Suppose -s + 92 = s. Let g = -30 + s. Does 6 divide g?
False
Does 11 divide 10 + 1/(-3)*-3?
True
Let n be -5 - (2 + (1 - 2)). Let t = n - -44. Is 8 a factor of t?
False
Let z = 8 - 5. Suppose 3*p - x = x + 73, -p - z*x = -6. Does 7 divide p?
True
Let f = 50 + 5. Let x(t) = 6*t + 1. Let c be x(4). Let s = f - c. Is s a multiple of 15?
True
Suppose 5*v = -4*i - 0*v + 980, 3*v = 0. Is 45 a factor of i?
False
Suppose -3 = f - 12. Suppose f*q - 65 = 4*q. Is 13 a factor of q?
True
Suppose -2*y - 3*b + 57 = 0, -y = -0*y + 4*b - 26. Does 15 divide y?
True
Let j(v) = 31*v**2 - v + 1. Is j(1) a multiple of 12?
False
Let k = 5 + 1. Does 4 divide k?
False
Let m(y) = y**3 + 9*y**2 + 9*y + 3. Is 19 a factor of m(-6)?
True
Suppose 7*t = 138 + 870. Suppose 10*d + t = 14*d. Does 15 divide d?
False
Suppose -5*w = 0, -3*w + 19 = z - 11. Suppose -5*o + 0*o = -20. Suppose -o*f + z = -2*f. Does 7 divide f?
False
Let c be 5 + -3 - (2 + -3). Suppose 5*o - o = -3*x + 48, c*o = 0. Is 9 a factor of x?
False
Let o = 15 - 10. Suppose -2 = o*r + s, 3*s = 5*r + 6*s + 6. Suppose r*q + 4 = q. Does 4 divide q?
True
Let o(b) = 12*b**2 + 2. Let l be -1 + 3 + -1 + 1. Suppose -3 = -l*k - f, 3*k + 2*f - 3*f - 7 = 0. Is 23 a factor of o(k)?
False
Let c(d) = d**3 + 8*d**2 - 8*d + 8. Let v be c(-9). Does 11 divide ((-44)/(-3))/(v/(-3))?
True
Let r(h) = 3*h + 1. Let n be r(3). Let d be (5/n)/((-2)/4). Let m(i) = -18*i - 1. Is m(d) a multiple of 17?
True
Let r(b) = b**3 + b**2 + b + 52. Let a be r(0). Suppose -5*n = 5*s - a + 7, -30 = -3*s - 4*n. Let p = 12 - s. Is p a multiple of 4?
False
Suppose 0*l = l. Let a(i) be the second derivative of i**3/6 + 17*i**2/2 - 6*i. Is a(l) a multiple of 5?
False
Let y(h) = -5*h**3 - 13*h**2 + h + 3. Let u(w) = -9*w**3 - 25*w**2 + 2*w + 5. Let r(t) = -6*u(t) + 11*y(t). Let k be r(7). Let g = k - -7. Is g a multiple of 2?
False
Let j = 79 - 35. Is j a multiple of 22?
True
Suppose -k - 3*u + 16 = 0, -4*u - 2 + 26 = 2*k. Suppose r = k*r - 30. Is r a multiple of 10?
True
Let b = 24 - -8. Is 19 a factor of b?
False
Let w(j) = -5*j + 3 + 5*j + j. Let o = -15 - -15. Is w(o) a multiple of 2?
False
Let q(y) = -y + 4. Let u be q(-5). Suppose 0 = -2*h + 7*h. Let k = u + h. Is 9 a factor of k?
True
Let h = -90 + 174. Is h a multiple of 18?
False
Let y be 9*3/9 - 3. Suppose 5*k = 3*k - 4. Is 0 + y + 9 + k a multiple of 7?
True
Suppose 0 = -4*h - f + 1 + 8, 5*h + 3*f = 13. Let o = 10 - h. Is o a multiple of 3?
False
Let a = 203 + -5. Is 33 a factor of a?
True
Let m(w) = w**2 + 9*w - 15. Suppose -a + 5*p - 16 = 0, -3*a - p = 3*p + 29. Is m(a) a multiple of 4?
False
Suppose 0 = -2*q, q - 2 = -a + 6*q. Let z = a - 5. Is z/(-6)*-6 + 35 a multiple of 16?
True
Let f = -27 - -77. Does 10 divide f?
True
Let a(s) be the first derivative of -11*s**2 - s - 2. Does 7 divide a(-1)?
True
Let r = 96 - 160. Let f = -43 - r. Is 9 a factor of f?
False
Let l = 400 + -235. Suppose -5*d + l = -0*d. Is d a multiple of 15?
False
Let o(s) = -s**3 + 4*s**2 + 7*s + 1. Let w be o(5). Suppose -65 - w = -4*x. Is x a multiple of 19?
True
Let o(m) = -m**3 + 12*m**2 - 8*m - 15. Let d be o(11). Suppose 5*c - 3*c = d. Is 3 a factor of c?
True
Suppose 2*u - 2 - 6 = 0. Suppose 18 + 74 = u*p. Is p a multiple of 9?
False
Let g(r) = -r**3 - 4*r - 3. Does 18 divide g(-3)?
True
Let y be -12*(-1)/((-3)/(-2)). Does 6 divide ((-45)/10)/((-3)/y)?
True
Suppose -6*o + 75 = -o. Suppose 2*m - 1 = 4*a + 9, -5*a + o = 3*m. Does 5 divide m?
True
Let f be 33/(0 + (-3)/(-18)). Let l = -96 + f. Suppose 0*a + l = 2*a. Does 18 divide a?
False
Let i(k) = -25*k - 2. Let c(t) = 12*t + 1. Let r(a) = -9*c(a) - 4*i(a). Does 7 divide r(-1)?
True
Let i(a) = 4*a**2 + 2*a - 1. Let v be -1 - (-2*1 + 0). Let h be i(v). Suppose -10 = -3*u - h*c, u + c = -2*c - 2. Is u a multiple of 10?
True
Suppose 4*k - 3*f - 21 = -1, 10 = 2*k - 2*f. Let q be ((-4)/k)/(1/(-60)). Suppose -12 - q = -3*j. Is j a multiple of 7?
False
Let s = 4 + -7. Is 6 a factor of s + (-19)/(-1) + 0?
False
Let o(k) = -3*k**3 - 8*k**2 + 2*k - 1. Let q(y) = 2*y**3 + 8*y**2 - 2*y. Let s(r) = 3*o(r) + 4*q(r). Does 20 divide s(6)?
False
Let z(p) = p**3 - 4*p**2 - 4*p. Let v be z(5). Suppose -v*h = 9 - 59. Is 8 a factor of h?
False
Suppose 0 = 4*q + j - 17, 0 + 24 = 5*q + 4*j. Is 12/4*(q + 0) a multiple of 6?
True
Suppose 160 = 5*d + 5*v, 7*d - 3*v = 3*d + 93. Is 9 a factor of d?
True
Suppose -5*j = 4*r - 28, 5*j = -0*r - 3*r + 16. Is 7 a factor of r?
False
L