 28 a factor of (224/u)/(2/(-10))?
True
Suppose -10*r = -12076 - 6934. Does 12 divide r?
False
Let u(o) = -o - 29. Let x(m) = -m - 19. Let l(f) = -5*u(f) + 7*x(f). Is 11 a factor of l(-5)?
True
Let o be 87*39/18 + 2/(-4). Suppose f - 5*f + o = 0. Is f a multiple of 8?
False
Let z(g) be the first derivative of -4*g**3/3 - g**2/2 + 2*g + 6. Let x be z(2). Is (x/(-3))/(5/30) a multiple of 11?
False
Let v = -5 - -4. Let s = 2 - v. Suppose s*r - 155 = -5*b, -b + 4*b = 3. Is r a multiple of 25?
True
Suppose t + 933 = 4*p + 2*t, -4*t = -3*p + 714. Is p a multiple of 27?
False
Let d = 253 - 15. Is 34 a factor of d?
True
Suppose 2*r + 0*r = 46. Suppose -2*o + 32 = 2*o. Let x = r - o. Does 5 divide x?
True
Suppose 0*j - 70 = -j. Suppose 1 - 9 = 4*x - 2*t, -2*x - 3*t + 4 = 0. Is 23 a factor of (-12)/(-36)*(x + j)?
True
Suppose -5*t + 8 = 3*h, -3*t + 2 = 2*h - 2. Suppose -60 = t*p - 6*p. Is 27 a factor of p?
False
Suppose 4*s + 81 = s. Let r = s + 34. Is r a multiple of 7?
True
Let l = 10 + 4. Does 7 divide l?
True
Let c(u) = 2*u**3 + 19*u**2 + 6*u + 19. Let v(t) = t**3 + 10*t**2 + 3*t + 10. Let l(n) = -4*c(n) + 7*v(n). Does 4 divide l(-6)?
True
Let b(a) = -9*a + 24. Let w be b(13). Let f = w + 174. Does 3 divide f?
True
Let m(o) = -o + 8. Let v be m(6). Suppose 396 = v*q + 9*q. Does 5 divide q?
False
Let l be (-15)/6*(-668)/10. Suppose -2*v = -v - l. Let f = v + -110. Does 19 divide f?
True
Suppose o - 89 = 3*r - 324, 0 = -5*r + 3*o + 393. Is 18 a factor of r?
False
Let c(n) = 3*n**2 + 18*n - 27. Is 12 a factor of c(9)?
False
Suppose k + t - 347 = 0, -k + 3*t + 178 + 157 = 0. Does 11 divide k?
False
Let u = -558 - -1098. Is 108 a factor of u?
True
Let q(x) = x**2 - 9*x - 13. Suppose -r - 15 = -6*r. Let d(t) = 2*t**2 - 8*t - 12. Let n(z) = r*q(z) - 2*d(z). Is 2 a factor of n(-8)?
False
Is 32/48 + 10596/9 a multiple of 62?
True
Let s = -2009 + 4323. Does 13 divide s?
True
Let q be ((-552)/4)/(-3 + 2). Suppose -q = -6*u + 3*u. Suppose -u = -2*g - 2. Is 12 a factor of g?
False
Let r(f) = f**2 - 5*f - 4. Let p(z) = 1. Let w(k) = p(k) + r(k). Let q be w(6). Let i(d) = 2*d + 4. Is i(q) a multiple of 5?
True
Let m(n) = -n**2 + 4*n - 1. Suppose -5*c + 2*c + 4 = 2*k, -2*k + 2*c = -4. Let r be m(k). Is r/(18/(-68))*-3 a multiple of 6?
False
Let g = -1 - -3. Suppose 288 = -g*s + 11*s. Is s even?
True
Suppose o = 6*o - 2*n - 1631, -5*n = 5*o - 1645. Let q be -2 + o/3 - 3. Suppose -3*f - 3*l + 132 = 2*f, -4*f - 4*l + q = 0. Does 13 divide f?
False
Let z(f) = -16*f + 186. Does 40 divide z(6)?
False
Let w = 11 - 18. Let p(z) = z + 1. Let x be p(w). Is 7 a factor of x/(-15) + (-206)/(-10)?
True
Let d be 281/4 + (-2)/8. Suppose 3*u = 6*u - 3*s, -2*s = -5*u. Suppose -3*w - 2*w + d = u. Does 14 divide w?
True
Suppose -4*y = -3*q - 784, -5*y + 388 = -3*q - 595. Let x = 351 - y. Is x a multiple of 38?
True
Let g(t) = 7*t**3 + t**2 - t + 1. Let l be g(1). Suppose 2*z + 5*h = -154, -3*h + h = -l. Let j = z + 175. Does 22 divide j?
True
Let g(c) = 31*c + 368. Is 24 a factor of g(-8)?
True
Let v(n) = n**3 - 4*n**2 + 6*n - 3. Let j(y) = y**3 + 8*y**2 + 8*y + 12. Let s be j(-7). Does 17 divide v(s)?
False
Let m be 4/(-2) + 3 + 253 + -2. Suppose 34*f = 37*f - m. Does 12 divide f?
True
Let z(c) = -4*c**2 - 2*c + 7. Let m be z(4). Let p = m + 189. Is p a multiple of 31?
True
Let t(h) = -h**3 - 8*h**2 - 36*h + 29. Does 11 divide t(-13)?
True
Suppose 14*l - 1152 = 2*l. Is l a multiple of 3?
True
Let r(b) = -b + 32. Let n = 79 + -66. Is 8 a factor of r(n)?
False
Suppose 5526 + 2010 = 16*n. Suppose -n - 879 = -15*f. Is 5 a factor of f?
True
Suppose -4*r + 5*r + 4*v + 10 = 0, 4*r - 4*v = 40. Let x(n) = 30*n + 3. Does 28 divide x(r)?
False
Suppose 432 = 7*z + z. Suppose -246 = -6*j - z. Is j a multiple of 2?
True
Let m(d) = 15*d - 12*d**3 + 13*d**3 - 9*d**2 - 24 + 11*d - 2*d**2. Is 9 a factor of m(10)?
False
Let h = -604 - -851. Does 13 divide h?
True
Suppose -3*t - 3*t = -30. Suppose -2*w + 0 = 3*i + 16, -t*w - 23 = -i. Is 6 a factor of (59 - 13)*(-1)/i?
False
Let w be (-140)/56*218/(-5). Suppose -3*x + 173 + w = 0. Does 13 divide x?
False
Suppose 3055 = 4*c + 1215. Suppose 0*l = 4*l - c. Does 11 divide l?
False
Suppose 5*b - b + r = 171, 0 = -b - 2*r + 34. Suppose -4*y + 92 = -b. Is y a multiple of 11?
False
Suppose 5*n - 3*n - 1161 = -3*o, -3*n + 4*o + 1733 = 0. Does 7 divide n?
False
Let r = -55 - -25. Suppose -36 = 5*q - 3*q. Let c = q - r. Is c a multiple of 6?
True
Suppose 5*b = -4*r - 61 - 68, 0 = -b - 5*r - 30. Let f = b + 51. Is f a multiple of 13?
True
Suppose z = 6 + 8. Suppose -f - z = -0*f. Does 21 divide (217/f)/(2/(-4))?
False
Is 59 a factor of 3*(-16)/264 - (-26307)/33?
False
Let g be -1*(20 + 2)/(-1). Suppose 8 = 3*n + n. Is g/n*(1 - 0) a multiple of 3?
False
Suppose 2*q - 5*o = 3762, 0 = -3*q + 4*q + 3*o - 1870. Is q a multiple of 8?
False
Let h(d) = -17*d - 11. Let i(g) = 6*g + 4. Let l(p) = -4*h(p) - 11*i(p). Let v be l(-2). Let c(b) = 3*b**2 - 3*b + 2. Is c(v) a multiple of 18?
False
Let a(n) = n**2 + n + 4. Suppose -3*k + 2 = 5*i - 7, -2*i = -5*k + 15. Let z be a(i). Suppose -7*p + 99 = -z*p. Does 12 divide p?
False
Is (30/8)/(138/(-72) - -2) a multiple of 24?
False
Suppose 2*x = -9*x + 3696. Does 56 divide x?
True
Let a = -56 + 133. Is 25 a factor of a?
False
Let v = -6 + 11. Suppose -35 = -v*a - 5*f, 3*f = -5*a - f + 31. Let y(t) = 3*t**3 - 3*t**2 + 3*t + 2. Is 13 a factor of y(a)?
True
Let i(l) = -2*l - 3. Let n be i(-4). Let d(h) = h**3 - 5*h**2 + 6*h - 5. Let x be d(4). Suppose -x*j - n*y = -115, -j + 70 = 2*j - 4*y. Is 9 a factor of j?
False
Let d(q) = -5*q - 4. Let y be d(-7). Let k = -20 + y. Is k a multiple of 3?
False
Suppose -2*h = -h - 12. Let z = h - 12. Suppose -2*j + 14 = -z*j. Is j a multiple of 2?
False
Suppose 0*y + 16 = y - 4*g, -3*g = y - 16. Suppose 15*c - y*c = -83. Is 19 a factor of c?
False
Suppose 0 = 4*q - 4 - 4. Is q - 0/((-3)/1) a multiple of 2?
True
Let v(n) = 9*n**2 + 110*n - 56. Does 14 divide v(-20)?
True
Let g(s) = -878*s**3 + 4*s**2 + 4*s + 1. Is 6 a factor of g(-1)?
False
Suppose 14*s = 9*s + 220. Suppose -196 = -4*i - s. Suppose -2*t + 14 = 3*w - i, -w - 2*t + 16 = 0. Is w a multiple of 6?
True
Let k = -57 - -54. Let q(o) = -2*o**3 + 3*o**2 + 4*o + 1. Is q(k) a multiple of 7?
True
Suppose -4*q + 243 = -353. Suppose 5*o - 152 = -5*n + 4*n, 2*n - q = -5*o. Is o a multiple of 8?
False
Let n(w) = -w**3 + 6*w**2 - 4*w + 1. Let m be n(3). Let b = 18 - m. Suppose -4*o + 2*o = -4*i - 34, -b*i = 5*o - 133. Is o a multiple of 5?
True
Let y be 3/(3/30*6). Let o(x) = 2*x**2 - 635 - 7*x + 635. Does 5 divide o(y)?
True
Let v = -6 - -3. Let n = v + 18. Does 5 divide n?
True
Is 22 a factor of ((-21318)/(-132))/(-2 - (-10)/4)?
False
Does 20 divide 6/24*-26*-138?
False
Let y = -2091 + 3919. Is 60 a factor of y?
False
Suppose -4*n = 6 - 34. Suppose n*x - 264 = 3*x. Does 33 divide x?
True
Suppose 3*t - 332 = -4*r + 203, 2*r = -t + 265. Is r a multiple of 10?
True
Suppose 23*c - 25*c + 232 = 0. Is c a multiple of 6?
False
Let n(w) = -w**2 + 24*w - 46. Let v be n(26). Let s = v - -226. Is s a multiple of 28?
False
Is 11 a factor of 3/((-24)/(-1846)) - 62/(-248)?
True
Let d(v) = 4*v**2 - 3*v. Let b(j) = 3*j**2 - 2*j + 1. Let z(l) = -5*b(l) + 4*d(l). Is 13 a factor of z(-8)?
False
Does 3 divide -5*(-12)/(-30)*-29?
False
Suppose -282 = -55*p + 49*p. Let x = p + -12. Is x a multiple of 5?
True
Let r = 207 - -136. Does 49 divide r?
True
Let p be 28/8*24/2. Let o = p + -37. Is (0 - -1)/(o/30) a multiple of 3?
True
Suppose -29*i + 32*i + 33 = 0. Let p(a) = -2*a**3 - 21*a**2 - 16*a - 1. Is p(i) a multiple of 42?
False
Let z(a) = 6*a**2 - 5 + 2 + 0*a + 3*a**2 + 3*a. Is 3 a factor of z(1)?
True
Let v = 8 + -6. Let z = 11 - 6. Suppose -2*p = z*u - 162, -4*p - u = -v*u - 280. Is p a multiple of 26?
False
Suppose 2*p = 27*k - 24*k + 904, -4*p + 1814 = -3*k. Is p a multiple of 35?
True
Let w = 921 - 561. Is w a multiple of 40?
True
Let t(b) = -4*b. Let s be t(-1). Suppose 5*l = -2*z + s + 20, 4*z - 4 = l. Suppose -q - 5*j - l = 5, 0 = 3*q - 5*j - 33. Is q a multiple of 3?
True
Suppose 4*b - 5*y + 6*y + 5 = 0, -20 = -4*b + 4*y. Suppose -s = b, -5*x + s + 8 = -2. Suppose -2*r + 19 = i, -2*i - 3*i - x*r + 135 = 0. Is 11 a factor of i?
False
Suppose -4*q = -2*r - 146