3. Let c(q) = 7*r(q) + 2*u(q). Let a be c(-6). Suppose a*w = -w + 350. Does 10 divide w?
True
Let p(t) = 207*t - 89. Is p(7) a multiple of 68?
True
Suppose -22 = 2*k - 2*t, 4*k + 26 = -t - t. Let v(j) = -13*j - 29. Is v(k) a multiple of 15?
True
Suppose 0 = -4*g + g + 3*x + 615, -3*x - 209 = -g. Is 15 a factor of g?
False
Let m(r) = 187*r + 1. Let y be m(1). Let t be y/20 + (-2)/5. Suppose -4*c + t*c - 120 = 0. Is 12 a factor of c?
True
Suppose 3*i = 310 + 398. Is i a multiple of 22?
False
Let n = 4169 + 593. Is 15 a factor of n?
False
Let s = 143 + -119. Is 5 a factor of s?
False
Let d be 4 + (-5)/(20/(-4)). Suppose 2*w - 3*y - 151 = 0, -3*w + 314 - 88 = -d*y. Is w a multiple of 18?
False
Let y(o) = o**3 + 5*o**2 + 6*o + 10. Suppose -7*g = -4*g + 12. Is y(g) a multiple of 2?
True
Let x = 115 + -205. Let z = x - -150. Is z a multiple of 15?
True
Let v be -3*2/(-6) - 11. Let d = v + 5. Is (5 - d)*2/4 even?
False
Let r(h) be the second derivative of 0 + 2*h**2 - 2/3*h**3 + 10*h + 1/12*h**4. Does 7 divide r(-5)?
True
Suppose -u + 11*u = -10. Does 42 divide (20 - u)/((-14)/(-42))*2?
True
Let n(w) = w**3 - 12*w**2 - 23*w + 22. Let h be n(15). Suppose -2*z - h = -4*c, c + 3*z = -0*z + 88. Is c a multiple of 21?
False
Suppose 0*w + 19*w - 4123 = 0. Is 4 a factor of w?
False
Suppose 5*f + 2*u - 363 = 0, 3*f = 4*u - 10 + 233. Suppose f = w + 30. Is w a multiple of 4?
False
Let n be (5 + (-4 - -2))*14/6. Suppose 50*z - 49*z = n. Is 2 a factor of z?
False
Suppose -4*y - 8 = 2*a, 0*y + 3*y + 15 = 3*a. Suppose 142 = a*v + 2. Does 12 divide v?
False
Does 3 divide 4 + (1165/(-3))/(2/(-6))?
False
Let v(k) = 4*k**3 - 6*k**2 - k - 9. Let a(m) = -m**3 + 1. Let b(h) = -5*a(h) - v(h). Is b(-4) a multiple of 11?
False
Let z be (35/21)/(2/84). Let r = -50 + z. Is r a multiple of 4?
True
Let k(q) = q**3 + 6*q**2 - 7*q + 2. Let w be k(-7). Is 75/1 - (-8)/w a multiple of 10?
False
Suppose 5*f - 5*q = 1845, 3*f - 6*q = -q + 1107. Is f a multiple of 23?
False
Suppose 18*v = 3*v + 360. Does 12 divide v?
True
Let y = 73 + -68. Suppose 4*t - 2*t = y*w + 173, -t - 4*w + 80 = 0. Is t a multiple of 28?
True
Let g(o) = o**3 - 8*o**2 + 7*o + 8. Let k be g(7). Let y be (-28)/1*k/16. Is 11 a factor of (-4)/y + 306/7?
True
Let q(r) = -4*r**3 - r**2 + r + 1. Suppose -3 + 5 = -2*p. Let j be q(p). Suppose 37 = j*u - 41. Is 15 a factor of u?
False
Suppose 19*n - 7 = 31. Suppose -3*j = -n*t - 36 - 128, -4*j + 218 = -3*t. Does 21 divide j?
False
Is 6 a factor of (-18920)/(-90) + (-4)/18?
True
Suppose -b - 4*b = -95. Suppose -1 = l + 4*o + 2, 3*o = -5*l + b. Suppose -80 = -0*h - l*h. Does 7 divide h?
False
Let u(m) be the first derivative of -m**2/2 + m + 3. Let p be u(-1). Suppose -n + 60 = -0*z - p*z, 3*n = -3*z + 135. Is 25 a factor of n?
True
Suppose 4*q = 5*y - 140, -2*q + q - 77 = -3*y. Suppose -2*l - 5*p - 22 = 0, 5*l = -0*l + 3*p - y. Let x = 22 - l. Is x a multiple of 14?
True
Let w(r) be the third derivative of -r**5/60 + r**4/6 - r**3/3 - 2*r**2. Let c be w(3). Does 4 divide (-6)/(-4)*(13 - c)?
False
Let w be (7/(14/4))/1 + 1. Suppose -f - 509 = -3*t - t, 4*f - 396 = -w*t. Does 9 divide t?
False
Suppose l + 4*l - 3*c - 25 = 0, 3*l - 3*c - 21 = 0. Let a(b) = -3*b**l - 2 + 2*b**2 + b + 2*b**2. Does 16 divide a(-8)?
False
Let z = -4 - -10. Let y(b) = z*b - 3*b**3 - 7*b**2 + 4*b**3 + 14*b**2 + 0*b**3. Does 10 divide y(-5)?
True
Let t(q) = 3*q**2 + 2*q + 1. Let n be t(-2). Let s = -6 + n. Suppose -v + 0*v = -s*p - 50, 2*p = -6. Does 9 divide v?
False
Suppose 3*q = -5*j - 3 - 37, -15 = 5*q - 2*j. Let m(f) = -21*f. Is 15 a factor of m(q)?
True
Let i = 3371 + -2385. Does 29 divide i?
True
Suppose n = -5 + 8. Does 20 divide 2/(-1) + 40 - n?
False
Suppose 0 = 5*c - 3360 + 810. Does 39 divide c?
False
Let z = 1356 - 108. Is 96 a factor of z?
True
Let y = 22 - 18. Suppose 484 = y*h - j, 7 + 233 = 2*h - j. Does 32 divide h?
False
Is 49 a factor of ((-9)/(-2) + -4)/(3/2526)?
False
Let u(c) = -4*c - 4. Let l be u(2). Is l/6 + (47 - 3) a multiple of 14?
True
Suppose -8 = 4*h + 2*k, -4 + 29 = -5*h + 5*k. Suppose v + 24 = 2*v. Does 2 divide (-10)/h - 8/v?
False
Let r = 1958 - 167. Is 43 a factor of r?
False
Let f = 235 - -117. Is f a multiple of 16?
True
Suppose 122 = o - 2*t + 3*t, -2*o + 3*t + 259 = 0. Suppose -18*c + 17*c = -o. Is c a multiple of 25?
True
Let x be 162/(-12)*(-4)/(-3). Let a(z) = -z**2 - 22*z - 3. Does 19 divide a(x)?
False
Suppose 5*o - 2*o = 114. Suppose -130 = -22*z + 21*z. Suppose -5*b = -5*l - z, b + 6*l = l + o. Is b a multiple of 14?
True
Let x = 8 + -6. Suppose x*a + 45 = -a. Let k = a - -59. Is k a multiple of 14?
False
Suppose 0 = -5*p - 4*p - 2295. Let h = 366 + p. Does 30 divide h?
False
Let k(x) = x**2 - 2*x - 1. Let l be k(6). Let d = 93 - l. Let t = 102 - d. Is t a multiple of 16?
True
Suppose 0 = -3*v - 5*k + 149, -236 = -5*v + 2*k + 64. Suppose -z - 4*g = -g + v, -181 = 4*z - 5*g. Let f = -33 - z. Does 4 divide f?
True
Suppose -3*s + d = 192 - 32, -3*s - 3*d - 144 = 0. Let r(o) = 2*o**3 - 5*o**2 - 7*o - 2. Let u be r(5). Let j = u + s. Is 11 a factor of j?
False
Let n(g) = -8*g - 5. Let k = 43 - 46. Does 3 divide n(k)?
False
Suppose 0 = -4*r - 193 + 13. Does 6 divide -18*(r/10 - -4)?
False
Suppose -f + 4*f - 2220 = -3*a, 5*f - 3672 = 2*a. Is f a multiple of 32?
True
Suppose -5*p + 3*c + c = -107, 60 = 3*p - c. Suppose -4*i + 13 = -p. Does 28 divide 230/i - (-3)/(-4)?
True
Let j = 42 - 63. Let c = j + 40. Does 8 divide c?
False
Suppose -5*t = -5*k + 40, -5*k + 9*k + 4*t = 16. Suppose -k*z + 203 = -91. Is z a multiple of 16?
False
Let b = -2 + 2. Suppose b*y = 2*y - 5*p - 77, -3*y + 107 = p. Suppose c + y = 3*c. Is c a multiple of 9?
True
Let n(q) = 13*q - 2. Let r be n(6). Let y be r/28 + (-6)/(-21). Is 15 a factor of y*2/3*30?
True
Let q(c) be the third derivative of c**6/120 - 13*c**5/60 + 7*c**3/6 + 13*c**2. Let w be q(13). Suppose 8*m = w*m + 27. Is m a multiple of 12?
False
Let a(n) = 2*n + 0*n - 3*n + 0*n + 17. Let v be a(7). Is (-1005)/(-75) + (-4)/v a multiple of 10?
False
Let i(j) be the first derivative of j**3/3 + 3*j**2 - 6*j + 198. Let c(f) = -f**3 + 4*f**2 - 2*f. Let u be c(4). Is i(u) a multiple of 2?
True
Let p = -13 + 15. Suppose p*o - 136 = -d, -4*d + 5*o + 635 = d. Is d a multiple of 26?
True
Let g be 5*-6*(-256)/30. Suppose -5*b - 4*w = -g, -2*b + 27 + 61 = -2*w. Does 6 divide b?
True
Does 97 divide ((-308)/55)/(2/(-220))?
False
Suppose -5*t - y - 147 = 0, 3*t - 4*y = 52 - 154. Does 44 divide 4/t + 106197/315?
False
Suppose 0*l = -2*l + 1490. Is 18 a factor of l/25 + 1/5?
False
Let q(d) = -2*d**2 - 26*d + 11. Let n be q(-13). Does 7 divide (-3)/((n - 8) + 48/(-14))?
True
Let s be (66/(-18))/(2/42) + -2. Let t(y) = -128*y**3 - y**2 - y - 1. Let z be t(-1). Let j = z + s. Does 12 divide j?
True
Suppose -15 = 5*n + 2*l, -27 = 2*n - 4*l + 3. Let i(a) = -3*a**2 - 3*a - 1 + 2*a**2 - 4 - 4*a**2 - a**3. Does 5 divide i(n)?
True
Suppose -5 = -0*r - r. Let m(k) = -k**3 + 21*k**2 - 18*k - 37. Let t be m(20). Suppose 0 = -2*w - 2*a + 31 + t, r*w = -4*a + 90. Is 8 a factor of w?
False
Let d(x) = 9*x - 8. Let l = 15 + -19. Let p = 3 - l. Does 11 divide d(p)?
True
Suppose 5*d - 19 = 1. Is 2/d - (-334)/4 a multiple of 21?
True
Let h(s) = 13*s**2 + 33*s - 49. Does 6 divide h(9)?
False
Let f(s) = -1. Let y(o) = 2 + 7 - 36*o**2 + 4*o**2 - 5. Let v(q) = -3*f(q) - y(q). Does 31 divide v(1)?
True
Let y(w) = w - 8. Let g be y(12). Suppose 0 = 5*v + z - 1176, g*v - 204 = -3*z + 739. Is v a multiple of 47?
True
Suppose g + 27 = 4*a - 412, 0 = 5*a - 5*g - 560. Does 7 divide a?
False
Suppose -15*c = 163 - 27163. Suppose 5*s = -3*s + c. Is s a multiple of 21?
False
Let a = 104 - -346. Does 9 divide a?
True
Let y be -2 + 261 - 6/2. Suppose 0 = -5*g + 2*h + 699, -5*g + 5*h + y = -434. Is g a multiple of 35?
False
Let w(q) = 2*q - 14. Let t be w(8). Suppose -3*p + 4*n + 95 = 0, -4*n = -t*p - 39 + 97. Is p a multiple of 8?
False
Let u = -76 + 73. Let c = 28 - u. Is 2 a factor of c?
False
Let v be 0 + ((-45)/(-15) - -1*181). Suppose -3*q - 22 = -v. Does 14 divide q?
False
Let o = -7 + 165. Suppose 2*q + 120 + o = 4*y, 5*y - 385 = -5*q. Is 6 a factor of y?
True
Suppose -5*o = -7*o + 48. Let m = o - -53. Suppose 5*x = m + 53. Is 6 a factor of x?
False
Suppose -36*w - 139