 -22. Does 16 divide (3 + w)*(-170)/15?
False
Let c = 42 - 33. Suppose 3*r - c = 5*j, 2*r + 3*j - 9 - 16 = 0. Is 4 a factor of r?
True
Suppose -31*w - 4*w + 103250 = 0. Does 128 divide w?
False
Let d = -1034 - -1610. Is d a multiple of 64?
True
Let c = 581 + -330. Is 5 a factor of c?
False
Let s be -6 - -2 - (-16 - 2). Let r = s - 12. Suppose -6*f - 51 = -3*h - f, r*h - 12 = -4*f. Is 6 a factor of h?
True
Let x = 683 + -578. Is x a multiple of 7?
True
Suppose -2*z + 3*b = -24, 4*z - 5*b = 71 - 23. Let u = 12 - z. Suppose 0 = 3*i + 3 + 6, u = -2*l + 3*i + 37. Is 8 a factor of l?
False
Let y(o) = 2*o**3 - 40*o**2 - 111*o + 60. Let p(j) = -j**3 + 20*j**2 + 55*j - 30. Let a(q) = 13*p(q) + 6*y(q). Is a(22) a multiple of 16?
True
Let s(q) = 31*q**2 + 2*q - 79. Does 73 divide s(-11)?
True
Suppose -2*h = -5*b + 8, 40 - 8 = 2*h + 5*b. Suppose 4*s - h = 18. Does 4 divide s?
False
Let z(g) = -g**3 + 4*g - 1. Let d be z(-8). Let o = -319 + d. Suppose -3*i = -5*i + o. Is i a multiple of 20?
True
Is -1 + 1 + 2079/11 a multiple of 7?
True
Suppose 6 = q - 0*q. Let k(b) be the first derivative of -b**3/3 + 5*b**2 - 4*b + 322. Does 20 divide k(q)?
True
Let c(s) = -10*s**2 - 2*s - 2. Let n be c(-1). Let o = 78 + n. Is o - 3/((-6)/8) a multiple of 24?
True
Is 12/(-3)*35/(-2) a multiple of 5?
True
Suppose -15*u = 21*u - 50904. Is u a multiple of 18?
False
Let t(d) be the third derivative of d**6/40 - d**5/15 - 5*d**4/24 + d**3/3 - 4*d**2. Is 21 a factor of t(3)?
False
Is ((-340)/7)/(4/(-4 - 24)) a multiple of 34?
True
Suppose -17*v + 19*v = -5*o + 2647, -1319 = -v - o. Is 21 a factor of v?
False
Let v(z) = -z**2 + 9*z - 16. Let r be v(6). Suppose 3*a - 70 = -r*a. Is 2 a factor of a?
True
Let v = -285 + 605. Is v a multiple of 10?
True
Let y = 0 - -2. Suppose r + y*z = -3*z + 132, -2*r - z + 264 = 0. Suppose 4*c - 96 = r. Is 19 a factor of c?
True
Suppose 0 = 2*u + 3 - 1. Let a be u*7/(28/(-136)). Suppose -k - a = -3*k. Is k a multiple of 3?
False
Let f(u) = 43*u - 9 - 24*u - 23*u. Let n be f(9). Is 9 a factor of -1*(-9)/(-15)*n?
True
Suppose i + 3*n - n = 509, -4*i - 3*n + 2011 = 0. Is i a multiple of 19?
False
Suppose -4*o = 6*p - 462, -5*p = -10*p - o + 378. Is p a multiple of 19?
False
Let d = 436 - 391. Is 19 a factor of d?
False
Suppose 0*k = -3*o + k + 2, 0 = 5*k + 10. Suppose o = 9*t - 5*t - 204. Is 17 a factor of t?
True
Let x = 189 + 325. Is 113 a factor of x?
False
Let t(x) = x**3 - 3*x**2 - 3*x - 1. Let i be t(3). Does 21 divide (219 + 1)*i/(-25)?
False
Suppose 5*w + 0*b + 4*b - 64 = 0, w = b + 11. Suppose -w*v = -13*v + 38. Does 13 divide v?
False
Let i(h) = 2*h**3 - 2*h**2 + 2. Let k be i(3). Let v = k - 58. Is 10*-8*2/v a multiple of 7?
False
Let o(m) = -2*m**2 - 17*m - 7. Let b be o(-7). Suppose 6*j + 376 = b*j. Does 9 divide j?
False
Suppose p - 2 = 2. Let w(s) = -2*s - 1. Let m be w(p). Is 5 a factor of 60/m*(-6)/4?
True
Suppose -m = -5*p + 6*p - 22, 0 = -4*m + 2*p + 82. Is m a multiple of 21?
True
Let n(u) = -53*u**2 + 7*u + 2. Let k(v) = 52*v**2 - 6*v - 1. Let q(x) = 4*k(x) + 3*n(x). Is 16 a factor of q(1)?
True
Suppose 157 - 127 = -5*q. Does 22 divide 2 + -1 - 42*q/12?
True
Let y(j) = 13*j**2 - 43*j + 271. Is y(8) a multiple of 33?
True
Is 27 a factor of (9 - (-4 - -9)) + 266?
True
Let y(l) = l**2 - l - 1. Let w be y(-2). Let r be 0 - 3*(0 + -1). Suppose 4*f + r*a = 68, -w*a - 41 = -3*f + 10. Is 7 a factor of f?
False
Suppose -x - 275 = -4*b + 2*x, 4*x - 154 = -2*b. Suppose 0*z - 3*m + b = 2*z, 108 = 3*z + 5*m. Does 29 divide z?
False
Suppose -60437 = -51*p - 2297. Does 30 divide p?
True
Let m(h) = 3*h + 12. Let u be m(-6). Let q(v) = v**2 + v + 17. Is 27 a factor of q(u)?
False
Suppose -h = 2*i - 6, 2*h = i - 8 + 15. Suppose h*n - 344 = -72. Suppose -n = -q - 3*q. Does 3 divide q?
False
Let w be (-454)/(-8) + (-3)/4. Let l = -4 + w. Is 13 a factor of l?
True
Suppose -2*c - z = 18, 3*c + 19 = 4*z + 3. Let m(q) be the first derivative of -3*q**2 - 7*q + 4. Is 16 a factor of m(c)?
False
Let s(h) = h - 2. Let k(y) = y**2 - 10*y + 4. Let w be k(10). Let r be s(w). Suppose 0 = 3*c + r*c - 35. Does 6 divide c?
False
Let n(t) = 4*t**2 + 14*t + 37. Is 8 a factor of n(-14)?
False
Let x be (204/(-9))/(2/(-6)). Suppose 0 = -4*o + 3*o + 185. Suppose w + x = o. Is 34 a factor of w?
False
Suppose 4*r - 436 - 2864 = 0. Does 33 divide r?
True
Let h = -15 + 49. Let f = -73 - -50. Let u = f + h. Is 3 a factor of u?
False
Suppose -8*r + 418 + 206 = 0. Is 2 a factor of r?
True
Suppose 5*t - 1123 + 438 = 0. Let q = t - 80. Is 25 a factor of q?
False
Suppose -3*a + 104 = a. Let c = a + 44. Is c a multiple of 12?
False
Let v(m) = 2*m**3 + 15*m**2 - 2*m + 12. Does 5 divide v(-7)?
True
Suppose 0 = 3*a + a - 2048. Is a a multiple of 16?
True
Let q = 131 + -129. Let v be (2 - -10)/(3 + -2). Is 5 a factor of (-122)/(-12) - q/v?
True
Let h(n) = 6*n + 15. Let l be h(7). Let m be 2/(-3) - 230/15. Let b = l + m. Is 6 a factor of b?
False
Let f(x) = -8*x - 36. Let o be f(-7). Suppose 7*r = 2*r + o. Is r a multiple of 3?
False
Suppose -3*y + 1487 - 26 = 5*n, 3*n + 993 = 2*y. Let i = y + -330. Is i a multiple of 27?
True
Let j = 124 - 164. Let x be (-2)/4 - (-141)/(-2). Let t = j - x. Does 31 divide t?
True
Let m(w) = 399*w**2 + 12*w - 12. Is m(1) a multiple of 63?
False
Let w(x) = -37*x + 12. Let r(v) = 129*v - 42. Let n(d) = -5*r(d) - 18*w(d). Does 61 divide n(9)?
True
Let x(h) be the first derivative of 11*h**4/4 + h**3/3 + h**2/2 + 8*h + 9. Let a(t) be the first derivative of x(t). Does 8 divide a(-1)?
True
Suppose -n = -4*n + 12. Let d(y) be the third derivative of y**5/20 - y**4/24 + 32*y**2. Is d(n) a multiple of 17?
False
Suppose 2*b = b - 32. Let w = 4 - b. Is w a multiple of 6?
True
Suppose -49 = -3*h + s, 5*h + 0*h - 4*s = 84. Suppose 0 = -18*o + h*o + 70. Does 13 divide o?
False
Let q(y) = -y**2 - 5 - 4 - 4*y**3 + 9. Let v be q(-1). Suppose 4*z - v*u = -22 + 108, -u = 2*z - 38. Is 10 a factor of z?
True
Suppose 2*y - 2519 = -5*g + 2128, -g = -1. Is y a multiple of 18?
False
Let s(y) = 4*y**3 + 55*y**2 + 13*y - 17. Is s(-12) a multiple of 8?
False
Let w(k) = 34*k**2 - k - 4. Let x be w(-3). Let h = 477 - x. Is 43 a factor of h?
True
Let j be (-4)/(-6) - 16/24. Suppose -16 = 4*z - j*z. Does 16 divide (-3 - -87) + 0 + z?
True
Let g(z) = -3*z**3 - 2*z**2 - z. Let o be g(-1). Suppose 0 = 3*s - m - 17, -3*m + 5*m = -o*s + 6. Suppose 33 = s*n - 22. Does 3 divide n?
False
Is 7 a factor of (-7)/(6 + 1)*-178?
False
Let d = 11 - 11. Let v be ((-66)/(-11))/((-2)/(-18)). Suppose d*c + 3*c + v = 4*u, 17 = u + c. Does 13 divide u?
False
Suppose -y + 1 = z, -z + 2*y + 6 = -1. Suppose 6*x = z*x - 30. Let b = 83 - x. Is b a multiple of 30?
False
Let k(u) = 20*u + 2. Let p be ((-10)/20)/((-2)/8). Does 29 divide k(p)?
False
Suppose -26*c + 2*c = -11856. Is 58 a factor of c?
False
Let d(o) = o**3 - 5*o**2 + 2*o + 6. Let t be d(6). Suppose -z + 2*z - t = 0. Is z a multiple of 9?
True
Suppose 3*d = 2*d, -4*w + 4 = 5*d. Is w/3 + (-40)/(-6) a multiple of 3?
False
Suppose 14 + 32 = u. Suppose -126 = -2*o - u. Does 7 divide o?
False
Suppose -3 = -3*h - 3*z, 5*z = 3*h - 0*h + 29. Is 10 a factor of h/(-6 + 3)*212?
False
Suppose -72*r = -95*r + 1288. Does 7 divide r?
True
Suppose 5*j + 6 = 2*h, -4*j + 4*h = -3*j - 6. Let m(p) be the first derivative of -3*p**4/4 + 2*p**3/3 + p**2/2 - 2*p + 6. Does 14 divide m(j)?
True
Let h = 11 + -19. Let x(d) = -d**3 - 7*d**2 + 9*d + 10. Let j be x(h). Suppose 5*o - 32 + j = 0. Is o a multiple of 2?
True
Let h(k) = -2*k**3 - 8*k**2 - 4*k - 1. Suppose -6*r = -2*r + 20. Does 23 divide h(r)?
True
Let d(z) be the second derivative of -z**5/20 - z**4/2 + 2*z. Let x be d(-5). Let m = x + 69. Does 10 divide m?
False
Let d(v) = -v**3 - v**2 + v + 1. Let g(z) = -2*z**3 + 3*z**2 + 2*z + 1. Let h(a) = -d(a) + g(a). Let f be h(5). Is 1/5 - 1296/f a multiple of 13?
True
Let o = 1772 - 1661. Does 31 divide o?
False
Let a be ((-2)/6)/(2/(-3 + -21)). Suppose -15 - 17 = -a*s. Is s even?
True
Let s = 15 - 10. Let l(a) = a**3 - 7*a**2 + 6*a + 7. Let v be l(s). Let t = v - -36. Is t a multiple of 13?
False
Suppose 10*c - 2862 = c. Is c/(-4)*(-40)/12 a multiple of 14?
False
Suppose -v - 3*v + 22 = 3*k, k = -v + 6. Suppose -24 = k*s - 28. Suppose 0 = -s*n - 3*n + 280. Is n a mu