8*x. Is x a multiple of 8?
False
Let m = -3435 + 6367. Does 95 divide m?
False
Let a = 393 + -150. Does 12 divide a?
False
Let j = -13 - -7. Let c(u) = u + 20. Let f be c(-11). Let m = f + j. Is m a multiple of 3?
True
Let k be -6*-1*596/8. Suppose 0 = -5*v - 4*i - k, i = -2*i + 6. Let g = 160 + v. Is 22 a factor of g?
False
Suppose -6*r + 1 = -29. Suppose -r*b - 116 = 44. Let d = -26 - b. Does 6 divide d?
True
Is (-22)/110 - -124*(-53)/(-10) a multiple of 73?
True
Let r(d) = -29*d**2 - 4*d + 9. Let h be r(3). Let p = h - -446. Does 26 divide p?
True
Suppose 14*o - 7*o = 2989. Is 61 a factor of o?
True
Let x = -141 + 226. Suppose f + 156 = -2*f. Let z = x + f. Does 11 divide z?
True
Let w = 134 - 117. Let m(f) = -2*f**2 + 39*f + 28. Does 9 divide m(w)?
False
Let f be 2/(-4)*(-48)/(-11 - -5). Is 10 a factor of (3 + f)*36/(-3)?
False
Let q(h) = -12*h**2 + 10*h - 6. Let b be q(4). Let i = b - -230. Does 18 divide i?
True
Let k(d) = d**3 - 13*d**2 + 37*d + 9. Does 32 divide k(17)?
False
Let q be (-15)/20*(18 + -2). Let r be (0 + q)*(1 + 0). Let a = r - -25. Does 11 divide a?
False
Suppose -6*g = -2879 + 275. Is 7 a factor of g?
True
Let b be (-2 - -1)/((-8)/(-152)). Let x = b - -18. Is 11 a factor of (-33)/(-1*x/(-1))?
True
Is (-5 + -7)/((-48)/1600) a multiple of 20?
True
Let k = 659 + -396. Let h = -146 + k. Does 42 divide h?
False
Suppose 62*c = 80*c - 180. Is 5 a factor of c?
True
Suppose 18432 = 65*k - 41*k. Is k a multiple of 6?
True
Let b(a) be the second derivative of -a**4/12 + 3*a**3/2 - 15*a**2/2 - 8*a. Let h be b(10). Let w = -8 - h. Does 10 divide w?
False
Suppose -21*t + 1901 = r - 24*t, -5*r + 9517 = -3*t. Does 28 divide r?
True
Suppose 0 = 3*b - 4*q - 16, -4*q - 16 = -0*b - 5*b. Suppose -u - 15 + 93 = b. Suppose 0 = m - 2*d - 31, -2*m - 8*d + u = -4*d. Is m a multiple of 20?
False
Let u(c) = -4*c - 90. Does 10 divide u(-30)?
True
Does 14 divide (-4 + 15 - 2) + 901?
True
Suppose -21*l + 161 = -20*l. Does 32 divide (-1 - -4 - 4) + l?
True
Let p(w) = 40*w - 5. Is p(7) a multiple of 25?
True
Suppose -4 = -4*u - 24, -y + 3145 = -2*u. Does 44 divide y?
False
Let f = 6407 - 3688. Is f a multiple of 87?
False
Suppose 6*i - 6 = -4*n + i, 2 = 2*n + 3*i. Let k(t) = -t**2 - 2 - 27*t + 6*t + n*t. Is 10 a factor of k(-14)?
True
Let h(w) = w**2 - 3*w - 1. Let f be h(3). Let x(q) = 0*q + 2*q**2 - 16*q**3 - 7*q**3 + q. Is x(f) a multiple of 8?
True
Suppose 5*a = 4*g + 218, -3*a + 153 = -g + 6*g. Is (3 - a/(-4))*8 a multiple of 9?
False
Let d = 1538 - 926. Is 36 a factor of d?
True
Let h(j) = 7 - 2*j**3 + 0*j + 2 - 5*j**2 + 3*j. Is 18 a factor of h(-6)?
False
Let i = 9 - 6. Let c be i/(3/13)*-5. Let t = -42 - c. Is 10 a factor of t?
False
Let j = 14 - 16. Let r be (-1)/2*(j - -2). Suppose -2*h - 2*h - 5*u + 163 = r, 3*u - 165 = -4*h. Is h a multiple of 17?
False
Suppose u = -4, 4*g - g = 5*u + 209. Suppose 0*i = 3*i + g. Let r = i + 25. Is r a multiple of 3?
False
Let p(a) = 27*a**2 - 54*a - 603. Is p(-9) a multiple of 9?
True
Let c(a) = -a**2 + a + 1. Let p(n) = -n**2 + 3*n + 6. Let q(v) = -6*c(v) + p(v). Is 23 a factor of q(-4)?
True
Suppose 0 = -4*s + 2*w + 1206, 3*s - 487 - 395 = -3*w. Does 13 divide s?
True
Let j(y) = 2*y - 11. Let g be j(5). Is 7 a factor of g - ((-1 - -2) + -28)?
False
Suppose 21*g - 6585 = 2340. Is 14 a factor of g?
False
Let m(x) = -6*x**3 + x**2 + 4*x + 5. Let u be m(-2). Suppose 2*f = -3*b + 51, -3*f - 3*b + 4*b = -u. Does 9 divide f?
True
Suppose 60 = -3*l + 8*l. Suppose -4*s + l = -0*w - 2*w, -5*s = 4*w - 15. Is 18 a factor of (64 - w/2)/1?
False
Suppose 2*f = -5*y + 425, 4*f - 2*f + 255 = 3*y. Does 17 divide y?
True
Let v be 35/4 + (-9)/12. Let p = -10 + v. Let h = 40 - p. Is h a multiple of 14?
True
Suppose -4*z - 6 + 38 = 0. Is (-2)/z + 715/44 a multiple of 16?
True
Suppose 5*u + 5*j = 245, 3*j + 2*j = -4*u + 197. Suppose -4*n = -8*n + u. Let y(q) = 2*q**2 - 16*q - 14. Is 31 a factor of y(n)?
False
Let h(s) = -5*s**3 + 10 + 0 + 4*s**3 + 11*s**2. Let w be h(11). Suppose 4*v + w = 114. Is 14 a factor of v?
False
Let m = 118 - 117. Let z(a) = 23*a - 11. Is z(m) a multiple of 12?
True
Suppose -5*k = -z - z - 15, 5*z - 3*k - 10 = 0. Let r = z + -5. Suppose -y + 4*i - 12 = r, 2*i = 5*y + 7*i - 65. Is y a multiple of 4?
True
Let f = 1 - -115. Let u = 220 - f. Is u a multiple of 26?
True
Suppose -2*z + 119 = 2*r - 359, -4*z + 2*r = -944. Is z a multiple of 12?
False
Let y be ((-1)/2)/(1/(-2)). Does 8 divide -2 - (-4 - y) - (2 - 63)?
True
Let w = -296 - -381. Is 10 a factor of w?
False
Suppose 115 = 5*b - 0*b. Suppose -4*v + b + 41 = 0. Let f = v + -1. Is 5 a factor of f?
True
Let m be 1/(-1) - (2 + -97) - 0. Suppose -24 = -h + m. Is h a multiple of 11?
False
Suppose f = -f - 920. Let v be 2 + 4/(-4) - f. Suppose -4*d + 433 = 5*r, 0 = -5*r - 2*d + v - 32. Is r a multiple of 17?
True
Let j = 41 + 917. Suppose 7*h - j = 582. Is h a multiple of 10?
True
Let z(s) = -s + 19. Let c(v) = -v**3 - 3*v**2 + 5*v + 6. Let t be c(-4). Suppose -3*m - 3*y = 33, -m + t*m + 3*y + 3 = 0. Is 17 a factor of z(m)?
True
Let w(s) = 21*s + 236. Is w(26) a multiple of 26?
False
Let f(n) = 2*n**2 + n + 33. Is 9 a factor of f(-25)?
False
Let m be (2/(4/114))/(30/20). Suppose 106 = 3*l - m. Is 3 a factor of l?
True
Suppose 22 = 3*c + 4. Let t(z) = -z**2 + 8*z + 1. Let l be t(c). Suppose 2*q + 2*v - 18 = 0, q = -6*v + v + l. Does 8 divide q?
True
Let k(b) = -b - 5 + 2*b + 4 + 15*b**3. Let j = 12 - 11. Is 5 a factor of k(j)?
True
Let l(i) = 2*i**2 - 17*i + 2. Let g be l(7). Suppose 3*y + 49 = 142. Let f = g + y. Is f a multiple of 3?
True
Suppose 0 = m + 11 + 9. Let t = m - -71. Let v = 153 - t. Is 34 a factor of v?
True
Let v(h) = h**2 - 7*h + 34. Is 7 a factor of v(15)?
True
Suppose -3*j = 6, 4*h + 3*j + 34 + 8 = 0. Let t(z) = 2*z**2 - z**2 + 6*z - 9 - 2*z. Is 18 a factor of t(h)?
True
Let f(z) = z + 8. Suppose -9 = -5*k + 2*k. Suppose -5*d + 41 - 14 = -k*p, 0 = 5*p - 3*d + 29. Does 2 divide f(p)?
True
Let t = 39 - 23. Let q be ((-25)/(-10))/((-2)/(-12)). Let g = q + t. Is g a multiple of 14?
False
Suppose t - 1103 = -9*j + 5*j, j - 2*t = 278. Is 4 a factor of j?
True
Suppose 2*a + 3*r + 9 = a, -10 = 2*r. Is 12*a/((-60)/(-25)) a multiple of 5?
True
Let o(f) = f - 2. Let n be o(2). Let q be n/(-1)*(-1)/3. Suppose -2*r + 2*u + 42 = q, 13 = -3*r + u + 84. Is r a multiple of 10?
False
Let n = -475 + 1002. Is n a multiple of 17?
True
Let f = -283 + 528. Does 28 divide f?
False
Suppose 139 = 4*o - 177. Is o a multiple of 66?
False
Let o = 121 - -1111. Is 14 a factor of o?
True
Let i(g) = 2*g**2 + 5*g + 4. Suppose 2*k + 4 = 4*k. Suppose -k*f + 7*f + 30 = 0. Is i(f) a multiple of 16?
False
Let x(o) = 77 - 12*o - 91 - 5*o**2 + 4*o**2. Is 15 a factor of x(-7)?
False
Let c(t) = -t**2 + 23*t + 15. Let h(l) = 6*l**2 - 3. Let b be h(2). Does 13 divide c(b)?
False
Let p be (2 + 0)*14/4. Suppose -3*m + 15 = -4*z, 0 = -2*z + m - 0*m - p. Does 17 divide (354/(-9))/(2/z)?
False
Let c be (-12)/30 + (-94)/(-10). Let v(b) = -b**3 + 9*b**2 - 3*b + 13. Let k be v(c). Let i = k - -26. Is i a multiple of 3?
True
Suppose 4*f - 952 = 4*p, f - 153 = -2*p + 91. Suppose -b + f = -73. Is 25 a factor of b?
False
Suppose -964 = -2*m + 4*k, 5*k - 8 = -3. Is 22 a factor of m?
True
Suppose 0 = 2*s - 5*w - 39, -138 = -7*s + 2*s - w. Let q(f) = -7*f + s*f**3 - f + 1 + 8*f. Is 4 a factor of q(1)?
True
Does 43 divide -5*-191*(-2)/(-5)?
False
Let r(f) = -2*f**3 - 7*f**2 + 5*f + 4. Let y(g) = -g**3. Let d(t) = r(t) - 4*y(t). Let b be d(4). Let w = b + 26. Is 11 a factor of w?
True
Suppose t - 7 - 5 = -5*a, 0 = 5*a - 5*t. Let q(y) = -y + 25*y**a + 0 - 22*y**2 - 2. Does 12 divide q(-2)?
True
Let a = 19 - 14. Suppose -s = -a*s + 208. Does 13 divide s?
True
Let z(x) be the second derivative of 143*x**4/12 - x**3/6 - 11*x. Let f be z(-1). Is f/10 - 4/10 a multiple of 7?
True
Let d = 248 - -46. Is d a multiple of 26?
False
Suppose 5*d = m + 357, m - 209 = -3*d - m. Suppose -12 = -4*z, -4*v - 5*z = -2*v - d. Does 21 divide v?
False
Does 61 divide 53 - 45 - (-1029 + 0)?
True
Suppose 13 = -3*l - 8. Let m(q) be the third derivative of q**6/120 + 3*q**5/20 + 5*q**4/12 + 4*q**3/3 - 21*q**2. Does 18 divide m(l)?
True
Suppose -h + 48 = 4*m - 30, 0 = 3*h + m - 201. Is h a multiple of 3?
True
Suppose -x + 6