r**2 - r + 3. Let p(j) = -j**3 + j**2 + j - 2. Let f(v) = d(v) + 3*p(v). Let m = -2 + 4. Does 4 divide f(m)?
False
Suppose -46*b + 49*b - 4*y - 2408 = 0, -3*y = -3*b + 2406. Does 8 divide b?
True
Suppose 2*t - 496 = -2*x, -5*t - 656 = -4*x + 291. Does 2 divide x?
False
Let s(q) = 7*q**2 - 8*q**2 + 4 - 5*q - 4*q - 2*q. Suppose -4*i = 3*g + i + 27, 0 = 2*g + 4*i + 18. Is s(g) a multiple of 4?
False
Let u be 369/(-4) + (-369)/(-164). Suppose 5*r = 123 + 862. Let m = r + u. Is m a multiple of 16?
False
Let w = 21 + -17. Let z be 0/(-1 + w)*-1. Suppose z*q = -4*q + 124. Is q a multiple of 10?
False
Let s(g) = 0 - g + 1 - 7. Let f be s(-8). Suppose f*v + v - 108 = 0. Is v a multiple of 10?
False
Let r(w) = w**2 + 2*w - 61. Does 13 divide r(-20)?
True
Let b(z) = -6*z**2 + 2*z - 8. Let l(k) = -6*k**2 + 2*k - 9. Let x(s) = -6*b(s) + 5*l(s). Let t be 171/(-228)*(-4 - 0). Is 34 a factor of x(t)?
False
Suppose -257 - 394 = -3*j. Suppose j*a = 221*a - 144. Is 4 a factor of a?
True
Let o(p) = 10*p + 8. Is o(7) a multiple of 26?
True
Let j(w) = -154*w + 154*w - 2*w**2 + w**3. Let l be j(-2). Let u = -1 - l. Is u a multiple of 5?
True
Suppose 0 = -2*z + 8*z - 894. Does 15 divide (z - 0) + -1 - -2?
True
Suppose 4*a = 5*p - 35, -4*a = a + 4*p + 13. Let m(j) = j. Let q(r) = -4*r + 4. Let i(u) = -12*m(u) + q(u). Is 28 a factor of i(a)?
True
Let w = -1264 + 1268. Is 3 a factor of w?
False
Let j(v) = 135*v - 757. Is 22 a factor of j(6)?
False
Suppose 2*w - 607 - 467 = 0. Is w a multiple of 3?
True
Let w = 6 + -3. Let s be 10776/180 - (24/(-45))/4. Suppose 0 = r, 5*n = 8*n - w*r - s. Does 5 divide n?
True
Let o(g) = -g**3 + 35*g**2 + 79*g + 11. Is 14 a factor of o(37)?
True
Let g be -1 + (-2)/(-1) + -4. Let p(r) = -24*r - 12. Does 10 divide p(g)?
True
Let l = -32 - -37. Is 102 - (80/l)/4 a multiple of 9?
False
Let n(j) = j - 10. Let l be n(6). Let w be 0 - 4 - 8/l. Let o(m) = -9*m - 6. Does 6 divide o(w)?
True
Let f(l) = l - 10. Let p be f(7). Let v = 13 - p. Is 8 a factor of v?
True
Does 4 divide (-28)/(-112) - (-566)/8?
False
Let h(y) = 3*y**2 - 3*y - 4. Let w be h(-3). Let k = -19 + w. Let x = -3 + k. Does 6 divide x?
False
Let i = -5317 - -10367. Is 23 a factor of i?
False
Let f(b) = -b**3 + 6*b**2 + 6*b - 8. Suppose 5*l = r - 4, -3*r - l + 11 = -1. Suppose -o - r*o + 30 = 0. Is 14 a factor of f(o)?
True
Let u be 1/2*40/5. Let h be ((-4)/(-6))/(4/18). Suppose -89 = -h*c + u. Is 7 a factor of c?
False
Let i(k) = 6*k**2 - 6*k - 240. Is i(20) a multiple of 24?
True
Suppose -8*u + 787 + 21 = 0. Is u a multiple of 50?
False
Let t = -1 - -4. Suppose -t*x + 6 = -3*k, 1 = -2*x + 5*k + 20. Is 11 a factor of (-3)/(x/38 + 0)?
False
Let g(t) = -2*t**2 + 0*t**2 + 34*t**3 - 11*t + 6*t - 1 + 7*t. Is 3 a factor of g(1)?
True
Let o(i) = -49*i**3 + i + 1. Suppose 2*n - 3*n + 2 = 0. Suppose -5 = n*u - g, 3*u - 10 = -2*u - 5*g. Is o(u) a multiple of 29?
False
Suppose -18*j = -16*j - 126. Is 7 a factor of j?
True
Let y = 518 - 365. Is 9 a factor of y?
True
Suppose -3*x + x = 0. Suppose x = 4*d - 18 - 2. Suppose -254 = -d*g + 5*r - 4*r, 3*g - 5*r - 170 = 0. Does 18 divide g?
False
Let s(q) = 142*q**2 + 2*q + 2. Let n be s(-1). Does 13 divide (-3 - n/6)/((-3)/18)?
False
Suppose -4*n - 3*x = -427, -3*n + x + 4*x = -284. Suppose 19 - n = -2*h. Is h a multiple of 6?
True
Suppose 2*v = 5*j + 293, -5*v - j + 0*j + 746 = 0. Let d = 254 - v. Does 15 divide d?
True
Let b(n) = -4*n**2 - 3*n + 5. Let j = -4 - 0. Let l be b(j). Let s = l - -101. Does 18 divide s?
True
Suppose -3008 = 5*b - 9*b + 3*d, 3*d = 3*b - 2253. Does 6 divide b?
False
Let t be (-5)/(-2)*2/1. Suppose -f - g + 87 = -2*f, -t*f - 5*g - 395 = 0. Let h = -19 - f. Is 32 a factor of h?
True
Let g = 50 - 113. Suppose 3*f + 9 = -3*b, 31 = -5*b - f - 0*f. Is 2/b - 1719/g a multiple of 9?
True
Let p be 267 - (0 + (-12)/(-8))*-2. Let x = p - 132. Is 6 a factor of x?
True
Suppose 0 = 2*m + y + 17, -y - y - 28 = 3*m. Let d(t) = t**2 + 5*t - 6. Let a be d(m). Suppose 28 = -a*o + 2*o. Does 14 divide o?
True
Let l(x) = -41*x + 152. Is 12 a factor of l(-8)?
True
Suppose -4 = 5*d - 3*t, 2*t - 5 = 3*d - 2. Let i(x) = 16*x**2 + 2*x - 2. Is 15 a factor of i(d)?
False
Let t = 25 - 45. Does 14 divide ((-36)/9)/(1/t)?
False
Is 47 a factor of -2 - 84/(-45) - (-324340)/300?
True
Let v(b) = b - 5. Let c be v(7). Let t(m) = -4*m**2 + 3 - 5 + 5*m**2 + 3 + c*m. Is 13 a factor of t(7)?
False
Does 39 divide (130/15 - 0)*45?
True
Let o(a) = -4*a + 9. Suppose -3*r = r - 20. Let p be (6 - r)*(-39)/3. Does 19 divide o(p)?
False
Let d(p) = -4*p**3 - 4*p**2 - 7*p - 4. Let c = 55 - 57. Does 13 divide d(c)?
True
Let u(k) be the third derivative of 5*k**4 - k**3/6 - 6*k**2. Does 32 divide u(1)?
False
Let j(q) = -q**3 + 14*q**2 - 2*q**3 + 6*q + 2*q**3 - 3*q + 16. Is j(14) a multiple of 18?
False
Let m(y) be the second derivative of y**4/12 - 4*y**3/3 - 11*y**2/2 + 5*y. Let f be m(8). Let u(s) = s**2 + 8*s - 7. Is 13 a factor of u(f)?
True
Suppose -98 + 473 = 15*s. Does 3 divide s?
False
Let m = 131 - 39. Suppose -r - m - 68 = -5*b, 0 = 3*b + 4*r - 119. Is b a multiple of 12?
False
Let b be -1 - 3 - (-3 + -19). Let c be 4/b + (-249)/27. Let w(h) = -4*h - 14. Is 8 a factor of w(c)?
False
Suppose 0 = 2*o + 5*n - 11, n + 18 = 5*o - 23. Suppose 2*w = -4*k + 10, 3*w - k = -0 + o. Suppose -6*j = -w*j - 96. Is j a multiple of 13?
False
Suppose 4*r = 2*k + 18, 3*k + r = -k. Let h = k - -21. Does 20 divide h?
True
Suppose 3231 - 831 = 5*j. Is j a multiple of 16?
True
Let a(l) = l**2 + 4*l - 6. Let r be a(-6). Suppose r - 1 = -5*y. Let f(g) = -74*g + 1. Is f(y) a multiple of 25?
True
Suppose 11*x - 15*x + 16 = 0. Does 10 divide (-815)/(-15) + (x/6 - 0)?
False
Let o(t) = 47*t - 15. Let z be o(1). Suppose 12 = -2*i + 4*v + 2, 5*v - 17 = i. Suppose -3*h = -p + 5, 2*p = h + z + i. Does 8 divide p?
False
Suppose 5*q - 4*q = 0. Suppose -6*h - 70 + 412 = q. Let d = -2 + h. Is 11 a factor of d?
True
Let i(j) = 14*j - 8. Let r be (-8)/(-5)*(-5)/(-2). Let k be i(r). Suppose k = 2*n - n. Does 18 divide n?
False
Suppose 19*m = 4*m + 1500. Is m a multiple of 4?
True
Let g(p) = -p**3 - 2*p**2 + 18*p + 90. Is g(-8) a multiple of 15?
True
Let g(y) = -y**3 + 9*y**2 + 4*y - 10. Let d be g(8). Suppose -3*h - d - 22 = 0. Let n = h - -59. Is n a multiple of 6?
False
Suppose 5*f - 4 = 6. Suppose -f*t - 5*d = -170, -458 = -5*t + d + 3*d. Is t a multiple of 15?
True
Is 70 a factor of -5 + 927 + (0 - -4)?
False
Let c(x) = 0*x**2 + 3*x + 5*x**2 + 3*x**2 - 2*x**2. Does 21 divide c(3)?
True
Suppose 13 = 8*n - 3. Let a(c) = 15*c + 2. Is 16 a factor of a(n)?
True
Suppose 0 = -r + 2*w + 592, 5*r + 0*r - 2969 = w. Let x be 124 - -2 - (3 + -1). Suppose 5*t = r - x. Does 32 divide t?
False
Suppose -3*z = 15*x - 13*x - 74, 4*x + 116 = 5*z. Is z a multiple of 24?
True
Let f be (-4 + 3)*(-2 + -5). Let r(l) = l. Does 6 divide r(f)?
False
Let b = 93 + 122. Let x = b + -83. Does 17 divide x?
False
Let f(x) = -19*x**2 + 23 + 5*x - 5 + 20*x**2. Is 13 a factor of f(-11)?
False
Let r(i) = -5649*i**3 - i**2 + i - 1. Let f be r(1). Let n be 4/18 - f/90. Does 13 divide 1/2 - n/(-2)?
False
Suppose 620 = 5*f + 5*n, 0*n + 640 = 5*f + n. Let x be ((-6)/10)/(3/(-15)). Suppose -3*b + f = -x*w, 2*b = 4*b + 2*w - 74. Is 18 a factor of b?
False
Suppose 9738 = -35*x + 34203. Is 44 a factor of x?
False
Let v(f) = -3*f**2 - 22*f + 5. Let r(i) = -16*i**2 - 109*i + 25. Let q(w) = -2*r(w) + 11*v(w). Is 28 a factor of q(-23)?
True
Let s(j) = 8*j - 7*j**3 - j**3 + 1 + 4*j**2 + 9*j**3 + 5*j**2. Let w be s(-8). Does 4 divide -7 - -17 - (0 + w)?
False
Let b = 1048 + -578. Is 13 a factor of b?
False
Let y = -1142 + 1688. Suppose -24*n = -21*n - y. Does 13 divide n?
True
Let l(g) = -5*g**2 + 3*g**2 - 3*g - 3*g + 3*g**2 - g**3. Let x be l(3). Is 26 a factor of (-8)/x + (-750)/(-27)?
False
Suppose -5*b + 5*p + 1495 = 0, 0 = -4*b - 6*p + 2*p + 1220. Does 11 divide b?
False
Let n = -82 + 225. Does 12 divide 22/n - 869/(-13)?
False
Let d(o) = 42*o. Let m(u) = -u - 17. Let h be m(-15). Let b be d(h). Let l = -28 - b. Does 28 divide l?
True
Let c = 4 + -4. Suppose -7*k - 110 - 429 = c. Does 21 divide 0 - (k + 0 + 4)?
False
Let h = -56 + 60. Is 18/(-24) + 223/h a multiple of 16?
False
Let g(l) be the second derivative of l**5/20 - l**3/3 + 55*l**2