2*h + 35. Suppose -4*i = 2*g - h, -i + 5*g + 28 = 3*g. Is 5 a factor of i?
False
Let l be (-7)/(-2)*(-4)/(-7). Suppose -2*a + 49 = v, -l*v + 23 = a - 3*v. Does 12 divide ((-24)/(-18))/(2/a)?
False
Let s(k) = -k**3 + 4*k**2 + k - 6. Let r be s(4). Is r/(-11) + 525/77 a multiple of 3?
False
Suppose c = o - 7, -4*c - 12 = -3*o + 7. Let h = 0 + o. Is 3 a factor of h?
True
Suppose 2*z = 5*d - 2*z - 117, -5*d - 5*z + 90 = 0. Let m = 0 + d. Does 7 divide m?
True
Is -15*((-210)/20)/((-5)/(-2)) a multiple of 28?
False
Let u(t) = -t**3 + 6*t**2 - 4*t - 2. Let z be u(5). Is 2 a factor of (-1)/z + (-40)/(-12)?
False
Let u(y) = 8*y + 10. Let r be u(-4). Let i = 50 + r. Does 7 divide i?
True
Let b(r) = 2*r**3 - 5*r**2 + 3*r - 3. Does 19 divide b(4)?
True
Let d(y) = -y**3 + 8*y**2 - 7. Does 7 divide d(7)?
True
Suppose -4*d + 94 = -v + 2*v, -5*d = -5*v - 130. Does 20 divide d?
False
Let d = -3 + -26. Let n(x) = -x**2 - 10*x - 17. Let l be n(-12). Let g = d - l. Is 12 a factor of g?
True
Let g be 40/6 + 4/(-6). Suppose 0*y = 2*y - g. Suppose 3 = k, -2*m + 3*k - 19 = -y*m. Is m a multiple of 8?
False
Suppose -2*n + t - 59 = 3*n, t - 26 = 2*n. Let d(x) = -x**3 + 5*x**2 + 2. Let o be d(4). Let l = n + o. Is l a multiple of 3?
False
Suppose 11 = -4*t + 47. Is t a multiple of 3?
True
Let p = 52 + -35. Is p a multiple of 17?
True
Let w be (6/15)/((-1)/5). Let a be ((-6)/4)/(w/8). Let i = a - 1. Is i a multiple of 5?
True
Let g be (8/3)/(10/15). Suppose -g*i = -2*o, -3*o - 6*i + 3*i = 0. Suppose o = -0*k + 3*k - 42. Does 10 divide k?
False
Suppose -49 - 15 = 4*t. Let i = t - -43. Is 9 a factor of i?
True
Suppose 2*n = 3*n. Suppose 3*v - 25 - 29 = n. Is 18 a factor of v?
True
Let w be (-8)/(-3) + (-6)/9. Is 11 a factor of (-6)/9*(-33)/w?
True
Let x(i) = i**2 - 4*i - 2. Let h be x(5). Let z(q) = 12*q. Is z(h) a multiple of 12?
True
Let j = -6 + 0. Let a(u) = u**3 + 5*u**2 - 7*u - 6. Let m be a(j). Suppose m*x + x - 10 = 0. Does 7 divide x?
False
Let c(v) = v**3 + 4*v**2 - 7*v - 2. Let m(u) = -2*u**3 + 4*u**2 - 4*u + 3. Let k be m(2). Is c(k) a multiple of 8?
True
Suppose 0*w + 26 = q - w, -3*w = q - 22. Suppose 0*i = 5*k - 2*i + 10, 2*k = 5*i - q. Suppose k = -3*o + 7*o - 108. Is 11 a factor of o?
False
Let u(v) = -v + 18. Does 3 divide u(5)?
False
Does 11 divide 9/((-27)/(-42)) + -3?
True
Let c = -1 - 0. Let a be 1/2 + 3/6. Does 2 divide c/(a*(-3)/15)?
False
Let s be (-4)/18 + 2624/(-18). Let f = -83 - s. Is f a multiple of 22?
False
Let y = -24 - -155. Is 15 a factor of y?
False
Let x = 32 + 96. Is x a multiple of 16?
True
Let q(u) = 11*u - 6. Let k = 1 + 5. Let a be q(k). Suppose -r = -3*r + a. Does 15 divide r?
True
Let x(a) be the first derivative of a**4/4 + 10*a**3/3 + 5*a**2/2 - 6*a + 1. Let c be x(-8). Suppose -7*k = -2*k + 5, -3*p - 2*k + c = 0. Is p a multiple of 14?
True
Let c(r) = 41*r - 3. Let n be c(3). Suppose -x + n = 2*x. Does 20 divide x?
True
Suppose -2*d = 26 - 86. Does 15 divide d?
True
Let f be (-3 + -9)/(-2) - 0. Let l(k) = k**3 - 6*k**2 + 3. Let r be l(f). Suppose -3*g = -o + 15, -r*g = -o - o + 39. Is 14 a factor of o?
False
Suppose -6482 - 2868 = -5*z. Is 14 a factor of 8/(-10) + z/25?
False
Suppose 5*n + 34 = 3*a, 4*n = a - n - 18. Is (-2)/4 + 172/a a multiple of 7?
True
Let m(f) = -f**2 - 5*f + 5. Let n be m(-5). Suppose 5*g + n*r = 130, 0 = -2*g - 7*r + 2*r + 43. Is 11 a factor of g?
False
Suppose 8 = 3*l - 5*v - 17, -3*l - 5*v + 5 = 0. Suppose 2*d - 16 = -2*d. Suppose 4*i = 5*n - 37 - l, d*i = -12. Is n a multiple of 6?
True
Let b be -2 - (2 - (-57)/(-3)). Let t be (6/b)/(1/5). Does 7 divide t*3/(12/34)?
False
Suppose 0*s + 1950 = 2*s. Is 27 a factor of 2/(-8) - s/(-12)?
True
Let i = -12 + -6. Let p = -8 - i. Is p a multiple of 4?
False
Let q = -9 + 17. Suppose -a + 4 = 6*n - 3*n, -5*a - 3*n + q = 0. Is 2 a factor of (-2)/(a - (-7)/(-5))?
False
Let d(b) = b**2 + 8*b + 12. Suppose 0 = 2*h - 5*l + 4, 4*l = -4*h + 3*l + 14. Suppose -18 = h*x - x. Is d(x) a multiple of 13?
False
Suppose -2*p - 2*v = -10, -3*p + 0*v + 5*v = 17. Let b(n) = 60*n**2 + 2*n - 1. Let y be b(p). Let t = -29 + y. Is 13 a factor of t?
False
Let t(x) = x**2 - 6*x + 3. Let p be 3/(-4) + (-93)/(-12). Let g be t(p). Does 11 divide g/((-7)/(-5) - 1)?
False
Suppose -t + 17 = -q + 43, -q + 46 = 4*t. Is q a multiple of 30?
True
Suppose 3*l - 6 = 3*w, -4*w - 1 = 4*l - 9. Suppose w = -i - 4*o + 25, -4*i - 5*o + 35 = -2*i. Does 5 divide i?
True
Suppose 0 = -0*o - 2*o + 44. Is 5 a factor of o?
False
Suppose 0 = 24*s - 25*s + 4. Does 10 divide 11 - -3*s/6?
False
Suppose n + 2 = -2. Let x = 8 + n. Suppose v - x*i - 7 = 13, -8 = 4*i. Is v a multiple of 6?
True
Let b(y) = y + 2. Let m be b(13). Suppose 0 = -5*w + 195 + m. Is 14 a factor of w?
True
Let j = -26 + 31. Let w(b) = 23*b**2 - 2*b. Let f be w(2). Suppose q - 2 = 0, -j*x + f = -0*x - q. Is 7 a factor of x?
False
Let j(i) = 17*i - 1. Let p be j(3). Let z = 8 - 5. Suppose 2*g - p = -z*g. Is g a multiple of 7?
False
Let t(s) = -29*s - 33. Is t(-5) a multiple of 16?
True
Suppose d + 4 = -0*d. Let p(m) be the second derivative of -7*m**3/6 - 2*m**2 + 2*m. Is p(d) a multiple of 17?
False
Is (-32)/24*(-429)/2 a multiple of 26?
True
Let n = -79 + 144. Is 20 a factor of n?
False
Let y(a) = -a - 4. Let n be y(-6). Suppose 5*d - n*k - 91 - 55 = 0, 4*k = -3*d + 98. Is d a multiple of 8?
False
Let u(d) = 4*d + 21. Is u(0) a multiple of 10?
False
Suppose 5*j - 59 + 9 = 0. Is j a multiple of 2?
True
Suppose 2*s - 1 = 11. Suppose -j = -4*j + s. Suppose -5*p = j*x, -p + 2 = -4*x + 24. Is 3 a factor of x?
False
Suppose 0 = 5*y - 4*u + 51, 0*y + 5*u - 48 = 4*y. Let j(o) = -o**3 - 7*o**2 - 7*o - 2. Is 11 a factor of j(y)?
False
Suppose -4*l + 2 = -2*n - 0*l, 0 = -5*n + 5*l + 5. Suppose o + 6 = 3*o - 2*f, 0 = -3*o - n*f + 9. Does 2 divide o?
False
Suppose -n = 2*m - 400, 0*m - 4*n = -2*m + 390. Is m a multiple of 26?
False
Let m be 0 + 7/((-7)/(-12)). Let c(k) = -k**2 + 2*k**2 + 4*k + 5*k + m. Is c(-9) a multiple of 7?
False
Let p(v) = 4*v**2 - 7*v - 6. Let l(i) = -11*i**2 + 20*i + 18. Let y(n) = -3*l(n) - 8*p(n). Let k(m) = -9*m - 53. Let g be k(-7). Is 16 a factor of y(g)?
False
Suppose 0 = 8*h - 5*h - 12. Suppose -4*t + 272 = -h*i, 0 = -3*t + 2*i - 7*i + 220. Does 33 divide t?
False
Let c(n) be the third derivative of n**4/6 + 13*n**3/6 - 2*n**2. Let g be c(9). Suppose 5*r = -g + 154. Does 9 divide r?
False
Does 20 divide -4 + (4 + 140)/3?
False
Suppose 0 = 4*z - z - 84. Suppose m + 3*m - z = 0. Does 11 divide 156/m - (-8)/(-28)?
True
Let d be (4 + -1)*(-88)/12. Let u = d + 31. Does 7 divide u?
False
Let m(g) = -3*g**3 + g**2 + 2*g + 1. Let c be m(-1). Suppose 5*r + 0*r = c*k - 86, -107 = -4*k - r. Is 6 a factor of 6/k - (-104)/18?
True
Let c be ((-3)/(-5) + -1)*-5. Suppose 0 = c*s - 7*s + 80. Let i = s - 9. Does 4 divide i?
False
Let c(r) = -r**3 - 7*r**2 - 5*r + 8. Is c(-6) even?
True
Let f = -9 - -9. Suppose f = 9*k - 7*k - 28. Is k a multiple of 7?
True
Let q be (-1)/((3/(-2))/3). Suppose -111 = -5*f + n, -n = q - 1. Is 1 + 1 + f + -4 a multiple of 7?
False
Let s(q) = -16*q - 4. Does 22 divide s(-3)?
True
Suppose -5*k + 2*l - 201 = 0, -5*l = 3 - 18. Let v = k - -67. Is v a multiple of 12?
False
Let c be (-1)/(2/(-556)*2). Suppose 5*z - 86 = c. Does 9 divide z?
True
Let y be (2*(-3)/6)/1. Does 9 divide 15 - 9/(-2 + y)?
True
Suppose -w = 3*w - 16. Suppose -2*a - 2*z - w = 0, -2*a - 8 = 4*z - z. Is a a multiple of 2?
True
Let z be (-52)/(-14) + (-2)/(-7). Suppose 183 = z*d - 73. Let l = d + -32. Does 16 divide l?
True
Let y(w) = -w**3 - 7*w**2 - 7*w - 6. Let a = -21 - -15. Let o be y(a). Does 4 divide 13 + (1 + -3 - o)?
False
Let o(t) = 4*t**3 - 4*t**2 + t - 3. Let l be o(3). Suppose 5*f - 214 = -4*k, 53 = 3*f - k - l. Is 14 a factor of f?
True
Let d(n) be the third derivative of 17*n**5/60 + n**4/24 - n**3/6 + 19*n**2. Let s = -3 - -4. Is 7 a factor of d(s)?
False
Suppose 2*f = -0*q - 3*q + 158, -2*f + 3*q = -170. Does 41 divide f?
True
Let i(j) be the first derivative of -j**5/20 - 11*j**4/12 + 5*j**3/3 + 2*j**2 - 3*j + 3. Let u(k) be the first derivative of i(k). Does 14 divide u(-12)?
True
Let m(b) = b**3 + 5*b**2 - 9*b - 2. Let d(g) = -3*g**3 - 15*g**2 + 27*g + 7. Let y(f) = -2*d(f) - 7*m(f). Is y(-7) a multiple of 11?
False
Suppose 