4 - a. Suppose -4*v - j = -61. Is 6 a factor of v?
True
Suppose -3*v + 184 = -7*v. Let x = -20 - v. Does 13 divide x?
True
Suppose 2*x - 5*k = 14, -2*x - 4*k - 3 - 1 = 0. Suppose -4*n = 3*o - 1, -3*o = 5*n + x + 2. Is o a multiple of 3?
False
Let d = -219 - -399. Is d a multiple of 30?
True
Let o(f) = -f**3 - 7*f**2 - 4*f + 4. Let x be o(-6). Let p = x + 13. Suppose -p*h = 2*c - 50, -h + 5*c + 49 = h. Is 12 a factor of h?
True
Let o(n) = 5*n + n**2 - 6 - 2*n**2 + 2. Let g be o(3). Suppose g - 14 = -3*w. Does 3 divide w?
False
Suppose o = 2*u - 86, 95 = 5*u + o - 106. Suppose 0 = 5*a - u - 59. Does 17 divide a?
False
Suppose -169 = -5*u - 2*z, 5*u + 0*u + 5*z - 175 = 0. Is u a multiple of 11?
True
Let l = 1 - 3. Let i be (-1 - 0)/(l/8). Suppose 0 = s + 2*h - 5, -4*h = -i*s - 5*h + 34. Is 5 a factor of s?
False
Let f(w) = -12 + w - 7 - 4*w + 6. Is f(-10) a multiple of 17?
True
Suppose 5*x - 36 = -f - 0*x, 20 = 5*x. Does 4 divide f?
True
Let c = -171 + 272. Is 35 a factor of c?
False
Let w = 5 + -7. Let a be w + 1/(2/(-8)). Is (-112)/a*(-3)/(-2) a multiple of 14?
True
Let n(p) = -p**3 + 8*p**2 + 12*p + 13. Let b be n(9). Suppose 2*h - b = 16. Is h a multiple of 14?
True
Let y be (-363)/(-5) + (-8)/(-20). Suppose 71 = b - a, -b - y = -2*b - a. Is 24 a factor of b?
True
Let i = 8 + -12. Does 25 divide 1138/14 + i/14?
False
Let w(f) = f + 15. Let t be w(-9). Suppose 0 = t*m - m - 210. Is m a multiple of 13?
False
Let a = 9 - 6. Suppose -a*i + 6*i = 84. Is i a multiple of 14?
True
Let c(s) = s - 4. Let h be c(7). Suppose -h*f = -f. Suppose -28 = -f*r - 2*r. Is r a multiple of 7?
True
Let l(v) be the first derivative of 2*v**3/3 + v**2/2 + v - 2. Is l(-2) a multiple of 2?
False
Let m = 50 + -32. Is 8 a factor of m?
False
Let p = -4 + 52. Does 24 divide p?
True
Suppose -v + 92 = v. Let w = 14 + v. Let i = w - 43. Is 17 a factor of i?
True
Is 20 a factor of 56 - (3/1 + -7)?
True
Suppose 22*x - 24*x = -14. Is x a multiple of 3?
False
Let d(n) = -n + 4. Let u be d(4). Suppose w - 32 = -4*w - 3*m, -w - 5*m + 24 = u. Is w a multiple of 2?
True
Let a(v) = -5*v + 2*v + 2*v**2 - 4 + 2*v - v. Is 10 a factor of a(-3)?
True
Let h be 45/20 - 1/4. Suppose -3*c = -h*c + 5. Does 5 divide ((-10)/3)/c*15?
True
Let i(b) = b**3 + 6*b**2 - 11*b - 12. Let d be i(-9). Does 10 divide d/16*(-24)/9?
False
Is 12 a factor of 1/(3/6) + 22?
True
Let f = -7 + 8. Suppose -4*d - f = -9. Does 2 divide d?
True
Let l(p) = p**2 - 2*p + 1. Let u be l(3). Suppose u*i = 184 + 72. Does 22 divide i?
False
Let k(s) = -s - 1. Let z be k(-5). Suppose 0 = z*b - 7 - 37. Is 4 a factor of b?
False
Let p(n) = -n**3 + 11*n**2 - 3. Let m be p(11). Let z(o) be the first derivative of o**4/4 + 5*o**3/3 + o**2 - o - 1. Does 4 divide z(m)?
False
Suppose -3*v - 328 = -2*i + 243, 0 = i + 2*v - 268. Does 22 divide i?
False
Let x = 4 + 4. Does 15 divide 123*(3 + x/(-3))?
False
Suppose -q = 0, 3*c + 2 + 28 = -5*q. Let h = 13 + c. Is 3 a factor of h?
True
Let s(u) = 3*u**2 - 3*u + 3. Let l be s(3). Let a = l + -9. Is a a multiple of 4?
True
Suppose -2*k - 3*d + 82 = 0, -2*d + 20 + 128 = 4*k. Is 2 a factor of k?
False
Suppose 0 = n + 5. Let r = n - -10. Let h = r + 11. Is 16 a factor of h?
True
Suppose 0 = -2*w - g + 81, -g - 2*g = w - 33. Is 12 a factor of w?
False
Let z(k) = k**3 - 4*k**2 - 4*k - 5. Let q be z(5). Suppose q = -d + 1, -4*d + 690 + 114 = 5*p. Suppose 7*h - 199 = 2*h + n, -n = -4*h + p. Is 25 a factor of h?
False
Let q be (-10)/(-4)*(7 - 5). Let l(c) = -c**3 + 4*c**2 + 6*c + 4. Is l(q) a multiple of 6?
False
Let w = -4 + -4. Let q(f) = f**2 + 6*f - 8. Is 8 a factor of q(w)?
True
Does 7 divide 3/((-18)/(-148))*3/2?
False
Let d(x) = 2*x**3 - 29*x**2 - 14*x - 2. Is 2 a factor of d(15)?
False
Let f = 2 + 7. Let q(k) = -k**2 + 10*k - 7. Let s be q(f). Is 9 a factor of ((-30)/(-8))/(s/8)?
False
Is (-9 + 0 - 3)/(-1) a multiple of 6?
True
Suppose -d = 2*z - 4 - 0, -d + 16 = 5*z. Let f = d + 25. Is 10 a factor of 1 - (2 - f - 0)?
True
Let x(y) = -265*y**3 - y**2 - y - 1. Is x(-1) a multiple of 24?
True
Let l(a) = 2*a - 5. Let p be l(4). Let z = p - -26. Does 12 divide z?
False
Let o be 84/(-16) + (-6)/8. Let b be 1*(-3)/o*6. Suppose d = g + 20 - b, -2*g = -d + 21. Is 13 a factor of d?
True
Let r(l) = l**3 - 9*l**2 + 2*l + 9. Let f be 54/9 - 6/(-2). Does 11 divide r(f)?
False
Suppose 2*k + 71 = f, -2*k - 3*k + 151 = 2*f. Is f a multiple of 10?
False
Let c(z) = -72*z + 4. Let p be c(-3). Suppose -3*x + 0*x - 225 = -5*o, 2*x + p = 5*o. Is 19 a factor of o?
False
Let d(t) = -t + 3. Let w be d(0). Suppose -w*i + 0 = -q + 31, i + q + 5 = 0. Does 8 divide (-6)/i - 22/(-3)?
True
Let q(m) = m**2 + m + 1. Let i(t) = 6*t + 1 + 1 + t**2 + t**2. Let p(b) = -i(b) + 4*q(b). Is 13 a factor of p(-3)?
True
Is 6 a factor of 4 + -3 - -1 - -5?
False
Suppose -2*w - 3*w + 290 = 0. Suppose -10 - 5 = -3*v. Suppose -4*k + 2*k - 4*l = -w, 2*k - v*l = 40. Is k a multiple of 15?
False
Suppose 3*t - 47 = -5*b, -3*t - 4*b = -t - 34. Suppose 5*o = -5*f + 30, 9*f - 4*f = -4*o + 26. Does 17 divide 3/t*(f + 91)?
False
Let i be (-1 - 0)/((-2)/28). Suppose -s + i = -0*s. Does 6 divide s?
False
Suppose -40 = -5*y + y. Suppose o - a - y = 0, -4*o + 9*o = 3*a + 44. Is o a multiple of 2?
False
Let i(o) = -o**2 + 39. Let l be i(0). Let t = -13 + l. Does 18 divide t?
False
Let d = -134 + 225. Does 7 divide d?
True
Let k(v) = 7*v + 11. Let a(s) be the third derivative of -7*s**4/24 - 5*s**3/3 + 2*s**2. Let n(z) = -7*a(z) - 6*k(z). Is 15 a factor of n(3)?
False
Suppose 72 = -5*l + 4*k, 5*k = -3*l - 12 - 46. Let w be 303/4 - 4/l. Suppose 0 = -5*d + w + 14. Does 9 divide d?
True
Suppose u = 10*u - 1224. Does 19 divide u?
False
Suppose -169 - 182 = -9*v. Is 13 a factor of v?
True
Let j = -56 + 76. Is 16 a factor of j?
False
Let r = 16 - 1. Let i = r - -5. Does 10 divide i?
True
Suppose 4*g + 9 = -11, -u = -g - 67. Is u a multiple of 12?
False
Suppose 4*w - 27 = -343. Let d be 27*(0 + (-4)/2). Let y = d - w. Is y a multiple of 11?
False
Let a = 11 + 4. Let n = a + -5. Suppose t = n + 8. Does 17 divide t?
False
Let s(c) = -7*c - 2. Suppose -3*o - 4*a + 6 - 34 = 0, 12 = -o - 2*a. Is s(o) a multiple of 9?
False
Suppose 2*c + 4*u = 7*c - 8, -3*c + 2*u + 6 = 0. Suppose 0 = -c*v - 0 + 12. Suppose -2*n + v = -n. Is n a multiple of 2?
False
Suppose -4*z = 2*r - 4, -2*z + 5 + 9 = -2*r. Suppose 0*c = 5*c - 5. Is 2 a factor of c/r + (-21)/(-4)?
False
Suppose 2*v + 5*y + 17 = 0, y + 5 = -5*v - 4*y. Does 4 divide v?
True
Is 22 a factor of ((-127)/2)/((-20)/40)?
False
Suppose 0*z = z. Suppose 42 = 5*b + 4*g - z*g, 5*g = 5*b - 15. Is b a multiple of 6?
True
Let a(j) = 2*j + 4. Let s be a(16). Let u(n) = -n**3 - 2*n**2 + 5*n - 3. Let x be u(-4). Let w = s + x. Is w a multiple of 15?
True
Let z be (3/4)/(2/(-8)). Let s be (2/z)/(14/(-273)). Suppose -s = -p + 17. Is 15 a factor of p?
True
Does 3 divide 3*5/((-60)/(-44))?
False
Suppose -313 = -5*z - d, -3*z + 69 = -2*z - 3*d. Is z a multiple of 21?
True
Let v be (-1)/(-3)*(12 + -3). Suppose -68 = -d + v*o - 2*o, 3*o - 186 = -3*d. Let i = d + -43. Is i a multiple of 14?
False
Let g(u) = -u + 3. Let v be g(3). Suppose -4*r + 40 = -4*k, v = -3*r - 5*k + 59 + 3. Is 7 a factor of r?
True
Suppose 0 = 5*v - 3*v. Suppose -3*j + v = -6. Is j a multiple of 2?
True
Let p = 5 + -3. Does 19 divide p/(6/171 - 0)?
True
Let n be (2 - (-15)/(-6))*-4. Let w = 8 - n. Let x = w + -1. Does 5 divide x?
True
Let z be 9/(-3) - 90/(-3). Suppose 4*h - 3*h = z. Is h a multiple of 9?
True
Let v(a) = a**3 + 7*a**2 + 5*a - 3. Let y be v(-6). Let s be 48/10 - y/(-15). Suppose s*g + 18 = 63. Does 9 divide g?
True
Suppose 1 = 2*v + 4*o + 25, -3*o = 12. Does 7 divide (0 + v)/(8/(-24))?
False
Let a be ((-5)/(-2))/((-1)/(-2)). Suppose a*d + 4*z - 50 = 0, 4*d - 1 - 3 = 4*z. Suppose 81 = 3*f - d. Is f a multiple of 14?
False
Suppose -3*q + 311 = t, -2*q + 0*t = -5*t - 230. Let u be ((-2)/3 + 2)*3. Suppose -21 = -i + w, -2*i - 3*i + q = u*w. Is 17 a factor of i?
False
Suppose -8*o = -4*o - 48. Does 3 divide o?
True
Let j(q) be the third derivative of -q**5/60 - q**4/2 + 7*q**3/6 - 3*q**2. Does 18 divide j(-11)?
True
Is 72 - -1 - (-6 + 1) a multiple of 13?
True
Let d(o) = 4*o**2 + 8*o + 6. Let m be d(-5). Suppose 2*q = m - 26. Is 4 a factor of (36/15)/(6/q)