160. Is w a multiple of 7?
False
Suppose -136 = -3*m + 203. Let d = -89 + m. Is d a multiple of 8?
True
Let q(x) = x**2 + 11*x + 11. Let f be q(-10). Let s(y) = -10*y**2 - y + 1. Let p be s(f). Let n(j) = j**3 + 11*j**2 + 7*j + 2. Is n(p) a multiple of 8?
True
Suppose -2*b + 148 = -b. Suppose -6*p = -8 - b. Is p a multiple of 11?
False
Let n(v) = -4*v - 2. Let t be (-3 - (-8)/4) + -20. Is n(t) a multiple of 15?
False
Let x = -16 + 20. Let i(h) = 11*h - 5. Let r be i(x). Let m = 74 - r. Is m a multiple of 11?
False
Suppose -3*m + 2*m + 5 = 0. Suppose m*p - 396 = 2*y, -p + 3*y + 57 = -17. Does 20 divide p?
True
Let v(m) = m**2 - m - 7. Let k(q) = -12 + 6 - 4*q + 3*q. Let b be k(0). Is 21 a factor of v(b)?
False
Let a = -97 - -99. Suppose 5*x = -4*j + 299, 300 = 4*j + a*x + 2*x. Is 19 a factor of j?
True
Let m(b) = 8*b**2 + b + 45. Does 37 divide m(7)?
True
Suppose 0 = -h - 0 + 3. Suppose 0 = -h*r + 7 - 1. Suppose 2*q - 10 = 0, -5*n - r*q + 411 = -89. Is n a multiple of 21?
False
Suppose b = -5, -3*s + 1565 = -4*b + 405. Let a = 634 - s. Suppose 4*l - 66 = a. Is 16 a factor of l?
True
Suppose 0 = -25*g + 3203 - 853. Is 7 a factor of g?
False
Does 12 divide 8/((-12)/3) + (-1218)/(-7)?
False
Suppose 0*p = -p + 2. Suppose 5*a - l = -334, p*l - 5*l = -a - 78. Is (a/(-4))/(-3)*-2 a multiple of 4?
False
Let d(o) = -58*o**3 + 2*o**2 - 6*o + 4. Let y be d(3). Is 24 a factor of 8/(-40) + y/(-10)?
False
Let f be (5/2)/(1/24). Suppose 3*q = 21 + f. Is q a multiple of 8?
False
Let k(o) = -o**3 + 5*o**2 - 11*o - 1. Let y be k(3). Does 7 divide y/24 - (-430)/6?
False
Suppose -2*t = t - 12. Suppose -t*o - r - 180 = -540, 5*o = -5*r + 450. Is o a multiple of 18?
True
Let s(m) = -31*m + 154. Let h be s(5). Let d(r) = -30*r**3 - 2*r - 1 - 5*r**3 - 2*r**2 + 0*r**2. Is d(h) a multiple of 12?
False
Let w(x) = 3*x**2 + 43*x + 112. Is 49 a factor of w(-14)?
True
Suppose -15 = -4*d - 3. Does 7 divide 2*22*(-2 + d)?
False
Suppose -5*h + 3*i = 6*i + 2, 4*i = -2*h - 12. Suppose -4 = h*k - 98. Does 38 divide k?
False
Let p = -95 - -312. Suppose w = -5*x + p, -6*x - 2*w = -2*x - 176. Does 16 divide x?
False
Let p = 1382 - 644. Is 82 a factor of p?
True
Suppose -11 - 17 = -5*d - l, -4*d = 3*l - 18. Suppose -s - 30 = -d*s. Suppose 2*m - s*m + 64 = 0. Is 4 a factor of m?
True
Suppose -212 + 23 = -3*k. Let g = k - 35. Is ((-7)/g)/(1/(-12)) a multiple of 3?
True
Let i(a) be the second derivative of -a**4/12 - a**3/3 + 7*a**2/2 + 6*a. Let s(l) = l - 6. Let b(u) = -3*i(u) - 4*s(u). Is 10 a factor of b(3)?
False
Suppose -5*c + 3 = -3*n, 4*n = c - 4 - 0. Let z(w) be the first derivative of -5*w**2 + 1. Is z(n) a multiple of 10?
True
Suppose -4*s + 3*p - 63 = -3, 4*p - 2 = s. Let m be -2 + 2*(-1 - s). Suppose z - 25 - m = 0. Is z a multiple of 15?
False
Let m(v) = -v**3 + 9*v**2 - 10*v + 10. Let j be m(8). Let f = j + -7. Let s(z) = -8*z - 10. Is 25 a factor of s(f)?
False
Is -81*(-3 - 14/(-21)) a multiple of 4?
False
Let g = -14 - -28. Suppose g = -4*p + 2. Is 25 + p - 0/5 a multiple of 22?
True
Let t be (12/(-10))/((-33)/(-220)). Let y(x) = 2*x**2 + 12*x + 4. Let d be y(t). Suppose 3*g - 1 = -4*u + d, 4*u - 3*g - 19 = 0. Does 7 divide u?
True
Suppose 12 - 4 = -5*j + 4*f, j = -5*f - 19. Does 6 divide -120*((-2)/j)/(0 - 1)?
True
Suppose -4*y - 2*p = -46, 3*y = 3*p - p + 52. Is 18 a factor of 760/14 - 4/y?
True
Let g(u) = u**3 + 6*u**2 + 6*u + 2. Let d be g(-5). Let k be 1/(-2)*38 - d. Is (k/24)/((-4)/294) a multiple of 14?
False
Is 8/44 - (-102940)/110 a multiple of 24?
True
Suppose 2*w = -s - 4, -13 = 5*s - w + 4*w. Let u = 21 - s. Does 8 divide u?
False
Let k = 634 + -481. Does 26 divide k?
False
Let k(t) = t**2 + 5*t - 7. Let g be k(-6). Let z be 3 + (g - -181)/3. Suppose d - z = -2*d. Does 7 divide d?
True
Let u = 1065 + -372. Is u a multiple of 21?
True
Let p be (-2)/3*(54/12 + -6). Does 16 divide 5 - (p - (-2)/2) - -93?
True
Let x = 1 - -1. Suppose x*t - 4*n = -n + 2, 3*t - 6 = 3*n. Suppose -43 = -t*u + 69. Is u a multiple of 14?
True
Does 95 divide ((-45)/(-3))/(1/76*4)?
True
Let r = 110 + -173. Let b = 105 + r. Is b a multiple of 14?
True
Suppose 0 = -8*y + 64. Suppose -y*q + 132 = 4*q. Is q a multiple of 4?
False
Let h(x) = 0*x + 19*x**2 + 9 - 3*x + x + 6*x. Does 14 divide h(-3)?
True
Let u(t) = 2*t**2 - 2*t - 8. Does 20 divide u(-6)?
False
Suppose 190 = x - 272. Suppose 0 = 3*y - 5*b - 290, 3*y - 3*b = -2*y + x. Does 15 divide y?
True
Suppose -1627 + 172 = -5*j. Is j a multiple of 21?
False
Let k = -25 - -29. Suppose -k + 0 = 2*s, 3*o = 4*s + 143. Is o a multiple of 16?
False
Let p = 1427 + -804. Is 16 a factor of p/3 + 3*(-5)/(-45)?
True
Suppose 0 = 3*o - 0*o - 12. Let l(x) = 11*x - 4 + 3*x - o*x. Does 12 divide l(4)?
True
Let c be (-36)/(-14)*(-140)/(-6). Let q = 114 - c. Is q a multiple of 16?
False
Let n(c) be the first derivative of c**4/4 - 7*c**3/3 - 7*c**2/2 + 7*c + 6. Let r(z) = -4*z - 4. Let x be r(-3). Is 5 a factor of n(x)?
True
Let b = 71 - 14. Suppose -6*j - b = -3*j. Is ((-8)/3)/(j/114) a multiple of 8?
True
Let d(h) = -h**3 + 9*h**2 - 6*h + 2. Let w be (-2 + 7 + -3)*(-12)/(-4). Does 14 divide d(w)?
False
Suppose 0 = -3*g - 2*j + 4, -3*j + 4 = 2*g + 8. Suppose 5*c = -5*k + 95, -k - 47 = -g*k - 5*c. Does 3 divide k?
True
Let h be ((-9)/(-6))/((-6)/32). Let f be h/(-4) + -1 - -93. Let t = -30 + f. Does 24 divide t?
False
Let l be (-2)/7 + ((-16)/(-14))/4. Suppose l = -3*i + 47 + 58. Does 9 divide i?
False
Is 31/(310/10260)*(-1 + 2) a multiple of 29?
False
Let w(l) = 3*l**3 + 4*l**2 + 2*l. Let y be w(-2). Let q = -9 - y. Suppose 4*h + 4 - 24 = -3*f, 2*h - 28 = -q*f. Is f a multiple of 9?
False
Let s = 13 + -55. Does 12 divide s/(-4) + 18/12?
True
Let b(c) = -2*c - 6. Let y(t) = -t**3 - 5*t**2 - 4. Let o be y(-5). Let f be b(o). Does 3 divide (f + 0 - 13)/(-1)?
False
Let v(p) = -p**3 - p. Let y(c) = -9*c**3 + 8*c**2 - 9*c + 3. Let a(w) = 4*v(w) - y(w). Does 15 divide a(3)?
True
Let y be ((-10)/1 - (-4 + 1))/1. Is 17 a factor of (y/(-2) + -2)*16?
False
Suppose -4*c = -2*d + 24, c - 36 = -3*d - 3*c. Suppose -n = 3*n - d. Suppose 0 = 5*b + 4*r - 68, -2*b + n*r + 12 = -29. Is 4 a factor of b?
True
Suppose 5*g - 333 = -t, -8*g - 1755 = -5*t - 3*g. Is t a multiple of 3?
True
Let m(f) = -3*f**3 + f - 6. Let z be 4/6 - 276/9. Let d be 10/z + (-8)/3. Does 19 divide m(d)?
False
Suppose -10*h = 30*h - 28520. Is 31 a factor of h?
True
Let q be -1 + -42 + (-24 - -26). Let p = q - -55. Does 5 divide p?
False
Suppose 3*o - 26 = -11. Suppose 4*n = 6*m - 5*m + 317, -3*n - o*m + 255 = 0. Is n a multiple of 20?
True
Let l(s) = s**3 - 3*s**2 + 6*s + 1105. Does 17 divide l(0)?
True
Let y(o) = 7*o - 26. Let n(p) = 13*p - 51. Let v(c) = -6*n(c) + 11*y(c). Let x(b) = 3*b**2 - 5*b - 1. Let r be x(3). Does 2 divide v(r)?
False
Suppose 4*x - 19 = -t + 757, 4*x - 8 = 0. Is 64 a factor of t?
True
Suppose -4*i - 163 = 2*n - 959, 3*i - 2*n - 611 = 0. Is i a multiple of 6?
False
Let d = -67 + 100. Let y = -59 + 61. Suppose 6*n - d = -y*u + n, 0 = -u + n + 6. Does 3 divide u?
True
Suppose 3*u = 2*h - 1617, -h - 3*u = -355 - 449. Is h a multiple of 12?
False
Suppose 11*b = 8*b + 15. Is (-1125)/(-12) + b/20 a multiple of 19?
False
Let y = 1606 + -787. Is 50 a factor of y?
False
Suppose 0 = -3*l + 4*d + 33, l = 4*l - 5*d - 36. Suppose 0 = l*h - 2*h - 360. Is 18 a factor of h?
True
Suppose 0 = 17*x + 2989 - 50334. Does 11 divide x?
False
Let h(p) = -p**3 + 4*p**2 + 7*p - 5. Let f be h(4). Suppose -4*j - 11 + f = 0. Suppose 5*q = -0*u - 3*u + 127, j*q + u = 73. Is q a multiple of 11?
False
Does 4 divide (-40)/(-220) + 12382/22?
False
Let j = 677 + -409. Is 29 a factor of j?
False
Let o = 13 - 63. Let f = o + 55. Is 2 a factor of f?
False
Suppose -3 - 9 = -4*c. Let n be c*(152/1 + 3). Suppose -3*d + n = 2*d. Is d a multiple of 21?
False
Let k = 2126 - 2006. Is 7 a factor of k?
False
Suppose -63*q + 943 = -40*q. Suppose 55 = -2*h + 3. Let s = q - h. Does 14 divide s?
False
Let f = 2 + 1. Suppose 5*u = l + 3*l + 19, -5 = u - f*l. Let o = u + 21. Does 14 divide o?
True
Suppose 14*b = -t + 12*b + 576, 0 = 4*t - 3*b - 2249. Is 20 a factor of t?
False
Let s = 172 + 94. Does 7 divide s?
True
Suppose -171*d = -4*k - 169*d + 5680, -4*k + 5680 = -d. Does 20 divide k?
True
Let z(p) = 2*p - 2. Let i be z(2). 