 z + 2*m - 172. Is 15 a factor of z?
True
Does 5 divide (-2 - -3)*-1*-22?
False
Suppose 0*o + 4*z = -o + 3, 4*z = -16. Is o a multiple of 15?
False
Let b(c) = -c - 6. Suppose -f + 0*f = -5*k + 13, 3*f + 25 = k. Let l be b(f). Suppose -4*x + 26 = -l. Is 5 a factor of x?
False
Suppose 0 = -5*h - 5 - 5. Let q be (h/(-3))/(4/(-12)). Does 15 divide ((-30)/(-8))/(q/(-8))?
True
Let b(v) = 2*v**2 + 9*v - 16. Does 10 divide b(6)?
True
Let o = -5 + 7. Suppose -b + 57 = o*b. Suppose b = 3*y - g - 36, 0 = -2*g - 2. Does 9 divide y?
True
Let u = -62 - -154. Is u a multiple of 23?
True
Let c(a) = 2*a**2 + a. Let w be c(1). Suppose -i = w*p - 30, -4*i + 3*i - 10 = -p. Is (-49)/(-5) + 2/p a multiple of 10?
True
Suppose 0 = 5*m - 155 + 10. Is 4 a factor of m?
False
Let r be ((-1)/3)/(1/9). Is 11 a factor of (-15)/r + -3 - -26?
False
Suppose -p - p + 324 = 0. Let z = p - 107. Is z a multiple of 22?
False
Does 10 divide (-2)/(-2 - 153/(-78))?
False
Let p(n) = -n. Let b be p(9). Suppose -4*c - 18 = 2*u, -2*u - 4*c + 6 = -6*c. Is (b/4 - u)*-40 a multiple of 25?
True
Let j(v) = -v**3 + 11*v**2 + 12*v + 5. Let i be j(12). Suppose -i*a + 2*a + 144 = 0. Does 16 divide a?
True
Suppose 3*u + 0*t - 13 = 2*t, u = -2*t - 1. Suppose -s + u + 2 = 0. Suppose -s*p - 4*a + 84 = 0, 0*p + 5*a = -2*p + 37. Is p a multiple of 8?
True
Suppose -2*y - y - b = 2, 2*y = -5*b - 10. Let a = y + 5. Suppose 3*q + f - 57 = 0, a*q + 4*f = 3*f + 95. Is 19 a factor of q?
True
Let v(y) = -y**2 - 16*y - 15. Is v(-10) a multiple of 15?
True
Let r(x) = x**3 - 9*x**2 + 4*x - 9. Let f be r(9). Suppose 25 = 2*u - f. Does 8 divide u?
False
Suppose 2*l - 7*l = 0. Let c(x) = 5*x + l - 3*x - 3*x + 5. Is c(-10) a multiple of 8?
False
Let p be ((-8)/3)/(8/516). Let z = 250 + p. Is z a multiple of 26?
True
Let a(o) = -o + 2. Let u be a(-3). Suppose 2 = u*b - 23. Suppose 3*k + 26 - b = f, 5*f - 2*k - 79 = 0. Is f a multiple of 6?
False
Let b(m) be the second derivative of -9*m**3/2 + 5*m**2/2 + 7*m. Does 10 divide b(-2)?
False
Suppose 2*o = -2*m + 8, -m = -3*m - 4*o + 12. Suppose m*u - 2 = -0. Suppose 3*a - 2*a - 2*x - 10 = 0, -u = 2*a + 3*x. Is 2 a factor of a?
True
Let u(z) = -96*z**3 - z**2 + 1. Is u(-1) a multiple of 8?
True
Suppose 0 = -l - 4, -a - 3*a + 120 = 3*l. Is 11 a factor of a?
True
Let i be 22/(-6) + 1/(-3). Let o(g) = -2*g - 2. Let x be o(i). Does 13 divide x/15 - 534/(-15)?
False
Let a(x) = -4*x + 16. Is 13 a factor of a(-6)?
False
Let w(d) be the third derivative of d**2 + 1/120*d**6 + 0*d + 0 + 2/15*d**5 + 7/24*d**4 + 1/2*d**3. Is w(-7) a multiple of 3?
True
Let f(w) = w**3 - 2*w**2 - 3*w + 3. Let g be f(3). Suppose -7 - 11 = -g*s. Suppose -s - 26 = -4*d. Does 4 divide d?
True
Let l = -24 - -100. Is 19 a factor of l?
True
Suppose 3*o - 24 = c + 3, -o + 2*c = -4. Does 17 divide (-170)/4*(-8)/o?
True
Let v(c) = 4*c**3 + c**2 - c + 1. Let i be v(1). Let s(q) = 2*q**2 - 7*q + 2. Is 10 a factor of s(i)?
False
Let q = 5 - 1. Suppose -2*p + 32 = q*l - 0*l, -3*l = -5*p - 24. Does 4 divide l?
True
Let y(u) = -2*u + 2. Let c be y(4). Let v = c - -18. Is v a multiple of 6?
True
Let v = 242 - 20. Does 37 divide v?
True
Is 14 a factor of 0/4 + 1 + 41?
True
Let t(p) = -p**3 + 5*p**2 + 8*p - 9. Let a be t(6). Suppose -a*d - 3*d = -132. Is d a multiple of 8?
False
Let l be 8/(-3)*(-6)/4. Suppose 3*h - 17 = -4*x + 54, -x + l = -2*h. Does 4 divide x?
False
Let o(a) = -a - 6. Let i be o(-7). Let s(t) = 62*t**3 + t**2 - t. Does 31 divide s(i)?
True
Let l(f) = 6*f - 2. Let s be l(-2). Let r = -5 - 2. Does 12 divide 2/r + (-172)/s?
True
Let o = 4 - 2. Suppose 2*t = -5*z + 179, t - 93 = 3*z - o*z. Does 23 divide t?
True
Suppose 3*q - 20 = -2*q. Does 5 divide ((-30)/q)/((-18)/24)?
True
Let l be ((-30)/12)/(1/(-2)). Suppose -4*s + l*s = 44. Is s a multiple of 13?
False
Suppose 0 = 2*i + 10, -5*n + i = -i - 20. Suppose -140 = -n*y - 26. Is y a multiple of 12?
False
Suppose -3*r - 2 - 1 = 0. Let a be r - 141/(-3) - -2. Suppose 0 = 2*g + 2*v - 2 - a, g = 3*v + 5. Does 6 divide g?
False
Let g(r) = 6*r + 6. Let m be g(-5). Does 12 divide m/(2/(0 + -2))?
True
Suppose 0 = 3*d - 2 - 22. Is d a multiple of 8?
True
Let h = 12 - 14. Let i = -52 - -37. Is (-2)/((-3)/(i/h)) a multiple of 3?
False
Suppose -5*h + 0*h + 40 = 0. Let i be h*3/12*-15. Let c = i + 62. Is c a multiple of 14?
False
Does 4 divide (1/(-4 + 3) + -1)*-20?
True
Let b(m) = m**2 - 8*m + 9. Let t be b(7). Suppose 2*f + t*f = -d + 67, -7 = -f + 3*d. Does 8 divide f?
True
Let x(p) = 2*p**3 + 2*p - 1. Let o be x(1). Let n(g) = -o - 3*g + g - g. Is 12 a factor of n(-5)?
True
Let n(w) = -w**2 + 8*w - 4. Let r = 2 + 3. Is n(r) a multiple of 5?
False
Let s(i) = i**3 - 3*i**2 - 2*i - 3. Let z be s(4). Let m(b) = 5*b - 3. Does 11 divide m(z)?
True
Let p(c) = -3*c. Let g be 5 + -3 - (-2 + 11). Is 21 a factor of p(g)?
True
Let l(u) = u**3 - 9*u**2 + 8*u + 1. Let a be l(8). Let q = 5 + a. Does 3 divide q?
True
Let b = -9 + 54. Does 6 divide b?
False
Suppose 9*a - 12*a + 324 = 0. Does 18 divide a?
True
Let p(k) be the first derivative of k**3/3 - k**2/2 - 2*k - 3. Is p(-3) a multiple of 5?
True
Let b = -21 - -42. Is b a multiple of 21?
True
Let u(x) = x**3 - 2*x**2 - 5*x + 6. Suppose 32 = 4*d - 0*d. Suppose s - d = -s. Is 9 a factor of u(s)?
True
Let x = -107 - -38. Let a = -22 - x. Is 20 a factor of a?
False
Is 40 a factor of (-42)/(-1) + -4 + 2?
True
Suppose 4*b + 188 = -2*t + 4*t, 5*b = 3*t - 278. Is t a multiple of 13?
False
Let r be -1 - 3 - (0 - 2). Let h be -1 + 1 + (1 - r). Suppose -2*z - 22 = -t, -2*t + h*z = 2*z - 29. Does 6 divide t?
True
Suppose -6*k + k + 37 = -2*z, -2*k - z = -22. Is 9 a factor of k?
True
Let g(h) = 7*h**2 - 2*h**3 + 10 + 4*h**2 + h**3. Let o(t) = -11*t**3 - t**2 + t + 2. Let z be o(-1). Is 10 a factor of g(z)?
True
Suppose -5*i - 9 = -4*p, 3*i - 2*p = -0*i - 7. Let z(t) = -14*t - 5. Is z(i) a multiple of 12?
False
Is 8 a factor of ((-72)/27)/((-2)/30)?
True
Let q(y) = -y**3 + 6*y**2 + 2*y - 6. Let m = 5 + 1. Is q(m) a multiple of 5?
False
Suppose i - 158 = -i + 2*y, 170 = 2*i - 5*y. Is 25 a factor of i?
True
Let r = 11 - 8. Suppose w - 3 = 2, -17 = -2*j - r*w. Is 11 a factor of j + ((-54)/(-3) - -3)?
True
Is 14 a factor of (20/4)/(-5)*-17?
False
Suppose -2*v = x - 23 - 1, 4*x = 5*v + 109. Is 12 a factor of x?
False
Suppose 2*h + 52 = 6*h. Suppose 176 = 5*k - 3*d, -9 = -5*k + 5*d + 161. Suppose h = 5*c - k. Does 10 divide c?
True
Suppose -u + 5*q = -31, u - 4 = -0*q - 4*q. Let n be -2 - (1*-38 - -1). Is (u/(-20))/((-1)/n) a multiple of 14?
True
Let u be 1*2 + 19 + -6. Let m be 1/5 - (-87)/u. Suppose -m = r - 2*r. Is r a multiple of 6?
True
Does 11 divide 836/(-16)*-6*(-4)/(-6)?
True
Let f(h) = h - h - 2*h**2 - 2 - h**3 - h. Does 8 divide f(-4)?
False
Is 14 a factor of 32/12*(26 - 5)?
True
Let y(o) = 25*o**2 + o. Is 12 a factor of y(-1)?
True
Let y(l) = l**2 - 3*l + 7. Let r be (-1 - -1) + 12/6. Suppose r*g + 0*g - 12 = 0. Is 10 a factor of y(g)?
False
Let m(q) = -q**2 + 17*q - 10. Does 16 divide m(14)?
True
Let l(q) = -2*q - 1. Let g be l(-3). Suppose 0 = 3*n - g - 22. Does 9 divide n?
True
Let w be (1 - -4) + -1 + 1. Let l = w - -12. Suppose 16 = 3*f - l. Is f a multiple of 8?
False
Let p(l) = l**3 - 10*l**2 - 17*l - 6. Does 15 divide p(12)?
False
Let d(v) = -v**3 - v**2 - 2*v + 7. Let r(y) = 3*y**3 + 2*y**2 + 6*y - 20. Let h(m) = 8*d(m) + 3*r(m). Let w be h(4). Suppose k - w = -3*k. Is 4 a factor of k?
False
Is 3 a factor of -8*(-5)/140 + 206/14?
True
Let s = -100 + 163. Is 63 a factor of s?
True
Suppose 20 = -4*o - 5*a, -4 = -4*o + 7*o + a. Suppose -4*n + 2*y + 26 = o, y - 3*y = 2*n + 2. Is 4 a factor of n?
True
Let f(g) = 8*g**2 + 2*g - 4. Let z be f(3). Let d = z - 135. Let a = -33 - d. Does 14 divide a?
True
Suppose -7*g - 115 = -2*g. Let b = g - -42. Suppose 2*y + b = 3*y. Is 19 a factor of y?
True
Suppose 4*l - 19 = 29. Does 4 divide l?
True
Let h(x) = 33*x. Is h(4) a multiple of 37?
False
Let j(l) = l**2 + 4*l - 7. Let h be j(-6). Let b(y) = y + 4. Let t be b(h). Suppose -t = -3*r + 15. Is r a multiple of 3?
False
Let q be (34/10)/((-7)/(-35)). Is 17 a factor of (1 - (-3)/(-3)) + q?
True
Suppose -2*m - 3*m + 123 = 3*f, 0 = -3*m - 4*f + 76. Does 6 divide m?
True
Suppose -8*g = -9*g + 2. Suppose -4 = -q - n - g, -2*n - 32 = -4*q. Is