(x) = 10*x - 14. Let k = 1 + -5. Let b(v) = 5*v - 7. Let h(t) = k*i(t) + 9*b(t). Is 18 a factor of h(5)?
True
Suppose -5*b + 154 = 59. Is 3 a factor of b?
False
Let n = 97 - 49. Is 5 a factor of n?
False
Let c be -1*1 - (-20)/5. Suppose -c*s + 40 = 5*l, -2*l = -3*s + s. Is s a multiple of 2?
False
Suppose 0 = 5*q - 113 - 32. Let b = q + 19. Is b a multiple of 16?
True
Suppose 21*t = 26*t + 4*r - 696, 5*r + 388 = 3*t. Is t a multiple of 17?
True
Suppose -2*h - 74 = -4*h - 2*c, -3*h + 2*c + 106 = 0. Does 8 divide (-8)/h + (-74)/(-9)?
True
Let j = -3 + 0. Let s be j/(-2) - 2/4. Is (-1 - s - -14) + 0 a multiple of 5?
False
Suppose 715 = 8*i - 69. Is i a multiple of 19?
False
Suppose 7 - 10 = s. Let a(p) be the first derivative of p**3/3 + p**2/2 + 3*p + 1. Is a(s) a multiple of 9?
True
Let a(s) = -s - 6. Suppose 2*m - 24 = 2*t, -5*m + 35 + 17 = -4*t. Let h be a(t). Suppose -3*q - h*b = -0*q - 25, -16 = 4*b. Is 4 a factor of q?
False
Is 3 a factor of 2/4*0 + 17?
False
Let r = -51 - -79. Does 3 divide r?
False
Suppose -2*h + 366 = -0*y + 5*y, 0 = -5*h + 4*y + 849. Is 21 a factor of h?
False
Let i = 3 - -36. Does 24 divide i?
False
Suppose m + 36 = -m. Let h = m - -29. Suppose 4*r - 3*r = h. Is r a multiple of 11?
True
Suppose 0 = 10*v - 1262 - 1268. Is 23 a factor of v?
True
Is 24 + (-1)/5*-5 a multiple of 5?
True
Let c(d) be the third derivative of -d**6/120 + d**5/10 - d**4/8 - 4*d**3/3 + d**2. Let m be c(6). Let t = m - -46. Is 10 a factor of t?
True
Let x be (-49)/((-2)/(-1 + -1)). Suppose z = -0*g - 2*g - 31, 33 = -z - 3*g. Let t = z - x. Is 11 a factor of t?
True
Let s = 19 - 22. Let u(w) = w**3 + 4*w**2 - 3. Is 6 a factor of u(s)?
True
Suppose -4*t + 5*d + 25 = 0, -t + 5*d - 15 = -5*t. Suppose 3*z + 3*c - 16 = 8, -z + t*c + 14 = 0. Is 3 a factor of z?
True
Let p(c) = -14*c**3 - 2*c**2 + 3*c - 2. Let z(x) = -29*x**3 - 4*x**2 + 6*x - 4. Let u(l) = 5*p(l) - 3*z(l). Is 6 a factor of u(1)?
True
Suppose -b = -0*b - 4. Suppose 5*d - 57 = -4*h, 2*d + h - 32 = b*h. Does 4 divide d?
False
Let z = 0 - 0. Suppose -3*m + 6 = -z*m. Is 13 a factor of (-3)/18*m*-39?
True
Suppose 94 = g + 3*r - r, 2*g + 5*r - 187 = 0. Let v = g + -55. Let u = 67 - v. Does 13 divide u?
True
Let g = -13 + 8. Is 12 a factor of 21 - 0 - (g + 2)?
True
Suppose 34 = v - 15. Does 19 divide v?
False
Let v = -6 - -8. Suppose 0*b = v*b - 4. Is 2 a factor of b?
True
Let k(z) = -30*z + 1. Let i be k(1). Suppose -5*r - 97 = -7. Let h = r - i. Is h a multiple of 5?
False
Let p = -61 - -127. Suppose r - 4*r = -p. Is r a multiple of 11?
True
Suppose -128 = 2*n + 32. Let w = n - -116. Is 9 a factor of w?
True
Is -74*(-2)/(-3)*27/(-36) a multiple of 17?
False
Suppose 5*j - 3*p - 71 = 0, 0*p + 49 = 4*j - 5*p. Is 8 a factor of j?
True
Let f(s) be the first derivative of s**5/60 + s**4/6 - 2*s**3/3 + 2. Let j(m) be the third derivative of f(m). Does 9 divide j(7)?
True
Suppose 2*t - 11 = -5*f, -4*f = 4*t - 0*t - 16. Does 2 divide t?
False
Is (104 - (-2)/(-2)) + -1 a multiple of 34?
True
Let x(c) = -14 + 27 - 14 - c. Is x(-7) a multiple of 6?
True
Let t = 47 + -17. Is t a multiple of 6?
True
Is 2 + 74 + (-9)/3 a multiple of 3?
False
Let t be (-21)/14*(-8)/6. Suppose -5*b + 0*l + t*l = -280, 2*b + 2*l - 98 = 0. Is b a multiple of 27?
True
Let p(q) = -q**3 - 10*q**2 + 11*q - 1. Let b be p(-11). Let a(z) = -8*z. Is 4 a factor of a(b)?
True
Suppose 0 = -4*a - 20, -2*v - 4*a = 2*v - 4. Suppose 0 = -v*t + 2*t - 28. Let y(u) = -u**3 - 7*u**2 - 2*u - 5. Is y(t) a multiple of 3?
True
Suppose 0 = -3*p - 0*p - 12. Is ((-1 - -36) + p)/1 a multiple of 7?
False
Let j = -16 - -43. Is j a multiple of 10?
False
Let d be ((-1)/3)/(6/414). Let k = d - -40. Does 6 divide k?
False
Let y be (-85)/(-15) + 1/3. Suppose d - y = -2*r, -3*d = 2*d - 4*r - 16. Does 8 divide 16/d*(0 - -2)?
True
Let o = 15 - 11. Suppose -z = -p - 15 + 3, 0 = -5*z + o*p + 63. Does 8 divide z?
False
Let g(z) = -z**3 - 6*z**2 - 5*z - 2. Let n be g(-5). Let c = n + 6. Suppose m = -4, 0 = -8*l + c*l - 5*m + 36. Does 14 divide l?
True
Suppose 3*r - 5*r + 14 = 0. Let u = -4 + r. Suppose g = -u*g + 40. Does 4 divide g?
False
Suppose 455 = 2*f + 41. Is 23 a factor of f?
True
Let l(w) = 8*w - 6. Suppose 2*c - 26 = -4*v, c - 5*v = 4*c - 35. Does 17 divide l(c)?
True
Let l = 167 - 109. Suppose -3*w = 2*w + 3*d - 1, -2 = 4*w + d. Is 5 a factor of w/(-3) - l/(-6)?
True
Let x be ((-4)/1)/2 - -71. Let i = x + -29. Is 20 a factor of i?
True
Let t(s) = -s**3 + 8*s**2 + 2*s - 2. Let w be 3/3 - 0 - -4. Suppose -3*v = 2*g - 35 + 1, -65 = -5*v - w*g. Is t(v) a multiple of 14?
True
Let o(p) = 26*p**2 + 1. Let l be o(-1). Suppose -2*q - q = -l. Is 4 a factor of q?
False
Suppose -m + 3*w + 59 = 0, 2*m - 3*m + 4*w + 64 = 0. Is m a multiple of 15?
False
Suppose -4*j - 2*g - 42 = -4, -3*j - 26 = g. Is 8*-3*j/12 a multiple of 7?
True
Suppose -4*c - 3*u + 176 = 0, -3*u + 7*u - 220 = -5*c. Does 11 divide c?
True
Suppose -3*x + 46 = 1. Is 5 a factor of x?
True
Let f be 717/12 + 3/(-4). Suppose 4*y + 4*k = k + f, 68 = 5*y - 2*k. Is 7 a factor of y?
True
Suppose 0 = -3*x + 5*k + 50, -4*k = x - 4*x + 52. Is x a multiple of 2?
True
Let w be -1*67 - (-2 + -1). Suppose 4*z = 4*h + 121 + 71, 3*z + 164 = -4*h. Let g = h - w. Is 20 a factor of g?
True
Suppose 2*j + 2*j = -24. Is 5 a factor of (-63)/j - 4/8?
True
Suppose -o + 26 + 75 = 2*t, 0 = 2*o + 3*t - 207. Is 15 a factor of o?
False
Is 5 a factor of (-3)/(-7 + -2)*39?
False
Let t(n) = n - 6. Let q be t(9). Does 6 divide (q - 6)*(-6)/2?
False
Suppose 5*b + d = -0*b + 79, b + 3*d = 27. Does 8 divide b?
False
Suppose -5*y + 14 = -1. Let c be ((-4)/(-6) + 0)*y. Suppose c*i = -1 + 9. Is 2 a factor of i?
True
Let r(a) = -2*a - 13. Let b be r(-10). Let c = 13 - b. Is c a multiple of 2?
True
Suppose -n + 89 = -5*m, 2*m - 83 = -n + m. Is n a multiple of 14?
True
Let g = -7 - -7. Suppose g*u + 44 = u. Is 14 a factor of u?
False
Let o be (-4)/((-32)/(-150))*8. Does 15 divide ((-8)/10)/(4/o)?
True
Suppose -5*j = -25 - 25. Let d(w) = w**2 - 11*w + 3. Let f be d(j). Let o = f - -17. Is o a multiple of 10?
True
Let y(h) = 4*h**2 + 4*h - 10. Let v be y(-5). Does 3 divide (-2)/7 - (-370)/v?
False
Let q = 271 + -111. Suppose -6*r = -r + 4*z - 200, -q = -4*r - 5*z. Does 20 divide r?
True
Suppose -2*l - 3*h = -24, 3*h = 6*h - 12. Suppose 36 = -2*a + l*a. Is a a multiple of 3?
True
Let z(o) be the third derivative of o**6/120 + o**5/6 + 7*o**4/24 - 2*o**3/3 - 6*o**2. Is z(-9) a multiple of 10?
False
Suppose -5*k + 426 = -254. Is k a multiple of 14?
False
Is ((-112)/20)/(-2*(-3)/(-60)) a multiple of 28?
True
Suppose 310 = 2*u + 20. Does 29 divide u?
True
Let q(d) = 3*d + 5. Suppose c + l + 7 = 0, -29 + 6 = 3*c + 4*l. Let m be q(c). Is 1/2 - 65/m a multiple of 4?
False
Let c be (-62)/6 + (-2)/(-6). Let p = 8 - c. Is p a multiple of 9?
True
Suppose 5*l - 7 = 6*l. Let p(q) = 2*q**2 + 7*q + 3. Is 26 a factor of p(l)?
True
Suppose 0*h + 8 = 4*h. Suppose -h*l + l + 2 = 0. Suppose 0 = -x - x + l*q + 34, q + 74 = 4*x. Does 10 divide x?
False
Let h(g) = 4*g**2 + 5*g + 4. Let x be h(-4). Let s be -10 - (12/(-54) + 58/18). Let d = x + s. Is 16 a factor of d?
False
Suppose 7*n - 2*n = -25. Let o(s) = s - 1. Let b be o(n). Is 16 a factor of 2/4 + (-201)/b?
False
Let a = -3 - -10. Is 7 a factor of a?
True
Let w = 31 - 18. Does 9 divide w?
False
Let r be (17 - 5)/((-6)/(-16)). Suppose 5*s - 4 = -k, -100 = -5*k - s - r. Does 4 divide k?
False
Suppose -n - 12 = -4*t, -4*t - 5*n = -0*t - 12. Suppose g + 3*c = 3, 4*g + c - 28 = -t*c. Does 9 divide g?
True
Suppose -3*o + 11 = m - 0, 21 = -5*m + 4*o. Does 15 divide 16 + -1*(2 + m)?
True
Suppose 5*h + 21 = -139. Let t = 45 + h. Does 13 divide t?
True
Suppose 5*g - 63 = 62. Let p(n) = -3*n - 1. Let u be p(-4). Let f = g - u. Is 7 a factor of f?
True
Suppose 0*z + 3*z - 15 = 0. Suppose 35 = -5*l + 2*n, -z = 3*n - 2*n. Is (-2)/l*-3*-54 a multiple of 12?
True
Suppose -3*g - 3*y = -117, 5*y = -3*g - g + 154. Is 7 a factor of g?
False
Suppose 4*r + 3*z - 3 = 0, 3*r + 5*z - 4*z = -4. Suppose 4*j + 13 = -s, -65 = 2*s + 3*s + 3*j. Let f = r - s. Is 10 a factor of f?
True
Let n = -2 + 6. Is ((-82)/(-4))/(2/n) a multiple of 15?
False
Does 37 divide (2 + 2)*444/16?
True
Let h(v) = -v - 1. Let g be h(-5). Suppose -i + 50 = g*i. Is 5