e 133 = -s + 625. Let h = s + -277. Suppose -4*k + h = -5*f, -4*k - f = -4*f - 225. Is 30 a factor of k?
True
Let s(k) = k**3 + 4*k**2 - 2*k + 2. Let i be s(-4). Let g be i/25 + 17/(-5) + 28. Does 20 divide 1/(g/3990) + (-2)/(-5)?
True
Let r(y) = 2*y**2 + 5*y - 7. Let w = -166 - -314. Let d be (w/14)/(-2) + 4/14. Is 5 a factor of r(d)?
False
Suppose -14 = l - 5*n, 2*l - n - 1 = -11. Does 28 divide l + (-3 + 4)*116?
True
Let m(l) = -47*l**3 - 8*l**2 - 2*l + 217. Is 26 a factor of m(-6)?
False
Let b = -33 + 36. Suppose 366 = -4*j + 2*m, 274 = -b*j - 3*m + 5*m. Is (1 + j/12)/((-4)/6) a multiple of 7?
False
Suppose 54*r = -45305 + 406835. Is 11 a factor of r?
False
Let x(s) = -s**3 + 26*s**2 - 52*s + 119. Let y be x(24). Suppose -20*d + y*d - 1137 = -2*u, d = 4*u - 2309. Is 12 a factor of u?
True
Suppose 36*k + 39 - 39 = 0. Suppose -3*a - 14*z + 9*z + 2059 = 0, k = -3*a - 4*z + 2060. Is 10 a factor of a?
False
Suppose 0 = -97*m + 513*m - 1431040. Is 16 a factor of m?
True
Let v(r) = 26*r**2 + 5*r + 5. Let i(s) = -2*s**3 + s**2 - s. Let o be i(1). Let z be v(o). Suppose z = 4*b - 21. Is b a multiple of 15?
True
Suppose 0 = p + 2*r - 18388, 117*p - 120*p - 4*r = -55180. Is 5 a factor of p?
False
Let s = 706 - -526. Suppose 112*l - s = 104*l. Is 14 a factor of l?
True
Suppose 3*l = 9, -4*z - 39 = -4*l + 3*l. Let j(t) = -t**3 - 6*t**2 + t - 9. Is j(z) a multiple of 38?
False
Suppose -x + 4*w = -22599, -2*x - 5*w = -7*w - 45216. Is x a multiple of 36?
False
Let d be (-6 + 10 - 97)*-5. Let j = d - -140. Is j a multiple of 55?
True
Let o(x) = -x**3 + 16*x**2 + 62*x + 75. Is o(17) a multiple of 15?
True
Suppose -46*p = -27*p - 12616. Suppose 0 = 2*h - k - 374, 5*h - 271 = -4*k + p. Does 14 divide h?
False
Let g(m) = -m**2 - 5*m. Let u be g(-4). Suppose -5*q - p = -3, -8*q = -u*q + p - 3. Suppose q = y, 4*i + 4*y = -0*i + 268. Does 16 divide i?
False
Let q = 263 + -305. Let x(f) = 225*f**2 - f + 1. Let c be x(1). Let l = q + c. Is 31 a factor of l?
False
Let w = -43 + 65. Suppose 5*d - 6*d - w = 0. Let i = 34 + d. Does 6 divide i?
True
Suppose -9*g + 9 = -6*g. Suppose -5*b + 265 = 2*n - 350, -4*n = -g*b + 395. Is 20 a factor of b?
False
Suppose 5*f - 38851 = -3*o, 1666*f - 1671*f - 4*o = -38843. Does 123 divide f?
False
Is 4 a factor of 2/3*(19 + (-343)/(-2))?
False
Let i(a) = -11*a - 49. Let j be (1 + -3)/(-2) + 16. Let g be i(j). Let w = g + 376. Is 35 a factor of w?
True
Let r(d) = -7*d**3 - 10*d**2 + 2*d + 14. Let l(j) = 13*j**3 + 21*j**2 - 5*j - 29. Let g(z) = -4*l(z) - 7*r(z). Does 9 divide g(-6)?
True
Suppose -70*a = 75*a - 44*a - 287749. Is a a multiple of 68?
False
Suppose -18*l = -14*l. Suppose l = -2*n - 140 + 364. Does 16 divide n?
True
Let q = 1137 - 341. Suppose -p = -i - 2*i - q, -2*p = 2*i - 1584. Is p a multiple of 12?
False
Suppose -3*p + 34*p - 1023 = 0. Suppose 548 = u - 2*m, 0 = -p*m + 36*m + 15. Does 23 divide u?
False
Suppose -6 = -2*y, -3*k = 2*k - 5*y - 270. Let m = 82 - k. Is 14 a factor of ((-286)/10)/((-5)/m)?
False
Suppose -7 = 3*r - 16. Suppose 3*q - 9 = 0, a + r*q = 2*q + 7. Suppose 0 = 5*n + 5*u - 20, n + u - a = 6*u. Is 2 a factor of n?
True
Let z = 269 - 276. Let r(b) = 21*b**2 + 9*b - 55. Is r(z) a multiple of 73?
False
Suppose 70*b + 2*n = 71*b - 870, -4*b + 2*n + 3492 = 0. Does 46 divide b?
True
Let v(r) be the second derivative of 4*r**3/3 + 23*r**2/2 + 22*r. Let k be v(15). Suppose -k = 17*o - 347. Is 3 a factor of o?
True
Let x(r) = 807*r**3 - r**2 - 8*r + 9. Let t be 22/55*5/2. Is x(t) a multiple of 35?
False
Let x(v) = -53*v**2 + 2*v - 2. Let h be x(-1). Let c = h - -369. Does 13 divide c?
True
Let m(o) = -5*o + 30. Let s be m(5). Suppose 0*w - 5*w - 5*f + 15 = 0, 4*w - s*f = 12. Suppose -4*j - 4*a + 140 = 0, -w*j + 4*a + 22 + 55 = 0. Does 31 divide j?
True
Let a = -312 - 99. Let h = a + 515. Is h a multiple of 8?
True
Suppose 62*j - 18 = 53*j. Suppose 254 = j*x - 290. Does 38 divide x?
False
Let f be ((-4)/(-12))/((-6)/(-558)). Suppose f + 5 = h. Let d = 69 - h. Is d a multiple of 8?
False
Let d(x) = -15*x**3 + 2*x**2 + 10*x + 75. Is 30 a factor of d(-5)?
True
Suppose -5*b = -188 + 8. Suppose -7*r + b = -20. Does 2 divide r?
True
Suppose 5*w = 8*y + 2941, -2*w + 10*y + 1171 = 5*y. Does 3 divide w?
False
Is (-130)/15*(-5419 - (-15)/15) a multiple of 172?
True
Suppose -5*d + 14 + 6 = 0. Suppose -3*s - d*p = 1114, p + 867 = -4*s - 601. Is 6 a factor of (2 + s/21)*(-98)/21?
True
Let r = -5479 + 9355. Does 51 divide r?
True
Let v(t) = t**3 + 5*t**2 - 2*t - 7. Let o be v(-5). Suppose -g = 1, -z - 5*g + 26 = -34. Suppose -5*l + o*i + z = -0*l, l - 13 = -2*i. Is l a multiple of 4?
False
Suppose -3*u + 18 + 2 = 4*j, j - 5 = u. Suppose 7*a - 132 + 363 = u. Let h = a - -81. Is h a multiple of 24?
True
Let o = -47347 + 75004. Is o a multiple of 11?
False
Let a(d) = -2*d**3 + 28*d**2 + 3*d - 48. Let v be a(14). Does 12 divide 0 - (v + 198*(-6 - -1))?
True
Is (2/4)/(103675/241878 - 3/7) a multiple of 9?
False
Let z be (-16)/80 + (-2)/(-10). Suppose z = -10*u + 12 + 28. Suppose 4 = -2*j, v - u*j - 114 = -v. Is 6 a factor of v?
False
Does 36 divide 1/((-380364)/(-27168) - 14)?
False
Let u = -9272 - -15808. Is u a multiple of 152?
True
Let m = -92 + 96. Suppose -4*g + 5*o - 106 = -6*g, 0 = -g + m*o + 40. Does 8 divide g?
True
Suppose 9*v - 355 = 77. Is (v/(-9) + 5)*-2838 a multiple of 11?
True
Let r(l) = 20*l**2 + 0*l**3 + 7 + 7 - l**3 - 2 - 25*l. Let b(v) = -7*v**2 - 103*v + 48. Let y be b(-15). Is r(y) a multiple of 18?
False
Let i be (9/45)/((-1)/(-10)). Suppose 5*m + 6 = -3*p, p + 3*m - i = -8. Suppose u + 567 = 4*s, 4*s - 597 = p*u - 8*u. Is s a multiple of 34?
False
Suppose -o = -4 + 2. Suppose -3*l - 5*a - 11 = 11, o*l + 23 = -5*a. Suppose 6*v - 37 = -l. Does 6 divide v?
True
Suppose 5*h + 61 = 21, -d = h - 680. Is 8 a factor of d?
True
Let f be (-6)/4 + (-66)/(-12). Let w(n) = 2*n - 2. Let s(l) = -8*l**2 - l - 11. Let q(g) = -s(g) + 3*w(g). Is 36 a factor of q(f)?
False
Let p = 522 + -522. Suppose 3*q + x - 3718 = p, 0*q - 5*x + 2470 = 2*q. Is q a multiple of 20?
True
Let c = 94838 - 45940. Is c a multiple of 145?
False
Let a(b) = 7*b**3 + 5*b**2 - 47*b - 12. Let k(j) = 8*j**3 + 4*j**2 - 46*j - 11. Let z(l) = -7*a(l) + 6*k(l). Does 15 divide z(-16)?
True
Let b be -124*710/(-15) + 4/(-3). Is 51 a factor of (-30)/50 - b/(-5)?
True
Suppose 71147 = 10*c + 27827. Does 38 divide c?
True
Let w be 51/(-24)*(-6 - 2). Suppose -2*y + 256 = 2*l, 21*l - 517 = w*l - 5*y. Does 10 divide l?
False
Let b(r) = r**2 - 4*r + 9. Let w be -9*(-44)/24*(0 - -2). Suppose 5*k = -3*s + 32, -4*k + 5*s = -0*k - w. Does 10 divide b(k)?
True
Suppose -n + 771 = -c - 2*c, 2*n - 3*c - 1539 = 0. Is n even?
True
Let m(u) = u**3 + 3*u**2 - 7*u - 9. Let y be m(-4). Suppose -y*h = 2*h. Suppose h = -15*g + 17*g - 24. Is 12 a factor of g?
True
Let u = 1457 - -181. Suppose 20*m - 13*m - u = 0. Does 16 divide m?
False
Let h(d) = 11*d**2 - 3*d - 3. Let r be h(-1). Let m(b) = b**3 - 10*b**2 - 8*b - 24. Does 9 divide m(r)?
True
Let s = 113 - 111. Suppose 6 = -0*k + s*k - 3*z, -k = -3*z - 6. Suppose 0 = -k*d + d - 20. Is 20 a factor of d?
True
Suppose -509 = -y + 1333. Let r = -1295 + y. Suppose 9*a - 218 = r. Does 22 divide a?
False
Suppose 5*s - d - 1761 = 0, 1758 = 5*s + d + d. Suppose 0 = -f - 3*f + s. Let k = f + -78. Does 5 divide k?
True
Let w = -293 - -297. Suppose 4*b - 476 = 5*i, -2*b - 238 = -4*b - w*i. Is 3 a factor of b?
False
Let h be (-2)/(2/93)*-2. Let k = 150 + h. Is k a multiple of 4?
True
Suppose 56*o - 3505 = 51*o - j, j = -4*o + 2803. Is 6 a factor of o?
True
Let v = 20535 - 10543. Suppose -34*g + v = -3472. Is g a multiple of 9?
True
Suppose 223*t + 32 = 227*t. Suppose -t*p - 93 = -261. Is p a multiple of 2?
False
Let p = 577 - 567. Does 19 divide ((-1005)/150)/(4/p)*-32?
False
Let i be 2304/((-5 - -3)/2). Does 48 divide ((-605)/44 - -13)/(2/i)?
True
Suppose -3*l - 2 = -4*p + 27, p = -1. Does 78 divide 67/(-11) + 6 - 3433/l?
True
Suppose -2*l - 2*k = -12052, 0 = 4*l - 6*k + 9*k - 24103. Does 35 divide l?
False
Let x(s) = -157*s**3 - 39*s**2 + 5*s + 7. Does 13 divide x(-3)?
False
Suppose -420*b + 401*b = -119966. Is 15 a factor of b?
False
Let s = 8128 + -7812. Does 3 divide s?
False
Suppose -v = -0*v + 39. Let b = -34 - v. Suppose 4*w = -2*q +