ppose 26*a - 24*a = -52. Suppose 4*m + 0*o - o - 183 = 0, -m - 4*o + 67 = 0. Let u = a + m. Is u a multiple of 8?
False
Let z be -7 + -2384 - -6*6/36. Let p(w) = 9*w. Let a be p(2). Is z/(-18) - a/(-81) a multiple of 18?
False
Let x = 5 + -3. Suppose c = -z - 0*z + 2, 16 = -x*z + 3*c. Is -13*(-18)/(-4)*z a multiple of 37?
False
Let l = 178 - 177. Is 2 + l + 39 + -4 a multiple of 2?
True
Let g(n) = -5*n - 6. Let q = -19 + 29. Suppose 0 = 10*z - q + 30. Is g(z) even?
True
Let v = 235 - -41. Let c = v + -218. Is 20 a factor of c?
False
Is (-8372)/1*17/102*-12 a multiple of 56?
True
Let v = -159 - -163. Suppose m = -3*k + 115 + 129, k = -v*m + 63. Is k a multiple of 11?
False
Is (-407674)/(-30) - (26/91 + 16/(-105)) a multiple of 107?
True
Let r(y) = -5*y**3 - y**2 - 2*y - 3. Let q be r(-1). Let j be (-3)/(-3*q/207). Suppose -2*n = 5*k - j, -3*n - 5*k + 135 = 2*n. Does 9 divide n?
False
Let l be 2/4*(-12 - -16). Suppose -2*w + l*r = 2*w - 4, -w + 1 = 4*r. Is ((1125/2)/(-9))/(w/(-2)) a multiple of 11?
False
Let o(y) = -2*y - 1. Let p be o(-6). Let a(z) = 149*z**3 - z**2 + 2*z - 2. Let l be a(1). Suppose 7*j - p*j + l = 0. Does 9 divide j?
False
Suppose 31*g - 2268 = 19*g. Suppose 2323 = 5*o - 2*j, o - 273 - g = 3*j. Is 15 a factor of o?
True
Does 16 divide (10*-33)/(-10) + -1?
True
Let h(i) = -i. Let f(d) = -6*d + 26. Let u(t) = f(t) - 2*h(t). Let n be u(7). Let w(b) = 53*b**2 - 2*b. Does 22 divide w(n)?
False
Let m(z) be the first derivative of -z**4/2 + z**3 + 630*z + 171. Does 14 divide m(0)?
True
Let q be ((-4)/(-6))/(4 - (-68)/(-18)). Let d be 2*(q + 2116/8). Suppose d = -16*a + 21*a. Does 34 divide a?
False
Suppose 0 = -129*i + 134*i - 2*k - 161418, 5*k + 96828 = 3*i. Is 99 a factor of i?
False
Let v = 5117 - 2000. Suppose -2*x + 1362 = 5*d, -5*x + v + 288 = 4*d. Is x a multiple of 28?
False
Let a = 12385 + -8424. Suppose 321 - a = -7*n. Is 52 a factor of n?
True
Let n(b) = -b**2 + 5*b + 24. Let l be n(8). Suppose -2*s - 2 = l, -3*s + 0*s + 3 = 2*r. Is 9 a factor of (-31)/(-1) - r/1?
False
Let q(l) = 100*l + 49. Let g(h) = -49*h - 25. Let c(w) = 11*g(w) + 6*q(w). Does 36 divide c(7)?
False
Suppose -6*g + 10*g - 95 = -5*a, g - 95 = -5*a. Suppose 0 = 4*v - 2*v - 5*q + 14, -5*v = q - a. Suppose 69 = d - v*y, -4*d + 61 = -3*d - y. Does 13 divide d?
False
Let p = -385 - -390. Suppose -p*h = 5*b - 2955, 4*b + h - 1403 = 970. Does 11 divide b?
True
Suppose -y = -6*y. Let h = -123 + 186. Suppose c - 3*i = h, 111 = 2*c - y*c - i. Is 9 a factor of c?
True
Let h be 480909/24 + (-22)/(-176). Suppose h + 542 = 20*g. Does 28 divide g?
False
Let v(s) = 14*s**2 - 16*s - 66. Is 3 a factor of v(-13)?
True
Suppose -2*j - 2*d - 32744 = -6*j, -4*j + 32824 = 8*d. Is j a multiple of 21?
True
Let n(i) = 693*i**3 - 2*i**2 + 14*i - 28. Is n(2) a multiple of 76?
False
Suppose -t + 264 = 11*t. Suppose -t*r + 109 = -4555. Is r a multiple of 14?
False
Let t = 4679 - 3268. Suppose -19*q + 10958 = -t. Is q a multiple of 26?
False
Let f(g) = -9*g + 80. Let n be f(7). Let x = 7 - -29. Let m = x - n. Is 11 a factor of m?
False
Let g be ((-6)/(-4))/(-10 + (-1545)/(-150)). Let d be (-6)/(0 + (-2)/10). Is 4 a factor of 3 - -1*2/g*d?
False
Let y(p) = p**3 + 12*p**2 - 14*p - 1. Let a(u) = -u**2 + u - 1. Let o(g) = -3*a(g) + y(g). Let d be o(-16). Is 107*((-6)/(-9))/(6/d) a multiple of 23?
False
Let r(z) = 68*z + 231. Is 11 a factor of r(0)?
True
Is ((-1)/(-10) - (-15341)/(-1610))*-84 a multiple of 12?
True
Let u(v) = -103*v**3 + 3*v + 1. Suppose -29 = -4*d - 5*p + 2*p, 5*d + 4*p = 37. Suppose 10 - 5 = -d*w. Does 36 divide u(w)?
False
Suppose 0 = 53*o + 61*o - 232123 + 44707. Is 12 a factor of o?
True
Suppose -47*b = 123*b - 2281734 - 1495496. Is b a multiple of 13?
False
Let c(d) = -621*d**2 - 7*d - 6. Let t be c(-2). Let m = t + 3542. Does 41 divide m?
True
Let w = 23685 + -13689. Does 14 divide w?
True
Suppose -1425 = 5*t + s - 8215, 5*t - 3*s - 6770 = 0. Let r = 138 + t. Does 25 divide r?
False
Let y be (-6)/15 - (-168)/(-30). Let v be (21/y)/(-1)*(0 - 2). Is (4/(-3))/((7/18)/v) a multiple of 6?
True
Let j(c) = 716*c**2 + 2*c + 11. Is 22 a factor of j(2)?
False
Suppose -4*p = 2*i - 43 + 25, -5*p + 22 = 2*i. Suppose -6 - 38 = -2*l. Suppose -2*m + 4*m - l = 5*f, -2*m = p*f - 22. Does 11 divide m?
True
Suppose -3*u = -7*u. Suppose u = -4*y + 80 + 1516. Is 57 a factor of y?
True
Suppose 0 = -10*b + b - 1296. Let c be (-2)/(2 + b/71). Suppose 76*m - c*m - 680 = 0. Is m a multiple of 23?
False
Suppose 0 = -223*b + 1819 + 2195. Let y(h) = h**2 + h. Let m(u) = -u**2 - 12*u - 46. Let x(f) = m(f) + 2*y(f). Does 14 divide x(b)?
True
Suppose 15*q + 1071 = 18*q. Let s = q + -321. Is 3 a factor of s?
True
Let z(x) = 5*x + 84. Suppose 208 = 13*w - 0*w. Does 41 divide z(w)?
True
Suppose 5*v - 134 = -29. Does 15 divide 15/10*994/v?
False
Let l = -1204 + 1414. Does 6 divide l?
True
Let l = 297 + -406. Let z = l + 162. Does 8 divide z?
False
Suppose q = 3*x - 4*q + 30, 28 = -5*x + q. Let n(z) = 36*z**2 + 13*z - 17. Is 34 a factor of n(x)?
False
Is 3 a factor of 756/(-8*(-26)/208)?
True
Suppose 226 = u - 0*j + 3*j, -2*j = -2. Suppose 0 = 2*t - 4, -u = -v - 0*t - 4*t. Is v a multiple of 43?
True
Let x(m) = 31*m**2 - 6*m - 32. Suppose 0 = 4*s - 6 - 14. Does 31 divide x(s)?
True
Let t(f) = f**2 + 3*f - 12. Let g be t(-11). Suppose -2*h + 0*a = a - g, -5*h + 196 = a. Does 3 divide h?
False
Suppose -2*x + 2 = 4, -2*x + 4 = 2*p. Let c(m) be the second derivative of 9*m**5/20 - m**4/4 + m**3/6 - 7*m**2/2 - 151*m + 14. Is c(p) a multiple of 23?
False
Let a(d) = d**2 + 16*d - 28. Let v be a(-18). Suppose -v*m - 408 = -20*m. Is 2 a factor of m?
True
Let k(i) be the second derivative of -65*i**4/12 + 2*i**3/3 - i**2/2 - 15*i. Let u be k(-2). Let f = u + 453. Does 46 divide f?
True
Let t be (-4 + 1)/((-4)/(1 - -3)). Suppose t*v - 11*x = -7*x + 3, -x - 22 = -5*v. Is 3 a factor of v?
False
Let v(s) = 3*s + 131. Let m be v(-25). Suppose -57*n = -m*n - 420. Is n a multiple of 20?
True
Let d(c) = 2*c - 6. Let l be d(4). Suppose -l*h + 5*q + 621 = h, 1004 = 5*h + 2*q. Is h a multiple of 20?
False
Let h = -19 + 31. Let d(b) = 1 - b**2 - 73*b**3 + h*b**3 - 24*b**3. Is d(-1) a multiple of 21?
False
Let k be (-2)/(28/(-6)) + (-38274)/(-21). Suppose 5*q - 1815 = -2*g - 2*g, 3*q = 4*g - k. Is g a multiple of 52?
False
Let n(o) = -62*o**2 - 10*o + 59*o**2 + 0 + 7. Let b be n(-5). Is 3 a factor of b/(-30) + 254/10?
False
Suppose -11929 = 9*i - 65237 - 8801. Is i a multiple of 8?
False
Let z(n) = 2*n**3 - 7*n**2 + 5*n - 6. Let s be z(3). Let t be 1*(0 + 2 - s). Suppose -4*w - t*f + 36 = 0, w + f = -2*f + 4. Is w a multiple of 10?
True
Suppose -13*u - 2*u = 12*u. Suppose u = -316*l + 310*l + 792. Is l a multiple of 22?
True
Suppose 5*m + 14 = 29. Let t(p) = 6*p**2 + 212*p - 216*p + m + 7*p**2 - p**2. Is t(3) a multiple of 15?
False
Let y = -30 - -32. Suppose -5*t = -5*u + 30, -2*u = y*t - 0*t - 8. Suppose 207 + 3 = u*j. Does 9 divide j?
False
Let y(q) be the first derivative of q - 16. Let f(k) = 3*k - 7. Let i(w) = -3*f(w) - 3*y(w). Does 15 divide i(-8)?
True
Let i = 1377 + 1155. Is 37 a factor of i?
False
Suppose 0 = 1291*y - 1294*y - 813. Let r = 809 + y. Does 69 divide r?
False
Suppose 2*q - f + 12 = 6, -4*f = 5*q + 41. Let h(j) = -j**3 - j**2 + 16*j + 19. Does 13 divide h(q)?
True
Let i(m) = -m**2 - 8*m - 12. Let w be i(-3). Suppose -3*u = y - 572, -1664 = -w*y + 5*u - u. Is y a multiple of 56?
True
Let q = 94 + -52. Let r be (q - 0)/((-51)/(-68)). Suppose n = 1, 4*i - r = 2*i - 4*n. Is i a multiple of 13?
True
Let b(i) = 4*i - 100*i - 88*i - 7 + 15*i. Let f be b(-2). Let s = 467 - f. Is 13 a factor of s?
False
Let i = 35551 + -23422. Is 137 a factor of i?
False
Let m(g) = -g**3 + 20*g**2 + 26*g + 5. Let b be m(22). Let x = 559 + b. Does 28 divide x?
True
Let l = 32 - 28. Suppose 0 = -l*d + d - 51. Is 18 a factor of 0 + 52 - (d - -15)?
True
Let p be 2215/2 + 28/56. Suppose -220 = -s + j, 0*s + p = 5*s - 3*j. Is 3 a factor of s?
False
Suppose -2*i + 2*t = -3140, 3*i + 1607 - 6312 = 2*t. Let r = i + -838. Does 15 divide r?
False
Let l(k) = k**2 + 27*k - 59. Let j be (12 - 40) + 35/(-5). Is 13 a factor of l(j)?
True
Suppose -27*h + 21*h = 1272. Is h*((-216)/32 - -2) a multiple of 28?
False
Let n(b) = 246*b**2 - 5*b + 8