- 10 = -z, -3*z + 15 = -2*l. Does 9 divide z - -5 - p/1?
True
Let i(w) = 2*w**3 - 4*w**2 + 13*w - 35. Does 15 divide i(8)?
False
Let q(s) = 15*s - 4. Let x = 7 + -1. Let i be q(x). Suppose 4*d - 82 = i. Does 21 divide d?
True
Let r(f) = -f**2 + 5*f - 6. Let s be r(5). Let m = s + 11. Suppose m*t + x - 171 = -0*t, 3*x + 12 = 0. Is t a multiple of 16?
False
Suppose -p = -1, 214*x = 210*x - 2*p + 654. Does 4 divide x?
False
Let g(w) = -w + 36. Suppose 6 = 4*b + 3*i - i, 4*b + i - 9 = 0. Suppose 5*j = 3*j + b*n, 3*n = -3*j. Is g(j) a multiple of 36?
True
Let b(p) = -31*p + 11. Let j be b(-3). Suppose -l = 5*h - j, 3*h - 32 + 240 = 2*l. Is l a multiple of 50?
False
Suppose 0 = -3*u - 3*y + 12, 2*y = 4*u - y - 9. Suppose 5*w - u*w = 24. Suppose -w - 30 = -3*k. Is k a multiple of 14?
True
Let o be 0/(-1 + 2 + 0). Suppose -3*t = b + 11, 5*b - 3*b + 4*t + 12 = o. Suppose 0 = -v - 4, -5*f + f - b*v = -208. Is f a multiple of 20?
False
Let k(l) = 16*l + 20. Let q be k(7). Does 11 divide (-1)/((-136)/q - -1)?
True
Let l = -310 + 521. Does 11 divide l?
False
Suppose 0 = -0*l + l + 5*g - 52, -5*l + 283 = 2*g. Let a = -6 - -6. Suppose 2*n = 5*t + l, 3*n + 2*t + a*t = 38. Does 16 divide n?
True
Let n(x) = 2*x**3 - 7*x**2 + 9*x + 3. Let g be n(4). Is 8 a factor of 56*g/77*12/10?
True
Suppose 4*f - 100 - 24 = 0. Let r = 26 + f. Suppose 0 = 4*d + 5*z - r - 58, 5*d + 5*z = 150. Is 9 a factor of d?
False
Let r(u) = u. Let o be r(1). Let c(k) be the third derivative of 7*k**5/20 - k**4/8 + k**3/3 + 6*k**2. Is c(o) a multiple of 4?
True
Let x(w) = -w - 1. Let t be x(-5). Suppose -2*r + u + 131 = 0, t*r - u = 2*u + 261. Suppose -2*n + r = n. Is n a multiple of 11?
True
Suppose -3*m - 17 = -5*g, 0 = -2*g + 4*g + 4*m - 12. Suppose 2*d = g*d - 150. Is 25 a factor of d?
True
Let j be (2 + -3)/(4/(-4)). Let n = j + 39. Is 10 a factor of n?
True
Let w(b) = 25*b**2 + 2*b + 6. Is w(-3) a multiple of 15?
True
Let i be (2 - 3) + 44/4. Suppose -385 = -i*o + 235. Is o a multiple of 31?
True
Let p be 3/1 + -7 - -8. Suppose p*l + x = 26, 4*l - 2 = 2*x + 30. Suppose 10*b - l*b - 96 = 0. Is b a multiple of 8?
True
Let w(c) = c**3 + c + 1. Let a(d) = -5*d**3 - 7*d**2 - 4*d - 17. Let f(q) = -a(q) - 4*w(q). Is 19 a factor of f(-6)?
False
Let j(a) = 18*a - 2 - 1 - 1 + 0. Let o be j(6). Suppose -r + 4*r = g + 181, 2*r - o = 4*g. Is r a multiple of 24?
False
Suppose -3*v = -2*v - 3*s - 115, 370 = 3*v - 4*s. Does 16 divide v?
False
Let a(f) = 15*f - 17*f**2 - f**3 - 37 + 2*f**3 + 58 - 30. Is a(17) a multiple of 49?
False
Suppose -2*j - 29 = -7*j - 2*f, -2*f + 9 = j. Let w be ((-3)/j)/((-1)/5). Is (w/1 - 28)*-1 a multiple of 8?
False
Let s be 6/(-2) - (-6)/2. Suppose -4*q = -0*u + u - 11, s = q - 5*u + 13. Suppose -5*c - 4 = 4*a - q*a, -c - 20 = -2*a. Does 2 divide a?
True
Suppose 1027*o - 1019*o = 9520. Is o a multiple of 17?
True
Let n(o) = o**3 + 9*o**2 - 11*o - 12. Let z be n(-10). Let l(w) = -w + 7. Let c be l(-3). Let f = c + z. Is f a multiple of 8?
True
Let r be (4/6)/((-10)/(-45)). Let a be (-3)/r + 166 - -4. Let z = a + -111. Is 16 a factor of z?
False
Suppose 19*h - 20*h = -2*o + 841, -4*o + 1675 = 5*h. Is o a multiple of 5?
True
Suppose -b + 232 = b + 2*w, 4*b - w = 454. Is b a multiple of 6?
True
Suppose 0 = -6*r + 34 - 106. Is (2/((-24)/237))/(3/r) a multiple of 15?
False
Is (-4 - -4) + 145 + -1 a multiple of 36?
True
Let x(r) = 9*r. Let o(g) = 8*g. Let a(n) = 9*o(n) - 6*x(n). Is 14 a factor of a(6)?
False
Let l = 2692 - 1249. Is l a multiple of 37?
True
Does 32 divide 1155/12 - 5/20?
True
Let f(n) = 3*n + 3. Let r be f(-2). Let w(k) = k**2 + 3*k. Let c be w(r). Suppose c = -3*z - 2*i - 2*i + 119, 4*z - 2*i - 122 = 0. Is z a multiple of 11?
True
Let y(f) = f**3 + f**2 + f - 1. Let j(u) = -2*u**3 - 13*u**2 + 11*u + 13. Let h(i) = j(i) + 3*y(i). Does 30 divide h(10)?
True
Suppose 2*l + 7 = n, l - 4*n + 8 = n. Is 5 a factor of 3/l*15*4/(-3)?
True
Let n(r) = 3*r**3 + 2*r**2 - 6*r - 2. Let y be n(5). Let g = y + -153. Suppose 4*k + k - g = 0. Is 16 a factor of k?
True
Suppose 5*l = 3*z + 2450, -5*l + l - z + 1960 = 0. Is 7 a factor of (l/(-40))/((-3)/24)?
True
Suppose -6*s + s - 5 = 0. Let z = s - -7. Is 6 a factor of z?
True
Let y = -16 + 16. Is -17 + 14 + (y - -39) a multiple of 6?
True
Let b(g) = 5*g - 3*g**2 - 8 + 2*g**2 + g**3 + 3. Let t be ((-16)/(-12) - 2) + (-22)/(-6). Does 8 divide b(t)?
False
Let x(k) = 44*k - 51. Is 76 a factor of x(16)?
False
Suppose -10 = 5*r, -2*r - 172 = -4*o - 4*r. Let g = o - 9. Does 11 divide g?
False
Let m be 32/(-48)*((-1)/(-2) - -1). Is 14 a factor of ((-14)/m)/((4/24)/1)?
True
Let k(o) = 2*o**2 + 2*o + 20. Suppose -t + 0*y = -y - 10, y = 2*t - 17. Is k(t) a multiple of 12?
True
Suppose 0 = 3*x - 7*x + 136. Suppose 174 = -0*p + 5*p + f, -f + x = p. Does 35 divide p?
True
Let r = 38 + -35. Suppose -r*i = -24 - 9. Is i a multiple of 2?
False
Let w = 1172 + -555. Is w a multiple of 17?
False
Suppose 5*y = -8*y + 8047. Does 55 divide y?
False
Suppose -11 + 7 = -2*c. Suppose -c*x - 3*x + 4 = 3*i, -2*x = 5*i - 13. Is 13 a factor of x/(-4) - (-474)/24?
False
Let c(r) = r**3 + 14*r**2 - 3*r + 15. Let k(t) = -t - 1. Let l(h) = -c(h) + 5*k(h). Is l(-14) a multiple of 4?
True
Let q = 10 - 5. Suppose 10*c = q*c - 3*y + 34, 0 = 5*c + 4*y - 37. Let r = 0 + c. Is r a multiple of 3?
False
Suppose 0 = -l + c + 147, 6*l - 3*l - 5*c = 447. Suppose 19*a - 16*a = l. Does 4 divide a?
True
Let x = 7 + 14. Suppose 0 = -4*q - 3*o + x, -2*q - 5*o + 19 = 2*q. Let w = 21 - q. Is 7 a factor of w?
False
Suppose -4*y = -c - 24, 0 = -4*c + 3*y - 13 - 44. Let m be (-10)/(-4 - c/4). Let d = m - -30. Is d a multiple of 13?
False
Suppose 144 = 2*q - 300. Does 8 divide q?
False
Let r(y) = y**2 - 5*y + 13. Let a = 24 + -17. Is r(a) a multiple of 5?
False
Suppose -5*w + 4 + 1 = -2*r, 4*r - w = -19. Let q = 16 - r. Is 7 a factor of q?
True
Let d = 140 + -24. Is d a multiple of 12?
False
Suppose -7*y = -31 + 556. Let b = y + 88. Is 3 a factor of b?
False
Let t(q) = 6 - 2*q - 2*q + 3*q + 6*q. Let l be t(7). Suppose 0*d - 2*d = 2*x - 46, -x + 5*d = -l. Is x a multiple of 7?
False
Let c(x) = -2*x**3 - 5*x**2 + 4*x + 8. Let r be c(-4). Let q = r - 40. Suppose -20 = -5*j - q. Is j a multiple of 3?
False
Let p(o) = 170*o**2 + 4*o + 3. Let f be ((-9)/(-3) - 2)/(-4 + 3). Is p(f) a multiple of 17?
False
Let c = -11 - -16. Suppose 0*k - 420 = -5*k - c*m, 4*k - 296 = 4*m. Is 13 a factor of k?
False
Let f be 1 + -3 + -2 + 4. Let g = f - 0. Suppose n - 98 = -3*b - 3*n, g = 3*b + 2*n - 88. Is b a multiple of 8?
False
Let g be (1 - 1) + (8 - 6). Suppose 0 = 4*o + 10 - 22, g*y + o = 267. Is y a multiple of 33?
True
Suppose -v = 3*v - 20. Let n = 8 - v. Suppose -l - 24 = -n*l. Is l a multiple of 11?
False
Let s = -22 + -89. Is 20 a factor of 4*((-3)/(-4) - s/12)?
True
Let l be -1 - (-9)/(45/20). Suppose -5*x = l*x - 272. Is 26 a factor of x?
False
Does 4 divide (-1)/(-3) + (1288/42 - 2)?
False
Suppose 0*a + 5*a = -5*w + 335, 4*a + w - 283 = 0. Suppose -4*p = -5*z + 61, p - z - 6 = -4*z. Does 6 divide 2536/a + 2/p?
False
Does 27 divide 59*(5 + -18)*-1?
False
Let a = 23 - 23. Suppose 6*x + 3 - 15 = a. Suppose 41 = 2*k + 3*m, -30 = -x*k - 4*m + 8. Is 6 a factor of k?
False
Let z(w) = w**3 + 6*w**2 + 5*w + 2. Let d be z(-5). Let b be d/9 + (-4)/18. Suppose v = 2*t + 119, b*v - 2*v + t + 223 = 0. Is v a multiple of 22?
False
Let c(y) = 3*y + 7. Let p be c(9). Let d = -8 + 46. Suppose 0 = -t - 3*h + 24, -3*t - 5*h = -p - d. Is t a multiple of 7?
False
Suppose -3*d - 6 = 9. Is 8 a factor of 2/d - (-232)/5?
False
Let u(n) = 2*n - 3. Let q be u(8). Let g be -3*1/(-12)*-4. Let a = g + q. Is a a multiple of 10?
False
Does 21 divide ((-21)/(-2) - -3)*14?
True
Suppose -2*l + 465 - 67 = -2*v, -2*l + v = -403. Does 17 divide l?
True
Let d(m) = -7*m + 34. Let z be d(5). Is 10 a factor of (z - 0)*4 - -31?
False
Let t = 13 + -4. Suppose -y + 4*y - t = 0. Is 9/(y + 0) + 3 even?
True
Suppose 2*k = 3*k - 52. Let h = 101 - k. Does 7 divide h?
True
Let j(x) = 3*x - 29. Let z be j(9). Is 5 a factor of ((-5)/z)/(234/(-60) + 4)?
True
Suppose -8*d + 8*g = 3*g - 6180, 2*g = -8. Is 10 a factor of d?
True
Let i = -21 - -40. Let o = i + -11. Let k(s) = s**3 - 8*s**2 + s - 4. Is k(o) a multiple of 3?
False
Suppose 36 = -0*i + 5