+ 249. Is w a multiple of 17?
True
Is 26 a factor of -4 - ((-420)/3 - 0)?
False
Suppose -m = -0*m + 6. Let c = 9 + m. Suppose -c*r = -2*h + 102, -3*h + 0*h = 5*r - 153. Does 13 divide h?
False
Let a(c) = -c**2 + 10*c - 4. Let o be a(9). Suppose -2*y = 3*y - o*p - 125, 31 = y - 4*p. Does 8 divide 1 - (3 - (y + 3))?
True
Suppose -d = -7*d + 90. Is d a multiple of 5?
True
Let k = 44 + -77. Let r = k - -59. Let g = 2 + r. Is g a multiple of 11?
False
Suppose 5*t - t + 19 = -b, -5 = -5*b + 5*t. Does 7 divide (-10)/(-6)*(b - -9)?
False
Let k = -2 + 0. Let i(t) = -t**3 + 2*t + 1. Does 5 divide i(k)?
True
Let w be 960/9 - 1/(-3). Is 17 a factor of w/3 + (-2)/3?
False
Suppose a = 25 + 45. Does 14 divide a?
True
Let z = -77 + 200. Is z a multiple of 41?
True
Let a(k) = -k**2 + 12*k - 11. Is a(6) even?
False
Suppose -17*n = -16*n - 10. Is 5 a factor of n?
True
Suppose 36*y - 42*y = -792. Does 44 divide y?
True
Suppose -2*i - 3*b - 552 = -6*i, 3*i = 5*b + 425. Does 27 divide i?
True
Suppose 66 = -b - 4. Let o(d) = -2*d + 9. Let t be o(6). Does 10 divide b/t + (-8)/(-12)?
False
Suppose 2*m - 11 = -2*n + 3, 2*n = -4*m + 22. Suppose c + c - n*y = 6, 5*y = 4*c - 16. Is c a multiple of 4?
False
Is 41 a factor of (7 + 1)*1845/60?
True
Let q(r) = -4*r**2 - 2*r + 1. Let d(p) = p**3 - p + 1. Let s(g) = -d(g) + q(g). Let y(z) be the second derivative of s(z). Is 12 a factor of y(-6)?
False
Let z(f) = f**3 + 6*f**2 - 6*f - 5. Let m be z(-6). Let a = m - 4. Is 13 a factor of a?
False
Suppose p - 11 = -0*p. Suppose -p = -0*b - b. Is 6 a factor of b?
False
Suppose -3*g + h - 699 = -78, 207 = -g - 2*h. Let o = -117 - g. Is o a multiple of 15?
True
Let m(v) = -16*v. Let f be m(-9). Suppose 0*i = -3*i + f. Is 24 a factor of i?
True
Let g(w) = -w**3 - 9*w**2 - 12*w - 9. Let b be g(-8). Suppose -27 = -5*v + b. Does 5 divide v?
True
Suppose -p - 3*s + 8 = 0, -3*s + 0*s - 7 = -2*p. Let t(g) = 5*g - 5. Let j be t(p). Suppose 0 = 2*k + 3*k - j. Does 3 divide k?
False
Let r be -6*(-6)/45*5. Suppose 6 = y - r. Does 10 divide y?
True
Suppose 4*r = -r + 380. Suppose -h + r = 9. Is h a multiple of 26?
False
Let z(r) = 4*r**2 + 3*r - 3. Is z(3) a multiple of 14?
True
Let c = 6 + -2. Let l = c - -31. Does 13 divide l?
False
Suppose -b + 6 = b. Suppose 0 = -b*g + 9, -g - 19 = -4*z + 2*g. Does 4 divide z?
False
Let p(q) = 8*q**2 - 8*q + 29. Does 27 divide p(5)?
True
Suppose 4*c + 24 = 8*c. Does 6 divide c?
True
Let p be (2 - -2) + 2 - 1. Suppose 4*t + 2*z + 14 = p*t, -2*z = -3*t + 42. Is t a multiple of 12?
False
Let g be (2/(-5))/((-3)/15). Let w = g - -1. Suppose 5*t = w*f + 71, 2*t - f - 24 = 4. Is 5 a factor of t?
False
Is 5 a factor of 17/51 - (-14)/3?
True
Let y(l) = 3*l - 13. Is y(18) a multiple of 3?
False
Suppose 9*c + 48 - 246 = 0. Is c a multiple of 11?
True
Let u be -1*3/(6/(-4)) - 2. Suppose 0 = 2*q + 2*f - 6, -13 - 8 = -5*q - 2*f. Suppose -123 = -q*j - 3*i + 119, u = -2*j - 4*i + 108. Is 16 a factor of j?
False
Suppose -36 = -4*y - 4*h, 30 = 2*y + 5*h - 0*h. Let n = y + 5. Suppose n = 2*w, -3*w = 2*d - 0*w - 75. Is 8 a factor of d?
False
Let k(b) be the third derivative of b**4/6 - b**3/2 + 2*b**2. Suppose 3*t + 5 = 14. Does 6 divide k(t)?
False
Suppose 4*q + 42 = 3*b, -b + 26 - 5 = q. Is 6 a factor of b?
True
Suppose -3*p = -20 + 146. Let s = p + 82. Does 20 divide s?
True
Suppose 3*n - 32 = 7*n. Let f(y) = y + 18. Is 8 a factor of f(n)?
False
Let a(z) = 164*z + 6. Is 14 a factor of a(1)?
False
Let s = 8 - -21. Let c = s - 12. Does 6 divide c?
False
Let n(i) = -i**2 + 5*i + 4. Let x be n(5). Suppose -y = -3*y - x. Does 3 divide (-2 + (-5)/y)*6?
True
Let z be 6/(-9)*(-1 + -20). Suppose 8*y = 13*y - 175. Let s = y - z. Is 7 a factor of s?
True
Let u(i) = 8*i**2 + 2*i + 2. Does 24 divide u(-5)?
True
Let r = -2 + 4. Suppose r*c = c + 45. Suppose 7*l - 2*l = c. Does 4 divide l?
False
Suppose -4*f - 13 + 111 = -2*d, -4*f = d - 95. Does 24 divide f?
True
Let i(y) = y**3 - 6*y**2 + 6*y - 4. Does 32 divide i(6)?
True
Suppose 20 = -0*y + 4*y. Is 7 a factor of -1*y/(10/(-24))?
False
Let u = 131 - 67. Let k = -38 + u. Is 8 a factor of k?
False
Suppose -k + 4*f = -24, 0 = 3*k - 5*f - 41 + 4. Suppose k*u - 15 = -4*t + 61, -5*t + 83 = u. Does 5 divide t?
False
Suppose 0*k - 5*k = 0. Suppose 0*s + s - 99 = k. Let t = -58 + s. Is t a multiple of 14?
False
Let x be 1/(2 - (-7)/(-4)). Suppose x = 4*i - 2*i. Let z = i - -19. Is z a multiple of 7?
True
Let r = 260 - -16. Suppose -q = 2*c - 110, -3*c - 2*q = 2*c - r. Is 13 a factor of c?
False
Let n(t) = 16*t. Let a be n(1). Suppose 2*m = 3*m - a. Is m a multiple of 5?
False
Suppose 2*j + 10 - 47 = -5*g, 39 = 4*j + 3*g. Let y(h) = 36 - 20 - 3*h + h**2 - 22. Does 4 divide y(j)?
True
Let s(c) = c**3 - 11*c**2 + 11*c + 1. Is s(10) a multiple of 3?
False
Suppose 0 = 4*i - 0*p - 5*p - 149, p + 129 = 4*i. Let z(y) = 52*y + 1. Let a be z(3). Suppose -x - i = -u, 5*u - 2*x = x + a. Is u a multiple of 9?
False
Suppose -370 = -6*j + 140. Does 9 divide j?
False
Suppose 3*i - 8 = -2*r, -i - i - 4 = -r. Suppose -3*b + 86 = -4*c, -r*b + 7*b - c - 71 = 0. Is b a multiple of 11?
True
Let t(y) be the first derivative of y**3/3 + 7*y**2/2 + 3*y - 2. Is 2 a factor of t(-7)?
False
Suppose -8*i = -3*i - 25. Suppose -5*h = -i*f - 10*h, -3*f - 4*h = 3. Let k = 8 - f. Is k a multiple of 4?
False
Let b = -2 - 0. Let q be -3 + 4 + b + 1. Suppose -5*a + r + 140 = q, -2*a - 3*r - 123 = -6*a. Is a a multiple of 8?
False
Let m(l) = l**3 + 3*l + 2*l**2 - l + 2 - l. Let d be m(-2). Suppose -4*w + 12 + 52 = d. Does 8 divide w?
True
Suppose 0 = 4*c - 0*c - 3*j - 351, 0 = -c + 3*j + 81. Is 10 a factor of c?
True
Let k(i) = i - 1. Let n be k(4). Suppose -5*j = b - 95, 5*b + n = -22. Is 10 a factor of j?
True
Suppose -w = 4*w - 40. Suppose 208 = -4*a + w*a. Is 15 a factor of a?
False
Is 23 a factor of 57 - ((-14)/6 + (-7)/(-21))?
False
Suppose 9*a = 4*a + 3*p + 5, -5*p + 4 = 4*a. Let v be (-1 + (a - 0))/(-1). Suppose v = 4*x - 46 - 2. Does 11 divide x?
False
Suppose 4*b - p - 27 = 0, -2*b + 42 = 3*b - 4*p. Does 10 divide ((-8)/b)/(10/(-75))?
True
Let i = 19 + -17. Suppose 5 = k - 7. Let b = k - i. Does 5 divide b?
True
Let j = -8 - -10. Suppose 12 = s + 2*s + 3*w, -j*s + 2*w = 12. Is 5 + 3/s + 12 a multiple of 14?
True
Let j(s) = 2*s - 1. Let b be j(3). Let u = 10 - b. Suppose -u*w - 3*n + 83 = 0, -6*n + n + 37 = 3*w. Does 8 divide w?
False
Let i(f) = -4*f**2 + 12. Let n(a) = -5*a**2 - a + 13. Let b(q) = 7*i(q) - 6*n(q). Does 7 divide b(-4)?
True
Is -5*3/(-45) - 32/(-3) a multiple of 11?
True
Let r be 0/(-2)*(3 + -4). Suppose -3*f + 80 + 1 = r. Does 13 divide f?
False
Let f(y) = -y + 8. Let v be 9/((3 + -1)/(-2)). Is f(v) a multiple of 17?
True
Let b be 63/(-49) + (-4)/(-14). Let d be 0 + -5 - (0 - b). Is d/4*16/(-6) even?
True
Suppose -k - 5 = -6*k. Let q(o) be the second derivative of 7*o**3/6 - o**2/2 - o. Does 3 divide q(k)?
True
Let x = 74 + -43. Suppose z + 4*s = x, 2*z - 4*s - 1 = 49. Does 9 divide z?
True
Suppose 4*c + 4*g - 10 + 26 = 0, c = 3*g - 12. Let v(x) = -2*x - 9. Let i be v(c). Suppose 3*j + i = q - 10, -q = -j - 23. Is q a multiple of 11?
False
Is 4 a factor of (-21 - -16)*(0 - 4)?
True
Suppose 0 = 4*k - 2*w - 338, 60 = 2*k - 4*w - 106. Is 17 a factor of k?
True
Suppose 2*h - 2*g = -4, -16 = -h - 3*g - 6. Is 25 a factor of h*(-9)/3 + 85?
False
Let w(h) = -h**3 - 7*h**2 - h - 9. Let s be w(-7). Let z be -1 + -1 - (0 + s). Suppose z*d = 3*d - 66. Is 11 a factor of d?
True
Suppose -8*p = -88 - 200. Does 12 divide p?
True
Let z = 4 - -9. Let t be -1 + (-2 + 3)*z. Let j = 36 - t. Is 12 a factor of j?
True
Let y(i) = -i**2 + 3*i. Let p(g) = g. Let a be (1/(-1) + 2)*3. Let z(q) = a*p(q) - y(q). Is 12 a factor of z(-6)?
True
Let i(l) = 2*l**2 - 3*l. Suppose 2*o - 3*f - 2 = 1, 0 = 3*o - f + 13. Let z = -3 - o. Is 3 a factor of i(z)?
True
Suppose t - 2*x - x - 255 = 0, 5 = -x. Is 10 a factor of t?
True
Let i(f) = 4*f - 2. Let d be i(3). Let h(o) = 4 + o**2 - d + 0 + o. Does 8 divide h(-6)?
True
Let n = -6 + 16. Suppose n*m - 220 = 5*m. Is m a multiple of 10?
False
Let s = -5 + 5. Does 14 divide (s + 7)/(1/4)?
True
Suppose -4*w = -5*c - 81, -w - c = -2*w + 19. Let p = 21 - w. Does 7 divide p?
True
Let b be (1 - 1 - -2) + 1. Let t = -21 + 31. Suppose 2*g = 5*m + 51, m 