 0 = -x*g for g.
-1
Let g(t) = 3*t - 12. Let u be g(5). Solve 4 = -u*j - 8 for j.
-4
Let n(h) = h**3 - h**2 + h. Let f be n(0). Let s(w) = -2*w - 5 + 0 + f. Let m be s(-5). Solve -4*l - m = l for l.
-1
Let p be (-4 + -26)*2/(-4). Solve -r = 2*r + p for r.
-5
Suppose 2*z + 24 = -0*z. Let r be (-4)/24 + 34/z. Let x(c) = -c**2 - 2*c + 4. Let f be x(r). Solve -f = -3*l + 8 for l.
3
Let h(x) be the third derivative of -x**4/8 - 5*x**3/6 - 2*x**2. Let k be h(-9). Suppose -t - 2*t = -5*w + k, -5*w = t - 6. Solve 0 = w*c + 2*c - 20 for c.
5
Suppose 2*p - 4*p = 4. Let w = -4 - p. Let o = w - -4. Solve o*k - 10 = -2 for k.
4
Let j be (-3 + (-36)/(-10))*5. Let i = 7 + -3. Solve l = -j*l + i for l.
1
Let d = -20 + 6. Let l = 14 + d. Solve -s + l*s = 0 for s.
0
Suppose -31 = -6*o + o + 2*y, -4*o + 26 = -2*y. Suppose -5*u + 9*u = 16. Solve -u - 6 = o*w for w.
-2
Suppose -4*u + 3 = -3*u. Suppose w - u*w + 14 = 0. Suppose -5*g - 7 = -0*n - 4*n, 3*n - 2*g = w. Solve n + 1 = -4*v for v.
-1
Suppose 2*w = -w + 30. Let q(u) = u**3 - 10*u**2 - u + 14. Let k be q(w). Solve 2*s = -k + 14 for s.
5
Let o(t) = 5*t**2 - t**3 + 0 + 0*t - 2*t - 4 + 1. Let w be o(4). Solve 0 = -r - w for r.
-5
Let y(m) = m**3 + 12*m**2 - 28*m + 5. Let t be y(-14). Solve -8 = 7*l - t*l for l.
-4
Let t be 0 + (9 - (1 + 3)). Solve 0 = t*r + 10 - 0 for r.
-2
Let f = -39 - -46. Let x(a) = 3 + 2 - 6 + 6*a. Let v be x(1). Solve 0 = -v*w + f - 2 for w.
1
Let n(u) = u**3 + 2*u**2 - 2*u - 2. Let v be n(-2). Let q(l) = l**2 - 2*l + 3. Let i be q(v). Solve 2*m + 3 = -i for m.
-3
Suppose 3*q + 0 + 9 = 5*b, 0 = 3*b - 9. Let c be 0/(q - (-12)/(-4)). Solve 0 = w - c*w - 1 for w.
1
Suppose -4*n - o = -23, -5*o + 3*o = 10. Let z(k) = k**2 - 5*k + 1. Let t be z(n). Solve q = -2*q - t for q.
-5
Let s be (-104)/(-10) - 3/(-5). Let n(z) = z**2 + 9*z + 2. Let t be n(-9). Suppose -t*i - 5*o + 15 = -0*i, 3*i - s = 4*o. Solve 25 = i*a - 0*a for a.
5
Let o(s) = s**3 + 7*s**2 + 6*s + 6. Let g be o(-6). Let k = g - 4. Solve k*z + 7 + 1 = 0 for z.
-4
Let y be (-9)/3 + 3 + -1. Let b = 1 + y. Let h = 31 - 27. Solve -h*x + 25 - 5 = b for x.
5
Suppose -5*j + 10 = -3*j. Solve 2*b = -j - 5 for b.
-5
Suppose a + 2 = 4. Solve -a = d + d for d.
-1
Let j = -45 - 8. Let p be j/(-11) - (-2)/11. Suppose -p*k = -13 - 2. Solve 2*u + 3 = -k for u.
-3
Let b = 18 - 13. Suppose -3*h + j = -1, -b*h - 2 = 4*j - 2*j. Solve h = -2*i + 11 - 3 for i.
4
Let x = 10 + -2. Suppose 2*z - 4*z + 16 = -2*d, 4*z - x = -2*d. Solve z*w = 20 - 8 for w.
3
Suppose 1 = 2*g - 7. Suppose -6*j = -j - g*z - 13, 0 = -j + 2*z + 5. Solve 3*l + j = 7 for l.
2
Let q(i) = -i**3 + 3*i**2 + 5*i. Let h = 14 - 10. Let b be q(h). Suppose -4*s - b = -12. Solve 0*r - s*r = 2 for r.
-1
Let t(m) = -m**3 + 8*m**2 - 10*m + 3. Let h be t(7). Let z be 134/26 + h/117. Solve 0 = -z*g + g - 16 for g.
-4
Suppose 5*o - 2*o = 0. Let h = o - 0. Solve h = c - 3 - 1 for c.
4
Let b = -14 + 20. Let p = b - -2. Solve -2 = -5*g + p for g.
2
Let x be 6/9 + (-21)/(-9). Suppose x = 4*h - 5. Suppose -v + h*v - 6 = 0. Solve -m = -v*m for m.
0
Let o(z) = -3*z**3 - 2*z - 1. Let s be o(-1). Let p be 0*2*(-1)/4. Suppose 3*w - s*w = p. Solve w = 2*m - 3*m for m.
0
Let o be (8 - 1)/(2 - 1). Suppose -4*f + o*f - 45 = 0. Solve 0 = -4*m + m + f for m.
5
Let s be (-34)/(-9) - 12/(-54). Let u(r) = -r - 1. Let w be u(-5). Suppose 4 = -3*y - w*f + 13, -5*f - 6 = -2*y. Solve -y*t - s = t for t.
-1
Let x = 72 + -60. Solve 3*l + 0 = x for l.
4
Suppose 0 = -g + 22 - 20. Solve -g*d = d - 3 for d.
1
Suppose -7*k - 6 = 5*w - 3*k, -5*w - 14 = -4*k. Let s be (4/w)/(1/(-3)). Solve s = a + 2*a for a.
2
Suppose 0 = 4*m - 0*m - 24. Let a(g) be the first derivative of g**2/2 - 4*g - 1. Let u be a(m). Solve -4*h = -u*h for h.
0
Suppose -5 = 3*o - 11. Suppose o*h - 20 = -3*h. Solve h*z = -z + 25 for z.
5
Let u be 3*1*(-25)/(-15). Suppose -2*i - 5*g + u = -0*i, 0 = -5*i - g + 24. Solve -30 = 5*r - i for r.
-5
Let n(r) be the second derivative of -r**4/12 + r**2/2 - 6*r. Let p be n(1). Solve p = -3*s + s - 8 for s.
-4
Let y = -82 + 85. Solve -d = -2*d - y for d.
-3
Suppose 4*t - 9*t = -20. Solve -i + t*i = 9 for i.
3
Let g(o) = o + 3*o - 2*o - 4 - 6*o**2 - 4 + o**3. Let l be g(6). Solve 0 = -3*x - 8 - l for x.
-4
Let j(c) = 5*c + 2. Let t be j(2). Let k = 18 - t. Solve 3*v - k*v = 0 for v.
0
Suppose 53 = -u + 123. Suppose 5*j = 2*l + u - 10, 4*j + 5*l - 15 = 0. Solve j + 6 = -4*c for c.
-4
Suppose s - 47 = 4*g + 6*s, 2*s = 3*g + 18. Let t = 13 + g. Suppose -2*a - 4 = -b, t*b - 5*a = -2*a + 13. Solve 0 = -b*i - 3 + 7 for i.
2
Let f(a) = a**2 + 2*a + 1. Let w be f(-3). Suppose 0 = -b - w, 0 = -3*n - 0*n + 3*b + 120. Suppose -5*i + n = -i. Solve -3*g = -i + 24 for g.
-5
Suppose 5*k + 3*x = -31, 0 = -2*k + 4*x - 39 + 11. Let d(n) = -n**3 + 6*n**2 + 2*n. Let o be d(6). Let t = k + o. Solve -t*l = l for l.
0
Suppose -3*q + 3*m + 4 + 116 = 0, 34 = q + m. Suppose -3*o + q = -4*s, s - 12 = -o + 5. Solve 3*d = -0 - o for d.
-5
Suppose 0 = x + 4*x. Suppose 4*u + x*a - 3*a = 0, 5*u - 7 = 2*a. Solve -8*k + u*k = -15 for k.
3
Suppose 0*t + t - 3 = 0. Solve -t*s + 1 = -11 for s.
4
Let o = 2 - 2. Suppose 2*w - 4*k - 16 = 0, -2*w - 3*k - 2*k - 11 = 0. Suppose o*c = w*c - 4. Solve -c*p + 3 = -3 for p.
3
Let d be 4 + -2 + 19 + -3. Let g = d + -10. Solve -4*m + g*m - 16 = 0 for m.
4
Suppose -a - 4*u = 0, -a + u = -0 - 5. Suppose 0*z + 14 = 5*b - z, -3*z - 9 = -a*b. Solve 4*w - 1 = b*w for w.
1
Let p = -45 + 51. Solve -p*k = -k + 15 for k.
-3
Let k be (-3*(-1 + 0))/3. Let q be 4/8*2*k. Solve q = -5*c + 26 for c.
5
Let b(o) = o**2 - o. Let x be b(-2). Let g(p) = -p**2 + 6*p + 7. Let y be g(x). Solve -y = -c - 3 for c.
4
Let t(o) = -o**2 - 9*o + 13. Let h be t(-10). Solve -h*g - 2 + 17 = 0 for g.
5
Let m be (-1)/(3/21)*-3. Let a be 6/4*28/m. Suppose a*x - 9 = 1. Solve x*y + 5 + 5 = 0 for y.
-2
Let m = 8 - 11. Let v be m - (1 + (-2 - -3)). Let t be (6/(-5))/(1/v). Solve t*k + 16 = 2*k for k.
-4
Let l be 616/35 - -2 - 2/(-5). Solve l = 3*m + m for m.
5
Let q(u) = -2*u + 8. Let m be q(8). Let b = -5 - m. Solve -4 = 5*d - b*d for d.
-2
Let z be (-6)/(-5)*10/3. Suppose z*j - 15 = 3*j. Solve 2*s + 3*s = -j for s.
-3
Let a(y) = -y**2 - 7*y - 3. Let m be a(-5). Let f = m + 4. Solve -3*c - 1 - f = 0 for c.
-4
Suppose -5*t = 4*l - 34, l - 3*l = -3*t + 16. Suppose 0 = 3*u - 5*u - h + 12, -u + 2*h + t = 0. Solve -u*z = -2*z for z.
0
Let a = 15 + -2. Let o(x) = x**2 - 11*x - 11. Let l be o(a). Solve 0*k = 5*k - l for k.
3
Let h be (0 - 1)*(2 + -3). Solve -3*y + h - 7 = 0 for y.
-2
Suppose 0 = -2*w - w + 15. Suppose -5*r - w*a + 0 = -5, -3*r = -5*a - 27. Solve -2*c = 2*c - r for c.
1
Let c = 3 + 2. Let d(j) = 20*j**2 + j + 1. Let g be d(-1). Suppose -3*y = 2*y - g. Solve 0 = -9*t + y*t + c for t.
1
Suppose 15 = 4*b - 1. Solve -l - b*l = -5 for l.
1
Suppose -2*a - g - g - 2 = 0, 17 = 3*a - 2*g. Solve a*s + 4 = s for s.
-2
Let l(d) = d**3 - d**2 - d + 12. Let o be l(0). Solve -o + 0 = -4*t for t.
3
Let v(q) = 2*q**2 + 6*q + 5. Let i be v(-4). Suppose 2 + i = 3*f. Let g be f + 1 + 2 + -3. Solve g*l + 2 = -13 for l.
-3
Let h be 13 + 9/(1 - -2). Let r = -11 + h. Solve r*q + 0 = 20 for q.
4
Let f be (-6)/((-9)/3) + 5. Let m = f + 5. Let r = 3 + 0. Solve 0 = 3*u + r - m for u.
3
Suppose -2*s = 4*n - n + 1, 5*n - 13 = 4*s. Solve 3*v + n + 2 = 0 for v.
-1
Let j be 52/9 - (-2)/9. Let c = 4 + j. Solve -4*n - n = c for n.
-2
Let z = 0 - -5. Suppose -k + 3*p + 23 = 4*k, 3 = 2*k + 5*p. Solve 0 = z*q - k - 11 for q.
3
Let v(b) = -b**2 + 1. Let s be v(0). Let j(y) = 5*y**2 + y - 1. Let k be j(s). Let p = -186 - -186. Solve p = 2*c + 3*c + k for c.
-1
Suppose -5*i - 5*k + 15 = 0, -2*i - 3*k = 3*i - 13. Solve -4 - i = 2*x for x.
-3
Let u be 3 + -4 + 3 - 0. Solve u*m + 4 = 3*m for m.
4
Suppose -2*d - 32 = -4*x + 30, 19 = x - 4*d. Solve 0 = 4*s - x - 1 for s.
4
Let h be (2 + -2)*3/(-6). Let t = 11 - 6. Suppose -2*k - 2*a = -a - 27, -t*k + 48 = -4*a. Solve -3*d + k = -h*d for d.
4
Let x(s) = -s**2 - 9*s + 13. Let u be (0 - 2/4)*14. Let o(p) = p**3 + 8*p**2 + 7*p - 10. Let c be o(u). Let y be x(c). Solve 5*n = 2*n - y for n.
-1
Suppose -7*z = 2*z - 45. Let c(w) be the second derivative of -w**3/6 + w**2/2 - w. Let i be c(1). Solve 0 = -i*j + z*j + 20 for j.
-4
Let p(r) = r**3 - 7*r*