*u - 5*v = -21. Suppose -3*h = f + u*h - 43, 0 = -2*f - 5*h + 111. Suppose 2*p + 2*p + f = 4*a, 25 = 2*a + p. Is 8 a factor of a?
False
Is 4 a factor of 874/10 - (1 - (-24)/(-15))?
True
Does 7 divide ((-17)/2)/(1/(-4))?
False
Suppose -2*f = -1 - 5. Let t(d) = 16*d + 2. Is 25 a factor of t(f)?
True
Let g(y) = -2*y + 0 - 4 + 8. Let w be g(3). Is (1 - 3)*3/w a multiple of 3?
True
Suppose -c = -2*c - q + 4, 5*c - 2*q - 6 = 0. Is 2 a factor of c?
True
Let v = -17 - -21. Suppose v = j - 18. Is 4 a factor of j?
False
Let k(n) = -n**3 - 6*n**2 + 9*n. Let z be (-2)/(1 + 3/(-4)). Let a be k(z). Suppose -3*u + 3*s - 17 + a = 0, -s = 4*u - 27. Does 4 divide u?
True
Let v(z) = -z**2 + 7*z - 4. Let l be v(3). Suppose 0 = 2*d - l + 2. Suppose 0 = -d*u + 2*w + 44, -3 = -5*w + 22. Is u a multiple of 7?
False
Suppose 3*p = 83 - 32. Let a be -2*1*(p + -4). Let b = 67 + a. Does 17 divide b?
False
Let x be 4/6 - 156/(-9). Let u = 8 + x. Does 13 divide u?
True
Suppose -3*n + 2*n - 2*h + 122 = 0, 0 = 3*n + 3*h - 360. Suppose -4*b + n = -90. Is b a multiple of 26?
True
Let g(t) = 8*t**2 - 26*t - 38. Let n(j) = 3*j**2 - 9*j - 13. Let i(y) = -4*g(y) + 11*n(y). Suppose -5*o = 32 - 2. Is 15 a factor of i(o)?
True
Let x(n) = -n + 10. Let d be x(7). Let o be (-10 - 0/2)*-5. Suppose -28 - o = -d*k. Is 13 a factor of k?
True
Suppose 5*s - 215 = 30. Is 7 a factor of s?
True
Let y(f) = -f**2 + 5*f - 4. Let w be y(3). Suppose w*r + 0*r - 10 = 0. Does 5 divide r?
True
Suppose -2*g = h - 285, 5*h + g = -3*g + 1425. Does 13 divide h?
False
Let v(u) = 3 + u**3 + 6*u**2 - 2*u**2 - 10 - 2*u + 2*u**2. Is v(-5) a multiple of 14?
True
Let p = -5 + 4. Let b(d) = 15*d**2 + d + 1. Does 13 divide b(p)?
False
Let x = 0 - 2. Let s(q) = -4 - 8*q + 3*q + 3. Is s(x) a multiple of 9?
True
Suppose 0 = -3*m - 4*q + 39 + 30, 3*m - 69 = 4*q. Does 7 divide (m/(-2))/(5/(-10))?
False
Suppose -5*f + 86 = 3*o, -4*o - 2*f = -7*f - 173. Does 13 divide o?
False
Suppose 4*q - 104 = -2*v, -4*q - 15 = 5*v - 107. Suppose -5*a + q = -202. Is 16 a factor of a?
False
Let t(r) = 10*r**3 - r + 2. Does 11 divide t(1)?
True
Let z = 22 + 11. Is 11 a factor of z?
True
Suppose 1025 = -4*k + 9*k. Is 38 a factor of k?
False
Let r = -81 + 81. Let v(n) = -n**3 - 4*n**2 + 4*n - 5. Let h be v(-5). Suppose h = 4*i + 16, -4*i + 24 = 2*w - r*i. Is w a multiple of 9?
False
Does 24 divide (-2)/((-6)/567) + 3?
True
Let b(t) be the first derivative of 1/2*t**2 + 3 + 4*t. Does 5 divide b(6)?
True
Is 10 a factor of (114/12)/(2/8)?
False
Let m be ((-1)/3)/(3/(-90)). Suppose 5*g - 16 - 54 = -4*b, m = -5*g. Is b a multiple of 4?
True
Let b be (-1)/4 + (-9)/12. Is (14/21)/(b/(-12)) a multiple of 8?
True
Let k(x) be the first derivative of x**3/3 - 7*x**2/2 - 2*x - 3. Is k(9) a multiple of 8?
True
Let u = 73 + -44. Does 26 divide u?
False
Suppose 3*x - 63 = 3*p, 2*x - 14 - 48 = 3*p. Is (24/30)/((-2)/p) a multiple of 4?
True
Suppose 0 = 3*q - 0*a + 5*a + 14, -q = 5*a + 8. Let x(y) = -4*y + 2. Is x(q) a multiple of 14?
True
Suppose -3*l = -2*j - 66, 2*l - 5*j + 6 - 39 = 0. Is 6 a factor of l?
True
Let c be 2 + -1 - (-5 + 2). Suppose 22 = -c*h + 162. Let s = 17 + h. Does 26 divide s?
True
Let o = 17 + 23. Does 20 divide o?
True
Let i = -19 - -43. Is 8 a factor of i?
True
Suppose -2*k + 4*r = -38, 4*r = -0*k - 4*k + 16. Let x = k + 3. Does 12 divide x?
True
Let m(u) = u**2 + 1. Let g be m(-1). Suppose -l = -g - 2. Suppose 2*q = -5*y + 122 + 30, -4*y - l*q + 112 = 0. Is y a multiple of 16?
True
Let a = 217 + -141. Suppose -2*k = -4*g + 26 - a, 0 = 5*k + 3*g - 177. Is 11 a factor of k?
True
Suppose 2*q + 2*x - 4 = 222, 2*q = 2*x + 234. Suppose -1 = y, -5*j + q = 6*y - y. Does 8 divide j?
True
Suppose -4*n + 144 = -72. Is n a multiple of 18?
True
Let y(l) be the second derivative of 11*l**3/6 + 4*l**2 - 5*l. Does 22 divide y(5)?
False
Let h(r) = -10*r + 7*r + 3*r**2 - 2 - 2 + 2. Is h(-4) a multiple of 24?
False
Let z be (-6)/27 + 436/18. Suppose -2*d + d = -4*l + z, -4*d = 3*l + 1. Suppose -l*y - 3*c + 35 = 0, 0*c - 5*c - 25 = 0. Does 5 divide y?
True
Is 4 + (-5)/(15/(-201)) a multiple of 19?
False
Let r = 291 - 55. Let b = r - 168. Does 15 divide b?
False
Suppose 3*f - 60 = f. Let c = 54 - f. Suppose c = u + u. Does 6 divide u?
True
Suppose 4 - 3 = -m. Is (-21)/m - (-4 + 7) a multiple of 5?
False
Let s = -21 + 27. Does 4 divide s?
False
Let a(f) = -f**3 + 4*f**2 + 5*f + 7. Let s be a(6). Let l = 79 + s. Is 15 a factor of l?
False
Let y(r) = -r**3 - 7*r**2 - 9*r - 5. Let o be y(-6). Suppose 4*g + 8 = 2*g. Let p = g + o. Is p a multiple of 7?
False
Let m = 53 + 103. Is 13 a factor of m?
True
Suppose 5*j - j - 3*g = 2, -3*j + 16 = 5*g. Is j/6 - 1030/(-15) a multiple of 33?
False
Let r = -2 - -2. Suppose 3*f + r*f = 0. Let m = 8 - f. Does 6 divide m?
False
Is 5 a factor of ((-60)/7)/((-27)/(-7) - 4)?
True
Let t = 3 - 4. Let z(b) = -4*b**3 + 2*b**2 - 1. Let y be z(t). Suppose -2*k - 197 + 72 = -y*x, x + k - 32 = 0. Does 8 divide x?
False
Let l(c) = 95*c**3 - 2*c**2 - 5*c. Let w be ((-2)/(-6))/((-7)/42). Let x(p) = -47*p**3 + p**2 + 2*p. Let d(k) = w*l(k) - 5*x(k). Is d(1) a multiple of 15?
False
Suppose -p = 1 + 2. Let z(b) = -13*b + 4. Let n be z(p). Suppose 4*y - 4 = 2*t + 24, -n = -3*y - 4*t. Is 9 a factor of y?
True
Let k(y) = -y - 4. Let h be k(-7). Let q(b) = -h*b + 3*b**2 - 1 + 4*b**3 - 1 - 3*b**3. Does 7 divide q(-3)?
True
Suppose w + 36 = -4*h - 0*w, -5*w = 2*h + 36. Let t = h - -13. Suppose t*x - 90 = 30. Does 12 divide x?
True
Suppose -4*o + 9*o - f = 210, -3*o + 126 = 2*f. Suppose -z + 4*q + 16 = 1, o = 2*z - 4*q. Does 9 divide z?
True
Let p = -15 - -22. Let n = 39 - p. Is 16 a factor of n?
True
Let z = 20 - 14. Suppose 3*u - z*u + 42 = -r, 0 = -3*u. Let w = r + 66. Is 12 a factor of w?
True
Let p = -91 + 201. Is 4 a factor of p?
False
Let y = -63 - -102. Is 13 a factor of y?
True
Suppose -48 + 0 = 4*k. Let x = -1 - k. Is 11 a factor of x?
True
Suppose -2*y + 0*v = v - 2, -5*y + 19 = -v. Suppose y*n - 81 = 3*p, -n + 53 = -3*p + 18. Is 20 a factor of n?
False
Suppose 5*d - w = -4*w + 142, -w - 88 = -3*d. Is 17 a factor of d?
False
Suppose -3*z + 0*z = -144. Let w = 25 - 23. Suppose -w*l = l - z. Is l a multiple of 14?
False
Suppose 3*c - 2*m = 427, 2*c - 4*c + 284 = -m. Is c a multiple of 21?
False
Suppose -2*s - 2*s + 36 = 0. Suppose -y + s + 5 = -3*r, -y + r = -10. Let u = 22 - y. Does 7 divide u?
True
Let k(n) = n. Let x be k(0). Suppose 4*h - 19 - 157 = x. Is h a multiple of 14?
False
Let o = 872 - 580. Does 40 divide o?
False
Let w(y) = 4*y**2 - 3*y - 3. Let p be w(-2). Let j(s) = s**3 + 9*s**2 + 3*s - 8. Let a be j(-9). Let d = p - a. Does 21 divide d?
False
Suppose 5*w - 5 = 0, -9 = -4*q + 5*w - 2. Suppose q*h + h - 140 = 0. Is h a multiple of 9?
False
Suppose 2 = -c + 14. Suppose -7 = -h - 4*x + c, 5*x = 5*h - 195. Does 7 divide h?
True
Suppose -9 = -6*y + 57. Let k(b) = 2*b + 20. Is 14 a factor of k(y)?
True
Let a = 35 - 12. Suppose -4*s + a + 45 = 0. Is 10 a factor of s?
False
Let i(z) = -z**3 - 10*z**2 - 9*z - 13. Let d be i(-11). Let j = d - 147. Suppose -5*o = -10*o + j. Is o a multiple of 6?
True
Suppose h = -4*x + 91, -49 = -x + h + 4*h. Does 16 divide (x/(-20))/(4/(-210))?
False
Let r = 2 + 10. Is r a multiple of 12?
True
Let b(f) = -11*f - 3. Let i be b(-2). Suppose -3*g + i = -47. Suppose 2*j + 12 = 2*v, 5*v + 0*v + 3*j - g = 0. Is v a multiple of 5?
True
Let y = -16 - -18. Is y even?
True
Let n = 1 + -4. Let y be 1 - n - (-1 + 1). Suppose -y*v + 35 = v. Does 7 divide v?
True
Let w(z) = 2*z**2 - 5*z - 6. Let x be w(5). Let q(c) = c**2 + 5. Let i be q(0). Suppose -145 = -4*u + 3*v + x, -i*u = -2*v - 205. Is 15 a factor of u?
False
Suppose -2*d + 4 = -3*x, 0*d + d - 5*x = -12. Let p = 6 + d. Is p a multiple of 7?
True
Suppose 0 = -8*u + 10*u - 10. Suppose 81 = g + 3*p, -p + 404 = 4*g - u*p. Does 24 divide g?
True
Suppose 17 + 29 = -2*o. Suppose -2*k = 3*k + 10, -2*d = -4*k + 14. Let v = d - o. Does 6 divide v?
True
Suppose -13*m = -9*m - 60. Does 7 divide m?
False
Suppose -6*f + f + 12 = a, 3*a = 5*f - 4. Suppose 3*o = -3*s + 141, -a*s + 37 = -s + 3*o. Is s a multiple of 26?
True
Let z(a) = 0*a**2 + 4*a**2 - 3*a - 2 - 2*a**2 - 2. Let d be (-4)/(1*(1 - 2)). Is z(d) a multiple of 9?
False
Let f = -3 - -13. Is f a multiple 