0 - 10. Let a(k) = -2*k**2 + k + 86. Does 21 divide a(m)?
False
Does 19 divide (8502/(-436))/(2/(-1140))?
True
Suppose -4 = -d, -9*d + 5*d = -5*g + 989. Let o = g + 57. Is 9 a factor of o?
False
Let r(v) = v**2 + 3227. Let f be r(0). Suppose 5*c = -422 + f. Is 11 a factor of ((-40)/(-6))/(34/c)?
True
Suppose -4*o = 108*v - 111*v - 2953, -2*o = 4*v - 1482. Does 3 divide o?
False
Let a(l) = 51*l**2 - l - 6. Let y be a(-2). Let m = y - 77. Does 5 divide m?
False
Let g = -8708 - -14847. Does 3 divide g?
False
Suppose 5*u + 43 = -2*z - 11, -2*z = -3*u - 26. Is (u/6)/((-10)/1620) a multiple of 14?
False
Suppose -461*v + 1302 = -455*v. Suppose v = r - 5*y, 3*y + 321 + 85 = 2*r. Does 25 divide r?
False
Let x = 196 - 969. Let h = x + 1436. Is 17 a factor of h?
True
Let a(r) = -7*r + 4 + r**2 + 1 + 2 + 5. Let c be a(7). Suppose 294 = -9*u + c*u. Is u a multiple of 7?
True
Let n = 6506 + 358. Suppose 22*a - 11*a = n. Does 26 divide a?
True
Suppose 4*r - r + d = 22, 20 = 5*r + 5*d. Let o be 1*267*(-6)/r. Let z = -62 - o. Is z a multiple of 34?
False
Suppose -95445 = 114*p - 2052141. Does 28 divide p?
True
Let r = -5 - -25. Let c = 25 - r. Is 5 a factor of (-12)/c*5/(-2)?
False
Suppose -22*a = -3*d - 21*a - 390, 4*d + 5*a = -558. Let h be 6/(-21) - (-2942)/7. Let r = h + d. Does 36 divide r?
True
Suppose 0 = 396*b - 400*b + 8. Let c(p) = 132*p**2 - 15*p + 26. Let w(h) = -88*h**2 + 10*h - 17. Let s(u) = 5*c(u) + 7*w(u). Does 10 divide s(b)?
False
Let c be 28*4/24*-3. Let r = c + 23. Suppose 5*h + 180 = r*h. Does 15 divide h?
True
Suppose 2*r + 2*s = 2926, -4*r + 4354 = -r - 4*s. Is 18 a factor of r?
True
Let j(y) = -71*y - 23. Let n be 5/(-2)*144/60. Does 13 divide j(n)?
True
Suppose c + 9932 = 4*r, -2*r + 2*c + 4298 = -662. Is r a multiple of 69?
True
Let m(o) = o**3 + 4*o**2 + 4*o - 2. Let h be m(-3). Is 66 a factor of 71 - (4 - (h - (1 + -5)))?
True
Suppose -2*l - 2*z = -180, -6*z + z + 274 = 3*l. Let g = l - 186. Let q = 112 + g. Is 9 a factor of q?
False
Is 38 a factor of ((-17)/3)/(6/(37620/(-5)))?
True
Does 45 divide 14*(-8)/140 - 102395/(-25)?
True
Suppose 0 = 3*o - 6, -2*z + 814 = -9*o + 8*o. Does 3 divide z?
True
Let f = -93 + 108. Let c(d) = d**2 - 12*d + 50. Let l be c(f). Let p = l + -39. Does 4 divide p?
True
Let g(m) = 4*m + 14. Let z be g(-4). Let l be -1*6*z*(-58)/(-4). Suppose -3*v = -126 - l. Does 15 divide v?
False
Suppose 0 = 2*g + g + 3*r, -2*r + 12 = 5*g. Suppose 0 = 7*d - g - 108. Does 13 divide d?
False
Let n(k) be the third derivative of k**6/120 + k**5/5 + 3*k**4/4 - 5*k**3/6 + k**2. Suppose 5*f = 2*x - 55, 17*f - 4*x - 7 = 20*f. Is n(f) a multiple of 22?
False
Let k(j) = 455*j - 3812. Is k(10) a multiple of 39?
False
Suppose 0 = -5*y - 5*v + 81335, -20*v - 32539 = -2*y - 17*v. Does 14 divide y?
True
Let r = -271 + 851. Suppose g - r = -170. Does 41 divide g?
True
Let r be (-2 - 2430/25)/(2/(-5)). Suppose -2*w = -r - 58. Does 18 divide w?
False
Suppose 2*o = 5*o + 408. Let g = o + 139. Suppose 0*h + g*h = a + 344, 462 = 4*h - 3*a. Does 13 divide h?
False
Let j be (-4 - (-2532)/(-8))/(9/(-126)). Suppose -17*o - 1189 = -j. Does 25 divide o?
False
Let i be (-3272)/(-26) + (-34)/(-221). Suppose -i = -111*z + 110*z. Is z a multiple of 21?
True
Suppose 25*m = 46 + 329. Is 5 a factor of m?
True
Let n = -841 + 3013. Is n a multiple of 12?
True
Let v(d) = -5*d + 10. Let n be v(-7). Suppose 40*m = n*m + 120. Let r = m - -40. Is r a multiple of 3?
False
Let k(f) = f + 216. Let u(z) = z + 217. Let x(a) = 3*k(a) - 2*u(a). Suppose -18*m = -30*m. Is x(m) a multiple of 50?
False
Let x(u) = 295*u**2 - 17*u - 6. Let w(h) = -148*h**2 + 8*h + 3. Let m(g) = -13*w(g) - 6*x(g). Let p be m(-1). Suppose -6*c + p + 423 = 0. Is c a multiple of 32?
True
Let x = -31901 - -46269. Is x a multiple of 5?
False
Suppose 13 = 6*o - 11. Suppose -2*u + 3*p + 114 = -59, p + 341 = o*u. Is 17 a factor of u?
True
Suppose r = -4*t + 69, 4*r = t + 54 + 273. Suppose 4*w - w - 249 = 0. Suppose -w*s + 34 = -r*s. Does 6 divide s?
False
Let s be (-3 - 1) + 7 + 8. Suppose -876 = -4*m + 2*g, -3*g = -1 - s. Is 13 a factor of m?
True
Let l = 1423 - -4890. Is l a multiple of 84?
False
Suppose -403 = -3*d - r, -387 = -3*d + 4*r - r. Suppose d = 5*q - 967. Is q a multiple of 20?
True
Suppose -2*y + 3*z = -0*y - 32, 3*z - 100 = -4*y. Let m(n) = n - 17. Let d be m(y). Suppose -d*v - 3*v + 1216 = 0. Does 19 divide v?
True
Suppose -6*l + o + 10822 = 0, 2*l + 2*o - 9024 = -3*l. Does 5 divide l?
False
Suppose -5*s = 33*b - 32*b - 7685, -2*b = -s - 15315. Does 37 divide b?
False
Let j(x) = 3*x**2 - x + 90. Let q = -115 - -121. Suppose q*v = -v. Is 6 a factor of j(v)?
True
Let q(u) = u**2 - u - 15. Suppose 39 - 494 = -35*r. Is q(r) a multiple of 12?
False
Suppose -4*m - 71 = 1. Let u = -15 - m. Suppose -4*c + 151 = u*j - 8*j, 3*c - 2*j = 122. Is c even?
True
Let p(b) be the second derivative of -b**5/20 - b**4/6 + 3*b**2/2 + 2*b. Suppose 28 = -5*m + 4*s, 2*m + 5*s = m + 6. Is p(m) a multiple of 7?
True
Suppose 22*c = 27*c. Suppose 3*a + 5*v - 610 = c, 7*a + 2*v + 396 = 9*a. Is 10 a factor of a?
True
Let o = -65 - -60. Does 12 divide (-12544)/48*(o + 2 + 0)?
False
Let r = -1928 + 2182. Let t be -140 - 2*2/(-4). Let i = t + r. Is 12 a factor of i?
False
Let g(j) = 7*j**2 - 18*j - 225. Let t(s) = -5*s**2 + 17*s + 227. Let l(a) = 3*g(a) + 4*t(a). Is l(-17) a multiple of 4?
True
Let s = -1383 + 2353. Is 10 a factor of s?
True
Let d be ((6228/105)/(26/(-65)))/(6/(-28)). Let x be (1*(0 + 0))/(-2). Suppose x = -s + t + t + 233, -t = 3*s - d. Does 21 divide s?
True
Let b be 2 - 2 - (-91)/7*-9. Does 4 divide b/(-78)*40/6?
False
Let f be (4*54/24)/((-2)/(-2)). Let k(x) = 5*x**2 - 11*x - 10. Is k(f) a multiple of 4?
True
Suppose -31*z + 1656144 = 79*z - 4*z. Is 93 a factor of z?
True
Let i(a) = a**3 + 3*a**2 + 3*a + 1. Let q be i(-2). Is 7810/(-213)*(39/2)/q a multiple of 55?
True
Let v(d) = 50*d**2 - 8*d + 30. Let l be v(3). Is (99/132)/(2/l) a multiple of 13?
False
Let a(x) = -2*x + 60. Let b(c) = -c**3 + 18*c**2 - 27*c - 35. Let f be b(16). Let q be (-10)/f + 328/18. Is 12 a factor of a(q)?
True
Let h be ((-2)/(-4))/((-13)/(-26)). Let r(b) = 39*b - 3. Is r(h) a multiple of 6?
True
Suppose -15863 = -u + 5*m, 1893*m = -5*u + 1898*m + 79415. Does 16 divide u?
True
Let f(c) = -6*c**3 - 9*c**2 - 4*c + 35. Is f(-5) a multiple of 12?
False
Suppose -24*x + 12 = -18*x. Does 63 divide (-6)/15 - x*(-4482)/60?
False
Let a(d) = -4*d**3 - d**2 - d - 197. Let p(z) = -3*z**3 - z**2 - z - 198. Let y(f) = 2*a(f) - 3*p(f). Is y(0) a multiple of 20?
True
Does 154 divide ((-3)/3 + -6 + 5)/(88/(-1338348))?
False
Let s be (-6)/(-4)*(76 + (8 - 12)). Suppose -s = 263*d - 266*d. Is 4 a factor of d?
True
Let l be (-1)/(-4) - 428/(-16). Let t(z) = -l*z + 8*z + 31 + 17*z. Is t(-17) a multiple of 13?
True
Suppose 7*t - 1640 = 40. Let n = t - 439. Let o = -101 - n. Is o a multiple of 11?
False
Is 11 a factor of 7*1087/63 + (0 - 4/(-18))?
True
Let d = 5493 - 5356. Is d a multiple of 3?
False
Suppose 0 = 5*m + 10, 0 = -9*i + 5*i - 3*m + 14. Suppose 3*g + 6 = 5*p - 42, i*p = -g + 44. Suppose -p*w + 11*w = 144. Is 9 a factor of w?
True
Let f be ((-20)/(-25))/(1/905) + 1. Suppose -4*p + 539 = -5*a, 0 = -5*p - a - 3*a + f. Suppose -5*j + 215 = 3*n, -j + p = 2*n - 0*j. Is n a multiple of 14?
True
Suppose -4*h - 3*j + 885 = 0, 13*j - 14*j + 3 = 0. Is h a multiple of 2?
False
Let j be ((-1)/4)/(28/336). Let x(g) = -16*g**3 + 3*g**2 - 2*g. Is x(j) a multiple of 15?
True
Suppose 2*j + 26*j - 120344 = 0. Does 51 divide j?
False
Suppose i = -3043 + 43. Is 15 a factor of (-6)/(-4)*i/(-15)?
True
Let j be 6/(-45) - (-7688)/60. Let g = 216 - j. Suppose g = -0*h + 2*h. Does 19 divide h?
False
Let m(n) = n**2 + 6*n + 6. Suppose 4*r - 7*r = 18. Let k be m(r). Is 34 - (-4)/(-4 + k) a multiple of 6?
True
Let y be (0 - 2)*1 - -203. Suppose 5*b + 3*l = y, 33 = b + l + 2*l. Is b a multiple of 7?
True
Let w = 81 + -83. Let x be w + (8 - -5)/(-1 - -2). Suppose 19*i - 472 = x*i. Does 5 divide i?
False
Let h(k) = 5*k**3. Let r be h(4). Suppose 2*d + r + 3288 = 5*j, -4*j + 2884 = -d. Does 15 divide j?
True
Let b = 173 - 168. Suppose w + 75 - 483 = 4*s, -3*w + b*s + 1210 = 0. Is 20 a factor of w?
True
Let x(j) = -j**2 + 15*j + 32. Let v be x(17). Is 135 + -1