 2 - b for v.
3
Let v be (4/5)/((-4)/10). Let m be v*(-6)/4 + -1. Suppose 2*i + 6 = m*c, c = -4*c - 2*i + 8. Solve a = c - 3 for a.
-1
Suppose l + 4*y + 14 = 0, 9 = -2*l - 4*y - 3. Suppose l*t = 7*t. Solve -5*z + 5 = -t for z.
1
Let h(j) be the second derivative of j**4/12 - 5*j**3/6 + 2*j**2 + 8*j. Let q be h(4). Solve -4*f - f = q for f.
0
Let h = -6 + 4. Let f be -1*h*2 - -2. Suppose 15 = -5*g, -3*x + f*g + 30 = g. Solve x*l - 11 - 9 = 0 for l.
4
Let t(j) = -4*j**2 - 22*j + 7. Let g(d) = -d**2 - 7*d + 2. Let l(x) = 7*g(x) - 2*t(x). Let p be l(5). Let s be p/(-3 + (3 - 2)). Solve s = 3*k - k for k.
0
Suppose 5*f - f = 16. Let v be (-3 + (f - 2))*0. Solve 9*c - 4*c - 15 = v for c.
3
Let x(o) = -3*o**3 + o**2 - 2*o - 2. Let a be x(-1). Let t(q) = 8*q + 2. Let u be t(4). Suppose 5*w = -a + u. Solve 2*c - w = -0*c for c.
3
Suppose 3 = -b - 1. Let m be b/10 + (-96)/(-15). Solve -m*z - 20 = -z for z.
-4
Let y = 14 - -6. Solve -y = 5*f - 0*f for f.
-4
Suppose 0 = l + 4*j + 8, 0 = 2*l + 3*j - 5 + 1. Suppose 2*z = z + s + 1, -2*s + 10 = z. Let d be -4*(-2)/(-6)*-3. Solve -d*u = z + l for u.
-3
Let n(b) = b**2 - 12*b - 12. Let m be (-26)/(0 + (1 - 3)). Let x be n(m). Solve 2 = 3*g - x for g.
1
Suppose 5*n = 13 - 3. Let p be (-2)/(-11) + (-26)/143. Solve p = -5*j + 18 + n for j.
4
Suppose -5 - 1 = -2*i. Solve -5*u - 8 = -i for u.
-1
Suppose 6 = g + g. Let y = 18 - 12. Let b be 0/(y/2 - 4). Solve b = -0*n + g*n for n.
0
Let u = -21 - -31. Let z(f) = -f**2 - 3. Let a(x) = x + 1. Let c(s) = 4*a(s) + z(s). Let q be c(2). Solve b + q = u for b.
5
Let c be 88/6 - (-3)/9. Suppose -2*g + 3*t + 7 = 0, -2*t + c = 3*t. Solve -x + g = x for x.
4
Suppose 4*l = 2*l + 2. Let i be (-5)/(-10)*4/l. Solve -i*d = -0*d for d.
0
Let c = -14 - -34. Solve 0 = -z - 3*z - c for z.
-5
Suppose -4*b = -b. Let m(d) = 3*d + 0 + b + 1. Let g be m(1). Solve -u + g = u for u.
2
Let s = 35 - 8. Suppose 3*h - h = 3*n - 11, h - s = -5*n. Solve -i = -0*i + h for i.
-2
Suppose 7*z = 8 + 34. Solve -3*o = -3 - z for o.
3
Let w = 10 - 5. Suppose -10 = -m - m, -d + w = m. Solve q = -d + 2 for q.
2
Let l(a) be the second derivative of 3*a**3/2 - a**2 + 7*a. Let x be l(3). Solve -x = 9*w - 4*w for w.
-5
Let a(d) = 2*d - 4. Let q be a(5). Let w = -26 - -40. Solve w = 5*g - q for g.
4
Suppose -9 = -2*y - y. Let f be 3 - (-45)/y - 2. Solve -5*g + f - 1 = 0 for g.
3
Let g = 20 + -20. Solve 0 = -g*x + 2*x - 10 for x.
5
Suppose -5*x + 6 = -2*x. Let h be 13/x - (-24)/(-16). Solve -h*v = -v for v.
0
Suppose 2*o - 6*o = -16. Solve -o = 3*a + 2 for a.
-2
Suppose 2*i + 16 = p + 3*p, 4*i + 5*p = -32. Let x be (-24)/16*i/6. Solve -3*c - 15 = x*c for c.
-3
Let y = -2 - -4. Suppose y*s + 6 = 5*s. Suppose 4*j - 2*b - 13 = 3, -s*j + 4*b + 2 = 0. Solve -8 = -c + j*c for c.
-2
Let j be 196/(-16) - 1/(-4). Let q = j - -12. Solve 2*v + q = 8 for v.
4
Let g be (24/18)/((-2)/3). Let l be g/(-7) - (-2)/(-7). Solve 2*q + l*q + 6 = 0 for q.
-3
Let s = -9 + 14. Let f = 12 - 2. Solve 0*r + f = s*r for r.
2
Let p = -1 + 2. Let s(r) = -2*r**2 + p - 3*r**3 - 4*r**3 + 2*r**3. Let w be s(-1). Solve -o = w*o - 20 for o.
4
Let u(b) = -3*b + 2. Let f(w) = -6*w + 3. Let a(g) = 3*f(g) - 5*u(g). Let c be a(-1). Suppose -2*d - c*t = 2*d - 4, -3 = -3*d - 4*t. Solve -3*y - 2 = d for y.
-1
Suppose 4*a - 22 - 4 = -2*o, -3*o - 5*a = -34. Suppose 4 = -4*m + 28. Suppose 0 = n - 3*z + 3, 2*z = -5*n + m*z - 4. Solve -o*q - 2*q = n for q.
0
Suppose 0 = 7*g - 4*g - 9. Solve -g*l = l for l.
0
Let b(g) = g**3 - 3*g**2 + g - 2. Let n be b(3). Solve -3*p - n = -16 for p.
5
Let k be 20/3*(-84)/(-35). Suppose a - 2*a = 4*c - k, 20 = 5*a. Suppose 4*l - 26 = 2*l. Solve -l = c*j + 2 for j.
-5
Suppose k = 6*k - 140. Suppose 3*x = -4*v + k, 4*x - 28 + 0 = -3*v. Suppose -v*y + 14 = -3*n, 0 = y + 2*n + 2. Solve y*p - 1 = 1 for p.
1
Suppose -5*f + 11 = v - 22, -5*v + 3*f + 25 = 0. Solve x + v = 5*x for x.
2
Let n = -88 - -90. Solve -n*o + 0*o + 8 = 0 for o.
4
Suppose 3*h - 6*h - 9 = 0. Let r be (0 - (2 + h))*4. Solve 0 = -4*t - 0*t - r for t.
-1
Let f(i) = -i**2 - i + 6. Let w be f(-3). Solve w = -3*b - 7 + 22 for b.
5
Suppose 0 = 3*w + 2*l - 25, -5*l + 23 = 5*w - 12. Solve 3 = 4*a + w for a.
-2
Suppose 5 + 7 = 4*z. Suppose -2*w + 8 = -3*l, -w + 1 + z = l. Solve -h = -l*h for h.
0
Let n be 6*(1 + 3/(-6)). Suppose 4*w = -2*k + 18, -16 = -n*w - 0*w - k. Solve 13 = 5*d - w for d.
4
Let j = 2 + 3. Suppose j*h - 9 - 16 = 0. Solve 0 = 3*f + h + 7 for f.
-4
Suppose 0 = 4*a + 4*t - 8*t - 16, -4*a = 5*t - 52. Let m be 0/(4 - (-9)/(-3)). Suppose 2*x + 2 - a = m. Solve -x*d + d = 8 for d.
-4
Let l(f) = f**2 - 5*f + 1. Let q be l(5). Solve -3*g + q + 2 = 0 for g.
1
Suppose 4*r = 20 - 0. Suppose 5*w = 2*m - r, 2*m + 11 = 3*w - 2*m. Let u = 0 - w. Solve u*s = 4*s for s.
0
Suppose 3 + 0 = c. Suppose 5*m = -j + c*j - 5, 0 = -4*j + 3*m + 17. Let d = j - 5. Solve -5 = 5*h - d*h for h.
-1
Let k(o) = o - 8. Let z = -3 + 11. Let m be k(z). Suppose 10 = 5*d + j, m = -5*d + j + 10 - 0. Solve -d - 3 = n for n.
-5
Let d(n) = 1 - 1 - 3 - 2*n - 1. Let h be d(-3). Let i be ((-16)/20)/(h/(-10)). Solve -i*f + 7*f = 6 for f.
2
Suppose -4*k + 24 = 8. Let d be ((-9)/3 - k)/(-1). Let h(f) = -f + 10. Let r be h(d). Solve -2*o - 15 = r*o for o.
-3
Suppose -k = 4*r - 3, -4*r - k - 17 = 4*k. Let f = 10 - 5. Suppose -2*g + 63 = f*u - 15, 0 = 3*u - 5*g - 22. Solve -6 + u = r*p for p.
4
Suppose 0 = 4*y + 3*p - 14, -2*p + 7 = 3*y - 3. Solve -y*r + 0 = -2 for r.
1
Let b(r) = 5*r**3 + 8*r**2 - 7*r + 12. Let h(m) = 9*m**3 + 15*m**2 - 15*m + 23. Let n(q) = -7*b(q) + 4*h(q). Let k be n(-6). Solve -3 = k*v - v for v.
-3
Suppose 5*y + 3*r = -3, 2*r + 0*r + 2 = 0. Solve -q + 2*q = y for q.
0
Let n = 5 - 2. Let u(z) = 0 + n - 12 - 2*z. Let s be u(-6). Solve p = -2*p - s for p.
-1
Let i(s) = -s**2 - 2*s - 1. Let z be i(-2). Let o = z - -12. Suppose o + 4 = 5*r. Solve -4 = -r*b - b for b.
1
Suppose -2*q + 5*h + 14 = 0, 5*q - 2*h = 1 + 13. Suppose 0*s + 6 = 2*s - 2*r, r + 11 = 3*s. Let z(a) = 2*a + 2. Let x be z(s). Solve 0 = -3*l + q + x for l.
4
Suppose -t - 2*h = -4 - 9, -4*h = -t - 17. Suppose 2*u = -c + 5, -t*u = -5*c - u + 37. Let z = -8 + 10. Solve c*y = z*y - 25 for y.
-5
Let r(y) = -2*y**3 - 5*y**2 - 3*y - 4. Let t be r(-3). Let v = -8 + t. Let g = v + -2. Solve 2*i = -2*i + g for i.
1
Let y be (-13 - -1)*(1 + 5/(-4)). Solve -y*i - 1 = -13 for i.
4
Let v be 26/(-6) + 2/6. Let c = -14 - -24. Let p = v + c. Solve 2*o - p*o - 4 = 0 for o.
-1
Suppose -6*m + 10*m = 32. Solve -m*p + 25 = -3*p for p.
5
Let s(q) be the first derivative of q**3/3 + q**2/2 + 1. Let z be s(-2). Let w = -10 + 10. Solve -z*d + 0*d = w for d.
0
Let f be 0*(-7 - 162/(-24)). Suppose -k = -4*l + 11, -3*l + 4*k = l - 20. Let o be (-5 - 1)*(-1)/l. Solve -o*d - d = f for d.
0
Let d(v) = v - 3. Let x be d(8). Suppose 3*w + 2 = x. Solve 0 = q + 1 + w for q.
-2
Let r be (6 - 2)/(-4) + 4. Solve 0*a = r*a for a.
0
Let b be 0/((0 - 0) + 2). Solve 3*m + 12 = -b*m for m.
-4
Let f be 74/10 + 6/(-15). Let m be 4 - (-3)/(-4 + f). Solve m = 2*u - 1 for u.
3
Let z(x) = -x**3 - 9*x**2 - 7*x + 7. Let p be z(-8). Let u = 26 + p. Solve -u = 5*g - 5 for g.
-4
Let o = 3 - 5. Let d be 1 - o - (2 - -1). Solve d = -3*u - 2*u for u.
0
Suppose 0*h - 4*h - 40 = 0. Let d be (-50)/5*(-4)/h. Let v be ((-18)/d)/((-27)/(-36)). Solve -i - v = -3*i for i.
3
Suppose -2*d + 2*j = -0 + 4, -4*d = -5*j + 12. Suppose 4 - d = z. Let h = 1 + z. Solve -h*w + 3 = -12 for w.
5
Suppose 26*z - 3 = 25*z. Solve 6 = -6*h + z*h for h.
-2
Suppose 49 = 5*z - 2*q - 28, 33 = 2*z - 3*q. Suppose -u = -2*u + y + z, 0 = -4*u - 4*y + 20. Solve u = w + w for w.
5
Suppose -2 - 2 = 4*b. Let m = 3 + b. Solve m*o = -o + 9 for o.
3
Suppose -5 = -2*g + 7. Let r = -2 + g. Suppose -3*j + 0*j = 0. Solve r = -j*x + x for x.
4
Let w be (7 - 2) + 0 - 3. Suppose w*b - 2*n - 8 = 7*b, -20 = 5*n. Solve 2*c - 4 = -b*c for c.
2
Let l be 4/(-2) + 2 + 28. Suppose 13*r = 9*r + l. Let o be 12/10*40/6. Solve -o = -5*u + r for u.
3
Let w be (-6)/(-2*(-6)/(-8)). Suppose 5*o + 7*z = 2*z - 25, -2*o + 3*z + 15 = 0. Let c be 0*(-1)/(3 - 4). Solve -w*k + c + 8 = o for k.
2
Let a be (-1)/(1/(-2)) - 2. Solve a = 5*x - 10*x for x.
0
Let s(q) = q**2 - 2. Let g be s(3). Solve 0 = 3*w - g*w - 4 for w.
-1
Let y(m) = -m**2 + m. Le