*n - l = 2*a. Does 7 divide n?
True
Suppose 0*n = -2*k - 2*n - 4942, 0 = -5*n + 20. Is k/(-30)*(-12)/(-10) a multiple of 17?
False
Suppose -4*v + 4*a + 8 = 0, -4*a + 4 = 4*v + 20. Let q be 4 - v*(-3 + 2). Does 10 divide -2 - 3*(q - 9)?
False
Suppose -5*z = -3*x + 2150, -5*x + 5*z = -1917 - 1663. Does 3 divide x?
False
Let g = 4125 + -2571. Is g a multiple of 6?
True
Suppose -z = -c + 2, -z - 13 = 5*c - 35. Suppose -n = z*n - 15. Suppose -159 = -8*u + n*u. Does 14 divide u?
False
Let d = 4 + -1. Suppose 7*f - d*f - 184 = 0. Is 10 a factor of f?
False
Suppose 3*h + 3*b + 7 = -h, h - 3 = 4*b. Is 9 a factor of (-3 - -1) + 3/h + 68?
True
Let r(s) = 3*s**3 + 7*s**2 - 8*s + 8. Let i be r(4). Let x be (i/(-15) - 4)*-84. Does 5 divide 6/(-10) - x/(-40)?
False
Let c(a) = 10*a**2 + 2*a - 8. Is c(5) a multiple of 9?
True
Suppose 7*w = 1172 + 753. Let m = -180 + w. Is m a multiple of 19?
True
Let r(q) = 3*q**2 - 8*q + 6. Suppose -2 = 2*a + 6. Let w(p) = -p**2 + p. Let l(u) = a*w(u) - r(u). Is 16 a factor of l(4)?
False
Let u(z) = z**3 + 8*z**2 + 9*z + 10. Let y be u(-7). Let c be y/10 - (-3573)/45. Let i = c + -31. Does 12 divide i?
True
Let z(l) = -l**2 + l + 50. Let d(s) = s + 7. Let m be d(-7). Is z(m) a multiple of 23?
False
Suppose -6612 - 6338 = -7*k. Does 83 divide k?
False
Let o = 35 + -22. Let k = 26 - o. Suppose -k = -2*d + 5. Does 3 divide d?
True
Let h be (-328)/(-5) - (-24)/(-40). Suppose f - h = 3*a + 2*a, -f - 4*a + 65 = 0. Is 10 a factor of f?
False
Let v(d) = 101*d + 21. Is 11 a factor of v(6)?
True
Let b(l) = l**3 - 16*l**2 - 24*l + 66. Is 31 a factor of b(21)?
True
Suppose -34 = -5*p - 14. Does 17 divide -2 + -1*(-428*1)/p?
False
Suppose g - 2*t - 22 = -2*g, 2*g = -4*t - 12. Suppose 3*p + 0*p - z = 202, g*z = 2*p - 148. Is p a multiple of 16?
False
Let z = -153 + 520. Does 13 divide z?
False
Suppose 4*r = -4*y - 136 + 36, 4*r = -y - 85. Let d = -20 - r. Suppose 0*i - 2*i + 54 = d. Does 9 divide i?
True
Let l(k) = 560*k**2 + 4*k - 3. Is l(1) a multiple of 51?
True
Suppose 3*d + 6 = 3*v, -3*v + 7*d - 5*d + 6 = 0. Suppose h = -h. Suppose -4*w - 8 = 0, h*w - v*w = 5*k - 196. Is 20 a factor of k?
True
Let s = -103 - -240. Let y = -270 + 177. Let l = s + y. Does 32 divide l?
False
Let v(l) = 2*l**2 + 5*l + 2. Let q be v(-3). Suppose -35 = -5*z - q*r, -3*z - r + 2*r = -5. Suppose -z*g + 3 = 4*t - 1, 2*g - 4 = -3*t. Does 4 divide t?
True
Let q(f) = -4*f + 10. Let v be q(8). Let c = 10 - v. Does 2 divide c?
True
Let s(b) be the third derivative of -5*b**4/24 - b**3/3 - 15*b**2. Let d = 1 + -5. Does 13 divide s(d)?
False
Suppose -f - 4*q - 71 = 0, -5*f - 4*q = -8*f - 165. Let a = 110 - f. Does 13 divide a?
True
Let k = -185 - -203. Is 6 a factor of k?
True
Suppose -4*n + 35 = 2*g - 73, 0 = -3*n - 2*g + 81. Suppose -4*i - 5*o - 13 = -3*i, -i + 3*o - 13 = 0. Let y = n + i. Is 7 a factor of y?
True
Let o(d) = -d**3 - 5*d**2 + 4*d - 8. Let n be o(-6). Suppose -n*x = 6 + 6. Let t = 44 - x. Is 11 a factor of t?
False
Let p(a) = -15*a**3 + 3*a**2 + 6*a + 1. Does 94 divide p(-4)?
False
Let p(z) = 154*z**2 + z - 3. Is p(2) a multiple of 12?
False
Is 16 a factor of 35 + (-5 - -3) + 0?
False
Does 8 divide 8/(394/56 + -7)?
True
Is 153 a factor of (2 + 3382/95)/(2/65)?
False
Let i be 72/(-20)*(-20)/(-8). Let p be (i/(-2))/(1/34). Suppose -s = -4*s - 9, 3*b - 3*s = p. Is 12 a factor of b?
True
Suppose 4*u + v = 2*v - 30, 0 = 5*u + 4*v + 27. Let f = 14 + u. Let s(k) = 3*k + 9. Does 15 divide s(f)?
True
Suppose v + 0*v = 0. Suppose p + p - 152 = -5*y, v = 2*p - 2*y - 124. Suppose -60 = -5*b + 5*d, -2*d = 4*b + 3*d - p. Is b a multiple of 14?
True
Suppose 3*t - 2*t - 1228 = -4*i, -i + 5*t = -328. Is i a multiple of 14?
True
Suppose 3*r = 6, x - 3*r + 240 = 2*r. Let g = x + 471. Is g a multiple of 36?
False
Let s be ((-4)/(-10))/((-2)/(-20)). Suppose 7*t = 4*t - b + 97, -151 = -s*t + 3*b. Is 17 a factor of t?
True
Suppose 0 = 4*g - 39 - 41. Let l = g + -4. Suppose 4*m - 40 = -f - l, 5*m - 90 = -5*f. Is 7 a factor of f?
False
Let s = 60 + -20. Suppose -x - s = -2*d + x, 2*x = 2. Is d a multiple of 8?
False
Let g be 2/((-8)/12) + 30/(-5). Does 7 divide ((-98)/21)/(1/g)?
True
Suppose 0 = 2*u + 2*u - 1736. Does 14 divide u?
True
Let k(h) = 107*h**3 - h**2 + 2*h - 1. Suppose 0 = 5*s - 9*s + 4. Is 18 a factor of k(s)?
False
Let i be (-8)/8 + -1 + (-78 - 1). Let z = 151 + i. Is 14 a factor of z?
True
Suppose -5*j + 5*l - 35 = 0, 0 = -5*l - 0 - 5. Suppose 0*d - 2*d = 0. Is 16 a factor of -32*4/j - d?
True
Suppose 0 = -u + 2*s + 350, 40*s = 36*s + 12. Is u a multiple of 34?
False
Let w(i) = 8*i + 20. Let g be w(-9). Let d = g - -87. Is d a multiple of 5?
True
Let k(m) = 4*m - 10*m**2 + 4*m**2 - 18*m**2 - 6 + 98*m**2. Is k(2) a multiple of 13?
False
Let l = -2327 - -2501. Is l a multiple of 12?
False
Let s(c) = 6*c**2 + 55*c - 13. Is s(-13) a multiple of 13?
True
Let r(l) = l**2 + 16. Is 12 a factor of r(-11)?
False
Suppose -i = -6*i + 680. Suppose 2*c - 24 - i = 0. Suppose -3*y + 64 + c = 0. Does 12 divide y?
True
Suppose -4*o + 2*h - 50 = 0, 5*o = -0*o - 2*h - 76. Does 13 divide o + 14 - (-24 - 1)?
False
Let o(t) = 16 - 12 - 15*t - 7. Is 13 a factor of o(-4)?
False
Let z = -27 + 32. Suppose -2*b + z*b - 81 = 0. Does 4 divide b?
False
Let p be (0/2)/(-2*(-3)/(-6)). Suppose -4*w - 2*r + 148 = p, 2*r - r = -4*w + 144. Is 15 a factor of w?
False
Let o(y) = -3*y + 10 - 6 + 6 - y**3 + 2*y + y**2. Is o(0) a multiple of 3?
False
Let v(d) = -4*d + 4. Let c be v(-1). Does 16 divide 58 - (c/4 - 2)?
False
Let p(t) = -7*t - 6. Suppose 5*d + 5*s - 40 = 0, -5*d - s = -9 - 11. Let l(b) = -2*b - 3. Let m be l(d). Is p(m) a multiple of 19?
True
Suppose -75 = -4*h - h. Suppose -83 - 62 = -5*i. Let m = i - h. Is m a multiple of 12?
False
Suppose 0*g - 2*g + 8 = 0. Suppose 3*c + 161 = -3*k + g*c, -k + 3*c - 43 = 0. Let y = k - -143. Does 13 divide y?
False
Suppose -73 = -2*f - 5*v, f - v = -3*v + 34. Let q be 146/4 - (-36)/f. Is q/6 + 16/24 a multiple of 7?
True
Let h = -19 + 142. Let g = h - 7. Is g a multiple of 29?
True
Let l = -18 + 36. Suppose 65*b = 62*b + 15. Suppose b*j - l = 4*j. Does 18 divide j?
True
Let k = 194 - 119. Does 9 divide k/(-3 - (-1 - 3))?
False
Let o(h) be the first derivative of -h**4/4 - 5*h**3/3 + 5*h**2/2 - 11*h + 2. Is o(-7) a multiple of 18?
False
Suppose -u - 2*a = 2*a - 748, -3*u = 2*a - 2274. Does 67 divide u?
False
Suppose -60 = 3*r + 327. Is 6/(-4) - r/6 a multiple of 4?
True
Let z = 333 - 163. Suppose z + 166 = 8*r. Is 21 a factor of r?
True
Let o(r) = -r**2 - r - 1. Let q(t) = -4*t**2 - 6*t - 1. Let g be ((-3 - 1)/(-4))/1. Let n(m) = g*o(m) - q(m). Is 26 a factor of n(-5)?
False
Suppose 0 = y + 8 - 3, -2*r = -3*y + 153. Let v be (r/10)/(14/(-105)). Suppose 3*s - 4*x - v = -0*s, 2*s = x + 47. Is 15 a factor of s?
False
Let o(y) = 12*y**2 + 7*y + 43. Is 98 a factor of o(9)?
True
Let f(q) = -q**3 + 8*q + 12. Let g be f(-2). Suppose 2*y + 0*y = 0. Suppose y = -5*p + 2*c + 170, 3*p + p - g*c - 136 = 0. Is 21 a factor of p?
False
Let r(f) be the third derivative of -f**5/60 + f**4/6 + 5*f**2. Let j be r(2). Suppose -j*d = d - 185. Is d a multiple of 21?
False
Suppose 3*s + 4*f = f - 6, -2*f - 25 = -5*s. Suppose s*c + 4*c = 399. Is c a multiple of 19?
True
Suppose -5*p = 3*z - 367, -128 = -2*z - 4*p + 116. Let d = -112 + z. Does 4 divide d?
True
Suppose 0 = -3*c + 12, 1080 + 1091 = 5*w + 4*c. Let n = w + -178. Is 15 a factor of n?
False
Let p(h) be the third derivative of -3*h**4/8 - 2*h**3 + 54*h**2. Suppose 0*y - 2*y = 14. Does 14 divide p(y)?
False
Let f(w) = 5*w**3 + 2*w**2 - 11*w - 10. Let h(p) = p**3 + p**2 + p - 1. Let r(i) = -f(i) + 4*h(i). Is 34 a factor of r(-6)?
True
Suppose -2*l + 2 = 0, 2*o + 2*l - 3136 = -2*l. Is o a multiple of 18?
True
Let y be ((-1)/3)/(6/7542). Let l = -291 - y. Does 32 divide l?
True
Let d(u) = -u**3 - 29*u**2 + 23*u - 20. Does 57 divide d(-31)?
False
Let u be (539 - 0/(-5)) + -4. Suppose 2*b + 1046 = 6*b - 2*n, -u = -2*b + 5*n. Is 20 a factor of b?
True
Let t = 3 - 0. Suppose -t*h + 0*j + 11 = 2*j, 5*h + 3*j = 18. Suppose 6*f - 2*f + 120 = h*q, 5*q + 3*f - 229 = 0. Does 7 divide q?
False
Let n = -843 + 1243. Is n a multiple of 5?
True
Suppose 4*y - 28 = 2*m, -40 - 24 = 3*m + 5*y. Let z = -12 - m. Is 4 a factor of z?
False
