 = o + o - 69, -5*r + 99 = 2*o. Suppose 3*q = -p + 26, -o = -5*q + q - 5*p. Is q a multiple of 8?
True
Is 4 a factor of (-7 - 4)/(3/(-6))?
False
Let v be 1*2 + (1 - 0). Suppose -40 = -5*n - 2*q, 4*n + v*q - 36 = -4. Is n a multiple of 6?
False
Let o(u) = 12*u**2 - 3*u + 4. Let n be o(3). Let m = n + -68. Is m a multiple of 7?
True
Suppose -5*d = -9 - 6. Let o be (-2 + 2*d)*6. Let c = o - 6. Is c a multiple of 9?
True
Let f(k) = -k - 3. Let b be f(-5). Let s = 17 - 13. Suppose 46 = s*n - b. Does 11 divide n?
False
Let j be 7*28/(2 + 2). Suppose v = -u + 4*v + j, 2*u - 100 = 4*v. Is 13 a factor of u?
True
Let q(j) = -2*j + 13. Let s be (-2)/4*0/1. Does 8 divide q(s)?
False
Suppose -2*t = -c + 55, 0*c - 3*c - 5*t = -143. Is c a multiple of 11?
False
Let o = -30 + 17. Let s = 21 + o. Is s a multiple of 8?
True
Let x = 136 + -104. Is 8 a factor of x?
True
Let g = 26 + 1. Is 9 a factor of g?
True
Suppose 0 = -0*x - 4*x. Let i be (x + 5)*(-16)/10. Let t = i + 17. Does 9 divide t?
True
Suppose -6*g = -3*g - 132. Is 22 a factor of g?
True
Let g(h) = 60*h + 2. Is g(4) a multiple of 22?
True
Let v = -5 - -3. Let w be (-1 - (-1 - v)) + -1. Is 10 a factor of -2 + (-6)/w + 24?
False
Suppose -13 - 12 = -5*l. Let p = 9 - l. Suppose 5*b + 153 = p*z - 38, 4*z - 185 = 3*b. Is z a multiple of 22?
True
Let v be (3*31)/(1 + 0). Let z = -44 + v. Does 13 divide z?
False
Suppose 5*l - 236 = -5*i + l, -2*i + 2*l + 98 = 0. Is i a multiple of 29?
False
Let f = -174 + 109. Let p = 111 + f. Is 23 a factor of p?
True
Let t = -105 - -168. Let s = 108 - t. Is s a multiple of 15?
True
Suppose -4*j = k + 7 + 9, 2*k + 5*j = -32. Let o be k/(-5)*-5*1. Let y = -5 - o. Is 10 a factor of y?
False
Let l be (-2)/6 + (-1)/(-3). Suppose l*y + 4*y - 132 = 0. Does 11 divide y?
True
Suppose -y + 0*o = 4*o, -y + 3*o + 21 = 0. Is (y/10)/((-4)/(-30)) a multiple of 9?
True
Is 13 a factor of 2 + (218 - 2) + -3?
False
Is 59 a factor of (231/14)/((-9)/(-66))?
False
Suppose 5*w + 0*v - 3*v = 93, 4 = v. Is w a multiple of 19?
False
Let f(c) = c**3 + 10*c**2 + 5*c - 12. Does 7 divide f(-9)?
False
Let i(h) = -h + 14. Let u be i(8). Suppose u*t - t = 15. Suppose s + t*s - 8 = 0. Is s even?
True
Suppose 0*v - 5*v + 600 = 0. Does 10 divide v?
True
Does 33 divide 1196/12 - (-4)/(-6)?
True
Let c be 1/(-3) - (-344)/6. Suppose 4*w + c = 7*w. Is w a multiple of 11?
False
Is 9 a factor of (99/22)/((-2)/(-24))?
True
Is (-228)/(-15) - 4/20 a multiple of 4?
False
Does 17 divide (-309)/(-6) - ((-10)/4)/(-5)?
True
Suppose -4*s + 13 = -7. Suppose 0*n - 2*n = s*f - 17, -5 = 5*f. Suppose 4*w + 102 - 34 = 3*z, -z = w - n. Does 8 divide z?
True
Let r = 5 - 1. Suppose 2*v = -4*n + 112, -r*n + n + 74 = -v. Suppose -a = a - n. Is a a multiple of 13?
True
Suppose -o + 3*j = -120, -2*j - 3*j = 0. Is 30 a factor of o?
True
Suppose -5*o = 3 + 2, 3*a + 5*o = -2. Suppose 0 = -h - a. Let u = h - -19. Is u a multiple of 9?
True
Suppose 2*v - 6*b = -3*b + 14, 2*v + 4*b = 0. Let q be (6/4)/(3/v). Does 4 divide 126/15 - q/5?
True
Let r(z) be the third derivative of -z**4/24 + 2*z**3/3 + 2*z**2. Does 2 divide r(-3)?
False
Suppose 209*j = 208*j + 61. Is j a multiple of 19?
False
Let v(d) = -d. Let t be v(-6). Is ((-9)/t)/(-3)*72 a multiple of 18?
True
Suppose 2*m - 5 = -f, 0 = 4*f + 2*m + 9 - 53. Suppose 0 = -5*s + 67 + f. Is 8 a factor of s?
True
Suppose -y = 5*j + 55 - 264, 5*j = -2*y + 433. Does 28 divide y?
True
Suppose 3*k - 156 - 66 = 0. Is 11 a factor of k?
False
Let u(x) be the third derivative of -x**6/60 - x**5/10 - x**4/6 - 2*x**3/3 + 5*x**2. Is u(-4) a multiple of 22?
True
Suppose 0 = z - 6*z - 3*i + 2, 4*z + 24 = 4*i. Does 11 divide ((-4)/6)/(z/147)?
False
Let i(u) = u**2 - 8*u + 13. Let l be i(7). Let m(z) = -z**2 + 9*z - 6. Is m(l) a multiple of 6?
True
Suppose 3*j + 12 = 4*f - f, 2*j + 4*f + 2 = 0. Let x(c) = c**3 + 3*c**2 - c - 1. Does 2 divide x(j)?
True
Let d = 51 + -8. Let p be 7 + -5 + (-1 - -4). Suppose -d + 3 = -2*r - 4*a, -p*a = -r + 13. Is 8 a factor of r?
False
Let i = 15 - -19. Is 34 a factor of i?
True
Suppose 0 = 5*n - j - 16, 0*n = n - 5*j - 8. Suppose 98 = 3*u - 4*s, 0 = -4*s + n*s + 1. Suppose -3*l + u = -0*w + 5*w, 3*l - 3*w = 18. Is 4 a factor of l?
True
Let n = -15 + 9. Let z(f) = -2*f**2 + 5*f + 7. Let t be z(6). Let a = n - t. Does 12 divide a?
False
Suppose -264 = -4*t + 4*i, t + 0*t = -4*i + 91. Is t a multiple of 13?
False
Suppose 3*h + 75 - 297 = -2*u, 20 = 5*h. Is u a multiple of 24?
False
Let a(u) = u**2 - 3*u - 9. Let t be (-2)/(-3) - (-4)/(-6). Suppose -f = -4, 3*r - f = -t + 20. Is a(r) a multiple of 15?
False
Suppose -2*k - 3*v = 13, 2*k + 8 = v - 5*v. Let q = -2 - k. Does 12 divide q?
True
Let z = -6 - -10. Suppose z*v + 100 = 9*v. Does 20 divide v?
True
Let f be (-8)/28 - 1502/(-14). Suppose -b - f = -4*c - 2*b, -2*b + 32 = c. Is 13 a factor of c?
True
Let t be ((-3)/6)/((-1)/4). Suppose t*v - 138 = 5*y, 0*y - 60 = -v - 2*y. Suppose f = 3*f - v. Is f a multiple of 16?
True
Let l = 132 - -13. Suppose -2*q = -5*u - 281, -q + 3*u = 2*u - l. Suppose 6*t = 2*t + q. Is t a multiple of 21?
False
Let m(o) = 14*o**3 + o. Is m(1) a multiple of 3?
True
Suppose j - 27 = -5*x + 1, 2*x = -2*j + 16. Does 5 divide x?
True
Let z = -102 + 197. Does 19 divide z?
True
Suppose -4*f + 956 = 4*n, -4*f = -6*f - 2. Is 41 a factor of n?
False
Let r = 5 + -7. Let m = 20 - r. Is m a multiple of 11?
True
Is ((-126)/35)/(1/(-10)) a multiple of 14?
False
Suppose 2*i - 12 = -0. Let y(d) = 3*d + 3. Is 8 a factor of y(i)?
False
Let b be -2 + 63 - 0/(-3). Suppose -3*l + q + 86 = 0, -q = -5*l - b + 201. Does 13 divide l?
False
Suppose -6*b + 72 = -330. Does 14 divide b?
False
Let q(m) = -m + 1. Let j be q(-2). Let d be 1 + j/6*-2. Suppose d = -0*r + 4*r - 16. Does 4 divide r?
True
Let n(u) = u + 7. Let w(q) = 3*q**2 - 4*q + 3. Let p be w(2). Let k(f) = -f - 5. Let s(h) = p*k(h) + 5*n(h). Is s(-2) a multiple of 3?
False
Suppose -j - 6 = 7. Let b be (-1)/(1*(-2)/(-58)). Let r = j - b. Does 8 divide r?
True
Let n(t) = t**2 - 6*t + 2. Is n(6) even?
True
Let z(f) be the first derivative of -1/2*f**2 + 2*f - 1. Is z(-8) a multiple of 3?
False
Suppose -3*b + 53 + 67 = 0. Is b a multiple of 8?
True
Let a = -35 + 42. Is 7 a factor of a?
True
Let o(u) = u**2 + 21*u - 30. Is o(-23) a multiple of 4?
True
Let p(g) = 4*g**2 - 6*g**2 + 7*g + g**2 + 4*g + 12. Does 10 divide p(9)?
True
Let s(g) = -11*g**2 - 3*g + 4. Let j(p) = 10*p**2 + 4*p - 5. Let v(z) = -2*j(z) - 3*s(z). Does 24 divide v(-2)?
True
Let k = -149 - -214. Suppose -3 = -5*o + 12. Suppose -5*h - 3*g = -g - k, 0 = -o*g. Is 13 a factor of h?
True
Let x = 8 - 12. Suppose 3*j - 3 = 5*f, 21 = 4*j - 2*f + 3. Does 12 divide j/(x*2/(-36))?
False
Suppose 10 = -5*i - 0. Does 5 divide (-7)/14 - 29/i?
False
Let b = 13 + -7. Is 2 a factor of 38/b + 1/(-3)?
True
Is 10 a factor of ((-39)/(-6))/(5/300)?
True
Let t = -18 - -30. Does 3 divide t?
True
Let a(n) = n**3 + 5*n - 4*n**2 - 1 - 5*n - 2*n**3 - 4*n. Let x be a(-3). Suppose 2*z + 3*y - 5 = 0, 2*y - 8 = x*z - 28. Does 5 divide z?
False
Let l be (52/(-6) - -1)*-15. Suppose 4*r - 5*t - l = 0, 7*r - 2*r + 3*t = 116. Let n = 36 - r. Is n a multiple of 9?
False
Suppose 0 = 4*l - 0*l - 140. Suppose -114 = -4*w + 5*b, w + 3 = 3*b + l. Suppose 5*k = w + 44. Is 8 a factor of k?
False
Suppose -f + 3*f - 40 = 0. Is f a multiple of 20?
True
Let b = 21 - -4. Let t(w) = 3*w**2 - 2*w - 1. Let l be t(-4). Suppose -b = -2*u + 3*z, -u + l = 3*u - z. Does 7 divide u?
True
Let w be 1/((-48)/45 - -1). Let u = w + 8. Let b(l) = -l**2 - 13*l. Does 16 divide b(u)?
False
Let q = 5 + -7. Let k be 1/q*6/(-3). Let o = k + 16. Is 6 a factor of o?
False
Let d(z) = 0*z**2 + 0*z**2 - 2*z**2 + 3*z**2. Suppose -v - 18 = -4*y - 0*y, -5*y + v + 22 = 0. Is 16 a factor of d(y)?
True
Suppose 4*s - 26 = -6. Let v(g) = 2*g - 4. Let t be v(s). Is 2 a factor of (6/(-5))/(t/(-20))?
True
Suppose 4*y = -y. Let x = y + 3. Suppose -3*o - 148 = -h - 4*h, 0 = -h + x*o + 20. Is h a multiple of 16?
True
Let o(g) = g**2 + 17. Does 4 divide o(0)?
False
Suppose -k = 48 - 57. Is 2 a factor of k?
False
Let x = 15 + -4. Is x a multiple of 2?
False
Suppose -16*f = -2*f - 1232. Is 22 a factor of f?
True
Let s be (1 - (-1 + 5))*-13. Let d = s + -24. Is 10 a factor of d?
False
Suppose -z = -6*