uppose 8328 = -285*d + 288*d. Is 5 a factor of d?
False
Let x = -42 + 50. Suppose 9*m - 10 = x*m. Suppose -2*y = -2*l + m, -8*l = -3*l + y - 25. Does 4 divide l?
False
Let x be 1 - (24/5)/((-1)/5). Suppose 5*n + 3680 = x*n. Does 10 divide n?
False
Suppose 0 = 2*k + 112 - 124. Suppose 0 = -k*f + 3186 + 1584. Does 33 divide f?
False
Suppose 5*f = 5*j - 50, 6 = 3*f - 0. Is (j - 0)*102/8 a multiple of 7?
False
Suppose -w + 37*w - 257219 = 165781. Does 41 divide w?
False
Let n = -370 + 668. Suppose -5*x + 187 = -n. Does 3 divide x?
False
Does 42 divide (7 - -347) + 72/12?
False
Let k(x) = 37*x - 5*x**2 - 12 - 2*x**2 + 16*x**2. Is k(-5) a multiple of 14?
True
Let b(t) = -t**3 - 10*t**2 - 14*t + 19. Let k be b(-8). Suppose -k*c + 4*r = 2*c - 5574, r + 5586 = 5*c. Does 86 divide c?
True
Let w be (2*15/(-12))/((-2)/(-4)). Let y(j) = 6*j - 2. Let c be y(w). Let x = 73 + c. Is x a multiple of 4?
False
Suppose -39*t = -10*t - 348. Let n(u) = -u**2 + u. Let o(j) = -6*j**2 + 17*j + 6. Let m(v) = -5*n(v) + o(v). Is 2 a factor of m(t)?
True
Let s(r) = 246*r - 162. Let y be s(6). Suppose 4*i + 3*d - d - y = 0, -4*i - 4*d = -1312. Is i a multiple of 6?
False
Is (-3 + -6 + 3)*(4 - (-2193)/(-9)) a multiple of 51?
False
Does 4 divide (-1 + 2*-960)*7/(-7)?
False
Let l(j) = -14*j**3 + 7*j**2 + 42*j + 47. Does 77 divide l(-9)?
False
Let z(s) = -2*s**2 + 20*s + 28. Let l be z(11). Does 39 divide (-1974)/(-3) - l/(12/(-10))?
True
Suppose 4*a - 12 - 56 = 0. Let t = 487 + a. Is 63 a factor of t?
True
Let l(f) = -7*f**2 + 6*f + 94. Let b(j) = -3*j**2 + 3*j + 47. Let g(n) = 5*b(n) - 2*l(n). Is 3 a factor of g(8)?
False
Suppose -3*g + 6*g + 23 = -5*c, 0 = -c + 4*g. Is (202/(c + 2))/(4 - 5) a multiple of 16?
False
Let l(c) = 1. Let d(g) = -2*g + 20. Let j(v) = -d(v) - 4*l(v). Suppose -5*m = -0*m - 95. Is j(m) a multiple of 7?
True
Let k(y) = -8*y**2 + 19*y + 128. Let r(g) = -18*g**2 + 37*g + 255. Let x(d) = -7*k(d) + 3*r(d). Is x(-16) a multiple of 8?
False
Suppose -13*x + 19*x - 1807430 = -55*x. Is 129 a factor of x?
False
Let a(x) = -x**2 - 4*x. Let h be a(0). Suppose h = -3*i - 41 + 569. Is 4 a factor of i?
True
Suppose -2*s = 0, -3*b + 5*b = -5*s - 10. Let i(d) = 26*d**2 - 17*d - 56. Is i(b) a multiple of 24?
False
Suppose -17*s + 7077 = -4279. Is s a multiple of 3?
False
Let j(x) = x**2 + 4*x - 26. Let a be j(4). Suppose 3431 = a*k + 707. Is 8 a factor of k?
False
Let x(v) = 1033*v**2 + 482*v - 3407. Does 173 divide x(7)?
False
Suppose 0 = -7*f + 19 - 12. Let r(h) = -h**3 + 13*h**2 - 12*h - 12. Let x be r(12). Is 5 a factor of (f + 0)*-35*x/14?
True
Suppose -4*u - 12 = -8*u. Suppose 3*z - 7 = -v, 5*z = -v + u*z + 6. Suppose -2*b + 729 = 3*b - 2*k, v*b - 3*k = 579. Is 40 a factor of b?
False
Suppose 8*s - 11*s - 5*i + 646 = 0, -s + 227 = 4*i. Let u = -185 + s. Does 11 divide u?
True
Is 26 a factor of 5 - -13545 - ((-33)/(-6) + -6)*0?
False
Is 161/(-414)*-42327*(-1 - (-3 + 0)) a multiple of 267?
False
Let n(k) = -446*k + 11149. Is 15 a factor of n(-16)?
True
Suppose 0 = 867*x - 853*x - 6720. Is 3 a factor of x?
True
Let n(s) = 6*s**2 + 2*s**3 + 0*s**3 + 3528 - 3518 - 6*s. Suppose b = 2*b + 2*g, -3*g + 14 = 5*b. Does 20 divide n(b)?
False
Let q(d) = 726*d**2 + d - 1. Let f be q(1). Is 5 a factor of (f/(-99))/(4/(-174))?
False
Let k be -4 - ((-245)/21 - 4/(-6)). Suppose 5*q = -m + 42, -4*m = -1 - k. Suppose 79 = 3*z + a + 4*a, 2*a = -q. Is 7 a factor of z?
False
Let c(j) = j. Let k(d) = 3*d - 21. Let w(u) = 2*c(u) - 2*k(u). Let y be w(12). Does 21 divide ((-1)/(-2))/(y/(-2880))?
False
Suppose 5*d + 3*m - 89 = 0, -5*m + 3 = 3*d - 44. Let a = d - -332. Does 13 divide a?
True
Suppose -15*r + 90 = -0*r. Suppose -3*x - 108 = -5*a + r*a, -3*x - 330 = 3*a. Let j = a + 137. Is j a multiple of 3?
False
Let z(b) = -5*b - b**2 - 9*b + 591 - 589. Let m be z(-14). Suppose -2 = -m*n, 12*n + 611 = 4*j + 7*n. Is 22 a factor of j?
True
Let c be ((-3955)/(-5))/7*1. Suppose 0*n - n + 2*q + c = 0, 2*q = 5*n - 541. Is n a multiple of 24?
False
Let i = 92 + -88. Let q be ((-6)/i - -2)*(6 + -6). Suppose 4*a + 7*x - 3*x - 204 = q, 173 = 3*a - x. Is 7 a factor of a?
True
Let u = -20302 - -39574. Does 88 divide u?
True
Let h(p) = 78*p + 551. Does 3 divide h(14)?
False
Let s be 1/3 - (-5)/(180/(-212772)). Is 3 a factor of 53/8 - 7 - s/16?
True
Does 57 divide 43/(-43) - (-5 + -5483)?
False
Let s = 5 + -3. Suppose -s*q = -9*q. Suppose f + 25 - 78 = q. Does 11 divide f?
False
Let m(u) = 17*u - 448. Does 75 divide m(51)?
False
Suppose -4*b + 140864 = -4*g, -25 - 10 = -5*g. Does 14 divide b?
False
Let w(h) = 4*h**3 + 11*h**2 - 2*h - 21. Let a(q) = 3*q**3 + 12*q**2 - 3*q - 20. Let t(i) = 5*a(i) - 4*w(i). Is t(7) a multiple of 44?
False
Suppose -11*o + 13*o - 1592 = 0. Suppose -5*c + 4*m = -o, 5*c - 776 = -2*m + m. Suppose -c = -4*t - 8. Does 3 divide t?
False
Suppose -2*d + 14 = 2*q, 3*d - 15 = -5*q + 10. Suppose q*g = 3*g + 4. Is 10 a factor of (-1496)/(-153) + g/(-18)?
True
Suppose -3*o + 4*r - 4055 - 3529 = 0, 5*r - 5063 = 2*o. Let d = -1789 - o. Is d a multiple of 44?
False
Let m(w) = -213*w + 1. Is 10 a factor of m(-3)?
True
Let z = -21480 - -21856. Does 8 divide z?
True
Let o(g) = -g**3 + 16*g**2 + 7*g + 31. Let z be (55/22)/((-2)/(-8)). Is o(z) a multiple of 60?
False
Suppose -39 = 4*i + 81. Let z be (24/i)/((-2)/340). Suppose -5*s = -14 - z. Is 4 a factor of s?
False
Let n(w) = -21*w - 105. Let r be n(-9). Let t = r - -112. Is t a multiple of 6?
False
Suppose r + 15009 = y, -5*r = 8*y - 5*y - 45091. Is y a multiple of 30?
False
Suppose 0 = -p + 236 - 251. Is p + 10 - (-2 + -237) a multiple of 43?
False
Let r be -8*4/8 - -7. Is -2*r - (1 - 36) a multiple of 10?
False
Suppose 12*f - 4048 = -5*f - 27*f. Is f a multiple of 92?
True
Let f(o) = -o + 22*o**3 + 7*o + 14 - 21*o**3 - 8*o**2. Let u be f(7). Let s = 3 + u. Is 2 a factor of s?
True
Is 4 a factor of (-13)/1 + (-14130)/(-9)?
False
Suppose 27 = 2*q + 13. Let m(p) = 14 - 45 + p**2 + 12 + q*p. Is 25 a factor of m(-11)?
True
Is 61 a factor of ((-10773)/(-4) + 1)/(2*12/96)?
False
Let f(u) = -25*u + 4. Suppose -3*x + 5*c - 95 = 0, -5*x + 22 = -2*c + 212. Let k = 37 + x. Is f(k) a multiple of 9?
False
Let b(d) = -d**2 + 4*d - 4. Let y be b(5). Let n = -71 + 71. Is 4 a factor of 20 - n*3/y?
True
Let u = -476 - -848. Suppose 0*y = -3*y + u. Suppose 0 = 16*j - y - 100. Does 4 divide j?
False
Let p be (12 + -33)/(2/(-12)) + 4. Suppose 5*v - 1620 = -5*d, -4*v + p = 5*d - 1166. Is 9 a factor of v?
True
Let v be (-33)/(-15) - (-4)/(-20). Suppose 48 = v*x + x. Suppose -11*j = -x*j + 90. Is 15 a factor of j?
False
Let l(m) = -5115*m - 2323. Is l(-11) a multiple of 98?
False
Let u(d) = d**2 + 11. Let v be u(-7). Suppose -v = -2*b - 0*b. Suppose -5*l - 5*y + b = -45, 0 = -4*l - y + 54. Is l even?
False
Let b = -47 + 47. Suppose u - 310 = 5*i, -3*i + b*i + 1020 = 3*u. Is 8 a factor of u?
False
Suppose 9*n = 5*n. Suppose n = -x + 6*x - 1095. Is 72 a factor of x?
False
Suppose -302 = -9*x - 104. Suppose -f + 4*u - 4 = -0*f, -x = -3*f - 5*u. Is f*(-1 - -6)*34/5 a multiple of 10?
False
Let w(a) be the first derivative of -3/2*a**2 - 16*a - 1/4*a**4 - 42 - a**3. Is w(-4) a multiple of 6?
True
Suppose 2*g - 335 = -5*f, 5*g = f + 474 + 404. Let l = 556 + -264. Let w = l - g. Does 8 divide w?
False
Let y(x) = x + 2. Let o be y(3). Let j be 7/(21/(-6)) - -3*18. Suppose 4*k - 656 = 4*g, -2*k - j + 392 = -o*g. Is 29 a factor of k?
False
Let y = 1852 + -968. Suppose 2*k - 4*i - 84 = y, 5*i = -5*k + 2390. Is k a multiple of 20?
True
Suppose 0 = 5*n - 2*n - 5*d - 19036, 25323 = 4*n + 5*d. Does 6 divide n?
False
Let i = 232 + -87. Let v = i + -41. Is 6 a factor of v?
False
Let b(q) = 30*q**2 + 22*q - 19. Is b(-13) a multiple of 66?
False
Suppose 71*k = -26*k - 40*k + 1168884. Is k a multiple of 59?
False
Let j(i) = -i**3 - 2*i**2 + 2*i - 7. Let w(b) = -4*b**2 - 4*b - 3. Let k be w(-1). Let y be j(k). Does 3 divide 612/21 - y - 2/14?
True
Let x = 51 + -3. Let l = -44 + x. Suppose f = -l*o + 5*f + 332, o - 92 = 4*f. Is o a multiple of 20?
True
Suppose 130777 = 18*q + 29473. Does 84 divide q?
True
Suppose 6*f - 31 = -13. Suppose -3*o + 816 = 4*p + 123, 0 = -f*p - o + 521. Let y = -135 + p. Is y a multiple of 3?
True
Suppose -10*w + 5*w - t = -700, -t + 560 = 4*w. Suppose -5*l +