 - 0*v for v.
0
Let t be 4/16 + (-7)/(-4). Let s be ((-6)/(-8) - t)*-4. Solve s = -3*i - 10 for i.
-5
Let l(p) = 2*p + 2. Let w be l(-1). Solve w = s + 5 for s.
-5
Suppose 3*x = 2*x + 2. Suppose 2*z = 4 + x. Let j = 8 - z. Solve 0 = 4*n - j*n for n.
0
Suppose -4*q + 4*b - 12 = 0, 8*b = 3*b + 25. Solve l + q = 1 for l.
-1
Suppose -3*t = 4*k - 11, -5*t + k = 2*k - 7. Let m = t + -1. Solve m = 3*y + 4 + 2 for y.
-2
Let d(y) = y**3 - 12*y**2 + 11*y + 12. Let q be d(11). Solve -q = -6*c + 3*c for c.
4
Let g(i) = -2*i + 3. Let u(c) = c + 7. Let o be u(-10). Let n be g(o). Solve 2*t - 1 + n = 0 for t.
-4
Suppose -2*m + m = -4. Solve -t - m = -0*t for t.
-4
Let q = -4 - -7. Suppose 3*a = -0*y - 4*y - 3, a = 4*y - 1. Let h = 0 + y. Solve h = q*u - 8*u - 25 for u.
-5
Suppose -x - 4*w - 12 = 0, 0 = 2*w + 5 + 1. Solve 2*z + x*z = -6 for z.
-3
Let h(s) = -s**2 - 3*s - 3. Let m be h(-3). Let y be (6 - 9)/(m - -2). Solve -5*d = -y*d for d.
0
Let n(x) = 2 - 5*x**2 + 0*x**2 - x - x**3 - 3. Let m be (-10)/(-20)*(1 + -11). Let v be n(m). Solve 8 = -3*l - v for l.
-4
Suppose -10 = 2*r + 4. Let g be 4 + r - -5 - -1. Solve g = n + 6 for n.
-3
Let o(u) = 4*u - 8. Let c be o(7). Solve g + 3*g + c = 0 for g.
-5
Suppose 12 = 11*i - 7*i. Solve -20 = i*v + 2*v for v.
-4
Suppose 0 = 3*g - 2*i - 9, -5*g + 4*i + 16 = i. Solve -2 = g*c - 7 for c.
1
Suppose 0 = -s - 0*s. Let q = 6 - 6. Suppose q = -5*w + w + 28. Solve -3*b - w + 22 = s for b.
5
Let y(k) = -k + 6. Suppose 5*g = 3*g + 16. Let z be y(g). Let m be z/4*0/1. Solve m = -2*d - 0*d for d.
0
Suppose 184 = -4*a + 3*w, -15 = -2*a - 2*w - 107. Let d = -16 - a. Suppose 5*j = 45 + d. Solve 0*i = 3*i + j for i.
-5
Suppose -5*p + 12 + 18 = 0. Solve 0 = a - p*a - 25 for a.
-5
Suppose q = -4*m + 25, -q + 5*m - 20 = -0. Solve q*a - 2 = -7 for a.
-1
Let p be 40/(-8) - (-18)/2. Solve -p*c = -13 + 5 for c.
2
Let t(z) = 2*z - 16. Let a be t(9). Solve -5 + 1 = -a*k for k.
2
Suppose 5*f = -d - 0 - 25, d = -f - 5. Solve d = -2*a + a for a.
0
Suppose 2 = -3*b + 2*b. Let z be (b/(-5))/((-4)/(-20)). Let v = 12 - 7. Solve -3 = -v*n + z for n.
1
Suppose 5*p - 10 = 0, -2*c - p = p + 8. Let z = c + 13. Solve 0 = 5*y + 3 + z for y.
-2
Suppose -65 = -2*s - 9. Suppose 4*u = 6*u. Solve 4*m - 8 + s = u for m.
-5
Let a = -92 + 92. Solve a = -k + 4*k + 12 for k.
-4
Let z(k) = k**2 + k - 7. Let p be z(3). Solve -5*v + p + 20 = 0 for v.
5
Suppose -5*a - 6 = 4. Let p(d) = -2*d - 2. Let v be p(a). Suppose -3*r = v*r - 20. Solve -r*s = s for s.
0
Let i = 33 + -22. Solve 3 = -4*h + i for h.
2
Suppose 8*f - 18 = 5*f. Solve 2*b = f*b + 20 for b.
-5
Let i = 1 - -1. Suppose -5*k = -i*y + 4 + 3, 5*k = -5. Suppose -h - 10 = 4*w, -4*h + 56 = -3*w + y. Solve 2 = -3*x - h for x.
-4
Let q(t) = -t**3 - 5*t**2 - t - 3. Let i(n) = n**3 + 6*n**2 - 5*n + 9. Let k be i(-7). Let o be q(k). Solve 5*g - 13 = o for g.
3
Let r be (2/3)/(3/54). Suppose 4*g - 2*f = -6, -5*g - 3*f + r = f. Suppose 0 = -2*u - g*u. Solve -3*p - 6 + 0 = u for p.
-2
Let b be -1*(-2 - (2 + -4)). Let q(n) = n - 6. Let g be q(9). Suppose b = -g*t + s + 16, -5*s - 1 = 2*t - 6. Solve -t = -2*v + v for v.
5
Let r = 4 + -4. Suppose -2*y - 4*x + 20 = 2*y, 14 = 3*y + 4*x. Solve f - y*f = r for f.
0
Let g = -3 + 5. Solve -x = g - 6 for x.
4
Let h = 7 + 4. Suppose -h = 4*p + 9. Let k = 9 + p. Solve -v + 12 = -k*v for v.
-4
Let b = 3 - -5. Suppose 0 = -5*z + b - 3. Let s = 6 - z. Solve -k = s - 2 for k.
-3
Suppose -5*b + 10 = 0, -4*o - o = 4*b + 47. Let g = 19 + o. Solve 3 - g = -u for u.
5
Let v(b) = -b**3 + 8*b**2 + b - 3. Let n be v(8). Solve 0 = -n*p - 0*p + 5 for p.
1
Let f(a) = a**2 - a - 8. Let s be f(4). Let c be (-1)/s*-4*0. Solve -15 = -c*l + 3*l for l.
-5
Suppose 0 = d + 1 - 3. Solve -k = -d*k - 3 for k.
-3
Let v(t) = -3*t**3 - 2*t**2 + 2*t + 3. Let h be v(-2). Let g = -4 + h. Let q = -7 + g. Solve o - 3*o = -q for o.
2
Let k(p) = -p**3 + 9*p**2. Let q be k(9). Solve -s - s = q for s.
0
Let g(z) = z - 3. Let n be g(6). Suppose -5*k + 25 = 0, -c - k + 11 - n = 0. Solve 0 = -j - 0*j + c for j.
3
Suppose 2*v + 7 - 15 = 0. Solve 0*s + v = 4*s for s.
1
Let c(r) = -r**2 + r. Let i be c(0). Suppose -2*x - 4*a - 6 = i, -5*x + 2*a = 3*a - 12. Let q be (-14)/(-6) + 2/x. Solve s + 8 = -q*s for s.
-2
Let z be (-68)/(-3)*9/6. Let f(u) = u**2 + 4*u - 3. Let g be f(2). Solve 5*k + z = g for k.
-5
Let l(h) = -5*h + 2. Let d(g) = g - 1. Let i(s) = 4*d(s) + l(s). Let p be i(-7). Suppose 12 = v - 3*m, 2*v - 7 = 2*m + 1. Solve -p*x = -v*x - 25 for x.
5
Let w(z) = z**2 - 4*z + 2. Let b be w(3). Let x = 4 + b. Solve 6 = x*r - r for r.
3
Suppose -10 - 8 = -4*u + 2*i, 3*u - 16 = -i. Let f = 3 - u. Let t be f + (-3 - -4) - -3. Solve 0 = 2*m - 0*m + t for m.
-1
Suppose 22 = 3*l + 4*n, -3*n - 2*n = -5. Solve -l*j = -j + 10 for j.
-2
Let j(q) = -q**2 - q - 4. Let l(n) = n**2 + n. Let m(g) = -j(g) - 2*l(g). Let o be m(0). Let c be (-2)/2*(-2 - -2). Solve c = -o*k - k for k.
0
Let p = 4 - -1. Solve 0 = -3*a + 17 - p for a.
4
Let w(v) be the first derivative of -3*v**4/8 - v**3/6 + v**2/2 - 4. Let h(s) be the second derivative of w(s). Let a be h(-1). Solve 0 = -4*z + a for z.
2
Suppose 5 = -4*o + 25. Suppose -5 = -u - 6, -5*y + 4*u = -19. Solve 12 + y = o*w for w.
3
Suppose -4*u + 2*s - 10 = 0, 2*u + 3*s = 4 + 3. Let w(a) be the first derivative of 5*a**3/3 + a**2/2 + 1. Let d be w(u). Solve d*y = y - 3 for y.
-1
Suppose -5*k + 3*v - 6 = -22, -3*v = 5*k - 4. Solve -2*m - 16 = k*m for m.
-4
Suppose -4*g + 14 = -26. Solve -3*v + g = 4 for v.
2
Suppose 5*y - 2*r = 0, 2*r + r = y + 13. Solve -2*p + y = -2 for p.
2
Suppose 6 = -2*m + 10. Suppose 5*c + p = 23, 5*c + m*p - 10 = 16. Solve -2*s + 6 = -c for s.
5
Let k = -93 - -99. Solve -k = -v - 1 for v.
5
Let p(r) = -2*r**2 - 19*r - 4. Let c be p(-9). Solve 25 = -0*g + c*g for g.
5
Suppose -t + 11 = 2*h, 4*h - 29 = -4*t + t. Let y(g) = g - 2. Let s be y(t). Suppose -k = 5*z - 18, -8*k - 30 = -s*z - 3*k. Solve -z*n = -n for n.
0
Let t be ((-4)/(-5))/(-2)*5. Let s be 1*(-4)/2*(-8)/(-16). Let q be (s - t)*(-1 + 1). Solve -3*m + 2 + 4 = q for m.
2
Let b = 180 + -170. Suppose -11 - 4 = -5*u. Solve u*l - l = -b for l.
-5
Let r(k) = -2*k**2 - 22*k - 16. Let p be r(-10). Solve -4*g + 12 + p = 0 for g.
4
Let k(u) = -u**3 + u. Let z(m) = -7*m**3 - 3*m**2 + 6*m - 1. Let y(q) = 6*k(q) - z(q). Let o be y(-3). Let r = o - 1. Solve 7*d - 2*d = r for d.
0
Let y(f) = 7*f - 3. Let w be y(2). Let g(o) = 7*o**2 + 2*o. Let z(h) = 13*h**2 + 3*h. Let i(d) = w*g(d) - 6*z(d). Let v be i(4). Solve 4 + v = -2*p for p.
-2
Let v = -11 + 17. Let t = -13 + 14. Solve -g = -t + v for g.
-5
Suppose 5*g - 5 - 9 = -2*o, 0 = -4*o + 4*g. Suppose -2*y + 5*b = -20, -7*y + 2*b = -2*y - 8. Solve s - o*s = y for s.
0
Suppose -u - 2 = -6. Let g(a) = a**3 - 5*a**2 + 4*a + 4. Let x be g(u). Solve 10 = 6*r - x*r for r.
5
Suppose 2*h = -3*h + 10. Suppose 2*z = 8 + h. Solve 4*n = 3*n - z for n.
-5
Let p(l) = -8 + 4*l**2 - 2*l + 4*l**2 + 0*l**2 - 3*l - l**3. Let n be p(7). Let d = 2 + n. Solve -2*y = -0*y - d for y.
4
Suppose 4*g = -4*o - 0*g - 12, 4*g = -5*o - 10. Suppose -5*f - o*a - 5 = 0, 4 + 0 = -4*f + 5*a. Let n = 3 + f. Solve 5*p - 3 = n*p for p.
1
Let w(p) be the third derivative of -p**6/144 - p**4/12 - 2*p**2. Let r(j) be the second derivative of w(j). Let x be r(-3). Solve -b - 2*b = -x for b.
5
Let d be (-3 + 0)/(3/(-6)*2). Suppose -i = -3 + 1. Solve -1 - i = -d*b for b.
1
Let x(o) = -o**3 - o**2 + 3. Let a be x(0). Suppose -g = -a*b, -2*g - 2*b + 9 = b. Solve v = g*v - 4 for v.
2
Let v = -10 - -12. Solve -v*w = 3*w - 10 for w.
2
Let m(k) = -2*k**3 + 4*k**2 + k + 3. Let f(w) = 3*w**3 - 6*w**2 - w - 4. Let l(j) = 5*f(j) + 8*m(j). Let i be l(3). Solve 0 = -i*c + 5*c + 5 for c.
-5
Let m = 6 - -4. Solve -m = 3*j - 4 for j.
-2
Suppose -7*a = -2*a. Suppose a = -3*p + 5*p - 2. Solve 4 = 5*i - p for i.
1
Suppose 4*y - 12 = -2*a + 42, 5*a = -4*y + 45. Solve c = 4*c - y for c.
5
Suppose 2*f + 2*z + 4 = 0, -3*z = -f + 2*z + 10. Let s = 0 - -4. Solve -v + f = -s for v.
4
Let b be (-2)/6 - 1/(-3). Let j = b - -2. Suppose 0 = -j*i - 0 + 4. Solve 6 = i*g - 0 for g.
3
Let i be (-2*20 + 4)/(-2). Let z be 9/i*(-2)/(-1). Solve 0 = -2*t - z - 3 for t.
-2
Let p(f) = 4*f**2 - 2*f + 4. Let t be p(3). Suppose t = 3*k - 41. Let z be (3/4)/(152