 16 = 5*m for j.
1
Suppose 0 = x - v + 4, 0 = v - 2 - 3. Suppose 0 = m - 17 - 0. Suppose x - m = -4*f. Solve -3*l + 3*y = 2*l - 29, 0 = -f*l - 4*y + 4 for l.
4
Suppose -2*a + 40 = -4*w, 0*a + 2*w + 44 = 3*a. Suppose 2*g = g + 2. Suppose 2 = -g*y + a. Solve 21 = -2*x + y*v, 0 = 4*x + 4*v - 0*v - 28 for x.
2
Let q = -32 + 34. Let x(c) = c**2 + 2*c. Let o be x(-3). Solve 5*y = 5*t - o*t - 16, 0 = -q*t - 5*y - 4 for t.
3
Let j be 2/3*(-9)/(-2). Suppose -j*f = 1 + 2. Let i be -1*-2*1 - f. Solve 12 = -u - i*z - 1, -2*u = 4*z + 18 for u.
-1
Let o(s) = -27*s + 2. Let i be o(-1). Solve -n = -5*y - 19, -3*y + 4*n - i = -n for y.
-3
Let h be ((-7)/2 + 4)*4. Solve -m = 2*a + h*m + 11, 5 = -5*m for a.
-4
Suppose -5*r - 42 = -4*s, 2*s = -0*s - 5*r + 6. Suppose -3*k + 23 = s. Solve -5*f = -3*n + 25, -5*n + 15 = -k*f + 2*f for f.
-5
Suppose 5*a - 3*r + 0*r + 29 = 0, -5*a = r + 37. Let n(i) = i**3 + 8*i**2 + 6*i + 3. Let c be n(a). Solve -b - 4*b = -c, -5*b = -5*y - 15 for y.
-1
Let x = -25 + 25. Solve -4*h - 3*d - 10 = x, 13 = -0*h - 5*h - 4*d for h.
-1
Suppose -2*g + 42 = 5*v, -3*v + 3*g + 21 = -0*g. Solve 0*k - 2*k + 4*p = 0, -k + v = 2*p for k.
4
Let x be (1/(-2))/(6/(-480)). Let o be (-4)/6 + x/15. Solve o*p = 4*r - 12, 11 + 14 = 5*r for p.
4
Let t(w) = -10*w + 6. Let y be t(4). Let d = 95 + y. Suppose 3*o - d = -1. Solve 8*j + o = -r + 3*j, 2*r + 7 = j for r.
-5
Suppose -4*v - 16 = -r, -3*r + 6 = 3*v + 3. Suppose 24 = 2*d - 4*i, -3*d - r*i = -d - 64. Solve -5*t - 4 - 14 = -2*s, 3*t + d = 4*s for s.
4
Let y = 0 - 0. Suppose y + 8 = 4*n. Suppose 0*s - n = -s. Solve -5*x - s*q - 17 = 0, -2*q = -5*x + 3*x - 18 for x.
-5
Suppose -18 = 2*q - i, -6*q = -4*q - 2*i + 16. Let p = q - -20. Solve -4*r = 2*v - p, 0 = 2*v + 3*r - r - 2 for v.
-3
Let b(a) = -a**2 + 4*a + 4. Let z be (-1)/(-2)*(8 - 0). Let y = 0 + z. Let s be b(y). Solve s = -d, -11 = -3*u + 4*d + 11 for u.
2
Suppose 5*j + 1 = 11. Suppose -3*i = j*i + 10. Let y(g) = -12*g + 2. Let x be y(i). Solve 5*w = -5*v + 2*v - 26, -5*v = 4*w + x for v.
-2
Suppose -5*k - 100 = -3*n, 0*n - 2*k + 107 = 3*n. Let f = 0 - -3. Solve f*v + 5*l + n = 0, 3*v - 5*l + 0 = 5 for v.
-5
Let f(u) = -4*u**3 + 2*u. Let l be f(-1). Solve 0 = 3*z + 12, -3*d - 11 = 3*z + l*z for d.
3
Let l be (1 + 4)*24/60. Solve a + a - 4*j = l, -4*j = 4*a - 4 for a.
1
Let b be (0*1/(-3))/1. Suppose b = -4*i + 8. Solve -i*k + 0*p = -p, -p = -k - 1 for k.
1
Let m be (-5)/(-15) + 22/6. Suppose 3*g + 8 = -3*w - 4, m*w = g - 16. Suppose g*i = -5*i + 25. Solve -4*p + b + b = -28, -10 = 2*p + i*b for p.
5
Let w be -4 - ((-1 - 0) + -11). Let n(l) = l**2 - 4*l + 5. Let u be n(4). Suppose 5*o - h = 1 - 6, u*o + 3*h = 15. Solve 0*s + s = 4*g + w, o = 3*g + 3 for s.
4
Suppose 5*h + 18 = w, 0 = -4*w - 5*h - 1 - 2. Solve 7*q = w*q - 5*x + 31, 12 = 4*x for q.
4
Let h be 4*(-2)/(12/(-9)). Suppose -h = -3*l + 3. Solve k = -i - l, i - 2*i = -k + 1 for k.
-1
Let s be 84/35 + (-4)/10. Suppose -f = s*f. Solve f = -3*b - w - w + 25, 2*b = 2*w for b.
5
Let s = 18 + 14. Let t = -19 + s. Suppose -i + 7 = -t. Solve 0 = 5*b - k - 1 - i, 4*k = -4*b + 12 for b.
4
Suppose -4*j - j + 21 = 3*m, 0 = j - m - 1. Solve -3*l - 14 = -2*s, -5*l = -2*s - j*s + 30 for s.
4
Let d(p) = -p**2 + 6*p - 3. Let i be d(5). Suppose 0 = -s - 2*o + 9, i*s - 4*s + 3*o + 46 = 0. Solve 0*h + s = -2*q + 3*h, 2*h - 8 = -2*q for q.
-1
Let z = -8 - -7. Let h(y) = 15*y**2 + 3*y + 2. Let g be h(z). Solve 2*q + w - g = -3*q, 0 = -2*q - w + 5 for q.
3
Let q be (-4)/((-372)/183 + 2). Suppose -75 = -2*n - 5*j, 3*j - q = -5*n + 56. Solve -5*p + 3*c = n, 4*c + 9 = 2*p + 37 for p.
-4
Let g(c) = 2*c**3 + 2*c**2 - 1. Let r be g(-1). Let o be (-1*(-1 - -3))/r. Solve 3*a - 19 = -3*l + 2, -2*l = -o*a - 2 for l.
4
Let r = 37 - 35. Solve -14 = -3*f - 5*y, 9 + 2 = r*f + 5*y for f.
3
Suppose -3*w = 2*w + 3*v - 19, -5*v = 5*w - 25. Suppose -w*x = -2 - 10. Solve -2*t = -5*n + 18, -3*t - 3 = -3*n + x for n.
4
Let x be 1/6 + (-115)/(-30). Solve -5*f - 3*a + 6 + 5 = 0, x*f - 4*a = 28 for f.
4
Let v(m) = -m + 21. Let h be v(11). Solve 2*z + y - h = -2*y, -5*y = -5*z for z.
2
Let w be (1 - (-10)/(-6))*-3. Let i be 9/(-3)*1*-1. Solve -i*g - 5*y = -2*g - 22, -w*y = -2*g - 16 for g.
-3
Suppose -2*p + 6 = -8. Let y(v) = -v**2 + 8*v - 2. Let h be y(p). Solve 2*q + 4*r = h*q - 7, 0 = -q - r - 7 for q.
-3
Suppose i + 2*b = 7*b + 25, -4*b - 20 = 5*i. Solve -3*j = -4*y - 9, i*y + 4*j = 2*y + 12 for y.
0
Let z be 13 - (-34 - -41 - 2*2). Let b be (-2 + 1 + 0)*-1. Let d(x) = 5*x**3 - x**2 - x + 1. Let j be d(b). Solve 5*s = -j*n + z + 7, -3*n - 26 = -4*s for s.
5
Suppose -13 = 4*f + h, -f + 2*h - 5*h = 17. Let d = f - -7. Solve -d*k + 2*k + 2*m = -5, -m + 2 = 0 for k.
3
Suppose 3*p + 25 = -2*l, 9*p = 4*p + l - 59. Let g(o) = o**3 + 10*o**2 - 11*o - 3. Let u be g(p). Let f = u - -3. Solve 3*i - 4*x + 2 + 5 = f, 2*x = -4 for i.
-5
Let i = -3 - -5. Let h be ((-11)/(-33))/((-1)/(-42)*1). Suppose 5*o + 3*r - 29 = 0, -4*o - o + 8 = -4*r. Solve 0*k - 2*k = 2*y + 12, h = -i*k - o*y for k.
-5
Let k be 2 + -1 + -1 + 0. Let t = k + 5. Let q(y) = -y + 8. Let a be q(t). Solve 0 = 4*l + o + a*o - 32, -12 = l - 4*o for l.
4
Let m(f) = 4*f**3 + f - 1. Let t be m(1). Suppose l - 1 = -t*y, 5*l - 13 = -4*y + 8. Solve -3*b = w + 4, 0 + 1 = 4*b - l*w for b.
-1
Let f(o) = -o + 9. Let i be f(7). Suppose 4 = i*a - 0*a. Solve -3*w - 15 = 3*r, a*r - 3*w - 5 = -2*w for r.
0
Let w = 48 - 39. Solve -5*p - 16 = 5*g + w, p - 5*g = 19 for p.
-1
Let o(l) = 3*l**2 - l + 1. Let j be o(1). Suppose -2*w - f = -7, f = -w - j*f. Solve 12 = 4*a + z + 2, 14 = w*a - z for a.
3
Suppose -3*r - f = 1, 2*r + f = 4*r - 1. Solve r = d + 3*d + 3*t - 8, 0 = 3*d - t - 6 for d.
2
Suppose -40 - 40 = -5*h. Solve 0 = -3*s - 2*i - 4 - 8, -4*s + i = h for s.
-4
Let g(x) = -10*x + 4. Let p be g(-9). Suppose -2*z = -3*t + 104, -2*t - 4*z - p = -5*t. Suppose 10 = 2*b - t. Solve -5*m + 4*f = b, m + 0*f = 3*f - 7 for m.
-4
Suppose 2*z + 0*z - 10 = 0. Suppose 35*c - 41*c = -30. Solve 15 = x - c*x + 3*f, -2*x - f = -z for x.
0
Let a = -18 + 10. Let i be (-2)/(-4) - 164/a. Solve 0 = -s - 3 + 8, 0 = 4*v - s + i for v.
-4
Suppose 0 = q - 3 - 2, 5*l - 3*q = -5. Suppose -4*g - l = -14. Solve -3*m = 6*c - g*c, -5*c - 2*m + 12 = 0 for c.
4
Let w(n) = 3*n - 10. Let a be w(4). Suppose -6*m + 5 = -m. Let c = m + a. Solve -3*z - 23 = 8*t - 3*t, -3*t - 9 = -c*z for t.
-4
Let v be 7 + (-1 - -2) - -4. Suppose 3*l - 4*l = 5*w - 12, w = -5*l + v. Solve -2*q - s = 7, w*q + 0*s - 11 = 5*s for q.
-2
Let c(s) = -s**2 + 4*s - 4. Let f be c(2). Solve 4*l - 2*z - 14 = 0, 3 = -3*z - f*z for l.
3
Let b be 0 + 0/1 + 0. Suppose 2*m + 5*a = -b*a + 1, -m - 4*a - 4 = 0. Let d be (-2)/4 + (-6)/(-4). Solve -2*y + d = -i, 3*i + y = 2*i + m for i.
5
Suppose 5*c + 3*q - 12 = 0, -2*c - 22 = -5*q - 2. Suppose -6*j + 2*j + 8 = c. Solve j*o - 8 = 2*n, 3 - 14 = -4*n - 5*o for n.
-1
Suppose 4*o = 6 + 2. Suppose -o*m = -0*m - 12. Solve -5*k = 4*p + 6, -2*k + m*p = p + 9 for k.
-2
Let z be 0 + 0 - (3 - 3). Let f be 8/(-3)*(-3)/2. Suppose 0 = 8*r - 26 - 30. Solve -j - k = 0, -f*k - 13 - r = z for j.
5
Let z be ((-20)/(-6))/(1/3). Suppose 0 = -4*s - s + z. Suppose -s*j + j + 12 = -5*a, a + 20 = j. Solve 5*o + 3*g = o - 20, 5*o + 3*g + j = 0 for o.
-2
Let w(o) = o + 6. Let a be w(-6). Suppose 5*h = -2*t + 39, a*t + 5*h = t + 18. Let y = -4 + t. Solve 2*q = -8, n + 16 = 2*n - y*q for n.
4
Let v be 1 - (-60)/18 - 2/(-3). Solve 2*s - v = 7*z - 4*z, 5*z + 20 = s for s.
-5
Suppose -2*w - 15 = -3*b + 3*w, 2*b + 3*w = 10. Solve v - 11 = b*v - o, -3*o + 9 = -4*v for v.
-3
Let m(y) = -y**3 + 5*y**2 + 5*y + 10. Let o be m(6). Solve o*s - 5*z - 6 = 11, -3*s + 19 = -5*z for s.
-2
Suppose -6 = -18*d + 15*d. Solve f + d*h + 1 = 7, -2*h = -4*f - 26 for f.
-4
Suppose -q + k + 2 = 0, 2*q - 39 = -5*k - 0. Suppose 0 = b + a - 5, -a + q = 4*b - 7. Solve -2*l - b = -2*c - 5, 5*l + 19 = -c for c.
-4
Let l be ((6 + -6)/(-8))/((-4)/(-2)). Solve 0 = -3*f - 6, g - 5*g + 4*f - 8 = l for g.
-4
Let n be (1/(-3))/((-16)/96). Solve 3*k - 6 = -n*k - 4*f, 2*k + f = 0 for k.
-2
Let v be (-2)/(-16)*-2*-4. Let q be 1 - 1 - (1 - v). Solve -4*k = -12, i = k + 1 - q for i.
4
Suppose -5*g = -g - 16. Solve -5*y + 10 = 5*d, -3*y + d + 6 = -g*d for y.
2
Let v(a) = 2*a + 27. Let h be v(-12