Suppose h*m = -2*u + 4*m - 27, -5*u - m - 57 = 0. Let g = u - -26. Is g a multiple of 14?
True
Let h(m) = -3*m**3 + 3*m**2 + 2*m - 4. Suppose -33 = -2*n - 5*d, 4*d = 5*n + d - 5. Let b be h(n). Is 14 a factor of (24/20)/((-6)/b)?
True
Suppose 552 + 701 = 7*x. Is 10 a factor of x?
False
Suppose -17*h + 2279 = -509. Is h a multiple of 53?
False
Suppose y + 5*v - 7 = 0, y + 2*v + 15 - 34 = 0. Is y a multiple of 9?
True
Let m be -3 + 1 + 6/2. Is 21 a factor of 21*m + 5 + -5?
True
Let n(x) = 2*x - 5*x**3 + 2 - 3 + 2. Let b be n(-1). Suppose b*f = -0*f + 16. Does 3 divide f?
False
Let a = 4 + 3. Let s = a + 1. Is s a multiple of 8?
True
Let k(s) = s**2 - 9*s - 6. Let v be k(10). Is 12 a factor of (-2 + -4)/((-2)/v)?
True
Let g = -359 + 559. Is g a multiple of 25?
True
Let g(w) = w**3 + 12*w**2 - 19*w - 10. Is g(-13) a multiple of 17?
True
Let l(c) = 83*c + 1. Let q(f) = f**3 + 5*f**2 + f + 6. Let z be q(-5). Is 24 a factor of l(z)?
False
Let p(l) = 2*l**2 - 5*l - 1. Let m be p(5). Suppose -5*g - 5*b + b = -m, 0 = -3*g - 2*b + 16. Does 4 divide g?
True
Suppose 2*o = 5*l - 70, -58 = -3*l + 5*o + 3. Let a be 3/(-2)*16/l. Is 2/a - (-1 + -13) a multiple of 12?
False
Let m = -696 - -1026. Suppose -117 = -2*p + 3*h, 5*p + 4*h - m = -h. Is 25 a factor of p?
False
Let y(p) = p**2 + 2*p - 3. Let a be y(-4). Suppose 0*v = -a*v + 285. Is v a multiple of 19?
True
Let p(g) = 5*g - 6. Let z(w) = -w - 3. Let n be z(-6). Does 9 divide p(n)?
True
Suppose 104 = -n + 3*n. Suppose -3*d + 24 + 16 = 5*f, f - 5*d - 36 = 0. Suppose n + f = 3*b. Is b a multiple of 8?
False
Let l = 23 - 34. Let a(s) be the third derivative of s**6/120 + s**5/5 + 5*s**4/12 - 2*s**3/3 - 6*s**2. Is a(l) a multiple of 6?
False
Let y(t) = -1. Let d(k) = 2*k. Let o(z) = -2*d(z) - 4*y(z). Does 14 divide o(-6)?
True
Suppose 0 = -p - 4*z + 35, 54 = 5*p - 5*z + 4. Let y = -9 + p. Does 6 divide 12*(-1)/y*-3?
True
Suppose 0 = -0*o - 3*o + 3*s + 9, 0 = 4*s - 8. Let z(b) = 3 + 0 + 5*b**2 + 0 + 5*b - b**3. Does 14 divide z(o)?
True
Let j = -42 + 148. Is j a multiple of 25?
False
Suppose 4*d = 2*a + 176, 0 = 4*d + 2*a - 41 - 119. Is d a multiple of 6?
True
Suppose -5*m = -r - 30, 13 = -m + 4*r - 0*r. Is m a multiple of 6?
False
Let f be ((-279)/(-12))/(4/32). Is 8/20 + f/10 a multiple of 5?
False
Let r = -10 + 16. Suppose 3*b - 4*b = -r. Is 6 a factor of b?
True
Let n(d) = -40*d**2 + d. Let x be n(-1). Let f = x + 71. Does 13 divide f?
False
Let k = 30 + -70. Let x(u) = 4*u**3 + 2*u**2 - 2*u. Let w be x(-2). Let v = w - k. Is v a multiple of 13?
False
Suppose -21*z = -4*z - 1513. Is 17 a factor of z?
False
Let p = 14 + -10. Let z = -2 + p. Suppose -3*n + 45 = z*n. Is n a multiple of 8?
False
Let t = -57 - -143. Suppose -4*o = -5*r + 15 + t, 0 = 3*r - o - 55. Is 8 a factor of r?
False
Let k be ((-24)/(-5))/((-3)/(-15)). Let t = 64 - k. Is 20 a factor of t?
True
Suppose 2*l = 3 + 3. Suppose -l*o - 71 = -4*o. Suppose -3*n = 0, -o - 34 = -5*d - 5*n. Is 13 a factor of d?
False
Let s = 10 + -9. Does 10 divide -1 + s + 2 - -28?
True
Let l = 57 + -24. Is l a multiple of 15?
False
Suppose 0 = y - 6*q + 5*q - 1, q = 4*y - 13. Is y even?
True
Let v(f) = -2*f + 2. Does 12 divide v(-7)?
False
Let i(a) = -5*a - 16. Let h be i(14). Let p = -45 - h. Is 16 a factor of p?
False
Suppose 41*k - 43*k = -286. Is 13 a factor of k?
True
Let a(m) = -m**3 - m**2 + 2*m - 1. Does 3 divide a(-3)?
False
Suppose 4*m - 4*v - 331 = 245, 10 = 5*v. Does 31 divide m?
False
Suppose -9*d + 2*d + 287 = 0. Is d a multiple of 16?
False
Suppose -44 = 4*g - 5*j, 2*g - 38 = 7*g - 2*j. Let n = g + 20. Suppose 94 = 2*h + n. Is h a multiple of 20?
True
Let d = 126 + -72. Is 9 a factor of d?
True
Suppose -6*b + 11 + 1 = 0. Suppose 4*s = 5*r + 3*s + 39, -2*r + 2*s - 14 = 0. Does 10 divide b/(7/r + 1)?
False
Let i(z) = z**2 - 4*z + 17. Does 3 divide i(5)?
False
Suppose -2*a + 2*g = -14, 0 = -5*a - 3*g + 24 + 35. Let t be (0 + 8/a)*-5. Is 5 a factor of (-23)/(-2) + (-6)/t?
False
Let f = -13 - -18. Suppose -3*a = f*z - 0*a - 12, -3*z + 12 = -3*a. Is 8 + 1/(-2 + z) a multiple of 4?
False
Let q(u) = -u**2 + 4*u + 2. Let z be q(4). Suppose -z = -2*t + 2. Suppose t*a = 5*s - 70, 3*a + 56 = s + 3*s. Is s a multiple of 14?
True
Let f = 5 + -3. Let o = 21 - 16. Suppose -f*q = -o*q + 27. Does 9 divide q?
True
Suppose -2*s + 5*s = -6, 4*y + 4*s - 128 = 0. Is 13 a factor of y?
False
Suppose -2*i = -5*i - 18. Let y be (1/1)/((-2)/i). Suppose 3*l = y*d - 36, -5 = -5*d - l + 61. Is d a multiple of 13?
True
Suppose 0 = -4*d - 4*x + 12, -4*d + 4*x = -0*d - 4. Suppose -23 = -d*k + 5*m + 3, 5*k = -m + 92. Is k a multiple of 18?
True
Suppose 0 = 5*x + t - 479, -x + 2*x = 2*t + 98. Does 24 divide x?
True
Suppose 0*v + 36 = -4*v. Let b = -4 - v. Is 5 a factor of b?
True
Suppose 0 = -a + 2*y + 36, -y = -0*a + 5*a - 136. Does 10 divide a?
False
Let h(n) = -n**3 - n**2 - n + 19. Let m be h(0). Let f = 12 + m. Is f a multiple of 22?
False
Let i = 7 + -4. Let x = i - 2. Suppose 5*f - 53 = -2*q, 0 = -q - 0 - x. Is 11 a factor of f?
True
Let q be (2 - 2) + (-1)/(-1). Let n = 20 - q. Is n a multiple of 19?
True
Let r be -7 + -2 + (-2 - 1). Does 2 divide 16/r*3/(-1)?
True
Let s(k) = -10*k - 17. Is 23 a factor of s(-4)?
True
Let t(z) = -2*z**3 - 2*z**2 + 3*z + 4. Is t(-3) a multiple of 13?
False
Let o = -11 + 95. Is o a multiple of 28?
True
Suppose -s - 5*o + 2*o = 10, 0 = o + 5. Suppose g - 23 = s*d, 2*d - 53 = -g + d. Does 12 divide g?
True
Let x(b) = b**3 - 17*b**2 + 8*b - 24. Is x(17) a multiple of 12?
False
Let m(x) = 7*x - 3. Let s(j) = 36*j - 14. Let f(l) = 11*m(l) - 2*s(l). Is 25 a factor of f(6)?
True
Let m(b) = -3*b + 5. Let r be m(4). Let k = 12 + r. Suppose 5*y - 3*h - 3 = y, 4*h + 3 = k*y. Is y even?
False
Suppose 0 = 5*q + d - 6*d - 435, 0 = 5*d + 10. Is 17 a factor of q?
True
Let f be -2 + (-2)/(-2) + 79. Suppose 3*s = -4*o + s + f, -96 = -5*o - 2*s. Let v = -11 + o. Does 3 divide v?
False
Suppose -4*v + 2*x + 507 = 101, 3*v - 300 = 3*x. Is v a multiple of 16?
False
Let u = 95 + -135. Let y = u + 107. Is y a multiple of 15?
False
Let b(g) = -5*g**2 + 1. Let w be b(-2). Let k = w + 37. Is k a multiple of 6?
True
Suppose 12*m = 5*m + 3038. Is 14 a factor of m?
True
Let o(p) = p + 3. Let u(a) = 2*a + 3. Let c(j) = 4*o(j) - 6*u(j). Is c(-5) a multiple of 17?
True
Let k(m) = 22*m - 4. Let j be k(-5). Is j/(-2) + 3 + 1 a multiple of 19?
False
Suppose 3*w - 5*u - 27 = 0, -3*u - 2*u = w + 11. Suppose 12 + 0 = -3*a, 4 = -w*z - 3*a. Let h = 0 + z. Is h a multiple of 2?
True
Let q(t) = -2*t**2 + t. Let y be q(-3). Let x = y - -23. Does 2 divide x?
True
Suppose 3*s + 2*t - 250 = 0, t = 4*t - 15. Suppose -4*b = 5*p - s, 5*p - 2*p = 0. Does 10 divide b?
True
Suppose 0 = 5*i - 8 - 122. Does 14 divide i?
False
Let x = 1 - -27. Is 14 a factor of x?
True
Let b(p) be the second derivative of 2*p**4/3 + p**3/6 + 2*p. Let j be b(1). Is 18 a factor of (6/j)/((-1)/(-63))?
False
Let s = -45 + 64. Let v = s - 11. Suppose -3*f = -v - 7. Is f even?
False
Suppose 2*g - 3*k = -4*k + 50, 2*g = -3*k + 42. Does 9 divide g?
True
Suppose -3*m - 6 = 9. Does 3 divide 6*(-2 - m/2)?
True
Let l be -2*1 - (3 - -3). Let w = 11 + l. Suppose -p - w*o - 2 = -5, 4*p - 56 = -o. Is 7 a factor of p?
False
Let l(a) = -a + 13. Is 6 a factor of l(7)?
True
Let w(v) = -2*v - 5. Is w(-13) a multiple of 7?
True
Let i = -101 + 159. Does 12 divide i?
False
Suppose 5*y - 13 + 3 = 0. Let s(a) = y + 2 - 17*a + a**3 + 7*a**2 + 7*a. Is s(-8) a multiple of 10?
True
Let l be (-3)/((-2)/(8/6)). Let q(t) = t**2 - 3*t - 4. Let v be q(-4). Suppose -l*x + v = -12. Is x a multiple of 18?
True
Suppose -4*k - 3*p + 47 = -10, -5*p = -5*k + 115. Let b = k + -11. Is b a multiple of 7?
True
Let v be (1 + 2)*12/(-9). Let z(r) = 4 + r - 4*r + 0*r. Does 8 divide z(v)?
True
Let h be (-74)/(-26) - 6/(-39). Suppose -w + h + 0 = 2*b, 0 = -5*w - 5. Is 9 a factor of 204/9 - b/(-6)?
False
Let r(v) = v**3 + 5*v**2 + v + 7. Let q be r(-5). Let t(c) = -5*c + 4 + 0*c - 3 + q*c. Is 3 a factor of t(-1)?
False
Let q(d) be the third derivative of d**5/30 - d**4/24 - d**3/2 - 2*d**2. Does 2 divide q(-2)?
False
Let k = -296 - -464. Is k a multiple of 24?
True
Let y(p) = 7*p + 1. Is y(5) a multiple of 13?
False
Suppose 156 = 8*s - 452. Is 9 a factor of s?
False
Su