e -36193 = 22*n - 27*n + s, s + 21715 = 3*n. Is n a multiple of 107?
False
Is 7 a factor of ((-4)/5)/(-2) - ((-543569)/65 + -9)?
True
Let t(f) = -f**2 - 5*f - 8. Let x(q) = -q**2 - 6*q - 9. Let c(o) = -6*t(o) + 5*x(o). Let a be c(-3). Suppose -a = -3*j + 2*j. Does 12 divide j?
True
Let d(x) be the third derivative of -x**5/60 + 13*x**4/6 + 2*x**3/3 - 141*x**2. Is 11 a factor of d(28)?
False
Let s be (3 + 385/15)/((-2)/6). Let f = s - -90. Suppose d + f*v - 318 + 17 = 0, -5*d = -4*v - 1457. Is d a multiple of 56?
False
Let y be 80/25 + 0 + 2/(-10). Suppose y*d + 3370 = 5*p, d - 4*p + p = -1126. Is (-6)/(-5)*d/(-48) a multiple of 14?
True
Let t(l) = l**3 - 8*l**2 + 8*l - 2. Let z be t(7). Suppose 0 = 3*r, -z*q + 3*r + 548 = -172. Suppose -k - q = -3*k. Is k a multiple of 18?
True
Does 38 divide 6210/2 + (-102)/(-340)*-30?
False
Is 11 a factor of 2443*((-30)/105 + 256/28)?
False
Let s = 238 - -146. Let a = s + -273. Does 53 divide a?
False
Let a = -5777 + 11458. Is 19 a factor of a?
True
Let k(v) = -2167*v + 6. Is 20 a factor of k(-2)?
True
Suppose -64*f + 127259 = -78309. Does 22 divide f?
True
Let y(l) = -2*l**3 - 21*l**2 - 35*l - 26. Does 6 divide y(-11)?
True
Let r(t) = 296*t + 9. Suppose -3*c - 9 = -5*p, -5*c + 4*c + 2*p - 4 = 0. Let f be r(c). Suppose 248 = -4*i + 6*i - 5*z, -3*z - f = -5*i. Does 24 divide i?
False
Let a(h) = h**2 + 4*h - 70. Let n be a(7). Suppose n*k = -217 + 2065. Is 15 a factor of k?
False
Let o(x) = x**2 - 35*x + 171. Let a be o(5). Suppose m - 102 = -v, -319 + 100 = -2*m + v. Let p = a + m. Does 32 divide p?
True
Let z = 42 - 39. Suppose -2*s = 2*f - 310, 0 = -z*f - 7*s + 3*s + 468. Does 14 divide f?
False
Suppose -14*h - 1349 = 5*h. Let o = 119 + h. Does 21 divide o?
False
Let a(m) = -11*m - 22. Let r be a(16). Let s = r + 463. Is 25 a factor of s?
False
Let z = 29525 - 22563. Does 118 divide z?
True
Suppose 5*w = b + 36344, 3*w + 2*b - b - 21816 = 0. Is w a multiple of 42?
False
Let w be (-310)/62 - (1 - 150). Suppose 0 = 165*a - w*a - 7329. Is a a multiple of 31?
False
Let f(c) be the first derivative of 107*c**2/2 - 22*c - 73. Is f(8) a multiple of 79?
False
Let k(m) = 1205*m - 474. Is k(13) a multiple of 145?
False
Let x(n) = -4*n**2 + 5*n. Let p be x(1). Is (46/2 + p)*1 a multiple of 11?
False
Suppose 3*y = 3*l + 3002 + 9514, 4*y + l = 16688. Is 14 a factor of y?
True
Let w = 44 + -41. Suppose -3*z + w*i = -1414 + 349, -10 = -2*i. Is 31 a factor of z?
False
Suppose 2*c + 4*k - 28 = -8, -3*k - 21 = -3*c. Is 9 a factor of 12/c - (-1430)/4?
False
Let b(z) = -z**2 + z + 103. Suppose 123 = 4*v + h + 2*h, 5*h = -15. Let o = v - 33. Is b(o) a multiple of 15?
False
Let j(b) = 5 + 6*b**2 - 18 - 2*b**2 - 4*b + 19*b**2. Suppose 0 = 3*i + 4*a - 3, i + 6*a = 2*a + 9. Does 14 divide j(i)?
False
Suppose -d + 1893 = r, -80*r = -85*r + 2*d + 9458. Is 118 a factor of r?
False
Suppose 0 = l + 5*a + 8 - 11, -5*l - 5*a + 15 = 0. Suppose b + 2*b = l*h - 285, 382 = 4*h - 2*b. Does 32 divide h?
True
Suppose -11727 = -55*i + 50*i - 2*a, i = -a + 2346. Is i a multiple of 10?
False
Let l = -742 + 6159. Is l a multiple of 11?
False
Let i(h) = -6 + 9 - 4*h - 7. Let c be i(-2). Does 2 divide 156/65 - c/10?
True
Let q = -13049 + 23972. Does 33 divide q?
True
Suppose -14*d + 2 = -16*d. Let j(w) = -55*w - 1. Let a be j(d). Suppose -a = -2*x - 3*i, -i = -4*x - 2*i + 98. Does 11 divide x?
False
Let l = 459 - 463. Is (2/l)/((-5035)/(-720) + -7) a multiple of 24?
True
Let p = -1 - 3. Let n be 5*p/(-60) - 242/6. Is 40 a factor of 319/4 - 10/n?
True
Suppose 7*j - 8*j = -10. Let l(c) = -6*c + 9*c - j + 56. Is l(13) a multiple of 17?
True
Let w(s) = -s**2 + 11*s - 9. Let t = -125 - -133. Does 15 divide w(t)?
True
Let k be (15/25)/(11/11110). Let h = k + 363. Is h a multiple of 10?
False
Does 100 divide ((-1104)/36 - 16)/((-1)/45)?
True
Let g(c) = -3*c + 72. Let q(o) = o - 24. Let w(l) = 6*g(l) + 17*q(l). Suppose -f - 18 + 20 = -4*z, 5*f + 3*z - 33 = 0. Is w(f) a multiple of 2?
True
Suppose 11*c = -c - 324. Let f = c + 27. Suppose -3*a = -18 + 3, 5*p + a - 380 = f. Is p a multiple of 15?
True
Suppose 0 = 9*v - 2*v - 28. Suppose -v*x + 21 = 9. Suppose 19 = x*h - 29. Is 8 a factor of h?
True
Let r(w) = 2*w - 13. Let j be r(9). Suppose 0 = 4*z + j*g - 17, 0*z + 4*g = -z + 7. Suppose 0 = -z*o - 46 + 145. Is 11 a factor of o?
True
Suppose 3*k = -4*r + 21, 0*r - 15 = -r - 4*k. Suppose -r*d = d + 2*d. Suppose d = -5*u - 169 + 489. Does 16 divide u?
True
Suppose 0 = 15*j - 7*j - 4968. Is 12 a factor of 74382/j - (-4)/18?
True
Suppose 260 = 18*w - 622. Suppose w*a = 47*a + 1008. Is a a multiple of 24?
True
Let h(k) = -17*k**3 - 5*k**2 - 51*k - 357. Is 35 a factor of h(-8)?
True
Let s(v) = -2*v**2 + 3*v + 2. Let r be s(0). Suppose -4*h + 386 + 134 = 0. Suppose -h = -r*g + 62. Is 12 a factor of g?
True
Let b be (-11)/(110/(-20)) + (-20)/5. Suppose -5*l - 32 = -l. Is 9 a factor of 502/8 - (18/l - b)?
True
Does 8 divide (12/15)/(42/42420)?
True
Is 48 a factor of 8 - ((-30)/5 - 2331)?
False
Suppose 4*x = -2*b - 56, 2*b - 3 = x - 3*b. Let q(l) = -l**2 - 26*l + 7. Does 16 divide q(x)?
True
Suppose 9 = 4*u + 5*t, 3*u - 2*u - 5*t = 21. Is (u/3 + -124)*(-14 - -13) a multiple of 88?
False
Let o(a) = -363*a - 1194. Is 109 a factor of o(-15)?
True
Let q be 46/8*(-3 - -11). Let n be q/((-1)/(-3)*6). Suppose -903 = -10*u - n. Is 25 a factor of u?
False
Suppose -25*g = -20*g - 140. Let z = 47 - g. Is 15 a factor of z?
False
Let d(h) = -12*h**3 + 1 + 5 + 7*h**3 - 2*h + 21*h**2 + 9. Let w(z) = -3*z**3 + 11*z**2 - z + 7. Let n(v) = 4*d(v) - 7*w(v). Does 22 divide n(-6)?
False
Let k = 481 + -27. Suppose 7*z - 92 = k. Is 9 a factor of z?
False
Let y(m) = 255*m**2 - 103*m + 1236. Does 144 divide y(12)?
True
Let u(f) = -f**3 + 38*f**2 + 72*f + 12. Does 42 divide u(17)?
False
Let q = -1914 - -1087. Let u = -554 - q. Does 7 divide u?
True
Let h be 4*(-7)/(-35)*5. Suppose 2*a = 0, -h*k + 7*k + 4*a = 1095. Is 57 a factor of k?
False
Is ((-4)/32)/1 - (1 + 423486/(-112)) a multiple of 36?
True
Suppose -2*h + 3*j + 3846 = 0, -24*h + 21*h = 4*j - 5786. Does 33 divide h?
False
Let k(g) = g**2 + 5*g + 20. Suppose 6*v - 2*v = 3*f - 37, 0 = -f + 4*v + 23. Suppose -3 + f = c - 5*p, 3*p + 9 = 0. Is 26 a factor of k(c)?
False
Let w(c) be the second derivative of c**5/20 + c**4/2 + c**3/6 + 3*c**2 - 3*c. Let u(a) = a**3 - 7*a**2 - 7*a - 13. Let v be u(8). Is w(v) a multiple of 13?
True
Suppose -102862 + 353049 + 105867 = 53*i. Does 12 divide i?
False
Suppose -6*l + 4334 = -i, 213 = 2*l + 2*i - 1241. Does 3 divide l?
True
Is 125 a factor of (-1973 + -2)*(0 + -5)?
True
Is 13/(65/25) + 779 + 2 + -2 a multiple of 49?
True
Let b(i) = i**3 - 5*i**2 - 4*i + 2. Let n be b(6). Suppose -645 = 9*s - n*s. Let r = s + -55. Is 16 a factor of r?
False
Let w(r) = -439*r + 140. Let g be w(-20). Suppose 9*m + m = g. Is m a multiple of 7?
False
Suppose 4 = 2*p - 4. Is (5 - p)*(399 - 2) a multiple of 7?
False
Let c(t) = -t + 111. Suppose 8*y - 4*y - 3*q = -119, 3*y + 90 = 3*q. Does 35 divide c(y)?
True
Let m(t) = 158*t**2 + 35*t + 6. Does 4 divide m(-2)?
True
Suppose -70*s + 71*s - r - 6754 = 0, r = -3*s + 20254. Is 32 a factor of s?
True
Does 72 divide 95688/(31 + -7) - -2*1?
False
Let o be 2692/(-10)*(5 - 90/12). Suppose o - 7137 = -8*n. Does 80 divide n?
False
Let q = 15150 - 7602. Does 74 divide q?
True
Let h be 55 + 5 + 4 + -4. Let r(p) = 38*p**2 + 4*p - 3. Let z be r(3). Suppose 3*l = -h + z. Is 11 a factor of l?
False
Suppose 0 = 5*c - 7*c + 6. Suppose 3*b + 3*m = -12 - 36, m - c = 0. Let r = b + 55. Is 10 a factor of r?
False
Suppose 0 = -c + 64*c - 797017 - 146471. Is c a multiple of 12?
True
Suppose 59*x - 17*x - 209880 = -46*x. Is 45 a factor of x?
True
Suppose 2 = 421*x - 422*x, 5*u - 2*x - 10799 = 0. Is 17 a factor of u?
True
Let p = -302 - -160. Let j = 138 - p. Is 14 a factor of j?
True
Let i be ((-2540)/8)/((-2)/(-4)). Let h = -375 - i. Does 10 divide h?
True
Let f be ((3 - (3 + -3)) + -18)*-1. Let q(j) = j**2 - j**2 + 13 - 2*j**2 - f*j + 4*j**2. Is 15 a factor of q(11)?
True
Let h(k) = -22*k + 39. Let j(c) = 67*c - 118. Let u(s) = -11*h(s) - 4*j(s). Is u(-10) a multiple of 24?
False
Let n(h) = -h**2 + 27*h - 85. Let u be n(19). Let k = 77 + u. Does 18 divide k?
True
Suppose -33*m + 36*m = -3*k + 29