se
Let d = 361 + -246. Suppose -5*r + 2*r + 4*m + 55 = 0, d = 5*r - 2*m. Let y = r - -6. Is 11 a factor of y?
False
Let j be (3 - 0) + 25 + 0. Let w = -13 + j. Is 5 a factor of w?
True
Suppose -1 + 5 = 2*z. Let u = -4 + z. Is 4 a factor of u/(40/(-18) + 2)?
False
Let o(r) = 8*r**2 - 2*r + 8. Is o(-6) a multiple of 22?
True
Suppose 2*t - 5*c + 130 = 0, c - 260 = 4*t - 3*c. Let n = 97 + t. Does 16 divide n?
True
Let p(x) = -x**2 + 8*x - 5. Let a be p(5). Let q(j) = -j + 14. Let y be q(a). Let i(n) = -n**3 + 5*n**2 + 2*n - 2. Is 9 a factor of i(y)?
False
Let o(y) = y**3 + y**2 - 2*y + 72. Let v be (-1)/4 - (-1)/4. Is 13 a factor of o(v)?
False
Suppose -4*l = -43 + 3. Suppose -r = -l + 2. Is r a multiple of 8?
True
Let k(l) = l**3 + 3*l**2 + 2*l + 2. Let g be k(-2). Let d(r) = r**2 + 3 - 2*r + 5*r**g + 4*r. Does 12 divide d(-2)?
False
Suppose -3*s + 8*s = 20. Suppose -s*f + 2*f = 4*a - 150, -2*f = -5*a + 174. Does 18 divide a?
True
Let f(x) = -x**2 - 5*x + 1. Let t(z) = 5*z**2 + 19*z - 3. Let n(u) = 9*f(u) + 2*t(u). Is 11 a factor of n(8)?
True
Let i = 33 + -2. Let p = i + 8. Is 15 a factor of p?
False
Suppose -2*d + 3*j = -67, j + 128 = 5*d - 7. Let k = d - 8. Is k a multiple of 16?
False
Suppose 4*l - 3*t + 0 = 8, 0 = -l + t + 1. Suppose l*q - 239 = -44. Does 16 divide q?
False
Let z(l) = -l**3 + 9*l**2 - 4*l - 9. Let j be z(9). Let w = 65 + j. Does 20 divide w?
True
Suppose -2*x = 3*x. Let r be (3 + -1)/(x - 2). Is 17 a factor of (-1)/r + 52 + 2?
False
Suppose 8*i = 3*i + 4*r + 38, -4*i + 2*r + 34 = 0. Let j = -5 + i. Does 5 divide j?
True
Does 11 divide 6/33 + (-1446)/(-33)?
True
Let f = -34 + 131. Is f a multiple of 15?
False
Let y(v) = v**3 - 8*v**2 - v + 6. Let l(h) = 3*h - 4 + 10 + h**3 - 5*h - 8*h**2 + 0*h. Let q(s) = 6*l(s) - 7*y(s). Is q(7) a multiple of 3?
False
Let h(a) = -a**3 + 10*a**2 - 2*a + 10. Let t be h(10). Let d = t - -20. Is 21 a factor of (-5)/(d/6) + 45?
True
Let o(n) = -n**2 + n + 26. Let u = 16 + -16. Is 13 a factor of o(u)?
True
Let q(d) = 3*d**2 + d. Let h be q(1). Suppose -r + 3 = p, 0*p - h*r + 6 = p. Suppose 32 = 3*y - p*m, 2*y + m = -2*m + 4. Does 4 divide y?
True
Let x = 65 - 54. Is 6 a factor of x?
False
Suppose 0 = -7*z + 3*z + 312. Is 26 a factor of z?
True
Let r be (8 + -6)*70/4. Is (-15)/r + 762/14 a multiple of 18?
True
Let d(v) = -v**2 + 10*v - 11. Let x = -5 + 13. Is 5 a factor of d(x)?
True
Suppose -2*v + 5*v = 195. Suppose -5*i = 5*n + v, 5*n - 5*i + 152 = 37. Let c = -5 - n. Is c a multiple of 12?
False
Suppose -2*a = 40 - 214. Suppose -4*c - o + a = -2*c, 4*c + o = 177. Is c a multiple of 15?
True
Suppose 2*v + 2 = 40. Let z = v - -5. Does 24 divide z?
True
Suppose -4*a + 30 = a. Let g be a*(-2 + 10/4). Suppose -s - 28 = -g*s. Is s a multiple of 14?
True
Suppose 6*y = 3*y + 27. Let z = 24 - y. Is 5 a factor of z?
True
Let g be (-29)/((2 - 4)/8). Suppose 4*l + z = -4*z - g, -5*l - 112 = -2*z. Does 13 divide 1 - l/(-2)*-1?
True
Let g = -10 + 14. Suppose 3*j = -g*b - 9 + 231, 0 = 4*b + 5*j - 226. Is b a multiple of 18?
True
Suppose 0 = m - 3. Is (-3)/(m*-1)*21 a multiple of 8?
False
Let v be (-14)/(-21)*87/(-2). Let f = 50 + v. Is f a multiple of 7?
True
Let r(u) = u**3 - 6*u**2 + 5*u + 4. Suppose -4*w = -w - 15. Let c be r(w). Suppose -82 = -5*y + h, 4*y - 55 = 3*h + c. Is 15 a factor of y?
False
Let q(g) = 14*g + 13. Let f be q(12). Let c = f - 129. Is 11 a factor of c?
False
Let x be (22/(-4))/1*-16. Suppose -x = -6*j + 2*j. Does 8 divide j?
False
Is 6 a factor of 3/(-2)*1*-8?
True
Let u = -53 + 105. Is u a multiple of 12?
False
Let w(g) = -3*g**3 - g**2 - g - 1. Suppose -10*y = -9*y + 2. Does 7 divide w(y)?
True
Suppose 18 = d - 41. Let j = 98 - d. Suppose -j = -3*w - 6*n + 3*n, 0 = 2*n - 8. Does 9 divide w?
True
Let x be -5*(456/(-15))/4. Suppose 3*m = 2*m - 24. Let r = m + x. Is 7 a factor of r?
True
Let s = 266 + -118. Suppose -5*h + 62 + s = 0. Is 21 a factor of h?
True
Let q(d) = d**3 + d + 8. Let m(f) = f - 4. Let i be m(4). Is 8 a factor of q(i)?
True
Let y = 0 - 2. Is 5 a factor of y/(-8) + (-67)/(-4)?
False
Let x(s) = 25*s - 6. Is 23 a factor of x(3)?
True
Let a = 77 - 48. Let i = a - 11. Does 9 divide i?
True
Suppose 0 = 6*a - 5*a - 88. Is a a multiple of 8?
True
Let t(c) be the first derivative of c**4/4 - c**3/3 - 3*c**2/2 - 4*c - 2. Suppose p = 4*p - 9. Is t(p) a multiple of 3?
False
Suppose 0*m - 2*m = -8. Suppose o = -m*o + 185. Suppose 0 = 4*u - 5*u + o. Does 12 divide u?
False
Suppose 3*u = -0*u. Suppose u = -2*z - d + 44, -5*z - 5 = 5*d - 125. Is z a multiple of 5?
True
Suppose -2*l = -2*v + 8, 0 = -l + 2*l - 2*v + 3. Let x(b) be the second derivative of b**4/12 - b. Is 11 a factor of x(l)?
False
Let m(l) = l**2 - 4*l. Let x be m(4). Suppose -2*z + 101 - 23 = x. Does 13 divide z?
True
Suppose -27*o = -24*o - 372. Is o a multiple of 8?
False
Let z be ((-8)/6)/(4/90). Suppose -4*u = -2*c - 198, -6*u + 255 = -u - c. Let f = u + z. Does 11 divide f?
True
Suppose -t + 2 = -2*h, 6 = -4*t - 3*h + 3. Suppose t + 24 = 4*b. Does 3 divide b?
True
Suppose 0 = 2*h - 73 + 15. Is h a multiple of 6?
False
Is 20 a factor of (-318)/(-12) - (-9)/(-6)?
False
Suppose 28 = x - 4*c, -2*x - 2*x + 52 = -c. Is 10 a factor of x?
False
Suppose -5*r - 4*c + 336 = 0, -3*r - r + 272 = 4*c. Is 20 a factor of r?
False
Let i be 1 - ((1 - 16) + 1). Let j = i - 11. Suppose -j*t + 5*t - 4 = 0. Is t even?
True
Let i = 165 + -110. Suppose 4*s = -s - i. Let z = 23 + s. Does 4 divide z?
True
Suppose -7*l + 4*l = -195. Is l a multiple of 13?
True
Let o(h) = -h**3 - h**2 - h + 6. Suppose -5*x + 0*x + 5*u - 20 = 0, -3*u + 12 = -5*x. Let b be o(x). Is 4 a factor of (0 - 2/b)*-12?
True
Suppose 24 = 2*b + 2*t, 14 = -5*b + 4*t + 110. Is b a multiple of 5?
False
Let j be (-2)/7 + 234/(-14). Let g = -7 - j. Does 15 divide 6/30 - (-148)/g?
True
Let g(j) = 10*j**2 - j - 2. Does 10 divide g(2)?
False
Suppose 33 - 168 = -3*v. Is 9 a factor of v?
True
Let r = -122 + 154. Is 32 a factor of r?
True
Suppose 3*b + 2*b = -85. Suppose 0 = 5*a - 2 + 12. Is 1/(a + b/(-8)) a multiple of 4?
True
Let z(u) = -u - 1. Let b be z(-3). Suppose -j - 2*h - 9 = h, 3*h + 6 = -b*j. Suppose -5*w + 84 = -j*w. Is 21 a factor of w?
True
Does 24 divide (-30 + 0)*(-160)/50?
True
Suppose 2*n - 14 = n. Is n a multiple of 14?
True
Let s = -10 + 8. Is 2 - (s + 2) - -11 a multiple of 13?
True
Let p(f) = 5*f**2 - 5*f - 27. Is p(7) a multiple of 31?
False
Let b = 6 - 6. Suppose -u - 7 = 5*a - b, 4*a = -8. Suppose u*l - 6 = -v - 2*v, l + 18 = -5*v. Is 3 a factor of l?
False
Suppose -21*g = -11*g - 450. Is 5 a factor of g?
True
Let o be 1/(-2 + (-14)/(-6)). Suppose o*t - 91 = 35. Let q = 63 - t. Does 8 divide q?
False
Let q(p) = p**3 - 8*p**2 - p - 8. Let o(h) = -5*h - 2. Let g be o(-2). Let c be q(g). Let i = 51 + c. Is i a multiple of 15?
False
Suppose -4*p = -3*p + 1. Is 700/15 - p/3 a multiple of 19?
False
Let r(j) be the second derivative of -j**3/3 - 8*j**2 - 6*j. Suppose -5*g - 3*a = -7*a + 59, 2*a = 2. Is 6 a factor of r(g)?
True
Suppose j + 4*v = -4*j + 71, -6 = -2*j + 4*v. Does 7 divide j?
False
Suppose 0*t = -2*m - t + 21, 0 = 2*m - 5*t - 39. Is 6 a factor of m?
True
Is 10 a factor of (-728)/(-7)*(-2 + 1)/(-1)?
False
Let v = 14 + -9. Suppose -2*t + t - 41 = -4*y, 45 = v*y + 5*t. Does 4 divide y?
False
Suppose -88 = -2*z + 4*u, z = -0*z - u + 44. Let h be (0 - (-1 + 0))*0. Suppose h*r - 4*r + z = 0. Is 11 a factor of r?
True
Let s(c) = 32*c - 2. Let z(a) = 31*a + 3. Let k(x) = 31*x + 4. Let p(u) = -4*k(u) + 5*z(u). Let m(n) = -3*p(n) + 2*s(n). Does 12 divide m(-1)?
False
Let x = 4 + -1. Does 12 divide -6*x/6 - -15?
True
Let l(y) = -11*y + 4. Let v(j) = 133*j - 49. Let d(i) = 49*l(i) + 4*v(i). Let n be d(1). Let z = 15 + n. Is z a multiple of 8?
True
Let h be ((-3)/(-5))/((-6)/(-30)). Let c = 35 + h. Is 19 a factor of c?
True
Let m be (-2)/(-5) + (-196)/(-10). Let t be 1*(2 + m/2). Is (2 - 3)/((-2)/t) a multiple of 5?
False
Suppose -2*j - 3 = -13. Suppose j*s = -0*r - 4*r + 293, -4*r = -s - 287. Is r a multiple of 12?
True
Let d be 1 - -1 - (-2 - -3). Is 4 + (3/d - 5) a multiple of 2?
True
Let n(b) = -4*b**2 - 2*b - 4. Let k be n(-3). Let d = k - -1. Let y = 54 + d. Does 8 divide y?
False
Let g = -61 + 141. Is 20 a factor of g?
True
Let m(y) = -14*y - 4. Is 2