 r = 4*h + 4*q - 104 - 68. Is 20 a factor of h?
False
Is 6/(72/(-20))*-12 a multiple of 3?
False
Let a(x) = -x - 1. Let y be a(3). Let v = y + 10. Is 6 a factor of v?
True
Let s be 1*(-1 - -2) - 22. Let l = -110 + 162. Let v = s + l. Does 11 divide v?
False
Let z = -57 - -114. Is 17 a factor of z?
False
Suppose -2*m = -0 + 6. Does 13 divide (-1)/(m + (-77)/(-26))?
True
Let c = -102 + 168. Is c a multiple of 11?
True
Suppose 0 = 5*p - 191 - 39. Let i = -11 + p. Is 15 a factor of i?
False
Suppose w + 284 = 3*q, 4*q + 73 = 5*q + 4*w. Is 26 a factor of q?
False
Let a(c) = -c + 8. Let q be a(11). Does 5 divide 10/(q/(-1) + -1)?
True
Let l(h) = -2*h + 5*h + h + h**2 - 3. Let b be l(-5). Suppose 0 = 3*p - b*p - 18. Does 8 divide p?
False
Suppose -l + 3*j = -40, -4*l - 5*j + 68 = -24. Is l a multiple of 16?
False
Let n = 153 - -34. Is 25 a factor of n?
False
Suppose 2*n - 5*r = 122, 0 = -4*n + 2*n + 3*r + 122. Is 13 a factor of n?
False
Let w(r) = 14*r + 18. Does 7 divide w(4)?
False
Does 32 divide (-252)/(-8) + 1/2?
True
Let t be ((-6)/12)/(2/16). Let m(h) = -2*h**3 - 6*h**2 - 3*h - 2. Let p be m(t). Suppose p = 2*d + 4*a - a, -30 = -d + 3*a. Does 12 divide d?
True
Suppose -2*b = f - 4, 9 = -5*b + 2*f + 28. Suppose 2*v - 3 = b. Does 3 divide v?
True
Let o(p) = -p**2 + 5*p + 3. Let w = -4 + 8. Is 3 a factor of o(w)?
False
Let v(s) = -s**2 + 3*s - 2. Let t be v(2). Suppose 2*i + t*i - 3 = z, -4*z = -3*i + 2. Is z/(-2)*(-240)/5 a multiple of 12?
True
Let h = -3 + 8. Suppose -6 = -5*i + 4. Suppose -h*c = -i*b + 41, -4*b + 3*c + 5 = -42. Is b a multiple of 4?
True
Suppose -l = -3*l + 220. Is l a multiple of 7?
False
Let c = 110 + -76. Let a be (-12)/30 + c/10. Suppose a*f + 28 = 3*s - 5, 4*s - 58 = -3*f. Is 6 a factor of s?
False
Let g(a) be the second derivative of -a**3/3 + 3*a**2 + 2*a. Let f be g(6). Let l(b) = b**3 + 5*b**2 - 8*b - 5. Does 7 divide l(f)?
True
Let b be ((-5)/10)/(2/4). Is 8 a factor of (b - 0/(-1)) + 21?
False
Suppose 5*t - 2345 = 2*a, t + 5*a - 163 - 279 = 0. Is t a multiple of 38?
False
Let a(q) = 3 + 4*q**2 - 3 + 1. Suppose 4*t - 2 = 2. Is 2 a factor of a(t)?
False
Let y = -63 + 17. Let x = y - -70. Suppose -x = -3*b + 24. Is 5 a factor of b?
False
Let r(l) = 4*l**2 - 7*l**2 - l**3 - 2*l + 0 + 1. Let d be r(-3). Let p = d - -3. Is 10 a factor of p?
True
Let t be (6/4)/(6/80). Suppose 4*g = -0*g + t. Suppose k - 17 = -g*f, -k - 4*f - 3 = -9*f. Is k a multiple of 7?
True
Suppose 5*w + 3*p - 77 = 7, 3*w - 4*p = 33. Is w a multiple of 15?
True
Let m(h) = h**3 + 6*h**2 - 3*h + 2. Let c be m(-8). Let o = c - -152. Does 16 divide o?
False
Let v(a) = 15*a + 4. Is v(5) a multiple of 23?
False
Suppose -7 = 4*b - 27. Let d(c) = -b*c**2 + 1 - c**3 + 0*c**2 - 4*c - 3*c**2. Does 17 divide d(-8)?
False
Let z(b) = b**3 - 8*b**2 - 9*b. Let p be z(9). Suppose -6*t + t + 35 = p. Suppose -3*i + t*i - 44 = 0. Is i a multiple of 11?
True
Suppose -2*b - 158 = -2*q, 0 = -q + 5*b + 7 + 84. Is q a multiple of 14?
False
Let c(t) = t**2 + 13*t - 19. Is c(-16) a multiple of 29?
True
Suppose -161 = 3*f - 434. Is 16 a factor of f?
False
Does 14 divide (-235)/(-5) + -2 + 4?
False
Suppose 0 = -5*o - 2*u + 8, o - 4 + 1 = u. Suppose 0 = -o*b + 6*b - 60. Is b a multiple of 15?
True
Let r = -18 - -10. Let q(i) = i**2 + i + 6. Does 31 divide q(r)?
True
Suppose 3*q = -2*q + 10. Does 9 divide (31/q)/((-1)/(-2))?
False
Does 8 divide 16 + (-3 - (-3 + 2))?
False
Let w = -15 - -24. Is w a multiple of 4?
False
Let q be 1/(2 - (-73)/(-37)). Let b = q - -31. Is b a multiple of 20?
False
Suppose -2*v - 91 = -4*n - n, 0 = 5*v + 15. Let d = 28 - n. Is d a multiple of 3?
False
Let t(k) = 2*k + 9. Let x be t(-8). Does 13 divide (-1)/(-1) - (x - 6)?
False
Suppose 0*y - 2*y = -2*c - 6, -9 = 4*y + 3*c. Suppose 4*p - 4*o = 176, y = -o + 6 - 2. Is p a multiple of 12?
True
Suppose 3*n = -2*t + 316, 0 = 2*t - 6*t - n + 632. Is 44 a factor of t?
False
Let w(f) = f + 11. Suppose 4*i - 49 = -m, -5*i + 13 = -2*i - 4*m. Is w(i) a multiple of 11?
True
Suppose -i + 5*r - 3 = -2*i, -9 = -i - 2*r. Let j = i - 8. Is 4 a factor of j?
False
Suppose 5*c - 66 = -4*r, r - 60 = -4*r + 5*c. Does 3 divide r?
False
Suppose 0 = -3*a - 9, 249 - 54 = 4*i - 5*a. Let b = i - 4. Does 15 divide b?
False
Suppose -5*p + 4*y + 124 - 5 = 0, 5*p + y = 139. Is 3 a factor of p?
True
Suppose z + 5*k = 23, 4*z + 2*k - 3 = -1. Let h be 1/3*(7 - z). Suppose h*j - 35 = 16. Does 9 divide j?
False
Let k(x) = 5*x**2 - 10*x - 5. Is k(5) a multiple of 14?
True
Let l(i) = i**2 - 5*i - 2. Let r be l(-5). Suppose 0 = 4*u - u - r. Is 8 a factor of u?
True
Suppose 3*g = -5*p - 155, -4*p = g + 6 + 125. Let i = p + 49. Does 12 divide i?
False
Let k(i) = -i**3 + 6*i**2 + 2. Let m be k(6). Suppose -m*n - 25 = 3*y + 260, -n - 125 = 5*y. Does 8 divide (1/2)/((-5)/n)?
False
Let l(r) = 2*r**3 + r**2 + 2*r + 1. Let w be l(-1). Let u = -2 - w. Let i = u - -6. Is 6 a factor of i?
True
Suppose 0 = -2*j - 2, -5*r + 2*j + 75 = 7*j. Suppose 5*d = -q + r, 5*q = -5*d - 0*d + 20. Suppose 0*g = d*k - g - 40, -k - 4*g + 9 = 0. Does 9 divide k?
False
Suppose 25 + 7 = -2*h - f, 2*h + 5*f + 48 = 0. Let s = 4 - h. Suppose s = 2*o - o. Is o a multiple of 6?
True
Suppose d + 448 = 5*d. Is d a multiple of 20?
False
Let t = -8 - -26. Does 13 divide t?
False
Let k(j) = j**2 + 10*j + 18. Is 2 a factor of k(-11)?
False
Let m(q) = -24*q + 6. Is m(-4) a multiple of 17?
True
Let g(b) = -b**3 + 8*b**2 - 6*b - 1. Suppose o = -3*m + 22, o - 4*o + 2*m = -11. Let p be g(o). Suppose p*v - 21 = 3*v. Does 7 divide v?
True
Suppose -5*k + 0*k = -85. Let z = 12 - k. Does 9 divide 4/20 - 79/z?
False
Let z(x) = x**2 - 14*x - 4. Let y be z(14). Is 4/(((-12)/21)/y) a multiple of 14?
True
Let n be (0 + (-2)/2)*-3. Suppose 9 + n = -3*a. Does 16 divide 24*3/(-18)*a?
True
Let a(x) = -x**3 - x + 16. Let l be a(0). Suppose -2*z = 2*f - l, -2*f - 2*z = -5*z + 4. Is 2 a factor of f?
True
Let p be -1 + (1 + -10)/(-3). Suppose 4*l + 18 = 4*x - x, -5*l - 15 = 0. Suppose -p*j + 0*h + 3*h + 73 = 0, -x*j + 33 = 5*h. Is 12 a factor of j?
False
Suppose -5*c + 3*y - 2 + 0 = 0, -4*c + 5*y = 12. Suppose -2*v - 5*t = c + 4, -v + 5*t = -12. Suppose v*l - 1 = 15. Does 7 divide l?
False
Suppose -5*n = -10*n + 245. Is n a multiple of 23?
False
Let t = 23 - 1. Does 10 divide t?
False
Suppose 4*y + 0 - 72 = 0. Suppose 14*i = y*i - 156. Does 13 divide i?
True
Suppose -j + 2*j = 88. Suppose -j - 24 = 2*g. Is 20 a factor of (g + -4)*(-4)/6?
True
Let m(h) = 2*h. Let c(q) = -9*q. Let j be c(1). Let g(a) = -a**3 - 8*a**2 + 10*a + 12. Let l be g(j). Is m(l) a multiple of 6?
True
Let s = 449 - 319. Does 12 divide s?
False
Let u = 311 - 123. Suppose -2*w + 6*w = u. Suppose t = -5*g + w, -4*t + 90 = t - 4*g. Is t a multiple of 11?
True
Let s(q) be the third derivative of 0 - q**2 - q**3 + 0*q + 1/4*q**4. Does 18 divide s(4)?
True
Let d(r) = r**3 - 6*r**2 + 5*r. Let p be d(5). Let c(s) = -s**2 + 7. Does 7 divide c(p)?
True
Let j = 4 + -7. Is 225/12 + j/4 a multiple of 13?
False
Suppose -15 = -4*y - y. Suppose 8*i - y*i - 60 = 0. Does 5 divide i?
False
Let k be -9*1*1 - 3. Suppose -s + 9 = -2*l, -3*l - 20 = -2*s - 8. Does 4 divide (-4)/k + (-40)/l?
False
Let p(r) = -4*r + 6. Let t be p(-5). Let i = t + -10. Is i a multiple of 8?
True
Suppose -4*c = -14 + 2. Let o be 3/12 - (-750)/8. Suppose -o = -4*f + c*q - 2*q, -4*f = -2*q - 92. Does 12 divide f?
True
Suppose -8*y + 2538 = -686. Is y a multiple of 64?
False
Let p = -102 + 155. Does 29 divide p?
False
Let i(b) = -b**3 + 6*b**2 + 2*b. Is 11 a factor of i(3)?
True
Let h be 4*(2 - (-1)/2). Let b be -37 + (-5)/(h/(-4)). Let g = b + 53. Is 9 a factor of g?
True
Suppose 3*g + 10 = 5*z, -5*g + 3*z = -3*g + 5. Suppose 35 + g = 5*l. Is l a multiple of 8?
True
Let s(i) = 3 - 4 - 3*i - 10. Is 3 a factor of s(-7)?
False
Let d = -11 + 16. Let c(x) = -x**3 + 5*x**2 + 5*x - 7. Is c(d) a multiple of 9?
True
Suppose 2*m - 3*f = f + 156, 3*f = 4*m - 327. Is 12 a factor of m?
True
Suppose 4*t + o - 47 = 0, -3*o = -0*t - 5*t + 63. Does 4 divide t?
True
Suppose -k - c + 6*c - 17 = 0, -k + 3 = 5*c. Let l = 7 + k. Suppose p + f - 26 = l, -p - 2*p = -5*f - 110. Is 18 a factor of p?
False
Let s = -10 - -17. Suppose -3*x = -s*x - 2*n + 174, -x = 2*n - 48. Is x a multiple of 14?
True
Is 9 a f