0
Let x = -26 - -36. Let k be (9/6)/(-3)*x. Let o(r) = r**2 + 3*r - 4. Let l be o(k). Solve -6 = -4*m + l for m.
3
Let m(b) = -b**2 - 11*b - 5. Let u be m(-10). Solve -22 - 3 = u*y for y.
-5
Let o be (27 - 28)*11*-1. Solve -o*k - 6 = -8*k for k.
-2
Suppose -4*z - 5*d = -16, 2*z - 2*d - 8 = d. Suppose v = -1 + 3. Let s be ((-2)/6)/(v/(-12)). Solve 0*g + s*g - z = 0 for g.
2
Let d(z) = -4*z**3 - 3*z**2 + z + 3. Let f(s) = 5*s**3 + 3*s**2 - 3. Let m(c) = 4*d(c) + 3*f(c). Let k be m(-4). Solve 3*a + 6 = k for a.
-1
Let s be 5/2*56/35. Let n(z) = -8 + 8 + 2 - z - s*z**3 + 3*z**3. Let j be n(0). Solve -j*i = -0 - 4 for i.
2
Let s be 1 - -2*(-8)/(-2). Let a(y) = y**2 - 10*y + 8. Let r(q) = -q**2 + 10*q - 9. Let n(d) = -3*a(d) - 2*r(d). Let i be n(s). Solve -i*j + 10 = -5*j for j.
-5
Let u = 7 - 3. Solve u*s - 7*s - 6 = 0 for s.
-2
Suppose -4*s = -2*s - 6. Solve -r + 2 = -s*r for r.
-1
Let t = -30 + 30. Let z be -3*3/(-27)*t. Solve z = -s + 5*s for s.
0
Let j(f) = f - 6. Let h be j(4). Let x(u) be the third derivative of -u**6/120 - u**5/30 - u**4/12 - u**3/3 - u**2. Let a be x(h). Solve o = a*o + 3 for o.
-3
Let u = -10 - -10. Solve 2*t - 4 - 6 = u for t.
5
Let p be 35/15 - (-2)/(-6). Let d be (-1)/2 - (-51)/p. Let y(r) = -r**3 - 4*r**2 - 3*r + 3. Let f be y(-3). Solve -2*z = f*z + d for z.
-5
Let m(b) = -b**3 + 11*b**2 - b + 16. Let q be 13 - 1/((-2)/(-4)). Let y be m(q). Solve 0 = -j - 0*j - y for j.
-5
Suppose 12*r - 6*r = 54. Solve 0*t + r = 3*t for t.
3
Suppose -3*n - 6 = 5*p - 48, 2*p - 8 = n. Solve i - p*i + 5 = 0 for i.
1
Let j(d) = d**3 - 4*d**2 + 4*d - 1. Let s be j(3). Let l(k) = k. Let h be l(0). Suppose -2*b + 10 = h, y + s*y - 5*b + 19 = 0. Solve 2 = -y*c - 0 for c.
-1
Let v be 48/9*6/4. Let h(q) = q**3 - q**2 - q + 2. Let g be h(2). Let x = 58 + -54. Solve g*m - v*m = x for m.
-1
Let r(g) = g**2 + g - 3. Let p be r(-3). Let j be 6/(-30) + (-2)/(-10). Solve -2*t + 3*t - p = j for t.
3
Let f = 18 + -14. Solve 3*l - f*l = 1 for l.
-1
Let q = -3 - -4. Solve -q = -3*j - 4 for j.
-1
Let n = -7 + 9. Solve 8 = 5*h - n for h.
2
Let x = 9 + -4. Suppose 3*s = 6, -j + x*s = -4*j + 19. Suppose 3*o - 4*r - 10 = 0, 4*o = -r - 1 + 27. Solve 9 + o = j*c for c.
5
Suppose 3*s - l - 40 = 0, -13 = -4*s + 5*l + 22. Suppose 2*o = 4*o - 2*b - 46, 15 = 5*b. Suppose s = 3*p, -o = -3*g - 2*p - 2*p. Solve 2*r = -g*r - 4 for r.
-1
Suppose 3*i = 2*i - 4, 5*i + 5 = -5*d. Suppose -d*g = -g - 6. Suppose 0*z + g*z = 0. Solve z = 4*p - p + 6 for p.
-2
Let n(d) be the first derivative of d**4/4 + 4*d**3/3 - 5*d**2/2 - d + 7. Let j be n(-4). Solve 5*m - 4 + j = 0 for m.
-3
Suppose 5*v = -4*m + 6*m + 4, 0 = v - 4*m - 8. Solve 0 = -n - v*n + 4 for n.
4
Let p = 3 - 4. Let m be 0/(-3) - -4 - p. Solve 20 = -m*g + g for g.
-5
Let a(l) = -l + 3. Let g be a(0). Let v be 3/(-4) + (-35)/(-20). Let z be -2 + g + 2 - v. Solve -5*n + 7 = z for n.
1
Suppose -3*y + 0 + 5 = z, 2*z = 5*y + 10. Solve -5*i - 6 - 19 = y for i.
-5
Suppose 4 = -4*s, -2 = -2*t - 3*s + 5. Solve -t*y + y = 8 for y.
-2
Let y be 10/3 + ((-10)/15)/(-1). Solve -y*b = -1 - 7 for b.
2
Let g be 4*4 + (-6)/3. Let s = 15 - g. Solve -r + s = -1 for r.
2
Suppose 71 = 5*c - 4. Suppose -c = 4*a - 9*a. Let v = a + -2. Solve -v = p + 3 for p.
-4
Let u(q) = -2*q - 7. Let h be u(-7). Let o = h + -7. Solve o = -l - 3 + 5 for l.
2
Suppose -2*m + 3*m = 15. Suppose -25 - m = -4*f. Solve -4*b - f = b for b.
-2
Suppose -5*y - 6 = -6*y. Suppose -s + 5*n = -2*s - 10, 2*n + 4 = 0. Suppose s = -3*t + 4*t - 25. Solve y*g = g - t for g.
-5
Let a = 4 - -7. Solve -4*w - 5 - a = 0 for w.
-4
Suppose -8 = 2*c - c. Let f = c - -9. Solve -5*j - f - 9 = 0 for j.
-2
Let q(r) = -r**2 - 3*r - 2. Let d be q(-4). Let f be -2*2/12*d. Let n(g) = g + 1. Let u be n(f). Solve 0 = 4*h - u*h for h.
0
Let o(v) = -v**2 + 11*v - 9. Let p be o(8). Let r = 2 + p. Solve -5*g + 8 = -r for g.
5
Suppose -5*z + 4*c = -40, -3*c = -c. Let g be (3/(-5))/((-3)/10). Solve 0*f = -g*f + z for f.
4
Let h = -2 + 4. Let d(o) = o**3 + 6*o**2 + 4*o - 1. Let c be d(-5). Let n be c/6 + h/6. Solve 6 = -j + n for j.
-5
Let j be 3 + (-4 + -3 - -5). Solve -m = -j - 4 for m.
5
Suppose -2*n + 34 = 3*c - n, -2*c = -3*n - 8. Let y be (125/c)/(3/6). Solve 0 = -5*s - y for s.
-5
Suppose -l + 12 = -5*z, 3*z - 2*l + 2 = -8. Let s be (-3)/z + 125/10. Solve s = 5*t - 11 for t.
5
Let q(d) = -5*d + 21. Let l(j) = j - 5. Let a(t) = 18*l(t) + 4*q(t). Let h be a(-5). Suppose -s + 11 = -4*o + h*s, s - 8 = -5*o. Solve 0 = b - 2 + o for b.
1
Let h be -4*(28/8)/(-7). Solve q + h*q = 3 for q.
1
Suppose -2*g - d - 4 = 9, 4 = -2*g - 4*d. Let c = 11 + g. Suppose c = a + 1. Solve 5*i + a = -8 for i.
-2
Suppose -4*o + 36 = 3*d - 7*d, 2*d = 5*o - 30. Solve -o*w - 6 = -w for w.
-2
Let q be 3/(3/2) - 0. Suppose 0*g = 3*g + 3*p - 27, -g - q*p = -14. Solve 0 = 3*l - g*l for l.
0
Suppose -12 = m - 3. Let l = -4 - m. Solve -l*c = -3*c + 2 for c.
-1
Let n be 2/(-4)*(-72)/6. Suppose 0 = -n*j + 3*j - 18. Let k be (j*4/(-6))/1. Solve -x + k + 1 = 0 for x.
5
Suppose 0 = 3*s - 4*x - 21, -s + 3*x + 4 + 3 = 0. Suppose 3*c + 3*w = s*w + 12, -4*w = -5*c + 12. Let m be 57/(-38)*8/(-6). Solve 0 = m*g - c*g + 2 for g.
-1
Let o = -15 - -20. Solve o = -0*z - z for z.
-5
Let p(h) = 4*h - 17. Let g be p(6). Solve -g*x + 4 = -3*x for x.
1
Let w be (2/(-4))/(3/(-24)). Solve w*c = -c for c.
0
Suppose 0 = z - a - 16, -2*z = -2*a - a - 36. Solve z = 3*w - 0 for w.
4
Let n = 13 - 8. Let o(x) = x**3 - 6*x**2 + 4*x + 7. Let i be o(n). Solve -i*g + g = 0 for g.
0
Let t(c) = 3*c**2 - 4*c - 1. Let x be t(4). Suppose -2*l + x = -9. Solve 5*i - l = -5 for i.
3
Let p be 102/4 + (-6)/12. Solve 3*r + 2*r - p = 0 for r.
5
Suppose 4 = y - 3. Solve 0 = -y*l + 4*l + 15 for l.
5
Let c(n) = -6*n - 2. Let z be c(-1). Suppose 2*h - h = -2. Let y be (-7)/(-3) - h/3. Solve -19 + z = y*s for s.
-5
Suppose -4*u - 1 = -3*y, 6*y - y + 1 = 4*u. Let t(g) = 4*g**2 + g + 1. Let q be t(u). Solve -o = q*o for o.
0
Let n be 160/48*(-3)/(-2). Solve -4*y + 1 = n for y.
-1
Let m be -2*-1*(-5)/(-2). Suppose -4*f + 2*f + 44 = 0. Let w = f + -16. Solve -m*p = -w + 1 for p.
1
Let x(t) = t - 1. Let o(n) = n**3 - 13*n**2 - 15*n + 17. Let b be o(14). Let k be x(b). Solve k*j = -2*j + 16 for j.
4
Let t(r) = r**2 - 8*r + 7. Let g be t(7). Let a(v) = v**3 - v**2 - v + 1. Let s be a(g). Let p be (0 - 0)*s/(-3). Solve p = -z - 2*z + 9 for z.
3
Let w be 7/28 + (-2)/8. Solve w = -0*y + 5*y for y.
0
Let k be (-30)/(-14) + 9/(-63). Solve k*c + c = -9 for c.
-3
Let v be 258/21 + (-2)/7. Solve -c + v = 2*c for c.
4
Let x be ((-2)/(-3))/(9/(135/2)). Solve -l = -x*l + 12 for l.
3
Let a = 1 + 3. Suppose 4*p - 2 = -a*i + 2*p, -4*i + p = -11. Solve 0 = -6*u + i*u + 4 for u.
1
Suppose -5*r - 44 = -69. Solve -25 = r*k - 0*k for k.
-5
Let i(c) = c**2 - 3*c + 2. Let h be i(2). Let d = -2 + h. Let k be (d - -4 - 2)/1. Solve -2*y - 3 - 3 = k for y.
-3
Let i be 111/21 + (-4)/14. Let b be (1 + 1/(-3))*-15. Let v = 42 + b. Solve -7 + v = -i*c for c.
-5
Let z = 17 - 29. Let k be 3/z - 17/(-4). Solve k*h + 0 + 8 = 0 for h.
-2
Suppose -j = 4, p = -j - 4*j - 20. Suppose 3*f - 5*f + 4 = p. Suppose 0 = 5*v - 4*g - 28, f*v = 3*v + 2*g. Solve 0*d - v*d = 4 for d.
-1
Suppose -i - 24 = i. Let z be 4/(-1)*i/(-16). Let q be ((-50)/15)/(2/z). Solve -3*t - q = -2 for t.
-1
Suppose 12 = 5*x + s, 5*x - 3*s = 6 - 2. Suppose x*h = h. Solve h = 2*o - o - 2 for o.
2
Let a(g) = g**2 - g + 3. Let z be a(0). Suppose -10 = -w + 4*n, -z*w = -5*w - 4*n - 4. Solve 0 = -3*i - w*i + 25 for i.
5
Let s(c) = -2*c**2 + 7*c. Let f be s(3). Let h = -2 + 4. Suppose h - 4 = -b. Solve b*g = f*g - 4 for g.
4
Let b(u) = -u**3 - 3*u**2 + 4*u + 2. Let c be b(-4). Suppose -4*i - 10 = -2*h, -2*h + 6 = -0*h - c*i. Solve 0 = -3*t - h - 5 for t.
-2
Let x be 2/(-12) + (-5)/6. Let h = 13 + x. Solve -h = r + 2*r for r.
-4
Let u = -34 + 36. Solve -u*v + 5*v = 3 for v.
1
Suppose 2*l = 18 - 4. Solve l = -3*q + 1 for q.
-2
Let g be 5 + 2 + (-7 - -3). Solve 0 = g*w - 14 + 5 for w.
3
Let v be (1 - 1*-2)*2. Let y = v + -5. Solve y = 5*p - 24 for p.
5
Let h(g) = -g**2 + 8*g - 6. Let t be h(5). Let c(v) = v**3 - v - 2. Let w be c(2). Solve -d = -w*d + t for d.
3
Suppose -5*u = -3*s - 25, 0 = -u + 2*s + 5 + 7. Let m = 2 - -1. Solve -m*w - u*w - 15 = 0 for w.
-3