rue
Let j(b) = 9*b**3 - 6*b**2 + 36*b + 51. Does 45 divide j(11)?
True
Let t(j) = 81*j**2 - 19*j + 58. Let c be t(-16). Suppose c - 5978 = 36*q. Is 28 a factor of q?
True
Suppose 5*w - 166 = -3*o, 7*o + 110 = 9*o + 4*w. Suppose -47*v + o*v = 3300. Is 11 a factor of v?
True
Is (-7163)/2204 - 54573/(-4) a multiple of 44?
True
Does 20 divide ((-8)/14)/(8/(-28))*(25 - -10626)?
False
Suppose -153 = 6*w + 27. Is (2170/w)/((-1)/3) a multiple of 31?
True
Let v(t) = 347*t**3 + 2*t**2 - 33*t + 52. Is v(2) a multiple of 7?
False
Suppose 6830 + 66394 + 103032 = 324*z. Is 2 a factor of z?
True
Let s be (86*3 - (2 - -2))/2. Let m = s - 83. Suppose m = 2*p - 16. Is 2 a factor of p?
True
Does 114 divide 1892 + -16 + -13 + 31?
False
Let h = 66 - -57. Let i = -130 + h. Does 4 divide (41 - i) + (-4 - 0)/(-1)?
True
Let l(t) = -12*t - 10. Let z(f) = -8*f - 12. Let y(g) = -4*l(g) + 3*z(g). Let d be -3*(5/3 + -2). Is 2 a factor of y(d)?
True
Suppose -3 = -4*z + z, 3*x + 3*z = 249. Let f = -67 + x. Is (100/f)/((-2)/(-3)) a multiple of 5?
True
Suppose 3*k = 2*k - 5*v + 15, 0 = k - 4*v + 12. Suppose 12*h = 57 + 39. Suppose k = 3*i - h*i + 700. Is 35 a factor of i?
True
Let u be (7742/9 - -1) + 22/(-99). Suppose 570 = -3*o - u. Is 21 a factor of (o - 0)*(24/9 + -3)?
False
Suppose 2111*p - 2098*p - 128856 = 0. Is 123 a factor of p?
False
Let o(f) = -9*f - 249. Let h(a) = -2*a - 50. Let i(m) = -24*h(m) + 5*o(m). Let w be i(14). Is 6 a factor of (12/w - 37)/(-1)?
False
Suppose 4*z + 5*x + 4895 = 8*z, 2*x - 3677 = -3*z. Suppose -5*u + 5*h = -z, 23*u = 24*u - 4*h - 260. Is u a multiple of 16?
True
Let o = 8005 - 2737. Is 12 a factor of o?
True
Suppose 21*u = 24*u - 348. Is 17 a factor of u/7 + 54/126?
True
Let d(n) = n**3 + 7*n**2 + 5*n - 11. Suppose 4*m + 5*w + 7 = 0, -2*w = 4 + 2. Suppose 5*c = -3*a, 0*a - 3*c + 19 = -m*a. Is d(a) a multiple of 7?
True
Let j(k) = -14*k**3 + 23*k**2 + 6*k - 6. Is j(-6) a multiple of 12?
False
Let h be (-1)/3*(1 + 7 - 44). Suppose -7*s - h*s + 1672 = 0. Is s a multiple of 11?
True
Suppose 117 = -3*p + 135. Suppose p*l - 12*l = -2790. Is l a multiple of 31?
True
Let f = -614 - -608. Does 16 divide (-16 - -672) + -12 + f + 1?
False
Let k(x) = -9*x + 10. Let u be k(4). Is u/(-6)*225/3 a multiple of 25?
True
Suppose 83200 = 4*n + 4*k, -2*n + k = -23827 - 17749. Is 4 a factor of n?
True
Suppose -2*c + 34804 = 2*k, -4*c - 97 = -81. Is k a multiple of 18?
True
Suppose -113*i - 44053 + 112142 = -236446. Is 35 a factor of i?
True
Let v(h) = 3*h**3 - 19*h**2 + 12*h - 72. Is 27 a factor of v(19)?
False
Suppose 9890 = 6*g - 2836. Is g a multiple of 21?
True
Let m be (1 - 3) + (4 - (3 + -5)). Suppose g - 4*b = 1036, 4*b - 5084 = -m*g - g. Does 60 divide g?
True
Let a(x) be the second derivative of -9*x + 1/12*x**4 + x**2 + 0 - 2/3*x**3 + 99/20*x**5. Is a(1) a multiple of 14?
True
Suppose -167*f = -1786027 - 350237. Does 132 divide f?
False
Suppose 18 = -a + 7*a. Suppose 2*d + 47 = a*h - 2*d, h = 5*d + 23. Suppose m = 27 - h. Does 14 divide m?
True
Let y(s) = 20*s + 7*s**2 - 6 - 4*s**2 + 12*s. Suppose -p + 6 = -m, 0 = 16*m - 17*m - 2*p - 27. Does 14 divide y(m)?
False
Suppose -4*x + 481 - 493 = 0. Does 5 divide (350/30)/((-1)/x)?
True
Suppose -3*h + 5*k + 688 + 1740 = 0, 0 = -5*h - 3*k + 3990. Let m = h + -428. Does 51 divide m?
False
Suppose 3*d - 8*h - 3103 = -h, -3*h + 4199 = 4*d. Does 125 divide d?
False
Let v(o) = -o**3 + 3*o**2 + 9*o - 3. Let g be v(4). Suppose 1097 = t - 4*i, 3*t - g*i = -12*i + 3270. Is 22 a factor of t?
False
Let r = 12431 - -19512. Does 17 divide r?
True
Let m(d) = 59*d + 7. Let h be m(-4). Let f = -34 - h. Does 24 divide f?
False
Let s(n) = n**2 + 11*n - 27. Let t be (-320)/(-18) - -2 - (-4)/18. Suppose -28 = -24*o + t*o. Is s(o) a multiple of 15?
False
Let y = -8939 - -9439. Is y a multiple of 50?
True
Suppose -747 = 4*g - 27. Does 18 divide g*(12/(-10))/((-24)/(-30))?
True
Let w = -314 + 319. Suppose -w*m + 795 = 2*j, 2*j - 2*m - 384 = j. Is j a multiple of 39?
True
Let i(w) = w**2 + 8*w + 19. Let r be i(-2). Suppose 0 = -3*j - 2 - 1. Is (-2 + j)/(r/(-63)) a multiple of 9?
True
Let d = -66 - -12. Let o = d + 57. Suppose -o*l + 4*p + 466 = 0, l - 2*p = -l + 310. Is l a multiple of 23?
False
Let u(s) = s**2 + 36*s + 177. Let n be u(-40). Suppose -212 = -3*q - 3*k + n, q - 3*k - 171 = 0. Does 6 divide q?
True
Let k = -3530 + 24508. Is k a multiple of 15?
False
Let b(z) = -2*z**2 + 25*z - 10. Let x be b(12). Suppose 2*l - 4*r - 20 = 6*l, 0 = -l + x*r + 1. Let s(c) = c**3 + 4*c**2 - 6*c - 1. Is s(l) a multiple of 15?
False
Let x be -1*1*-183*(3 - 0). Let s = x - 229. Does 23 divide s?
False
Let z(d) = d - 1. Let c be z(4). Suppose 5*h + j = 578, -h + 0*j - c*j + 110 = 0. Let g = h - 80. Does 36 divide g?
True
Let g(r) = 2*r + 151. Let b be g(0). Let k be (-6)/(-14) - b/(-7). Is 25 a factor of (-92)/k + 4 + 860/11?
False
Let f be (-8)/(-12)*(234/4 - 0). Let x be (-2 - 2) + (-1 - -98). Let w = x - f. Is w a multiple of 18?
True
Suppose -5*d = 4*m - 24964, -2*m + 64*d = 60*d - 12508. Is 15 a factor of m?
False
Let n = -2994 - -3112. Is n a multiple of 14?
False
Suppose -41*z + 17*z = -88704. Is 21 a factor of z?
True
Suppose -16*a - 7638 = -35*a. Suppose 8*m - 2130 = -a. Is m a multiple of 32?
False
Let y(h) = -17 + 8*h**2 + 1 + 3 - h**3 + 2 + 3*h. Does 8 divide y(6)?
False
Let q(d) = -d**3 + 27*d**2 + 27*d - 117. Does 11 divide q(24)?
False
Suppose 601 = 4*o - 155 - 848. Is o a multiple of 18?
False
Let g(m) be the second derivative of -5*m**4/12 + 5*m**3/6 + 6*m**2 - 23*m. Let k be g(-4). Let x = k + 156. Is 34 a factor of x?
True
Let u = 9945 - 3870. Is 81 a factor of u?
True
Suppose 10 + 14 = 4*b. Let y(c) = -465 + c + 6*c - 3*c + 35*c**2 - 31*c**2 + 453. Is y(b) a multiple of 26?
True
Let d(a) = -196*a - 16. Suppose 2 = -2*s + 5*v + 1, s + v + 4 = 0. Does 13 divide d(s)?
True
Let z(h) = -h**3 + 8*h**2 - 6*h - 3. Let o be z(7). Let l be 1*(5 + (o - 4)). Suppose -l = -w, -3*b = -4*w + 7 - 23. Is b a multiple of 9?
False
Let z(s) = -s**3 - 15*s**2 - 16*s - 26. Let p be z(-14). Suppose 3*k + 2*g = 656, -650 = -3*k + 6*g - p*g. Does 11 divide k?
False
Suppose -4*v + 287 + 2673 = 0. Let q = v + -142. Is q a multiple of 13?
True
Suppose -110*c = 90*c - 1152400. Is c a multiple of 41?
False
Suppose 4*k + 510 = 9*k. Suppose 0 = y - 3*h + k, 114 = -4*y + 3*y - h. Let m = y - -209. Is m a multiple of 31?
False
Suppose 5*o - 5*f = -100, 4*o + 164 - 57 = -5*f. Let w(k) = -2*k**3 + 21*k**2 - 17*k - 19. Let g be w(9). Let h = g + o. Is h a multiple of 9?
False
Let x = -421 + 425. Let d(z) = 8*z**3 - 14*z**2 + 5*z - 10. Does 15 divide d(x)?
False
Let y be 12/15*(217690/4)/(-11). Is y/(-20) - 6/(-60) a multiple of 22?
True
Is 11 a factor of 18/(-8)*(-20 - (-55760)/(-30))?
False
Let q = 31 - 34. Let y be 8 + q/9*-6. Suppose -405 + 105 = -y*o. Is 6 a factor of o?
True
Let i = -1464 + 2871. Does 115 divide i?
False
Let a(o) be the third derivative of o**5/60 + 3*o**4/4 - 55*o**3/6 + 88*o**2. Is a(-25) a multiple of 5?
True
Let r(h) = -3*h + 17. Suppose 2*z - f = 18, -f = -4*z - 12 + 46. Let x be r(z). Does 7 divide (5 + -10)/(-5) - (x - -1)?
True
Suppose x = -1, 1491 = 3*w - 5*x - 2816. Is w a multiple of 13?
False
Let t(k) = -72*k - 3. Let b be t(-2). Suppose -4*r - b = 223. Let a = 156 + r. Is 5 a factor of a?
True
Let a = 173 - 170. Suppose 9*p - 3360 = -a*p. Does 14 divide p?
True
Let o(u) = 143*u - 109. Let p be o(21). Suppose -5*k + p = 9*j - 7*j, -10 = -5*j. Does 57 divide k?
False
Let g = -13 - -15. Let k = -234 + 236. Suppose 5*r + 11 = 5*h - 29, -g*h - k*r = -4. Is h even?
False
Suppose 10 = 3*a + 5*m - 10, -m = -5*a + 24. Let d be (8/(-6))/((-18)/999). Suppose 226 + d = a*v. Does 10 divide v?
True
Let g(v) = 188*v + 46. Let t be g(3). Suppose -28*d + 30*d - t = 0. Does 9 divide d?
False
Let x be (32/(-20))/(-4)*25/(-5). Is 0 - (x + -164) - (-3 + 0) a multiple of 18?
False
Suppose 38*b - 5818 - 18654 = 0. Is 4 a factor of b?
True
Suppose -60009*a = -60001*a - 11656. Does 55 divide a?
False
Let b(w) = 3*w**2 - 60*w + 97. Let i = -121 - -138. Let x(k) = -k**2 + 20*k - 32. Let n(c) = i*x(c) + 6*b(c). Is n(18) even?
True
Let m = -9547 - -9804. Is m even?
False
Let t(f) = -6*f**3 + 95*f**2 + 263*f - 14. Let d(b) = b**3 - 19*b**2 - 53*b + 