s 3 a factor of v(s)?
True
Let w(n) = -5*n**2 + 4*n**2 - 3 + 0 + 6*n. Let y be w(5). Suppose 120 = 2*u + y*u. Is 15 a factor of u?
True
Let a(o) = -30*o + 4. Let g be a(-3). Suppose 2*h - 50 = -h - 4*m, -4*m + g = 5*h. Does 8 divide h?
False
Let l(k) = 0*k + 3*k + k**2 - 2*k + k - 1. Is l(-3) a multiple of 2?
True
Let v(c) = 124*c**2 + c. Let y = 6 + -5. Let l be v(y). Suppose 7 = b + 4*g + g, -5*b + 5*g = -l. Is b a multiple of 15?
False
Suppose 4*i - 26 - 98 = 0. Is 8 a factor of i?
False
Suppose -234 = -8*r + 198. Does 9 divide r?
True
Suppose v - 5 - 16 = 0. Let h = -7 + v. Is 7 a factor of h?
True
Let b = 130 - 61. Suppose 0 = -2*y - b + 219. Does 25 divide y?
True
Let s(m) = m**2 - 6*m - 5. Let x be s(7). Suppose -x = 3*w - 170. Is w a multiple of 22?
False
Suppose -4*s - 264 + 956 = 0. Suppose -4*o - 1253 = -s. Is o/(-33) + 4/(-22) a multiple of 8?
True
Suppose -5*f + 2*y + 5 = 0, -2*f - 3*y = -5*y - 8. Let d = f + 5. Suppose 0 = -d*g + 5*l + 63, 4*g - 4*l = -0*l + 64. Does 9 divide g?
False
Suppose 5*c - a - 2*a - 92 = 0, 5*a + 52 = 2*c. Is 2 a factor of c?
True
Let r(u) = u**3 + 10*u**2 + 7*u - 8. Let g be r(-9). Is (2 + 10)*25/g a multiple of 6?
True
Suppose -3*x + 6 = -x. Suppose 0*y - x*y = 30. Let f = -7 - y. Does 2 divide f?
False
Let v(k) = -6*k - 1. Let u(p) = p. Let q(g) = -35*u(g) - 5*v(g). Is q(-11) a multiple of 20?
True
Suppose 0 = 2*o - 19 - 3. Suppose 3*m - 83 = -o. Is 24 a factor of m?
True
Let z be (-6)/(-10) - 119/(-35). Suppose 41 + 67 = z*u. Is u a multiple of 13?
False
Suppose -678 = -y - 0*y. Suppose -h = 4*a - y, 705 = 5*a - h - 147. Suppose -p = -5*m + a, m - 16 = -3*p + 18. Is 17 a factor of m?
True
Suppose 0 = 5*m + l + 5, m - 3*l + 6 - 21 = 0. Suppose 0 = -g + 2*i + 5, 2*g + 0*i = -3*i + 3. Suppose -g*u - 1 + 37 = m. Does 12 divide u?
True
Suppose -g + 24 = g. Suppose g = 2*z - 32. Is 6 a factor of z?
False
Let g(m) = 6*m - 4*m - 3*m - 5 + 6. Let i be 6/4*(-7 + 1). Is g(i) a multiple of 5?
True
Let c(q) = q**2 - 7*q + 4. Let y = 6 + 2. Does 12 divide c(y)?
True
Let k be (-1 - 0)/((-3)/6). Suppose 0 = -3*w - k + 62. Is w a multiple of 10?
True
Let i = -3 + 1. Let x(w) = -8*w - 1. Is x(i) a multiple of 5?
True
Let q = 54 - -13. Does 18 divide q?
False
Suppose 5*g = 13 + 32. Let x be (2 + -2)*(-3)/g. Suppose -40 = -5*h - x*h. Is 3 a factor of h?
False
Let m(o) = o**2 + 13*o + 13. Let i be m(-12). Suppose 3*h + 2*f = -i, 30 = -5*h + 4*f - 1. Does 9 divide 32 - (h - (-6 - -3))?
False
Suppose 4*j - 55 + 763 = 0. Let f = 297 + j. Does 35 divide f?
False
Let c(s) = -2*s**3 - 2*s**2 + 2*s + 1. Let v = 3 + -5. Does 2 divide c(v)?
False
Suppose -11*q = -m - 12*q + 126, 630 = 5*m + q. Does 25 divide m?
False
Let l = -118 + 170. Is l a multiple of 18?
False
Let r = 108 + 42. Does 15 divide r?
True
Suppose 30*o - 27*o = 132. Is o a multiple of 22?
True
Let j = 40 + 18. Is 29 a factor of j?
True
Let w = 101 + -45. Is 15 a factor of w?
False
Suppose 0 = 4*u - 3*v - 359, 4*u - 67 = -2*v + 287. Is 25 a factor of u?
False
Suppose p - 97 = -3*l - 3*p, 0 = -l + p + 44. Is l a multiple of 10?
False
Let d(v) = -8*v + 8. Let h be d(-6). Let n = -39 + h. Is 5 a factor of n?
False
Let u = -5 - 3. Let k be 126/u*48/(-18). Suppose 2*f + f - 103 = 2*o, k = 2*f + 4*o. Is 17 a factor of f?
False
Suppose y = -2*y + 75. Is 7 a factor of y?
False
Suppose 0 = -17*y - 604 + 2202. Is y a multiple of 12?
False
Let s(r) = r**3 - 3*r**2 + 4*r + 1. Let n = -23 - -25. Is 2 a factor of s(n)?
False
Suppose 2*k = k, 5*a + 3*k - 100 = 0. Let z = a + -13. Is 7 a factor of z?
True
Let d be 1*(3 + 0/(-2)). Suppose 0 = -4*x - d*l + 7, 3*x + 0*l - 4*l + 1 = 0. Let p(j) = 27*j - 1. Does 13 divide p(x)?
True
Let l = -11 + 19. Suppose 2*q - 11 = 9. Let z = l + q. Is z a multiple of 9?
True
Is (1 - 32)*(-7 - -3) a multiple of 18?
False
Let b(a) = 3*a + a**2 + 0 + 7*a**2 + 2 + a**3 - 12. Does 6 divide b(-7)?
True
Suppose -p = -5*p + 128. Is p a multiple of 7?
False
Suppose -2 = -3*u + 7. Let m be (-102)/(-3) - u - 1. Suppose 4*o + m = 9*o. Does 3 divide o?
True
Suppose 61 + 299 = 9*f. Is 6 a factor of f?
False
Let x(i) = i**2 - 6*i + 3. Let p be x(6). Suppose -f + 13 = p*k, 0 = 3*k + 4*f + 5 - 21. Does 21 divide 119/2 - (-2)/k?
False
Let k = 6 + 0. Let v = 2 + k. Is v a multiple of 8?
True
Let z = -12 + 147. Is z a multiple of 27?
True
Let q = -7 + 7. Let u = 13 - q. Is u a multiple of 8?
False
Suppose -5*u + 5*k - 20 = 0, -3*u - 6*k = -k - 20. Is (-1 + u)/(1/(-12)) a multiple of 6?
True
Let o(i) = 34*i**2 + i + 1. Let h be o(-1). Suppose 4*j + h - 82 = 0. Suppose 2*a - 3*a + 4*p = 0, -j = -2*a + 4*p. Does 12 divide a?
True
Let q(r) be the third derivative of 0 + 0*r**4 + 3*r**2 + 16/3*r**3 - 1/60*r**5 + 0*r. Is 16 a factor of q(0)?
True
Suppose 30 = 3*c + 5*w + 1, -3*w = 4*c - 57. Is c a multiple of 6?
True
Let f(s) = 3*s**2 - 4*s - 7. Let q be f(6). Suppose -101 - q = -2*l. Suppose -32 = -n - 2*c + 4*c, 2*n + c = l. Is 21 a factor of n?
True
Let n(m) = -31*m + 8. Does 15 divide n(-1)?
False
Let g be (20/(-15))/(2/(-216)). Let c = g - 66. Suppose 0 = 3*i - 3*l - 24 - c, 4*l - 95 = -3*i. Is i a multiple of 11?
True
Let q = -8 - 119. Let m = -145 + 58. Let j = m - q. Is 18 a factor of j?
False
Suppose 5*f - 5*u - 640 = 0, 5*f - 2*u = -7*u + 650. Does 14 divide f?
False
Suppose -4*r + 4*s + 72 = 0, -34 - 17 = -2*r - s. Suppose 4*t - 3*y - 15 = 0, -5 = -3*t - 4*y - 0*y. Suppose -r = -t*j + 1. Is j a multiple of 4?
True
Suppose -5*i + 10 = 4*x - x, -5*x = -4*i + 8. Let p = i + -27. Is (1 - 1)/(-1) - p a multiple of 9?
False
Suppose 0 = 7*p - 2*p + 5*b - 75, p = 4*b + 20. Suppose 2*u - p - 34 = 0. Is u a multiple of 10?
False
Let q(a) = a**3 + 10*a**2 - 7*a - 12. Is 9 a factor of q(-10)?
False
Let n(o) = 2*o**2 - 9*o + 23. Is 19 a factor of n(10)?
True
Is 3 a factor of (1/(-4))/(5/(-60))?
True
Let y(b) = 0*b**2 + 1 - b - 3*b**2 + b**3 + 0*b**3 + 2*b**2. Is 16 a factor of y(3)?
True
Let y = 0 - -3. Let p(z) = 14*z - 3. Is 14 a factor of p(y)?
False
Let z be (-4)/(-1*2) - -1. Suppose b = 2*x - z*x + 8, b = 2*x - 4. Suppose -x*j + 27 = -85. Does 12 divide j?
False
Suppose -l = 2*q - 50, 2*l + l - 150 = q. Is 16 a factor of l?
False
Let f be (1 - -4)/(3 + -2). Let q(s) = s**3 - 6*s**2 + 4*s + 5. Let y be q(f). Is y - (-4 - (4 - 2)) a multiple of 3?
True
Let r(s) = -25*s**3 + s**2 + s - 1. Is 6 a factor of r(-2)?
False
Let s(t) = 0 - t + t**2 - 5 + 1. Does 7 divide s(5)?
False
Let s = -18 + 109. Is 13 a factor of s?
True
Let g = 734 - 349. Is g a multiple of 58?
False
Suppose 3*k - 2 = -p - p, 3*k - 14 = 4*p. Let f be p/(1*(-3)/(-3)). Does 14 divide 384/9 + f/3?
True
Let y(v) = v - 7. Let n be y(4). Is 3 a factor of (-14)/n + (-6)/9?
False
Let w = 297 - 182. Does 23 divide w?
True
Let l be 4/(((-1)/(-52))/1). Suppose s + 42 = 4*f - 31, -3*s + f = l. Is 8 a factor of 3/9*-1*s?
False
Suppose -321 = 52*p - 55*p. Is p a multiple of 30?
False
Does 32 divide (-8 + 16)/((-1)/(-16))?
True
Let b = 19 - 10. Let t = b - 6. Let z(k) = 2*k**3 - 4*k + 4. Is z(t) a multiple of 25?
False
Suppose -2*v + 4 + 2 = 0. Let s be -1*(-1 + v) - 4. Is (-2)/s + 130/6 a multiple of 11?
True
Let r = 21 - 15. Let g be r/(-15) - 92/(-5). Suppose 0*c = -3*c + g. Is c a multiple of 3?
True
Let s = 101 - 65. Let n(a) = -39*a - s*a**3 + 39*a. Is 18 a factor of n(-1)?
True
Let k = 15 + 4. Is k a multiple of 11?
False
Let d(q) be the third derivative of -q**5/60 - 5*q**4/24 + q**3/2 - 4*q**2. Does 3 divide d(-4)?
False
Let g = -123 - -148. Does 5 divide g?
True
Let n(x) = 5*x**2 + x + 2. Is 15 a factor of n(-2)?
False
Let i = 5 - 4. Does 8 divide (-4)/i*-2*2?
True
Let r = 89 - 42. Is r a multiple of 7?
False
Suppose 3*f = -0*f + 18. Suppose -3*s - f = -57. Is s a multiple of 13?
False
Suppose -3*u + 4*k = -7*u + 56, 2*u = 5*k + 56. Is 15 a factor of u?
False
Suppose 5*y = -2*m + 383, 5*y - 3*y + 5*m = 170. Does 25 divide y?
True
Let s(x) be the third derivative of -x**4/24 + 5*x**3/3 - 3*x**2. Let l be s(7). Suppose 4*f - l*f = 37. Does 16 divide f?
False
Let t be 3/(9/(-3)) + 76. Let v = t - 40. Suppose 3*q = -v + 86. Does 10 divide q?
False
Is 10 a factor of (-2 + (-20)/(-12))*-132?
False
Let b be (-24)/18*9/(-2). Suppose 14 = 4*d - b. Suppose f = 5*g + d, f + g + g = 19. Does 15 divide f?
True
Let z be