 w be 2 + (j - 0) + 2. Solve 0 = 5*g + m - 16, -w*g - 4*m + 16 = g for g.
3
Let t(w) = w**2 - 3*w - 6. Let r = -26 - -31. Let q be t(r). Solve 3*n + 3*x - 1 + q = 0, -3*x + 37 = -5*n for n.
-5
Suppose -2*x + 60 = 3*x. Suppose 2*r + 116 = 2*g + 20, 0 = 4*r + x. Solve 2*m - 2 = -f - f, 5*m + g = 5*f for m.
-4
Let s = -2 - 2. Let j be s/(3*8/(-180)). Suppose 4*x - y = 5, -x - y = 4*y - 17. Solve q = -x*u + 9, -5*u + j = 6*q - q for u.
3
Let q(b) = b**2 - 18*b - 60. Let h be q(21). Solve 6 + 7 = -l + h*z, -3*l - 9 = -3*z for l.
2
Let l = 11 - 23. Let j = -6 - l. Solve 4*d - n = 1, 0 = 5*n + j - 1 for d.
0
Let b be (0/2)/(8/4). Suppose -3*z + b*z = 0. Let x = z - -3. Solve 2 = -2*f + 4*d, -f - 2*f + d = x for f.
-1
Let a be (252/45)/((-2)/(-5)). Let i(z) = 2*z - 20. Let b be i(a). Solve -4*w = 4*v + b, 11 = -2*v + 7*w - 2*w for v.
-3
Let h(u) = 5*u**3 + 5*u**3 + 2 - 9*u**3 - 3*u. Let a be h(3). Solve 0 = -0*s - s + 4*l - 20, -2*s - a = -4*l for s.
0
Let p be 4/14 - (-549)/63. Let d be 2/p - 175/(-63). Let o(f) = 3*f - 4. Let v be o(3). Solve -3*k + d*c = 3, k - v*c + 1 = -0*k for k.
-1
Suppose -5*j + g = -18, 5*j + 0*g - 5*g - 30 = 0. Solve -k - 16 = j*x, 2*x + 0 = -k - 11 for k.
-1
Let f = -59 + 71. Solve -5*t = 3*x - 2*t - f, -5*t = 0 for x.
4
Let d(u) = u**2 + 6*u - 6. Let q be d(-7). Suppose -20 + 5 = -3*m. Suppose -m*f + 15 = -0*f. Solve f*y + 4 = -g, -g + 3 + q = -y for y.
-2
Let w(v) = 2*v**2 - 6*v + 5. Let z(p) = p**2 - 6*p + 4. Let u(k) = 2*w(k) - 3*z(k). Let f be u(-7). Solve -5*x = -f*b - 15, -5*x + 17 = -4*b - 0 for x.
5
Suppose 7*k - 44 = 3*k. Suppose -2*j + 23 = 2*v - j, 2*v = 3*j + k. Solve 3*w + 5*n - 29 + 9 = 0, -3*w = -5*n - v for w.
5
Suppose 2*a + 3*k - 45 = 15, 0 = -4*k. Let v be (-12)/18*a/(-4). Solve -13 = 4*m - m - 2*h, -27 = 2*m - v*h for m.
-1
Let w = -12 - -17. Suppose p + 28 - 11 = 5*b, -w*b = 2*p - 26. Solve -b*o = -12, 5*a - o + 11 = o for a.
-1
Let t be ((-2)/(-6))/(6 - (-572)/(-96)). Solve w + t = 5*i - 7, -w + i = 7 for w.
-5
Let y(c) = c**3 - 5*c**2 + 4*c + 5. Let s be y(5). Let r = 35 - s. Let f(x) = x**2 + x - 2. Let g be f(-2). Solve -5*z + 10 = -4*j, -r = -g*j + 2*j - 5*z for j.
0
Let s = 46 - 39. Solve 0 = 2*t + 4*w + 14, 4*w + 0*w = 5*t + s for t.
-3
Let m be 8/(-44) + (1 - (-290)/22). Solve -3*n = 5*r - m - 21, -3*r + n + 7 = 0 for r.
4
Suppose -44 = s - 3*s. Suppose c - 3*c = 2*r - 18, 3*r = -2*c + s. Solve 0 = -x + 2*x - 2, -5*o = 5*x - c for o.
-1
Let p be 1 - 2*1/2. Suppose p = -q - 4*q + 10. Solve 5*t + 5 = z + 4*z, -q*z + 2 = 0 for t.
0
Suppose 0 = m, -3*a - 4*m + 0*m = 0. Solve -3*v + 2 = -2*w, a = -7*w + 4*w + 15 for v.
4
Let c(g) = -g**2 - 5*g - 5. Let a be c(-5). Let l be (-1)/5 - 26/a. Suppose -14 - 26 = -l*w. Solve -3*t - 4 = 2*r, w = t - r + 4*r for t.
-4
Suppose 6*m - 3*m = 6, 3*m = -3*v + 15. Let i = -3 - 6. Let j be (-2)/(v/i*2). Solve 0 = -3*z - j, -p + 0*z + 3*z = 1 for p.
-4
Let b = -12 + 8. Let m = b - -6. Let k = m - 2. Solve -i + k*s + 2*s - 4 = 0, 0 = -5*i - 3*s + 19 for i.
2
Let r(a) = a**3 + 3*a**2 - 7*a - 6. Let x be (1/(-2))/((-4)/(-32)). Let k be r(x). Solve 2*m - k = -3*n, 5*n - 2*n + 4*m = 12 for n.
0
Let c be 1/(-4) - (-5)/4. Let m = -13 - -22. Solve h + c = -z, 5*h = z + z + m for h.
1
Suppose 2*o + 2*o + 12 = 0. Let u(s) = -2*s**3 - 4*s**2 + s. Let f be u(o). Solve -2*b + 4*l = -4*b - 18, -4*l - f = b for b.
-3
Let m(w) = 14*w - 1. Let k be m(-2). Let j be 2/6 + k/(-3). Suppose 0 = 3*a + 4*v - 29, -5*a - v = -j - 10. Solve -n + 17 = -a*x, n + 5*x = 3*n - 29 for n.
2
Let g(a) = a**2 - 8*a + 12. Let x be g(8). Solve -h - 20 = 5*v, 3*v + h + 0*h = -x for v.
-4
Suppose -15 + 18 = m. Let u = 49 - 21. Suppose m*o - 2*o = u. Solve 0 = -5*c + 3*t - 29, -2*c - 4*t = -6*c - o for c.
-4
Let h = -5 - -22. Let q = h - -13. Let k be 1/4 + q/8. Solve -k*w = 4*n - 28, 2*n + 8 = -5*w + 34 for w.
4
Suppose -2*f = -f. Suppose -4*b + 113 - 33 = f. Suppose 5*u - b = -0*u. Solve 5*m - 26 = -3*g, -11 = -u*m - 4*g + 13 for m.
4
Let b(o) = -2*o**3 - 4*o**2 + 3*o - 4. Let i(c) = c - 1. Let s(z) = b(z) - 5*i(z). Let y be s(-2). Solve 2 = -5*l - 3*k + 10, 0 = y*l + 5*k for l.
4
Let q(p) = -2*p - 19. Let o be q(-11). Solve 5*x = -o*z - 19, -2*z + 0*z + 29 = -5*x for x.
-5
Let d(q) = -3*q**2 - 6*q - 5. Let j be d(-3). Let a = 18 + j. Suppose i + 10 = 6*i. Solve -y - 19 = 5*x, -i*x - a*y = 2 + 2 for x.
-4
Let l = 9 - 6. Solve -2*d = 3*b - l*d - 12, -5*b + 20 = -5*d for b.
4
Let f(b) = -b + 2. Let i be f(-5). Solve -i*t + 4*t - u = -9, 2*t - 2*u - 14 = 0 for t.
4
Suppose -25*l = -30*l + 25. Solve -l = 3*c + 10, -3*v + 3*c + 24 = 0 for v.
3
Let i be ((-17)/(-34))/(2/12). Solve 4*r = -9 - 7, -i*o + 4 = -4*r for o.
-4
Let v = 24 + -19. Suppose -4*g = -1 - 19. Solve 0 = v*x - 2*d + 1, 0 = -3*x + 5*d - 17 + g for x.
1
Suppose -2*i + 2 = -i. Suppose -5*f + 73 + 2 = 0. Suppose -w = i, -2*k + 5*w + f + 1 = 0. Solve 0 = -k*s + 2*d - 2, 3*s - 5*d = -0*d - 5 for s.
0
Let m be (7/(-14))/(2/80*-1). Solve -4*a - a + 20 = -3*y, 4*y = 5*a - m for a.
4
Let k = -49 + 57. Solve -z = 2*a + 4, -6*z - 4*a = -z + k for z.
0
Let a(t) = -t**3 + 9*t**2 - 10*t - 25. Let j be a(7). Solve 9 = -j*y + 3*k, 0*y = 4*y - 2*k + 6 for y.
0
Let l be (-58)/(-10) + 1/5. Solve 0 = 2*c + p, l*c = c + 5*p - 15 for c.
-1
Suppose 2*z = 3*f + 81, -5*z - 3*f + 219 = -5*f. Solve -3*y - y = 5*b + z, 3*b - 4*y = 5 for b.
-5
Let v(x) = -x**3 - 13*x**2 - 11*x + 16. Let f be v(-12). Solve 0 = -5*g - 5*c - 5, -7 = 5*g + f*c + 2 for g.
-5
Suppose s + 2 = c + 5, 0 = 5*c - 4*s + 10. Solve -6*m + m - y = 14, m + c*y = -1 for m.
-3
Let o = -129 - -129. Solve -j + 3 = -2*n, 0 = -o*j - 2*j - 2*n - 12 for j.
-3
Let w be 9*(-3)/(-6)*2/3. Solve 6 = -w*y, 5 = 5*g - 6*g - 4*y for g.
3
Let s = -4 - -6. Let j be (-4)/(-2) + (-4)/s. Solve 4*c + c + 10 = 0, 4*d - 2*c - 20 = j for d.
4
Suppose -3*n + 10 = -2*c - 3, 3*n = 3*c + 9. Solve o - 2*o + 5*r + n = 0, 2 = -2*o + 2*r for o.
-3
Let f be (2 + -1)*(-5 - -7). Solve -2*p - 2*l + 16 = f*l, -4*l = 4*p - 24 for p.
4
Let j be 8 - ((2 - 4) + 2). Let y = j - 5. Suppose 0 = -y*v + 12. Solve -3*p = 5*n + 2*p, -v*p - 1 = 3*n for n.
1
Suppose -z - 13 + 0 = 0. Let y = 21 + z. Solve -3*s + y = -2*p - 5, -2*p + 5*s = 23 for p.
1
Let d be 42/1*6/12. Let x be 1/((0 + 3)/d). Suppose 3*z + 0*z - 18 = 4*y, -z = 3*y + x. Solve a + z*l + 2 = -0, -a - 1 = l for a.
0
Suppose v - 2*u + 2 = 0, 5*v + 4*u - 19 = 13. Solve 8 = 2*z - 2*b, 0 = -v*z - 3*b - 6 - 13 for z.
-1
Let o(h) = 7*h**2 + 3*h + 1. Let x be o(-2). Suppose 4*q + 3*d - 25 = 0, 2*d + 17 + x = 3*q. Solve 5*w + 5*l + 30 = -0*w, 5*w = 3*l + q for w.
-1
Let u(k) = -3*k - 9. Let o be u(-7). Suppose -o = -4*s - 0*s. Solve 9 = v - 4*d, -v + 3*d + s = -5 for v.
5
Let n be (-4)/12*(-16 + 1). Suppose -3*h = -t - 2*h + 7, 0 = t + n*h + 23. Solve t*d - 2*m - 2 = 0, 4*d - 2*m = 3*m + 4 for d.
1
Suppose -8 = -5*v + 42. Let t = v - 6. Solve 4*b + 2*f = 24, 5*f + 7 = t*b - 3 for b.
5
Let f be (-104)/(-10) + (-10)/25. Let s be 18/(-15)*f/(-4). Let h be 1 + 13 - (-1)/1. Solve 4*q + 8 = -4*j, 4 - h = s*q + 4*j for q.
3
Let n(g) = -g + 13. Let q be n(8). Suppose -2*r + 94 = 4*z + z, q*r - 82 = -4*z. Solve 0 = -4*i - i + 5*d, 5*i + d = z for i.
3
Suppose -2*s = -5*p + p + 16, -2*p + 2 = -4*s. Let v(y) = -y + 10. Let i be v(12). Let w be 235/45 + i/9. Solve 0 = 4*a - w*t - 41, 45 = -0*a + p*a - 5*t for a.
4
Let l = 9 - 7. Suppose -3*q + 31 = -2. Suppose -3*v + q = -4. Solve v*m = -x - 2, -l*m + 4 = -5*x + 21 for x.
3
Suppose -51*h + 12 = -47*h. Solve 0 = 4*n + 2*p - 22, 4*n = -h*p + 16 + 9 for n.
4
Let m = 60 + -60. Solve 2*b = -2*l + 18, 24 = 4*b - m*b + l for b.
5
Let o = -31 + 34. Solve -5*p + 12 = 2*u, 4*p - o*u + 0 = 5 for p.
2
Let l be 91/21 - (-2)/3. Let b = l - 2. Suppose -b*q + 3*m = -18, -5*q + 3*m + 10 + 14 = 0. Solve 3*i + 2*s = 0, q*i - 4*s + 20 = 2 for i.
-2
Suppose -3*f - 24 = 3*t, 3*t + 25 = f + 9. Let c(i) = -i**3 - 6*i**2. Let b be c(t). Solve 4*n = -4*y + 8, 4*n - 5*y + 11 + 8 = b for n.
-1
Suppose 0*h - 5*n = 5*h + 15, 8 = -4*n. Let i(d) = 4*d**3 + 2*d**2 - 1. Let q be i(h). Let p = -1 - q. Solve 0 = -2*v, -6*v = -p*j - 3*v + 10 for j.
5
Let o = 89 - 88. Solve 0 = 4*g + 3*d - o, g = 3*g + 2*d for g.
1
Let x(q) = q**2 - 7*q - 5. Suppose -k = -5*n + 50, 3*n - 2 = -5*k - 0*k. Let y be x