 + m. Is h a multiple of 8?
True
Suppose -4*u + 290 + 339 = a, 332 = 2*u + 4*a. Is 17 a factor of u/((-15)/5*(-2)/33)?
False
Let q(m) = -m**3 - 19*m**2 + 9*m + 24. Let v be q(-18). Let j = 740 + v. Is 55 a factor of j?
False
Suppose a = -j + 1 + 1, -2*j = -a - 13. Suppose -w + j*d + 40 + 110 = 0, -468 = -3*w - 3*d. Is w a multiple of 9?
False
Let z(k) = 11*k - 5. Suppose -2*p = -6*p + 16. Suppose p*l - q = -2*q + 5, 3*q = 5*l - 19. Is z(l) a multiple of 17?
True
Let h = -473 - -476. Does 20 divide h + 77*(6 + -1) + -1?
False
Let w(b) = 18*b**2 - 7*b - 49. Let o be w(-8). Let t = -684 + o. Does 17 divide t?
False
Let m(u) be the second derivative of 17*u**2 + 0 - 1/6*u**3 + 27*u. Does 3 divide m(7)?
True
Suppose 0 = 5*q + 4*y - 126594, 0 = 15*q - 20*q + 6*y + 126634. Is 131 a factor of q?
False
Suppose 8*j - 1151 = 1297. Suppose j = 4*s - 2*l, -s + 4*s + 4*l = 213. Suppose -s = -z + 70. Is 29 a factor of z?
True
Let w = -105254 - -157526. Does 132 divide w?
True
Let i be (-18 - -17)/((-1)/2). Suppose i*u + 508 = 1596. Does 26 divide u?
False
Let t = -5725 - -8740. Does 67 divide t?
True
Let d(h) = -31*h**2 - 1 - 4 + 32*h**2 - 3*h. Suppose -11*k + 12*k - 5 = 0. Is 4 a factor of d(k)?
False
Let u = 9 - -579. Suppose -139 = -f + 4*q + 143, u = 2*f - 2*q. Is 40 a factor of f?
False
Suppose 11*d = -3*c + 8*d + 27, d = -4*c + 39. Is (c - 1)/(11*5/1925) a multiple of 15?
True
Let l = -13685 + 19975. Does 37 divide l?
True
Let n(s) = 139*s**3 - s**2 + 133*s - 550. Does 207 divide n(4)?
False
Does 7 divide ((-2)/1 + 9875/10)*(-16)/(-12)?
False
Suppose -2*w + 7*w = g + 11, -23 = -w - 5*g. Let a be 21/12*w/(-6)*-8. Suppose -148 = -a*j + 363. Does 19 divide j?
False
Let m(s) = -149*s**3 - 22*s**2 - 119*s + 4. Is m(-6) a multiple of 66?
False
Let f(q) = -q**2 - 11*q + 4. Let w be f(-11). Suppose -w*z - 45 = z. Is 2 a factor of (45/z)/(1 + -2)?
False
Suppose 5*w + 0*s + 5*s = 75, w - s - 25 = 0. Let d = 483 - 419. Suppose w = k - d. Is k a multiple of 14?
True
Let n = 4428 - 2364. Is 10 a factor of n?
False
Let f be 210/((-1)/(-3)*3). Let n = 410 - f. Let z = -32 + n. Is 28 a factor of z?
True
Is 25 a factor of 4/6 + (3 - 60/9)*-518?
True
Let r(a) = -942*a**3 - 19*a**2 + 8*a - 3. Is 208 a factor of r(-2)?
False
Let q = -14 - -29. Suppose -2*n = -n + 616. Is 7 a factor of q/(-2)*n/70?
False
Suppose -2*a = -4*r + 2090, 6*r - a - 1069 = 2064. Does 44 divide r?
False
Suppose 3*s + 0 = -5*f + 5, -4*s + 2*f = 2. Suppose s = 8*g + 11 + 45. Let z(k) = -23*k + 29. Is 16 a factor of z(g)?
False
Let x = 11 + -6. Suppose 5*n + x = -5*y, 0*n + 5*y = n - 29. Is 56 + (-1)/((-2)/n) a multiple of 47?
False
Suppose 17047 + 58422 = 35*q - 313556. Does 57 divide q?
True
Suppose g - 2*c + 4*c = 9, -5*g + 31 = 3*c. Suppose -743 - 302 = -g*d. Is 11 a factor of d?
True
Let t = 196 + -191. Suppose -t*r + 142 = -3*r. Does 8 divide r?
False
Suppose 243 = 13*k - 69. Suppose 0*t - 5*t - 60 = 2*x, -x - 5 = 0. Let d = t + k. Is d a multiple of 5?
False
Suppose -37*b - 26695 = -148610. Is b a multiple of 5?
True
Does 20 divide ((-43)/(-7) - -1) + -7 - 314573/(-49)?
True
Let t(l) = l**3 - 14*l**2 - 15*l + 23. Let g be t(13). Let i = g + 372. Is i a multiple of 4?
False
Let v = -392 - -396. Suppose l + 2*k - 316 = 0, -v*l + 4*k + 0*k = -1228. Is 19 a factor of l?
False
Suppose 5*y = 4*i + 19 + 32, 3*i + 18 = -3*y. Let d(s) = 4*s**2 + 3*s + 57. Does 32 divide d(i)?
False
Is 13 a factor of (-8 - 80/(-30))*(-7254)/8?
True
Is (4 - 3603)/((-19)/38) a multiple of 61?
True
Let c(x) = 4*x**2 - 22*x - 40. Let j be c(19). Let i = -639 + j. Does 15 divide i?
False
Let v(p) be the third derivative of -p**5/60 + 17*p**4/24 - 3*p**3/2 - 6*p**2. Suppose 3*h + 0*d = -d + 41, -4*d + 44 = 4*h. Is v(h) a multiple of 7?
True
Does 69 divide 3 - (601953/(-51) + 0 + 0)?
False
Let v(c) = 529*c**2 - 333*c - 2356. Is v(-7) a multiple of 12?
True
Suppose -5*r + 5 = 0, -4*j - r = 1 - 2. Let z be (-6 - j/2)/(-12 + 10). Suppose 34 = 5*b - z*b. Does 10 divide b?
False
Let m(x) = -9 + 9 + 1 - 81*x - 2*x. Let g = -17 - -14. Is 50 a factor of m(g)?
True
Suppose -91 = -3*d - 226. Is 63 a factor of (3 - (-123)/(-6))*(d - -9)?
True
Does 10 divide -6*16/480*(-2 - 1043)?
False
Let t be ((-36)/8)/(-3)*-2. Let b be t + 1 - 133/(-7). Let q = b + -6. Is 11 a factor of q?
True
Is (-51)/(-5)*6270/57 a multiple of 66?
True
Let i(t) = -t**3 - 5*t**2 - 6*t + 1. Let c be i(-3). Let j be 40/30*(c - -2). Suppose 5*x = j*x + 26. Is 20 a factor of x?
False
Suppose 2*g - 10 + 8 = 0. Let d = 89 + g. Suppose -d - 32 = -4*k - 2*t, -3*k = -3*t - 78. Does 11 divide k?
False
Let n be (0/(-3 + 2))/2. Suppose n = -24*y + 22*y + 554. Does 4 divide y?
False
Suppose f + 2*f = 12, m - 2*f + 29 = 0. Is 2*14/m*-66 a multiple of 27?
False
Suppose -2*i = 9*i + 2*i - 248768. Is i a multiple of 251?
False
Let u be 30*((-300)/(-8) - -1). Let j = 1938 - u. Suppose -40 = -4*t + y + j, 2*y = -5*t + 1032. Is t a multiple of 19?
False
Let h be (-5)/(-20) + 3/(-12). Suppose h = -10*p + 13*p - 1914. Let z = -456 + p. Is z a multiple of 14?
True
Suppose 4228 = 7637*q - 7635*q. Does 14 divide q?
True
Suppose -16 = 9*m - 52. Let j be 7*(8 + -3) - -4. Suppose d - m*d = -j. Does 13 divide d?
True
Let f(v) = -9 + 4*v - 5 - 11 + 14 - 2. Suppose 0 = 4*r - 5*i - 34, 0*r - 3*i = 3*r - 12. Does 6 divide f(r)?
False
Let i(n) = -16*n + 36 + 50 - 13 + 9 + 0*n. Is i(-26) a multiple of 22?
False
Let a = 594 + -209. Let m = -210 + a. Suppose 10*z - m - 125 = 0. Is z a multiple of 30?
True
Let c = -408 - -966. Let r be (-2)/(-8) + c/8. Let j = r + -32. Is j a multiple of 8?
False
Let x = 74 - 70. Suppose -5*t + 403 = 4*v, -179 = -2*v - x*t + 15. Does 22 divide v?
False
Let q(h) = -2*h**2 - 11*h - 3. Let l be q(-5). Suppose -j = -5*f - 0 + 18, -j = -l. Let m(t) = 10*t + 4. Is m(f) a multiple of 11?
True
Let y(a) be the second derivative of 350*a + 2*a**3 - 362*a - 8*a**2 - 5*a**3 + 1. Is 57 a factor of y(-13)?
False
Let n be ((-4)/3)/((-2)/9) - 1. Let t(x) = 3*x - 5*x - n*x - 4. Does 6 divide t(-5)?
False
Let f(n) = -4*n**2 + 89*n - 18. Let w be f(22). Suppose -1022 = -w*l + 2*z, -l + 2*z + 151 + 112 = 0. Is 11 a factor of l?
True
Is ((-1078)/(-11))/((-6)/645*-5) a multiple of 7?
True
Let j(g) be the third derivative of -1/60*g**5 - 8/3*g**3 + 0 + 0*g - 5/8*g**4 + 21*g**2. Does 3 divide j(-13)?
False
Let o(l) = 19*l**2 + 45*l - 74. Is 40 a factor of o(35)?
False
Let j(l) be the second derivative of 2*l**5/5 - l**4/12 - 7*l**3/6 + 10*l - 4. Is j(3) a multiple of 7?
False
Suppose -60*o = -52*o + 1552. Let l = o + 302. Is l a multiple of 18?
True
Suppose -6*j - 141 - 561 = 0. Is (30 - j)/(6/20) a multiple of 14?
True
Suppose -4*q - 5*x + 13 = 0, -2*x + x = 3*q - 18. Suppose q*j - 1139 = 359. Is 14 a factor of j?
False
Let m(z) = 24*z - 5 - 13*z - z**2 - 8*z**3 - 12*z. Let x be m(-2). Let f = x + -24. Is f a multiple of 11?
True
Let n(v) be the first derivative of 20*v + 20 - 1/3*v**3 - 11/2*v**2. Is 5 a factor of n(-10)?
True
Let d = 817 - 555. Let a = d + -183. Suppose 2*r = 5*v + a, 4*v = -3*r + v + 108. Does 25 divide r?
False
Is 43 a factor of (-3)/(42/4) - (5 - (-7298)/(-14))?
True
Let w(b) be the third derivative of -b**6/120 - 3*b**5/20 - b**4/12 + 2*b**3/3 - 11*b**2. Let k = 22 - 32. Does 40 divide w(k)?
False
Suppose 11*d - 9*d + 19600 = 2*o, -5*o - 4*d = -48964. Is o a multiple of 14?
False
Suppose 23*u - 20051 = 101665. Is u a multiple of 54?
True
Let c(y) = 33*y**2 - 131*y - 859. Is 25 a factor of c(-7)?
True
Let h(r) be the third derivative of r**5/5 + 5*r**4/12 - 169*r**3/6 + 27*r**2. Is 51 a factor of h(8)?
False
Let k be 2/(-5) - (17/(-5) + -1). Suppose -2*n - k*m + 3*m = 180, 0 = 5*n - m + 443. Let l = n + 214. Does 25 divide l?
True
Suppose 5*d = y - 7, -d + 61 = 4*y + 12. Suppose n + 2 = -3*l, -4*l - y = -2*l - 2*n. Is (2 - (1 - l))*(-8 + -4) a multiple of 3?
True
Suppose -133*s - 710942 + 81717 = -3813245. Is s a multiple of 50?
False
Suppose 11*y = 19*y. Suppose y = -6*g + 3*g - 5*h + 84, -5*h = -g + 28. Is g a multiple of 21?
False
Suppose 44 = -5*x - 16. Let w be ((-33)/x)/((-3)/(-36)). Suppose -40*q = -w*q - 847. Is 11 a factor of q?
True
Let m be (-2245)/(-55) - 2/(-11). Suppose m = -d + 221. Is 10 a factor of d?
True
Is 74 a factor of (-3)/12 + ((-3729810)/40)/