 = 8. Let u = -2 + g. Solve -u*t = t for t.
0
Suppose 3*s + 7 = -2*r, 4*s + 2 + 6 = -4*r. Solve 2 = j - r for j.
3
Suppose 2*t + 3 = 5*c, -t - 4*t + 6 = c. Solve 5 = 2*z + t for z.
2
Let d be -3 + 2 + 4 + -10. Let t(z) = z**3 + 7*z**2 - 2*z - 9. Let o be t(d). Solve 0 = 3*v + o + 1 for v.
-2
Let f be ((-40)/(-16))/(2/12). Suppose 0 = 3*u - 0*u - f. Solve -6*z = -z + u for z.
-1
Let a(d) = 3*d**2 - 2*d + 1. Let l(v) = -v**2 + 2 + 8*v - 12*v**2 - 6. Let t(m) = -9*a(m) - 2*l(m). Let f be t(1). Solve 0*h + 4*h + 4 = f for h.
-1
Let i be ((-3)/(-9))/(2/18). Let s be (-2 + 5)*(-2)/i. Let v = s - -2. Solve 0 = 4*b - 12 - v for b.
3
Let r(t) = 5*t**3 + 24*t**2 + 24*t + 15. Let m(c) = 3*c**3 + 12*c**2 + 12*c + 7. Let i(u) = 7*m(u) - 4*r(u). Let x be i(13). Solve x*d + 8 + 0 = 0 for d.
-4
Let c be (1 + -6)*(-8)/10. Let g be (c/(-6))/(3/(-18)). Let t = 6 - 6. Solve 3*q - g*q - 3 = t for q.
-3
Let u(y) = y + 7. Let a be u(-3). Suppose -3*j - 12 = 2*p, 22 = -a*p - j - 4*j. Let b(l) = -l**2 - 4*l + 2. Let x be b(p). Solve -x*v + v = -12 for v.
3
Suppose 3*o - 19 = -1. Let c = o + -8. Let y = c - -4. Solve -m + y*m - 3 = 0 for m.
3
Let i = 41 + -31. Solve k + k + i = 0 for k.
-5
Suppose 7*s - 15 = 27. Solve -4*k = s - 2 for k.
-1
Let o = 3 + -1. Solve o*m = 7*m + 15 for m.
-3
Suppose 13 = 2*x + i, 3*x - i = 4*i + 13. Let g be -1*3 - (-11 - -6). Solve -g + x = 2*q for q.
2
Let j(d) = 4*d**2 - 2*d + 5. Let a be j(0). Solve 16 = k - a*k for k.
-4
Let p(h) = -2*h + 34. Let o be p(14). Solve 9 = o*u - 3*u for u.
3
Let x(q) = q**2 - 2*q + 3. Let z be x(3). Let k = -2 + z. Solve -y = -3*y + k for y.
2
Let r = -13 - -49. Suppose 3*g = 3*m, 5*m - 14 = -5*g + r. Solve -m*c - 25 = -0*c for c.
-5
Let q(s) = -s**3 + 2*s**2 - 1. Let h be q(-1). Let d be (-1)/h - 10/4. Let g = 3 + d. Solve -3*t = -g - 9 for t.
3
Let m = -13 + 15. Solve 2 - 8 = -m*u for u.
3
Suppose -99 = -4*f - 87. Solve -3 = f*p - 0 for p.
-1
Suppose -3*k = -5*k + 8. Suppose -24 = 2*v - k*v. Solve -4*g - 8 = v for g.
-5
Suppose 2*t + 20 = 2*v - 14, 0 = t + 1. Let d be 4/10 - (-6)/10. Let z(l) = 2*l**2 - 25*l + 15. Let m be z(12). Solve -d + v = m*n for n.
5
Suppose -79*z - 10 = -81*z. Solve 0 = z*i - 11 - 14 for i.
5
Let c = -34 + 39. Let i = -2 - -5. Solve -2*a - i*a - c = 0 for a.
-1
Let l be 2/5 + (-12)/(-20). Solve -i - 2 = l for i.
-3
Let r = -63 + 65. Solve 10 = -r*a + 4 for a.
-3
Let v(q) = q - 15. Let a be v(14). Let c(f) = -3*f**2 + 2*f + 1 + 5*f**2 + 7*f**2 - 4*f**2. Let x be c(a). Solve g = -x*g for g.
0
Suppose -2*c + 11 - 3 = 0. Solve -c*v = -8 - 8 for v.
4
Suppose -5*o + 1 = -2*f, 102 = 5*f + 5*o + 17. Let l = 20 - f. Solve 0 = 2*s - 4*s - l for s.
-4
Suppose 5*n - 4 = 2*c - 2, -14 = -5*n - c. Solve 3 = n*f + 9 for f.
-3
Let d be (22/8)/((-2)/8). Let r = 7 + d. Let t be r/(-14) + (-24)/(-14). Solve -5*g + 3 = -t for g.
1
Suppose 7 = -q - 5*z, -q + 23 = -0*q - 5*z. Solve 3*a + q = -1 for a.
-3
Suppose 0*z + 60 = 5*z. Suppose 5*d = -3*o + 22, 2*d + 2*d = 5*o - z. Solve d*k = 2 - 8 for k.
-3
Let o(r) = -15*r - 5. Let b(y) = 31*y + 11. Let j(v) = 6*b(v) + 13*o(v). Suppose -4*i - 5 = -1. Let l be j(i). Solve -4*n = -l - 2 for n.
3
Let a be (-8)/(2 + (-8)/2). Solve -2*c = 2*c + a for c.
-1
Suppose -6*x = -4*x - 90. Suppose 5*s + 3*l - x - 19 = 0, s - 20 = -3*l. Solve -2 + s = -3*q for q.
-3
Suppose -3*p - 5*k - 17 = 0, -p + 0*p = k + 3. Let s be (-3 + -9)/(-3)*p. Solve -s*f = 6 + 10 for f.
-4
Let f(y) = -y + 8. Let g be f(6). Solve g*k = -2*k + 8 for k.
2
Let b(j) = -3*j - 1. Let c be b(-2). Suppose -5*r = 3*x - 21, -4*x + r = -3*x + 1. Suppose -4*i + x*i = 0. Solve z = -i*z - c for z.
-5
Let c = -39 - -41. Solve -c*f = -f for f.
0
Let n(p) = 2*p**2 + 15*p + 22. Let z be n(-7). Solve 6*s = 3*s - z for s.
-5
Suppose s = -4*s + 5. Let o be (1 - s/1)*1. Suppose -l + 0*l = o. Solve 5*k + 0*k - 25 = l for k.
5
Let o = 5 + -2. Let j be 2/(-5)*-55*1. Let p = j - 6. Solve 0 = -o*v + 4 - p for v.
-4
Suppose u = -1, -5*m + 23 = 2*u - 40. Let s(q) = 2*q - 2. Let z be s(2). Solve -z - m = 3*o for o.
-5
Suppose -5*a = -37 + 2. Suppose 0 = 3*n + z - 10, -n + a*z = 4*z + 10. Solve -n*q - 6 = 2 for q.
-4
Suppose d = -4*d. Let k be (d/(5 + -2))/(-1). Suppose 0 = -2*y - k*y. Solve y = -3*a + 4*a + 5 for a.
-5
Let n = -3006 - -1222. Let v be 2/9 - n/72. Solve x = -4*x + v for x.
5
Let z = 30 - 29. Solve v - z = -5 for v.
-4
Let i = 7 + -6. Let b be (1/3)/(i/3). Solve o = b - 4 for o.
-3
Let j(l) = -l**2 - 4*l + 3. Let c be j(-4). Let f be (-8)/12*c*3. Let x be 2 + 0*2/f. Solve -x = p - 0 for p.
-2
Let w(d) = -3*d - 6. Let o be w(-4). Suppose 0 = 4*b - o - 2. Solve 0 = -b*j - j - 6 for j.
-2
Let m(j) = j**3 - 3*j**2 + j + 4. Let l be m(2). Solve -l*z = -z - 3 for z.
3
Let t(a) = 2*a**2 - 4*a + 2. Let o be t(2). Suppose -o*y + 1 = -5. Let i(j) = -2*j - 2. Let q be i(-2). Solve -1 = -q*g + y for g.
2
Let h = 10 + -4. Solve -5*w = -h*w + 3 for w.
3
Let g be (-7)/2*(-5 - -3). Suppose -24 = -g*q + 3*q. Suppose 4*l - q = 2*l. Solve i = -l*i for i.
0
Let a(p) = -p**3 - 2*p**2 - 2*p - 1. Let y be 1/3 + 26/(-6). Let n = 2 + y. Let v be a(n). Solve -1 = -v*h + 14 for h.
5
Suppose 12 = -3*x + 6*x. Solve 4*j + x = 5*j for j.
4
Let a(u) = -2*u**2 + 11*u - 9. Let q be a(4). Solve -c - 2*c + q = 0 for c.
1
Suppose -u + 0*u + 5*w = 25, 4*u + 5*w - 25 = 0. Let l(m) = m**3 + 2*m**2 - 2*m - 3. Let r be l(-2). Solve u = b + r + 3 for b.
-4
Suppose y + 61 = 4*y - c, 5*y - 2*c = 100. Suppose -t + 2*t = y. Suppose -4*j + 18 = -t. Solve -2 = 3*d + j for d.
-4
Let v = -20 + 22. Solve -v*s = 2*s + 12 for s.
-3
Suppose -u + 21 = -5*n, 4*u + 2*n + 0*n = -4. Solve u = -o - 2 for o.
-3
Let p = -25 - -61. Suppose -4*k + p = -4. Solve -k = 2*x - 0*x for x.
-5
Suppose 8*g = 3*g - 20. Let b = 0 - g. Solve -2*v + b = -v for v.
4
Suppose 0 = 2*n - 3*q + 2 + 2, -5*n - 2*q + 28 = 0. Suppose 3*l + n = 5*l. Suppose 2*o - 6 = l*p, -o + 4*o + 2*p = 4. Solve -o*a + 4*a = -6 for a.
-3
Suppose 0 = -o + 3 - 1. Solve -g = o*g + 9 for g.
-3
Let t be 24/4*2/4. Solve t = 2*o + 9 for o.
-3
Let i(g) be the third derivative of g**6/120 - 2*g**5/15 - g**4/3 - 3*g**3/2 - 3*g**2. Let r be i(9). Solve -2*m + r = -4 for m.
2
Suppose 2*p - 6 = 4. Suppose -2*x + 9 = p*c - 1, -3*c + 3*x = 15. Solve 3*t + 0 + 3 = c for t.
-1
Let a(w) = -w**3 + 4*w**2 + 5*w. Let u be a(5). Let o(f) = f**2 - 2*f + 2. Let b be o(3). Suppose 0 = -u*h + b*h. Solve h*t = 3*t + 15 for t.
-5
Suppose 4*b - 12 = -4*n - 0*b, -4*n = -4*b + 12. Solve 5*f - 3 + 28 = n for f.
-5
Suppose -j + 0*u = 4*u - 21, 3*j - 2*u - 7 = 0. Suppose 3*n - j*n = 2*y, 4*y - 32 = 4*n. Solve -i = -y*i - 12 for i.
-4
Suppose 5*z - 19 = 3*h, 4 + 8 = -4*h + 4*z. Let v = h - -2. Suppose -s + 12 = w - 7, 4*w + v = 0. Solve -2*x = 2*x - s for x.
5
Suppose 3*i = i + 10. Solve 0*m = -m - i for m.
-5
Let i be ((-4)/5)/((-12)/90). Solve 8 = 4*f - i*f for f.
-4
Suppose 4 = -j + 5*s - 5, 0 = j - 4*s + 7. Solve 3*d = 5 + j for d.
2
Suppose 0 = 5*d - 8*d + 6. Suppose d*j + 4 - 8 = 0. Solve 0 = j*n + n + 15 for n.
-5
Suppose -18 = -2*c - 5*m + m, -28 = 3*c - 5*m. Let o = c + 1. Let b be (-2 + (-27)/(-12))*4. Solve -d = -o*d + b for d.
-1
Suppose o - 1 = -3*i - i, i = -3*o + 3. Solve i*v = 4*v + 20 for v.
-5
Let x be (0 - 0)/(12/(-6)). Let u be x*(2 - 1) + 6. Suppose -4*o + u = -0*o - 2*q, -15 = o + 5*q. Solve 7*l - 2*l = o for l.
0
Let c(l) = -26 + 15 + 14 + 6 + l. Let z be c(-9). Solve z = -w - 3*w + 20 for w.
5
Let z = 5 - 2. Suppose z*l + 2*l = 90. Let w be l + 1 + (1 - 3). Solve -w + 2 = -3*m for m.
5
Let k = -20 - 0. Let w = k + 20. Solve 3*h = -w + 6 for h.
2
Suppose -2*p - 3*r = -10, 15 = -0*p + 5*p + 5*r. Let q be p/(3/(2 - 5)). Solve -n - q = -2 for n.
1
Suppose 3 = 2*f - p - 0, 2*f + 12 = -4*p. Solve f*n = n for n.
0
Let z be -1 + -2 - (1 + -10). Suppose -2*n = -3*u + 6*u, -3*u = 4*n - z. Solve 5 = -4*g + n*g for g.
-5
Let z be ((-54)/(-4))/(6/(-16)). Let q be 8/z + 38/9. Solve 0 = -4*d - 8 - q for d.
-3
Let f = 4 + -2. Let v be (-31)/4 - 3/12. Let i = v + 11. Solve 4*y - i*y = -f for y.
-2
Suppose 12*d = 10*d + 6. Let x = -1 + d. Solve 0 = p - x - 1 for p.
3
Let p = 19 + -27. Let o = -6 - p. Suppose -3*c = o*c. Solve c = -5*v + 5 - 30 for v.
-5
Let m = -8 - -10. Suppose 0 = -3*q - m*q. Solve 3*c - 5*c = q for c.
0
Let d = -12 -