f o?
False
Let i = 12 + 4. Let o = i - 3. Suppose -4*y = 2*l - 78, -2 - o = 5*l. Is 21 a factor of y?
True
Let d be 1/((-5)/(-4) - 1). Suppose d*s - 148 = -52. Is 12 a factor of s?
True
Let n(v) = -v + 7. Suppose 3*k - 1 - 8 = 0. Is n(k) a multiple of 2?
True
Suppose 2*q - 6*q + 215 = 3*n, 0 = 3*n - q - 190. Suppose 9*a = 4*a + n. Is 12 a factor of a?
False
Suppose 4*t - t - 51 = 0. Does 10 divide t?
False
Let k = 7 - 4. Suppose 6*y = k*y + 48. Is 8 a factor of y?
True
Suppose -3*o + 5*o + 5*u = -64, -3*o + 5*u = 146. Let r be (-12)/(-9)*o/(-4). Suppose 5*d - 9 - r = -3*g, 0 = d + 5. Is 10 a factor of g?
False
Let q(v) = v**3 - 6*v**2 - 2*v + 3. Is 19 a factor of q(7)?
True
Let z = 1 + 1. Let w(b) = 0 - 2 + 8*b - 3 + 2. Is w(z) a multiple of 7?
False
Let p(x) be the second derivative of x**5/20 + 2*x**4/3 + x**3/2 + 3*x**2 - x. Is 10 a factor of p(-7)?
False
Let b(h) = h**2. Let o = -12 - -11. Let c be b(o). Is 6 a factor of 12 + (c + 3 - 3)?
False
Does 6 divide 6/(-4)*(-260)/15?
False
Suppose 2*c + 0*c + 6 = 0. Let f be (-2 - 0) + (2 - c). Suppose 0*k - 66 = -f*k. Does 22 divide k?
True
Let n be (2/4)/((-10)/900). Let h = 29 - n. Is h a multiple of 16?
False
Let b(q) = 41*q**2 + q - 1. Let s be b(2). Suppose 3*l + 54 = -z + 2*z, -4*z = 5*l - s. Does 9 divide z?
True
Let s = -3 + 11. Is s a multiple of 6?
False
Suppose 0 = -0*l + 5*l - 20. Suppose -2*q + 6 = 0, l = 3*k - 4*q + 1. Suppose -b + 2*u - 3*u = -30, 114 = k*b - 4*u. Does 18 divide b?
False
Let a be 26 + (0/(-1))/(-2). Suppose -a = -d + 11. Suppose 0 = 2*n + h - 2*h - 31, -3*h + d = 4*n. Does 8 divide n?
False
Let n(x) = x + 12. Let v be n(0). Let o = v + -19. Is 38/4 - o/(-14) a multiple of 3?
True
Does 2 divide (-390)/(-33) - 8/(-44)?
True
Let m = 2 - 2. Suppose -2*h = -0*v - v - 89, h - 2*v - 40 = m. Does 17 divide h?
False
Let f(h) = -4*h + 5. Does 7 divide f(-11)?
True
Suppose -5*t + 4*c - 45 = 0, 4 = -t - 2*c - 19. Let d = -6 - t. Is 3 a factor of d?
False
Let i = 20 - 30. Suppose 16 + 64 = 5*c. Let k = i + c. Is k a multiple of 3?
True
Suppose -r - 200 = -6*r - 5*n, 2*r - 74 = 4*n. Is 13 a factor of r?
True
Let u(w) = w - 1. Let f(q) = 42*q - 63. Let b(j) = 2*f(j) - 126*u(j). Suppose 1 + 0 = -o. Does 21 divide b(o)?
True
Suppose 4*w - 3 = -5*r, -5*r + 2*w - 4 = -25. Does 15 divide 3 + (r - 1*-15)?
False
Let c = 119 + -104. Does 2 divide c?
False
Suppose -10 = 3*z + 8. Is 6 a factor of (z/8)/((-4)/64)?
True
Let g(n) = n**3 + 7*n**2 - n - 4. Does 16 divide g(-4)?
True
Suppose o + 86 = 2*q + 3*o, -172 = -4*q - 2*o. Is q a multiple of 18?
False
Suppose 2*r + 41 = 4*u + 3*r, -r = 2*u - 23. Is u a multiple of 9?
True
Let q = 5 - -13. Does 9 divide q?
True
Let z = 8 + 158. Does 32 divide z?
False
Let m(f) = 4*f - 5. Let r = -16 + 20. Is m(r) a multiple of 4?
False
Let x be (-3 - -1 - -5) + 3. Let j = 20 + x. Is j a multiple of 13?
True
Suppose -n + 2 = 1. Suppose 0 = -v + 31 + n. Does 12 divide v?
False
Let h(z) = 25*z - 17. Is 11 a factor of h(9)?
False
Let y(i) = -i**2 + 6*i + 3. Let m be y(6). Suppose m*l + 1 = -5. Is 6 a factor of (-9 - 1)/l*3?
False
Let d(r) = r**3 + 11*r**2 - 2*r + 11. Let b be d(-9). Let a = -100 + b. Is 22 a factor of a?
False
Let s = -534 + 784. Does 25 divide s?
True
Suppose 3*z + h + 3 = -2*h, -14 = 2*z - 2*h. Let g be (-1)/z - 28/(-16). Suppose -15 = -g*u - 5. Is u even?
False
Suppose 3*b = 6*b - 99. Suppose 3*y + p - 143 = 0, p - 6 = -2*p. Let l = y - b. Is l a multiple of 14?
True
Let m = -2 - 0. Does 9 divide (m/4)/(2/(-72))?
True
Suppose y - 3*x = -0*x + 13, 0 = 4*y - x - 30. Suppose 0 = r - y + 1. Is r a multiple of 3?
True
Does 16 divide 15/6*(-34)/(-5)?
False
Suppose -5*w + 6*w - 68 = 0. Is w a multiple of 9?
False
Let n(j) = -j**3 + 0*j + 2*j - 2*j - 3 + 5*j**2 - 2*j. Does 5 divide n(4)?
True
Let s = 16 + 20. Is s a multiple of 12?
True
Suppose 3*w - 8 = 5*f + 14, 0 = 5*w + 2*f - 16. Let i(p) = -27*p. Let a be i(w). Is 16 a factor of ((-1)/2)/(2/a)?
False
Is 6 a factor of (-1)/((82/42 + -2)*3)?
False
Suppose -4*o - 16 = 0, 0 = 3*i + i + 3*o - 80. Suppose -i + 3 = 2*z. Let h = 2 - z. Is h a multiple of 6?
True
Is 13 a factor of 1/(587/(-147) + 4)?
False
Suppose -3*l - 2*l = -5*k + 250, -3*k + 5*l = -146. Is k a multiple of 13?
True
Suppose 96 - 17 = 5*y - 2*u, 0 = -y - u + 13. Does 11 divide 208/6 + (-10)/y?
False
Let x(n) = 3*n**2 - 6*n + 15. Is 34 a factor of x(9)?
True
Let d(i) = i**2 - 4*i - 6. Is d(6) a multiple of 3?
True
Is (0 + (-49)/3)/((-15)/90) a multiple of 11?
False
Let w(y) = y**2 - 9*y - 5. Is 31 a factor of w(12)?
True
Let o(a) = -a + 9*a**2 + 8*a + a**3 - 3 + 0*a - 2*a. Does 20 divide o(-7)?
True
Suppose 0 = -u + 2*b + 74, 0 = -4*u + b + b + 308. Does 12 divide u/5 + (-8)/(-20)?
False
Suppose 4*x + c - 22 = 0, -2 = -3*x + 3*c + 7. Suppose a - x*z = 2*a - 55, -3*a - 2*z + 178 = 0. Is 13 a factor of 7*(a/7)/2?
False
Let q(y) = y**2 + 2*y + 1. Let s be q(0). Let k(d) = 3*d + 4*d + 20*d**3 - 6*d. Is k(s) a multiple of 7?
True
Let f(s) = -2*s**3 - 4*s**2 + 5*s - 2. Let k be f(-4). Suppose 0*b - 4*b = h - k, -3*h + b + 61 = 0. Is h/6 - (-2)/6 even?
True
Suppose 1 = -3*p - 8. Let i(t) = -t**3 - t**2 - 2*t - 7. Let c(m) = -1. Let y(j) = -3*c(j) + i(j). Does 11 divide y(p)?
False
Suppose -3 - 7 = -2*p. Suppose -p = -h + 8. Is 11 a factor of h?
False
Suppose 0 = 2*g - g - 14. Suppose 4*x - g + 6 = 0. Is ((-9)/12)/(x/(-8)) a multiple of 3?
True
Let a(r) = r**3 + 2*r**2 - 2. Let f be a(-2). Let d = f - -4. Suppose d*u = -u - 3*c + 39, 3*u - 45 = -c. Does 7 divide u?
False
Let z(l) = 13*l**2 + 1. Is 7 a factor of z(-1)?
True
Let n(x) be the first derivative of 6*x**2 - 9*x + 1. Does 12 divide n(6)?
False
Let m(o) = o**3 - o**2 + 17*o - 19. Is 23 a factor of m(7)?
False
Let v(l) = 11*l**3 - l**2 - l + 1. Let p = -5 + 4. Let d be (-1)/(-2)*(1 - p). Is 5 a factor of v(d)?
True
Let u = -16 + 22. Suppose -i + 5*k - 25 = 0, 0*i = -4*i - 2*k - 166. Does 10 divide u/(-15)*(i - 0)?
False
Let c = 13 + -11. Suppose -c*t + 55 = 21. Is t a multiple of 7?
False
Suppose 2*u - 3*u + 182 = 0. Does 14 divide u?
True
Suppose -3*i = -6, 4*v - 3*i - 278 = -0*i. Does 15 divide v?
False
Let q = -82 + -96. Let b = -93 - q. Suppose -3*a - 2*a + b = 5*x, -2*a + 22 = -4*x. Is a a multiple of 5?
True
Suppose 5*c - 3*x = -82, 0 = 5*c + x + 108 - 42. Let k(b) = 2*b + 23. Let y be k(-6). Let z = y - c. Does 25 divide z?
True
Suppose 4*z - 65 = -21. Suppose -z = -2*i - i + 5*n, -6 = -2*i + 4*n. Suppose -2*v = -i*v + 160. Is 17 a factor of v?
False
Let v(d) = 3*d**2 - 2*d + 2. Let i(g) = 3*g - 1. Let z be i(1). Suppose 3*b + c = 2*b - z, 18 = 5*b - 2*c. Is 10 a factor of v(b)?
True
Let g = 21 + -2. Let j = -12 + g. Does 7 divide j?
True
Let j = -2 - -8. Let b be 4 - j - (-20)/1. Let f = b + -7. Is f a multiple of 4?
False
Suppose -3*f - 2 = -s, -2*s = 4*f - 2*f - 4. Suppose f = 6*g - 2*g - 104. Is g a multiple of 9?
False
Let a = 6 + -4. Does 7 divide (21/6)/(a/4)?
True
Suppose -4*a = -v - 2*v - 4, -a + 2*v = -6. Suppose 10*s = 15*s. Does 2 divide -1 + s - a*3?
False
Suppose -b = b. Does 5 divide 7 + -1 + b + 1?
False
Let r(m) = m**2 - 55. Let i be r(0). Let x = i - -84. Is x a multiple of 8?
False
Let t = 4 - 8. Let i be (-11 + t)*(-4)/6. Suppose 13 = p - i. Is 12 a factor of p?
False
Is (-3)/2 + (-3)/6 + 160 a multiple of 15?
False
Let x = -19 + 87. Suppose 0 = -2*j - 2*j + x. Is j a multiple of 4?
False
Let b be 2*-4*2/(-4). Suppose -14 + b = -u. Is 3 a factor of u?
False
Let d(f) = -2*f - 15. Let w be d(-9). Suppose -w*l + 8*l - 26 = -2*b, 3*l = -b + 16. Is 2 a factor of l?
True
Let x(c) = -c - 8. Let k be x(-11). Let z = 146 - 102. Is (k/6)/(2/z) a multiple of 10?
False
Suppose -2*r + 6*r = 0. Suppose -2*h + r*h + 84 = 0. Is h a multiple of 15?
False
Suppose 324 = 2*j - j. Does 20 divide j?
False
Let f = 27 + -42. Let r = 27 + f. Is r a multiple of 12?
True
Let k(c) = 3*c**2 + 10*c - 19. Does 28 divide k(-9)?
False
Let l be 4 - (-2 + 3) - -1. Let s(o) = o**2 - 5*o + 4. Let a be s(l). Is 11 a factor of (-2 - 6)*-4 + a?
False
Suppose 0*r + 7*r - 112 = 0. Does 6 divide r?
False
Suppose 0*a + 24 = 3*a. Suppose 1 - 16 = -b. Let r = b - a. Is r a multiple of 7?
True
Suppose m + m - 8 = 0. Let l(o) = o**3 - 3*o**2 + o + 4. Does 12 divide l(m)?
True
Let c(u) = -u**3 - 10*u**2