r - 7. Let n be p(6). Does 5 divide (-10)/(3/6*4/n)?
True
Let m(g) = g**3 + 6*g**2 - 6*g - 2. Suppose -4*h = 5*c + 18, 4*c - 6 - 2 = 0. Let a be m(h). Is 4 a factor of a/(3 - (-2 - -6))?
False
Suppose -3*r - 2*d + 3 + 11 = 0, -3*r + 15 = 3*d. Suppose -7 = -r*p + 1. Suppose p*v = -4, 5*o - 4*v - 210 = v. Is o a multiple of 20?
True
Suppose -6*g = -g + x + 146, -g - 4*x = 33. Let d = 42 + g. Suppose 2*k - 5 = d. Is 2 a factor of k?
False
Let a = 38 + -41. Is (3 - -15) + (-8 - a) a multiple of 7?
False
Suppose 133 = 5*q + 4*h - 455, 0 = -3*h + 6. Is q a multiple of 29?
True
Suppose -s - 5 = -2*s. Let i = 148 - 144. Suppose d + 5*b - 27 - 4 = 0, 184 = i*d + s*b. Does 30 divide d?
False
Suppose 2*h - 3 = 1. Let b be 30*(0 - h/(-5)). Let y = b + -9. Does 2 divide y?
False
Is -2 + (-4 + -2 - -92) a multiple of 4?
True
Let b = -277 - -1861. Is 24 a factor of b?
True
Let v = -2 - -160. Suppose v + 22 = 5*i. Does 2 divide i?
True
Let a(w) = 2*w + 11. Suppose i - 2*i = 3*o + 8, 28 = -4*o + 3*i. Let s(g) = 2*g + 12. Let z(l) = o*s(l) + 5*a(l). Is z(5) a multiple of 17?
True
Suppose -1 = f - 2*u, 3*f + 16 + 8 = -u. Let i = 12 - f. Let q = -4 + i. Is 3 a factor of q?
True
Suppose 4*g - 272 = 2*x, -5*x - 307 - 393 = -5*g. Let m = 104 - x. Is m a multiple of 31?
True
Suppose -5*j = -c - c + 8, -12 = -3*c - 5*j. Suppose -n - c*n = 5*w + 50, 24 = -3*n + 3*w. Let x(z) = -z**3 - 9*z**2 - z + 3. Is 12 a factor of x(n)?
True
Let z(m) = m**3 + 42*m**2 + 9*m - 294. Is 20 a factor of z(-41)?
False
Let s = -3620 - -7538. Is 13 a factor of s?
False
Suppose -27 = 5*g - 2*n - 3683, -3*g = 5*n - 2175. Is 10 a factor of g?
True
Let w be (2/6)/(-1)*1*-6. Does 12 divide 85*(7 - w - 4)?
False
Let o(s) = s + 39. Let z be o(-17). Is (-24050)/(-143) + (-4)/z + -3 a multiple of 55?
True
Let s be (15/(-10))/(6/(-20)). Suppose -2*a = s*a - 2702. Suppose -4*d - 3*r = -a, -4*d + 0*r + 384 = 2*r. Is d a multiple of 19?
True
Let m(v) = -1 - 3 + v - 1. Let o be m(0). Is (-10)/o - (-62)/2 a multiple of 18?
False
Let r(c) = 6*c**2 + 138*c + 30. Is r(12) a multiple of 102?
True
Is 41 a factor of ((-473)/129)/((-1)/123)?
True
Is 12/1 + (-12)/(-6) a multiple of 2?
True
Suppose -3*c + 114 + 99 = 0. Suppose 2*w + 62 = -2*j, 2*j + 9 + 88 = -3*w. Let x = c + w. Is 12 a factor of x?
True
Suppose 3*s + 16098 = 3*y, 0 = -4*y - 0*y + 3*s + 21467. Is y a multiple of 25?
False
Let j be -207*(1 - (-15)/(-9)). Suppose -j = -6*v + 78. Does 19 divide (v + 2)/((-2)/(-5))?
True
Suppose -2*k - 5*y = -20, -4*k + 8 = -5*y + 28. Let n = -3 - -5. Suppose -3*i - 27 = -b - 0*i, k = -n*b - 2*i + 14. Does 12 divide b?
True
Let i(a) = -4*a**3 - 3*a**2 + 8*a + 11. Let h be i(-5). Suppose l = -5*l + h. Is 8 a factor of l?
False
Let a(s) = s**2 - 9*s - 33. Let k be a(12). Suppose k*i = 229 + 23. Does 7 divide i?
True
Let l(t) = -27*t - 21. Is 10 a factor of l(-13)?
True
Suppose 6*v - j - 62 = 3*v, 0 = 4*v - 2*j - 80. Let q = 39 + -53. Let h = v + q. Is 4 a factor of h?
True
Let h be 4/7 - (9984/28)/(-6). Suppose 2*p - 3*s - h = 0, -3*p - 2*s + 60 = s. Does 24 divide p?
True
Let g = -31 - -225. Let b = 468 - g. Does 10 divide b?
False
Let n(s) = s**2 - 171. Is n(21) a multiple of 45?
True
Let h(v) = 3*v + 4. Let t(b) = b**3 + 4*b**2 - 8*b - 3. Let m be t(-5). Suppose -m = -y - y. Is 9 a factor of h(y)?
False
Let w = -6 + 9. Suppose -j = 3*d + 33, 6*d + 9 = w*d. Let c = 84 + j. Is c a multiple of 11?
False
Suppose 7*r = 177 + 96. Suppose 0*u - 3*u + r = 0. Is 4 a factor of u?
False
Let l = 85 + 38. Let j = l - 87. Is 12 a factor of j?
True
Suppose -4*h + 334 = 3*a - 394, 3*h = -2*a + 546. Is h a multiple of 14?
True
Suppose 3*f = -6 - 0, 2789 = 3*n + 5*f. Does 48 divide ((-24)/(-32))/(2 + n/(-468))?
False
Let h(u) = 21*u**2 - 28*u + 1. Is h(-5) a multiple of 13?
False
Suppose -2*z + 1335 = 133. Is 34 a factor of z?
False
Let u(v) = 39*v**3 + v**2 + 8*v - 9. Is u(2) a multiple of 19?
True
Suppose -15 = s + 4*s. Let x(h) = 6*h**2 + 3*h + 4. Is x(s) a multiple of 4?
False
Let k(l) = -2*l**3 + l**2 - 3*l. Let d be k(-2). Let w(u) = 13 + 2*u + 12 + 61*u**2 - d. Is w(1) a multiple of 31?
True
Let j(r) = 7*r**2 + 2*r - 18. Let x be j(3). Is x - 1/((-3)/(-9)) a multiple of 27?
False
Let u be 3/(-2)*-123*(-6)/(-27). Suppose -701 = -4*f - u. Is f a multiple of 15?
True
Let o be (-1*4/(-2))/(64/9376). Suppose -3*y + o = 71. Is y a multiple of 14?
False
Let n(q) = 34*q**2 + 18*q - 83. Does 31 divide n(6)?
False
Let n(j) = -2*j - 16. Let m be n(-9). Suppose -4*d + 16 = -m*d. Does 5 divide d?
False
Let l = -69 - -87. Does 6 divide l?
True
Let r(w) = 10*w - 5. Let s(a) = -a - 5. Let n be s(0). Let j(c) = -20*c + 11. Let x(y) = n*r(y) - 3*j(y). Is 26 a factor of x(8)?
False
Let q be -2 + (-12)/(-9) + 212/(-6). Let b = -22 - q. Is b a multiple of 14?
True
Suppose -2*o + 1235 = -2*y + 257, 0 = o + 5*y - 459. Is 5 a factor of o?
False
Let l(s) = 2*s + 2*s**3 - 11 - s**3 - 10*s**2 + 26*s**2 - 24. Does 20 divide l(-15)?
True
Let r be 2 + 121 + 3/(-1). Suppose 0*b + r = 2*b. Let t = b - 41. Does 12 divide t?
False
Let l(f) = f**3 - 13*f**2 + 13*f - 9. Let q be l(12). Suppose 0*m - 5*m + 2*p - 227 = 0, 3*m = -p - 134. Is 4 a factor of ((-1)/3)/(q/m)?
False
Let o(y) = -y**3 + 27*y**2 + 13*y - 124. Does 80 divide o(24)?
False
Suppose 2*y + 5*k - 475 = 0, -6*k + k + 250 = y. Is y a multiple of 9?
True
Does 14 divide 214/(-4)*(24 - 30)?
False
Let i be (-2*2/10)/((-3)/45). Let k(j) = 5*j + 8. Is 26 a factor of k(i)?
False
Let d(z) = z**3 + 21*z**2 - 22*z + 26. Suppose -8*q - 85 - 91 = 0. Is d(q) a multiple of 13?
True
Let i = 183 + 438. Is 23 a factor of i?
True
Let w(u) be the second derivative of u**7/90 - u**6/720 + u**5/120 + u**4/3 - u. Let j(y) be the third derivative of w(y). Does 14 divide j(1)?
True
Let v(y) be the first derivative of -y**3/3 + 2*y**2 + 7. Let s be v(4). Suppose -2*x + 48 = -a, 0 = -s*a + 3*a. Is 8 a factor of x?
True
Let s be 3288/16 + (-2)/4. Suppose -a = -4*t + s, 5*t - 3*a + 4*a = 245. Is 17 a factor of t?
False
Let o(p) = -9*p - 7 - 3*p + 2*p + 11. Does 22 divide o(-15)?
True
Let u(d) = 2*d**3 - 11*d**2 + 25*d + 9. Is u(8) a multiple of 23?
True
Let b(t) = 560*t - 157. Does 58 divide b(3)?
False
Suppose -b + 0*h + 142 = 2*h, 3*b - 430 = -5*h. Does 5 divide b?
True
Let z = 58 - 59. Let h be 23/7 + (-4)/14. Is (-12)/z + h + -5 a multiple of 5?
True
Let i(w) = -2*w + 18. Let u(g) = 2*g**2 - g + 1. Let t be u(1). Suppose -3*r + 6 = 0, 0 = -4*j - r - t - 48. Is 11 a factor of i(j)?
True
Suppose 2*w = 3*a - 88, 85 = 4*a - a - 5*w. Let p = a + -17. Suppose 0 = s - 1 - p. Does 5 divide s?
False
Let t = 129 + -176. Let f be (-354)/(-14) + 2/(-7). Let k = f - t. Does 25 divide k?
False
Suppose -47688 = -12*x + 4*w, 5*x - 5*w - 21814 = -1954. Is 53 a factor of x?
True
Let g(r) = r**3 + 2*r**2 + 1. Let j be g(-2). Let u = 3 - 0. Is 7 a factor of u*(j + -2) - -24?
True
Suppose -3*y - 52 + 175 = 0. Let x(o) = -2*o**2 - y*o**3 + 1 + 15*o**3 - 26*o**3 - 27*o**3. Does 13 divide x(-1)?
True
Does 84 divide (1 - 0)/((-19)/(-36708))?
True
Let u be (-4 - -3)/((-1)/13). Let n = u - -7. Does 5 divide n?
True
Let r(q) = -q**2 - 52*q - 21. Does 27 divide r(-39)?
True
Let d(a) = -25*a**3 - 4*a**2 - 2*a + 1. Is 5 a factor of d(-1)?
False
Let p = 602 + -323. Is 31 a factor of p?
True
Let g(o) = 34*o**2 - 8*o - 7. Let b be g(8). Is 14 a factor of (-2)/12 - b/(-30)?
True
Let r be (-7)/(-35) + 0 - 881/5. Let f = r + 295. Is 27 a factor of f?
False
Let o(h) = -h**2 - 28*h - 135. Does 2 divide o(-21)?
True
Suppose -2*n = 8, -2*n = -2*r - 5*n + 6. Suppose r*m - 8*m - w - 28 = 0, -m = -3*w - 30. Is m a multiple of 17?
False
Let x be 4/16 + 2/(-8). Suppose x = 3*r - 5*r + 10. Suppose 17 + 71 = 4*v - r*f, -4*v + 2*f = -100. Is v a multiple of 9?
True
Let n(l) = 47*l + 13. Let p be n(8). Suppose 5*r = 2*g + 300, 5*g - 89 = 5*r - p. Does 12 divide r?
True
Suppose 2*o = -3*v + 6*v + 409, -2*o = 4*v - 444. Does 15 divide o?
False
Suppose 3*n - 1694 = -4*f - 29, 835 = 2*f + n. Is 30 a factor of f?
True
Suppose 2*b = -4*q - 758, -5*q + 785 = -2*b - 0*q. Is 13 a factor of 16/10*b/(-14)?
False
Suppose 2*o + o + 312 = 0. Is 3/(-15) + o/(-20) a multiple of 3?
False
Suppose 134212 = 148*y - 96*y. Is 28 a factor of y?
False
Let f(q) = 120*q**3 + q. Let b(z) = -z**