 q be z(-2). Suppose -4*v - 15 + q = 0. Is v a multiple of 6?
True
Suppose 2*v - 2 = 18. Is 20 a factor of v/(-3*(-4)/24)?
True
Suppose -25 = -5*w, 0 = -2*x + 2*w - 40 + 158. Suppose -32 = -4*j + x. Is j a multiple of 16?
False
Suppose 5 + 13 = 2*v. Is 9 a factor of v?
True
Suppose -4*j - 2*x = -40, 0*j - 4*x - 19 = -j. Is j a multiple of 4?
False
Suppose -6*y + 28 + 20 = 0. Is 3 a factor of y?
False
Suppose -2*h + m = h, 5*h - 17 = -4*m. Let y be ((-8)/(-3))/(h/24). Let t = y - 44. Is 20 a factor of t?
True
Let q(t) = -3*t**2 + 2*t - 4. Let o(f) = -1. Suppose l + 4*i = 7, 3*l = -3*i + 2*i - 1. Let s(k) = l*q(k) + 6*o(k). Does 3 divide s(2)?
True
Suppose 0 = d + j + 13, -3*j + 28 = -d - 5. Does 5 divide 8/36 + (-248)/d?
False
Suppose -12 = -3*m - 3. Suppose 0*z + 4*z + 8 = 2*c, c = m*z + 1. Does 5 divide c?
True
Let y(g) = 34*g. Suppose -3*a + 6 = -6. Let s = a - 3. Is y(s) a multiple of 13?
False
Let o(j) = -18*j - 7. Let s be o(-7). Suppose 4*a - m - s = -a, -29 = -a - 5*m. Is a a multiple of 8?
True
Let d = 4 + 16. Suppose 3*m + 2*m - d = 0. Suppose 5*f - 285 = -2*h, 240 = m*f + 3*h + h. Is f a multiple of 14?
False
Suppose -4*k = -69 - 71. Is k a multiple of 15?
False
Suppose 3*a - 2 = 40. Suppose 0*m = m, 2*t = 2*m + a. Is 2 a factor of t?
False
Suppose 0*r - 84 = -7*r. Is 4 a factor of r?
True
Suppose -t + 66 = -0*y + 3*y, 5*y - 257 = -4*t. Suppose 5*o - t = 117. Does 18 divide o?
True
Let y(w) = -3*w**2 + w + 2. Let q be y(2). Is 2 a factor of 2/q + (-63)/(-12)?
False
Suppose f - 7 + 18 = 5*u, -f + u + 1 = 0. Suppose -4*z + 64 = f*m, -z + 3*z + 16 = m. Is m a multiple of 14?
False
Let w = 10 + -6. Suppose 4*z = w*l + 144, 2*z - 5*l - 112 = -z. Suppose 4 = -q - 5*k, 0*q + 4*k = 2*q - z. Is 5 a factor of q?
False
Suppose -4*b = 5*q - 160 + 49, 2*q = -3*b + 50. Let n = 28 - q. Is n a multiple of 3?
True
Let q(c) = 20*c**2. Suppose 3*a + 3*r = 5*a - 11, -5*r = -a + 16. Let t be q(a). Suppose 2*u = -2*u + t. Is u even?
False
Let s = 45 + -18. Does 20 divide (s + -1)/(8 - 7)?
False
Suppose 3*y = 2*y + 4. Suppose -610 = -y*f - f. Suppose -3*k - 20 = -f. Is 17 a factor of k?
True
Let r(z) = z**3 + 4*z**2 + 3*z + 6. Let t be r(-6). Let d be t/8*8/(-6). Suppose -d - 22 = -2*b. Is 9 a factor of b?
True
Suppose -5 = q + 2. Let h(m) be the first derivative of m**4/4 + 8*m**3/3 + 7*m**2/2 + 6*m + 3. Is h(q) a multiple of 3?
True
Suppose -189 = -3*q - 153. Is q a multiple of 3?
True
Suppose 4*z = 5 + 3. Suppose -67 = -z*k - 1. Is k a multiple of 14?
False
Suppose -2*y = -y, 3*y - 219 = -3*i. Is 8 a factor of i?
False
Suppose -24*o = -37*o + 858. Is o a multiple of 15?
False
Let x(b) be the second derivative of -3*b**5/2 - b**4/6 - b**3/6 + 3*b. Let m be (2 - 4) + 2 + -1. Is 14 a factor of x(m)?
False
Is 51 a factor of (-3 - -309)*((-6)/(-4) - 1)?
True
Does 13 divide 6/(-30) - (-456)/5?
True
Let q(j) = j**3 + j**2 - 3*j - 1. Let s be q(-2). Let o be s + 1/2*-2. Suppose o*v - 2*v + 54 = 0. Does 19 divide v?
False
Let c(t) = 1 + 0*t + t**2 - 6*t + 5*t + 78*t**3. Let j be c(1). Let h = j - 54. Does 8 divide h?
False
Let m(v) = -v**3 + 14*v**2 + 3*v - 8. Does 8 divide m(14)?
False
Suppose 4*z - 2*z - 144 = 0. Suppose 0 = -2*t + 4*f + z, 3*f = 3*t - 35 - 61. Is t a multiple of 11?
False
Let l = 150 + -88. Is l a multiple of 9?
False
Let q = 5 - 3. Suppose -12 = -2*m - q. Does 3 divide m?
False
Let l = -3 - -5. Suppose -l*a = 2*a - 8. Does 2 divide a?
True
Suppose 3*o = 5*k, -4*o + 3*k - 8 = -k. Let x(m) = -m**2 - 6*m + 4. Is x(o) a multiple of 9?
True
Let y = 199 - 119. Let b = 112 - y. Is 8 a factor of b?
True
Suppose -o = 1 - 32. Does 4 divide o?
False
Let f(g) = 8*g + 4. Let r be f(-3). Let b be 2/8 - 175/r. Let h(y) = -y**3 + 10*y**2 - 4*y - 10. Is h(b) a multiple of 18?
False
Let f(o) = 17*o + 1. Let v(i) = -50*i - 4. Let a(u) = -11*f(u) - 4*v(u). Let s be a(4). Suppose 3*g - 88 = c, 2*g - 4*g - c = -s. Is 18 a factor of g?
False
Let g(l) = -2*l + 27. Is g(8) a multiple of 5?
False
Suppose -x = -d - 12, 2*x - 6 = d - 2*x. Let m = 25 + d. Is m a multiple of 11?
True
Let s(f) = -f + 133. Is 32 a factor of s(37)?
True
Let b(j) = -j**2 - 4*j + 4. Let k be b(-5). Suppose 7*d + 160 = 3*d. Does 15 divide k*((-3 - 0) + d)?
False
Suppose 4*z + 4*m = 0, 5 + 5 = z - 4*m. Suppose u - 1 = -z, -4*w = 4*u - 28. Is 6 a factor of w?
False
Suppose -2*q + 3*q - 26 = 0. Let i = -16 + q. Is i a multiple of 7?
False
Does 19 divide (-8*2)/4 + 99?
True
Let s(q) = -138*q**3 - q**2 - 2*q - 1. Let p be s(-1). Suppose 7*r = 5*r + 178. Suppose -2*b - p = -5*h, -3*h + r = 2*b + 3*b. Is h a multiple of 16?
False
Let o(n) = -n**2 + 3*n + 10. Let s be o(6). Let k(r) = -r**2 - 10*r - 2. Does 10 divide k(s)?
False
Let m be (-3 - 1)/((-2)/2). Suppose n - 6 = -m. Suppose 2*g + 6 = -j - 2*j, -2*g + n*j + 14 = 0. Is g a multiple of 2?
False
Let j = -2 + -2. Let z = 29 - 21. Let f = z - j. Is 7 a factor of f?
False
Suppose c - r - r = 54, -5*r - 104 = -2*c. Let x = c + -44. Is 9 a factor of x?
True
Let q(p) = p**3 - 5*p**2 + 5*p - 6. Suppose 3*k - 28 = a - 12, 4 = -a. Let h be q(k). Is -5 + 26 + 2/h a multiple of 11?
False
Suppose 2*k - 122 = -4*r, 4*r = -5*k + 8*r + 263. Is k a multiple of 15?
False
Let c = -41 - -44. Does 3 divide c?
True
Let g(z) = z**2 - 10*z + 7. Let t be g(9). Is 5 a factor of -5 - -3 - -9 - t?
False
Let q(h) = -7*h + 7. Let k(w) = 4*w - 4. Let i(f) = -5*k(f) - 3*q(f). Let s be i(13). Suppose -5*z + 40 = 5*n, -2*z + 2*n = 4 - s. Does 4 divide z?
False
Let b = 21 + -9. Is b a multiple of 12?
True
Let x = 121 + -86. Let v = x + -23. Is 5 a factor of v?
False
Suppose -i = -5*a + 30, -5*i - 11 - 39 = -5*a. Suppose -a*f + 3 = -7. Suppose -f*m + 2*d = 4, -2*m + 8 = -5*d + 27. Does 2 divide m?
False
Let k(y) = 2*y**2 + 3*y + 3. Let d be k(5). Suppose 8 = -3*r + d. Is r a multiple of 10?
True
Let f = 197 - -3. Does 7 divide ((-2)/4)/((-5)/f)?
False
Let w(o) = o**2 + 4*o - 7. Let d = -2 - -7. Suppose 0*y + 30 = -d*y. Does 3 divide w(y)?
False
Suppose -o - 7 = -31. Is o a multiple of 6?
True
Let m be (2 - 1)*-3 - -6. Suppose o + 29 = -5*c - 2, -21 = m*c + 3*o. Let v = 35 + c. Is v a multiple of 18?
False
Let z be 6723/(-12) + 2/8. Let y be ((-2)/5)/(4/z). Let v = y - 26. Is v a multiple of 11?
False
Suppose n = -5*j - 86, -3*j + n - 58 = -0*j. Let y be (13/2 - 3)*j. Is 7 a factor of 2/((-24)/y)*4?
True
Let x(k) = 4*k - 3. Suppose -4*f = i + 13 + 4, 0 = 5*i - 2*f - 25. Is x(i) a multiple of 4?
False
Let h(g) = g + 1. Let i be h(3). Is 10 a factor of (i - -16)/(6/9)?
True
Let l = 5 + -8. Let j be (-33)/5 - 6/15. Let c = l - j. Is c a multiple of 4?
True
Let t be ((-66)/(-10))/((-1)/(-5)). Let c = t - 20. Is c + 1 - (4 + -2) a multiple of 9?
False
Let d be ((-44)/2)/((-1)/(-4)). Let x = -17 - d. Does 20 divide x?
False
Let p = 86 - 50. Does 9 divide p?
True
Let j(i) = -63*i - 1. Does 15 divide j(-1)?
False
Let k be 17/3 - (-2)/(-3). Suppose -5*j = -f + 15, 0*f = 5*f + k*j - 165. Does 15 divide f?
True
Let x(f) be the third derivative of -17*f**6/120 - f**4/24 + 4*f**2. Is x(-1) a multiple of 9?
True
Suppose -c + 1014 = -4*c. Is 13 a factor of ((-10)/(-4))/((-13)/c)?
True
Let y(k) = -k**3 + k**2 - 76. Let v = -9 - -9. Let f be y(v). Let s = -48 - f. Is 14 a factor of s?
True
Suppose 0 + 5 = g. Suppose 12 = -g*n + 197. Is n a multiple of 10?
False
Let a(j) be the third derivative of -19*j**4/24 - j**3/6 + 4*j**2. Is 15 a factor of a(-4)?
True
Let y(c) be the second derivative of 7*c**3/6 - 5*c**2/2 + 6*c. Is 15 a factor of y(5)?
True
Suppose -5*k + 7*g - 2*g = -75, 5*k + 2*g = 40. Is 10 a factor of k?
True
Let s = -9 + 6. Is 5 a factor of (-1)/s + 168/9?
False
Suppose 165 = 3*r + 3*w, 2*r - 4*w - 302 = -3*r. Is 9 a factor of r?
False
Let d(u) be the second derivative of u**7/840 - u**6/180 + u**5/120 + u**3/3 + u. Let c(t) be the second derivative of d(t). Is 7 a factor of c(3)?
False
Let i(g) = g + 15. Is i(-13) a multiple of 2?
True
Let z(g) = -g**3 + 9*g**2 + 4 - 6*g**2 - 4*g**2. Is 7 a factor of z(-3)?
False
Suppose 3*o + o + 1 = c, 2*o - 7 = 3*c. Let k be 0/(-1 - c) + 0. Suppose 5*p + k*p = 50. Is 5 a factor of p?
True
Let u be ((-4)/6)/(4/(-18)). Suppose -4*s - 68 = -4*d, 21 = u*d + 4*s - s. Does 7 divide (d - 2/(-1)) + 0?
True
Suppose 0 = 4*l - y + 35, -5*y + y - 40 = 4*l