 Suppose x - 5 = -i*w + 5, -q*w = 2*x - 20. Does 10 divide x?
True
Let i = -2 + 8. Is 59/i - 8/(-48) a multiple of 10?
True
Suppose 0 = 5*q - 4*k + 2*k - 15, q = k. Let v = q - -3. Is v a multiple of 4?
True
Suppose 5*n = 2*b - 3*b + 16, 22 = 3*b + 2*n. Suppose 5*i + b - 36 = 0. Does 2 divide i?
True
Suppose -3*u - 5*q - 11 = 0, -14 - 5 = -5*u + q. Does 3 divide u?
True
Suppose -a = 5*a - 180. Is 13 a factor of a?
False
Let z(j) = 5*j - 1. Let m(d) = 4*d**2 + 2 - 3*d + 7*d - 6*d**2 + d**2. Let v be m(4). Is z(v) a multiple of 4?
False
Suppose -24 = -b - 4*p, 0*b = -3*b + p + 46. Is 8 a factor of b?
True
Suppose -3*g = -2*r - 56, 1 = 4*g - 7. Let b = r + 4. Is 14 a factor of (-6)/b - (-96)/7?
True
Let b(q) = 6*q**3 - q**2 - 2. Suppose -26 + 10 = -5*a + 3*j, 0 = 3*a - 4*j - 14. Is b(a) a multiple of 14?
True
Let w be ((-14)/(-4))/(3/(-6)). Let i = -37 - -54. Let m = i + w. Is m a multiple of 10?
True
Does 6 divide (-4)/(-2) - (-3 - -5)*-3?
False
Let i(o) = o**2 + 14. Let u be i(0). Let h be 0 - (u*4)/2. Is (h/(-6))/((-3)/(-9)) a multiple of 7?
True
Suppose 4*x - 106 = -2*c, 4*x - 2*c - 103 = -c. Let f = -16 + x. Is f a multiple of 5?
True
Let d(g) = 7*g + 2. Let y be d(-2). Let w be 50/8 + 3/y. Suppose 3*s - w*s = -n - 26, 0 = 4*s + 5*n - 41. Is s a multiple of 6?
False
Let g = 2 - 0. Suppose 0 = -2*u - g - 0. Is -1 + u + 4 + 2 a multiple of 2?
True
Let a(g) = g**2 + 2*g + 2. Does 15 divide a(5)?
False
Let q = -14 - -20. Let u = q - 4. Suppose y = z - 16, -u*z + 52 = -3*y + 19. Is z a multiple of 12?
False
Let i(f) = 40*f - 3. Is 20 a factor of i(2)?
False
Suppose -80 = 3*j - 20. Let a = j + 7. Let b = 18 + a. Does 3 divide b?
False
Suppose 0 = -5*u - 3*t + 122, u + 5*t = -2*u + 70. Is u a multiple of 8?
False
Let z = 13 + -9. Suppose 4*n + 60 = z*i, 57 = 4*i + 2*n - 21. Is i a multiple of 18?
True
Let f(l) = l**3 - 5*l**2 - l + 3. Suppose -2*g + 0 = -2. Let m(j) = j**3 - j**2 + j + 1. Let u(d) = g*m(d) + f(d). Is 12 a factor of u(4)?
True
Let m = 2 + -2. Suppose 2*j - 29 - 35 = m. Let z = -19 + j. Is 10 a factor of z?
False
Let h(j) = -2*j - 4. Let a be h(-4). Suppose -a*x + 2*x + 3*f + 30 = 0, -4*f = -8. Is 9 a factor of x?
True
Let g(f) = -f + 5. Let h be g(0). Suppose 0 = -3*j + h*b + 251, -4*j + 3*b + 342 = -0*j. Suppose 0 = -5*o + j + 18. Is 15 a factor of o?
False
Let c = 7 - 2. Suppose -1 = c*t - 6. Does 10 divide -3 + t - (-1 + -24)?
False
Let x(u) = -u**2 - 9*u + 8. Let d be ((-5)/(-10))/((-1)/16). Is 16 a factor of x(d)?
True
Suppose 15 = -0*b + 5*b. Suppose -34 = -4*c + 3*y + 12, b*y = 2*c - 26. Is 6 a factor of c?
False
Let x = 43 - 76. Let p be (-2)/(-7) - x/7. Let d(s) = 3*s + 5. Is d(p) a multiple of 12?
False
Let p(w) be the second derivative of -w**5/20 - w**4/12 - w**3/6 + 27*w**2 - 8*w. Is p(0) a multiple of 25?
False
Let l(w) = 19*w - 16. Does 16 divide l(7)?
False
Let l = 65 - 43. Is 6 a factor of l?
False
Let n be 1*-5*(-162)/15. Suppose 2*s = n - 18. Is 6 a factor of s?
True
Suppose -2*j + 2 + 6 = 0. Let x(v) = v**3 + 2*v**2 + v + 36. Let a be x(0). Let p = a - j. Is 16 a factor of p?
True
Suppose -3*f = -f + 10, 0 = 5*u - 2*f - 20. Suppose u*r + r = 102. Does 14 divide r?
False
Suppose 7*d = 434 + 490. Is d a multiple of 23?
False
Let k be (-2)/(0 - (-1 + 2)). Suppose -k*z + 110 - 34 = 0. Is 19 a factor of z?
True
Suppose -7 = 6*l - 73. Is l a multiple of 3?
False
Suppose 3*b = a - 17, 4*a - 3*b - 31 = 1. Let n(w) = -2*w + 3*w - w**2 + a*w**2. Does 2 divide n(1)?
False
Suppose 3*r + 2*r = u + 24, 2*r - 3*u = 20. Suppose 2*a - 4*d + 22 = 0, 5*a + d + 27 = r*d. Is 7 a factor of (-133)/(-14) - a/2?
False
Let g be (-3 - -2) + (2 - -1). Suppose -y + 7 = g*n + 2, -3*y - 5*n + 19 = 0. Suppose -2*c + y = -23. Is c a multiple of 9?
True
Let s(j) = -j**2 - 12*j - 13. Let h(w) = -w**3 + 6*w**2 + 6*w - 5. Let b be h(5). Suppose 2*f + b = -3*z - z, z = -5*f - 35. Does 4 divide s(z)?
False
Suppose 14*a = 6*a + 24. Suppose -4*p + 357 = 33. Suppose -13 = l - 2*l + 5*g, p = a*l - g. Does 10 divide l?
False
Suppose 22 = -2*s + g - 3*g, 0 = -4*s + 5*g + 1. Let v = 5 + s. Does 12 divide (-60)/(-3)*1 - v?
False
Let g = -30 - -57. Is 6 a factor of g?
False
Let g be ((-2)/(-6))/(1/6). Suppose -268 = f - g*f. Does 13 divide f/20 - 2/5?
True
Suppose 0 = -c - 3*c + 4. Let s(x) = -2*x**2 + 2*x - 1. Let a be s(c). Does 17 divide ((-2)/(-4))/(a/(-66))?
False
Suppose -2*a = -y + 41 - 15, -2*y - 5*a = -70. Does 15 divide y?
True
Let y be ((-30)/(-4))/(3/6). Is 9 a factor of (-22)/6*y/(-5)?
False
Suppose -72 = 5*w - 277. Suppose -4*t = 5*m - 85, m + t = 5*t + w. Is m a multiple of 13?
False
Suppose -72 = -3*b - b. Does 9 divide b?
True
Let b be -1*(-4 + 0/1). Suppose -3*y + 5*i = -39, i + 21 = 2*y - b*i. Does 11 divide y?
False
Suppose -87 = -5*c + 63. Suppose -t = -6*t - c. Is (-14)/(-21) - 128/t a multiple of 11?
True
Let r = 544 - 365. Is 19 a factor of r?
False
Let o(s) = 11 - 2*s**2 + 5 + s**2. Let q be o(0). Suppose 0 = 2*m - 106 + q. Is 15 a factor of m?
True
Suppose 0 = -n + 6*n - 310. Suppose -5*x + 66 = -4*o, -5*x + n = -o - 2*o. Does 5 divide x?
True
Let y(r) = r + 11. Let p be y(-8). Suppose -2*a = p*a - 40. Suppose -8 - a = -2*g. Is 4 a factor of g?
True
Let f(d) = -4*d + 6. Let k(n) = 2*n**2. Let z be k(2). Suppose -2*t - 6 = z. Is f(t) a multiple of 17?
True
Suppose -7*u + 12*u - 20 = 0. Suppose -4*k + 172 = -u*j, -j - 181 = -k - 3*k. Is 23 a factor of k?
True
Let w = 506 - 256. Is 25 a factor of w?
True
Suppose 18*l - 702 = 15*l. Does 26 divide l?
True
Let w(f) = -13*f + 4. Let g be w(-4). Is (g - 3)*1 + 3 a multiple of 19?
False
Suppose -4*o = 3*g - 15, 4*o = -2*g + g + 13. Does 18 divide 6*(5 - (g - 2))?
True
Suppose 387 = -0*w + 3*w. Suppose -5*b + w + 111 = 0. Suppose -3*x + b = -0*g - 4*g, 60 = 4*x - 4*g. Does 6 divide x?
True
Let y(n) = 3*n**3 + n**2 - 2*n + 1. Let c be y(1). Is 11 a factor of (-1 - 2) + 11 + c?
True
Let x(m) = 18*m - 35. Does 5 divide x(6)?
False
Let v be 1/5 - 234/(-30). Let o(u) be the first derivative of -u**3/3 + 9*u**2/2 - 4*u - 1. Is 4 a factor of o(v)?
True
Suppose -4*u + n = -4*n - 25, 4*u - 15 = -5*n. Suppose -4*o + i = -109, -4*o + i = -u*o + 31. Is 14 a factor of o?
True
Let v(a) = a**2 - 5*a + 4. Let q be v(8). Is 12 a factor of ((-48)/28)/((-2)/q)?
True
Suppose 3*y - 118 = -0*y + 4*h, 0 = -4*y - 5*h + 209. Does 36 divide y?
False
Let v(o) = -o**3 - o**2 - 9*o - 2. Let t(h) = h**2 - h. Let w(k) = -4*t(k) + v(k). Let u be w(-4). Suppose 5*s + u = 92. Does 8 divide s?
False
Let c(i) = -i**3 - 4*i**2 - 4*i - 3. Let n be c(-2). Let z = -1 - n. Suppose -z*o + 3*o - 4 = 0. Does 3 divide o?
False
Let c(s) = s + 3 - 7 - 2*s. Is c(-10) a multiple of 2?
True
Suppose 2 + 11 = s - p, 63 = 3*s + 5*p. Is 4 a factor of s?
True
Suppose 4*a - 5*t - 10 = 8*a, 5*a = -3*t - 6. Let x = a - -12. Is x a multiple of 9?
False
Let j(m) = -4 + 5*m + 0 + m**2 - 2. Let o(l) = l**3 - 7*l**2 + 5*l - 1. Let p be o(6). Is j(p) a multiple of 4?
True
Let m(a) be the third derivative of a**5/6 + a**4/8 - a**3/2 + a**2. Is 11 a factor of m(2)?
False
Is (36/(-48))/((-1)/24) a multiple of 6?
True
Suppose -10*b = 3*b - 1573. Is 8 a factor of b?
False
Suppose -10 - 40 = -5*s. Is s even?
True
Suppose -3*r - 58 = -4*r + 5*w, 2*r - 94 = -w. Is 26 a factor of r?
False
Let h(o) = o + 28. Is h(-9) a multiple of 7?
False
Let z(y) be the second derivative of -5*y**3/6 + y**2 + y. Let p(m) = -m**2 - m + 4. Let b be p(-3). Is z(b) a multiple of 9?
False
Let x(b) = 2*b**2 + 5*b + 1. Suppose -12 - 4 = 4*y. Does 5 divide x(y)?
False
Let v(k) = -111*k - 1. Let p be v(1). Let g = -79 - p. Is 17 a factor of g?
False
Let h(b) = -11*b - 6. Let i = 14 - 20. Does 20 divide h(i)?
True
Let m = 15 - 12. Suppose 4*y - 2*z = -4*z + 190, -m*z - 65 = -y. Does 19 divide y?
False
Let c(x) = 9*x**2 + x. Let p(z) = z**3 + 4*z**2 + 2*z - 1. Let r be p(-2). Suppose -2*l - l = r. Is c(l) a multiple of 3?
False
Suppose 5*b - 460 = -2*s + 3*s, -2*b - 3*s + 184 = 0. Suppose 6*z = 3*z - 5*g + b, z - 4 = 5*g. Suppose 0 = -4*j - z + 152. Is 18 a factor of j?
False
Suppose -5*o = -o. Let p be (0 + 1)*(2 + 3). Suppose -p*b + 3*y + 33 = o, -4*y + y = b - 21. Is 3 a factor of b?
True
Let k(n) = n**3 - 6*n**2 - 7*n + 2. Let c be k(7). Suppose -16 = -4*q - c*b + 20, -4*b + 16 = 0. 