j = v + a. Is j a multiple of 2?
True
Is 25 a factor of ((-15 - 5) + -1)*(-1728)/16?
False
Suppose 6 = 11*z + 6. Suppose z*m = 4*m + 3*w - 5796, 2*w = 0. Does 23 divide m?
True
Suppose 0 = 36*n - 248708 - 147724. Does 14 divide n?
False
Suppose 4*z = -a, -3*a - 3*z = -0*z - 45. Let m = a - -8. Let q = -7 + m. Is 7 a factor of q?
True
Suppose 4*f + 5*m = 174060, -5*f - 418*m + 421*m + 217649 = 0. Is f a multiple of 71?
False
Let f(u) = 2 - u + 3*u - 2*u**2 - u. Let n be f(-6). Let r = n - -136. Does 5 divide r?
True
Let b = -1744 + 5594. Is 35 a factor of b?
True
Let m(f) = f**3 - 10*f**2 - 9*f + 5. Suppose 4*h + 11 = 5*h. Let i be m(h). Is 6 a factor of i - (8 + -3 + -2)?
True
Let i(u) = -11*u - 76. Let c be i(-6). Let f = c - -36. Is 11 a factor of f?
False
Let s = 774 - 444. Suppose -2*a - 4*y - 460 = 0, -2*a - y - s = 133. Let h = 378 + a. Does 28 divide h?
False
Let a = -3284 - -11219. Does 15 divide a?
True
Suppose 2*p - 1480 = -2*j, 32*p - 2959 = 28*p - 5*j. Does 19 divide p?
True
Suppose -4*o = 3*p - 3, 0*o - o + 4*p - 4 = 0. Suppose -5*t + 2*s = o, -t + 13 = -0*t - 3*s. Does 5 divide ((-6)/((-18)/(-15)))/(t/4)?
True
Let u = -258 + 261. Suppose -2*x + 0*a + 1091 = a, -u*a - 1071 = -2*x. Does 24 divide x?
False
Let l be (38/(-14) - -1)*7. Let v(u) be the second derivative of u**5/20 + 13*u**4/12 + u**3/2 - 6*u**2 + 1295*u. Is 16 a factor of v(l)?
True
Let g(b) = -336*b - 3. Let z be g(-6). Suppose 0*n + 4*r - z = -3*n, -3*r + 3366 = 5*n. Is 11 a factor of n?
False
Suppose -m + 7054 = 2*v, 2*m - 3834 = -5*v + 13804. Does 8 divide v?
False
Let c(w) = -2*w**3 - w - 1. Let u(s) = 8*s**3 + 9*s - 1. Let t(h) = 2*c(h) + u(h). Is t(3) a multiple of 9?
True
Let z(o) = 0*o**3 + o**3 - 1 + 0 + 2*o - 6*o. Let c be z(-2). Is -3 - (-6)/2 - (c - 13) a multiple of 11?
False
Suppose -d - 2*z = 111, 44 = -d - z - 64. Let f = -27 - d. Suppose 3*o - 108 = -4*u, 3*o = u - 4*u + f. Is u a multiple of 8?
False
Suppose 0 = -11*m + 13*m - 6. Suppose 4*v = m*f - 254, -2*f - 4*v + 2*v + 174 = 0. Is 7 a factor of f?
False
Suppose 9*h = 4*h + 660. Suppose h = 5*k + 27. Suppose 3*s = -k + 363. Is 43 a factor of s?
False
Is (0 - -6)*(30 + 67184/26) a multiple of 11?
False
Let o(u) = -22*u + 19. Let w(b) = 2*b**2 + 15*b - 16. Suppose -4*g - 7 - 25 = 0. Let y be w(g). Does 39 divide o(y)?
True
Let g be 536/24 - (7/3 + -3). Let u(d) = d**3 - 21*d**2 - 43*d - 15. Is u(g) a multiple of 6?
True
Suppose -9*u - 5*u = -47516. Suppose 2549 = 3*v + 5*t, 4*v + 6*t = 4*t + u. Does 53 divide v?
True
Let k(f) = 305*f + 395. Is 268 a factor of k(69)?
True
Suppose 34 = 3*p + a, 48 = -2*p + 6*p + 2*a. Suppose -p + 0 = -5*m. Is 4 a factor of -7*m*-12*3/42?
True
Suppose 4*r - 7 = 9. Suppose -4*a - 32 = -4*x + 68, r*a + 12 = 0. Is 22 a factor of x?
True
Let q(m) = -m**2 + 4*m - 8. Let b(j) = j**2 - 3*j + 7. Let d(n) = 5*b(n) + 4*q(n). Let r be d(-6). Suppose 37*a - 564 = r*a. Does 9 divide a?
False
Let l(t) = t**3 + 7*t**2 - 22. Suppose 14*a = 15*a - 36. Let w = 30 - a. Is l(w) a multiple of 2?
True
Suppose 8*s - 678 = -654. Is (15 - 12)/(s/577) a multiple of 74?
False
Let t(p) = 26*p**3 + 26*p**2 - 159*p + 18. Is t(12) a multiple of 18?
True
Let r be 9 + -13 - (21*-1)/3. Suppose -q + r = 1. Suppose 0 = 3*x + w - q*w - 407, -x - 4*w + 140 = 0. Is x a multiple of 14?
False
Suppose 3*i + 9 = 0, -18*n + 19*n = -3*i + 872. Is 5 a factor of n?
False
Does 23 divide ((6/1)/(54/(-33408)))/(6/(-57))?
False
Let k(g) be the second derivative of 11*g**4/12 - 2*g**3/3 + g**2 - 13*g - 3. Does 20 divide k(-4)?
False
Suppose -5*n - 17 = -2*y, 13*n = -y + 11*n + 4. Is 11 a factor of (-3 + (-376)/y)*-6?
False
Suppose -4*m + 15*a = 18*a - 88, 5*a - 80 = -4*m. Suppose -773 - 6102 = -m*t. Does 51 divide t?
False
Suppose 7*i - 4368 = 3*i - 4*l, -4*i + 4431 = -5*l. Is i a multiple of 7?
True
Suppose -2*x + 5*z + 369 = -1794, 7*x - 2*z = 7555. Does 58 divide x?
False
Let g be 23 - -3 - (-6)/(-2). Let d = 17 + 3. Suppose d*i - g*i = -105. Is i a multiple of 6?
False
Suppose 4*b = 2*z - 476, 4*z + 209*b - 206*b = 963. Does 48 divide z?
True
Let n = -4947 + 8439. Is n a multiple of 28?
False
Suppose 76*c = 91*c - 272850. Does 192 divide c?
False
Let g(f) = -11*f**2 + 492*f + 167. Does 14 divide g(39)?
False
Let x = -25 + 28. Let d be 118*(x + 5/(-10)). Suppose 4*n = d + 65. Is n a multiple of 6?
True
Suppose 2295 = 5*m - 5*b, b - 2*b = 5*m - 2301. Is 2 a factor of (6/12)/(5/m)?
True
Suppose 23*y - 16074 + 4804 = 0. Is y a multiple of 46?
False
Suppose 48*o - 49*o = -3720. Is o a multiple of 40?
True
Suppose -3*w + 5 = -46. Suppose -w = -l + 2*b, -2 - 14 = 4*b. Suppose l*x - 250 = 4*x. Is x a multiple of 25?
True
Suppose 2*y - i = -19382, 2*y + 3*y + 2*i + 48464 = 0. Does 15 divide y/(-17) + 22/(-187)?
True
Suppose 0 = -s + 749 + 109. Let g = s + -538. Is 16 a factor of g?
True
Let m(l) = 180 + 11*l + 3*l**2 - 195 - 2*l**2. Let b(o) = 3*o + 2. Let q be b(2). Is 36 a factor of m(q)?
False
Suppose -13826 + 37208 = 14*u - 35390. Is u a multiple of 4?
False
Let k(r) = -r**2 + 1. Let c(b) = 51*b**2 - 22*b + 4. Let t(j) = c(j) - 2*k(j). Is t(-2) a multiple of 7?
False
Let i(a) = -25*a - 2*a**3 + 3*a**3 + 3*a - 16*a**2 + 0*a**2. Is 6 a factor of i(18)?
True
Let w be ((-4)/(-12))/(43/(-21) + 2). Let s(v) = -v - 3. Let k be s(w). Suppose 0*r + 5*r - 5*p - 230 = 0, 2*r - 84 = k*p. Is 9 a factor of r?
False
Let o(v) be the third derivative of -333*v**6/40 - v**5/15 - 5*v**4/24 - 3*v**2 - 18*v. Is o(-1) a multiple of 8?
True
Let c = -83 + 3878. Does 23 divide c?
True
Suppose -2521967 - 1026107 = -51*j - 650560. Does 51 divide j?
True
Suppose -44*h - 65*h = -166*h + 520695. Is 37 a factor of h?
False
Suppose -3544 = -50*f + 46*f - 4*a, -1 = -a. Does 15 divide f?
True
Let d(z) be the second derivative of -7*z**6/360 - z**5/20 + 13*z**4/6 - 21*z. Let a(q) be the third derivative of d(q). Is 25 a factor of a(-4)?
True
Let p be (-2908)/((6 - 1)/(-5)). Suppose -5*o + 8*q + 3631 = 7*q, 0 = -4*o + 4*q + p. Is 11 a factor of o?
True
Suppose 5*c + 56*v - 22671 = 58*v, 0 = 5*c - 3*v - 22669. Does 134 divide c?
False
Let c = 109409 + -73208. Does 9 divide c?
False
Let i(n) = 2*n**3 - 160*n**2 + 450*n + 188. Is i(78) a multiple of 35?
False
Let u = -6665 - -7195. Does 10 divide u?
True
Let f be ((-17)/4)/((-9)/(-12) - 1). Suppose 3*z = -4*m + 152 - f, 2*z = 3*m - 80. Suppose 8*c + m = 11*c. Does 3 divide c?
False
Let j(x) = x**2 + 3*x + 4. Let g be j(-3). Suppose -6*q + g*q + 3*w = -9, -3*q + 42 = 5*w. Let h = 31 - q. Is h a multiple of 11?
True
Let n(q) be the third derivative of -q**6/120 + q**4/8 + 56*q**3 - 7*q**2 + 4*q. Is n(0) a multiple of 42?
True
Let q(f) = 590*f**2 + 695*f + 6350. Is q(-9) a multiple of 305?
True
Let v(z) = -45 - 16*z + 10*z**2 + 37*z - 23*z + 43. Let s = -6 + 4. Is v(s) a multiple of 21?
True
Suppose d - 412 = -3*y, 5*y - 686 = -0*d - d. Suppose y = 5*u - 2*g, u - 2*u = -4*g - 13. Suppose 317 = 4*a + 4*s + u, 4*s = 8. Does 5 divide a?
True
Let l be -8 - 312/(-40) - 4/(-20). Suppose 2408 = 4*t - 4*b, l*t - 4*b = 2*t - 1180. Is t a multiple of 23?
True
Suppose 4*t + 28 = 2*t. Let g = t + 16. Suppose -2*j = 4*i - 90, 0 = -0*j - 3*j - g*i + 115. Does 6 divide j?
False
Let p = 6422 - -7931. Does 10 divide p?
False
Suppose -31*u - 96 = -25*u. Is 15 a factor of 18724/48*3 - (-4)/u?
True
Suppose -4*b - w + 6*w = -14, -5*w = 3*b + 7. Suppose -7*k = -12*k - 90. Let l = b - k. Does 8 divide l?
False
Let h = 2778 + 4372. Is h a multiple of 13?
True
Let f = 295 + -139. Suppose -z = z - f. Suppose -z = -3*j - 0*j. Is j a multiple of 5?
False
Let k be (-1728)/(-6)*(-20)/(-3). Suppose 3*r = k - 201. Is 64 a factor of r?
False
Let i(s) = s**3 + 10*s**2 + 6*s + 86. Let v be i(-9). Suppose -v = 3*g - 977. Is g a multiple of 36?
True
Let q(b) = 5*b**2 + b + 2. Let c = 26 + -14. Suppose z - c = 7*z. Is q(z) a multiple of 18?
False
Let y = -518 + 520. Does 67 divide (y - (-361)/1) + 6?
False
Suppose 10*h - 84568 = -23*h + 248567. Is h a multiple of 20?
False
Let u be 2/((-4)/(-63) + 6/27). Suppose 8*h - u = 17. Suppose 2 = -3*l - h*r + 149, 5*r = -3*l + 143. Is l a multiple of 51?
True
Suppose 147*w - 1138877 = 740898 - 557804. Is 17 a factor of w?
True
Is 542445/12 - (-123)/492 a multiple of 56?
False
Let r be 0 + 7 + -18 + 11. 