 2*r = -2*r - 96, -3*r + 36 = -3*s. Let h(q) = -q - 33. Let j(v) = -v - 32. Let o(a) = 3*h(a) - 4*j(a). Does 13 divide o(s)?
True
Let q(o) = 4163*o - 46. Is 35 a factor of q(1)?
False
Let n be 6/(-2) + (-77)/(-11). Suppose -148 + 24 = -n*u. Is u a multiple of 7?
False
Let k(n) = 215*n**2 + 2*n - 1. Let h be k(1). Let g be -2 - 2*(-1)/1. Suppose 0*i + 6*i - h = g. Is 12 a factor of i?
True
Let c be 1/(15/(-6) + 2). Let y be c*(-2)/(-4) + 14. Suppose 0 = b - 2*b + y. Does 10 divide b?
False
Let a be ((-317)/(-4))/((-6 + 5)/(-4)). Does 5 divide 4/(-18) - 2/(-18)*a?
True
Suppose 0 = 16*h - 15*h + 48. Does 9 divide 24/h*1*-88?
False
Let h be (-2)/(-2) + (-6 - -8). Suppose s - u - 22 = h*u, 3*s - 4*u - 82 = 0. Is s a multiple of 8?
False
Let j(g) = 5*g - 15. Let n be j(7). Suppose 0*s + n = 4*s. Suppose s*d - 3*d - 92 = 0. Is d a multiple of 14?
False
Let t(n) = -n**3 + 6*n**2 - 4*n - 5. Let r be t(5). Suppose p + 17 = 4*x - r*p, 25 = 5*x - 5*p. Let h(g) = -g**3 + 4*g**2 + 4*g - 6. Is h(x) a multiple of 10?
True
Let h = 7191 - 4594. Does 49 divide h?
True
Suppose -d + 3*a = 13, 0 = -2*d + d + a - 3. Suppose -3*w = 2*b + b - 414, d*w - 2*b = 284. Suppose -i + w = i + 4*j, 4*j - 338 = -5*i. Is i a multiple of 29?
False
Let t(d) = -8*d**2 + 3*d - 4. Let f(y) = -9*y**2 + 4*y - 5. Let q(r) = 6*f(r) - 7*t(r). Suppose 7 = 2*i - 0*a - a, 0 = 4*i - 3*a - 17. Is 3 a factor of q(i)?
True
Suppose l = -0*l. Suppose 0*c + 4*c - 3*x = l, -3*c + 13 = x. Suppose -c = -2*b + 7. Is 5 a factor of b?
True
Does 10 divide 30*4*161/14?
True
Is 5 a factor of 92/(7 + 2 - 7)?
False
Suppose -82 - 58 = -4*v. Suppose 0*o - 7*o + v = 0. Suppose 170 + 187 = 3*g - o*f, -121 = -g + f. Does 28 divide g?
False
Let x(k) = 2*k + 10. Let t be x(-7). Let z(y) = -2*y + 2. Is z(t) a multiple of 5?
True
Suppose 163 = -4*a - 353. Let r = -88 - a. Suppose l - 21 = -2*j, -5*l - 10 = -3*j + r. Is 7 a factor of j?
False
Let j = -37 - -55. Suppose -j + 2 = -p. Suppose 0 = -2*b + 3*b - p. Does 7 divide b?
False
Let r(x) = -x**3 - 5*x**2 - 11*x + 23. Is 110 a factor of r(-9)?
False
Let b be (-168)/(-2)*60/45. Is 0 - (-2)/(-8) - (-36316)/b a multiple of 27?
True
Let o(w) = 5*w**3 + 45*w**2 + 36*w - 5. Let x(n) = -n**3 - 9*n**2 - 7*n + 1. Let i(q) = 2*o(q) + 11*x(q). Let y be i(-9). Let g = -24 + y. Is 11 a factor of g?
True
Let d(r) = 15*r - 39. Is d(11) a multiple of 14?
True
Is ((-8694)/105)/((-1)/10) a multiple of 9?
True
Suppose -14*k + 16*k - 8266 = 0. Is k a multiple of 117?
False
Let p(q) = 1 + 3 - q**2 - q + 3. Let c be p(0). Suppose -5*l + 7 = -j - c, 2*j + l = 27. Is 11 a factor of j?
True
Suppose 0 = -4*m - 3*s + 2395, -5*m + m + 3*s = -2389. Does 25 divide m?
False
Let u = 3574 + -2510. Does 14 divide u?
True
Let l(c) = -2*c + 61. Let b(i) = i - 60. Let n(g) = 2*b(g) + 3*l(g). Is n(15) a multiple of 2?
False
Let t(z) be the third derivative of z**5/20 + z**4/3 - 7*z**3/3 - 4*z**2. Is t(-7) a multiple of 11?
True
Suppose 27*d - 28 = 25*d. Is d even?
True
Let p be 4 - 4*(0 - 1). Is (-293)/(-4) + 6/p a multiple of 25?
False
Suppose 2*c - 3 - 3 = -g, -3*c - 5*g = -9. Suppose 6*j - 3*j - c = 0, 0 = -z - 3*j + 17. Suppose 3*o = 4*o - z. Is 4 a factor of o?
False
Suppose -1114 = -3*p + 800. Does 58 divide p?
True
Let j = 1974 + -534. Is 12 a factor of j?
True
Suppose -s + 146 = -302. Is s a multiple of 32?
True
Let u(p) = 5*p**2 - 16*p - 13. Does 26 divide u(13)?
True
Let q(r) = r**2 + 5*r + 4. Is 9 a factor of q(5)?
True
Does 23 divide (2215/(-10) + 5)*2*-1?
False
Let l(m) = -m**3 + 7*m**2 + 9*m - 9. Let d be l(8). Does 36 divide ((-3)/d + 1)*(-35 + 62)?
True
Let g = 305 - -708. Is g a multiple of 14?
False
Suppose -96 = -2*y + 96. Suppose 3*k + 21 = y. Is 5 a factor of k?
True
Suppose f + w - 2*w - 31 = 0, 2*f - 27 = -5*w. Is 6 a factor of (5 - 5 - -1) + f?
False
Suppose 33*f = 34*f - 3, -2009 = -5*r - 3*f. Does 8 divide r?
True
Suppose -4*m + 100 = -56. Let n = m + 27. Is 14 a factor of n?
False
Suppose 3*d + 149 = 758. Let k be 69 + 3 + 6/2. Suppose 4*j = d - k. Does 8 divide j?
True
Let x = -327 + 573. Let t = x - 171. Is 15 a factor of t?
True
Let p = 85 - 44. Suppose -v + 3*b = -p, -2*b - 37 = 2*v - 3*v. Let c = -14 + v. Does 6 divide c?
False
Let r(s) = s**2 + 2*s + 44. Let j be r(0). Let y = j - 27. Is 9 a factor of y?
False
Suppose 166 = k - 3*j + 42, -3*j = -5*k + 572. Is 7 a factor of k?
True
Suppose 5*d = -d + 264. Let v = -22 + d. Suppose 4*n - o = 3*n + 17, -n + 2*o = -v. Is 6 a factor of n?
True
Let f(x) = 2*x - 2. Let k(m) = m**3 + 8*m**2 - m - 4. Let t(r) = -r - 8. Let s be t(0). Let g be k(s). Does 3 divide f(g)?
True
Let j(t) = 17 + 8*t - 18*t - 25*t. Is j(-4) a multiple of 19?
False
Suppose -52672 = -56*t - 4680. Is 20 a factor of t?
False
Let x(j) = -2*j**2 + 10*j - 2. Let q be x(5). Does 10 divide (-5)/q + (-188)/(-8)?
False
Suppose 5*y = -3*m + 6*m - 47, 0 = 2*y - 3*m + 26. Let p(q) = 2*q - 16. Let v(x) = x. Let z(s) = -p(s) + 3*v(s). Is 5 a factor of z(y)?
False
Is 47 a factor of 282/(-18)*(-12)/4?
True
Let g(q) = -q**2 + 4*q + 6. Let o be g(6). Is 10 a factor of 16/o*((-140)/16 + 5)?
True
Is 37 a factor of (1 - -337) + (-2)/(26/65)?
True
Let v(y) = 2*y + 7. Let j(z) = -2*z - 7. Let q(w) = 2*j(w) + 3*v(w). Let r be q(-6). Is 11 a factor of (-113)/r + (-15)/25?
True
Let c = -36 + 31. Let w(m) = -2*m**3 - 2*m**2 + 5*m - 2. Does 14 divide w(c)?
False
Let c = -65 + 83. Let p = c + 0. Is p a multiple of 12?
False
Let s(h) = 3*h - 8. Let y be 7/28 + 58/(-8). Let z be (-50)/y + 1/(-7). Does 13 divide s(z)?
True
Suppose -20*q = 5*y - 23*q - 3556, -2*q + 706 = y. Is y a multiple of 10?
True
Suppose -2*i - u + 30 = -0*i, -5*i = 3*u - 76. Suppose i*p = 10*p + 120. Is 15 a factor of p?
True
Suppose -9*j = -10*j - 26. Let x be (j/2)/((-5)/70). Suppose -7*r + 9*r - x = 0. Is r a multiple of 21?
False
Let n(q) = -q**2 - 4*q + 1. Let y be n(-4). Suppose 4*g - 16 = 2*a, a = g - y - 3. Suppose i + 2 = -g*v - v, 4*i - 4*v = 16. Is 3 a factor of i?
True
Suppose 4*x - 16 = 2*l, 5*l + 4 = 4*x - 18. Let b = 352 + -316. Does 33 divide (x + 6/9)*b?
True
Let u = 882 - 811. Suppose -f + 1 = -3. Suppose 5*v - u = -0*w - 4*w, -f*v + 12 = 0. Is w even?
True
Suppose -5*a + 1334 = -1011. Is a a multiple of 2?
False
Let b be ((-4)/(-16))/(1/8). Suppose 2*i = -c + 113, b*c = 2*i - 0*i + 238. Does 9 divide c?
True
Let w(k) = 3*k**3 + 36*k**2 + 14*k - 20. Is w(-11) a multiple of 18?
False
Suppose 5*k - 5 = -2*f - 23, -22 = 4*f + 3*k. Let u = 5 + f. Suppose 5*g = -u + 26. Is 5 a factor of g?
True
Let p(l) = 2*l - 11. Let v be p(8). Suppose u - v*k + 2 = 3*u, -3*u + 14 = 2*k. Suppose -4*s = -f - u + 18, 0 = -3*f + s + 69. Is f a multiple of 12?
True
Let y(h) be the first derivative of h**3/3 + 7*h**2/2 - h + 6. Let d(a) = -2*a + 8. Let l be d(9). Does 29 divide y(l)?
True
Let y = 1449 - 185. Is y a multiple of 79?
True
Let y = 550 - 353. Let h = y + -105. Let b = h + -55. Is 8 a factor of b?
False
Suppose 36*g - 11083 - 20921 = 0. Is 7 a factor of g?
True
Let w(g) be the third derivative of 59*g**5/60 - g**4/24 + g**3 + 8*g**2. Is 26 a factor of w(2)?
False
Let o = -437 - -451. Is 7 a factor of o?
True
Suppose 2*a + 2 = 2*j + 10, 0 = -3*j - 3*a. Is 256/6 - (j/(-3) + -1) a multiple of 23?
False
Suppose -3*b - 3*l - 6 = 0, 13 = 3*b - 5*l - 5. Is (-1 - 1)*b/((-4)/138) a multiple of 23?
True
Let w = 136 + -139. Does 2 divide -5*(-4)/(-12)*w?
False
Let b = 7 - 5. Suppose -t = -i + 22, -5*i - b*t + 62 = -69. Let m = i - 15. Is 5 a factor of m?
True
Let d be (1 + 0)*(3 + 0). Let m be d/(-2) + (-12)/(-8). Suppose 2*z - 24 + 10 = m. Does 4 divide z?
False
Let l(x) = -4116*x**3 - 4*x**2 - 5*x. Does 54 divide l(-1)?
False
Suppose -6 + 21 = 5*q. Is 11 a factor of 0 + 51 - -1 - q?
False
Let b(x) = -5 + 16*x + 47 - x**2 + 8*x. Is 30 a factor of b(18)?
True
Let l = 33 + -29. Let g be (-10)/l*44/(-55). Is 13 a factor of (26*g)/(-27 + 29)?
True
Let z(d) = 24*d - 199. Is 19 a factor of z(55)?
True
Suppose l - 192 = -4*y, 5*l = -2*y + 463 + 587. Does 43 divide l?
False
Let u = 4 + -4. Suppose u = -2*i + 5*n + 38, -2*i - 5*n = -6*i + 56. Does 5 divide i?
False
Let w be (-84)/294 + 219*(-1)/(-7). Suppose 11 = i - w. Is i a multiple of 21?
True
Let i(d) = 9*d**2 + 85*d + 400. Is i(-5) a multiple of 2?
True
Let c(x) = -x**3 -