2885/68)*(-1 - -5 - 0)?
False
Let i = 4708 - 1741. Is i a multiple of 43?
True
Let m be (20 - -82) + -1 + 3. Suppose -m = 19*q - 18*q. Let u = q + 136. Does 32 divide u?
True
Let d(z) = -1773*z + 297. Let h be d(17). Is 8/(-10) + h/(-180) a multiple of 33?
True
Let w(c) be the third derivative of c**6/120 + 9*c**5/20 + 35*c**4/24 - c**3/6 - 12*c**2 - 3*c. Is w(-25) a multiple of 33?
False
Let x = 12239 + -9797. Is 66 a factor of x?
True
Suppose 35*v = 82*v + 67*v - 518814. Does 11 divide v?
False
Let g(i) = 2*i**2 - 52*i - 34. Let d be g(27). Is 13 a factor of ((-2570)/d)/((-1)/2)?
False
Let d(j) = j**3 - 14*j**2 - 4*j + 28. Suppose 0 = 6*l - 9*l + 45. Does 7 divide d(l)?
False
Suppose 0 = -v + 3*q - 0 - 6, -2 = -q. Let c(s) = -3*s**2 - s + 63. Does 9 divide c(v)?
True
Suppose 123934 = 4*g + 3*p, 3*g - 92*p - 92936 = -87*p. Is g a multiple of 30?
False
Suppose 8472 + 4724 + 12886 = 3*a. Is 18 a factor of a?
True
Suppose -3*s + 22116 = 3*g, -3*s = 65*g - 64*g - 22130. Is s a multiple of 15?
False
Let p be ((-45)/6)/(-3)*(-14)/5. Does 20 divide 2 + 6 + p + 501?
False
Suppose -5*m + 8*m = -96. Let z be 3/(-4) - 1336/m. Let r = 111 - z. Is r a multiple of 10?
True
Suppose -3*f + 6 = x + 20, 2*x = -4. Is (-174)/f*(-680)/(-60) a multiple of 65?
False
Let h be (-3)/((-3)/52) - 3. Suppose -29 - h = -3*v. Suppose z - v + 2 = 0. Is z a multiple of 6?
True
Let q = -17774 - -25910. Suppose g - q = -11*g. Is g a multiple of 61?
False
Suppose -2*c = 2*n, 5*c + 2*n + 0*n = 0. Suppose c*g - g = -132. Is 11 a factor of g?
True
Suppose 428 = 11*x - 298. Let l = 143 - x. Does 11 divide l?
True
Let f(t) = -2*t**2 + 7*t + 35. Let b be f(6). Suppose b*y + 14 = 64. Suppose y*i - 77 = 9*i. Does 32 divide i?
False
Let i(o) = -o**3 + 44*o**2 + 407*o + 72. Is i(51) a multiple of 19?
True
Is 11 a factor of ((-1107360)/(-108))/((-12)/(-9))?
False
Let c(d) = 19*d**2 + 32*d + 724. Is 25 a factor of c(26)?
True
Let u(d) = 11*d**3 + 8*d**2 - 3*d + 20. Let z be u(7). Suppose -18*h + 120 = -z. Does 10 divide h?
False
Let y = -380 - -444. Suppose 2*d - y = 38. Does 21 divide d?
False
Let t(u) be the first derivative of -1/3*u**3 + 5*u - 9/2*u**2 + 5. Is t(-7) a multiple of 19?
True
Let z = -5573 - -8279. Does 70 divide z?
False
Let k(m) = 47*m**3 + 17*m**2 - 27*m + 1. Let b(n) = -30*n**3 - 11*n**2 + 18*n - 1. Let h(z) = -8*b(z) - 5*k(z). Does 20 divide h(6)?
False
Let y(c) = 4*c**2 + 65*c + 1452. Does 9 divide y(-30)?
False
Suppose 0 = 3*l - 5*l + d - 747, 2*l + 750 = 2*d. Let q = -144 - l. Does 4 divide q?
True
Let v(l) = 4 - 20*l + 25*l + l**2 - 24. Let y be v(-8). Suppose -y*f = -7*f + 462. Does 14 divide f?
True
Let t = 7 - 5. Let w(a) = a**2 - 4*a + 1. Let m(h) = 9*h**2 - 12*h + 7. Let q(i) = m(i) - 2*w(i). Does 7 divide q(t)?
False
Suppose 5*f = -t - 3*t + 18, 4 = 4*t - 2*f. Suppose 4 = t*u + 28. Is 24 a factor of 4/6 + (-1144)/u?
True
Does 8 divide -4 - (-17 - -55)*(-70 + -1)?
False
Suppose 0*f - 412 = 4*f. Let p = f + 133. Is p a multiple of 6?
True
Let g be 20/4 - 9 - -998. Suppose -r + g = 90. Is 46 a factor of r?
False
Let b = 35 - 30. Suppose 2*w - 14 = -n, -b*n + 5*w = w - 42. Suppose -9*f = -n*f + 56. Is 14 a factor of f?
True
Let z be 1 + (-5978)/5 + 48/80. Let w = -810 - z. Is w a multiple of 16?
True
Let g(s) = 41*s**2 + 4*s - 3. Let z be (-7)/((-273)/318) - (-6)/(-39). Suppose 0 = -28*a + 36*a - z. Is g(a) a multiple of 6?
True
Let i = -13 + -19. Let l = i - -52. Is 22 a factor of l/(-5) + (23 - -3)?
True
Suppose 8*v = 3*v + 485. Suppose 4*s - v = -c, s = 5*c - 9*c + 343. Is c a multiple of 4?
False
Let f(z) = -z**2 + 57*z - 176. Let h be (-4292)/(-111) - -3*(-2)/9. Is 14 a factor of f(h)?
True
Suppose 14*f + 19*f - 165 = 0. Suppose -922 - 93 = -f*d. Is 29 a factor of d?
True
Suppose 0 = 10*h - 29 + 19. Let x = 0 - 1. Does 22 divide h*(-3 - -66) - (-2 + x)?
True
Let b = -65 + 66. Let p be 2 - (4 - (-3 + 7))/b. Suppose -p*o + 468 = 4*x, -2*o - 122 = 2*x - 360. Does 17 divide x?
False
Let r be (1147/(-185))/((-2)/(-10)*-1). Let b(m) = m**3 + 3*m**2 + 2. Let c be b(-4). Let w = r - c. Is 15 a factor of w?
True
Let d = 20 - 23. Let n be (-10)/d*168/(-20). Let p = 69 + n. Is p a multiple of 14?
False
Let t(h) = -5*h**3 + 2*h**2 - h - 25. Is 34 a factor of t(-10)?
False
Suppose -183 = -46*z - 45. Suppose 5*v + 0*v + 5370 = 5*x, 0 = -z*x + 2*v + 3220. Is x a multiple of 16?
True
Suppose -2393 = -3*r - 6*g + 5*g, -3*r - 4*g + 2390 = 0. Does 6 divide r?
True
Let m(i) = 457*i**2 + 437*i + 3596. Is m(-8) a multiple of 36?
False
Let x(k) = k**3 + 33*k**2 + 33*k + 38. Let p be x(-32). Suppose p*h - 3685 = -5*h. Does 5 divide h?
True
Suppose -3*s = 2*h + h - 15, 2*h = 2*s + 6. Suppose -h*u = -o + 220, 0 + 10 = -5*u. Does 16 divide o?
False
Is 20 a factor of 2 + (-10 - -4) - -8*(-7539)/(-3)?
True
Let q be (-5)/(-6) - 1 - (-516614)/84. Let o = -4330 + q. Is 14 a factor of o?
True
Suppose -3*x = -4*h - 1522, 2*h - 1003 = -2*x + 7*h. Let u = 2182 + -2177. Suppose 2 = c, -3*t = t + u*c - x. Is t a multiple of 14?
True
Is (-2)/35 - 125918/(-1015) a multiple of 31?
True
Suppose 5895 = 11*a - 441. Does 12 divide a?
True
Suppose 187 = 5*m + 657. Let b = 138 + m. Does 10 divide b?
False
Let g(a) = -a**3 + 5*a**2 - 2*a. Let v be g(4). Suppose 3*q - 5*q - 2*i - v = 0, -16 = q + 4*i. Suppose -2*k + 108 + 30 = q. Is k a multiple of 23?
True
Let u(x) be the second derivative of 17*x**4/12 - x**3/3 - x**2/2 + 38*x. Let z be u(-1). Suppose -10*i + z = -42. Is i a multiple of 2?
True
Suppose -3*j + 16 = -2*j. Let x = 72 + j. Does 5 divide x?
False
Suppose -15*j = -0*j - 420. Is (-8)/j - 2356/(-14) a multiple of 24?
True
Let i(s) = s**2 - 246*s - 250. Is i(-46) a multiple of 6?
True
Let r = 93028 - 44098. Is 211 a factor of r?
False
Let w = 446 + -45. Suppose 21*v + 86 = w. Does 15 divide v?
True
Suppose -2*x - 4 = -3*x. Let g(l) = 3*l**3 + l**2 + 5*l. Let p be g(x). Suppose p = 4*h - 0*h. Does 19 divide h?
True
Let m(r) = -8*r - 10. Let g be m(-3). Suppose 17*k = g*k + 30. Suppose 0 = k*u - 709 + 59. Is u a multiple of 13?
True
Let i(a) be the first derivative of 38*a**2 - 21*a - 283. Is 82 a factor of i(14)?
False
Let j(h) = 82*h**2 - 10*h - 26. Is j(7) a multiple of 27?
False
Suppose 2 = 3*l + 5, -l + 1649 = 3*a. Let y be (2/4)/(5/a). Suppose -400 + y = -5*q. Is q a multiple of 13?
False
Let b(p) be the third derivative of p**6/120 + p**5/20 + p**4/8 + p**3 + 12*p**2. Let h be b(4). Suppose 14*s = 4*s + h. Is s a multiple of 9?
False
Let k(l) = 5595*l - 4012. Does 19 divide k(2)?
False
Let k = -2738 + 6938. Is k a multiple of 15?
True
Does 27 divide (18/(-14))/((-92)/161)*180?
True
Let o = -167 - -50. Let h = 229 - o. Is 17 a factor of h?
False
Let n(c) be the first derivative of 9*c**2/2 - 82. Let l(u) = u**2 + 6*u + 7. Let m be l(-6). Is n(m) a multiple of 21?
True
Let f = 16 + -185. Let x = f - -930. Is x a multiple of 28?
False
Let n = -235 + 399. Let s = 240 - n. Suppose 3*v + s = 5*c + 210, 3*c - 6 = 0. Is 12 a factor of v?
True
Suppose -g = -16 + 14. Suppose -3*w - 89 = -a, -g*w = a - 4*w - 87. Does 4 divide a?
False
Let r(c) = -15870*c - 729. Is 77 a factor of r(-1)?
False
Let k(p) be the second derivative of 1/20*p**5 + 13*p + 3/4*p**4 - 7/3*p**3 + 0 - 13/2*p**2. Is k(-10) a multiple of 4?
False
Let g(x) = -300*x + 1581. Is 147 a factor of g(-6)?
True
Suppose -25*j = -18*j + 1729. Is (4 + 1)/1 - j a multiple of 42?
True
Let b = -144 - -139. Let t = b - -225. Does 55 divide t?
True
Let f(d) = -104*d - 6123. Does 13 divide f(-93)?
True
Let f(r) = -14*r - 78. Let q be f(-7). Let u(t) = t**3 - 25*t**2 + 114*t + 8. Is u(q) a multiple of 6?
True
Suppose 0 = -3*s + 3*f + 924, 5*s + 5*f - 1524 = 8*f. Is s a multiple of 20?
True
Let p(s) be the second derivative of 173*s**4/12 + s**3/2 + 2*s**2 - 50*s. Does 19 divide p(-1)?
False
Suppose 2*c + 15 = 3*n, -7*c + 2*c + 4*n = 55. Is (-440)/5*(0 + c/6) a multiple of 22?
True
Let k(j) be the first derivative of -21*j**2/2 - 2*j + 1. Suppose 8*h = -1898 + 1874. Is k(h) a multiple of 14?
False
Is 42071 - (-5)/((-35)/(-28)*-4) a multiple of 35?
True
Suppose -g - 838 + 2910 = 2*d, 0 = 3*d - 4*g - 3130. Let m = -996 + d. Does 4 divide m?
False
Let w be (27/12)/9*(1 + -1). Suppose 5*m - 7*m + 8 = w. Is 14 a factor of m + 69 - (-5 - -7)?
False
Let 