**6/120 - m**5/6 + 11*m**4/24 - m**3/6 + 8*m**2. Is n(10) a multiple of 17?
False
Suppose 5*y + j - 80 - 91 = 0, -2*j = 5*y - 167. Suppose -8*d + y = -d. Is d a multiple of 5?
True
Let i(x) = -x + 1. Let c be i(4). Suppose 5*p + 19 = -6. Is 5 a factor of c/15 + (-66)/p?
False
Suppose -6 + 54 = 4*o. Let g(a) = 8*a - 29. Is 23 a factor of g(o)?
False
Let y = 8520 - 5172. Is y a multiple of 62?
True
Is 6 a factor of -4 + 1 - 125*(-11 + 10)?
False
Let z = 16 + -12. Suppose -4*n + 168 = 4*c, 5*n + 0*c = z*c + 174. Is n a multiple of 7?
False
Suppose -482 = -6*x - 62. Suppose -2*u + 10 = -x. Is u a multiple of 8?
True
Let r be (-2396)/(-10) + (-4)/(-10). Suppose 4*n = 88 + r. Suppose 2*z = -5*m + n, -m = 4*m - 10. Is 9 a factor of z?
True
Let v(p) = 16*p + 1. Let g(u) = -u + 1. Let s(j) = 6*g(j) + v(j). Is 11 a factor of s(7)?
True
Suppose -2*s - 238 = -3*y - 6*s, 0 = 5*y - s - 389. Suppose -3*l + y = 3*q, -4*q + l + 88 = -3*l. Is q a multiple of 4?
True
Suppose -2*k + 16 = 3*z, 0*k = k - 5*z + 5. Suppose -2*f + 2 = 0, -5*f - 639 = -9*c + k*c. Is c a multiple of 24?
False
Let x = 616 + 124. Does 23 divide x?
False
Let n(z) = -23*z + 216. Is n(-4) a multiple of 11?
True
Suppose -13*n + 4858 = -11223. Is 60 a factor of n?
False
Suppose -158 = -2*q + 3*l, 5*l = -0 - 10. Is 8 a factor of q?
False
Let j(m) = -10*m**2 + m. Let c be j(-1). Let y = c + 13. Suppose y*o + o = 4*t - 121, -2*t = 3*o - 47. Does 14 divide t?
True
Let t(c) = 37*c**2 - 24*c + 3. Is 24 a factor of t(4)?
False
Suppose -304*u - 460 = -306*u. Is 23 a factor of u?
True
Suppose 3*t = 4*w - 1119, 5*w - 5*t - 1422 = -9*t. Suppose -5*z - 990 = 3*c, c - 396 = 2*z - 0*z. Let f = w + z. Does 24 divide f?
False
Let q be 5 + 4 + (-3 - 1). Suppose -r + q = -339. Suppose r = 4*y + 128. Does 18 divide y?
True
Let t(y) = -y**3 + 7*y**2 + y - 6. Let m be (3 + -6)/((-12)/28). Let g be t(m). Suppose g = -p + 13. Is 12 a factor of p?
True
Suppose 0 = -5*v + 3*b - 5, -2*v = 2*v + 2*b - 18. Suppose -3*j - a - v = -0*j, -4*j = 5*a - 1. Is (-8 - -16) + j/1 a multiple of 7?
True
Let z be (-1 + 1)*5/(-10). Suppose y + 2*d = 11, 3*y + 0*d - d = 12. Suppose z = y*b - 273 + 78. Is 13 a factor of b?
True
Does 14 divide (1372/(-16))/((-14)/112)?
True
Suppose 344*o + 2682 = 346*o. Does 44 divide o?
False
Let n be -5 + (-3 - -5) - -7. Suppose 2*a - 6 = n*d, 6*d + 4*a = d - 14. Does 11 divide 4/(-8) - 111/d?
True
Let i(x) = -4*x + 2. Let a be i(-1). Let o(m) = -m + 8. Let s be o(a). Let b = 7 + s. Is b a multiple of 9?
True
Let z = 1191 + -32. Is z a multiple of 10?
False
Suppose 2*m = 6*d - 4*d + 1034, m + 3*d - 497 = 0. Is m a multiple of 8?
True
Suppose -5*w - 4*j = -65, j - 3*j = -w - 1. Is 4 a factor of w + -4 - 1/1?
True
Suppose -10*m = 2419 - 33289. Does 21 divide m?
True
Suppose 4995 = 8*c + 1187. Is c a multiple of 31?
False
Let f = 301 - 137. Does 41 divide f?
True
Let v = 697 - 1015. Does 4 divide v/(-21) + 4/(-28)?
False
Let w(b) = -b**3 + 10*b**2 - 10*b + 12. Let x be w(9). Suppose 0*c + 2*c - 57 = x*r, -4*r - 83 = -3*c. Is c a multiple of 3?
True
Let i(k) = -k**3 + 13*k**2 + 4*k - 19. Let m be 987/77 - 2/(-11). Is 11 a factor of i(m)?
True
Does 58 divide 608 + (-28)/(6 + -2)?
False
Suppose 9*w + 117 - 3096 = 0. Is 37 a factor of w?
False
Let v(n) be the third derivative of -n**4/2 + 2*n**3 + 37*n**2. Is 4 a factor of v(-4)?
True
Is (-2)/(-5) + -1 + 152/20 a multiple of 3?
False
Let p(d) be the first derivative of 2*d**3/3 + 3*d**2/2 - 3*d + 37. Suppose -5*t - 2 = 28. Is p(t) a multiple of 17?
True
Let i(d) = -3*d. Let u be i(-1). Suppose -t - 12 = -u*v, 4*t + 5 - 25 = -5*v. Suppose 4*y - 172 = -t*y. Is 28 a factor of y?
False
Suppose -3*p - 16165 = -8*p + 5*s, 0 = -3*p + 2*s + 9696. Does 32 divide p?
False
Let n be 35/2*(11 - 13). Does 14 divide (-682)/(-14) - 10/n?
False
Let b be 2*2/((-10)/(-5)). Suppose -3*r - 12 = 0, -b*d - 2*r + 235 = d. Let c = d - 33. Is 7 a factor of c?
False
Let y(l) = 7*l**2 - 16*l - 21. Does 9 divide y(-5)?
True
Let y be (-49)/(-35) - 4/((-20)/3). Suppose 0 = -3*r + 12, 2*r = -y*p + 3*p - 60. Is p a multiple of 14?
False
Suppose -12*h - 3719 = -11495. Is 8 a factor of h?
True
Does 12 divide 1*(7/7 + -2)*-1286?
False
Suppose t - 5*z - 18 = 0, -4*t + 6*z + 72 = z. Suppose 11 = 4*o - 3*h - t, -3*h = 2*o - 1. Suppose -56 = i - o*i. Is i a multiple of 14?
True
Let b(a) = 302*a**2 - 7*a + 10. Let l be b(2). Is (2/6)/(-4 - l/(-300)) a multiple of 7?
False
Suppose 4*u + 1293 = 3*q - 712, 0 = -u + 2. Does 11 divide q?
True
Let q(o) = 5*o**2 - 26*o - 114. Does 30 divide q(-14)?
True
Let m(q) = -q - 148. Let r be m(0). Let z = r - -175. Is 5 a factor of z?
False
Does 8 divide (74 - 62)*(-263)/(-6)?
False
Let m(v) = -v**2 + 25*v + 54. Let d be m(27). Let g be (-1)/(-2) + 2/4. Suppose n - 21 - g = d. Is 14 a factor of n?
False
Let i(c) = c**3 - 7*c**2 + 6*c + 7. Let u be i(6). Suppose -10*w = -u*w. Suppose w = -5*l + q + 27 + 58, -82 = -4*l - 2*q. Does 4 divide l?
False
Does 29 divide (-5)/1*8226/54*-3?
False
Suppose -3*v + 382 = 127. Suppose 0 = -4*f + 3*f + 45. Let j = v - f. Is 10 a factor of j?
True
Suppose -38*h + 17469 = -11*h. Is h a multiple of 25?
False
Let w(f) = -f**3 - f**2 - 2*f - 22. Let n be w(0). Let r = 82 + n. Is r a multiple of 10?
True
Is (-8 - 274/7)/(2/(-14)) a multiple of 22?
True
Suppose 24 = -i + 6. Let m be 2/(-16)*i*48. Suppose 43 + m = 5*v - 4*h, 0 = 2*v + 4*h - 38. Is v a multiple of 4?
False
Suppose -3*l + 8*l = 5*p + 70, 2*p + 14 = l. Let o = l + -12. Suppose s - 45 = -t - t, -o*t + 57 = -3*s. Is t a multiple of 13?
False
Is 19 a factor of (-616018)/(-209) - (-36)/66?
False
Let w = 32 - 22. Let b = w - -28. Does 9 divide b?
False
Suppose -j = -5*g - 220, j + 4*g + 71 = 273. Suppose h = 6*h + j. Let c = h - -155. Is 28 a factor of c?
False
Let f = 11 - 9. Let q be -2*(33/2 + f). Let p = 61 + q. Does 9 divide p?
False
Does 10 divide ((-390)/91)/(12/(-952))?
True
Let d(v) = -3*v**2 + 3*v - 2. Let a be d(3). Let b be (-3)/18 + 5 + (-785)/(-30). Let g = a + b. Is g a multiple of 11?
True
Let n = 413 + 407. Is n a multiple of 8?
False
Let p = -9 - -13. Suppose 2*t + 0*t - p*u - 34 = 0, 4*t = -5*u + 120. Let m = t + -16. Is 7 a factor of m?
False
Let t(p) = -26*p**2 + 2*p - 2. Let d be t(1). Let k(w) = -2*w**2 + 2*w + 4. Let a be k(6). Let n = d - a. Is n a multiple of 5?
True
Let b be 5/(-40) + 132/32. Suppose -4*k + 7*c - 12*c + 237 = 0, 4*k - 232 = -b*c. Does 15 divide k?
False
Let g = -146 + 147. Let u(v) = 324*v + 10. Let x(q) = 65*q + 2. Let f(k) = -3*u(k) + 16*x(k). Is f(g) a multiple of 10?
True
Let r be 2/2 + 3 + -5. Is 3 a factor of r/2*(-4 - 38)?
True
Suppose 0 = 2*j + 4*o + 6, 0 = -2*o - 2 - 6. Suppose 5*r - 7 = -3*v, 1 + 4 = -5*v. Suppose -j*g + 223 = -r*y, 0*g + g + 4*y = 49. Is 9 a factor of g?
True
Let k = -13 - -11. Let m be 3 + -2 - (3 + k). Does 11 divide 1*13 + -2 + m?
True
Let x = 26 + -24. Does 33 divide (-528)/18*(-9)/x?
True
Suppose 0 = -2*l + 5*f + 345, -2*f = -5*l + 930 - 15. Does 12 divide l?
False
Let m be -1 + 3/2 - 52/8. Let d(z) = -z + 6. Does 12 divide d(m)?
True
Let b(t) = -23*t - 16. Let m = -15 - -3. Let x be b(m). Is (x/30)/((-4)/(-6)) a multiple of 5?
False
Suppose 3572 = 4*q - 2*k + 6*k, -q + 3*k + 901 = 0. Is 5 a factor of q?
True
Suppose 5*i + 4 = -91. Does 9 divide -4 + (0 - i) + -1?
False
Let q(n) = 4*n + 577. Is 18 a factor of q(0)?
False
Is 78 a factor of -11 + -4702*(-13)/26?
True
Let a(d) = -d**3 - 3*d**2 + 4*d + 2. Let l be a(-4). Suppose -36 = -2*s - l*s. Let u(k) = 4*k - 6. Is u(s) a multiple of 16?
False
Let m(k) = -k**2 + 14*k - 44. Let z be m(8). Suppose 5*o + 5*l - 92 = 4*o, -z*o + 3*l = -368. Does 37 divide o?
False
Let f be (2 - 1)/(4/28). Let y(z) = z**2 - 7*z. Let n be y(f). Suppose -4*x + 5*w = -68, 5*x + n*w - 85 = -2*w. Is x a multiple of 17?
True
Let q(l) = -2 + 3*l - 8*l**2 + l + 2*l**3 + 0*l + 3. Let d be q(5). Suppose -2*i - 17 + d = 0. Does 9 divide i?
True
Let z(y) = -137*y**3 + 3*y**2 + 5*y + 6. Does 12 divide z(-2)?
True
Let i = -135 + 149. Let h(r) = r**3 - 14*r**2 + 4*r - 28. Does 14 divide h(i)?
True
Is 4/(-40) - 9242/(-20) a multiple of 21?
True
Let b(k) = -k - 4. Let t be b(4). Let x(r) = 2*r**2 + 10*r - 10. Let g be x(t). Suppose -o + 64 = 3*o - 2*v, -2*o + g = 2*v. Is 10 a factor of o?
