 o(b) = 3533*b**3 + 4*b**2 + 17*b - 18. Is o(1) a multiple of 17?
True
Let i(d) = -6*d + 5. Let x be i(-4). Suppose 2*s = 2*j + 10 - 38, -4*j = 3*s - 77. Suppose j = a + p, 5*a - x = 5*p + 16. Is 13 a factor of a?
True
Let b be (-2)/(-4)*(-9 + 15). Suppose -m + 5*y - 29 = -2*m, 0 = -5*m + b*y + 229. Is m a multiple of 3?
False
Let p be ((-1)/3)/(6/(-18)). Let t be (4/(-8))/(p/(-2)). Does 6 divide 14 + 4 + t + -1?
True
Let l(q) = 3*q + 57. Let s = 50 + -50. Does 8 divide l(s)?
False
Let p(i) = -i**2 - 13*i - 6. Let q be p(-11). Suppose 11*u = q*u - 810. Is 17 a factor of u?
False
Suppose 2230 = 17*f - 575. Does 33 divide f?
True
Let b be (-5)/((-15)/6) - -1. Suppose 0 = -5*t - 0*p + b*p + 160, -160 = -5*t + 2*p. Is 16 a factor of t?
True
Let d be (6/(-7))/(6/42). Let h(o) = -23*o + 12. Does 50 divide h(d)?
True
Let n = 2315 + -1427. Does 66 divide n?
False
Suppose 2*x + 41 = -3*r, -3*r = -x + r - 37. Let q = x - -89. Is 16 a factor of q?
True
Does 18 divide ((-30814)/(-16) + 26/208)*1?
True
Let h = -55 - -76. Is 21 a factor of h?
True
Suppose -q = l - 10, -5*q + l = -17 - 3. Let t be q - ((-16)/(-4) - 2). Suppose t*v - 145 = 2*b, -4*v - 4*b + 157 = -63. Does 17 divide v?
True
Suppose -14 = -25*a + 336. Is 4 a factor of a?
False
Suppose 29460 + 73790 = 35*v. Is v a multiple of 14?
False
Suppose 4*n + 3*i = 1956, n - 2*i + 4*i = 494. Suppose 0 = 5*w - 319 - n. Let c = w + -98. Is 21 a factor of c?
True
Suppose 2*x + 2*x = 3*h + 86, -2*h = -3*x + 57. Let k be 506/h + (-10)/75. Let j = 37 + k. Is 4 a factor of j?
True
Let o be 55/(-2)*16/(-60)*93. Suppose 10*s - 938 = o. Is s a multiple of 9?
True
Let k = -19 + 19. Let o = -4 + 4. Suppose o*q - 4*q + 72 = k. Is 7 a factor of q?
False
Let f(k) be the first derivative of -k**5/20 + 2*k**3/3 + 2*k**2 + 2*k + 6. Let i(q) be the first derivative of f(q). Is 14 a factor of i(-4)?
False
Let s(z) = -z**2 + 14*z - 9. Let p be 2/((-12)/(-75)) - (-4)/(-8). Does 4 divide s(p)?
False
Suppose 6*l = 3779 - 461. Is 7 a factor of l?
True
Let l = 138 - 95. Let q = 207 - l. Is q a multiple of 32?
False
Suppose 0 = -3*t + 3*z, -4*t + 4 = -7*t + 5*z. Let q be ((-90)/(-20))/((-1)/t). Does 15 divide ((-51)/q + -3)*12?
False
Let d = 116 - 70. Suppose 4*a = 4*h + h - 230, h - d = a. Does 8 divide h?
False
Suppose 6*g - 4*g = 482. Let u = g + -155. Does 25 divide u?
False
Let g(a) be the first derivative of -3*a**4/2 - a**3/3 - 5*a**2/2 - 6*a - 36. Is 11 a factor of g(-3)?
False
Let o be 4/(8/(-2)) + (0 - 0). Let b(s) = -36*s**2 + s - 3. Let r(t) = -t**2 + 1. Let f(m) = -b(m) - 3*r(m). Is f(o) a multiple of 10?
True
Let m(u) = -5*u - u**2 + 5 - 5 + 0. Is 2 a factor of m(-3)?
True
Let h = -116 + 173. Let p = -29 + h. Suppose 77 = 5*m - p. Does 21 divide m?
True
Let c(q) = -4*q**2 + 3*q**3 - 5 + 2*q**3 + 2*q - 4*q**3. Suppose -5*p + 3*p + 18 = 3*w, -3*w + 27 = 5*p. Is c(w) a multiple of 3?
True
Suppose 50 = 4*m - 190. Suppose 7*t = m + 122. Is 8 a factor of t?
False
Suppose 5*p - 58 = -5*f + 3*p, -5*p = -20. Suppose 21 = -f*s + 971. Is s a multiple of 19?
True
Let y(d) = 14*d**3 + 4*d**2 - 5*d. Let f be y(2). Suppose 4*z - 184 = -3*r, 5*r + f = 2*z - 0*z. Is 30 a factor of z?
False
Let z(p) = 8*p**3 - 21*p**2 + 3*p. Is z(6) a multiple of 55?
True
Let f(i) = 28*i**2 - 19*i + 19. Is 20 a factor of f(5)?
False
Let l(s) = -s**2 + 1. Let t(o) = -4*o**2 - 1. Let q(c) = -3*l(c) + t(c). Let f be q(3). Is 27 a factor of (-1 - f)*45/10?
True
Suppose 0 = -5*f - 3*f. Suppose 3*b + f*b - 360 = 0. Is b a multiple of 24?
True
Suppose 7*i - 18 - 633 = 0. Suppose m + 7 = -49. Let u = i + m. Is u a multiple of 8?
False
Suppose 15 - 8 = -y. Let b(u) = u**3 + 7*u**2 - 5*u - 5. Is b(y) a multiple of 5?
True
Let f(y) = 10*y - 3. Let s be f(1). Suppose s*l = -2*l + 504. Does 8 divide l?
True
Suppose -4*u - 5 = 2*t + 29, 0 = -4*u + 5*t - 27. Let y = u - -8. Suppose -3*w + 217 = 4*j, 5*w + 4*j - 217 - 150 = y. Does 19 divide w?
False
Is 2/(-5) + 3035/25 a multiple of 16?
False
Let w be (2 - (-28)/(-8))*-4. Suppose -y + 3*y - w = 0. Suppose -y*b + b + 128 = 0. Is b a multiple of 23?
False
Let k be (-2)/16 + (-69)/24. Is (-29 - 2)*(k + 2) a multiple of 4?
False
Suppose 0 = -76*o + 87*o - 5137. Does 23 divide o?
False
Suppose -8*q - 3 = -7*q. Let n(t) = -t**3 - 1. Is n(q) a multiple of 26?
True
Let v(d) = 19*d - 17. Let q be v(5). Suppose 0 = -4*c - o + q + 146, 5*o = -4*c + 240. Does 11 divide c?
True
Suppose -4*y = -2*l - 0*l - 110, -3*y = -2*l - 82. Suppose 3*z + y = 7*z. Suppose -w + z = -8. Is 3 a factor of w?
True
Let y(i) = -7*i + 1. Let o(x) = -8*x. Let a(n) = -5*o(n) + 6*y(n). Let z be a(6). Is 8 + z - (-1 + -36) a multiple of 13?
True
Let w be (-3 + 0)/(-2 + 5/4). Suppose -w*z + 2*b + 274 = 0, -z + 4*z - 213 = -b. Does 7 divide z?
True
Let h(f) = 2*f**2 + 17*f + 1482. Is h(0) a multiple of 78?
True
Let h = -14 + 16. Suppose -4*z = -h*t - 3*z + 301, 0 = 3*t + 5*z - 458. Suppose t = 5*p - 4*w - 40, 0 = 5*p - w - 179. Does 18 divide p?
False
Suppose 2*m = -4*q + 42, 2*q + m = -3*q + 57. Suppose -g + 2*b + b + 12 = 0, 3*b = 2*g - q. Suppose -3*v + 9 + 27 = g. Is v a multiple of 12?
True
Suppose -4*k + 8 = -2*k. Let z(o) = 3*o**3 + 10*o**2 - 3*o + 2. Let b(g) = g**3 + g**2 + g + 1. Let a(h) = k*b(h) - z(h). Is a(5) a multiple of 5?
False
Let l(j) = -5*j**3 - 27*j**2 - 23*j - 80. Let g(s) = -2*s**3 - 9*s**2 - 8*s - 27. Let r(q) = -8*g(q) + 3*l(q). Is r(10) a multiple of 6?
False
Let u(b) = 22*b**2 - 2*b + 1. Let o(q) = q**2 + 4*q + 1. Let c be o(-4). Let d be u(c). Suppose v + 2*s - 23 = d, 2*s = -2*v + 82. Is v a multiple of 19?
True
Let r be -2 + -1 - -5 - -1. Suppose 953 = 5*u - l, -6*l + 5*l - r = 0. Is u a multiple of 33?
False
Let p(z) = -83*z**3 + 4*z**2 - 2*z - 10. Does 30 divide p(-2)?
False
Let o(s) = s**2 + 10*s - 5. Let k be o(-11). Let l be (-5 - -3)/((-4)/k). Suppose v - l*z + 2 = 24, 3*v - 18 = -3*z. Is 10 a factor of v?
True
Let q(n) be the first derivative of -32*n**2 + 7*n + 25. Is 9 a factor of q(-1)?
False
Does 23 divide (603/(-3))/(2 - (-35)/(-14))?
False
Suppose 0 = -3*w + 11 - 5. Suppose -5*k = -2*j + 255, 3*j - k = -w*k + 391. Is (j/15)/(1/6) a multiple of 26?
True
Suppose 2735 = -42*j + 47*j. Is j a multiple of 123?
False
Suppose 11*z - 2106 = 3702. Is 18 a factor of z?
False
Suppose 7*r - 10 = 2*r. Suppose 0 = r*s - 5*z + 17 - 0, -3*s + 2*z - 42 = 0. Let k = s - -52. Does 18 divide k?
True
Let z = -146 + -538. Let q = z + 1028. Does 23 divide (q/(-6))/(24/(-36))?
False
Let r = -23 + 17. Does 2 divide (r/(-10))/((-164)/(-40) - 4)?
True
Let g = -34 - -36. Let y(z) = 3*z - 13*z**g - 4 + 0*z + 0*z + z**3. Does 7 divide y(13)?
True
Suppose 675 = -0*z + 5*z. Let o = 547 + -545. Suppose -q + z = o*q. Does 11 divide q?
False
Let f(z) = -4*z + 63*z**2 + 4*z + 4*z + 2 + z. Is 5 a factor of f(-1)?
True
Let s(g) = -8*g - 3. Let x(y) = y + 1. Let i(u) = s(u) + 4*x(u). Does 6 divide i(-13)?
False
Let i(t) = t**3 - 4*t**2 - 4*t - 8. Let v be 3/((60/(-56))/5). Let u(w) = -w - 7. Let h be u(v). Does 37 divide i(h)?
True
Let q = -4 - -6. Let b(o) = o**3 - 4 - o**2 + 6 - 2*o**q - 4 + 4*o. Is b(5) a multiple of 17?
True
Let l(g) = -1 + g**2 + 0 + 2 + 1. Let d be l(2). Is d/15*(2 - -13) even?
True
Suppose f = 5*p - 2729, 3*f - 1641 = -4*p + p. Is 26 a factor of p?
True
Let u be 0*1/2 - 2. Let l be (-15)/10 - 7/u. Is (-19)/l*(-20 - -18) a multiple of 6?
False
Let i(j) = 3*j**2 - 4*j - 24. Is 61 a factor of i(9)?
True
Suppose -9 = 4*q - 7*q. Suppose 3*s - 1 = -4*z, -3*z + q*s + 27 = -0*z. Suppose 5*m = -v + 65, z*m - v - 38 = 14. Does 5 divide m?
False
Let j = 21 - -7. Suppose -38 = -z + 3*c, -2*c = 2*z - z - j. Is 5 a factor of z?
False
Let h be -13 + 4/(4/3). Is h/(-12)*53 + (-10)/60 a multiple of 11?
True
Let p be 8/(-24) + 313/3. Suppose -5*b = -10, 0*b + p = -3*v - 2*b. Is 14 a factor of (-8)/36 + (-2528)/v?
True
Suppose -3*x - 2*w = -6 - 10, 5*w = -5*x + 30. Suppose 0 = -x*o + 2*o + 38. Suppose c - 5*j - 24 = -j, -o = -c - j. Is c a multiple of 8?
False
Let u = -195 + 246. Is u a multiple of 3?
True
Let m = -570 + 650. Does 2 divide m?
True
Let d(t) = -t**2 - 18*t - 17. Let g be d(-17). Suppose 0 = -3*w - 2*i, g = 5*w - i + 3*i. Suppose w = -c + a + 98, 2*a - 7*a = c - 98. Is 20 a factor of c?
False
Suppose 6*n - 30 = -0*n. Suppose 3*c