**2 - 2*i - 6. Is 7 a factor of h(-8)?
False
Suppose -5*a - 12 = -282. Is a a multiple of 22?
False
Let t = -3 - -1. Let h be (-2)/(-2)*5 + t. Does 4 divide (-8)/(-1*h + 2)?
True
Let x = 2 - -16. Is 9 a factor of x?
True
Suppose -22 = -2*x + 98. Is x a multiple of 14?
False
Let r = -49 - -67. Is 6 a factor of r?
True
Suppose 5*d = d + 20. Let x(q) = 0*q + 4 + q**2 - d*q + 3*q. Is x(3) a multiple of 3?
False
Let j(n) = -n**2 - 6*n + 5. Let g be (-2)/4 - (-90)/(-20). Is 9 a factor of j(g)?
False
Let r(t) = -t**3 + 11*t**2 - 10*t + 5. Let i be r(10). Suppose 15 = -y + i. Does 15 divide y*-6*3/12?
True
Let l be 0/(-1 - 0)*1. Suppose l = -0*s - 3*s + 15. Is 4 a factor of s?
False
Suppose -3*a + 4 = 2*k - 2, 9 = -2*a + 3*k. Let c be (a + 4)*(0 + -2). Let t = 18 - c. Does 13 divide t?
True
Let q = -2 + -1. Let k be (-3)/(3/(-11)) - -1. Is 9 a factor of 105/4 + q/k?
False
Suppose -a = -2*a + 5, -14 = -2*u - 2*a. Let p(m) = m**3 + 2 + m + 2*m**u + 0*m**3 - m**2. Is p(0) a multiple of 2?
True
Let v(j) = -4*j - 3. Let l(y) = -4*y - 2. Let x(b) = -4*l(b) + 5*v(b). Is 13 a factor of x(-5)?
True
Let l(h) = -h**2 - 6*h + 4. Is l(-5) a multiple of 3?
True
Suppose x - 5 = -1. Suppose -3*g + 5 = -3*d + 23, -g = x*d - 44. Is 5 a factor of d?
True
Let r(b) = 54*b**2 + b. Is r(1) a multiple of 12?
False
Let o be (30 - -1)*(0 - -1). Let p = o + -18. Is 11 a factor of p?
False
Let c be ((-60)/(-28))/1 - (-1)/(-7). Let o be (-194)/(-18) - 2/(-9). Is 5 a factor of 2/(-3)*(c - o)?
False
Let o be (3 + (-4)/3)*3. Suppose 0 = -2*h + 6, o*h - 175 = -9*v + 4*v. Is 12 a factor of v?
False
Is 36 a factor of 1*-3*1958/(-33)?
False
Does 13 divide 3/(-8) + 630/16?
True
Let u = 121 - 70. Is 17 a factor of u?
True
Suppose -5*u = -0*u - 310. Suppose 23 + u = 4*t + h, 3*t - 72 = 2*h. Is t a multiple of 11?
True
Let m = -3 - 5. Is 0 + m/(3 - 4) a multiple of 6?
False
Let u(v) = 7*v**2 - 6 - v**3 - 2 + 2*v**3 + 3*v**2. Let n be u(-10). Is (-144)/6*6/n a multiple of 18?
True
Let l be (9/4)/((-1)/(-72)). Suppose c - 157 = 4*x, -3*c + c = -4*x - l. Let h = x - -76. Does 23 divide h?
False
Let y(b) = -4*b**2 + 3*b + 6. Let t be y(-4). Is (-1708)/t - (-4)/(-10) a multiple of 12?
True
Let r = 36 - 9. Is 27 a factor of r?
True
Let a(p) = p + 10. Let o be a(-10). Let b be -264 + -3 + o + 6. Does 13 divide (4/(-12))/(3/b)?
False
Let g = 174 - -55. Is 46 a factor of g?
False
Let z = 3 - 9. Is ((-207)/z)/((-3)/(-4)) a multiple of 21?
False
Suppose 0 = -2*m + 5*l + 261, 0*m - 252 = -2*m + 2*l. Suppose k = 4*n - 159, 6*k = -3*n + 3*k + m. Is 17 a factor of n?
False
Let p(v) = v**2 - 5*v + 10. Does 12 divide p(-5)?
True
Suppose -2*q + 3*q - 46 = -5*x, -47 = -2*q + 5*x. Suppose 4*n + v - 20 - q = 0, 3*v - 10 = -n. Is 8 a factor of n?
False
Let s = 57 - 23. Suppose 0 = -2*v + 98 - s. Is 20 a factor of v?
False
Let g = 34 - 59. Let s = -15 - g. Is 10 a factor of s?
True
Suppose 0 = 3*a + 2*a - 15. Suppose o = -a*o + 24. Does 6 divide o?
True
Let s = 152 - 75. Is 13 a factor of s?
False
Let z be 4/10 - 8/(-5). Let x(o) = 5*o**z - o**3 - 5*o + 5*o - 4 - 2*o. Is x(3) a multiple of 4?
True
Let m(b) = b + 2. Suppose -15 = -4*i + 1. Does 3 divide m(i)?
True
Let c = -6 + 10. Suppose -c*r + 39 = -0*t + 3*t, 3*t + 2*r = 33. Is 9 a factor of t?
True
Suppose -4*n = 292 + 96. Let w = -53 - n. Does 16 divide w?
False
Let t be (4/5)/(4/30). Suppose -7*d = -t*d - 24. Is 13 a factor of d?
False
Let x = 55 - 36. Is 8 a factor of x?
False
Suppose 390 = 4*r - 3*p, 7*r - 4*p = 2*r + 488. Does 12 divide r?
True
Let m be ((-28)/8 + 3)*14. Is 3 a factor of ((-60)/(-35))/((-2)/m)?
True
Let x = -3 + -1. Let p be (-15)/x*(-32)/(-12). Is 2 + p/4*6 a multiple of 17?
True
Let m(j) = j**2 - j + 48. Does 16 divide m(0)?
True
Let n = -12 - -19. Let x(m) = -m**3 + 7*m**2 + 3*m. Does 7 divide x(n)?
True
Suppose 0 = -2*l + l. Suppose 0 = -5*o - l*o. Suppose -3*c = -o*c - 15. Does 2 divide c?
False
Suppose -9 + 45 = 2*y. Suppose g + 4*c = -y, -3*g - c - 3 + 4 = 0. Is 2 a factor of g?
True
Let n(j) = -4*j - 3. Suppose -2*b - 10 = 3*b. Let k be n(b). Suppose -37 - 13 = -k*h. Is h a multiple of 8?
False
Let k = -43 + 62. Does 8 divide k?
False
Let f(l) = l**3 + 3*l**2 - l + 3. Let m be f(-3). Suppose -5*k - m + 1 = 0. Does 9 divide (1 - 1) + 14 + k?
False
Let k = 0 + 2. Suppose 2*o = 8, -2*w + k*o = -11 - 19. Is 10 a factor of w?
False
Suppose -3*i + 4*p = -0*p - 495, 2*i = 4*p + 330. Is i a multiple of 11?
True
Suppose -3*x + 112 = -320. Is 13 a factor of x?
False
Let g(d) = 8*d**2 - d - 13. Is g(-4) a multiple of 17?
True
Suppose 4*t = 5*k + 2*t - 168, 0 = -5*k - 3*t + 173. Is 19 a factor of k?
False
Suppose 3*n - 7*n = 16. Let w(i) = -i**2 - 5*i - 2. Let v be w(n). Is 7 a factor of ((-3)/v)/(3/(-28))?
True
Let u be -65 + 0 + (-3 - -4). Let s = u - -26. Let t = -25 - s. Does 11 divide t?
False
Does 5 divide (-4)/22 + 3330/165?
True
Suppose 2*i + 112 = -2*i. Does 13 divide 8/i - (-340)/14?
False
Let u(p) = -4*p + 2*p + 2*p**3 - 2*p**2 - 3 - 4*p**3. Is u(-2) a multiple of 9?
True
Let p be 0/(1 + 0/2). Suppose p*f = -2*f. Let v = f + 7. Does 7 divide v?
True
Let j be (-83)/(-4) + (-1)/(-4). Suppose 15 + j = 3*s. Suppose 3*i - s = 33. Is i a multiple of 7?
False
Let c = 86 - 13. Is c a multiple of 11?
False
Let o(x) = -4*x**3 + 11*x**2 + 8*x - 6. Let j(u) = 6*u**3 - 17*u**2 - 12*u + 9. Let y(i) = -5*j(i) - 8*o(i). Is y(3) a multiple of 18?
True
Let g(p) = p**2 + p + 3. Let u be g(0). Suppose -5*h + s + 120 = 0, 2*s = -h + u + 10. Does 9 divide h?
False
Let z(s) = s**2 - 2*s - 4. Let w(h) = -h**3 - 6*h**2 + 4*h - 15. Let u be w(-7). Is 5 a factor of z(u)?
True
Suppose 568 = 5*m - 187. Suppose 4*h - m = -7. Is 12 a factor of h?
True
Let j = 29 - 21. Let w = -36 - -8. Is j/w - 144/(-14) a multiple of 10?
True
Suppose b - 52 = 4. Is b a multiple of 7?
True
Let b = -16 - -48. Is 5 a factor of b?
False
Let g(k) = k - 7. Let r be g(6). Let t(p) = p**2 - p + 1. Let s(u) = 9*u**2 - 2*u + 4. Let o(w) = s(w) - 3*t(w). Is 4 a factor of o(r)?
False
Let i = 6 - 5. Let y(l) = 32*l + 1. Does 7 divide y(i)?
False
Is 34606/104 - (-6)/(-8) a multiple of 30?
False
Let q = -13 + 93. Is q a multiple of 19?
False
Let k be -10*(-3 + (5 - 1)). Let t = 11 + k. Let m = t - -9. Is m a multiple of 7?
False
Suppose -3*r = 3*a - 444, a - 5*r - 124 = -0*a. Is a a multiple of 36?
True
Let k = 7 - -14. Is 3 a factor of (k + 1)*(-2)/(-4)?
False
Suppose 3*m = -2*m + 45. Suppose m = -2*h - 5*j, -j = -h - 3*h + 15. Is h a multiple of 3?
True
Suppose 4*h + 2*o - 64 = 0, -2*o = -2*h + 3*o + 44. Is h a multiple of 10?
False
Suppose 4*b + 8 = -0. Does 5 divide (0 - b)/((-2)/(-10))?
True
Suppose 0 = -2*x + 6 + 306. Let z = x - 100. Suppose -u + 76 = 4*t, -4*t - 5*u + z = -2*t. Does 6 divide t?
True
Suppose 5*x + 3*a + 0*a - 1603 = 0, x - 5*a = 343. Does 17 divide x?
True
Suppose 4*w - 16 - 4 = 0. Suppose -13 = -w*k + 27. Is (-2)/4 + 212/k a multiple of 18?
False
Suppose -4*a - 105 = -a. Let d = a + 51. Is 12 a factor of d?
False
Let j = -4 + 7. Suppose -218 = -4*p - h + 92, j*p - 226 = -4*h. Suppose -4*y + p = -y. Is 12 a factor of y?
False
Let v(a) = 2*a**2 - 12*a + 16. Let k(b) be the second derivative of -b**4/12 + b**3 - 4*b**2 - 2*b. Let d(u) = 5*k(u) + 3*v(u). Does 8 divide d(6)?
True
Suppose 4*j = -3*t + 138, 4*j - 138 = -3*t + 3*j. Let s = 66 - t. Is 10 a factor of s?
True
Is 14 a factor of (-3)/(4/(672/(-9)))?
True
Let t = 138 - 104. Is t a multiple of 17?
True
Let h(d) = 3 + 3*d - 4*d - 3 - 7. Is 3 a factor of h(-16)?
True
Suppose -20 = -4*z + 8*z. Let m(r) = -r - 2. Let g be m(z). Suppose 0 = -l - 1, 2*u + 0*l = -g*l + 109. Is 19 a factor of u?
False
Let v(w) = -w**3 + 4*w + 3. Let y be v(-2). Suppose 2*t - y = 3, -3*t - 13 = -r. Is r a multiple of 11?
True
Let x = 5 + -7. Let o be (x + -1 - 0) + 11. Suppose -f + 2*q + 4 + o = 0, 2*f - 5*q = 24. Is f a multiple of 12?
True
Let b = 2 - -42. Let c be 1/(-5) - b/(-20). Suppose -5*i - s = -37, 4*i - s = -c*s + 29. Is i a multiple of 4?
True
Let y be 2 - 1 - (-2 - -2). Let q be 7/2 + y/(-2). Suppose o = -q*o + 192. Does 18 divide o?
False
Suppose 0*f + 3 = -f. Let r be 6*((-4)/f - 0). Is 4 a factor of ((-3)/(-4))/(1/r)?
False
Suppose 0*k + 16 = 2*k. Is k even?
True
Let v be 5 - (-8 - 0)/(-4). Let b = 10 - v. Is b a multipl