= -5*g - j for g.
-5
Let f(t) = -2*t**3 + t**2 + t - 1. Let v be f(2). Let z = -5 - v. Solve a - z = 3*a for a.
-3
Suppose -3*a = -4*j + 20 - 8, -5*j = 4*a - 15. Suppose a*o = 3*w + 5*o + 6, -5*w + 12 = o. Solve l + w = -1 for l.
-4
Suppose 4*p = -u + 16, 3*p = -u + 3 + 10. Solve -p*y + 6*y = 9 for y.
3
Suppose -5*g = -5*g - 2*g. Solve 0*l + l - 5 = g for l.
5
Let o be (1 - -1)/((-6)/(-21)). Let c be o + (1 - (2 - 0)). Solve -c = 4*g - g for g.
-2
Suppose 59 - 19 = 10*y. Solve -3 = y*l + 13 for l.
-4
Suppose 5*x = 0, -3 = -3*f + 114*x - 109*x. Let u(a) = -16*a**3 + a**2 + a + 1. Let h be u(-1). Solve f = -4*s + h for s.
4
Suppose -4*y = y. Suppose 2*t - d - 1 - 2 = y, -3*d = 9. Solve 0 = -t*c - 4*c for c.
0
Suppose -a - 12 = 2*q - 0, 4*a + 2*q = -18. Let m be a/(-3)*9/2. Let t(y) = -y + 22. Let c be t(0). Solve 7 - c = m*n for n.
-5
Suppose 3*b = 4 - 1. Let u = 5 - b. Let g(s) = s**3 + s**2 + 12. Let w be g(0). Solve 0 = m - u*m - w for m.
-4
Suppose 0*p - 26 = -2*p + 5*c, 5*p - 3 = -3*c. Solve -p*z = z for z.
0
Suppose 3*h = -2 + 20. Suppose -4*b - 8 = -h*b. Solve 2*a + b = -2*a for a.
-1
Let i(z) = -z**2 - 15*z - 1. Let w be i(-15). Let j(f) = 5*f**2 + 2*f**2 - 1 + f**2 - 3*f**2. Let x be j(w). Solve -1 = x*c + 7 for c.
-2
Let w(a) = -a**3 - 6*a**2 - 6*a - 3. Let r be w(-5). Let i = 3 + 0. Solve r*z = -i*z + 10 for z.
2
Let t be (30/10)/(2/2). Solve j - t*j = 0 for j.
0
Let q = -77 - -78. Solve -4 = -j + q for j.
5
Let g = -11 + 13. Solve -7 + 3 = g*p for p.
-2
Suppose 3*d = d - 6*d. Solve -5*n + 10 = -d*n for n.
2
Let b(c) = -c**2 + 2*c + 1. Let v be b(2). Let z be 3*3/18*6. Let r = z - v. Solve -r = -5*o + 13 for o.
3
Suppose j = -0 - 1. Let y be (-8 - -22) + j*2. Solve m = 5*m - y for m.
3
Suppose 4 = 2*w, -2*a - 3*w + 62 - 12 = 0. Solve 0 = -4*i - 6 + a for i.
4
Let p(a) = -a**2 - 2*a + 1. Let l be p(-2). Suppose x + l = 0, -5*x - 3 = 5*t + 2. Let r(o) = o**2 + o + 7. Let u be r(t). Solve -3*n - 8 = -u*n for n.
2
Suppose 5*r - 7 = -47. Let v be (-3)/6 + (-4)/r. Solve -3*z - 2*z + 15 = v for z.
3
Let n(j) = 5*j**2 + 6*j + 1 + j**3 - j - 7*j. Let c be n(-4). Solve 0 = 6*p - p - c for p.
5
Suppose 2*z = -5*n + 30, 2*z + 2*n = -0*n + 18. Suppose 4*f + 1 = -5*v, -4*v + 26 = -2*v - z*f. Suppose -12 = -v*l - l. Solve 8 = -l*a - 7 for a.
-5
Let m = 8 + -5. Solve -2*h + m*h = 0 for h.
0
Let i(s) = -6*s + 3. Let y be i(4). Let a be (-12)/y*7/2. Solve -3 + a = v for v.
-1
Let a = 0 + 1. Let h be (a - 2)/(1 - 2). Solve -b + 1 = -h for b.
2
Let o be (-2)/3*33/(-2). Let r = -10 - -12. Suppose 0 = -5*n - 3*v + o, 6*n - 2*n = -r*v + 10. Solve -d - 1 = -n for d.
3
Let a(t) = -t**3 + t + 4. Let c be a(0). Suppose 7*f - 27 = c*f. Solve -5*w + f + 6 = 0 for w.
3
Let p be (1/2)/(2/80). Suppose 4*f - 48 = -16. Suppose -4*k = -f*k. Solve k = h - 5*h - p for h.
-5
Let m = -23 - -40. Let o = 19 - m. Solve 4*s - 3*s - o = 0 for s.
2
Let b(c) = c**3 - 7*c**2 + 5*c - 2. Let n be b(6). Let a be ((-6)/(-4))/((-2)/n). Let u be 2/((-3)/a + 1). Solve u*f - f = -3 for f.
-1
Let o be 3 - (1 + 2) - -3. Suppose 7*p - 2 = 4*p - y, o*y - 6 = -4*p. Let s(a) = -a**3 - 2*a**2 + 3*a + 2. Let v be s(-3). Solve p*h - v = -h for h.
2
Suppose 2*m - 4*m = 3*v - 9, -m = -5*v + 2. Solve t + m = -0*t for t.
-3
Suppose 4*j - 2*u = 56, -5*u + 2*u + 66 = 4*j. Solve 2*v = 5*v + j for v.
-5
Suppose 3*j = 2*s + 13, 0*s = 4*j - s - 19. Suppose 3*z - j = -3*h - 2, 3*h + 5*z + 1 = 0. Let i be 3 + h - (1 + 0). Solve 0 = 4*x - i*x for x.
0
Let p = -12 + 14. Suppose -p*n + 5*n - 9 = 0. Solve -1 = -2*k + n for k.
2
Suppose 0 = -4*c + 20, -3*c + 9 = -3*x - 0*c. Let p(o) = o**2 - 16*o + 10. Let m be p(16). Solve -7*u + x*u = m for u.
-2
Suppose -4*g + 3*g = -3. Let y(i) = -g*i + 6 - 6. Let k be y(-2). Solve -k = -3*t + t for t.
3
Suppose -5*f = 2*k - 32, -2*k + k = -4*f + 36. Solve 0 = f*r - 4*r + 20 for r.
-5
Let o(l) = l**3 - 2*l**2 + 2*l - 2. Let v(b) = 3*b**3 - 1. Let m be v(1). Let i be o(m). Let c be ((-6)/(-2) - i) + -1. Solve d + d + 10 = c for d.
-5
Suppose -4*q - 4 = -6*q. Suppose 0 = 3*j + j + 2*z - 8, -10 = -2*j - 4*z. Solve -h + q*h = -j for h.
-1
Let m = -2 - -14. Suppose 2*h = -0*h + m. Suppose 0 = h*l - l. Solve l*n = -n for n.
0
Let t(u) = 2*u. Let m be t(1). Suppose -7 = -m*o - 1. Solve 3 = -o*g + 12 for g.
3
Let x be ((-6)/4)/((-2)/4). Suppose 3*t - u - 5 - 8 = 0, 3 = -x*t - 3*u. Let i be (-4)/(-26) + 30/(-195). Solve i*y - t*y = 15 for y.
-5
Let g = -16 - -18. Solve 2*m = -g*m - 8 for m.
-2
Let k = -28 + 16. Let j be k*(1/2)/1. Let d be 9/j*8/(-6). Solve 0 = -d*i - 4 for i.
-2
Let m = -114 + 116. Solve 0 = 3*y + m*y for y.
0
Let o be 0 + 3 + (-8 - 4). Let u(f) = f**3 + 8*f**2 - 10*f - 5. Let a be u(o). Suppose -w = w - a. Solve 3 = -b - w for b.
-5
Let p be (-3 + 0)*8/(-6). Let m(k) = k**2 - 3*k + 2. Suppose 0 = 2*h - 4 - 0. Let d be m(h). Solve d*z = -p*z + 16 for z.
4
Suppose -4*b + 3*s - 7 = 0, -4*s + 33 = 4*b + 5. Let y(t) = -t**2 - 6*t - 7. Let m be y(-5). Let a be ((-6)/(-15))/(m/(-10)). Solve b*n - 4 = -a*n for n.
1
Let b(v) = -v + 2. Let t be b(0). Let j(h) = -h + 7. Let n be j(5). Suppose 0*u = -n*u + 12. Solve -u = -a - t*a for a.
2
Let x be (2/6)/((-3)/(-27)). Suppose 0 = -t - 2, -x*j + 2*t + 16 = -3*t. Solve -5*b - j - 23 = 0 for b.
-5
Let x = -4 + 7. Suppose 3*d = 4*c + x, d - 3*d + c = -7. Let a(w) = -w**3 + 5*w**2 + w + 2. Let u be a(d). Solve u = 3*r - 8 for r.
5
Let p(k) = k**3 - 5*k**2 - 2*k + 3. Let u be p(6). Suppose u = 2*j - 7. Solve -3 = -5*a + j for a.
4
Let c be (-1 + 3 - 4) + 2. Suppose -3*o + 0*o = 24. Let q be o/(-36) + (-16)/(-9). Solve -q*v = -c*v - 6 for v.
3
Let x be 8/12 - (-14)/6. Suppose 0 = -7*l + 2*l, x*p = l + 15. Suppose 0 = -d + p. Solve -3 = d*s + 2 for s.
-1
Let z(y) = y - 9. Let g be z(12). Let t(h) = 2*h**2 - 7*h - 5. Let u be t(6). Suppose 5*i - u = 4*r + 1, 0 = -g*i - 3*r + 21. Solve 4*k - i = 2 for k.
2
Let a(p) = p**2 + p. Let q be a(-3). Suppose 1 = -5*b + q. Suppose z + 4 - b = -u, -u - 12 = 4*z. Solve u = 4*k - 6 - 2 for k.
2
Suppose -2*v - 2*v + 12 = 0. Solve -3*g - 9 = -v for g.
-2
Suppose 5*c - 33 = -4*g + 14, -3*c - 3*g + 27 = 0. Solve -5*j - c = -1 for j.
-2
Suppose -2 = -p + 4. Let a be ((-16)/p)/(12/(-54)). Solve -7*m = -4*m - a for m.
4
Let t be (-3)/(2 + -5) - 2. Let c(w) = -2*w. Let q be c(t). Suppose m = q*m. Solve m - 3 = -3*u for u.
1
Let l = 2 + 7. Solve 4*r = 1 - l for r.
-2
Let s(w) = -w**2 - 14*w + 2. Let a be s(-14). Solve 3*p + 1 = a*p for p.
-1
Let s be 1*(-1 - -2)*0. Suppose 0 = -s*t - 2*t. Suppose d - 18 = -4*u - d, t = -u - 5*d. Solve 3*c + 2 = u for c.
1
Suppose 2*k = -4 + 12. Let x be 1/k + 11/4. Solve x*q - 20 = -2*q for q.
4
Suppose -1 = -2*o + 9. Solve 2 - o = -y for y.
3
Suppose 3*j = -0*j + 15. Solve -j*k = -k for k.
0
Let s = -4 - -6. Let f = -12 + 12. Suppose 4*j - 12 + 4 = f. Solve s = j*o - 0 for o.
1
Suppose -4*a = -2*a - 32. Let k(w) = w + 1. Let n be k(3). Let u(v) = -v**2 - 5*v + 1. Let d be u(-4). Solve -d*x + a + n = 0 for x.
4
Let k = -6 - -9. Solve 0 = k*y - 4 + 16 for y.
-4
Let i = -209 - -225. Solve -4 = 5*w + i for w.
-4
Let r be (-4)/(-2) - 112/(-4). Let a be 20/3*r/25. Solve 3*i = a*i - 10 for i.
2
Let r(j) = j**3 - 8*j**2 - j + 10. Let b be r(8). Let g be 16/(-12)*(-3)/b. Solve 0 = 5*q + g - 27 for q.
5
Suppose -2*b + 26 = -4*k, -4*b - 4*k - 37 = -7*b. Solve -4*h - b = 9 for h.
-5
Let f(h) = -2*h + 9. Let j be f(9). Let g be j/(-12)*4 + -2. Solve 4 = -k + g for k.
-3
Let u(n) = -n**3 - 5*n**2 + 2. Let p be u(-5). Let m be p/(-4) - 9/(-2). Solve m*r + 6 = -14 for r.
-5
Let k(d) be the first derivative of d**3/3 + 7*d**2/2 + 6*d + 4. Let l be k(-7). Solve 2*t = l*t - 12 for t.
3
Let v(p) = p + 14. Let w be v(-9). Solve w = 3*i - 4*i for i.
-5
Let k be (-2 - -5)*(3 - 1). Let r be 14/k + (-4)/(-6). Suppose 12 = 2*h - 0*h. Solve -3*j + r + h = 0 for j.
3
Let j(t) = -t**3 + 9*t**2 - 9*t + 11. Let h be j(8). Solve h*a - 10 = -19 for a.
-3
Let c(b) = -b**2 - 2*b. Let o be c(-2). Solve o = -2*w - 3*w - 25 for w.
-5
Suppose 24 = 5*d - 1. Suppose -3*z = -d*z. Solve z = -3*o + o + 4 for o.
2
Suppose 9*m = 8*m + 2. Solve 0 = g - m*g - 1 for g.
-1
Let w(v) = 2*v - 11. Let b(t) = t - 6. Let a(g) = 7*b(g) - 3*w(g). Let j be a(9). Solve 0*f + 3*f + 12 = j for f.
-4
Let v(o) = o + 1. Let r be v(3).