5*i - 3*h + 4, -18 = -2*i - 2*h. Suppose -i*p + 10 + 16 = 0. Suppose 4*g + 278 = 5*f, -f - p*f - 2*g = -158. Is 33 a factor of f?
False
Let l(n) be the second derivative of -n**4/12 + 2*n**3 - 17*n**2/2 + 3*n. Let p be l(11). Does 2 divide 13 - (-2 - -2)*p/(-18)?
False
Let p be (-96)/(-9) - 8/12. Let f(w) = -w**2 + 21*w - 70. Is f(p) a multiple of 5?
True
Let j(d) = 1006*d**3 - 6*d**2 + 9*d - 12. Does 11 divide j(2)?
True
Suppose 0 = 7*p - 16*p + 702. Suppose -3*l - 4*a = a - p, 5*a - 120 = -5*l. Is 11 a factor of l?
False
Suppose 2*n + 15 = 5*n. Suppose -o - 5 = -n*g + 3*g, 2*g - 20 = -2*o. Suppose -t = -3*z + 12 + 95, 0 = -2*z - o*t + 94. Is 12 a factor of z?
False
Is 3 a factor of (-3993)/(-4) + (2 + (-140)/64)*-4?
True
Suppose 63560 = 29*f - 18*f + 29*f. Is 7 a factor of f?
True
Suppose -34*r + 42399 = -13*r. Is r a multiple of 5?
False
Suppose 5*i = 25, -1250 = 5*t - 10*i + 11*i. Let j = 6 - t. Is 5 a factor of j?
False
Let b(y) = -280*y - 440. Let x(u) = -3640*u - 5719. Let v(p) = -77*b(p) + 6*x(p). Let k(t) = 9*t + 14. Let s(z) = 63*k(z) + 2*v(z). Does 6 divide s(4)?
True
Suppose -11*h - 1149 = -3*i - 14*h, 3*i = -2*h + 1144. Does 3 divide i?
True
Suppose 16 = 4*d, -5*w - d + 4803 + 3601 = 0. Let c be 1/(1 + w/(-1684)) - -2. Let y = c + -294. Does 26 divide y?
False
Let d be 4 - (7 + -4) - (-25)/(-1). Let n = -24 - d. Suppose 5*h - 216 + 51 = n. Is h a multiple of 11?
True
Let y = 4489 - -22714. Does 105 divide y?
False
Let z(r) = -1620*r - 1588. Is 9 a factor of z(-4)?
False
Suppose -3*c = -0*c - 4*v - 31, -5*v = 4*c. Suppose -4*q + 401 = c*r - 1680, -5*q = -20. Is r a multiple of 59?
True
Let z(n) = 2*n**3 - 13*n**2 + 41*n + 7. Suppose 1 = -j, 2*v + v - 22 = -2*j. Is 38 a factor of z(v)?
False
Let w be 6825 + 44 + (2 - 1). Suppose -4*d = 11*d - w. Does 19 divide d?
False
Suppose 2*p - p - 8 = 0. Suppose u - c - p = -4*u, c = 2. Suppose -6*r = -u*r + 4*s - 300, 4*s + 340 = 4*r. Is r a multiple of 5?
True
Let z be (-18)/(-27)*(-25284)/8. Let o = z - -3059. Does 56 divide o?
True
Let u = 288 + -215. Suppose 57 = -u*q + 74*q. Is q a multiple of 25?
False
Let c(r) = -3*r - 2. Let t be c(-2). Suppose -2*n - t*d = -76, -5*n + d - 2*d = -208. Suppose 5*u - 6*u = -n. Does 14 divide u?
True
Suppose -2*v - 105 = -7*v. Suppose -v*c + 22*c = 293. Let n = -207 + c. Does 13 divide n?
False
Suppose 11*m + 3736 + 1764 = 0. Let x = m + 957. Is x a multiple of 63?
False
Let n = -5037 - -8581. Does 5 divide n?
False
Let v be 5*1 - (-44)/(-22). Suppose 5*r + 5*c = 30, 0*r = 2*r - 3*c + v. Suppose -q + 209 = 7*y - 4*y, -r*q = -4*y - 601. Is q a multiple of 13?
False
Suppose -20152 = 32*q + 37*q - 80*q. Is q even?
True
Let w = -431 - -584. Suppose -w*b + 1260 = -139*b. Is b a multiple of 9?
True
Let b be (-1)/3*6 - -273. Let w = 352 - b. Is 9 a factor of w?
True
Let z be (-64)/20 + 3 + 534/(-30). Is ((-9)/(-4))/(27/z)*-16 a multiple of 2?
True
Suppose 18*o = 19*o - 228. Let d be o/2*(-3)/(-6). Suppose z = d - 20. Is z a multiple of 4?
False
Let r(u) = 331*u + 523. Is r(0) a multiple of 21?
False
Let l(t) = -t**3 + 4*t**2 - 3*t + 7. Let j be l(3). Let d(u) = 4 + 4 - u**3 - 19*u - 7*u**2 + j*u. Does 22 divide d(-6)?
True
Let u be (-1 + -1)*6/(-3). Let z = -1943 + 2957. Suppose -u*t = -z + 254. Is t a multiple of 19?
True
Let m(z) = z**3 + 52*z**2 - 67*z + 30. Is m(-51) a multiple of 72?
True
Let z(k) = -13053*k**3 + 143*k + 143. Does 229 divide z(-1)?
True
Suppose 22 = u + 4*r, -r - 110 = -5*u - 3*r. Suppose 10*m + 144 = u*m. Is 4 a factor of m?
True
Let w = 314 - 299. Suppose -438 = -20*c + w*c - 2*j, 355 = 4*c - 3*j. Is c a multiple of 2?
True
Is 25 a factor of ((-20)/45)/(-2) + 7610963/261?
False
Let p = 16 - 10. Let b(a) be the third derivative of 13*a**4/24 - 8*a**3/3 - 533*a**2 - 2. Is b(p) a multiple of 31?
True
Let f(h) = -1. Let c(a) = -78*a + 14. Let i(z) = -c(z) - 4*f(z). Is i(6) a multiple of 39?
False
Let a = 3 + 100. Suppose 0 = 102*k - a*k + 199. Does 11 divide k?
False
Let u(g) = -g**3 - 21*g**2 + 101*g + 28. Let q be u(-25). Suppose 5*z - 131 = 4*t + q, -64 = -2*z - t. Is z even?
True
Let h(o) = -o**3 + 7*o**2 + 8*o - 26. Let a be h(8). Is (a/(-13))/((-2)/(-377)) a multiple of 13?
True
Let f = -64 + 65. Let h be 3 + f*(1 - 800/(-4)). Suppose 6*u = h + 12. Does 23 divide u?
False
Let s be (-12)/22 - (-52920)/220. Let l = -180 + s. Is l a multiple of 14?
False
Let m(k) = -k**3 - 56*k**2 - 105*k + 356. Let o be m(-54). Suppose 0*d - 2*d + 34 = 0. Suppose -o + d = -s. Does 35 divide s?
False
Let n(j) = -2*j**2 + 21*j - 264. Let t be n(26). Let k = t - -1946. Does 13 divide k?
False
Let m(j) = 76*j + 97. Let v(o) = -4*o + 1. Let f(c) = -m(c) + 6*v(c). Is f(-15) a multiple of 18?
False
Does 18 divide ((-570)/(-7))/((-1)/(-42))?
True
Let b(k) = -5*k**3 - 100*k**2 + 64*k - 65. Is b(-28) a multiple of 181?
True
Suppose -157*h + 20653440 = 53*h + 110*h. Does 7 divide h?
False
Let t be (16 + -25)/((-3)/15). Is 18955/t - (-5 + 235/45) a multiple of 13?
False
Let m(b) = 324*b - 906. Does 69 divide m(16)?
True
Let r(p) = -20*p + 147. Is 47 a factor of r(-42)?
True
Suppose 160 = -5*v + 415. Let h(s) = -33*s + v*s - 41*s. Is 5 a factor of h(-3)?
False
Let n(v) = -9*v**3 + 2*v**2 - 3*v - 4. Let o be n(-1). Does 32 divide (-72501)/(-195) + (-8)/o?
False
Let n(l) = 35*l. Let w = 121 + -116. Is n(w) a multiple of 17?
False
Suppose 269*l - 13162 = -4*a + 271*l, -5*a + 4*l + 16454 = 0. Is 46 a factor of a?
False
Suppose 1558 + 1028 = 3*c - 8*d, d = 2*c - 1737. Is c a multiple of 4?
False
Suppose 2*q + 5 = 5*v - 1, 4*q - 18 = -5*v. Suppose -f - 4*x = -12, -q*x - 2 + 20 = f. Is f a multiple of 2?
True
Is 28 a factor of (-1876)/(-3 - ((-33)/(-6) - 8))?
True
Let v(n) = 11*n - 57. Let c(p) = -5*p + 28. Let l(b) = 9*c(b) + 4*v(b). Let g = 20 - 20. Is 12 a factor of l(g)?
True
Suppose 42724 = -67*i - 43*i + 403634. Does 6 divide i?
False
Let y(k) = 18*k**2 + 137*k + 6. Is y(6) a multiple of 18?
True
Let b = -31 + 1. Let p = -23 - b. Is p even?
False
Let m be 0 + 117/15 - (-24)/120. Suppose -m*y = 11*y - 152. Is 4 a factor of y?
True
Let t = 13 - 9. Let n(a) = -1 + 5*a + 0 + t - 6 + 12*a**2. Is 20 a factor of n(3)?
True
Is (214 - 36)/((2/21)/2) a multiple of 42?
True
Let z(k) be the first derivative of 79*k**3/3 + k**2/2 + 11*k + 56. Does 14 divide z(3)?
False
Suppose 0 = -21*r + 28*r - 714. Let m = 280 - r. Does 5 divide m?
False
Let j(i) = 30*i**3 - 19*i**2 + 77*i + 60. Is j(6) a multiple of 44?
False
Let u(y) be the first derivative of 5*y**2/2 - 6*y + 23. Let t be u(2). Suppose 0 = -t*a - 5*j + 550, j - 81 = -a + 56. Is a a multiple of 15?
True
Let n(u) = -328*u + 177. Let f be n(-17). Suppose 3984 = 7*x - f. Does 19 divide x?
False
Let n = -18195 - -27360. Does 13 divide n?
True
Suppose -20*g = -11*g - 18. Does 17 divide ((4 + -4)/g + -221)/(-1)?
True
Let p = 788 - 78. Suppose -m = o - p, 2*o + 589 = 2*m - 827. Does 13 divide m?
False
Let c = 6106 + -5443. Is 13 a factor of c?
True
Let y(v) = 91*v + 1607. Is y(148) a multiple of 15?
True
Let o(u) be the second derivative of -u**3/6 + u**2 - 24*u. Let g be o(15). Does 2 divide (-53 + g)*((-3)/2 - -1)?
False
Suppose -11*a = 5*c - 14*a - 2355, -c - 3*a + 453 = 0. Suppose 4*s - 501 - c = -3*h, 1615 = 5*h - s. Does 17 divide h?
True
Suppose -f = h - 26 + 3, -f = -3*h + 61. Let r be (((-12)/(-14))/(h/98))/(-2). Does 15 divide 5 - -172 - ((-2)/r - 4)?
True
Let i(n) = -n**2 - 2*n - 2. Let u be i(-1). Let r be 1/(3/(-2)*u/6). Suppose -q = -r*q + 456. Does 38 divide q?
True
Let m = 690 + -690. Suppose 3*d - r - 2705 = m, -4 = -r - 0. Does 13 divide d?
False
Suppose 22*c - 3*u - 5346 = 20*c, c - 5*u = 2666. Is 6 a factor of c?
True
Is 128 a factor of 26 + -31 - (2 - 100498)/4?
False
Let u = 188 + -179. Let t(j) = -j**3 + 7*j**2 + 22*j - 13. Does 23 divide t(u)?
True
Suppose -2 = n - 0. Let o be (3 - 1)*(-672)/n. Suppose -11*u + 3*u + o = 0. Is u a multiple of 8?
False
Let i(v) = v**2 + 13*v - 98. Let p be i(-19). Suppose p*h + 128 = 17*h. Does 27 divide h?
False
Suppose -250545 - 138975 = -30*z. Is z a multiple of 76?
False
Suppose 3*r - 1059 = -156. Let g = 420 - r. Is 23 a factor of g?
False
Let w = 3962 - -4870. Is 92 a factor of w?
True
Let m(z) = z**2 - 8*z + 15. Let g be m(6). Let r(o) = -o + 45 - 2*o - g*o + o. Is 1