). Let j = r - 35. Suppose 0 = -2*k + j*k - 216. Is 6 a factor of k?
True
Let m = -2 + 2. Suppose 7*h - 234 - 851 = m. Let f = 265 - h. Does 28 divide f?
False
Suppose 19*v = 14*v - 4*m + 178224, -4*m + 35664 = v. Is 88 a factor of v?
True
Let u(t) = -34*t**3 + 12*t**2 + 45*t + 39. Is u(-9) a multiple of 138?
True
Let c = -1049 - -5686. Suppose 291 = 11*t - c. Is 28 a factor of t?
True
Let f = -271 - -302. Let c be 34 - (-2 + -1 + 1). Suppose -f*v - 970 = -c*v. Does 20 divide v?
False
Let c be 3*(-1)/(-6)*10. Suppose -3*y = -c*y + 4*k + 212, y = -k + 115. Is 17 a factor of y?
False
Let z = 60 + -184. Let k be 3*16/12 - z. Suppose -4*o + 3*u = -190, -3*o + u = 6*u - k. Does 30 divide o?
False
Suppose z + 28022 = 20*v - 16*v, 14008 = 2*v - z. Is 3 a factor of v?
False
Suppose 4*q = -5*r + 316 + 30, -4*r = -2*q + 186. Let o(x) = 89 + 6*x - 192 + q. Does 28 divide o(7)?
True
Let q be ((-68)/(-85))/((-1)/(-20)). Suppose q = 4*g - 0*g. Suppose -5*b = -20, g*m - 768 = 12*b - 9*b. Does 22 divide m?
False
Let q(x) = 6*x**2 + 4*x - 40. Suppose 43*h = 33*h - 80. Is 20 a factor of q(h)?
False
Let a = 35863 - 19159. Does 59 divide a?
False
Suppose -13*f + 8*f + 4*x + 3 = 0, 4*f = 5*x - 3. Suppose -94 = -p - f*b + 138, -3*p + b = -656. Is 30 a factor of p?
False
Suppose -6*f + 63 = 15*f. Is (1 + (0 - f))/((-53)/6784) a multiple of 22?
False
Let j(b) = b**2 - 6*b + 7. Let i be j(5). Suppose 0 = -l + i*y + 2, -2*l - 2*y + 1 + 3 = 0. Suppose 0 = 2*x - 2, 0*x - 2*x = l*q - 28. Is q even?
False
Let v = 0 - -5. Let u = -429 + 630. Suppose -4*m - 3*c = -u, v*c + 3 = 2*c. Is m a multiple of 17?
True
Let p be (30 + (2 - 0))/((-1)/(-2)). Let t = 87 - p. Does 3 divide t?
False
Let u be 868/168 + 1/(-6). Suppose 4*y = 12, 17*f + 69 = 19*f - u*y. Is f a multiple of 42?
True
Suppose 0 = 12*c - 77109 + 15861. Is c a multiple of 116?
True
Let i = -310 - -328. Suppose -i*j + 3*g = -22*j + 912, 0 = 3*j + 5*g - 673. Does 7 divide j?
True
Suppose -3*u = -4*u - 46. Let a = -47 - u. Is (-2)/a*-2 + 31 a multiple of 9?
True
Suppose p + 7 = 8, p = -2*v + 11. Suppose -5*w + 1275 = v*f - 620, -4*w + 1486 = -2*f. Is 34 a factor of w?
True
Is (444/(-10))/(4/(-450)*9) a multiple of 3?
True
Let l = 33497 - 28525. Is 243 a factor of l?
False
Suppose 4*w - 7*w = -30. Let y be (0 + w)/((-32)/(-64)). Suppose -2*v = -28 - y. Does 3 divide v?
True
Let t(w) be the third derivative of -w**6/120 + 17*w**5/60 - 7*w**4/24 - 3*w**3/2 - 162*w**2. Is t(12) a multiple of 33?
True
Let m = -103 + 105. Suppose -2*x - 15 = -5*k + 2*x, 5*k + m*x - 45 = 0. Let t(w) = 2*w**2 - 11*w + 1. Does 3 divide t(k)?
False
Suppose -4 = 4*g + 8. Let n be g/((-12)/16 + 0). Suppose -n*y + 226 = -118. Is y a multiple of 43?
True
Does 17 divide (46521/36)/(2/24)?
False
Suppose -5*q - 7 - 13 = -u, u = -2*q - 8. Suppose 7*d + u*d - 21 = 0. Suppose 2*p = 0, 3*p = -d*g - 0*p + 195. Does 7 divide g?
False
Let k(y) = -6*y - 29. Let d(a) = 1. Let z(v) = 2*d(v) - k(v). Let w = -5568 + 5584. Is 23 a factor of z(w)?
False
Let i(f) = f**3 - 3*f**2 + 2*f + 7. Suppose -4*q - 1 = 11, 7 = b - q. Suppose -b*r + 2 = -5*c, -2*r - c + 1 = -7. Does 2 divide i(r)?
False
Suppose 0 = 2*p - 12 + 6. Let j(z) = 8*z**3 - z**2 - 7*z - 5. Let c be j(p). Suppose c = 4*y + 61. Does 16 divide y?
False
Let j be (-2)/(-4) - (-1815)/10. Suppose 0 = 3*z + 5*r - 217, -3*z + j = -0*z - 2*r. Suppose 16*f + z = 18*f. Is 8 a factor of f?
True
Let g(p) be the third derivative of p**5/12 - 5*p**4/24 - 5*p**3/2 + 73*p**2. Does 5 divide g(4)?
True
Let w = -120 + 120. Suppose -425 = -5*i + 4*n, w = -0*i - 4*i - n + 361. Let k = i + -65. Is 9 a factor of k?
False
Suppose 0 = -41*x + 42185 + 19069. Suppose 0 = 2*m + 2*s - 0*s - x, 4*m - s - 2963 = 0. Does 14 divide m?
True
Is 3 a factor of (-8)/(-84) - 4308/(-42)*70/21?
True
Let r(f) = -f**3 + 9*f**2 + 3*f - 9. Let z(n) = n**2 - 4*n - 7. Let j be z(4). Does 13 divide r(j)?
True
Let v(j) = 1 + 5*j - 4 + 2*j - j**2 + 0*j. Let r be v(6). Suppose 0*g - 5 = 5*g, -3*d = r*g - 195. Does 6 divide d?
True
Suppose -5*f = 4*c - 0*c - 41, -4*c = 2*f - 14. Is 80 a factor of 20157/12 - f/(-36)?
True
Let v(a) = -6 + 1 + 8*a + 5. Suppose 0 = -2*n - 5*j - 6, -4 = -2*n - j - 2. Is v(n) a multiple of 4?
True
Let v = 3 - -66. Suppose v = 2*f - w - 110, -3*f + 266 = -4*w. Is 9 a factor of f?
True
Suppose -219*f = -222*f + 441. Suppose -6531 - f = -6*d. Is 53 a factor of d?
True
Suppose -52*w = -47*w - 425. Suppose 3*k - w = 809. Is k a multiple of 8?
False
Suppose -7*n - 10 + 38 = 0. Suppose -2*v + 20 = -5*p, -5*v + v + 12 = n*p. Does 16 divide 2 + 0/4 + (p - -176)?
True
Suppose -y + 3*x + 20438 = 0, 61301 = 3*y - 608*x + 612*x. Is y a multiple of 55?
False
Is 463840/780 + 8/6 a multiple of 4?
True
Let j = 116 + -132. Is 196*(76/j + 5) a multiple of 13?
False
Let d = -45 - -58. Suppose d*m - 15*m = -8. Let u(y) = 2*y**2 - 3*y - 4. Is u(m) a multiple of 4?
True
Let l(u) = 2*u - 24. Let f be l(12). Suppose f = -4*o + m + 1245, -627 = -2*o - 0*o - m. Suppose o = -0*k + 8*k. Is 8 a factor of k?
False
Suppose 1538 = 3*d - 6694. Suppose d + 676 = 10*t. Does 19 divide t?
True
Let f = -623 - -627. Suppose 3*j = -j + 16. Suppose -u + 35 = -g + 6*g, -j*u + 108 = f*g. Is u a multiple of 3?
False
Let m(n) = 2*n**3 + 11*n**2 - 20*n + 2. Is 10 a factor of m(6)?
True
Let s be (-2 + 47/15 - (-246)/(-1845))*132. Suppose 273 = 5*n - 847. Suppose 2*g = 2*r - n, r + 4*g - g = s. Is 18 a factor of r?
False
Let c(a) = a**3 - 3*a**2 - a - 1. Let m be c(4). Let p(i) = -m*i**3 - 3*i - 86 + 2*i + 2*i - 3*i**2 + 88. Is 2 a factor of p(-1)?
False
Let z(h) = 34*h + 1074. Does 72 divide z(87)?
True
Is 885199/49 + -3 + (-30)/105 a multiple of 22?
True
Let d = 1143 + -316. Suppose 0 = 4*f + r - 0*r + d, 2*r + 1036 = -5*f. Let i = 317 + f. Is 7 a factor of i?
False
Is 18 a factor of 0 - (-1077 - (15 + -30))?
True
Suppose -6 = 2*k + 4*g, 4*k + 8 + 8 = -4*g. Suppose -71*l + 77*l = 516. Let d = k + l. Is 10 a factor of d?
False
Suppose 12*t + 21*t - 74415 = 0. Is t a multiple of 41?
True
Suppose 1256*b = 1252*b + 40783 + 37105. Does 131 divide b?
False
Let z = -15687 - -20374. Is z a multiple of 4?
False
Suppose -3*x = 4*l + 1409, -1842 = 4*x - 3*l + l. Let z = -49 - x. Suppose -z = 19*w - 25*w. Is 23 a factor of w?
True
Suppose -6*w + 739 = 397. Is 3 a factor of w?
True
Let f = 8 + -4. Suppose 0 = -f*q - q + 25. Suppose -4*s = q*s - 513. Is s a multiple of 19?
True
Let n = 50 + -60. Let k be ((-4)/n)/((-1)/(-1805)). Is k/3 + 42/(-63) a multiple of 30?
True
Let z(k) be the first derivative of k**5/40 + k**4/2 - 19*k**3/3 - 18. Let u(f) be the third derivative of z(f). Is 5 a factor of u(3)?
False
Let j be (-8244)/(-81) + 2/9. Let x = j - 20. Suppose 0 = t - 15 - x. Is t a multiple of 22?
False
Let g(v) = -663*v - 8897. Does 19 divide g(-64)?
True
Let o(z) = 20*z - 7. Let c be o(3). Let w = c - 53. Suppose -5*r - m + 564 = w, -85 = -r + 2*m + 30. Does 8 divide r?
False
Let i(b) = -4*b**2 - 260*b + 253. Is i(-12) a multiple of 4?
False
Suppose -4*c + 9 = -167. Let k = c - 37. Suppose s + 96 = k*s. Is s a multiple of 3?
False
Let n(r) = -r**2 + 12*r + 4. Let f be n(12). Suppose 2*a = a + f. Suppose a*h - 4*u - 268 = 0, 6*h - 329 = h + 3*u. Is 16 a factor of h?
True
Let n(u) = u**3 - 5*u**2 - 3*u + 8. Let z be n(6). Let q = -30 + z. Is 591/39 + q/26 a multiple of 2?
False
Let z be 2/(-8) - 26/(-8). Suppose -1221 = -2*t - z. Does 21 divide t?
True
Suppose y = 5*y + 3*d - 439, 4*d - 20 = 0. Suppose -4*i = -i - 12. Suppose -a - i = -y. Does 34 divide a?
True
Let g(i) be the third derivative of -3*i**4/2 - 98*i**3/3 + 5*i**2 - 8*i. Does 58 divide g(-28)?
True
Let b be (390/(-117))/((4/345)/(-2)). Let t = -205 + b. Is 37 a factor of t?
True
Suppose 12588 = 29*y - 25*y. Suppose -1987*g - y = -1990*g. Is g a multiple of 32?
False
Let g = 25622 - -18170. Is 112 a factor of g?
True
Suppose 4*s = -69 - 51. Let p = s + 1. Is (3 - p) + (3 - 1) a multiple of 6?
False
Is ((-648)/(-30) - 12)/(6*(-3)/(-48360)) a multiple of 32?
True
Let u(v) = -48*v + 289. Let i be u(6). Is 37 a factor of (0 - i)/((-6)/3738)?
False
Let s(b) = 16*b**2 + 23. Let i(x) = 4*x**2 + 6. Let r(o) = 9*i(o) - 2*s(o). Does 14 divide r(-5)?
False
Let d = 24 - 16. Suppose 315 = 16*v - 1029. Is 5019/v - (6/d - 1) a multiple