*k + 6 = 17. Is z a multiple of 4?
False
Let g be 4 - ((1 - 2) + -1). Suppose -103 = -3*j + 5*m, 5*j - 2*m = -g*m + 147. Let r = -7 + j. Is 14 a factor of r?
False
Let m be 4/10 - 36/(-10). Suppose 3*g + 2*t = 143, 7*g - 3*t = m*g + 138. Does 13 divide g?
False
Let n(z) = 19*z**2 - 2*z - 2. Let b be n(2). Let v be b/(1 + 3/(-9)). Let d = -67 + v. Is d a multiple of 19?
True
Let l be 26 - (-3 + (-8)/(-2)). Let q be 2/4 + l/10. Is (-1)/((-2)/24) - q a multiple of 4?
False
Suppose 2*r = 4*r - 6. Suppose 6*d = r*d + 78. Does 10 divide d?
False
Let r(n) = -4*n**2 + 4*n - 2. Let o be r(2). Let a(c) be the first derivative of -3*c**2/2 - 7*c + 1. Is 6 a factor of a(o)?
False
Let u(h) = -h**3 + 8*h**2 - 2*h - 1. Let c be u(6). Suppose -2*v + 67 + c = 0. Suppose 0 = -5*b - v + 273. Is b a multiple of 16?
False
Let h(c) = -4*c + 6. Let j be h(5). Suppose -5*p - 5*q = -105, p - 3*q - 16 - 1 = 0. Let r = j + p. Is 4 a factor of r?
False
Suppose 5*u + 2*h + 0 = 5, -3*u = -4*h - 29. Let s be 8/28 - (-4)/(-14). Suppose -15 = -s*f - u*f. Does 5 divide f?
True
Suppose 0*p - 90 = -3*p. Let t = 42 - p. Does 4 divide t?
True
Suppose 40 = 2*x - 44. Does 21 divide x?
True
Suppose 30 - 8 = w. Is 15 a factor of w?
False
Let w = -94 - -162. Does 10 divide w?
False
Let u be (1 + -1)*(2 + -3). Suppose 0*v - 5*v - 30 = u. Is 2/v - (-154)/21 a multiple of 5?
False
Let c(t) = -t**2 - t + 7. Let r be c(0). Suppose 3*f = r + 2. Suppose f*h + o = 3*o + 90, -6 = -2*o. Does 16 divide h?
True
Let w(i) = i**3 + 11*i**2 + 8*i + 11. Let s be w(-11). Let u = -11 - s. Does 22 divide u?
True
Let o(m) = -2 - 1 + 3*m - 2. Is o(11) a multiple of 12?
False
Suppose 3*n = 2*t + 88, 5*n - t - 151 = -2*t. Let z(v) = v. Let x be z(-4). Let s = n + x. Does 18 divide s?
False
Suppose 5*p - 280 = 240. Does 32 divide p?
False
Let a = 54 - 44. Is 3 a factor of a?
False
Suppose 0 = 4*q - 2*q - 8. Suppose 0 = -q*r - 0*r + 72. Does 6 divide r?
True
Let f be (22/3)/(2/(-12)). Let z(a) = a**3 + 7*a**2 - 8*a - 2. Let x be z(-8). Is 5 a factor of ((-4)/(-8))/(x/f)?
False
Let d(j) = j + 54. Let n be d(0). Suppose 3*a + 57 = 3*v, -5*v + 2*v = -4*a - n. Is v a multiple of 11?
True
Does 8 divide 64/(3/(-3) - -3)?
True
Suppose 0*a - 4 = -a. Suppose 4*x - 110 = r + r, 0 = a*x + 2*r - 130. Is x a multiple of 10?
True
Let y be (-4)/(-5 + 12/4). Suppose y*n = n + 75. Is n a multiple of 25?
True
Let z = 14 + 131. Is 5 a factor of z?
True
Let d(l) = -l**2 - 13*l - 2. Does 10 divide d(-6)?
True
Suppose -130 = -3*r - 31. Let h = 46 - r. Does 13 divide h?
True
Suppose -k - 4*t + 77 = 0, 4*k - 102 = 4*t + 146. Is 29 a factor of k?
False
Suppose 0 = 3*h - h - 92. Let w = 22 + 7. Let c = h - w. Does 17 divide c?
True
Let k = 4 - 6. Let m = k - -14. Is m a multiple of 4?
True
Let m = 7 - 2. Suppose 14 = m*t - 1. Is 3 a factor of t?
True
Let v be (12/42)/((-2)/(-14)). Let k = v - 1. Is 14 a factor of k*2/(-4)*-28?
True
Suppose -4*s - 2*u = -24, -s = 3*u - 0*u - 6. Let y = 7 + s. Is y a multiple of 13?
True
Let c be (-4)/(-5)*10/4. Let q = 20 - c. Does 6 divide q?
True
Suppose 65 = -2*i + 7*i. Is 3 a factor of i?
False
Suppose p + 119 + 41 = -c, -p + 3*c = 168. Let v = -81 - p. Suppose 2*w - v = -33. Is w a multiple of 12?
True
Does 18 divide 3/18 + (-321)/(-18)?
True
Suppose -54*k + 48*k = -660. Does 11 divide k?
True
Let m = 291 + -168. Does 17 divide m?
False
Let s be (-469)/28*(-2 - 2). Let b = -10 + s. Does 17 divide b?
False
Let p = -241 + 578. Is p a multiple of 37?
False
Does 14 divide (-2)/6 - 1180/(-12)?
True
Let w(y) be the second derivative of -11*y**3/6 + y**2 - 2*y. Let l be (-6)/8*(-8)/(-2). Does 13 divide w(l)?
False
Let t(w) = -4*w**3 - 12*w**2 + 12*w + 1. Let n(s) = 7*s**3 + 23*s**2 - 24*s - 3. Let m(j) = 3*n(j) + 5*t(j). Is 8 a factor of m(-10)?
True
Suppose -i + 4*i - 3*z = 39, 3*i + 2*z - 54 = 0. Does 14 divide (2 - i)/((-1)/1)?
True
Suppose -5*t - 2*d = 3*d - 1355, 0 = 3*t - 3*d - 825. Is t a multiple of 13?
True
Let b(y) be the third derivative of 4*y**4/3 - 5*y**2. Is b(1) a multiple of 16?
True
Suppose 5*m + 3*a - 511 = 0, -4*m + a + 2*a = -398. Is m a multiple of 37?
False
Let q(p) = 5*p**2 - 2*p + 4. Is 18 a factor of q(-3)?
False
Let v(y) = 51*y**3 - 4*y**2 - 7*y + 9. Let h(w) = 26*w**3 - 2*w**2 - 3*w + 4. Let f(c) = -7*h(c) + 3*v(c). Let z be (-27)/18 - 1/(-2). Is 8 a factor of f(z)?
False
Suppose 4*p = 2*z + 90, 0 = 3*p + 2*z + z - 54. Does 6 divide 3/(18/p)*4?
False
Let k(a) = a**3 - 8*a**2 + 7*a + 10. Is k(7) a multiple of 5?
True
Does 17 divide (-9)/((-6 - -3) + 32/11)?
False
Let z = 44 - 19. Let x = z - -2. Is x a multiple of 13?
False
Let s(n) = -1 - 2*n + 4*n**2 - 2 - 2*n**2. Does 4 divide s(3)?
False
Let o(w) = -2*w**2 + 3*w + 5. Let x be o(-4). Is 7 a factor of (2 + -1)/((-3)/x)?
False
Suppose 6*t = 418 - 4. Is t a multiple of 23?
True
Let w(k) = -k**3 + 9*k**2 - 5*k + 1. Is w(7) a multiple of 16?
True
Let a = 17 + 4. Let o = -8 + 11. Suppose 2*w = o*w - a. Is w a multiple of 7?
True
Let f(a) = -13*a - 4. Let k be f(-3). Suppose 3 = b - k. Is b a multiple of 19?
True
Let w(t) = -t + 7. Let m be w(5). Suppose -2*c + 4*u + 0*u = -40, m*u = -8. Does 6 divide c?
True
Suppose 0*p = -7*p + 399. Is 19 a factor of p?
True
Suppose u + 2*t + 3 = 2, -u + 2*t - 1 = 0. Let z(v) = -30*v. Let j be z(u). Suppose -5 = f - j. Does 25 divide f?
True
Let c(h) = -h + 13. Let d be 4/(-6) + (-2)/(-3). Suppose 0 = -3*i - d*i. Is c(i) a multiple of 8?
False
Let b(q) = -q**3 + 5*q**2 - 4*q + 6. Let d be b(4). Let v = -9 + d. Let u = 2 - v. Is 5 a factor of u?
True
Let d(x) = -x**3 + 3*x**2 + 4. Suppose 4*a - 20 = -8. Let p be d(a). Let f = p + 14. Is 9 a factor of f?
True
Let w(u) be the first derivative of -9*u**2/2 - 4*u - 1. Is 16 a factor of w(-4)?
True
Suppose m - 9 = -4*b + 7, 2*m = -2*b + 14. Does 18 divide (-1 - m)*(-54)/10?
False
Suppose -7*n = -3*n - 2*o - 22, n = o + 8. Let d(b) = -b**2 + 5*b. Let h be d(n). Is (15/h + -2)*52 a multiple of 13?
True
Suppose -5*g = -3*d + 2 - 8, -d + 18 = 5*g. Suppose -d*a - 4*s + 12 = -100, 5*a = -4*s + 176. Is a a multiple of 15?
False
Let b(t) = 4*t**2 + t - 1. Suppose -5*f + 14 = 2*d, f = 2*d - 1 - 1. Suppose 2*o + 0 = f. Is b(o) a multiple of 3?
False
Let g(x) = 2*x + 8 - 5 - 2 + x**2. Does 25 divide g(-6)?
True
Suppose -2*q - 53 = -4*q + 3*i, q + i = 29. Is q a multiple of 21?
False
Let i be (-12)/20 + (-1096)/(-10). Let v = 156 - i. Does 4 divide 4/(-18) - v/(-9)?
False
Let x be 2/(0 - (-2)/(-11)). Let y = x - -22. Is y a multiple of 11?
True
Let n = 53 - 35. Does 9 divide n?
True
Let u = 1 + 1. Suppose -2*h - 40 = u*s - s, s = 4*h - 34. Let t = s + 66. Is 12 a factor of t?
False
Let a(s) be the second derivative of 3/2*s**2 + 0 + 1/6*s**3 + s. Is a(4) a multiple of 7?
True
Suppose -4*k + 300 = k. Is 20 a factor of k?
True
Let n(f) = f**3 - 29*f**2 - f + 38. Is 9 a factor of n(29)?
True
Let t = 77 - -183. Is 26 a factor of t?
True
Suppose 20 = -6*m + 4*m. Let n = -7 - m. Suppose y = -n*y - o + 17, 2*y - 4*o = 22. Is y a multiple of 3?
False
Let g(q) = 3*q - 4*q**2 + 5*q**2 + q**2 + q**3 + 5*q**2. Does 12 divide g(-6)?
False
Let y(x) = x**3 - 11*x**2 + 15*x - 9. Let i be 1*11 - (-9 + 10). Is y(i) a multiple of 6?
False
Let c be (-2)/((-17)/5 + 3). Suppose -n + c + 22 = 0. Is 9 a factor of n?
True
Let y be (3 - -28)*2/2. Let x = 4 + y. Suppose -g = -x + 7. Is g a multiple of 15?
False
Suppose 5*d - 3*l = 288, 0 = 4*d - 5*l + 34 - 254. Suppose 3*r - d = 129. Does 12 divide r?
False
Suppose 3*i - 3*y = 7*i + 64, 3*y = i + 31. Does 8 divide (i + -4)/(0 + -1)?
False
Let h(q) = 11*q - 7. Let i be h(6). Suppose -c + 49 = -i. Let s = -60 + c. Does 16 divide s?
True
Suppose 2*k - 3*k + 5*h = 12, -k = 3*h + 4. Let s = k + 13. Is 3 a factor of s?
True
Let b(t) be the third derivative of t**6/24 + t**5/60 - t**4/8 + t**3/3 + 4*t**2. Does 20 divide b(2)?
True
Does 19 divide 4535/45 + (-3)/(-54)*4?
False
Suppose -3*d = -d. Suppose -70 = -3*a - 5*j, d = 2*j + j + 12. Does 10 divide a?
True
Let v = 42 + 25. Suppose -v + 3 = -4*w - 5*y, -3*y = -3*w + 48. Is w a multiple of 10?
False
Let g(r) be the second derivative of r**4/12 - 2*r. Suppose 2*t - 28 = 6*t. Is g(t) a multiple of 13?
False
Let t = -8 + 74. Is 22 a factor of t?
True
Let f = -25 + 16. Let m be 44/(-6) - (-6)/f. L