y - 2*m - x = 0. Is 8 a factor of y?
True
Let n be 12*(2 - 9/6). Suppose -n - 6 = 2*t. Let x = 19 + t. Is 11 a factor of x?
False
Suppose 58 = 2*i - 0. Is i a multiple of 7?
False
Let i be (0*3/(-6))/(-1). Suppose -2*a + 2 + 6 = i. Is a a multiple of 4?
True
Is (-4)/14 + (-24277)/(-77) a multiple of 38?
False
Let s be (2/(-3))/(2/(-9)). Suppose -h = 4, -s*h = 3*f - 2*f + 10. Is 0 + -1 + f + 25 a multiple of 10?
False
Suppose -14 = q + 5*n - 38, 5*q - 4*n = 4. Is 17 a factor of (q/3)/(2/33)?
False
Let j be 1/(4/((-168)/(-3))). Is 12 a factor of 4/14 + 766/j?
False
Let b = -65 + 101. Is b a multiple of 13?
False
Suppose 91 = 5*y - 4*z, -3*z = 2*y - 5*y + 57. Is 10 a factor of y?
False
Let r(l) = -10*l + 16. Let c(q) = 2*q - 3. Let t(d) = -14*c(d) - 3*r(d). Is t(13) a multiple of 20?
True
Let w be ((-4)/(-5))/((-8)/(-20)). Suppose l = -0*p + p - 1, 2 = w*p + 5*l. Is 48/9*p*3 a multiple of 6?
False
Let p(x) be the second derivative of 9*x**5/10 - x**4/4 + x**2/2 + x. Let q(a) = -71*a**3 + 13*a**2 - 4. Let i(o) = -9*p(o) - 2*q(o). Does 14 divide i(-1)?
False
Let q(c) = 2*c. Is q(2) a multiple of 3?
False
Let l(k) = -5*k - 5. Let x be l(-6). Let a = x + -9. Suppose -2*i + 4 = -a. Is i a multiple of 10?
True
Suppose 0*k - 9*k = -873. Is k a multiple of 11?
False
Suppose 294 = 4*h + 78. Does 18 divide h?
True
Let c(g) = 4*g**2 - 2*g - 2. Let a be c(2). Suppose -5*s + a*s - 110 = 3*t, -s = -3*t - 22. Does 22 divide s?
True
Let k be (-2)/((-238)/(-80) - 3). Suppose 0*y - 2*y + 160 = 5*u, -4*y = 2*u - k. Is u a multiple of 13?
False
Let n(z) be the third derivative of z**5/60 - z**4/12 + z**3/3 - z**2. Suppose -k - a = a - 8, -4 = k - 4*a. Does 5 divide n(k)?
True
Suppose 3*c + 3*t = 27, -4*c + 3*t = -65 - 6. Is 8 a factor of (-4)/c - 212/(-7)?
False
Suppose -1 = 5*w + 4. Does 15 divide 2/(1/w) - -32?
True
Suppose 5*p - 456 = -2*o - 93, -4*o - 3*p + 747 = 0. Does 63 divide o?
True
Suppose -l + y = 1, y + y = -4*l - 22. Let r(x) = -4*x + 1. Is r(l) a multiple of 11?
False
Let l be 1/(2/16) - 3. Let w be (-3)/((15/2)/l). Is 14 a factor of (w - 6/(-9))*-21?
True
Let d(l) = -l**3 - 4*l**2 + 7*l + 1. Let r be d(-5). Does 8 divide (r/6)/(-3)*16?
True
Let f = -59 - -28. Suppose -2*w - w + 135 = 0. Let x = f + w. Is x a multiple of 10?
False
Suppose 0*d = -4*d + 184. Suppose -4*u + 390 + d = 0. Is u a multiple of 30?
False
Let j(r) = 7*r**3 + r**2 - 2*r - 2. Does 18 divide j(2)?
True
Suppose -4*j - 4 = 3*w, -7*w = -3*w + 4*j. Suppose 3*b - 28 = 3*x + 4*b, -4*b = -5*x - 58. Is 10*(x/w)/(-1) a multiple of 9?
False
Let c(r) = -2*r + 5. Suppose 0 = -o - 0*o - 2*y + 5, 0 = 2*o - 3*y + 25. Is c(o) a multiple of 10?
False
Let n = 103 + -79. Is 5 a factor of n?
False
Suppose 7*v + 8 = 3*v, -3*u = -2*v - 58. Does 6 divide u?
True
Let h = 1 - -3. Suppose h*k - 30 = -2*p, -3*k + 42 = 2*p - 5*k. Let v = p - 13. Is v a multiple of 3?
True
Let o be (-535)/(-20) - (-1)/4. Is 9 a factor of (-2)/9 - (-735)/o?
True
Suppose 7*i = 2*i + 5. Suppose 0*c - c = i. Let k = 4 - c. Does 5 divide k?
True
Suppose -5*v + 75 = -40. Does 9 divide v?
False
Suppose -5*o = -4*j + 32, 0 = -2*j - o - 9 + 25. Suppose -3*t - j = -s, -s - 5 - 3 = 5*t. Let w = 3 + s. Does 5 divide w?
True
Let m = 11 + -4. Let w be 3 + -5 + 0 + m. Suppose 61 = w*h + l - 52, -4*h - 5*l + 82 = 0. Is 8 a factor of h?
False
Let g be (-5 + 2 - 4) + 3. Does 7 divide (22/g)/((-6)/12)?
False
Suppose 4*w + 0*i - 236 = i, -w + 59 = 2*i. Is w a multiple of 17?
False
Let y(u) = u**3 - u**2 - 3*u - 1. Let h be y(4). Let v = h - 21. Is 5 a factor of v?
False
Let h = -12 + 156. Is h a multiple of 16?
True
Is (-16)/(2 - 6)*2 a multiple of 2?
True
Let y(p) = 10*p**3 - 2*p**2 + 5*p - 4. Is 6 a factor of y(2)?
True
Let n = 11 - 5. Suppose 5*u = -2*l + l + 9, 2*l - 2*u = n. Suppose -5*s + 69 = -l*x, 2*s - 21 = -5*x - 0*x. Is s a multiple of 13?
True
Let r(s) = -s**2 + s + 1. Let l be r(4). Let d = l + 32. Suppose b - 6*m + m - d = 0, -5*b - 5*m + 45 = 0. Does 6 divide b?
False
Does 15 divide 3 + (-1 - 2) - -45?
True
Does 12 divide (-572)/(-16) + 3/12?
True
Suppose 2*r = -2 - 0. Is r/6 - (-98)/12 even?
True
Let u be (2/(-8))/((-5)/80). Suppose 3*z - u*z = -30. Does 5 divide z?
True
Let m be 2/(-9) - 47/(-9). Suppose 2*d + 2*d = -m*y + 3, -4*d + 23 = y. Does 4 divide d?
False
Suppose 3*d - 7926 + 1650 = 0. Let w = 1400 - d. Does 11 divide w/(-24) + (-2)/(-12)?
False
Is (-254)/2*-5*4/20 a multiple of 11?
False
Let p(i) = -3*i + 1. Is 12 a factor of p(-18)?
False
Let c(o) = 2*o**2 + 7*o. Is c(-5) a multiple of 6?
False
Is 81 - 5/((-5)/4) a multiple of 18?
False
Does 7 divide (4 - 5) + 4 + 22?
False
Let x(q) = -q**3 - 7*q**2 - 8*q + 6. Let w be x(-6). Does 2 divide 15/6*w/15?
False
Let p(o) = 3 + 5 - 2*o + 0. Let k be p(-11). Is 6 a factor of (3/6)/(1/k)?
False
Does 26 divide (52/16)/((-4)/(-128))?
True
Let t(k) = 2*k + 1. Suppose 0 = -s - 5*y + 11, 3*s + 4*y = 14 + 8. Does 13 divide t(s)?
True
Let k = 4 + -3. Let r be ((-16)/(-8))/(k/2). Suppose -43 = -4*y + h, 0*y - 2*y + 4*h + r = 0. Is 6 a factor of y?
True
Let i(g) = -g**3 - 4*g**2 - 4*g + 1. Let y be i(-3). Suppose -3*q - 2*t + 142 = 0, 0*q + 4*q = t + 204. Suppose -d + q = y*d. Does 10 divide d?
True
Let h be (-14)/(-6) + 6/9. Suppose 2*k - 5 = h*z, -2*k - 3*z = -0*k - 23. Let p(a) = -a + 9. Is p(k) even?
True
Let u = 133 + -220. Let q = u - -159. Does 16 divide q?
False
Suppose 5*f = -2*c + 3, -5*c + 3*f + 34 = 11. Suppose q = -q + c. Suppose 22 = -q*v - a + 73, 0 = -a - 1. Is 26 a factor of v?
True
Let x be -1 - (-2)/4*2. Suppose -2*n = m - x - 6, 2*n + 2 = 3*m. Is 2 a factor of m?
True
Let l(w) be the first derivative of w**2/2 - w + 1. Let n be l(-4). Let i(u) = 2*u**2 + 5*u - 4. Is i(n) a multiple of 12?
False
Let y = -167 - -411. Is 11 a factor of y?
False
Let s = 2 + -1. Let y be ((-12)/(-10))/(s/5). Let p = 17 - y. Is 7 a factor of p?
False
Let c(s) = -2*s + 1. Let j be c(1). Is 6 a factor of -2 + j + 5*4?
False
Let l be 1 + -1 - (2 - 1). Let d be (-18)/((4*4/16)/(-1)). Does 15 divide (-5)/(l - (-15)/d)?
True
Suppose -366 = 4*u + 2*b, -2*u = -2*b + 45 + 123. Let r = u - -134. Is r a multiple of 14?
False
Let w(z) = z**3 + 19*z**2 - 6*z - 14. Is 18 a factor of w(-19)?
False
Let s be (-66)/(-14) - 2/(-7). Suppose 16 - 96 = -s*t. Is 8 a factor of t?
True
Let q(l) = -8*l + 3. Is q(-4) a multiple of 10?
False
Suppose 4*c = -5*z + 128, -20 = -2*z - 5*c + 21. Is z a multiple of 15?
False
Let k = -3 + 3. Let x = k - -32. Is x a multiple of 16?
True
Let i(g) = g**2 - 3*g + 10. Is 20 a factor of i(10)?
True
Let r(m) = -3*m + 1. Let d be r(-1). Suppose 2*l = -9*v + 4*v + 40, -16 = d*v. Let k = l + -16. Does 12 divide k?
False
Let c(i) = i. Let d(b) be the second derivative of -11*b**3/6 - b**2/2 - 2*b. Let t(z) = 2*c(z) + d(z). Does 8 divide t(-1)?
True
Suppose 0 = -y - 2*l - 5, -2*l - 22 = -5*y + 1. Suppose -3*g + n + 78 = -100, 0 = 3*n + y. Suppose 2*o = -4*j + j + g, -j + o = -13. Is j a multiple of 13?
False
Suppose 1 = -3*n + 13. Suppose q = 3*q - n*g, -4*q + g + 7 = 0. Suppose -j + q*j = 30. Is j a multiple of 11?
False
Let d be -3 - (-1 + 3 + -31). Let n = d + -46. Let w = n + 45. Is 12 a factor of w?
False
Let h = -47 - -86. Does 12 divide h?
False
Suppose 2 + 0 = -2*k. Let a be k/3 - 35/(-15). Suppose -3*w - o + 54 = 0, 0 = 4*w + a*o + 3*o - 61. Is w a multiple of 11?
False
Let v(f) be the first derivative of f**3/3 + 2*f**2 + f - 2. Is 3 a factor of v(-5)?
True
Let r = -46 - -52. Is 2 a factor of r?
True
Let b(l) = 13*l - 1. Let c be b(-2). Let u = 0 - c. Suppose -u = f - 2*f. Does 13 divide f?
False
Suppose 5*p = 2*t - 10, -p = -3*t - 2*p + 15. Suppose 6*z + 20 = 2*k + 2*z, 11 = 2*k + t*z. Does 8 divide k?
True
Let y(b) be the third derivative of b**4/12 - 2*b**3/3 - 3*b**2. Is y(9) a multiple of 7?
True
Suppose -3*u + 37 = 2*o, -5*u - 3 + 4 = -o. Is 4 a factor of o?
False
Let b(p) = 2*p**2 - 4*p - 1. Suppose 7 = -5*h + 27. Does 6 divide b(h)?
False
Let h = -188 + 358. Is h a multiple of 15?
False
Let o be (1/3)/((-2)/6). Let d(z) = -8*z**3 + 2*z**2 - 1. Let y be d(o). Suppose -3*w = -21 - y. Is w a multiple of 4?
False
Let c(n) = -n**3 + 3*n**2 + 3*n - 2. Let a be c(2). Is 20 a factor of (-238)/(-6) + a/24?
True
Suppose 0 = 2*g - 5 - 5. Suppose -5*a + g = -95. Does 10 divid