k*h + 22, -2*f - f + 14 = 2*h. Let a(w) = -w**2 + 7*w - 5. Is a(f) a multiple of 7?
True
Suppose -2*n - 3*n = -5. Is (-19)/(-3 - -2) - n a multiple of 16?
False
Suppose 0*q = -q. Suppose -4*r + 14 - 2 = q. Suppose f + r*f = 48. Is f a multiple of 9?
False
Let m = -24 + 24. Let r = -52 - -93. Suppose 4*o + 3*a + 2*a - r = m, 2*o - 43 = 5*a. Is o a multiple of 6?
False
Let i = -9 + 32. Is i even?
False
Let d(l) = -l**2 + 9*l - 12. Let f be d(8). Let u(i) = i**3 + 4*i**2 - 2*i + 3. Does 3 divide u(f)?
False
Suppose 4*k - 10 - 80 = -s, 5*s - 54 = -2*k. Is 5 a factor of (-786)/(-33) + 4/k?
False
Let l = -158 - -94. Let u = l - -108. Does 22 divide u?
True
Let f(p) = 3*p**2 - 42*p - 11. Does 18 divide f(19)?
False
Let x(k) = 4*k + 2*k**2 + k - 4*k. Let l be x(2). Suppose -f = -3 - l. Is 7 a factor of f?
False
Let g be (-1154)/(-8) + (-4)/16. Suppose 2*x = -5*o + g, 7*x = 3*o + 2*x - 74. Suppose -s + o = 3*s. Is 7 a factor of s?
True
Let h = 4 - 1. Suppose h*d = -d + 132. Suppose 0 = -2*i + y + d, y + 6 = 9. Does 9 divide i?
True
Suppose 4*o - 280 = -4*x, 0 = 5*o + 4*x - 0*x - 346. Suppose -o = -m - 2*d - 13, 233 = 4*m + d. Suppose 0 = 4*n - m + 23. Is n a multiple of 9?
True
Let f = 6 + -2. Suppose -j + 7 = f. Suppose j + 57 = 5*y. Is 6 a factor of y?
True
Suppose 23 + 16 = 3*p. Does 7 divide (1 - 5 - -3) + p?
False
Suppose 0 = 3*x - x. Suppose x*b = -5*b + 110. Does 22 divide b?
True
Let i(r) = -r**2 + 14*r - 7. Is i(6) a multiple of 9?
False
Let j = 4 - 2. Let q be ((-45)/25)/((-9)/30). Suppose -j = -v + q. Is v a multiple of 3?
False
Let t(q) = -q**2 + 2*q - 134. Let i be t(0). Let b = i - -226. Does 23 divide b?
True
Let p(z) = z**2 - 7*z + 8. Let h(o) = 2*o**2 + 2*o - 3. Let q be h(2). Is p(q) a multiple of 13?
True
Let h be 4/(-6) - (-3)/(-9). Let i be -1 + 1/(h/(-4)). Suppose -i*y - 2*u = y - 42, 0 = u - 5. Does 3 divide y?
False
Suppose f - 3*f = -52. Does 13 divide f?
True
Let v(c) be the third derivative of -c**5/60 + c**4/24 - c**3/6 + 2*c**2. Let g(k) be the first derivative of v(k). Does 9 divide g(-4)?
True
Suppose q = -2*a + 3*a - 2, 0 = -5*q - 4*a + 26. Suppose q*h - 8 = 4. Is 5 a factor of h?
False
Let a be (-1)/(-2*3/12). Suppose 0 = 4*f + a + 2. Does 13 divide -2 - (f + -42 + 2)?
True
Let s(f) = f**3 - 5*f**2 - 7*f + 10. Let u be s(6). Let y(r) = -r + 12. Let i be y(10). Suppose -60 = -u*c - i*w + 32, -5*c + 117 = 3*w. Is c a multiple of 21?
True
Let q be -2 + 3/(6/166). Is 6 a factor of (-18)/q - (-112)/18?
True
Suppose -5*s + 252 + 69 = 4*v, 0 = -3*s - 2*v + 193. Is s a multiple of 13?
True
Suppose -3*t + x = 1 + 13, 4*x - 20 = 3*t. Let m(s) = 2*s - 4. Let p(w) = -w + 3. Let z(b) = -4*m(b) - 5*p(b). Is 13 a factor of z(t)?
True
Let n(w) = -w**3 + 11*w**2 - 6*w + 1. Is 12 a factor of n(10)?
False
Let p(s) = 18 + s + s**2 - 4 + 12. Is 13 a factor of p(0)?
True
Let c(t) = -3*t**3 + 4*t**2 + 7*t + 8. Is 6 a factor of c(-2)?
False
Let u = 161 + -83. Is 26 a factor of u?
True
Let z(g) = -g**3 - 10*g**2 + 16*g + 15. Let y be z(-11). Let l = y - -85. Does 15 divide l?
True
Suppose -5*m - 4*o + 113 = -0*o, -5*m + o + 103 = 0. Does 7 divide m?
True
Does 26 divide 186/4 - (-4 - (-7)/2)?
False
Let a(d) be the second derivative of -d**4/6 + 7*d**3/3 - 11*d**2/2 - d. Let c be a(9). Is 8/(-36) + c/(-9) even?
False
Does 18 divide (-1)/4 + (-5622)/(-24)?
True
Is ((-16)/(-20))/((-1)/(-50)) a multiple of 10?
True
Let l = 142 + -86. Does 15 divide l?
False
Let c = 21 - 23. Does 17 divide 106/(c - -4) - 2?
True
Suppose 5*z = 23 + 27. Does 2 divide z?
True
Suppose 4*u - 3*r = -0*r - 32, -2*u = 2*r + 2. Let l = u - -15. Is 5 a factor of l?
True
Suppose -5 = -4*u - 1. Let l = 1 + u. Suppose l*f + 2*f = 16. Is f a multiple of 2?
True
Suppose -3*r = -12 + 3. Is r a multiple of 2?
False
Let j be ((-6)/10)/(2/(-10)). Let d be 2 + 2 + (-6)/j. Suppose -7*u + 100 = -d*u. Does 10 divide u?
True
Suppose -60 = -2*z + 70. Is 13 a factor of (z/15)/((-2)/(-12))?
True
Let j = 1 + 79. Is 20 a factor of j?
True
Let s(n) = 2*n + 1. Let y(j) = j. Let u(t) = -2*s(t) + 3*y(t). Let d be u(-7). Suppose -d*l = -0*l - 4*p - 56, -4*l - p = -28. Does 4 divide l?
True
Let a be (-2)/5 - (-189)/35. Does 25 divide ((-49)/3)/(a/(-30))?
False
Let v = 30 + -12. Suppose -l = -4*l - v. Let o = -2 - l. Does 4 divide o?
True
Suppose l + 7 = 3*j - 3, 4*l = -2*j + 16. Suppose 0*r + l*r = 6. Suppose r*p - 24 = 102. Is 21 a factor of p?
True
Suppose -2*h - 20 = -6. Let m = h + 7. Let s = m - -6. Is 6 a factor of s?
True
Let w = -195 - -291. Is w a multiple of 14?
False
Suppose -159 = -o + 4*o. Let k be 2/3 + 3458/42. Let w = k + o. Does 15 divide w?
True
Let a be (-126)/(-10) - (-18)/(-30). Let z(o) = -6 - a*o + 5*o**2 - 6 - 6*o**2. Is 10 a factor of z(-8)?
True
Suppose -108 = -4*s + 3*s. Is 12 a factor of s?
True
Suppose -2*i - 5 = -257. Is i a multiple of 14?
True
Let s = -5 - -9. Let w be 15/6*s/2. Is (-169)/(-3) - w/15 a multiple of 22?
False
Suppose -l + 1 = -1. Suppose -l*g + 22 - 4 = 4*v, -v + 5*g = 12. Does 2 divide v?
False
Let t = 7 + -12. Let c(d) = -4*d - 6. Is c(t) a multiple of 14?
True
Suppose 2*l = 0, 0 = -3*j - l - 3*l + 363. Does 30 divide j?
False
Suppose 5*w - 41 = y, -2*w = -3*y - 0*y - 19. Does 4 divide w?
True
Let h(w) = -5*w + 12. Let n(d) = -4*d + 13. Let f(y) = -3*h(y) + 4*n(y). Let k be f(12). Suppose -13 = -k*t + 51. Is t a multiple of 9?
False
Let h(x) = x**3 + 87. Let j be h(0). Suppose n + j - 28 = 0. Let c = -26 - n. Is c a multiple of 13?
False
Is (-4)/(-10) - 42/(-30)*4 a multiple of 6?
True
Is (117 - -1)/(8/4) a multiple of 10?
False
Is (8 - 5)/((-6)/(-80)) a multiple of 8?
True
Let n = 70 - 77. Let r(g) = 3 - g**3 - 8*g**2 - 1 - 4 - 9*g. Does 12 divide r(n)?
True
Let s be (0 - 0)/3 - -8. Let l(r) = 0*r - 1 - s*r + 4. Is l(-4) a multiple of 13?
False
Let x = -53 + -42. Let y = x - -133. Is y a multiple of 19?
True
Let v(a) = a**3 + 8*a**2 + 2*a - 2. Let f(l) = 3*l**3 + 16*l**2 + 5*l - 4. Let m(k) = 2*f(k) - 5*v(k). Let y be m(8). Does 9 divide (-1 - -18) + (y - 1)?
True
Let y be 4/8*(-2)/(-1). Let v = y - -3. Is 4 a factor of v?
True
Let y(f) = -3 + 9*f**2 + 3*f + f**3 - 4*f**2 - 2*f**3. Is y(5) a multiple of 9?
False
Let o = 54 - 30. Does 8 divide o?
True
Is 1/(-2) - 610/(-4) a multiple of 19?
True
Let m(v) be the third derivative of -v**6/120 - 11*v**5/60 - v**4/4 - 7*v**3/3 - 9*v**2. Does 15 divide m(-11)?
False
Let r = 79 + -80. Let t(w) = w**2 + w - 32. Let y be t(0). Is 9 a factor of (5 + r)*(-72)/y?
True
Suppose 2*c + 25 - 265 = -r, 0 = -3*r - 5*c + 725. Is 25 a factor of r?
True
Let s = -39 + 90. Does 10 divide s?
False
Let k = -2 - -6. Suppose -5*i = n + 3, n - 21 = k*i - i. Is (17/1)/(4/n) a multiple of 19?
False
Let u be (-2)/9 + 2/9. Suppose -5*k + 2*o - 4*o = -217, u = k + 2*o - 45. Is 7 a factor of k?
False
Let x = -6 + 2. Let l be x - 2/1 - -2. Let c(r) = -4*r. Is c(l) a multiple of 8?
True
Let q(y) = -y - 8. Let l be q(-8). Suppose l = -3*t - 15 + 84. Is t a multiple of 23?
True
Suppose 3*t + 3 = -3, -22 = -4*n + 3*t. Suppose 5*a - 2*m - 76 = 0, -4*m = n*a - 47 + 3. Is a a multiple of 5?
False
Let k(s) = s**3 + 7*s**2 - 5*s - 4. Let m(c) = -2*c + 6. Let d be m(6). Let y be k(d). Suppose 0 = -3*o + g + 116, -3*o + 5*g + y = -38. Is o a multiple of 20?
True
Let b = 9 + -5. Let z = b + -4. Suppose -y - a = -3, 0 = 3*y - z*a - 2*a - 19. Is y a multiple of 5?
True
Let c = -74 - -139. Is 17 a factor of c?
False
Let g be 3*4/6 - -18. Suppose 5*d - 3 = -c - g, 0 = 5*c - 3*d + 29. Let k(z) = -z**2 - 9*z - 7. Is 7 a factor of k(c)?
True
Is (26/(-10) - -1)/(11/(-330)) a multiple of 24?
True
Let y(c) = c + 5. Let w be y(-8). Let v = 7 + w. Suppose -2*a + 20 + v = 0. Is a a multiple of 5?
False
Suppose -4*z + 12 = -396. Suppose 5*r - 88 = z. Let c = r + -26. Is c a multiple of 6?
True
Let n be (-19)/(-4) + (-3)/(-12). Let p = n + -1. Suppose 10 = p*g - 18. Does 7 divide g?
True
Let q = 7 - 11. Let g(u) be the third derivative of -u**4/4 + 2*u**3/3 + u**2. Is 11 a factor of g(q)?
False
Let r(c) = 4*c**2 + 8*c - 16. Does 22 divide r(-8)?
True
Let t be ((-12)/5)/(3/(-15)). Suppose 5*p - t = 68. Is 11 a factor of p?
False
Suppose -x + 3*x + 2*m - 138 = 0, m - 141 = -2*x. Let y be 50/15*(15 + 0). Let l = x - y. Does 9 divide l?
False
Suppose 5*p - 84 = 4*