*z = -54. Solve 3*p = 5*g + p - b, 3*p - 3 = -3*g for g.
3
Let j = 18 + -9. Let c = j + 2. Solve y - 3*u + c = 0, -y = -3*u + 8*u - 13 for y.
-2
Suppose 0 = 3*j + 3. Let a(m) = 15*m**2 + m. Let d be a(j). Suppose 3*z - 15 - 1 = 2*y, -3*z + d = -y. Solve 5*k + 19 = -7*b + 4*b, 5*b + 7 = z*k for k.
-2
Suppose 3*d = -5*h + 14, -2*d + 14 - 3 = 5*h. Suppose -7 = -d*b + 14. Solve b*s - 3*s - 12 = 0, -16 = 5*x - 2*s for x.
-2
Let c be ((-2)/6)/((-1)/12). Suppose -1 = -2*u + j, -j - j = 5*u - 25. Solve -c*g - 3 = q - 9, 5*q + 16 = u*g for q.
-2
Let u be (-6 - 10/(-2))*0. Solve z - n - 6 = u, z = -n + 1 + 1 for z.
4
Let n(v) = 5*v**2 + v + 2*v**2 - 3*v**2. Let k be n(2). Solve -5*b + 8*b - 5*t = 22, 2*b - 4*t - k = 0 for b.
-1
Suppose l - 9 = -2*l - 4*d, 0 = -3*l + d + 24. Let z(s) = s**3 - 6*s**2 - 5*s - 14. Let g be z(l). Solve 2*o - 5*m + 16 = g, 0 = 4*o - 2*m - 5 + 21 for o.
-3
Suppose 0 = x + x - 4*h + 42, 4*x + 2*h + 34 = 0. Let o = x - -14. Solve -2*w = -o*r - 19, 3*w - 7 = -2*r + 2 for r.
-3
Let x = -13 - -18. Suppose -7*s = -x*s - 8. Solve 3*h - 4 = -w + 2, w + h = s for w.
3
Let j = -5 + 8. Let w(a) = a**2 - j*a + 0*a**2 + 3*a - 3 + 3*a + a**3. Let r be w(2). Solve 0 = 3*f - 9, 3*d - r = 7*d - f for d.
-3
Let i(l) = -l**3 - 14*l**2 - 2*l - 28. Let p be i(-14). Solve p = -2*m - 2*v + 6, -3*v = 5*m - 7 - 6 for m.
2
Let k be (1 + -1)*(1 - 2). Suppose k*c - 3 = -c. Solve 2*m = -0*r + c*r + 13, 4*m = 2*r + 6 for m.
-1
Suppose -5*t + 25 = 2*g, -2*g - 25 = -5*t + g. Solve t*a + 1 + 6 = -4*i, 3 = -i for a.
1
Suppose -u + 0 = 3. Let t(y) = y**2 - 4. Let z be t(u). Suppose 0 = -5*n + 4*b + 9, -3*n + 2 + 1 = -3*b. Solve o = -o - 5*a + 12, z*o - 5*a = -n for o.
1
Let c be 8/6*(0 + -3) + 6. Solve 0 = -c*u - 2*b - 10, -10 = 4*u + 2*b - 0*b for u.
0
Suppose 0 = -l - 2*l - 18. Let w be l/(-2)*18/27. Solve 0 = b - 2*c, 2*c - 4 = -w for b.
2
Let b be 46/3 - (-4)/6. Suppose q + 3*q = b. Solve -3*k - 2*c + 13 = -2*k, -2*k + q*c = 6 for k.
5
Suppose -44 = 3*k + 1. Let n be (k/12)/((-2)/8). Solve -2*z + 21 = 2*o + z, n*o + 3*z - 30 = 0 for o.
3
Let p(c) = 6*c - 4*c**2 + 1 - 2 + 8 + 5*c**3. Let y(a) = -a**3. Let n(q) = p(q) + 6*y(q). Let o be n(-5). Solve -o*s + 12 = 2*r, -4*s + 9 = 2*r - 3*r for s.
3
Let v be (-18)/(-1 - -4)*-5. Suppose v = x + 2*x. Suppose 0 = 4*c + c - x. Solve 0*i - 5*i - 4 = z, -c*i - 5*z + 3 = 0 for i.
-1
Let i = 0 - -4. Let y be 2 + 3 + -4 + -1. Suppose y = -4*m - m. Solve u + 3 = 3*l - 0, m = 2*l - i*u - 2 for l.
1
Let w(b) = -3*b**2 + b**2 + 3*b**2 + 12 + 9*b. Let g be w(-8). Solve -12 = 4*t - g*m, -4*t - 5*m + 27 = 3 for t.
1
Let f = -6 - -11. Suppose f = j + 1. Solve -r + o = 2*r + j, 0 = 5*r - 2*o + 6 for r.
-2
Suppose 8*i - 3*i - 190 = 0. Suppose 4*x + 6 = i. Suppose 2*b = -4*o + 12, -o + 3*b + x = -2. Solve -4*l - o*u - 19 = -3*u, l + 1 = u for l.
-4
Let w = -18 - -22. Let h be (-148)/(-28) - w/14. Solve 9 = -h*o - 4*s - 5, -2*s - 4 = o for o.
-2
Suppose 0 = -4*s + 40 - 28. Solve 17 = -4*f + 3*c + 3, 2*f = -s*c + 2 for f.
-2
Let j(f) = -f + 14. Let k be j(9). Solve x + 8 = 4*g, k*g = x - 3*x + 10 for x.
0
Let j be (0 - 1)*(-8 - -3). Solve c = -j*l + l + 15, 4*c - l - 9 = 0 for c.
3
Let r(q) = 8*q + 1. Suppose -z = -5 - 3. Let t = -6 + z. Let l be r(t). Solve 0 = 4*f - 3*p - 26, 4*p = -f - 4*f + l for f.
5
Suppose 3*a - 2*d - 18 = 0, -2*a - 11 = -a + 5*d. Let q(w) = 4*w + 5 - a - 2. Let s be q(2). Solve -3*g + 10 = 2*f - s*f, -2*g = -5*f - 10 for f.
-2
Let c be (5 + -10 - -1) + 23. Suppose -4*l + 10 + 6 = 0. Suppose 2 = 2*k - 2*n, -l*k + 4*n + n = -2. Solve -2 = -3*f - 4*m - 3, m = k*f - c for f.
5
Let c(f) = -3*f - 3*f**2 - 4*f + 2*f**2. Let i be c(-5). Let n be (-2)/(-2 + 4)*0. Solve 2*t - h - i = -3*t, n = t - 2*h - 2 for t.
2
Let k = -1 + 5. Suppose -z = -k*m + 62, 5*m - 3*z - 111 = -37. Solve 3*t = -3*r + 5*t + m, -5*r = 3*t + 5 for r.
2
Let i be (-4)/(-8) + 10/4. Suppose k = i + 2. Let q = k - 3. Solve 2*p + q*d + 4 = 0, 0*p - 2 = p - 5*d for p.
-2
Let q(r) = -r**3 + 7*r**2 + 10*r - 12. Let h be q(8). Let o = h - 2. Let i = -8 + 11. Solve -15 = i*a, -g = -o*a - 0*a - 12 for g.
2
Let v = -14 - -8. Let o be 8 + (-9)/(-3) + v. Solve 0 = o*z - 0*z + 4*i - 35, -28 = -z - 5*i for z.
3
Let g(h) = h - 2. Let s be g(4). Let r be (s/(-3))/(1/3). Let z be r/7 - 4/(-14). Solve 2 + 1 = -3*l, -5*j - 5*l = z for j.
1
Suppose -73 = -5*q + 32. Solve a + 2*u = -a, -4*a = -3*u + q for a.
-3
Let z = -6 + 10. Let m = z + -2. Suppose -4*r + 6 + 4 = m*o, 2*r = 0. Solve -9 = -5*n - 3*x, -o*n + 0*x - 3 = -x for n.
0
Suppose 0*q - q = 4*d - 1, -2*q + 2*d = -12. Suppose -q*u - 1 = -21. Solve 6 = u*x - 2*c, -6*c + 21 = 3*x - 2*c for x.
3
Let y(u) = 2*u + 1. Let z be y(0). Solve -z = i - 3*o + 2*o, 0 = -4*i + 5*o - 7 for i.
2
Let q(n) = n - 2. Let v be q(2). Solve v = -h + r + 4*r + 3, 0 = -2*h - r + 6 for h.
3
Let m be 2 - (-2)/((-2)/(-3)). Suppose m*k + 0 - 20 = 0. Suppose -2*h + k = -h. Solve 4*a + 6 = c, -c = a + h*c - 9 for a.
-1
Let i = 60 + -56. Solve -4*a + 2*s - 8 = i*s, 2*a + 4 = 4*s for a.
-2
Let q be ((-8)/6)/(6/9). Let a = -2 + -4. Let y = q - a. Solve -3*d = y*h + 11, -d = 2*h - 1 + 8 for h.
-5
Let h be 1/(3/(-30) - 0). Let a = 2 - h. Solve 3*l + 0*i = -3*i, -a = -l - 4*i for l.
-4
Let z(c) = c**2 - 12*c + 16. Let p be z(11). Solve 8 = 2*l - 4*a, -16 = -4*l - 0*a - p*a for l.
4
Let w be (12/8)/(2/12). Let i be 24/w - (-2)/6. Suppose n + 3*s = 8*s - 17, -s + 13 = i*n. Solve 5*b + 26 = -g + 1, -n*g + 15 = -3*b for g.
0
Suppose 0 = 5*p - 11 - 9. Let c(v) = -v**3 + 5*v**2 + 6*v. Let m be c(6). Suppose m = -2*f + 4*f. Solve 2*u = 4*u - 4*t + 6, -p*u - 4*t - 12 = f for u.
-3
Let l be 2/(-6) - (-49)/3. Let m = -7 - -10. Solve -9 = m*g, -4*v = -9*v - 2*g - l for v.
-2
Let a be (-2 - (2 - 5))*-2. Let g be a*2/(0 - 2). Solve -5*i = -4*c + 10, -4*c = -0*c - g*i - 4 for c.
0
Suppose -t = 4*i + 28, 0*i - 5*t + 28 = -i. Let q(r) = -1 + 6*r + r - 4 + r**2. Let v be q(i). Solve v*b - 25 = 4*g, b + 5*g - 3 = -20 for b.
3
Let l = 86 + -83. Solve -t = m, -l*m = -4*t + 2*t - 5 for t.
-1
Suppose 9 = -4*t + 61. Solve -s - t = -2*i, 0 = -i + 2 + 2 for s.
-5
Let j be 24/14 + (-10)/(-35). Suppose -5*c + 6 = -j*c. Let w(z) = z + 15. Let f be w(-12). Solve 1 = 2*i - f*k, i = 3*k - 6 + c for i.
5
Let g = 102 - 102. Solve 0 = 4*m - 8, -4*x - m - 2*m + 18 = g for x.
3
Let i(z) = -z + 6. Let j be i(6). Let x = 1 - 0. Let f be (-21)/(-6) + 1/2. Solve f*d = -4*t + 16, -t + 2*d = -j*t - x for t.
3
Let z be (28/(-6))/(1/(-3)). Let s = -34 - -37. Let g = 3 + 0. Solve 10 = -5*w - 5*y, -g*w - 2*y - s*y - z = 0 for w.
2
Let o(w) = -4*w**2. Let c be o(-2). Let j be c/(-12)*(-6)/(-4). Suppose -a = j*a. Solve -4*y = 4*q, -5*y + 8 = -a*q + 3*q for q.
-4
Let z(o) = o - 2. Let f be z(4). Let x be 31/f + (-2)/(-4). Solve g - 5*j - 12 = 12, -4*g + 4*j + x = 0 for g.
-1
Let k(j) = j**2 + 2*j + 2. Let o be k(-3). Solve -s - 23 = 3*c + s, -c = -o*s - 15 for c.
-5
Suppose d - 20 = -5*j, 0 = -2*j - 3*d + 8. Suppose 3*r = j*r - 2. Solve 0 = r*u - 5*c + 10, u + 5*c + 15 = -2*u for u.
-5
Let x = 18 + -7. Suppose -3*p + 25 = -x. Solve v - 8 = m, 3*v - v = m + p for m.
-4
Let j be (2/5)/((-2)/10). Let s = 3 - j. Solve -3*g = 2*z + 2*g, 0 = s*z - 2*g + 29 for z.
-5
Suppose 4*q = -b + 7, 2*q = 6*q + 2*b - 6. Suppose 2*w + q = 5*y, 3*w = -3*y - w + 22. Solve 2*i = -z + 7, -4*z - y*i = 2*i - 12 for z.
-1
Let v be (0/(-2))/(2/2). Let j = v + 4. Suppose d - j*n + 1 = 4*d, -4*n = -4*d + 20. Solve 5*x - 15 = s, -5*x + 8 + 7 = d*s for s.
0
Suppose 0 = 2*j + 4 - 8. Suppose u = 2*b - 7, j - 15 = 3*u + 2*b. Let h be 18/15*u/(-2). Solve -2*r - 2 = 5*z + h, 2*r - 4*z - 22 = 0 for r.
5
Let k be (2/3)/(8/60). Solve 0 = -3*a + 4*p - k + 21, -2*a = -2*p - 8 for a.
0
Let x(q) = q**2 + 24*q - 81. Let p be x(-27). Let s = -2 + 6. Solve -9 = -p*v - 3*v + 3*y, s*v - 24 = -2*y for v.
5
Suppose 5 = 3*h - 4*x, 2*x - 11 = 3*h - 6*h. Let a = -6 - -10. Suppose 0 = -u - u + a. Solve 5*z - u*s + h*s = -8, 3*z + 4*s - 2 = 0 for z.
-2
Suppose 3 = -3*p + 9. Solve -a + 0 - 5 = p*q, 2 = -q for a.
-1
Suppose 3*n - 6 = -3. Solve z - 2*w + 7 = 2, -w = -z - n for z.
3
Let a(h) = -h**2 + 2*h + 3. Let w be a(4). Let l(v) = v + 12. Let z be l(w). Suppose -1 + z = 2*s. Solve 5*o - 10 = -5*b, 5*o = s*b + 3*o + 19 for b.
-3
Suppose 0 = -5*i