Suppose v + 9 - 2 = -i, 2*i - 11 = 3*v. Let s = 8 + v. Suppose 3*f + s*o - 33 = 0, 26 = 2*f - 2*o - 0*o. Is 11 a factor of f?
False
Let o(v) = 185*v + 25. Let h(k) = 31*k + 4. Let l(z) = 25*h(z) - 4*o(z). Is l(1) a multiple of 15?
False
Suppose -2*u + g = 1, -g = -u - 0 + 1. Is (30/4)/((-1)/u) a multiple of 15?
True
Suppose 4*n + 1 - 5 = 0. Suppose n = q + 3*u + 2, 7 = 3*q + 4*u. Suppose 3*d - 55 = q. Is d a multiple of 10?
True
Suppose -2*n + 16 = -4*o, 0 = 2*n - 7*n - o + 18. Suppose -6*b + 2*b + n = 0. Let g = b + 8. Does 9 divide g?
True
Let a(u) = -u**3 - 8*u**2 - 8*u - 6. Let l be a(-7). Suppose -16 + l = -4*m + 5*v, 21 = 4*m + v. Is m even?
False
Let m(g) = 2*g**2 - 6*g + 9. Is m(6) a multiple of 9?
True
Suppose 0*a + 4*a = 16. Suppose -2*h - 20 = -a*h. Does 5 divide h?
True
Let m = -6 + 10. Suppose 0*o = -m*o + 140. Is 13 a factor of o?
False
Let w(q) be the first derivative of 2*q**3 - q**2/2 + 3*q + 4. Suppose -5*v + 0 + 15 = 0. Is w(v) a multiple of 24?
False
Let d(j) = j**3 + 12*j**2 + 12*j + 11. Let k be d(-11). Suppose 5*c - 34 - 196 = k. Is 23 a factor of c?
True
Let q be (-1)/(-2)*-1*0. Suppose s + 4*j = -4 - q, j + 2 = 0. Suppose -z + 5*o - 5 = -34, s*z - 71 = 5*o. Is 7 a factor of z?
True
Suppose -4*r + 0*v = -5*v - 432, -r + 117 = v. Is r a multiple of 32?
False
Suppose 0 = -4*i - 5*x + 4*x + 65, -4*x + 20 = i. Is i a multiple of 4?
True
Suppose -234 = -2*v + 2*z - 3*z, v - 2*z - 127 = 0. Does 13 divide v/9 + (-10)/45?
True
Suppose -2*z = -138 + 42. Is z a multiple of 6?
True
Suppose -3*k - z = 3*z - 30, -z = 3*k - 39. Suppose 2*o - k = 6. Does 5 divide o?
True
Let v(b) = 3*b**2 - 3*b**3 + 2 + 2*b + 2*b**3 + b. Is 16 a factor of v(-2)?
True
Suppose 0 = 7*t - 3*t. Suppose -4*m + 25 = 3*n, t = -2*m - 2*n - n + 17. Let g(v) = 6*v - 4. Is g(m) a multiple of 17?
False
Suppose -186 = 2*t - 4*t. Let b = t + -65. Suppose -h = -0*h - m - 14, b = 2*h + 3*m. Is h a multiple of 9?
False
Suppose -1 = -d - 0. Is 7 a factor of -2 + (-1)/d + 10?
True
Suppose 0 + 18 = -3*b. Let t be (-4)/(-6)*27/b. Is 4 a factor of ((-22)/(-4 - t))/2?
False
Suppose -5*h = 3*b - 207, 3*h - 9 = -0*h. Is 8 a factor of b?
True
Let r = -2 + 12. Is r a multiple of 3?
False
Let i(z) be the second derivative of 35*z**3/6 + 8*z. Is i(1) a multiple of 7?
True
Let c = -9 + 13. Suppose 0 = -8*s + 3*s + c*x + 213, -168 = -4*s + 4*x. Does 15 divide s?
True
Let l = 10 - 5. Suppose -l*m + 99 = 4*q - 0*q, q - 21 = -2*m. Is q a multiple of 10?
False
Let o be (-5)/(1 + 1 + -1). Let x = o + -1. Let q(m) = m**2 + 5*m + 6. Does 6 divide q(x)?
True
Suppose 0 = 3*x - 54 - 33. Is 9 a factor of x?
False
Is (0 - 16)/((-3)/6) a multiple of 20?
False
Suppose -4*j - 20 = 4*g, -2 = 2*g - 5*j - 20. Let b(z) = -26*z**3 + z**2 + z. Is b(g) a multiple of 10?
False
Let o(h) = h**3 + 5*h**2 + h + 5. Let j be o(-5). Let d = -3 - j. Is 4 a factor of (-4)/(-2) - 24/d?
False
Suppose -4*i + 360 = 2*i. Is i a multiple of 10?
True
Suppose -3*d - 21 = -213. Is d a multiple of 16?
True
Let d be -3*5*6/15. Let l = -14 - d. Let c(s) = s**2 + 6*s - 9. Is 3 a factor of c(l)?
False
Let s(t) = -86*t + 2. Let i be s(-1). Suppose i = 4*c - 108. Is c a multiple of 13?
False
Suppose -11 = 5*r - 2*w, 5*w - 3 = 2*r + 14. Let l be ((-4)/8)/(r/50). Suppose 4*d + 3*q = l, -19 - 13 = -5*d - 3*q. Is 6 a factor of d?
False
Let a = 7 + -9. Does 14 divide a/13 + (-8080)/(-130)?
False
Suppose 4*q - 4*w = -4, 0 = -3*q - 5*w - 27 - 0. Let m be (-57)/q - 5/20. Let g = 24 + m. Is g a multiple of 19?
True
Suppose 2*a + 5 - 1 = 0, -o - 6 = 5*a. Suppose 5*u - 40 = -4*p, -4*p = -0*p - o*u - 40. Is 10 a factor of p?
True
Suppose 2*z - 4*u = 1356, -5*z - 4*u = -2*u - 3366. Let v be 6/24 - z/8. Let q = -59 - v. Does 17 divide q?
False
Suppose 23 = -4*n - 9. Let h = n + 9. Does 11 divide (-9)/(h - 22/16)?
False
Let d(f) be the second derivative of -f**3 - 6*f**2 + 3*f. Is d(-8) a multiple of 12?
True
Suppose -3*v - 9 = q + 2*q, 5*q + 5 = -3*v. Suppose q*m = -0 + 2. Let b(r) = 23*r**3. Is 20 a factor of b(m)?
False
Suppose -176 = 2*f - 6*f + 4*p, -p = 1. Is 12 a factor of f?
False
Let u(n) be the first derivative of 5/2*n**2 - 1/3*n**3 - 3 + 0*n. Does 4 divide u(4)?
True
Suppose -5*u = 2*x + 1 - 33, 3*u - 61 = -5*x. Let d = x + -7. Suppose -6*h = -d*h - 22. Is h a multiple of 11?
True
Let b(f) = f**3 + 14*f**2 - 16*f - 10. Let t be b(-15). Suppose -2*s = t*l - 72, -4*l + 16 = 5*s - 45. Is 7 a factor of l?
True
Let f(p) = -p + 4. Let g be f(10). Let h(u) = u**2 + 5*u + 1. Is 3 a factor of h(g)?
False
Suppose -4*h + 82 - 26 = 0. Suppose 5*f - 6 = h. Is 7 a factor of 26/f + 4/8?
True
Let q be ((-21)/35)/(2/(-30)). Suppose -12*v + 9*v + q = 0. Does 2 divide v?
False
Suppose -5 - 13 = -z. Does 6 divide z?
True
Is 1*(3 - 7) + 12 a multiple of 2?
True
Let o be 5/20 - (-57)/12. Suppose o*b - 136 = b. Is b a multiple of 17?
True
Let l be 4*25 + 5 + -3. Suppose 0 = -5*n + 68 + l. Does 15 divide n?
False
Let k be (1/(-2))/(2/(-224)). Suppose 3*x = 7*x - k. Is x a multiple of 5?
False
Let h = -44 - -68. Does 6 divide h?
True
Let i = -3 - -6. Suppose 0 = i*w + 52 + 8. Let j = -14 - w. Does 6 divide j?
True
Suppose -n - 12 = -3*n - 2*p, 5*p = 5*n. Let k be -1 + -2 + 1 + n. Let a = k + 5. Is 3 a factor of a?
True
Let x be (6 + -8)/(0 + -1). Suppose r + x*r = 153. Is 23 a factor of r?
False
Let d(k) = k**2 - k - 4. Does 26 divide d(-7)?
True
Suppose -3*s + 66 = -27. Is 31 a factor of s?
True
Is (-104)/(-7) + (-2)/(-14) a multiple of 8?
False
Let q be 0/(3/(3/(-2))). Suppose q = 5*t + 64 - 204. Let b = t - 8. Is 10 a factor of b?
True
Let s(i) = -16*i - 2. Let u = 32 - 23. Suppose u = -y - 2*y. Does 23 divide s(y)?
True
Let g = -2 + 1. Let j be 2 + g/(1/(-3)). Let y(x) = x**3 - 4*x**2 - 7. Does 8 divide y(j)?
False
Suppose -5*s = 2*p - 38, -p + 16 = 2*s - 0*p. Let m = s + -1. Suppose u + 15 = 5*t, m*u - t - 35 = u. Does 5 divide u?
True
Let n(j) = -j**2 + 8*j - 13. Let a be n(6). Is (2 + -1)*(-12)/a a multiple of 12?
True
Let p be 3/(4/(24/9)). Let g(c) = -p + 2 - 23*c + 1. Is g(-1) a multiple of 13?
False
Let a = 62 - 50. Does 6 divide a?
True
Suppose -164 + 3037 = 13*y. Is 19 a factor of y?
False
Let a(x) = x + 17. Let c be a(-12). Suppose 5*j + c = p, p - j - 49 = -4*p. Does 3 divide p?
False
Suppose -3*y = 3*u - 13 - 29, -6 = y - 4*u. Let s = 20 - y. Is 10 a factor of s?
True
Let w(b) = b**3 + 8*b**2 - b - 3. Let o be w(-7). Suppose o + 42 = 5*s. Is 14 a factor of s?
False
Let c = -6 - -8. Is 11 a factor of -2*(-1 + -21)/c?
True
Let o = -5 + 9. Let s(f) = 2*f**2 - 2*f - 1. Does 10 divide s(o)?
False
Let d = -4 + 31. Is d a multiple of 7?
False
Let a(w) = 66*w**2 + 3*w + 2. Is a(2) a multiple of 26?
False
Let j(d) = -d**3 + 5*d**2 + 6*d - 1. Let m be j(6). Is 15 a factor of 3 + 26 + m + 2?
True
Suppose 2*f + 63 = -f. Let y = -15 - f. Is y a multiple of 3?
True
Suppose 3*c = 0, o + 0*c = c + 3. Suppose 5*d - 212 = 4*b, -3*d - b + 128 = -o*b. Is 11 a factor of d?
True
Suppose -4*u + 109 + 161 = 5*n, 3*u = -5*n + 270. Suppose -a + 218 = n. Suppose -6*o + 2*o + a = 0. Is o a multiple of 15?
False
Suppose -a - 51 = -95. Is 11 a factor of a?
True
Let y = -53 + 75. Is 13 a factor of y?
False
Suppose -77 - 69 = 5*f + 4*s, 66 = -3*f + 3*s. Let p = f + 43. Does 17 divide p?
True
Suppose 0 = 5*w + 3*a - 553, -2*a + 5 - 3 = 0. Is 22 a factor of w?
True
Suppose 5*o - 5 = a, o - a + 0 - 1 = 0. Let r(l) = 76*l**3 - 2*l**2 + 1. Let k be r(o). Suppose 0 = i - k + 28. Is 17 a factor of i?
False
Suppose -10 - 10 = -5*g. Is g a multiple of 2?
True
Let n(i) = 21*i**2 + i - 4. Let l(u) = -u**3 + 4*u**2 - 4*u + 3. Let w be l(2). Let y be n(w). Suppose -4*q + 0*q = -y. Does 16 divide q?
False
Let b(j) = -j**3 + 0*j + 4 - 5*j**2 + 12*j**2 - 4*j. Does 20 divide b(5)?
False
Let c be 6/(-15) + 4/10. Suppose 5*i + 23 - 63 = c. Is 3 a factor of i?
False
Let o(s) = 25 + 57*s - 55*s + 2. Is 9 a factor of o(0)?
True
Let f(x) = x**3 + 7*x**2 + 5*x + 6. Let a(s) = -s**3 - 3*s**2 + 3*s + 4. Let t be a(-3). Is 14 a factor of f(t)?
False
Let s be ((-58)/4)/((-3)/6). Let g(f) = f**3 + 3*f**2 + 3. Let o be g(-4). Let x = s + o. Does 8 divide x?
True
Suppose -2*l - 15 + 5 = 0, 0 = 4*z - 5*l - 89. Let m be (-3)/(1/2 - 2). Suppose m*g - q - z = -4*q, 2*q = -g + 9. Is g a multiple of 4?
F