= -1454 - 1954. Is a a multiple of 71?
True
Let i be 1/((2 - 6)/(-4)) - 1. Suppose -4*o - 5*r + 189 = i, -5*o + 0*o + 5*r = -270. Does 17 divide o?
True
Suppose -45*n + 35*n + 15790 = 0. Suppose 4*l = -3*s + n, -2*l = 5 - 1. Is s a multiple of 37?
False
Suppose 15356 = 19*f - 23195. Does 11 divide f?
False
Let f = 189 + -196. Is (85 - -1) + f/(21/(-12)) a multiple of 12?
False
Let w(d) = 3*d**3 - 4*d**2 - 10*d - 4. Let a be w(8). Suppose -30*n + 34*n = a. Is n a multiple of 23?
True
Let f(q) = q**3 - 691*q**2 - q + 689*q**2 + 0*q + 2. Let o be f(2). Suppose 2*m + 2*m - 176 = o. Is m a multiple of 13?
False
Suppose 3*b - 39 = 6*i - 5*i, 2*b - 33 = 3*i. Suppose 0 = b*k + 10*k - 704. Does 17 divide k?
False
Suppose 8*w + 945 = 5*f + 13*w, 0 = 5*f - 2*w - 959. Is f a multiple of 4?
False
Let b(x) = 425*x**2 + 78*x - 32. Is b(-6) a multiple of 74?
True
Let n be (-2)/(-6) + 15/9. Suppose 65*o + 264 = -23*o. Does 12 divide 81*n*o*(-2)/12?
False
Suppose 0 = -5*t - 3*o + 902, 0*o = -2*t - o + 360. Let r = -20 + 29. Suppose 0 = 7*a - r*a + t. Is 36 a factor of a?
False
Let u(i) be the first derivative of -13*i**2/2 + 16*i + 40. Is u(-5) a multiple of 14?
False
Let x = -117 - -192. Let n = x - 51. Is n a multiple of 6?
True
Let i(x) = 48*x + 3474. Is 5 a factor of i(-23)?
True
Is 14 a factor of (-280 + -623)/((-3)/2 - 0)?
True
Let p = 469 + -140. Let h be 2/9 + p/(-63). Does 7 divide (-282)/h - ((-8)/(-20) + 0)?
True
Suppose 0 = 10*x - 6*x - 800. Suppose -471*o - 240 = -468*o. Let p = x + o. Is 40 a factor of p?
True
Let g(r) = -r**3 - 10*r**2 - 62*r - 38. Is 7 a factor of g(-12)?
True
Let i(l) = -2*l + 179. Let a = 367 - 356. Is i(a) a multiple of 9?
False
Let h(k) be the first derivative of -k**4/4 + 10*k**3/3 - k**2 + 9*k + 4. Let n = 123 - 116. Is h(n) a multiple of 30?
False
Suppose -g + 8*g = 21. Suppose 4*c = -g*d + 6, 4*d = -d - 4*c + 10. Suppose 5*a - d*p = -0*p + 836, 3*p = -5*a + 821. Does 16 divide a?
False
Let g(l) = -641*l - 4424. Does 98 divide g(-28)?
True
Let c(t) be the third derivative of t**6/120 + 11*t**5/60 + 7*t**4/12 + 37*t**3/3 - 38*t**2. Is c(-5) a multiple of 11?
True
Suppose -4396 = -i + p, -4634 = -7*i - 2*p + 26102. Does 72 divide i?
True
Let s be 15/18*-2*-6. Let k(y) = 202*y**2 - 2*y - 8. Let a be k(-2). Suppose -s*l + a = 2*l. Is 12 a factor of l?
False
Let f = -236 - -241. Suppose -306 = -4*h + j, f*h - 62 = -5*j + 308. Is h a multiple of 19?
True
Let j be 3 - (-72 - (5 + -5)). Suppose 19*s = 4*s + j. Suppose 4*m = s*m - 312. Does 12 divide m?
True
Is (-35888)/(-10)*100/16 a multiple of 10?
True
Is 9 a factor of 21/(-1260)*-671766 - (-5)/(-50)?
True
Suppose 0 = 3*d + p - 512 - 6238, d - 2250 = -4*p. Suppose 3*s + 7*s = d. Does 46 divide s?
False
Let r = 395 - -382. Suppose 9*h - 1869 = r. Does 25 divide h?
False
Let l(k) = k + 1. Let h(d) = 33*d - 5. Let c(a) = h(a) + 3*l(a). Let m(z) = -z. Let w(b) = c(b) + 12*m(b). Does 3 divide w(1)?
False
Suppose 3*t - 26480 = 4*u, 5*t + 9614 = -u + 53778. Is 64 a factor of t?
True
Let o(u) be the first derivative of -275*u**2/2 + 47*u - 66. Does 28 divide o(-4)?
False
Let i be 266 - (-6)/(-2 - -5). Let o = -150 + i. Does 59 divide o?
True
Let p = -20240 - -27073. Is p a multiple of 25?
False
Let l be ((-2)/(-6))/(9 + (-44680)/4965). Let s = l - 309. Is 2 a factor of s?
True
Let v(g) = 888*g - 7762. Does 19 divide v(94)?
False
Let v = -26059 + 45445. Is 81 a factor of v?
False
Suppose 157*w - 162*w = x - 121470, -3*w + 72870 = 3*x. Is w a multiple of 48?
False
Suppose 0 = 5*m + 5*v - 15755, 5*m - 3*v - 10486 - 5277 = 0. Is m a multiple of 58?
False
Let l = -68 - -69. Let m(b) = -b**3 + 3*b**2 - 7*b + 8. Let r(s) = s**2 - s. Let d(a) = l*m(a) - 2*r(a). Is 9 a factor of d(-4)?
True
Suppose 5*j + 0*v - 9422 = 4*v, -7540 = -4*j + 4*v. Is 18 a factor of j?
False
Let z(n) = n**3 + 60*n**2 - 193*n - 27. Does 39 divide z(-62)?
True
Let l = 159 - 578. Let z = 599 + l. Is 18 a factor of (-16)/10*z/(-8)?
True
Let s = 224 + -223. Is 8 a factor of ((8/(-5))/s)/(29/(-1595))?
True
Let x(r) = -3*r**2 - 12*r + 52. Let k(y) = -y**2 + 1. Let v(o) = -4*k(o) + x(o). Does 7 divide v(10)?
True
Suppose -5*y - 16 = -4*q - y, 2*q + 6 = -5*y. Let d = 139 - 74. Suppose 51 = q*k - d. Is 9 a factor of k?
False
Let b(f) = -13*f**3 + 19*f**2 - 17*f - 8. Let k(m) = -15*m**3 + 20*m**2 - 19*m - 9. Let u(r) = 7*b(r) - 6*k(r). Is 11 a factor of u(8)?
False
Suppose 3*w + 2*z = -37 - 36, -2*z = -2*w - 32. Suppose 3*v - 42 = -3*i, -3 = 3*v + 2*i - 40. Is 7 a factor of (3 + v)*w/(-6)?
True
Suppose 539*s = 538*s + l + 28344, 3*s + l - 85000 = 0. Is s a multiple of 8?
True
Suppose 8 = -3*i - 0*k + 4*k, 4*k = -5*i + 40. Suppose 624 = i*g - 0*g. Is 13 a factor of g?
True
Let l = -22794 - -44754. Is 105 a factor of l?
False
Let m be (0/5)/(-1)*1. Suppose -5*o + o - 520 = m. Let q = o - -194. Does 16 divide q?
True
Let z(i) = 148*i**2 + 18*i - 18. Let k be z(1). Suppose -2*w + k = 2*b - 12, 0 = -5*w - 3*b + 402. Is w a multiple of 7?
False
Suppose 4*w + 4*u = 2368, 8*w - 5*u = 3*w + 2920. Let b = w + -214. Is 17 a factor of b?
True
Suppose -s = r - 4*s + 270, -5*s - 1370 = 5*r. Let p = 507 + r. Is 7 a factor of p?
False
Does 34 divide -2 + 225 - (31 - 7)/(-6)?
False
Suppose 144*s - 154*s = -90. Is (2/6)/(s/1269) a multiple of 26?
False
Let y(m) = 7*m - 103. Suppose -4*s - 122 = -5*o - 5*s, 2*o = -s + 50. Does 12 divide y(o)?
False
Suppose 75*q + 234008 - 966983 = 0. Is q a multiple of 29?
True
Suppose 22 = 3*x - f, -4*x + 16 = f + f. Suppose -x*t + 209 = -271. Is t a multiple of 40?
True
Let h(m) = 13*m**2 + 9*m - 42. Does 8 divide h(10)?
False
Let p be ((-1)/2*6)/(15/175). Let c(d) = d**2 - 7*d + 7. Let x be c(6). Is p/(x*(-5)/20) a multiple of 8?
False
Let l(t) = t**3 - 7*t**2 + 8*t + 15. Let v be l(5). Suppose 790 = 3*j - 2*z, v*j - 2*j = 5*z + 787. Is 19 a factor of j?
False
Let c = 4209 + -681. Let x = c + -1812. Is 26 a factor of x?
True
Let u be ((-1)/(-2))/(1/2). Let m = -627 + 620. Does 10 divide 30/(-9)*(m + u)?
True
Suppose 0 = 3*y - y. Suppose y = -2*x + 3*x - 34. Suppose -x = 4*b - 214. Is 45 a factor of b?
True
Let v(i) = 31*i**2 + 30*i - 429. Is 49 a factor of v(9)?
True
Suppose 9*w - 302120 = -76*w + 20*w. Is 166 a factor of w?
True
Let p(v) = -v**3 + 72*v**2 - 193*v + 78. Is p(69) a multiple of 6?
True
Let g(r) = -1 - 120*r - 2 - 4 + 3*r**2 + 150*r. Is g(-11) a multiple of 3?
False
Let y be (-248)/24*2*-57. Suppose 0 = -5*d + y - 813. Is 46 a factor of d?
False
Let r be (-45)/6*((-43680)/18)/4. Is 4 a factor of (-2 - 0)*r/(-100)?
False
Let u(c) = c**2 + 15*c - 6. Let q be u(-15). Let s be -4 + (-176)/q*(-8 - -5). Does 8 divide -5 - -1 - -5 - s?
False
Is 2 a factor of 31/(-155) - (-5984)/20?
False
Let m(s) = -s - 5. Let u be m(-4). Let l be 45537/1161 - (-2 + (-60)/(-27)). Is l*u/5*-5 - 3 a multiple of 12?
True
Let n(o) = 72*o**2 - 157*o - 4. Is 12 a factor of n(-3)?
False
Let a(t) = -t**3 + 3*t**2 + 5*t - 2. Let m be a(3). Let x = 11 - m. Is (x - -71) + (-6 - -9) a multiple of 18?
True
Suppose 23*j = 21*j - 47*j + 910812. Is 10 a factor of j?
False
Suppose 0 = -2*q + 6, 0*k + q + 347 = -5*k. Let z = -50 - k. Let r = 25 + z. Does 9 divide r?
True
Suppose -142*t = -155*t + 101855. Is 5 a factor of t?
True
Let w = 88 + -81. Suppose -w*u + 3022 = -58. Is 21 a factor of u?
False
Let n(l) = -207*l + 15300. Is n(0) a multiple of 306?
True
Suppose 0 = 1072*x - 1114*x + 444864. Is 16 a factor of x?
True
Let i(s) = -341*s**3 + 4*s**2 - 6*s + 114. Is i(-6) a multiple of 15?
True
Suppose -582*g + 586*g = 8. Suppose g*u = -18*r + 10*r + 488, 20 = 5*r. Does 13 divide u?
False
Let t(f) = 104*f + 15246. Is t(0) a multiple of 9?
True
Suppose 20*f - 21*f - 209 = -3*i, 0 = -2*f + 2. Is 9 a factor of 590 - (-1)/((-10)/i)?
False
Is ((-80)/(-1))/10 - -213 a multiple of 17?
True
Let d be (7/4)/(60/2880). Let i = -20 - 10. Let c = d + i. Is c a multiple of 6?
True
Let l be 6 - (12 - 18)*(-895)/(-2). Let b(s) = s**3 + s**2 + s + 9. Let i be b(0). Suppose 4*z = -i*z + l. Is z a multiple of 13?
False
Suppose -4*x - 3341 = -2*r - r, -2*r = 4*x - 2214. Let f = 283 + r. Is 41 a factor of f?
True
Suppose -5*c + 11 = -34. Let j = c + -5. Is (-2 - -31) + -5 + j a multiple of 7?
True
Suppose 13 = 3*i + z, 11 = 2*i + 2*z + z. Suppose 0*l - 1 