= y*x - 8. Is x a multiple of 4?
True
Suppose -26*g - 22*g = -178560. Does 93 divide g?
True
Let l(u) = -77*u + 282. Is 32 a factor of l(2)?
True
Let y be 2/4*16 - 1. Let n = -5 + y. Suppose -3*a + 5*i + 95 = -48, 92 = n*a - 4*i. Is 28 a factor of a?
True
Let b = 86 + 103. Let w = b + -32. Is w a multiple of 30?
False
Suppose -5*a + 557 = 3*n, -2*a + 4*a - 3*n - 206 = 0. Suppose -114*v = -a*v - 120. Is v a multiple of 12?
True
Suppose 180 = l + l. Let t be l/21 - 8/28. Does 14 divide t/(14/(-5) + 3)?
False
Suppose 0 = 2*s + 2. Let n(z) = -45*z - 2. Is 3 a factor of n(s)?
False
Suppose -23 = -4*x + 5. Let d(i) = 2*i**2 - 13*i + 1. Let c(u) = 2*u**2 - 12*u. Let v(y) = 4*c(y) - 3*d(y). Does 9 divide v(x)?
False
Let f = -4 + 6. Suppose -z - 2*c + 194 = 0, -4*c - 287 - 117 = -f*z. Let x = -80 + z. Does 26 divide x?
False
Let i = -210 - -522. Does 6 divide i?
True
Let t be 14 - ((-12)/(-36) - 8/6). Does 26 divide t/2*1*20/3?
False
Let t = -843 - -1220. Is 29 a factor of t?
True
Suppose 2*c = 4*c - 4*o - 180, 0 = -2*c - o + 185. Suppose -4*r + 116 = -c. Is 13 a factor of r?
True
Let g = -306 - -554. Does 63 divide g?
False
Let s(y) = y**3 + y**2 + 2*y + 11. Suppose 23*b = 27*b - 60. Suppose -b = 2*c - c + 5*t, -4*c - 5*t = 15. Is 10 a factor of s(c)?
False
Let y = -520 - -757. Does 31 divide y?
False
Let s = 25 - 27. Is 17 a factor of s/(-4)*((-348)/(-2))/3?
False
Let t(o) = 22*o**2 - o - 14. Does 11 divide t(-3)?
True
Suppose 0 = -w + 2*m - 5, -2*w + 0*m - 2*m + 14 = 0. Let n(i) = i**3 + 4*i**2 - 3*i - 4. Let d be n(w). Let o = d + -33. Does 11 divide o?
False
Let c(g) = g**3 + 8*g**2 - 5*g - 6. Let f be c(-8). Suppose 0 = -6*u + 5*u + f. Does 17 divide u?
True
Let c = 709 + -675. Suppose -3*d - d + 8 = 0. Suppose -d*j = -70 - c. Is 13 a factor of j?
True
Let p(z) = -z + 3. Let c be p(0). Let v be ((-3)/(-2))/((-10)/(-60)). Suppose c*r - f = 29, -3*r - 3*f + v = -0*f. Is r a multiple of 2?
True
Let t(d) be the first derivative of 5 - 7/2*d**2 - 2*d + 1/3*d**3. Is 2 a factor of t(8)?
True
Suppose -4*s = -24 + 4, 0 = 5*b + 5*s - 165. Let k = b - 18. Suppose 2*i + 5*n + 71 = 3*i, -2*n + k = 0. Does 16 divide i?
True
Suppose 0 = -4*r - 22 - 2. Let g(t) = t**2 + t - 8. Let l be g(r). Suppose -38 = -p - l. Does 11 divide p?
False
Suppose -3*k + 4*r = 3*r - 2756, 3*k = 5*r + 2764. Does 34 divide k?
True
Let q = 489 + -331. Does 28 divide q?
False
Suppose 4*u - 12*u = -80. Does 2 divide u?
True
Let w be 1/1*(5 - 2). Suppose -y + 79 = w*q, 0*q = -5*q - 5*y + 135. Does 12 divide q?
False
Let l(i) = 10*i - 1. Let o be l(-1). Let s(r) = -2*r - 14. Let d be s(o). Suppose d*h - 244 = 4*h. Is h a multiple of 15?
False
Let n = 20 - 13. Suppose -k + 9 = 5*a, -4*a - 1 = 2*k - n. Does 17 divide (-132)/(-2) - (1 + k)?
False
Let v(g) = g**2 + 10*g + 7. Let d be v(-15). Suppose 2*u - d = -2*p, 3*u + 5*p = -u + 169. Is u a multiple of 9?
True
Is 9 a factor of (-1)/(-3) - 485/(-3)?
True
Let q = 450 - -82. Is 15 a factor of q?
False
Let k(s) = 2*s**2 + 6*s + 4. Let m be k(-3). Suppose -4*i - 52 = -h, 4*h - m*i = 2*h + 120. Is h a multiple of 17?
True
Suppose 4*u + a - 2496 = 0, 2*u + 4*a + a = 1248. Is 48 a factor of u?
True
Suppose 72769 + 14591 = 26*p. Is 28 a factor of p?
True
Let u(g) = -2*g - 22. Let z be u(-9). Let k(w) = 2*w - 7. Let l be k(z). Let p(q) = -q**2 - 18*q - 12. Does 33 divide p(l)?
True
Let z(l) = 11 - 9 - 21*l - 1. Is 9 a factor of z(-1)?
False
Does 20 divide (319/(-33) + 8)*(2 - 1538)?
True
Let a = -26 + 17. Is 9/3*(-12)/a a multiple of 2?
True
Let p be 12/(-4) - (-3 + 4). Let j(g) = 5*g + 0*g + 2*g + 5*g**2 + 3 - 2*g. Is 11 a factor of j(p)?
False
Let l = 32 - 26. Is (-3)/l*-3*24 a multiple of 6?
True
Is 390 - (-4 - -4) - 6 a multiple of 16?
True
Let c(y) = y**3 - 7*y**2 + y + 6. Let x be c(7). Suppose -x*m = -8*m. Suppose m = -5*r + 38 + 22. Is r a multiple of 12?
True
Let s = 40 - 2. Suppose 0 = -n - 2, 0 = -0*u - 2*u + 2*n + s. Is 8 a factor of u?
False
Let f(v) = -4*v + 1. Let r(d) = -3*d + 1. Let w(y) = -6*f(y) + 7*r(y). Let s be w(-3). Let g = s - -21. Is 9 a factor of g?
False
Suppose -4*g - 2*h + 128 = 0, 3*g + 5*h - 2*h - 99 = 0. Suppose -5*t + 11 = -0*t + d, 4*d = 5*t - g. Is 2 a factor of t?
False
Let x(o) = o**2 - 6*o - 6. Let m be x(-5). Does 13 divide 34/2*m/7?
False
Let u(y) = 3*y + 9. Let o be u(0). Is (-165)/(-7) - o/(-21) a multiple of 10?
False
Let o = 17 - 12. Suppose -p - o = -2*a - 3*a, -2 = -2*a. Suppose 4*z = -4*h - 0*z + 312, p = -3*h - 4*z + 230. Is 22 a factor of h?
False
Let z(u) = -u**3 - 2*u**2 + 6*u + 726. Is 71 a factor of z(0)?
False
Suppose -2*h - 5 = 3*t, -2*h - 4*t = -3*h + 14. Suppose 0*v = -h*v + 128. Is 16 a factor of v?
True
Let t be (-3)/(-9) - ((-14020)/(-12))/(-5). Let f = t + -165. Is f a multiple of 23?
True
Let u = 860 - 200. Suppose -4*o + 4*l - l + 880 = 0, l - u = -3*o. Is 34 a factor of o?
False
Is 117/273 + -314*(-6)/14 a multiple of 21?
False
Suppose 4*g = -u + 2, g - 22 = 2*u + 10. Is 12 a factor of (3 - u/(-4))*-162?
False
Let b = -22 - -22. Suppose -5*u + 4 = -4*q, -4*u + q - 4*q + 28 = b. Suppose 106 = 5*l + 3*t, -l - u*t + 8 = t. Is l a multiple of 13?
False
Suppose 3*m - 25 = -5*f, 2*m = 3*m - 5. Suppose f*w - 10 - 18 = 0. Is 9 a factor of 3*-1 + w + -2?
True
Let w(x) be the first derivative of 51*x**2/2 - 3*x - 9. Let y be w(1). Suppose y = -6*l + 10*l. Is 5 a factor of l?
False
Let f = 40 - -12. Does 15 divide f?
False
Suppose 0 = 2*u + 3*l + 97, -2*l = -2 - 0. Let t be (-270)/u - (-2)/(-5). Suppose 3*k - 38 = 4*c + c, -90 = -5*k - t*c. Does 8 divide k?
True
Does 2 divide 3/(-4) + (-2282)/(-56)?
True
Let z(c) = -7*c + 32*c**2 + 2 + 4*c + 7*c. Is 3 a factor of z(-1)?
True
Let r(l) = l**2 + 3*l + 61. Is 6 a factor of r(-18)?
False
Let g be ((-20)/16)/((-3)/12). Suppose -36 = -g*w + w. Let d(f) = f**2 + 8. Is 15 a factor of d(w)?
False
Is 12 a factor of 123318/68 + 1 + 5/(-2)?
True
Let a = 2279 + -1013. Suppose 4*n - a = -350. Is 16 a factor of n?
False
Is 13 a factor of 21*(-7)/21 - -22?
False
Suppose 5*m = -42 - 23. Let y = -15 - m. Does 11 divide (1/y)/((-6)/396)?
True
Let n(j) = -j**3 + 22*j**2 + 66*j + 103. Does 78 divide n(23)?
True
Suppose 5*h + 5*q - 54 = -9, 2*h - 9 = q. Suppose 12 = -4*x + 24. Let m = h + x. Does 3 divide m?
True
Let h(o) = o**2 - 23*o - 64. Does 21 divide h(-13)?
False
Let q = 68 - -309. Does 30 divide q?
False
Let f(o) = -5 - 6*o**2 + 9*o**2 - o**2 - 4*o. Is 5 a factor of f(5)?
True
Let i = 274 - 548. Does 17 divide (-4)/24*3*i?
False
Suppose -2*n - 8 = 3*w, 5*w - 2*n = -0*w - 8. Let l be -3 - (w + -1) - -5. Suppose 3*s = -l*p, -s + p + 9 = 1. Does 5 divide s?
True
Let q(x) = 5 + 56*x**3 - 2*x**2 + 2 - 2*x**2 - 55*x**3. Is 8 a factor of q(5)?
True
Let n be (-1)/(-3 - 30/(-9)). Let t be (1 - 0)*(-63)/n. Suppose -2*u + 3 + t = 0. Does 6 divide u?
True
Is 12*520/50*50/4 a multiple of 122?
False
Let t(u) = 4*u**3 - 5*u**2 - 7*u. Let i(d) = -4*d**3 + 6*d**2 + 8*d. Let m(r) = -5*i(r) - 4*t(r). Is 26 a factor of m(5)?
False
Suppose -2*f + 49 = -x, -x - 27 = -f - 0*x. Suppose -w + 3*u = u - f, 143 = 4*w + 3*u. Does 16 divide w?
True
Let i(f) = -f + 9. Let v be i(11). Does 42 divide 135*(-3 - (v - 2))?
False
Suppose 3*o - 5*y + 14 = 4, 4*o - 2*y = -4. Let s be (9 - 3)/(3/14). Suppose -d - 4*k + s = o, -k + 62 = 2*d + d. Is d a multiple of 20?
True
Suppose -50 = -3*g - 2*s + 37, 3*g - s = 96. Is g a multiple of 13?
False
Let v be 4/6 - 5*2/(-3). Suppose -3*s + 37 = -3*y + v*y, 3 = s - 2*y. Is s a multiple of 4?
False
Let d(i) = 2*i**2 - 2*i - 1. Let z be (-3)/(-2)*30/(-45). Let y be d(z). Suppose -2*o = 4*a - 0*a - 124, -y*a = 2*o - 94. Does 15 divide a?
True
Let h(m) = m**3 - 11*m**2 - 8*m - 16. Let o(i) = i - 15. Let f be o(10). Let b = 7 - f. Is h(b) a multiple of 16?
True
Suppose -3*y + y - 8 = 0, 2*y + 16 = 4*p. Suppose 0 = p*o + 2 + 42. Let i = o - -36. Does 14 divide i?
True
Let h(w) = 112*w + 4. Let u be h(2). Suppose 8*i + u = 3*i - 3*j, i + 5*j = -50. Is ((-150)/i)/((-4)/(-114)) a multiple of 19?
True
Let n be (-1)/((3 - 0)/171). Let v = n - -358. Does 45 divide v?
False
Let m(r) = 70*r**2 - 119. Does 145 divide m(6)?
False
Let z = -2960 - -5282. Is z a multiple of 14?
False
Suppose -4*o + 2912 = 4*i - 6*i, -3618 = -5*o - 3*i. Is 121 a factor of o?
True
Let h(o)