 = -11*m**3 + 19*m**2 + 30*m + 79. Is 30 a factor of r(-9)?
False
Let b = -116 - -119. Let l(i) = 53*i**2 - 5*i + 6. Let h be l(b). Suppose -h = -63*z + 54*z. Is z a multiple of 11?
False
Let y(f) = -9*f**2 - 10*f + 45. Let c(q) = -25*q**2 - 29*q + 136. Let d(k) = -4*c(k) + 11*y(k). Let n be d(-12). Let u = n - -53. Does 4 divide u?
True
Let j(n) = 2*n**2 - 2*n - 6. Let r be j(-2). Suppose -r*x = -3301 + 415. Is 37 a factor of x?
True
Let b = -5 + 9. Suppose -29 = -b*x - 3*v, 4 = -2*v + 2. Let n(l) = 3*l**2 - 13*l + 10. Is n(x) a multiple of 14?
True
Suppose 57*h = -407*h + 27003681 - 6552881. Is 181 a factor of h?
False
Let i = 219 + -216. Suppose -7 = -2*v - i, 30 = 3*j + 3*v. Is 2 a factor of j?
True
Does 6 divide ((-4208)/(-112) + -23)/((-3)/(-126) - 0)?
True
Suppose 0 = 10*b + 5461 - 33901. Is 18 a factor of b?
True
Suppose 11*x - 6*x - 20 = 0. Suppose -x*j + 0 = -12. Is ((-2)/j)/((-18)/3537) a multiple of 23?
False
Let x(l) = -2*l + 7*l**2 - l**3 - 9 + 191 + 66. Is 3 a factor of x(0)?
False
Suppose 2*o + 2*v - 16 = 0, o = 2*v + 2*v + 13. Suppose -o*b - 15*b + 15984 = 0. Does 18 divide b?
True
Let s(o) = 18*o - 5. Let p(f) = 1. Let m(j) = 3*p(j) + s(j). Does 47 divide m(10)?
False
Let w be 0*-1*1/(-4). Suppose -2*g = -w*g. Is 352/4 + g - -4 a multiple of 23?
True
Suppose -1249416 = -185*y - 173*y + 136*y. Does 42 divide y?
True
Let m(v) = 28*v - 33. Let f be m(4). Suppose -76*b - 3 = -f*b. Suppose -5*w = -2*a - 11, -w - 22 - b = -4*a. Is 7 a factor of a?
True
Let a = 4575 - 2847. Suppose 732*z - a = 728*z. Does 8 divide z?
True
Let t(p) = -30*p + 15. Let r(k) = 89*k - 44. Let y(c) = 2*r(c) + 7*t(c). Let f be y(-5). Does 23 divide -3 + (0 - -4)*f/12?
False
Let k(m) = 3*m - 20. Let v(u) = -10*u + 59. Let h(b) = 14*k(b) + 4*v(b). Let n be h(23). Is 3 a factor of (-12)/8 + n - 123/(-6)?
True
Let d(t) = 3*t + 135. Let o be d(-48). Is 8058/(-153)*o/2 a multiple of 13?
False
Suppose r - 3926 = 2*r + 4*a, 5*r - 4*a = -19510. Let u = r - -5516. Does 70 divide u?
True
Let s(t) = t**3 + 68*t**2 + 134*t + 50. Does 11 divide s(-60)?
False
Suppose 0 = -2*a - 3*o + 3, 3*o = 2*a + 8*o - 5. Suppose a = 10*y - 2193 + 503. Is y a multiple of 23?
False
Let y(z) = 2*z**3 + 54*z**2 + 42*z + 28. Suppose -4*g + 0*g = 0, -52 = 2*n + 4*g. Is 48 a factor of y(n)?
True
Let p = 46 - 50. Let i be p/5 + (-21351)/55. Let a = -182 - i. Is 23 a factor of a?
True
Let v be 6/2 + (9 - 9) + -1. Suppose 9*k = v*k + 2576. Is 92 a factor of k?
True
Suppose 14*u - 28*u + 152208 = 14*u. Is u a multiple of 97?
False
Let j = -20698 - -20852. Does 4 divide j?
False
Let d(a) be the second derivative of a**4/6 + 7*a**3/6 - 15*a**2/2 - 15*a. Let u(w) = -11*w - 68. Let t be u(-7). Does 15 divide d(t)?
True
Let n(u) = u**2 + 34*u - 5. Let v be n(-23). Let g = 487 + v. Is g a multiple of 22?
False
Suppose -2*u - 2577 = -5*d + 2763, 0 = -2*d - 5*u + 2165. Is d a multiple of 107?
True
Let l = 26657 - 14876. Suppose 69*p - 6*p = l. Is p a multiple of 7?
False
Let h(a) = 4*a**3 - 289*a**2 + 74*a + 9. Let c be h(72). Let y(m) = 3*m**2 + m - 5. Let p be y(5). Let g = c - p. Is g a multiple of 39?
True
Let v(p) = -p**3 - 22*p**2 - 16*p - 3. Does 7 divide v(-24)?
True
Let b = -273 + 446. Let c = b + -133. Is 13 a factor of c/((-6)/(-52)*52/39)?
True
Suppose -45 = -5*x - 5*q, 4*x - 2*x + 4*q = 28. Suppose -2*l = -3*r + 332 + 44, -x*r + 2*l + 502 = 0. Does 9 divide r?
True
Suppose i + 4*o - 3 = -2, 0 = -o + 3. Let l be 6/33 - 944/i. Suppose -3*z = -73 - l. Is 19 a factor of z?
False
Let z be (7/28)/(2/184). Let q = -4 + z. Suppose -i + 44 = -q. Is 17 a factor of i?
False
Let m(q) be the second derivative of q**5/20 - q**4/6 - 20*q**3/3 + 2*q**2 - 79*q. Is m(8) a multiple of 5?
False
Suppose 4*c + 3*k = 4602 + 3391, 0 = -c - 4*k + 1995. Is c a multiple of 2?
False
Suppose 435888 + 155900 = 75*k - 97837. Is 117 a factor of k?
False
Let j(z) = -23*z + 43. Let w(o) = 89*o - 173. Let t(g) = 26*j(g) + 6*w(g). Is 63 a factor of t(-7)?
False
Let g = 52 + -49. Let k be ((-16)/(-24) - 2/g)/(-1). Suppose k = -5*n - 2*a - 2*a + 43, -2*a = -5*n + 31. Is 2 a factor of n?
False
Let d(t) = 4*t**3 - 1. Let f(c) = -c**2 + 2*c**2 - c - c - 2. Let x be f(3). Is 2 a factor of d(x)?
False
Let g be (2 + -22)/((-16)/4). Suppose 3*h = -g*w + 364, -2*w + 125 = h - 4*w. Is 2 a factor of h?
False
Let l = -467 - -714. Let i = 65 - -111. Let m = l - i. Does 15 divide m?
False
Let d(f) = 53*f + 11. Let x be d(-1). Is 80 a factor of 0 + -2 - 1535*x/35?
True
Let z(d) = d**3 - 23*d**2 + 11*d + 298. Is 3 a factor of z(24)?
False
Let u = 61 + 387. Does 6 divide u?
False
Let s(v) = 4*v - 75 - 51 - v + 78. Let y be s(21). Does 10 divide (400/60)/(2/y)?
True
Let z(u) = -u**3 - 6*u**2 + 6*u + 7. Suppose -18 = 5*y - 2*y. Let c be z(y). Let g = c + 119. Is g a multiple of 15?
True
Suppose 27*b - 48 = 11*b. Suppose 3*p - 4*a = 1806, 3*p + b*a = 2*a + 1821. Is p a multiple of 5?
False
Let w = 699 + -670. Suppose 130*o - w = 129*o. Is 17 a factor of o?
False
Let j = 7 - 1. Let m(p) = -p**3 + 10*p**2 - 11*p - 10. Let g be m(j). Let l = -41 + g. Does 6 divide l?
False
Suppose -6*m + 5*m = 5*m. Suppose m*g - 3*g - 9 = 0, d = g + 57. Let l = d - 40. Is 7 a factor of l?
True
Suppose -q + 16 - 61 = 5*u, 60 = -5*u + 2*q. Let s(p) = 2*p**3 + 22*p**2 + 13*p - 12. Is 58 a factor of s(u)?
True
Let y = -877 + 4067. Is y a multiple of 58?
True
Let m be 17720/(-14) + (-96)/336. Let y = m - -2289. Does 75 divide y?
False
Let r(y) = -3 - 116*y + 10 + 119*y. Is r(1) a multiple of 2?
True
Suppose -3*z = 223 - 748. Is 15 a factor of 75/z + ((-22860)/(-21) - 3)?
False
Let b be (6/4)/3*(2 + -2). Suppose 2*m - 3*n + 79 = b, 5*m + n + 150 = -n. Let s = m - -62. Is 2 a factor of s?
True
Let l(r) = r**3 + 14*r**2 + 10*r - 21. Let h be (-6)/9 + ((-74)/(-3))/(-2). Is 15 a factor of l(h)?
False
Let m(f) = -2*f**3 - 6*f**2 + 14*f + 32. Let r(t) = -2*t**3 - 8*t**2 + 13*t + 30. Let c(s) = 4*m(s) - 5*r(s). Is c(-8) even?
True
Suppose -3*v = v - 8. Suppose v*y - y - 84 = s, 5*s = 4*y - 422. Let n = s - -131. Is n a multiple of 14?
False
Let n(l) = 26*l**2 + 10*l - 12. Is 9 a factor of n(-6)?
True
Let x(i) = 3*i - 14. Let t be x(5). Let o be (-4)/(4/t) - 1. Does 8 divide 3/3*(o - -36 - -2)?
False
Let b = -9032 + 16514. Is 87 a factor of b?
True
Let l = -86 + 88. Suppose -3*h = 2*a + l*h - 11, -4*h = 4*a - 4. Does 14 divide (-3 + (-9)/a)/((-1)/(-30))?
False
Suppose -121216 = -72*v + 256856. Is 62 a factor of v?
False
Let x be (4 + -2 - 4)*59. Let i(q) = q**3 - 13*q**2 + 35*q - 554. Let p be i(13). Let t = p - x. Is 3 a factor of t?
False
Suppose -h + 1831 = -5*v, 8*h - 3617 = 6*h + v. Is 43 a factor of h?
True
Let x = -159 - -141. Is 16 a factor of -8 + (-2442)/x - (-2)/6?
True
Let u be -4*(-14)/(-12)*(-48)/56. Suppose -7*x - u*x + 1276 = 0. Is x a multiple of 4?
True
Let k be ((-3)/(-9)*-3)/((-6)/9270). Let d = -900 + k. Does 23 divide d?
False
Let z(v) = -2*v**3 - 50*v**2 + 44*v + 260. Is z(-29) a multiple of 84?
True
Suppose -5*o = 5*d + 50, -4 = -2*d - 10. Let c(w) = -20*w + 0*w**2 + 16 + 2*w**2 + 13*w - 3*w**2. Is c(o) a multiple of 4?
True
Let k(f) = -f**3 - 38*f**2 - 7*f + 1380. Does 15 divide k(-42)?
True
Is 20/((-40)/(-31042)) + -17 a multiple of 76?
True
Let c(v) = 2*v**2 - 45. Let k be c(-5). Suppose 164 = k*z - 61. Is z a multiple of 9?
True
Let w(z) = 781*z**3 - 3*z**2 + 26*z - 40. Does 9 divide w(2)?
False
Let s be ((-3 - -2) + 0)*811. Let u = s + 186. Is (-1)/6 + -6 + u/(-6) a multiple of 13?
False
Suppose 0*p = -4*p. Suppose -3*u + j - 294 = p, j = -3*u + 2*u - 94. Let x = 153 + u. Is 13 a factor of x?
False
Suppose g + 301 = -2*h + 6*g, -5*h = g + 685. Let b = -100 - h. Is b a multiple of 30?
False
Let l(w) = -37*w + 26. Let c = -129 + 124. Let k be l(c). Let a = k + -94. Is a a multiple of 24?
False
Let k(l) = -l**2 + 25*l + 20. Let o be k(24). Let w = o + -41. Let b(f) = 4*f**3 - 3*f**2 - 5*f + 2. Is b(w) a multiple of 34?
True
Let m(c) = c**2 + 12*c + 13. Let u be m(-1). Suppose 4*v + 2150 = u*n + 5*v, 4*n - 4294 = -5*v. Does 20 divide n?
False
Let x = 147 - 100. Suppose 4*c - 55 = -x. Is (-4 + 8)*-3*c/(-6) a multiple of 4?
True
Suppose -5*i = 9*q - 8*q + 14, 3*i = -4*q - 39. Let s(y) = -34*y. Let g be s(3). Does 7 divide q - -5 - g/2?
False
Let q(k) = 