5*m + m. Is 15 a factor of m?
True
Suppose 4*o + 5*d - 86 = 0, -2*o + 5*d + 52 = 3*d. Let s = -20 + o. Suppose -2*h + s*h - 55 = -5*u, -3*h + 22 = 2*u. Is 2 a factor of u?
False
Suppose 2*j - 2 = j. Suppose j*w - 88 = -2*k - 0*k, -4*k + 16 = 0. Is w a multiple of 21?
False
Let v = -57 - -57. Suppose -n + v*n + 24 = 4*t, 3*t + 4*n - 5 = 0. Is t a multiple of 3?
False
Is 12257/23 + (-94)/(-1081) a multiple of 24?
False
Suppose 9*x = -2 - 43. Is 5 + -1 - (x/(-5) - -1) even?
True
Suppose 9*f = -14 + 554. Is f a multiple of 10?
True
Let y(q) = 49*q + 0*q**2 - 2 - q**2 + 7 - 58*q. Let j be y(-10). Let r = j - -13. Is 3 a factor of r?
False
Let s = 77 - 37. Suppose -2*l - s = -5*f - 0*l, -32 = -4*f - 4*l. Is 2 a factor of f?
True
Let t(d) = 2*d - 9. Let r be t(7). Suppose -4*j + w = -60, -22 = -r*j + 2*w + 56. Suppose 4*u - 165 = -y, u - 57 + j = -2*y. Is 21 a factor of u?
False
Is (-2)/(2/152*-4) a multiple of 3?
False
Let g = 2760 - 1474. Suppose -4*w - 2*o = -g, 5*w + 311 - 1899 = 4*o. Does 40 divide w?
True
Suppose 4*o = 2*j + 3*j - 982, -3*j - 3*o + 573 = 0. Is 47 a factor of j?
False
Let b = -12 - -65. Is 5 a factor of 9*b/21 + (-2)/(-7)?
False
Let y(t) = t**3 - 7*t**2 + 12*t + 8. Let o be y(6). Let s = 83 - o. Does 21 divide s?
False
Let h(p) = p**2 + 6*p + 4. Let y be h(-6). Suppose -y*a = -293 + 61. Does 14 divide a?
False
Suppose -a + 2*i = -336, -a + 319 + 11 = i. Suppose 0 = 4*u - 220 - a. Does 46 divide u?
True
Let z(w) = 2*w + 40. Does 8 divide z(8)?
True
Let y(j) = -5*j**3 + j**2 + j. Let k be y(-1). Suppose 0*z + k*z = 515. Suppose 0 = 5*d - 4*c - 166, 2*d + d + c - z = 0. Is d a multiple of 17?
True
Let p be (-3)/(-1) - 4/(-2). Suppose p*j - f = -355, 0 = -0*j - 2*j + 2*f - 142. Is 9 a factor of -4*1 - (j + 22)?
True
Let a be (5/(10/24))/2. Suppose -a*h - 28 = -10*h. Let x(g) = g + 3. Is 5 a factor of x(h)?
True
Let w be (-8)/3*(-15)/(-10). Does 14 divide -1 - 3 - w - -7*4?
True
Suppose 13 = -3*t + 3*k + 856, 3*t = -5*k + 851. Suppose t = 17*m - 14*m. Does 10 divide m?
False
Let k = 86 - -63. Does 34 divide k?
False
Let a = -5 - -5. Let z(v) = v**3 + 2*v**2 - v + 26. Is 13 a factor of z(a)?
True
Let c = 80 - 85. Is (4 - 3*c)*7 a multiple of 11?
False
Let k(r) = 42*r**2 + r - 1. Let i = 12 + -6. Suppose 5*l + 1 = i. Is k(l) a multiple of 25?
False
Suppose -31*g + 35800 = 19*g. Is 60 a factor of g?
False
Let z(j) = 4*j**2 + 27*j - 25. Is 13 a factor of z(-14)?
False
Suppose 2*i + 3*u = 0, 3*i - 3*u + 0 = 15. Suppose 0*k - 652 = -4*k - 5*y, 0 = -3*k + i*y + 516. Does 12 divide k?
True
Let v = 5 + 0. Let x(u) = 11*u + 172. Let b be x(-17). Is v/(b/(-78)) - -1 a multiple of 27?
True
Suppose -2*h + 48 = 4*n, -2*n - 3*h + 18 = h. Suppose -4*k - 4*v + 19 = -n, -3*v = 4*k - 30. Is k a multiple of 6?
True
Suppose -35*a = -89*a + 50112. Is a a multiple of 58?
True
Let z be ((-632)/(-3))/2*3. Let g be 8/(-6)*(-2)/((-28)/105). Is 9 a factor of g/(-15) + z/12?
True
Let t(j) = -1614*j - 812. Is 31 a factor of t(-3)?
True
Let o(g) = g**2 - 6*g + 36. Let c be o(17). Suppose 5*n - 127 = -5*k + 148, 4*n = -k + c. Does 14 divide n?
True
Let s be 5592/10 + (-14)/70. Let n = 293 - s. Is (6/7)/((-2)/n) a multiple of 29?
False
Let c = 350 - -898. Does 52 divide c?
True
Suppose -34*q = 23 - 261. Let k(a) = -a - 1. Let b be k(-4). Suppose 8 = 3*x - x + v, -q = -b*x - 4*v. Is x a multiple of 5?
True
Let u be ((-6)/15)/(8/(-80*2)). Let q(t) be the second derivative of t**5/20 - 2*t**4/3 + 4*t**3/3 - 4*t**2 - t. Is 9 a factor of q(u)?
False
Suppose -2*o - 88 = 318. Let p = -83 - o. Is p a multiple of 24?
True
Let n = -7 + 11. Suppose -n*u = -3*u - 24. Is u a multiple of 6?
True
Let w be -46*(-2)/(-4)*-5. Let t = 96 + -169. Let z = w + t. Is 23 a factor of z?
False
Let q(g) = -3*g**3 + 60*g**2 + 11*g + 49. Is q(20) a multiple of 3?
False
Let v(a) = 99*a + 263. Does 20 divide v(15)?
False
Let o = 213 + -109. Let m = -48 + o. Is m a multiple of 18?
False
Suppose -4*s = 2*n - n - 9, 0 = -4*n - 12. Suppose 0 = -2*w - 0*w + 5*k - 33, 4*w + s*k = -105. Is (-256)/w*(2 + 1) a multiple of 21?
False
Is 34 a factor of 25/(500/1520)*206/8?
False
Let v(c) = -7*c**2 - 1. Let t be v(1). Let s = t + 8. Suppose q = 28 - s. Is q a multiple of 14?
True
Let f be ((-4)/(-12))/((-1)/(-12)). Let y be f/((-3)/(0 + 3)). Let n(p) = p**2 - p - 2. Does 6 divide n(y)?
True
Let g(i) = i**3 - 10*i**2 - i + 10. Does 9 divide g(11)?
False
Is 36 a factor of (8571/(-6))/((-14)/4 + 3)?
False
Let i = 348 + 130. Is 17 a factor of i?
False
Let r(c) = c**3 + 2*c**2 - 6*c + 675. Does 15 divide r(0)?
True
Suppose 0 = -3*r + 6*r + 3, 3*r = 3*z - 5238. Is 68 a factor of z?
False
Let r(c) = -5*c - 1. Let h be r(-1). Suppose h*l - 2*l - 18 = 0. Suppose 2*v = 17 + l. Is 6 a factor of v?
False
Let z(c) be the first derivative of -18*c - 6*c + 93*c**2 - 97*c**2 + 4. Does 14 divide z(-10)?
True
Suppose 3*c = 5*c - 4*v - 8, 16 = -4*v. Let i be (-2 - 7/c)*-8. Suppose 2*f + 5 - 15 = -5*d, -2*f + 10 = i*d. Is f even?
False
Let h be (-252)/(-16) + (-1)/(-4). Let w be ((-8)/h)/(2/4). Let b(d) = -24*d + 1. Is b(w) a multiple of 6?
False
Suppose -10*c = -9513 + 1713. Is 95 a factor of c?
False
Let w be (0 + 3 - 3)*1. Suppose 9 = -5*r + 69. Let u = w + r. Is u a multiple of 4?
True
Let n(o) be the first derivative of o**5/20 + o**4/2 - o**3/6 + o**2 + 7*o + 8. Let j(f) be the first derivative of n(f). Is 11 a factor of j(-5)?
False
Let m = -7 + 12. Let w(o) = 3*o - 12. Let j be w(m). Suppose 5*z - 2*x = -x + 125, 0 = -4*z - j*x + 81. Is z a multiple of 5?
False
Let i = 44 - 36. Is 12 a factor of (2 + i/(-3))*-3 + 94?
True
Suppose -5*f = 2*x - 37, x - 2*f - 1 = -f. Let y be x/2*36 - -2. Let w = -78 + y. Is 16 a factor of w?
True
Let v(i) = i**2 - 3*i. Let n be v(3). Suppose 2*y = -n*y - 22. Let h = y - -26. Is 5 a factor of h?
True
Let d(s) = -s**3 + s**2 + s. Let f(y) = 7*y**2 - 13*y - 8. Let o(z) = d(z) - f(z). Is 8 a factor of o(-8)?
True
Let m(q) = 9*q - 10. Let g be m(12). Let a = g - 57. Let u = a + -27. Is u a multiple of 7?
True
Suppose 0 = -4*q - 4*n + 28, -3*n + 20 = 4*q - n. Suppose -4*p + 2*b = -3*b - 303, 231 = 3*p - q*b. Is p a multiple of 20?
False
Let l(y) = 4*y + y - 29 + 0*y + y. Is 17 a factor of l(17)?
False
Let o(p) = -2*p + 3*p**2 + 2*p**2 + 7 - p**2 - 3*p**2. Does 14 divide o(-5)?
True
Let c(w) = 14*w**2 - 2*w + 4. Let n be (9/15)/((-12)/(-40)). Is c(n) a multiple of 14?
True
Let g = -53 - -41. Suppose -2*x + o - 28 = 0, x - 6*o + 4 = -3*o. Let y = g - x. Is y a multiple of 3?
False
Suppose 68688 = 87*x - 39*x. Is x a multiple of 22?
False
Suppose 0 = 3*i - 234 - 369. Let x = 338 - i. Is 28 a factor of x?
False
Let k = -1305 + 1553. Is k a multiple of 8?
True
Suppose -3*k + 3169 = 2*i - 4*k, 4*i - 4*k = 6328. Is i a multiple of 69?
True
Does 39 divide 1400/6*(-36)/(-24)?
False
Suppose 0*h = 3*h - 5*m - 164, 92 = 2*h + m. Suppose -2*x + h = -72. Suppose -5*o - 10 = -2*l + 50, -2*o = 2*l - x. Does 5 divide l?
True
Suppose 5*g - 5385 = -5*y, -y - 1073 = -2*y + g. Is 25 a factor of y?
True
Let v = 2181 + -2017. Is v a multiple of 10?
False
Let i be 880/4 + 1*2. Let p = -75 + 78. Suppose -5*a = w - i - 54, p*w = 3. Is 11 a factor of a?
True
Let v = -30 + 30. Let u(w) = w**2 - 2*w + 3. Is 3 a factor of u(v)?
True
Let m = 1380 + -1258. Is 2 a factor of m?
True
Let m(y) = 369*y + 39. Is m(2) a multiple of 37?
True
Let z be (-35)/((7/14)/(62/4)). Is 25 a factor of (0 - z/10)/(3/6)?
False
Suppose -4*l + 3*m = -640 - 488, m = 3*l - 851. Suppose l = 5*c - 5*d, 36 = 4*c - d - 189. Is 14 a factor of c?
True
Let r be (13/(-4))/((-9)/36). Let p = r + 0. Suppose -t + p = -26. Is 16 a factor of t?
False
Suppose 2*v - 22 - 66 = 0. Let n = 29 - 27. Suppose 4*t - 88 = -4*c - 0*t, 0 = n*c - t - v. Is c a multiple of 16?
False
Let h be 50 + 1 + -3 + -1. Let i = h + -17. Suppose -20 - i = -5*f. Is f a multiple of 3?
False
Suppose 0 = -31*y + 33*y - 3276. Is 80 a factor of y?
False
Suppose 109 = -10*i - 61. Is 1 - i - 20/(-5) a multiple of 3?
False
Suppose -11*y = -12*y + 1640. Does 6 divide y?
False
Let w(p) = 10*p**2 - p + 7. Let j be (-42)/98 - 38/(-7). Let i be w(j). Suppose -2*o + g + 126 = -2*g, 4*o - i = -g. Is o a multiple of 19?
False
Let u(k) = k**2 + 13*k + 18. Let f be u(-11). Does 4 divide 2 + 6 + f/1?
Tru