*m + 2*g + 8 for m.
-1
Let t be 4/(-12) - 7/(-3). Solve -l + 4 = -3*a, l - t*a = -a for l.
-2
Suppose 3*g + 22 = 4*j + g, 5*j = -4*g + 60. Suppose 3*z = 1 + j. Suppose -z*q - t + 9 = 2*t, 5*q - t = 27. Solve 0*i - 9 = 3*v + i, -q*i = 0 for v.
-3
Let f be 1/(3 - 24/9). Suppose -f*l + 3 = -p - 4, -5*p - 2*l = -33. Solve -2*v - 12 = -3*h, -4*v + 3*h - 3 = -p*v for v.
-3
Let a = 11 - 8. Let q = a + -2. Let t be (5/2)/(q/2). Solve k - 10 = -2*h, -t*k - 25 = -5*h - 0 for h.
5
Let k be (-3)/(45/10)*(0 - 3). Solve 3*i + 4*m = 2*i + 1, -3*m - 13 = -k*i for i.
5
Let u(y) = -5*y - 3. Let r be u(-4). Solve 0*n + 24 = -4*g - 3*n, 3*g = -2*n - r for g.
-3
Suppose -4*a + 0*g - 24 = -2*g, 12 = -2*a + 4*g. Let d be ((-2)/a)/((-3)/(-18)). Solve -q - 2*q + 4*u = 22, 4*q = -d*u for q.
-2
Suppose -2*h + 5*h - 3 = 0. Let d(t) = 2*t**3 + t**2 - t + 1. Let z be d(h). Let c be 1*2 - z/(-1). Solve -5*l = -w - c, -6*w + l - 1 = -2*w for w.
0
Let v be (-1)/3 - (-7)/3. Suppose -1 = -2*y - m, -5*y + 3 = 2*m - v. Suppose -b + y - 1 = 0. Solve 5*f = -l + 17, b*l - 4*f + 9 = 1 for l.
2
Suppose 0 = z + 2 - 4, n - 5*z = 0. Let q = n - 7. Solve 6*b + 20 = 2*b, -2*a + 19 = -q*b for a.
2
Let c be (-27)/9 - 7*1. Let o = c - -14. Solve h + 4*h - 35 = 5*y, o*h + 3*y = 0 for h.
3
Suppose 3*a - 3 = 9. Solve -5*m = q - 5, 0 = -2*m + a*q + 1 + 1 for m.
1
Let h = 13 + -13. Solve i + 3*m + 13 = 0, h*i + 3*i = -m - 15 for i.
-4
Suppose 0 = 2*p + 5*k + 2, 5*p + 2*k - 10 = 6. Suppose -3 - p = h - 3*q, -h - 4*q = -28. Solve -4 = -5*l - 4*t + h, 15 = 4*l + 5*t for l.
0
Suppose 5*x = -38 + 53. Solve 3*s - s = 4*c + 10, x*c = -s for s.
3
Suppose 5*k - 2*x - 15 = 0, -x - 3 + 1 = 3*k. Let a = 10 - k. Let w be 0 - (2 + -2 - 2). Solve 3*t - u - 17 = -w*u, -2*u = t - a for t.
5
Suppose -4*a - v + 2*v - 8 = 0, -4*v + 18 = -2*a. Let l be (-2 + 2)*a + 1. Let i be 3 - l - (3 + -4). Solve 0 = -i*m + 2*m + q + 4, -5*m - 7 = 4*q for m.
1
Let k(g) = g**3 - 4*g**2 + 5*g - 3. Let y be k(3). Suppose -c - y*z = -0*c - 15, 4*c = -2*z + 10. Solve 2*j + 0*j + 2*p - 14 = c, 5*j - 27 = -p for j.
5
Suppose -6*f = 2*f - 192. Solve -f = 5*c - 2*w, -4*c + 16 = -3*w + 38 for c.
-4
Suppose -4 + 10 = 3*s. Solve 5*h - h = s*r - 28, 0 = 3*h + 15 for r.
4
Let x(m) = -2*m**2 - 21*m + 4. Let q be x(-9). Solve u + 0 - 11 = 3*h, 5*u = 3*h + q for u.
5
Let k be (-3 - 1 - -4)/(2/(-1)). Solve 3 = 2*i - k*a - a, 0 = 3*i + 3*a + 9 for i.
0
Suppose 0 = -3*i, -2*n + 2*i + 10 = -i. Suppose -113 = -5*m + n*l - 33, l - 1 = 0. Let r = -12 + m. Solve 7 = r*w + 2*d, -5 = 2*w + 2*d - 3 for w.
3
Suppose 2*o = 3*o - 4. Solve 11 + 1 = -3*c - 3*m, -3*c - o*m - 16 = 0 for c.
0
Suppose 0 = -4*x + 3*x. Let b be 2 - (x + 2)/1. Solve b = 4*q + 2*y - 4, 3*q = -0*y - y + 2 for q.
0
Let d = -21 + 32. Let k be (-2)/(-7) - 620/(-35). Suppose 4*c - 30 = -2*m - 12, m - k = -5*c. Solve z + 3*a = d - 0, c*z + a = 17 for z.
5
Let m(q) = 3 - 5*q + 1 + 3*q. Let i be m(3). Let z = i + 7. Solve -2*t - 24 = z*s, 4*s - 4*t + 3 = -5 for s.
-4
Let m(k) = k**2 + 8*k - 7. Let s be m(-9). Solve -2*q - 2*q + s*f - 20 = 0, 16 = -4*q + f for q.
-3
Suppose -3*f - 4*n = -0*n + 5, -2*f - 2 = 4*n. Let i be 45/(-30)*8/f. Solve -l + 3*q = l + 7, -i*l = 4*q - 36 for l.
4
Let w(c) = -c + 12. Suppose 3*k + k + 4*s - 76 = 0, 11 = k - s. Suppose 3*o - k = -0*o. Let z be w(o). Solve -5*g - 3*l = -0*l + z, 0 = 2*g + 3*l + 1 for g.
-2
Let p be 31/5 - 5/25. Let d = -5 - -8. Suppose d*q - 8*q = -15. Solve 2*a - 13 = 3*j, p*j = q*j + 3*a - 15 for j.
-3
Let v = 17 - 15. Solve v*i + 2*z = 0, -2 = -i + 2*z - 5 for i.
-1
Let y be (6 - 6)/(-1 + 0). Solve 5*q = -s + 16, y*s - 2*q + 4 = s for s.
-4
Suppose 0 = 2*l - 3 - 1. Solve l*p - 2 = -3*p - 4*d, -4 = 2*d for p.
2
Suppose -x + 14 = -p, 5*p + 32 = 2*x + 2*p. Solve -3*v + x = -q, 0 = -4*v + 2*q + 3 + 11 for v.
3
Let b be (4/4)/(-1)*0. Let q = 2 - b. Solve 2*v - 8 = -4*p, 5*p - 5 - q = -4*v for p.
3
Let m(w) = w + 3 - 4 - 2. Let c be m(-3). Let o be c/27 - 76/(-18). Solve 0*a - 4*a = -12, o*a - 12 = 5*r for r.
0
Let g(t) = t - 3. Let o be (4/2)/(3 + -1). Let v(d) = 8*d - 1. Let n be v(o). Let m be g(n). Solve 5*q - 20 = 4*u + m, 0 = 2*q - 2*u - 10 for q.
4
Suppose -3*x = x + 5*i + 13, 2*x = 5*i + 31. Solve -5*z + 0*z + k + 2 = 0, 2*z = -x*k + 11 for z.
1
Let z(f) = -f**2 + 3*f + 3. Let i be z(3). Suppose 3*x - 75 = 5*y, -3*y = 3*x + 2*y - 75. Let c = x + -12. Solve 5*a + c = 3*h + 5, -i*h - 4 = -2*a for h.
-4
Let h(m) = -m**3 - 2*m**2 + 7*m + 6. Let r be h(-4). Solve 2*b = b - 3*j + 2, r = 5*j for b.
-4
Suppose -5*b = -5*o + 2*o - 15, -5*o + 12 = 4*b. Suppose 12 = k + b*k. Solve 2*l - k*j = -13, -2*l + j - 7 = -0*l for l.
-2
Let q be 6*5/(15/2). Suppose -q + 1 = -k. Let i = -18 + 30. Solve -4*f = k*u - i, -3*u + 20 = -f + 2*u for f.
0
Suppose -2*h = 2*f - 10, f + 1 = -2*h + 2. Solve w - 6 = 5*j + f, -3*j = 12 for w.
-5
Let h = 46 - 36. Solve 4*q = -2*x - h, -3*x = 5*q + 2*x for q.
-5
Suppose -3*i - 2 = -77. Solve -3*a - 5*m = -10 + i, 20 = -4*a - 3*m for a.
-5
Suppose -s - 4 - 2 = 4*d, 3*s - 3*d + 48 = 0. Let q be s/(-35) - 36/(-10). Solve 0 = -4*g - q*o, g + 4*g + 4*o - 1 = 0 for g.
1
Suppose r + 0*r - 3 = 0. Suppose -w + 2*b + 2 = 0, -4*b + 12 = 2*w - 0*b. Suppose 2*n - 2*u = -4*u + 18, r*n + w*u = 24. Solve 2*m + n = -m + 3*o, 0 = o for m.
-4
Let o be (3/(6/8))/2. Let s = o + 2. Let z(d) = d**3 + 9*d**2 - d - 5. Let h be z(-9). Solve 2*c + h*p - 12 = 0, -c - s*p + 32 = -4*c for c.
-4
Let w(c) = 3*c - 12. Let r be w(5). Solve 2*q + 2*f = 2, -4 + r = -3*q - 5*f for q.
2
Suppose -3*c - c + 24 = 0. Let b(s) = s - 3. Let l be b(c). Solve -2*g + 4*q = -0*q - 2, -5*q = l*g + 8 for g.
-1
Let r(y) = y**3 - 5*y**2 + 4. Let s be r(4). Let j = -9 - s. Solve -j*i - u - 18 = -3*u, -5*u = i - 11 for i.
-4
Let i(j) = j + 4. Let s be i(-4). Let q be 1 + 0 - (s + -4). Solve l - 3*l + 10 = 0, -q*l = 4*g - 17 for g.
-2
Let c be ((-45)/(-30))/((-1)/(-2)). Suppose -4*l + 0*l = 0. Let s be (12 + -12)*((-2 - -1) + 0). Solve 4*d - 5*q + l + 10 = s, -25 = c*d + 5*q for d.
-5
Suppose v - 3 = -0*v. Suppose -5*f = -v*f - 40. Solve 3*u - u = 5*q + 4, f = -4*q - 4*u for q.
-2
Let i = 65 + -61. Solve -f - 4 = 4*t, 2*f + 3 = t + i for t.
-1
Let w(v) = -12*v - 2. Suppose c + 0*c = -4, 3*c + 2 = 5*y. Let n be w(y). Solve 0 = -2*q - 4*g - 20, -n + 6 = q + 4*g for q.
-4
Suppose 25 = 2*s + 1. Suppose 0 = 4*v - s. Let o(a) = a**3 + 8*a**2 + 7*a + 9. Let k be o(-7). Solve -i = f + 3*i - 3, -v*f - 3*i = k for f.
-5
Let g be (-2 - -4)/2 + 1. Solve -g*h = p - 2 - 1, 3*p + h + 1 = 0 for p.
-1
Let t(c) = -c**2 + 3*c + 3. Let v be t(3). Suppose -4*a - 44 = 3*w, w = 2*a - 4*w - 4. Let h be (2 - 4)/(2/a). Solve j = o - 8, -4*o + v*o = 3*j + h for j.
-4
Suppose -60 + 16 = -22*r. Solve -r*h = -2*t - 6, 3*t = -0*h - h + 3 for t.
0
Let u be (-1)/5 - (-1782)/10. Let x be (-2)/(-7) + u/14. Solve 3*c = -3*g - 6, -2*g + 6*g - 3*c - x = 0 for g.
1
Let z be 0 - (2 + -3 - 10). Let n = z + -6. Suppose k = 3*k - n*c - 32, -50 = -5*k + 5*c. Solve -2*v = 4*q - k, -5*q + 12 = -0*v - 2*v for v.
-1
Let b be (-5)/((-4)/(-4) - 2). Solve 4 = -b*l + 2*l + 4*i, 3*l = i - 10 for l.
-4
Let l(d) = d**2 + 3*d - 5. Let o be l(-6). Let z be (-4)/10 - (-128)/20. Suppose 4*b - 2 = z. Solve -y + b*m = -m, o = 4*y + m for y.
3
Suppose -2*o = -3*y - 5*o - 3, -3*y - 2*o = 0. Solve 2*d + 2*x = y, -4*x = 3*d - 7*d - 20 for d.
-2
Let f be 6/(-4)*4/(-3). Solve 6 + f = 5*z - 2*q, -z + q = -4 for z.
0
Suppose 3*f - 3*z - 24 = 0, f + 2*z + 0 = 14. Let g be (-4 - 2/2)*-1. Solve 0 = -3*u - g*t - f, 4*t - 17 = 5*u + 12 for u.
-5
Suppose 0 = i - 3*h + 7, 3*i - 4*h - 1 = 3. Solve 4 = 3*m + 5*z - i, 3*m = -4*z + 12 for m.
4
Let o(s) = s + 12. Let l be o(-11). Let y be 7 + (-2 - l - -1). Suppose y*w - 4 - 6 = 0. Solve -w*b - 2*b - 3*q + 4 = 0, 6 = -5*b - q for b.
-2
Let r = 44 - 44. Solve -g - 3*i + 21 = -4*g, 3*g + 2*i + 11 = r for g.
-5
Suppose 2*t + 14 = 5*o - 7, -3*o + 5*t + 24 = 0. Suppose 1 - 16 = -o*q. Solve 0*n = -v - 5*n - 1, -5*v = -5*n + q for v.
-1
Let n(l) = 10*l**3 - 13*l**2 - 14*l + 0*l**3 - 11*l**3 - 16. Let t be n(-12). Solve 2*a - t = 0, 2*a - 1 = -2*b - 3 for b.
-5
Suppose -3*o = -9*p + 4*p - 14, -3*p - 9 = -2*o. Let f(y) = -y. Let g be f(0). Let q = g + o. Solve 3*a - 12 = q*z, 0 = -0*z + 4*z - 2*a + 18 for z.
-5
Supp