 - 5. Let u = m - -20. Is 10 a factor of u?
False
Suppose -2*s - 3*s + 1 = m, 3*m + 4*s + 8 = 0. Does 8 divide 12 + m + 2 - 2?
True
Let p = -8 - -10. Suppose 0 = p*q + 4*i - 8*i - 74, 0 = -i + 1. Is 13 a factor of q?
True
Let d(p) = 4*p - 12. Let w(a) = a**2 + 12*a + 7. Let i be w(-12). Suppose 0 = -3*o + 4*z + 4, -3*z + i = -o - 0*z. Is 10 a factor of d(o)?
True
Let y = 9 - 9. Suppose j + y*j + 5*p = -13, 3*p + 13 = 2*j. Suppose 0 = 2*o - j*n - 48, -2*n - n = -4*o + 92. Is 10 a factor of o?
True
Let d be (-95)/(-4) - 3/(-12). Suppose 0 = 3*f - 6*f + d. Is 4 a factor of f?
True
Suppose 1 = 3*o - 5. Suppose o*n - 5 = -3*n. Is 10 a factor of -3*(n - 23/3)?
True
Let g(b) = 7*b**2 + 1. Let u be g(-1). Is 4 a factor of 297/(-44)*u/(-3)?
False
Let x be 1/((-1)/((-2)/(-2))). Let g be x/(-3) + 46/6. Is (-4)/g - (-13)/2 a multiple of 4?
False
Let c(u) = -u**3 - 10*u**2 - 9*u + 10. Suppose 3*f = 5*f + 18. Is c(f) a multiple of 7?
False
Let k(r) = 4*r - 20. Is 4 a factor of k(8)?
True
Let m = 186 + -12. Is 58 a factor of m?
True
Suppose -20 + 10 = -2*w. Suppose w*z = -5*i + z + 99, -2*i = -3*z - 35. Is i a multiple of 11?
False
Suppose -5*l - 52 = -6*l - 5*t, 2*t = -2*l + 88. Does 6 divide l?
True
Let w be (-2)/(-4) + (-9)/(-6). Suppose -f = -w*f + 121. Is f a multiple of 32?
False
Let y be -12*(2 + -1)*1. Is 11 a factor of ((-2)/(-3))/(y/(-198))?
True
Let h = -11 + 13. Suppose -h*c + 8 = -14. Does 6 divide c?
False
Let t(z) = z**2 + z - 5. Let o = -28 + 34. Is t(o) a multiple of 9?
False
Let y(p) = -9*p. Let q(g) = -80*g. Let v be 278/(-8) - (-2)/(-8). Let j(h) = v*y(h) + 4*q(h). Is 5 a factor of j(-2)?
True
Let s(f) = -f - 7. Let u be s(4). Let g be ((-36)/14)/((-2)/42). Let l = g + u. Is l a multiple of 16?
False
Is 8 a factor of (10/3)/(10/75)?
False
Suppose -10 = -5*h, 4*j + 7*h = 2*h + 10. Suppose j = -2*z + 7*z - 230. Does 28 divide z?
False
Let t(k) = -k**2 + 8*k - 5. Let d be t(4). Let b = d - 2. Does 3 divide b?
True
Let p = 105 + -148. Let v = p - -72. Does 13 divide v?
False
Is 17 a factor of -23 - -23 - (-5)/(10/216)?
False
Suppose y - 8*d + 3*d - 70 = 0, -2*d + 35 = y. Does 2 divide y?
False
Suppose -99 = -2*f + 39. Suppose 4*i - 19 - f = 0. Is i a multiple of 11?
True
Suppose 2*i = -4*k + 68, -2*k + 53 = k + i. Is k a multiple of 8?
False
Let r = 261 + -161. Is 11 a factor of r?
False
Let f be 107/5 - (-2)/(-5). Does 7 divide (3 + (-2)/1)*f?
True
Let o = 387 - 1083. Let z be o/(-14) + 2/7. Let x = -16 + z. Does 12 divide x?
False
Let g = 3 - -9. Does 10 divide (-7)/42 + 506/g?
False
Suppose 5*i - 4*q = -0*i + 2, -5*i + 14 = 2*q. Is 13 a factor of (-393)/(-15) - i/10?
True
Let b = -1 - -5. Suppose -6 - b = -2*n. Does 5 divide n?
True
Let b = 489 + -341. Is b a multiple of 15?
False
Let x = 9 + -6. Suppose -3*n = -2*s + 12, 5*n = s + x*s - 24. Does 3 divide s?
True
Let m = 39 + 48. Suppose 3*y = -5*o + m, -2*o = 5*y - 67 - 59. Does 12 divide y?
True
Let k be -3*((-20)/(-6) - 2). Does 17 divide (-1098)/(-21) - k/(-14)?
False
Let b(g) = -4*g + 2. Let t be b(4). Let j = t - -20. Is 6 a factor of j?
True
Let n be 2/6 + (-8)/6. Let s(l) = -6*l - 1. Let r be s(n). Suppose r*z - 32 - 23 = 0. Is 11 a factor of z?
True
Let b = -3 + 4. Suppose -8 = -8*d - 0. Is 11 a factor of b*4*(6 + d)?
False
Let l = 9 - 6. Suppose h + h = -3*f + 46, l*h + 3*f = 63. Does 10 divide h?
False
Let c(v) = v**3 - 7*v**2 + 3. Let y be c(7). Suppose -2*z = -4*k + y*z + 60, 2*z = 2*k - 28. Does 11 divide (52/k)/((-1)/(-5))?
False
Let s(h) = 3*h + 3. Let t be s(-3). Let c = -6 + 21. Let j = c + t. Is 9 a factor of j?
True
Suppose -4 + 8 = 2*h. Suppose -r + h*r + 6 = n, -5*n - 2*r + 16 = 0. Suppose 2*s - 15 = -3*c, -5*s + 0*s + 27 = n*c. Is c even?
False
Let z be ((-2)/(-5))/(2/(-10)). Is z*(117/(-6))/3 a multiple of 13?
True
Does 11 divide (-168)/(-5) + (12/(-20) - 0)?
True
Suppose 0 = k - 2. Suppose 24 = 2*v + k*v. Suppose v - 17 = -p. Is 11 a factor of p?
True
Let k be 0 + -84*(-4)/6. Let i = -30 + k. Is i a multiple of 13?
True
Let c = -5 - -9. Suppose -c*m + 26 + 26 = -3*z, 4*z + 65 = m. Is (27/12)/((-6)/z) a multiple of 5?
False
Suppose -12 = -5*h + 13. Let k(p) = p - 3 + 3 + 2*p. Is k(h) a multiple of 7?
False
Let d = 14 - -35. Let f = d - 18. Is f a multiple of 12?
False
Let f(q) = q**3 - 10*q**2 + 5*q. Let p(x) = -x**3 + 11*x**2 - 5*x + 1. Let i(s) = 5*f(s) + 4*p(s). Let w be i(5). Suppose -w*u + 8*u = 48. Is 6 a factor of u?
True
Let y(s) be the first derivative of 0*s + 3 + 1/3*s**3 + 1/2*s**2. Is y(6) a multiple of 14?
True
Suppose -6*k + k - 440 = 0. Does 14 divide k/(-2) + 28/7?
False
Is 3/(-4) + (-693)/(-12) a multiple of 16?
False
Let v = -11 - -13. Suppose 0 = -v*o - 3*o + 215. Is o a multiple of 18?
False
Let k be 0 + -3 - 9/(-3). Suppose w - 3 = -k*w. Suppose w*j - 2 = 40. Does 14 divide j?
True
Let l = -61 + 111. Suppose 10*n - 5*n = l. Is 3 a factor of n?
False
Let b(p) = 18*p**2 + 3*p - 6. Does 26 divide b(3)?
False
Suppose -8 = -g + 4*m, 4*g + m + 40 = 9*g. Is 4 a factor of (g/10)/(11/165)?
True
Let o(p) be the third derivative of -p**5/60 + p**4/24 + 2*p**3/3 - p**2. Let z be o(0). Suppose u + 84 = z*s, 2*s - 4 - 20 = 5*u. Is 7 a factor of s?
False
Let b(f) = 2*f - 1. Let m be b(-4). Let u = m + 11. Is u a multiple of 2?
True
Let f = -136 + 238. Is 34 a factor of f?
True
Suppose -5*m - 2*n = -5, 0 = m + 3*n - 1. Let u(f) = 16*f**3 - 2*f**2 + 1. Is u(m) a multiple of 15?
True
Suppose -4*s = 2*m + 39 - 293, s = -m + 126. Suppose 5*w = 4*j - m, -4 = w - 4*j + 37. Is -4 - -5 - (0 + w) a multiple of 11?
True
Suppose -1 = 2*d + 7. Let t = 0 - d. Is ((-5 - -3) + t)*7 a multiple of 11?
False
Let j(a) = a + 12. Is 12 a factor of j(6)?
False
Suppose -1 = -4*m - 9. Let o = -5 - m. Is (4 + o)/(2/22) a multiple of 5?
False
Let l(f) = 20*f**2 - 2*f - 2. Let z be l(-2). Let h = z - 36. Is h a multiple of 14?
False
Suppose -2*d + 486 = 2*d + 2*i, -2*d = -5*i - 261. Let h = 174 - d. Is h a multiple of 11?
False
Suppose -3*n + 5 = -10. Suppose 145 = 4*z + n*d - 4*d, -5*d - 15 = 0. Is z a multiple of 9?
False
Let x = -48 + 84. Does 12 divide x?
True
Let u = 32 - 16. Suppose -2*i - 2*i = -u. Suppose 2*k + i*v - 13 = -3*k, 3*v = 4*k - 29. Does 3 divide k?
False
Suppose 0 = -o + 2*o - 6. Suppose 5*z = 5*r + 100, -o*z + 5*r + 37 = -4*z. Does 21 divide z?
True
Let c(o) = -8*o - 38. Is c(-18) a multiple of 7?
False
Suppose 4 = 5*y + 4*x, -3*y + 3 = 3*x - 0. Suppose -5*t - 2*r + 0*r = -69, -4*r + 8 = y. Is t a multiple of 7?
False
Is 1 + -1 + 66/2 a multiple of 11?
True
Let n(k) be the first derivative of 5*k**3/3 - 3*k**2/2 - 3*k + 3. Let u be n(-2). Suppose -g + u + 13 = 0. Is g a multiple of 16?
False
Let y(r) = -r**3 - 4*r**2 - 2*r - 3. Let l be y(-4). Let t = l - 9. Is (90/(-8) - 0)*t a multiple of 17?
False
Suppose 48 = 4*j + 16. Let f be j/3 + 4/(-6). Suppose -f*k + 5*k + 16 = a, -4*a + 64 = -4*k. Does 16 divide a?
True
Let a(d) = d**3 + 8*d**2 + 2*d + 4. Is a(-4) a multiple of 12?
True
Suppose -98 - 92 = -5*h. Is h a multiple of 30?
False
Let i(c) = 37*c**3 + c**2 - 1. Is i(1) a multiple of 11?
False
Let t(j) = 3*j**2 + 3*j - 1. Let l be (-7)/(-3) + (-4)/(-6). Suppose -2 = l*f + 7. Is 17 a factor of t(f)?
True
Let l(x) be the second derivative of 0 - 1/6*x**3 - x - 3*x**2. Is 2 a factor of l(-8)?
True
Let p(t) = -t**2 + 7*t - 6. Let a be p(5). Suppose -596 + 69 = -4*i - j, -a*i + 2*j + 542 = 0. Suppose -67 = -5*o + i. Is o a multiple of 20?
True
Let z = -18 + -26. Let h = -7 - -5. Is 14 a factor of h - (-1 + 1 + z)?
True
Let b(d) = d + 8. Let h(q) = -q**3 + 4*q**2 + 4*q. Let k be h(5). Let x be b(k). Let z(r) = 13*r. Does 14 divide z(x)?
False
Suppose -c + g + 39 = -g, 4*g - 144 = -4*c. Suppose -5*v + c = -43. Is v a multiple of 8?
True
Suppose -211 - 83 = 3*w. Let o be 42/(-4)*w/(-7). Is 16 a factor of o/(-5) + (-8)/20?
False
Let q = 5 + 2. Let f(l) be the second derivative of -l**4/12 + 7*l**3/6 + 4*l**2 + 7*l. Is f(q) a multiple of 8?
True
Let d = 6 - 4. Let o be (-2)/8 + 274/8. Suppose -3*u + 2*f + 16 = -2*u, -o = -4*u - d*f. Is 10 a factor of u?
True
Let q = -1 - 1. Let k = 0 - q. Suppose -k*b + 36 + 6 = 0. Is 7 a factor of b?
True
Let p be (3 - 2)*4/2. Suppose -2*c = 3*y + p*y - 50, -4*c - 4*y = -76. Does 15 divide c?
True
Let m(g) = -12*g. Let t(v) = -2*v**3 