 0*r - 1 = h + 5*r, -h + 3*r = -7. Suppose -12 = -h*t + t. Suppose 2*y + 62 = t*y. Does 17 divide y?
False
Suppose -4*u = -2*w - 188, -u - u + 82 = -4*w. Suppose 2*q - 3*l = l + 92, -q = -3*l - u. Is 10 a factor of q?
True
Suppose 9 + 24 = 4*p - 5*o, 2*p - 3*o = 19. Suppose -p*n = n - 21. Is 2 a factor of n?
False
Let z be ((-22)/4)/(7/42). Let n = z + 72. Is n a multiple of 13?
True
Let m(x) = x**3 + 10*x**2 + x + 12. Let w be m(-10). Suppose a - 71 = -w*c, -2*c - 3*c + 205 = -3*a. Is c a multiple of 19?
True
Let d(t) = -2*t**2 - 6*t - 4. Let s be d(-4). Let j = s + 21. Does 10 divide (21/(-2))/(j/(-12))?
False
Let x = -13 + 47. Is x a multiple of 11?
False
Suppose 5*s = 3*s + 190. Let a be (-8)/20 + 293/(-5). Let b = s + a. Is 16 a factor of b?
False
Let t(p) = p**3 + 4*p**2 - 8*p + 8. Let z be t(-6). Let s(o) = o**3 - 3*o**2 + 2. Let u be s(3). Let g = u - z. Does 5 divide g?
False
Let y = -9 + 5. Suppose -3*f + 6 = -6. Is 9 a factor of 2/y + 38/f?
True
Let w = -20 - -93. Does 8 divide w?
False
Let t(a) be the third derivative of 2*a**5/15 + a**3/2 - 2*a**2. Let j be t(-4). Suppose 0 = -n + 5*d + 29, -5*d - j = n - 5*n. Is n a multiple of 16?
False
Suppose 2*a = -s + 56, 0*s - 127 = -2*s - a. Let t = -39 + s. Suppose 5*z - t = -3*i, -2*i + 7*i = -4*z + 58. Does 10 divide i?
False
Let q be -1 + 3 - 24/(-12). Suppose 2*t - u - 58 = 0, 2*t + 3*t - 171 = -q*u. Does 14 divide t?
False
Does 31 divide 2/(-3) - 5610/(-45)?
True
Let s(x) = x**3 + 9*x**2 - 13*x + 1. Let c(i) = i**2 - i - 1. Let d(o) = 4*c(o) - s(o). Let y be d(-7). Let w = y + -18. Is w a multiple of 6?
True
Let v(b) = 8*b - 4. Does 10 divide v(3)?
True
Let x(c) = 8*c + 1. Does 11 divide x(4)?
True
Suppose 0 = 2*w - 3*n - 4, 4*n + n = -2*w + 4. Let f be w/2 + -3 + 5. Suppose -2*q - f*q + 65 = 0. Is 13 a factor of q?
True
Suppose -3*z + 25 = 2*z. Suppose -n - n + 2*i + 86 = 0, 0 = z*n - 3*i - 209. Is 13 a factor of n?
False
Let m = 149 + -102. Is m a multiple of 10?
False
Let c = -17 + 27. Does 7 divide c?
False
Suppose -5*f - 73 = -178. Does 11 divide f + -1 + (4 - 2)?
True
Suppose -911 = -14*w + 139. Is w a multiple of 25?
True
Let d be 88/6 + (-2)/3. Let a be (-3 - -2)/(1/d). Let t = 24 + a. Is 10 a factor of t?
True
Suppose 0 = -22*d + 17*d + 615. Does 20 divide d?
False
Let u(t) = -2*t - 5. Is 3 a factor of u(-8)?
False
Let t = -7 - -81. Suppose -4*r + 4 = 0, 4*x + 3*r - t = r. Is 16 a factor of x?
False
Suppose 18 = 3*i - 3*f, -4*f = -2*i + 3*i + 14. Suppose 0 = i*x + 1 - 7. Is x a multiple of 2?
False
Let j(p) = -p**3 + p**2 - p + 8. Is j(0) a multiple of 3?
False
Let g(s) be the first derivative of s**4/4 - s**3 - s**2 - 2*s + 4. Is g(4) a multiple of 2?
True
Let h be 8/(4/1)*2. Suppose -2*a = -2*n + 42, 0 = -n - h*a + a + 25. Does 22 divide n?
True
Let z(j) = j**3 + 7*j**2 - j + 7. Let w be z(-5). Let i = w - 35. Is 7 a factor of i?
False
Let u be 4/8*20/2. Suppose -2*t + 2*n + 8 + 2 = 0, 5*t - 16 = -4*n. Suppose q - 2*r = -7*r + t, 40 = u*q + 5*r. Is q a multiple of 8?
False
Let a be (3 + -3)*-1*1. Suppose a = 2*f + 2*f - 144. Is f a multiple of 12?
True
Let z(u) = -2*u - 6 - 6*u + 0. Does 14 divide z(-6)?
True
Let y = -5 - -7. Is y even?
True
Let h(q) = -2*q - 10. Does 4 divide h(-9)?
True
Is 40/15*(-126)/(-12) a multiple of 11?
False
Suppose 0 = 6*i - 7*i + 348. Is 12 a factor of i?
True
Let n(r) = -10*r + 1. Let z be n(-3). Let a = z - 15. Is 8 a factor of a?
True
Let g = -9 - -18. Let w be (-20)/(-6) + (-3)/g. Suppose 0 = -4*h + 2*z + 194, 0 = -w*h - 3*z + 11 + 112. Is 21 a factor of h?
False
Suppose 4*k + 357 = 7*k. Suppose -3*q + 5*j - 110 = 0, 3*q - 4*j - 13 + k = 0. Let v = -3 - q. Is v a multiple of 9?
True
Let l(d) = d**2 - 4*d - 1. Let c be (-4)/18 - (-40)/18. Suppose c*o + 9 = -o. Does 10 divide l(o)?
True
Let f(q) = q**2 - 9*q + 8. Let t be f(8). Suppose t*c + 3*c = 27. Is 4 a factor of c?
False
Let x = 2 + -6. Let c(d) be the first derivative of -5*d**2 - 3*d - 1. Does 14 divide c(x)?
False
Let w be 0/3 + (-34 - 2). Let c = w + 54. Suppose -5*g + 164 = x + c, 5*g = -3*x + 148. Is 12 a factor of g?
False
Suppose y + 14 = 87. Let j be (-581)/(-21) - (-2)/6. Let c = y - j. Does 16 divide c?
False
Suppose -3*c + 50 = -19. Is c a multiple of 8?
False
Suppose -84 = -4*v + 2*v. Is 14 a factor of v?
True
Suppose -5*s + 92 = -3*w, -s + 20 = -w - 0. Does 8 divide s?
True
Let m be 2/(-2 - -3 - 2). Let j = 1 - m. Suppose -90 = j*n - 8*n. Is n a multiple of 5?
False
Let w = 1 + 32. Does 11 divide w?
True
Is 54 a factor of (-9 - -8)/((-2)/386)?
False
Let o be 22 - ((-1 - -1) + 2). Suppose 5*q - 4*x + 35 = -x, -3*q + 2*x - o = 0. Let w = 22 + q. Does 6 divide w?
True
Suppose 5*p - 145 = 665. Does 35 divide p?
False
Let k(v) = -v**3 + 6*v**2 + 4*v + 1. Let r = -22 - -27. Is k(r) a multiple of 23?
True
Let v be ((-2)/(-6))/((-1)/93). Let d be (-2)/(-7) + (-766)/(-14). Let q = v + d. Does 12 divide q?
True
Suppose -12 = 3*g, -5*y = 3*g + 3 - 1. Suppose -b + y*u = 8, u - 2*u + 9 = 2*b. Does 23 divide b/(-1) - (-30 + 5)?
True
Let f = 0 + 5. Suppose -3*k + 12 = 3*g, -4*k + f*k = 4*g - 16. Suppose 17 = r - k*r. Does 15 divide r?
False
Suppose -3*w + 5*r = -1, 2*w - 27 = 6*w - r. Let k be 4/(w/(-3))*2. Let y = k + 5. Is y a multiple of 3?
False
Suppose 6*c = c + 120. Does 13 divide (78/8)/(c/64)?
True
Suppose 3*r + 126 = 6*r. Is 28 a factor of r?
False
Suppose 4 = 2*g + q, -3*q - 18 = -0*g - 4*g. Is 16 a factor of (g/(-6))/((-1)/68)?
False
Suppose 0 = -4*v - 5*w - 203, -3*v + w = 2*v + 232. Let b = -27 - v. Does 10 divide b?
True
Let a = 12 - 7. Suppose -c = -11 + a. Is -2 + c - 1 - -26 a multiple of 8?
False
Let m be 2/9 - 6/27. Let z(g) = g**3 - g**2 + 48. Is z(m) a multiple of 16?
True
Suppose 5*y = -25, -65 = -4*x - y + 2. Is x a multiple of 2?
True
Let m = 1 + 0. Let s(w) = -5 + 3*w + 4 + 12*w**2 - 4*w + 2. Is 11 a factor of s(m)?
False
Let a be -1*(-3)/((-9)/(-24)). Let j = a + -5. Suppose -j*c + 6 = 2*d, -4*c + 2 = 2*d - 8. Is c a multiple of 4?
True
Suppose -5*y + 2*z = -18, -3*y + 0*z = 4*z + 10. Suppose 2*m - 32 = 2*l + 2*l, 4*l = m - 26. Suppose y*g = 3*r - 16, g = -m*r + r + 44. Does 6 divide r?
False
Let k(j) = 5*j**2. Let u be k(-1). Suppose -u*m = -2*m. Suppose r = -m*r + 21. Is 13 a factor of r?
False
Let r(l) = -13*l + 7. Let k(p) = -7*p + 4. Let m(d) = 5*k(d) - 3*r(d). Let u be m(5). Does 16 divide (-1 + 4 - 1)*u?
False
Suppose -59 + 284 = 3*w. Is 7 a factor of w?
False
Let b(p) = -p**3 + 9*p**2 + 4*p + 5. Is b(9) a multiple of 8?
False
Let t(v) = v**3 + 7*v**2 - 13*v - 16. Is 25 a factor of t(-7)?
True
Suppose 0 = -3*k + 3*j + 45, -3*k + 31 + 39 = 2*j. Is k a multiple of 20?
True
Suppose -2*z - 3*j = -139 - 55, z = 4*j + 108. Suppose -2*c + z = 2*g - 6*g, -3*c - 5*g = -128. Is 21 a factor of c?
False
Let p be (-6)/3 + -2 + -1. Does 2 divide p*3/(-3) - 0?
False
Let d be (-1 + -1)*(-138)/12. Is 7 a factor of d + -3 + 5 + 3?
True
Let x(m) = 2*m**2 - m + 2. Suppose 3*s + 2*d = 7, 4*s - 8 = -0*s - 4*d. Let l be x(s). Suppose 4*f - 57 + l = 0. Is 9 a factor of f?
False
Suppose 0 = -3*f + 9, 4*l + l - 2337 = f. Is 8 a factor of 2/5 + l/30?
True
Is (-15)/(-25)*-6*20/(-3) a multiple of 6?
True
Suppose 3*f - f - 10 = 0. Let u(z) = -2*z**3 - 7*z**2 + 3*z - 26. Let y(a) = -a**3 - 4*a**2 + 2*a - 13. Let j(d) = f*y(d) - 3*u(d). Does 13 divide j(0)?
True
Suppose 3*q + 4*v - 504 = 0, 694 = 4*q - 3*v + v. Let a = q - 114. Suppose a = -3*b + 5*b. Is 8 a factor of b?
False
Is 19 a factor of (-7 - -7) + 267 + 1 - 2?
True
Let f(k) = -19*k - 4. Let z be f(-6). Suppose 5*t + 15 - z = -4*a, 4*a = 2*t + 130. Let n = a - 13. Does 17 divide n?
True
Let h = 14 - 9. Suppose -n + 28 = -4*m, 5*n = h*m - m + 76. Is 3 a factor of n?
True
Let x be -1 - 4*(0 + 1). Let r(q) = -q**3 - 4*q**2 - 4*q + 5. Is 18 a factor of r(x)?
False
Let p be 622/10 + 2/(-10). Suppose -4*i = 3*r + 85, p = -r + 5*i + 2. Let o = r + 60. Does 11 divide o?
False
Let j(m) = 2*m**2 - 5*m + 6. Let s(c) = -c - 4. Let v be s(-8). Let k be j(v). Suppose -2*a + k = -a. Is a a multiple of 18?
True
Suppose 0 = 4*m + 5 + 11. Does 16 divide -2*(-18 + m + 6)?
True
Let f = 0 + 2. Suppose -2*q + j = f*q - 65, 2*q - 36 = 4*j. Is q a multiple of 8?
True
Suppose 0*p + 5*j = -4*p - 3, 5*p = -5*j. Suppose -p = 2*t - 3*t. Is 2 a factor of