 779. Is 30 a factor of o(-31)?
False
Let h be 4/(-20)*12*(-15)/6. Suppose d - 8 = -h. Suppose 0 = -d*p + 37 + 167. Does 22 divide p?
False
Is ((-84728)/51 - -17)*-3 a multiple of 19?
False
Suppose -k - 11 = -2*s, -6*s + 11 = -s + 3*k. Suppose s*z + 328 = 3*v, 2*z + 20 = -3*z. Is 52 a factor of v?
True
Suppose 3*k = 3*l - 2769, -118*k = 3*l - 123*k - 2775. Is 4 a factor of l?
True
Let q = -21 - 11. Let j be (3/5)/((-71)/(-355)). Is 16 a factor of 16/((-100)/q - j)?
True
Suppose 418*y - 814051 + 375868 = 2044737. Is 5 a factor of y?
True
Let k(w) = w**3 + 36*w**2 + 19*w + 449. Is k(-21) a multiple of 43?
True
Does 21 divide (5*2/(-4))/((-250)/292200)?
False
Let o(j) = 4 - 89 - 5*j + 18 + 31. Does 8 divide o(-15)?
False
Let q(c) = 17*c**2 - 42*c - 76. Is 19 a factor of q(-19)?
True
Let r(k) = -115*k + 133. Let a be r(11). Let g = 1671 + a. Is 7 a factor of g?
True
Let h(w) = -50*w**3 + 33*w**2 + 41*w + 120. Does 18 divide h(-6)?
True
Let p be 15/9 - (-1)/3. Suppose 2*f = 5*m - 541, m + 95 = p*m + 4*f. Suppose q + m = 3*g - 0*g, 2*q = 3*g - 106. Is g a multiple of 18?
True
Suppose -5*x = 5*n + 165, -3*n + 11 - 110 = 5*x. Let s = n - -53. Is s a multiple of 12?
False
Suppose 13*b = 1702 + 573. Suppose u - b = -31. Is 8 a factor of u?
True
Let j(b) = -5*b**2 + 154*b + 6. Let q be j(-12). Is 4 a factor of ((-18)/14 - -1) + q/(-49)?
True
Let x be (0 - -16)*9/36. Suppose -x*o + 896 = 10*o. Does 8 divide o?
True
Let c = 1346 - 377. Suppose -2*p - k + c = 0, -4*p = 4*k - 758 - 1186. Does 23 divide p?
True
Suppose 95*m + 6 = 98*m. Suppose 2*x + 0*g - 400 = -4*g, 3*x - m*g = 640. Is x a multiple of 15?
True
Let t = 254 - 249. Suppose 3309 = t*i + 24. Is 10 a factor of i?
False
Let s(v) be the second derivative of 19*v**4/6 + 11*v**3/3 - 3*v**2 + 124*v. Is 14 a factor of s(3)?
False
Is 7 a factor of -7*(-377 + 2 - -14)?
True
Let l = 510 + 752. Is l a multiple of 32?
False
Let i be (-1)/3 - (-118864)/57. Suppose 0 = -31*b + 7789 - i. Does 14 divide b?
False
Let a(s) = -1218*s + 2595. Is 87 a factor of a(-10)?
False
Suppose 76791 = -21*r + 13896. Let f = -1675 - r. Is f a multiple of 22?
True
Suppose -243 + 43 = -25*u. Is 85 a factor of ((-115)/(-15) - u) + 3826/3?
True
Let z(d) = -27093*d - 284. Does 17 divide z(-1)?
True
Suppose k - b = 5, -5 + 25 = -k - 4*b. Suppose -3*p + 955 = -5*y, -4 + k = -y. Does 9 divide p?
False
Let o = -106 + 188. Let i = o + -77. Suppose 114 = 6*w - i*w. Is 21 a factor of w?
False
Is 945/(-27) - -25 - 1*-4463 a multiple of 12?
False
Let l(g) = 430*g + 18. Let t(b) = -216*b - 9. Let w(q) = 2*l(q) + 5*t(q). Is w(-7) a multiple of 95?
False
Let o(v) = v**2 - 12*v + 29. Let l be o(9). Suppose l*g + 1 = 77. Is g a multiple of 10?
False
Suppose -4*w - 4 = 2*u + 24, 2*u + 14 = 3*w. Let b = -5 - u. Suppose 452 = b*i - 143. Does 7 divide i?
True
Does 50 divide (-3082750)/(-1947)*((-28)/(-1) - -2)?
True
Let a be (-6)/24 - -7*3475/20. Suppose 4*l - 4*b = a, -3*l - 7*b = -4*b - 900. Does 13 divide l?
False
Suppose 67*c - 75*c = -32. Is 3 a factor of (-66)/(-10) + c/10?
False
Suppose -3043*o - 104 = -3041*o. Is (-299)/o*(-2 - -30) a multiple of 7?
True
Suppose 20*n + 2*s = 24*n - 410, -2*s = -2*n + 206. Is n a multiple of 9?
False
Suppose 5*b = 3*d + 62, 4*b + 7*d - 20 = 2*d. Is 4/b - 14791/(-35) a multiple of 47?
True
Suppose -21*n + 31296 = -18*n. Suppose 0 = 20*f - 13908 - n. Does 27 divide f?
False
Suppose 0 = -5*x + 15*q - 13*q - 126, -2*q - 42 = 2*x. Does 17 divide 1*(5 + -15)*x?
False
Suppose 25*y + 12 = 19*y. Let c be (-1)/(-3 - 16/(-4)). Is -1*c*(-74)/y a multiple of 9?
False
Let r be (-36)/(-36) + 2282/2. Let x = r - -19. Does 11 divide x?
False
Let p(i) = -4*i + 16. Let h be ((-72)/(-8) - (1 + -5))*1. Suppose h*k + 110 = -59. Is 19 a factor of p(k)?
False
Suppose -240 = -5*o + o. Suppose 24*v - 19*v + o = 0. Is 29 a factor of 3051/15 + v/30?
True
Let p be ((-29)/(-6) - 55/66) + 1. Suppose w + 368 = p*u, w + 2 = -1. Is u a multiple of 15?
False
Let c(d) be the second derivative of -55*d**3/6 - 26*d**2 - 99*d. Does 7 divide c(-4)?
True
Let t(a) be the first derivative of 4*a**3/3 + 7*a**2 + 15*a + 43. Is t(-1) a multiple of 5?
True
Let o(c) = 56*c - 3. Let x be o(3). Let i be x*3/30*4 + -3. Let j = 84 - i. Is j a multiple of 7?
True
Let h = 310 - 318. Is (-3)/(-4) - (11310/h)/3 a multiple of 24?
False
Suppose 68853 = 20*a + 4273. Is 11 a factor of a?
False
Let s be (6 - 2) + 0 + -2. Suppose -2*q + 16 = 4*k, -s*q + 4*k + 30 = k. Suppose -q*d + 378 = -3*d. Is 9 a factor of d?
False
Suppose 0*d + 2*d + 18 = 0. Let b be d/21 + 12/(-21). Let i(k) = -23*k - 3. Does 10 divide i(b)?
True
Let a(q) = -q + 1. Let c be a(-12). Let y(z) = 2*z**2 - 9*z + 14. Let f be y(4). Suppose c*w - 33 = f*w. Is 2 a factor of w?
False
Let q = 85107 - 36953. Is 32 a factor of q?
False
Let s(j) be the third derivative of -7*j**4/24 - 2*j**3/3 - 6*j**2. Let g be s(8). Does 9 divide 2/5 + (-696)/g?
False
Let h = 6259 - 5155. Is h a multiple of 48?
True
Let i(u) be the first derivative of -20*u**2 + 21. Let b be i(1). Is 21 a factor of (-7)/(7/(-12) - 10/b)?
True
Let i = -16265 - -71715. Is i a multiple of 106?
False
Let u(a) = -a**3 + 2*a**2 - 2*a + 3. Suppose 0*d + 5*d = -55. Let y(v) = -6*v**3 + 11*v**2 - 9*v + 16. Let o(p) = d*u(p) + 2*y(p). Does 14 divide o(-3)?
True
Suppose -17 = -4*u + 2*w + 5, -4*w = 3*u - 22. Suppose -58 + 10 = -8*j. Is j/12 + ((-447)/u)/(-1) a multiple of 10?
False
Suppose -285*n + 181656 = -281*n + 8*j, 2*n = 3*j + 90814. Is 32 a factor of n?
False
Let c be (-6279)/(-5) - (1 - 0)/(-5). Let v = c - 707. Does 9 divide v?
True
Let j be ((-16)/(-20))/((28/(-35))/4). Does 24 divide 318 - (16/4)/j?
False
Let q be 52/4 - 1/(-1). Suppose 0*k = -11*k + q*k. Suppose k = z + 2*s - 107, -4*z = -0*s + 3*s - 403. Does 11 divide z?
False
Suppose -n + 9*i = 5*i - 3152, 0 = -3*n + 2*i + 9496. Is 32 a factor of n?
True
Suppose 350 = -0*m + 3*m + 2*u, -5*m - 2*u + 590 = 0. Let d = 316 - m. Is d a multiple of 14?
True
Let t(x) = x**2 - x + 5. Let o be t(6). Suppose w + o = 6*w. Suppose -w*r = -174 - 365. Does 11 divide r?
True
Suppose c = 1, 0*c + 2*c = -5*z - 538. Let q be -3 + 552/(-9) + 4/12. Let l = q - z. Does 7 divide l?
False
Let u(j) = 9*j**2 + 6*j. Suppose 4*z - 48 = 16*z. Is u(z) a multiple of 6?
True
Suppose -d + 122 = -2*m - 443, 0 = -4*d + 2*m + 2266. Is 63 a factor of d?
True
Let p(x) = x**2 - x - 37. Let f be p(7). Is 59*(-1)/(-5)*f a multiple of 8?
False
Suppose 97*x + 101*x = 187*x + 105303. Is x a multiple of 71?
False
Suppose -3*w = -4*j + 12, 4*j - 4*w = -0*j + 8. Suppose -5*o + j = -7*o. Does 16 divide ((-1)/o)/(-1 + 1190/1185)?
False
Let k(c) = 2*c**3 - 2*c**2 + 4896. Does 33 divide k(0)?
False
Let u(i) = 5*i**2 - 2*i. Let b be u(1). Let r be (-6)/8*((-15)/b - -1). Suppose -149 = -r*c + 127. Is 10 a factor of c?
False
Let r be (-3 - (-1 - -31)) + 12/(-3). Let x = r - -58. Let n = x - -55. Does 9 divide n?
False
Suppose -2*x + 23 = -k, 4*x + 5*k - 30 = 23. Suppose -7*u + x*u - 1010 = 0. Does 11 divide u?
False
Suppose -3*x - q - 3 = -4*q, -2*x + 4*q = -8. Let g be (-2 - 0) + 174 + x/3. Suppose g = 5*t - 5*i, 4*t = 6*i - 3*i + 136. Is t a multiple of 5?
False
Let w = 92 - 158. Let t be ((-22)/w)/((-1)/(-12)). Suppose -136 = -3*k + t*i, -62 = -k - i - i. Does 13 divide k?
True
Let y = 549 - 853. Let a = -140 - y. Is 41 a factor of a?
True
Let w(x) = x**3 + 10*x**2 + 2*x + 15. Let j = -173 + 164. Is w(j) a multiple of 26?
True
Let k(r) = 2*r + 2. Let c(m) = 2*m - 72. Let h(v) = c(v) - 6*k(v). Is 6 a factor of h(-12)?
True
Suppose -4762 + 1435 = -19*d + 4881. Is d a multiple of 18?
True
Suppose -1 + 61 = -12*o. Is 2/o - (2 - 192/5) a multiple of 13?
False
Suppose 5*q + 4*h = 40, 0*q - 3*h = -q - 11. Suppose y - 147 = -5*j, -15*j - 108 = -19*j - q*y. Is j a multiple of 5?
True
Let q(d) = d**3 + 10*d**2 - 7*d - 23. Let t be q(-8). Suppose 0 = -6*g + t + 157. Suppose -4*o - 5*x + 87 = -g, -20 = -5*x. Is o a multiple of 5?
True
Suppose -23226 = 227*d - 2514778. Is 49 a factor of d?
True
Suppose 5*w - 10713 = -3*r, 3*r - 7140 = r - 4*w. Is 22 a factor of r?
False
Let j be 72215/22 + -4 + 21/6. Let p = j - 1640. Is 52 a factor of p?
False
Let l(j) = -11*j + 58. Let h be l(5). Suppose 4*f = -0*k - 5*k + 616, 462 = h*f + 4*k. Does 7 divide f?