9 + o. Is x a multiple of 14?
True
Suppose -13*z + 176 = -9*z. Is 11 a factor of z?
True
Suppose 5*s = 3*b - 145, 2*b - 5*s = -3*b + 235. Suppose -b = -5*l + 235. Is 24 a factor of l?
False
Let l(j) = 2*j**3 - 5*j**2 - 4*j + 2. Does 17 divide l(4)?
True
Suppose 5*q - 3*a = 117, -4*a = -3*q + 5*q - 52. Is q a multiple of 6?
True
Let z be 12*1/(-9)*-3. Suppose -t + 14 = -3*o + 6*o, -2*o - 84 = -z*t. Is 11 a factor of t?
False
Let d = -5080 - -2909. Does 12 divide (-4)/6 + d/(-39)?
False
Suppose -4*p + 4*q = -100, -5*q - 1 = 14. Does 22 divide p?
True
Let f = 136 - -60. Is 12 a factor of f?
False
Let j be (21/(-6))/(2/(-16)). Suppose -5*d + 2*r + j = 0, -4*d - 2*r = -0*d - 26. Does 2 divide d?
True
Is 1054/12 - (-2)/12 a multiple of 20?
False
Let g(a) = a**3 - 2*a**2 - a + 1. Does 4 divide g(3)?
False
Suppose -2*z + 2 = -2*s + 48, 5*s - 80 = -2*z. Is s a multiple of 18?
True
Let a(f) = f + 11. Does 2 divide a(-5)?
True
Let z(u) = -u**2 - 5*u + 6. Let h be z(-5). Suppose -42 = -3*f - h. Is 3 a factor of f?
True
Let w(z) = 11*z + 4. Let m be w(4). Suppose -7*g = -3*g - m. Is 12 a factor of 6/(-3*(-2)/g)?
True
Let f = 105 - 23. Suppose 4*h - f = 26. Is 12 a factor of h?
False
Suppose 41 - 97 = 4*j. Let t be (-7)/(-2)*(-8)/j. Suppose -l + t = -2. Does 4 divide l?
True
Let h(y) = y**2 - y + 1. Let f(r) = 4*r**2 - 11*r + 10. Let i(x) = -f(x) + 3*h(x). Let b be i(7). Suppose 2*c + 1 = -3*k + 47, b = -k. Is 23 a factor of c?
True
Let l = -16 - -30. Let p(j) = -3*j - 1 + l*j**2 + 2*j + 6*j**2 + 3*j**2. Is p(-1) a multiple of 13?
False
Suppose 15 = v - 61. Let u be 817/6 + 3/(-18). Suppose -5*m + 4*o - o = -u, -o + v = 3*m. Does 9 divide m?
False
Is -38*2/4*-2 a multiple of 5?
False
Let p = -12 - -20. Let r = p - 3. Is 5 a factor of r?
True
Suppose -74 - 46 = -3*d. Is d a multiple of 10?
True
Let v(q) = 7*q + 4. Does 11 divide v(4)?
False
Let m(n) = 2 - 3*n + 13*n**2 - 3 + n. Let b be (1/(-3))/(2/6). Is 7 a factor of m(b)?
True
Suppose 6*a = 2*a + 72. Suppose -w = t - a, -5*t + 17 = -4*w - 82. Is 19 a factor of t?
True
Let l(c) = -c**2 + 5*c + 7. Let a be ((-4)/6)/((-2)/15). Does 5 divide l(a)?
False
Let a = -59 + 118. Does 21 divide a?
False
Let c(o) = o + 1 - 4*o**2 + 2 - 1 + 2*o**3. Let r = 4 + -2. Does 3 divide c(r)?
False
Let g(w) = -w - 8. Let s be g(-10). Suppose s*o + 4*f - 44 = 0, 8 + 34 = 2*o + 5*f. Does 26 divide o?
True
Let f be ((-1)/(-2))/(1/6). Let y be f*-11*2/6. Let p = -8 - y. Is p a multiple of 2?
False
Suppose 2 - 4 = -z. Suppose z*h = h + 18. Does 6 divide h?
True
Suppose 0 = 7*t - 36 - 41. Does 2 divide t?
False
Let t(u) be the second derivative of u**4/12 - u**3/2 - 2*u**2 + 4*u. Let m be t(4). Suppose 13 + m = c. Does 13 divide c?
True
Let p(k) be the third derivative of -1/2*k**4 + 0*k + 0*k**3 - k**2 + 0. Does 7 divide p(-1)?
False
Let c = 7 + -3. Suppose -b - 70 = c*b. Is (-30)/(-7) + 4/b a multiple of 4?
True
Let l(j) = j**3 + j**2 + 4*j - 2. Let m(d) = -d**2 - 2*d + 1. Suppose 3*b - 2*b + 2 = 0. Let a(g) = b*l(g) - 5*m(g). Does 12 divide a(-2)?
False
Suppose 660 = -2*f + 8*f. Is f a multiple of 11?
True
Let z(u) = -u**2 - 2*u - 1. Let o be z(-1). Suppose o = 3*r + x - 0*x - 3, -4*r - 5*x = 7. Suppose 54 = 2*h + r. Is 18 a factor of h?
False
Let i = -13 + 26. Is i a multiple of 13?
True
Let h(p) = 49*p**2 + p + 1. Let c be h(-1). Suppose 5*t = c + 21. Is 14 a factor of t?
True
Let x = 15 - 28. Let c = x - -20. Does 7 divide c?
True
Suppose -j = 5*h + 5, 3*j - 4*h - 28 = -j. Is j a multiple of 5?
True
Let p be (-2 - -5) + -2 - -20. Let n = 70 - p. Is n a multiple of 20?
False
Suppose 0 = 5*o - 7*o + 140. Does 7 divide o?
True
Suppose -3*r = -0*r - 72. Is 12 a factor of r?
True
Let r(u) = -u + 6*u + 1 - u**2 + 4*u**2 - u**2. Let v be r(5). Suppose -v - 19 = -5*z. Is 19 a factor of z?
True
Suppose -5*c + 107 + 118 = 0. Is c a multiple of 9?
True
Let z be ((-186)/9)/(2/(-3)). Let a be -5*(2 - z/5). Suppose -37 = -2*m + a. Does 11 divide m?
False
Suppose -2*a = -2*r - 28, -2*r - 2 = -4*a + 18. Let b = 40 + r. Is 9 a factor of b?
False
Suppose 2*k + k - 271 = -5*q, -5*k = -q + 43. Is q a multiple of 7?
False
Let c(t) be the second derivative of -3*t + 0 + 0*t**3 + 43/2*t**2 + 1/12*t**4. Is 22 a factor of c(0)?
False
Let c(w) = -5*w - 8. Suppose 6 = h - 3*h. Let d be h/(6/16) - -2. Is c(d) a multiple of 11?
True
Let h be 4/6*(0 + 3). Suppose 3 = u - h. Is 4 a factor of u?
False
Suppose 5*o = o + 3*p - 68, -5*o - 2*p = 62. Let n = o + 8. Let v(c) = -c**2 - 7*c + 5. Does 7 divide v(n)?
False
Let k(d) be the second derivative of -d**5/20 - d**4/12 - d**2/2 - 2*d. Does 2 divide k(-2)?
False
Suppose o + 153 = 4*o. Suppose -p - 2*p + o = 0. Suppose 43 + p = 5*n. Is 6 a factor of n?
True
Let b be (-40 - 0)*(-9)/6. Suppose -g + 38 - 14 = 0. Let p = b - g. Is 18 a factor of p?
True
Is (-16)/(-4) + 0 + 5 a multiple of 9?
True
Suppose 13 = -0*t + t - 2*r, 2*t = 3*r + 22. Suppose -t*g + 0 + 1 = -3*d, 0 = 5*d + 4*g - 23. Suppose 0 = -w - d*a + 15, 4*w = -3*a + 37 + 14. Does 6 divide w?
True
Let l = 100 - 45. Is 11 a factor of l?
True
Let x = -116 - -170. Does 18 divide x?
True
Let f(v) be the first derivative of -v**3/3 + 3*v**2 - v + 2. Let t be f(3). Suppose -3*c + t*c = 85. Is c a multiple of 9?
False
Let u(b) = 3*b**2 - 5*b + 1. Suppose -3*z - c = 2*z - 22, 0 = 3*z - c - 18. Is u(z) a multiple of 16?
False
Let g(b) = -14*b**3 - 3*b**2 + 4*b. Let h be g(-3). Let c be (-1)/(-2) - h/6. Let s = -17 - c. Is s a multiple of 15?
False
Let y be ((-2 + 0)/(-2))/(-1). Is 1 - y - -1*33 a multiple of 14?
False
Let q(l) be the first derivative of l**4/4 + 8*l**3/3 - l**2 - 6*l - 4. Is q(-6) a multiple of 14?
False
Let p(u) = 11*u**2 - 10*u + 2. Is p(4) a multiple of 46?
True
Suppose -2*d + 16 = -3*q, 4*q - 2*d + 4*d - 2 = 0. Does 4 divide 4 + 0 + (-4)/q?
False
Suppose 2*g = -2*g. Suppose g = -2*a + 7*a - 15. Suppose -r + a - 4 = -3*w, 2*w = 6. Is 8 a factor of r?
True
Is (-3 + 2)*152/(-4) a multiple of 5?
False
Let h = -98 + 168. Is 6 a factor of h?
False
Suppose -9 - 1 = 2*g. Let l = g + 7. Suppose -4*o + 5*u = -63, 0*o - l*o = -2*u - 30. Is o a multiple of 6?
True
Let x = 43 - 19. Is 11 a factor of x?
False
Suppose f = 141 - 33. Does 9 divide f?
True
Suppose 3*a - a = -424. Is 15 a factor of (-4)/14 - a/7?
True
Let i = 31 - 59. Is 14 a factor of (-36)/(-14)*i/(-3)?
False
Suppose -u + 4 + 3 = 0. Let z = u - -9. Is z a multiple of 12?
False
Let r = -4 + 4. Suppose r*v + 93 = 3*v. Is v a multiple of 18?
False
Let i = -1 - -5. Suppose -l = -2*m - 2, -2*l + i = 4*m - 0. Suppose m*v + 5*v = 130. Is 13 a factor of v?
True
Suppose 1 + 3 = q. Is 4 a factor of q?
True
Suppose 9 = 2*y + y. Suppose -h = -y + 4. Is (2 + 3 + h)/1 even?
True
Let m = 32 + -17. Suppose 0 = -3*c - 2 - 4. Is c/((-2)/m) - 1 a multiple of 10?
False
Let a(v) = -v**3 + v + 27. Suppose 0 = -0*t + 3*t. Does 17 divide a(t)?
False
Suppose 0*w - 2*w = -96. Is w a multiple of 17?
False
Let f = -22 - -29. Is f a multiple of 5?
False
Let p = -6 - -5. Let j(t) = 45*t**2 + 2*t + 1. Does 12 divide j(p)?
False
Let w(o) = 3*o**2 + 11*o + 51. Is w(-9) a multiple of 37?
False
Let r(j) = -73*j**3 - j**2 - j - 1. Is r(-1) a multiple of 18?
True
Suppose -2*v - 1 + 15 = 0. Let h = 11 - v. Is (-11)/(-2) + h/8 a multiple of 3?
True
Let n(b) = -8*b - 1. Let g be n(-2). Does 11 divide g*2 + 3 - 0?
True
Is -2 + 136/10 + 6/(-10) a multiple of 5?
False
Let b be (-26)/(-4) - 2/4. Suppose 2*f + b = 4*f. Suppose 2*l - 15 + f = 0. Does 2 divide l?
True
Let y(n) = n**2 - 3. Let a be y(-4). Let v = a + -3. Suppose v = -x + 2*x. Does 6 divide x?
False
Let h(m) = m**2 + m - 1. Let w = -4 - 2. Let i = w - -10. Is h(i) a multiple of 10?
False
Is 29 a factor of (-32)/6*435/(-20)?
True
Let d be (-140)/12 - 4/(-6). Let q(a) = -4*a - 4. Is 20 a factor of q(d)?
True
Suppose -3*h + 3*l = -l - 11, 4*h + l + 17 = 0. Let p(u) = -u + 2. Let r be p(3). Does 2 divide (r + (-4 - h))*-2?
True
Let z(d) = -d**3 + 4*d**2 + 4*d + 3. Let j be z(5). Let s be 9/12 - j/8. Does 19 divide (s - -1) + -1 + 18?
True
Let g = 51 + -10. Let y = -24 + g. Does 10 divide y?
False
Suppose -2*z - 4 = -16. Let q = z + 1. Is 2 a factor of q?
False
Suppose w = -0*w + 1, 3*r - 129 = -3*w. Does 9 divide r?
False
Let j(u) be the third derivative of 11*u**5/30 - u**