= -112 - -43. Let d = b + v. Is 18 a factor of d?
False
Suppose -4*f = 5*q - 13398, -q + 7*f - 6*f = -2685. Is q a multiple of 56?
False
Let o(k) = -812*k - 928. Is o(-6) a multiple of 5?
False
Let x be ((-4)/3)/((-68)/10098). Let f(a) = a - 11. Let v be f(11). Does 32 divide x - 5 - (1 + v)?
True
Let l = 8484 - 3900. Does 24 divide l?
True
Suppose 0 = -3*c + 3*b + 18711, 7*c = 8*c + b - 6225. Is c a multiple of 133?
False
Is 46 a factor of (6/(-36) - 14/(-3))/(38/26676)?
False
Let o(a) = 57*a + 9. Let q be (7 - -4 - 1) + -5. Let j be o(q). Suppose 12*h - 210 - j = 0. Does 4 divide h?
False
Let h(s) = -s**3 - 11*s**2 + 10*s + 16. Let v = 191 - 204. Does 16 divide h(v)?
True
Suppose -3*h + 4*n + 18 = -2*h, 2*h - 3*n - 16 = 0. Suppose -2*l = -h*r - 38, 2*l - 4*l + 38 = -r. Suppose 0 = 17*q - l*q + 68. Is q a multiple of 17?
True
Let o(v) = -2*v**3 - 24*v**2 - 25*v - 33. Let s be o(-11). Suppose 4*i + 4*h = 136, -i + 3*h + 2*h + 10 = s. Does 6 divide i?
True
Let y = 111 - -15. Is 9/(y/(-4)) + 4752/21 a multiple of 14?
False
Suppose 13 = -3*k + 31, 5*s - 13362 = 3*k. Is 6 a factor of s?
True
Let l be ((-48)/(-20) - -3)*45. Suppose -13*u + l = -4*u. Suppose -22 - u = -7*v. Does 6 divide v?
False
Let d = -2351 + 2925. Is d a multiple of 7?
True
Let c(w) = -w**3 - 5*w**2 + 3*w + 13. Let r be c(-10). Suppose -r = 2*t - 9*t. Let u = 85 - t. Does 12 divide u?
False
Let l = -5347 + 5369. Suppose 0*h + 2 = h. Suppose -h*u = -222 - l. Is 15 a factor of u?
False
Let s(n) = 12*n - 236. Let o = -217 - -248. Is s(o) a multiple of 6?
False
Let f = 30 - 38. Let l(d) = 2*d + 14. Let n be l(f). Does 7 divide ((-35)/10)/(n/16)?
True
Suppose -3*u - 1417 = h, 5*u - 4*h + 6*h + 2360 = 0. Let y be ((-2007)/12)/(5*5/100). Let n = u - y. Does 15 divide n?
True
Suppose 5*u + 6621 = 28*l - 30*l, l = 3*u - 3294. Is 44 a factor of -2*(-3 + l/18)?
False
Suppose -5*q + 95 = -c, 0 = -4*q - q + 2*c + 90. Suppose q*z = 12*z + 1944. Does 35 divide z?
False
Let m = 94 - 22. Let z = m - -8. Suppose -z = -5*y - 0*k + 2*k, 4*k = -3*y + 48. Is y a multiple of 5?
False
Let y(m) = -59*m**3 - m**2 - 3*m - 2. Let u be y(-2). Suppose 0 = -5*f + f + u. Let c = -70 + f. Is 12 a factor of c?
True
Let p(f) = 6873*f**3 - 17*f**2 + 17*f + 2. Is 55 a factor of p(1)?
True
Let h(o) = -5*o + 19. Let x(u) = 27 + 30 - 57 + u. Let j(y) = h(y) + 6*x(y). Does 5 divide j(-5)?
False
Suppose -335350 = -62*i + 150458 - 68424. Is 68 a factor of i?
True
Let g be ((-24)/14)/(42/(-62181)). Suppose 70*a - 76*a + g = 0. Is 27 a factor of a?
False
Suppose 9*d - 7697 - 3292 = 0. Suppose 57*a = 46*a + d. Is a a multiple of 53?
False
Let a(j) = 26752*j**3 - j**2 - 43*j + 43. Is a(1) a multiple of 32?
False
Let f(v) = -v**3 + 14*v**2 + 11*v + 62. Let i be f(15). Let u be 36/15 - 2/5. Suppose -5*x + 604 = -2*g, -u*g = -i*x + 299 - 55. Is x a multiple of 12?
True
Let d = 448 - 392. Suppose d*y - 96*y = -52400. Does 24 divide y?
False
Let b(w) = -8*w**3 - 12*w**2 + 23*w - 21. Let z(g) = -7*g**3 - 13*g**2 + 24*g - 18. Let o(j) = -6*b(j) + 7*z(j). Is o(-21) a multiple of 36?
True
Let f be (-2 - 450/27) + (-8)/6. Let x(z) = -18*z + 109. Is x(f) a multiple of 67?
True
Let a(j) = -16 - 8*j - 7*j - j. Let l(t) = 2*t**3 - 3*t**2 - 6*t + 5. Let n be l(2). Does 16 divide a(n)?
True
Let v(k) = -16*k**3 - 4*k**2 + 3*k. Let j be v(-4). Suppose 178 = 2*x - n - 454, 3*x + 2*n = j. Let u = x - 220. Is 16 a factor of u?
True
Let h = 11 - 13. Is 4 a factor of -3*41/3*h?
False
Suppose -3*q = 4*o - 38474, -2*q + 3*q - 6 = 0. Is 38 a factor of o?
True
Let s(g) = -44*g + 47 - 174 + 41*g. Let a be s(0). Let i = a + 315. Is i a multiple of 9?
False
Suppose -22040 = 51*x - 55870 - 129064. Is x a multiple of 6?
False
Suppose 0 = -5*y - 50 - 45. Let a = y - -511. Suppose p = 4*q - 58 - 426, -4*q - p + a = 0. Is q a multiple of 46?
False
Let c(a) = -a**2 + 66*a - 252. Does 4 divide c(34)?
True
Let q be (-8)/(4 - 2 - 4). Does 5 divide ((-52)/3 + q)*30/(-8)?
True
Suppose -7 = -10*q + 3*q. Let s be (-2)/(-3)*117/(-26). Does 3 divide (5*s/(-30))/(q/6)?
True
Let c(y) = 110*y**2 + 8*y - 16. Is c(2) a multiple of 11?
True
Let p(z) be the second derivative of z**3/3 - 3*z**2/2 + 9*z. Let x be p(3). Suppose 0 = -4*n + b + 45 + 431, b = x*n - 356. Is 30 a factor of n?
True
Let d be (-576)/(-60)*1*100. Is (15/(375/20))/(2/d) a multiple of 24?
True
Let d(k) = -k - 5. Let l be d(-6). Let o(c) = -10*c + 305. Let j be o(28). Is 12 a factor of ((-40)/j)/(l/(-35))?
False
Suppose -1312540 = -204*z + 131*z. Does 155 divide z?
True
Let u(i) = -i**3 - 4*i**2 - 2*i + 4. Let r = 25 - 5. Suppose 4*v = 9*v + r. Does 4 divide u(v)?
True
Let h = 3249 + -2241. Let y = -592 + h. Is 21 a factor of y?
False
Let c(s) = -8*s**2 + s**3 + 11*s - 2*s**2 + 6 + 0 - 3. Let v be c(9). Suppose h = -3*i + v, 4*h + 5*i - 39 = 2*i. Is 3 a factor of h?
True
Let d(p) = 292*p + 5245. Let c be d(-18). Let i(l) = -2*l**2 + 3*l. Let o be i(-4). Let v = c - o. Does 11 divide v?
True
Let x(q) = -q**3 - 117*q**2 - 29*q + 830. Does 24 divide x(-117)?
False
Let o(j) = -j**2 - 6*j + 27. Let y be o(-13). Let u = 59 - y. Let b = 207 - u. Does 31 divide b?
False
Let t(q) = 41*q + 2. Let l(v) = -1. Let g(w) = w + 10. Let f be g(-5). Let m(r) = f*l(r) + t(r). Does 7 divide m(1)?
False
Let z be ((-6)/8)/((-3)/8). Suppose 0 = -r + z*m + 223, -908 = -4*r + 4*m - 0*m. Suppose 4*o = q + r + 110, 5*o = q + 427. Is 22 a factor of o?
False
Suppose 0 = -19*t + 9*t. Suppose -w + 9*v - 11*v = -442, t = -2*w - v + 896. Is w a multiple of 50?
True
Let f(o) = o**3 + 7*o**2 - 14*o - 10. Let x be f(-10). Let z = x - -335. Is z a multiple of 16?
False
Let x = 81 + -39. Let g be x/8*(-26)/39*-2. Is 8 a factor of 5 - g/(28/(-12))?
True
Suppose 83553 = 11*h - 26590. Is 15 a factor of h?
False
Does 67 divide (-1479240)/(-49) - ((-128)/(-28) - 4)?
False
Let o(m) = 0 + 2 + 1 - 8 - m. Let s be o(-7). Suppose s*b - 3 = 31. Does 6 divide b?
False
Let n(w) = -w**2 - 24*w - 4. Let r = 86 + -79. Suppose 6*u = r*u + 17. Is n(u) a multiple of 23?
True
Is (166/3)/(2 - (-2720)/(-1377)) a multiple of 27?
True
Let o(k) be the second derivative of k**5/15 - 11*k**4/24 - 5*k**3/2 + 29*k**2/2 + 2*k + 6. Let y(n) be the first derivative of o(n). Does 21 divide y(7)?
False
Let v(w) = 42*w**2 - 5*w - 8. Let p be v(-2). Let r = p + -86. Is 33 a factor of r?
False
Suppose 2*k + 5*y - 18 = 0, -5*k + 0*y = 5*y - 45. Suppose -2*c + k*l + 67 = 4*l, -3 = -l. Is c a multiple of 38?
False
Let c(v) = -v + 1. Let z(k) = -6. Let h(a) = 2*c(a) + z(a). Let n be h(3). Is 6/4 + (-855)/n a multiple of 29?
True
Let q be (-3 - 0)*1/((-9)/15). Suppose 3*s - b = 5*s - 3, -q*s + 2*b = 6. Suppose -3*z + 4*z - 48 = s. Does 8 divide z?
True
Suppose f = 4, 9*s + 5*f - 35 = 6*s. Is 10 a factor of ((-48)/(-20))/6 + 1248/s?
True
Let c(j) = -4*j**2 - 6*j - 2. Let p be c(-3). Is 19 a factor of p/(-15) - (-1084)/6 - 0?
False
Suppose -2*q = -5 + 1. Let r be 0/(-5 + q)*1/(-2). Suppose 1944 = -r*o + 8*o. Does 27 divide o?
True
Let p = -420 + 594. Let n = -53 - -56. Suppose -159 = -n*j - 3*b, b = 5*j - p - 121. Is 32 a factor of j?
False
Let z be (-6)/(-18) - 3/(18/(-16)). Let p(q) = 42*q**z - 9*q + 9*q - 182*q**3. Is p(-1) a multiple of 20?
True
Suppose -270*g + 13373857 = 75*g - 8235218. Does 78 divide g?
False
Let u = 200 - -1930. Suppose 4*j - 14*j = -u. Is 12 a factor of j?
False
Let v = -71 + 168. Let j = 52 + v. Does 18 divide j?
False
Suppose p - 17 = 56. Let l = p + -40. Is l even?
False
Let u(q) be the third derivative of -2/3*q**3 + 6*q**2 + 0 + 0*q - 13/24*q**4. Is 16 a factor of u(-4)?
True
Suppose 2*z + 5*z = -14. Is (-3 + z + 20)*16/6 a multiple of 9?
False
Let p(b) = 5*b - 12. Let x(a) = 22*a + 7 + 5 - 26*a. Let q(y) = 6*p(y) + 7*x(y). Is q(21) a multiple of 18?
True
Suppose 25*y - 15*y - 20 = 0. Suppose y*n - 246 = 4*s, -3*s = -3*n + s + 379. Is n a multiple of 23?
False
Let g(s) = -7*s**3 - 5*s**2 - 14*s + 2. Let j be g(-5). Let c = j + -227. Is c a multiple of 30?
False
Does 4 divide (1152/(-15))/((-12)/40)?
True
Is (-1*1624)/((-80)/(-15) + -6) a multiple of 42?
True
Let q(m) = -m**2 + m + 9. Let u be q(-2). Suppose 0 = 2*n + 5*w - 430, -u*w = 2*n + 2*n - 846. Is 15 a factor of n?
True
Does 46 divide 460/(18*22/1188)?
True
Let s(q) = -263*q + 10. Let k be 3*(4 