e -1 + 6/(3/10 - o). Suppose 0 = 2*m - l - 18, -5*m - l = 3*l - x. Does 4 divide m?
False
Suppose -11 = -7*j - 4. Suppose 4*o - 172 = 4*n, -41 + j = -o + 2*n. Suppose 0*l + 2*l - o = 0. Is 7 a factor of l?
False
Suppose -3*x = -4*g + 539, -6*g + 272 = -4*g - 2*x. Suppose -1014*b + 1005*b = -1827. Let i = b - g. Is 24 a factor of i?
True
Suppose -8 = -2*b - 2*b. Suppose 0 = 21*v + b*v - 7659. Does 24 divide v?
False
Suppose 0*c = -4*c + 32. Suppose -c*o = -4*o - 792. Is 11 a factor of o?
True
Let q(h) = h + 278. Let y be q(-17). Suppose 0 = -273*v + y*v + 5304. Is 8 a factor of v?
False
Suppose -2*m + 18 = -2*q - 284, 5*q + 443 = 3*m. Suppose 0 = -3*z - 0*z - m. Let g = 86 + z. Is g a multiple of 4?
False
Let d(l) = -1705*l + 1692*l + 46 - 2*l**2 + 3*l**2. Is d(16) even?
True
Suppose 0 = -17*a + 11*a - 18. Let y be -4 + -1 + (-3)/a. Let p(k) = 3*k**2 + 8*k + 9. Does 9 divide p(y)?
False
Suppose p = -k + 6*k + 25, -4*k = 4. Suppose 0 = 5*o - 10*o - p. Does 4 divide -3 + 0/o - -43?
True
Let k(s) = 2794*s + 3490. Is 90 a factor of k(5)?
True
Suppose 2*g = -4*f - 5 - 7, -5*g - 6 = 2*f. Let t be (-15)/6*((-1358)/10 - 3). Suppose -2*u = -5*p - t, g - 4 = -4*p. Does 9 divide u?
False
Let l(g) = -g**3 + 81*g**2 - 66*g - 67. Does 19 divide l(79)?
True
Suppose 0 = 5*x + 2*o - 543, 8*x - 3*x + 3*o = 547. Let n = x - 104. Suppose -70 = -a + 5*v, n*a - 4*v - 314 = -104. Is a a multiple of 5?
True
Let u be (3 + 0)*((-168)/9)/(-7). Let p be (1 - (u - 2)) + 5. Suppose p = -3*n - 3*d + 236 + 253, -5*d - 489 = -3*n. Is 16 a factor of n?
False
Suppose -15416 = -11*q + 1920. Suppose -q = 32*b - 5160. Is 112 a factor of b?
True
Suppose 28*j - 23*j = 3*z + 66, -j + 5*z = 0. Suppose -j*n + 10*n = -3125. Is 4 a factor of n?
False
Let a(f) = -110*f**3 - f**2 - f. Let z be (-10)/14 + (-10)/35. Is 22 a factor of a(z)?
True
Suppose 38096 = 59*p - 137960. Does 8 divide p?
True
Let j(p) = p**2 + 16*p**3 - p - 1 - 2*p**2 - 15*p**3. Let z be j(2). Does 24 divide -3 + -102*(z - (-6)/(-4))?
True
Let s(o) = -6*o + 18. Let g be s(-14). Suppose g = 367*f - 364*f. Is 17 a factor of f?
True
Let a(d) = -274*d**3 - d**2 + 7*d - 6. Let w be a(1). Let s = 426 + w. Does 32 divide s?
False
Let k(w) = -199*w + 1591. Is 35 a factor of k(-11)?
True
Let q be 558831/(-690) + 2/(-20). Let c = q - -1637. Is c a multiple of 7?
False
Suppose -53*d + 289799 + 189877 = 40094. Is d a multiple of 6?
False
Does 78 divide -21 - 20280/(-12) - (0 + 5)?
False
Suppose 81*d - 331825 + 101235 = 394244. Does 137 divide d?
False
Is 19 a factor of -1*(-2)/(-6) - (-47 + 6902941/(-237))?
False
Let j(u) = -4*u - 13. Let c be j(-14). Let d(o) = 34*o - 3 + 7 - 3 + c*o. Is d(1) a multiple of 13?
True
Let a(s) = -2*s + 8. Let i be a(6). Let n(v) = v**3 + 5*v**2 + 3*v - 4. Let k be n(i). Is 13 a factor of (1 - k)/(2/212)?
False
Suppose -117 = -55*w + 42*w. Suppose 113*z + w = 114*z. Does 4 divide z?
False
Suppose 8504 = -2659*w + 2661*w - r, -5*w + 21253 = r. Is 19 a factor of w?
False
Let b = 9672 - 5872. Is 40 a factor of b?
True
Let u(y) = 3*y**2 + 90*y - 1. Let t be u(-30). Does 25 divide (29 + t)*(-2700)/(-378)?
True
Let v = -1869 + 955. Is 57 a factor of (v/36 + (-3)/27)*-38?
True
Suppose 0 = 6*u + 4 + 2. Let k(s) = -1180*s + 6. Let y be k(u). Suppose -10*o + 214 + y = 0. Is 21 a factor of o?
False
Let l = 10858 + -9670. Does 10 divide l?
False
Suppose 2*n = -5*m + 18, 0*n - 3*m = 5*n - 26. Let r(l) = -l**2 + 11*l + 247. Let j be r(22). Suppose -w - 39 = -i, -j - n = -3*w. Is 4 a factor of i?
False
Let o = -74 + 83. Let b = o - 0. Is 2 a factor of 60/b - ((-2)/6 - 0)?
False
Suppose -11*b + 5*b - 6 = 0. Let t be (76/(-6) - 3)/(b/9). Let h = t + -82. Is h a multiple of 8?
False
Suppose m = -14*l + 17*l + 633, -3*m - 4*l + 1834 = 0. Suppose v - 4 = 0, -2*a + m = v - 406. Does 34 divide a?
True
Let v(q) = -91*q - 96. Let i(a) = -a**2 - 14*a - 51. Let t be i(-5). Is v(t) a multiple of 6?
True
Let p = -723 - -723. Suppose -3*t + 4*q = -382, p = -5*q - 0*q + 25. Is 7 a factor of t?
False
Let y = 69 - 67. Suppose h + 451 = -0*i + 2*i, -h = y*i - 461. Is i a multiple of 12?
True
Suppose 3*c = 3*b - 30, -2*b + 8 + 19 = 5*c. Let k = b - 5. Suppose -110 - 82 = -k*x. Is x a multiple of 3?
False
Let y(f) be the first derivative of f**6/120 - 7*f**5/120 + f**4/4 - 10*f**3 + 34. Let x(v) be the third derivative of y(v). Is 3 a factor of x(4)?
False
Let k = -86 - -87. Suppose -k = -r + 2*p, -2*p + 19 = 5*r + 2*p. Suppose r*w - 6*u + 10*u = 27, -18 = -2*w + 2*u. Does 9 divide w?
True
Let b(n) = n**3 + 16*n**2 - 11*n - 30. Let f(g) = -g**3 - 3*g**2 + 3*g + 9. Let r be f(-3). Suppose r = 30*h - 26*h + 64. Does 18 divide b(h)?
False
Let b = -615 - -373. Let z = b + 480. Is z a multiple of 16?
False
Let h = -108 + 104. Is 1/h + (-8360)/(-32) a multiple of 21?
False
Suppose -3*n + 34 = -80. Let p be n/10 + (-24)/30. Suppose 3*d - 12 = 0, -4*d + 84 = 5*o - p*d. Is o a multiple of 4?
True
Is -6 + 8 + 2 - (-14501 - -5) a multiple of 101?
False
Let s(u) be the second derivative of -2*u**5/15 - 13*u**4/6 + 3*u**3/2 - 13*u. Let w(o) be the second derivative of s(o). Is 9 a factor of w(-10)?
True
Let i be 4449/(-33) + (-6)/33. Let v = 34 - i. Is v a multiple of 13?
True
Let z be 78/15 - 2 - (-15)/(-75). Suppose 3*j = z*v + 2679, -3*j + 2678 = 14*v - 16*v. Does 23 divide j?
False
Let p = -62 + 68. Let v be 3/2 - (-2055)/p. Suppose 4*q = 2*o + v, 3*o = -4*q + 42 + 322. Is 13 a factor of q?
False
Suppose 18*h + 6*h - 15024 = 0. Suppose -3*b - h = -l, 0 = -l - l + b + 1272. Is l a multiple of 22?
True
Is 9 a factor of 1/(4/(-12898))*94/(-47)?
False
Let t be -3 - (3 - (4 + -2) - 4). Let b(s) = -s**3 - 3*s**2 - 2*s + 2. Let y be b(-2). Suppose t = -d - y + 17. Is 11 a factor of d?
False
Let l(g) = 4*g**2 - 13*g - 30. Let y be l(-5). Let x = 73 + y. Is x a multiple of 16?
True
Let h be -3*((-2)/(-3))/(-2). Let i be (-5 - (-4 + h))/((-2)/28). Suppose -7*m + i + 35 = 0. Is m a multiple of 9?
True
Let s = 87 + -82. Suppose -s*v - 1 = -2*h, -3*h - v + 3 + 7 = 0. Suppose -2*z = 5*f + z - 563, -z = h*f - 337. Is f a multiple of 28?
True
Let n = 36 + -36. Suppose n = -4*c + 569 + 167. Is c a multiple of 39?
False
Let g(x) = 51*x - 162. Let f be g(3). Let v(t) = 4*t**2 + 15*t + 3. Is v(f) a multiple of 48?
True
Suppose 0 = 2*j + 4*n + 8, 5*j + 529*n = 532*n - 7. Let m = 16 + -10. Is 91 - (-3 - m/j) a multiple of 16?
False
Suppose 11*n - 16270 - 18248 = 0. Is n a multiple of 83?
False
Suppose -5*x + 4*a - 2*a = 212, -4*x = 4*a + 192. Let c = x - -44. Suppose c = -f - 0*d - 4*d + 26, d + 43 = 2*f. Is f a multiple of 2?
True
Let g(b) be the third derivative of b**5/60 - 3*b**4/4 + 11*b**3/3 - 24*b**2. Let y be g(17). Suppose 3*r - y*l = 26, -r - l + 8 = -6. Is 9 a factor of r?
False
Suppose -g + 2329 + 2632 = -m, 5*g - 24811 = 4*m. Does 10 divide g?
False
Let t(g) = 5*g + 5. Let v(f) = -f + 2. Let b(l) = t(l) - 30*v(l). Does 48 divide b(5)?
False
Let r = 11149 + -1218. Does 146 divide r?
False
Let h(f) = -17 - 3*f**3 - 6*f + 7 + 7 - 6*f**2. Let s be -1 + 0 - (1 - -2). Is 16 a factor of h(s)?
False
Let h = -2902 - -4246. Is 64 a factor of h?
True
Let y be 9/(162/(-4)) - (-48824)/36. Suppose -y = 5*m - 3696. Is 39 a factor of m?
True
Let m(i) = 3*i**2 + 25*i - 18. Let z be m(-11). Let j = z + 117. Does 23 divide j?
False
Suppose 2*s + 318 = -4*i + 1874, 4*i - 2*s - 1540 = 0. Is 9 a factor of i?
True
Let y = -29 + 31. Let d be 5/y*(-6 + (-190)/(-25)). Suppose 0*m - 612 = -d*m. Is m a multiple of 27?
False
Suppose -9*n + 16*n - 20216 = 0. Suppose 33*t = 41*t - n. Does 19 divide t?
True
Suppose -4*g = 2*y - 124, g - 6*y - 31 = -3*y. Suppose -g*f + 756 = -27*f. Is f a multiple of 8?
False
Let j(u) = -18*u**3 + 4*u**2 + 59*u + 161. Is 86 a factor of j(-10)?
False
Let l = 39 + -37. Let k be (-2)/l*(6 - 18). Suppose -u - k = -3*u. Is 3 a factor of u?
True
Let g(i) = -i**2 - 19*i - 16. Let y be g(-18). Let s(v) = -7*v**2 + 3*v**2 + 11*v**y - 4 - 3*v. Is 13 a factor of s(3)?
False
Let i = -18516 + 23180. Is 22 a factor of i?
True
Does 30 divide ((-258)/5)/((-16)/280)?
False
Let w = 74 - 65. Is 1 - (-5102)/6 - 3/w a multiple of 17?
False
Let b(g) = 35 - 11 - g + 2*g. Let a be b(-13). Let u(h) = h**2 - 9*h + 2. Does 6 divide u(a)?
True
Suppose -101*j + 413024 = 19124. 