-7*f + g*x + c = -4*f. Is f a multiple of 22?
False
Suppose 40*z - 8160 = -28*z. Is 12 a factor of z?
True
Let v = 78 - 56. Suppose 0 = 3*j - 5*o + 2*o - 6, 5*o + v = -j. Let l(u) = 5*u**2 + u - 2. Does 8 divide l(j)?
True
Suppose 2*n + 2*n = -5*g + 13, 0 = -g + 2*n + 11. Suppose g*k + 82 = 562. Let q = 148 - k. Is q a multiple of 26?
True
Let n = 18 + 13. Suppose 50 = n*a - 30*a. Is 8 a factor of a?
False
Let z(a) = a**3 + a**2 - a + 262. Let r be 0/(-4) - (-6 + 6). Let s be z(r). Is s/2 - (-8 - -9) a multiple of 25?
False
Suppose 0 = -2*h - 3*c + 475, -3*c + 818 = 5*h - 347. Does 10 divide h?
True
Suppose -2*c = -4*c - 4*r + 416, -614 = -3*c + 4*r. Is 3 a factor of c?
False
Suppose 3*a = -3*a - 18. Is 13 a factor of a/(-84)*7 - 347/(-4)?
False
Let z = -39 + 41. Suppose -z*g - g + 360 = 0. Is g a multiple of 25?
False
Let g(o) = 26*o + 2. Let i be g(3). Suppose -5*l + 20 = -i. Is l a multiple of 4?
True
Does 12 divide (5 + 2 + -12 - 3)*-13?
False
Suppose -7680 = -2*t - 28*t. Does 16 divide t?
True
Let z = 675 + -686. Let o(j) = j**2 + 0*j**2 - 12*j - 2*j**2 + 3. Is 14 a factor of o(z)?
True
Suppose 3*c + 3 - 18 = 0. Suppose -63 = c*i - 183. Is 17 a factor of i?
False
Suppose 4*f - 21 = -1. Suppose -f*b + 125 = -25. Is 10 a factor of b?
True
Let h be 156*(4 - 36/8). Is (h/12)/((-2)/4) a multiple of 2?
False
Let b(v) = v + v - v + 11 - 4. Does 4 divide b(12)?
False
Suppose j = 43*q - 45*q + 84, -4*q = -j - 156. Does 3 divide q?
False
Suppose 12*v - 2921 = 1075. Is 9 a factor of v?
True
Let p(m) = m - 6. Let x = 6 - -3. Let j be p(x). Suppose j*o + 22 = 5*o. Is 11 a factor of o?
True
Suppose 5*y = 5*q + 135, 0 = -5*q + q + 2*y - 116. Let f = q - -19. Is (-9)/54 - 470/f a multiple of 13?
True
Let u be 3/6*(8 + -2). Suppose 5*b - 10 = u*b. Is 5 a factor of (1 - 1) + b + 0?
True
Let u(i) = 3*i + 43. Is u(-11) a multiple of 7?
False
Suppose y + 2*x = 8, -4*y + 5 = 3*x - 17. Suppose 0 = -n, 2*n = -y*t + 484 + 528. Does 19 divide t?
False
Let n(d) = -11*d**2 - d - 3. Let s(g) = -32*g**2 - 3*g - 10. Let a(u) = 11*n(u) - 4*s(u). Does 41 divide a(4)?
True
Suppose 50 = -14*v + 302. Let w(c) = c**3 + 3*c**2 + 2*c. Let z be w(-2). Suppose 2*y - v - 10 = z. Is 7 a factor of y?
True
Let c be (-7 + -8)*(2 + -1). Let b = -13 - c. Suppose 0 + 4 = -w, -b*w = -3*p + 242. Is 26 a factor of p?
True
Suppose 16*f - 280 = 232. Is f a multiple of 16?
True
Let m = 60 - 58. Suppose 8 = 2*w, 3*t = w + m*w + 66. Does 19 divide t?
False
Does 74 divide 535120/440 + 5/(55/(-2))?
False
Let d(f) = f - 14. Let y be d(-10). Let t = y + 38. Suppose -t = -3*k + 2*k. Does 14 divide k?
True
Does 2 divide (-4)/(-8) + 315/6?
False
Let v be ((-24)/(-20))/(3/90). Let m = -19 + v. Suppose m = 3*f - 10. Is 4 a factor of f?
False
Let q = -94 - -255. Is 17 a factor of q?
False
Suppose 0 = 4*t - 5*t + 2. Suppose -5*k + 57 = -t*w - w, -3*k = 5*w - 41. Is k a multiple of 6?
True
Let w(t) = -75 + 6*t**2 + 2*t**2 + 76 + t. Is w(2) a multiple of 18?
False
Let v(i) = -i**3 + 4*i**2 + i + 6. Let z be v(4). Suppose -5*m + 22 = 2*b, m = 2*m - b - z. Does 16 divide (-4146)/(-78) + m/(-39)?
False
Suppose -13 - 9 = -2*f. Let g(a) = a**2 - 3*a. Is 22 a factor of g(f)?
True
Suppose i - 3*y = 375 - 4515, -3*i = -5*y + 12436. Is 13 a factor of (-3 - i/21) + 2/7?
True
Let r(n) = 36*n**3 - 2*n**2 + 2*n - 1. Let f be r(1). Let o = f - 10. Is o a multiple of 7?
False
Suppose 4*a = -19*c + 21*c + 4994, c = -a + 1256. Is a a multiple of 16?
False
Let i(j) = -132*j + 8. Is 19 a factor of i(-3)?
False
Suppose -5*o + 7*o + 3*a - 8366 = 0, 0 = 3*o + 4*a - 12549. Does 59 divide o?
False
Is 9745/3 + 340/510 a multiple of 30?
False
Let g = -21 + 27. Is 16 a factor of (31 + 1)*g/8*2?
True
Let u be ((-27)/2 - -1)*2. Let s(n) = -12*n + 96. Let o be s(5). Let b = u + o. Is 5 a factor of b?
False
Let w(l) be the second derivative of 4*l**3/3 + l**2 + 3*l. Let d be w(1). Suppose d*g + 140 = 14*g. Is g a multiple of 7?
True
Let n(a) = a**3 - 11*a**2 - 12*a - 5. Let k(z) = 10*z + 10*z**2 + z + 5 + 0*z**2 - 17*z**3 + 16*z**3. Let x(s) = 6*k(s) + 5*n(s). Does 5 divide x(6)?
True
Let m be 18*((-4)/(-6))/(1/10). Suppose 0 = 30*h - 33*h + m. Does 20 divide h?
True
Let i(p) = -144*p + 75. Is i(-2) a multiple of 8?
False
Suppose -13 - 12 = -5*r. Suppose -r*w + 49 = -21. Does 20 divide -6*(3 - w - -1)?
True
Let z(s) be the second derivative of -s**5/20 + s**4/2 - s**3/6 + 7*s**2/2 + 15*s. Does 9 divide z(5)?
True
Let d = 34 - 21. Let a = d + -8. Suppose -4*j + 0 + 33 = -a*o, -3*j + 39 = o. Is 12 a factor of j?
True
Suppose -7*a = -15 - 6. Suppose 5*r - 81 = m - a*m, -5*m + r + 216 = 0. Does 10 divide m?
False
Does 27 divide 3*(-14)/((-98)/819)?
True
Let l(y) = 3*y - 2. Let w(m) be the second derivative of m**4/12 - m**3/6 - 4*m**2 + 4*m. Let v be w(4). Does 5 divide l(v)?
True
Let t = 1861 + -1023. Suppose -7*j = 278 - t. Is j a multiple of 16?
True
Suppose -2*r = -3*n - 4 + 23, -n + 13 = -4*r. Suppose -n*l + 8*l = 237. Is 4 a factor of l?
False
Let o(p) = 0*p**3 + p + 2*p + p**3 - 3*p**2. Let a be o(2). Suppose 6*r - 112 = a*r. Does 11 divide r?
False
Suppose 21 - 1 = 5*r. Is 32 - (-6 + 16/r) a multiple of 15?
False
Let d be (-6)/(-14) - (3 - 13758/42). Let g = d + -229. Is g a multiple of 24?
True
Let f = 2340 + 2190. Is 32 a factor of f?
False
Let d be (1 - -2) + 45/(-3). Let l = 10 - d. Is l a multiple of 7?
False
Let k(s) = 2*s**3 - 10*s**2 - 20*s + 18. Does 49 divide k(7)?
False
Let a(d) be the second derivative of -d**5/20 + 3*d**4/4 + 2*d**3/3 + 19*d**2/2 - 8*d. Is 18 a factor of a(6)?
False
Suppose -2*m + 3*m - 2 = 0. Let s(c) = c + 3. Let f be s(m). Suppose 4*v - 83 = -f*j, 29 = v + 8*j - 4*j. Does 17 divide v?
True
Let y = -696 - -891. Is 11 a factor of y?
False
Suppose -2*w + 2*v = 24, -4*w - 5*v - 18 = 39. Let j(g) be the third derivative of -g**6/120 - g**5/5 + 7*g**4/12 + 19*g**3/6 + g**2. Does 2 divide j(w)?
True
Suppose 12 = -7*g + 4*g, 3*g + 22 = 5*j. Let b = -1 - j. Is 6 a factor of ((-34)/b)/((-4)/(-6))?
False
Let m(g) = 2*g**2 - 3*g + 3. Let b be m(-11). Is 43 a factor of (b/(-8))/(3 + 13/(-4))?
False
Suppose 3 = -7*k + 6*k. Let s be 380/57 - 1/k. Suppose -3*u = -2*m + 19, 2*u + 57 = 3*m + s*u. Is m a multiple of 7?
True
Let y = -197 - -269. Is y a multiple of 18?
True
Let h = -81 - -85. Suppose 3*m + 4 = 121. Suppose -h*r + r + m = 0. Is 13 a factor of r?
True
Suppose 4*b = q - 18, 5*q + b - 23 - 4 = 0. Let v be q*1/(2 - 1). Is 25 a factor of (v/(-15))/(2/(-330))?
False
Suppose 0 = 13*b - 9*b + 3*d - 35, 3*b + d - 25 = 0. Does 4 divide b?
True
Suppose -4*h - 5018 = -30*h. Does 3 divide h?
False
Suppose 702 = 15*a - 9*a. Is 3 a factor of a?
True
Let y = -382 + 812. Is 40 a factor of y?
False
Let j = 44 + -52. Is 102/3 - j/4 a multiple of 8?
False
Let h(z) = z**2 - 2*z - 1. Let p be h(6). Suppose 55 = 3*l - 56. Suppose m = -2*t + p, t + 2*t = 4*m - l. Does 13 divide m?
True
Let v(n) = -n**3 - 6*n**2 - 2*n + 5. Let h be v(-6). Let b = -15 + h. Suppose -34 = -4*z + b. Is z a multiple of 9?
True
Let x(q) = -14*q + 1243. Is 120 a factor of x(40)?
False
Suppose 8*l - 3*l = -675. Let n = -83 - l. Does 13 divide n?
True
Let z be 84/(-15) - (-6)/(-15). Let y = 26 - z. Is 16 a factor of y?
True
Suppose 7*j + 54 + 16 = 0. Let u = 12 + j. Suppose 32 = -u*i + 78. Is i a multiple of 12?
False
Suppose -15*x - 22*x + 34891 = 0. Is 40 a factor of x?
False
Let h = -406 + 467. Is 5 a factor of h?
False
Suppose -2*n - 4*m = -12, 5*n + 5*m = 3*m + 22. Suppose -6*z = -3*z - 3*w - 291, -3*z + 295 = -n*w. Does 31 divide z?
True
Suppose 4*c = 3*b - 1916 - 411, 2*b + 4*c = 1538. Does 6 divide b?
False
Suppose 4 = -2*i - 4. Let t(c) = -c**3 - 9*c**2 + 8*c - 10. Let m be t(-10). Is ((-8)/m)/(i/130) a multiple of 13?
True
Suppose 0 = 3*f + 2*b - 999, f + 3*f = -b + 1332. Suppose -3*z + 3*c - f = -8*z, 61 = z + 2*c. Does 23 divide z?
True
Let y be -3*(5 + -4 - -48). Let m = y + 220. Suppose 2*a - 5*h = 215, 4*a - h - 494 = -m. Is 40 a factor of a?
False
Is (-895)/(-20) - 5/(-20) a multiple of 17?
False
Let w(c) be the first derivative of -c**2/2 + 3*c + 9. Is 3 a factor of w(-6)?
True
Let c(o) = 3*o**2 - 3*o + 3. Suppose -6*h = -8*h + 4. Does 9 divide c(h)?
True
Suppose -c - 1551 = -3*c - 3*j, 5*c - 2*j - 3849 = 0. Is 54 a factor of c?
False