s 5 divide t?
False
Suppose -2*l = -5*u - 114, -5*u - 135 = 6*l - l. Let x be u/10*(-5)/2. Suppose -5*z + 4*t = -x - 9, 3*z = -4*t + 9. Is z a multiple of 3?
True
Does 13 divide 8/(-20) - 297/(-5)?
False
Let v = 0 + 2. Suppose -5*c = 3*b - 6*b + 23, -v*c + 4 = b. Suppose -26 = -4*o - 5*q + 43, 0 = o - q - b. Does 9 divide o?
False
Let u = -88 + 136. Is u a multiple of 5?
False
Let n(f) = -4*f**2 - 5*f - 8. Let v(t) = -8*t**2 - 10*t - 15. Let x(m) = 5*n(m) - 3*v(m). Let l be x(-5). Suppose 4*y = -0*y + l. Is 7 a factor of y?
False
Suppose 2*j - 2*r = 0, -16 + 7 = 2*j - 5*r. Suppose -o + 320 = j*o. Suppose -3*u = u - o. Does 10 divide u?
True
Let y be (42/4)/(-1)*-10. Let r be (-149)/2 - 1/2. Let z = r + y. Is z a multiple of 21?
False
Suppose -4*o + 8*o = -3*q + 83, 3*q + 70 = 5*o. Is o a multiple of 17?
True
Suppose -8 - 17 = -5*m. Suppose 5*v = m*o - 105, -4*o + 5*v + 110 = 23. Is 13 a factor of o?
False
Suppose -2*f - 116 = 2*f. Let c = -43 - f. Let z = -8 - c. Is z a multiple of 3?
True
Let o(y) = y**3 + 10*y**2 + 5*y + 9. Does 12 divide o(-7)?
False
Suppose -10 = -2*s, 0*v - 9 = 3*v - 3*s. Let k(q) = -q**3 - 4*q**2 - 3*q + 3. Let c be k(-3). Does 10 divide (v/(-5))/(c/(-75))?
True
Suppose -4*s = -186 + 42. Let z = s - 24. Is z a multiple of 12?
True
Suppose 5*m - 14 = 3*m. Let k(y) be the first derivative of 3*y**2/2 - 4*y + 1. Is 7 a factor of k(m)?
False
Let y(q) = 7*q + 13. Let c be y(-9). Let z = -20 - c. Is z a multiple of 10?
True
Let c = 3 + 28. Suppose 2*d - 125 = -5*x - 22, 3*d - 143 = 4*x. Suppose 4*l - c = d. Does 10 divide l?
True
Suppose -5*k - 5*g + 109 - 4 = 0, 2*k + 4*g = 48. Suppose 3*m - 12 = k. Is 10 a factor of m?
True
Is -218*4/(-8) + (2 - 3) a multiple of 9?
True
Let n = -16 - -27. Let k = n - 27. Let v = 22 + k. Is v a multiple of 3?
True
Let k(u) = u**3 + 5*u**2 + 3. Let d be k(-5). Suppose -d*c = -c. Suppose c*i + 104 = 4*i. Is i a multiple of 10?
False
Let j(w) = -w**2 - 9*w - 9. Let g be j(-7). Suppose g*v - 5*f - 60 = 0, 2*f - 3*f - 21 = -2*v. Does 9 divide v?
True
Suppose -3*s + s = 0. Let w = 16 - s. Is 8 a factor of w?
True
Let p(v) = 9*v - 2. Suppose 25 = 4*u + 4*q - 3, 0 = 4*q - 20. Is p(u) a multiple of 16?
True
Let n = -231 - -338. Is 18 a factor of n?
False
Let u(h) = -h**3 - 8*h**2 - 5*h - 6. Let r(j) = -j**2 - 4*j - 2. Let w be r(-2). Suppose -2*b - 14 = -w*z, -4*z + 9 = -2*b - 3. Is 13 a factor of u(b)?
False
Suppose 0*q = -5*q + 1195. Suppose 0 = -4*h - 5*c + q, 1 = c + 6. Is h a multiple of 11?
True
Let u(j) be the second derivative of j**3 - 6*j**2 + 5*j. Is 12 a factor of u(9)?
False
Suppose 3*s - 4*s + 4 = 2*t, 3*s - 5*t = 23. Does 6 divide (-3*3)/(s/(-4))?
True
Let b(r) = -1 - r + 8 + 3. Let v be b(5). Suppose 19 + v = u. Is 12 a factor of u?
True
Suppose 4*m + m = 460. Let v = m + -52. Is v a multiple of 9?
False
Does 8 divide 8 + 6/3 + -2?
True
Is 9/2 + 18/36 a multiple of 2?
False
Suppose -2*o = -2 - 0. Let r = -4 + 6. Is 2 a factor of (r/5)/(o/5)?
True
Suppose -2*z + 14 = 6. Suppose -i = -2*i + z. Is 3 a factor of i?
False
Let z(l) = -l**2 - l + 2. Let s be z(-2). Suppose 2*x - 3*p - 63 = s, 0 = -p - 1 - 0. Is 15 a factor of x?
True
Let b(o) = -o**3 - 4*o**2 + o + 2. Let p be b(-4). Let j = p - -4. Suppose 15 = 3*l + 5*r, -j*l + 5*r + 5 = -3*l. Is l a multiple of 5?
True
Let v = 163 - 143. Does 5 divide v?
True
Let r(j) = 2*j - 4. Let h be r(6). Let u be ((-2)/4)/((-1)/h). Suppose 0 = -5*v + u*x + 24 - 3, -3*x = -3. Is v a multiple of 2?
False
Let c(y) = -y**3 + 10*y**2 + 7*y - 3. Does 62 divide c(6)?
False
Suppose -5*q = -2*y + 1, 0 = -2*y - q - 3 + 10. Suppose -y*n = 2*n - 220. Is 18 a factor of n?
False
Suppose 2*f + 5*l = 12, -f = -0*f - 2*l + 3. Let i = -1 - f. Let w = 1 - i. Is 3 a factor of w?
True
Let k(v) = 3*v**3 + 3*v**2 - 3. Let r be k(4). Suppose 0 = 5*y + 62 - r. Let u = y + -16. Is 19 a factor of u?
True
Suppose 28 = 2*l + 2*l. Suppose l*v = 3*v + 156. Does 10 divide v?
False
Let i(s) = -s**3 + 6*s**2 + 9*s. Does 14 divide i(7)?
True
Let j be (-182)/(-49) + (-4)/(-14). Let n = 10 - j. Is 6 a factor of n?
True
Let f be 4 + -2 - 0 - -2. Suppose -14 = -2*h - f. Suppose 0 = p + u - 14, 0 = -3*p - h*u + 4 + 46. Is p a multiple of 10?
True
Let m be 2/(-8) + (-183)/(-12). Let h = m - 45. Let p = 85 + h. Is 27 a factor of p?
False
Let j = -3 + 93. Is 9 a factor of j?
True
Let w(x) = 7*x + 12. Let g(y) = 4*y + 6. Let f(a) = -5*g(a) + 3*w(a). Let r be f(-6). Suppose 0 = 5*k - 5, 8*t - 3*t + k - 16 = r. Is 3 a factor of t?
True
Suppose x + 2*g = -g - 5, 2*x + 3*g + 4 = 0. Let b = 0 + x. Does 2 divide 2 - (b + 0 + -2)?
False
Let i(x) = x - 3. Let g be i(5). Suppose -h + 3 = -g. Is h even?
False
Suppose 0 = -5*w + 10 + 10. Is (w + -2)*21/6 a multiple of 5?
False
Suppose -2*j = -4*j + 6. Suppose j*z - 5*z + 18 = r, -z = -3*r + 82. Does 13 divide r?
True
Let t(w) = -w + 8. Suppose -b = -2*b + 4. Is 4 a factor of t(b)?
True
Suppose -2*k + 4*l = -158, -11*k + 14*k - 2*l - 229 = 0. Is 29 a factor of k?
False
Suppose 2*m - 4 = -y, -3*m + 20 = 3*y - m. Is 4 a factor of y?
True
Suppose -108 = -2*k + 5*k + 5*i, 0 = 2*i + 6. Let j = -18 - k. Is j a multiple of 4?
False
Suppose -2*n + 4*m = -52, m = n - 0*m - 23. Is n a multiple of 10?
True
Let c = -5 - -9. Suppose -f + 2*z + 38 = 0, 0*z = -f - c*z + 50. Is f a multiple of 16?
False
Let y(r) be the first derivative of -71*r**4/4 + r**3/3 - r**2 - 2*r + 2. Does 17 divide y(-1)?
False
Suppose -3*g - 56 = g. Suppose 7*u - 3*u + r = -36, 0 = 2*r. Let p = u - g. Does 2 divide p?
False
Let k(i) = 2*i**2 - 7*i + 10. Is k(4) a multiple of 7?
True
Suppose 0 = 2*f - 3 - 1. Does 13 divide f/9 + (-277)/(-9)?
False
Let s(f) = -f + 7. Let x be s(6). Suppose 3 = -2*z + x. Does 11 divide (z - -3)*11/2?
True
Let r = 4 + -2. Suppose 0 = -5*f - 5*h + 45, -7 = -3*f - h + r*h. Suppose 2*w - 6 = f. Is w even?
False
Let a(x) = x**3 - 5*x**2 - 6*x + 4. Let h be a(6). Suppose -3*o + 44 + 32 = 5*z, -h*z + 4*o + 48 = 0. Is 8 a factor of z?
False
Suppose -3 = -2*y + g, 3*g = 2*y - 0 + 7. Suppose y*j - 8 + 0 = 0, 0 = 4*q + 4*j - 20. Is 14 a factor of ((-1)/2)/(q/(-102))?
False
Suppose 25 + 15 = -4*i. Let a(t) = -6*t**2 + 46*t - 9. Let u(s) = -s**2 + 9*s - 2. Let o(f) = -2*a(f) + 11*u(f). Is o(i) a multiple of 14?
False
Suppose 3*p - 2*p - 21 = 0. Suppose 0 = 3*k, 3*l + 0 = k + p. Is l a multiple of 7?
True
Let m = -10 + 16. Let j = m + 15. Is j a multiple of 12?
False
Suppose 2*y = -5*r + 6, r + 12 = 5*y - y. Suppose 290 = y*d + 2*d. Does 20 divide d?
False
Suppose -118 = -4*t + u + 131, -2*t + 138 = 4*u. Does 21 divide t?
True
Suppose 0 = -s + 42 + 24. Is s a multiple of 11?
True
Suppose -4*u = -5*f + 4, 3*u = 2*u - 4*f + 20. Suppose w + u*w = -30. Let k = 14 - w. Is 10 a factor of k?
True
Suppose 0 = -5*o + a + 22 + 2, 5*a = 2*o - 5. Let q be -1 + 4 + -1 + 0. Suppose -10 = q*l, -l = -o*m + m + 81. Is m a multiple of 10?
False
Let z(a) = a**3 - 4*a**2 - 4*a - 4. Let p be z(5). Let k = p - -5. Let d = k - 2. Is d even?
True
Suppose 7*p = -3*z + 3*p + 985, 2*z - 3*p = 651. Is 27 a factor of z?
False
Let z(s) = -s**3 - 2*s**2 - 4*s - 3. Suppose 4*q + 4 + 8 = 0. Is 4 a factor of z(q)?
False
Let g(z) = -2*z**3 - 2*z**2 - 4*z - 3. Let j be g(-2). Let p = 40 - j. Is 16 a factor of p?
False
Suppose 4*s + 0*p + 32 = 4*p, 0 = 5*s + p + 46. Suppose 5*t = x + 14 + 16, -2*t + 35 = -5*x. Let i = x - s. Is i even?
True
Let y(p) = -p + 2. Let m be y(0). Suppose m*g = -g. Let l = 14 + g. Is 7 a factor of l?
True
Let f(c) = -c**3 + 8*c**2 - 8*c + 9. Let j be f(7). Suppose 2*u = -g + 24, j*u + 4*g = 7*u - 86. Suppose 2*m - u = 14. Is m a multiple of 6?
False
Let r(l) = -l**3 - 3*l**2 + 4*l + 4. Let y be r(-3). Let u(v) = v**2 + 5*v + 6. Does 19 divide u(y)?
False
Let g(a) = -a**2 - 11*a + 4. Is 10 a factor of g(-8)?
False
Let f = 420 + -300. Is f a multiple of 13?
False
Suppose -5*h - 21 = -2*w, 8*w - 18 = h + 3*w. Let x(j) = -j**3 + j**2 + 4*j. Is x(h) a multiple of 12?
True
Let h be (2 + -2)/(2/(-2)). Suppose -6*r + r + 240 = h. Does 21 divide r?
False
Does 5 divide (-4)/8*(-200)/5?
True
Let r(m) = -2*m**3 - 3*m**2 + 5*m + 2. Is r(-3) a multiple of 14?
True
Let u(l) be the first derivative of -l**4/4 + l**3/3 + l**2/2 + 9*l + 1. Let f be u(0). Does 6 divide 2/(-9) - (-119)/f?
False
Is 12 a