0*u = -u + r. Is u a multiple of 21?
False
Let i(p) = -p**2 - 4*p + 2. Let q be i(-3). Suppose 4*n - q*d = 301, -n - 2*d + 73 = -4*d. Is n a multiple of 19?
False
Let k be (4/(-5))/(2/10). Let d be (k/(-6))/((-1)/(-9)). Let s = 2 + d. Is 8 a factor of s?
True
Suppose -o - 2*f - 7 = 0, 0 = -4*o - 2*f + 1 - 11. Let g be 23/o*(3 - 2). Let n = 41 + g. Is n a multiple of 9?
True
Let b = -415 + 764. Does 16 divide b?
False
Let b = -23 - -14. Let t = -5 - b. Suppose 3*w - 11 = -2*y, 2*y = t*w - 56 + 18. Does 3 divide w?
False
Suppose 6 = -3*m - 4*h, 5*m = 2*h - h - 33. Let b = m - 29. Let i = 61 + b. Is 13 a factor of i?
True
Suppose 0 = m - 43 + 4. Is m a multiple of 26?
False
Let r = -155 + 270. Is 20 a factor of r?
False
Let y(v) be the third derivative of v**4/24 + 31*v**3/6 - 2*v**2. Does 9 divide y(0)?
False
Let b = 78 - 82. Let m(x) = -4*x**2 + 28*x + 18. Let o(u) = 3*u**2 - 19*u - 12. Let y(t) = -5*m(t) - 7*o(t). Is y(b) a multiple of 4?
False
Let u = -18 + 20. Is 17 a factor of -4*34/(-8)*u?
True
Let g = 18 + -15. Suppose g*j = o - 4*o + 48, 0 = -5*o + 5*j + 120. Is o a multiple of 10?
True
Let d = -9 - -14. Suppose -5*c + c = -m - 8, -2*c = d*m - 70. Is m a multiple of 4?
True
Is 34 a factor of (-5)/(-25) - (-3222)/15?
False
Let g(x) = 4*x**2 + 5*x + 2. Let y be g(-3). Suppose 4*v - 5*v = -y. Is v a multiple of 17?
False
Let y(h) = h**3 - 2*h**2 - 3*h - 5. Let w(f) = -2*f**2 - 2*f + 2. Let x be w(-2). Let g = x + 6. Is 7 a factor of y(g)?
False
Suppose -7*p + 3*p + 288 = 0. Is p a multiple of 14?
False
Does 25 divide 7/14 - (-147)/2?
False
Let u = 6 + -4. Suppose -u*w - w = -111. Is 13 a factor of w?
False
Let x = -62 - -116. Is x a multiple of 18?
True
Let h(x) = 41*x**3 - 2*x**2 + 2*x - 1. Suppose k = -t - 3, 2*k + 2*t = -k - 5. Does 20 divide h(k)?
True
Let k(u) = u**2 + 9*u + 4. Let r be k(-9). Suppose h = r, -50 = -4*g + 2*h + 2. Does 9 divide g?
False
Suppose -s = -5*x + 2*s + 33, 0 = 4*x + 3*s - 48. Suppose 29 = 3*u + 3*z + 5, 0 = -4*u - z + 29. Suppose x = t - u. Is t a multiple of 8?
True
Let r(g) = -g**2 + 22*g + 8. Is 9 a factor of r(20)?
False
Let q(l) = l**2 - 5*l - 5. Let i(n) = -1. Let t(j) = 4*i(j) - q(j). Is 2 a factor of t(4)?
False
Let k(n) = 0*n**2 - 3 + 4*n**2 - 3*n - 3*n - 3*n**2. Is k(10) a multiple of 14?
False
Suppose 8*n - 13*n + 150 = 0. Is n a multiple of 5?
True
Suppose 2*i + 3*t - 42 = -3*i, 0 = 5*i - 5*t - 50. Let h(o) = 8*o**2 + 2*o**2 + 4 - 9*o + 2*o**3 - 3*o**3. Is 2 a factor of h(i)?
True
Let u(h) = -h**3 + 5*h**2 + 8*h - 7. Let m(f) = -3*f - 6. Let l be m(-4). Is 2 a factor of u(l)?
False
Suppose 0 = 4*j + 26 + 22. Let z be (-20)/j*3/1. Suppose 7 = 3*f - z. Is 4 a factor of f?
True
Suppose 0*s = -2*s - 8. Let n be (4 + s)*(-1)/(-2). Suppose n = -y + 5*g + 13, 152 = 5*y + 8*g - 4*g. Is y a multiple of 13?
False
Suppose 0 = v - 6*v + 90. Does 6 divide v?
True
Let d(z) be the second derivative of -z**3/3 - z**2 - 2*z. Let c(m) = m - 4. Let r be c(0). Is d(r) a multiple of 6?
True
Suppose 5*y - y = 2*w - 64, -4*y - 72 = -4*w. Does 8 divide ((-16)/10)/(y/420)?
True
Let o = 409 + -159. Suppose -o = -16*l + 11*l. Is l a multiple of 10?
True
Suppose 0 = -7*u + 3*u - 8. Let h(q) = -2*q**3 + 2*q**2 - 2*q - 1. Is 12 a factor of h(u)?
False
Let g(u) be the second derivative of u**7/840 - u**6/90 - u**5/40 - u**3/3 - 3*u. Let f(q) be the second derivative of g(q). Is 10 a factor of f(5)?
True
Suppose 2*p - 4 = -4*s, s + s = 0. Let a = p - -3. Is 5 a factor of a?
True
Suppose 8*k - 3*k = -90. Let b be 18/8*(-96)/k. Suppose -b = -5*j + 3. Is j a multiple of 3?
True
Let g(w) = 9*w**2 + 1 - 9*w**2 - 2 - 15*w**3. Is 12 a factor of g(-1)?
False
Does 15 divide (-2)/(-11) + (-8160)/(-132)?
False
Suppose -3*a + 2 = -2*p + 5, -4*p - 3*a + 15 = 0. Does 3 divide p?
True
Suppose -274 = -9*l + 707. Is l a multiple of 12?
False
Let y(l) = 7*l**3 + 2*l**2 - 2*l - 1. Is 23 a factor of y(2)?
False
Suppose -2*l = -l - 4. Let d(n) = 5 + l*n - n + 0. Is d(5) a multiple of 9?
False
Let n = -11 - -47. Is 19 a factor of n?
False
Suppose 11 = 2*o + 3. Suppose o*z + g = 80, 5*z - 3*g - 57 = 43. Does 10 divide z?
True
Let z = -214 - -318. Suppose -z = -2*k - 0*k. Is 13 a factor of k?
True
Let f(t) = -4*t**3 + 46*t**2 + 8*t + 30. Let m(o) = o**3 - 15*o**2 - 3*o - 10. Let i(v) = 2*f(v) + 7*m(v). Does 12 divide i(-13)?
False
Let k be 1 - ((0 - -2) + -129). Suppose k = -4*q + 12. Let a = -11 - q. Is 9 a factor of a?
True
Let c(x) = 7*x**2 + 2*x + 3. Let g be c(7). Suppose -y = 4*y - g. Is 24 a factor of y?
True
Is (-1 + 14)/(-5 + 6) a multiple of 3?
False
Let i(m) = m**2 + m + 1. Let v(b) = b**3 - 5*b**2 - 6. Let l(h) = i(h) + v(h). Let c be l(4). Is 9 a factor of (-1*19)/(0 + c)?
False
Let h(u) = u**3 + 2*u**2. Let r be h(-4). Let n(l) = -l**3 - 7*l**2 + l + 9. Let i be n(-7). Let g = i - r. Is 13 a factor of g?
False
Suppose 5*t + 3*g + 4 = 12, t - 24 = 5*g. Let k be (-1)/2 + 2/t. Suppose 5*d + u - 110 = -k*d, 0 = -d + u + 16. Is 8 a factor of d?
False
Suppose -4*o + 8*o = 200. Is o a multiple of 10?
True
Let y = -100 + 190. Is y a multiple of 18?
True
Let i = -132 + 257. Is i a multiple of 7?
False
Suppose -12*l = 8*l - 1260. Does 9 divide l?
True
Let n(s) = 21*s**2 - 5*s + 2. Does 20 divide n(2)?
False
Let q = -36 + 66. Is 30 a factor of q?
True
Suppose -5*n + 40 = -2*n + 4*t, 2*n + t = 20. Suppose p = -p + n. Is 4 a factor of p?
True
Let q = -5 - -2. Let p = -1 - q. Suppose -2*x + p = -12. Is x a multiple of 3?
False
Suppose -5*l + 15 + 7 = -i, 5*i = 5*l - 10. Suppose -l*g = -57 + 7. Suppose -5*k + g = 0, 236 = d + 4*d - 2*k. Does 17 divide d?
False
Let m(o) = 5*o**2 - 4*o + 3. Let z be m(2). Suppose 3*w - 3*b + 15 = 0, 3*w + 6*b - 3*b - z = 0. Suppose -2*y + 18 + 8 = w. Does 8 divide y?
False
Suppose -2*w + w - 5*k + 70 = 0, -3*k = -4*w + 280. Is w a multiple of 13?
False
Suppose 2*b = -4, 3*b + 52 = -t - 2*b. Does 23 divide (t/18)/((-2)/36)?
False
Suppose 3*n + y - 134 = -12, -5*y = 3*n - 130. Is n a multiple of 5?
True
Let k be 22/6 + (-2)/(-6). Suppose -202 = -5*i - 37. Suppose -i = -7*x + k*x. Is 4 a factor of x?
False
Let d(k) = 11*k. Let i be d(-1). Let v = i + 22. Is v a multiple of 11?
True
Let i = 2 - -2. Suppose -i*c + 2*c + 6 = 0. Is (39/15 - c)*-90 a multiple of 10?
False
Let r(z) = z**3 - 12*z**2 + 11*z - 16. Let c be r(11). Let u = 31 + c. Does 15 divide u?
True
Let o be 45 + 2/1*1. Suppose -5*s + o = -3. Is s a multiple of 5?
True
Let x be 4/(-6)*3/(-2). Let b be 16 + -1*(2 - x). Suppose -g + b = 4*g. Does 2 divide g?
False
Suppose -5*f + 4*f = -28. Is f a multiple of 7?
True
Suppose -2*m + 46 = -18. Does 26 divide m?
False
Let z be -2 + 5 - (-2 + 0). Suppose -d + 3*i = 9, i = 2*d + 18 - z. Is 51/7 + d/21 a multiple of 3?
False
Let r(o) = -o - 4. Let u be r(-6). Suppose -5*p - u*z + 10 = 0, 5*p - 4*p + 21 = -5*z. Is 2 a factor of p?
True
Suppose 37 + 139 = 4*h + 4*t, -4*t + 137 = 3*h. Is 6 a factor of h?
False
Let k(q) = q**3 - 9*q**2 + 9*q + 6. Let w be k(8). Let m = w + 9. Is 22 a factor of m?
False
Let p be (5/(-2))/(1/(-18)). Let q = p - 24. Does 13 divide q?
False
Suppose 24 = 5*f - 1. Suppose 4*i = -4*t + 3*t - f, 3*t - 5*i - 53 = 0. Is 11 a factor of t?
True
Let r = 28 + 38. Is r a multiple of 22?
True
Let v(g) = g**2 + 7*g - 9. Let q be v(-8). Let i(y) be the first derivative of -2*y**2 + y - 1. Does 4 divide i(q)?
False
Suppose 3*g - 6*g - 15 = 0, -x + 21 = -g. Suppose -10*n - x = -12*n. Is n a multiple of 3?
False
Suppose 0 = -4*i + 47 + 113. Let q = i + -15. Does 10 divide q?
False
Let n(l) = 4*l. Is 6 a factor of n(3)?
True
Suppose -2*s + 39 = 2*l - 5, -s = -4*l + 63. Let y = 24 - l. Is 3 a factor of y?
False
Let h = -264 - -414. Is 25 a factor of h?
True
Suppose 0 = -4*g + 4*r + 228, 3*r - 221 = -0*g - 4*g. Let j be (-3)/(-6)*6/1. Suppose -x - g = -j*x. Is x a multiple of 14?
True
Let v be (-2)/(-1 + -1)*2. Suppose 32 = v*o - 0*o. Is ((-36)/o)/(3/(-8)) a multiple of 6?
True
Let c be (18/4 - -2)*2. Let p(o) = 2*o - 2. Is 8 a factor of p(c)?
True
Suppose -6*y + 76 = -2*y. Is y a multiple of 7?
False
Let b(v) = 32*v**2 - 2*v + 1. Does 37 divide b(-2)?
False
Let q(a) = 16*a**2 - 3*a + 2. Is q(2) a multiple of 20?
True
Suppose -4*k + 2*s = -8*k + 18, -4*k = 3*s - 13. Is 7 a factor of k?
True
Let o(m) = -m**3 - 4*m*