 - 5 + 30 for b.
5
Let h(g) be the third derivative of -g**4/24 + g**3/3 + 2*g**2. Let t be h(1). Let y be ((-4)/(-10))/(t/20). Solve 0 = 5*a + 12 + y for a.
-4
Suppose 0*p - 18 = 3*p. Let j(t) = 5*t**2 + 9*t + 5. Let h(z) = 9*z**2 + 17*z + 10. Let q(a) = p*h(a) + 11*j(a). Let n be q(5). Solve -17 = -n*i + 8 for i.
5
Let g = -1 + -17. Let w = 20 + g. Solve -f = -2*f - w for f.
-2
Let s(q) = -q**3 + q**2 + 7*q - 1. Let y be s(3). Solve 6 + y = 2*k for k.
4
Let m(n) = n**3 + 10*n**2 + 7*n + 10. Let v be m(-10). Let q = v - -42. Let i be (3 - 0)*(-30)/q. Solve i*k - k = 0 for k.
0
Suppose 2*w - 8 = -2*w. Let g(x) = x + 1. Let n be g(w). Solve 0 = n*h + 16 - 7 for h.
-3
Suppose -2*x + 2*h = 6, 0 = -3*x - 2*x + 2*h. Solve 18 = -5*t - x for t.
-4
Let h be (8/12)/(1/3). Solve 0 = -h*r - 3*r for r.
0
Let t = 0 + 0. Suppose a - 1 = -0. Let j be 6/a + 0/1. Solve t = 2*y - j*y for y.
0
Suppose -2*i - 1 + 3 = 0. Let o be (1/i)/((-2)/(-6)). Solve -6*x = -o*x + 12 for x.
-4
Let j(y) = -5 - y**3 - 2*y**2 - 4*y + 3 + 8*y**2. Let h be j(5). Suppose -2*p + 3 + h = 0. Solve -4 = p*l + 11 for l.
-5
Suppose 3*k - 5*z - 37 = 0, -4*k + 31 = -0*z - 3*z. Solve 8 = k*t - 12 for t.
5
Suppose -14 = -5*m - 39, 0 = -3*b - 3*m. Suppose 0 = v - b*x - 7, 2*v + 0*x = -3*x + 14. Solve -v*h = -2*h - 25 for h.
5
Suppose 4*w - 40 = -7*l + 2*l, 5*w = -5*l + 45. Solve -i + 5*i = l for i.
1
Suppose 4*l - 3*z - 27 = 0, 0 = z + 2*z + 3. Let j = 2 + l. Solve -1 = -3*a + j for a.
3
Let m = -9 - -13. Let j = -556 + 556. Solve j = q + m*q - 5 for q.
1
Let v = -143 + 146. Solve 1 + 8 = -v*d for d.
-3
Let o be ((-28)/35*1)/((-4)/50). Solve -2*i + 4 = o for i.
-3
Let t(z) = -z - 4. Let y be t(-4). Let p(m) = -m**3 + 12*m**2 + 14*m - 10. Let x be p(13). Solve -2*l - 11 + x = y for l.
-4
Let y be ((-1)/((-3)/12))/(2*1). Solve -4*o - 18 = -y for o.
-4
Let v = -40 + 46. Solve 5 = -v*b + b for b.
-1
Suppose 2*k = 5*a - 6, -a + 3*k = 2*a. Solve a*r + 6 = 4 for r.
-1
Let d = 15 - 9. Solve 0*w = 2*w + d for w.
-3
Let s(t) = 3*t**3 - 3*t**2 - 2*t + 4. Let h be s(2). Solve k - h = 4*k for k.
-4
Suppose -5*d = -3*f - 3 - 116, -5*d - f = -127. Solve -3*l = 2*l + d for l.
-5
Let u(d) = -d**3 + 2*d**2 - d + 2. Let p be u(2). Solve p*c + 4 = 2*c for c.
2
Let r = 19 - 8. Solve -r - 9 = 4*p for p.
-5
Let r be 3 - 17*(1 - 2). Solve -o = 3*o - r for o.
5
Let l be (1 + (1 - 1))*0. Solve l*g - 2*g = -10 for g.
5
Let u = 26 - 16. Suppose -2*f + 16 = 2*f. Suppose 4*s + 4*y - f = 0, -7*s = -3*s - y + 1. Solve -5*o + s = -u for o.
2
Suppose -7 = -3*f + 2. Suppose -f*k = -4*i + 30, i = -i + 2*k + 14. Solve w + 2*w = -i for w.
-3
Let a be (-4)/14 + 2/7. Let j(z) = -z - 1. Let x(l) = -2*l + 8. Let w be x(7). Let o be j(w). Solve o*f = -a*f for f.
0
Suppose -3*i + 4*y - 13 = 0, 0 = 3*i - i + 2*y - 10. Let b be 2*27/6 + i. Let r(o) = -o**2 + 7*o - 1. Let d be r(6). Solve 3*f - b = d*f for f.
-5
Let x(n) = 9*n - 1. Let t be x(1). Suppose c = 5*r + 21, t*r = 5*r - 9. Solve -4*u = -u + c for u.
-2
Suppose 4*a + 5*n + 4 = -3, 2*a = n + 7. Solve -a*q + 6 = q for q.
2
Let n be (-19)/(-4) - 1/(-4). Suppose w - 2*t - 3 = -3*t, 4*w = -n*t + 13. Solve -3 = -w*b + 3 for b.
3
Let i(v) = -3*v - 2. Let h be i(5). Let o = h + 21. Solve 0 = 5*f + o + 1 for f.
-1
Let f(v) = v - 12. Let z be 186/15 - (-8)/(-20). Let w be f(z). Solve 3*q - 5*q - 10 = w for q.
-5
Let d = -4 + 1. Let u be 14 + -12 - (d - 0). Solve 0*o - u = o for o.
-5
Let b be (-3)/(-2) + 1/2. Suppose j - 14 = -4*q - 2, 2*q = b*j - 4. Solve -12 = -2*n - q*n for n.
3
Suppose o = -4*u + 35, 37 = 2*u + 5*o + 6. Let b = u + 0. Solve -3*q + b = -q for q.
4
Suppose -29*z + 10 = -19*z. Solve z - 21 = -5*w for w.
4
Let v be ((-6)/(-7))/((-2)/(-14)). Let t(p) be the second derivative of p**3/6 - p**2 - p. Let x be t(2). Solve x = k - v*k + 25 for k.
5
Suppose -o = 3*h - h, 3*o = 3*h. Suppose -2*a = -h*a. Solve a = -2*g + 4*g + 10 for g.
-5
Suppose -5*i = 4 + 1. Let p be (-2 - 2)*(i + 0). Solve 0 = -2*k + 2 - p for k.
-1
Let w be 4 + -2 + -1 + 9. Suppose 17 = -5*b - 3, -5*c - 5*b = w. Solve -3 = c*v - 5*v for v.
1
Suppose -2*p + 35 = 3*p. Solve 3*y - 2 = p for y.
3
Let i(k) = -k + 1. Let o be i(-1). Let p be ((-18)/24)/(o/(-8)). Solve 6*q + 15 = p*q for q.
-5
Suppose -k = 4 - 10. Suppose n - k = -n. Solve 0 = n*r - 7*r - 8 for r.
-2
Let j(t) = -3*t + 8*t**2 - 7*t**2 + 0*t**2 - 3. Let w be j(4). Solve 4*g + 21 = w for g.
-5
Let p(u) = 9*u - 7*u**2 - 2*u**2 - 8 + 0*u + u**3. Let b = 8 + 0. Let h be p(b). Solve c + 5 - 4 = h for c.
-1
Suppose 14 = 6*p + 2. Solve 9 - 3 = -p*b for b.
-3
Suppose 0 = 12*t - 24 - 36. Solve -16 = -t*r + 9 for r.
5
Suppose 4*u + 11 = d, 2*d - 8 = u - 0*u. Solve -v - 6 = -d for v.
-3
Let c(q) = 7*q + 40. Let g be c(-5). Solve -5*y - g + 25 = 0 for y.
4
Suppose 2*x - 22 = 3*h, -h - 3*x + 11 = -0*h. Let l be -1*6/2 - h. Suppose -d - l = -4. Solve -6 + 15 = d*o for o.
3
Suppose -3*g - 5*l = 3, 4*g + 6*l - 2*l = 4. Suppose -2*v + v = -3. Suppose -g = c - v*c. Solve c*t - 2 + 10 = 0 for t.
-4
Let m(z) = -2*z**2 - 16*z + 7. Let f be m(-8). Solve -5*d - f - 8 = 0 for d.
-3
Let i be -57 + (1 - 1/(-1)). Let s = i - -91. Let h be s/15*10/3. Solve 0*l - h = 4*l for l.
-2
Let f(y) = -y**2 + 4*y + 2. Let s be f(4). Suppose s*g = -0 + 12. Let t(d) = d**3 - 5*d**2 - 5*d - 6. Let m be t(g). Solve 0 = -r - m*r - 1 for r.
-1
Let y = 17 + -13. Let q be (-15)/10 + 46/y. Solve 5*f = -5 - q for f.
-3
Let s be (2/(-2))/((-2)/6). Solve 2 = -y + s*y for y.
1
Let d = -196 - -199. Let i = -2 + 3. Solve d*a = 2 + i for a.
1
Suppose -9 = -2*s - 1. Suppose 2*i = -3*i. Let p be i + (-2 - -5 - 3). Solve s*q + q = p for q.
0
Let y(n) be the first derivative of n**3/3 + n**2 - 3*n - 1. Let g be y(-4). Let h = 6 + -1. Solve -g = h*x - 25 for x.
4
Let h be 30/4 + 45/(-30). Solve 2*q = h + 2 for q.
4
Let v be ((-30)/3)/(-2) - 3. Solve v*b + 3 = 5*b for b.
1
Let f = 58 - 56. Solve -6 = -f*n + 2 for n.
4
Let d(l) = 2*l + 4. Let k be d(-5). Let p = -8 - k. Let c = p - -16. Solve -c = 4*t - 2 for t.
-3
Suppose -14 = 3*o + 5*z, 0 = -0*o + 2*o - z - 8. Let w(l) = -2*l**2 - l + 2. Let x be w(0). Solve 0*a = -o*a - x for a.
-1
Let b = -1 + 2. Let n = 3 - -2. Let g = 76 - 74. Solve g*s + b = n for s.
2
Suppose -2*z + p + 0*p = -281, z = 4*p + 130. Let b = -81 + z. Suppose 5*y = -16 + b. Solve 4*t = y*t + 15 for t.
-3
Let z(f) be the second derivative of 2*f**3/3 - 2*f**2 - 2*f. Let l be z(3). Suppose -2*c = -0*c - l. Solve c*h = 5*h for h.
0
Let d be -29 + 30 + -1*1. Solve -5*a + 2*a - 15 = d for a.
-5
Let x(c) = -5*c**3 - 2*c - 1. Suppose -18 = 3*v - 0*v. Let j = 5 + v. Let n be x(j). Solve 25 = -n*m + m for m.
-5
Suppose -f = -0*f - 8. Let r be 4*(-12)/(-8) - 4. Let d be (-2)/(-4)*(-2 + 2). Solve r*n + 2*n - f = d for n.
2
Let o be (3/(-2))/((-3)/4). Let g be (-7)/(-5) + o/(-5). Let a be (3 - -1) + g + 0. Solve -2*s + 3*s + a = 0 for s.
-5
Suppose 4*f + 199 = 527. Let q = f - 53. Let b = -14 + q. Solve -4*v - 7 + b = 0 for v.
2
Let y be 14/8 + 2/8. Let v = -12 + 17. Suppose 12 = h + 3*g, h - v*g + 40 = 6*h. Solve y*b + 0 = -h for b.
-3
Let p(x) = x**3 + 11*x**2 + 10*x + 4. Let t be p(-10). Suppose -t*u = -u - 9. Solve -5*z + u = -12 for z.
3
Suppose 8*b + 15 = 13*b. Suppose v - 5 = b. Suppose -4*k = k. Solve 2*s + v - 2 = k for s.
-3
Let y = -22 - -33. Let z be (-3)/(2 - y/4). Solve h - z = -0*h for h.
4
Let l(t) = t**2 - 4*t - 11. Let k be l(6). Solve -k + 0 = -u for u.
1
Suppose -4*u = -7*u. Solve 15 = -5*j - u*j for j.
-3
Let y = -17 - -16. Let k be (2 + (-6)/3)/y. Solve 6*u - u + 25 = k for u.
-5
Suppose 0*o + o + 10 = 0. Let z = o - -14. Suppose -3*u + 5*u = 2*l + 14, 0 = -4*l - 8. Solve -u*k - z = -k for k.
-1
Let a be (-2)/10 + (-4)/5. Let c = a + 3. Solve 0 = -3*f + c*f - 2 for f.
-2
Suppose -4*k + 8*k - 2*j - 16 = 0, -4*k + 4*j + 24 = 0. Solve k*a + 16 = -2*a for a.
-4
Suppose 3*t = -a + 43, 0*t = 5*a - 3*t - 197. Suppose 2*m = -m + 2*p + 20, 0 = -2*m - 4*p + a. Solve 2 - m = -2*k for k.
4
Let w(p) = 83*p**3 - 1 - p - 73*p**3 - p**2 + 3*p. Let s be w(1). Solve s = 5*j - 15 for j.
5
Let z be (-5)/((-1 - -4) + -4). Solve -15 = 2*y - z*y for y.
5
Let v = -16 - -16. Suppose v = 4*h - 34 - 26. Solve 0 = -4*l + l + h for l.
5
Suppose t + 2*s + 4 = 0, 7 = 4*t - 4*s - 1. Let q(j) = j. Let g be q(t).