0. Does 15 divide v?
True
Let q = 21 + -1. Suppose 0 = -0*s - 4*s - q. Let d = s - -17. Is d a multiple of 7?
False
Suppose 20 = 5*g - 75. Suppose 0 = -4*p - 21 - g. Is 11 a factor of (-3)/15 + (-132)/p?
False
Let a(y) = -18*y + 75. Does 25 divide a(-5)?
False
Suppose 5*b = 20, -b - 26 = 4*n - 126. Is 12 a factor of n?
True
Let z(w) = 3*w - 1. Let y = 3 - 2. Let q be z(y). Suppose -t + q*o + 7 = 0, 0 = 2*t - o - 22 - 1. Does 13 divide t?
True
Let j = -6 - -4. Let r be (1*(1 + -1))/j. Suppose r = -5*i - 53 + 173. Is 19 a factor of i?
False
Let l(t) = -6*t**2 - 4*t - 8. Let f(g) = -17*g**2 - 11*g - 23. Let p(v) = -4*f(v) + 11*l(v). Is 8 a factor of p(3)?
False
Let l(m) = -m**2 - 2*m + 8. Suppose 0 = -3*x - x - 24. Let q be l(x). Let o = -11 - q. Is 4 a factor of o?
False
Let p(n) be the second derivative of -n**3/6 - 4*n**2 + n. Let u be p(-8). Suppose u = m + 5*g + 11, m - 1 = 2*m + 3*g. Is m a multiple of 7?
True
Let h = 31 - 15. Let l = h - -2. Is l a multiple of 18?
True
Suppose 3*f = 69 + 36. Does 19 divide f?
False
Let z = 93 - 9. Is 26 a factor of z?
False
Let y = 186 + -126. Is 15 a factor of y?
True
Is 28 a factor of -2 - -15*(3 + -1)?
True
Let a(s) = -s**3 + 7*s**2 + 3*s - 6. Let u be a(7). Suppose -51 = -i - u. Does 18 divide i?
True
Let r(f) = 6*f + 4. Let j be r(2). Suppose j = w + 1. Does 15 divide w?
True
Does 20 divide -5*(-8 + 0 - -1)?
False
Let m(z) = z**3 + 5*z**2 + z + 1. Let c be m(-5). Is 2/c + 21/2 a multiple of 5?
True
Let j(f) = 4*f**2 + 6*f - 16. Is j(4) a multiple of 24?
True
Suppose 5*d + 0*m - 31 = 3*m, -d + 3*m = -11. Suppose -2*r - 4*q = d + 11, 0 = -r + 4*q + 16. Suppose 0*h - 3*h + 12 = r. Is h a multiple of 4?
True
Let w(n) = -n**2 + 4*n. Let p be w(3). Suppose -4*l = p*o - 151, 4*l + o - 161 = -4*o. Is l a multiple of 17?
True
Let s(h) = -h - 7. Let a be s(-5). Let y = a + 5. Suppose 46 - 10 = y*f. Is 6 a factor of f?
True
Let z(q) = 12*q**3 + 2*q**2 + q - 2. Let t(n) = -36*n**3 - 5*n**2 - 3*n + 5. Let a(f) = 3*t(f) + 8*z(f). Is 6 a factor of a(-1)?
False
Let x = -42 + 78. Suppose 4*y + 28 = 2*y + 3*j, j + x = -5*y. Let o = -5 - y. Does 2 divide o?
False
Suppose 14 = l - 11. Let z = l - -1. Suppose -z = -x - 5. Is x a multiple of 16?
False
Suppose -301 = -4*z - 45. Does 12 divide z?
False
Let r = 11 + -3. Is r a multiple of 8?
True
Suppose 0 = 3*y + 5*z - 86, 49 = -5*y + 5*z + 139. Is 11 a factor of y?
True
Suppose 0 = 2*j + z - 16, 2*j - 35 = -3*j - 5*z. Suppose 0 = -i + 26 + j. Does 7 divide i?
True
Suppose -2*j - 10 = -a - 71, -a = -3*j + 91. Suppose -3*h + j = 2*m - 15, -4*m = -5*h + 97. Does 17 divide h?
True
Let l(u) = 2*u**2 - 3*u - 2. Let b be l(3). Suppose 0 = -2*f + b*f - 40. Suppose -5*j + 4*j = -f. Is 7 a factor of j?
False
Let d = 152 + -106. Does 12 divide d?
False
Suppose 0 = -6*z + 2*z + 288. Suppose -s - 37 = -3*u, -113 + 10 = 4*s + 3*u. Let g = s + z. Does 15 divide g?
False
Let t = 7 - 4. Suppose z + 2*g + 20 = 0, 6*z - 2*g = t*z - 52. Let k = 43 + z. Is 19 a factor of k?
False
Let t = -11 + 30. Is t a multiple of 6?
False
Suppose -7*l + 377 + 603 = 0. Is 20 a factor of l?
True
Suppose -6*h = -h - 20. Let o = -4 + h. Suppose 20 = 4*g, 3*f - 8*f - 3*g + 70 = o. Does 11 divide f?
True
Let o = -6 + 31. Is (-38)/(-5) - (-10)/o even?
True
Suppose 0 = f - 1 - 3. Let j be ((-5)/f)/((-1)/20). Suppose -5*q + j = -0*q, 5*m = 3*q. Does 2 divide m?
False
Let n(s) = s**2 - 4*s + 2. Let a(p) = -p**2 - 1. Let f(l) = -3*a(l) - n(l). Does 6 divide f(-3)?
False
Let c(r) = r**3 - r**2 - 5. Let j be c(-4). Let g = 158 + j. Does 12 divide g/3 + (-3)/9?
True
Let p = 2 - -3. Suppose -p*y + 170 = -0*y. Does 15 divide y?
False
Let n(g) = g**2 - 4*g + 5. Suppose l - 12 = -2*l. Let j be n(l). Suppose 3*h - 26 = -j*b + 12, -5*b + 3*h = -32. Is b a multiple of 7?
True
Let o(t) = 25*t**2 + 5*t - 14. Does 12 divide o(2)?
True
Suppose -3*k + 0*n + 75 = 4*n, 4*k = -2*n + 110. Suppose -5*m + 22 = -3*o, 8*m + 5*o + 10 = 3*m. Suppose -g = g + 3*x - k, m*g - 5 = 5*x. Is 10 a factor of g?
True
Suppose 12 = i + 3*i. Suppose i*q + 99 = 6*q. Suppose 3*y - q = -3*p, -2*p + 27 = 5*y - 4. Does 3 divide p?
False
Let u = -452 - -633. Is u a multiple of 13?
False
Let g = -24 + 55. Suppose -10 - g = -j. Is 14 a factor of j?
False
Suppose 2*o + 202 = 5*d, 2*d + 5*o = -33 + 108. Does 27 divide d?
False
Let r = 34 - -12. Suppose -r = -2*i + 4*k, -5*i + 54 = -2*i - k. Is i a multiple of 14?
False
Suppose -4*v + 4 = 0, 5*f + 2*v - 6 = 376. Is f a multiple of 38?
True
Does 9 divide (-1687)/(-63) - 4/(-18)?
True
Let t(x) = -4*x - 10. Does 6 divide t(-7)?
True
Suppose 4*x = 5*c + 127, 159 = 4*x - 3*c + 30. Suppose -11 = -4*k + x. Is 11 a factor of k?
True
Does 12 divide 8/(-52) + (-496)/(-13)?
False
Let c be ((-25)/(-10))/((-2)/(-4)). Let r = -14 + c. Is (-249)/r + (-2)/3 a multiple of 15?
False
Let w(q) = q**3 - q**2 + 2*q + 21. Is w(0) a multiple of 21?
True
Let j(f) = -f**2 - 7*f + 13. Let y be j(-9). Let b = y - -5. Suppose -n - 3*n + 2*v + 162 = b, -4*n - 4*v = -156. Is n a multiple of 15?
False
Let i(q) = -q**3 + q - 1. Let o(a) = -14*a**3 - 2*a**2 - 3*a + 4. Let r(w) = 3*i(w) + o(w). Does 7 divide r(-1)?
False
Suppose -179 = 2*f - 5*k + 2*k, -3*f + 5*k = 271. Let p = f - -140. Is p a multiple of 20?
False
Let i = -1 - -13. Is i a multiple of 3?
True
Suppose -2 = -2*q + 62. Is 13 a factor of q/6*(-120)/(-16)?
False
Let f be (-2)/3 + (-42)/(-9). Suppose -39 = -f*g - d, 29 = -4*g + 7*g + d. Is g a multiple of 10?
True
Suppose f - 82 = -3*r - 3*f, -4*f = -4. Is r a multiple of 13?
True
Suppose 0 = -x - 11 + 55. Suppose -a = 5*s - 0*a - 55, x = 4*s - 5*a. Let z(c) = c**2 - 10*c + 3. Is 14 a factor of z(s)?
True
Let l(x) = x**2 + 6*x - 3. Let q(m) = -4*m - 1. Let z be q(2). Is 12 a factor of l(z)?
True
Let t = 40 - 22. Is 5 a factor of t?
False
Let h = 8 - -18. Let g = h - 13. Is 13 a factor of g?
True
Suppose 260 = -0*q + 4*q. Suppose 3*r - 31 = q. Does 8 divide r?
True
Suppose 2*x + 5*v = 30, 2*v = -x + v + 12. Is x a multiple of 5?
True
Suppose 5*t = 4*f - 17 - 95, -2*f = t - 56. Let d = 7 + f. Is d a multiple of 7?
True
Let g(n) = n**3 - 11*n**2 + 10*n - 5. Let s be g(10). Is 5 a factor of (-1 - s*6) + -1?
False
Is 5 a factor of 1 + 7 + -1 + 2?
False
Let f be (-15)/(-2)*(-28)/(-5). Let k be 2/(-1 + f/44). Let b = 70 + k. Is b a multiple of 13?
True
Suppose 3*f + 3 + 6 = 0. Is (-141)/(-9) - (-2)/f a multiple of 6?
False
Let i = -4 - 4. Let n = 47 + i. Does 13 divide n?
True
Let p = 2 + -2. Suppose p = 2*x - 5*n - 135, 0 = -3*x + n + 53 + 130. Does 18 divide x?
False
Let y be (-5)/((-15)/(-12)) + 17. Suppose -y = -19*o + 18*o. Is 5 a factor of o?
False
Suppose 0 = 6*y - 2*y + 4. Let z = -2 - y. Is (-2 - -11) + (z - -3) a multiple of 9?
False
Suppose -5*v + 81 + 389 = 0. Suppose v - 4 = 3*w. Is 15 a factor of w?
True
Suppose -11*i = -8*i + 240. Let p = i + 169. Does 23 divide p?
False
Is (-5)/((-20)/(-12)) - -189 a multiple of 29?
False
Suppose 0 = -4*q + 488 + 136. Does 34 divide q?
False
Let i(o) = o**2 - 3*o + 2. Let c be i(2). Let y be 78 + (-2 - (c - -1)). Suppose -4*z + 5*b + 46 + 23 = 0, 4*b + y = 5*z. Does 11 divide z?
True
Suppose -5*q + q = -300. Is 15 a factor of q?
True
Let o(v) = 3*v - 2. Let n be 32/14 + 4/(-14). Suppose -8*s + 30 = -3*s - n*j, 0 = -5*s + j + 30. Is o(s) a multiple of 8?
True
Let b be 1/5 + (-272)/10. Let s be (-1)/(-2) + b/(-2). Suppose i + 2*f - s = 0, 2*f + 23 = 4*i - f. Is 8 a factor of i?
True
Let v(b) = 10*b. Let n be (-14)/(-12) + 2/(-12). Does 5 divide v(n)?
True
Suppose 8 - 35 = -3*u. Suppose 2*i - 4*b + 17 - 1 = 0, 0 = 2*i - 5*b + 19. Let g = u - i. Is 11 a factor of g?
True
Let g be 2 + -3 - 3*-1. Let o = g - -1. Does 16 divide ((-38)/4)/(o/(-6))?
False
Let j = -11 - -21. Suppose -j = -u + 6. Let a = 42 - u. Is a a multiple of 9?
False
Is 1 - (-1 - (-2 + 72)) a multiple of 24?
True
Let m = 94 - -62. Does 11 divide m?
False
Suppose -o = -3 + 14. Is -3*(-6)/(-9) - o a multiple of 5?
False
Suppose 0 = -4*p, -6*c + 2*c + 16 = 2*p. Suppose n - c = -n. Does 2 divide n?
True
Let y = -3 + 6. Suppose -19 = -y*d - 4. Is d even?
False
Let x = -8 - -140. Does 38 divide x?
False
Let o(c) = 3*c**2 - 3*c - 3. Is o(5) a multiple of 20?
False
Let n = 26 + -15. Let l = n - -16. Does 9 divide l?
True
Let a be ((-27)/4