 2*d + d + 20, -3*d = 4*g + a for g.
-1
Suppose -n + 3*n - 4 = 0. Let o = -2 + 5. Suppose 12 = 4*k + 4*l, -k = o*k + 2*l - 12. Solve 10 = n*b + k*a, -5*b = 3*a - 29 + 4 for b.
5
Let s(d) = d**2 - 13*d. Let i be s(13). Solve 2*r = r + 4*m + 7, 4*r + 2*m + 8 = i for r.
-1
Let c = 28 + -28. Solve c*o = -h + 3*o + 4, -5*o - 5 = 0 for h.
1
Let y(f) = f + 3. Let m be y(1). Solve -m*k = 2*i + 24, 0 = 2*k - 1 + 11 for i.
-2
Let c be (2 - -1)/(6/4). Suppose 0 = -4*b - 4 + 12. Solve 5*y = -b*q - 19 + c, -6 = 2*y for q.
-1
Suppose 5*n = 2*o + 16, 0 = -3*o - o - 3*n - 32. Let b = -6 - o. Solve 2*m + 4*d - b = 0, 3*d = -3*m + 6 - 3 for m.
1
Let m = 10 - 7. Let t = 13 - m. Solve 6*j - j = -5*s + t, -6 = -3*s for j.
0
Let y be 9/((-18)/4) - -4. Solve 4*f - y*f = m - 10, 8 = -4*f - m for f.
-3
Let z be (-4)/((-24)/(-15))*-6. Solve -g + 3 = w, -5*g - 4*w = -0*w - z for g.
3
Let z(h) = -h**3 - 12*h**2 - 9. Let a be z(-12). Let b be 20/6 - (-3)/a. Let r be 1 - 11*1*-1. Solve s - b*d = -0*s - r, 26 = 2*s + 4*d for s.
3
Suppose 8*u = 3*u. Suppose u = 3*a - 8*a - 45. Let z be (-42)/a + 2/(-3). Solve -z*l - v = 24, -4*l + 0*v = 2*v + 28 for l.
-5
Let j be ((-7)/(28/8))/(-1). Solve -5*z - 5*u - 30 = 0, -4*z - 14 = j*u - 0 for z.
-1
Let l(z) = z**2 - 2*z + 2. Let q be (-8)/4 + 2 - -2. Let s be l(q). Solve w - 2*f = -s, 0*w + 5 = 4*w + 5*f for w.
0
Let n be (-2)/4*(-24)/2. Solve -6 = -2*m, n + 10 = -5*o + 2*m for o.
-2
Let a(g) = g**3 - 2*g**2 - 2*g + 3. Let v be a(3). Solve z = 2*x - 12, -3*z = -v*z + 2*x - 20 for z.
-4
Suppose -19 + 34 = 5*b. Solve -3*y + z - 4 = 7, 3*y + b*z + 15 = 0 for y.
-4
Let j be -3*(2 - 1 - 2). Let z(l) = l**2 + 2. Suppose 0*c = -c + 4. Let o be z(c). Solve -q = -6*a + a + o, -4*q = -j*a + 4 for q.
2
Let m = -14 - -49. Solve -5*o + o = -3*n + 25, -5*n + m = -5*o for o.
-4
Suppose 0 = 3*x - x - 4. Suppose x*p = p + 4. Solve -p*g - 1 = -2*z + 5, z - 2 = 3*g for g.
1
Suppose 8 = g + 3*g. Let t(r) = r + g + 0 - 1. Let a be t(3). Solve -2*y - 30 = -a*k, -k + 3*y = -3*k - 5 for k.
5
Suppose 5*v + 4*r - 71 = 0, 3*v - 2*r - 41 = -6*r. Solve -4*c - o = c + 13, v = -3*c - 3*o for c.
-2
Suppose 0*f = -4*f - z + 4, -3*f = 5*z + 14. Suppose 3*q - 2*p - 35 = 0, 3*q - 4*p - 18 = 25. Solve 0 = 4*r + 3*x - q, -x + f + 1 = r for r.
0
Let r = 39 - 39. Solve -m + 10 = -2*c - 5*m, r = 2*c - 3*m - 25 for c.
5
Suppose 0 = -g - 3, n + 3 = -2*g - 0. Solve 0 = 3*x, 2*t + x - 11 + n = 0 for t.
4
Suppose 3*y - 37 = -28. Let h(a) be the first derivative of 2*a**3/3 - 2*a**2 + a - 2. Let r be h(4). Solve -n + 5 = y*p + r, 8 = 4*n - 2*p for n.
0
Let b(s) = 18*s**2 - 1. Let o be b(-1). Suppose 3 = 2*a - 1. Suppose a*h + t = 29, -13 - 2 = 3*t. Solve -3*l - h = l - 3*q, l = 5*q - o for l.
-2
Let d = 18 - 16. Solve 0 = d*j - 5*w + 14, 3*j + w - 4*w = -12 for j.
-2
Let q be (-3)/(-18) + 0 + (-11)/(-6). Solve r + 3*m = 16, 2*r + 2*m - 14 = -q*r for r.
1
Suppose -16 = 4*r, -b + 27 = -3*r - 0*r. Suppose -2*k + b = -3. Solve 0 = -5*w - 33 + 8, 0 = 4*o - w - k for o.
1
Let p be -2*(-12)/(-30)*(-30)/8. Solve 2*q + 11 = t - 2*q, -q - 11 = -p*t for t.
3
Let y(q) be the first derivative of -q**2/2 + 9*q + 4. Let o be y(6). Solve 9 = -5*h - 5*p - 6, 12 = -o*p for h.
1
Suppose 4*v = -0*o - o + 5, -2*v - 3*o - 5 = 0. Let l(c) = c - 9. Let h be l(2). Let q = v - h. Solve -3*x = -0*z - z - q, 2*x - 6 = 0 for z.
0
Suppose 0 = -3*z + 26 + 58. Let o = 38 + -34. Solve o*n = -0*l - 4*l - z, -l + 18 = -4*n for l.
-2
Suppose 5*u - 2*s - 8 = 4, 0 = 5*u - 5*s - 15. Suppose -2*p + 20 = 4*c, p - u*c + 12 = 3*p. Let v = 2 + p. Solve 2*k = -l - v, -2*l - 6 = 3*k - 5*l for k.
-2
Let g(l) = l - 1. Let j(p) = -3*p + 8. Let u(x) = 4*g(x) + j(x). Let q be u(0). Solve z - 10 = -2*z - 2*n, -q*n = z for z.
4
Suppose 3 = 3*a + s, a = 6*s - 2*s + 14. Solve 29 = -3*u - a*u - d, -20 = 5*d for u.
-5
Suppose -5*y + 27 = 7. Let j = 17 - 12. Let i(z) = z**3 - 4*z**2 - 3*z - 5. Let b be i(j). Solve 4*d + g = 12 - 5, -b*g + 11 = -y*d for d.
1
Let i = -17 - -19. Solve o - 2*f = 8, -i*o = -f + 4*f + 5 for o.
2
Suppose 0 = -3*u + 2*u + 5. Suppose -u*x + 56 = -x. Suppose 0 = f - c - 1, 3*f = f - 2*c + x. Solve j + y + f*y - 18 = 0, 5*y = -4*j + 27 for j.
3
Let w be (-9)/(-6)*(-4)/6. Let i be w - -1 - (-7 + 3). Solve -i*a - 3*d + 14 = 2, -5*d + 20 = 4*a for a.
0
Let u be (-3)/2 + (-33)/(-6). Solve u*x - 6 = -5*h + x, 0 = 3*x + 9 for h.
3
Let s = 11 - 8. Suppose -2*x + 4 = -g, 2*x - 3*x + 2 = -5*g. Suppose 0 = 3*y + 4*c - 8 - 9, 0 = -y - 2*c + 7. Solve -y*f + s = x*p, f - 1 = -0 for p.
0
Suppose -4*p + 2*p = -10. Suppose 13 = 2*y - 17. Solve 2*l - 4*l + y = p*m, -2*m = -6 for l.
0
Suppose -2 = 2*i, 0*h - i + 11 = 4*h. Solve -l + 5*l + 3 = h*b, 5*l = -3*b + 30 for l.
3
Suppose -65 = -5*r + 120. Solve 4*s + 4 = 2*v, -4*s - r = 5*v - 5 for s.
-3
Let u = 10 + -6. Suppose 2*h - 13 = -4*z + 1, 0 = -2*z - u*h + 10. Suppose 0*k = z*k - 12. Solve 4*j + 4 = v, -j = k*j + 2*v + 18 for j.
-2
Suppose -3*j + 6 = 4*r + 3, -4*r + 5*j = -27. Suppose -p = -f - 2, -3*p + 11 - 3 = -f. Solve 4*h + p*u - r = -35, 5*h - 5*u = -5 for h.
-5
Suppose 4*c - c = -5*a + 25, 0 = -c - 2*a + 9. Suppose -2*f = 2*o + 2, 17 = -2*f - 0*f - c*o. Solve -l - f*p = -1, 3*p + p = 3*l - 3 for l.
1
Suppose 5*t + 26 = -4*k, 7*k - 4*k + 14 = -t. Suppose -3*r + 6 = -3*a, 2*a + 12 = -r + 2. Let h = r - t. Solve -23 = -4*b - h*b + 3*o, -3*o - 11 = 2*b for b.
2
Let w = 5 - 10. Let s = 1 - w. Let y = 0 + 4. Solve -x = i + s, 8*x - 5*i + 15 = y*x for x.
-5
Let l be (-12)/(-10)*(-15)/3. Let t = -1 - l. Let y be (3 + -5)/(2/(-8)). Solve -3*v = 3*i - v + y, -i + t*v = -20 for i.
0
Let k(u) = u**3 + 2*u + 5. Let g be k(0). Suppose g = 2*d - 1. Solve 4*p - 4*x = 28, -p - x = -d + 4 for p.
3
Let j(m) = -m**3 - m**2 + 3*m - 4. Let i be 1/(14/(-6) - -2). Let b be j(i). Solve -3*z - b = -0*z - 4*g, 2 = z - 5*g for z.
-3
Suppose 2*d = 10, 3*o + 5*d - 29 = 11. Solve 0 = -z - 2, 3*n - 4*n - o*z = 14 for n.
-4
Let l = -27 - -30. Solve -5*j - 11 = 2*z + 2, -l*j = -z - 1 for z.
-4
Let o be (4/5)/((-1)/(-5)). Let m = o - -8. Let a = -6 + 9. Solve m = -3*h - 3*q, 0*h + 4*h - a*q = -23 for h.
-5
Let q be 4 + 12/42 + (-2)/7. Suppose -2*w - 20 = -6*w. Solve 2*j - 6 = 4*i, q*i = -4*j + w + 7 for j.
3
Let o be (3/2)/(1/(-6)). Let l = -6 - o. Solve 3*p = 7*p - l*f - 12, -3*p + 4*f + 9 = 0 for p.
3
Suppose c + c = 6. Let w = c + 1. Let x = 1 + 1. Solve -5*g - w*s = -19, -x = -4*g + 3*g + s for g.
3
Suppose -5*a + 17 = -3*m, -4*m = a + m - 9. Solve -4*z + 2*b - 10 = 0, -b - a = -3*z - 12 for z.
-3
Let w be -3*4*(-2)/6. Solve 0 = -4*m + w*b - 4, 2*b + 1 = m - b for m.
-2
Let r = 13 + -10. Suppose -g + 6 + r = 0. Solve 2*o + 3 = -o, -5*o = -2*m + g for m.
2
Let v(z) = z**2 - 8*z + 2. Let u be v(8). Let t be 4 - (0/u - -1). Solve -5 = -3*p + 2*i, -t*p + 5*i = -1 - 16 for p.
-1
Suppose 0 = -c + 9*c - 72. Solve 0 = 6*g - 3*g + 2*z + 15, -3*z - c = 0 for g.
-3
Let m(h) = -4*h - 1 - h**2 + 3*h - 6*h - h. Let c be m(-8). Let q(n) = 2*n**2 - n. Let a be q(c). Solve g - a*r = -3*g - 15, 2*r = g + 10 for g.
0
Suppose q = 2*a + 2*q - 81, a - 4*q = 36. Solve 0 = 3*t - 5*z + a, 3*z = 2*z + 5 for t.
-5
Let m(r) = -r**2 - 2*r + 6. Let o be m(-5). Let q be 1/((-2)/6) - o. Solve 3*h + 3*s = -0*h - 18, -2*h - q = -s for h.
-4
Let u = 27 + -24. Solve 2*k = -p - 2 + 10, -u*p + k - 4 = 0 for p.
0
Let k(b) = -b**2 - 28*b + 3. Let r be k(-28). Solve r*a - 12 = -c, -c - 3*a - 6 = -6*c for c.
3
Let d(y) = -4*y**3 + y**2 + 2*y + 1. Let q be d(-1). Suppose 4*t = 2*r + 2*r - 16, 2*r - q*t - 6 = 0. Solve 4*v + 3*i = -i + 8, r*v = 5*i - 40 for v.
-3
Let j(o) = -2 - 2 + o - 2*o. Suppose -7*s + 40 = -12*s. Let z be j(s). Solve -4*x + 28 = -4*r + 2*r, 3*r - z*x + 32 = 0 for r.
-4
Suppose 0 = -0*a - 5*a + 3*m, 0 = a + 5*m. Solve -2*o = g + o - 20, a = -g + 4*o - 15 for g.
5
Suppose v = 1 + 4. Solve 0 = -f - 5*h - 5, 0 = -3*f + 8*h - 3*h + v for f.
0
Let n(i) = -i**3 + i**2 - i + 4. Let p be n(0). Solve -4*k - z - 4*z - 15 = 0, -p*k = -2*z - 6 for k.
0
Suppose 8*l = -19 + 51. Solve l*n + 23 = -n + 2*r, -3*n = 5*r + 20 for n.
-5
Let x be ((-4)/(-10))/((-3)/(-90)). Suppose -x + 9 = -d. Solve 4*n - 5*j + 11 = 0, d*n + 8 = -4*j + 23 for n.
1
Let b(k) = k**3 - 6*k**2 + k + 2. Let n be b(6). Let x = n + -2. Let f = x - 4. Solve 0 = -4*p - 