Let l(d) = -3*d + 2. Let f(o) = -o**2 + 6*o - 5. Let x(i) = -4*f(i) - 9*l(i). Is x(h) a multiple of 6?
True
Let s(r) = 3*r + 8. Suppose f = -5*u - 44, -2*u = -5*u + 3*f - 12. Let c be s(u). Is 8/(-2)*(c - -3) a multiple of 19?
False
Let b(y) = -y**2 - 6*y + 10. Let i be b(-7). Let l(d) = 69*d**3 + 2*d**2 - 1. Let u be l(1). Suppose i*x + u = 4*a, -2*a + 2*x = -x - 38. Does 16 divide a?
True
Let v = -8 - -5. Let a(x) = -12*x - 3. Does 12 divide a(v)?
False
Let i = -34 + 19. Let r = 26 + i. Let q = -6 + r. Is 5 a factor of q?
True
Let m be 1 - (0 - (3 + -2)). Let u be 13/(-3) + m/(-3). Let q(r) = r**3 + 4*r**2 - 6*r. Does 3 divide q(u)?
False
Suppose -q = -n + 1, -3*q + 5 = n - 16. Is 13 a factor of n/(((-4)/(-13))/2)?
True
Let f(s) = -s + 2. Let q be f(2). Suppose q = -l - 3, 2*g + 5*l - 4 = 1. Is g a multiple of 6?
False
Suppose -11*n - 212 = -15*n. Does 12 divide n?
False
Suppose 4*l = 2*l + 4*w + 116, 0 = -3*w - 12. Does 25 divide l?
True
Let r(m) = m**3 - 12*m**2 - 7*m + 2. Does 20 divide r(13)?
True
Let p(w) = -3*w - 10. Let s be p(-7). Suppose -2*h - 4 = 2*h, -2*u = -h - s. Suppose -2*d + u*d - 51 = 0. Is d a multiple of 9?
False
Suppose 2*r + 119 = 3*i + 6*r, 0 = i - 2*r - 23. Is 7 a factor of i?
False
Let j = -9 - -14. Let k(b) = b - 4. Let f be k(8). Suppose 0 = f*c + j*l - 137, -3*l + 0 = -15. Is 14 a factor of c?
True
Let l(k) = k**3 + 5*k**2 - 7*k - 1. Suppose -5*j - 4*y + 83 = 5, 51 = 3*j + y. Suppose 0 = 5*u - 2*u + j. Is l(u) even?
False
Let y(i) = -i**2 + 4*i - 3. Let f(l) = -l - 1. Let m(u) = -3*f(u) + y(u). Let b be m(7). Suppose 5*c - 3*c - 32 = b. Does 8 divide c?
True
Suppose -a = -3*a. Suppose a*j = -5*j + 45. Does 9 divide j?
True
Let j = 1 + 2. Suppose -1 - j = y, -12 = -w - 3*y. Suppose 2*p + w = 2*u + p, 3*u - 38 = p. Does 7 divide u?
True
Let j(g) = -g**3 - 8*g**2 + 4*g + 4. Let x be j(-8). Let b = 46 - x. Does 26 divide b?
False
Let y = 48 - -114. Is y a multiple of 37?
False
Suppose 0 = 5*p + 3*t - 59, -t + 6*t = 3*p - 15. Suppose 4*f = -o + 44, -f = 2*o - 7*o + p. Is 4/f + 196/10 a multiple of 16?
False
Let s = -142 + 19. Let x = s + 207. Does 28 divide x?
True
Let b(x) be the second derivative of -x**4/12 + 5*x**3/3 - 3*x**2/2 + 2*x. Is 9 a factor of b(7)?
True
Let d be 3/(3/22) + -3. Let r be d/((-15)/9 - -2). Suppose 2*l - 2 = 0, 3*o - 3*l = -0*l + r. Is o a multiple of 6?
False
Let n = -5 + 9. Suppose -n*o + 2*g = 15 - 5, 2*o = -3*g - 1. Does 2 divide o + 4 - 2*-1?
True
Is 4/14 + (-900)/(-84) a multiple of 4?
False
Let y(u) = -u**3 + 2*u**2 - 2*u**2 - 2*u**2 + 4. Is 7 a factor of y(-4)?
False
Suppose -f + y = 1, -y - 5 = -3*f - 0. Suppose 3*c = -3*u - 12, f*u - c + 8 = -6*c. Is (-256)/(-6) + 4/u a multiple of 12?
False
Let t be (-3)/(-1) + 129 + 3. Let z be ((-18)/15)/(-3)*t. Suppose g + 3*g - 3*n = z, 40 = 4*g + 4*n. Is 5 a factor of g?
False
Suppose m - 5*p + 8 = 0, -3*p = -0*m - 3*m. Suppose -3*s - 48 = -m*b, 2*b + 71 = 5*b - 4*s. Does 12 divide b?
False
Let u(q) be the second derivative of q**5/60 - q**4/12 + 5*q**3/6 - q**2 + 3*q. Let m(y) be the first derivative of u(y). Does 19 divide m(-5)?
False
Let b = -26 + 151. Is b a multiple of 18?
False
Let y be (-83)/(-4) - 2/(-8). Suppose 0 = -2*o + 4*o - 4. Suppose -a + 7 = j - 0*j, -o*a - y = -5*j. Is j a multiple of 5?
True
Let y(b) = b**3 - 13*b**2 + 13*b - 12. Let s be y(12). Let p be (-22 + 3)/(-1) + s. Let t = p + -2. Is t a multiple of 11?
False
Suppose n = 25 + 1. Is 5 a factor of n?
False
Let o be 196/(-10) + (-2)/5. Is 3 a factor of 8/o + (-96)/(-15)?
True
Let a(b) = b**2 + b - 1. Let d be a(1). Suppose 5*y - 7*q + 38 = -3*q, 4 = -2*y - 4*q. Is d/y + 62/12 even?
False
Let s(m) be the second derivative of m**4/12 - m**3/3 + 3*m**2 + m. Let k(b) = 3*b**3 + 2*b**2 - b. Let w be k(1). Is 14 a factor of s(w)?
True
Let o(b) = b**3 + 15*b**2 + 13*b - 18. Does 9 divide o(-13)?
False
Suppose y = c + 100, 2*c = -5*y - 2*c + 464. Is 15 a factor of y?
False
Is (-2)/2*(-37 - -2) a multiple of 4?
False
Let y = -2 + 2. Suppose y = 3*v - 4*j + j - 81, 3*v = -3*j + 99. Is v a multiple of 10?
True
Suppose -238 + 1310 = 4*v. Is 12 a factor of v?
False
Suppose 5*p + 5*s = 30, -s + 9 = -0*p + 2*p. Suppose 0 = p*a + a - 64. Does 5 divide ((-5)/4)/((-4)/a)?
True
Suppose 0 = 4*t - 5*s - 44, -2*t + 3*s + 42 = 3*t. Suppose t*g = 2*g + 8. Suppose -5*n = -5, 3*v - g*n = 3*n + 13. Does 3 divide v?
True
Does 10 divide 3 + 13/((-39)/(-594))?
False
Suppose 4*t = -j - 22 + 7, 4*t + 21 = 5*j. Let z(w) = 4*w**2 - w. Is z(j) a multiple of 2?
False
Suppose -4*y + 7 = -1. Let m(l) = -3*l**y - 6*l + 18 - 15 + 4*l**2. Does 5 divide m(7)?
True
Let g(q) = -8*q + 37. Is 7 a factor of g(-12)?
True
Let c = 144 + -108. Does 9 divide c?
True
Suppose -16*a + 21*a = 135. Is a a multiple of 27?
True
Let u(h) = -22*h**3 + h**2 - 4*h - 2. Is 17 a factor of u(-2)?
False
Let n(z) = -11*z**3 - z**2 + z + 1. Let f be n(-1). Suppose 5*a = f, 0*a - a - 114 = -4*w. Is 14 a factor of w?
False
Is 16 a factor of (78/9)/(10/(-15))*-5?
False
Let b(a) = 2*a**2 + 10 - 4*a**2 - 7*a + a**2. Let g be b(8). Is 18 a factor of 2*(g/(-4) + -3)?
False
Let r(y) = -26*y - 44. Is r(-7) a multiple of 18?
False
Suppose 4*g - 24 = 92. Does 29 divide g?
True
Let c(b) = b + 0*b + 2*b - 4*b + 8. Let a(p) = -p - 5. Let m be a(-5). Does 8 divide c(m)?
True
Suppose 0 = 5*z - 9 - 1. Suppose 0 = -z*d - 181 + 531. Suppose 0*f - g = 4*f - d, 3*f - 5*g - 160 = 0. Is 12 a factor of f?
False
Suppose -4*o - 12 = -2*f - 3*o, -4*o = 16. Suppose -f*z = 5*q - 134, 140 = 3*q + z + 54. Is 10 a factor of q?
True
Suppose -3*y - 101 = -o - 8*y, o - 86 = -2*y. Does 19 divide o?
True
Let m(k) = 103*k**2 - 3. Is m(1) a multiple of 20?
True
Let g(a) = 3*a**2 - 14*a + 5 + 0*a**2 - 2*a**2 + a. Does 4 divide g(13)?
False
Let i = -33 + 110. Is 11 a factor of i?
True
Suppose r = d - 0*d + 228, -r - 4*d + 213 = 0. Is 12 a factor of r?
False
Suppose 0 = 3*v - v. Suppose 4*a - 2 - 22 = v. Suppose -4*f - 88 = -4*n, 0 = n - a*n + 3*f + 116. Is n a multiple of 10?
False
Let o(j) = -j - 1 + 3 + 0*j. Let r be o(9). Is (-362)/r - 10/(-35) a multiple of 22?
False
Suppose -2*q - 30 = -5*q. Does 10 divide q?
True
Let p(d) = -24*d - 3. Suppose -3*z - 12 = 5*u, 0 = -u - 5*z + 2*z. Is 18 a factor of p(u)?
False
Suppose 10*m - 9*m - 4 = 0. Let w(v) = v**2 + 2*v - 2. Is w(m) a multiple of 19?
False
Suppose -2*k = -j - 19, -5*j - 18 = 4*k - 3*k. Is k a multiple of 3?
False
Let k = -2 + 3. Let o(w) = 22*w**3 - w. Let v be o(k). Let r = 35 - v. Is r a multiple of 5?
False
Suppose 0*q + d = 3*q - 116, 175 = 5*q + 2*d. Is 20 a factor of q?
False
Let a(q) = 8*q + 5. Does 13 divide a(5)?
False
Let c = 1 + -4. Let r(s) = -2*s**3 - 3*s**2 - 2*s + 4. Is r(c) a multiple of 11?
False
Let b be 102/18 + (-4)/6. Suppose 3*t - 15 = -b*k + 38, -2*t + k = -31. Is t a multiple of 11?
False
Suppose -w + 3 + 1 = 0. Suppose j - 15 = 4*j, 3*j = -w*u + 137. Does 10 divide u?
False
Let p(w) = -w + 6 + 4 - 5. Let o be p(0). Suppose -2*j + 5*n - 2 = -0*n, 0 = -o*j - 5*n + 65. Is 5 a factor of j?
False
Let x(v) = 2*v - 16. Is 8 a factor of x(16)?
True
Let h = 83 + 56. Is h a multiple of 16?
False
Let j(x) = x**3 - 6*x**2 + 2*x - 2. Let z be j(6). Does 14 divide 418/z - (-3)/15?
True
Suppose -3*u + 142 = 5*q, 0*q - 190 = -5*u + q. Does 13 divide u?
True
Let f(o) = -o. Suppose -s = s. Let x be f(s). Suppose x + 4 = j. Is 4 a factor of j?
True
Let b(g) = -g**3 + 7*g**2 + 2*g - 3. Does 15 divide b(6)?
True
Let d = 32 - 22. Is 86/d - (-6)/15 a multiple of 3?
True
Suppose -4*q - 25 + 1 = -4*w, 0 = -5*w - 2*q + 30. Suppose w*g - g = k + 154, -g - 4*k + 35 = 0. Is 17 a factor of g?
False
Let m(v) = -v**3 - 13*v**2 + v - 1. Let l be m(-13). Let t = l + 28. Is t a multiple of 7?
True
Is (8 + 10)/((-2)/(-6)) a multiple of 10?
False
Let o = -13 + 9. Suppose 4*u - 3*u - 1 = -2*i, 7 = 2*i - u. Does 12 divide 12 + o/i + 5?
False
Suppose 0 = -l + 2*l - 160. Suppose 6*k - l = k. Does 11 divide (3 + 0)/3 + k?
True
Suppose 0 = -k + 2 + 1. Suppose 0*y + 93 = 3*w + 5*y, 93 = k*w - y. Does 30 divide w?
False
Suppose 5*q - 525 = 5*a, 4*q + 0*a - 435 = a. Suppose -55 = -5*s + 5*w, -3*w + q = 5*s + 39. Does 5 divide s?
False
Let o be -4 - 2 - -3 - 122. Let w = -77 - o. Does 16 divide w?
True
Suppose 5*u = 4*u + 13. Is 3 a f