 4*l - 20. Let h(m) = -2*q(m) + 11*x(m). Does 6 divide h(8)?
True
Suppose u + 2*t = 61, -5*u - 5*t = -u - 253. Suppose -2*b + 3*b - f = u, -323 = -5*b + 2*f. Is 21 a factor of b?
True
Suppose 23*s - 18*s - 1975 = 0. Does 26 divide s?
False
Suppose -3019 = -5*v - 429. Suppose 0 = 3*p + 15, 4*p = 3*t - 0*p - v. Does 32 divide t?
False
Is (-2 - -12)*(5 - 0) a multiple of 7?
False
Suppose -5*k + 2*l - 4*l = 23, 3*k = -3*l - 21. Let y be k*218/(-6) - -3. Suppose -3*t - 3*u = -71 - y, 245 = 4*t + 5*u. Is 19 a factor of t?
False
Let z(p) = p**2 + 6*p - 22. Let f be z(5). Suppose -r - 16*s + f = -12*s, -3*r = s - 132. Is 10 a factor of r?
False
Let f(i) = -i**2 + 12*i - 23. Let b be f(9). Suppose 159 = 2*n - x, 174 = 4*n - 2*n + 2*x. Suppose b*m - 14 = n. Is 16 a factor of m?
False
Let p = -128 + 219. Is 28 a factor of p?
False
Suppose -826 - 1442 = 6*s. Let t = -197 - s. Does 24 divide t?
False
Is 21 a factor of 800 + (12 - 6) - 8?
True
Let c = 324 + -224. Suppose 2*a = a + c. Is 25 a factor of a?
True
Is 11 a factor of ((-2180)/(-5))/(-3*(-6)/9)?
False
Let n = 655 + -375. Let g = -130 + n. Is 30 a factor of g?
True
Let j = 2185 + -1826. Is 8 a factor of j?
False
Let h(g) = g**3 + g**2 - 4*g - 4. Let k = -23 + 21. Let q be h(k). Is 13 a factor of (-2 - (q + -28))*1?
True
Suppose -1226 = -4*l + 5*v, -3*v = 3*l - 210 - 696. Does 38 divide l?
True
Suppose -2*p = -p - 16. Let t = 10 - p. Does 6 divide 9/t - 78/(-4)?
True
Let r(f) = -8*f**2 - 16*f - 7. Let d(j) = -j**2 + j - 1. Let x(c) = 5*d(c) - r(c). Let b be x(-7). Suppose 153 + 47 = b*u. Does 25 divide u?
True
Is 4/(-1) + (386 - -2) a multiple of 32?
True
Suppose 0 = -3*j + 6, -3*l = -75*j + 76*j - 3248. Does 7 divide l?
False
Suppose 0 = r - 4*r + 369. Is 7 a factor of (-20)/40 + r/2?
False
Let i(d) = -d**2 + d - 1. Let b(x) = -2*x**2 - 4*x - 4. Let s(k) = -2*b(k) + 6*i(k). Let u(q) be the first derivative of s(q). Is u(-7) a multiple of 14?
True
Suppose 20*h + 5*h = 11400. Is 12 a factor of h?
True
Let l(i) = 2*i + 4*i - 5*i. Let m be l(7). Suppose p + m = 27. Is 20 a factor of p?
True
Let c = 22 - 10. Suppose 5*q = -3*y - 0*y - 5, q - 2*y = c. Suppose 8 + 52 = q*f. Is f a multiple of 10?
True
Let b(z) = -27*z - 1. Let x be b(-9). Let o = -132 + x. Is 5 a factor of (-1 - 1)/((-11)/o)?
True
Suppose -3*i - 8000 = -5*z, -6*z - 8000 = -11*z - 4*i. Is z a multiple of 32?
True
Is ((-78)/(-9))/((-6028)/2013 + 3) a multiple of 13?
True
Let r(p) = p**2 - 1. Let c be r(5). Is 5 a factor of (-126)/(-15)*80/c?
False
Suppose -3567 = -5*o + 4*x, 5*x - 2870 = -5*o + o. Is 65 a factor of o?
True
Suppose 4*m - 21 = -t, 0*m + 5*t = -m + 29. Suppose 5 = -5*p, -m*v = p - 2*p - 25. Is 18 a factor of -4 + (v + -3 - -55)?
True
Suppose -2*a + 104 = 5*h, a - 22 - 27 = -h. Let v = a - 21. Is 13 a factor of v?
True
Let g(z) = -2*z**2 - 3*z**2 + 4*z - 7 + 7*z**3 - 8*z**3. Let u be g(-6). Suppose 0 = -4*l + v + u + 10, -6 = 2*l + 4*v. Does 2 divide l?
False
Let p be (-1 - (-12)/(-4)) + 7 + 161. Suppose 3*v - p = 445. Is 13 a factor of v?
False
Suppose -3*b + 18 = 2*u - 19, 4*u - 47 = 3*b. Is 20 a factor of 1415/35 + (-6)/u?
True
Let n(k) = 12*k - 2*k - 1 - 3 + 0*k. Does 33 divide n(7)?
True
Let g(c) = -c**3 - 7*c**2 + 20*c - 66. Is g(-12) a multiple of 23?
True
Let v = 1782 + 3300. Is 21 a factor of v?
True
Suppose -3*c + 2*y + 2 = -2*y, y = 1. Let w(n) = 9*n**3 - 5*n + 2. Is 8 a factor of w(c)?
True
Let r = 373 - -177. Is r a multiple of 60?
False
Let n = 92 - -40. Is n a multiple of 11?
True
Let x(d) = -1 - 24*d + 7 + 6. Is x(-6) a multiple of 27?
False
Let a = -18 - -18. Suppose p + 2 = -2*u - 20, 2*p = a. Let w = u + 40. Is 29 a factor of w?
True
Is 11 a factor of ((-902)/3)/(58/(-87))?
True
Let t(a) = -13*a + 12. Does 3 divide t(-1)?
False
Suppose -280500 = 76*k - 178*k. Is 74 a factor of k?
False
Let f(g) = 9*g - 3 - 1 + 17. Let p be f(-11). Is p/(-3) + 4/(-6) a multiple of 7?
True
Let t = 17 + -14. Suppose -5*m + 93 = 3*n, -t*m + n = -4*n - 49. Is m a multiple of 6?
True
Let o(u) = 10*u**2 + 7*u + 7. Suppose 7*p - 11*p - 20 = 0. Does 27 divide o(p)?
False
Suppose 6097 = 15*y - 488. Is y a multiple of 10?
False
Suppose 22 = 4*b - 54. Suppose -185 = -6*q + b. Suppose -14 = -v + q. Is 12 a factor of v?
True
Suppose -640*l + 636*l + 4924 = 0. Does 9 divide l?
False
Let x(o) = o**3 + 9*o**2 - 8. Does 45 divide x(-7)?
True
Suppose -26 = 5*u + 2*o, -o + 3*o = 4*u + 28. Let d be 86/u + 14/(-21). Let b = d - -29. Is 8 a factor of b?
False
Suppose 5*o = s + 1258, -2*s - 322 - 682 = -4*o. Suppose 0 = -w - 2*w + o. Suppose -3*r + w = -0*r. Does 9 divide r?
False
Suppose -3856 = -23*o + 1319. Is 10 a factor of o?
False
Suppose 10*j = 4*n - 3838, 18*j = 21*j + 3. Is 11 a factor of n?
True
Suppose -p - 4*b = -4 + 7, 2*p - 3*b = 16. Let t = 281 - p. Is t a multiple of 12?
True
Suppose 3*t + 20 = -5*c, -2*t - 5 = -t. Let l be (-1)/c*(-2 + 6). Suppose 2 + l = m. Is m a multiple of 3?
True
Let r be (-5)/(2/16*4). Let i = r + 9. Is 5/3*i*-3 a multiple of 3?
False
Suppose -5*h + 8*h - 12 = 3*c, 3*h - c = 4. Let y(t) = t + 1. Let j(o) = o**2 - 3*o - 39. Let i(p) = -j(p) - 2*y(p). Is i(h) a multiple of 11?
False
Does 26 divide (21164/(-185))/((-4)/30)?
True
Let z(d) = d**3 + d**2 - 7*d - 1. Let h be z(-2). Let n(q) be the second derivative of -q**5/20 + 3*q**4/4 + 2*q**3/3 - 6*q**2 - q. Is n(h) a multiple of 6?
True
Suppose 0 = 25*g - 24*g - 2. Suppose -g*m + 152 = 2*m - 3*p, 0 = p. Is m a multiple of 17?
False
Let g(v) = -68*v - 106. Is 12 a factor of g(-22)?
False
Suppose 0 = 20*l - 23*l - 5*k + 1735, -2*k - 2840 = -5*l. Does 10 divide l?
True
Let d(z) be the first derivative of -z**3/3 + 17*z**2/2 + 4*z + 9. Does 34 divide d(15)?
True
Let m(y) = 5*y + 59. Let s be m(-11). Suppose 12 = 5*j - r, -1 = -j - 3*r - 5. Suppose -4*h + 112 = s*x, 5*x = 7*h - j*h + 90. Is 16 a factor of x?
False
Let d(f) = 700*f**2 + 48*f + 48. Does 70 divide d(-1)?
True
Let i = -9 - -5. Let s(w) = -2*w + 8. Does 11 divide s(i)?
False
Let x(j) = 1217*j**2 - 12*j - 5. Is 68 a factor of x(-1)?
True
Suppose -5*g + 2 + 13 = 0. Let h be ((-2)/3)/((-2)/g). Is -5 + 6 + 0 + h a multiple of 2?
True
Let q(t) = t**2 - 4*t + 33. Let p(o) = 2. Let w(r) = -4*p(r) + q(r). Does 7 divide w(0)?
False
Let l be 1/(-3 + 2365/790). Let v = -108 - l. Does 12 divide v?
False
Suppose p + 2*m = 0, 2*p + 56 = 5*m + 11. Does 8 divide -128*(2 - p/(-4))?
True
Let f(h) be the third derivative of 11*h**5/60 - h**4/8 - h**3/2 + 27*h**2. Does 47 divide f(-2)?
True
Suppose -4*f - 3 + 19 = 0. Suppose -3*d + 2*d + f*i = 12, 0 = 4*i + 4. Does 32 divide -48*(d/3 + 4)?
True
Let d be 27/5 + 9/15. Suppose 0 = r + 5*p + 4, 4*r + p - 34 = d*p. Let s = r + 28. Is s a multiple of 17?
True
Let l(x) be the third derivative of x**5/60 + 13*x**4/12 + 43*x**3/6 + 14*x**2. Is 9 a factor of l(-25)?
True
Suppose -u - 3*u - 2*f = -7754, -5802 = -3*u + 3*f. Let n = -4156 + u. Does 29 divide n/(-77) + (-4)/(-22)?
True
Let d = -29 + 255. Is 21 a factor of d?
False
Suppose 0 = 3*n - 107 - 88. Let z be n/(-2) - 18/(-12). Let a = z - -43. Does 4 divide a?
True
Let v be 39*(-5)/(60/52). Let z = 265 + v. Does 16 divide z?
True
Let j be 14/((2/1)/(-1)). Let f(s) = -2*s**2 - 30*s - 4. Is f(j) a multiple of 36?
True
Let h = -46 + 20. Let p = 31 + h. Suppose -p*f - 26 = -131. Is f a multiple of 7?
True
Let a(n) = -2*n**3 + 2*n**2 - n + 2. Suppose 10*q - 7*q - 15 = 0. Suppose 7*x + 6 = q*x. Is a(x) a multiple of 11?
True
Suppose 5*h + 5*n = n + 6437, -3*h - 3*n = -3864. Is h a multiple of 77?
False
Let h(g) = -11*g - 6*g + 26 - 76. Is h(-5) a multiple of 5?
True
Let a = 1281 + -872. Does 26 divide a?
False
Let r be 3/(7/2 + -3). Let c be (2/5)/(r/900). Suppose -17 = x - c. Does 15 divide x?
False
Let h(a) = -a**2 - a - 1. Let t(i) = 5*i**2 + 6*i + 41. Let l(x) = 4*h(x) + t(x). Is l(14) a multiple of 29?
True
Let w(m) = -m**2 + 12*m + 4. Let u be ((-30)/9)/(1/(-3)). Let l be w(u). Let n = l + -13. Is 8 a factor of n?
False
Let x be (-1 + 2)/(1/5). Let a(w) = 10*w**2 - 4*w + 1. Does 38 divide a(x)?
False
Let k(c) = -25 - 7 + 15*c - 7 + c**2. Does 8 divide k(-18)?
False
Let v(b) = 3*b - 5. Suppose 2*l - 10 = w, -4*l + 3*w - 6 + 24 = 0. Suppose 64 = l*y - 2*y. Is v(y) a multiple of 10?
False
Let h(f) = f**2 + 145. Suppose -4*m = 5*