5*o + 200. Is 18 a factor of o?
True
Suppose m + 24 = 5*m. Suppose 7*y - 136 = m*y. Is y a multiple of 17?
True
Let y = -368 + 626. Does 6 divide y?
True
Let n = -753 + 787. Does 17 divide n?
True
Let z = -1619 + 2504. Does 15 divide z?
True
Suppose 6*y = 3*y - 3*o - 177, 0 = y - o + 55. Let s = -2 - y. Let q = -28 + s. Is q a multiple of 9?
True
Is (-10)/(-6)*(18 + -3) a multiple of 5?
True
Suppose 0 = 5*m + 2*w - 2042, 10*m - 13*m = 2*w - 1226. Does 14 divide m?
False
Let u(i) = i**3 - 2*i**2 - 7*i + 1. Let p be u(6). Let m = 303 - p. Is 10 a factor of m?
True
Suppose 0 = -4*z - 0*v + 4*v + 24, 2*z - 8 = -2*v. Let w(n) = n**3 - 27*n**2 + 30*n + 16. Let p be w(26). Suppose -z*a + 8*a - p = 0. Does 12 divide a?
False
Let n(c) = 6*c**2 + 3*c + 7. Let v be n(-3). Let a = -35 + v. Does 16 divide a?
False
Suppose -88*o = -86*o - 1530. Is o a multiple of 45?
True
Let r = 72 + -39. Let p = r - 35. Is 16 a factor of (-43 - p)/(-1 + 0)?
False
Suppose 10*c = 2231 + 299. Is c a multiple of 19?
False
Let l(f) = -f**3 + 13*f**2 - 11*f + 18. Suppose 5*o = -4*j + 76, -4*j - 4 = -0*j. Suppose -2*c + 2*h + o = -0*c, -64 = -5*c - h. Is 16 a factor of l(c)?
False
Suppose 5*a - v - 1525 = 0, 3*a + 305 = 4*a - 5*v. Is a a multiple of 61?
True
Suppose 4*h + 0*h = 48. Does 10 divide h/1 + (-8)/4?
True
Let o(t) = -3*t**3 + 2*t**2 - t - 2. Let w be o(-1). Does 18 divide ((-3)/w)/(2/(-48))?
True
Let m(z) = -26*z + 1. Let a(f) = -2*f**3 + 2*f**2 - f. Suppose 3*v - 2 = -4*o - 1, 5*v + 5 = 0. Let b be a(o). Is 16 a factor of m(b)?
False
Let d(h) = h**2 + 51*h + 358. Is 29 a factor of d(-56)?
True
Let q(p) = 9*p + 11. Let h(u) = u - 4. Let t be h(6). Let k(v) = -v - 1. Let y(c) = t*q(c) + 22*k(c). Is 24 a factor of y(-6)?
True
Let q be (-178)/9 - (4 - (-34)/(-9)). Is (-5)/q*(331 + 1) a multiple of 18?
False
Suppose 0 = -3*f + 3 - 21. Let q(a) = a**2 + a - 20. Is 2 a factor of q(f)?
True
Let y(h) = 5*h**3 - h**2 - 6*h - 1. Let u(x) = 9*x**3 - x**2 - 11*x - 2. Let b(r) = 4*u(r) - 7*y(r). Let z be 8/(-3) - (-7)/(-21). Does 5 divide b(z)?
True
Suppose -2*r + 4 = 2*r, -2*x + 3*r + 447 = 0. Let a = x - 140. Is 15 a factor of a?
False
Let a(j) be the third derivative of -j**4/3 - 19*j**3/6 - 6*j**2. Is a(-8) a multiple of 15?
True
Let p = 1 - 4. Let a be (p - -7)/((-1)/(-88)). Suppose -5*d + 415 = -3*i - 2*i, -a = -4*d - i. Is 27 a factor of d?
False
Let t be (-682)/17 - (-6 + 400/68). Is (0 - 10/(-4))/((-20)/t) a multiple of 5?
True
Let o(s) = s**3 + s. Let t be o(1). Suppose t*w - 2 = 2. Let g(n) = 5*n**3 + n**2 - 2*n + 1. Is 12 a factor of g(w)?
False
Suppose 0 = 14*h - 10*h - 220. Let d be (-2)/8 - h/20. Is 3 a factor of 2/d + (-55)/(-15)?
True
Let n = -50 + 48. Let i = -193 - -129. Is 20 a factor of (i/24)/(n/30)?
True
Let p(h) = -93*h + 123. Does 48 divide p(-9)?
True
Let l(b) = -59*b + 22. Does 13 divide l(-8)?
True
Let a be (-2)/((-1)/(-6)*-2). Suppose 3*c - c - a = 0. Suppose 0*s = c*g - s - 97, -2*g + s + 65 = 0. Is g a multiple of 16?
True
Let x(f) = 2*f - 19. Let t be x(12). Suppose -y + t*s + 39 = 0, -3 - 7 = 5*s. Is y a multiple of 19?
False
Let f(v) = 2*v + 15. Let t be f(0). Suppose 1 = -2*r + t. Is r/(28/152) - 3 a multiple of 8?
False
Suppose -83 = 2*v + 497. Is 8 a factor of v/(3 + -8) + -2?
True
Suppose 2*y - 10 = 0, -5*c + 44 + 86 = -y. Suppose -x - c = 10. Let v = -10 - x. Does 7 divide v?
False
Suppose t - 2*t + 7823 = 5*n, t = -3*n + 4693. Suppose -6*z + n = -z. Suppose 4*f = 3*g - 216, 0*g - z = -4*g - 3*f. Is 24 a factor of g?
False
Let r(n) = n**2 + 7*n - 6. Let i be r(-8). Let u be (-1)/i - 58/(-4). Is 80/14*u/4 a multiple of 10?
True
Let b = 1484 - -519. Is b a multiple of 16?
False
Let f(i) = -2*i**3 - 7*i**2 - 29*i - 28. Is f(-8) a multiple of 15?
True
Let t(j) = -j. Let m be t(-4). Suppose m*c - 1 = 31. Let q = c - 1. Is 2 a factor of q?
False
Let l = -12 - -10. Let b = 8 + l. Suppose 0 = v - b*v + 225. Is v a multiple of 15?
True
Is 568 + (-1 - -12 - 3) a multiple of 12?
True
Let s(t) = 1153*t + 130. Does 42 divide s(2)?
True
Let b(i) = -i - 2. Let x be b(-7). Suppose -5*p = 2*n - 2, -3*n - 16 = -4*n + x*p. Is n a multiple of 2?
True
Let u(w) be the first derivative of 5/2*w**2 + 2*w**3 - 3 - 7*w. Does 31 divide u(3)?
True
Let p = -30 + 15. Let n be (-15)/9 - 10/p. Does 12 divide 315/7 - (n - 2)?
True
Suppose 4*u - 930 = -4*r + 754, 0 = -5*r + 2*u + 2084. Is 7 a factor of r?
False
Suppose 4*r + 285 = -3*o, 3*r + o + 4*o + 211 = 0. Let y = 228 + r. Is y a multiple of 23?
False
Let x(g) = -7*g**3 - 11*g**2 + 27*g - 20. Let n(b) = -4*b**3 - 5*b**2 + 14*b - 10. Let m(z) = 5*n(z) - 3*x(z). Is m(-9) a multiple of 5?
False
Let h = 52 - 15. Suppose p + 2*w - h = 0, -w + 3*w = 6. Is p a multiple of 31?
True
Suppose -6 + 942 = 9*o. Suppose 3*i - 298 - o = 0. Is 13 a factor of i?
False
Let j(r) = 2*r**2 - 45*r + 104. Is 13 a factor of j(29)?
True
Suppose 0 = -b + 2*z - 85, -3*b + z - 81 = -2*b. Does 7 divide 22/b - 100/(-7)?
True
Let l(d) = 3*d**3 - 3*d + 4. Let t(u) = -8*u**3 - 13 + 0*u**2 + 11*u - u - u**2. Let y(p) = 7*l(p) + 2*t(p). Is 8 a factor of y(2)?
True
Let f(x) = 8*x - 1. Let m be f(-1). Let l(p) = -p**3 + 4*p**2 + 53*p - 31. Let h be l(9). Let n = m + h. Is n a multiple of 6?
False
Suppose -27*x - 14 = -28*x. Let g be (-680)/(-11) + x/77. Suppose -3*k = 20 - g. Is 2 a factor of k?
True
Let f be (5/(-5))/(2/10). Is (-2)/(-3 - 206/(-62))*f a multiple of 25?
False
Let p be 24 - (6/(-2) - (5 - 7)). Suppose 2*a - 4*u = 50, 7*a - p = 5*a - u. Is 15 a factor of a?
True
Suppose -3*d - d - 24 = -4*p, 4*p - 2*d - 16 = 0. Let j be ((-339)/2)/(3 + 15/(-4)). Suppose 5*g = 3*m + j, -p*g + 79 = -2*m - 13. Does 13 divide g?
False
Suppose 2*b = -b. Suppose b = 4*q - 3*q - 4. Suppose -q*z - 32 = -8*z. Is z a multiple of 8?
True
Suppose 3*q - 2 = -44. Let g be ((-4)/3)/(q/21). Suppose -g*d = d - 27. Does 7 divide d?
False
Suppose -2*f = -3*c - 0*c - 2, 2*f = 8. Suppose c*v = 8*v - 312. Is v a multiple of 40?
False
Suppose -129 - 441 = -q + 5*y, 2*y - 6 = 0. Does 45 divide q?
True
Let j be ((-94)/(-141))/(3/(81/(-2))). Does 37 divide j/6*-106 - 0?
False
Suppose 0*l - 3*l - 5*c = 3, 2*c + 6 = 0. Suppose -3*n = -4*r + 660, 7*n - 12 = l*n. Is 7 a factor of r?
True
Suppose 2*o - 23 = -7. Let y be 4/o + 140/8. Is 2 a factor of (-7)/(-14) - y/(-4)?
False
Suppose 3*v + 6*f - 1731 = 0, 580 = v + 5*f - 6*f. Is v a multiple of 10?
False
Let w = -18 - -10. Let u = 11 + w. Does 2 divide u?
False
Suppose -4*k + 0*j = 5*j - 31, 0 = 4*k + 3*j - 25. Suppose 128 = k*z - 2*l, 2*z + 91 = 5*z + l. Does 4 divide z?
False
Let c(b) = -3*b + 272. Does 3 divide c(-9)?
False
Does 13 divide 16/10 - (-241948)/70?
True
Suppose -4*n + 0 - 20 = 0, 2*x + 3 = -n. Let l = x - 5. Let y(u) = -4*u - 9. Is y(l) a multiple of 2?
False
Suppose 4*a + 3*y = 186, -4*a + 3*y = -a - 150. Is a a multiple of 39?
False
Let m = 3 - 3. Suppose m = 5*p - 3*w - 131, 42 + 91 = 5*p - 4*w. Let t = p + 38. Does 21 divide t?
True
Suppose -4*y + s + 1040 = -2*y, 4*s = 3*y - 1550. Suppose -3*w = -18 - y. Is 20 a factor of w?
True
Suppose -16 = -22*b + 20*b. Let g(j) = -j**2 + 11*j - 19. Let k be g(b). Suppose -o + 15 = k*c - 6*o, -c = 5*o - 15. Is 4 a factor of c?
False
Let p = 8 - 0. Suppose p = -2*u + 5*a + 58, 4 = -2*a. Is 428/u - (-4)/(-10) a multiple of 4?
False
Suppose 36*s = f + 41*s - 173, -401 = -2*f + s. Is 10 a factor of f?
False
Suppose 2*z + 5*w - 4 = 4*z, 4*z = 4*w + 4. Suppose -15 = z*l - 6*l. Let a(u) = -u**3 + 8*u**2 - 5*u + 4. Does 27 divide a(l)?
True
Suppose 0*p - 70*p = -119000. Does 20 divide p?
True
Suppose 12*w - 1015 = -103. Is 11 a factor of w?
False
Let m(t) = -4*t. Suppose -4*n - n - 15 = 2*f, 3*n + 23 = -4*f. Let y be m(n). Suppose 0 = -2*o - 10, 0*o + 356 = y*i - 4*o. Does 28 divide i?
True
Let o(z) = -z**2 + 7*z + 12. Let v(m) = -m**3 + 3*m**2 + 4*m - 5. Let l be v(2). Is 12 a factor of o(l)?
True
Let i(w) = w**3 + 9*w**2 - w - 4. Let h = -11 + 2. Let t be i(h). Suppose 0*s - t*s = -175. Does 11 divide s?
False
Let w = 32 - 29. Suppose t - 27 - 46 = -y, -5*t - 195 = -w*y. Is y a multiple of 20?
False
Let i(x) = x - 3 - 2*x - 8 + 2*x. Let m be i(11). Suppose -2*k - 2 = 6, m = 5*l + 5*k - 5. Does 2 divide l?
False
Suppose 3*u = 128 + 100. Suppose 0 = -0*b + 4*b. Suppose b*p - 2*p = -u. Is