-22. Is ((-245)/(-5) - i) + 2 a multiple of 11?
True
Let b(r) be the first derivative of r**4/4 - 5*r**3/3 + 3*r**2/2 - r - 49. Suppose -2*p + 30 = 3*v - 6*p, -3*p + 21 = 5*v. Is 8 a factor of b(v)?
False
Let m = 24 - 22. Let w(k) = -39*k + 2. Let v be w(m). Let y = v - -108. Is 10 a factor of y?
False
Let s be (13/26)/((-38)/20 - -2). Suppose -10 = -n + 4*g + 15, -2*n + 11 = s*g. Is n a multiple of 13?
True
Suppose -58*f + 490812 = 26*f. Is 13 a factor of f?
False
Let i = -245 + 634. Does 44 divide i?
False
Let z be ((-1)/(-2))/(((-78)/(-204))/13). Suppose -2*g + z = -47. Is g a multiple of 8?
True
Let m(d) = 12*d - 16. Let b(j) = -11*j + 15. Let r(l) = 7*b(l) + 6*m(l). Is r(-7) a multiple of 14?
False
Let l = -1081 + 1361. Is l a multiple of 4?
True
Let m = 2745 + -1672. Is m a multiple of 14?
False
Let b(f) be the second derivative of f**4/12 + 19*f**3/6 - 6*f**2 - 12*f. Is b(-20) a multiple of 4?
True
Suppose 0 = o - 5*x - 2762, 4*o - 7518 = 4*x + 3466. Does 76 divide o?
False
Let j = 76 + -15. Is j a multiple of 7?
False
Let n(j) = -1. Let o(g) = 7*g + 6. Let u(r) = 5*n(r) - o(r). Does 11 divide u(-5)?
False
Let j be (1860/(-45))/((-1)/(-3)). Let p = -17 - j. Is 14 a factor of p?
False
Let d(m) = 0 - 10*m + 0 + 3 - m**2. Suppose 5*k - 81 + 34 = 3*p, 4*k = 2*p + 34. Is 5 a factor of d(p)?
False
Does 11 divide 16*(8 + (-44)/8)?
False
Suppose 0 = 5*l - 2*n - 847, 9*n + 4 = 5*n. Is 6 a factor of l?
False
Suppose -r + 525 = 3*r - 5*a, 0 = r - 3*a - 133. Is r a multiple of 19?
False
Suppose 0*d + 3 = d. Is (-4)/(-6) - (-58)/d a multiple of 20?
True
Suppose -5*p + 33 = n + 3*n, -2*p = -10. Does 15 divide -2*151/(-3 + 3 - n)?
False
Suppose 6*j - 2*j + v - 9 = 0, -2*v = -2. Suppose -15 = 5*k, -5*b + 3*k - 1 = -10*b. Suppose c = l + j*c - 21, b*c = -5*l + 111. Is l a multiple of 7?
False
Suppose 4*n + 3*m = 269, 2*m + 2*m + 313 = 5*n. Is 4 a factor of n?
False
Let n be ((-6)/(-10) - 15/25) + 2. Is 2*(-3 + 10) + (-2)/n a multiple of 13?
True
Suppose 0 = 5*p + 4*g - 31, 4*p + 5*g - 20 - 12 = 0. Let x be p/((-9)/30) + 4. Is (-194)/(-16) - x/(-48) a multiple of 12?
True
Let j = -809 + 1209. Is j a multiple of 8?
True
Let g = 97 - 50. Let h = g - 85. Let c = 38 - h. Does 28 divide c?
False
Suppose -10*t + 363 = -7*t. Let s = t + -11. Is 11 a factor of s?
True
Let y = 25 - 22. Suppose 0 = -8*a + y*a. Suppose 2*v + z + 2*z - 126 = a, 0 = 5*v - 2*z - 315. Is v a multiple of 28?
False
Let u be 4 - ((6 - 3) + 1). Suppose t = -u*t - 7. Let w = t + 10. Is w a multiple of 3?
True
Is 8 a factor of 132160/70 - (-1 - (-3)/3)?
True
Let j = 1018 + -298. Is j a multiple of 15?
True
Let g(a) = 2*a**2 - 15*a - 6. Let r be g(8). Suppose -r*p - 2*p + 60 = -4*w, 2*p + 2*w - 18 = 0. Does 3 divide p?
True
Let x(r) = 33*r + 6. Does 24 divide x(2)?
True
Let h = -63 - -225. Let u = h + -82. Does 20 divide u?
True
Suppose 0 = -4*n - 4*a + 2060, 0 = 8*n - 3*n - 3*a - 2567. Does 8 divide n?
False
Let s(t) = -2*t**3 + t**2 + 26. Suppose -15*r = -7*r + 40. Does 23 divide s(r)?
False
Is 65 a factor of (-10390)/(-24) + (-73)/(-876)?
False
Let u = -101 - -623. Is 49 a factor of u?
False
Suppose -49*l + 44*l + 4*w + 1873 = 0, -3*w = l - 386. Is l a multiple of 92?
False
Let k(v) = 3*v**2 - 6*v - 5. Let s be k(-3). Does 21 divide s/6*((-86)/(-4) - 2)?
False
Let x = 2 - 22. Let y = x + 16. Is (-29)/1*(y + 2) a multiple of 18?
False
Let i = 57 + -55. Suppose 5*h - h - i*b - 196 = 0, 2*b = -4. Is 5 a factor of h?
False
Let d = -6508 + 10278. Is d a multiple of 59?
False
Let c(d) = 27*d - 4. Let h be c(-4). Let z be h/42*(-3)/2. Let u(p) = p + 8. Is 4 a factor of u(z)?
True
Let v = -78 - -103. Suppose 13*h + 1188 = v*h. Does 11 divide h?
True
Let q = 3359 - 2315. Does 38 divide q?
False
Let w(d) = -2*d**3 - 3*d**2 - 3*d - 4. Let v(y) = y**2 - 15*y - 5. Let s be v(15). Let o = s - -2. Does 17 divide w(o)?
False
Let d(n) = -9*n - 1. Let g be d(3). Let v = g + 26. Does 17 divide ((-10)/(-15))/(v/(-102))?
True
Does 21 divide 162*(-10)/((1 + -7)/6)?
False
Let g(z) = 18*z - 322. Is g(38) a multiple of 20?
False
Let o = -772 - -1630. Let b = o + -582. Suppose 4*p - b = p. Is p a multiple of 23?
True
Let g be 2*((-17)/(-2))/(5/5). Suppose -19*v + g*v + 214 = 0. Is v a multiple of 31?
False
Suppose -m - 254 = 2*j - 1365, -2222 = -2*m + 5*j. Is m a multiple of 26?
False
Suppose 0 = 25*b - 36*b + 2596. Is b a multiple of 4?
True
Suppose 7*t - 534 - 1306 = -5*h, 0 = -t - h + 264. Is 20 a factor of t?
True
Let j = -242 + 2908. Does 34 divide j?
False
Suppose 0 = -g + 3 + 2. Suppose -g*i = -o + 47, 3*i = -i + 8. Suppose 4*j - o = j. Does 10 divide j?
False
Let o be (-2)/(-4)*(-3 + -13). Is 26 a factor of 3*45 + (-16)/o?
False
Suppose -4*r + 4 = 4*l, 14 = 2*l - 2*r - 2*r. Suppose 0*m - 3*m + l = 0, 0 = 4*t - 2*m - 674. Does 13 divide t?
True
Let d(m) = -3*m - 3. Let w be 18/(-3) + 3 + 1. Let c be d(w). Suppose -2*n = c*n - 150. Is 30 a factor of n?
True
Let f(b) = b**2 - 15*b + 31. Let x be f(13). Is 4 a factor of (-94)/(-6) - (15/x)/(-9)?
True
Let j(d) = -2*d + 19. Let y be j(-8). Let a = -24 + y. Does 11 divide a?
True
Let q = 7 - 22. Let g = -9 - q. Is 14 a factor of 0 - 21*g/(-9)?
True
Let l(f) = -f**2 - 5*f. Let v be l(-3). Suppose 2*a - 18 + v = -5*c, 4 = 4*c - 4*a. Suppose 6*b - 28 = c*b. Is 7 a factor of b?
True
Suppose 0 = 14*m + 23*m - 28120. Is 10 a factor of m?
True
Suppose -w - 400 = -11*w. Does 4 divide w?
True
Suppose 0 = -13*m + 5407 + 547. Is m a multiple of 13?
False
Suppose -2*z + 0 = -600. Is z a multiple of 20?
True
Let p(m) = m**2 + 7*m + 8. Let i be p(-6). Suppose -4*j + 160 = -i*j. Is 16 a factor of j?
True
Suppose -2*u = -5*b + 11, -b = -0*u + 3*u - 9. Suppose v + 73 = 3*n + 3*v, 0 = -3*n + b*v + 93. Is n a multiple of 27?
True
Suppose 5*f + 0*f + 2*r = 578, -233 = -2*f + r. Suppose -o = f - 34. Let p = 149 + o. Is p a multiple of 15?
False
Let h(n) be the first derivative of -3*n**4/4 + 2*n**3/3 + n**2 + 4*n + 8. Is 16 a factor of h(-2)?
True
Let d = 1268 - 884. Is d a multiple of 16?
True
Let f(d) = -9*d + 47. Let x be f(7). Is 12 a factor of x + 209 - (-1 - 3)?
False
Let s be (-788)/(-10) + (-7)/(-35). Suppose 0 = 3*d + 5*b + 33, -s = 4*d - 6*b + b. Is (-9)/12*(0 + d) a multiple of 8?
False
Suppose 18*n = 21*n + 42. Suppose -5*l = -0 - 5. Let b = l - n. Does 13 divide b?
False
Let t(k) = 40*k + 45. Let j be t(-10). Let u be -2*(-3)/(18/(-21)). Does 17 divide j/u - 12/(-42)?
True
Let f(i) = -i**3 + 8*i**2 - 6*i - 5. Suppose -b - 2*s = -6*b + 31, 3*b - 17 = 2*s. Let d be f(b). Suppose v - 36 = -d*v. Does 6 divide v?
True
Let a(b) = -32*b**3 + 17*b**3 + 7*b + 16*b**3 + 8*b**2 - 5 + 7 + 6. Suppose 26 + 9 = -5*d. Does 4 divide a(d)?
True
Let x = -6 - -13. Let p(i) = i**3 + i**2 + i. Let w(d) = 8*d**2 + 5*d. Let h(g) = -p(g) + w(g). Is h(x) a multiple of 14?
True
Let c(j) = -2*j + 0*j**2 + 3 + 2*j**2 + 0*j**2. Let h be c(2). Let b(s) = s**2 - 3*s + 7. Is b(h) a multiple of 10?
False
Let u = -8 - -8. Suppose -t - 4*w + 22 = u, t = -2*t + 5*w + 49. Is t a multiple of 6?
True
Suppose q = 4 + 15. Let d = q + -13. Suppose -46 = d*n - 388. Is 21 a factor of n?
False
Does 9 divide 162/3*4/6?
True
Does 10 divide ((-42)/(-4) - 3)*(-2262)/(-65)?
False
Suppose -2*x - 6 = -10. Suppose 2*y - 142 = -2*k, -x*k + y = -0*k - 127. Let f = k - 36. Is f a multiple of 6?
True
Does 18 divide 1/1 + (540 + -5)/5?
True
Suppose 30*r + 8316 = 39*r. Is r a multiple of 22?
True
Let r(x) = 97*x**2 - 6*x - 4. Is 12 a factor of r(2)?
True
Let r(c) = -c**2 + 3. Let d be r(2). Let h = 17 - d. Is h a multiple of 13?
False
Suppose -n + 733 = z, -2*z + 239 = n - 489. Is n a multiple of 23?
False
Suppose -8 = -3*g - 7*q + 8*q, 6 = g - 2*q. Suppose i + 1 = -3*p + 34, g*i = p - 4. Is p a multiple of 3?
False
Suppose -16 = -0*r - 4*r. Suppose -r*z = -135 - 117. Is 21 a factor of z?
True
Let i = 52 + -34. Let j = 26 - i. Let v = j + -2. Is v even?
True
Suppose 89 + 179 = -4*k. Let x = 6 - k. Let n = x + -44. Is n a multiple of 6?
False
Suppose -7*p = -22*p + 525. Is p even?
False
Let r = -274 - -337. Is r a multiple of 63?
True
Is ((-3444)/(-205))/((-3)/(-10)) a multiple of 14?
True
Let b(k) = 3*k**3 + 7*k**2 + 14*k - 4. Does 14 divide b(5)?
True
Let q = -2703 + 3732. Is q a multiple of 49?
True
Let d = -205 - -400. Is 