+ l for w.
3
Suppose -6 = -2*s + 3*s. Let z be (3*-1)/6*s. Suppose 5*x - 23 + z = 0. Solve b - x = -b for b.
2
Let r(h) = h**3 + h**2 + h + 4. Let j be r(0). Suppose -10*m = -8*m - j. Let y = -1 + m. Solve 4*f - 15 = y for f.
4
Suppose 0 = -z - z - 12. Let y(x) = x + 7. Let m be y(z). Suppose 2*r - 3 = -m. Solve -n = -0*n - r for n.
1
Let j be 10*(-5)/(-10) - (1 - 0). Solve -5*b + j = -1 for b.
1
Let p be (0 - 0) + 0 + 1. Let f(b) = b**3 + 10*b**2 + 9*b + 2. Let t be f(-9). Let u be -1 + p + (t - -6). Solve -4*y - u + 0 = 0 for y.
-2
Let g(o) be the second derivative of o**5/20 + o**4/3 + 2*o**3/3 + o**2 - 9*o. Let r = 3 - 5. Let h be g(r). Solve 0 = -h*f + 6 - 14 for f.
-4
Let r be ((-11)/2)/(-2 + 18/12). Solve 0 = 5*i - 9 - r for i.
4
Suppose -2*j = 4*w + 12, 2*j = w - 2*w. Solve 2 = 2*p - j for p.
2
Let o be (42/(-36))/(2/(-12)). Solve -o*t - 16 = -3*t for t.
-4
Let n = 13 + -11. Solve a - n = 2*a for a.
-2
Let f(d) = -d**2 - 4*d + 4. Let k be f(-4). Suppose -k*j = j + 35. Let g = j - -7. Solve g*i + 4*i = -16 for i.
-4
Let d = 10 - 12. Let h(s) = -s. Let m be h(d). Solve r = m*r + 5 for r.
-5
Suppose -3*q + z = -26, -2*z + 24 = 2*q - z. Let s = -4 + 8. Suppose 3*v = s*v - 3. Solve q = 2*l + v*l for l.
2
Let v = 2 + -1. Suppose -2*k + 0*w = 3*w + 1, -3*w + v = 4*k. Let c = -6 - -8. Solve -k = -c*b + 7 for b.
4
Suppose y = 2*y. Suppose b + b - 4 = y. Solve -b*i - 11 + 1 = 0 for i.
-5
Let q be (-10)/6 - 2/(-3). Let g = 2 + q. Let s be 1 + g + (-7 - -8). Solve -s*t = -t for t.
0
Let b(o) = o**2 + 4*o - 7. Let n be b(-6). Suppose -n*y = -10, -10 = -i + y - 4*y. Solve -5 + i = f for f.
-1
Let s = 4 + -4. Suppose s = -4*u + 2*u + 14. Suppose -4*f + x - 4*x + 15 = 0, 10 = -2*f + 2*x. Solve 2*m - u - 3 = f for m.
5
Let z = -16 + 20. Solve -6 = -y + z*y for y.
-2
Let h(b) = b**3 + b**2 + b + 2. Let g be h(0). Solve -q = 3 - g for q.
-1
Let l(n) = -n + 17. Let q be l(12). Suppose -q = -5*o, 4*w - 10 = 5*o + 9. Let s(i) = i**2 - 1. Let a be s(1). Solve w*p - p = a for p.
0
Let q = -5 - -6. Suppose 14 = 5*p - q. Solve 2*t + p*t = -25 for t.
-5
Suppose -2*m + 10 = 4*z, 20 = -3*m + 7*m - z. Let j = 26 - 24. Solve j*x = m - 13 for x.
-4
Let d(h) be the third derivative of -h**4/24 + h**3/6 + 2*h**2. Let s be d(-3). Suppose -4 = 3*q + x - 18, -s*q + 4*x + 8 = 0. Solve -15 = q*m + m for m.
-3
Let d(b) = b**2 + 2*b + 1. Let k be d(-4). Suppose -k*q + 120 = -4*q. Let r be (-16)/q + (-29)/(-3). Solve 2*z - r = -z for z.
3
Let m be (38/3)/(20/30). Let z be (-4)/8*-2 + m. Solve 3*c = -5 + z for c.
5
Let j(x) = x**2 + 6*x + 7. Let g be j(-6). Let u = -2 + g. Solve u*a + 2 + 3 = 0 for a.
-1
Let l be (9 + -13)*2/(-4). Let k be 13/(-3) - 3/(-9). Let p be k*2/(-4) - -2. Solve -p*y + 6 = -l*y for y.
3
Let s = 10 + -9. Let a = -1 + s. Solve a - 25 = -5*o for o.
5
Let d be (-2 - -2) + (0 - -28). Suppose -d = -c - 3*c. Solve -5*v + c = 27 for v.
-4
Let s = 7 - 13. Let q = s - -7. Solve q + 1 = -2*w for w.
-1
Suppose -21 = -3*a - 3*l, 16 = 3*a + l + l. Solve a*p + 2 + 4 = 0 for p.
-3
Suppose -2*h = 2*f - 6, -f = -h - 0*f + 9. Suppose o = -o + h. Let y = -1 + o. Solve -3*k = y*k + 10 for k.
-2
Let x(p) be the first derivative of -p**2/2 - p + 4. Let v be (-1 + (-1 - 2))/1. Let f be x(v). Solve 8 = -q - f*q for q.
-2
Let k be ((-16)/6)/((-4)/18). Suppose -k = 2*a - 6*a. Solve 0*j - a*j = 9 for j.
-3
Suppose 2*b - 2*f + f = 6, 0 = -3*b + 2*f + 8. Suppose 3*k + k - 13 = 3*i, 2*k - 9 = -i. Solve -11 - i = b*n for n.
-3
Let u be (-10)/4*224/(-70). Solve -u = f + f for f.
-4
Suppose 7 = c + 3. Let h be c - (2 - 3 - -1). Suppose -2*v - 2*s + 49 = 3*v, 3*v - 4*s = 19. Solve -h*x = -v*x - 15 for x.
-3
Let t(g) be the second derivative of g**5/20 - g**4/4 + g**3/2 + g. Let y be t(2). Solve y*s - 7 + 1 = 0 for s.
3
Let v be 0*2/8*-2. Suppose v = 3*o - 16 - 2. Suppose 0 = l + 4 - o. Solve 2 = l*i - i for i.
2
Let i(k) = 6*k - 3. Let y(m) = -m - 4. Let w be y(-7). Let j be i(w). Suppose -a - j = -4*f, -a = -5*a - f + 8. Solve 0*d = d + a for d.
-1
Let o = -25 - -30. Solve -o = y - 2 for y.
-3
Let n = 24 - 22. Solve 2*p - 4 - n = 0 for p.
3
Let c be ((-24)/(-21))/4*7. Solve c*h + 4 = -2 for h.
-3
Suppose 5*z - 25 = -5*o, -4*o = -0*z + 5*z - 23. Let k be 97/5 - (-18)/30. Solve o*f - 6*f = k for f.
-5
Let o = -17 + 21. Suppose o*f = -f. Solve -2*m + 5 + 3 = f for m.
4
Suppose -3*i = -4*z - 4*i + 10, -2*z = 3*i. Suppose -45 = -2*s - c - 0*c, 3*c + 81 = 3*s. Let m = -14 + s. Solve 5 = z*w - m for w.
5
Let h(q) = q**2 + 5*q + 2. Let y be h(-4). Let w(s) = -s**3 - 2*s**2 - 2*s + 1. Let z be w(y). Solve -3*p = -2*p + z for p.
-5
Suppose -2*r = -12 - 4. Suppose -g = -5*g + r. Let z be (-6)/27 - 76/(-18). Solve 6 = z*f + g for f.
1
Let f(l) = l**2 + 4*l + 6. Let q be f(-4). Let g(p) = -8*p - 46. Let v be g(-6). Solve -i = v*i + q for i.
-2
Let s be 0/3*(-1)/(-2). Solve s*a = -3*a - 9 for a.
-3
Let h(s) = 6*s**2 - 3*s - 2. Let p(d) = 5*d**2 - 2*d - 1. Let f(q) = 3*h(q) - 4*p(q). Let n be f(-2). Let c = -6 - n. Solve 0 = 2*a + c*a - 8 for a.
2
Let c(j) = j**3 + 3*j**2 - j. Let o be c(-2). Solve y + 20 = o*y for y.
4
Let y be (-6)/(-3)*-1 - 1. Let s be (-3 - y)*(-1)/2. Solve -n + 3*n - 2 = s for n.
1
Let d(s) = 5*s - 2. Let f be d(2). Suppose -4*i = -f*i. Solve -4*u - 8 - 4 = i for u.
-3
Let n(v) be the third derivative of -v**6/120 - 11*v**5/60 + v**4/2 + v**3/3 - 6*v**2. Let u be n(-12). Solve f - u = -7 for f.
-5
Let r be (-297)/(-77) - 2/(-14). Suppose 0 = -4*o - r*h + 12, 5*o + 0*h + 2*h = 6. Solve -w = -o*w + 2 for w.
-2
Let y = 3 + -2. Suppose 0 = 2*m - 2*g + 6*g - 8, -4*g + 8 = 4*m. Let b be 3/6*0/2. Solve b = -m*p + p + y for p.
-1
Let o(d) = d**3 + 2 + 0*d**3 + 1 + d + 3. Let l be o(0). Solve l*c - 5 = c for c.
1
Let u(c) = 5*c**3 + c**2 - c - 1. Let o be u(1). Solve o = 2*h - h for h.
4
Let t(q) = -q - 3. Let x be t(-6). Suppose -s - x*u = 5, -5*s - u - 14 = 3*u. Let o be ((-3)/s)/((-6)/(-12)). Solve -v = o*v for v.
0
Let w(h) = -h + 13. Let k be 3*1 + 14/2. Let a be w(k). Solve -4 = -a*p + 8 for p.
4
Suppose -3*r = -3*b - 10 + 1, -5*r - 4*b = -6. Solve 0*j = j - r for j.
2
Let k = 42 - 25. Suppose l - 13 = 2*h, -l + k = 3*l - h. Solve 0*q = -q + l for q.
3
Let q(y) = y**3 + 3*y**2 + 3*y + 31. Let g be q(-4). Suppose -2*c - 2*c = 5*b - 96, -24 = -b + 4*c. Solve g*a - 7*a = b for a.
-5
Suppose 2*x - 4 = 6. Suppose -31 = x*c + 14. Let p = c + 13. Solve p*o = o - 3 for o.
-1
Suppose 4*z - 2*h + 30 = 0, -z - 4*h = 4*z + 70. Let y = -7 - z. Solve 5*m - y*m = 2 for m.
1
Let z be (-1)/(-6) - ((-85)/30 + 1). Solve 0 = -x + 3 - z for x.
1
Suppose -6*f + 32 = 2*f. Solve 0 = 2*v - v - f for v.
4
Suppose i = -3*g + 11, -2*g - 2*g = i - 14. Solve -c + 5 = -i*c for c.
-5
Suppose q - 20 = 5*c, -6*q - 12 = -2*q + 3*c. Solve 5*m - m - 12 = q for m.
3
Suppose -8 = 2*s - 3*q, 0 = -s - s - 4*q + 20. Solve -s*i = -i for i.
0
Let o(t) be the first derivative of -t**4/4 - 11*t**3/3 - 9*t**2/2 + 11*t - 2. Let a be o(-10). Solve 3*h - 4 = -a for h.
1
Suppose -8*c = -13*c. Solve g + 0 - 1 = c for g.
1
Let m = 13 - 10. Solve 0 = -m*j - j - 20 for j.
-5
Suppose -2*n + 54 = 3*u, 3*u - 4*n - 47 = 25. Let k be (3/(-4))/((-5)/u). Solve 0*y = -k*y for y.
0
Let z be (6 - 3)/(12/28). Solve z*l - 4*l = 12 for l.
4
Suppose 4*b - 4 = y, -4*y - 2*b + 5*b - 3 = 0. Let q(r) = -r**3 - 6*r**2 - 4*r + 7. Let a be q(-5). Let g = a + y. Solve 0 = -g*u + u - 5 for u.
-5
Let c(m) = -3*m**2 - m - 3*m**2 - 4*m**3 + 3*m**3 + 2*m**2. Let w be c(-4). Solve 4 = -w*i - 0 for i.
-1
Let a be (-1 + 0)*(-6)/(-2). Let r be 5 + (a - -2) + 1. Solve r*n - n = 4 for n.
1
Suppose 2*a = -2*k - 12, -12 = -0*a - 4*a + 5*k. Let q = a + 9. Let v = q + -7. Solve 4*d + 1 - 5 = v for d.
1
Suppose 0*v = -5*v + 20. Suppose -4*w = -2*w. Solve 4 = v*n - w for n.
1
Let a(f) = f**2 + 4*f + 3. Let u be a(-3). Suppose -2*k = -5*j - 37 + 1, -5*j - 52 = -4*k. Suppose 3*i + k = 35. Solve -3*c + u = i for c.
-3
Suppose 4 = 4*s - 2*s. Suppose 2*d = -3*d + 5. Let a(n) = -n**3 - 2*n**2 - 2*n - 1. Let p be a(-1). Solve p = -t + s*t + d for t.
-1
Let f = 2 - 9. Let c = -7 - f. Solve -6*d + d + 15 = c for d.
3
Let r = -2 - 16. Suppose 2*x + 0 = p - 5, p - 3*x - 3 = 0. Let k be (-2)/p - 220/r. Solve 0 = -5*b + 2*b + k for b.
4
Let t be 0*(-3)/(-6)*-1. Let f(k) = 3*k**2 + k