 o = g - -183. Is 22 a factor of o?
False
Suppose 3*w - 6 = 0, -2*w - 8 + 51 = 3*n. Suppose -8372 = -n*y - y. Is y a multiple of 29?
False
Let h be (-72)/3*(10/(-4))/5. Is 11 - (42/6 - h) a multiple of 6?
False
Let o(m) = -5*m**2 - 14*m + 28. Let y(t) = -11*t**2 - 29*t + 57. Let d(g) = 13*o(g) - 6*y(g). Is 35 a factor of d(-12)?
False
Let m be 12/54 - 302/(-18). Let x(y) = -289*y - 22. Let u be x(m). Is 6/21 + u/(-49) a multiple of 28?
False
Let h(z) = -2*z**2 + 10*z + 9. Let o be h(5). Let w = 136 - o. Does 18 divide w?
False
Suppose -3*p - 13 + 22 = 0. Suppose -p*t - 3*w + 667 + 779 = 0, 3*t - w = 1462. Is 14 a factor of t?
False
Let i = 13454 - 8902. Suppose -i = -18*g + 3422. Is 59 a factor of g?
False
Let w(m) = m**2 + 12*m + 25. Let h be w(-10). Suppose 4*o = 0, 0 = -h*l - o + 1296 + 224. Is 19 a factor of l?
True
Suppose 41*t = 4*y + 37*t - 40752, y + 2*t = 10182. Is 232 a factor of y?
False
Suppose 6 = f - 0*d + 2*d, 2*f - d - 12 = 0. Suppose t + n = 249, -331 = -2*t + 5*n + 139. Let b = t - f. Does 19 divide b?
False
Suppose -10*x - 115 = -33*x. Suppose -202 - 8 = -x*s. Is 40 a factor of s?
False
Let l(y) = 11*y**3 + 71*y**2 - 509*y - 31. Does 7 divide l(13)?
False
Suppose 3*g - 2 = 2*g. Suppose -360 = -k - g*k. Suppose -2*q = -k + 10. Is q a multiple of 13?
False
Let z = 10663 + 18294. Is 11 a factor of z?
False
Let y = -362 + 1864. Is y a multiple of 3?
False
Let t = 2362 - -684. Is t a multiple of 106?
False
Let m be (-2)/(-15) + (-3)/(45/737). Let r = m - -52. Does 11 divide (0 - -77) + r + -6?
False
Let o = 7347 - 2027. Is o a multiple of 10?
True
Suppose 14*i = 9*i + 25. Does 14 divide (i - (9 - 6)) + (-233)/(-1)?
False
Let a(v) = 7*v**2 + 21*v + 64. Let w = 51 - 57. Does 47 divide a(w)?
False
Let i(v) = 997*v**2 - 5*v + 27. Is i(3) a multiple of 12?
False
Suppose -l - 5*v + 115 = -3*l, -2*l = 2*v + 150. Does 39 divide (-2)/(-7) + 4*(-12315)/l?
False
Let b(s) = -3*s**2 + 300*s - 522. Is b(84) a multiple of 18?
True
Let v = 54666 - 37810. Is v a multiple of 14?
True
Let q be (-4)/6*(3 - (-6405)/(-14)). Let d = q - 112. Suppose -4*o + 509 = -d. Does 51 divide o?
False
Is (-55)/33 + 21434/2 - (-6)/9 a multiple of 38?
True
Does 11 divide (-31 + -7 - -6)*(-113 + -5)?
False
Let f = 45 + -51. Let k = 8 - f. Suppose -4*z + 554 = k. Is z a multiple of 15?
True
Let u = 41604 - 17088. Does 100 divide u?
False
Let p(y) = -24*y + 324. Does 7 divide p(10)?
True
Suppose 4*i + 4854 = 5*h, 398*i - 394*i = -2*h + 1908. Is 7 a factor of h?
True
Suppose 18 = 13*t - 21. Suppose -t*v + 31 + 1169 = 0. Is 20 a factor of v?
True
Let z(q) = 109*q + 199. Let r(u) = -55*u - 98. Let c(a) = 5*r(a) + 2*z(a). Is 22 a factor of c(-13)?
False
Let c = -239 + 241. Does 3 divide (-4)/6 - (c - (-5630)/(-30))?
False
Let d(u) = -5*u - 9*u - 2*u + 16*u**2 + 10*u + 8. Let t = 0 + 2. Does 5 divide d(t)?
True
Let b = 11 - 11. Suppose b = d - 4, 0 = -3*q + d - 2784 - 1585. Does 9 divide 3/(-8) + q/(-40)?
True
Let p(t) = 6*t**2 + 83*t - 1971. Is p(29) a multiple of 5?
False
Let z = 282 - 287. Let i(b) = 22*b**2 - 4*b - 46. Does 13 divide i(z)?
False
Suppose 3*k - 5312 = -2216. Let z = k + -593. Is z a multiple of 59?
False
Is (-15189)/2*1808/(-678) a multiple of 122?
True
Let n(z) be the second derivative of -z**4/12 - 2*z**3/3 - 6*z**2 - 17*z. Let l be n(-15). Is (20/(-15) - -2)*l/(-2) a multiple of 7?
False
Suppose 0 = -10*d + 28*d - 5184. Let v = 518 - d. Is v a multiple of 18?
False
Let f(d) = -d**3 - 2*d**2 + 2*d + 4. Let r be 8/(-3)*2*15/(-2). Let p = 37 - r. Is 7 a factor of f(p)?
True
Suppose 0 = -3*h - 6*h + 27. Let o(z) = 17*z**3 - 3*z**2 - 6*z - 4. Let j be o(h). Let d = j - 213. Does 11 divide d?
False
Let r be 6/(-33) + 26/22. Is 8 a factor of ((-1428)/36 - -9)*r*-12?
True
Let b = 1234 - 1844. Let p = b - -778. Does 4 divide p?
True
Suppose -22*h - 24252 = -27*h - 3*c, 2*h = 3*c + 9726. Is h a multiple of 8?
False
Suppose -870 = 80*c - 85*c. Let h = -6 + 47. Suppose -44*o = -h*o - c. Is 35 a factor of o?
False
Let u = 5801 - 5492. Is 5 a factor of u?
False
Let r(k) = -2*k**3 + 169*k**2 + 140*k + 263. Does 10 divide r(85)?
False
Suppose 0 = -28*k + 34*k - 18. Suppose 3*a - 3*m - 18 = 0, k*a - 9 = 4*a + 4*m. Suppose -a*t - 3*j + 612 = 0, 2*j = t + j - 198. Is 23 a factor of t?
False
Let u(v) = -39*v**3 + 5*v**2 + 44*v + 102. Is u(-7) a multiple of 24?
True
Suppose -7*z + 2*z = 3*h - 29709, h = -3*z + 9911. Is h a multiple of 13?
True
Let y(g) = 34*g**3 - 4*g**2 - 4*g + 4. Let l be y(2). Let x = l - 164. Let r = x + -45. Is 25 a factor of r?
False
Let c be (-1050)/(-140)*(-2)/(-3). Let a(t) be the third derivative of t**5/15 + t**4/3 - 7*t**3/3 + t**2. Is 26 a factor of a(c)?
False
Let y(j) = -16*j**2 - 5*j + 22. Let l(v) = 31*v**2 + 9*v - 44. Let q(g) = 4*l(g) + 7*y(g). Let b(t) be the first derivative of q(t). Does 11 divide b(5)?
True
Let h = -367 + 379. Suppose 467 + 493 = h*c. Is c a multiple of 8?
True
Let g = 650 + -559. Suppose 0 = 5*z + g*d - 95*d - 436, -2*d - 260 = -3*z. Is z a multiple of 81?
False
Suppose 7925 = 4*x - 3*s, 3862 = 3*x - 3*s - 2078. Does 33 divide x?
False
Suppose 3*i = 28 - 19. Let k be (-2)/3 - (-267)/9. Suppose -i*n = 3*d - 84, -3*d - k = 2*n - 112. Does 5 divide d?
False
Suppose 0 = 4*g - g + 5*d - 1, 2*d = -5*g + 8. Suppose -g*f + 65 = -77. Is f even?
False
Let z(r) = 57*r + 627. Does 7 divide z(6)?
False
Let j(v) = 4*v + 13. Suppose 44*t - 15 = 47*t. Let w be j(t). Let p(m) = -2*m**2 - 32*m - 7. Is p(w) a multiple of 17?
True
Is 38 a factor of ((-552)/23 + 30)/(6/988)?
True
Let y(x) = -253*x**3 + x**2 - 8*x - 10. Is 7 a factor of y(-1)?
True
Let y = -11 - -15. Let h(q) = 2*q**2 - 3*q - 6. Let x be h(y). Is x + (-1 - (-1 - 2))*2 a multiple of 9?
True
Suppose -5*g = -4*h - 45, 0 = -4*g - 2*h - 2*h. Suppose 4*u - g*c + 8*c - 6857 = 0, 4*c + 3412 = 2*u. Is u a multiple of 12?
False
Let s(r) be the second derivative of -r**5/60 + 17*r**4/24 + 6*r**3 - 8*r**2 + 25*r. Let x(n) be the first derivative of s(n). Does 6 divide x(17)?
True
Let f(o) be the second derivative of o**4/12 + 7*o**3/2 - 19*o**2/2 - 8*o. Let b be f(-22). Suppose -2*x + b*x = 18. Is x a multiple of 11?
False
Let l be (0 - (-138)/(-5))*(-85)/34. Is -4*(l/(-6) - 2) a multiple of 15?
False
Let h be (-608)/(-10) - (216/(-45))/(-6). Let m = h + -18. Is 14 a factor of m?
True
Let t = -56450 + 81098. Is 79 a factor of t?
True
Let x = -7277 - -7293. Let z be (-90)/(-4) - (-1)/(-2). Suppose x = z*f - 21*f. Does 16 divide f?
True
Does 11 divide (-4 - 1 - -1) + (1729 + -17 - 14)?
True
Let c(m) be the third derivative of 23*m**6/120 + m**4/12 - m**3/3 + 220*m**2. Suppose 0 = 3*y + 5*z - 8, 5*y - z = 4 - 0. Is 8 a factor of c(y)?
False
Let a be (-24)/(-4)*(-7)/(-14). Suppose -a*s = -2*p + 48, -s + 2*s - 64 = -2*p. Is p a multiple of 2?
True
Suppose -6*c - 43971 = -111699. Is 16 a factor of c?
False
Let l(g) be the third derivative of 13/24*g**4 + 11/3*g**3 + 0*g + 0 - 29*g**2. Is 38 a factor of l(10)?
True
Let v = -2872 + 4022. Does 64 divide v?
False
Let c(r) be the first derivative of -r**4/12 - 11*r**3/2 - 59*r**2/2 + 21*r + 51. Let a(l) be the first derivative of c(l). Does 19 divide a(-18)?
False
Let c = 25 - 28. Let q be (-4)/(72/(-294)) + (-2)/c. Suppose 0 = q*b - 21*b + 588. Is 15 a factor of b?
False
Let n(d) = -d + 2. Let p be ((-3)/(-5))/((-22)/110). Let j be n(p). Suppose j*y = 6*y - 33. Does 10 divide y?
False
Let g(l) = l**3 + 13*l**2 + 3*l + 28. Let i be g(-13). Let s(z) = z**3 + 13*z**2 + 16*z - 36. Is 7 a factor of s(i)?
False
Let j(u) = -3*u**3 + 25*u**2 + 14*u + 9. Let q be j(8). Suppose -3*i - 2*a = -7*a - q, -4*i - 3*a + 295 = 0. Does 5 divide i?
True
Let y = 19 - 25. Let g(o) = o**2 - 9*o + 2. Let c be g(y). Let v = -38 + c. Is 6 a factor of v?
True
Let c be (-1 - 0)*(3 + -5). Let t be (2 - 0/c) + -5. Is 44 a factor of (t - 203)*2/(-4)?
False
Suppose 3*r - 12 = -0*r - 3*h, 22 = 4*r + h. Suppose -3*u - f + 1519 = -r*f, f + 1022 = 2*u. Is 25 a factor of u?
False
Let z be 60/90*4698/4. Suppose -3*t = -v + z, 2*t + 2363 = 9*v - 6*v. Does 30 divide v?
False
Let b(x) = -x**3 + x - 3. Let h be b(0). Let u(z) = z**2 + z + 1. Let o(q) = 4*q**2 + 8*q + 13. Let r(i) = -o(i) + 5*u(i). Is 10 a factor of r(h)?
True
Suppose 2 = j - 1. Suppose 4*l = j*k + 2245, -5*l + 5