 + 2*y. Let d be s(0). Suppose -d*r - 4*u + 60 = 2*r, 4*u = 4*r - 12. Does 8 divide r?
True
Let j(w) = -11*w + 1. Let o(h) = 98*h - 8. Let c(y) = 52*j(y) + 6*o(y). Let u be c(5). Suppose -3*a + 5*t - 67 = -5*a, 3*a = -2*t + u. Does 13 divide a?
True
Suppose -2*g + 3*d + 79 = 0, 5*g - 194 = 3*d + d. Does 8 divide g?
False
Let u(x) = 4*x + 1. Let t = 0 + -5. Let h = 6 + t. Does 5 divide u(h)?
True
Let y(a) = a**3 - 3*a**2 + 10. Is y(5) a multiple of 3?
True
Let m be (-2)/((-4)/26*1). Suppose 0 = -3*z + 13 - 37. Let w = m + z. Is 5 a factor of w?
True
Let n(g) = -g**3 - 3*g**2 - g + 2. Let p be n(-3). Suppose -3*m + 3 = -5*u - 10, -3*u - p = m. Is 18 a factor of m*-2 + -1 + 48?
False
Let z = 69 + -48. Let b be z/14*6/(-1). Is 5 a factor of 2/b + (-184)/(-18)?
True
Is 30 - (15/5 - 7) a multiple of 8?
False
Let o(f) = 2*f**3 - 3*f + 5. Let d(w) = -w**3 + 2*w - 3. Let x(r) = -8*d(r) - 5*o(r). Suppose g - 4*n + 12 + 5 = 0, -4*n = 3*g - 13. Is 2 a factor of x(g)?
True
Let a(r) = -25*r + 19. Does 44 divide a(-1)?
True
Let p = -55 - -78. Let o = p + 14. Suppose 2*w = -7 + o. Is w a multiple of 9?
False
Suppose 3*o = -o + 36. Is o a multiple of 9?
True
Let l(i) = -i**3 - 13*i**2 + 22*i + 15. Is 45 a factor of l(-15)?
True
Let u(z) = z**3 + 2*z**2 + z. Suppose -f - 5 = -c, 3*f - 2*c = 2*f - 8. Let p be u(f). Is p/((-1)/(-2 - -6)) a multiple of 4?
True
Let o = 15 - 12. Does 3 divide o?
True
Let t(i) = -i**2 - 3*i + 4. Let w = -10 - -6. Let r be t(w). Suppose 5*v - 3*v - 26 = r. Is 13 a factor of v?
True
Suppose 3*s = 99 + 27. Let g = s + -24. Is g a multiple of 9?
True
Suppose 276 = -5*k + 111. Let w = -15 - k. Is w a multiple of 18?
True
Suppose 4*r + 2*o = 7*o + 188, 0 = 3*r + 2*o - 118. Let x = r + -20. Does 8 divide x?
False
Let t(r) = r**3 + 9*r**2 - 15*r - 7. Is t(-10) a multiple of 7?
False
Let k be (13 - 7)*1/3. Suppose i - w - 18 = -k*w, 0 = -4*i - 2*w + 76. Is i a multiple of 17?
False
Suppose -3*d = -2*h - 2*h - 22, 16 = -4*h. Suppose -3*f + 57 = 3*l, d*f - 78 = -f + 4*l. Is 9 a factor of (4/(-4))/((-1)/f)?
False
Let x(l) = -l**2 + 4*l - 2. Let u be x(4). Let v be u + ((-30)/(-2) - -2). Is 17 a factor of 594/v + 2/5?
False
Suppose 1 = -2*g - 3, -3*j = -3*g. Let w be j/8 + 519/12. Let z = w + -19. Is z a multiple of 24?
True
Let g(q) = q**2 - 6*q - 1. Let z be g(7). Let h(v) = -v**3 + 7*v**2 - 7*v + 9. Is h(z) a multiple of 3?
True
Let a = 27 - 51. Let o be ((-4)/(-6))/(1/a). Is (-17)/(-3) + o/24 a multiple of 5?
True
Let j(i) = 3*i - 1. Let n be j(1). Suppose -12 = -n*k - k. Suppose -3*z - 2*x + 112 = 0, -k*z + z - x + 107 = 0. Is 17 a factor of z?
True
Suppose 29 - 4 = 5*v. Suppose 2*a + 4*s = 16, -2*s + 64 = v*a - 4*s. Suppose 3*z = z + a. Is 3 a factor of z?
True
Suppose 3*d = v + 2*v + 27, 0 = -5*d - v + 15. Let m = d - 0. Does 11 divide (-90)/(-8) - 1/m?
True
Let i(h) = 3*h - 5. Does 2 divide i(4)?
False
Let i(m) = -m**3 + 22*m**2 - 39*m + 11. Is 13 a factor of i(20)?
False
Let d(s) = -5*s**2 - 2*s + 1. Let w be d(1). Suppose 4*k - 2*n + 18 = -7*n, -5*n = -4*k + 2. Let r = k - w. Is 4 a factor of r?
True
Suppose -352 = -3*z - z. Let w = -34 + z. Is w a multiple of 12?
False
Let v(a) = a - 15. Let k be v(7). Let n = 17 + k. Suppose 21 = 5*h - n. Does 3 divide h?
True
Suppose -2*m - 3*m + 45 = 0. Does 8 divide m?
False
Suppose -r - 5 - 3 = -2*a, -5*r + 4*a = 16. Suppose r = -j - 3 + 6. Suppose 0 = 4*c + 4*x - 76, 4*c = 3*c - j*x + 23. Is c a multiple of 17?
True
Is (-19)/(-19) + 143 + (-4)/2 a multiple of 18?
False
Suppose q - 17 = 4*m + 23, -5*m = 4*q - 97. Suppose 5*b = 63 - q. Does 7 divide b?
True
Is 3 - (0/3 + -10) a multiple of 13?
True
Let v(b) = -2*b**3 - 6*b**2 - 3*b + 5. Is 8 a factor of v(-5)?
True
Suppose 0 = 5*m + 27 + 3. Is 22 a factor of (m*1)/((-9)/66)?
True
Let c(h) = h**3 - 2*h**2 + h + 50. Let k be c(0). Let j = -28 + k. Does 10 divide j?
False
Let c(t) be the second derivative of t**7/840 + t**6/120 - t**5/60 + t**4/24 + t**3/6 + t. Let l(w) be the second derivative of c(w). Is l(-3) a multiple of 6?
False
Let p(l) = -l**2 - 6*l - 6. Let q be p(-6). Does 12 divide (27/q + 3)*-34?
False
Let i(o) = 39*o - 2. Let m be i(2). Let j = -380 + 572. Suppose 3*n = 6*d - d - j, n = 2*d - m. Does 18 divide d?
True
Suppose 0*x = -5*x + 50. Let c = -4 + x. Is (-172)/(-6) + (-4)/c a multiple of 12?
False
Let u be ((-2)/6)/((-2)/30). Let a(d) = 4*d**2 - 4*d + 3. Let s be a(-6). Suppose m - 3*h = -3*m + s, u*h = -5*m + 205. Is m a multiple of 20?
False
Let y be 1*(2 - 3) + 4. Let g = y + 1. Is g a multiple of 4?
True
Is (4/(-5))/((-10)/50) a multiple of 2?
True
Let x(p) = 33*p**2 - p - 3. Is 9 a factor of x(-3)?
True
Let w(z) = -z + 6. Does 2 divide w(0)?
True
Let m(a) = 135*a. Is 18 a factor of m(2)?
True
Is 13 a factor of 4 + (4 - (-2 + 5))*17?
False
Let v(n) = n**2 - 16*n - 10. Is v(19) a multiple of 2?
False
Let h(c) = 18*c + 2. Does 5 divide h(1)?
True
Suppose 5*o - 5*j = 3*o + 60, 2*o - 76 = j. Is 14 a factor of o?
False
Suppose 0 = -2*g - j + 2*j + 3, 2*g + 7 = -j. Is 4 a factor of -1 - 0 - g*9?
True
Suppose 3*k + 138 = c, 304 = -0*c + 2*c + k. Is 7 a factor of c?
False
Let t(l) = -2*l - 3. Let d be t(-4). Suppose -d = -j + 8. Is 13 a factor of j?
True
Let w = -10 + -15. Let i(n) = 2*n**2 - 5*n - 7. Let k be i(6). Let p = k + w. Does 10 divide p?
True
Let l(b) = 2*b**2 + b + 1. Let x be l(-2). Suppose -x*q + 96 = -3*q. Suppose 2*p + q = 6*p. Is 5 a factor of p?
False
Suppose -33 = -7*y + 16. Is 5 a factor of y?
False
Suppose -4*n + 2080 = -4*z, 0 = 3*n - 8*n - 4*z + 2645. Is 62 a factor of n?
False
Suppose -1048 = -19*l + 11*l. Is l a multiple of 6?
False
Let x = 65 - 33. Suppose c + 3*r - x = 64, 2*r = 4. Let a = c - 45. Is a a multiple of 15?
True
Let s = -5 + 4. Let o = -2 + s. Is 12 - 0 - 2 - o a multiple of 9?
False
Let j = -2 - -93. Is 23 a factor of j?
False
Suppose 2 = 3*h - 1. Let x(d) = 33*d**3 - 2*d**2 + d. Does 12 divide x(h)?
False
Suppose q + 149 = 5*q - 3*g, 0 = -q - 2*g + 40. Is q a multiple of 19?
True
Let t(g) = g**2 - 5*g - 1. Let m be t(4). Let o = m - -8. Suppose -4*w = -o*w - 15. Does 15 divide w?
True
Suppose 0 = t + 2*t + 9. Is (-1 + 3)/(t/(-9)) a multiple of 4?
False
Suppose -2*p + 117 = 3*p + q, -4*p - q = -94. Is p a multiple of 23?
True
Let l(v) be the first derivative of 7*v**2/2 + v + 7. Does 15 divide l(4)?
False
Let d = 63 - 33. Suppose -2*z - d = -10. Is 9 a factor of (22/z)/(3/(-15))?
False
Let t(x) = x**3 - 2*x**2 + x - 2. Let m be t(2). Suppose -19 - 21 = -5*a. Suppose -6*h + 4*h + a = m. Does 3 divide h?
False
Is (3 - (0 - 0)) + -7 - -76 a multiple of 18?
True
Suppose 0 = 2*v - 14 - 16. Let t = v - -3. Suppose 0 = h + 3, -5*h = 4*b - 99 + t. Is b a multiple of 15?
False
Suppose 168 = i + 2*i. Is 14 a factor of i?
True
Let p = -21 + 36. Suppose -5*z = 3*g - p, -6 = 2*z - 4*g - 38. Is 11 a factor of z/(-9) - 136/(-6)?
True
Does 36 divide (-3 - -6) + 1074/6?
False
Suppose 3 = 3*d - 0. Let w be (2*9)/2 - d. Is 1 + w - (-1 - -2) a multiple of 5?
False
Let f(z) = z + 1. Let a be f(1). Suppose -3*o + 28 = -a*o. Suppose 5*t = 4*t + d + o, 4*t + 2*d - 100 = 0. Does 9 divide t?
False
Suppose 5*s + 83 = -2*g - 48, s + 5*g = -17. Suppose 2*j - 14 + 125 = -3*k, 3*k + 5*j = -102. Let r = s - k. Does 12 divide r?
True
Let i(u) = -3*u - 7. Let x be i(-6). Suppose x = 4*j - 1. Is j even?
False
Let d be (6/(-9))/((-12)/54). Suppose 2*n = 3*r + 47, -68 = -0*n - d*n + 2*r. Does 11 divide n?
True
Let h(j) = j**3 + 13*j**2 - 3*j - 3. Is 18 a factor of h(-13)?
True
Suppose 3*z = 2*z + 5. Does 2 divide z?
False
Let b(k) = -3*k + 10. Let l be b(7). Suppose 4*v - 149 = -3*r, 0*v - 2*v + r = -67. Let j = v + l. Is 24 a factor of j?
True
Let a = -10 + 14. Is 2 a factor of a?
True
Let q be ((-45)/2)/((-6)/8). Suppose -3*n + 2*z + q = -z, 5*z - 62 = -3*n. Suppose -91 = -5*v + n. Is v a multiple of 20?
False
Let c(j) = 6 + 3 + 2 + 5*j - j**2 + 1. Does 6 divide c(6)?
True
Let a(p) = 9*p + 11. Is a(5) a multiple of 7?
True
Let f(p) be the second derivative of 5*p**3/6 - 5*p**2/2 + 3*p. Let j be f(4). Suppose -3*l + j = 2*l, 5*z - 118 = 4*l. Is z a multiple of 11?
False
Let j = -33 - 1. Suppose -3*a + 128 = 2*t, 2*t + 3*a - 67 = t. Let w = t + j. Does 10 divide w?
False
Let h be (-273)/26*(-52)/3. Suppose -28 - h = -5*k. Is 