x - 6, -2*a - 1 = -x - b for x.
-3
Suppose -m = -5 + 1. Suppose -2*a + 5*h + 3 = 0, m*a + 0*a - 76 = -4*h. Solve -l + a = 5*p, 0 = -p + 6*p - 2*l - 2 for p.
2
Let i be (0/(1 + 3))/2. Suppose i = -2*z + 1 + 5. Solve 5*u = 4*r + 3 + z, -5*r - u + 7 = 0 for r.
1
Let c(t) = 5*t**2 + 3*t - 4. Let r be c(1). Solve -x - 3*a - 2 = -0, -r*x + 12 = 2*a for x.
4
Let r(k) = k**2 + k. Let i be r(1). Let c be (6 + 0)/(-3) - -5. Suppose i*n - 5 = -2*u + n, 3*u - 3 = c*n. Solve 3*w - 3*p = 0, -u*w - 4*p + 1 = -5 for w.
1
Let s be (-6)/(-9) + 11/(-3). Let v = 7 + s. Suppose -v*u = -0*u - 36. Solve 4*f = -3*d + 11, 3*d + 4*f - u = f for d.
1
Let r(w) = w**3 + w**2 + 2*w. Let b be r(3). Let y be 408/b - 2/(-7). Solve 2*u - 28 = -5*j, 5*j - 2 = 2*u + y for j.
4
Suppose 6*k = 2*k + 76. Solve -2*l + k = -3*l - 3*s, 0 = -2*l - 3*s - 23 for l.
-4
Suppose -45 = 5*u - 60. Solve 5*w = -15, -2*i + w = i - u for i.
0
Suppose 2*v = -2*v + 64. Suppose -5*j + 5 = -2*q - 3*q, 4*j = v. Solve 0 = -q*g + 3*p + 18, p - 6 = -4*g - p for g.
3
Let k be (-1)/(2/(-3))*10. Let g(r) = -r**2 + 3*r. Let z be g(2). Solve 4*l - 3*w = l, z*l + 3*w = k for l.
3
Let p = 13 + -11. Solve 4*d - 22 = -5*g, 19 + 0 = 5*d + p*g for d.
3
Let m be 95/(-38)*8/(-10). Solve -2*t - 2*k = 10, -m*k - 11 = t - 1 for t.
0
Let y be (-248)/(-14) + 2/7. Solve -2*z - 8*h - y = -4*h, 5*h = -4*z - 30 for z.
-5
Let p be -4 - (-7)/((-21)/(-18)). Suppose -d - d = -24. Suppose 3*n - 2*s = 7, -2*n + 10 = s + 3*s. Solve g = p*g + 4*h - 23, g + d = n*h for g.
3
Let b(s) = 5 + 8*s - s**3 - 8*s**3 - 7*s**2 + 8*s**3. Let i be b(-8). Solve 4*f + 0 = -4*x + 12, 5*x = i*f + 15 for x.
3
Let l = -4 + 8. Solve -q = 0, -l*q + 12 = 4*a - 0 for a.
3
Let q = 32 - 30. Solve 3*z + 5*b + 7 = 0, z - q*b + 6 = -0*z for z.
-4
Let z = 49 - 45. Let v be 42/9 + (-1)/(-3). Solve -z*h = -v*h - 4*f + 8, -2*h + 4*f = 20 for h.
-4
Let o = -4 + 4. Suppose o*h - 2 = -h. Solve -h*l + 1 = -k - 0, -3*l = -3 for k.
1
Let y be (-3)/(-2 + -1)*3. Solve -2*r + 6 = -y*d - 0*r, -2*r = 6 for d.
-4
Suppose -3*q + 15 = 2*q. Suppose 1 = -t + q. Suppose 0 = 3*x - 5*h - 25, 0 = 4*x + h + 2*h - 14. Solve 2*i - 5*y = -6, 16 = x*i - t*i + 5*y for i.
2
Let t(r) be the first derivative of -r**4/4 - 7*r**3/3 - 7*r**2/2 - 4*r + 3. Let s be t(-6). Solve p = 5*o + 6, -2*p - 5*o - 5 = -s for p.
1
Suppose 0 = d - 0*d + 7. Let y be (-1*5)/((-1)/(-1)). Let g = y - d. Solve 6*c - c + 25 = 4*o, -g*c = -2*o + 10 for c.
-5
Let g be 30/((-6)/(-2))*-1. Let r be (-8)/g*20/8. Solve -z - r*f = z - 10, 0 = -3*z + 4*f - 6 for z.
2
Let j(p) = p**3 - 4*p**2 - 3*p - 1. Let x be j(5). Solve -1 = -4*b - 4*v - x, 0 = -3*v - 6 for b.
0
Suppose 0 = -2*j + 2, j - 2*j - 15 = 4*u. Let z = 4 + u. Solve z = g - 5, -n + 2*g - 5 = 6 for n.
-1
Suppose -g - 4 = -2*k, -g = 2*k - 6*k + 12. Let z = g - 0. Let r(c) = -2*c + 1. Let b be r(-1). Solve b*i + 2*d = z, d - 15 = -5*i + 6*d for i.
2
Suppose 4*n - 35 = 4*p + 1, -n - 1 = p. Solve 5*v - 2 - 3 = 0, n*v + 6 = 5*l for l.
2
Let y = 13 - 4. Solve -y = 3*c + k - 1, -2*c - 7 = -k for c.
-3
Let a be 1 + (4 - (-4 + 4)). Solve 1 = -2*h - 5*w + a, h - 2 = -2*w for h.
2
Let m(z) = z**2 - 4*z + 4. Let f be m(0). Solve 4*j + 0 = -2*s + 8, f*j - 16 = -4*s for s.
4
Let n be 11 + -2 + 1 + 3. Solve -5*y = -0*y - 2*i - 3, 5*y + 2*i = -n for y.
-1
Suppose 0 - 6 = -w. Solve -n - w = -3*l - l, -5*n = 5*l + 5 for n.
-2
Let m = 32 - 22. Let g be (-3)/(2/(m/(-3))). Solve -j = 5*h + j + 13, -2*h - g = j for h.
-3
Suppose -4*a + d = 6*d + 7, -a = d + 1. Suppose -3*b + 5*k + 37 + 14 = 0, 2*k = -a*b + 50. Solve -2*m - 2*m = -3*l + 18, -4*m = -5*l + b for l.
2
Let d = -12 - -8. Let j = d + 8. Solve 5 = 5*t, j*t - 3*t = p - 4 for p.
5
Suppose -3*u + 5*k - 19 = 0, -4*u - 2*k = k - 23. Solve f = -2*f + 5*o + 11, 3*o - 1 = -u*f for f.
2
Suppose -8*l - 5 = -37. Solve 2*o - l*z + 12 = o, -2*z = -5*o - 6 for o.
0
Let y(u) be the first derivative of u**4/4 + 2*u**3 + 5*u**2/2 + 5*u + 1. Let n be y(-5). Solve -5*v + n*c = -0*v + 45, 4*c = -5*v - 9 for v.
-5
Let r = -132 + 132. Solve 5*l - m - 26 = r, -3*l + 8 = -3*m - 10 for l.
5
Let q be 5/((-10)/(-4)) + 3. Suppose -12 = -q*x + 2*x. Solve 8 = d - 5*y, 0*d + 3*y = x*d + 2 for d.
-2
Suppose -17*n = -n. Solve 2*m + 4*v + 20 = n, 4*v = 4*m - 17 - 3 for m.
0
Let k = -6 + 4. Let t be k + (-2)/(-2)*7. Solve -4*c = 2*j - 2, 4*j - 6*j + 5 = t*c for c.
3
Let x(q) = -3*q - 4. Let d be x(-3). Suppose 0 = 6*r - d*r - 35. Solve 0*g - 4*n + 35 = 3*g, 0 = 4*g + 3*n - r for g.
5
Suppose -2*p = 3*p + 15. Let s be (-5)/((-5)/3) + p. Suppose s = 3*z + 2*z - 25. Solve -5*v = 5*y + 5, -v + z*v + 16 = -y for y.
4
Let h be (7 - -1)*3 - 3. Let n = h - 18. Solve 0 = 2*v + n*b - 6*b, 0 = 3*b for v.
0
Let h be ((-1)/(-2))/(1/4). Let p = 2 - h. Solve 0 = 3*x - 4*l - 15, -3*x - 4*l + 7*l + 12 = p for x.
1
Suppose -2*d = 2, 4*a = 3*d + d + 12. Suppose 4*x + 16 = 0, 4*x + 2 = -4*r - a. Solve 2*v = 5*i - 9, v = i - 0*i - r for v.
-2
Let j be 0 - (-3)/(-6)*-2. Let i be 0/2 + (j - 0). Let u be (i + -1)/(2 + 0). Solve 18 = -5*b - u*b - 4*a, 14 = -3*b - 4*a for b.
-2
Suppose 8 = 4*w - 0*w. Solve r + 5*m = 17, 0 = w*m - 6 - 0 for r.
2
Let l = 7 + -4. Suppose 3*j + 8 = 4*s, s - l*j = -s + 4. Solve -4*h = -5*v + 24, 2*h - s*v = 1 - 11 for h.
-1
Suppose -z = -16 + 13. Solve -2*c = z*f + 17, 2*c - f = -6*f - 23 for c.
-4
Let w(h) = -79*h**3 - 1. Let n be w(1). Let t be n/(-45) - (-2)/9. Solve -5*u - 18 = s, t*u = s - u - 14 for s.
2
Let m be (-3)/(6/4) - 9. Let q(b) = -b**2 - 13*b - 16. Let l be q(m). Solve -3*k + 3*n = -l, -3*k + 9 = -4*n + 1 for k.
0
Let l be 4/8 + 1/(-2). Suppose 0 = 2*x - s - 46, l*x - 5*s = -3*x + 62. Suppose 4*u = -2*q + 20, 5*u = -q + x + 4. Solve -n - 3 = -2*p, u = n - 3*n + p for n.
-3
Let o = -108 + 110. Solve 4*d + 4*p = -24, -5*p + 2 = -o*d + 25 for d.
-1
Let o = 21 - 16. Solve 1 + 4 = -d - q, -o*q - 10 = 2*d for d.
-5
Let u(a) = a**2 - 2*a + 13. Let k be u(0). Solve -k + 1 = 3*c, -5*s - 2*c = 8 for s.
0
Let g = 14 - 9. Solve 2*h + g*r - 3*r = -18, h = 3*r + 7 for h.
-5
Suppose -4*x - 40 = -5*t + x, -4*x = 0. Suppose y + 2*y = 6. Solve 2*g = 4*w + 6*g - t, -y*w = -5*g + 3 for w.
1
Suppose 0*w + 2*w = 56. Suppose 0*a + w = 4*l - 4*a, 17 = -l - 5*a. Suppose -14 - 1 = -l*p + 4*b, p - 5 = b. Solve 3*c - 8*c = -p*v - 5, -4*v - 4 = -2*c for c.
0
Let o = 30 + -5. Solve 5*f - 28 = 3*m - 3, -o = 4*m - 5*f for m.
0
Suppose 3*r - 2 = r. Let p be r/4 + (-11)/(-4). Solve -p*w = -s - 4, 7*s - 29 = 3*s - 3*w for s.
5
Let r be (-9)/12*(-32)/6. Solve -t - 4*t - r*h - 17 = 0, -4*h = 4*t + 16 for t.
-1
Let j be (-15)/4 - (-1)/(-4). Let u(f) = f**2 + 3*f + 1. Let s be u(j). Suppose -4*h = s*a - 102, 4*h = h + 9. Solve -2*i - 3*o + o = 0, a = -i + 5*o for i.
-3
Let d be 0 + 0 + (-8)/(-2). Let v(n) = -n**3 + 4*n**2 + n - 1. Let z be v(4). Solve -z*k - d*f + 6 = 0, -3*k + 3*f - 13 = -k for k.
-2
Let u be (43/9)/1 - 12/(-54). Let l(c) = c**2 - c - 2. Let h be l(2). Let f = 1 + -1. Solve -2*p + 5*q + f = -10, u*p - q + 21 = h for p.
-5
Let t = 23 + -15. Suppose -t = -s - 3*s. Solve s*a = 5*c + 19, 0*a + 2*c + 1 = 3*a for a.
-3
Let n be -1 - 2/(2/(-5)). Suppose -6*z + 7 = 4*k - z, n*k = z + 13. Solve -k*j + 5*h = 8, -j + 2*h + 12 = 4*j for j.
4
Let n = 80 - 75. Solve c = n*m - 1 - 8, 4*m - 6 = 2*c for m.
2
Suppose -3*u + 9 = -15. Suppose -u = 4*s - 8*s. Solve -4*x + 10 + 8 = -2*w, s = -2*w for x.
4
Let r = -14 + 26. Let j be (-1 - -7)/(1 - -1). Solve t - 4*q = 0, -4*t = -q - j*q - r for t.
4
Let d(p) = -2*p**2 + 23*p + 16. Let b be d(12). Solve 3*q = -b*n + 2*n, q + 4*n = 0 for q.
0
Let f = 8 - 4. Solve -t + s - 4 = 4*s, -3*t + 27 = -f*s for t.
5
Let p(x) = -x**3 + 7*x**2 - x + 3. Let l be p(7). Let s be (-13)/l - (-2)/(-8). Solve z = 0, -d - s + 8 = -3*z for d.
5
Let k be 4/22 - (-160)/88. Let p be (3/k)/(2/4). Suppose -4*m = 2*z + 2, -m - p*m = 12. Solve 5*n + 4*x = 4*n - 4, 5*x + z = 4*n for n.
0
Let h be (-2616)/(-104) + 2/(-13). Solve -2*x = 4*m + h - 5, -m = -4*x - 13 for x.
-4
Let f(x) be the first derivative of x**4/4 + x**3 - x**2/2 + x + 2. Let l be f(-3). Solve -3*s - 3 = 3*z, -2*z = -3*z - l*s - 4 for z.
0
Let g = 7 + -7. Let x be (-1)/((-4)/8 + 0). Solve 0 = h - 5*q + 20, x*q - 6 = g for h.
-5
Suppose -2*h = -3*j + 1, -5*h - j = -0*j - 40. Let o = -3 + h. Let y b