Let b(a) = -2*a - 2. Let y(h) = h**2 + 6*h + 6. Let g be y(-6). Suppose t + 3*z = 9, 0 = -5*t + 4*z - g - 25. Does 4 divide b(t)?
True
Let m(q) = -4*q**2 + 11*q + 0*q**2 - 10 + 3*q**2. Suppose 0 = 3*x + 4*f - 5, 2*f + 18 = 5*x - 25. Is 7 a factor of m(x)?
False
Suppose -10 + 1 = 3*q. Does 14 divide 2/(6/q) + 87?
False
Suppose -13*a - 171 = -16*a. Is a a multiple of 23?
False
Suppose -95 + 8 = -3*y. Let s = 69 - y. Does 11 divide s?
False
Let k(g) = g**2 - 2*g - 2. Let y be k(3). Suppose -q + 3 = y. Suppose -3*x = 0, m - x - q = 1. Does 3 divide m?
True
Let u(x) = -x**3 + 10*x**2 - 7*x + 20. Is u(8) a multiple of 23?
True
Let q(r) = 5*r**3 + 11*r**2 + 8*r + 5. Let l(j) = -j**3 - 3*j**2 - 2*j - 1. Let o(t) = 9*l(t) + 2*q(t). Suppose -3*c + 12 = -6. Does 25 divide o(c)?
True
Is 69 - 6/(-3)*1 a multiple of 34?
False
Suppose 0 = -q + 2*q + 2*z + 5, 0 = -4*z. Let l(c) = -3*c - 1. Is l(q) a multiple of 14?
True
Suppose 0 = -d - 2*d + 6. Let o = d + 0. Suppose 3*q - o*q - 14 = 0. Is q a multiple of 6?
False
Does 9 divide (-9)/(-6)*(-142)/(-3)?
False
Let b(y) = 48*y**2 + 2*y + 2. Does 8 divide b(-1)?
True
Is (22/8)/(1/12) a multiple of 17?
False
Suppose -42 = 2*f - 4*f. Does 13 divide f?
False
Suppose 4*v - 71 = 345. Does 26 divide v?
True
Let y be 3/((-573)/582 + 1). Suppose 0 = n + 65 - y. Let a = n - 92. Is 13 a factor of a?
False
Suppose -3*t + 6*t = -12. Let n be t*(-6)/4 - 2. Suppose -4*c + 41 = 3*f, 104 = n*f - c + 24. Is f a multiple of 7?
False
Let s = -42 + 78. Suppose -y = y - s. Does 5 divide y?
False
Let r(a) = -5*a. Let t be r(-1). Suppose 5*w = t*p - 285, 102 = 2*p + 3*w + 3. Is 18 a factor of p?
True
Suppose 5*o + 18 = 2*g, 3*o - 18 = -0*g - 2*g. Suppose -k + 10 = -3*k. Let l = k + g. Is 3 a factor of l?
False
Let y(a) = 8*a**2 + 42*a + 1. Is y(-6) a multiple of 12?
False
Suppose 4*j - z - 33 = 0, -5*j - z + 50 = -4*z. Let l(p) = -p**3 - 6*p**2 - p + 9. Let h be l(-6). Let s = j + h. Does 8 divide s?
False
Suppose -1250 = 2*q - 12*q. Is q a multiple of 23?
False
Suppose 4*j - 36 = 36. Is j a multiple of 9?
True
Let t be (-1 + 2)/(-1 + 0). Let b = 3 - t. Suppose -4*c = c - 15, -4*i + 92 = -b*c. Is i a multiple of 13?
True
Suppose -83 = -4*r + 45. Does 4 divide r?
True
Suppose 0 = -2*m - 2*f + 124, -2*m + 5*f - 109 = -4*m. Does 14 divide m?
False
Suppose 0 = 4*y - 3*b - 0 - 4, 2*b = 2*y. Suppose -y*w + 45 = -0*w + h, 3*h - 3 = 0. Does 11 divide w?
True
Let m = 36 + -1. Suppose 0 = 4*c - 17 - m. Let t = c - 0. Is t a multiple of 12?
False
Let n be ((-10)/8)/((-3)/(-12)). Let m = -4 - n. Is 15 a factor of (m/(-2) + 0)*-60?
True
Suppose -5*r + 51 = 216. Let w = -48 - r. Let v = w + 33. Is 9 a factor of v?
True
Let j(s) = s**2 - 8*s + 1. Let m(b) = -2*b**2 + 16*b - 3. Let u(w) = -11*j(w) - 6*m(w). Does 8 divide u(9)?
True
Suppose 0 = 2*y - y - 4*l + 3, -3*y = -3*l - 9. Suppose -y*m + 0*m = -35. Is 3 a factor of m?
False
Suppose 4*d - 18 = 286. Does 19 divide d?
True
Suppose -v + 52 = 3*x, -2*v = -x + 14 - 146. Is 32 a factor of v?
True
Suppose -7*i + 3*i + 20 = 0. Does 5 divide i?
True
Let n(p) = 8*p**2 - p - 5. Let t(k) = 16*k**2 - 2*k - 9. Let s(v) = -5*n(v) + 3*t(v). Is s(2) a multiple of 10?
False
Suppose 4*m = 5*m - 141. Let d = m - 96. Is d a multiple of 15?
True
Let d be (-31)/(-4) + 2/8. Let a = 11 - d. Let c = 10 - a. Does 7 divide c?
True
Suppose 3*o = -5*k + 1 + 6, k - 4*o - 6 = 0. Suppose -f - k*f = -54. Does 15 divide f?
False
Let n(w) = 13*w + 1. Let p be n(-2). Let s = 4 + p. Let k = -6 - s. Does 7 divide k?
False
Is (-650)/(-13) - -1*5 a multiple of 5?
True
Is (-3)/4 + (-318)/(-8) a multiple of 10?
False
Suppose -l - 3*d - 240 = -6*l, 2*l - 2*d = 100. Let t = l + -11. Is 17 a factor of t?
True
Suppose -t = -3*z + 3*t + 173, t = -2*z + 97. Does 6 divide z?
False
Suppose 0 = 3*i - 81 - 9. Is 5 a factor of i?
True
Suppose 0 = -5*t + t - 16, t = -i + 49. Suppose -3*n + 25 + 61 = 5*k, k + i = 2*n. Is n a multiple of 9?
True
Let a = -17 - -37. Suppose 0 = 5*q + 5*i - 80, q + i - 2*i = a. Is 11 a factor of q?
False
Let u(w) be the first derivative of w**3/3 + 3*w**2 + 10*w - 1. Is 17 a factor of u(-7)?
True
Suppose j = o + 2, 2*j - 1 = -o + 4*o. Let i(u) = -u**3 - o - 2*u**2 - 2*u**2 - 5*u + 6 + 2*u**3. Is 15 a factor of i(6)?
True
Let a(i) = i**2 + 4*i - 3. Let b be a(6). Suppose -c - 5 + 4 = 0, 3*f - b = 3*c. Does 9 divide f?
True
Let q be (85 + 4 + -3)/(-1). Let p = -50 - q. Is p a multiple of 22?
False
Suppose 4*u - 2*q = -q + 133, -5*u + 5*q + 185 = 0. Let y = u + -18. Is 4 a factor of y?
False
Let g(u) = -u**2 - 5*u. Let v be g(-4). Suppose -t = 4*m + 98 + 16, -v*t = 5*m + 137. Let l = m - -45. Does 16 divide l?
True
Does 16 divide 3/7 - (-333)/7?
True
Let p = 58 - -75. Is p a multiple of 11?
False
Suppose 0 = 3*h + 2 + 4. Is (2 - (-12)/(-2))/h even?
True
Let c(t) = 3*t**3 + t. Let d be c(1). Suppose -d*q = -0*q - 44. Is 11 a factor of q?
True
Let x = 0 - -3. Suppose -4 = -g + 2*v, -v = -x*g - 6*v + 12. Suppose g*o = 3*o + 10. Is o a multiple of 10?
True
Let k(f) = -12*f - 20. Is k(-9) a multiple of 11?
True
Let a(o) = o**2 - 4*o + 1. Does 4 divide a(5)?
False
Let c(t) be the second derivative of -11*t**3/6 + 17*t**2/2 - 3*t. Let y(w) = 5*w - 8. Let l(r) = 3*c(r) + 7*y(r). Is 3 a factor of l(7)?
True
Suppose -2*h + 9 = -29. Does 8 divide h?
False
Let a = 112 - 41. Does 14 divide a?
False
Suppose -3*j = -11 - 34. Is j a multiple of 5?
True
Let g be (1 - -5) + (-5 - -3). Let b(q) = -1 - g - 34*q - 10*q + 4. Is b(-1) a multiple of 20?
False
Let t(l) = l**2 - 3*l + 3. Let r be t(3). Let p be (-3)/2*(-6)/r. Suppose 2*g - f = 34, -2*g - 4*f = p*g - 85. Is 12 a factor of g?
False
Suppose -5*q + 30 = 10. Suppose q*g - 18 = -2. Suppose 4*l - 105 = 5*w, 5*l - g*w = w + 125. Does 10 divide l?
True
Let w = 56 - 23. Suppose 0 = -4*b - 2*k + 130, w + 26 = 2*b + 3*k. Is 17 a factor of b?
True
Suppose -2*m = 6, -p - 2*m - 56 = -7*m. Is 13 a factor of p/(-2) + 9/6?
False
Let k be (-72)/(-7) + 2/(-7). Suppose g = -2*z + k, -64 = -5*g - 5*z + 11. Is 9 a factor of g - -1*1/(-1)?
False
Let q(d) = 8*d - 6. Let b be q(6). Suppose -3*k = -3*h - 6, 0*h - 33 = -4*k - h. Suppose k*l - b = 4*l. Is l a multiple of 7?
True
Let x(f) = -f**3 + 7*f**2 + 6*f - 6. Does 7 divide x(4)?
False
Let n(r) = -2*r - 6. Let c = -1 - -5. Suppose 0*b = c*b - 5*t + 34, 6 = 3*t. Does 6 divide n(b)?
True
Let o(m) = 2*m**2 + m + 12. Is o(5) a multiple of 8?
False
Let i(q) = q**3 - 3*q**2 + q - 1. Let h be i(3). Suppose l + 22 = -5*r, -h*l + 0*l = -4*r - 26. Suppose 0*j - l*j + 24 = 0. Is j a multiple of 8?
True
Suppose -27 + 17 = -r. Let s = 44 - r. Is 17 a factor of s?
True
Let b(a) = -13*a + 3. Let y be b(-8). Suppose -5*f + 2*z = -80, 7 - y = -5*f - 2*z. Let r = 37 - f. Does 10 divide r?
False
Let b be (-2)/(-2) - (1 + -2). Suppose -96 = -4*d + b*z, -4 = -z - 8. Does 21 divide d?
False
Let z(x) = 4*x**3 + 7*x**2 - 2*x + 6. Let w(r) = 3*r**3 + 6*r**2 - 2*r + 5. Let u(j) = -5*w(j) + 4*z(j). Does 9 divide u(3)?
False
Let j(s) be the first derivative of -s**2/2 - 10*s - 2. Is 2 a factor of j(-12)?
True
Let z(v) = v**3 + v**2 + v + 3. Let f be z(0). Is -1 + 3 - (f + -8) even?
False
Let t = 8 + 18. Is t a multiple of 9?
False
Let d(z) = -19*z - 4. Is 18 a factor of d(-4)?
True
Let y(i) be the second derivative of i**7/1260 - i**6/72 + i**5/12 + i**4/6 + 2*i. Let c(p) be the third derivative of y(p). Does 19 divide c(7)?
True
Let k(o) = o**2 + 63. Does 12 divide k(0)?
False
Suppose -6*v - 7 = -601. Is 12 a factor of v?
False
Suppose 5*i + 2*x - 174 = 0, 4*i + 2*x = -3*x + 129. Is 18 a factor of i?
True
Let f(u) = 163*u**3 + 2*u**2 - 6*u + 3. Is f(1) a multiple of 9?
True
Let t(x) = -x**3 + 6*x**2 - 3*x - 5. Let o be t(5). Suppose o*q - 1 = 19. Suppose -q*n + 2*n = -12. Does 3 divide n?
True
Let n = -3 + 7. Suppose 5*t = n*r - 95, -9 = -4*r - 4*t + 59. Is r a multiple of 20?
True
Suppose 3*c - 63 = 2*c. Let a = c + -26. Does 8 divide a?
False
Suppose 82 = 14*y - 12*y. Suppose y = x - 28. Is x a multiple of 23?
True
Suppose -66 = -2*k - k. Does 7 divide k?
False
Let w(y) = y - 8. Let b be w(8). Suppose 4*i - 20 = b, -50 = -k + i + i. Is 18 a factor of k?
False
Suppose 11 = 8*y - 109. Does 5 divide y?
True
Suppose i + 4*i - 60 = 0. Suppose -4*x = -4 - i. Suppose -1 = -4*l + 3*l, 