4*p = 5*d - r for d.
1
Let t = -5 + 8. Suppose 4*r + 7 = t*u, 2*u - 4 = r + 4. Suppose -u*j + 80 = -j. Solve -7*l - m = -3*l - j, 0 = m for l.
5
Suppose -2*v + 8 = 3*s, -2*s = 5*v - 9 - 0. Let a be v/(2/(-16)*-2). Solve -a*g = -g, 8 = -4*o + 5*g for o.
-2
Let g be (4 + -2 - 3) + 8. Suppose 5*j = g + 3. Let z = j + -2. Solve 4*m - 1 = s - 5, z = 5*m + 5 for s.
0
Let p be (-2 + -1)/((-3)/4). Let a be (4/(-6))/((-4)/18). Let z = p + a. Solve -w = s - 0*s - z, -s - 3 = -w for w.
5
Let h = 3 + 7. Let s = -5 + h. Solve -4 = n - 4*p, 6 = -5*n + s*p + 1 for n.
0
Let b(g) = -g + 3. Let o be b(3). Solve -2*f = -2*w - 6, -3*f = -o*w + 5*w - 9 for f.
3
Let l(c) be the second derivative of -c**3/6 + 2*c**2 + c. Let p be l(5). Let o be 0/2*p/2. Solve o = -5*a + 4*w + 33, 3*a - 8*a - w = -23 for a.
5
Let n(b) = 2*b**2 + 2*b - 1. Let i be n(1). Suppose -60 - 56 = -29*y. Solve 5*u + 13 = -i*f, u - 21 = -y*f + 2*u for f.
4
Let f = 97 + -95. Solve 0 = 2*t - f*r - 8, 2*t + 3*r - 4*r - 3 = 0 for t.
-1
Suppose 3*q - 2*q = 4. Solve 2*t + 16 = -q*n + 7*n, -t = -5*n + 22 for n.
4
Suppose 3*j - 4 = 2*j. Solve -j*f + 14 = -f - 4*b, 4*f + 4*b = 0 for f.
2
Let s = 0 + -1. Let d be (1 + 3)*s/1. Let c be 39/12 + (-3)/d. Solve 0 = -5*w + 2*n - 6, w = c*n - 3 - 9 for w.
0
Let a(o) = -o + 7. Suppose 2*h - 5*h + 12 = 0. Let q be a(h). Solve 0 = -4*n - 3*l + 19, -26 = -2*n - q*l - 9 for n.
1
Let g(v) = 2*v - 1. Let i be g(1). Suppose 4*w + 4*q = 12, -i = 2*q - q. Solve 2*z - 3*c + 10 = -0*c, -w*c + 16 = 0 for z.
1
Let n(i) = 33*i**2 + 2*i + 1. Let x be n(-1). Suppose -4*w + x = -16. Solve -3*q + w = 2*h - 0, -4*h = 5*q - 22 for q.
2
Let s = -20 - -22. Solve 4*d + i = 3*i + 14, 3*d - 13 = s*i for d.
1
Let n(j) = 3*j + 10. Let h be n(-8). Let d = -9 - h. Let z(p) = p**3 - 2*p**2 + 2*p - 1. Let i be z(2). Solve -4*u - 7 = f, i*u - d = 2*f - 2 for u.
-1
Suppose 0 = -5*b + 25, 11 + 16 = -4*m - b. Let t = m + 13. Solve 5*n = t, 0*r - n - 2 = r for r.
-3
Suppose -p = 2*p - 9. Suppose -p*u - u = 5*x - 18, 5*u + 45 = 5*x. Let n be (2/(-3))/((-2)/x). Solve i + v = -1 - n, 14 = 2*i - 3*v for i.
1
Suppose -x = -0 - 18. Suppose 2*m + 4 = 0, m - x = -2*v - 3*v. Solve u + 6 = -v*w - 6, 3*w = -2*u - 9 for u.
0
Suppose 9 = y - n, -5*y + 2*n - 3*n = -63. Suppose h = 4*h - y. Solve -2*u - 5 = 4*o + 1, 5*u = h*o + 41 for o.
-4
Let x = 10 + -7. Let y be (x/2)/((-3)/(-6)). Suppose o = -0 + y. Solve 5*d + t = 1, d - 4*d = -o*t + 3 for d.
0
Suppose -5*u - 27 = -h, -5*u - 33 = -0*h - 4*h. Solve 2*m - 2*z = 5*m + h, m - 14 = 3*z for m.
2
Suppose -5*c = 4*t + t - 45, 0 = -5*c - t + 53. Solve 0 = b + 2*x + 14, x = -b + 5*b + c for b.
-4
Let u = -68 + 44. Let l = -22 - u. Solve c = h + 6*c + 22, -l*c - 19 = -3*h for h.
3
Suppose -3*l + 23 = -0*l - 2*w, 5*w = -l - 15. Suppose -6 = -3*u + u. Let s = -7 - -12. Solve s*b = 5*t + 20, -3*b + 9 = -l*t - u for b.
4
Suppose -24 = -w + 4*u, u - 4*u - 15 = 0. Solve 0 = -w*i + 5*h - 13, 4*i + 3*h + 6 - 1 = 0 for i.
-2
Let p be ((-2)/3)/((-8)/36). Solve -p*c = -5*v - 15, 0*v - 2*v = 4*c + 6 for c.
0
Let r = -27 + 11. Let i = r + 7. Let d = i + 18. Solve d = 3*p, 3*p + 3 + 3 = -3*f for f.
-5
Let q(l) = -7*l + 3. Let g(i) = i**2 + 6*i - 10. Let t be g(-7). Let h be q(t). Solve 4*a + w + 18 = 1, -3*a + 3*w - h = 0 for a.
-5
Let a(x) = 6*x - 1. Let f be a(1). Suppose f*j = -5*w + 25 + 5, 0 = -w + j - 2. Solve 13 = -2*l + 5*h - 2*h, -w*h - 3 = l for l.
-5
Let r(m) = -3*m + 3. Let y be r(2). Let d(l) = -3*l - 4. Let t be d(y). Solve -4*j = 5*i - 11, 3*j + t*i - 11 + 4 = 0 for j.
4
Suppose -3*t - 3*u = -24, 3*t + 22 = 8*t - u. Suppose 0*l + t = l. Solve -2*o + b = 5, 2*o + l = -o + b for o.
0
Suppose -6*c + 29 = -c - 4*t, 5*t - 5 = -2*c. Let j = 9 - c. Suppose 0*p - 2*p = -4. Solve -p*n + 9 = 3*f + n, -4*n = -4*f - j for f.
1
Suppose w = -3 - 3. Let x be (-12)/w*(-10)/(-4). Solve 29 = x*z - 3*d, 3 + 6 = -3*d for z.
4
Let a(r) = r**3 - 10*r**2 + r + 2. Let n be a(10). Let s = -9 + 14. Solve -5*w + 20 = 0, -2*i + s*i = 3*w - n for i.
0
Let b be (-10)/(40/(-3)) + 13/4. Solve 0 = 4*f - 4*z, -f + 12 = 3*z + b for f.
2
Suppose 2*t + 72 = -2*t. Let a = -13 - t. Solve 2*w - 5 - 5 = -2*i, -13 = w - a*i for w.
2
Let p be (1 + 0)/((-3)/(-12)). Suppose p*h + 1 - 13 = 0. Let x be 28 + -1 + (-38)/19. Solve 8*t - r = h*t + x, -5 = -t + 5*r for t.
5
Suppose 0 = -5*a + 69 - 24. Let k(y) = y**3 - 12*y**2 + 10*y + 15. Let z be k(11). Solve r - z*b = -b - 5, -a = -r - 4*b for r.
1
Suppose -4*q = q. Let o = q - -3. Solve 3*t = -3*p, 0*p = -o*t + 5*p - 40 for t.
-5
Let c = 6 - 4. Let o be ((-1)/(-2))/((-1)/(-2)). Let m = -18 - -23. Solve -3*r - 3*v = 3, m*r = -c*v - o + 8 for r.
3
Suppose 0 = -7*w + 4*w - 2*a + 87, 0 = -4*w + 2*a + 102. Solve -5*h - j = -w, -4*h + j + 0*j = -18 for h.
5
Suppose a - 5*i - 23 = 2*a, 20 = -4*i. Suppose 5*m + 3 = -22. Let o = 10 + m. Solve a*r + v = 8, -4*v = -3*r - 9*v + o for r.
5
Suppose 206 + 126 = -c. Let m be c/(-20) + (-2)/(-5). Solve i + 4*k + m = -4*i, 2*i - k = 1 for i.
-1
Suppose t + 7 = 3*t + g, t + 2*g = 5. Suppose 0 = -5*f - 2 + 12. Solve -t*h + 6 = -f*n, -5*h + 2 = -5*n - 13 for n.
-3
Let t be -4 - (-8)/12*9. Solve p - 4 = 3*m, -2*m = -6*m - t*p + 8 for m.
0
Suppose -5 = 4*r + 11. Let q(j) = 3*j**3 - 6*j + 2*j**3 - 3 + 3*j**2 - 4*j**3. Let w be q(r). Solve 4*k + w = 3*o, 2*k + 0*k = -4*o - 30 for k.
-5
Let o(r) = -3*r - 27. Let d be o(-10). Solve 0 = -0*g + d*g - 4*z - 28, -2*g + 16 = -2*z for g.
4
Suppose -2*y + 2 = -8. Suppose 5*r + y = 5*m, 4*m - 6 - 14 = -4*r. Suppose -2*h + 16 + 8 = r*b, 4*h = -b + 39. Solve 2*d + p = h + 6, -2*d - 2*p + 20 = 0 for d.
5
Suppose 0 = -6*b + 8*b + 14. Let f = 9 + b. Suppose -6*k + 4 = -4*k + 4*o, 0 = 2*k + 5*o - 5. Solve -f*q - 2 = -4*i, -2*q + 3*i = -k*i for q.
3
Let u(b) = b**2 - 4*b - 7. Let p be u(6). Let j be 99 + (8/1 - 3). Suppose -p*q + j = -16. Solve 2*z = 3*z - 2*d - 3, 4*z + 4*d = -q for z.
-3
Suppose 33 = 5*v - 4*q, -3*v + 2*q + 29 = 2*v. Let l = 14 + 10. Suppose -3*r + l = 4*k, -16 = -r - 3*k - k. Solve -3*u = -v*u - r*s + 20, -3*s = u - 13 for u.
4
Let j(s) = s**2 - 5*s + 7. Let q be j(5). Suppose 4*w - q = 13. Solve 10 = 5*x - w*u, -7*u + 3*u - 8 = 5*x for x.
0
Let x be ((-2)/(-6))/(2/6). Let z be (x/2)/((-6)/312). Let d = 36 + z. Solve -v = -2*v - 3*u + d, -3*v = 3*u for v.
-5
Let i be (-1)/(3*4/(-24)). Solve -i = 3*b - y, b = 4*y + y - 24 for b.
1
Let h = -47 + 57. Solve -5*o - 1 = -2*m, 0 - h = 5*o - 5*m for o.
1
Let o be ((-3 - 9)/(-4))/1. Solve -y - 1 = -4, 19 = -2*l + o*y for l.
-5
Let t be (-1 + (-12)/(-8))/(2/12). Solve -4 = -4*p + 4*l, -t*p - 3*l = -22 + 1 for p.
4
Suppose -55*c + 40 = -47*c. Solve 0*a - c*a - 5*i + 40 = 0, 0 = -a - 4*i + 17 for a.
5
Let u be -2 + (-2 - -3) - -3. Suppose -4*c = a - 15, -u*c + 5*c = 9. Let d(j) = j. Let w be d(a). Solve -w*f - 7 + 2 = -g, f = g + 1 for g.
-4
Suppose r - 1 - 7 = 0. Suppose x = 2*q - 5, -5*q - 5*x = -r - 27. Solve 0 = -3*t + 5*d - 11, -5*t + q*d = -4 + 5 for t.
3
Let w = 16 + -13. Solve -3*o - 12 = -4*y, 4*y + 4 = w*y - o for y.
0
Let o be 1292/(-102)*6/(-4). Solve 0 = 3*x + 2*a + o, 2*x - a = -0*x - 8 for x.
-5
Let z = 14 + -6. Suppose -2*i = d + i - z, 0 = -4*d + 4*i. Solve -y - 2 = -5*b, -y - d*b - 2 = -b for y.
-2
Let l = 9 + -9. Suppose l = 5*b - 2*b - 48. Solve 4*u + 6*d - 2*d = -b, -5*u + d + 4 = 0 for u.
0
Suppose t + 11 + 12 = 0. Let l = 38 + t. Let n = l + -10. Solve -n*s + 0*s - 30 = m, m + 5 = 0 for s.
-5
Suppose 0*c - 66 = -3*f + 2*c, 4*f = 2*c + 88. Suppose 3*w + f = 2*d, 0 = w - 2*d + 2. Let z = w - -10. Solve 3*k + b - 2 + z = 0, -k = b for k.
1
Let d be (-4)/((-3)/(-1 + 4)). Suppose d*q - 4 = 4*p + 4, -21 = -2*p - 3*q. Solve -p*w = 5*f - 2 + 15, 3*f + 3*w = -9 for f.
-2
Let z(f) = -6*f. Let a be z(-3). Let l(u) = u - 9. Let h be l(11). Solve -h*w + a = 2*w - 3*n, -n = 4*w - 10 for w.
3
Let a be 14/4*(-1 - -3). Let c = -20 + a. Let y be (-2)/c - 6/39. Solve 5*k + h - 20 = y, -12 = 2*k - 5*k - 3*h for k.
4
Let l = 6 + -3. Let s = l - 0. Let x = s + -3. Solve 8 = -3*n - x*n - 4*p, -2*p + 10 = 5*n for n.
4
Let r(w) = -w + 7. Let p be (-6 - (0 + -2))*20. Let x be (-1)/3 - p/15. Let f be r(x). Solve -4*z + 14 = s, 4*s + z = -f*z + 4 for s.
-2
Let z = 16 + -5. Suppose 2*n + 12 = 5*b - n, 0 = 2*b + 5*n - z. Suppose 2*g = 3*k - 6, b*g 