or of g?
True
Suppose -3*k + 9 = -6*k. Is (-2)/6 + (-82)/k a multiple of 11?
False
Suppose 12 = -3*h - 6. Let r = 14 + h. Does 16 divide 228/14 - r/28?
True
Let v(p) = p**2 - 2 + 3*p**2 - 3*p**2. Let f be -1 - (-12)/9*-3. Is v(f) a multiple of 15?
False
Let d = -3 - -3. Suppose d = -5*x + x. Let m = x - -4. Does 4 divide m?
True
Let k be ((-5)/3)/(2/(-6)). Let l(a) = a**2 - a - 3. Is l(k) a multiple of 5?
False
Let g(j) be the third derivative of -1/6*j**4 - 3/20*j**5 + 3*j**2 + 0*j - 5/3*j**3 + 0 - 1/120*j**6. Is 20 a factor of g(-9)?
False
Suppose 8 = 2*z - z. Let d(l) = -l**3 + 8*l**2 + 3*l - 11. Does 11 divide d(z)?
False
Let w(l) = -l**3 - 16*l**2 + 12*l - 12. Is 20 a factor of w(-17)?
False
Suppose 2*c + 3*c - 16 = 4*t, -5*c = 5*t - 25. Let x = 20 + c. Is x a multiple of 13?
False
Let o be 3 + -1*(2 - 3). Suppose -6 = -q - 2*d + 35, -o*q + 2*d = -114. Let s = -11 + q. Is s a multiple of 8?
False
Let r(v) be the first derivative of v**4/4 + v**3/3 - v**2 - 2*v + 1. Suppose -z = -3*z + 6. Is r(z) a multiple of 15?
False
Suppose 0 = -0*r + 2*r + 5*a - 195, -5*r - 4*a = -462. Is r a multiple of 18?
True
Suppose 3*k - 2 = -3*i + 2*k, 0 = i + 4*k - 8. Let u(p) = p**2 - 4*p + 3. Let l be u(4). Suppose i*x + l*x = 90. Is 15 a factor of x?
True
Suppose 115 = 4*m - 3*y - 29, -5*m = -5*y - 180. Is 9 a factor of m?
True
Suppose 79 = 4*f - 713. Does 33 divide f?
True
Let a = 1 - -35. Is a a multiple of 6?
True
Is (4 + -7 - 2)/(-1) even?
False
Suppose -5*u - b + 2121 = 510, 3*u + b - 965 = 0. Suppose 3*y = -5*k + u, -4*y - 91 - 33 = -2*k. Does 16 divide k?
True
Suppose 0 = -4*k + 15 + 21. Is 9 a factor of k?
True
Suppose 2*v = 4*v - 2. Is 0 - (11*-1)/v a multiple of 11?
True
Suppose -5*j + 2*j + 99 = 0. Is 11 a factor of j?
True
Let q = 81 + 4. Is 5 a factor of q?
True
Suppose 4*x = 3*x + i + 83, -x - 2*i = -95. Does 20 divide x?
False
Suppose -88*g = -91*g + 522. Is g a multiple of 29?
True
Let o be (-9 - 1)*1/(-2). Is (-8)/20 - (-137)/o a multiple of 19?
False
Suppose -12 = 3*f + 5*o - 3, 4*o - 9 = 3*f. Let p be (1/f)/(2/(-6)). Does 18 divide ((-5)/(-10))/(p/36)?
True
Suppose -2 = -2*b + j - 0, 5*b + 2*j = 14. Does 22 divide 7*(-3 + 9) + b?
True
Suppose -s - 21 = -6. Suppose -108 = 4*i - 28. Does 15 divide s/i*40*1?
True
Let g = 31 + -16. Does 5 divide g?
True
Suppose -5*b + 16 = i - 35, -i = 4. Let a = -6 + b. Is a a multiple of 3?
False
Suppose -k + 5*n - 28 = 2*k, -2*k - 3*n = -13. Let z be -3 - k/(-2)*-4. Is -1 + 2 + z - -8 a multiple of 3?
False
Suppose -w + 175 = 5*t, 140 = 4*t + 4*w - w. Is t a multiple of 8?
False
Suppose 0 = -3*m + 2*b + 95, 7*m + 3*b - 105 = 4*m. Is 3 a factor of (-6)/9*m/(-2)?
False
Let y(r) = -r**2 - 4*r - 5. Let i be y(-4). Let g be ((-4)/i)/((-4)/(-10)). Suppose -90 = -3*h - g*b, 4*b = -3*h + h + 60. Does 15 divide h?
True
Let u(a) = -a**3 + 3*a**2 + 4*a + 5. Let z be ((-1)/3)/(3/(-36)). Does 3 divide u(z)?
False
Suppose -j - j = 4*l - 96, 196 = 4*j + 4*l. Is j a multiple of 25?
True
Suppose 4*l + 50 = -l. Suppose -3*f = f + 56. Let u = l - f. Is u even?
True
Suppose -5*c + 97 = -153. Suppose 0 = 2*g + 4*n - c, -2*n - 11 = -g - 2. Is 8 a factor of g?
False
Suppose -4*a + 330 = -246. Is a a multiple of 36?
True
Is 7 a factor of (-4)/(-3) + (1066/6 - 5)?
False
Suppose 2*t + 14 = -4*v, t - 20 = 3*t - 2*v. Let x = -3 - -6. Does 10 divide x/1 - 3*t?
True
Let i(d) = -d**3 + 2*d**2 - d + 98. Does 10 divide i(0)?
False
Suppose -8 = t + t, -r + 3*t = -45. Is 4 a factor of r?
False
Let n(z) = -2*z + 24. Is 14 a factor of n(-9)?
True
Suppose -3*u - 3 = 3*l - 0*l, 5*u = -4*l - 2. Suppose 0 = 2*h + 2*g - 190, 0 = -h + u*g + g + 115. Let v = h + -56. Is v a multiple of 17?
False
Suppose 0 = j + 5*r - 30, -3*r - 3 = -4*j + 25. Let y be -2 + 3 - (2 + -4). Suppose -y*d = -d - j. Is d a multiple of 2?
False
Let d = 993 + -693. Is 43 a factor of d?
False
Let f(m) = -2*m**2 + 2*m + 4. Let u be f(-4). Suppose 3*x - 4 - 23 = 0. Is 10 a factor of (-692)/u - 2/x?
False
Suppose -4*i + s + 354 = 0, s - 391 = -4*i - 41. Suppose -i = -4*a + 24. Is a a multiple of 14?
True
Let m be 4/(-6) + (-40)/(-6). Let k = m + 12. Does 9 divide k?
True
Suppose -5*o - o + 264 = 0. Is 13 a factor of o?
False
Suppose 5*h + 3 + 57 = 0. Let s = 7 - h. Is s a multiple of 8?
False
Let r(h) = -5*h**3 - 9*h + 2. Let s(w) = -11*w**3 - 19*w + 4. Let v = -4 - -10. Let t(z) = v*s(z) - 13*r(z). Does 15 divide t(-3)?
False
Suppose 0 = r - 3*o - 22, 3*o - 4*o = -r + 26. Is 15 a factor of r?
False
Let v = -45 + 130. Suppose 2*n + 15 = -3*c + v, n = -5*c + 119. Suppose c = 4*j - j. Is 8 a factor of j?
True
Suppose 286 = 3*u - 2*o, -o + 4*o = -4*u + 387. Does 8 divide u?
True
Let l(o) = 1. Let i(h) = 3*h - 8. Let d(c) = -i(c) - 4*l(c). Let n(g) = g**3 + g**2 - 2*g + 2. Let u be n(-3). Does 12 divide d(u)?
False
Let u(a) = -6*a - a + 6 - 8. Is 13 a factor of u(-5)?
False
Let x = -12 - -5. Let z be 18/((x - -1)/(-3)). Let c(h) = 3*h - 3. Is 12 a factor of c(z)?
True
Suppose 0 = -3*f + 5*r - 6, 2*f + 3*r + 2*r = 21. Let o = f + -1. Suppose -3*h - 32 = -7*h + 5*s, 4*s = o*h - 22. Is h a multiple of 3?
True
Let m(s) = 9*s - 2. Let c be m(6). Suppose -3*y = 15, -3*v + 3*y = y - c. Does 13 divide v?
False
Let s(w) = -23*w**2 - 2. Let d be s(2). Let i be (-3 - -4)*(2 + d). Let r = -64 - i. Is 14 a factor of r?
True
Does 3 divide (-46)/(-4) - 7/(-14)?
True
Let w be (1 - (-8)/(-4)) + -3. Is 17 a factor of -1 + 0 - -83 - w?
False
Does 7 divide 6/27 - (-250)/9?
True
Let z = -21 + 21. Let d be 5 - (0 - 1)*-1. Suppose -d*b - 92 = -5*w + 3, -5*w + 5*b + 95 = z. Is w a multiple of 9?
False
Suppose 2*h = -2*c, 4*c = -2*h + 5*c. Suppose h*n - 4*n + 4*l + 136 = 0, -n + 16 = 5*l. Is 14 a factor of n?
False
Let d be 1/(-4) + 1/4. Suppose -3*c + 2*i - 6 = -d*i, c = -i + 3. Suppose -14 = -z - c. Does 14 divide z?
True
Let s be 5 + 0/(2 + 2). Suppose 0 = -g - s*l + 3*l + 46, -l = -4*g + 211. Is 26 a factor of g?
True
Suppose 0*p + 2*p - 6 = 0. Let i(t) = -5*t**p + 7*t**2 + 1 + 4*t**3 - 5*t + 1. Is i(4) a multiple of 18?
False
Suppose l - 32 = 34. Is 33 a factor of l?
True
Suppose 5*f - 1 = 4*v, 0 = -v + 2*v - 3*f + 2. Suppose -2 = -3*n + v. Suppose 3*g = 49 - n. Does 7 divide g?
False
Let t be ((-102)/4)/((-3)/12). Suppose 0 = p + t + 64. Let i = -118 - p. Is 14 a factor of i?
False
Let k(b) = b + 3. Suppose 3*l - 5 = 1. Is k(l) a multiple of 3?
False
Suppose -t = t + 10. Let n = t + 10. Suppose n*q - 71 - 69 = 0. Is q a multiple of 11?
False
Suppose 2*h + 18 = 3*h. Suppose h = 5*a - 22. Is a a multiple of 8?
True
Let j be -15*(0 - 2/5). Suppose 0*z = -a + z + j, 5*a - 4*z - 28 = 0. Does 4 divide a?
True
Suppose -j + 0*j = 0. Suppose j*r - r + 34 = 0. Is 17 a factor of r?
True
Let b(z) = -z**3 - z**2 - z + 7. Let g be b(0). Suppose -2*p = 4*o - 30, -o + 11 = g*p - 3*p. Is 3 a factor of o?
False
Let i(b) be the first derivative of b**4/4 + 7*b**3/3 - 4*b**2 - 10*b - 17. Suppose 3*f = -2*f - 35. Does 16 divide i(f)?
False
Let h be -1*(2 + 2/(-1)). Let o = 0 - h. Suppose -f - 4*f + 160 = o. Does 15 divide f?
False
Let z = 65 + -38. Is z a multiple of 4?
False
Let f be (-4)/(-1) + (-1)/(-1). Suppose 3*c - f*c = -4. Suppose -c*u = 38 - 94. Does 14 divide u?
True
Suppose -26 = -5*v - p, v - 3*v - 4*p - 4 = 0. Suppose -4*j - 1 = 3. Let i = j + v. Is 5 a factor of i?
True
Suppose -8*b + 3*w = -3*b - 225, 3*w + 141 = 3*b. Does 14 divide b?
True
Suppose 4*y = -3*u + u + 10, 5 = 5*y + 5*u. Suppose 3*w - 27 = -3*i, 24 = y*i - 0*w + w. Suppose m - i = 3. Does 8 divide m?
True
Let k(o) = 0*o**2 - 2*o + o**2 - 3*o - 7. Let y be -1 - 3 - -2 - -9. Is k(y) a multiple of 3?
False
Let b be (284/6)/(6/9). Let q = b + -43. Is q a multiple of 13?
False
Suppose 3*l = -0*d - 3*d + 159, 5*l - 109 = -2*d. Suppose 0 = -u + 5*u + 5*b - 28, 0 = -5*u - 2*b + d. Does 3 divide u?
True
Suppose -4*q - 3*t - 2*t = -42, -t = 5*q - 63. Suppose 2*f = 9 + q. Is f a multiple of 11?
True
Let b = -8 - -7. Does 12 divide (b + (-15)/9)*-9?
True
Let b be 27/(-4)*64/(-12). Does 5 divide 8/b + 464/18?
False
Let o(p) = -p**2 + 11*p - 3. Let y be o(7). Does 14 divide 1145/y + (-1)/(-5)?
False
Suppose -5*q + 6*d = 10*d - 151, -3*d - 127 = -4*q. Is q a multiple of 31?
True
Let z(c) be the second derivative of c**5/10 + c**4/4 + 2*c**3/3 + c. Is 31 