+ (-8)/(-3)). Suppose v = 5, -g*l + 13 = -0*l + v. Solve -u - l*u = 9 for u.
-3
Let q be 3/((-12)/(-10))*4. Solve 0*l = -5*l + q for l.
2
Suppose 0 = -4*d, 4*x - 20 - 40 = -2*d. Solve -3*m = -0*m - x for m.
5
Suppose 0 = -4*u + 5*k + 55, 0*k = 5*u + k - 76. Solve 2*j - 7*j = -u for j.
3
Suppose 0 = 3*a + r + r - 22, 3*a - 2*r = 2. Let u = a - 2. Let n be (1 + 1)*(-6 - -8). Solve 14 = n*z + u for z.
3
Let r = 60 + -57. Solve 0 = -r*v + 5*v - 10 for v.
5
Let u(s) = -s**2 + 7*s - 6. Let i be u(6). Suppose i = -w + 6*w. Solve w*d + 2*d = -2 for d.
-1
Let f(s) be the first derivative of -s**3/3 - 3*s**2 + 10*s - 1. Let c be f(-7). Solve c*b = b for b.
0
Let j be 1*6*36/54. Suppose -3*w = -4*w. Solve j = -w*m + m for m.
4
Suppose 4*i - 18 = 6. Let t(q) = q**2 - 5*q - 3. Let h be t(i). Solve -4 = -b - h*b for b.
1
Suppose m - 2 = 1. Solve 0 = m*r - 7 + 22 for r.
-5
Let i = -1 + 16. Solve 0 = 3*x - 6*x - i for x.
-5
Suppose -5*d + 23 = 2*j, 5*d - 2*j - 6 = 1. Solve -d*r - 4 = -5*r for r.
2
Let y be (0/(-3 - -1))/(-1). Suppose 2*r + j = 8, 0 = -y*j - j + 2. Solve 0 = -r*d - d + 12 for d.
3
Suppose -4 = -0*r - 2*r. Suppose p = -3*s - 1 - 3, -4*s - 12 = 0. Suppose -p*h = -3*h - 10. Solve 11 - h = r*q for q.
3
Let q(n) = n**3 - 8*n**2 + 6*n + 14. Let l be q(6). Let o = 22 + l. Solve -3*f + f + 10 = o for f.
5
Let s be (-8)/3 + 2/(-6). Let l be -5*s*(-2)/(-10). Solve -n - 2 - l = 0 for n.
-5
Suppose -56 = f + 3*f. Let d = f - -17. Solve 0 = d*t - 6 for t.
2
Let g(q) be the first derivative of q**4/12 - q**3/3 - 3*q**2/2 - 2*q - 2. Let m(o) be the first derivative of g(o). Let r be m(3). Solve r = 3*i - 6*i for i.
0
Let i be (3/9*0)/1. Suppose 3*m + i*m - 6 = 0. Let v be ((-6)/3)/((-1)/m). Solve v*p = -p - 15 for p.
-3
Suppose 3*j + 4*v + 3 = 0, j + j + 9 = -5*v. Let l be (-6)/(0 + j) + 2. Solve l*q - 6 = -2*q for q.
3
Let m(o) = 21*o**2 - 2*o + 2. Let u be m(2). Let v = -49 + u. Let k = -21 + v. Solve g - 5*g = -k for g.
3
Suppose -5*b + 10 + 0 = 0. Suppose b + 5 = f. Solve 0 = -2*v - 1 + f for v.
3
Let w = 5 + -2. Let t(y) = -3*y - y + 2*y + y**2 + w*y**3 - 2*y**3. Let l be t(-2). Solve m + 0 - 4 = l for m.
4
Suppose -12 = -4*v + 4. Suppose -2*w = 2*w - v. Suppose 7*g = 4*g + 9. Solve u = g - w for u.
2
Let u(p) = 7*p. Let b be u(1). Solve 19 - b = -3*t for t.
-4
Let s(l) = -l**3 + 10*l**2 - 4*l. Let u be s(9). Let m be ((-2)/3)/((-5)/u). Solve -m - 14 = 5*k for k.
-4
Let u(n) = n**3 + 3*n**2 - 6*n - 5. Let b be u(-4). Let h(v) = v**3 - 2*v**2 + 3*v - 2. Let f be h(2). Let o be (0/(-5))/(0 + -3). Solve f*x + 1 + b = o for x.
-1
Suppose -23 = -5*k - 3. Solve 0 + k = c for c.
4
Let s be (48/6)/(2/4). Solve 4*x + 0*x + s = 0 for x.
-4
Suppose 6 = -4*t + 7*t. Let k be (12/(-18))/(t/(-6)). Solve 0 = -4*f + k*f for f.
0
Suppose -8 = -2*y + 4*v, -40 = 5*y - 0*v + 2*v. Let i(w) = -2*w - 9. Let h be i(y). Solve -h*f = f for f.
0
Suppose 2*p - 3*o = 19, -3*o = p - 4 - 1. Solve -4*t + 8 = -p for t.
4
Let t(u) = u**2 + 7*u + 8. Let m(g) = -g - 10. Let v be m(-4). Let z be t(v). Solve p = z*p + 1 for p.
-1
Suppose 22 - 6 = 4*t. Suppose -t = -2*a + 4*a. Let h be 1 - (a + (2 - 2)). Solve 2 = -h*z - 1 for z.
-1
Let n(a) = a**3 - 5*a**2 + a - 4. Let x(m) = 4*m**2 + 1. Let f be x(-1). Let d be n(f). Let p(t) = -t**2 - 4*t + 2. Let z be p(-4). Solve 3 = z*b + d for b.
1
Let o = -45 + 49. Solve -q = o*q + 15 for q.
-3
Let w be 2/(-6) - 48/(-9). Let y = -2 + w. Solve -y*v = 2*v + 20 for v.
-4
Let u be 4/26 - 703/(-247). Suppose 0 = u*t + 2*y - 40, -4*y = t + t - 40. Solve 3*r = -2*r - t for r.
-2
Let t = -6 + 8. Suppose -3*v = -2*v - 5. Suppose 8 = v*o + 4*h, 3*o - 11 = 4*o + 5*h. Solve o = t*g - 2 for g.
3
Let y be (-10)/(-35) - (-4)/(-14). Suppose 2*r - 6*r - 3*c - 3 = y, 2*c = 2*r - 2. Solve r = -4*o + 6*o - 10 for o.
5
Let n(s) = s + 1. Let v be n(2). Suppose 5 = k + 3*k + 3*a, -v = -4*k - 5*a. Solve 4 = 2*r - k for r.
3
Suppose -3*u + 9 = 3*h, 0 = -2*u + 2*h - 3*h + 7. Solve -u*c - 6 = -2*c for c.
-3
Let h(l) = l**2 - 13*l + 2. Let m be 8/12 - 74/(-6). Let g be h(m). Solve -g*w - 6 = -5*w for w.
2
Suppose -17 = 5*s + 2*t, s + 0*s + 2*t = 3. Let n = s + 5. Solve n = -5*w - 9 - 6 for w.
-3
Let g(a) = 2*a**2 - a - 1. Let s be g(-1). Suppose s*o - 24 = -o. Solve 2*j - 4*j - o = 0 for j.
-4
Let s(q) = -q**2 + 4*q + 4. Let b be s(5). Let l be 0 - 0 - (3 - b). Let p be (-36)/(-15) + l/10. Solve 17 - p = -3*i for i.
-5
Let q be (4 - 0) + -2 - 0. Let x(s) = -s**2 + 2*s**3 + q*s - 1 + 0*s + 3*s**3. Let z be x(1). Solve 2*t = z*t for t.
0
Let g be -3*((-38)/6 + 4). Solve 0 = g*m - 2*m - 25 for m.
5
Let c(j) = j**2 + 16*j + 21. Let y(a) = 2*a**2 + 32*a + 43. Let p(f) = 5*c(f) - 2*y(f). Let o be p(-15). Solve -20 = -0*s + o*s for s.
-5
Suppose 12 = 5*u + 7. Solve 3*p + u = -11 for p.
-4
Suppose 32 = 5*m + 4*f, -2*f + 15 = 3*f. Solve m = -5*b + b for b.
-1
Let t(x) = -x**2 - 5*x - 4. Let u be t(-4). Solve -2*w = -u*w for w.
0
Let g(d) = d**2 + 8*d + 9. Let c be g(-7). Let s be ((-56)/16)/(c/(-4)). Solve -2*r - 1 = -s for r.
3
Suppose -2*q = 4 - 4. Suppose 0*w + 30 = -2*w. Let x be (-1)/2*2*w. Solve q*h + 5*h = x for h.
3
Let m(n) = -n + 14. Let s be ((-116)/6)/(4/12). Let y be s/(-6) + (-1)/(-3). Let z be m(y). Solve q = -z*q - 10 for q.
-2
Let p(h) = -13*h - 1. Let b be p(-1). Solve -2*y - y + b = 0 for y.
4
Let q be -4 - (-5 + 4 - 24). Suppose 20*i - q*i + 2 = 0. Let z be 4/6 + (-2)/3. Solve z*j + j = -i for j.
-2
Let u = 6 + -7. Let l be (0/u)/((-18)/(-6)). Solve 2*t + l*t = 0 for t.
0
Suppose -5*k + 4*t - 8 = 0, -3*t + 2 = 2*k - 4. Suppose k*s = -2*s - 2. Let y be s - (2 - 18/1). Solve y = -3*f + 3 for f.
-4
Suppose 0 = -0*z - 4*z + 120. Let h be z/4*8/(-6). Let m = 14 + h. Solve -2*q + 2 = m for q.
-1
Let n(u) = -7*u - 27. Let i be n(-6). Solve 0 = -6*f + f + i for f.
3
Let n(u) = -2*u - 1. Let c(l) = -3*l - 1. Let b(g) = 3*c(g) - 4*n(g). Let w be b(-1). Suppose 3*t = w*t + 8. Solve -3*p + t*p = -15 for p.
-3
Let t(q) = -q**3 - 22*q**2 - 23*q - 40. Let p be t(-21). Solve -2 = -p*f + 4 for f.
3
Let a be 1/(-2*3/(-18)). Suppose -a*f = -7*f. Let x be -1 + f - (5 - 15). Solve x + 16 = -5*h for h.
-5
Suppose -8*v = -61 - 59. Solve 3*k - 6*k = v for k.
-5
Suppose 5*u = 43 - 13. Let c = -7 + 14. Suppose 0 = -5*a + v + 16, 4*v = 4*a - 3*a - c. Solve -3*s - a = u for s.
-3
Let p(r) = r**3 - 8. Let n be p(0). Let l = n + 8. Solve -q - 2 + 3 = l for q.
1
Suppose -2 = 4*s + 22. Let f(c) = -c - 1. Let o be f(s). Suppose 4*i - i = 0. Solve i*x - 15 = -o*x for x.
3
Suppose -4*n + p = -10 + 44, -2 = p. Suppose d + 5*y - 13 = -3*d, 0 = -3*d - 4*y + 10. Let m be (-1)/(d - (-21)/n). Solve -m*q - 25 = 2*q for q.
-5
Suppose -3*k = -k - 46. Suppose 50 = -5*y + 10. Let u = y + k. Solve -u = -7*c + 4*c for c.
5
Let o(n) = -n + 6. Let p be o(3). Solve 15 = p*i + 2*i for i.
3
Let q = 115 - 114. Solve 3 = -l - q for l.
-4
Let v = -270 + 273. Suppose -5*q = -0*q. Solve -v*w + 2*w = q for w.
0
Suppose -5*m = -12 - 8. Let i be 0 + (5 + -2)*1. Suppose -4*y + 4*z - 3*z + 16 = 0, 0 = 4*y + 4*z - 36. Solve y*w - m = i*w for w.
2
Suppose 2*z = -0*z - 4. Let r be z/(10/(-6) + 1). Suppose 0*f = y - f + 5, -r*f + 15 = -y. Solve 2 = -g - y*g for g.
-2
Suppose 5*f = f + 48. Suppose 3*o = -o + f. Suppose -3*r + o = -6. Solve 6 + 6 = -r*b for b.
-4
Let x = -2 - -11. Solve 5*k - x = 11 for k.
4
Let y be (-5)/15*0/2. Solve m - 2*m = y for m.
0
Let i be (-2 - -3)/(3/213). Suppose i = 5*k - 24. Suppose 26 = 5*u - k. Solve -2*f + u = f for f.
3
Suppose -16 = -l - 3*l. Solve -l*g + 2 = -2 for g.
1
Let f(j) = 6*j**3 + j**2 + j + 1. Let z be f(-1). Let m(o) = 3 - o + 3 - 2*o + 4*o. Let w be m(z). Solve 2*q + w = -3 for q.
-2
Let t(b) = -2*b**2 + 13*b - 5. Let z be t(5). Solve z = -4*w - w for w.
-2
Let v = -3 + 5. Suppose -2*o = 2*q + 16, -2*o - q - 9 = 7. Let h(x) = x**2 + 7*x + 4. Let b be h(o). Solve -v*u - b = 2*u for u.
-3
Suppose -b = b. Let o(v) = -v**2 + 8*v + 9. Let w be o(8). Let u be (-4)/(-18) - (-34)/w. Solve b = i + u - 1 for i.
-3
Suppose -5*n = 3*j + 24, 0*n + 2*n = -2*j - 12. Let b be 0 + -1 - (-2 + n). Solve b = -r + 9 for r.
5
Suppose 0*s = 4*s - 4. Let w(y) = -2*y**2 - 2*y - 2. Let k be w(-2). Let z be (-15)/k - s/(-2). Solve -3 = -z*r + 3 for r.
2
Let d be (-2 + 1)/1*-3. Let n = d + -3. Solve q + 0*q + 