16. Suppose -12*b - 30 = -17*b. Is 3 a factor of (1 + 8)*n/b?
True
Suppose 327*x - 336*x + 2376 = 0. Is x a multiple of 11?
True
Let i(x) = 34*x - 211. Is i(13) a multiple of 77?
True
Let c(h) be the third derivative of h**7/1680 - 7*h**6/360 + 2*h**5/15 + h**2. Let s(u) be the third derivative of c(u). Is s(12) a multiple of 22?
True
Let r = -43 + 45. Suppose 5*u = -3*t + 172, -r*t = -5*u + 26 - 149. Is 7 a factor of t?
False
Let k be (-2)/(-6) + 1400/30. Suppose k = 2*c + 23. Does 3 divide c?
True
Is 3 a factor of 6 - (-4 + -410 + 6)?
True
Suppose -50 = 2*y + 400. Let g = -63 - y. Let i = g + -111. Does 17 divide i?
True
Suppose 15 = 2*n + h - 24, 16 = n + 4*h. Suppose -2*j = -3*t - 10, n = 5*j - t - 4*t. Suppose 5*q - 54 = -0*i - 3*i, j*i - 5*q = 11. Is 13 a factor of i?
True
Suppose -5*i = 4*u - 0*i - 528, i + 660 = 5*u. Suppose -3*p = 3*p - u. Is 11 a factor of p?
True
Suppose 18*g - 5468 - 3892 = 0. Does 4 divide g?
True
Suppose 0*m = 4*m - 808. Does 4 divide m?
False
Suppose c + 4*c = 10. Let n be (c/(-6))/(4/(-924)). Suppose -72 = -2*b - 2*z, 5*b + 4*z = -n + 253. Does 11 divide b?
False
Suppose -1982 - 263 = -5*o. Suppose 0 = -5*l + o - 59. Is 12/l + 152/26 a multiple of 6?
True
Let m = 21 - 26. Let c(x) = 7*x + 12. Let q be c(m). Let i = q - -95. Is i a multiple of 13?
False
Let t(f) = 3*f + 18. Let n be t(-6). Suppose n*c + 33 = c. Is 11 a factor of c?
True
Let t be 3/((-12)/(-16)*2). Suppose 285 = t*m - 251. Is (-3)/4 - m/(-16) a multiple of 4?
True
Let r be 27/(-6)*(-16)/(-24). Is 15 a factor of 162/10*(r - -8)?
False
Suppose 9*b - 544 = 257. Is 12 a factor of b?
False
Is 44 a factor of (21/(-6))/(4/(-1056))?
True
Suppose -3 + 1 = -m. Suppose 2*n = n - 5*j - 10, 4 = m*n + 2*j. Suppose n*y + 5*v = 75, v = 3*y + 6*v - 37. Is y a multiple of 8?
False
Suppose -6*j = -23*j + 21641. Is 67 a factor of j?
True
Suppose -2*i - 2 = -4*h - 0*i, -2*i = 5*h + 2. Suppose h = -g + 57 + 90. Does 49 divide g?
True
Is 24 a factor of (3 + -2)/(4/564)?
False
Is (9522/(-12))/((45/(-4))/15) a multiple of 46?
True
Let j be 3/18 - (-87)/18. Suppose 0 = j*h + g - 231 - 84, 0 = -h + 3*g + 63. Does 11 divide h?
False
Let i(b) = b**3 + b**2 + 14. Suppose -3*v + 8*v = 0. Let p be i(v). Suppose p*c - 18*c + 64 = 0. Is c a multiple of 16?
True
Let p be 3/(2 - (-881)/(-442)). Suppose -5*h = 5*m - 550, -2*m - 2*m = 2*h - p. Is m a multiple of 15?
False
Let z(l) = -3*l**3 - 4*l**2 - 6*l - 6. Let j be z(-5). Let t = j + -173. Is t a multiple of 27?
False
Let c be (0 - 1)*3 - 3*-14. Suppose 0 = 3*k - 51 - c. Is k a multiple of 5?
True
Let h = 149 + -249. Let a = h + 174. Does 13 divide a?
False
Let k = -30 + 35. Let m(s) be the second derivative of s**5/20 - 5*s**4/12 + s**3/3 - 5*s**2/2 - 2*s. Is 2 a factor of m(k)?
False
Let c(p) = p**2 - 15*p - 4. Is 3 a factor of c(-8)?
True
Suppose 0*w = -2*w. Let q(g) = g**2 - g + 3. Let t be q(w). Suppose -4*f + 167 = t*r, -4*f - 5*r + 161 = -0*f. Is 18 a factor of f?
False
Let z(a) = -a + 34. Let m = 0 + 15. Let o be z(m). Let p = o + -13. Is p a multiple of 4?
False
Suppose 0*u - 5994 = -3*u + 5*n, 3*u - 5994 = 2*n. Suppose -8*r = -17*r + u. Is 29 a factor of r?
False
Let a(t) = -t**2 + 6*t - 5. Let v be a(-4). Is (-7)/((-7)/138)*(-30)/v a multiple of 46?
True
Suppose -4*s + 276 = -44. Is 35 a factor of s?
False
Suppose -1459 = -z - r, -5*r = 46*z - 43*z - 4369. Is 77 a factor of z?
True
Suppose 11 + 29 = 4*w. Suppose w*b = 4*b + 12. Suppose 0 = 4*r - b*g - 224, -r + 70 = g + 2*g. Does 9 divide r?
False
Let q(f) = 18*f**2 - 25*f - 5. Does 21 divide q(-7)?
False
Suppose 251 = c + 2*m, -c + 789 = 2*c - 3*m. Does 8 divide c?
False
Let o(j) = 2*j**2 - 12*j - 9. Is 10 a factor of o(9)?
False
Let o be (-620)/(-30) - (-4)/3. Suppose 0 = -3*w + 26 + o. Is w a multiple of 5?
False
Let a(y) = -y**3 - 25*y**2 + 2*y + 55. Let w be a(-25). Suppose 4*f - w*n = 5*f - 105, -5*f + 3*n = -553. Is 22 a factor of f?
True
Let p = 356 + 46. Is 51 a factor of p?
False
Let a = 21 - 13. Suppose -5*y + a = -17. Suppose 0*g = -4*i + g + 276, y*g - 276 = -4*i. Is i a multiple of 23?
True
Let q(z) = 4*z**3 + z + 0*z**3 + 196*z**2 - 196*z**2. Let x be -3*((-3)/9 + 0). Is q(x) a multiple of 3?
False
Is 54 a factor of 2698 - 5*(-40)/50?
False
Suppose -4*m - 5*w = -5*m - 7, w = -2*m + 8. Let k(n) = 15 + 8 + 5 + 0 - m*n. Does 10 divide k(-14)?
True
Suppose 0*u + 25 = -5*u. Is 50/(-15)*3*2/u a multiple of 4?
True
Let d = -118 - -406. Let h = -171 + d. Does 39 divide h?
True
Let c = -22 - -42. Suppose 5*h = 160 + c. Is 27 a factor of h?
False
Let t(h) = -11*h**3 - 3*h**2 + 9*h + 22. Let n(c) = -7*c**3 - 2*c**2 + 6*c + 15. Let r(f) = 8*n(f) - 5*t(f). Does 4 divide r(0)?
False
Let r(n) = 621*n + 17. Does 11 divide r(1)?
True
Let w = -33 + 33. Suppose 2*u + 3*u - 5*v - 475 = 0, w = 4*u - 2*v - 384. Does 14 divide u?
False
Let v = 113 + -62. Let s be (3 - (-26)/(-6))*(-42)/4. Let h = v + s. Is h a multiple of 13?
True
Suppose -1867*n = -1869*n + 46. Is n a multiple of 2?
False
Is (2*(-3)/9)/(6/(-1647)) a multiple of 4?
False
Let c = 7 - 3. Suppose 0 = 3*h - w - 469, 2*h + 3*h = -c*w + 810. Is 11 a factor of h/14 + (-10)/35?
True
Suppose -q + 406 = -0. Let g be q/10 + 27/(-45). Let d = g + -30. Does 5 divide d?
True
Let j = 13 - 10. Let g be -24 - (j - (7 + -1)). Let d = g - -39. Does 6 divide d?
True
Suppose -2*u + 70 = 4*z, 2*u + 10*z - 8*z - 68 = 0. Suppose 2*t = 5*v - 8, -2*t + 6 = 4*v - 2*v. Is 22 a factor of (341/u)/(v/6)?
False
Let d = -14 + 16. Let u be 36/d - (-12)/(-4). Suppose 2*z - 31 = -3*q, -z - 1 = -3*q + u. Is q a multiple of 7?
True
Let o(i) = 20*i**2 - 1. Let t be o(-3). Suppose 0*c - c - t = -5*g, g + 5*c - 41 = 0. Is g a multiple of 3?
True
Let w = -114 - -116. Let a(x) = 17*x**2 - 6. Does 10 divide a(w)?
False
Let n be (-10 + 8)*(-34)/4. Let i = n + -15. Suppose 5*g - o - 138 = 3*o, -i*g + 45 = -5*o. Does 7 divide g?
False
Suppose 5*u - 4 = 4*u. Is (-90)/(-12) - (-2)/u a multiple of 4?
True
Let y = -955 + 1833. Does 4 divide y?
False
Let j = -10 + 15. Suppose j*m - 521 = -61. Is m a multiple of 17?
False
Let d(g) = 3*g**3 + 135. Let n(m) = -16*m**3 - 675. Let f(a) = 11*d(a) + 2*n(a). Does 22 divide f(0)?
False
Let n = -76 + 268. Let c be n/9 - 3/9. Does 5 divide c + (-4 - -8)*1?
True
Let p(d) = 8*d**2 - 8*d - 70. Does 9 divide p(-13)?
True
Let q(p) = p + 13. Let h be q(15). Let u = 43 - h. Does 4 divide u?
False
Suppose 4*s + 20 = -5*o - 20, -5*o = 2*s + 30. Let c be 2/o*-2*-15. Is 14 a factor of ((-3 - -4) + c)*-2?
True
Let t(y) = -6*y - 14. Suppose 5*s + 0*s = 25. Let j = -16 + s. Does 13 divide t(j)?
True
Let x be ((-32)/12 - -1)*3. Let i(d) = d**3 + 5*d**2 - 2*d + 8. Is i(x) a multiple of 2?
True
Suppose 3*l + q = -0*l + 10, 4*l = q + 4. Suppose l + 2 = -m. Does 17 divide ((-34)/(-8))/((-1)/m)?
True
Let v(j) = -2 - 117*j + 2 + 38*j + 1. Is v(-1) a multiple of 23?
False
Let i(y) = -y**3 - 30*y**2 + 54*y - 34. Is 8 a factor of i(-32)?
False
Let a(t) = -t**3 + 12*t**2 + t. Let h be a(6). Does 11 divide (-1)/5 + 4/40*h?
True
Let q(d) = -40*d + 136. Is q(-21) a multiple of 61?
True
Suppose 209*c = 214*c - 1100. Does 22 divide c?
True
Suppose 0 = 4*t + 3*k - 24, -4*t - 1 = k - 25. Suppose g = 2*j - t*j + 908, -5*g = 4*j - 892. Is 13 a factor of j?
False
Suppose 13*l = 10*l + 603. Suppose -993 = -6*a - l. Suppose 4*z + 3*q = a, 3*z = q - 29 + 141. Is 12 a factor of z?
True
Suppose 18975 = 59*q - 36*q. Is q a multiple of 32?
False
Let z(u) be the third derivative of -139*u**4/24 - u**3/2 - 7*u**2. Let s be z(-1). Does 17 divide (21/28)/(2/s)?
True
Suppose 2*f - 5 = -3*h + 6, -5*f + 24 = 4*h. Let s = f + -7. Is 10 a factor of 24/(s/12*-6)?
False
Suppose -5*h - 49 = -739. Is h a multiple of 26?
False
Suppose -7*u = -57 - 48. Let c = -9 + u. Does 2 divide c?
True
Let b(m) = -4 + 6 + 8*m - 4. Let i be b(6). Suppose -3*x + i = 4*y, -y - y = -4*x + 54. Is x a multiple of 8?
False
Let x(r) = -2*r**3 - 5*r**2 + 2*r - 6. Let o be x(-3). Does 13 divide (-63*2/(-10))/(o/(-20))?
False
Suppose 4*s - 19 = 29. Suppose -3*u - s = 72. Is 9 a factor of (-6)/(-9)*6 - u?
False
Suppose -i = 4*i - 410. Suppose 5*j + l - 118 = 0, l + i + 40 = 5*j. Does 12 divide j?
True
Let y = -2243 - -2780. Is y a multiple of 6?
False
Is ((-10915)/(-20) - 1) + (-6)/8 a multiple of