+ 1. Suppose 3*r - 11 = w, 6*w - 2*w = v*r - 4. Let s = r + 16. Is 7 a factor of s?
False
Suppose 6*x = x - 45. Is x/15*(-10)/2 a multiple of 2?
False
Let n(c) = 21*c + 3. Let w be n(-4). Let o = -2 - 0. Is o/(6/w) + -1 a multiple of 14?
False
Let x(z) = z - 1. Let m be x(4). Suppose 0*t - 15 = -m*t. Suppose 4*u + t*q - 42 = 0, u + 2*q = -3*q + 18. Is 8 a factor of u?
True
Let d(s) = -6*s**2 + 7*s + 2. Suppose -5*b = 4*h + 19, -4*h = h + 2*b + 28. Let a(w) = 7*w**2 - 8*w - 2. Let r(u) = h*d(u) - 5*a(u). Does 4 divide r(-3)?
False
Let s(o) = o**3 + o**2 + 15. Let u be s(0). Is 5 a factor of (u/(-2))/((-2)/4)?
True
Let z = -110 + 58. Let l = 5 + z. Let t = -15 - l. Does 13 divide t?
False
Suppose 2*x = 6*x - 2*y + 14, -y + 16 = -5*x. Let k(t) = -16*t. Is k(x) a multiple of 16?
True
Let g(k) = -88*k**2 + k. Let d be g(1). Does 9 divide d/(-9) + (-2)/3?
True
Suppose 0 = 5*t + 1 - 11, 86 = 3*y - 2*t. Is 18 a factor of (-560)/y*18/(-7)?
False
Let h(a) = -3*a + 3. Let u be h(4). Let p(f) = f**2 + 3*f + 10. Let n be p(u). Suppose n = 5*c - 4*g + g, g - 16 = -c. Is c a multiple of 6?
False
Let u(x) = 18*x. Does 9 divide u(1)?
True
Let s(m) = -20*m. Let t be s(-1). Let g = 27 - t. Is g a multiple of 2?
False
Suppose -5*d = -157 + 62. Does 19 divide d?
True
Let h = 3 - -1. Suppose -r = -0*r + h. Let q(n) = n**3 + 5*n**2 - 2. Does 14 divide q(r)?
True
Let r(v) = -v**3 - 9*v**2 - 11*v - 4. Is r(-10) a multiple of 16?
False
Let l(s) = s**2 - 2*s + 6. Is 6 a factor of l(8)?
True
Let p = -7 - -4. Let g = -1 - p. Suppose a = g + 3. Is a even?
False
Let y = 81 + -131. Let n = y + 125. Does 25 divide n?
True
Let f be 1*(-1 + 2)*-13. Let u = -7 - f. Does 4 divide 4 + (u/3)/2?
False
Suppose 3*y - 7 = 5. Suppose r + 89 = 7*m - 2*m, -4*m + y*r + 68 = 0. Is 8 a factor of m?
False
Let t(b) = -14*b + 1. Suppose 3*w + 2*w = -10. Does 13 divide t(w)?
False
Let g(d) = 2*d + 8. Is 8 a factor of g(4)?
True
Is 6 + (-36)/6 + (-56)/(-1) a multiple of 14?
True
Suppose 4*c = 59 - 15. Let b = 23 - c. Is 7 a factor of b?
False
Suppose 5*u - 13 = -4*d, 2 = 5*d + 5*u - 13. Suppose -q = -d*q. Suppose 2*k - 6*k - n + 9 = 0, q = 5*k - n - 18. Is 3 a factor of k?
True
Let m = -10 - -11. Is m/(3 + 64/(-22)) a multiple of 3?
False
Let v be 6/9 + (-8)/(-6). Suppose v*a - 6*a - 108 = -4*c, 5*a - 68 = -2*c. Is c a multiple of 15?
False
Let a(t) = t**3 - 5*t**2 + 5*t + 4. Let n be a(4). Let o(k) = -4*k**2 + 2*k - 1. Let x be o(1). Let g = n - x. Is 11 a factor of g?
True
Let y = 61 + 155. Is y a multiple of 12?
True
Let f be 13/4 + 15/20. Suppose -2*l + 4*h + 26 = 0, -l + 4*h = -f*l + 59. Let k = 34 - l. Is k a multiple of 14?
False
Let o = -7 + 10. Suppose 5*q + o = 23. Is 3 a factor of q?
False
Let g = 198 + -128. Is g a multiple of 10?
True
Suppose 3*p = -43 + 253. Let m = p - 33. Suppose -3*a = -m + 10. Is a a multiple of 5?
False
Let g = 15 - 3. Is g a multiple of 3?
True
Suppose 3*l + 3*f = -2*f + 304, -300 = -3*l - 3*f. Does 38 divide l?
False
Suppose 0*z + 2*z = 30. Let a = z - -13. Is a a multiple of 7?
True
Suppose j + 2*j + 4*x - 9 = 0, j - 4*x - 3 = 0. Suppose 0 = j*d - 5 - 253. Does 27 divide d?
False
Let k = 113 + 22. Is k a multiple of 27?
True
Let w(z) = z**3 + 8*z**2 + 6*z - 8. Let y be w(-7). Let s = 1 + y. Does 10 divide 1*11 + (s - 1)?
True
Let x = -106 - -153. Is 14 a factor of x?
False
Suppose 12 = 3*n - 4*k, -3*n + 4 - 10 = 2*k. Suppose 4*i + 4*q - 108 = n, -3 = -2*i + 2*q + 39. Does 12 divide i?
True
Suppose -4*p - 3 - 13 = 0, c - p = 6. Is 14 a factor of -20*c*(-18)/16?
False
Let x = -5 - -7. Suppose x*s - 7 = -b, -2*b - 3*s + 12 = -s. Is b a multiple of 5?
True
Let c(w) = -10*w**3 - w**2 + w. Let b be c(1). Let n = b + 16. Is n a multiple of 3?
True
Suppose -5*r + 4 = -5*y - 46, 2*r = -2*y. Is r a multiple of 3?
False
Let r be 2/7 - 306/(-7). Let j = -11 + r. Does 11 divide j?
True
Let d(m) = m**2 + 2*m + 21. Does 9 divide d(0)?
False
Suppose j = -1 + 4. Suppose -5*b = -j*b - 30. Suppose d + 5*m = -0*d + b, 2*d - 37 = -3*m. Is d a multiple of 10?
True
Let y(k) = k + 52. Does 4 divide y(-12)?
True
Let m(j) = j + 12. Is m(18) a multiple of 15?
True
Suppose -3*d + 148 = -2. Is 22 a factor of d?
False
Suppose -5*s + 3*j - j = -16, 2*s - j = 6. Suppose 0 = 2*l - 16 + s. Is l a multiple of 3?
True
Let w = 26 + -15. Does 2 divide w?
False
Suppose -5*w = 5*x - 1405, 3*w + 5*x = 2*w + 261. Is w a multiple of 41?
False
Let v(b) = -b. Let z be v(-2). Let l = 20 - z. Is 424/36 - (-4)/l a multiple of 8?
False
Does 6 divide (-7 - 21)/((-2)/15)?
True
Suppose 6*h = r + h + 18, 0 = 3*r - 2*h - 11. Let m(t) = t + 2. Is m(r) a multiple of 7?
False
Suppose -5*b - 19 = -4*h, 2*h - b + 5*b = -10. Is 8 a factor of h + -2 + 138/6?
False
Suppose -6*m = -5*p - 2*m + 331, 0 = -4*p - 3*m + 240. Is 9 a factor of p?
True
Let g(u) be the first derivative of 2*u**2 - u + 3. Is g(6) a multiple of 9?
False
Let u(n) = -n**2 - 10*n - 13. Let d be u(-9). Let k = d + 7. Suppose 31 + k = z. Does 13 divide z?
False
Let g(v) = -v**2 - 16*v + 13. Is 7 a factor of g(-6)?
False
Let a(o) = o**2 - 7*o + 4. Let q be a(4). Let x = q - -13. Suppose -4*t + 9 + x = 3*u, 4*u - 32 = -2*t. Is 10 a factor of u?
True
Suppose 0 = -u + 3 - 1. Let g = u + 1. Is g a multiple of 2?
False
Suppose 0 = 5*k - 271 - 434. Suppose -3*r = -3*v + 15, -3*v - 1 + 0 = 5*r. Suppose -2*a + 6*a - f = k, -v*f = -2*a + 83. Is a a multiple of 17?
True
Let n(q) = 2 - 12 - q**2 + 0*q**2 + 0*q + 11*q. Does 7 divide n(8)?
True
Let u(o) = 10*o - 24. Does 3 divide u(5)?
False
Let v(x) = 2*x**3 - 17*x**2 + 6*x - 15. Is 4 a factor of v(9)?
True
Let f be (-1)/2 + 915/6. Suppose 2*v = -4*n + 58, 8*v + 3*n - f = 3*v. Is v a multiple of 15?
False
Let c(x) = -x**3 + x**2 - x + 5. Let h be c(0). Suppose 20 = h*l - 0*l. Suppose -3*m - 2*n + l*n = -57, -m = -2*n - 19. Is 5 a factor of m?
False
Let g = 2 + 1. Let f be 6 + 3/(g/(-2)). Suppose -f*x = -7*x + 48. Is x a multiple of 16?
True
Suppose 0 = 2*l - 5*l + 3*x - 30, -2*l + 4*x - 20 = 0. Let f be 2*l*2/(-8). Suppose -17 = -d + f. Is 11 a factor of d?
True
Does 3 divide 19*(-4 + 2)/(-2)?
False
Suppose -h = 300 - 560. Is 10 a factor of h?
True
Let y = 135 + -29. Does 11 divide y?
False
Suppose 0 = 3*l - l - 10. Let x(j) = -j**3 + 7*j**2 - 5*j + 1. Does 13 divide x(l)?
True
Let v(l) = 21*l**2 + 2*l - 1. Let x be v(2). Suppose 3*t + 0*i - 4*i - x = 0, -4*t + 116 = -i. Is t a multiple of 16?
False
Suppose -2*t + 8 = 2*t - 2*n, -t = -5*n + 7. Suppose s - 3*s - t*o - 11 = 0, 3*s + 4*o + 15 = 0. Is 21 - (s + 0 + 3) a multiple of 19?
True
Let i be ((-3)/2 + 1)*-4. Suppose 0 = 3*c + 3, 140 = b - 2*c - 0*c. Suppose j + i*j = b. Does 17 divide j?
False
Let d = 5 + 0. Suppose q + 36 = d*q. Suppose m = 44 + q. Is m a multiple of 14?
False
Suppose 0 = -3*i - i + 60. Is 15 a factor of i?
True
Suppose 3*g - 2*g = -3*a + 412, 5*g + 164 = a. Is a a multiple of 46?
False
Let c(o) = -o**2 + 7*o - 4. Let s be c(5). Let h = 7 - s. Does 10 divide 1 + 8 - (-2 + h)?
True
Let y(o) be the second derivative of o**5/20 - o**4/12 + o**3/3 + 2*o**2 - 2*o. Is y(4) a multiple of 20?
True
Let p be 2/(-4) + (-245)/(-10). Let b = -13 + p. Is b a multiple of 5?
False
Let v(f) = 2*f + 2. Does 18 divide v(10)?
False
Suppose s - 12 = 40. Let n be 2/4*s/2. Suppose 2*q - 15 - n = 0. Does 7 divide q?
True
Let c = 26 - 4. Does 11 divide c?
True
Suppose -3*d + 5*j = -3 + 14, 4*d - 3*j = 0. Is 19 - 1*(d - 1) a multiple of 17?
True
Let g(s) = s**3 - 5*s**2 + 2*s - 2. Let a be g(6). Let y = a + 6. Suppose 3*r + y = 2*v, -15 = 3*v - r - 86. Is 10 a factor of v?
False
Suppose -4*q + 127 = -225. Does 22 divide q?
True
Suppose -3*m - 7 - 1 = -2*n, -2*n - 2*m + 8 = 0. Does 10 divide n/(8/62) + 2?
False
Suppose -119*f - 1875 = -124*f. Is f a multiple of 15?
True
Let u = 162 + -94. Is 21 a factor of u?
False
Suppose c = 2*f + 13, 25 = 2*c + 2*f - 5*f. Is 11 a factor of c?
True
Suppose 5*o - f - 129 = 2, 0 = -2*o + 3*f + 42. Let s = 60 - o. Is 11 a factor of s?
True
Let q(d) be the first derivative of d**4/4 + 7*d**3/3 + d**2/2 - 5*d - 7. Does 25 divide q(-5)?
False
Suppose -4*s + 9*s - 70 = 0. Does 25 divide (-346)/(-14) - s/(-49)?
True
Let q(a) = -a**2 - a. Let n be q(0). Suppose -4*z + 125 = -n*j + 5*j, -4*z + 83 = 3*j. Is 11 a factor of j?
False
Let r(s) 