k be 0 + i + (5 - 2). Let r be (-23)/k + (-8)/28. Solve -r*z - 16 = -7*z for z.
4
Let z be 8 - (6/(-3) - -2). Suppose -v - v + z = 0. Solve 9 = v*u + 21 for u.
-3
Suppose 0 = 4*h - 0*h - d + 125, 4*d - 116 = 4*h. Let b be h/6*(-6)/2. Solve -4*n = 4 + b for n.
-5
Let m(t) = -t**2 + 2*t + 3. Let a be m(0). Solve l + 10 = a*l for l.
5
Let h(n) = n**2 - 16*n + 17. Let x be h(15). Suppose -5*c - 4*m = -4*c, 5*c - 4*m - 48 = 0. Solve 0*v - c = x*v for v.
-4
Let k = 9 - -5. Let n = k + -14. Solve 4*m + 5 + 7 = n for m.
-3
Suppose 2*t = -8, r + 2*r = -t - 4. Solve -5*s + r = 10 for s.
-2
Let l(j) = -j + 1. Let m be l(-4). Let q = -2 + m. Let z be 0/1 - (-8 - -3). Solve -q*k + 4 = -z*k for k.
-2
Suppose -4*q - 2*m + 2 = -5*m, 4*q - 14 = -3*m. Let a be ((-2)/q)/(1/(-2)). Solve -5*j + a - 7 = 0 for j.
-1
Let g(q) = -q**3 - 6*q**2 - 3*q - 8. Let v be g(-6). Solve -v = -3*k - 2*k for k.
2
Suppose 31 = 3*m + 10. Suppose 2*w = 2*g + 12, 2*w - 7 = -2*g - 3. Solve -m*f = -w*f for f.
0
Let o be 2*2 - (-4)/(-4). Let n(y) = -y**2 + 2*y. Let m be n(0). Let r be m/((-6)/9*-3). Solve o*j + j - 12 = r for j.
3
Let s be (-1)/(-3) - (-22)/6. Solve m = -1 + s for m.
3
Let s = -10 + 21. Let q(x) = 2*x - 8. Let o be q(11). Suppose -m = -3*y - y - o, y + s = 4*m. Solve -m*a - 2*a = -12 for a.
3
Let n(l) = l**3 - 4*l**2 - 5*l - 6. Let i be n(5). Let s be 0/((-2)/(4/i)). Solve s = 5*j + 7 - 2 for j.
-1
Let d(r) = r**2 - 5*r - 6. Let u be d(6). Suppose -l = -p + 2*p + 3, 5*p - 30 = 4*l. Suppose u*x = -p*x. Solve 2*m + x = 2 for m.
1
Let a(f) = f**3 - f**2 + f - 12. Let c be a(0). Let v be -18*2/c*4. Suppose -5*d = -2*x - 2*x - 144, -2*d = -x - 57. Solve 0 = 4*w + v - d for w.
4
Let a be 2 + -2 + 10 + -8. Solve 2*g = -a*g + 8 for g.
2
Let p(j) = 26*j - 8. Let i be p(8). Suppose -2*u + 100 = -5*o, 6*u + 5*o = 3*u + i. Suppose u = 6*h - h. Solve a = -3*a - h for a.
-3
Let l(t) = t**3 - 2*t**3 - 10*t**2 + 2*t**2 - 7*t. Let x be l(-7). Let g(p) = -2*p - 5. Let w be g(-5). Solve 3*b - w + 2 = x for b.
1
Let l(a) be the first derivative of a**2 - 13*a + 4. Let i be l(14). Solve 5*u - i = 2*u for u.
5
Suppose 2*i = -5 + 13. Solve i*v = v + 15 for v.
5
Let t = -9 - -32. Suppose 0 = 5*l - t + 3. Solve -l*v + 4 = 8 for v.
-1
Suppose m - 12 = -4*n, -m - 2*m = 0. Solve 3*i = 2*i + n for i.
3
Let w(r) = -r**3 - 2*r**2 - r - 2. Let g be w(-2). Let d be g - -20 - (7 - 9). Solve 0 = 5*a - 7 + d for a.
-3
Suppose 2*s = -3*a + s + 4, a + 2 = -2*s. Solve a*t = 8 - 0 for t.
4
Let s(g) = -g**3 + 2*g**2 + 2*g - 4. Let v be s(2). Let x be 0 + v/(4 + -6). Solve -i + 5*i = x for i.
0
Let b(a) = a**2 - a - 17. Let y be b(-4). Solve t = y*t for t.
0
Let f = 16 + -13. Solve 0 = -f*k + 5 - 2 for k.
1
Let u = -4 + 8. Suppose -u*s = -3 - 13. Solve s*f - 2*f = -10 for f.
-5
Let o = -7 - -4. Let c = 6 + o. Let k be (-1 - 1)*7/(-2). Solve k = -c*a + 22 for a.
5
Let c(v) = v + 10. Let i(k) = -2*k - 30. Let g(o) = -7*c(o) - 2*i(o). Let d be g(-5). Solve -2*q + d = -5 for q.
5
Suppose -18*g + 32 = -14*g. Solve -g = -4*z - 0*z for z.
2
Let g be (-1*1)/(7/(-77)). Solve -9 = -4*i + g for i.
5
Let t(k) be the first derivative of k**2/2 - 2. Let g be t(5). Suppose g*i - 52 - 23 = 0. Solve 3*d + i = -0*d for d.
-5
Suppose q + 3*h = 6*q - 72, -5*q + 2*h + 73 = 0. Solve q = -3*g + 3 for g.
-4
Let r = 2 - -2. Let h(n) = -n**2 + 0*n + 4 - r*n + 2*n**2. Let u be h(6). Solve 0 = 5*x + u + 4 for x.
-4
Suppose 3*f - 3 = -0*f. Solve v - f = 1 for v.
2
Let m be 4/14 + (-52)/(-14). Let u = -7 - -9. Suppose 5*p + 3*z + 0*z = 13, p = 4*z - u. Solve p*b = 4*b - m for b.
2
Let i be (-9)/(-6) + (-51)/(-34). Suppose 6*b - 2*b = 8. Let k = 1 + -1. Solve -b*m - m - i = k for m.
-1
Suppose -4*w + 5*v - 15 = 0, 10*w + 40 = 5*w + 2*v. Let s = -8 - w. Solve 3*m - s*m = 4 for m.
4
Let g be (2 - 0/3) + 2. Suppose 0 = -r + d + 5, g*d = 5*r - 2*r - 20. Solve 2*w + 0*w = r for w.
0
Suppose 3*i - o = -3*o + 26, 0 = 5*i - 4*o - 14. Suppose -4*v + i = -v, -2*l - 4*v = -14. Solve n + l = 4*n for n.
1
Let j = 19 - 17. Suppose 0 = 2*q + 5*n - 10*n + 21, -3*n = j*q - 19. Solve 5*t + q = 7 for t.
1
Suppose -25 = 2*v - 7*v. Let f = 8 + -4. Suppose f*r - 3*r = 11. Solve -1 + r = v*m for m.
2
Suppose 2*t = 1 + 7. Solve t*b + 3 = -13 for b.
-4
Let p(b) = -b**3 + b**2. Let v be p(-3). Suppose -v = 5*r - 8*r. Solve -2*z - 4 = -r for z.
4
Suppose 0 = i - 7 - 2. Let h = 9 + -5. Suppose h*u - i = 19. Solve u*z = 3*z for z.
0
Suppose g - 43 = 3*h, 117 = 3*g + g - h. Let x be (g/(-35))/(2/(-15)). Solve 3*q - x = q for q.
3
Let j(a) = 0*a**2 - a**2 + 5*a + 0*a**2 - 7 + 6*a. Let t be j(9). Solve 4*c - t = 1 for c.
3
Let d(o) = -3 + 2*o**3 + 2 - 8*o**3. Let c be d(-1). Let h be 14 + c/((-10)/4). Solve 0*w - h = -3*w for w.
4
Let v(u) = -u + 7. Let p be v(7). Suppose -4*z + 0*z - 5*r - 33 = 0, 2*z - 5*r - 21 = 0. Let k = p - z. Solve 4 = -k*n - 4 for n.
-4
Suppose 0 = -2*j + c - 1, 2*c + 3*c = 5. Let z be (-4)/8 + (-36)/(-8). Solve -w = -j + z for w.
-4
Let r = -12 + 33. Solve 3*b = -6 + r for b.
5
Suppose 52*n + 20 = 57*n. Solve n = -0*v + v for v.
4
Suppose -5*l + 16*l = 55. Let v(f) = -f + 10. Let m be v(7). Suppose -2*j + 14 + 22 = 0. Solve -l*w = j - m for w.
-3
Let u(t) = t**2 + 6*t + 5. Let c be u(-5). Suppose -4*b - 2 = -2*x, -2 - 23 = -5*x. Solve b*q = 2 - c for q.
1
Let p be (0 - -1)*-1 - -1. Suppose p = -c + 5*c. Solve a + 0*a - 4 = c for a.
4
Suppose 3*t + 0*t - 48 = 0. Suppose t + 55 = s + d, -s = -4*d - 51. Let i = -42 + s. Solve -z - i = 4*z for z.
-5
Suppose 3*b = 5*i + 15, 2*b + 9 = -0*b - 3*i. Suppose 3*h - 2*h - 2 = 0. Let n be b + 0 - (h + -3). Solve -13 = -3*a - n for a.
4
Let p(x) = -x**3 - 5*x**2 - 3*x - 2. Let t be p(-5). Suppose 0 = 5*k + r - 21, -2*k + 5*r + t = -17. Let c be ((-21)/6 - -4)*0. Solve k*h + c*h = 25 for h.
5
Let p be (-2)/((-4)/(-2)) - -1. Suppose p*f = 5*f. Solve -v + 0*v - 5 = f for v.
-5
Let q(a) = 4*a - 42. Let w be q(12). Solve -26 = -4*m - w for m.
5
Let x = 3 + 2. Suppose 0*l = 5*l. Solve -w - 4*w - x = l for w.
-1
Let t(c) = -c**2 - 7*c + 7. Let a be t(-6). Suppose -a*k = -12*k - 2. Solve -3*d = -7 - k for d.
3
Let r(q) = q**3 + 12*q**2 + q + 17. Let x be r(-12). Suppose 5*t = -2*g + 19, -x*g + 5*t = t + 2. Suppose -2*y + g + 14 = 0. Solve 3*k - 5*k = y for k.
-4
Let y be (1 - -2) + -9 + 0. Let k = y + 4. Let j(i) = -i - 2. Let v be j(k). Solve -d - d - 10 = v for d.
-5
Let z(d) = d**3 - d**2 + d - 1. Let v be z(1). Solve -6*s + s = v for s.
0
Let g = 14 + -13. Let f(z) = 4*z**3 + 2*z - 1. Let v be f(g). Solve 0 = 3*w + 2*w + v for w.
-1
Let b = 4 + -2. Suppose -b*g = -g. Solve g*v + 9 = -3*v for v.
-3
Suppose -2*t = 2*t - 68. Solve 4*f + 3 = -t for f.
-5
Suppose 7 - 27 = -5*p. Suppose 4*q - 16 = 24. Suppose -q = -p*x - x. Solve -1 = -u - x for u.
-1
Suppose -3*m - 8 = 13. Let l(r) = r**3 + 7*r**2 + 2. Let o be l(m). Solve d = -1 + o for d.
1
Let t be 2 + -4 - (-5 + 2). Suppose g - 6 = t. Solve 5*m = -g - 8 for m.
-3
Suppose 138 = q - 4*q. Let i = q + 22. Let l be 15/(-2)*i/30. Solve 0 = -2*v + 5*v + l for v.
-2
Let c be ((-6)/(-3) + 1)*-6. Let k be (-6)/(-27) + (-86)/c. Suppose 4 = -4*o + k*o. Solve o*x + 2 + 2 = 0 for x.
-1
Let p = -3 + 6. Suppose -5*v = p*f + 11, 5*f = 4*v - 5 + 36. Solve f + 0 = -3*u for u.
-1
Suppose 3*j + 4*i + i - 4 = 0, -2*j - 2 = i. Let r = -11 - -15. Let v = r + j. Solve -v = -3*a - 5 for a.
-1
Let i be (6/4)/((-6)/(-8)). Let p(a) = -4*a**3 + 19*a**2 + 6*a + 1. Let z be p(5). Solve -i*f = -z*f for f.
0
Let h be 9 + (-2)/(-1 - -2). Let j(a) = -a**3 + 5*a**2 - 3*a. Let i be j(4). Suppose 5*l - 2*u + 5*u - 63 = 0, 3*l - i*u - 32 = 0. Solve 3*m + l = h*m for m.
3
Suppose b - 20 = -3*b. Let h = -32 - -51. Solve 0 = -b*u - h - 1 for u.
-4
Let d be (-2)/(-13) + (-96)/(-52). Solve -3*o - 14 = -d for o.
-4
Let t(g) = g + 1. Suppose -2*c - 4*x = 0, -4*c + 2*x + 15 + 5 = 0. Let d be t(c). Let z be (12/15)/(2/d). Solve 7*f - z*f = -5 for f.
-1
Let x(y) = -y**3 + 7*y**2 - 6*y + 4. Let l be x(6). Suppose -l*j = -6*j + 10. Suppose -j*o = -n + 4, -2*o + 4*n - 16 = o. Solve 3*b = 9 - o for b.
3
Let p(i) = -25*i - 1. Let k be p(-1). Let y = k - 14. Let w be (-4)/(-14) + y/14. Solve 0*c = c + w for c.
-1
Let v be -1 - (0 + -1)*-6. Let w(k) = -7*k**3 - 8*k**2 + 3*k + 1. Let n(f) = -f**3 + f. Let h(c) = 6*n(c)