ose -23 - 3 = -q. Does 8 divide q?
False
Suppose -4*i + 15 = x - i, 4*x - 5*i = 9. Let v(m) = m**2 - 8*m - 6. Let j be v(x). Is (-60)/j + (-1)/3 a multiple of 3?
True
Let d = -58 - -289. Does 12 divide d?
False
Suppose 0 = 5*g + g - 738. Does 27 divide g?
False
Let i(w) = w**2 - 2*w + 3*w**2 - 5 - 3*w**2. Let m(l) = -l**2 + 9*l - 9. Let y be m(7). Is i(y) a multiple of 10?
True
Let q = 24 - 20. Suppose -o + 3*l + 14 = -1, 13 = o - 2*l. Suppose 0 = -o*a + q*a + 115. Is a a multiple of 13?
False
Suppose -2*h = h - 15. Suppose -3*p - 12 = 0, p = -3*v + h*v - 22. Let n = 49 - v. Does 15 divide n?
False
Suppose -3*t = -4*t + 4. Suppose 0*g - 2*g + 5*w - 25 = 0, 4*w - 20 = t*g. Let r(l) = -l + 3. Is 3 a factor of r(g)?
True
Suppose -42 = 2*a - 4*n - 126, -4*n = 20. Does 8 divide a?
True
Let h(v) = v**2 - 13. Is h(7) a multiple of 6?
True
Does 7 divide (39 - (0 - 3))/2?
True
Let l(s) = -7*s + 4. Let i(x) = x + 1. Let n(y) = -6*i(y) + l(y). Let r be n(2). Let z = r + 67. Does 17 divide z?
False
Does 8 divide (-1)/((-5)/155 - 0)?
False
Let c(w) = -w**2 + 5*w - 4. Let q be c(3). Let h(u) = -1 + 2*u - 2 + q*u. Is 14 a factor of h(8)?
False
Let p(n) = n**3 - 4*n**2 + 3*n + 4. Let d be p(3). Suppose 3 = 5*f - d*f, -2*h - 2*f - 192 = 0. Let s = h - -141. Is 15 a factor of s?
False
Suppose 315 = 5*p + 125. Does 12 divide p?
False
Suppose -b + 40 = -6*b. Let v(j) = j + 10. Let s be v(b). Suppose -w + s*w - 36 = 0. Is w a multiple of 15?
False
Suppose 0 = 2*v + s - 117, 10*s - 5*s = 3*v - 182. Does 16 divide v?
False
Let y(x) = 9*x - 26. Is y(18) a multiple of 24?
False
Let c be (-380)/(-12) - (-1)/3. Suppose 0 = i + i - c. Let k = -5 + i. Is 11 a factor of k?
True
Let r(f) = -f**2 + 8*f + 3. Let l be r(6). Does 22 divide (-532)/(-6) - 10/l?
True
Let x be -2*(2/(-4) - 1). Let g be (x/2)/((-6)/36). Let t = g + 29. Is t a multiple of 10?
True
Let a(x) = -7*x + 10. Let d be a(-12). Suppose -2*m = 3*t - 59, 3*t - 4*m = m + d. Does 15 divide t?
False
Let n = 6 + -2. Suppose 4*i + 13 = n*v + v, 3*v - 4*i - 3 = 0. Suppose -v*a + 41 = -49. Does 6 divide a?
True
Let c(n) be the first derivative of -n - 2 - 3/2*n**2. Is c(-1) even?
True
Let i = -12 - -58. Let s = 74 - i. Is s a multiple of 14?
True
Let k be 3*-5*2/(-6). Suppose -23 - 32 = -k*h. Does 11 divide h?
True
Does 13 divide 90 + 1 + -1 + 2?
False
Suppose 520 = 5*d - 10*d. Let u = -55 - d. Does 22 divide u?
False
Suppose 66*t - 69*t = -336. Is 7 a factor of t?
True
Let x be (-11)/(-4) - (-9)/(-12). Suppose 12 - 41 = x*a + 5*h, -a = 5*h + 12. Let t = 9 - a. Is t a multiple of 13?
True
Suppose 47 + 60 = -3*a - 2*c, 5*a + 170 = 5*c. Let g = a + 25. Let x = 15 + g. Is 5 a factor of x?
True
Let c(x) = 4*x**2 - x. Let u be c(-2). Is 212/u + (-2)/(-9) a multiple of 6?
True
Let i(v) = 5*v - 1. Is 2 a factor of i(2)?
False
Let l(m) = -66*m**3 - m**2 - m. Let g be l(-1). Let b be -2*g/2 - -2. Let o = b + 93. Is 17 a factor of o?
False
Suppose l + 0*l - 9 = 0. Does 9 divide l?
True
Let j(u) = -u**2 - u + u. Let w(t) = t**3 + 5*t**2 + 6*t + 2. Let y(k) = -j(k) + w(k). Does 7 divide y(-4)?
False
Let s be ((-14)/(-6))/((-2)/(-6)). Suppose 0*x - 460 = -5*x. Suppose -3*d - x = -s*d. Is d a multiple of 14?
False
Let y(t) = 7*t**2 - 3*t + 4. Does 40 divide y(-4)?
False
Let k = 14 + 7. Let s = k + -10. Let u = -9 + s. Is u a multiple of 2?
True
Let o be 2/1 - -7 - 1. Let g = o + -12. Is g/(-10) + (-18)/(-5) even?
True
Suppose -2*v - 2 = -3*r - 5, 3 = 3*r - 4*v. Let u(p) = -2*p**3 - 5*p**2 - 3*p. Is 9 a factor of u(r)?
True
Let a(u) = 6*u**3 + 6*u**2 - 6. Let w(t) = -5*t**3 - 5*t**2 + t + 6. Let g(r) = 4*a(r) + 5*w(r). Is 7 a factor of g(-3)?
False
Suppose -2*u + 3*u - 250 = 0. Suppose -4*l + u = l. Is l a multiple of 25?
True
Suppose -5*c + 2*c = -3*r + 42, c - 6 = -3*r. Let p be (-4)/6 - 42/c. Suppose 86 + 30 = p*s. Is 14 a factor of s?
False
Suppose -4*g + 36 = -4. Let w = -6 + g. Let h(o) = 2*o + 2. Does 5 divide h(w)?
True
Let n(b) = 3*b**2 + 7*b + 4. Let o be n(-6). Suppose 0*a + 4*c = -4*a, 5*c + 10 = 5*a. Suppose -5*q + o = -5*u, -2*u + a = 5. Does 12 divide q?
True
Does 5 divide (-149 + 1)/(-2) - (-4 + 8)?
True
Suppose 61 = j - a, 0*a + 290 = 5*j - 2*a. Is 12 a factor of j?
False
Suppose -5*w + 354 = w. Does 13 divide w?
False
Let i be -1 - (-1)/(1/3). Suppose -5*k - 5 = -5*w, 0 = k - 2 - i. Suppose 31 = 4*a - w. Is a a multiple of 5?
False
Is (127 - 1) + -4 + (3 - -1) a multiple of 11?
False
Let f be -1 - (2 + 1) - -2. Let r = 0 - f. Suppose -r*v + 84 = v. Does 17 divide v?
False
Let o(g) = -g - 1. Let h be o(-1). Suppose h = 5*j + 10 - 0. Is 4 a factor of (-9)/(-2) + (-1)/j?
False
Suppose 2*a + 48 = -2*a + 2*d, -3*a - 36 = -4*d. Let u = a + 24. Does 3 divide u?
True
Let i(f) = f**2 + 2*f - 1. Let t be i(2). Let k be 1/(0 - 1) + 2. Let h = t - k. Is 6 a factor of h?
True
Let u = 10 - 7. Suppose c - 3*v = 4, -2*c = -u*v - 18 + 4. Is 10 a factor of c?
True
Let g = 73 + 12. Does 24 divide g?
False
Let v = 4 + 0. Suppose 2*l - v*j - j = 56, 2*j - 28 = -2*l. Does 6 divide l?
True
Let k(l) be the second derivative of l**5/20 - 4*l**4/3 + 10*l**3/3 + 3*l**2/2 + 3*l. Does 25 divide k(15)?
False
Suppose 2*d - 2*x - 130 = -3*d, -104 = -4*d - 5*x. Does 17 divide d?
False
Suppose 2 + 7 = 3*m, 0 = 3*s + 5*m - 27. Suppose -5*o + 4*z = -20, -24 = -s*o + 4*z - 8. Suppose -42 = -o*b + 22. Is 6 a factor of b?
False
Let o be (-52)/44 - 2/(-11). Is (-19 + 5)/(-1 + o) a multiple of 7?
True
Let d(y) = 761*y**3 - 2*y - 1. Let r be d(-1). Is (r/30)/(4/(-6)) a multiple of 6?
False
Suppose 0 = -5*d - 5*o + 15, 21 = -3*d + 3*o - 0*o. Let w be d/7 + 27/21. Is 6 a factor of (-1 - w) + 0 + 14?
True
Let n = 5 - 1. Suppose -n = -q + 26. Does 3 divide 10/4*q/25?
True
Let p(a) = -1 - 5*a - 2 - 10*a - 3*a. Let w(b) = -b**2 + 2. Let d be w(2). Is 9 a factor of p(d)?
False
Let z = 80 + -65. Is z a multiple of 5?
True
Suppose b + 3*w - 65 = 0, -2*w + 5*w + 35 = b. Is b a multiple of 28?
False
Let b(t) = -t**3 + 7*t**2 + 7*t. Let g = 13 - 7. Is 26 a factor of b(g)?
True
Suppose 0*k + 5*k - 40 = 0. Suppose 12 = -4*o + k*o. Does 2 divide o?
False
Let z(d) = d**3 + 4*d**2 - 6*d - 2. Let s(m) = -2*m + 3. Let g be s(4). Let x be z(g). Suppose -x*h + 0*h + 12 = 0. Does 2 divide h?
True
Let t = 78 - 71. Is 4 a factor of t?
False
Suppose 319 = 2*n + 83. Suppose -3*l + l - 3*p + 51 = 0, -2*p = -5*l + n. Does 12 divide l?
True
Let t be (-4)/8*(-1 - 3). Suppose -t*o - 2*r + 18 = 0, 16 = 5*o + 2*r - 32. Does 5 divide o?
True
Suppose 22*l - 20*l = 440. Is l a multiple of 11?
True
Suppose 4*w - 3*s + 4*s = 233, -w + 5*s = -53. Suppose 3*d + 2*x = 206, -3*x = -d + w + 29. Is d a multiple of 24?
True
Let s(y) = y**3 + 2*y**2 - 7*y - 5. Let d(v) = v**3 + v**2 - 1. Let k(w) = -d(w) - s(w). Is k(-4) a multiple of 22?
False
Let q(h) = h**3 - 9*h**2 - 9*h + 14. Does 13 divide q(10)?
False
Let q = -20 + 39. Suppose 3*h - q = 4*u, 3*h + 4*u = h + 6. Suppose l - 60 = -h*s, -2*s - 4*l + 12 = -s. Is 4 a factor of s?
True
Let k(l) = 2*l + 2. Let j = -18 - -25. Is k(j) a multiple of 14?
False
Let x = -1 + 7. Let s(h) be the second derivative of -h**4/12 + 7*h**3/6 + 5*h**2/2 + 4*h. Does 5 divide s(x)?
False
Let m(k) = 2*k**2 + 0*k**2 - 1 - 3*k**2 + 8*k - 3. Is m(7) a multiple of 2?
False
Let p(o) = -o**2 - o - 2. Let m be p(0). Let d be ((-2)/m - 1) + 14. Is 7 a factor of -2 + 1 + -3 + d?
False
Let g = -156 - -88. Let l = -20 - g. Is l a multiple of 14?
False
Let k(f) = -f**3 + 8*f**2 - 9*f + 5. Does 6 divide k(6)?
False
Let q(r) = -12*r + 1. Let d be q(1). Let f = -2 - d. Is 4 a factor of f?
False
Suppose 0 = -2*k - 2*k - 48. Let f = -5 - k. Is f even?
False
Let k = 207 + 28. Is 11 a factor of k/10 - (-6)/(-4)?
True
Let t(v) = -v + 4. Does 6 divide t(-5)?
False
Let k(c) = -c**2 - 11*c - 10. Let r be k(-9). Suppose -5*b + r*b - 57 = 0. Is b a multiple of 8?
False
Let f = 83 - 56. Does 24 divide f?
False
Let z be 7/21 + 10/(-3). Let n = 7 - z. Is 10 a factor of n?
True
Suppose -y + 0 = 2. Let q(a) = a**2 + a. Let t be q(y). Suppose -2*m = t*m - 36. Is m a multiple of 9?
True
Does 6 divide 4 + (-517 + 5)/(-4)?
True
Let b(p) = 2*p**2 + p - 2. Let s be b(2). Let z = s - -1. Let m(v) = -v**3 + 9*v**2 + 5*v - 5. Does 14 divide m(z)?
False
Suppose -424 = -3*j + 2*i + 2*i, -3 = 3*i. Is j a m