- 4. Suppose -2*d + g*d = 78. Let m = d - 7. Does 16 divide m?
True
Let m(h) = h**3 + 3*h**2 - 10*h + 4. Does 3 divide m(-5)?
False
Let u be ((-80)/(-6))/((-2)/(-6)). Suppose 7*t - u = 5*t. Is 17 a factor of t?
False
Let t(x) = -184*x**3 - x**2. Let i be t(-1). Suppose 2*a + 4*u = -47 + i, -a - 4*u + 70 = 0. Does 7 divide 2/5 + a/10?
True
Let s be 3*4*(-2)/(-6). Let l = 6 - s. Suppose 4*u = l + 14. Does 3 divide u?
False
Suppose 2*g - 38 = -5*c, -3*g = -3*c - 23 - 13. Does 13 divide g?
False
Let z(i) = -46*i - 14*i + 7*i - 1. Is 26 a factor of z(-1)?
True
Let m = 5 + -9. Let d(v) = -2*v. Let f be d(m). Suppose -b - f = -2*b. Is 5 a factor of b?
False
Suppose 0 = 4*i - 0*i - 8. Suppose i*y + 2*y = 12. Suppose -y*f = b - 126, 0 = 4*f + b - 0*b - 169. Is 17 a factor of f?
False
Suppose 6*j - 4*j = 5*h - 104, 98 = 5*h - 4*j. Does 8 divide h?
False
Let g be 101/9 - 2/9. Let m = 15 - g. Suppose -13 + 97 = m*c. Is 17 a factor of c?
False
Let m(v) = -44*v - 5. Let h(s) = 615*s + 70. Let o(c) = 4*h(c) + 55*m(c). Let f be o(5). Suppose -5*y + 201 = -r + 5*r, f = 5*y + 5*r. Is y a multiple of 14?
False
Let a(z) = -z**3 + 3*z**2 + z. Let v be a(3). Suppose v*n + 5 = x + 2*n, -2*x + 5*n + 13 = 0. Does 3 divide x?
False
Let d(w) = -w**2 - 10 + 12*w - 7*w + 11*w. Let v be d(8). Let r = v + -37. Is r a multiple of 15?
False
Let x = 113 - 105. Is x a multiple of 7?
False
Let y(g) = 4*g**2 - 2*g**2 + 3 - 9*g + 10*g. Let a(w) = 2*w. Let d be a(-2). Does 12 divide y(d)?
False
Let t(k) = -2*k**2 + 5*k - 4. Let a be t(4). Let i = a + 26. Is 4 a factor of i?
False
Suppose -4*p - a + 157 = 0, 4*p - 4*a + 23 - 195 = 0. Is 20 a factor of p?
True
Suppose o - 4*f = 32, 0*f - 49 = -2*o + 5*f. Suppose 0 = n - 1 + o. Let j = 3 - n. Is 7 a factor of j?
True
Let s(m) = -m**2 + 9*m - 6. Is 4 a factor of s(3)?
True
Suppose 0 = 3*v + v - 12. Suppose v*h - 4*h + 18 = 0. Let f = h + -4. Does 14 divide f?
True
Suppose 0 = 3*v - 3*j - 0*j - 483, 0 = -4*j + 16. Suppose 0 = o + 4*o - v. Let w = 57 - o. Is 12 a factor of w?
True
Let h be 2/(2 + 0 + -1). Suppose -a - 4*n = -20, -n + 2*n - 5 = -3*a. Suppose -h*s + a*s = -28. Does 12 divide s?
False
Suppose -m - 2*m = -6. Is 9 a factor of 4/(m/(-36)*-3)?
False
Let t be (30/(-5))/(0 + 1). Let b = t - -8. Suppose -b*y = 20 - 52. Is 8 a factor of y?
True
Let d(w) = w - 3. Let z be d(5). Let m = -2 + z. Is 11 a factor of m + 2 + 21 - 1?
True
Is 19 a factor of (-428)/(-8) + 3/(-6)?
False
Let b(g) = -14*g - 2. Suppose -3*k = -15, 0 = -3*u + k - 1 - 10. Does 13 divide b(u)?
True
Suppose 3*f + 5*k - 31 = 0, 0*f - 5*k + 23 = -f. Let p(d) = 5*d**3 - 2*d**2 - 3*d + 3. Is p(f) a multiple of 18?
False
Suppose 2*q + 4*k - 8 = 2*k, -4 = -2*q + 2*k. Suppose 0 = 3*c - 3, -q*u + 0*u + 96 = 3*c. Is 7 a factor of u?
False
Let c = -5 - -29. Does 13 divide c?
False
Let v(y) = -y + 7. Let c be v(9). Let r = c - -58. Suppose -3*l = -l - r. Is l a multiple of 10?
False
Suppose -4*g + 52 = 5*a + 2, g = -2*a + 17. Suppose -2*u = -l - 1 - a, 4*u + 2*l = 26. Is 4 a factor of u?
False
Let l(t) = t**2 - 1. Is l(2) a multiple of 3?
True
Let v(r) = 4*r**2 + r + 6. Let b be v(7). Suppose -b = -4*k + 211. Is 35 a factor of k?
True
Let c(i) = i + 5. Let n be c(-5). Does 10 divide 13 - (n - -6 - 3)?
True
Suppose -346 = -5*m + 99. Is m a multiple of 23?
False
Let m = 8 - 7. Let k be (1 + -1 + m)*0. Suppose 0 = -k*b + 5*b - 70. Does 7 divide b?
True
Let l be (-2)/(-10) + (-9)/(-5). Suppose -n = -2, -l*w - 2*w - n = -38. Is 9 a factor of w?
True
Suppose 2*c - 168 = -24. Does 8 divide c?
True
Let s = -33 - -207. Is 29 a factor of s?
True
Let r(o) = 6*o**3 - o + 1. Let b be r(1). Suppose y = -2*t + 40, b*y = 2*y + 5*t + 186. Suppose -4*a + 28 = 4*k, k + 4*k + 2*a - y = 0. Is 9 a factor of k?
False
Suppose 96*l - 98*l + 70 = 0. Does 6 divide l?
False
Let g(n) be the second derivative of n**6/40 + n**5/40 + n**4/8 + n**3/6 + n. Let v(x) be the second derivative of g(x). Is v(-2) a multiple of 12?
False
Suppose -11*x = 296 - 1176. Does 20 divide x?
True
Let b be (-162)/(-8) - 1/4. Suppose 0 = -r + 6*r - b. Suppose -r*w = -23 - 25. Is 9 a factor of w?
False
Suppose 3*c + 2*o = 231, -5*o + 142 = 2*c - 12. Does 11 divide c?
True
Let l(p) = -p**3 + 8*p**2 + 9*p + 4. Let j be l(9). Suppose j*y - 36 - 68 = 0. Does 13 divide y?
True
Suppose -k - 4*n = -2*n - 10, -2*k - 2*n + 18 = 0. Is k a multiple of 7?
False
Let p be (0 - 0)*2/6. Suppose -5*y = -p*y - 15. Suppose -7*b + 48 = -y*b. Is 6 a factor of b?
True
Let a(g) = g**2 - g - 41. Let h be a(0). Let b = h + 58. Is b a multiple of 8?
False
Let i = 183 + -18. Is i a multiple of 15?
True
Suppose 0 = -4*c + 6 + 46. Suppose 0 = -3*a - 6 + 81. Let z = a - c. Is 12 a factor of z?
True
Suppose 0 = 4*u + 4, 0 = -2*a + a - 5*u + 46. Does 7 divide a?
False
Suppose 21*k - 570 = 16*k. Is k a multiple of 21?
False
Let j(v) = -10. Let i(q) = q + 30. Let k(m) = -3*i(m) - 8*j(m). Is 11 a factor of k(-7)?
True
Let r = 0 - -18. Is 5 a factor of r?
False
Let p = 1 + -2. Let z = p - -10. Is 9 a factor of z?
True
Suppose -7 = -y + 10. Is 11 a factor of y?
False
Let k(a) = 24*a**2 + 6*a - 7. Does 14 divide k(3)?
False
Let h(y) = -y**2 + y + 2. Suppose 2*s = 2 + 4. Let n be h(s). Is n/6 + (-29)/(-3) a multiple of 8?
False
Let b = 236 - 107. Does 23 divide b?
False
Let x be 204/2*18/27. Suppose 2*o - 8 = x. Does 19 divide o?
True
Let g = -55 - -91. Is g a multiple of 12?
True
Let l be (3 - 2) + 14/7. Suppose 8*p = l*p + 120. Is p a multiple of 21?
False
Let o(c) = 43 + 26 + c + c**3 + 6. Let q be o(0). Let f = q - 50. Is 11 a factor of f?
False
Suppose -4*s - p = -3*s - 4, 5*s + 4 = 3*p. Let b = 6 - s. Suppose b*a = -5*j + 115, -j + 4*j + 4*a = 64. Does 10 divide j?
False
Let v = -43 + 238. Is v a multiple of 39?
True
Let u = -226 + 417. Does 18 divide u?
False
Let j = -5 - -10. Does 2 divide j?
False
Suppose 4*a - t - 3 + 0 = 0, -5*t = 3*a - 8. Suppose -n + 1 = -a. Does 9 divide (-2)/2*-8*n?
False
Let o(k) = -13*k**2 + 3*k - 1. Let x be o(2). Let q = -32 - x. Does 15 divide q?
True
Suppose -2*c = p + 1, p + p + 3*c = 1. Suppose -p*b + 58 = -2*k, 133 = -2*k - k - 4*b. Let s = k - -67. Is 14 a factor of s?
True
Suppose 2*m - 110 = -3*m. Suppose 3*r - r - m = 0. Is 11 a factor of r?
True
Is (-44)/66 + (-484)/(-6) a multiple of 20?
True
Suppose 5 = -a, y = a + 15 - 0. Suppose b - 8 = y. Is 9 a factor of b?
True
Let o(r) = 10 - r**2 - 7 + 4*r - r. Let b be o(3). Suppose -4*s = -b*s - 13. Does 4 divide s?
False
Suppose 5*j - 70 = 3*j. Does 35 divide j?
True
Let q = -94 - -154. Is 22 a factor of q?
False
Is 4 a factor of (-37)/(-3) - (-4 + 7)/9?
True
Suppose f + 66 = g - 3*f, f = -g + 81. Suppose -3*u - 3*w + 111 = 0, 3*u - g = u - 4*w. Suppose -3*m + u = -1. Is 5 a factor of m?
False
Let p(u) = -u**2 - 7*u + 11. Let f be p(-8). Suppose 0 = r + 3*r + f*v - 223, 2*r - 104 = -4*v. Does 29 divide r?
True
Let q = 6 + -5. Let o = 11 + -5. Is 7 a factor of (-8)/(q - 9/o)?
False
Let a(v) be the third derivative of -1/20*v**5 - 1/120*v**6 + 0 + 1/24*v**4 + 0*v**3 + 4*v**2 + 0*v. Is 5 a factor of a(-4)?
False
Let k(g) = 2*g**2 + 7*g + 6. Is 3 a factor of k(-5)?
True
Let u = 17 - 12. Suppose u*j + 10 = 0, 3*f - 3*j - 53 - 79 = 0. Is 14 a factor of f?
True
Let c(z) be the third derivative of 1/24*z**4 + 1/6*z**3 + 1/6*z**5 + 0 - z**2 + 0*z. Does 6 divide c(-1)?
False
Let y = 48 + 112. Is y a multiple of 8?
True
Let u(h) = -h + 5. Is u(-5) a multiple of 10?
True
Let c = -50 - -80. Does 10 divide c?
True
Let r be ((-1)/2)/((-1)/6). Suppose -4 - 50 = -r*o. Is 18 a factor of o?
True
Let z = -15 - -26. Let m = 23 - z. Is 6 a factor of m?
True
Suppose g + 3 = 4. Let u(l) = 38*l**2 - 2*l + 1. Is u(g) a multiple of 10?
False
Let d(x) = 4*x - 4. Is d(6) a multiple of 7?
False
Let x be (-6)/(-2) - (3 + -4). Suppose 116 = 3*s + x*b, -4*s - 2*b - 3*b = -153. Is 16 a factor of s?
True
Let n be -2 + (-1)/(3/(-162)). Let l = 95 - n. Suppose l + 27 = 5*z. Is 14 a factor of z?
True
Suppose 2*x + 2 = 6. Suppose -v + 21 = x*v. Is v a multiple of 3?
False
Let l(v) = v - 2. Let m be l(2). Suppose -i + 54 = -m. Suppose -2*x = -5*x + i. Does 6 divide x?
True
Let p be 4/(-3 - -2)*5. Let j be (4/10)/((-2)/p). Is 2/(-8) - (-65)/j a multiple of 16?
True
Let f be ((-6)/2)/(-3) + 1. Let n(p) = -5*p**3 