522/7 a multiple of 6?
False
Let w(b) = -46*b - 162. Is w(-15) a multiple of 33?
True
Is 4 a factor of -3 + -3 + 183 + 7?
True
Let t be ((-2)/(-7))/((-2)/(-14)). Suppose -2 = -0*k - k. Suppose 4*q + k*n = 254, t*q - 4*n + 264 = 6*q. Is 11 a factor of q?
False
Let f be (-2)/4*568/(-4). Suppose 391 = 2*b + f. Suppose 0 = -0*n + 5*n - b. Does 16 divide n?
True
Suppose -2019 = 7*q - 9257. Does 11 divide q?
True
Suppose 0 = -5*r + 1282 + 2628. Does 17 divide r?
True
Suppose -2*q - 48 = 6. Let x = q + 34. Is x a multiple of 6?
False
Let h(c) = -c**3 + 9*c**2 + 5*c - 13. Suppose 4*r - 6 = 18. Let s(o) = 3*o - 9. Let v be s(r). Does 7 divide h(v)?
False
Suppose -4*z + k = -2*z - 7, z + 5*k + 13 = 0. Suppose 161 + 199 = -z*q. Is 12 a factor of (q/8)/((-2)/4)?
False
Let j = -734 - -762. Is j even?
True
Let x = -6 - -288. Does 40 divide (4*x/(-4))/(-2)?
False
Let s = 63 + -62. Suppose -2*y + s = -19. Does 2 divide y?
True
Let q = 7 - 15. Let u(b) = -5*b**2 + 19*b - 49. Let t(n) = 3*n**2 - 13*n + 33. Let d(l) = q*t(l) - 5*u(l). Is 11 a factor of d(-13)?
True
Suppose -54*b + 31*b = -6210. Is 9 a factor of b?
True
Let x = 31 + -62. Let y = x - -29. Let o = 43 - y. Is o a multiple of 29?
False
Let c(q) = 12*q + 5. Let w = -1 - -5. Let j(s) = -s. Let b(x) = w*j(x) + c(x). Does 17 divide b(7)?
False
Let y be (-2)/(1 - (-5)/(-3)). Suppose -y*i - 4*u = -63, u + 3 = -i + 23. Is 4 a factor of (-2)/(-6) - i/(-3)?
False
Let k(n) = -n**2 - 13*n - 11. Let w be k(-10). Suppose 0 = c - w + 3. Let s = 28 - c. Does 4 divide s?
True
Suppose z - 886 = i, 3526 = 18*z - 14*z + 5*i. Is z a multiple of 34?
True
Suppose r - 10*r + 9900 = 0. Is r a multiple of 47?
False
Let a(r) = -4*r**3 - r - 1. Let j be a(-1). Suppose -3*k + 69 = -3*x, 5*k = j*x - 3*x + 123. Does 25 divide k?
True
Suppose -2*s - s = -249. Is s a multiple of 25?
False
Let l(u) = 9*u - 14. Let c be l(-13). Let v = 363 + c. Does 29 divide v?
True
Suppose 0 = 8*h - 2*h + 660. Let a = 134 + h. Is a a multiple of 12?
True
Let q(v) = 3*v**2 + 11*v - 16. Let t be q(-12). Suppose -2*l = 5*d - t, -3*d + 299 = 2*d - 3*l. Is 16 a factor of d?
False
Let j(a) = -a**3 + 11*a**2 + 21*a + 16. Is 31 a factor of j(12)?
True
Suppose -4*d + 23 = -5. Suppose d = 3*u + 4*b - 37, -u + 3*b + 6 = 0. Does 6 divide u?
True
Let y(u) = -u**3 + 13*u**2 + 8. Let s(l) = 3*l + 4. Let f be s(3). Let h be y(f). Let n = h - -4. Is 6 a factor of n?
True
Suppose -60*m = -57*m - 1818. Does 17 divide m?
False
Suppose -3*b = b - 16. Suppose x = b*x - 9. Suppose 2*m - 210 = -x*m. Is m a multiple of 14?
True
Let j = -10534 + 16361. Does 67 divide j?
False
Does 7 divide 847/70 + -12 + (-36838)/(-20)?
False
Let x(r) = -3 - r + 2*r**2 + 6 - 9*r. Suppose 15*b = -1 + 76. Is 2 a factor of x(b)?
False
Let f(y) = 12*y**3 + 11*y**2 - 17*y - 1. Is f(2) a multiple of 15?
True
Let m(i) = -2*i**3 - 4*i**2 - 3*i - 3. Let n be ((-36)/60)/(2/(-20)). Let b = 3 - n. Is 6 a factor of m(b)?
True
Suppose 2*v + 0*v + 4*x = 294, 2*x = 6. Suppose 2*a - v = -a. Is 6 a factor of a?
False
Let r(w) = -3*w**2 - 3*w - 2. Let p be r(-4). Let f = 22 - p. Does 10 divide f?
True
Let j = -1139 + 3006. Is 23 a factor of j?
False
Suppose -284 = -0*v - 4*v + 2*o, 3*v - 216 = 3*o. Let d = -49 + v. Is 7 a factor of d?
True
Let x = 3 + -1. Let a(b) = b**2 + b. Let z(u) = 10*u**2 + 4*u - 4. Let m(s) = -3*a(s) + z(s). Is 6 a factor of m(x)?
False
Suppose 16365 + 5451 = 12*t. Is t a multiple of 101?
True
Let w(h) = -3*h**2 - 2*h**3 + 5*h**3 - h**3 + 2*h. Is 8 a factor of w(2)?
True
Let q be 5/2 + (-11)/(-22). Suppose -q*a - 2*a = -4*f + 50, 3*f = -5*a + 20. Suppose -4*j - 114 = -f*j. Is j a multiple of 6?
False
Suppose -3*h - 5*i + 13953 = 0, 0 = -5*h + h - 2*i + 18590. Is h a multiple of 29?
False
Let b(p) = 3*p - 1. Let i be 0 - (1 + 2)*-1. Suppose -2*v + w = 4*w - 22, -i*v + 31 = 4*w. Does 7 divide b(v)?
True
Let c(z) = 3*z - 62*z - 34 + 28*z - 11*z. Is c(-5) a multiple of 28?
False
Let y(v) = 3*v - 4. Let s be y(14). Let g = 5 + s. Is g a multiple of 5?
False
Suppose 6*d + 5*n = 2*d - 2, -4*d = -4*n + 20. Let g = d + 18. Is g a multiple of 8?
False
Let f(d) = -d**3 - d + 3. Let s be f(0). Let p be 5/3 + (-1)/(-3). Suppose -p*t = -s*t + 62. Is t a multiple of 31?
True
Let r(a) = a**2 - 10*a + 4. Let v be r(10). Suppose 7*i - v*i = 0. Suppose 0 = 3*o - i*o - 24. Is 8 a factor of o?
True
Let j be 2/6*180/15. Suppose j*g - 3*i - 535 = 0, -3*g + 394 = -0*g + 5*i. Is 36 a factor of g?
False
Let c be 4 + -5 - 2 - (-1 + 1). Does 2 divide (6 - 1) + 3*1/c?
True
Suppose -1 + 2791 = 15*j. Does 31 divide j?
True
Let p(t) = t**2 - 2*t + 14. Suppose s = 3*s - s. Is p(s) a multiple of 14?
True
Suppose -34 = -2*i + r, -2*r = i - 0*i - 17. Suppose 2*y - 5 = i. Is y a multiple of 2?
False
Let z(g) = -g**3 + 4*g**2 - 2*g + 1. Let c be z(2). Suppose -3*u + 4*d = -0*d - 79, -97 = -c*u - 2*d. Suppose 3*q - u - 33 = 0. Is q a multiple of 6?
True
Let q(k) be the third derivative of k**6/120 + 3*k**5/20 + k**4/3 + 5*k**3/3 - 2*k**2. Suppose 0 = -g - 16 + 8. Is q(g) a multiple of 7?
False
Suppose 8 = 3*z - 4. Suppose -3*w = -2*a - 17, -5*a + a = z*w + 84. Let v = 30 + a. Is 12 a factor of v?
False
Let i(v) = v + 1. Let y be i(2). Suppose -2*u + y = c - 5*u, -c + 38 = 4*u. Is 6 a factor of c?
True
Suppose -99 = -6*d + 9. Is 2 a factor of d?
True
Suppose -60*y = -42*y - 41040. Is 8 a factor of y?
True
Suppose -5*b = -0*b - 45. Let a(h) = 2*h**2 - 3*h**2 - b + 4*h + 8*h. Is 26 a factor of a(7)?
True
Let q = 217 - -337. Does 15 divide q?
False
Let v(a) = a - 1. Let d be v(-8). Is 5 a factor of (45/20)/d*92/(-1)?
False
Let g = 29 + -26. Let v = g - -3. Suppose v*k - 9*k = -120. Is 10 a factor of k?
True
Suppose -1286 = -24*n + 2794. Is n a multiple of 10?
True
Suppose -27*j = -31*j + 124. Let f = j - -7. Does 19 divide f?
True
Let z(l) = l + 3. Let q be z(-3). Let b be ((-14)/(-6))/((-14)/(-24)). Suppose q = b*n + 5*h - 61 - 115, 220 = 5*n + 2*h. Is n a multiple of 16?
False
Suppose -16709 = -5*m - 5*q - 5489, 2*q = m - 2244. Is 12 a factor of m?
True
Let x(s) = -s**3 + 9*s**2 + 2*s - 13. Let y be x(9). Suppose -y*o = -110 - 10. Is 6 a factor of o?
True
Suppose 2 = -b + 2*b. Let g(a) = -5*a - 17*a**2 - 1 + 18*a**b - 1. Does 4 divide g(-3)?
False
Suppose -2*u = -n - n - 64, -126 = -4*u + 2*n. Let r = -42 - -26. Let j = u + r. Does 8 divide j?
False
Suppose -h = 7 + 20. Let u = h + 50. Let i = 33 - u. Does 5 divide i?
True
Let h = 110 + -26. Does 21 divide h?
True
Let b = -8 - -10. Let t = b - -24. Is t a multiple of 12?
False
Let h(v) = -v - 3. Let u be h(-3). Suppose u = 4*c - 4*l + 2*l - 136, -91 = -3*c - 4*l. Suppose 9*t - 10*t = -c. Is t a multiple of 11?
True
Let h be (-2)/2 + (4 - -162). Is (-112)/(-6)*h/20 a multiple of 25?
False
Let o be (-1*1)/(6 + (-1166)/194). Let w = -49 + o. Does 8 divide w?
True
Suppose -o = 3*o - l, -5*l + 23 = 3*o. Let b(g) = 2*g**2 - 6*g - 6. Let r be b(-3). Does 14 divide o + r + -3 + 4?
False
Let z = -47 + 98. Does 4 divide z?
False
Let j = -101 + 193. Let p = j + -45. Does 9 divide p?
False
Let n = 29 + 1. Let d be (n/(-35))/(3/(-14)). Suppose 3*m - 9 = 0, 0*x + m = d*x - 53. Is x a multiple of 7?
True
Suppose 953 - 3365 = -9*o. Is o a multiple of 22?
False
Suppose -12 = 3*p - 18. Suppose p*b - 2 = 4. Suppose -k - b*k = -24. Is 3 a factor of k?
True
Let o be (9/(-6))/(3/16). Let b(d) = d**3 + d**3 - d**3 - 2 + 9*d**2 + 5*d. Is b(o) a multiple of 11?
True
Let g be 0/(1 - 3 - -1). Suppose -o + g = -8. Suppose -3*c + o = -c. Is 3 a factor of c?
False
Suppose 0*y - p + 3 = 2*y, -y - 16 = 4*p. Suppose y*u = a - 16, u = 2*a + 2*u + 4. Suppose -7*r + 5*r + 20 = a. Is r a multiple of 3?
False
Let w = 2071 + -1074. Is 47 a factor of w?
False
Let f(t) be the second derivative of t**5/20 - 5*t**4/6 - 5*t**3/6 - 8*t**2 - 15*t. Is 15 a factor of f(11)?
False
Let h(c) = -c**3 - 12*c**2 + 6*c + 9. Let d be h(-12). Let r be 158022/d + (-4)/(-14). Does 14 divide (-6)/10 + r/(-30)?
False
Let y = 69 - 70. Does 10 divide (y + 2/6)*-45?
True
Suppose 16 = 3*v - o + 1, -5*v + 32 = -4*o. Is 7 a factor of (v/6)/(5 + 1707/(-342))?
False
Let j(k) = k**3 - 8*k**2 + 6*k + 7. Let r be j(7). Let p = -38 - -27. Is 5 a factor of r/5 - (p + -1)?
False
Suppose 4*m = y - 632, 1 = 3*m + 10. Is 25 a factor of y?
False
Le