or of b(w)?
False
Suppose -6*i + 42 = i. Suppose -5*b + i*b - 98 = 0. Does 6 divide b?
False
Suppose -n = -2*n + 6. Let l be 46/n + (-2)/3. Suppose l*x - 4*x - 15 = 0. Is x a multiple of 2?
False
Let o(m) = -5*m**3 + 3*m**2 + 2*m - 12. Is 12 a factor of o(-4)?
True
Suppose 0 = t - 3 + 1. Let r be (t/6)/(9/81). Suppose 4*g = -4*d + 72, -d + r*d = -2. Does 19 divide g?
True
Let x = -16 - -13. Suppose -d - 4*j = -2*j - 3, -5*d = 3*j - 8. Does 7 divide (d - 0)/(x/(-48))?
False
Suppose 2*d + 9 = 49. Let j be (18/8)/(5/d). Let h = j + 4. Is h a multiple of 8?
False
Suppose -5*f - 4*t + 2 = -3*f, 0 = 5*f - t + 39. Let y be ((-7)/(f/36))/1. Suppose -3*a + 0*a = -y. Is a a multiple of 12?
True
Suppose -44*h + 1370 = -39*h. Is h a multiple of 25?
False
Does 16 divide 23490/34 + 12/102?
False
Let b = -18 - -38. Let g be -4*1/(b/(-15)). Suppose -g*a + 31 + 5 = 0. Does 4 divide a?
True
Let i(n) be the second derivative of -n**3 - 12*n**2 - 34*n. Does 10 divide i(-8)?
False
Let m = -431 + 250. Let t = -122 - m. Is t a multiple of 13?
False
Suppose -6 + 12 = 2*w. Let s = w - -13. Is s a multiple of 8?
True
Let j(i) = -2*i**2 + 11*i. Let w be j(5). Suppose 0 = -2*h + 11 - w. Suppose -3*r - 49 = 5*g - 162, h*g + 47 = r. Does 7 divide r?
False
Let a = 19 + -17. Does 3 divide (-1)/(-12)*a - 1078/(-84)?
False
Let h = -9 - -12. Suppose h*q = q + 34. Is 3 a factor of q?
False
Let u(l) = 14*l + 288. Is u(0) a multiple of 24?
True
Let i(c) = 7*c**2 + 6*c - 4. Is i(2) a multiple of 9?
True
Suppose 5*b + 5*r - 455 = 10*r, 3*r - 364 = -4*b. Is b a multiple of 11?
False
Let g(v) be the first derivative of v**3/3 - 6*v**2 - 11*v - 13. Is g(14) a multiple of 12?
False
Let t = 55 - -30. Suppose -5*n + 615 = t. Is n a multiple of 23?
False
Suppose -3*h + 0*h = 3*o - 321, -5*h + 10 = 0. Suppose -2*x = x - 12. Suppose 17 - o = -x*b. Does 5 divide b?
False
Suppose -2*c = 2*c - 12. Suppose c*i - 65 = -2*i. Is 7 a factor of i?
False
Suppose 3*y - 4*a + 290 = 0, 2*y - 195 = 4*y - 3*a. Let s = 155 + y. Let b = -35 + s. Does 15 divide b?
True
Suppose -3*u = -12, 0 = -4*a - a - 5*u + 2770. Is a a multiple of 55?
True
Let v = -119 + 385. Does 6 divide v?
False
Suppose l - 39 = -5*y - 12, 0 = -3*y - 4*l + 6. Let g = y - 5. Is 16 + (-2 - 0) - g a multiple of 3?
False
Suppose -17 = -t - 5*u, -2*t - t + u + 19 = 0. Let i(o) = -5 - t - 6*o + 3 + 0*o. Is i(-8) a multiple of 13?
True
Let u = -208 - -605. Suppose -2*c - 5*o + 155 = 0, 10*c - u = 5*c - 3*o. Let p = c + -41. Is p a multiple of 13?
True
Let m(i) = 14*i - 5. Let u be m(-8). Let w be u*(1 - (-5)/(-3)). Let y = 183 - w. Does 21 divide y?
True
Is -10*(0 + (-6)/5) a multiple of 12?
True
Suppose 6*n - 3*m - 2103 = 4*n, 4*m + 20 = 0. Is n a multiple of 6?
True
Suppose 3*g + 9 = 0, g + 644 = 4*h - 3*h. Does 25 divide h?
False
Does 16 divide (0 - -4 - -247) + -1*5?
False
Let f(q) = 2*q**2 - 56*q + 212. Is f(44) a multiple of 135?
True
Suppose 7128 = -35*l + 38*l - a, 3*a = -3*l + 7128. Is 72 a factor of l?
True
Suppose -2*r - j + 432 = -5*j, -4*r - 3*j = -831. Is r a multiple of 14?
True
Suppose -n - 124 = -5*n. Suppose 38*t = n*t + 420. Is 5 a factor of t?
True
Let x(u) = -53 + 14 + 20 + 15 - 6*u. Is 14 a factor of x(-4)?
False
Suppose -122*t - 11143 = -133*t. Is t a multiple of 11?
False
Let f(g) = 453*g**2 - 22*g + 47. Does 11 divide f(2)?
True
Let g(m) = m**3 + 2*m**2 - m - 2. Let l be g(2). Let v = 35 - l. Is v a multiple of 3?
False
Suppose -3*f = -66 - 30. Suppose 0 = q + 2*q - 12. Suppose 0 = -2*o + q + f. Does 18 divide o?
True
Let w be (-12)/36 + 32/6. Suppose -l + 7 - w = 0. Suppose -3*n = 3*h - l*n - 77, -4*n - 4 = 0. Does 13 divide h?
True
Let b(r) = -2*r**3 - 4*r**2 + 7*r - 3. Let d(c) = -3*c**3 - 6*c**2 + 10*c - 5. Let m(p) = -8*b(p) + 5*d(p). Is m(-3) a multiple of 5?
False
Let d(o) = 42*o**3 + 5*o - 5. Let f be d(2). Let g = f + -197. Does 24 divide g?
True
Let z(g) = -27*g + 198. Is z(6) even?
True
Let j(g) = -5*g**2 + 6*g + 5. Let m be j(-1). Is 61 a factor of (-1948)/m + (-2)/3?
False
Let q be (-7)/((-21)/(-6)) - -16. Let j = 14 - q. Suppose j = 2*v - 3*g + 6*g - 209, -4*v + 393 = g. Does 33 divide v?
False
Let n(x) = -13*x**2 - 3 + 26*x + 5 + 1 - 6*x**2 - x**3. Let z be n(-21). Suppose -39 + z = 5*q. Does 20 divide q?
True
Suppose 4*p - 55 = -p - 5*l, 4*p - 4*l - 28 = 0. Let w be 9 + (p/(-3) - -5). Suppose -2*y - 20 = -2*h, 0 = 4*y - w - 1. Is h a multiple of 3?
False
Let v(m) = -m**2 + 11*m + 8. Let c be v(11). Suppose c*a - 9*a = -1. Is 11 a factor of (-2)/a*154/(-4)?
True
Let x be (-438)/(-5) - (81/(-15) - -5). Is (-12)/(3*(-4)/x) a multiple of 14?
False
Is (308/(-770))/((-1)/95*2) a multiple of 5?
False
Suppose -34*s = -3418 - 30004. Is s a multiple of 9?
False
Let m = 388 + 4. Suppose n + n = m. Let g = n + -107. Does 19 divide g?
False
Let h be 2/13 + (-1140)/(-26). Suppose -h = -m - 3*m. Does 2 divide m?
False
Is 26 a factor of ((-11)/(44/30))/(18/(-312))?
True
Let k(h) = 4*h**2 + 11*h + 9. Let o(b) = -11*b**2 - 32*b - 27. Let w(i) = -8*k(i) - 3*o(i). Let l be w(-6). Is 3*((-62)/(-6) + l) a multiple of 8?
False
Let x(o) = 4*o - 2. Let j be 13/((-26)/(-24)) + 2. Does 6 divide x(j)?
True
Let x = 24 - 32. Is 20 a factor of 41/1 + (-9 - x)?
True
Let h(l) be the third derivative of l**6/120 - l**5/12 + l**4/6 + 5*l**3/3 - 48*l**2. Is 6 a factor of h(5)?
True
Let a = -21 + 233. Is 12 a factor of a?
False
Suppose 12*b - 5479 + 427 = 0. Does 11 divide b?
False
Let o(w) = -25*w - 142. Does 16 divide o(-8)?
False
Let w(k) = 503*k + 4. Is 14 a factor of w(10)?
False
Suppose -4*g + 5*u = -943, 5*g + 3*u + u = 1230. Does 22 divide g?
True
Let t = -11 - -15. Is 13 a factor of 6/t*(-220)/(-6)?
False
Does 10 divide (1480 - 4) + 6*(5 - 6)?
True
Let m(t) = -30*t**2 - 2 - 24*t**2 + 3 + 122*t**2. Let i = 3 - 4. Is 19 a factor of m(i)?
False
Let n be (-1082)/(-6) + (-20)/15. Let c = -36 + n. Does 13 divide c?
True
Suppose -426 = -2*c - 0*c. Suppose -2*m + y + 231 = -0*m, -2*m - 5*y = -c. Is m a multiple of 12?
False
Let n be -5*(1 + 381/(-15)). Let d = 234 - n. Suppose 5*k = d - 7. Does 5 divide k?
False
Let a = 2425 + -850. Is 13 a factor of a?
False
Let n = 2 + -14. Let x = n + 10. Does 9 divide x + -1 - -7*3?
True
Suppose -3*p = -6*p + 18. Suppose p*q - 2*q = 580. Suppose -5*f = g - q, 0 = 5*f - 5*g - 26 - 89. Is 7 a factor of f?
True
Let q(y) = 2*y**2 - 2*y - 1. Let z be q(2). Suppose z*b = -0 + 3. Let u(s) = 26*s**2 + s - 2. Is u(b) a multiple of 5?
True
Let n(x) = -x**2 - 2 + 78*x - 23*x - x**2. Does 23 divide n(24)?
False
Let i = 683 - 144. Does 54 divide i?
False
Let k(z) = -9*z + 26. Let f be k(-16). Let q = -98 + f. Is q a multiple of 9?
True
Let x(d) be the second derivative of 9*d**5/20 + 5*d**2/2 + 2*d. Let o(u) be the first derivative of x(u). Is o(-1) a multiple of 14?
False
Suppose -396 = g - 2*q, 3*g + 2*q + 1228 = -2*q. Let i = -272 - g. Does 33 divide i?
True
Let w be (-1366)/7 + 4/28. Let m = 30 - w. Does 38 divide m?
False
Let n = -2312 - -3725. Is 41 a factor of n?
False
Suppose -4*h = 4*f + 496, 2*f - h = -0*f - 257. Let b = f + 243. Is 38 a factor of b?
False
Let s = 23 + 77. Is 10 a factor of s?
True
Suppose -2*d - 1 = -3. Let v be d/3 - (-6)/(-18). Suppose v*q = -4*q + 128. Does 16 divide q?
True
Suppose 17*s - 1946 = 9682. Is 57 a factor of s?
True
Suppose 5*l - 8*l = 0. Let j(q) = -q**3 - q + 2. Let k be j(l). Suppose -4*x + k = -46. Is 7 a factor of x?
False
Let w(y) be the first derivative of -y**3/3 + 5*y**2 - 2*y + 3. Let o be -3*(-3)/27*27. Is 2 a factor of w(o)?
False
Let i(m) = -m**2 + 3*m + 124. Is i(10) a multiple of 6?
True
Suppose 67 = 2*j - 5*f - 128, -f = 3*j - 301. Is 2 a factor of j?
True
Let k(c) = -4*c + 6. Let s(v) = v - 3. Let r be s(6). Suppose 10 = -r*u + p, 3*p - p = -u - 15. Is k(u) a multiple of 10?
False
Suppose -4*f - 41 = -3*a, 0 = 3*a - 0*a + 4*f - 25. Let r = a - 11. Let z = 66 + r. Is 32 a factor of z?
False
Suppose -10*f + 4*n - 95 = -11*f, -2*n = -5*f + 585. Is f a multiple of 23?
True
Let p(n) = -n**2 - n + 2. Let a be p(0). Let j = a + -2. Suppose j = 3*q - 5*y - 66 - 73, 3*q + 2*y - 125 = 0. Is q a multiple of 17?
False
Let w(c) = c**2 - 6*c - 6. Let u be w(7). Let v = u + 4. Suppose 2*d - 316 = -5*j, -v*j - d - 3*d + 322 = 0. Is j a multiple of 8?
False
Let y = 2