*g - 7*g = 0 for g.
0
Let q(k) = -k. Let t be q(0). Suppose 3*r - r - 12 = t. Solve -3*x = -0*x - r for x.
2
Let v = -35 + 35. Let q(d) = -d**3 - 3*d**2 - d - 1. Let p be q(-3). Solve p*z + v*z - 4 = 0 for z.
2
Let r(i) = -i + 13. Let j be r(10). Suppose -j*a = a - 8. Solve -a*o - 3 = 5 for o.
-4
Let q(c) = -c**3 + c**2 + c + 2. Let t be q(0). Solve g = -t + 3 for g.
1
Let x be 1/(1 - (-3)/(-4)). Let n = 0 - x. Let o be n/(-3)*(-3)/(-2). Solve 1 - 3 = o*l for l.
-1
Let u = -60 - -56. Suppose 0 = -3*o + 5*o + 14. Let w = u - o. Solve w*c - 13 = -1 for c.
4
Let b = 33 + -29. Solve -b*f = 4 - 16 for f.
3
Suppose 2*u = -4*f + 10, -6*u + 4*u + 10 = -f. Let b(t) = t - 4. Let p be b(5). Suppose -8 = -4*x - 4*r, -2*r - p + u = 0. Solve x = -0*d + 3*d + 6 for d.
-2
Let u(w) = -w**2 + 13*w + 4. Let g be u(13). Suppose 2*q - g*c = -6, 2*c + 10 = -q - 3*c. Let x be 0/(q + 2 + 2). Solve 4*z + z = x for z.
0
Let i(t) = -4*t**3 + 5*t**2 + 2*t + 6. Let w(m) = m**3 - m - 1. Let n(g) = -i(g) - 3*w(g). Let p be n(5). Let l be ((-6)/(-4))/(1/p). Solve l = -q + 2 for q.
-1
Suppose g = 5*g. Let v be (-42)/(-56)*16/3. Solve g = -v*q - 5 + 1 for q.
-1
Suppose 2*l + 4*f + 0 = 28, -2*l + 3*f - 7 = 0. Solve l*n + 3 = -1 for n.
-1
Let r be 2/11 + 62/22. Suppose 3*q + 5*t - 32 = 0, 5*q = -t - t + 28. Let k be (-6)/2*20/(-12). Solve -k*v - r = -q*v for v.
-3
Let p = 19 + -17. Solve -6 = q - p for q.
-4
Let r be ((-24)/10)/((-4)/(-100)). Let n = r + 42. Let q be (-20)/6*n/4. Solve -1 = -4*k + q for k.
4
Suppose -a - 2 + 25 = 5*c, -4*a - 28 = -4*c. Solve 2*l = 3 - c for l.
-1
Let a = -5 + 8. Let q(v) = v**3 - 14*v**2 - 13*v - 30. Let y be q(15). Solve -o - a = -y*o for o.
-3
Let l = -22 + 30. Suppose 4*j + 8 + l = 0, -7 = 5*q + 3*j. Solve -5 = 2*z - q for z.
-2
Suppose -3 = -5*w + n - 4, -5*n = -5. Let g = 4 - w. Suppose -g*d = -d - 18. Solve s - d*s = 5 for s.
-1
Suppose -r - 3*r - 40 = 0. Let s be ((-36)/15)/(2/r). Solve 3*t + 3 = s for t.
3
Let k be (-4)/2 - 4*-2. Suppose -k = -2*z - 0*z. Solve 2*i = -z*i + 25 for i.
5
Let y(w) = w**3 + 12*w**2 + 11*w + 2. Let u be y(-11). Let a be (-6)/(-3) - (1 + -3). Suppose 4*p = 7 + 1. Solve -p - u = -a*t for t.
1
Suppose 0 = 13*l - 405 + 80. Solve -l = -y - 4*y for y.
5
Suppose 3*r = 5*x + r - 23, -x + 4*r + 19 = 0. Suppose -v = -4*d + 12, 2*v - 2*d + 15 = x*d. Solve v*a + a = 0 for a.
0
Let g(s) = -2*s - 6. Let j = 4 + -13. Let h be g(j). Solve 0 = x + 3*x + h for x.
-3
Suppose -4*q + 18 = -q. Suppose 0 = -3*g - 2*g - 25. Let o be q/g*(-10)/3. Solve u = -1 - o for u.
-5
Let u be -1 - (-1 - 10/5). Solve 2*q + 0*q + u = 0 for q.
-1
Let l = -2 - -1. Let a be 4 + -2 - l - 2. Let i be a - (3/3)/(-1). Solve 3 - 9 = i*s for s.
-3
Let c(j) = -j - 5. Let f be c(-5). Let q(y) = -7*y + 17. Let l be q(2). Solve f = -l*s - 3 - 9 for s.
-4
Suppose -3*l + 2 = -7. Solve -o - l*o = 0 for o.
0
Let g be (-2)/(-5) + (-26)/(-10). Suppose -s + 5*c = 9 - 4, 3*s - g*c - 9 = 0. Suppose -5*z - 4*w + 28 = 0, -s*z + 14 = -z - w. Solve z*o = o - 9 for o.
-3
Let h(q) = -q**3 + 4*q**2 + 3*q - 6. Suppose 0 = -4*f + 4*v - 3 - 1, 4*v - 24 = -f. Let o be h(f). Solve o = -2*d - d for d.
-2
Let i(z) = -z + 10. Let j be i(8). Solve 5 = -j*v - 3 for v.
-4
Suppose 2*n - 21 = -n. Suppose -3*g - 16 = -n*g. Solve -3*h = -g + 1 for h.
1
Let j(d) = 11*d**2 + 25*d + 29. Let s(i) = -5*i**2 - 12*i - 14. Let l(p) = -6*j(p) - 13*s(p). Let n be l(7). Solve 0 = t - 3 + n for t.
2
Suppose 5*l = 29 - 9. Solve 0 = -5*y - l - 1 for y.
-1
Let k be (1*12/15)/((-4)/(-20)). Solve c - 15 = -k*c for c.
3
Let w = 0 + 6. Let q = w + -6. Solve q*m = -3*m for m.
0
Suppose -5 = -5*u + m - 6*m, -15 = 3*m. Suppose -j + 4*j = -2*s - u, -4*j - 4 = 4*s. Suppose 30 = s*l + 2*l. Solve -10 - l = 4*b for b.
-4
Suppose -3*a + 39 - 18 = 0. Solve -5*b = a - 2 for b.
-1
Let p be (-20)/15*(-3)/(-2). Let w be 2 - 12/8*p. Solve -2*k - w = -3*k for k.
5
Suppose -32 - 16 = -3*u. Solve 9*k - 5*k = -u for k.
-4
Suppose -5*z + 46 - 11 = 0. Solve 3*f = 1 - z for f.
-2
Suppose 2*z + 8 = 2*j, -2*j - j = 2*z + 8. Solve j = 2*v - 4*v - 8 for v.
-4
Let d = 4 + -4. Solve 2*r + 4 - 12 = d for r.
4
Let d = -2 + 0. Let i be (2 - 3) + 3 + d. Suppose -c - 2 = -i*c - 2*p, -3*c = 2*p - 2. Solve 0 = -v - c*v for v.
0
Suppose 3*m - 4 = 4*l, -3*l + 0*m + 26 = 5*m. Solve -2*r + 4 = -l for r.
3
Let r(d) = d + 1. Let n(a) = -a - 16. Let t(k) = -n(k) - 2*r(k). Let s be t(10). Solve s = q + 2 for q.
2
Let w(m) = m**3 + 11*m**2 + 11*m + 9. Let y be w(-10). Let l be (y - -1)/(1/1). Solve l*f = -3*f for f.
0
Let n be (-17)/(-4) + (-2)/8. Solve -4*i - n = -20 for i.
4
Let u(p) = p**2 + 7*p + 4. Let n be u(-8). Suppose -4 = 4*b - n. Solve y + 3 = -b*y for y.
-1
Suppose 9*u - 14 = 7*u. Solve 3 - u = p for p.
-4
Let i(u) = u**2 + 9*u + 7. Let d be i(-10). Let n = -15 + d. Solve 3 - 1 = -n*l for l.
-1
Let q(l) be the first derivative of -2 - l + 7/2*l**2. Let p be q(3). Solve 5*f + p = f for f.
-5
Suppose -3*a - 4*k = -26, -a = -k - 2*k + 13. Suppose 0 = a*s + 5*q + 5, 4 = -2*s - 0*q - 4*q. Solve s = -0*d - d for d.
0
Let p = 0 + 2. Let x be 9/(-15)*(-6 - -1). Suppose 0*m + x*m - y = 6, m + y - p = 0. Solve -9 = -m*d - 3 for d.
3
Let p = -12 + 17. Solve 3*u = 2*u + p for u.
5
Let n be (-20)/(-9) + -2 + 68/18. Solve -3*y = -n + 1 for y.
1
Let f(n) = n**2 - 4*n - 8. Let q be f(6). Suppose m + 11 = 4*g, 0 = -q*m + 2*g + 3*g. Solve 0*h - 10 = -m*h for h.
2
Let g(b) be the first derivative of b**4/4 - 14*b**3/3 - 7*b**2 - 15*b + 7. Let c be g(15). Solve -r + 5*r + 12 = c for r.
-3
Suppose 0 = 2*d - 8 + 2. Solve 2*p = d*p - 2 for p.
2
Suppose 2*b = 3*s - 0*s + 17, 5*s + 28 = 3*b. Let a = s - -8. Solve -3 = -2*i + a for i.
3
Let l be (6/(-8))/((-7)/(-28)). Let x(p) = 2*p + 2. Let z be x(4). Let v be (-45)/z*2/l. Solve v*o + o = -12 for o.
-3
Suppose 0 = 4*z + 12 + 12. Let x(l) = -l**3 - 5*l**2 + 5*l - 1. Let j be x(z). Solve 0 = 5*q - 0*q - j for q.
1
Suppose 11*c = 7*c + 20. Let y be ((-1)/2)/(c/(-200)). Solve -5*p + 0*p + y = 0 for p.
4
Suppose -2*a + 6 = -5*h, 0*a + 2*a - 2*h = 6. Solve 0 = -a*y - 2*y + 20 for y.
4
Suppose -4*j = 2*n - 0*n, -3*j - 15 = 0. Suppose l - n = -5. Solve -l*y - 20 = -y for y.
-5
Suppose 9 + 7 = 4*r. Suppose 9 = r*t - 3. Solve i - 1 = -t for i.
-2
Let i(f) = -f**3 - 5*f**2 + 5*f. Let h(r) = r**2 + 12*r - 19. Let p be h(-13). Let k be i(p). Let j = k + -6. Solve j*d = -4*d - 16 for d.
-4
Let m(p) = -3 + 5*p - 15*p - 128*p**2 + 127*p**2. Let r be m(-9). Solve -r = -5*f - 1 for f.
1
Let m(z) = z**3 + 3*z**2 + 2*z. Let q be m(-3). Let j(l) = -l**3 + 3*l**2 + 2*l - 4. Let i be j(3). Let g be i/(-7) - q/21. Solve v + g = -1 for v.
-1
Suppose -1 = 4*r - 13. Suppose -7 = -2*b - r. Solve -z - b = z for z.
-1
Let f(q) = q**2 + 2*q - 2. Suppose -2*v - 3*t + t - 4 = 0, 3*v = -2*t - 8. Let c be f(v). Solve -5*r - c + 21 = 0 for r.
3
Let g = 18 + -18. Solve x - 2*x - 1 = g for x.
-1
Let w(p) = -p + 17. Let d be w(4). Suppose 3*m = d + 2. Let k be (-2)/9 - (-38)/9. Solve -l + k = m for l.
-1
Let z(h) = -3*h**3 + 6*h**2 - h - 2. Let f(q) = -7*q**3 + 12*q**2 - 2*q - 3. Let s(t) = 4*f(t) - 9*z(t). Let l be s(-6). Solve -6*o + 4*o + 8 = l for o.
4
Suppose 3 = -3*q - k, q - 6*q - k = 3. Suppose -n + 3 = -q*n. Solve y = -2*y + n for y.
1
Let m(v) = v**2 - 6*v + 4. Let i be m(6). Suppose -i*j = -2*n + 62, 2*j + 36 = 2*n - 0*n. Let c be (0 - -1) + (2 - j). Solve k - 5*k = c for k.
-4
Suppose 2*y = 3*m - 8, 2*m = -y - m + 14. Solve -9 = -q - y*q for q.
3
Let d = -13 - -15. Suppose x - 21 = -d*o - 2*x, -5*o = x - 20. Solve 2*k = -o*k + 20 for k.
4
Let a be 8/3 + (-4)/6. Suppose -1 = -a*d + 3. Solve -d*n + 11 - 1 = 0 for n.
5
Let t(j) = j**3 + 8*j**2 + 3*j + 7. Let o(s) = -2*s**3 - 15*s**2 - 5*s - 13. Let n(x) = -3*o(x) - 5*t(x). Let u be n(-4). Solve -u = 4*b - 0*b for b.
-5
Suppose -2*a = -3 - 13. Suppose -a = -4*f - k, -7 - 1 = -4*f - 4*k. Let j(o) = o**3 - o. Let r be j(1). Solve r = x + 3 - f for x.
-1
Let w be (-108)/14 + (-22)/77. Let a(i) = i**3 - 3*i**2 - 6*i + 5. Let k be a(4). Let v = k - w. Solve 6 = -v*o + 1 for o.
-1
Let k(o) = -22*o**3 - o**2 - o. Let s(d) = d**2 + 5*d + 6. Let c be s(-4). Let f be k(c). Let l be (-2)/(-7) + f/(-49). Solve l*g - 2*g = 0 for g.
0
Suppose -22 = -4*w + 18. Let d be 12*w/(-16)*-2. Suppose 0 = t - 3 + 1