 = -0*r - f. Is r a multiple of 20?
True
Suppose -4*y + 50 = 3*h, -4*h - 66 = -4*y + h. Does 14 divide y?
True
Suppose -20 = 4*l - 140. Is 15 a factor of l?
True
Let p(m) = 3*m**2 + 2*m + 1. Let z be p(4). Suppose 4*l + 1 - z = 0. Suppose -t - t + l = 0. Is 3 a factor of t?
False
Suppose -6 - 9 = -3*a. Suppose 2*v + 2*i = v + 87, -5*i = -a*v + 375. Let m = v + -56. Is 11 a factor of m?
False
Does 8 divide ((8/5)/1)/((-3)/(-90))?
True
Suppose 0 = -5*k - 4*s + 16, 5*k + 5*s - 11 = k. Suppose -b = -k*b + 108. Does 12 divide b?
True
Suppose -5*g + 4*p = p - 27, 2*g - 15 = -3*p. Let y = g - 0. Is 3 a factor of y?
True
Suppose 0 = -z, 4*z - 3 = p + 2*p. Let b(j) = -35*j. Let i(o) = 12*o. Let m(x) = 6*b(x) + 17*i(x). Does 3 divide m(p)?
True
Suppose 3*i = -0*i + 114. Does 19 divide i?
True
Let c(z) be the first derivative of z**5/60 + z**4/24 - 3*z**3/2 + z**2/2 + 1. Let p(n) be the second derivative of c(n). Does 18 divide p(-7)?
False
Let l(q) = 4*q**2 - 20*q - 4. Is l(9) a multiple of 19?
False
Suppose 2 = i - 2. Suppose 3*k = 3*h - 0*k - 21, i*k + 8 = 0. Suppose -5*r + 1 = b + 15, -4*b = h*r - 19. Does 11 divide b?
True
Is 15 a factor of 352/3 + (1 - (-8)/(-6))?
False
Suppose 3 = 2*y - 3. Let v(n) = -n**3 + n**2 + n + 4. Let c(k) = -1. Let h(o) = -6*c(o) - v(o). Does 7 divide h(y)?
False
Suppose j = -5*l - 19, -3*j = -2*j + 2*l + 10. Let r = j - -15. Does 2 divide r?
False
Let a(z) be the third derivative of 11*z**7/5040 + z**6/720 - z**5/30 - z**2. Let d(s) be the third derivative of a(s). Is 15 a factor of d(3)?
False
Let c(q) = -q**2 - 17*q + 15. Is 31 a factor of c(-16)?
True
Suppose 5*i + 0*c + 3*c = 291, -4*i - 4*c = -228. Does 7 divide i?
False
Let l = 874 - 614. Does 26 divide l?
True
Let i(k) = -k**3 + 2*k. Let g be i(-2). Suppose -g*s + 14 = 4*t - 3*s, -t + 2*s = 1. Is 12 a factor of 40 - t - (-2 - -3)?
True
Suppose 0*t = -2*t + 8. Let c(v) = v**3 - 4*v**2 + 2*v - 6. Let j be c(t). Suppose 40 = 4*r + 4*f, -4*f + 10 = j*r - 0*r. Is 15 a factor of r?
True
Suppose -4*c + 5 - 31 = -2*s, 3*s - 5*c = 34. Let i(l) = 14*l. Is 14 a factor of i(s)?
True
Let j = 138 + -98. Let z = -29 + j. Is 11 a factor of z?
True
Suppose 31*p = 39*p - 592. Is p a multiple of 37?
True
Suppose 0 = -3*c + 9, w + 2*c + 31 = 82. Let j = 0 - -2. Suppose 0 = 7*q - j*q - w. Does 9 divide q?
True
Let j(k) = 51*k. Is j(1) a multiple of 4?
False
Does 37 divide 1/(4 - 1478/370)?
True
Let h = 55 - 13. Is h a multiple of 7?
True
Suppose -12 = -4*p + 4*o, -11 = -p + 2*o - 3*o. Suppose -z = p - 1. Is ((-52)/z)/((-8)/(-12)) a multiple of 10?
False
Let z = 3 - 11. Let c(g) = -g - 3. Let r be c(z). Suppose 4*q - 107 = -p + 5, -5*p = r*q - 155. Does 10 divide q?
False
Let t(o) = o**3 - 8*o**2 + 6*o - 1. Let s be t(5). Suppose 0 = 5*c - 4*u - 458, 2 + 0 = -u. Let a = c + s. Is a a multiple of 22?
True
Let b(d) = -14*d + 2. Is 14 a factor of b(-1)?
False
Let d(a) = -a**3 - 4*a**2 + 3*a + 2. Let x be d(3). Let g = -26 - x. Let i = -2 + g. Does 12 divide i?
True
Let y = -2 + 5. Let i be 32 + 1*(-3)/y. Let p = 43 - i. Is 6 a factor of p?
True
Let y = -329 - -552. Is 11 a factor of y?
False
Let s = 110 + -47. Does 22 divide s?
False
Suppose -k + 5*k - 4 = 4*m, 0 = -2*k - 3*m + 12. Let g(j) = -4*j - 6*j**2 + 9 - 3*j**k - 4 + 2*j**3. Is g(-6) a multiple of 12?
False
Let m(v) = -6*v + 2. Let z = -10 + 7. Is m(z) a multiple of 11?
False
Let i(a) = 4*a**3 - 5*a**2 + a + 3. Let h be i(3). Let s be (-5)/(-2) - 2/4. Suppose 5*n - h = s*n. Is n a multiple of 16?
False
Let v(p) = -40*p - 5. Let g be v(-6). Suppose -5*x - g = -5*z, 76 = 2*z - x - 19. Is 11 a factor of z?
False
Let s(m) = -m + 18. Let y be s(0). Suppose 0 = h - 64 + y. Is 23 a factor of h?
True
Let u(j) = 17*j + 3. Let c(s) = 34*s + 7. Let x(n) = -2*c(n) + 5*u(n). Is x(1) a multiple of 18?
True
Does 5 divide 2/9 + 176/18?
True
Suppose 13 + 15 = -4*x. Let d = 19 - x. Is d a multiple of 7?
False
Let m = -101 + 197. Is 24 a factor of m?
True
Is ((-14)/28)/((-2)/208) a multiple of 12?
False
Does 18 divide -3 - 346/((-2)/1)?
False
Let c = 340 - 157. Does 21 divide c?
False
Let u = 167 - 71. Is u a multiple of 5?
False
Suppose -2*o = 4*t - 108, -5*o + 126 = 5*t + 1. Suppose 2*g + 5*u = 30, -3*u = 3*g + 2*g - 37. Suppose t = 4*c - 5*w, 0*c + c + g*w - 1 = 0. Does 3 divide c?
True
Suppose 0 = -5*h - 2*o + 1078, 0 = 4*h - 0*h + 2*o - 862. Does 18 divide h?
True
Let p = 1 - -2. Is p*(-1)/(-3) + 53 a multiple of 15?
False
Let x(f) = 12*f + 2. Is x(2) a multiple of 13?
True
Suppose -845 = -14*x + 261. Is x a multiple of 7?
False
Let u be 4/(-6) + (-4)/(-6). Suppose -2*h + 0*h = -8. Suppose -2*o + 20 - 6 = -4*w, u = h*o - 4*w - 24. Is o a multiple of 2?
False
Let n(h) = h + 8. Let v be n(-6). Does 18 divide (v/6)/((-3)/(-198))?
False
Let t = 120 + -171. Let n = t - -89. Is 19 a factor of n?
True
Let x be 22/4 - (-2)/4. Suppose -3*h = -h - 18. Let f = h - x. Is 3 a factor of f?
True
Let q(p) = -p**3 + 16*p**2 + 23*p - 22. Let k be q(17). Let w = -33 + k. Is w a multiple of 27?
False
Let r(b) = b**2 - 7*b - 9. Is r(-4) a multiple of 16?
False
Let u be (-25)/(-4) - 15/(-20). Let o(g) = -g**3 + 7*g**2 + 7*g - 1. Is o(u) a multiple of 20?
False
Let k(g) be the third derivative of g**8/6720 + g**7/2520 - g**6/720 - g**5/60 + 3*g**2. Let n(s) be the third derivative of k(s). Is 4 a factor of n(1)?
True
Let i be 18/5 - 2/(-5). Suppose -s - 1102 = -i*u - 187, -u + 234 = 5*s. Suppose 3*j - g = 168, -j + u = 3*j - 3*g. Is j a multiple of 19?
False
Let a(w) = 3 + 24*w - w - 2 + 0*w. Is a(1) a multiple of 9?
False
Let v = 6 - 6. Suppose -5*n - 119 + 29 = v. Is 6 a factor of 2*n/(-21)*7?
True
Let a = 12 + -10. Suppose 0 = l + a*l - 216. Is l a multiple of 13?
False
Is (22/1)/((-12)/(-54)) a multiple of 23?
False
Let v = 31 - 10. Is v a multiple of 7?
True
Let r be (-2)/(-8) - 14/(-8). Suppose r*h = h + 4. Suppose h*w = w + 60. Is 7 a factor of w?
False
Let k(y) = 2*y + 5. Let x be k(-4). Let z(t) = -t**2 - 6*t + 2. Let v be z(x). Let p = v - 8. Does 3 divide p?
True
Suppose -2*f = -0 - 4. Let u(q) = -q**3 + 6*q - 3*q**2 - 3*q + q - 2*q**f. Does 6 divide u(-6)?
True
Suppose 70 = 2*f - 5*h, f + 26 = 2*f + 2*h. Let b = f - 16. Is 7 a factor of b?
True
Let n = -7 + 64. Suppose n + 98 = 5*j. Let f = 44 - j. Is f a multiple of 13?
True
Let s be (54/5)/((-5)/(-25)). Does 12 divide 2/(-1 - s/(-50))?
False
Does 13 divide (-4)/(-18) + 1074/27?
False
Let l = 19 + -13. Let q be 2*2*(0 - 1). Is 7 a factor of q/l + 176/12?
True
Let d be 4 - 2*(-1 + 2). Let g = 70 - 42. Suppose -4*w + d*w = -g. Does 14 divide w?
True
Let x = 1 + 3. Suppose 2 = -x*h + 5*r - 3, 4*h - 2*r - 10 = 0. Suppose 3*u = -2*u - 4*q + 80, -h*u = 2*q - 80. Does 8 divide u?
True
Let o be (-1 + 4 - 1) + 0. Suppose 4*c = -4*t + 8, 0*c = t + 2*c - o. Is 2 a factor of (6/3)/(1/t)?
True
Let u = -146 + 254. Does 27 divide u?
True
Let x(o) = 31*o**2 + 2*o - 1. Let q be x(1). Let y = q - 21. Suppose 5*k - y - 27 = -4*g, 3*k - 15 = -5*g. Is k a multiple of 10?
True
Suppose 0 = -6*w + 2*w + 2*b + 1146, 3*b = 2*w - 567. Does 24 divide w?
True
Let g(n) = 3*n**2. Let y(f) = 10*f**2 - 1. Let a(r) = -7*g(r) + 2*y(r). Let p be a(-6). Let b = 58 + p. Is b a multiple of 10?
True
Suppose 2*j - 5*j = 4*x - 48, 3*x - 36 = 2*j. Does 11 divide 44/(-6)*x/(-4)?
True
Let q be (32/(-12) + 2)*-15. Does 3 divide (q/4 + -2)*12?
True
Let p = 201 - -105. Let w = p - 216. Suppose w = 2*z + z. Does 15 divide z?
True
Let l = 9 - -62. Does 16 divide l?
False
Suppose -5*m = 5*b + 45, 3*b = 3*m + 16 + 11. Let i = -7 - m. Does 5 divide 15/(-6)*i/(-1)?
True
Suppose 0*f - 5*f - 32 = r, -2*r - 2*f - 24 = 0. Let t be 8/(-6)*(r - 8). Suppose k - t = -3*k. Is 2 a factor of k?
False
Does 25 divide 60 - (-2)/(2/(-3))?
False
Is -4 + 2 + 123 + 2 a multiple of 18?
False
Suppose -3*h + 5*h - 292 = 0. Suppose 4*w - 389 = -5*i, -2*i - w + h = 3*w. Does 27 divide i?
True
Let z(s) = s**3 + 6*s**2 - 4*s + 1. Let h be z(-6). Suppose -4*j - 4 = r, 3*j + 2*j = -5*r + h. Does 8 divide r?
True
Let i = -260 - 70. Does 22 divide 15/2*i/(-25)?
False
Is -1*(-2 + -108) + -4 a multiple of 53?
True
Let z = 4 - 4. Does 3 divide 30/35*(7 + z)?
True
Let s(j) = j**2 + 5*j + 2. Let v be s(-5). Suppose -m - v + 1 = 0, -k - 3*m = 3. Suppose k*y + 45 = 5*y. Is 3 a factor of 