8 a factor of h?
False
Let a be 8/(-120)*-5*0/(-3). Suppose a = 6*v - 810 - 1458. Is 9 a factor of v?
True
Let d(m) = -m**3 - 51*m**2 + 208*m + 714. Does 31 divide d(-61)?
False
Let y(w) = 4*w**2 + w - 3. Let c be y(1). Suppose -4*r + 5*f = -1236, 6*f - c*f = -16. Does 39 divide r?
False
Let m(v) = v**3 - 2*v**2 + v + 4. Suppose -13*a = -19*a. Suppose a = 2*c - 3 - 3. Does 8 divide m(c)?
True
Does 11 divide 9443 - (10 - 9 - -3 - -1)?
True
Let z = 2 - 0. Let w(q) = -q**3 + 12*q**2 - 2*q + 30. Let x be w(12). Suppose h = -4*i + 59 + x, -z*i - 237 = -3*h. Is h a multiple of 14?
False
Let x = 769 - 752. Suppose -x*p + 995 = -2541. Does 9 divide p?
False
Suppose 4*n = l + 7195, 16*n - 15*n + 3*l - 1815 = 0. Does 9 divide n?
True
Let o(q) = -164*q + 33 - 6 + 59*q - 3 - 6. Is 8 a factor of o(-3)?
False
Let n(l) = -l**3 + 6*l**2 - 4*l - 5. Let y be n(5). Let w(k) = k**2 + 12*k - 10. Let t be w(-13). Suppose r = -y*v + v - 48, -t*v + 132 = r. Does 9 divide v?
True
Let x = -94 - -150. Suppose -52*w = -x*w. Suppose w = 7*z + z - 1032. Is 16 a factor of z?
False
Is 16028/(9 - (-46)/(-6)) a multiple of 20?
False
Suppose 9904 = 3*b + 2*b - 2*t, -2*b + 4*t + 3952 = 0. Is b a multiple of 24?
False
Let a be (-2 - 234/(-8))/(3/60). Suppose 0 = -3*z - 15, 4*z + 3 = -o + 4. Suppose 8 = -4*x, -3*y - o + a = -x. Does 29 divide y?
True
Let x be 1209/(-21) + 4 + 24/42. Let y = 233 + x. Does 3 divide y?
True
Suppose 5*i - 1581 = 26*i - 19431. Is 8 a factor of i?
False
Suppose -7*x + 2*x + 4 = -4*w, 3*w = -2*x + 20. Let c be -42 - (-8 + 2 + x). Is 17 a factor of (-536)/(-10) - (3 + 136/c)?
False
Suppose 608*i - 627*i = -38760. Is i a multiple of 5?
True
Let f(l) = -71*l**2 - l - 10. Let y(b) = -b**3 - 4*b**2 - 4*b - 13. Let h be y(-4). Let x be f(h). Does 2 divide ((-1)/3)/(x/108 - -6)?
False
Let g = 57 - 53. Suppose -5*a + 20 = 2*o, -a + g = -4*o + 8*o. Let q(k) = 3*k + 18. Is 5 a factor of q(a)?
True
Let i(n) = 2*n + 21. Let w be i(-9). Suppose 595 = w*p - 4520. Suppose 2*c = -9*c + p. Is 35 a factor of c?
False
Let s be 16*(((-45)/10)/3)/(-3). Is 22 a factor of s/88 - (-966)/22?
True
Suppose -28737 - 37983 = -6*q. Does 40 divide q?
True
Let s be (-209)/(-19)*1/1. Suppose b - 68 = s. Let l = 20 + b. Is l a multiple of 20?
False
Suppose 39712*a - 39666*a = 2615376. Does 184 divide a?
True
Suppose -198*f - 269*f + 2404116 = 0. Is 36 a factor of f?
True
Suppose -2*k + 4 = q - 0, -8 = -2*q - k. Suppose q*c = -5*i + 3*i + 122, 2*i = -3*c + 92. Let u(t) = 3*t + 22. Is 56 a factor of u(c)?
True
Suppose -47*y + 52710 = -26*y. Suppose 19*l - y = 2107. Does 27 divide l?
True
Let h = -19848 - -36685. Does 13 divide h?
False
Suppose 7259 = -464*a + 55051. Does 3 divide a?
False
Suppose 0 = -12*q + 1261 + 1535. Is q even?
False
Let h(u) = -10*u - 296. Let l be h(-27). Let g(b) = -47*b - 197. Is 41 a factor of g(l)?
True
Let p(n) = 2*n + 154. Let d be p(9). Suppose 168*g - d*g = -328. Is g a multiple of 7?
False
Is ((-55860)/9 - 3)/((-19)/57) a multiple of 13?
True
Let t(q) = -850*q + 321. Does 26 divide t(-10)?
False
Suppose 4*s + 0*s + 1340 = 0. Let u = 628 + s. Is u a multiple of 28?
False
Is 13520/42 + (-6)/(-63) a multiple of 14?
True
Let c(m) = -m**3 - 7*m**2 - 17*m - 8. Let v be c(-6). Suppose v*o - 378 = 57*o. Does 18 divide o?
True
Suppose 8*l - 8664 = 13336. Suppose 11*v - 16610 + l = 0. Does 60 divide v?
True
Let v be -21*3*(-1)/3. Let y(n) = n**3 - 18*n**2 + 8*n - 2. Does 27 divide y(v)?
False
Let u = 38309 - 23635. Does 123 divide u?
False
Let j = 19295 - 13051. Is 14 a factor of j?
True
Let z = 1624 - 945. Suppose -5*w + 204 = -4*x + z, 3*w = x - 124. Suppose -6*m - 43 + x = 0. Does 2 divide m?
True
Let i = 58 + -26. Let u = -30 + i. Suppose 2*f = -u*a + 120, f - a - 75 = 3*a. Does 12 divide f?
False
Suppose -1689 = -r + 393. Is 4 a factor of r?
False
Let j(x) = 2*x**2 + 13 - 2589*x + 10*x**3 + 1 + 2580*x. Does 28 divide j(3)?
False
Let d(p) = -10*p + 746. Suppose -2*t = -4*c - 6, 3*t = 23*c - 25*c + 9. Does 25 divide d(c)?
False
Let t(j) = 19*j**3 - 9*j**2 + 4*j + 20. Is t(2) a multiple of 2?
True
Let j be (-1022)/28 + 1/2. Is 4/j - 472/(-36) a multiple of 13?
True
Suppose 29*o - 26*o - 30 = 0. Let b(h) = -4*h**2 + 4*h - 3. Let u(j) = j**2 + j. Let a(f) = -b(f) - 3*u(f). Is 11 a factor of a(o)?
True
Let f = 902 + 424. Suppose 0 = -f*i + 1328*i - 936. Is 117 a factor of i?
True
Suppose 3*a - 16 + 4 = 0. Suppose a*n + 5*k = -307, 5*n - 5*k + 396 + 44 = 0. Let b = n + 163. Does 10 divide b?
True
Suppose 0 = -4*s - t + 79817, 12653 = -3*s + 3*t + 72527. Does 65 divide s?
True
Suppose 4*h - 5*o + 1 = 9, -5*o = 0. Suppose 5*m = -2*f - 101 + 25, 28 = -h*m - 2*f. Is (36/m)/((-9)/408) a multiple of 21?
False
Let o(s) = 9008*s - 2694. Is o(3) a multiple of 15?
True
Let t(f) = 2*f + 6. Let u = -58 - -60. Let l be t(u). Is 3 a factor of -8*15/l*-1?
True
Suppose 3 = 3*q - 4*d, 3*d - 6 = -5*q + 10*q. Let u = q - -1. Does 2 divide 42/3 + 2/(1 + u)?
True
Suppose 28*q + 4406 = n + 24*q, -n - q + 4411 = 0. Is 35 a factor of n?
True
Let q(d) = -4*d**3 - 2*d**2 + d. Let z be q(2). Let r = z - -44. Does 41 divide (-30)/(-20)*812/r?
False
Let g(q) = 307*q + 3682. Is g(-7) a multiple of 18?
False
Let b be 2/3*(4 + 2527/14). Let j = b - 58. Does 25 divide j?
False
Let l(q) = 3*q - 14. Let n be l(6). Suppose -4*y + n*m + 0*m + 20 = 0, 0 = -y + 2*m + 10. Suppose y = -3*o + 232 + 236. Does 33 divide o?
False
Let x(z) = z**3 + 8*z**2 + 4*z - 17. Let k be x(-7). Suppose -909 = -4*p - 3*s, 11*p + 673 = 14*p + k*s. Is 7 a factor of p?
True
Let i = 212 - 218. Is (-252)/(-140)*(-260)/i a multiple of 13?
True
Let v(b) = 7*b**2 - 6*b + 2. Suppose 4*c - 5*y = -40, -5*c - 4*y - 15 = -6. Is 60 a factor of v(c)?
False
Let q(t) = -2*t**2 - t + 59. Let a be q(-12). Let o = a - -265. Is 8 a factor of o?
True
Let q = -1326 - -3492. Suppose -q = -6*j - 0*j. Does 19 divide j?
True
Let q(i) = -14*i**3 + 3*i**2 + 27*i + 10. Is q(-4) a multiple of 3?
True
Let c be (5/1)/(26 + -25). Suppose c*b + 5*y = 310, 40 = -b + y + 108. Is 10 a factor of b?
False
Let f(s) = 772*s - 64. Is f(14) a multiple of 39?
False
Let p = -55 + 28. Let f = -123 - p. Let b = 156 + f. Is 33 a factor of b?
False
Suppose -7*r + 146 = -162. Suppose 0 = -r*y + 51*y - 5670. Is y a multiple of 15?
True
Let h be (-45)/(-36) - 1 - (-635)/4. Let r = h + -118. Is r a multiple of 3?
False
Let l be (4 + -2)/((-1)/(-43) + 0). Let q = l + -81. Suppose q*v - 723 = 297. Is v a multiple of 51?
True
Let v(h) = -12*h + 5. Suppose 0 = 4*r + 5*u + 32, 0 = -2*r + 5*r + 4*u + 23. Does 23 divide v(r)?
True
Let l be 102/(-6) + 8 + -181. Is l/(-228) - 775/(-6) a multiple of 17?
False
Let c be (-8)/1*((-180)/48)/15. Suppose -c*d + 68 = 22. Is 10 a factor of d?
False
Suppose 0 = 12*a - 48 + 12. Suppose 5*g = a*g + 434. Is 11 a factor of g?
False
Let a(h) = h**3 + 49*h**2 - 44*h - 338. Is a(-16) a multiple of 5?
False
Suppose -772*z = -767*z + 3*v - 39269, -3*z = 2*v - 23562. Is z a multiple of 151?
True
Suppose 5*d - 2*f = 12145, -17027 = -7*d - 14*f + 12*f. Is 17 a factor of d?
True
Let i be ((-12)/9)/(10/(-1800)). Let q = i + -149. Is q a multiple of 13?
True
Suppose 28*m - 8 = 2*s + 24*m, 5*m = -5*s + 10. Suppose -28*f - 8*f + 15552 = s. Is f a multiple of 24?
True
Is 189 a factor of ((-752)/10 - 2)/(18*(-25)/236250)?
False
Suppose -d - 636 + 641 = 0. Suppose d*m - 1309 = -6*m. Is m a multiple of 13?
False
Let m(t) = -t + 13. Let z be m(12). Let k = z + 11. Suppose -4*o + 33 = s - k, 0 = o - 3. Is 16 a factor of s?
False
Let x(g) = -g**3 + 71*g**2 - 65*g - 197. Is 88 a factor of x(69)?
True
Suppose -3*c - 109 = -o, -3*o + 121 = 4*c - 193. Let x = 425 + -422. Suppose -x*p + 38 = -o. Is p a multiple of 48?
True
Suppose 0 = k + 4*h + 8, 3*k + 1 = k - 3*h. Suppose 6*i - k*i - 182 = 0. Does 21 divide i?
False
Let b(p) be the second derivative of -19*p**5/20 - p**4/3 - 2*p**3 - 2*p**2 - 64*p. Is b(-2) a multiple of 13?
True
Let x be 3/(-2)*236/(-6). Suppose 2*g - x = 5*l, g = l - 3*l - 29. Let b(i) = i**3 + 13*i**2 - 4*i + 16. Is b(l) a multiple of 17?
True
Let x be (-1050)/24 - (9/4 - 2). Let b = x - -49. Suppose -b*w - 3*t + 26 = -318, 2*w - 150 = 5*t. Does 35 divide w?
True
Suppose 0 = -2*o + 5*k + 2855, 0 = 5*o - 7*k + 4*k - 7147. Is o a multiple of 55?
True
Le