ivide o?
False
Suppose 3*h = -0*h - 36. Let o be (-14)/3*18/h. Suppose 0 = o*z - 78 - 216. Is 11 a factor of z?
False
Let m(a) = -5*a**2 + 11. Let z(f) = 9*f**2 - 21. Let t(q) = -7*m(q) - 4*z(q). Let d be t(-3). Does 5 divide (-864)/(-84) + d/7?
True
Let k(b) = -b**3 + 5*b + 4. Let c be ((-46)/(-4))/(3/6). Suppose r + 3*r = -5*p - c, 4*p - 5*r = -2. Does 7 divide k(p)?
False
Let x(h) = -39*h - 1. Let r(j) = 39*j + 1. Let q(s) = -4*r(s) - 3*x(s). Is 6 a factor of q(-2)?
False
Let l(r) = -6*r**2. Let u be l(-1). Let o = u + 16. Does 2 divide o?
True
Let x = 198 + -239. Let h(k) = -k + 5. Let c be h(4). Let w = c - x. Is 14 a factor of w?
True
Let b be (9 + -8)/((-2)/(-144)*-2). Does 2 divide (b/15)/(1/10*-1)?
True
Suppose 0 = -5*j + 59 - 29. Let n be (1 - 1)*(-1 + 0). Suppose n = o + 4*c - 39, 4*c + 116 = j*o - 2*o. Is 14 a factor of o?
False
Let k(g) be the second derivative of g**5/20 + g**4/4 + g**2 - 6*g. Let a be k(-3). Suppose -x + a*h + 12 = -6, 54 = 3*x - 5*h. Is x a multiple of 6?
True
Let p = -11 - -14. Let f(x) = x**3 - x**2 + x + 1. Let y(d) = -9*d**3 + 8*d**2 - 4*d - 9. Let s(l) = -6*f(l) - y(l). Does 20 divide s(p)?
True
Let a be (-2)/8 - 1/(-4). Suppose a = -5*y + 23 + 42. Suppose -5*n + 3 - y = 0, 0 = -2*l + 5*n + 60. Is l a multiple of 19?
False
Let c(l) = -14*l - 1. Let q be c(-1). Let r be (-8)/((-144)/(-66)) + (-2)/6. Let t = r + q. Does 2 divide t?
False
Let j(z) = 11*z - 48. Let m be j(12). Suppose -48*v + 45*v = -m. Does 3 divide v?
False
Suppose 0*u = -5*u + 30. Suppose -2*l + 12 = -u*l. Does 4 divide 1 - (l + 2) - -14?
True
Let u(j) = 46*j + 6. Let k = -64 + 68. Is u(k) a multiple of 38?
True
Let f be (-69)/46*52/6. Let z = 73 + f. Is z a multiple of 20?
True
Let c(v) = 116*v**2 - 13*v - 4. Does 77 divide c(3)?
True
Does 3 divide -54*24/(-18) + -1?
False
Suppose -3*i + 5*v = 15, 0 = 5*i + 5*v - 1 - 14. Let b be -7 - (-3)/6*i. Let c(u) = -u**2 - 11*u - 10. Is c(b) a multiple of 6?
True
Let l(u) = -6*u. Let o be l(-1). Suppose 3*d = o, 5*g + d + 0*d = -183. Is 2 + (3 + -3 - g) a multiple of 18?
False
Suppose h - 4*t = 747, 5*h - 5*t = -0*h + 3780. Let a be h - ((-20)/5)/(-4). Does 28 divide 6/(-27) + a/9?
True
Let b(h) = -h**2 - 25*h + 14. Let n be b(-26). Let k(z) = -13*z - 20. Is k(n) a multiple of 19?
False
Suppose 5*w = 1740 + 1065. Is w a multiple of 11?
True
Does 17 divide ((-1)/(-2))/((-68)/(-104040))?
True
Let x be 4 - 8 - 25*-40. Suppose z = -5*z + x. Is 27 a factor of (-4)/6 + z/6?
True
Suppose -1 = -3*k + 5. Let q(y) = y**k + 4*y - y**2 + 9 + y**2 + 2*y. Is q(-6) a multiple of 9?
True
Let t(c) = c**2 - 5*c - 5. Let s be t(6). Suppose -2*z + 3 = -s. Suppose -13 - 5 = -z*n. Does 3 divide n?
True
Suppose -99*o = -88*o - 1958. Is o a multiple of 16?
False
Let d be -4*4/48*(-1 + 1). Let h(v) = -v**3 + 2*v**2 + v + 74. Is h(d) a multiple of 37?
True
Let s = 397 + 249. Is 21 a factor of s?
False
Does 104 divide 10171/3 + (-11)/33?
False
Suppose -2*j = -358 - 134. Is j a multiple of 41?
True
Let q = 216 - 153. Does 13 divide q?
False
Let f(l) = 3*l**3 - 2*l**2 + l. Let n be f(1). Let w be (-154)/(-3 - (1 - n)). Let a = -45 + w. Is 13 a factor of a?
False
Suppose -21*g + 88*g = 129846. Is 17 a factor of g?
True
Let l(w) be the first derivative of 1/4*w**4 + 3*w + 7/2*w**2 - 7/3*w**3 - 2. Does 6 divide l(6)?
False
Suppose 3*j + 3*c = 249, -2*c + 380 = 5*j - 4*c. Suppose 0 = 2*w + 2*l - j, -l - 3 = -w + 30. Is w a multiple of 9?
True
Suppose 10 = -2*h + 7*h. Suppose -2*i + 4 = 2*z, -5*i + h*i + 24 = -3*z. Does 3 divide i?
False
Suppose 0 = -12*f + 3241 + 3755. Does 44 divide f?
False
Let f(o) = -25*o**3 + 2*o**2 - 14*o - 42. Is f(-3) a multiple of 63?
True
Suppose 0 = 8*w - 12*w - 44. Let k(t) = 3*t**3 + 5*t**2 - 2*t - 8. Let j(l) = 8*l**3 + 15*l**2 - 6*l - 23. Let m(n) = w*k(n) + 4*j(n). Does 8 divide m(3)?
True
Suppose -13 - 59 = -2*k - 3*n, -116 = -4*k + n. Suppose -4*c + 7*c - 3*h = 273, 2*c = -3*h + 192. Suppose -3*w = -k - c. Is w a multiple of 7?
False
Suppose -6 = -2*p - 2. Let n be p*-1*(-6)/4. Suppose 0 = -n*s + s + 144. Is s a multiple of 24?
True
Suppose 13*v - 1043 = -341. Is 4 a factor of v?
False
Let h(g) = 3*g**3 - 4*g**2 + 7*g - 12. Let v be h(8). Suppose 0*u + 2627 = 4*b - u, -2*b + 4*u = -v. Is 17 a factor of b/24 - (-4)/6?
False
Let o = 303 + -162. Does 4 divide o?
False
Suppose 3*l - 267 - 1556 = -4*o, 2*l + 1818 = 4*o. Is 18 a factor of o?
False
Is (40/15)/(8/840) a multiple of 4?
True
Let a = -7 + 11. Let f be ((-312)/(-30)*3)/((-2)/(-10)). Suppose 228 = 5*y - 2*x, -a*y - 2*x - 3*x = -f. Is 22 a factor of y?
True
Suppose 4*k = 645 + 123. Is k a multiple of 16?
True
Let n(o) = 19*o**2 + 19*o + 119. Does 14 divide n(-7)?
False
Let l be (-1)/(-2)*-3*(-39 + 47). Let h(j) be the second derivative of j**4/12 + 11*j**3/6 + 13*j**2/2 - j. Is h(l) a multiple of 15?
False
Let j(r) = -r**3 - 4*r**2 + 7*r + 3. Let b be j(-5). Let c = b - -16. Let p = 22 - c. Does 4 divide p?
False
Let h(r) = 84*r**2 - 2*r + 1. Let g be (3 + 20/(-6))*-9. Let l(y) = y**2 - 2*y - 2. Let a be l(g). Is h(a) a multiple of 17?
False
Suppose s - 4 + 1 = 0. Suppose 5*t + 2 = -18, -2*d = -s*t - 48. Does 6 divide d?
True
Let x(p) = 11*p**2 - 10*p - 5. Let y be x(4). Let d = y + 27. Is d a multiple of 16?
False
Let c(u) be the first derivative of -7*u**2 - 2*u - 4. Let f be c(-11). Suppose -f = 3*a - 5*a. Is 16 a factor of a?
False
Let g be 350/15 + (-2)/(-3). Let c = 10 + g. Let w = c - 14. Is w a multiple of 10?
True
Let x(k) = 3*k + 6 - 2*k**3 + 6*k**2 + 3*k + k**3 + k**2. Is 26 a factor of x(6)?
True
Let h(s) = s**3 - 6*s**2 - 7*s - 10. Let t be h(7). Is (-2)/(-10) + (-498)/t a multiple of 25?
True
Let s = 696 - 246. Is s a multiple of 25?
True
Suppose 56 = 9*w + 2. Suppose -4*a - 515 = y - w*y, 178 = 2*y + 4*a. Is 9 a factor of y?
True
Suppose v = 2*m + 412, 0 = -3*v + m - 3*m + 1268. Is 22 a factor of v?
False
Suppose 0 = -25*f + 21*f + 12. Suppose 2*p + 165 = f*u, 5*p = 2*u + p - 102. Is u a multiple of 4?
False
Let m(d) = d**2 - 17*d + 14. Suppose -w + 57 = 3*l - 0, 2*l + w - 39 = 0. Is m(l) a multiple of 14?
False
Let v(d) = -11*d - 11. Let z be v(-4). Let q = 15 + z. Is q a multiple of 12?
True
Let w(s) = -42*s - 136. Is w(-10) a multiple of 7?
False
Let z = -38 + 82. Does 2 divide z?
True
Let y(m) = m**2 + 5*m + 4. Let q be y(-4). Let v(n) = -n + 3*n + 1704 - 1697. Is v(q) a multiple of 2?
False
Is (-7696)/(-22) - 28/(-154) a multiple of 18?
False
Suppose 799 = 4*q + 5*m, -2*m = m - 9. Does 11 divide q?
False
Let l = -47 - -37. Let d be (16*-1)/((-10)/(-25)). Let p = l - d. Does 7 divide p?
False
Let k(y) = 25*y - 47. Let p be k(2). Let r(v) = 4*v + 2. Let s be r(4). Suppose -4*i = -2*q + 5 + 1, 3*q - s = -p*i. Is q a multiple of 5?
True
Suppose 0 = -18*n + 14*n. Suppose 5*f = 4*c - 57, 5*f - 33 = -c - n*c. Is 8 a factor of c?
False
Suppose -9 = 3*k, 2*h + 2*h - 2*k - 174 = 0. Let q = h + -30. Is 6 a factor of q?
True
Suppose 2*y - 3*y + 2*d = -14, -2*y + 3*d = -23. Suppose 480 = 5*j + r, -y*r = j + 2*j - 305. Does 39 divide j?
False
Let l(p) = p**3 + 4*p**2 - 7*p - 4. Let o be l(-5). Suppose -13 = -o*z + 5. Does 13 divide 78/(-4)*(-4)/z?
True
Let t(v) = v**2 + v + 21. Let s be t(0). Let n = -20 + s. Is 13*n*(22 - 19) a multiple of 13?
True
Suppose 33 = -w + 1673. Is 40 a factor of w?
True
Suppose -5*a + 3*w = -16 + 3, 3 = 4*a + 5*w. Let o(s) = s - 3. Let r be o(a). Is (8/(-3))/(r/3) a multiple of 8?
True
Let x = 0 + 0. Let y(m) = -m**2 - m + 81. Is y(x) a multiple of 16?
False
Let g(p) = -p**2 + 10*p - 22. Let x be g(6). Let z(r) = 67*r**2 - 2*r + 2. Does 23 divide z(x)?
False
Let c(p) = -2*p**2 - p - 7. Let m be c(-2). Suppose -j - 69 = 4*j - 3*q, -3*j + 4*q - 48 = 0. Is 6 a factor of 3 - j/(-3) - m?
True
Suppose -4*h - 4*l = -1100, 5*l + 146 = -h + 401. Suppose 0 = -0*w + 5*w - h. Is w a multiple of 7?
True
Suppose -5*b + 10 = -r, -8*b - 4*r = -4*b + 16. Let c(i) = 7*i + 1. Let d be c(b). Suppose -d = 4*m, -3*s = 2*s + 5*m - 60. Is s a multiple of 14?
True
Let s = -91 - -201. Is s a multiple of 55?
True
Let q(z) = -13*z + 7. Let p(n) = 14*n - 8. Let i(j) = 2*p(j) + 3*q(j). Suppose o = 4*s - 4, 0 = -4*o - 5*s - 1 - 15. Is 13 a factor of i(o)?
False
Let f = 11 + -18. Let k(l) = -l**3 - 7*l**2 - 2*l - 9. Let w be k(f). Suppo