e 0*d - 9 = d. Is l(d) a multiple of 5?
True
Suppose 3*p - 911 = 5*m, -2*p - p - 4*m = -929. Suppose p = 4*s + h, -232 = s - 4*s + h. Let d = s + -41. Is 13 a factor of d?
False
Let q(k) = -4*k**2 - 2*k + 509. Does 39 divide q(0)?
False
Is 18 a factor of (1*-49)/((-623)/77 - -8)?
False
Suppose 8*a + 21 = 53. Let z = 56 - a. Is z a multiple of 7?
False
Does 32 divide -1*156*10/(-30)*40?
True
Let p(t) = 3*t**2 - 4*t - 5. Let y(l) = l**2 + l - 1. Let j(b) = -p(b) + 2*y(b). Let q be j(7). Let z(m) = m**3 + 3*m**2 - 4*m + 4. Does 2 divide z(q)?
True
Does 12 divide (-40)/5 - -3 - -89?
True
Is (-1)/2 - 0 - 5768/(-16) a multiple of 18?
True
Let s = 79 - 15. Is 6 a factor of s?
False
Suppose -i = i - 94. Let s = 5 - 15. Let g = i - s. Does 12 divide g?
False
Let k(n) = -n**2 + 5*n - 5. Let b be k(2). Suppose 0 = -q + 2 - 1. Is (2 - (-31)/b)/q a multiple of 9?
False
Let x = -18 - -9. Let t(p) = 4 + 8 - 50*p + 47*p + 9. Is t(x) a multiple of 12?
True
Let x = 7 + -5. Suppose 1 + 1 = x*v. Is 7 a factor of 28 + v*(-1 + 2)?
False
Let g = -18 + 34. Does 7 divide g?
False
Let v = 0 + 3. Let w(b) be the second derivative of 5*b**3/2 - 2*b**2 + b. Is 12 a factor of w(v)?
False
Suppose -390*i = -404*i + 2450. Is i a multiple of 4?
False
Let g(f) = -4*f**3 + 2*f + 1. Let j be g(-1). Let z be (64/(-12) + j)*-3. Does 2 divide -6*(28/(-3))/z?
True
Let y = -90 + 167. Suppose 819 - 615 = -4*k. Let o = k + y. Does 14 divide o?
False
Let w = -25 - -29. Suppose o - 1 = 5*r + 65, o = w*r + 61. Is 26 a factor of o?
False
Suppose -3*y - k + 24 = 2*k, 20 = 4*k. Suppose -c + n = -183, 6*n + 548 = y*c + 2*n. Is 23 a factor of c?
True
Let l be (-24)/(-6)*(-9)/(-6). Let i(w) = -l*w - 7 - 9 + 9 - w. Does 12 divide i(-6)?
False
Let z(c) = 1050*c**2 - 77*c + 75. Does 13 divide z(1)?
False
Suppose 2526 = -3*x + 13866. Is 15 a factor of x?
True
Suppose 2*w = -5*t + 8*t - 1047, 0 = 2*t - w - 699. Is 14 a factor of t?
False
Is 2 a factor of (1416/36)/(2/3)?
False
Let n(m) = m**3 + 14*m**2 - 26*m - 7. Is 40 a factor of n(-12)?
False
Suppose -4*i = -6 - 2. Suppose 5*l - i*l = -q + 57, 253 = 5*q - l. Is 30 a factor of q?
False
Let v(l) = -l**2 + 8*l - 5. Let r be v(4). Let h(d) = d**3 - 9*d**2 - 16*d + 6. Does 7 divide h(r)?
False
Let b(p) = 128 - 3*p**3 - 17 - p + 2*p**3 - p**2. Let h = -330 - -330. Is 17 a factor of b(h)?
False
Suppose -2*h - 294 = -2*j + 68, 2*h = -5*j + 877. Does 19 divide j?
False
Let u be 1 + -5 - -3 - -88. Is u*((-7)/3 - -5) a multiple of 12?
False
Let m = 636 + -52. Is 22 a factor of m?
False
Suppose 3*b = -2*i + 107, -28*b + 27*b + i + 39 = 0. Is b a multiple of 37?
True
Suppose -3*o + o - 4*q + 2 = 0, o + 5*q = 4. Does 3 divide (o + 5)*3/(-8)*-6?
True
Suppose -4*l + 8*x - 3*x = -211, 2*l = x + 101. Does 7 divide l?
True
Suppose 0 = 2*f + 116 + 104. Is 11 a factor of (72/60)/((-4)/f)?
True
Let r = -58 - -5. Let c = -22 - r. Does 12 divide c?
False
Let h(i) = i - 2. Let g be h(3). Suppose 0 = -8*r + 529 - 57. Does 28 divide r + 6/(-3 + g)?
True
Let d = 31 + -34. Is ((-3)/(-1))/d*-24*2 a multiple of 10?
False
Is -2 + -3 + 1578 + (7 - 5) a multiple of 21?
True
Suppose -3*c - 64 = -7*c. Is 20 a factor of 498/c - 5/40?
False
Let t = -14 - -49. Let w = 70 - t. Is w a multiple of 35?
True
Let z be -1 + 2 + -1 + 3. Suppose 0 = 4*s + 2*i + z - 11, 0 = -5*i. Suppose -2*w - 15 = -s*m + 1, -2 = w. Does 5 divide m?
False
Let f = 334 + 176. Is 17 a factor of f?
True
Let u(d) = d**2 + 4*d + 6. Let v be u(-4). Suppose 0 = -4*i + v*i - 24. Does 4 divide i?
True
Does 14 divide 4/6*(893 - 59)?
False
Suppose -10 = -u + 29. Suppose 5*v - 6 - u = 0. Suppose -2*o = 2*s, -4*s + 3*o - 4*o + v = 0. Is s even?
False
Is 58 a factor of (-4628)/(-40)*3 + (-8)/80?
False
Let n = 10 + -6. Suppose -n*y + 600 = -3*u, 4*y + 3*u - u = 600. Suppose -8*w = -3*w - y. Is 12 a factor of w?
False
Let d be (-2268)/10 - 2/10. Let t = d - -341. Is 21 a factor of t?
False
Suppose 2*q + 5*p = 39, -3*p - 40 = -2*q - 7*p. Let o = q - 20. Suppose -7 = o*z - 59. Is 13 a factor of z?
True
Suppose -5*s - 4 - 11 = 5*v, -2*s + 30 = -4*v. Does 5 divide v*-1*(-18)/(-4)?
False
Suppose 2*o - 2*y - 67 = 221, y = -2*o + 303. Let r(h) = h + 49. Let s be r(0). Suppose 5*d - o + s = 0. Is d a multiple of 10?
True
Let n(y) = y**3 + 16*y**2 + 14*y - 27. Is 8 a factor of n(-14)?
False
Suppose -5*r + 48 = -5*t - 62, -4*r - 5*t = -88. Suppose -46 - r = -2*y. Is y a multiple of 17?
True
Suppose -r = -5*r + 60. Does 32 divide ((-24)/r)/(3/(-180))?
True
Let b(k) = k**2 + 8*k + 2. Let g be b(-8). Let a be (1/(-3))/(g/(-354)). Let n = -34 + a. Does 5 divide n?
True
Let l(y) = -12*y - 4. Let x be l(12). Let g = -43 - x. Is g a multiple of 15?
True
Does 10 divide 14232/120 - (-14)/10?
True
Does 14 divide 2/((-10129)/2534 + 4)?
False
Suppose 2*h - 3470 = -774. Suppose -6*x - 4202 = h. Is 8 a factor of (-2)/(5/(x/10))?
False
Does 35 divide (-74)/8*(-103 + 3)?
False
Is (4 - (-76)/(-16))/((-4)/5184) a multiple of 108?
True
Let i(p) = -3 - 5*p**2 - 5 - 2*p**3 + 2 + p**3 + 2*p. Let v be i(-7). Suppose -7*f + 5*f + v = 0. Is f a multiple of 13?
True
Suppose 34*n - 580 = 1562. Is n a multiple of 63?
True
Suppose -3*o - 68 = -7*o. Let x = -15 + o. Suppose x*k - 41 = 109. Does 11 divide k?
False
Let x = -5 - -7. Suppose 4*z + x = -14. Let a = z - -10. Is 2 a factor of a?
True
Let u(m) = m**3 - 9*m**2 - 12*m - 5. Let g be u(10). Let t = g + 43. Is 6 a factor of t?
True
Let d(n) = -31*n - 7. Let f(z) = 92*z + 22. Let m(w) = -16*d(w) - 5*f(w). Is m(3) a multiple of 10?
True
Let u = -1 + 3. Suppose -u*m - 4 = 2*m + 3*f, 5*m + 2*f = 2. Suppose -5*y = 3*i - 60, -m*y = 5*i - 29 - 52. Is i a multiple of 5?
True
Let t(a) = -4*a + 7 - 3*a + 4*a. Is 8 a factor of t(-19)?
True
Let d(w) be the first derivative of -w**4/4 + 3*w**3 + 4*w**2 + 4*w + 30. Does 19 divide d(9)?
True
Suppose 0 = -2*z - 3*u + 2668 + 410, 12332 = 8*z + 2*u. Does 6 divide z?
True
Let l(w) = w**3 - 5*w + 3. Let t(u) = 4*u - 2. Let j(h) = 2*l(h) + 3*t(h). Let i(k) be the second derivative of j(k). Is 4 a factor of i(1)?
True
Let s(b) = b**2 - 41*b + 29. Is s(41) a multiple of 2?
False
Let l(k) = k**3 - k**2 - k - 4. Let r be l(0). Let c be (r/6)/(10/15). Is 3 a factor of (8/(-24))/(c/21)?
False
Let r be 2 + (4*-64)/2. Let h = 771 - 757. Is 16 a factor of 1514/h + 18/r?
False
Let a(v) = 55*v + 2. Let o(b) = -166*b - 7. Let k(f) = 11*a(f) + 4*o(f). Is 13 a factor of k(-2)?
False
Suppose -4*g + 3*t + 13 = 0, 0*g - 2*t = 5*g - 22. Suppose -4*u + 20 = -0. Suppose g*n = 4*q - 68, -n - n = u*q - 106. Is 5 a factor of q?
True
Suppose -r + 2*s - 60 = -250, -745 = -4*r + 5*s. Suppose y = -2*y + r. Does 15 divide y?
True
Does 7 divide (141*(-10)/150)/(2/(-10))?
False
Let y(m) = 5*m**3 + 8*m + 1. Let f(u) = 14*u**3 - u**2 + 23*u + 2. Let n(a) = 4*f(a) - 11*y(a). Does 3 divide n(4)?
False
Let h be (0 + 1)/(2/(-36)). Let b = h - -19. Is 10 a factor of (10 - 0)*(0 + b)?
True
Let q = -49 + 53. Is 315/5 + q + 2 + -3 a multiple of 11?
True
Is 4/(-20) - (-4361)/5 a multiple of 82?
False
Let t(r) = -3*r - 134. Let g be t(0). Let d = g - -214. Is d a multiple of 11?
False
Suppose -13*m = -14*m + 160. Does 32 divide m?
True
Let h(c) be the second derivative of -c**5/20 + 5*c**4/12 + c**2/2 + 6*c. Is h(4) a multiple of 17?
True
Suppose -3*n = -3*h - 2*n + 110, 3*n = -3*h + 126. Is 7 a factor of h?
False
Let l be 1 - 0 - (3 + -2). Let g = 1 - l. Suppose p - 5 = -g. Is p a multiple of 4?
True
Let y(a) = -a**2 - 15*a + 3. Let o be y(-15). Suppose 3*r + 542 = o*p + r, r + 179 = p. Is p a multiple of 14?
False
Suppose q = 5*q - 20. Suppose 0 = 4*o + 20, q*t = 4*o - 29 - 61. Let m = t - -44. Is m a multiple of 11?
True
Suppose -9*t + 359 + 6121 = 0. Is t a multiple of 24?
True
Let d = 1707 - 682. Does 41 divide d?
True
Let u be (-4)/(-8)*4 - -2. Suppose -4*v + u = -28. Suppose 5*t - v = -b, -2*t + 4*b = -9 - 3. Is 2 a factor of t?
True
Let m be ((-3)/4)/((-2)/272). Suppose -m + 456 = 6*n. Does 19 divide n?
False
Let k(x) = 8*x - 36. Let t be k(6). Is 3 - (-37 + t/3) a multiple of 4?
True
Suppose -3*p = -t + 12, 4*t - t = 4*p + 16. Suppose 5*i - 554 + 309 = t. Is i a multiple of 7?
True
Let s be 4*(-3 - -1) + 2. Is ((-801)/6)/(2/(16/s)) a multiple of 20?
False
Let o(w) be the first derivative of w**3/3 + w**2 - 3*w 