
Let i(a) = -8*a. Suppose -3*b - 3 = 3, g + 5*b + 13 = 0. Let r = g - 0. Is 24 a factor of i(r)?
True
Let d(a) = a**3 + 6*a**2 - 8*a - 10. Suppose -4*n = 6*i - i + 41, 3*i + 35 = -5*n. Does 18 divide d(n)?
True
Let v(r) = -56*r - 252. Is 6 a factor of v(-6)?
True
Let x be -124*(-6)/60 - 4/10. Let n(s) = -s**3 + 13*s**2 - 6*s + 6. Is n(x) a multiple of 26?
True
Suppose q = 4, -169 = -a + 25*q - 22*q. Does 5 divide a?
False
Suppose -p + 0 = 1. Let g(a) = -98*a**3 + 3*a**2 + 2*a - 3. Let o(k) = -99*k**3 + 2*k**2 + k - 2. Let z(x) = -2*g(x) + 3*o(x). Does 21 divide z(p)?
False
Suppose 48 = 9*b - 3*b. Suppose 2*f = -3*f + 2*n - b, -4 = -5*f - n. Let m(k) = k**2 + 42. Is 9 a factor of m(f)?
False
Suppose 5*d + 168 + 92 = 2*j, -d - 49 = -j. Let z be (-147)/((66/4)/11). Let q = d - z. Does 14 divide q?
False
Let c be 25 + -1 + -4 + 3. Suppose 2*k + 2*g + c + 11 = 0, 2*g + 10 = 0. Is (-20)/k*(-6)/(-2) a multiple of 5?
True
Let w be (4/6)/((-6)/(-27)). Suppose -87 = -5*k - 2*j + 443, w*k + 2*j - 322 = 0. Is k a multiple of 26?
True
Let x(f) = -f**2 - 4*f + 3. Let h be x(-4). Let v(d) = -14*d - 3. Let y(s) = 41*s + 7. Let i(c) = 8*v(c) + 3*y(c). Does 10 divide i(h)?
True
Is 4 a factor of ((-250)/(-4) - (-17)/(-34)) + -2?
True
Let g(a) = -a**3 - 20*a**2 - 3*a - 12. Is g(-20) a multiple of 4?
True
Does 16 divide 1 - (-21)/(-28) - 4007/(-4)?
False
Let k(o) = o + 3. Let r(s) = 2. Let z(w) = -4*k(w) + 7*r(w). Let n be z(-4). Suppose -3*t + 62 = 2*q, -q + 5*t + n = -0. Is q a multiple of 6?
False
Let z(q) = 3*q. Let l be z(4). Let t be (-1)/(6/12)*(-21)/(-6). Let s = t + l. Is 5 a factor of s?
True
Let w(s) = s - 4. Let r be w(10). Suppose 2 - r = -x. Suppose 0 = x*f - z - 57, 4*z + 2 - 12 = -f. Is 7 a factor of f?
True
Suppose -7*x = -4*k - 3*x + 56, 0 = -5*k - 4*x + 88. Suppose 11*d = 12*d - k. Is d a multiple of 10?
False
Does 15 divide 130/(-195) + (-3419)/(-3) + 0?
False
Let u be -2*(-6 + 3 - -12). Let t = u + 30. Suppose 6*w - 174 = t. Is w a multiple of 19?
False
Let b be -1*180/5 - 2. Is 19 a factor of b/((-6)/3)*(-6)/(-2)?
True
Suppose -5*u - 4*i = 157, -5*u - 4*i - i - 160 = 0. Suppose -4*v + 0*v - 296 = 0. Let q = u - v. Does 12 divide q?
False
Let h(a) = -16*a + 4. Suppose 2*m = -3*s + 10, 0 = -m + 4*m - 6. Suppose 6*b = s*b - 8. Is 12 a factor of h(b)?
True
Let z = 354 - 133. Is 11 a factor of z?
False
Let z(d) = -10*d + 6. Let r be z(2). Let j be ((-238)/4)/(r/28). Suppose -5*k + x + j = 0, 2*k + 2*k + x = 88. Does 4 divide k?
False
Suppose 0*j - 3*n - 1 = -4*j, 3*n = -9. Let u(w) = -15*w**3 - 4*w**2 - 3*w - 2. Does 15 divide u(j)?
False
Let z(w) = -w**2 + w. Let m(y) = -22*y**3 - 4*y**2 + 8*y + 2. Let h(u) = m(u) - 5*z(u). Suppose 6*c + 19 = 13. Is 11 a factor of h(c)?
True
Suppose 0 = -4*i + 74 + 62. Suppose 0*f = 4*f + 2*l - 134, l - i = -f. Is 11 a factor of f?
True
Suppose 0 = 6*u + 19 + 173. Is u/(-2) + 2/((-10)/(-15)) even?
False
Let w(r) = -2*r + 28. Let j be w(14). Suppose j = 6*f + 4*f - 220. Is f a multiple of 9?
False
Let r(k) = -7*k - 1. Let b be r(-8). Suppose 7*u = 12*u + b. Let l = 41 + u. Is l a multiple of 10?
True
Suppose 750 = 4*g - 2*a, -2*a = g + g - 366. Suppose -g + 588 = 3*i. Is i a multiple of 13?
False
Let r be (-10)/8*(-1368)/570. Let p(q) = 2*q**3 - 3*q**2 + q - 2. Let z be p(2). Suppose r*s - 43 = -z. Does 10 divide s?
False
Let g(f) = f**3 - 4*f + 4. Let v(r) = r**3 + 3*r**2 - 3*r - 3. Let s be v(-3). Let k be g(s). Suppose 0 = -4*j, -q - 5*j + k = q. Is 25 a factor of q?
False
Let t(h) = 23*h - 3. Let l be t(1). Suppose -l = 4*b - 0, -3*b = -g + 71. Is g a multiple of 49?
False
Suppose -41*h + 40*h + 84 = 0. Does 3 divide h?
True
Let p(s) = 151*s**2 + 42*s - 128. Is p(3) a multiple of 40?
False
Suppose 29*d - 654 = 4624. Is 5 a factor of d?
False
Let a(f) be the third derivative of f**5/20 + f**4/8 + 2*f**3/3 - 18*f**2. Does 13 divide a(6)?
True
Suppose 3*a - 4 = -5*r, -5*r = 3*a - 2*r - 12. Suppose 2*n = 4*s - s - 17, -2*n - a = 0. Suppose 2*x - 5*k = -1, s*k = x - 0 + 2. Does 4 divide x?
False
Let a(f) = 2*f**2 - f + 11. Suppose 0 = 4*v - 4*o - 8, -4*v - 5*o + 0 = 1. Let x(m) = 5*m**3 + 2*m**2 + m - 2. Let u be x(v). Is 20 a factor of a(u)?
False
Suppose -2*u + 554 = 2*q, -3*u + 8*u + 582 = 2*q. Does 23 divide q?
False
Let v(q) = q**3 - 11*q**2 + 11*q - 11. Let y be v(10). Let l(h) = -59*h. Let g be l(y). Suppose -b + 2 = -4*u, -2*b - 5*u + g = -2*u. Is 13 a factor of b?
False
Let n be 4/14 - 192/(-14). Let l be 466/n + 28/(-98). Let q = l - 21. Is 4 a factor of q?
True
Let z(l) = -l**2 + 5*l + 14. Let i be z(-5). Is i*2*5/(-4) a multiple of 18?
True
Let i(w) be the third derivative of w**5/6 - 5*w**4/24 - 7*w**3/6 + 2*w**2. Let t be i(-3). Suppose -4*j + 14 = -t. Is j a multiple of 7?
True
Suppose 5*r - 42 = 2*j + r, 5*r = -5. Let o = j - -14. Let q = 9 - o. Is 4 a factor of q?
False
Let r be (-6)/(2 + 1) + 18. Suppose -31 + r = -3*l. Is l a multiple of 5?
True
Suppose z - 4*l = -13 - 4, 26 = -2*z + 4*l. Let o(c) = -3*c + 3. Let j be o(z). Suppose -2*i + 5*v = -16 + 1, 5*i = 5*v + j. Is i a multiple of 5?
True
Suppose -2*p + 1 + 479 = 2*d, -p = -d + 240. Is 20 a factor of d?
True
Let c(w) = 20*w - 157. Let x be c(8). Suppose 5*j - 8 = 2. Suppose 59 = j*m - 4*d - 5, x*d + 93 = 3*m. Is 10 a factor of m?
True
Let x(n) = -n - 11. Let d(k) = -4*k - 56. Let y = -22 - -20. Let q(l) = y*d(l) + 11*x(l). Does 11 divide q(-14)?
True
Let w(b) = 0*b - 2*b + 10 + 12. Is 10 a factor of w(0)?
False
Let y = 10 + -13. Let v be ((-4)/(-12) + -2)*y. Suppose 0*s + 2*s + 44 = o, 4*o - 182 = v*s. Does 13 divide o?
False
Let s(o) = 13*o - 22*o**3 - 14*o - 36*o**3 - 17*o**3. Let f be s(1). Let n = 116 + f. Is 12 a factor of n?
False
Let c(u) = -77*u - 18. Is 13 a factor of c(-8)?
True
Let y be (-30)/35*7*2. Let s = y + 16. Suppose 0 = 3*m + 4*t - 42, -2*m + 4*t + s = -24. Does 4 divide m?
False
Let g(r) = 10*r**2 + 13*r + 63. Is g(-6) a multiple of 38?
False
Is 116 a factor of ((-380620)/22)/(-5) - 32/176?
False
Let u = 427 + -331. Is 6 a factor of u?
True
Let g(x) = -x - 1. Let r(s) = -45*s - 60. Let z(m) = -110*g(m) + 2*r(m). Is z(2) a multiple of 10?
True
Suppose 0*d - 26 = -2*d. Suppose -4*u + d = -7. Suppose -8*b + 126 = -u*b. Does 20 divide b?
False
Suppose -2*i - 3 = -13. Suppose 373 + 279 = i*v + 4*w, 4*v + 3*w = 521. Does 32 divide v?
True
Let k(p) = p - 4. Let l be k(7). Suppose 2*a + 13 = -2*w + l*a, -a + 1 = 0. Let i(y) = -13*y - 1. Is i(w) a multiple of 19?
False
Suppose -3*w = -5*w. Let u be (1 - w)/((-8)/16). Is (u - 1 - -3) + 46 a multiple of 28?
False
Let j(i) = i**2 - 10*i + 9. Let m be j(9). Suppose -4*l - 4*n - 15 + 7 = m, 29 = 3*l - 4*n. Suppose 4*p - l*s = 161, 3*p = -p - 4*s + 196. Does 22 divide p?
True
Let k(b) = b**3 - 21*b**2 + 27*b - 12. Let m be (-2)/((12/(-32))/((-30)/(-8))). Does 64 divide k(m)?
True
Suppose -2*n + 739 = b, -467 = -b - 3*n + 271. Is 13 a factor of b?
True
Suppose 5*t + 135 = 3*k, -3*k + 4*t - 68 = -5*k. Let c be (12/5)/(12/k). Suppose -2*d = -88 + c. Is 14 a factor of d?
False
Is ((-4)/(-10))/(13/15470) a multiple of 17?
True
Suppose -i - 11 = g, 2*i = 2*g - 1 + 7. Let n be 10/(-6)*3*-1. Let a = n - g. Is a a multiple of 3?
True
Does 13 divide 5054/56 + (-6)/(-8)?
True
Suppose 6 + 2 = 4*i. Let o = i - -5. Let m(c) = -c**3 + 7*c**2 + 2*c - 5. Does 6 divide m(o)?
False
Suppose 2*n - 6 = o, 4*o = 5*n + 2*o - 16. Let q = -484 + 488. Suppose -24 = -q*i + 4*b, 2 = n*b - 2. Is i a multiple of 4?
False
Suppose -1 = -f - 0*f. Suppose 0 = -3*h - 2*y + y + 8, -2*y + f = h. Suppose c - 2 = 4*p - 63, -49 = -h*p + 4*c. Is 15 a factor of p?
True
Suppose -2*w + 313 + 785 = -4*d, -3*w - 4*d = -1637. Is w a multiple of 117?
False
Suppose -5*a + 318 = -237. Let b = 187 - a. Does 5 divide b?
False
Does 12 divide (-15)/(-30)*16*(-1356)/(-8)?
True
Suppose 1 = 5*b - 79. Suppose 0 = -5*t - 2*r - b, 3*t + 3 = -5*r - 18. Is 118*(1 + (t - -2)) a multiple of 34?
False
Let t(o) = -1 - 93*o + 87*o - 9 + 1. Is 7 a factor of t(-5)?
True
Suppose -4*d + 326 = l, -4*l - 4*d = 347 - 1591. Does 51 divide l?
True
Let x = 103 - 224. Let b = -30 - x. Is b a multiple of 13?
True
Suppose -3*a - 58 = 2*s, -2*a + 2*s + 40 = -4*a. Let v = a - -24. Does 14 divide ((-51)/2)/(v/(-12))?
False
Let r(g) = 3*g - 28. Let t be r(10). Doe