 -f, 7*f - o*f + 2*n - 50 = 0. Is f a multiple of 10?
False
Suppose 5*n + 121 = 2*h - 58, -2*h + 177 = -3*n. Is 14 a factor of h?
False
Suppose -d - 3*d + 8 = h, -2*d - 5*h - 14 = 0. Suppose 5*o = 3*j - 14, -o + 1 - 11 = d*j. Let z(m) = m**2 - 3*m - 2. Is 3 a factor of z(j)?
False
Suppose 15*r - 8 = 11*r. Suppose 2*t = 5*t. Suppose -x + r*x - 11 = t. Does 11 divide x?
True
Let a(m) = 5*m + 16. Let w(l) = -9*l - 32. Let f(n) = -7*a(n) - 4*w(n). Does 4 divide f(-8)?
True
Let m(j) = 3*j + 1. Does 4 divide m(21)?
True
Let r(q) be the first derivative of -2*q**2 + 10*q - 3. Is r(-9) a multiple of 15?
False
Let h = -3 + 1. Is 3 a factor of h/(-8) - (-133)/28?
False
Does 5 divide 1*-2*126/(-28)?
False
Let x(h) = -h**2 + 18. Is x(0) a multiple of 16?
False
Let g = 1 + 5. Suppose w = -w - 3*d + 8, -5*d = -4*w - g. Is 7 a factor of (3 + 19)*w/2?
False
Let q(b) = 18*b + 14. Does 26 divide q(5)?
True
Suppose 2*n = -2*n. Let q(u) = -u + 15. Is q(n) a multiple of 11?
False
Suppose -4*y + 5*n = -16, -y + 4*y + 3*n = 12. Suppose 7*p + 4*v - 20 = 3*p, 0 = -2*p + y*v + 40. Is p a multiple of 10?
True
Let z(s) = 2 - 2 + 3 + 0 - s. Is 3 a factor of z(-5)?
False
Suppose -r - 1 = 0, z + 406 = 5*z - 2*r. Does 20 divide z?
False
Let w be 4/(-5)*(-20)/8. Suppose w*c - 37 = -3*p, -6*p + c = -2*p - 42. Does 9 divide p?
False
Let c(q) = q**3 + 7*q**2 + 7*q + 1. Let n be c(-5). Is 19 a factor of 0/(-2) + 2*n?
False
Let l = -87 - -144. Let g = l + -35. Is g a multiple of 12?
False
Does 25 divide (-2)/2*2*-25?
True
Let n = 530 - 329. Does 45 divide n?
False
Suppose 4*i - 36 = d, -2*d = 2*d - i + 99. Let g = -4 - d. Is g a multiple of 20?
True
Let w = -7 - -14. Is w a multiple of 2?
False
Let p be (2/3)/((-2)/3). Let b = 3 + p. Suppose 2*i = b*d - 34, 40 + 21 = 3*d - 5*i. Does 12 divide d?
True
Suppose 102 = 5*f - 2*p, 3*f + 4*p - 30 - 26 = 0. Is 10 a factor of f?
True
Suppose l + 4*l - 3*t = 269, -3*t = -2*l + 113. Is l a multiple of 4?
True
Let d(b) = -1. Let q(s) = 8*s - 10. Let r be 3*3*(-10)/(-15). Let a(m) = r*d(m) - q(m). Does 22 divide a(-5)?
True
Let d = 6 + -6. Let t be d + (-7)/(21/18). Let k = t + 15. Does 3 divide k?
True
Let q = -22 + 13. Is 9 a factor of (-1 + -2)/(q/129)?
False
Does 8 divide (-3)/6 + 207/6?
False
Is 19 a factor of 1465/11 - 2/11?
True
Suppose 0 = -4*m + s + 113 - 308, 0 = -m + 3*s - 46. Let j = -34 - m. Is j a multiple of 7?
False
Suppose -3*z = -2*z - 3*l + 36, -5*z = 2*l + 146. Suppose 0 = -7*i + 2*i - 2*o + 12, -7 = -i - 5*o. Does 15 divide 1/i*2 - z?
False
Let q = 1 - 1. Suppose -3*h - 24 - 3 = q. Let g = h + 21. Is 6 a factor of g?
True
Let t(z) be the second derivative of -z**4/12 + 4*z**3/3 - 7*z**2/2 + z. Let n be t(6). Let s = n + 3. Does 8 divide s?
True
Let y be 60 - 0*(-3)/(-9). Is 10 a factor of (y/9)/(2/9)?
True
Let x = 29 + -19. Is x a multiple of 4?
False
Let z = -95 - -169. Is 28 a factor of z?
False
Suppose -h - 12 = -3*u + 5, 2*h = 3*u - 16. Is u even?
True
Let n(x) = -x**3 + 8*x**2 - 7*x - 5. Let p be n(7). Let h = p - 3. Does 5 divide (-2)/h - 86/(-8)?
False
Let m = 270 - 179. Is m a multiple of 37?
False
Suppose 1 = -2*m + 3*m. Is 11 a factor of m/(-1) - (-115)/5?
True
Let y(n) = 3*n - 11. Let j be 3 - (8 + 2)/(-1). Is 6 a factor of y(j)?
False
Let q = -1 + -14. Let d = q - -22. Is 6 a factor of d?
False
Let l = -12 + 18. Let p(z) = -2*z + 6. Let t be p(5). Let x = t + l. Does 2 divide x?
True
Let v(p) = 23*p. Does 10 divide v(2)?
False
Suppose -b - y = -30, -4*y + 69 = 3*b - 24. Is b a multiple of 7?
False
Suppose -2 = 3*o + 2*i, -5*o + 3*i - 4 = -7. Suppose -5*h = -2*k + 24, -h = -2*h - 4. Suppose o*z = -k*z + 24. Is z a multiple of 12?
True
Let m(l) = -8*l - 4. Let i(w) be the second derivative of w**2/2 + 2*w. Let u(v) = 6*i(v) + m(v). Does 25 divide u(-6)?
True
Suppose 0 = 4*z - 4, -4*n - z + 275 = -2*z. Is 11 a factor of n?
False
Let y be -123*(-6)/9 + -1. Suppose -3*x = -5*q + 135, y = q + 2*q - x. Does 9 divide q?
True
Let i = 17 + -10. Suppose 0 = -5*t + l + 43, -2*t - l + 10 = -5*l. Suppose 4*x - i = t. Is x a multiple of 2?
True
Let q = -1 + 1. Suppose -4*h - 17 = -v, -5*v - 2*h + 22 = 3. Suppose -3*d - d - 208 = -v*p, -3*p + d + 129 = q. Is 17 a factor of p?
False
Let a(k) = k**2 + 2*k - 1. Let f = -6 - -10. Is 13 a factor of a(f)?
False
Let v(u) = -7*u - 13. Does 9 divide v(-7)?
True
Let j(r) = 3*r**2 - 2*r + 6. Let b be j(5). Let k = b + -27. Does 11 divide k?
True
Let d be -2 + (-7)/(0 + -1). Let f(c) = 40*c - 3. Let b be f(d). Suppose 4*s - b - 3 = 0. Is 20 a factor of s?
False
Let r(w) = w - 8. Let b be r(0). Let m(s) = -4*s**2 + 15*s + 10. Let p(u) = -u**2 + u. Let y(q) = -m(q) + 5*p(q). Is 6 a factor of y(b)?
True
Let v be (-24)/(-132) + (-75)/(-11). Let u(i) = 5 + 4*i**2 - 5*i**2 + 9*i + 0*i**2. Is u(v) a multiple of 10?
False
Suppose 0 = p - 5*h + 21, 2*h - 3 = h. Does 16 divide 3/(p/4)*-8?
True
Let d be ((-5)/4)/(1/20). Let h = 61 + d. Is 19 a factor of h?
False
Let y = -50 + 86. Does 12 divide y?
True
Suppose 5*z = 7*z. Suppose z = x - 5*x - s + 57, -63 = -5*x - 4*s. Is x a multiple of 5?
True
Suppose -9 = a - 1. Let f(i) = -5*i**3 + 3*i**2 + 7*i + 8. Let d(r) = 14*r**3 - 10*r**2 - 21*r - 23. Let z(y) = -6*d(y) - 17*f(y). Is z(a) a multiple of 10?
True
Suppose 2*l + 2 = 6. Let r = l - -11. Is 7 a factor of r?
False
Let s(o) = -7*o - 1 + 1 - 5. Is s(-2) a multiple of 5?
False
Suppose 2 = x + 4. Is 21 a factor of x/(-2) + 46 + -3?
False
Let u be ((-40)/(-25))/(2/5). Let g = u - -3. Does 5 divide g?
False
Let a = -145 + 205. Does 6 divide a?
True
Let m = 4 + 12. Is m a multiple of 11?
False
Let d(b) = 4*b**3 - b**2 - 2*b - 1. Let m be d(2). Let y = m + -11. Does 6 divide y?
True
Let u(g) = -2 + 2 + 3*g - 33*g. Is u(-3) a multiple of 36?
False
Suppose -w = 5*a - 9, 5*w - 4*a - 19 = -3. Suppose 0 = -w*b - 0*b + 196. Suppose 2*h + 3*i - 57 = 0, 3*h - 32 - b = -3*i. Does 19 divide h?
False
Is 26 a factor of 7/(-28) - 2475/(-12)?
False
Suppose -5*p + 1128 = -4*w, -2*w + 154 = 2*p - 290. Does 14 divide p?
True
Let n = 12 + -8. Suppose n*s + 11 = 143. Is 11 a factor of s?
True
Let y be 5/1 + (-5 - -2). Suppose 0 = 3*b + y - 26. Is 4 a factor of b?
True
Let h be -2 + (1 - -1) - 6. Let k(b) = b**2 + 3*b + 7. Does 10 divide k(h)?
False
Is 15 a factor of 3/((-3)/(-26)) + 4?
True
Suppose -4*v + 701 + 331 = 0. Suppose 4*r - o - 349 = -0*o, -2*o = -3*r + v. Suppose t = 5*t - r. Does 11 divide t?
True
Is 10/(-4)*(-2 - 20) a multiple of 11?
True
Let w = -16 + 24. Suppose 0 = q - w. Is 3 a factor of q?
False
Let j(h) = h**2 + 5*h + 10. Is j(-8) a multiple of 34?
True
Let m(p) = -3*p + 3. Let o be m(3). Is (o/(-10) - 1)*-45 a multiple of 7?
False
Let h(m) = m + 1. Let y be h(3). Suppose 4*c - y - 36 = 0. Is c a multiple of 5?
True
Let y(v) = v**3 - 2*v**2 - 2*v - 4. Let j be y(5). Does 22 divide j*-3*(-2)/6?
False
Let a(w) = w. Let m be a(4). Suppose -2*p - 3*g + 16 = 0, p = -0*p + m*g - 14. Suppose 3*l + 215 = 5*y, p*l - 9 = -y + 47. Is 22 a factor of y?
False
Suppose 3*z + 2*y - 9 = 0, -3*y - 11 + 2 = -3*z. Is 14 a factor of z/(-2)*84/(-9)?
True
Let i be (-37)/(-3) + 5/(-15). Suppose -3*y = y + i. Is ((-8)/(-12))/((-1)/y) a multiple of 2?
True
Suppose 3*g + 2*n - 48 = -0*g, 0 = g - 4*n - 30. Suppose r - 36 = g. Suppose -3*v = -r - 42. Is 16 a factor of v?
True
Let n(q) = 111*q**2 - 2*q + 1. Let s be n(1). Suppose j + 6 = 4*j. Suppose 0 = j*d + 3*d - s. Does 10 divide d?
False
Let o(v) = -2*v**3 - 4*v**2 + 5*v + 4. Let g(t) = 3*t**3 + 9*t**2 - 10*t - 9. Let y(c) = 3*g(c) + 5*o(c). Let m be y(6). Does 10 divide (-12)/m + (-2)/1?
True
Is 178/12 - (-2)/12 a multiple of 13?
False
Let t(a) = 26*a + 6. Does 12 divide t(2)?
False
Let a be (21/12)/(1/(-4)). Let f(k) = -k**3 - 7*k**2 - 5*k + 4. Let h be f(a). Suppose -3*y + 2*y = 2*v - 13, -3*y + 2*v + h = 0. Does 13 divide y?
True
Suppose -5*q + 6 = 2*h + h, 4*q = 4*h + 24. Suppose 4*r + 201 = q*a + r, 0 = r + 5. Is 11 a factor of a?
False
Let v be (1 + 2)*(-16)/(-12). Suppose 0 = v*w - l + 2*l - 126, w - 3*l - 25 = 0. Is 11 a factor of w?
False
Suppose -2*g + 2 = y, -3*g + 0*y + 6 = 3*y. Let j = 4 - g. Is 3 a factor of j?
False
Let r(k) = 5*k - 3. Suppose 5*z + 3*q - 8 - 10 = 0, 3*z + q = 14. Let h be r(z). Is 10 a factor of (-4)/(-5)*(h - 2)?
True
Let c be 5 + (-2 - (3