-3*v for v.
-3
Let z(q) = -6 + 10 - q**2 + 0*q - 5*q. Let p be (-2 - -1)/((-2)/(-10)). Let g be z(p). Solve -6 = -g*n + n for n.
2
Let w(j) = 3 + 4 - j**2 - 4 - 5 - 5*j. Let v be w(-3). Solve 0 = 4*u - v - 16 for u.
5
Let j = -1 - -12. Let k = j + -9. Solve 0 = -k*z + z + 4 for z.
4
Let k be 66/88*(-16)/(-6). Suppose -w + 9 = 2*w. Solve k = -i - w for i.
-5
Let v = 100 + -99. Solve -v = -2*i - 9 for i.
-4
Let j(o) = -2*o**3 - 2*o**2 + o - 2. Let k be j(-2). Suppose -q = -8 - k. Solve 4*h + q = -0 for h.
-3
Suppose -2*t = -0*t. Suppose -v + 4 = -t*v. Solve 0 = v*z + 2 - 18 for z.
4
Suppose 0 = -3*h + 4*w + 11, h - 4*w = 3*h - 34. Let g = -8 + h. Solve j - g = 3 for j.
4
Suppose -4 = -k, 38 = -3*s - 3*k + 8*k. Let l(o) = -o**3 - 5*o**2 + 5*o - 3. Let a be l(s). Suppose -a*x = x. Solve -f - 3*f = x for f.
0
Let i be (1 + 1)/(-2) + 0. Let j be 46/12 - i/6. Solve 0 = j*k - k for k.
0
Let h(t) = -3*t**2 + 6*t**2 + 0*t**2. Let b be h(-1). Solve -12 + 0 = b*c for c.
-4
Suppose -7*q - 12 = -3*q. Let l be q - 5*(-2 + 1). Solve l*i = -4 - 2 for i.
-3
Let l(x) = -x + 3. Let q be l(-9). Let j = -6 - -11. Suppose 3*o + 4 = j*o. Solve 0 = -5*u - o + q for u.
2
Let n(z) = 3*z - 29. Let q be n(13). Suppose 5*x = -r + x + 14, 2*x = 2*r + 2. Solve 0*u = r*u - q for u.
5
Let g be ((-4)/12)/(1/(-12)). Let u be (-3)/2*g/(-3). Suppose 5*v + 4*f = -12, v - u*f - 7 = -1. Solve 2*t + v = 10 for t.
5
Let r = -1 - -1. Suppose p + 3*k - 17 = r, -2*k = -2*p - p + 7. Solve 0*f + 20 = p*f for f.
4
Suppose 0 = 2*z - 2*f + 12, -z + 2*z = 3*f. Let h = 1 - z. Suppose 5*l - 55 = -4*a, -3*l + h = a - 16. Solve 2*r - 20 = l*r for r.
-4
Let y = 94 - 87. Solve -9 - y = -4*c for c.
4
Suppose 12 = y + 2*y. Suppose -v + 5*a + 24 = 0, 3*a = -v + 7*a + 20. Solve -2*u = -y*u + v for u.
2
Suppose 0 = -5*k + 39 + 1. Solve 5*q + 28 = k for q.
-4
Suppose 9 + 16 = 4*b - o, -5*b + 3*o + 40 = 0. Solve -p = -b*p - 4 for p.
-1
Let q(a) = a**2 - 3*a. Suppose 5*k + 6 = -3*o, 7*k + 3 = -2*o + 4*k. Let g be q(o). Suppose 40 + g = 5*f. Solve f*c - 3*c + 25 = 0 for c.
-5
Let f be (-8)/(-3)*-1*-3. Solve -5*g + g = -f for g.
2
Let s = 4 + -4. Let u(g) = g**2 + 8*g + 10. Let h be u(-7). Let x = h - s. Solve 6 = -x*t - 6 for t.
-4
Suppose -q - 20 = -3*q. Suppose q = y + 3*y - 2*h, 1 = -2*y + 3*h. Solve 9 + 3 = y*l for l.
3
Let p(a) = a + 11. Let b be p(-6). Solve 0 = 2*r - b - 3 for r.
4
Suppose 1 = -5*w + 6. Suppose -2*f + w = -3. Solve 0 = -f*y + 5*y for y.
0
Suppose -2 = -0*w - w. Solve -s = -w*s - 2 for s.
-2
Let a(n) = -n**2 + 9*n + 6. Let o be a(9). Suppose 24 = -o*l + 3*l. Let f = -6 - l. Solve 0*s - f*s = -10 for s.
5
Suppose 5*c - 6*c + 6 = 0. Solve 0 = -4*m + c*m for m.
0
Suppose -2*h - 3*w + w - 16 = 0, -5*h + w - 10 = 0. Let q be ((-1)/(-2))/(h/18). Let t be (2 - 1)/(q/(-9)). Solve t - 5 = -o for o.
2
Suppose 0 = -d - 37 + 40. Solve d + 17 = 5*u for u.
4
Suppose -4*d + 28 = -2*d - 4*g, d - 4*g = 22. Let c = 1 - -2. Suppose c*j - j = 0. Solve d = -3*o - j*o for o.
-2
Let m = -5 + 8. Let o(g) = -g**2 - 5*g. Let c be o(-3). Let u be (c/(-9))/(6/(-63)). Solve 0 = 2*x - u + m for x.
2
Let y be 75/21 + 12/28. Solve t = 2*t + y for t.
-4
Let o = 8 + -9. Let w be 1 + 1/(o/(-3)). Solve -r + w - 9 = 0 for r.
-5
Suppose a = -j, 5*j = -0*a - a - 8. Let y = j - -4. Solve 6*h - y*h = 8 for h.
2
Suppose 1 - 2 = 2*j - k, -3*j = 3*k - 3. Solve 0*q + q + 4 = j for q.
-4
Suppose -14*h = -18*h. Solve v = -h - 1 for v.
-1
Suppose 0 = 4*y - 28 + 16. Solve -y*k + 2*k = 0 for k.
0
Let v = 3 + -1. Suppose 5*s = 3*s + 64. Let g be s/56*7/v. Solve -g - 1 = 3*a for a.
-1
Let m(j) = 2*j**3 + 1. Let v be m(1). Suppose -2*a - 20 = -v*a. Let q be (-7)/(-2) + (-27)/(-18). Solve q*n - a = n for n.
5
Let q be 2 - (2 - (0 - 0)). Suppose q = -3*o + 8 + 4. Solve 2*a + 6 = o*a for a.
3
Suppose 5*w = -5, 3*t + 3*w = 2*w + 5. Solve -t*o + 4*o - 10 = 0 for o.
5
Let l be (-3)/(6/4) - 0. Let j = l + 7. Suppose -b + 1 - 2 = 3*x, j = -5*x. Solve -2*r + 4 = -b for r.
3
Suppose -f + 0*f = -3. Solve -j - 1 = -f for j.
2
Let j(p) = -p**2 - 4*p - 2. Suppose 0 = -3*r - 2*w - 2, 2*r - 4 = -r - 5*w. Let v be j(r). Solve 0 = -t - 6 + v for t.
-4
Let c be 1/(-1) + 2*-2. Let s be (-6)/(-5)*-1*c. Let m = 10 - s. Solve m*b - 18 = -6 for b.
3
Suppose 4 = -2*a - 4*o, -o - 6 = -0*a - 2*a. Let i(r) = -9*r - 1. Let s be i(-3). Suppose a*l - s = -9*c + 5*c, -1 = -c. Solve 5*j + l + 9 = 0 for j.
-4
Let g(c) = -c + 2. Let b be g(-2). Suppose b*i - 5*i - 24 = 5*s, 2*i = 4*s + 8. Let t(w) = -w**3 - 3*w**2 + 4*w. Let z be t(i). Solve z = -2*q - q - 12 for q.
-4
Let a = -23 + 24. Solve -g + a = 3 for g.
-2
Let a be 7/28 + ((-2)/(-2))/(-4). Solve -2*j - 9 + 3 = a for j.
-3
Let a(m) = -3*m**2 - 10 - 13*m + 2*m**2 + 0*m**2. Let w be a(-11). Solve 2*y + y = w for y.
4
Let x be (1 + 0)*(-11 + 3). Let p be (4/2 + x)/(-1). Let o = 8 - p. Solve -1 - o = -f for f.
3
Suppose 5*c - 1 = -4*m, 1 = 5*c - m - 5. Solve 4*t + c = -3 for t.
-1
Let a(i) = i**3 - 16*i**2. Let f be a(16). Solve -2*c - 2*c + 8 = f for c.
2
Suppose -4*k - 28 + 5 = -5*c, 5*c = 5*k + 25. Solve 1 = -2*o - c for o.
-2
Let n = 10 + -7. Solve -2*l = n*l - 20 for l.
4
Let v = 0 + -1. Let u(a) be the second derivative of 5*a**4/3 - 3*a. Let r be u(v). Solve r = -n - 4*n for n.
-4
Let u(n) = -n**2 + 5*n + 4. Let p be u(5). Suppose -i + p = -0. Solve k = -i*k + 20 for k.
4
Let j(a) be the first derivative of -9*a + 3 + 1/3*a**3 + 5/2*a**2. Let n be j(-7). Solve n*p - 4 = 6 for p.
2
Let s(z) = z**3 + 4. Let o be -3 + 5 + -1 + -1. Let q be s(o). Suppose v - q*v + 12 = 0. Solve c - v = -c for c.
2
Suppose -y + 20 = 68. Let x be y/10*15/(-6). Solve -x = -0*c - 3*c for c.
4
Let z(u) = -4*u**2 - 6*u + 1. Let v(j) = -7*j**2 - 11*j + 1. Let g(s) = -3*v(s) + 5*z(s). Let x be g(-3). Solve 9 - 1 = x*o for o.
4
Let j = 9 - -4. Suppose j = -4*k + 45. Solve 0*g = 4*g - k for g.
2
Let n be 20*((-9)/6 + 2). Suppose -4*r + 10 = -n. Let w = -2 + r. Solve -3*o + w + 9 = 0 for o.
4
Let j = 4 + 0. Suppose -t - 11 = -j*f, -5*f - 2*t = -0 - 17. Suppose 0 = 2*m + 4*n + 2, 4*m - 8 = 2*m + n. Solve -2*v = -f*v - m for v.
-3
Suppose -5*n - 5*j + 9 = -6, 3*n - 4*j - 2 = 0. Solve n = 4*h + 6 for h.
-1
Let o be (35/(-28))/((-2)/8). Solve 0 = -5*d - 20 - o for d.
-5
Let k = 27 + -16. Suppose n = k - 8. Solve -n*q + 0 = 6 for q.
-2
Let o = 1 - -6. Suppose -3*c + 16 = -o*c. Let m be c/(-8) + 29/2. Solve y = 4*y + m for y.
-5
Let d be 22 + -5 + -2 + -2. Solve -4*m + 5 = d for m.
-2
Suppose a = -4*g + 28, -5*g - 2*a + a = -34. Solve -p = p - g for p.
3
Let n be -5*(12/24)/(1/(-2)). Solve 0*k + n*k + 5 = 0 for k.
-1
Let x(t) be the first derivative of 0*t + 1/2*t**2 + 2. Let f be x(2). Solve -f*m = -0*m for m.
0
Let m be 4/(-26) - (-24)/(-13). Let g be 1/(m + 1) - -11. Solve 10 = 4*b - g for b.
5
Let k = -2 + 0. Let m be k/6 - 20/(-6). Suppose m*x - 15 = -g, -x + 13 = g + 4*x. Solve 5*q + 7 = -g for q.
-5
Suppose 0 = 3*u - 5*x - 16, -3*u = -2*x + x - 8. Let g = -26 - -30. Solve g = -a + u*a for a.
4
Suppose 4*f - 16 - 44 = 0. Suppose 3*h = -2*h. Suppose h = q - 3. Solve -8*b + f = -q*b for b.
3
Suppose 4*l - 4*d = -8, 0 = 4*l + d - 19 + 2. Solve l*v + 0*v + 9 = 0 for v.
-3
Let t be -1 + -2 + 4 + 1. Suppose t*f - 10 = 2. Solve -3*n + f = -n for n.
3
Let m(v) = 2*v + 21. Let n(t) = t + 10. Let f(c) = 3*m(c) - 5*n(c). Let q be f(-9). Solve 0 = y - 3*y - q for y.
-2
Let s be (-12)/(-5 - 1) + 1 + 1. Solve -d - 9 = -s*d for d.
3
Suppose -20 - 12 = -3*d - 2*t, t - 44 = -5*d. Solve 3*m = -m - d for m.
-2
Let k(q) = q**3 - 7*q**2 - 7*q - 4. Let o be k(8). Solve -2*d + o = -0*d for d.
2
Let n be (-16 + 17)/(2*1/8). Solve -11 = -n*o + 1 for o.
3
Let g = 4 - -1. Suppose -k - 2 = -g. Suppose -2*c - j + 4 = 0, k*c - 7*j = -3*j - 5. Solve u - c = 4 for u.
5
Let g = 2 - 1. Suppose 0 = 5*q + t - 0 - 11, -3*t = -2*q + 1. Let z = q - 0. Solve -v + g = -z*v for v.
-1
Suppose 9*o - 105 = 2*o. Solve -o = -2*a - a for a.
5
Let j be 3*(-44)/(-24)*8. Suppose -2*y - 2*y = 3*s - 19, 0 = 5*y - 3*s - j. Solve -2*u = -y*u for u.
0
Let x = 52 + -43. Solve 0 = -5*k + x + 1 for k.
2
Suppose -1 = 5*m - 41. Suppose m*n = 4*n + 24. Solve 0*k + n = 3*k for k.
2
Let t(s) = 2*s + 1 - 5*s + 2*s. Let x be t(1). Let l(j) = -j**3 + 4*j**2 + 5*j. Let d be l(5). Solve d = -w - x - 5 for w.