81 = -126*l. Is 58 a factor of l?
True
Let g = 12622 + -11215. Is g a multiple of 117?
False
Suppose -2*q + 15 = 5*w, -2*q = -2*w + 20 - 0. Suppose w*v = 4*p - 542, -2*p + v = -3*p + 131. Is 10 a factor of p?
False
Let v(o) = 414*o - 1. Let s(t) = 3*t - 17. Let f be s(6). Is 59 a factor of v(f)?
True
Let g = 206 - 209. Is 981/36 + g/12 a multiple of 20?
False
Let s(l) be the second derivative of l**5/20 - 7*l**4/6 - 2*l**3 - 33*l**2 - 210*l. Is 9 a factor of s(16)?
False
Let c(m) = -3*m**2 - 14*m - 6. Let n be c(-6). Let v = n - -34. Suppose -3*b - 2*i + 514 = -i, v*b + i - 684 = 0. Is b a multiple of 32?
False
Suppose 0 = 195*g + 65*g + 1040. Let t = -15 - -36. Let o = t - g. Does 5 divide o?
True
Let c be (-39 - -45)/((-1)/(-117)). Suppose -2*s = -3*w - c, 3*s + 9*w - 1048 = 11*w. Is 8 a factor of s?
False
Let h(s) = -s**3 - 3*s**2 + 5*s - 13. Let q be ((-18)/(-10))/(4 - (-126)/(-30)). Does 36 divide h(q)?
False
Let c = 183 + -128. Let x(o) = o**2 - 2*o + 25 - 54*o**3 - o + c*o**3 + 4*o. Is 8 a factor of x(0)?
False
Let b(u) = -4*u**2 - 4*u - 2. Let l be b(0). Does 37 divide 331 - (-9 - -9)*(l - -1)?
False
Let q(h) = 7*h**3 - 3*h**2 - 5*h. Let v be q(4). Let o = -182 + v. Does 18 divide o?
True
Suppose 141 = -7*b + 155. Let u = 5 - 2. Suppose 4*t + 153 = u*x, b*t = 5*x - 286 + 31. Is 17 a factor of x?
True
Let n(d) = -28*d**2 + 13*d - 1. Let r(g) = g**2 + g. Let z(b) = -n(b) - r(b). Is 22 a factor of z(-3)?
True
Suppose -23*r + 5100 = -74*r. Suppose -2*a - 2*a = -596. Let y = a + r. Does 7 divide y?
True
Let i = 1002 + -936. Does 9 divide (-6)/(i/(-17125)) - (-8)/44?
True
Suppose 5*r = 4*w + 39960, 39960 = 5*r + 61*w - 57*w. Is 27 a factor of r?
True
Suppose 8*i = 5*i + 54. Let w = i - -31. Does 19 divide w?
False
Let w = 7657 + -2592. Is w a multiple of 28?
False
Let u = 18557 - 12667. Is 87 a factor of u?
False
Suppose 3*y + 7*y = 3*g - 47219, -2*g + 31489 = 3*y. Is g a multiple of 68?
False
Let x be (-6685)/(-28) - (-10)/8. Let v = x + -97. Is v a multiple of 13?
True
Is -32 - (-2280)/24 - (-16)/2 a multiple of 47?
False
Suppose 0*q - 4*y + 152 = 4*q, 4*q = 4*y + 192. Let u(g) = -g**2 - 3*g - 3. Let r be u(-7). Let k = q + r. Is 6 a factor of k?
True
Suppose 0 = -4*s - g + 3644, -2*g = -56*s + 57*s - 904. Is 4 a factor of s?
True
Let n be (-7 + 6 + 0)*201. Let v = n - -509. Is 19 a factor of v?
False
Suppose 5*m = -25, -5*m = -4*f - 58078 + 145735. Is f a multiple of 354?
False
Is 278 a factor of (-2144673)/486*-9 + 3/(-18)?
False
Suppose -16*p + 6273 = -8239. Let c = p + -566. Is c a multiple of 11?
True
Let r(k) be the second derivative of 5*k**2 - 1/20*k**5 + 18*k - 1/3*k**4 + 1/3*k**3 + 0. Does 35 divide r(-6)?
True
Let j(b) = -3*b**3 - 12*b**2 + 15*b - 3. Let q be j(-6). Let k = q - -67. Is 5 a factor of k?
True
Suppose 3*v - 51 = -45. Suppose v*h - 3*j = 158, -5*h = -5*j - 193 - 212. Suppose -3*o - s + 17 + 20 = 0, h = 5*o - 3*s. Is o a multiple of 3?
False
Let r(m) = 3*m**2 - 5*m + 16. Let u be r(-5). Let w = u - 111. Suppose 1375 + 22 = w*v + 2*p, 0 = -5*v - 5*p + 1385. Is 23 a factor of v?
False
Suppose 5*k + 1 = -d - 1, k + 2*d = -4. Let m be 66/176 + (-1130)/(-16). Suppose 5*t + m = 4*p, k*p + 2*t + 76 = 5*p. Does 10 divide p?
False
Let g(c) = -2*c**3 + 36*c**2 - 3*c + 155. Is g(16) a multiple of 13?
True
Let a(l) = -l**2 - l. Let b(g) = 2*g**2 + 3*g + 2. Let x(o) = 4*a(o) + b(o). Let y be x(2). Let k(q) = -4*q - 4. Is k(y) even?
True
Let o be 2/4*(2458 - -2). Suppose 0 = 4*t + 9 - 29, 5*w + 5*t = o. Is 22 a factor of w?
False
Suppose 2*m + 84 = 74, 50199 = 4*q - 3*m. Does 82 divide q?
True
Suppose 5*c = -7*l + 4*l + 65198, 65193 = 5*c - 2*l. Let g be c/(-143) + (-4)/(-22). Let r = g - -153. Is 11 a factor of r?
False
Suppose 23*w + 78 = -3*w. Is 36 a factor of w/((-838)/(-120) + -4 - 3)?
True
Suppose 5*d = 5*a - 13350, 0 = 4*a + 19*d - 15*d - 10640. Does 28 divide a?
False
Does 15 divide -19 - -9 - (1 + 11215)/(-4)?
False
Suppose 15*i - 68*i + 11148 = -102590. Does 37 divide i?
True
Let j = -233 + 252. Suppose j*g = 5602 - 130. Is 24 a factor of g?
True
Is 15 a factor of 2/22 + 52/44*10598?
True
Let d(r) = -93*r**3 - 3*r**2 + r - 6. Let p be d(-3). Suppose -299 + p = 8*w. Is 34 a factor of w?
True
Let x(l) = -1741*l + 3190. Is x(-20) a multiple of 70?
True
Let u = 51 - 60. Let m(o) = o**3 + 9*o**2 + 2*o + 23. Let y be m(u). Suppose 4*j = -q + 181, -5*j - 157 = y*q - 387. Is 5 a factor of j?
True
Let t(f) be the third derivative of 0 + 23/24*f**4 + 1/6*f**5 - 1/120*f**6 + 4*f**2 + 5/2*f**3 + 0*f. Does 2 divide t(12)?
False
Suppose -3*i - 21*o = -23*o + 912, -5*o - 15 = 0. Let s = -300 - i. Does 2 divide s?
True
Let y = 11940 + -4974. Does 18 divide y?
True
Suppose 8 = 5*w + 2*g, 0*g + 2*g + 10 = 4*w. Suppose -w*o + q = -360 - 21, 15 = 5*q. Does 16 divide o?
True
Suppose -4*s - 5*s = -36. Does 41 divide 3 + ((9 + 4)*24 - s)?
False
Let a = 53253 - 17945. Is 26 a factor of a?
True
Suppose 14238 = -13*u + 34*u. Let n = u - 416. Is n a multiple of 13?
False
Let k(o) = 9*o**3 - 2*o**2 + 6*o + 13. Let x be k(10). Suppose 10*c - x + 173 = 0. Suppose 3*l + 3*w = c, l = -7*w + 2*w + 290. Is l a multiple of 19?
False
Suppose 3*u + 6 = 12. Let q be u + 0 + (-2 - 0) - -2. Is 6 a factor of 2*((-300)/(-8) + q)?
False
Suppose 79*s + 667408 = 95*s. Is (4/(-5) + s/35)/1 a multiple of 81?
False
Let b(y) = -46*y + 762. Is 5 a factor of b(2)?
True
Is ((-3 - -2) + -6)/((-31)/18290) a multiple of 70?
True
Let m(u) = u**2 - 39*u + 46. Let b be m(40). Suppose -98*x + b*x = -10080. Does 21 divide x?
True
Let a(f) = 26*f**2 + 95*f - 566. Is a(8) a multiple of 10?
False
Let o(l) = 2*l**3 - 11*l**2 - 9*l + 166. Let c(x) = -x**3 + 6*x**2 + 4*x - 82. Let a(w) = -13*c(w) - 6*o(w). Does 43 divide a(15)?
False
Let r(q) be the first derivative of -q**2/2 - 5*q + 7. Let l be r(-3). Is 7 a factor of 22 + (l/4 - (-2)/(-4))?
True
Let p(m) = -m**3 - 13*m**2 + 62*m + 1518. Is p(-20) a multiple of 27?
True
Let y = -20366 - -22944. Does 5 divide y?
False
Suppose w = f - 1, w = f + 3*f + 5. Let z be (w + 2)/1 + -1 + 104. Suppose -2*g + 3*a = -z, -5*a - 58 = -2*g + g. Does 6 divide g?
True
Let q be 3*(-1)/(-3) - (-1 - -24). Let f = -19 - q. Suppose -f*y + 5*t + 31 = -0*y, 2*t - 8 = 0. Is 6 a factor of y?
False
Suppose 0 = -4*w - 4*f + 1264, w + 5*f - 361 + 29 = 0. Is 5 a factor of w?
False
Let x = -130 + 763. Is 3 a factor of x?
True
Does 148 divide 3 + (0 - (-22914 + -4 - 3))?
False
Suppose -k - k = -26. Let g(a) = 39*a**3 - 13*a + 15*a**2 - 74*a**3 + 34*a**3 - 24. Is 29 a factor of g(k)?
True
Does 12 divide 5*692/4 - 11*(-4)/(-22)?
False
Suppose 13 = 4*k - 3. Suppose 11*l - 48 + k = 0. Suppose l*n - 116 = 92. Is n a multiple of 9?
False
Suppose 5*q + d + d = -892, -q - 181 = 3*d. Does 8 divide 5 + (26/13)/((-4)/q)?
False
Let g = -42282 - -56355. Is 119 a factor of g?
False
Let m = 184 - 175. Suppose -4068 = -18*q + m*q. Does 11 divide q?
False
Suppose 0 = 7*j - 4 - 10. Suppose -5*h = -9*w + 11*w - 295, h - 307 = -j*w. Is 5 a factor of w?
True
Let s = -216968 + 528548. Is s/195 + 2/13 a multiple of 47?
True
Suppose -q + 6*q = 3*u, -3 = -4*q + 3*u. Let t(b) = -3*b**3 + 7*b**2 + 5*b + 1. Is 13 a factor of t(q)?
True
Let b(x) = -3*x**3 - 8*x**2 + 11*x + 43. Let y be b(-2). Let f(n) be the first derivative of 3*n**2/2 + 42*n + 1. Does 27 divide f(y)?
True
Suppose -224*x + 2394 = -218*x. Is x even?
False
Let l = 298 + 241. Let c = l - 289. Is 10 a factor of c?
True
Let s = -3133 + 6155. Is s a multiple of 35?
False
Is (24/(-182) - 18/(-63)) + 13048/26 a multiple of 15?
False
Suppose 4*o - 12 = -5*n, 15 = -0*o + 5*o - 3*n. Suppose v - o*q = 29 + 230, 0 = -2*v + 4*q + 512. Is v a multiple of 34?
False
Let t be ((-34)/8)/((-9)/36). Suppose v = -3*i + t, -7*i + 31 = -2*i + 3*v. Suppose 0 = -5*n - i*k + 165, -5*n - 45 = -5*k - 170. Does 29 divide n?
True
Let x be 2/((-8)/3)*(-48)/18. Suppose j - 1162 = -4*p + 6*j, -p + x*j + 292 = 0. Is 58 a factor of p?
False
Let b(m) = -m**2 + 6*m + 10. Let s be b(7). Suppose 2*z - 1525 = -s*z. Does 24 divide (z - 5)*(-1 + (-15)/(-9))?
False
Let r = -714 - -9138. Is r a multiple of 59?
False
Suppose -2*o - 251 = d, 5*d - 93 = -2*o - 348. Let l be 4 + o/35 + 984/7. Let s = l - 76. Is s a multiple of 13?
True
Let v(p) be the first derivative 