e
Let h(a) = -a**3 - 8*a**2 - a - 14. Let p be h(-8). Let b(i) = -2*i**2 - 11*i + 13. Let g be b(p). Suppose -g*r - 4*r + 44 = 0. Does 4 divide r?
True
Is 10 a factor of ((-2738988)/33)/(-2) + (-400)/(-2200)?
True
Let p = 24 - 22. Let l(m) = -m**3 + 24*m**2 + 21*m**p - 35*m**2 + 4*m - 20. Is l(8) a multiple of 20?
True
Let d = -33 - -133. Suppose 3*y + d = 2*a - 7, -a - 44 = y. Is 38 a factor of (-6)/y - 2962/(-13)?
True
Let q(b) be the third derivative of -b**6/360 - 13*b**5/120 - b**4/8 + b**3/3 - 14*b**2. Let k(s) be the first derivative of q(s). Does 6 divide k(-10)?
False
Suppose 53*t - 132*t = 116*t - 913185. Is 21 a factor of t?
True
Let m be (-292)/(8/(-4)) - 3. Suppose 4*k + 139 = -3*q, -5*q + m = -4*k - 20. Let j = 113 + k. Is j a multiple of 27?
False
Let p = 7128 - -2375. Is 9 a factor of p?
False
Suppose 2*s + 8*s - 1400 = 0. Let d(n) = -s - 126 - 21*n + 254. Is d(-4) a multiple of 9?
True
Let n = 47 - 50. Let l = 53 + n. Let c = l + -38. Is c a multiple of 3?
True
Suppose -10 + 34 = 2*v + 2*x, -4*v + 5*x = -12. Suppose 4*w - 264 = -3*n, -51 = v*w - 9*w + 3*n. Does 7 divide w?
True
Suppose 33*l - 4260 = 23*l. Suppose s + 2*v - l = 0, -1740 = -4*s + 3*v + v. Is s a multiple of 48?
True
Suppose 0 = 48*z + 490 + 38. Is 6 a factor of 56/154 - 524/z?
True
Let h = 7349 - 4360. Is 41 a factor of h?
False
Let x(k) = k**2 - k - 1. Let c(r) = -6 + 3*r**2 + 3 + 2 + 10*r. Let v(d) = c(d) - 4*x(d). Does 4 divide v(8)?
False
Let r = -6 - -27. Suppose -4*w + 6 = 3*h, h - 4*h = -w - r. Suppose 5*j - 699 = l, j + h*l = l + 145. Is 19 a factor of j?
False
Let h be 246/(-4)*(-8)/3. Let x = h + -230. Let p = 80 + x. Is 14 a factor of p?
True
Let o(h) = 4427 + h**3 - 40*h**2 + 13*h - 3*h - 4374. Does 10 divide o(40)?
False
Does 48 divide (-25)/2 + (-479573)/(-58)?
True
Let o(k) = 4015*k - 43. Is o(1) a multiple of 6?
True
Suppose 2*x - 45 = 489. Suppose -129 = -n + x. Is 44 a factor of n?
True
Let c(u) = u**3 - 10*u**2 + 3*u + 13. Let x be c(10). Let l = x - 46. Is 19 a factor of 56 - l*4/12?
True
Let v(w) = w**3 + 9*w**2 - 4*w - 73. Is v(-6) a multiple of 59?
True
Let w = -130 - -135. Suppose 10*b - 14*b + 2984 = 4*g, 5*g = w*b + 3720. Does 8 divide g?
False
Let c(a) = a**3 + 13*a**2 + 5*a - 27. Let b be ((-6)/(-15))/(((-19)/(-30))/(-19)). Is 21 a factor of c(b)?
False
Let j = 48975 - 31995. Does 43 divide j?
False
Let j = -301 + 296. Is (-170)/j - -6*3/(-9) a multiple of 2?
True
Let y(t) = t**2 - 13*t - 1823. Does 11 divide y(-117)?
True
Suppose 5*m + 934 - 3124 = 0. Is 13 a factor of (m/(-8))/(21/(-280))?
False
Let o(c) = 5*c**3 - 20*c**2 - 8*c + 13. Is 40 a factor of o(11)?
True
Suppose -w = 2*v - 902, -5*v + 4*w + 979 + 1276 = 0. Let a = 128 + v. Does 26 divide a?
False
Does 14 divide (18/12)/((-8085)/(-2694) - 3)?
False
Is 7 a factor of (6730/15)/(6/378)?
True
Let v(j) = j**3 - 17*j**2 - 23*j + 42. Let t be v(21). Suppose -2707 - t = -31*y. Is y a multiple of 65?
True
Let u be ((-116)/(-2))/1*95/(-38). Let t = u - -151. Is t a multiple of 2?
True
Let v = -2016 - -2287. Is 3 a factor of v?
False
Let v(h) = h**3 + 8*h**2 + 11*h - 2. Let p be v(-6). Suppose y = 4*w + 2*y - 387, -p*w + 4*y + 372 = 0. Is w a multiple of 12?
True
Suppose 3*r = 3, 4*d = 2*r + r - 239. Is -3 - (2/2 + d + -11) a multiple of 11?
True
Let m(b) = 3*b**3 + 188*b**2 - 66*b - 167. Is m(-61) a multiple of 129?
False
Let f(x) = 11*x + 30. Let l(o) = -11*o - 30. Let p(g) = 6*f(g) + 5*l(g). Let h(w) = w**2 + 39*w + 127. Let s be h(-36). Is p(s) a multiple of 17?
False
Suppose -759 = -d - 311. Suppose 2*s + d = c, -c + 5*s - 10*s + 420 = 0. Does 40 divide c?
True
Suppose 4*g + 43 = -3*o, -6*g + 2*g + 5*o - 3 = 0. Let n(s) = s**3 + 8*s**2 - 8*s - 19. Let u be n(g). Let f = -32 + u. Does 18 divide f?
True
Suppose w + 3*l = 3333, 3*w + 1430*l - 10029 = 1431*l. Is 11 a factor of w?
False
Suppose 79176 = 10*r + 4*x, -4*r + 741*x - 737*x = -31704. Does 72 divide r?
True
Let i(f) = -56*f - 77. Let x be i(-8). Suppose 0 = 5*u - n - 2*n - x, 3*n = -5*u + 389. Does 19 divide u?
True
Let u = -39 - -40. Suppose -3*r - 1700 = 2*h, 5*h - 450 = r + 145. Does 4 divide (1/(u/(-2)))/(19/r)?
True
Let l(g) be the second derivative of g**5/20 + 2*g**2 + 5*g. Let n be l(4). Suppose -y - 116 = -4*p - 0*p, 3*y = 2*p - n. Is 14 a factor of p?
True
Let h = 428 - 448. Let s(k) = -19*k - 135. Does 49 divide s(h)?
True
Let d(w) = -w**2 + 4*w + 3. Let f be d(0). Let p(k) = 249*k - 45. Is p(f) a multiple of 46?
False
Suppose -4*t + 2*w = -24, -3*w - 12 = 3*t - 5*t. Let k(y) = y**2 - 2*y + 35. Is 7 a factor of k(t)?
False
Suppose 13 + 55 = 17*o. Suppose 0 = o*v + 48 - 184. Does 34 divide v?
True
Let b = -3940 - -4810. Is b even?
True
Suppose -12*f = -5*f + 6195. Let c = 1335 + f. Suppose -10*t + c = -0*t. Is 9 a factor of t?
True
Suppose 0 = -7*l + 24 + 11. Suppose -3*f - t + 1051 = -0*t, 3*f = l*t + 1063. Is 13 a factor of f?
True
Let c(s) be the second derivative of s**7/72 - s**6/360 - s**5/60 + 19*s**4/12 - 13*s. Let q(h) be the third derivative of c(h). Is 19 a factor of q(2)?
False
Let y(w) = 8977*w - 281. Is 109 a factor of y(10)?
True
Let r be (8/22)/(62/341). Suppose -3*o = -m - 4*o + 245, r*m = -4*o + 488. Is 6 a factor of m?
True
Is (8722/4)/((-1743)/(-996)) a multiple of 105?
False
Suppose -171813 = -46*l - 114*l + 235547. Is l a multiple of 19?
True
Suppose 0 = -43*h + 415834 + 73635. Is 62 a factor of h?
False
Suppose -12*m - 3654 = -14*m - 27*m. Is 39 a factor of m?
False
Let c be (-2)/10 + (0 - 18/(-15)). Let k(l) = 111*l**3 - l**2 + 3*l - 2. Let y be k(c). Suppose -3*a + 6*a = y. Does 7 divide a?
False
Suppose 14*d + 1573 + 51 = 0. Let l = 628 + d. Does 11 divide l?
False
Let m = 102 - 102. Suppose l = 3*v - 637, 3*l + 3 = -m*l. Is v a multiple of 11?
False
Suppose -j + 5*j + 5 = 5*w, -4*j = 3*w - 35. Suppose w*a = 8*a - 477. Suppose -4*u + 5*y + 313 = 0, 2*u - y - a = 2*y. Is u a multiple of 18?
True
Does 9 divide (46/460)/((-5)/(-78250))?
False
Suppose 2*o + 2*p + 120 = -0*o, -2*o - 120 = -5*p. Let q be -2*o/8*10. Suppose 3*d = -12 + q. Does 23 divide d?
True
Let v = 42885 - 31803. Is v a multiple of 75?
False
Let c be (-2 + (1 - -2))*(654 + 15). Suppose -3*f + 1513 = -4*g, -3*f = -2*g - 848 - c. Does 13 divide f?
True
Let z = -33990 + 56904. Does 67 divide z?
True
Let s be 65 + 8/2 + 1. Suppose -3*a - 53 = s. Let i = -21 - a. Is 10 a factor of i?
True
Let s(w) = w**3 - 78*w**2 + 3*w + 600. Is s(78) a multiple of 25?
False
Suppose 0 = -d + 4*d + 5*p - 57, 2*p + 38 = 2*d. Suppose 5*y = 4*u - 23, -5*u + 3*u = -5*y - d. Let f(q) = -26*q - 14. Is 8 a factor of f(y)?
True
Does 50 divide (9 + 27067)/(5/10)?
False
Suppose -13*c = 13*c - 9*c - 107916. Is c a multiple of 69?
True
Let b(p) = -p**2 - 17*p + 49. Let f be (53 + 0)/(19/(-38)). Let w = 88 + f. Does 15 divide b(w)?
False
Suppose 27 = 7*k - 1. Suppose k*v - 10 = 34. Is 3 a factor of -4 - v/(11/(-10))?
True
Let a(s) = -9*s**3 - s**2 - 105*s - 1717. Does 79 divide a(-14)?
True
Is (15 - 10461/(-55))*(-130)/(-4) a multiple of 61?
False
Suppose 0 = 21*b - 227 - 382. Is (1 + -5)/4 + -3 + b a multiple of 25?
True
Let t = 16659 - 11863. Is t a multiple of 30?
False
Let w = 10 + -13. Suppose 2*b - 5*z + 0*z = 46, -2*b - 4*z + 10 = 0. Let u = w + b. Does 6 divide u?
False
Let g(x) = 6*x**2 - 3*x + 3. Let s be g(3). Let v be (0/(-3))/(2 + 3 + -2). Suppose v = 5*m - 177 - s. Is 9 a factor of m?
True
Let j = 112 + -106. Let z(c) = -2*c**3 + 5*c**2 - 2*c - 15. Let d be z(j). Let a = -130 - d. Is 8 a factor of a?
False
Let o(l) = -l**3 + 2*l**2 + 22*l - 25. Let q be 5/3 - (-125)/15. Let h be o(q). Let c = 870 + h. Is c a multiple of 15?
False
Let a = -81 + 82. Is a/(((-21)/2046)/(-7)) a multiple of 62?
True
Let u = -80 + 86. Let h(y) = y**2 - 6*y + 4. Let c be h(u). Suppose -c*x + 441 = 77. Is x a multiple of 13?
True
Let m = 180 + -173. Suppose -j = m - 8, 5*g - 127 = -2*j. Is 10 a factor of g?
False
Suppose -2*w + 427 = -411. Suppose -5*t = -2*v - 0*v - 7, 0 = 3*t - 4*v - 7. Is 14 a factor of ((w + 1)/5)/t?
True
Let u = 19493 + -15. Does 74 divide u?
False
Suppose 2 = -2*y, 0*y + 3*y = 2*o - 5. Does 18 divide (52/4 - o)/(2/69)?
True
Let n(k) = -11*k**3 + 3*k**2 - 3*k - 1. Let t be n(1). Does 45 divide t - -7 - (-275 - -3)?
False
Let f(l) = -6*l**3 + 2*