ue
Suppose -270*b + 15015 = -255*b. Does 91 divide b?
True
Let k(d) = 6*d + 6. Let i(j) = -j**2 + 7. Let y be i(3). Let u be k(y). Is 16 a factor of u/10 - 1328/(-80)?
True
Suppose -19*i + 3977 = 880. Is i a multiple of 12?
False
Let o(s) be the third derivative of -s**6/120 - s**5/10 - 7*s**4/24 - s**2. Let r be o(-5). Suppose -r*z = -9*z - 40. Is 13 a factor of z?
False
Suppose 3*r = -c + 25, -4 - 9 = -3*r + 2*c. Suppose -4*q = -1 - r. Let x(b) = 4*b**2 + 4*b - 4. Is 16 a factor of x(q)?
False
Suppose -5*b - 5*p + 365 = 0, 300 = 4*b + 2*p - 6*p. Suppose -2*s + 4*a - b = -3*s, a = 3*s - 157. Is s a multiple of 18?
True
Let q be 4/2*1 - 1. Suppose j = 2*w + 4, -3*j - 2*w - 4 = 2*j. Does 21 divide (-1 + j)/(q/(-34))?
False
Suppose 0 = -w + 3*k - 598, -736 - 505 = 2*w + 3*k. Let r = -406 - w. Does 21 divide r?
False
Let h = -10 + 11. Let i = h - -1. Let q(d) = 14*d**2 - 2. Is q(i) a multiple of 17?
False
Let x be 14/35 + (-27)/5. Let s(r) = -r**3 - 6*r**2 - 5*r + 7. Let n be s(x). Does 6 divide (-24)/n*(-2 + -5)?
True
Let x(q) = -q + 6. Let n be x(3). Suppose 3*p - 84 = -5*y, 0 = 4*y + n*p - 1 - 68. Is y a multiple of 4?
False
Suppose -27 = -6*o + 5*o. Let h = o - -9. Does 9 divide h?
True
Let v be -4 - (-9)/2*22. Suppose -4*f + 185 + v = 0. Is 5 a factor of f?
True
Let n be 45/18*32/10. Let i(q) = 29*q - 17. Is i(n) a multiple of 9?
False
Let j(a) = -a**2 + 13*a + 1. Suppose -26 + 54 = 4*z. Is j(z) a multiple of 18?
False
Suppose -6 = 2*z, w + 1749 = -w + 5*z. Is 9 a factor of ((-2)/4)/((6 + 1)/w)?
True
Suppose 0 = 51*u - 5698 - 6542. Is u a multiple of 12?
True
Suppose 0 = 2*x - 72 - 142. Suppose -49 - x = 6*n. Is (n/(-4))/(1/2) a multiple of 2?
False
Let w(f) be the second derivative of -f**4/12 + 23*f**3/6 - 37*f**2/2 - 27*f. Is w(16) a multiple of 19?
False
Suppose -t + 3*a - 7 = 0, -2*a = -0*t + 2*t - 2. Let d(y) = y**2 + 1. Let k(n) = 35*n**2 - n + 2. Let h(w) = -6*d(w) + 2*k(w). Is 16 a factor of h(t)?
True
Let m(v) = 150*v**2 + 18*v + 64. Is 68 a factor of m(-3)?
True
Let x be 3/(-12) - (-1)/4. Suppose -3*f + 4 - 1 = x. Is 14 a factor of 28/((3 - 1)*f)?
True
Let v = 1680 + -1116. Is 39 a factor of v?
False
Suppose 5*t + 4*j = 112, 0 = -3*t + 7*t - 4*j - 104. Let x be (5 + 11/(-2))*34. Let a = x + t. Is a a multiple of 5?
False
Suppose -f = 5*d - d - 679, -4*d + 4*f + 704 = 0. Is 5 a factor of d?
False
Let t be (-3 - -4)*-1*0. Let i(b) = -1 + 6*b - 79*b + t. Is 11 a factor of i(-1)?
False
Let a = -1565 + 3229. Suppose 3*x - y - 703 = 302, -5*x - 2*y + a = 0. Is x a multiple of 20?
False
Suppose n + 2*t = -2*n + 23, 2*n = -4*t + 2. Suppose -5*r + 1 = -24. Let f = r + n. Is f a multiple of 4?
True
Suppose -4*b + 788 = 3*n, -2*n = -4*b + 11 - 503. Does 32 divide n?
True
Suppose 4*n - 162 = 106. Suppose 10*b = 777 - n. Is 7 a factor of b?
False
Let y(d) = 858*d**2 - 21*d - 21. Is y(-1) a multiple of 78?
True
Let f be 10/3*54/45. Suppose -18 = -5*b + f*g, -4*b = -g - g - 12. Suppose 0 = -b*x - 4, -x = 3*y - 101 - 26. Does 10 divide y?
False
Suppose 38 = 14*x - 32. Suppose -f + 2*o - 11 = -153, -2*f - x*o + 302 = 0. Does 17 divide f?
False
Let m(n) = 15*n + 34. Let f(i) = -8*i - 17. Let j(k) = 11*f(k) + 6*m(k). Is j(0) a multiple of 16?
False
Let z(v) = v**2 + v - 8. Let d be z(0). Let q(g) = -4*g + 8. Does 8 divide q(d)?
True
Suppose -4*x + 24 + 28 = 2*z, z + 64 = 4*x. Suppose 3*g = -0*g + x. Is g a multiple of 2?
False
Let v = 182 - 71. Let o = 243 - v. Is o a multiple of 12?
True
Let t be -11 - -9 - (-42)/(-2). Let i = 42 + t. Let m = 36 - i. Does 17 divide m?
True
Let g(b) = -18*b**3 + 2*b**2 - 2*b - 32. Is 20 a factor of g(-4)?
True
Suppose 712 = 9*k - 98. Is k a multiple of 10?
True
Suppose -3126 + 46 = -5*o. Is 11 a factor of o?
True
Suppose 0 = -13*t + 10*t + 186. Let p = 78 - t. Is 5 a factor of p?
False
Let o(v) = 13*v - 10. Let r be 10/3*24/20. Does 34 divide o(r)?
False
Let d(k) = 14*k**2 + 15*k - 45. Is 7 a factor of d(3)?
True
Let k be (-267)/3 - (-4)/(-2). Let o = 203 + k. Is o a multiple of 16?
True
Let m(d) = 5*d**2 - d + 6. Suppose 8*v - 5*v - 18 = 0. Let g be m(v). Suppose -3*b = b - g. Is b a multiple of 15?
True
Let b(k) be the third derivative of k**5/60 + 2*k**3/3 - 7*k**2. Let j be b(0). Let q(f) = 3*f - 7. Does 2 divide q(j)?
False
Let p(s) = -s**2 + 6*s + 6. Let x be p(7). Let f be -2 + (3 - (x - 11)). Is f - (1 - (-2 + 1)) a multiple of 11?
True
Let i = -1563 - -3349. Is i a multiple of 30?
False
Suppose 9 = 92*n - 93*n. Let c(t) = 1 + 6 - 8*t - 3. Is 18 a factor of c(n)?
False
Suppose -3*s + 20153 = 2*h, -2*h = -3*s - 6*h + 20155. Suppose 4*o + 5*z - 4495 = 2*o, -3*o + z + s = 0. Is 11 a factor of o/50 + 1/5?
False
Suppose 4*f = 7*f + 5*y - 440, f + 4*y - 135 = 0. Is 31 a factor of f?
True
Let w(t) = t**2 + t + 4. Let y be w(0). Suppose -2*s + 88 = 2*n - 10, 112 = 3*n - y*s. Is n a multiple of 3?
False
Suppose -3*d + 13 = 3*n - 4*n, -5*d + 3*n = -15. Does 3 divide (13 + -3 + 2)*d/4?
True
Let o = 21 - -16. Suppose -3*h = -4*q + o, 5*h + 1 = q - 4. Is 2 a factor of q?
True
Let m(s) = -s**3 - 7*s**2 + 26*s + 8. Let g be m(-11). Suppose 0 = 6*u - g - 166. Is 16 a factor of u?
False
Let j = 55 + -28. Let h = 47 - j. Let i = 8 + h. Does 14 divide i?
True
Let j = -56 - -55. Does 11 divide 37 - (j - (-1 + 4))?
False
Let q be 0 - 3/(-3)*3. Is 6 a factor of (24/(-8))/(((-4)/q)/4)?
False
Let o(d) be the first derivative of -d**4/4 - 3*d**3 - 11*d**2/2 - 9*d + 1. Let j be o(-8). Suppose 3*v - j = 0, 3*v = 5*i - 65 + 25. Does 3 divide i?
False
Let b = -55 - -356. Is (4/14)/(-1) + 16039/b a multiple of 5?
False
Let y(g) = -g**2 + 39*g - 40. Is y(35) a multiple of 6?
False
Let n be 3 + -5 + 1 - 8. Let h be (-2)/(-6) + (-231)/n. Suppose 0*d - 3*s = 2*d - 31, -d + h = -2*s. Is 8 a factor of d?
False
Let y = 107 - 99. Suppose 2*n + t = n + y, -3*n + 23 = 4*t. Is n even?
False
Let r = -447 - -543. Does 9 divide r?
False
Suppose -6*y - 4*a = -4*y - 20, -3*y - 5*a = -32. Is y a multiple of 3?
False
Let o(x) = -x + 4*x - x**2 + 8*x. Does 23 divide o(8)?
False
Let g(d) = -27*d - 54. Is 24 a factor of g(-12)?
False
Let s be (-49)/(3/(4 - 7)). Let f = -39 + s. Is 10 a factor of f?
True
Let m(u) = -u**2 + 9*u - 8. Let d be m(12). Is 7 a factor of (-8)/d - (-1083)/33?
False
Let m be (0 - -3) + -10 - -1. Does 8 divide (40/m)/(5/(-60))?
True
Let v = 22 + -16. Is 3 a factor of (6 - -12)*v/4?
True
Let v = 11 + -5. Let d = v - 3. Suppose 2*m + 2*s = d*m - 10, m = 4*s + 16. Does 2 divide m?
True
Suppose -5*g = -4*g + 5. Is 21 a factor of g + 4 - 3/((-3)/134)?
False
Let z(t) = t**2 - 10*t + 10. Let f be z(9). Is (4/(-2))/(20/22 - f) a multiple of 5?
False
Let t(f) = 17*f**2 + 17*f + 114. Is t(-15) a multiple of 19?
False
Suppose 6*h - 48 = 2*h. Suppose 2 = p + 4*c - 10, -c = p - h. Let a = -5 + p. Is 5 a factor of a?
False
Let u be (3 - 3) + 69 - 4. Let q(v) = -v**3 + 6*v**2 + 3. Let a be q(3). Suppose 5*n - 3*t = u, 4*t = -5*n - 0*t + a. Does 10 divide n?
True
Let d(w) = -2*w**2 + 19*w - 10. Let n(m) = 2*m**2 - 20*m + 10. Let r(f) = -5*d(f) - 4*n(f). Let h(p) = p**2 + 2*p - 5. Let j be h(-5). Does 20 divide r(j)?
True
Let p(u) = 4*u**2 - u - 4. Let w be p(-2). Let n = 13 - w. Let c = n + 20. Does 5 divide c?
False
Suppose 18*o + 12477 - 37641 = 0. Is o a multiple of 6?
True
Let z(s) = -s**3 + 8*s**2 - 8*s + 7. Let x be z(6). Let l(r) = r**3 - 5*r**2 - r + 19. Let b be l(3). Is 26 a factor of x + (b - (3 + -5))?
False
Let t be 262/(-4)*(-28)/(-42)*-3. Let x = -56 + t. Is x a multiple of 25?
True
Let p(w) = -w**3 - 3*w**2 - 3*w - 5. Let k be p(-3). Suppose -4*b + k*n = -104, -b + 3*n = 3 - 33. Does 6 divide b?
True
Let n be (-2 - -7) + -2 + 3. Let z be n/4 - (-379)/2. Suppose 38 - z = -3*b + 5*l, 2*b - 124 = -4*l. Is 17 a factor of b?
False
Let u = 18 - 19. Let k(z) = -28*z - 1. Let i be k(u). Is i + 5 - (-1 - 0) a multiple of 9?
False
Let o = 242 + -68. Let f = o + -83. Is f a multiple of 31?
False
Let p(r) = -r**2 + 10*r - 11. Let x be p(11). Let h = 71 + x. Does 10 divide h?
False
Suppose -4*m = -m. Suppose 2*r + r - 105 = m. Suppose 5*i = -s + 14, -5*s = -s - i - r. Is s a multiple of 3?
True
Let l(m) = -m**2 + 17*m + 48. Is l(16) a multiple of 8?
True
Is 102/(-476) - (-30915)/14 a multiple of 6?
True
Let g(r) = r**2 + 1. Let j(a) = -6*a - 1