+ d - 18 = 4*a, -4*a = -3*d + 67. Is (-82)/(-3)*((-234)/12)/a a multiple of 9?
False
Let u(c) = -4*c + 1. Suppose 3*t = 6*x - 3*x - 15, -x + 13 = -5*t. Let o be u(t). Is 6 a factor of o/3 - (-20 - 1)?
True
Let f(a) = -a**3 + 16*a**2 + 24*a - 42. Is 11 a factor of f(17)?
True
Let o = 1549 - 1031. Is 40 a factor of o?
False
Let x = 1263 + -209. Does 32 divide x?
False
Let c(j) = -j**3 - 2*j**2 - j + 2. Let i be c(-2). Suppose 204 = i*x - 16. Suppose -x = -b - 7. Is b a multiple of 16?
True
Let t = 107 - 175. Is (4 + -5)/(2/t) a multiple of 6?
False
Let z = 98 - 90. Let t(f) = 23*f - 24. Is t(z) a multiple of 20?
True
Let r(v) = -v + 11. Let a be r(8). Suppose 2*j - a*x + 4 = j, -j - 4*x + 17 = 0. Is ((-82)/j)/(1/(-5)) a multiple of 41?
True
Suppose 49*o - 215528 = -9*o. Is o a multiple of 29?
False
Suppose 3*w + 13 = -3*h - 83, 0 = 5*w - 20. Let p = h - -204. Is p a multiple of 28?
True
Suppose -3*k + 987 = 3*y, 2*k + 977 = 4*y - y. Is 18 a factor of y?
False
Let k(z) = z + 9. Let m be k(-6). Suppose 0*g = m*f - 2*g - 110, 98 = 3*f + g. Suppose j - f = 5*q, -6*j + 2*j + 79 = -q. Is 6 a factor of j?
False
Suppose 4*z - 28 = -4*a, 0 = -4*a + 2*z - 4 + 2. Suppose a*t + 2*t = 120. Let y = t - 20. Does 6 divide y?
False
Does 58 divide 732 - 1*(-1)/1?
False
Is 24 a factor of 3/4 + (-2307)/(-12)?
False
Is 6 a factor of 9/(18/572)*(6 + -5)?
False
Let s be ((-4)/(-1))/(3/(-6)). Let t be 2/s + 10730/40. Suppose -3*m + 118 = 2*c, -4*c = -3*m + m - t. Does 22 divide c?
False
Let k be (-5)/((-4)/(96/20)). Let j be 3 - 14/k*3. Let m(a) = 4*a**2 + 3*a - 1. Is 17 a factor of m(j)?
True
Let i be 4*(-4)/(48/183). Let s = i - -139. Suppose s = 5*t + 8. Does 9 divide t?
False
Suppose 5*x + 171 - 186 = 0. Suppose -4*f - 152 = -4*n, -x*f - 66 = -5*n + 120. Is n even?
True
Let w be (28/6)/((-38)/(-171)). Let m = w + 1. Does 15 divide m?
False
Let i = -339 - -482. Is 13 a factor of i?
True
Let s = 104 - 86. Is s a multiple of 2?
True
Let n be 1/((-3)/(156/4)). Let p = 38 + n. Does 8 divide 2/(-5) - (-460)/p?
False
Suppose 2*i = 4, -52 = -2*c - 3*c - i. Is c even?
True
Suppose -5*c + 8*c - 12 = 0. Does 3 divide c + (0 - 1) + 8?
False
Let f = 11266 - 8023. Does 85 divide f?
False
Let x = -46 + 66. Is x a multiple of 5?
True
Let c(i) = 2*i**2 + 52*i - 128. Is c(-31) a multiple of 14?
True
Let p = -21 - -23. Suppose 0 = -p*z + 3*z - 67. Suppose -5*s + q = -80, 3*s - 4 = -4*q + z. Does 6 divide s?
False
Let o(g) = 43*g + 66. Is 25 a factor of o(6)?
False
Let o = 26 + -26. Let w = 14 + o. Is 14 a factor of w?
True
Suppose 2*j - j - 980 = 0. Suppose 10*n - 3*n = j. Let b = -93 + n. Is 16 a factor of b?
False
Suppose 2*r = -4*p - 28, 3*p - 4*r - 4 = -3. Let f = 117 + p. Does 14 divide f?
True
Let r(p) = 3*p**2 + p - 6. Suppose y = t + 3, 2*y - 4*y - 3*t = 9. Suppose y*m - 5*m = 15. Is r(m) a multiple of 14?
False
Suppose 8*g + 96 = 12*g. Let p = g + -20. Suppose 2*v - 3 = -p*r + 3, 5*v = -5*r. Is r a multiple of 2?
False
Let a(l) = -l**3 - 11*l**2 + 3*l - 44. Is 4 a factor of a(-12)?
True
Does 40 divide ((-2)/(-6)*6)/(20/4700)?
False
Suppose -396 = -4*r - 5*v, -4*r + 0*v + 404 = 3*v. Suppose 0 = -3*m + 2*m + r. Does 19 divide m?
False
Let r(s) = s**2 - 13*s + 17. Let l be r(12). Suppose -4*a - 2*p + 4*p = -80, 5*p = -l*a + 100. Is a a multiple of 10?
True
Suppose -3*t - 74 = -u, 0 = 2*u - 2*t - 2*t - 152. Suppose 9*i = 11*i - u. Does 15 divide i?
False
Suppose 2*k + s + 28 = 0, 4*k - 2*s = s - 46. Let o = 30 + k. Suppose l + 7 = o. Does 9 divide l?
False
Suppose 261*f = 264*f - 3414. Does 14 divide f?
False
Let f(q) = -2*q - 4*q**2 + 11*q**2 - q**2. Let u = -12 - -14. Is f(u) a multiple of 5?
True
Suppose 7*l = 10*l + 18. Let k(t) = t**2 + 3*t - 4. Is k(l) a multiple of 14?
True
Suppose -111*t + 117*t - 972 = 0. Does 9 divide t?
True
Let v = 156 - 72. Let a = v - 42. Is a a multiple of 8?
False
Let v be 9/6 + (-57)/(-6). Suppose -v*n = -7*n - 412. Does 24 divide n?
False
Suppose 2*o - 3*r = 16, -9 - 7 = -4*o - 2*r. Let m = o - 36. Let t = m + 42. Does 9 divide t?
False
Let k(c) = -61*c - 4. Let r(s) = 2*s + 31. Let g be r(-17). Is k(g) a multiple of 11?
False
Let x = -237 - -112. Let v = x - -215. Does 30 divide v?
True
Let o be (176 - (0 - 1))/(87/116). Suppose -4*u - 72 = -o. Is 11 a factor of u?
False
Let r = 1661 + -935. Does 38 divide r?
False
Let t = -45 - -346. Is 23 a factor of t?
False
Let j be 4/12 - (-1210)/6. Let k = 346 - j. Is k a multiple of 16?
True
Suppose 3*y = 4*y - 10. Suppose 3*x - x - y = 0. Suppose x*u + 26 = 3*h - 30, -h = -4*u - 14. Does 11 divide h?
True
Suppose -o = -8 - 5. Suppose -o*h + 1420 = -3*h. Is 11 a factor of h?
False
Let y(k) = 4*k - 14. Let g = -11 - -46. Suppose -5*z + g = -0*z. Does 8 divide y(z)?
False
Let g(j) = -j**3 + 8*j**2 + 27*j + 38. Is g(9) even?
True
Let g(i) = 7*i**2 + i + 2*i - 2*i. Let k be ((-53)/159)/(1 - 5/6). Does 26 divide g(k)?
True
Let r(f) = 106*f - 17. Is r(2) a multiple of 15?
True
Suppose -3*v = 35*v - 50806. Is 58 a factor of v?
False
Let d(l) = 2489*l**2 - 4*l - 4. Is 19 a factor of d(-1)?
True
Let h(v) = 2*v**2 - 35*v + 98. Is h(19) a multiple of 7?
False
Suppose 2*a + 3*c = 77, 4*a + 3*c - 111 = a. Suppose 1 = -4*t - 19, h - 5*t - a = 0. Does 2 divide h?
False
Suppose -5*x = -x - 108. Does 12 divide (x/4)/(6/64)?
True
Let m(a) = -a**3 + 8*a**2 + 11*a - 9. Let j be m(9). Let w = 6 - j. Let y(x) = -2*x**3 - x**2 + 5*x + 3. Does 11 divide y(w)?
True
Let b(u) be the second derivative of -u**4/12 + 13*u**3/6 + u**2 + u. Suppose -24 = -3*s - 4*g, g = -s + 3*g + 8. Is 24 a factor of b(s)?
False
Suppose 42*b - 22290 = -1584. Is 86 a factor of b?
False
Suppose -5*q - 1 = -6. Let l be 64/(-6) - (-2)/3. Is 10 a factor of (q/(-2))/(l/400)?
True
Let y(g) = g - 12. Let o be y(13). Let v be 1 + 2*(o - -28). Suppose 157 = 4*i - v. Is 18 a factor of i?
True
Let b be ((-4)/(-5))/(10/175). Suppose b = 2*o + 2. Suppose 5*m - o - 34 = 0. Does 7 divide m?
False
Let u(s) = -s**2 - 13*s - 9. Let n(d) = -d - 4. Let i be n(6). Let a be u(i). Let h = a + 1. Is 19 a factor of h?
False
Let t(r) = r**2 - 19*r - 4. Let s be t(18). Let g = s - -45. Does 3 divide g?
False
Let t = 2408 - 2148. Is 4 a factor of t?
True
Let z(m) = -m**2 + 33*m + 36. Is 34 a factor of z(15)?
True
Let v(q) = 4*q**2 + 11*q - 63. Does 63 divide v(13)?
True
Let a = -2602 + 4762. Does 15 divide a?
True
Let a = -34 - -82. Suppose -a = 20*m - 24*m. Is 9*(-2)/m*-8 a multiple of 12?
True
Suppose 0*q + 2*q = -8, -3*k - 4*q + 68 = 0. Let f be -2 + 11*(-2 - -1). Let l = f + k. Is l a multiple of 7?
False
Suppose -2513 + 1032 = -3*b + 4*q, 6*b - q = 2969. Is b a multiple of 45?
True
Let i = 1155 + -336. Is 12 a factor of i?
False
Suppose -129 = -5*t + 1491. Does 12 divide t?
True
Let w(n) = n**2 + n + 4. Let a be w(0). Let g be 0/(a/4*2). Suppose g*t = 2*t + 4*l - 16, 5*t + 4*l - 40 = 0. Is t a multiple of 2?
True
Let m(v) = -14*v**3 + v**2. Let j be m(1). Let l(x) = x + 17. Let y be l(j). Is 27 a factor of y/(-10) - (-2844)/60?
False
Let k = -811 - -1253. Is 17 a factor of k?
True
Let f = 1 + 10. Suppose -f = -4*u - 5*o + 28, -5*o = 5*u - 45. Is u a multiple of 6?
True
Suppose 3*h + 0*h + 2 = 2*v, -12 = 5*v + h. Does 9 divide 1/(-3)*(4 + v + -224)?
False
Let w(h) = 32*h - 88. Does 49 divide w(15)?
True
Let b be (0 + -1)/(3/(-6)). Let f(h) = 3 - 7*h - h**3 - 4 + 5 - 7*h**b. Does 5 divide f(-6)?
True
Let g(j) = -7*j + 195*j**2 - 1 - 193*j**2 + 3. Is g(8) a multiple of 17?
False
Let b(l) = 2*l**2 + 16*l - 24. Let s be b(-12). Let n = s + 56. Does 20 divide n?
False
Suppose -3*b - 3*m = -2 - 31, 5*m - 19 = b. Suppose r = b*r - 800. Is 32 a factor of r?
True
Suppose -62 = -5*g - 2*n + 3*n, 0 = 5*g + 5*n - 50. Does 2 divide g?
True
Suppose -n + 20 = -13*k + 9*k, -41 = -4*n + 3*k. Suppose 3*c + a = 34, 4*a - n*a - 33 = -c. Is c a multiple of 3?
False
Let l = 1785 - 1233. Is l a multiple of 8?
True
Suppose 0 = -3*d + 4*d - n - 65, -d = -3*n - 71. Does 6 divide d?
False
Let s(b) = -b - 3. Let r be s(-9). Let x(k) be the third derivative of -k**5/60 + k**4/2 + 5*k**2. Does 13 divide x(r)?
False
Suppose 7*f - 9*f - 14 = 0. Let m(b) = b**3 + 8*b**2 + 7*b + 7. Is m(f) a multiple of 7?
True
Let r = -297 + 897. Is r a multiple of 75?
True
Suppose -7*d = -5*d. Suppose d = 3*h + h - 60