 -71. Is h a multiple of 14?
True
Let m = 1185 + -667. Is 14 a factor of m?
True
Suppose 1477 = 16*l - 1035. Is l a multiple of 68?
False
Suppose z + 8838 = 19*z. Is 24 a factor of z?
False
Suppose n = 4*q - 3, 0 = -3*q + 3*n - n + 1. Let l(i) = -i**2. Let x be l(q). Is (x/2)/(1/(-38)) a multiple of 5?
False
Let t(q) = -q**2 - 5*q + 4. Let h be t(-6). Let x be 8/6*(-9)/h. Is 9 a factor of (-2)/x + 868/21?
False
Let c(m) = -m**2 - 7*m + 6. Let p be -3 + 0 + (3 - 7). Is c(p) a multiple of 6?
True
Let w(m) be the third derivative of m**6/120 - 17*m**5/60 + m**4/8 - 3*m**3/2 - 21*m**2. Is w(17) a multiple of 7?
True
Suppose n - 14 + 4 = -5*x, -4*n + x - 2 = 0. Let d(z) = -z**2 - 2*z + 140. Let a be d(n). Suppose f - a = -f. Is f a multiple of 20?
False
Let h(w) = w**2 + 2. Let s be h(0). Suppose -s*a - 2*g = -a + 9, a + 5*g + 12 = 0. Let c = a + 28. Is 7 a factor of c?
True
Suppose 673 - 1807 = -9*c. Does 2 divide c?
True
Suppose 5 = -x, 3*b - 204 = x + 59. Does 43 divide b?
True
Let r be 3/(-4)*(-16)/(-6). Is 8 a factor of ((0 + 2)/1)/(r/(-16))?
True
Let x(d) = 2*d + 5. Let v be 2/(-9) + 29/9. Let a be x(v). Suppose b - 16 - a = 0. Is 14 a factor of b?
False
Is 3 a factor of -4*2/8 - (-3 + -77)?
False
Suppose 305 = 4*r + r. Let b = r - 33. Is 18 a factor of b?
False
Suppose -62*m + 69*m = 2310. Is m a multiple of 15?
True
Let p(u) be the first derivative of 18*u**3 + 3*u**2/2 - 3*u - 9. Does 9 divide p(1)?
True
Let i be (-68)/(-8) - 1/(-2). Let s = -29 - -68. Suppose i = -2*w + s. Is w a multiple of 5?
True
Let x(q) = 3*q**3 + 7*q**2 + q - 1. Let l(g) = 6*g**3 + 13*g**2 + g - 1. Let n(v) = 6*l(v) - 11*x(v). Is n(2) a multiple of 13?
False
Let y(z) = -z**2 + 5*z + 3. Let h be y(3). Suppose -4*a + h = -15. Let b = 41 - a. Is 16 a factor of b?
False
Let j = -1217 - -1712. Is j a multiple of 45?
True
Suppose 9*z = 12*z. Suppose z = b + 2*w + 10, 2*w = b - w + 35. Is (-248)/b - (-3)/5 a multiple of 7?
False
Let h = 1328 + -672. Is h a multiple of 60?
False
Let d(z) = z**3 - 6*z**2 - 6*z + 6. Let m be d(6). Let i be m/(3/(-2) + 3). Let h = -2 - i. Is 17 a factor of h?
False
Suppose 0 = 3*o - 0*o + 4*b - 407, 4*o + 5*b = 541. Is o a multiple of 35?
False
Let r = -7 - -6. Let o be 13*(8/(-4) - r). Let j = o + 59. Does 23 divide j?
True
Let r(q) = 5*q**2 + 4. Let k be r(10). Suppose -26*t + 32*t = k. Is t a multiple of 21?
True
Let r(l) = l**3 + 3*l**2 - 5*l - 1. Is 13 a factor of r(4)?
True
Let u(t) = -21*t**2 - 3*t. Let v be u(-1). Let h(n) = n**2 + 10*n - 35. Is h(v) a multiple of 21?
False
Suppose 0 = 8*x - 24 - 0. Suppose 0 = -4*w - 4*k + 2*k + 278, 3*w - 201 = -x*k. Does 19 divide w?
False
Let i be 10/2*(22 - 0)/(-2). Let y = 146 + i. Does 43 divide y?
False
Let z(q) = q**3 + 39*q**2 - 13*q + 37. Does 8 divide z(-39)?
True
Let n(g) = -2*g**3 - 11*g**2 - 6*g + 12. Is 10 a factor of n(-8)?
True
Suppose 0 = -2*i - 27 + 31. Is 31 a factor of 2 + 58*(0 + 1/i)?
True
Let l be (1 + 16/(-6))*6. Let v = l - -10. Suppose v = 5*t - w - 339, 0*t = -2*t - 2*w + 126. Is t a multiple of 22?
False
Let d be (0/(-12))/((-4)/2). Suppose -4*g = -7*g + m + 17, d = -3*g - 3*m + 9. Is g a multiple of 2?
False
Suppose -c - 10 = -0*c. Let i = c - -35. Suppose 3*a + i - 253 = -5*f, 0 = 3*f + a - 136. Is 9 a factor of f?
True
Let i(k) = -k - 14. Let j be i(0). Let q be (-52)/j + 4/14. Suppose 4*a + q*m - 128 = 0, 5*a + 3*m - 49 = 115. Does 17 divide a?
True
Suppose 225 - 2715 = -10*j. Does 13 divide j?
False
Let w(h) = -h**2 + 759. Is 67 a factor of w(0)?
False
Let g(c) = -9*c**2 - 2*c + 60*c**3 + 9*c**2 + 3 - 2. Let k be g(1). Suppose 107 = 2*v - m, -v = -0*m + 5*m - k. Is v a multiple of 9?
True
Let h(v) = v + 13. Let m be h(-9). Suppose 0 = -m*i + 7*i. Is 16 + (0 - i - 3) a multiple of 4?
False
Suppose 2*u = -5*t - 80 + 295, -3*t + 129 = 3*u. Is t a multiple of 7?
False
Suppose 0 = -81*x + 79*x + 188. Suppose -3*v - 50 = -f, -5*f = -3*f - 3*v - x. Is 11 a factor of f?
True
Let z = -1 - -2. Let k = 18 - 29. Is 5 a factor of -1*z - (k + 0)?
True
Let c(i) = -3*i**3 - 21*i**2 - 38*i + 9. Does 40 divide c(-8)?
False
Suppose 2*l = 4*c - 130, -c = -l + 4*l - 29. Let i be 4/(c/(-10))*-4. Suppose -3*p + 88 = 4*x, p - i*p + 92 = 4*x. Is x a multiple of 5?
False
Does 19 divide ((-2)/4)/((-11)/1254)?
True
Let d(s) = 2*s**2 + 13*s + 3. Is d(4) a multiple of 12?
False
Suppose 56 = -m - 39. Let r = 165 + m. Is 14 a factor of r?
True
Suppose 55*n - 32130 = 38*n. Does 30 divide n?
True
Let w(o) be the second derivative of o**4/2 + o**3/3 - 3*o**2 + 3*o. Is 30 a factor of w(3)?
False
Let v(t) = -t**3 + 25*t**2 - 3*t - 54. Is 12 a factor of v(22)?
True
Suppose 15*u - 6 = -1431. Let s = u + 154. Is 15 a factor of s?
False
Suppose -4*u + 3*p = -23, 0 = -4*u + 2*p + 3*p + 33. Suppose k = -k + u. Is 6 a factor of (1/3)/(k/66)?
False
Let z(j) = -j + 89. Does 5 divide z(14)?
True
Let t = 705 + 615. Does 88 divide t?
True
Suppose 0 = -2*y - 2*y - 140. Let i = 55 + y. Does 10 divide i?
True
Suppose -2*o + 3*w + 455 = 0, -4*w = w + 25. Is 4 a factor of o?
True
Suppose b + 0*b = 15. Suppose -b = -3*m, 2*m = d - 2*d + 15. Is d a multiple of 3?
False
Let w = -113 + 115. Suppose -90 + 36 = -w*u. Is u a multiple of 9?
True
Let r be 3/((-1)/3*3). Is 10 a factor of 1/r*558/(-6)?
False
Suppose s + 29 = -5*k + 6, -5*k = 25. Suppose f - 25 = -4*f, -4*f + 638 = s*n. Is n a multiple of 23?
False
Suppose -3785 = -3*z - c + 1880, 2*z - 5*c = 3805. Is z a multiple of 35?
True
Suppose -7*x = -11*x - 2*t + 980, 980 = 4*x - t. Does 4 divide x?
False
Suppose 3*v - 221 - 901 = -3*g, v = -3*g + 370. Is v a multiple of 4?
True
Suppose 24*s - 1020 = 19*s + o, -612 = -3*s - 4*o. Does 34 divide s?
True
Let j(m) = 3*m**2 + 2. Let t be j(1). Suppose -7*w + 20 = -t*w. Is 4 a factor of w?
False
Let m(s) be the second derivative of 1/6*s**3 + 0 + 17/2*s**2 - 5*s. Does 3 divide m(-7)?
False
Suppose 792 = 3*o + 333. Is 28 a factor of o?
False
Let p(g) = -g + 18*g**2 + 0 - 17*g**2 + 1 - g. Let t be p(1). Suppose -r + 24 = -t*r. Is 11 a factor of r?
False
Suppose 1486 = q - 380. Does 11 divide q?
False
Let z(a) = -9*a - 36. Let f be (-120)/16 - (-1)/2. Does 15 divide z(f)?
False
Let x(u) = -u + 430*u**2 - 164*u**2 + 216*u**2 + 1. Let q be x(1). Suppose -2*m + 6*m - 4*o = 392, -5*m + o + q = 0. Is m a multiple of 32?
True
Let y(b) = b**2 - 10*b - 14. Let f = -4 - 5. Let p be 4/(-18) + (-128)/f. Is y(p) a multiple of 10?
False
Let r(u) = u + 3. Let l be r(-7). Let d(z) = 2*z**2 - 3*z + 8. Does 9 divide d(l)?
False
Let h(g) = -38*g - 108. Does 12 divide h(-6)?
True
Let l be ((-3)/6)/((-8)/16). Is 15 a factor of -1 - -2 - (-88)/(l + 1)?
True
Let w(t) = t**2 + 11*t + 55. Does 3 divide w(-16)?
True
Let d(s) = -72*s - 12. Let i(u) = 18*u + 3. Let t(m) = -4*d(m) - 15*i(m). Does 10 divide t(4)?
False
Suppose -3403 = -8*v + 24317. Does 33 divide v?
True
Let m be -5 - (-3 + (-6 - -4)). Suppose 6*b - 20*b + 812 = m. Is 7 a factor of b?
False
Is 4 a factor of -4*(-37 - (-5 - -5))?
True
Suppose 365*o - 480 = 357*o. Is 2 a factor of o?
True
Let y be (-471)/2*16/(-12). Suppose -y - 111 = -5*p. Is 17 a factor of p?
True
Suppose 2*n - 2852 = 4*u, 4*n - 3561 = u + 2150. Is 14 a factor of n?
True
Let v = 624 - -1085. Is v a multiple of 118?
False
Suppose -k - 84 = 2*w + 2*w, -5*w = 3*k + 105. Let j = -21 - w. Does 13 divide -5*((-117)/15 - j)?
True
Suppose 3*a - 6 = 3*k, a + 2*k - 2 = 3. Suppose -15 = -a*r + 3. Suppose r*g - 364 = 2*g + 2*u, -5*g - 2*u = -446. Does 18 divide g?
True
Let r be (-6)/((-2*3)/3). Let q be ((-444)/(-9))/(-4)*r. Let v = q + 56. Is v a multiple of 19?
True
Let a be 5652/(-81) + 2/(-9). Let y(i) = i**3 + 11*i**2 - 22*i - 5. Let o be y(-12). Let s = o + a. Is s a multiple of 15?
True
Does 4 divide (39/(-9))/((-179)/(-180) - 1)?
True
Let h = -126 + 123. Is 51 a factor of 34/(-51) + (-326)/h?
False
Let y(r) = 92*r - 161. Is 23 a factor of y(11)?
True
Let i(p) be the first derivative of -p**4/4 - p**3 - 3*p**2/2 - 2*p - 3. Let z be i(-3). Is (6/z)/(10/630) a multiple of 18?
True
Let w = 126 + 44. Is 14 a factor of w?
False
Let p = -3197 - -7188. Is 41 a factor of p?
False
Suppose 15 - 51 = 4*o. Let g = 20 + o. Is g a multiple of 5?
False
Let z = -98 + 95. Is 8 a factor of (5 - 51/9)/(z/171)?
False
Suppose 3*m + 10 = p - 1, -2*m 