 3. Let l be o(5). Suppose 30 = -z + l*z. Does 10 divide z?
True
Suppose i = y + 2, -y + 0*y - 8 = -4*i. Let k = y + 34. Does 13 divide k?
False
Suppose 0 = y - 2*y. Suppose y = -5*i - 45 - 5. Let o = 14 - i. Is o a multiple of 12?
True
Let i = -55 - -89. Is 17 a factor of i?
True
Let o = 12 + -4. Let l = o - 3. Suppose -5*y - 182 = -l*a - 17, -36 = -a + 2*y. Does 15 divide a?
True
Suppose 3*f - 5*f = -4. Let n be (6 + -1)/(7 + 0 + -6). Let d = n - f. Does 2 divide d?
False
Suppose 4*w = p + 23, w - 4*p - 3 = -1. Let l be ((-74)/(-3))/(w/9). Let a = l - 24. Does 5 divide a?
False
Let m = 53 - 5. Suppose -3*s + s + m = 0. Does 24 divide s?
True
Suppose -2 = 5*a - 12. Suppose -14 = -a*t + 18. Does 16 divide t?
True
Let n(w) be the first derivative of 3*w**4/4 + w**2/2 - w - 4. Let b be n(1). Suppose -b*f + 9 = -9. Is 3 a factor of f?
True
Suppose n = -4*t + 2*n + 110, 0 = -n - 2. Is 21 a factor of t?
False
Suppose 0 = 4*c + 2*r - 184, 3*r + 90 + 114 = 4*c. Does 8 divide c?
True
Suppose 0*m = -4*m + 8. Let d = -69 - -168. Suppose m*k + i - 67 + 1 = 0, -3*k = -3*i - d. Is 16 a factor of k?
False
Let x = 300 + -46. Does 10 divide x?
False
Let v = -8 + -31. Let f = -18 - v. Does 16 divide f?
False
Suppose 2*a + a - 236 = 2*r, -5*a - 4*r = -364. Does 19 divide a?
True
Let d(s) = 9*s**2 + 6*s - 6. Let i(v) = 10*v**2 + 5*v - 5. Let a(m) = -5*d(m) + 6*i(m). Let t be a(1). Does 21 divide 304/10 + 9/t?
False
Let j(b) = -3*b - 5. Let k(g) = 4*g + 6. Let m(t) = 3*j(t) + 2*k(t). Let n be m(-5). Suppose -5*p = -n*p - 21. Is p a multiple of 3?
False
Let a = -4 - -8. Is 4 a factor of (-30)/(-2) + -5 + a?
False
Let j = 82 + -44. Is j even?
True
Let v(f) = f**3 + 2*f**2 - 3*f - 6. Let l be v(-4). Is ((-2)/(4/l))/1 a multiple of 4?
False
Let d be (20/8)/(1/2). Suppose 5*b = d*c - 12 - 193, 0 = -c - 3*b + 29. Is 11 a factor of c?
False
Suppose -32 = -2*k + 8. Suppose 5*t = 3*l + k, 3*t + 0*t = -3*l + 12. Is t a multiple of 4?
True
Suppose -3*i + 2*z - 92 = 0, 26 = -5*i + 4*z - 126. Let g = i - -74. Is 14 a factor of g?
True
Suppose -1 = -h + 4. Suppose 70 = -h*r - 3*l, -7*l + 8 = -3*r - 2*l. Does 11 divide (-9)/9*(r - 0)?
True
Let d = -11 + 66. Is 11 a factor of d?
True
Suppose 1 = -i + 13. Is 16 a factor of (i/5)/(3/80)?
True
Let y be 2*(-1)/(-2)*-21. Let o be 1 - (-1 + 1) - 2. Is 3 a factor of ((-1)/(-3))/(o/y)?
False
Let y(d) = -d**2 + 8*d + 1. Let a be y(8). Does 16 divide (6 + a)*72/28?
False
Suppose 5*d = -2*j + 425, j + 170 = 2*d + 3*j. Does 17 divide d?
True
Is 23 a factor of (178/4)/((-5)/(-10))?
False
Let v(d) = -d**3 + d**2 - 2*d - 8. Does 16 divide v(-4)?
True
Let w = 27 - 13. Is w - (2 - (-4)/(-2)) a multiple of 7?
True
Let q = -98 - -204. Does 50 divide q?
False
Suppose -x - 4*x + 50 = 0. Let i = x + 26. Let t = i + -26. Is t a multiple of 5?
True
Let b(f) = -f**2 - 8*f + 6. Let k(u) = u**2 + 9*u - 5. Let c(p) = 3*b(p) + 2*k(p). Is 4 a factor of c(-6)?
True
Let p = 19 - 7. Suppose -f - 4*g = -3*f + 82, 0 = 3*g - p. Is f a multiple of 14?
False
Let f be 1*-3 + (-6)/3. Let u be (12/f)/(3/(-15)). Suppose -4*s + 68 + u = 0. Does 10 divide s?
True
Does 21 divide (-14)/(-6)*(-18)/(-2)?
True
Let q = 4 + -7. Let x = -1 - q. Suppose -x*m + 22 = -6. Is m a multiple of 7?
True
Suppose 4*i - t - 2062 = 0, -4*i + 3*i - 5*t = -505. Is 15 a factor of 2/7 - i/(-35)?
True
Let t(f) = 34*f - 2. Let o = -18 - -19. Is t(o) a multiple of 14?
False
Let w(z) = -z**3 + 2*z**2 + 4*z - 1. Let q be w(3). Does 8 divide 20 - ((-4)/q)/2?
False
Let u(a) = a**3 - 2*a + 1. Let f be u(1). Suppose -3*i - 9 - 6 = f. Is -1 + -1 - (i + -20) a multiple of 15?
False
Let l(x) = -x**2 + 2*x. Let a be l(3). Is 8 a factor of 49 - (a - -4)*2?
False
Suppose 8*k - 3*k = 275. Does 11 divide k?
True
Suppose 49 = -j + 10. Let o = 12 - j. Is o a multiple of 15?
False
Let g be 374/8 - (-1)/4. Suppose -5 = n - g. Does 15 divide n?
False
Suppose 4*j = 5*q - 27, 0*q + 5*j + 12 = -q. Suppose 8*r - q*r = 0. Suppose -4*f + r*f = 4*y - 72, -2*y + 36 = -2*f. Does 6 divide y?
True
Suppose 2*m - 25 = 23. Does 12 divide m?
True
Suppose -66 = -2*s - s. Suppose -4*y - g + 0 = -5, 4*g = 5*y - s. Is 16 a factor of (4*y)/(3/18)?
True
Let k(z) = -z**3 + 7*z**2 - 6*z + 8. Does 4 divide k(6)?
True
Suppose 21 = 3*s - 4*d, 0 = -5*s + 6*d - 3*d + 24. Suppose -u = 5*a - 7, s*a = -u - u. Suppose 2*k + a = 90. Is 21 a factor of k?
False
Let y(h) = h**3 + 2*h**2 + 2*h + 1. Let i = 3 - 4. Let p be y(i). Suppose 3*f - 28 - 11 = -4*u, -4*f + 20 = p. Does 4 divide u?
False
Suppose -3 = -3*q + 18. Suppose 45 + q = 2*i. Suppose -3*f - 8 = -i. Does 3 divide f?
True
Let v(m) = m + 13. Let j be v(-10). Let l(n) = -j + 0 + 4*n + 4*n + 8. Is l(5) a multiple of 15?
True
Let o = 321 - 215. Is 27 a factor of o?
False
Let c = 12 - 9. Suppose 0 = c*w - 65 - 7. Does 16 divide w?
False
Let a(w) = -w**3 + 4*w**2 - 2*w - 2. Let n be a(2). Suppose -4*t + 184 = -2*r - n*r, -2*r + 76 = 2*t. Is t a multiple of 14?
True
Let m(f) = -2*f + 1. Let g be m(-1). Let l(c) = 2*c - 4. Let s be l(g). Suppose -4*b + 18 = r + b, -3*r + s*b = -105. Is 11 a factor of r?
True
Let i = -8 + 8. Let b(c) = c + 6. Let f be b(i). Let y(p) = -p**3 + 7*p**2 + p + 8. Is 19 a factor of y(f)?
False
Let q(b) = 5*b**3 - 3*b**2 + 4*b - 3. Suppose -8 = -6*w + 4. Is 11 a factor of q(w)?
True
Let d = -3 + 2. Let n be -1*d*14/2. Is n + -2 + 2 + -4 a multiple of 2?
False
Suppose 0 = -3*l + 3*t + 51, 2*l - 3*t + 21 = 60. Let h = l - 9. Is h a multiple of 2?
False
Suppose -4*v + 6 = -14. Let u = 9 - v. Suppose -u*f - f = -25. Is f a multiple of 2?
False
Let q(i) = -i**2 + i. Let w be q(1). Suppose -5*l + w*l = -165. Does 13 divide l?
False
Suppose 1092 + 305 = 11*v. Is 17 a factor of v?
False
Let m be (230/25)/((-4)/(-10)). Let s be 5*(8/(-10))/2. Does 8 divide m/3 - s/6?
True
Suppose -15*k + 375 = -10*k. Is 25 a factor of k?
True
Suppose 6 = a - 4*a. Is 3 a factor of 15 - (-1 - (2 + a))?
False
Is 20 a factor of (-2814)/(-35) - -3*6/(-45)?
True
Suppose a = -3*q + 5*q + 6, 4*q = -a - 6. Let m(v) = 5 - v + 10*v + a*v**2 - 2*v. Does 11 divide m(-5)?
False
Suppose 2*i - 7*i - 10 = 0. Let c = 1 - i. Suppose 2*v = -c*v + 220. Is v a multiple of 22?
True
Let n = 122 - 17. Is 14 a factor of n?
False
Let r = 233 - 63. Is 10 a factor of r?
True
Let a be 12/30 - (-4)/(-10). Suppose a = 5*k - k - 148. Does 16 divide k?
False
Let g(c) = -4*c**2 + 1 + 0*c**2 + 3*c**2. Let u be g(2). Let p = u + 6. Is p a multiple of 3?
True
Suppose 4*k - 118 = 74. Is 8 a factor of k?
True
Let v be (-30)/50 - (-17)/(-5). Does 2 divide (23 - v)*(-1)/(-3)?
False
Suppose -3*m + 11 = -2*o - 8, -m - 3*o + 21 = 0. Does 2 divide m?
False
Is (-396)/(-32) - (-6)/(-16) even?
True
Suppose -4*k + 3*k + 78 = -2*a, 2*a = 2*k - 146. Is 8 a factor of k?
False
Is 3 a factor of (9 - 1) + (-2)/(-2)*-1?
False
Let i(v) = v**3 + 3*v**2 - 5*v + 2. Is 3 a factor of i(-4)?
True
Let h(r) = -r + 23. Let i = 3 + -3. Is 14 a factor of h(i)?
False
Let z(c) = -16*c**2 + 4. Let a be z(5). Does 17 divide a/(-8) + (-2)/4?
False
Let y(v) = 5*v. Let j be y(1). Suppose 5*u - 2*k - 163 = 2*k, j*k = -10. Is 28 a factor of u?
False
Let k be ((-2)/(-3))/((-6)/(-27)). Does 8 divide k + (6 - 1 - 0)?
True
Does 3 divide (-81)/6*10/(-15)?
True
Let d(v) = 0*v - 3*v - 2*v - 3. Does 9 divide d(-6)?
True
Let u(n) be the third derivative of n**5/60 - n**4/24 - 5*n**3/6 + 3*n**2. Let g(q) = q + 4. Let x be g(-8). Is 5 a factor of u(x)?
True
Is (-83)/(-3) - 2/3 a multiple of 9?
True
Let z(p) = p**3 + p**2 - 4*p - 3. Let r be z(-2). Does 3 divide (-1 - -9 - 2) + r?
False
Suppose 0*w - 25 = 5*w. Suppose -379 = 5*u + 361. Does 13 divide u/w + 4/10?
False
Suppose y = -0 + 2. Suppose -2*b + 48 = -y*s + 6*s, 0 = 5*b - s - 109. Is 8 a factor of b?
False
Let x(w) = -w**3 - 5*w**2 - 5*w - 4. Let r be x(-3). Let o(f) = f**3 + 8*f**2 + 7*f + 6. Is 2 a factor of o(r)?
True
Suppose t + 3*t - 12 = 0. Suppose -t*f = f - 80. Is 10 a factor of f?
True
Let k(g) = 2*g + 3. Suppose 3*z = -2*f + 11, 9 = 2*z - 2*f + 3*f. Let q(h) = 3*h + 7. Let a(x) = z*k(x) - 4*q(x). Does 2 divide a(5)?
False
Let h(z) = -z + 2. Let v be h(-8). Is (-36)/v*10/(-3) a multiple of 5?
False
Suppose -5*v - 5*n - 2 - 3 = 0, 12 = 3*n. Let k(h) = 2*h**2 + 4*h - 2. Does 8 divide k(v)?
False
Let d = -23 + 13. Does 2