 4*k - 0*k + g for k.
-2
Let a(s) = 10*s**2 - 128*s - 24. Let p be a(13). Solve 4*k + 16 = -0*k - 4*o, -3*o - 7 = p*k for k.
-5
Let c be 116/(-2088) - (1 + 254/(-36)). Solve -11*q - 5*i + 17 = -9*q, -4*q - 2*i = c for q.
-4
Let w(x) = 4*x**2 + 36*x - 37. Let j be w(-10). Suppose -j = 33*b - 32*b - l, 6 = -5*b + 2*l. Solve -3*q = -15, b*q + 2*q - 30 = 5*v for v.
-4
Suppose -3*v + 4*o + 2 - 6 = 0, 5*v + 5*o = 40. Solve m = -m - f - 4, -m + v*f = 2 for m.
-2
Suppose -h + 8 = 0, 188*h + 22 = -2*z + 192*h. Solve 603*q - 15 = -3*b + 606*q, -2*b - z*q - 25 = 0 for b.
0
Let c = 813 - 807. Solve -b = t - c, -7 = -b - 4*t + 8 for b.
3
Let g(f) = -3*f - 38. Let y be g(-11). Let k(u) = -2*u + 20. Let w be k(y). Suppose -2*x = 4*x - w. Solve -4*n - 8 = -x*z + 3, -3*z + 1 = -n for n.
-4
Let b(w) = -5*w**2 - 29*w + 8. Let z be b(-6). Solve -2*v - 4 = z*t - 0*v, 0 = 5*v - 5 for t.
-3
Suppose 4*y - 15 = -5*a + 2*y, -3*y = -a + 3. Solve -79*q - o - 13 = -74*q, -3*q - a*o = 15 for q.
-2
Suppose 0 = 6*q - 2*q. Suppose q = 2*t + 3*b - 1, -17 = -t + b - 4. Let v be (-1)/(120/(-336) - (-1)/(-7)). Solve -3*g - z = 4, -g - v*g - t = 2*z for g.
0
Suppose -42*n = -37*n - 15. Solve n*j + 6 = 5*d + 13, 2*d = -2*j - 6 for j.
-1
Suppose 2*n - 40 = 3*b, 349*n + 2*b + 34 = 354*n. Let z = -1 - -1. Solve z = -n*o + 2*k - 5*k - 4, -5*o - 5 = 5*k for o.
1
Suppose -5*b - 5*c + 5 = 0, 7 = 4*b - 5*c - 15. Let n be -3 - 2/(b - 43/14). Solve 4*l - 5 + 0 = -3*q, n = -q + 4*l for q.
-5
Let u be ((-17)/68)/(-1) - (-7)/4. Solve 0 = -3*n - 2*f + f + 11, -u*n = 3*f - 12 for n.
3
Let u be (-32)/(-6) - (-23 + (-2280)/(-90)). Solve -5*n = q - 4, 7*q - 6*q = 2*n - u for q.
-1
Let n be -3 + (1 - (-5)/10)*2. Suppose 0 = 2*l + 3*y - 22, -4 + n = -4*l + 4*y. Solve 6 = -2*m - l*u - 2, -11 = -3*m + 4*u for m.
1
Suppose 3*p - 5*p - 14 = 0. Let w be 4/(p/(84/(-8))). Solve 4*t - 3*o - w = 0, 3*o - 10 = -5*t + 11 for t.
3
Let q(z) = 127*z - 43 - 129*z + 8. Let b(f) = -2*f - 1. Let r(v) = -2*b(v) + q(v). Let i be r(18). Solve o = 3*n + 2, 2 = -3*o + i*n + 14 for o.
5
Suppose -3*h = 3*v + 48, 0 = -5*v + 2*h - h - 80. Let x(y) = 2*y**2 + 32*y. Let z be x(v). Solve -5 = -0*s - 3*s - 4*g, 5*g + 5 = z for s.
3
Suppose -87*v + 200 + 242 = -80. Solve 0 = -2*p + 4 - v, 5*k + p = 19 for k.
4
Let c = -10399 + 10399. Solve c = i + 4*z - 12, -8 - 12 = -3*i - 4*z for i.
4
Suppose 5*v = 4*v - 31*v. Suppose v = 2*i - 0*a - 3*a + 15, 3*a = 15. Solve 3*s = 2*r + 3, s - 5*s - 4*r - 16 = i for s.
-1
Let k(l) = -l**2 - 6*l + 55. Let x be k(5). Suppose x*w - 154 = -14*w. Solve 4*c = y + 17, 5*y + 14 + w = 0 for c.
3
Suppose 4*b = -12, 5*w - 195 = 2*w - b. Let g = w + -60. Let s(h) = h**2 - 5*h - 5. Let x be s(g). Solve 0 = -3*u - 5*k + 12, u + k = 1 + x for u.
-1
Let h = 23 + -23. Let n(y) = 2*y + 3. Let l be n(h). Suppose -l*a - 2*a + 32 = 3*s, 5*s - 4 = 4*a. Solve r + 16 = -s*j, 0 = 2*j + j + 12 for r.
0
Let t(b) = 3*b**3 - 40*b**2 + 50*b - 14. Let u be t(12). Solve u = 5*c - 3*z, -21 = c + 3*z + z for c.
-1
Let o be 216/(-54) + (-14)/(-2). Solve 12*r - 10*r + 24 = -4*m, -18 = o*m - 5*r for m.
-6
Suppose 27 = 2*s - 2*f + 21, -2*f - 15 = -5*s. Solve -15*p + 12*p + 3*c - 12 = 0, s*p + c + 8 = 0 for p.
-3
Suppose -3*q - q = -15*q. Suppose -36*h + 45 + 243 = q. Solve -2*r + 10 = 4*u, u + 7 = -4*r - h for u.
5
Suppose 44 = 2*l - 5*w - 14, 5*l - 91 = -w. Suppose -l = -3*c - 4. Solve y = c*j - 21, -35 = -3*j - 9*y + 4*y for j.
5
Suppose -622 = 7*r - 433. Let i(x) = x**2 + 24*x - 76. Let h be i(r). Solve 3*q + 0*b + h = -2*b, -q + 5*b + 21 = 0 for q.
1
Let h be ((-27)/(-6))/((-9)/12). Let c(m) = -m**2 - 6*m. Let i be c(h). Suppose i = -z - 4*n - 6, 0*z + 10 = z - 4*n. Solve -3*f = -z*x + f, 0 = 5*f + 5 for x.
-2
Let z(j) = j + 7. Let w be z(-4). Suppose 21 = s + 3*v, 5*s + 17*v - 18*v = 57. Solve -2*i - 7 = -w*l, -2*i - i + s = 3*l for l.
3
Let r = 2157 - 2150. Solve r*x - 3*q = 10*x + 6, 0 = -3*q - 18 for x.
4
Let g be -6 + 0/(42/6) + 20. Solve -h = -2*z - 2*z - g, -3*h - 22 = 4*z for h.
-2
Let t be 2*(-2)/(-16) - 5250/(-120). Let m = 2 - -27. Let x = t - m. Solve -g + 3*g + 3*n = x, -3*g + 2*n = -3 for g.
3
Suppose 0 = 28*z + 13 - 81 - 44. Let g(u) = u - 1. Let d be g(1). Solve -z*i = a - 6, d = i - 2*a - a + 5 for i.
1
Let x(b) = b**2 - 27*b + 185. Let r be x(13). Solve 26 + 11 = -3*h + 5*n, 4*h + 1 = -r*n for h.
-4
Let z be ((-15 - -15)/9)/2. Solve 43*j = 47*j - 3*a - 18, z = 5*j + 3*a - 9 for j.
3
Suppose -2*m = k - 7, -20 = -4*k + 379*m - 383*m. Solve 15 = -k*a + 6*l - 12*l, 0 = -2*a + 4*l - 2 for a.
-3
Suppose 0*a - 3*a + 3 = 0. Suppose -3*q - 5 = 2*q, -5*q = 4*c + 673. Let m = 171 + c. Solve r - 3 = -m*n - a, -n + 4*r = -9 for n.
1
Suppose -j + 97 - 89 = 2*f, 4*f + 16 = 2*j. Solve j = m + o, -20 = -6*o + o for m.
4
Suppose 8*m = -186 + 242. Suppose -10 = 3*x - 3*v + 4*v, -3*v + 15 = 0. Let w = m + x. Solve w*r = -3*k - 8, 0 = -5*k + 2*r - r - 9 for k.
-2
Suppose 53*s - 23 = 52*s + 5*g, 0 = -s - g - 1. Solve 11 = r + s*a, -8*r + 5*a - 11 = -6*r for r.
2
Let w = -13661 - -13666. Solve 30 = 5*m, 2*m - w*m = 4*p - 18 for p.
0
Let r = -9272 + 9281. Solve -26*x + 5*m - 15 = -23*x, 0 = 2*x + 3*m - r for x.
0
Let m = -10262 + 10273. Solve -62*a + 61*a - 3*u - m = 0, -2*a = 2*u + 14 for a.
-5
Let l(w) = 7*w**2 + 3*w. Let y = 59 + -55. Suppose -d - q + 0*q - 7 = 0, -y*d + 2 = -2*q. Let a be l(d). Solve 4 + 19 = 3*z + 4*u, -u + a = 4*z for z.
5
Let z(f) = -f**2 + 9*f - 12. Let n be z(7). Suppose -14 = -5*s + c, c - 3*c = -n*s + 4. Solve 3*a + 3*k = 8*k - 1, s*k - 6 = 0 for a.
3
Let q = 1142 - 598. Suppose -20*k + q = 12*k. Solve 5*u - 21 = 4*z, -5*z - 3 = k for u.
1
Suppose -40*s - 15 = -45*s. Suppose 3*k + 0*k = -0*k. Suppose 4*w + 12 = -0*w, -2*g + s*w + 17 = k. Solve -4*n + r + 1 = 0, 1 = 4*n + 3*r + g for n.
0
Suppose 0 = -3*n + 15 - 3. Suppose -a = a - n. Suppose 8 = a*j, -4*p = -4*j + 9 - 1. Solve 5*w + 19 = 2*f - 4*f, p*f = 6 for w.
-5
Let b = 8050 + -8045. Solve 0 = 3*g - b*y - 15 - 9, 3*g + 2*y = 3 for g.
3
Let h be 1 - (1 - (2 + 15)). Let n = -12 + h. Let a be 0 + 10 + (17 - 37 - -14). Solve u + 3 = -a*y + 7, 0 = n*u - 2*y + 24 for u.
-4
Let r be (2 + (-1 - -3) - 58)/(-2). Suppose 6*y = -r*y + 1056. Solve -3*d + 25 = 2*c, c + 2 = -5*d + y for d.
5
Let v = 21279 - 21275. Solve 5*d - 5*y + 1 = 16, -4*d - v = 4*y for d.
1
Suppose -47*g - 294 = -40*g. Let y = g - -47. Solve 3*p - 9 = 2*c - 6*c, -p + 14 = y*c for c.
3
Let c(i) = -2*i - 19. Let r be c(-12). Let g(a) = 7*a - 18. Let z be g(3). Solve 5*h = 4*h - r*u - 20, z*h = 5*u for h.
-5
Suppose -4*l = -1 - 7. Let j be (15/(-30))/(l/(-8)). Suppose -14*z = -12*z - 6. Solve -t + z*u + 6 = 3, -j*t + 2*u = -2 for t.
0
Suppose -2*j + 3*j - 5*t - 4 = 0, 12 = 3*j + 2*t. Let z be ((-55)/15 + 4)/(-9*3/(-2673)). Solve z = u + j*b + 13, 3*u + b = 16 for u.
4
Suppose -d + 57 = 2*d. Let l be (-12)/(-42) + d/7. Let w = -4993 - -4997. Solve -2*m - 2 = -w, -l*m = -a + 1 for a.
4
Let g be -1 + 4/(-5)*(-56 + 31). Suppose -130 = -g*d - 7*d. Solve 0 = -d*u + n + 12, 2*n + 10 = -3*n for u.
2
Let g(w) = -w**3 + w + 1. Let j be g(0). Let a = 3 - j. Suppose -109*b = -75*b - 102. Solve 0 = 2*q + m - 0 + b, 0 = q - 3*m - a for q.
-1
Suppose -7 = -2*g - 3. Let q(y) = -3*y - 4. Let v(r) = 4*r + 3. Let f(b) = g*v(b) + 3*q(b). Let c be f(-9). Solve 2*t + m = 4, 0 = -c*t - 2*t + m + 24 for t.
4
Let m = -192 - -350. Let r = 162 - m. Solve 3 = 3*g + c + 16, 3*c = r*g for g.
-3
Let b be (-6)/(-3)*-1*6/(-6). Let g = 5 - 3. Suppose 4*u + b*h = 18, -h - 6 = -g*u - u. Solve 3*z - 3 = -u*y, 0*y - 8 = -4*z - 5*y for z.
-3
Let r be (34/17)/((-6)/(-21)). Solve -5*f + r*f - 8 = 4*v, 0 = -5*f - 4*v - 8 for f.
0
Suppose 0 = 2*b - 4*g + 74, 2*g - 3*g + 176 = -5*b. Let w be (-12)/(-15) - 42/b. Solve -4*c - w*r + 8 = 2*r, 4*r = -3*c + 10 for c.
-2
Let i = 341 - 338. Suppose 2*g - 4*h = 18, 5*g + 2*h - 109 = -40. Suppose i = -3*r - a, -2*r - 28 = 5*a - g. Solve r*x + 4*x = 2*d + 8, 7 = -2*d + 3*x for d.
-2
Let s(i) = -1123*i - 1116. Let t be s(-1). Solve -13 = w - 5*w + t*k, 5*k + 13 = w for w.
-2
Let s be (1/(-3))/(5/(-45)). Suppose -3*o + 15 = 0, -3*o - s = -m - 6. Solve 4*c = 4*w + m, -4*w - 5 = 3*c + 14 for w.
-4
Suppose -3*y - 9 = 0, 3*y = -n - 1 - 5. Solve -3*l = -n*w + 21, 30 = -8*l + 4*l + 5*w for l.
-5
Let f(y) b