 7 + 38 = d*v. Suppose f = 2*f - v. Is f a multiple of 5?
True
Let b(j) = j**3 - 8*j**2 - 9*j + 4. Let f be b(9). Suppose -f*x = -16 - 36. Does 4 divide x?
False
Let k be 1/3 - 137/(-3). Is k/(-4)*-2 - 1 a multiple of 22?
True
Suppose -a - 4*t = -88, 6*a + 3*t - 309 = 3*a. Is 27 a factor of a?
True
Let v(q) = -76*q**3 + 2*q**2 - q. Let u be v(1). Let d be ((-18)/15)/(3/u). Suppose -m = 3*r - 26 - d, -2*r = -4*m + 154. Does 14 divide m?
False
Let f(r) = 43*r**3 - r + 2. Is 5 a factor of f(1)?
False
Let b(x) be the first derivative of x**4/4 - 4*x**3/3 + 5*x**2/2 - 2*x + 1. Suppose 0*t - 3*t + 5*g = -9, -3*t + 2*g + 9 = 0. Does 2 divide b(t)?
True
Let q = 4 - 2. Suppose -2 = -r + q. Suppose -2*u + 2*x = -12, 0 = -r*u - 0*x - 2*x + 12. Does 3 divide u?
False
Let s be (-1 + 1)/(-2 - -1). Does 5 divide (s - 0)*-1 - -5?
True
Suppose 0 = -g + 5. Suppose -u + g*d + 51 = 2*u, u = 4*d + 24. Does 12 divide u?
True
Suppose 2*i = -3*i - 30. Let v be (i/15)/(2/10). Does 8 divide 1*((0 - -18) + v)?
True
Suppose -4*t = -d + 70, -2*t - 332 = -5*d - 0*t. Suppose 2*k = -3*u + 41, 0*k = 3*k + 3*u - d. Does 17 divide k?
False
Let j = -3 + 87. Suppose 4*a = 378 - 74. Suppose j = 5*x - a. Is x a multiple of 16?
True
Suppose 3*j = 2*j + 2. Suppose -9 = -h - j*h. Suppose -40 = -4*x + h*z, 3*x + 3*z - 30 = -z. Is x a multiple of 9?
False
Suppose 0 = -4*z - 16, 0 = -2*u + z + 148 - 4. Does 22 divide u?
False
Let d(a) = 2*a**2 + a - 3. Is d(3) a multiple of 9?
True
Let o(c) = -42*c - 31. Is 17 a factor of o(-6)?
True
Let d = -7 - -15. Let z = -2 + d. Is z a multiple of 2?
True
Let k(z) = z**3 - 4*z**2 + z - 2. Let r be k(3). Let v(h) be the second derivative of -h**3/3 - h. Is v(r) a multiple of 16?
True
Let h = 18 - -38. Suppose -4*i + 4*x + 0*x = -h, 0 = -i + 5*x - 6. Is i a multiple of 15?
False
Let g = 350 - 210. Does 10 divide g?
True
Let a(h) = h**3 - h**2 + h + 8. Suppose -3*f - 9 = 5*c, 2*f - 3 = -9. Does 8 divide a(c)?
True
Let f = 2 - -86. Is f a multiple of 22?
True
Is -1*(-939)/4 - 6/8 a multiple of 13?
True
Let o = -5 - -13. Let p = 19 - o. Does 4 divide p?
False
Suppose -5*m + 213 = -3*s, m = s - 2*s - 79. Let b be 6/2 + s/(-2). Suppose -n + 78 = 2*n - 2*w, 2*n - 5*w - b = 0. Does 14 divide n?
True
Let l(p) = -p**3 + 7*p**2 - 3*p + 4. Is l(4) a multiple of 8?
True
Suppose -4*g + 18 = -18. Is 2 a factor of g?
False
Suppose 2*x + 1371 = 5*p, -2*x + 1368 = 5*p - 3*x. Is 21 a factor of p?
True
Let t(h) = -10*h + 7. Let k be t(4). Does 11 divide 179/7 + k/(-77)?
False
Let z be (36/(-15))/(2/25). Is 9 a factor of 91/5 - (-6)/z?
True
Suppose -4*p + 1 = -s, 5*p + 25 = 5. Does 11 divide 0/(-3 + 0) - s?
False
Suppose 0 = f - 2*w - 3*w - 30, -3*w = -2*f + 67. Does 12 divide f?
False
Let w = 8 + -49. Let r = 125 + w. Is 28 a factor of r?
True
Suppose -c + 3 = 1, 2*a + 2*c = 60. Suppose -2*w = 2*w. Suppose k - 5 = w, 3*o - 2*k - a = 7. Is 14 a factor of o?
False
Let r = 408 - 219. Is 30 a factor of r?
False
Let a be (-154)/10 - 12/20. Is 14 a factor of a/(-20)*11*5?
False
Let o be (12/18)/((-1)/(-6)). Is 7 a factor of o - -2 - (-12)/4?
False
Is 15 a factor of 14 + (-5 - -3 - -3)?
True
Let w be -4 - -20 - (1 + 0). Let j be (18/w)/(2/10). Suppose -4*p + 16 = i - j, 0 = 3*p - 9. Is 10 a factor of i?
True
Let r(g) = -4*g + 5. Let u(m) = 12*m - 16. Let x(p) = -7*r(p) - 2*u(p). Is x(9) a multiple of 11?
True
Let i(j) = -2*j - 1. Suppose -4*y + y - 9 = 0. Let m be i(y). Suppose 3*z - 4*z = -2*x + 43, -2*x - m*z + 13 = 0. Does 10 divide x?
False
Let k(o) = o**2 - 7*o - 6. Let r be k(8). Let w(v) = v**3 - 2. Let q be w(r). Suppose 0 = -2*c + q*c - 56. Does 14 divide c?
True
Let k(x) = -10*x - 9. Let s(h) = -1. Let g(l) = k(l) - 6*s(l). Suppose 5*o - 7 = 4*b, 5*b - 3*o = -6*o - 18. Is g(b) a multiple of 9?
True
Let d = -28 + 20. Let s(u) = u**3 + 8*u**2 - u. Is s(d) a multiple of 7?
False
Let j be (-3)/(27/(-12) - -3). Is 0 + -3 + 57 + j a multiple of 13?
False
Let o be (-20)/25 + 142/(-10). Let s = -5 - o. Is 9 a factor of s?
False
Suppose -s = 3 + 1, 0 = -3*x - 3*s + 18. Does 9 divide (-114)/(-4)*x/15?
False
Suppose -c + 1 + 13 = 0. Let r be 6/21 + 38/c. Suppose a - w - 4 = 0, -r*a - 2*w = -4*a + 1. Does 6 divide a?
False
Let i be -2*1 + 194/2. Suppose -190 = -5*j - 5*c, c + i = 3*j - 35. Suppose -3*f - 2*x = -80, -3*f + 34 = -2*x - j. Does 10 divide f?
False
Suppose 5*a - 368 = -b - 2*b, a - 96 = 5*b. Is 19 a factor of a?
True
Suppose -1 = -3*h + 5. Let y = 12 - 7. Suppose -q - y = 0, q - 1 - h = -i. Does 4 divide i?
True
Let w(p) = 26*p + 12. Does 13 divide w(5)?
False
Let s = -84 + 284. Is s a multiple of 40?
True
Suppose 52 = 7*s - 3*s. Is 13 a factor of s?
True
Let z(s) = 3*s**2 + 6*s + 17. Let v(y) = 2*y**2 + 4*y + 11. Let n(g) = 8*v(g) - 5*z(g). Let j be (-40)/(-16)*(-12)/10. Is n(j) a multiple of 4?
False
Let f be (-4)/(-10) - (-44)/(-10). Is 13 a factor of ((-39)/(-6))/(f/(-8))?
True
Let w be (2/(-2))/(4/8). Let t = -3 - w. Does 22 divide (8 - t - -2)*2?
True
Suppose -41 = -3*w + 82. Is w a multiple of 8?
False
Suppose 0 = 3*u + 4*u - 112. Is u a multiple of 16?
True
Let f be ((-40)/(-15))/(4/6). Let w(z) = 7*z + 8. Does 8 divide w(f)?
False
Let m be (-1 + -27)*(-3)/2. Suppose 5*l = 3*l + 148. Let n = l - m. Does 16 divide n?
True
Let a = -472 - -912. Suppose -4*g + a = l, 0*g = 4*g + 2*l - 444. Suppose -5*j + b = -g, -4*j + 89 = j + 4*b. Is 8 a factor of j?
False
Let j(m) = 16*m**2 - 1. Suppose 0*b - 2*b + 2 = 0. Is 7 a factor of j(b)?
False
Let b(u) = -u**2 + 16*u - 19. Is 4 a factor of b(13)?
True
Let o(c) = c**2. Let s be o(3). Let u = -6 + s. Suppose -q = u - 8. Is 4 a factor of q?
False
Suppose 2*a = 415 + 117. Suppose m + 3*m + 5*k - a = 0, 5*k = 3*m - 217. Let t = m - 45. Is 16 a factor of t?
False
Let s = -62 - -93. Is s a multiple of 9?
False
Let p = 14 - -40. Does 18 divide p?
True
Suppose 4*l - 3*v - 153 = -14, 2*v - 32 = -l. Is l a multiple of 7?
False
Suppose -5*t - 8*x + 3*x - 15 = 0, -3*t + 2*x = -16. Let b be -3 + 1 - (t + 0). Let g(u) = u**3 + 6*u**2 + 7*u + 5. Is g(b) a multiple of 9?
True
Suppose 2*y = -2*d + 50, -5*d - 7 = y - 116. Let x = d - 8. Is 12 a factor of x?
False
Let t be (-11)/3 + (-2)/(-3). Suppose 3*r - 8 = -2. Let w = r - t. Does 3 divide w?
False
Suppose h - c - 5 = 0, 0*h + 13 = 5*h + c. Suppose -2*k + 5 = 2*a - 1, k - h*a = 7. Is k a multiple of 3?
False
Suppose 1 = -4*q + 9. Let z(w) = 13*w**2 - 4*w + 2. Is 23 a factor of z(q)?
True
Let d be (-30)/(-8) - (-6)/(-8). Suppose -d*n + 163 = 4*z, -4*z - 4*n = -9*n - 123. Is 13 a factor of z?
False
Let a = 90 + -56. Does 12 divide a?
False
Does 62 divide 233 - 8/(3 + 1)?
False
Suppose -3*n = -6*y + 4*y + 39, n - 4 = -5*y. Let f = 33 + n. Is f a multiple of 6?
False
Let o = 704 - 337. Is 23 a factor of o?
False
Let n(c) = 4*c**2 + c + 1. Let j be (4/(-5))/(6/(-15)). Suppose 0 = -j*s + p + p - 4, 2*p = 8. Is n(s) a multiple of 7?
False
Let j(m) = 2*m**2 + 7*m - 3. Let a(g) = -5*g**2 - 15*g + 5. Let y(h) = -4*a(h) - 9*j(h). Is 21 a factor of y(5)?
True
Suppose -4 = i - 9. Suppose -i*d - 5*b = -40 + 10, -4*d + 18 = 2*b. Does 2 divide d?
False
Let a(c) = c**3 + 8*c**2 + 8*c + 8. Suppose 4 + 8 = -2*z. Is a(z) a multiple of 11?
False
Is (-15)/(-2)*(-140)/(-21) a multiple of 17?
False
Suppose -2*j = 4*p - 542, 4*p + 301 = j - 0*j. Let n = j + -395. Does 22 divide ((-3)/(-6))/((-1)/n)?
False
Let o = -230 + 123. Let h = 211 + o. Is h a multiple of 27?
False
Suppose 6*b - b = 40. Let p(d) = 3*d + 1. Is 9 a factor of p(b)?
False
Suppose -3*t + 3*u = -54, -5*t - 2*u = -u - 60. Is 13 a factor of t?
True
Let q(u) = u**3 - 3*u**2 + 4*u - 2. Let k be q(2). Let t = 3 + 2. Suppose -k*l = -3*l + t. Does 5 divide l?
True
Suppose 415 = 5*k + c + 4*c, -k + 2*c = -86. Is k/10 + 8/(-20) a multiple of 2?
True
Suppose 4*d + 96 = 2*s, 3*s - 11 - 1 = 0. Let h = -13 - -1. Let p = h - d. Is p a multiple of 3?
False
Let q be 1/2 + 4/8. Does 2 divide q/2*10 + 0?
False
Let w be 3/15 + (-44)/(-5). Let s = w - 6. Suppose 145 = 5*k + 3*j, k + 5 = s*j + 52. Is 17 a factor of k?
False
Let x be 924/27 + (-2)/9. Suppose -5*b + x = -3*b. Is b a multiple of 9?
False
Let g be (-18)/(-2)*-1*1. Let j = 27 - 34. Does 9 divide (-3 - j)/((-2)/g)?
True
Let g = -8 + 7. Let f = 6 - g. Is f a multiple of 7?
True
Let w(o) be the second