e h?
True
Let p be 1/(-4) + -7 + (-8289)/(-36). Suppose 5*a - 37 = p. Does 4 divide a?
True
Does 33 divide 420/(-35)*(-121)/4?
True
Suppose 2*j + 104 = j. Let x = j + 61. Let d = -20 - x. Is d a multiple of 6?
False
Suppose 4 = -q, r - 10*q - 175 = -11*q. Is r a multiple of 7?
False
Let x(o) be the second derivative of o**5/20 - 5*o**4/12 + o**3/2 + 2*o**2 + 4*o. Let h be x(4). Suppose -50 = -3*z - 4*g + 6*g, h = z - 4*g. Does 12 divide z?
False
Suppose -61*n - 1080 = -63*n. Does 4 divide n?
True
Let r be (4 + -3)*(6 - 3). Suppose l + 1 = r. Suppose 0 = -l*g + 6*g - 96. Does 8 divide g?
True
Let o = 541 + -361. Does 20 divide o?
True
Suppose -m + 1798 = m. Is 1/5 - m/(-5) a multiple of 36?
True
Let u(l) = 4*l - 8. Let b be ((-9)/6)/(6/(-20)). Let w be u(b). Suppose 5*i - 4*y - 136 - w = 0, -5*i - 5*y + 130 = 0. Is 16 a factor of i?
False
Let z be ((-12)/(-10))/((-27)/1440). Let r = 108 + z. Is r a multiple of 11?
True
Suppose -6*x - 6 + 30 = 0. Let l be 2/(-9) + (-249)/(-27). Suppose l*i = x*i + 115. Is i a multiple of 18?
False
Let d(j) = 47*j + 24. Let o be d(3). Let v = 2 + o. Is v a multiple of 31?
False
Let a be ((-4)/8)/((-2)/176). Suppose -4*t = 2*u - a, -4*u - 3*t + 6*t = -33. Suppose -u = 2*i - 3*b - 43, 5*b + 33 = 2*i. Is i a multiple of 4?
False
Suppose 19 = -5*x - 11. Let v be 1 - (-22 + (-3 - x)). Let y = v - 10. Is y a multiple of 5?
True
Let a(o) be the second derivative of -o**5/20 + o**4/12 + 5*o**3/6 + 2*o**2 + o. Does 25 divide a(-3)?
True
Let g be 8*((-2)/(-4) + -2). Is 90/g*36/(-10) a multiple of 9?
True
Let u = -149 + 617. Is u a multiple of 39?
True
Suppose l - 7*d - 1196 = -3*d, -5*d = -5*l + 5905. Is l a multiple of 87?
False
Let i be (16/64)/((-2)/(-568)). Suppose -3*r + i = -13. Does 4 divide r?
True
Let c(n) = 156*n**2. Let f be c(1). Suppose -4*l - 3*u = -0*u + f, 0 = u + 4. Is 4/(-18) - 836/l a multiple of 11?
False
Let x(h) = -2*h + 35. Let a be x(17). Let w(r) = 111*r**2 + 7*r - 6. Does 8 divide w(a)?
True
Does 62 divide 483/(-7)*-1*(-46)/(-6)?
False
Suppose 21*m + 3976 = 28*m. Does 50 divide m?
False
Let f(p) = p - 2. Let z be f(9). Let t(b) = b**3 - b + 1. Let u(w) = 5*w**3 - 6*w**2 - 9*w + 2. Let g(v) = -4*t(v) + u(v). Does 4 divide g(z)?
True
Let k(o) be the first derivative of -o**3/3 + 11*o**2/2 - 5*o - 10. Is k(8) a multiple of 9?
False
Suppose -3*c + 2798 = -7*a + 2*a, 0 = 2*c - 4*a - 1862. Does 15 divide c?
False
Let z(b) = 180*b + 170. Is 47 a factor of z(5)?
False
Let j = -20 + 22. Suppose 1 = j*c + 29. Let p(w) = w**3 + 13*w**2 - 15*w + 10. Does 8 divide p(c)?
True
Let r = 31 + -29. Suppose -13 = -r*d - 3*t - 0*t, -3*t - 53 = -4*d. Let q(x) = x**2 - 11*x + 4. Does 4 divide q(d)?
True
Let w = 5 + 18. Suppose -4*p - w + 39 = 0. Suppose -p*d + 50 = d. Does 10 divide d?
True
Is 20/6*7/(63/4050) a multiple of 51?
False
Let v(a) = -a**3 - 10*a**2 + 12*a + 16. Let x be v(-11). Suppose -4*o = 5*j - 518, -3*o + x*o = 4. Is j a multiple of 18?
False
Let i(q) = q**3 - 3*q**2 - 7*q. Let k be i(5). Suppose -10 = -2*p, 5*j = -2*p + 5 + k. Is j a multiple of 2?
True
Let l(q) = 40*q - 192. Does 11 divide l(18)?
True
Let l be ((-24)/(-8))/((-3)/(-2)). Let p(t) = 6 - l*t + 1 + 8 - 10. Is p(-4) a multiple of 10?
False
Suppose -3 = 3*t - 3*z, -3*z + 6*z = 4*t + 3. Let m(k) = -k**3 + k**2 + 34. Let d be m(t). Let u = d - 12. Is 7 a factor of u?
False
Let m be (-89 + 5)*2/(-4). Let n = -24 + m. Is 9 a factor of n?
True
Suppose -3*x + 13*u = 15*u - 192, 4*x = -3*u + 256. Does 16 divide x?
True
Let o(w) = w**3 - 13*w**2 - 16*w + 31. Let l be o(14). Let f = 38 + -12. Suppose 2*q - l*q + f = 0. Is q a multiple of 13?
True
Suppose 20 = 6*u - 2*u. Suppose 7 = 4*j - 3*d - 12, 0 = -5*d - u. Is 2 a factor of j?
True
Is 13 a factor of 2*-2 + 7 + 329?
False
Suppose -h - 6 = -2*w + 10, 4*w = -4*h + 32. Suppose w*f + 72 = 11*f. Does 4 divide f?
True
Suppose -1 = -b - 3*q + 5, 0 = 3*b - 2*q + 4. Let v = 11 - 1. Suppose -g + v + 6 = b. Is g a multiple of 8?
True
Suppose 33*v = 42*v - 5382. Does 7 divide v?
False
Let l(n) = -n + 2. Let c be l(0). Suppose -c*s = -3*s + 4. Is (10/3)/(s/6) a multiple of 5?
True
Let u(j) = -18*j + 85. Is 5 a factor of u(-15)?
True
Let v(p) = 3*p**3 - 5*p**2 + 6*p - 1. Let o be v(1). Suppose o*h - 8 = m, m + 3*h - 22 = -0*h. Is m a multiple of 3?
False
Let x be 4/6 - (-186)/(-9). Let b be (-2768)/x*(-10)/(-4). Let o = 496 - b. Is o a multiple of 41?
False
Suppose 2*k - 10 = -0. Suppose f = -r + 5*r + k, -5*r = 3*f + 2. Let g(o) = 7*o**2 - o. Is 3 a factor of g(r)?
False
Suppose 2*v + 4*m = m + 217, -3*m + 318 = 3*v. Does 10 divide v?
False
Let j(a) = a**2 + 10*a + 30. Let d be j(-7). Suppose 7*x + 102 = d*x. Is 17 a factor of x?
True
Suppose 10 = 5*y, 0 = -3*h + 2*y - y + 121. Let l = -18 + h. Is 23 a factor of l?
True
Let j = 18 + -18. Let u(i) = i**2 - i + 66. Does 11 divide u(j)?
True
Let l(b) = 13*b**2 - b**3 + 5 - 38*b + 15*b**2 + 75*b + 22. Is 11 a factor of l(29)?
False
Let p(c) = c**2 - c - 56. Is p(-34) a multiple of 81?
True
Let y = 36 + -35. Does 22 divide (-3*3)/((-235)/220 + y)?
True
Suppose 2*p = -3*z + 39, 0*z = z - p - 13. Let a(m) = m**2 - m - 7. Is a(z) a multiple of 25?
False
Let c(t) = 19*t**3 - t**2 - 8*t. Does 15 divide c(3)?
True
Let s = 72 - 64. Suppose s*i = 5*i + 66. Is i a multiple of 22?
True
Is 27 a factor of 164/1230 - (1 - (-4468)/(-15))?
True
Let h(l) = -l**3 - 13*l**2 - 12*l + 3. Let m be h(-12). Let v = 3 - 0. Does 16 divide (-1 + v - m)*-59?
False
Suppose -31*l = 11*l - 504. Is l a multiple of 12?
True
Let o = 607 - 375. Suppose -3*c + o = -4*t, 3*c - 3*t = -6*t + 204. Is c a multiple of 6?
True
Let r(j) = -4*j**2 + 12*j + 4. Let y(p) = -p + 1. Let m(o) = -r(o) - 3*y(o). Does 16 divide m(5)?
True
Let q = -11 + 19. Let l = -8 + q. Suppose l*f - 76 = -2*f. Is 19 a factor of f?
True
Let y = 739 - 444. Is y a multiple of 59?
True
Let b(q) = -q**2 + 4*q + 5. Let y be b(5). Let h(v) = v**3 - 10*v**2 - 12*v + 8. Let j be h(11). Is 6 a factor of 15 - (1 + j - y)?
False
Is 25 a factor of (-48032)/(-80) + -2*(-1)/(-5)?
True
Let k = 702 + -542. Is 8 a factor of k?
True
Suppose 0 = m - 3*m - 10. Is m/(-4)*40/10 a multiple of 3?
False
Suppose -b - b - 4*s = -392, -s - 184 = -b. Let x = b - 57. Does 27 divide x?
False
Let g be (-8)/4*1 + 6. Suppose 2*n - 4*n - 530 = -g*l, 3 = -n. Is l a multiple of 40?
False
Suppose -2*o + 4*o - 4 = 0. Suppose 5*d = o*z - 3*z - 8, 4*z - 2 = -3*d. Let s = z + 3. Does 4 divide s?
False
Let i(t) = -t - 18. Let p be i(12). Let h = p + 36. Is h a multiple of 2?
True
Suppose -27*f - 3480 = -33*f. Does 29 divide f?
True
Suppose -18 = -b + 3*r + 689, 0 = 3*b + 4*r - 2095. Is b a multiple of 101?
False
Suppose 4*v - 2 = 10. Is 30/(-3 - (-10)/v) a multiple of 21?
False
Let v(u) = 156*u**2 - 10*u + 22. Is 15 a factor of v(2)?
False
Suppose 2*l - 2373 = 3*x, 16*x - 20*x = l - 1203. Does 66 divide l?
False
Suppose -13*p + 12*p - 5*d + 352 = 0, 3*d + 1038 = 3*p. Suppose -h + 0*a + 3*a = -p, a = -4*h + 1375. Is 61 a factor of h?
False
Let t(o) = 6 + 0*o - 5*o + 4*o - 2*o**2 + 96. Does 12 divide t(0)?
False
Is -1357*2*10/(-20) a multiple of 38?
False
Suppose -16 = 4*n, -h + 4*n + 237 = -6. Let p = h + -147. Is p a multiple of 40?
True
Let g(k) = k**2 + 8*k + 7. Let d be g(-7). Suppose -5*v + 640 = 5*m, 5*v + d*m - 640 = -m. Is 32 a factor of v?
True
Let p(o) = 2*o - 14. Let a be p(12). Suppose -z + 49 = -a. Is 12 a factor of z?
False
Let q be 6*(3 + 10/(-4)). Let x(m) = q + 5 - 4 - 8*m + 8. Is 26 a factor of x(-5)?
True
Suppose 115 = 4*s - 1. Suppose -2*r + 5*j + 130 = 3*r, -r + 4*j = -s. Is 4 a factor of r?
False
Let z = -3 - -5. Suppose z*k - 71 = -11. Is 7 a factor of (40/k)/((-4)/(-42))?
True
Let k(r) be the first derivative of 17*r**2/2 + 3*r - 17. Is 8 a factor of k(2)?
False
Does 21 divide -28*4/48*-183 + -7?
True
Let r(n) = -n + 7. Let i be r(11). Let u(j) = -75*j - 5. Let f be u(i). Suppose -4*l = -65 - f. Is l a multiple of 30?
True
Let z = -47 - -33. Let k = 164 - 196. Let x = z - k. Is x a multiple of 6?
True
Let j(m) = m**3 - 3*m**2 - 10*m - 16. Let z(l) = -l**2 - 5*l + 3. Let u be z(-4). Is 22 a factor of j(u)?
True
Let q(b) = -3*b + 26. Let w be q(8). Suppose -3*v + v + w*l = -450, 0 = -4*v - l + 895. Is 19 a factor of v?
False
Let b be 3/2 + (-9)/(-6