Does 6 divide n?
False
Suppose 354 = 5*w - 1441. Suppose 5*y - w = b, 3 - 4 = -b. Does 18 divide y?
True
Suppose -2*a + 2*u + 0*u = 16, -2*u + 34 = -4*a. Suppose o - 2*d = -54, d + 13 = -4*o - 158. Let m = a - o. Does 13 divide m?
False
Suppose 22 = z - 3*h, -3*z = z + 3*h - 13. Suppose -3*l - z + 1 = 0. Is (-46)/(-8) - l/8 a multiple of 6?
True
Let i = -33 - 35. Is 2/7 + i/(-7) a multiple of 10?
True
Suppose -3*k - 4*p = -7, 3*k + 5*p - 1 = 1. Suppose -2*f - k = -3*f. Suppose -2*u - f = -5*u. Is u a multiple of 3?
True
Suppose 57 = -4*p + 7*p. Suppose -r + p = -7. Is 7 a factor of r?
False
Let o = 29 + -40. Let b = -7 - o. Suppose r + m = -3*r + 20, 10 = -r - b*m. Is r a multiple of 4?
False
Suppose 3*z = -2*c + 21, z + 4 = c + 2*c. Suppose c*m - 108 = -3*v, 2*m - 30 = -5*v + 144. Is v a multiple of 17?
True
Let y(x) = -x**3 - 5*x**2 - 6*x + 3. Let j be (10/(-6))/((-3)/(-9)). Is 11 a factor of y(j)?
True
Suppose 6*b - 390 = b - 3*h, 0 = 4*b - 4*h - 280. Is b a multiple of 25?
True
Let s = 19 + -4. Is 15 a factor of s?
True
Suppose -3*n + 5 = -8*n. Let p = n + 1. Suppose 2*r = -3*f + 53 - 12, 5*f - r - 64 = p. Is f a multiple of 11?
False
Suppose 3072 = 4*c + 12*c. Is c a multiple of 48?
True
Suppose -16 = -0*m - m. Does 8 divide m?
True
Suppose 0 = 7*v - 4*v - 171. Does 16 divide v?
False
Suppose -5*v - 2*w = w - 16, -8 = -4*w. Suppose -s + 3*b - 8 = -3*s, -28 = -2*s + v*b. Let q = 22 - s. Is 12 a factor of q?
True
Let q = 110 - 76. Let b(z) = 3*z**3 + z**2 - 2*z - 3. Let s be b(-2). Let w = q + s. Is 6 a factor of w?
False
Let p(s) = -3*s + 0*s + 2*s + 12 - s**2 + s**3. Suppose -2*j - 4*j = 0. Is 6 a factor of p(j)?
True
Let b = 18 + -30. Is 11 a factor of ((-66)/2)/(18/b)?
True
Let o = 4 - 0. Suppose -x - 44 = -2*u, -2 = -u + o*x + 20. Let j = 31 - u. Is 9 a factor of j?
True
Is 177 - ((-12)/(-15))/((-4)/(-10)) a multiple of 10?
False
Suppose 2*h = 10 + 2. Suppose -3*f + h*f = 63. Is f a multiple of 7?
True
Suppose 0 = 5*f - 2*l - 8, -5*l = f - 1 - 6. Suppose f*q = 5*g - 2, 0 = 4*q - 5*g - 3 - 3. Is 4 a factor of q?
True
Let h(w) = 5*w + 28. Let d(i) = -7*i + 11 - 66 - 2*i. Let p(n) = -6*d(n) - 11*h(n). Is p(0) a multiple of 14?
False
Let u be 2/(-4)*-18*13. Let a = u - 63. Suppose -2*o + a = -2*n, -66 = -3*o - 2*n + 5. Is o a multiple of 10?
False
Let l(b) = -31*b + 1. Let d be l(1). Let r be 2/((-64)/d + -2). Is 5 a factor of ((-14)/5)/((-3)/r)?
False
Let f(n) = -n**3 + 12*n**2 + 14*n - 2. Is 11 a factor of f(13)?
True
Let u = 11 - 7. Suppose -5*o + 0*h - h + 26 = 0, u*h = 3*o - 11. Suppose -2*n + 0 = b + 2, -o*b + 2*n + 26 = 0. Does 4 divide b?
True
Suppose -440 = 2*v - 7*v. Is v a multiple of 24?
False
Let h(d) = 40*d - 8. Does 17 divide h(7)?
True
Suppose o - 2 = -0. Suppose -5*d + 2*k + 152 = 0, -o*k = 4*d - 0*d - 118. Is d a multiple of 10?
True
Let o(j) = -3*j + j - 3 - j - j. Does 5 divide o(-6)?
False
Let f = -108 - -163. Suppose 4*m + d - 241 = 0, m + 0*d - 5*d - f = 0. Is m a multiple of 10?
True
Let r be 2/(-4)*(-8)/2. Let a be ((-4)/(-8))/(r/20). Suppose -2*l - w + 35 = -6*w, 5*l + 4*w - a = 0. Is 5 a factor of l?
True
Let i be (12/15)/((-3)/(-90)). Is (-222)/2*i/(-36) a multiple of 25?
False
Let z = 485 - 339. Does 19 divide z?
False
Let f(x) = 2*x + 7. Let r be f(-6). Is -18*r/((-30)/(-8)) a multiple of 12?
True
Suppose -j + 28 = -0*j. Suppose 4*s + b + 0*b = 19, 4*s = 5*b + 49. Suppose -j = 4*i - s*i. Does 14 divide i?
True
Let s be (-3 - -5)*1*34. Suppose 5*x - s = 67. Is 10 a factor of x?
False
Suppose 4*d - 17 = -4*g + 11, 4*g + 2*d = 24. Let h(t) = 8*t + 9. Does 14 divide h(g)?
False
Suppose 2*r - 7 = t, -2*t + r + 4*r = 18. Let f(a) = a**3 + a**2. Let j(m) = -4*m**3 + 2*m - 2. Let u(g) = t*j(g) + 5*f(g). Does 5 divide u(-3)?
True
Suppose 5*h + 125 = 4*a, 0 = -3*a - h + 3*h + 99. Is a a multiple of 13?
False
Let z(s) = -s**3 + 4*s**2 + 5*s + 4. Let m(n) = -n**3 + 6*n**2 + 8*n - 2. Let u be m(7). Let r be z(u). Is (5 + r)/(6/20) a multiple of 15?
True
Suppose 6 = 3*f - 3. Suppose 0 = -0*l - 3*l - f. Does 12 divide (25*l - -1)/(-1)?
True
Let z be -7 - -8 - 0/2. Let j be z/6*76*-12. Is 4 a factor of j/(-16) - (-6)/4?
False
Does 3 divide ((-10)/(-6))/(1/3)?
False
Let j(m) = 75*m - 6. Let t be j(5). Suppose -3*i - 2*w + t = 0, -i + w - 2*w = -122. Let b = i - 89. Is b a multiple of 18?
True
Let p(z) = 2*z - 1. Suppose 1 = -h + 2. Let u be p(h). Does 13 divide (-3 - -2)/(u/(-26))?
True
Let m(u) = u**3 + 8*u**2 + 7*u + 4. Let w be m(-7). Suppose -3 = w*s - 3*s. Let b = 0 - s. Does 3 divide b?
True
Suppose -t - 7 = -31. Is 24 a factor of t?
True
Let h(l) = -l**3 + 4*l**2 + 2*l - 3. Is h(-3) a multiple of 27?
True
Suppose 3*t - 51 = -0*t. Let w = 41 - 9. Let s = w - t. Does 11 divide s?
False
Suppose 2*d - 207 = 3*l, -2*l + 314 = 3*d - 3*l. Does 21 divide d?
True
Let f = 11 + -15. Let a(z) be the first derivative of -z**3/3 - 4*z**2 + 3*z - 7. Is a(f) a multiple of 14?
False
Suppose -5*u = -r - 18, -4*u + 11 = 2*r - 9. Let x = -6 + u. Is 8 a factor of (-2 + (-6)/x)*18?
False
Suppose -257 = -3*f - 5*t, 5*f - 129 = 5*t + 286. Is 28 a factor of f?
True
Suppose -2*o - 4*s = -0*o - 36, 0 = 4*s - 20. Suppose o*n - 75 = 3*n. Does 5 divide n?
True
Let u = 0 + -12. Let f = u - -30. Is 9 a factor of f?
True
Let c be 147/(-6) + 1/(-2). Let g = c + 44. Is g a multiple of 15?
False
Suppose 2*i + 5 + 9 = 0. Let b(j) = 2*j**2 + 9*j - 5. Is 10 a factor of b(i)?
True
Let n = -6 - -8. Suppose -n*j + 0*j = -6. Suppose l = -j*l + 32. Is l a multiple of 6?
False
Does 15 divide 12/78 - (-15)/(-13) - -106?
True
Suppose 6 = 4*s - 6. Suppose -5*q - 16 = u, s*u - 9 = 4*q - 0. Let k = 8 - q. Is k a multiple of 4?
False
Suppose 0 = -3*i + 6*d - d - 21, d = -2*i - 1. Let o be (119/14)/(i/(-4)). Let p = 38 - o. Is 10 a factor of p?
False
Suppose 0 = -4*h + 137 - 1. Is h a multiple of 4?
False
Let o(z) = 4*z**2 + 3*z - 4. Let p be o(3). Let h be 4/6 - 19/(-3). Let i = p - h. Is 17 a factor of i?
True
Let l = 10 + -9. Let d be (l/(-2))/(2/(-708)). Suppose -u + 24 - d = -3*t, -5*t + 3*u = -259. Is 25 a factor of t?
True
Suppose 0 = -5*l + 3*z + 215, 5*l + 0*z - 225 = z. Is l a multiple of 6?
False
Suppose 7*q = 3*q + 12. Suppose h = -q*h + 24. Is h even?
True
Let i = -83 - -191. Is i a multiple of 36?
True
Suppose 5*r = 14 + 1. Suppose -r*u = -5*u + 10. Suppose u*k - 86 = 3*k. Is 16 a factor of k?
False
Let p(q) = q**3 - 11*q**2 + 9*q + 12. Let u be p(10). Is 0 + u*(-22)/(-4) a multiple of 10?
False
Let c be (-4 + 147)/((-2)/2). Let v = -96 - c. Let m = -24 + v. Is 8 a factor of m?
False
Suppose -4*i = -2*i - 100. Is 22 a factor of i?
False
Let s = -41 + 72. Suppose -g + 5*j + 29 = -s, 0 = -g + j + 76. Let i = -56 + g. Is i a multiple of 14?
False
Suppose 0 = 5*p - i - 54, -20 = -5*p + p - 5*i. Suppose -b = -3*n + p, -2*n + 3*b + 6 = n. Is 4 a factor of n?
True
Let j(f) = f**2 + 3*f + 1. Let z be j(-3). Is 15 a factor of (-1)/(z/(-58)*2)?
False
Suppose 0 = q + 4*q. Suppose -5*p = -q*p - 75. Suppose 0 = -9*a + 6*a + p. Is a a multiple of 2?
False
Let y = -4 + 6. Suppose 0 = 5*t - 2*b - y*b - 36, -5*t + 41 = b. Suppose -t - 8 = -2*n. Does 8 divide n?
True
Suppose z = -3*z + 4*g, -28 = 3*z + 4*g. Let v(w) = -w**2 - 7*w + 5. Is 8 a factor of v(z)?
False
Let j(c) = c**3 - 1. Let q(u) = -2 + 0 + 3 - 6*u**2 + 8*u - 7*u**3. Let b(h) = -6*j(h) - q(h). Does 12 divide b(-7)?
True
Let c be 5*((-4)/(-10) + 0). Suppose -5*f + c*f = 81. Let w = -15 - f. Is w a multiple of 6?
True
Suppose -y + 0*y = 3. Let g = y + 5. Suppose -8 = -g*r - 2. Is 3 a factor of r?
True
Let y(z) = z**3 - z**2 + 2*z + 2. Let h be y(-2). Let c(w) = -w**3 - 13*w**2 + 10*w + 16. Is 24 a factor of c(h)?
True
Suppose 2*c = 101 + 9. Suppose -5*v - c = -4*i, 2*i - 2*v = -v + 29. Is 15 a factor of i?
True
Is 11 a factor of -2*(-4 + (-565)/10)?
True
Let m be 12/54 + 32/18. Suppose -3*k = -o - 4*o + 57, k = m*o - 22. Is o a multiple of 3?
True
Suppose -2*n - 7 = s + 2*s, n - 5*s = 3. Let i = 4 + n. Does 2 divide i?
True
Suppose 5*w = 3*w - 42. Is 22/3*w/(-14) a multiple of 7?
False
Let m = 102 - -168. Is m a multiple of 11?
False
Let z = 14 - 20. Let o = z + 16. Is 10 a factor of o?
True
Suppose 3*l - 2*a = -20, 0*l - 2*l = -4*a + 16. Let z = -6 - l. Suppose -5*n + 7*n - 60 = z. Is n a multiple of 11?
Fal