z*u + 5*f - 5, 2*u = 3*f. Is -3*(-1 + -21 + u) a multiple of 6?
False
Suppose 19*c + 70*c = 702299. Is 15 a factor of c?
False
Let r be 4/(3/(-620)*40/(-48)). Let s = -423 + r. Does 14 divide s?
False
Suppose 15*o - 20*o - 10 = 0. Is 30 a factor of o/((-4)/(-18))*(-100)/6?
True
Let j(f) = f**3 + 20*f**2 - 2*f - 39. Let y be j(-20). Does 32 divide 202/((-2)/(16*y/(-2)))?
False
Suppose -4*r = -2*z - 0*r + 12, -6 = z + r. Let w(y) = 3249 - 6505 + 3251 + 8*y**2. Is 9 a factor of w(z)?
True
Let d(c) = c**2 - c - 82. Let h be d(10). Suppose 0 = -0*w - h*w + 840. Is 32 a factor of w?
False
Suppose -p - 3*o = -6774, -20332 = -93*p + 90*p - 4*o. Is p a multiple of 15?
True
Let f(o) be the first derivative of -49*o**2/2 + 7*o + 41. Is f(-4) a multiple of 20?
False
Let a(n) = -3*n**3 + 27*n**2 + 99*n + 30. Let c(s) = -s**3 + 9*s**2 + 33*s + 10. Let b(w) = 3*a(w) - 8*c(w). Does 48 divide b(10)?
True
Suppose 9005*b - 8987*b = -39352 + 217282. Is 15 a factor of b?
True
Let d(q) = -86*q**2 + 4*q - 5. Let x(y) = 85*y**2 - 4*y + 6. Let r(p) = -7*d(p) - 6*x(p). Let l be r(-1). Suppose 2 = -n + 5, -n + l = 2*u. Is 11 a factor of u?
False
Is 2/(-2 + 185715/92850) a multiple of 61?
False
Suppose -u - 2*u + 1278 = 0. Suppose -u - 214 = 5*l. Let c = l + 271. Is c a multiple of 33?
False
Let a = -3180 + 3572. Is 49 a factor of a?
True
Let b(h) = h**3 - 27*h**2 + 8*h - 38. Let u be b(27). Suppose i + 216 = 4*w - 3*i, -i = 3*w - u. Does 2 divide w?
True
Suppose -4*i = -69*q + 65*q + 4448, 4*q - 3*i = 4446. Does 10 divide q?
True
Let s = -1360 - -2720. Is s a multiple of 15?
False
Let s(f) = -2*f**3 + 4*f + 11*f**2 + 2*f**3 - 6*f**2 + 12 - f**3. Is s(-6) a multiple of 22?
False
Let y(k) = k**3 + 4*k**2 + k + 3. Let q be y(-2). Suppose 0 = -q*a + 12 + 24. Does 21 divide ((-2)/(-7) + (-2598)/(-168))*a?
True
Suppose -15*l + 166 = 61. Let t(k) = k**3 - 5*k**2 + 5*k - 9. Let s be t(l). Let x = s + -68. Does 8 divide x?
True
Let w(u) = 20*u**2 - 5*u + 16. Suppose 6*d + 291 - 309 = 0. Is 48 a factor of w(d)?
False
Suppose 2*d = -5*a + 265, -3*a = -4*d + 2*a + 545. Suppose 27 = -2*q + d. Does 9 divide q?
True
Suppose 209*y - 208*y = -30. Let h(b) = -b**2 - 36*b - 15. Does 11 divide h(y)?
True
Let h = 619 + 3705. Suppose -4*l + 0*l = -h. Is l a multiple of 47?
True
Let b = -15574 - -33592. Is 33 a factor of b?
True
Let h = -565 + 825. Let k = 396 - h. Is k a multiple of 34?
True
Let w = 5979 + -1371. Is w a multiple of 64?
True
Let w = -1423 - -4874. Is 119 a factor of w?
True
Let m be 28/182 + 4/(-26). Suppose m = -9*s + 7*s + 226. Is s a multiple of 3?
False
Let z(j) = j**3 - 7*j**2 - 7*j + 2. Let v be z(8). Suppose -v*u = -u + 63. Let d(c) = c**3 + 7*c**2 + c + 30. Is d(u) a multiple of 3?
False
Is 56397 + (-1 - 15/(-5))*2 a multiple of 10?
False
Let h(a) = -2*a**2 - 4*a + 385. Let g(o) = -2*o**3 - 5*o**2 + 5*o + 6. Let n be g(-3). Does 52 divide h(n)?
False
Let v(c) = 662*c**2 - 67*c + 170. Does 12 divide v(9)?
False
Let v(s) = -3*s**3 - 72*s**2 + 24*s - 7. Is v(-25) a multiple of 3?
False
Let h = -2848 - -3706. Is h a multiple of 3?
True
Let d(a) = -a**2 + 5*a + 30. Let r be d(6). Let w(v) = 6*v - 124. Does 10 divide w(r)?
True
Let l(k) = 1035*k**2 - 588*k - 1755. Does 21 divide l(-3)?
True
Suppose 4*y + 2*h + 33 = -25, 3*y + h = -46. Let f = y + 182. Does 15 divide f?
True
Let o(y) = y**3 + 8*y**2 + 5*y + 3. Let m be o(-8). Let p = -46 - m. Is (-48)/p*3/2 a multiple of 3?
False
Let a = -898 + 608. Let c = a + 591. Does 6 divide c?
False
Let j(l) = 32*l**2 + 114*l - 884. Does 3 divide j(7)?
True
Let j be 165/20 - ((-10)/(-8))/5. Let f be (-49)/28 - ((-2)/(-1))/j. Is 20 a factor of f - ((-18)/4)/((-3)/(-28))?
True
Let m(t) = -7*t**2 - 626*t - 131. Does 8 divide m(-89)?
True
Let y(x) be the second derivative of 17*x**3/2 - 117*x**2 - 271*x. Is y(8) a multiple of 6?
True
Let j(s) = -37*s. Let u be j(-3). Let b = -109 + u. Suppose -b*p + 7 = -17. Is 6 a factor of p?
True
Suppose 79*o - 85*o - 7884 = 0. Is 47 a factor of o/(-7) + 76/266?
True
Let z = 300 + -296. Suppose 595 = z*j - 1641. Is 57 a factor of j?
False
Suppose 1228 = v - 2*c - 106, -4*v + 4*c = -5328. Is v a multiple of 38?
True
Let j(k) = -4*k**2 + 31*k + 12. Let t be j(8). Let y(s) = -s**2 + 18*s - 5. Is 2 a factor of y(t)?
False
Let g(y) be the first derivative of -y**4/4 + 8*y**3/3 - 5*y - 89. Is 7 a factor of g(5)?
True
Let b be 4347/(-126)*2/(-3). Suppose 108 = -14*x + b*x. Is 6 a factor of x?
True
Let n = 4720 + -3628. Does 4 divide n?
True
Let q(l) = 4*l + 48. Let j be q(-12). Suppose -k - 2*r + 2 = 2*k, k + r = j. Suppose b + k*w = 2*b - 23, 5*w + 25 = 0. Is 6 a factor of b?
False
Suppose -201*r + 88*r + 47520 = -101*r. Is r a multiple of 45?
True
Let p = -57 - -82. Let c = p + -22. Suppose -2*f + 21 = c*i, -5*i - 2*f + 7*f + 35 = 0. Is i a multiple of 7?
True
Let d be 725/15 - 4/(-6). Let b be (50/6)/((-4)/(-60)). Let h = b - d. Does 18 divide h?
False
Let n(u) = u**2 - 4*u - 7. Let i be n(-2). Suppose -34 + 13 = -z + 2*o, -3*z - i*o + 19 = 0. Suppose -z = -b + 34. Is b a multiple of 10?
False
Let z(k) = -5*k**3 - 2*k**2 - 2*k - 1. Let j be z(-1). Let s(n) = -j*n**2 + 68 - 51 + n**3 - 9*n**2 - 8*n. Is 10 a factor of s(14)?
False
Suppose 5*r - 58975 = 2*r - 4*r. Does 199 divide r?
False
Let j = 2370 - 1556. Is j a multiple of 61?
False
Is 11 a factor of (16650/(-4050))/(1/(-99))?
True
Let o = 4 - 2. Let u be (-3 + -2 + 2)*(o + -1). Is 4 - (12/u + 2) a multiple of 3?
True
Is (1 - (-6)/(-10)) + (1804943/205 - -49) a multiple of 208?
False
Suppose -3*p = -3*w - 3, p - 2*p = -4*w + 8. Suppose -5*g - 30 = -w*j, -3*g - 3 = 3*j - 9. Suppose -60 = -5*m + j*r, 2*m - 23 = 5*r + 4. Is 2 a factor of m?
False
Suppose -2 = 7*h - 5*h + 2*k, -2*h - 3*k - 4 = 0. Is 12 a factor of 440 + h*(-1 - -2)*3?
False
Suppose -7651 = -6*d - 49. Suppose -3*u + 593 = 5*w - 1037, 0 = 4*w - 5*u - d. Is 7 a factor of w?
False
Let n(g) = -g**3 - 13*g**2 - 26*g - 30. Let x be n(-11). Let a(l) = 38*l + 173. Does 31 divide a(x)?
False
Let x(f) = -5*f - 2. Let y(h) = 1. Let m(q) = -x(q) + y(q). Let u be (-1)/((-4)/8) + -1. Is m(u) a multiple of 4?
True
Let d(y) = -6*y**3 + 7*y**2 + 12*y - 5. Let v(c) = 7*c**3 - 9*c**2 - 13*c + 5. Let m(q) = -6*d(q) - 5*v(q). Is m(-4) a multiple of 2?
False
Let g(b) = 6294*b + 2439. Is 10 a factor of g(2)?
False
Suppose 0*y + 5*y + 5 = 0. Let p be (y - 1) + 3 + 110 + -9. Let w = p - 72. Is 30 a factor of w?
True
Let u be -3*((-34)/(-6) - 5). Let o be u/(-2) - (18 - 4). Let m(a) = -a**2 - 19*a - 6. Does 24 divide m(o)?
True
Suppose x = 8*c - 3*c - 27654, 5*c - 27666 = 4*x. Does 7 divide ((c/(-40))/7)/(2/(-16))?
False
Let i be 3*1*(-25)/75 - -1208. Let a = i + -856. Is 27 a factor of a?
True
Is (1 - -9030)*7*(-9)/(-63) a multiple of 86?
False
Let o(p) = p**2 - 6*p + 5. Let h be o(6). Suppose 0 = -7*a + h*a - 4*t + 326, -5*a = -4*t - 871. Does 19 divide a?
True
Let i be -8*(-1 - (-10)/(-4) - -4). Let z(b) = -b**3 + 6*b**2 + 4*b + 10. Let y be z(i). Let j = 186 + y. Is 34 a factor of j?
True
Let r(k) = -30*k**2 - 4*k - 8. Let m be r(-3). Let t = -153 - m. Does 32 divide t?
False
Let n = 64 - -89. Let m(a) = -a + 17. Let q be m(13). Suppose -2*g = -q*y + 109 + 49, n = 4*y + 3*g. Is 13 a factor of y?
True
Does 8 divide (0 - 42/(-15))*(-269250)/(-75)?
False
Let l(d) = 28*d**2 - 92*d - 200. Is l(-15) a multiple of 8?
True
Let p(y) = y**2 + 16*y + 34. Let n(b) = -5*b**2 - 65*b - 135. Let k(l) = -2*n(l) - 9*p(l). Let x be k(16). Let d = x - -105. Does 17 divide d?
False
Suppose 17*h - 12 = 14*h. Suppose -5*l = 7*g - 2*g - 25, -2*l + 13 = 5*g. Suppose -l*r = -2*q - r + 152, h*q + 4*r = 264. Is 7 a factor of q?
True
Let l(t) = -215*t + 19. Let n be l(4). Let d = n + 931. Is 9 a factor of d?
True
Let l be (-28)/6 + 1 - 2/(-3). Does 13 divide (-1036)/l - (5 - 40/6)?
False
Suppose z = -2*z + 21. Suppose -o = z*o - 768. Suppose o = g + 3*g. Is 6 a factor of g?
True
Let m = 25185 - 24655. Is m a multiple of 5?
True
Let j = -224 - -157. Let k = 70 + j. Suppose k*l - 10*l + 231 = 0. Does 11 divide l?
True
Suppose -4*j - l = 420 - 4656, 4*l = -16. Does 20 divide j?
True
Let a = 21558 + -6943. Does 79 divide a?
True
Suppose 0 = -3*v - 12, 4*m - 481 - 251 = v. Is 26 a factor of m?
True
Let i(g) = g**3 - 16*g**2 + 6*g + 8. Let a be