71 = r*l + 3*y, -4*l - 4*y + 144 = -6*l. Is 4 a factor of l/(-8) - 1/(-4)?
True
Let d(i) be the first derivative of 2*i**3/3 - 7*i**2/2 - 4*i + 53. Let c = 7 - 11. Does 11 divide d(c)?
False
Suppose 0 = 2*x - 7 + 3. Suppose m - 32 = -x*j, -3*m + 37 = 4*j - 61. Is m a multiple of 17?
True
Let z(w) = -w**2 + 7*w - 5. Suppose -7*b = b - 32. Does 2 divide z(b)?
False
Does 15 divide (-1)/(-2) - 2046/(-4)?
False
Let i = 4 + -2. Suppose -i*w + 7 + 11 = 4*k, 3*k = -3*w + 15. Suppose 0 = -k*u + 2*y + 102, 5*u - y = -3*y + 132. Is u a multiple of 26?
True
Suppose m - 11*x + 20 = -6*x, 4*x = 8. Let o(b) = -b**3 - 6*b**2 - 2*b + 7. Is 61 a factor of o(m)?
True
Let q = -73 - -33. Let p be (q/12)/((-2)/3). Suppose 3*r - 4*r - 2*i = -11, -i - p = -3*r. Does 3 divide r?
True
Let o(k) be the second derivative of -k**5/20 + k**4/2 - 5*k**3/6 - 17*k. Is 12 a factor of o(4)?
True
Let f(j) = j**3 + 4*j**2 + 3*j + 6. Suppose -2*a - 2*a = 16. Let m be f(a). Is 9 a factor of (-216)/(-16)*(-8)/m?
True
Let s be 104 + (-8)/(-4)*-1. Let c = s + 74. Is 9 a factor of (0 - 1)/((-16)/c)?
False
Suppose 5*i = 2*j - 71, 4*i = 2*i - 2*j - 34. Let s = 34 + i. Is s a multiple of 7?
False
Suppose 4*v - 8*v = -1252. Is v a multiple of 16?
False
Let i(m) = 2*m**3 - 4 + 335*m**2 - 167*m**2 - 168*m**2. Does 6 divide i(3)?
False
Suppose -3*i + 3 = -12. Suppose -79 = i*g - 359. Does 28 divide g?
True
Let w(l) = 49*l**2 + 7*l - 5. Is w(2) a multiple of 6?
False
Suppose -3*k - 865 = -8*k - 5*m, -5*k - 2*m = -856. Does 14 divide k?
False
Let m(t) = -t**2 - t + 72. Let z(s) = -s**3 + 3*s**2 - 4. Let g be z(2). Is m(g) a multiple of 32?
False
Let c = 1 + 3. Suppose -c*a = -3*a - 16. Is a a multiple of 3?
False
Suppose -38*k + 3262 = -31*k. Does 58 divide k?
False
Let x be (-7)/35*-5*8*1. Suppose -x*c + 126 + 66 = 0. Is c a multiple of 3?
True
Let t be 4/(-6) + (-32)/(-3). Suppose -11*s = -t*s - 7. Is 2 a factor of s?
False
Let x(y) = -y**3 - 8*y**2 + 2*y + 11. Let n be x(-8). Let w be (-1 + n)*4/(-6). Suppose 0*p + w*p + 296 = 5*l, 4*l - 238 = 2*p. Does 24 divide l?
False
Suppose 11*d = 6*d + 15. Suppose 3*z - 3*b = 12, z - 3*b = -d*z + 17. Suppose 0 = -z*t + 2*x + 238, -3*x - 111 = -5*t + 131. Is t a multiple of 23?
True
Let d = -6 + 98. Is d a multiple of 21?
False
Let z be ((-3)/6)/(2/(-120)). Let v = -7 + z. Is 7 a factor of v?
False
Is 71 a factor of (-95)/2*(-198)/15?
False
Suppose 7*j = 30 - 9. Suppose -26 + 9 = -r + j*p, 0 = p + 1. Is 5 a factor of r?
False
Does 18 divide 4/(-1 + 2)*(-111 - -849)?
True
Suppose -s + 0*s - 12 = -2*n, 3*n - 8 = -s. Suppose -104 + 24 = -n*y. Is y a multiple of 4?
True
Let k = -14 + 38. Let l = k + -24. Suppose -4*d + 21 + 183 = l. Is 8 a factor of d?
False
Let w(q) = 2*q**2 + 27*q + 6. Let l = -31 + 33. Let f be 2 - (-1)/l*-32. Is w(f) a multiple of 7?
False
Does 8 divide (432/14)/((-52)/(-364))?
True
Let u = -48 - -86. Let l = u + -1. Is 37 a factor of l?
True
Let z(f) = 2*f**2 + 8*f + 6. Suppose 0 = 4*y + 4*s - 8, 2*y - 2 = 3*s + 7. Suppose -4*b - 8 = 12, 4*c = -y*b - 39. Is z(c) a multiple of 14?
False
Let v(x) = -x**3 + 13*x**2 + 11*x + 57. Is v(14) a multiple of 2?
False
Let w = 7204 - 5111. Does 13 divide w?
True
Suppose -2*x + 2*t - 4*t + 44 = 0, 2*x - 42 = -t. Suppose -x = -l + 30. Is l a multiple of 13?
False
Let c(l) = -8*l + 0 - 1 - 7. Suppose -17*t - 8 = 60. Does 8 divide c(t)?
True
Suppose 1157*b - 19992 = 1150*b. Is 17 a factor of b?
True
Let f(x) = x**2 + x + 6. Let a be f(0). Suppose -22 = h + a. Let s = h + 43. Does 5 divide s?
True
Let j(w) = 5*w**3 - 4*w + 5. Suppose 7*a - 2*a - 5 = 0, -2 = v - 4*a. Is j(v) a multiple of 8?
False
Suppose -4*c + 18 + 30 = 0. Let r(m) = 8*m - 6*m + 2*m + c*m + 4. Is r(4) a multiple of 17?
True
Is 3 a factor of (-15)/25*-1*145?
True
Does 23 divide -9*115/(-25)*5?
True
Let y be (-6)/27 - (-4)/18. Suppose -6*f = -y*f - 1032. Is 43 a factor of f?
True
Let l be (12/20)/((-2)/(-10)). Is 12 a factor of 44 + 4 + (l - 3)?
True
Let h = -550 - -890. Suppose -5*v = -v - h. Is 9 a factor of v?
False
Suppose 16*a - 15 = 11*a. Suppose a*g - 200 = -4*q + 37, -121 = -2*q + g. Does 20 divide q?
True
Suppose -71 - 1 = -3*c. Does 12 divide (2/3)/(c/612)?
False
Let p(i) = 2*i**2 - 15*i + 28. Is 5 a factor of p(6)?
True
Let f = 170 - 71. Is f a multiple of 33?
True
Suppose 0 = 73*i - 77*i + 8. Is 46 a factor of 182 - (-11 - -12)/(i/(-4))?
True
Let z(u) = -20*u**2 - u - 24. Let j = 49 - 32. Let g(a) = -7*a**2 - 8. Let k(o) = j*g(o) - 6*z(o). Does 12 divide k(-8)?
True
Let l(i) be the second derivative of -1/20*i**5 + 2*i**2 + 1/2*i**3 - 1/3*i**4 - 3*i + 0. Is 7 a factor of l(-5)?
True
Let b(j) = -j**3 - 6*j**2 - 6*j. Let m be b(-5). Suppose 0 = -v + m*v - 16. Suppose v*t - t = 135. Is t a multiple of 11?
False
Let t(h) = 2*h**2 + 7*h + 3. Let w(s) = -s**3 + 8*s**2 - 7. Let r be w(8). Let a be t(r). Suppose -v = v - a. Does 13 divide v?
True
Let v = -2296 - -3503. Is v a multiple of 31?
False
Suppose 5*l = -396 + 56. Let j = -24 - l. Is j a multiple of 32?
False
Let b(s) = 2*s**3 + 26*s**2 - 11*s + 8. Is b(-13) a multiple of 2?
False
Let n(t) be the first derivative of -t**3/3 + 4*t**2 - 10*t + 6. Let j be n(5). Suppose -3*r + 0*r + j*u - 13 = 0, 3 = -3*r + 3*u. Does 2 divide r?
True
Let c be 6*(-12)/32*(-56)/3. Let u = c + -20. Is 3 a factor of u?
False
Let c = 12 + -9. Suppose 0 = d - 3*d - c*k - 17, -3*d = 5*k + 23. Does 11 divide (-202)/(-18) + d/72?
True
Let f(m) = 9*m**3 - 2*m**2 - 2*m - 1. Let a be f(-1). Let o = a + 14. Suppose -67 = -o*n + k, 3*n + 4*k - 34 = 40. Is 6 a factor of n?
True
Suppose -306 = 2*i - 1056. Suppose -5*b + 4*b + 150 = -4*z, 0 = -3*b - 3*z + i. Does 26 divide b?
True
Let r(u) = 14*u - 87. Does 25 divide r(8)?
True
Suppose -8*h = h + 9. Is (h*(-2)/(-6))/(57/(-3078)) a multiple of 6?
True
Let t(s) = -s**2 + 2*s + 270. Does 9 divide t(0)?
True
Let g be (1 - 5/25)/((-4)/290). Let t(a) = 39*a - 1. Let y be t(-1). Let k = y - g. Is k a multiple of 7?
False
Is (-375)/(-100)*(-4)/(-3) + 179 a multiple of 8?
True
Let p = 31 - 15. Suppose -2*i - 5*h - 16 = 0, 0 = 3*i - i - h + p. Is 16 a factor of -5*-16*i/(-20)?
True
Let f(z) = -3*z**3 + 23*z**2 + 10*z. Let u(h) = h**3 - 11*h**2 - 5*h. Let v(p) = -2*f(p) - 5*u(p). Is 4 a factor of v(-8)?
True
Is 20 a factor of 200/2 - (-1360)/170?
False
Let f = 18 - 2. Suppose 2*w = 3*w - 2. Suppose 4*b = 5*z - 50, 0*z - z + w*b = -f. Is z a multiple of 5?
False
Let x(g) = -3*g**3 - 5*g**2 - 8*g - 5. Let t(b) = -7*b**3 - 9*b**2 - 15*b - 9. Let p(o) = -2*t(o) + 5*x(o). Let w be p(-7). Let u = 90 - w. Is 9 a factor of u?
True
Suppose w = -3*d + 7, -4*w - d + 5 + 12 = 0. Suppose w*o = 4*n - 64, -19 = -2*n + 3*o + 8. Does 2 divide n?
False
Suppose 0 = 40*a - 43*a + 18. Suppose 0 = -a*l + 194 + 130. Does 27 divide l?
True
Suppose a + 5*g = 14, -4*g = -5*a + 46 + 24. Let n(f) = f**3 - 15*f**2 + 13*f + 16. Let j be n(a). Let d(v) = 29*v + 1. Is 15 a factor of d(j)?
False
Suppose -5 - 2 = 7*h. Let d(s) = -s - 1. Let k be d(h). Is ((-12)/5 + k)*-20 a multiple of 12?
True
Let o(k) = -5 - 3*k - 4*k**2 - 1 + 1 + 5*k**2. Let g be o(5). Suppose 3*u - 2*u = 5*h - 535, 3*h = -g*u + 293. Is 16 a factor of h?
False
Suppose -3*f - 5*x + 264 = 0, 5*f = f - 4*x + 352. Suppose f = 5*v - 62. Is v a multiple of 12?
False
Let o(i) = -2*i**2 + 4*i + 10. Let a(x) = x - 1. Let h(w) = 4*a(w) - o(w). Let m be h(-6). Let k = -17 + m. Is k a multiple of 20?
False
Let d(n) = -7*n**3 - 8*n + 6. Let t(o) = -o**3 - o**2 - o. Let w(y) = d(y) - 6*t(y). Suppose -3*f = -2*k - 6 - 6, 2*f - 3*k = 8. Is w(f) a multiple of 10?
True
Suppose 0 = 4*s + 10 - 62. Let r = -10 + s. Suppose k = r*h - 67, 82 + 19 = 4*h + k. Is 11 a factor of h?
False
Let f(x) = -x**2 - 11*x - 8. Let d be f(-9). Suppose 3*z + 2*z = d. Does 2 divide z?
True
Let o be ((-12)/15)/((-3)/15). Suppose -3*f = -0*f + p - 244, 0 = -o*f + 4*p + 304. Is 27 a factor of f?
False
Let s = -12 - -18. Let i be (16 - -2)/(s/51). Suppose -2*k + 8 - 2 = 0, -4*o + k + i = 0. Is 13 a factor of o?
True
Suppose -3*h = -20 - 4. Suppose 5*d = 4*p - 303, -h*d - 156 = -2*p - 4*d. Is 6 a factor of p?
True
Suppose -5*b + h + 180 = 0, -b = 5*h - 9*h - 55. Does 11 divide b?
False
Let v(d) = -d**2 - 11*d - 17. Let i be v(-9). Is 8 a factor of (20/(-3))/(i/(-6))?
True
Supp