lve 5*a = b - 2 - 0, -2*a = 5*b - f for b.
2
Let k(q) = 2*q**2 + 3*q - 4. Let z be k(-3). Solve 0 = h + 3*t + 2, -4*h + 5*t - 3 = z for h.
-2
Suppose -4*h + z + 19 = 0, 2 = -2*h - 5*z - 5. Let c(y) = -y**2 + 6*y - 6. Let n be c(h). Solve 3*g + 2*k = 6*k + 10, 3*g = n*k + 8 for g.
2
Suppose -l - 3*l - 10 = -2*y, 0 = 4*y - l - 13. Solve 3*g + 27 = y*r, -2*r + 0*g = g - 6 for r.
5
Let r = -11 + 16. Suppose -2*o - 13 + 19 = 0. Solve 6*i - r*w - 28 = 2*i, o*w = -i - 10 for i.
2
Let g(s) = -27*s**3 - s**2 + s + 1. Let h be g(-1). Suppose -3*f - 6*t - h = -2*t, -4 = -f + 5*t. Let x = f + 6. Solve 3*z + 2*d = 17, 2*z + x*d - d = 2 for z.
3
Suppose -3*q = 2*k - 336, 0*q - 4*q - 2*k = -448. Let u be q/18 + (-2)/9. Solve -2*t = -u, 0 = -3*d - 4*t - 0*t for d.
-4
Suppose 2*s - 10 = -2. Solve -o = -s*o - y - 3, 2*y + 4 = -5*o for o.
-2
Suppose 0 = 2*g - 19 + 7. Solve -p - 13 = -2*u, -15 = -3*u - 2*p - g for u.
5
Let d(k) = k**2 - 3*k - 1. Let b be d(4). Solve 5*h + p = 10, -b*h + 1 = -7*h + p for h.
1
Suppose -q + 0*q = 0. Let w be (3/2)/(9/24). Solve -2*i - 10 - 4 = w*l, -3*l - i - 10 = q for l.
-3
Suppose 4*i - 12 = 2*i. Let o(y) = -y**3 + 5*y**2 + 9*y - 6. Let q be o(i). Solve -u = -n, 4*u + n + q = 2*n for u.
-4
Let d(y) = -y + 3. Let q be d(3). Suppose 10*i - 5*i = q, 5*i = -3*a + 12. Solve x - 8 = -c - 0*c, -24 = -a*x - 2*c for x.
4
Let i(j) = 6*j - 3*j - j**2 + 6*j - 8. Let a be i(8). Let x be (-2)/(-7)*(a - -7). Solve 4*f = h + 20, -h - h + 10 = x*f for f.
5
Let f be (6/5)/(6/15) + 0. Solve -f*x - 4 - 5 = -4*w, -x - 3 = -w for x.
-3
Let h(n) = n + 9. Let w be h(-5). Suppose 0 = -3*y + 6*y - 96. Solve 3*f - y = -w*z, -4*z - 2*f + 28 = -0*f for z.
5
Suppose 5*q + 0*q = 15. Let x be (-2 - -5) + -2 + 1. Solve -3 = -z - b, -x*z + 3*b - 1 = -q*z for z.
4
Let w(c) = c**2 + 8*c + 13. Let m(a) = a**3 - 5*a**2 - 8*a + 3. Let d be m(6). Let n be w(d). Let g = -13 + n. Solve 2*b - 2*l = -g + 1, 6 = -4*b - l for b.
-2
Let p be (-18)/(-12)*(-12)/9. Let u be p/5 + 2/5. Solve 3 = -3*r + r + n, u = n - 3 for r.
0
Let d = 8 + -6. Let v be d - -1 - 6/(-3). Let s = v + 0. Solve 0 = 3*w - 2*x - 4, 2 + 7 = 2*w + s*x for w.
2
Suppose -8*a = -4*a - 28. Let h = a - 4. Solve n + h*u = -5, 0 = -0*n + 4*n - 3*u - 25 for n.
4
Suppose 2*p + 5*c = 21, -4*p - 2*c - 2*c + 24 = 0. Let x = -5 - -11. Suppose -6 - x = -p*n. Solve -j = -n*z + 3*z + 1, 4*z = -3*j - 17 for z.
-2
Let x = -14 + 17. Solve 3*f = 3*w + 30, f + 12 = -4*w - x for w.
-5
Let h be 2/4 - 12/(-8). Suppose 6*v - 8 = h*v. Solve -5*p + 20 = d + v*d, 5*d = 25 for p.
1
Let h(j) = -2*j**3 + 1. Let k be h(-1). Let z(l) = 2*l**2 + 2. Let m be z(-2). Solve 5*f + m = u, -3*u + k*f = 9 - 27 for u.
5
Let y(q) = 2*q. Let s(c) = -c + 2. Let n be s(0). Let g be y(n). Solve 2*m + m = r + 6, g*r - m = -2 for r.
0
Let a(y) = y + 9. Let k be a(-7). Suppose -k*c = -2*o - 6, 0*c + 3*o + 4 = 2*c. Solve -c*j - r = -j + 12, -j = r for j.
-4
Let w(j) = j**2 + 3*j - 2. Let c be w(1). Solve 4 = 4*z, 5*z - c = i + 1 for i.
2
Let n(m) = -m**2 + 7*m - 3. Let o be n(6). Let r = 3 - o. Let w be 0 - -1 - (-2 + r). Solve w*b = -g - 5, g - 2*b = -2*g - 4 for g.
-2
Suppose 2*f = -f. Solve w - 2 = z, 30 = -f*z - 5*z - 5*w for z.
-4
Suppose 9 = -3*q - 5*t, 2*t = 2*q + 3*t - 1. Solve -8 + 36 = -5*c - b, 4*b + 22 = -q*c for c.
-5
Let l(x) = -x**3 - 39. Let c be l(0). Let s be (-2)/8 + c/(-12). Solve m = -s*f + 2 - 19, 0 = 4*m + 4*f + 28 for m.
-2
Suppose -3 = 2*u - 7. Let a be u/3*30/5. Solve -4*s - 6 + 26 = 5*r, -4*s + 20 = -a*r for s.
5
Suppose 0 = -2*u + u - 6. Let z = u - -5. Let m be (-4 + 1 + 0)*z. Solve -2 = 2*q - q + m*w, 3*q - 3*w - 6 = 0 for q.
1
Let t(u) be the first derivative of 3*u**2/2 - 3*u + 4. Let s be t(2). Solve -2*j + 15 = 5*p, p + s*j = -2*j + 3 for p.
3
Suppose 4 = 3*a + b + 10, -3*a + b = 0. Let n = a - -4. Let f = -1 - -1. Solve u - 18 = 4*u - n*m, f = 5*m - 20 for u.
-2
Let b(s) = 3*s**2 - 4 - 6*s**2 + 4*s**2 - s**3 - 2*s - 4*s**2. Let u be b(-3). Solve -5 = x - u*j, 2*x - 7*x = 3*j - 1 for x.
-1
Let b be 5 + -5 + 2 - 9. Let s = b + 9. Solve 0*q - t = s*q - 5, 3*q - 5*t = -25 for q.
0
Suppose 3 = b + c, -c = -3*b + 6*b - 7. Let w(s) = -s**2 - 6*s + 8. Let n be w(-7). Let a = 3 - n. Solve h + b = -3*m, 4*m = h + 4 - a for h.
-2
Let t be 2*(2 + (-4)/8). Solve -5*r + 4*f + 36 = 0, r + t*f = -0*f - 8 for r.
4
Let i be (-7)/42 - (-26)/12. Solve -3*z = -i*c + 2, -7*z + 3*z = -2*c + 6 for c.
-5
Suppose 2*g + l + 15 = -4*l, -4*l - 40 = -4*g. Suppose x - 4*j = j + 14, g*x = 4*j - 14. Let u = 10 + x. Solve o - u = n, 5*o + 5*n = 12 + 18 for o.
5
Suppose -25 = -8*l + 15. Solve 0 = -i - l*v - 16, 5*i - 5*v - 26 = 14 for i.
4
Let c be ((-39)/(-12))/((-7)/(-56)). Solve -2*y = 5*o + c, -2*y - 2*y - o = 16 for y.
-3
Let l = 23 + -34. Let r = l - -14. Solve -y + 6 = -2*y + i, 2*y - r*i = -16 for y.
-2
Let d = -16 + 20. Solve 5*g - 3*q = -8 - d, -3*g - 12 = 3*q for g.
-3
Suppose 11 = -2*g + 47. Solve -v = 2*c - 2*v - 7, -5*c + 2*v = -g for c.
4
Let n be 3/9*(1 + -1). Suppose n*b + 15 = 5*b. Solve -2 = b*y - f, 5*y = f - 0*f for y.
1
Let j(n) = n**2 + 9*n + 10. Let m be j(-8). Suppose -y - 2*y = 4*t - m, 5*y + 10 = 0. Solve 5*l + 1 = -z, 3*z - 2 = t*z - 2*l for z.
4
Let x(v) = -5*v - 3. Let k be x(-1). Solve 3 = -2*p + 5, k*f - 9 = -3*p for f.
3
Suppose -r + 7 = k, -3*k - 5*r = k - 31. Solve 5*h + 4*d = -13 - 13, 18 = -h - k*d for h.
-2
Let i(j) = 4*j - 9. Let g be i(3). Solve 3*h - 9 = 4*n + 17, 0 = 5*n - g*h + 31 for n.
-5
Let o(x) = -x**2 + 9*x. Let u be o(9). Suppose 4*s + 2*t + 2 = u, 20 = 5*s - 2*t - 0. Suppose 3*c = s*c + 3. Solve -5*g - 3*a - 8 = 0, -6 = c*g + a + 2 for g.
-4
Suppose -6*x + 2*x = 0. Suppose 0 = 3*z - 3, 2 = g - 3*z - x. Let b = g + -1. Solve j - o - 12 = -3*j, 5*j = 4*o + b for j.
4
Let g(y) = -2*y**2 - y + 5 + 4*y**3 - y**2 - 5*y**3 - 5*y**2. Let l be g(-8). Solve -5*s - 2*b = -l, -5 + 17 = 3*b for s.
1
Let s be (-3)/9*(-6)/1. Solve 0 = 5*t + 15, 0*g + s*g + 2*t - 4 = 0 for g.
5
Let b be (-2)/(-4)*(-13 - -3). Let w be (-14)/(-4) + b/10. Suppose 0*g - w*g = -27. Solve -l + 4*k = -30 + g, -5*l - 20 = 5*k for l.
1
Let r = -7 + 27. Suppose 0*p + r = 4*p. Solve 5*s + v + 25 = -2*v, 4*v = p*s - 10 for s.
-2
Let i = 8 - -3. Let u be 10/6 + (-6)/9. Let t(p) = 2*p + 1. Let m be t(u). Solve -5*w = 5*y - 5, 0 = m*w - i + 2 for y.
-2
Suppose -5*a - 9 = -10*a + 3*v, v - 17 = -5*a. Solve -3*h = 5*o, 3*h = 8*h - a*o for h.
0
Let d = 0 + 20. Let i be (8/(-3))/(3/9). Let l(m) = m**2 + 8*m + 4. Let c be l(i). Solve 2*u + o = -o + 10, u + d = c*o for u.
0
Let z(o) = -2*o - 1. Let q(x) = -x**2 + 7*x + 11. Let b be q(8). Suppose 3*v - b = 4*v. Let p be z(v). Solve -i + 6*i - 20 = -p*d, 3*d - i - 16 = 0 for d.
5
Suppose -7*s + 4 = -24. Solve -3 = -d, -4*d = -0*t - 4*t + s for t.
4
Suppose -d + 2*d - 3 = 0. Let f(t) = -t**3 + 6*t**2 - t + 4. Let q be f(0). Solve d*i = 6, -q*j - 2*i = j - 4 for j.
0
Let w(c) = -2*c + 7. Let j(p) = p. Let q(k) = -3*j(k) - w(k). Let t be q(-11). Solve 4 = 4*x + 3*b - 8*b, t*b - 1 = -x for x.
1
Let n be -4 - (-2 + 1 + -1). Let p = n + 4. Let s be 5/p*2*1. Solve -5*o + 3 = -s*k + 33, 0 = 2*k - 5*o - 18 for k.
4
Let x be 0 + (-2)/(-8)*0. Suppose 2*m + x - 8 = 0. Solve -4*c = -2*a + 10, m*c + 5*a - 25 = -0*c for c.
0
Let o be 0/(1*-1 + 0). Let z(a) = a**2 + 2*a - 2. Let n be z(1). Let m be 15/((n + o)/1). Solve 0 = 5*q + 3*u - m, 8 = -4*q - 3*u + 20 for q.
3
Let n = 9 + -7. Solve 0 = -4*p - 3*o, -n*o + 1 = 6*p - 3*p for p.
3
Suppose -3*v + 4*q = 2*v - 52, -3*q + 23 = 4*v. Suppose 16*n - v = 14*n. Solve f - 5*f - o = -15, -f - 9 = -n*o for f.
3
Let n = 16 - 16. Solve 5*t = -n*t + 2*v + 25, -20 = 4*v for t.
3
Let i = 62 + -58. Solve 2*t - 7 = 3*o, 4*o - i*t + 2 = -2 for o.
-5
Let j be (-30)/(-20)*(-8)/(-3). Let a be (-4)/6 + 4/6. Suppose 4*m - 9 + 1 = a. Solve -3*u + 5 = m*l - 4*l, 2 = j*u - 5*l for u.
3
Suppose 66*i = 68*i. Solve -u + 4 = 5*a - 4, -2*a + 2 = i for u.
3
Let q = 10 - 16. Let n be (4/q)/(8/(-84)). Let u = n - 4. Solve 0 = 3*y + u*r + 3, 3*y - r + 7 = -0*r for y.
-2
Let o be ((-2)/3)/(2/(-6)). Suppose 2*v - h = -71, 3*h + o*h = 3*v + 89. Let t = 53 + v. Solve 0 = -r - l - 3, -t = 3*r + 2*r - 5*l for r.
-3
Let l = -6 + 9. Suppose -2 + 20 = 2*f. Suppose 5*a - 34 = -f. Solve 36 = -a*g - 4*r, -3*g - l*r - 