ve -15 = 5*d - 2*d - j*l, 3*l - 15 = 2*d for d.
0
Suppose 0 = 3*v - 56 - 4. Suppose 25 = -5*h - v. Let y be 10/6 - 3/h. Solve -4*w = -0*w - 4*j + 40, -15 = 5*w + y*j for w.
-5
Suppose -4*u - 5*b - 76 = 0, -4*b - 72 = 4*u - 0*u. Let t = -10 - u. Solve 5*x - 3*y = 10, -t*y - 4 = 16 for x.
-1
Let x(f) = -f**2 - 9*f - 5. Let b be x(-8). Suppose 0 = 2*h - 8 - 14. Let j = h - b. Solve 5*o - o - s + j = 0, -3*o = 5*s + 29 for o.
-3
Let b(k) = 9*k + 1. Let h be b(2). Suppose -l = -5*g + 10, -2*g + h = 2*l + g. Solve l*r + o - 17 = 8, -4*r + 20 = 5*o for r.
5
Let a(r) = r**3 + 5*r**2 + 4*r - 1. Suppose m + 10 = -2*w, 2*w + 14 = -2*m - 0*m. Let y be a(w). Solve 3*u + 4*s - y = -2, -2*u - s + 2 = 0 for u.
1
Let j be (-59)/(-3) - 2/3. Suppose 14 = u + 4*q, -4*u + 4 = 5*q - j. Suppose -6 = 3*t - 5*b + u, -5*b + 24 = t. Solve a + t = -v + 2, v = -5*a - 22 for a.
-5
Let s(i) = 2*i**2 + 1. Suppose 3 + 0 = -3*f. Let v be s(f). Suppose v = 2*u - u. Solve 0 = a + 3*h - 0*h + 1, 5*a = -u*h + 19 for a.
5
Suppose 0 = m + 3*m - 32. Suppose m = 2*f + 2*f. Let y be (1/f)/((-4)/(-8)). Solve 11 - y = -3*h - 4*t, -2*h = -4*t for h.
-2
Suppose 2*y - 6 = -5*f + 7*f, 0 = -y + 2*f. Solve -4*u = 12, 3*r - 2*u + y = u for r.
-5
Let l(d) = d**2 + 2*d + 2. Let m be l(-2). Solve z + 19 = 4*p, -m*z = z + 4*p - 23 for z.
1
Suppose i + 10 = 3*i. Suppose 0 = 4*s + f + 24 + 13, -20 = 2*s + 2*f. Let h be (s/3)/(-3) - -3. Solve -3*j + h*j = 4*x - 5, -i*x - 4*j - 20 = 0 for x.
0
Let t = 12 + -8. Let k = t + 2. Solve -2*b - k = 2*d, -b - 4 = -d - 1 for b.
-3
Let h be (-3)/(-2) - 18/12. Solve -3*z + h*x + 18 = 3*x, -5*z - 2*x = -15 for z.
1
Suppose 2*v = -5*k - v + 22, 0 = k - 4*v - 9. Suppose -k*j + 2*j = -63. Solve 0 = 7*z - 2*z + 4*b - 25, 4*b = -z + j for z.
1
Suppose 16 = 13*q - 11*q. Let s = 5 + 0. Solve -5*z + q = -s*v - z, -2*v - 4*z + 8 = 0 for v.
0
Suppose -2*c = 3*c. Suppose c = 2*w + 2*w - 12, 0 = v - w. Solve v*d + 2*z + 13 = 0, -z - 10 = 5*d - 0*z for d.
-1
Suppose 1 = m - 1. Let a(w) = w + 14. Let z be a(-6). Suppose -p - m*b + z = 0, 0 = -5*p + 4*b - 1 - 1. Solve -t = p*y + 2*y + 12, t + 5*y + 15 = 0 for t.
0
Let p be 3/((-6)/(-7)) + 35/(-70). Solve -p - 1 = 2*q - 3*g, -q + 20 = 4*g for q.
4
Let g be (-3)/(-1)*(1 + -2). Let b(t) = 4 + t**2 + t - 3*t**2 - t**3 + t + 2*t. Let c be b(g). Solve 3*i - 3*o + 21 = 0, -5*o = 2*i + 2*i + c for i.
-4
Suppose 0 = l - 4*j + 12, -5*j + 3*j = -2*l - 12. Let h = 6 + l. Solve -b - h*b - 7 = -5*x, 2*b - x = 0 for b.
1
Suppose -10*l + 13*l = 0. Suppose l = -8*a + 3*a + 15. Solve 2*c + 3*y - a = 3, 0 = -5*y for c.
3
Suppose -5*b + 10 = -3*b, 5*h + 2*b - 35 = 0. Solve 3*i = h*r - 11, 4*r = 9 + 7 for i.
3
Let d be (1*(-3)/9)/((-7)/189). Solve 0*p = 4*p, -2*p - d = 3*b for b.
-3
Let v = 4 + 0. Let z be v/(-10) - (-68)/20. Solve 0*m = z*y + 4*m + 13, -10 = 3*y + m for y.
-3
Let b = -5 + 7. Let a be 63/14 - (-1)/b. Solve 1 = -3*t + a*y, -2*y = -4*t + 3 + 5 for t.
3
Suppose 2*r - 4*r = 0. Suppose -3*f - c - 2*c + 24 = r, 3 = 3*f - 4*c. Solve -f*y - 10 = -3*w, -3*w + 1 = 2*y + 5 for w.
0
Let t = -539 + 542. Suppose 0*k - 4 = -k. Solve -f - 2 = -3*c, -t*f + 14 + k = 3*c for c.
2
Let q = 53 + -48. Solve 0 = -4*z - 8, -4 = -q*l + 3*z + 17 for l.
3
Suppose 2*t = -2*t. Let a = 2 - t. Solve 2 = -a*h + 5*o, 0*h = 4*h + o + 4 for h.
-1
Let v(h) = 15*h**3 + h**2. Let f be v(1). Suppose -2*c + 4*b = 2*c - 4, 4*b - 28 = -4*c. Solve 0 = c*k + 2*i + f, 2 = -2*k - 0*k + 2*i for k.
-3
Let j be 0 - (-1)/2*2. Solve 5*m - 4*s = 3 + j, 0 = 5*m + s - 24 for m.
4
Let n = 4 + -1. Let a = n - 1. Solve -a*l = c + 3*l - 6, -7 = -2*c - 5*l for c.
1
Let n = -17 - -12. Suppose 12*l - 9 = 13*l. Let j = n - l. Solve 5*d = 5*y + 10, 0 = 5*d - 2*y - y - j for d.
-1
Let v = 7 + -3. Let h = 36 - v. Let n = h - 22. Solve z + 2*l = -n, -l + 11 = -5*z + 2*l for z.
-4
Suppose -15 = -4*m - m. Suppose 6*g = 2*g + m*p + 26, 5*p = -10. Solve 16 = -3*u + 4*c, -u + 0*u + 1 = g*c for u.
-4
Let w be (-18)/(-63) + (-19)/(-7). Solve 3*g + 5 = 2*i, 2*i - 6 = g - w for i.
1
Let p be (0 + 3)/((-6)/(-4)). Solve m + 17 = -2*u - p*u, 28 = -5*u + m for u.
-5
Suppose 120 = -0*x + 2*x. Suppose -3*u + x + 60 = 0. Suppose -2*o - 16 = -2*s, -5*s = -0*s + 2*o - u. Solve 3*b = 2*j - 16, s = -b + 4*j - 14 for b.
-2
Suppose 2*s - 11 = b, 2*s - 31 = 8*b - 3*b. Suppose 0 = -0*m + s*m - 6. Solve -4*t = -m*h - 4 - 2, 2*t + 2*h = -12 for t.
-1
Suppose -2*x = -x - 5. Solve -5*k = w - 17, 2*k + x*w + 0*w = -7 for k.
4
Suppose 5*y = 2*y + 15. Suppose 6*r - r = 4*n - 3, y*r - 11 = -3*n. Solve m - 2*g = 4, 7*g + 28 = -2*m + n*g for m.
-4
Suppose 0*h + 4*a + 2 = 2*h, 0 = 3*h + a + 4. Let l be -9*h/(-3)*-1. Suppose -3*x + 21 = -0*x. Solve -x*t + 3*t + o = -10, o = l*t - 7 for t.
3
Suppose 0 = 5*f - 6*f. Solve 0 = -3*w - f + 9, -4*u - 3*w = -29 for u.
5
Let l(f) = f**3 + 9*f**2 + 7*f - 3. Let c be l(-8). Solve c*a = 5*t, -a - 3*a - 3*t = 28 for a.
-4
Suppose 4*g + g = -5*y - 10, 0 = -4*y - 20. Solve -p = -v + g, -v = -0 + 2 for p.
-5
Let n(g) = 4 - 5*g + 2 + 5*g**2 + 2*g**3 - 1 - 3*g**3. Let c be n(4). Solve -r - r = -4*z + 6, 0 = 2*r + 3*z - c for r.
-1
Suppose -2*h + 1 + 3 = 0. Suppose h*s + 3*s - 10 = 0. Solve -22 = -5*j - d - 6, s*j = -2*d for j.
4
Let s be 0/((-3)/(-1))*(-5)/10. Solve s = r + m + m - 2, 2*r = -5*m + 7 for r.
-4
Let l be 14/4 - 3/6. Suppose 5*s - 18 + 2 = -3*p, -2*p = -l*s + 2. Suppose -2*h = p*h - 20. Solve -4 - 3 = -x + z, -2*x = h*z for x.
5
Suppose 32 = 2*t + 4*z, 2*t - 20 = -2*z + 2. Solve 5*s - 27 = -t*p + 4*p, 0 = -5*p - 5*s + 30 for p.
1
Let r be -3 + 12*6/9. Solve -3*s = -5*u - 23, -r*s - 2*u - 3 = -0 for s.
1
Suppose 6*l = 85 - 19. Solve 0 = -2*i - 4, f + 2*i = -i - l for f.
-5
Suppose 4*m = m - 12, -5*m - 16 = -2*s. Let n be 1/s*2*-2. Solve -3*u + 3*d - 31 = u, n*d - 14 = u for u.
-4
Suppose -12 = 2*z + 4*v, v + 17 = -0*z + 3*z. Solve -3*t - 1 = 2*u, -z*t - 7 = -u - 3*t for u.
4
Let z be (-15)/(-4) - (-2)/8. Let u be -1 - -13*(5 + -3). Solve 0 = x + 2*w - 6, z*w = x - 7 + u for x.
-2
Let g(r) = -r - 1. Let q(o) = 10*o + 7. Let b(j) = -6*g(j) - q(j). Let h be b(-4). Solve -4*y - 20 = -4*p, 2*p + 3*y + h = -p for p.
0
Suppose -g + 4*g - 135 = 0. Let h = g + -25. Solve -5*i + r + h = 0, 4*i - 5*r = 5*i - 30 for i.
5
Let k be (-3)/2*2/(-3). Let x be (-20)/(k/(4/(-8))). Solve -2*b - 2 = -2*n - x, -2*n = 5*b + 1 for b.
1
Let i = 12 - 8. Let a = -3 + i. Let x = a + -1. Solve 2*v = 5*h, x = 2*h - 3*h + 5*v for h.
0
Let n(j) be the first derivative of -j**4/4 - 2*j**3/3 + 3*j**2/2 + 3*j - 2. Let k be n(-3). Solve 3*x + 2*i + 9 = 3, 0 = k*i for x.
-2
Suppose -5*g + 6 = 4*d - 16, -4*d + 5*g = -2. Solve 0 = -w - t - 2, 5*w + d*t + 6 = -0*w for w.
0
Let s = 147 + -142. Solve s*j = 2*c + 3 - 2, 3*c + 5*j = 11 for c.
2
Let s = 8 - 3. Solve c + 3*x + s = 0, -5*c + 4*x - 2 = 4 for c.
-2
Let j(c) = 3*c**2 - 3*c + 2. Let v be j(1). Solve 5*b = 3*x + 15, 0 = -b - x - v*x + 3 for b.
3
Suppose y = 4*l - 14, -4*y + l + 5 = 1. Let k = y - 0. Let h be 1/((-45)/(-20) - 2). Solve w - 25 = 5*b, -k*b + 0*b = -h*w + 28 for w.
5
Let q be -1*(-4)/((-12)/9). Let v = q + 3. Let b = 1 - 1. Solve 5*l + 2*a - 9 = b, 5*l + v*l - 3 = a for l.
1
Suppose -4*a = 20, 4*a + 15 + 5 = d. Suppose d*n + 5*n - 40 = 0. Solve 8 = -3*b + 4*f, -3*b = 2*b + 4*f - n for b.
0
Let q = 0 - 0. Suppose q = 2*h + 5*y - 31, h - 3*y + 7 = -y. Solve 3*z = j + 7, -h*j + 0*z - 10 = 2*z for j.
-4
Let j(a) = 4*a**3 - 3*a**2 + 2*a + 1. Let r be j(1). Solve 0*d = r*d + 5*t - 15, 0 = -3*t - 3 for d.
5
Suppose j + 0*j = 5*n - 2, 4*n + 32 = -2*j. Let w be 2*-1 - j/3. Suppose -w*a + 4 = -a. Solve a*d - 4 = 3*k - 19, -5*d - 13 = 2*k for k.
1
Let j = 2 + -2. Let i = 4 + j. Suppose -z + i = -0*z. Solve 2*d + 2*p = -14, 0 = -d + 4*d - 2*p - z for d.
-2
Let i(f) be the first derivative of -f**4/4 + 2*f**3 + 4*f**2 - 5*f + 2. Let y be i(7). Solve -u = 5*n + 19, 5*n - 2 = -y*u - 20 for n.
-4
Let i(g) = -g**3. Let l be i(-2). Suppose -2*r + 3*r + f = l, -4*r + 17 = f. Solve -4*k = -8, 16 = -r*j + 3*k - k for j.
-4
Suppose 0*p - p + 2 = 0. Let k(a) = -4*a**2 - p + 6*a**2 - 3*a**2 + 3*a. Let t be k(2). Solve t*v - 4*q = 4*v + 20, -3*v = -5*q - 17 for v.
-1
Let g(f) = f + 19. Let v be g(-14). Solve -5*u + 5*i + 45 = 0, v*u - i - 11 = 18 for u.
5
Suppose -3*j + 6 = 15. Let