6). Let q = 0 + k. Is 6 a factor of q/30 + 165/18?
False
Suppose 0*a = -a - 3*q + 195, -3*q - 15 = 0. Is a a multiple of 21?
True
Let v = -261 - -170. Let j = -62 - v. Is j a multiple of 15?
False
Suppose 0 = -5*l + 5*f - 45, -8*f + 10 = -2*l - 4*f. Let k(m) = -2 + 5*m**2 - 4*m**2 - 2*m**2 - 7*m - 10*m. Does 10 divide k(l)?
True
Let o(j) = -2*j. Let z be o(-2). Suppose -2*d + z*d - 38 = 0. Does 19 divide d?
True
Let g(o) = -5*o + 1. Let x be g(-9). Let m = 127 - x. Is m a multiple of 17?
False
Let v(a) be the first derivative of -a**3/3 - 5*a**2 - 8. Does 8 divide v(-8)?
True
Suppose -6*o + 601 = -167. Does 32 divide o?
True
Let z = 7 - 7. Let d be (z - 1)*(-3 - -1). Suppose 5*m = -d*f - f + 67, 0 = 5*m - 10. Is 5 a factor of f?
False
Let b = 12 - 18. Let x(s) = -s - 3. Let z be x(b). Suppose -z*a = 2*k - 140, 2*k + 4*a = -0*k + 140. Does 19 divide k?
False
Let v(n) = -n**3 + 26*n**2 + 3*n + 9. Is 29 a factor of v(26)?
True
Suppose -32*k - 14143 = -169503. Is k a multiple of 29?
False
Let i be 122 + -6 + -1 + 5. Suppose 3*c + d - 388 = 0, -4*c - 2*d - i = -5*c. Suppose -4*r = -4*o + c, 3*r + 4 = 1. Is o a multiple of 10?
False
Suppose 26994 = -59*o + 91009. Is o a multiple of 11?
False
Suppose 4*t = -4*g + 17816, 43*t - 8908 = 41*t + 5*g. Is t a multiple of 34?
True
Let b(k) = k**2 + 8*k + 2. Let h be 1/(-2 - 22/(-12)). Let x be b(h). Does 3 divide (x/(-4))/((-1)/(-2))?
False
Let h be (-6)/4*(-2)/3. Let r be 3 - 1 - (-17 - h). Suppose r = d - 13. Does 11 divide d?
True
Suppose 0 = -2*k - 0*k + 4. Suppose -k = -3*v - 29. Let r = 27 - v. Is 12 a factor of r?
True
Let a = 3193 - 2006. Does 50 divide a?
False
Let t(v) = -2*v**3 + v**2 + 5*v - 3. Let b be t(4). Let r = b + 162. Is r a multiple of 7?
False
Let q(p) be the first derivative of -p**4/4 + 4*p**3 + 2*p**2 - 4*p + 51. Let x(k) = -k**2 - 7*k + 6. Let o be x(-6). Is q(o) a multiple of 20?
False
Suppose -3*u + 3*j + 240 = -69, 4*u = j + 418. Does 5 divide u?
True
Let j(c) = 15*c - 11. Let l be j(4). Suppose 5*m - 4*m - l = 5*p, -4*m - p + 259 = 0. Does 16 divide m?
True
Let k = -5 - -11. Suppose a + k = 26. Suppose -6*c = -2*c - a. Is c even?
False
Suppose -2*r - g + 435 = 3*r, -268 = -3*r - 2*g. Is r a multiple of 43?
True
Let y(p) = -16*p - 24. Let v be y(-14). Suppose 0 = -2*h - 2*h + 3*j + 180, -4*h - 2*j + v = 0. Does 6 divide h?
True
Suppose 0 = -4*w, -4*z + 6 = -4*w + 134. Let h = z - -7. Let s = 39 + h. Does 3 divide s?
False
Let d = -560 - -935. Is d a multiple of 36?
False
Let c = -949 + 1189. Is 4 a factor of c?
True
Let m(w) = 133*w - 5. Let g(v) = -v**2 - 3*v + 7. Let k be g(-4). Let x be m(k). Suppose 3*a - 157 = a + j, -5*a + x = -4*j. Does 26 divide a?
True
Let q = 1036 + -416. Does 23 divide q?
False
Let p(a) = -3*a - 10. Let w be p(-4). Suppose 0 = -m + w*m + 16. Let r = -9 - m. Is 3 a factor of r?
False
Let j be 3/(-4) - 2585/(-44). Suppose -59*c = -j*c - 126. Does 21 divide c?
True
Suppose -3*l - 100 = 7*w - 2*w, -w = -3*l + 38. Let i = w - -29. Is i a multiple of 2?
True
Let q(b) = -7*b + 6. Suppose -k = -2*k + 9. Suppose -2*r = -5*r - k. Does 6 divide q(r)?
False
Suppose -3*g - 65 = 64. Let f = g + 60. Is f a multiple of 17?
True
Let h = 200 - -70. Is 30 a factor of h?
True
Is 16 a factor of 7/(7/138) - (22 + -17)?
False
Suppose -3*d + 5*b + 65 = -49, -2*d + 98 = 4*b. Suppose 0 = -2*p + 52 + 2. Let t = d - p. Is t a multiple of 10?
False
Let b = 245 - 144. Does 18 divide b?
False
Suppose -o = -5*d + 57, 3*d - 9 = o + 24. Suppose d*x + 130 = 17*x. Does 15 divide x?
False
Let d(r) = -7*r**2 + 3*r + 4. Suppose -h + 3 + 15 = 3*n, 2*n + 4*h - 22 = 0. Let q(j) = -11*j**2 + 5*j + 6. Let z(o) = n*q(o) - 8*d(o). Does 11 divide z(-5)?
False
Let t(u) = u**3 - 12*u**2 - 6*u - 28. Let l(g) = g**2 - 13*g - 1. Let m be l(14). Does 11 divide t(m)?
False
Suppose 0 = 8*i - 9*i - 8. Let w(f) = f**3 + 9*f**2 - 8. Is 14 a factor of w(i)?
True
Let f = -159 + 262. Is f a multiple of 3?
False
Let j = 8 + -5. Suppose -2*t - 3*w = -3 + 1, j*t + 3*w - 3 = 0. Let s(o) = 8*o**3 + 2*o - 1. Is 3 a factor of s(t)?
True
Let z = -14 - -19. Suppose -87 = -z*v - o + 203, -3*v = -2*o - 161. Suppose -3*i - 165 = -3*x, -x + 4*i + v = 2*i. Does 21 divide x?
False
Suppose 0 = 3*a - 539 + 410. Is a a multiple of 13?
False
Suppose 0 = -114*a + 126*a - 14484. Does 75 divide a?
False
Let g(x) = -x**2 + 9*x + 16. Let j be g(9). Let d be j + (2 - -2 - 1). Suppose 10 = -q - 5*p, 4*q - p - d - 46 = 0. Does 5 divide q?
True
Let x = 65 - 65. Suppose 0*z - 3*z = 5*a - 23, 4*a - z - 32 = x. Is 2 a factor of a?
False
Let i(r) = -21*r - 28. Let t(u) = -u + 1. Let v(w) = i(w) - 4*t(w). Is v(-6) a multiple of 13?
False
Let v(x) = 232*x**2 - 27*x + 26. Does 51 divide v(4)?
False
Let f = -148 + 361. Suppose -c = 4*b + f, 0*c + 4*c + b + 792 = 0. Let s = -113 - c. Does 18 divide s?
False
Suppose 6 + 8 = 7*t. Suppose -36 = -t*a + 4. Suppose 0 = 5*n - g - 21 - 9, 4*g + a = 0. Is 3 a factor of n?
False
Suppose -10 = 5*p - 5*x, 0 = -5*p + 2*x + 2. Suppose -19 = p*d - 5*r - 54, 5*d - 4*r = 96. Is 10 a factor of d?
True
Let h(f) = f**2 + 8*f - 2. Let c be h(-6). Let v = 50 + c. Is 12 a factor of v?
True
Let p(j) = j**2 - j + 42. Is p(6) a multiple of 54?
False
Suppose 4*n - 16 = -3*q, 0*q = 3*n + 5*q - 12. Does 12 divide (13 + -5)/n + (-92)/(-2)?
True
Let y be (-246)/(-4)*24/(-18). Let f = -44 - y. Is 19 a factor of f?
True
Suppose 0 = -3*p - p - 64. Let g(i) = -5*i**2 + 24*i + 7. Let h be g(5). Let k = h - p. Does 9 divide k?
True
Suppose -7*r + 3235 = 1289. Does 17 divide r?
False
Let k = -86 + 150. Let v = k - 39. Is (v/(-3))/((-1)/3) a multiple of 6?
False
Let g = 553 + -184. Is g a multiple of 34?
False
Is 6*(3/2 - 6)/(-3) a multiple of 9?
True
Let d be (-8 + 10)*110/4. Let q be (88/d)/(2/(-30)). Let z = 56 + q. Is 8 a factor of z?
True
Is 15/25 + (-1557)/(-5) a multiple of 12?
True
Let s be 0*(-4)/16*2/4. Let q(d) = -d**3 + d**2 + 3*d + 65. Let m(u) = 2*u**3 - 2*u**2 - 4*u - 66. Let h(c) = 2*m(c) + 3*q(c). Is 14 a factor of h(s)?
False
Suppose 30*u = 6*u + 9600. Does 50 divide u?
True
Suppose 2986*a = 2985*a + 2751. Does 7 divide a?
True
Let y = -218 + 248. Is 5 a factor of y?
True
Suppose 0 = 6*c - c. Suppose -2*n - 2*n + 12 = c. Suppose -3*q - 11 = -n*f - f, 0 = -3*q - 5*f + 34. Is 2 a factor of q?
False
Let i = -35 - -53. Suppose -i - 9 = -x. Suppose -x = -3*l + 9. Does 3 divide l?
True
Let k(h) be the second derivative of 5*h**5/4 - h**3/6 + 3*h. Is 6 a factor of k(1)?
True
Let r(b) = 2*b**3 - 5*b + 17. Does 82 divide r(13)?
True
Let d(y) = 2*y**2 + 2*y. Let x be d(-2). Suppose -133 = -x*k + 19. Does 19 divide k?
True
Let w(v) = -v**3 - 4*v**2 - 2*v + 3. Let d be w(-3). Let j be ((-6)/(2 + 1))/(-1). Suppose 0 = m - j, -2*r + m + 106 + 10 = d. Is r a multiple of 14?
False
Let a(g) be the third derivative of g**5/12 + g**4/4 - 5*g**3/6 - g**2. Let f be 2 - 11/(55/(-10)). Is 33 a factor of a(f)?
True
Let o(l) be the third derivative of 5*l**4/24 + 2*l**2. Let m be (-2)/(-5) - (-80)/50. Is o(m) a multiple of 10?
True
Suppose -2*c + 31 = -y - 75, 5*y = 20. Let v = 139 - c. Is 11 a factor of v?
False
Let i = -259 - -180. Let h = 118 + i. Is 13 a factor of h?
True
Let x = -13 + 170. Let u = x + -42. Is u a multiple of 23?
True
Let v = -23 + 26. Suppose -78 = -v*b + 3*l + 147, 0 = -5*b - l + 399. Is 22 a factor of b?
False
Let p(z) = 37*z**2 + 2*z - 1. Let d be p(1). Suppose 0 = 4*k + k - h - 43, 4*k + h = d. Does 3 divide k?
True
Let o = -14 + 16. Suppose 267 = o*a - 5*u, -4 + 0 = 4*u. Is 12 a factor of a?
False
Suppose 5*y + 15 = 0, o - y = 19 + 53. Let u(h) = 5*h. Let a be u(1). Suppose 0*p = -2*p - a*c + o, 0 = -3*c + 15. Does 11 divide p?
True
Let n(t) = -76*t**3 - 2*t**2 - 2*t - 1. Suppose 3 = -6*f + 3*f. Does 15 divide n(f)?
True
Suppose 2*p + 14 = 4*p. Suppose -p*i = 3*i - 260. Is 13 a factor of i?
True
Let z = -1267 + 2287. Is 12 a factor of z?
True
Let z(b) = -b**2 + 3*b + 4. Let c be z(4). Let n(w) = w**3 + 0*w**2 + c*w**2 - 8*w**2 + 4*w + 10. Is n(8) a multiple of 14?
True
Is 5025/95 - (-4)/38 a multiple of 53?
True
Suppose -y + 2 = 0, -2*y = -4*s + y + 90. Suppose -h + s = h. Does 6 divide h?
True
Suppose 19*d = 20*d - 56. Suppose a - d = -7*a. Does 7 divide a?
True
Let o = -2 - -4. Let j = 59 - 50. Suppose o*v + 3