 be (1/x)/((-1)/6). Is (a + 4)/(-2)*25 a multiple of 5?
True
Is 21 a factor of (-2*14/(-4))/((-7)/(-259))?
False
Let o be 1/4 - (-35)/20. Does 10 divide (o/4)/((-10)/(-1940)) - -3?
True
Suppose 4*o = 4*g + 3868, -2*o = -2*g + 5*g - 1919. Is o a multiple of 29?
False
Let x be 6/(((-54)/4)/9). Is (-990)/(-50) - x/(-5) a multiple of 19?
True
Let f(x) be the first derivative of -x**4/4 + 2*x**3/3 + 5*x**2 - 5*x + 2. Does 3 divide f(4)?
True
Let i(n) = 25*n**2 - 16*n - 8. Does 49 divide i(8)?
False
Suppose -32*n - 918 = -35*n. Suppose -6*z + n + 18 = 0. Is z a multiple of 18?
True
Suppose -47*c + 69*c = 16280. Is 5 a factor of c?
True
Suppose -3*u = -4*t - 39, 2*u = 2*t - 0*t + 22. Does 27 divide 6/8*12*(t - -45)?
True
Let i = -783 + 1680. Is 69 a factor of i?
True
Let k(w) = -w + 45. Let n be k(27). Suppose n = 7*d - 108. Is 10 a factor of d?
False
Let b(r) = -52*r - 280. Is 20 a factor of b(-10)?
True
Let w = -248 + 291. Does 15 divide w?
False
Let y(s) be the third derivative of -16*s**5/15 + s**4/12 - 2*s**3/3 - 7*s**2. Let a be y(-5). Is (-2)/8 + a/(-24) a multiple of 17?
False
Let l(q) = -23*q + 11. Let c be l(7). Let g = -64 - c. Does 24 divide g?
False
Let s be -1 + ((-4)/(-6))/((-1)/(-9)). Suppose 202 = 3*a + 4*q, 3*a = s*a - 3*q - 112. Is a a multiple of 31?
True
Let t = -600 - -863. Is 10 a factor of t?
False
Let u(q) = -2*q + 24. Let o be u(12). Suppose 5*i + 4*c = 80, 3*i = -o*c - c + 48. Does 16 divide i?
True
Suppose -4*u = 2*x + 50, -4*x - 40 = 3*u + 35. Is (-10)/x*150/2 a multiple of 10?
True
Suppose 4*j = 5*f - 622, -8*j + 11*j + 120 = f. Is 21 a factor of f?
True
Let v(p) = 2*p**2 - p - 9. Let x be v(-3). Let t = x - -2. Is t a multiple of 8?
False
Suppose 6*l - l = 0. Let u be (l + -5)*(-4)/10. Suppose 5*z - 138 = u*z. Is 23 a factor of z?
True
Is 406/4 + 51/(-34) a multiple of 10?
True
Suppose -4*t + 154 = -4*z + 642, -4*t + 646 = 5*z. Is z a multiple of 9?
True
Suppose -3*i = -0 - 12, 0 = -4*d + 4*i - 52. Let c be -20 - 1/(3/d). Is 9 a factor of (-3)/(-6) + c/(-2)?
True
Let c = 710 - -49. Suppose 3*l + c = -2*l - 4*n, 0 = 4*n + 4. Let a = -104 - l. Is 18 a factor of a?
False
Let d be -67 + 2 + (-5 - 1). Let n = 87 + d. Is n a multiple of 12?
False
Is 3 a factor of (5/20*-4)/(1/(-105))?
True
Let v be -3*(-8)/6 + -1. Let g(m) = -12*m + 5. Let q be g(-3). Is 14 a factor of q + (v - (4 + -4))?
False
Suppose -8*l + 22 = -10. Suppose -l*b + 5 = -135. Does 7 divide b?
True
Let q be 417*4*(-1)/(-12). Suppose -4*h + 133 + q = 0. Let f = h + -30. Does 8 divide f?
False
Let h be -10*10/(-25) - 18. Let w(d) = d**3 + 17*d**2 + 25*d - 7. Does 33 divide w(h)?
True
Let m be (-2)/(-2) + (-6)/1. Let s = m + 4. Let x = s + 59. Is x a multiple of 29?
True
Let y be 3*(2/(-2) + -250). Is (2/(-3))/(y/(-189) + -4) a multiple of 14?
True
Is 296*3/36*9 a multiple of 74?
True
Does 4 divide 1116/42*(-14)/(-3)?
True
Suppose l = 3*w + 18, 20 = 4*w - 0*w. Is 22 a factor of 2 + (-72)/l + (-8896)/(-44)?
False
Let o(b) = -b - 2. Let t be o(-5). Suppose 15 = 4*r + t*n, 4*r + 2*n = -3*n + 17. Suppose 0 = -r*z + 5*z - 96. Is 16 a factor of z?
True
Let i(u) = -u**3 - 23*u**2 - 10*u + 79. Is i(-24) a multiple of 16?
False
Is (2 - -185) + (16/8 - 7) a multiple of 35?
False
Is 2 a factor of ((-825)/(-12))/11 - 10/8?
False
Suppose -43 = 3*r + 29. Is 5 a factor of (4/r - (-1)/6) + 28?
False
Let y(x) = x. Let v(m) = -25*m - 1. Let h(w) = -v(w) + 2*y(w). Let o be h(1). Is o*(6 + -3)/3 a multiple of 11?
False
Let g(s) be the first derivative of s**5/30 - s**4/4 - 2*s**3/3 - 3*s**2/2 + 3. Let i(u) be the second derivative of g(u). Does 22 divide i(-5)?
False
Let g be 24/40 - (-584)/10. Let y(c) = 21*c + 5. Let h be y(6). Suppose 0 = -5*f + h + g. Is 14 a factor of f?
False
Suppose 0 = -11*u + 927 + 360. Does 9 divide u?
True
Suppose 23*y - 675 = 14*y. Does 17 divide y?
False
Let t(s) = s**3 - 25*s**2 - 7*s - 88. Is t(26) a multiple of 61?
False
Let a(y) be the first derivative of y**4/4 - y**3 - y**2/2 + y - 2. Let m be a(3). Does 3 divide (-2 - m) + -3 - -6?
True
Suppose 10908 = -4*w + 10*w. Does 96 divide w?
False
Suppose -5*w - 151 = 84. Let s be (-15 - -3)*w/3. Suppose j - 17 = 5*u + 22, -4*u - s = -4*j. Is j a multiple of 16?
False
Suppose -2*z = 5*r - 204 + 66, -r + 3*z + 31 = 0. Is r even?
True
Suppose -142 = -4*l + 38. Is 1720/l + (-2)/9 a multiple of 4?
False
Suppose 13*u - 845 = 8*u. Is u a multiple of 4?
False
Let g = 1702 - 1153. Is 61 a factor of g?
True
Suppose -28*g + 4239 = -26*g + 5*q, -2*g - q = -4227. Is 16 a factor of g?
True
Suppose 134*w + 539 = 145*w. Is w a multiple of 13?
False
Let h = 146 + -99. Let p(m) = 3*m - m + 2*m + h - 2*m. Is p(0) a multiple of 15?
False
Suppose 30 = 2*n - 5*n. Is ((-3660)/n)/((-3)/(-2)) a multiple of 28?
False
Let d(i) = 33*i + 1 + 0 - 5. Let p be d(4). Let z = p - 72. Does 13 divide z?
False
Suppose 2*z - 973 = 327. Is z a multiple of 26?
True
Let d = 594 - -330. Is 11 a factor of d?
True
Is (-4)/4 + 1 + -3 - -244 a multiple of 12?
False
Let z = 95 + -251. Let w = 548 + z. Is w a multiple of 56?
True
Let b = 8 - 12. Let h(w) = w**3 + 5*w**2 + w - 9. Let l be h(b). Let j(u) = 6*u + 1. Is 5 a factor of j(l)?
False
Suppose 6*u + 145 - 3181 = 0. Is u a multiple of 23?
True
Let z be -4*39*3/9. Let f(h) = -25*h - 1. Let u be f(4). Let c = z - u. Is c a multiple of 17?
False
Suppose -3 = 2*o + 3*x, 8*x = 4*x - 4. Suppose o*y = -2*y + 252. Does 42 divide y?
True
Let w = -103 - -61. Is 11 a factor of (-14)/((-18)/70 - (-6)/w)?
False
Let k(s) = -s**3 - 12*s**2 + 48*s + 50. Does 5 divide k(-15)?
True
Let a = 18 - -157. Is a a multiple of 7?
True
Let m(v) = -v**2 + 6*v + 2. Let p be m(5). Suppose -1 + p = -3*q. Let o = q + 53. Is 17 a factor of o?
True
Let h(r) = -2*r**2 - 8*r - 12. Let v be h(-2). Is 8 a factor of 48/(-6) - v - -111?
False
Let t(m) = m**3 - 9*m**2 + 9*m - 5. Let b be t(8). Suppose 32 = -4*h - 4*y, b*y + 5 + 7 = h. Is h/(((-10)/(-36))/(-5)) a multiple of 18?
True
Suppose 6*m - 86 = 4. Let v = 0 + m. Suppose 0 = 4*x - 1 - v. Does 4 divide x?
True
Let v(k) = 2*k - 2. Is 12 a factor of v(7)?
True
Let h(g) = 3*g**2 - 2*g - 3. Let b be h(3). Is 19 a factor of (-2)/9 - (-1318)/b?
False
Suppose 0 = -5*w + 2*w + 480. Let b be ((-42)/(-5))/(24/w). Let d = 107 - b. Does 17 divide d?
True
Let x = 96 - -66. Is x a multiple of 5?
False
Let q = 57 - 52. Suppose -4*k + 121 = -5*w, 5*k + q*w - 23 = 3*k. Is k a multiple of 11?
False
Suppose 3*k = -3*g + 9, -4*g = k + 4 - 7. Let p be 2/4*28/7. Suppose g = 2*m - 3*u, 3*u + u = p*m + 4. Does 4 divide m?
False
Let u(x) = x + 8. Let r be u(-6). Let f be 9*(-2)/6*r. Is (-2)/f + (-85)/(-15) a multiple of 4?
False
Let b(z) = z**2 - 3*z + 10. Let q = -24 + 17. Does 16 divide b(q)?
True
Let p be (12/33)/(-2) + 6428/22. Let w be -1*(-404)/(2 - 4). Let d = w + p. Is 30 a factor of d?
True
Let s(n) = -6*n + 42. Is 12 a factor of s(-33)?
True
Let u(t) = -t + 3. Let m be u(-4). Suppose -v - 906 = -m*v. Is 14 a factor of v?
False
Let t(x) = -x**3 + 24*x**2 + 21*x - 5. Is t(24) a multiple of 38?
False
Suppose b = 3*b - 28. Does 3 divide (-254)/(-9) + b/(-63)?
False
Suppose 19*v - 5859 = 3261. Is 16 a factor of v?
True
Suppose f - 5*b = 125, 7*b - 265 = -2*f + 2*b. Suppose 3*n - 174 = 3*y - 42, -5*y - f = -3*n. Is 9 a factor of n?
True
Suppose -7*k + 2 = -12. Is 4 + 48 + k - -3 a multiple of 8?
False
Let t(a) = 3*a**3 - 7*a**2 + 4*a + 14. Let l(h) = 10*h**3 - 22*h**2 + 11*h + 41. Let i(z) = -2*l(z) + 7*t(z). Does 4 divide i(4)?
True
Let b = 777 + -409. Is 23 a factor of b?
True
Let g(v) = 3*v**2 + v + 1. Let q be g(-2). Let n = q + -7. Is n a multiple of 4?
True
Let i(j) = -34*j - 39. Let s be i(-6). Let a = 361 - s. Is a a multiple of 15?
False
Let i(f) = 2*f**3 + f**2 + 12*f - 8. Let v(s) = 5*s**3 + s**2 + 24*s - 16. Let t(z) = -7*i(z) + 3*v(z). Is 3 a factor of t(6)?
False
Let y(g) = -3*g + 6. Let z be 7 + -7 + 2*-2. Let l be y(z). Suppose l = 3*s - 27. Does 13 divide s?
False
Let g be 8/20 + 46/10. Suppose 5*u = -2*t + g*t + 764, -2*u + 2*t + 304 = 0. Suppose z - 4*l - 20 = 0, -5*z + 2*l + u = -0*l. Is 8 a factor of z?
True
Is (-601 + 1)*(-5 + 2 + 2) a multiple of 50?
True
Suppose 11 = 4*j + 5*v, 3*j - 12 = j + 4*v. Suppose -2*n + 7*n = 4*p + 1774, 0 = 4*n + 4*p - 1412. Suppose -2*q = j*q - 