 = 3*v - s*v for v.
0
Suppose -5*i + 20 = -2*x, -x - 8 = -2*i - 0*x. Solve -2*o + 6 = -i for o.
5
Suppose 0 = 4*k - 0*k. Suppose -5*u = -20 - k. Suppose u*t + t = 5. Solve -2*s + t = -s for s.
1
Suppose -11*p + 15 = -6*p. Suppose -2*t + 1 = o + 3, -4*o = 4*t. Suppose a - q - 3 = -a, -o*q = -6. Solve a = -p*x - 6 for x.
-3
Let d be 8/6*(4 + -7). Let h = d - -7. Solve 0*z - h*z = -3 for z.
1
Suppose -2*m = -c - 9, -10 = -2*m + 4*c - 2*c. Solve 0 = 3*v + 1 - m for v.
1
Let j(p) be the third derivative of p**5/60 + p**4/2 + p**3/2 - 6*p**2. Let w be j(-12). Solve -2*b + 1 = -w for b.
2
Let l(t) = t + 5. Let r be l(-7). Let c be (-10)/r + 3 + -6. Solve c = -4*w + 18 for w.
4
Suppose 0 = -j - 1 + 14. Suppose 4*s - 3*l - 20 = -7*l, -j = -5*s + l. Suppose -g - 4 = -2*n - 19, -s*n = -4*g + 40. Solve g*h = 2*h for h.
0
Let n be (6/4)/(6/8). Suppose 5 = g, -3*z + 13 = 2*g - 9. Let d be (2/3)/(z/18). Solve 0 = -n*j - d*j - 20 for j.
-4
Let z(w) = -w**2 - w + 3. Let f be z(0). Solve -f*s = 2*s - 10 for s.
2
Let h = -5 - -7. Let d = 2 + h. Solve d = 4*r - 0 for r.
1
Suppose -20 = -7*w + 1. Solve 0*v - 12 = -w*v for v.
4
Let c be (4/(-6))/((-5)/15). Let d be (-1)/(-2) - 1/c. Solve d = 4*p - 16 - 0 for p.
4
Suppose 0 = -4*w + 6 + 2. Let y be w - 1 - 1/(-1). Suppose -y*z = 3*z. Solve z = 4*f - 6*f for f.
0
Suppose 0 = -w - 4*k - 4, w + w - 4*k = -20. Let d = -4 - w. Solve 0*n - d = -n for n.
4
Let d be 0/(-1) + 27/9. Suppose z - 4 = d*z. Let i(t) = t**2 + 3*t + 2. Let q be i(z). Solve q = -b - 4*b + 10 for b.
2
Let g(u) = -1 + 12*u**2 - u**3 - 6*u - 4*u - 6*u**2 + 5*u**2. Let x be g(10). Let l be ((0/3)/x)/(-1). Solve -4*b - b + 15 = l for b.
3
Suppose -1 = n - 6. Let q = 27 - n. Let g = q + -7. Solve -z = 2*z - g for z.
5
Suppose -n - 6 = -3. Let h be 0 - n/(3/(-2)). Let k be ((-8)/10)/(h/20). Solve 8 + k = 4*r for r.
4
Let p be (-3)/(0 - 3) + 4. Solve -p = i - 0 for i.
-5
Suppose 0*z = -4*z - 8, -2*t - 5*z - 10 = 0. Suppose -d + 2 + 8 = t. Solve -6*k = -k + d for k.
-2
Let m = 2 - -7. Solve -3*d = 24 - m for d.
-5
Let p be 1 - -2*1/(-2). Suppose 0*m - m + 20 = p. Solve -4*q + 0*q + m = 0 for q.
5
Let o = 74 - 49. Solve 0*v - o = 5*v for v.
-5
Let w = -10 + 6. Let o be 6/12 + (-6)/w. Suppose 2*s = o + 4. Solve 0 + s = l for l.
3
Suppose -f - 2*f = 2*l + 3, 2*l - 3*f - 3 = 0. Let v = l - -5. Suppose 0 = -v*b + 2*b. Solve -d - d = b for d.
0
Let x(t) = -7*t**3 - 2*t**2 - 2*t - 1. Let q be x(-1). Suppose v = q*v. Solve -2*s = -8 - v for s.
4
Let q be (5/3)/((-2)/(-18)). Suppose -z - 5*m - 14 = 0, -5*m - q - 5 = 0. Suppose z = 2*b + b. Solve 2 = -s - b for s.
-4
Let s be -1 + (-2 - -6) + 16. Solve 5*c - s = 1 for c.
4
Let l = 2 + -3. Let j be (-6 - 1)*(l - -2). Let d = -2 - j. Solve 0*r - d = -r for r.
5
Let g = -1 + 2. Let i = 4 + g. Suppose -i*x + 11 = 1. Solve -w + 15 = x*w for w.
5
Suppose -5*x - 4 = 2*d, 5*d - x = 4*d + 5. Solve -d*i = 4 - 16 for i.
4
Suppose 0 = 2*q + 1 - 7. Solve 0 = -q*a + 9 + 3 for a.
4
Let y(d) be the first derivative of -1/3*d**3 + 5*d - 2*d**2 + 3. Let x be y(-5). Solve x*n = -5*n for n.
0
Suppose 0 = -x - 2*x - 18. Let a be 1*-3*(-2)/6. Let g be 4/x*(-6)/a. Solve -3*w = -7*w + g for w.
1
Let a(n) = -5*n - 4. Let w be a(-4). Let p = -153 - -33. Let d be (-4)/5*p/w. Solve l = d*l - 10 for l.
2
Let r = -5 - -6. Suppose -2*h + r + 3 = 0. Solve -h*c = c + 3 for c.
-1
Let k = 1 - -6. Let p be -4 + 8/2 - 5. Let v = p + k. Solve -c - v*c = -15 for c.
5
Suppose 3*i - 3*w = 39, w + 27 = 2*i - 0*w. Let c(j) = -j**3 + 15*j**2 - 14*j + 2. Let o be c(i). Solve -q - q - o = 0 for q.
-1
Let t(k) be the third derivative of -k**4/24 - 5*k**3/6 + k**2. Let a(l) = -l - 6. Let q(p) = 6*a(p) - 7*t(p). Let h be q(7). Solve -h*w + w = -20 for w.
4
Suppose -24 = 3*x - 5*k, -3*x + 3*k = 6*k + 24. Let u be 4/x - (-41)/2. Solve -u = -0*r - 5*r for r.
4
Let p(m) = m - 1. Let b be p(4). Solve -b*f + 10 = 2*f for f.
2
Let u(x) = x**2 - x - 1. Let a be u(3). Suppose 4*l = a*g - 53, -2*l - l - 33 = -3*g. Suppose 4*q = o + g, 3*q - 3 - 7 = 4*o. Solve 0 = q*r + 12 - 2 for r.
-5
Suppose 5*q + 2*f = 0, 0 = 5*q - 0*f + 5*f + 15. Suppose 0*k = -q*k. Solve k - 5 = 5*z for z.
-1
Let q be -1 - -4 - (0 + -3). Suppose 2*b + 5*s + q = 0, 0 = -5*b - 0*s + 2*s + 14. Solve -r = b*r for r.
0
Suppose 79*x + 42 = 85*x. Solve 0 = x*d - 3*d + 12 for d.
-3
Let g = -16 + 18. Suppose 5*z - q - g*q - 17 = 0, -z + 4*q = 0. Solve z*r - 1 = 5*r for r.
-1
Suppose -o - 75 = -4*o. Suppose 6*h - o = 11. Solve -s + h = 2*s for s.
2
Let s(m) = -6*m - 9. Let l be s(-8). Let g = -27 + l. Solve 5*y = y - g for y.
-3
Let a be ((2 - 4 - -2)/2)/2. Solve -3*l + 0*l + 12 = a for l.
4
Let o be (-5)/(-2)*8/10. Let w be -2 + 1 + 0 + 2. Solve -d - o = w for d.
-3
Let a = 17 - 17. Solve -j + 6*j + 15 = a for j.
-3
Let a(x) = 2*x**3 + 3*x**2 + 11. Let i(u) = 3*u**3 + 5*u**2 + 16. Let z(r) = 8*a(r) - 5*i(r). Let v be z(0). Suppose 4 = 4*b - v. Solve -b*h + 6 = -9 for h.
5
Suppose 0 = -3*v + 9 + 9. Let r = v + -3. Solve 2*i - 10 = -r*i for i.
2
Let y(w) = w**3 - 6*w**2 - 8*w - 5. Let z be y(7). Let b = z - -17. Suppose b*x = 21 + 4. Solve x*g = 4*g + 1 for g.
1
Suppose 0 = p + 4, 2*t + 12 + 4 = -4*p. Suppose -4*n = -0*n. Suppose 10 = 5*i + 3*d - 1, -2*i - 4*d - 4 = n. Solve -i = x - t*x for x.
-4
Let f be 2*4 + (-28)/7. Solve 10 = -f*a + 30 for a.
5
Suppose 0 = 4*w - 1 - 7. Solve 9 = w*h - 1 for h.
5
Suppose 0 = -2*r - 0*r. Suppose r*o = -o + 5. Solve o*g - 2*g = -6 for g.
-2
Let l = -18 + 20. Solve -l*c - c = 0 for c.
0
Let i = -42 + 44. Solve i*l + 3*l - 20 = 0 for l.
4
Suppose 17 = 4*a + 45. Let p(z) = -5 - z**2 + 15 + 3*z - 9*z. Let u be p(a). Solve -u*y = -8*y - 5 for y.
-1
Let s(c) = c - 1. Let p(a) = 6*a. Let g(x) = -p(x) + 4*s(x). Let o be g(-4). Solve -t = o*t + 10 for t.
-2
Let g = 27 + -25. Let d be g - -9 - (4 + -1). Solve 0 = 2*t - 0*t + d for t.
-4
Suppose 1 = m - 1. Solve m + 1 = -y for y.
-3
Let w(g) = -3*g - 3. Let f be w(-3). Solve -c - c - f = 0 for c.
-3
Let i(t) = t**3 + 4*t**2 + 3*t + 2. Let n be i(-3). Solve 0 = -2*j + 2 + n for j.
2
Let q(d) = -d**2 - 11*d - 22. Let y be q(-6). Solve -y = f + f for f.
-4
Let c = 8 - 12. Let j = 0 - c. Solve 2*f = f + j for f.
4
Let r = 0 - -3. Let v be -6*2/(-4)*r. Solve -4*b + 29 = v for b.
5
Suppose -3*b - x + 0 + 3 = 0, -4*x = -3*b + 18. Solve 7 - 3 = b*g for g.
2
Suppose -5*h = -7 - 3. Solve -h*c - c - 15 = 0 for c.
-5
Let j(y) = 2*y**2 + 4*y - 3. Let z be j(-3). Solve 4*v - z - 1 = 0 for v.
1
Let b(m) = m**2 + 6*m - 1. Let l be b(-7). Let o be 4/l - (-32)/6. Let y be -2 + 8*3/o. Solve -6 = -4*a + y for a.
2
Suppose 13 = 9*l - 14. Solve 5*n - 4 = l*n for n.
2
Suppose -9*f + 30 = -7*f. Solve -x - 4*x + f = 0 for x.
3
Let i(z) = z**2 - 4*z - 1. Let d be i(5). Suppose 0 = -0*w - d*w + 16. Suppose t - 2*v + 15 = -7*v, 2*t - 26 = w*v. Solve 0 = 2*l - t - 1 for l.
3
Let a(m) = -2*m - 9. Let w be a(-7). Solve w*v - 6 - 4 = 0 for v.
2
Suppose 8*c - 5*c = 0. Suppose h - 10 = -c*h. Let w be (15/h)/(1/4). Solve 0 = 4*y + 2 + w for y.
-2
Suppose 11*d + 12 = 14*d. Suppose -y = -4*k - 5, 2*y - d*k - 34 = -4. Solve -3*f - 2*f = y for f.
-5
Let w be 6/(-9) + 5/3. Let s = w + -1. Suppose -3*o + o = s. Solve 0*f + 5*f + 10 = o for f.
-2
Let u(y) = -9*y - 10. Let z be u(-2). Solve -z = -5*g + g for g.
2
Suppose 4*x - 51 = r, x - 19 = -r - 0*r. Suppose -x - 19 = -3*g. Let w = -9 + g. Solve -w*s + 3 = s for s.
1
Suppose 0 = -4*i - 3*a + 14, 2*i + 2*a = 5*i - 2. Solve i*o - 9 = -o for o.
3
Suppose 4*g + p - 45 = 24, -4*p + 52 = 2*g. Let m be ((-12)/g)/(4/(-16)). Solve -2 + m = -j for j.
-1
Let b(a) = a**2 + 4*a + 5. Let n be b(-4). Suppose 5*m - 2*l - 26 + 10 = 0, 0 = -n*l - 15. Solve -2*t - m*t = -12 for t.
3
Let r be -1 - -1*2 - (-13 - -11). Solve -t - 1 = r for t.
-4
Suppose 5 = 4*m + m. Let v = -6 + m. Let j = -3 - v. Solve 0 = -4*y + j*y - 8 for y.
-4
Let g(m) be the second derivative of m**4/12 - 3*m**3/2 - 7*m**2/2 + 3*m. Let c be g(10). Solve -c*p + 6 = -p for p.
3
Suppose -2*h + 10 = 0, -19 = -5*g + 3*h + 16. Suppose -g = -6*a + a. Let d be (6/4)/((-8)/(-16)). Solve -a*f = -d*f - 2 for f.
-2
Suppose 2*n + 3*z + 6 = 7*z, -29 = -5*n - z. Let q be 5 - (-1)/2*-4. Suppose -q*d - 4*a = n, a = -2*d - 3*a - 10. Solve 0 = d*p - 3*p - 8 for p.
4
Let b be 4 - (-5)/((-15)/