 l = 0 for u.
-3
Let z be 84/(-8)*28/(-49). Solve a + a - z = 0 for a.
3
Let s be 4/18 + 534/27. Solve 3*m + m = s for m.
5
Let j be (-3)/(-5) + (-96)/(-40). Solve -2 = -k + j for k.
5
Suppose -3*m - 11 = -35. Let i be ((-6)/(-4))/(4/m). Let u = 1 - 1. Solve u = -6*k + 5*k - i for k.
-3
Let x(r) = 8*r - 3. Let h be x(1). Solve 4*f - 5 = h*f for f.
-5
Let k(o) = 2*o**3 - 3*o**2. Let f be k(2). Suppose -5*w + 2 = 2*g, f*w = g + g - 2. Solve w*z = z for z.
0
Let g = 3 - 1. Let z be ((-4)/6)/(g/(-6)). Let k(r) = -r**2 - 7*r - 6. Let x be k(-5). Solve -x = z*o - 0 for o.
-2
Let b(a) = -3*a**3 - 12*a**2 - 22. Let w(u) = 2*u**3 + 8*u**2 + 15. Let l(v) = -5*b(v) - 7*w(v). Let c be l(-4). Solve -6 = c*q + 19 for q.
-5
Let v = 14 + -8. Solve -3*r = -v - 0 for r.
2
Let c = 8 - -1. Let f be (1*c)/(3/2). Suppose 0 = 3*i - f. Solve -i*x - 5 + 1 = 0 for x.
-2
Suppose -w - 9 = -12. Let o be (-2)/(-10) - (-96)/20. Let c = o - -2. Solve w + c = -5*t for t.
-2
Let y(t) = 4*t - 3. Let v be y(2). Let z be v/((-3)/(-2 + -1)). Let s(w) = w - 4. Let l be s(z). Solve 0 = b - 2 - l for b.
3
Suppose -5*l = -l - 100. Solve -3*c + l = 2*c for c.
5
Suppose -n - 210 = 4*j, 0*n + 5*n = 2*j + 94. Let u be (-3)/2*j/6. Solve -5 + u = 2*m for m.
4
Let u be (-1 - (-6)/4)*12. Suppose -c + u*c = 0. Solve y + c*y = -4 for y.
-4
Suppose -34*h + 29*h = -10. Solve -h*c = 2*c + 20 for c.
-5
Suppose -4*c + 37 = -h, 4*c + 5*h = 2*c + 35. Suppose -a + 2*d - d + 9 = 0, d = 3*a - 19. Solve a = 5*y - c for y.
3
Let k = 8 - -72. Suppose -5*o + 80 = -4*b, 3*o + 4*b + 0*b - k = 0. Solve 3*n - o = -8 for n.
4
Let a = 9 - 8. Let v be 0/(1*(0 - a)). Solve -10 = 5*y - v*y for y.
-2
Suppose 20 = -0*i - 5*i. Let h = i - -7. Let u = -2 + h. Solve -q = u + 3 for q.
-4
Let x(s) = s**2 - 8*s + 10. Let p be x(7). Solve -p = -2*q + 1 for q.
2
Let j(r) = r**3 + r**2 - 2*r + 6. Let v be j(4). Let h be (v/65)/(4/10). Solve -w = -2 - h for w.
5
Let j be -1 - (0 - 1) - -5. Let d = -10 + j. Let g be 1/3 + d/(-3). Solve 0 = -3*f + 1 + g for f.
1
Suppose -2 = -z, 4*z + 5 = 4*j - 3. Solve -3*d = -4*d + j for d.
4
Suppose -12 = -0*v + 2*v. Let z(y) = y**2 - 6*y - 5. Let i be z(5). Let s = v - i. Solve -5*d + 6 = -s for d.
2
Let x = -6 + 1. Let b be (30/(-25))/(2/x). Solve 0 = b*t + t + 4 for t.
-1
Let a be 6/((-5)/(-2) - 1). Suppose 5*y = a*s - 2, y = 2*y + 3*s - 11. Suppose -2*x = -6 - y. Solve -x*u = -2*u + 6 for u.
-3
Let o = -23 - -42. Suppose 0 = 5*z - 4*z - 5*q + 13, 3*q = -5*z + o. Suppose -z*b = -6, k + b - 9 = 9. Solve 6*f - f = k for f.
3
Let t = 20 - 11. Solve -5*a + 6 = -t for a.
3
Suppose -2*k - 2 = 0, -5*q + 0*q = -5*k - 5. Solve q = 3*x - 0 - 6 for x.
2
Suppose 36 = 12*j - 24. Solve j*y = 13 - 3 for y.
2
Let w be -2 - (-4 - (-9)/3). Let a be 5*w/3*-3. Solve s + 4 - a = 0 for s.
1
Suppose 4*l - 16 = y, -2 + 14 = 3*y. Solve -l*n - 10 = -0 for n.
-2
Suppose -2*f + 4 = 2*l, 3*f - 13 = -2*l - 6. Solve 5*d - 2*d = -f for d.
-1
Suppose 10 = -2*m, -2*m - 3 - 19 = -i. Suppose -b = -4 - 0. Let j be ((-8)/6)/(b/(-6)). Solve -j*c - i = 2*c for c.
-3
Suppose -l = 3*l - 16. Suppose 7 = -5*t - 13, l = 4*m + 4*t. Solve 2*c = m*c + 3 for c.
-1
Suppose -36 = -4*g - 0*g. Suppose 4*b = -0*b, s + 2*b = 6. Solve 3*y + g = -s for y.
-5
Let x(v) = -v**2 + 8*v + 2. Let k be x(8). Suppose 4*n + 38 = 5*s, -n - k*n = 5*s - 59. Solve -d - s = -3*d for d.
5
Let y(h) = -2*h**2 + 20*h - 27. Let x be y(8). Solve x*j = 3*j - 6 for j.
-3
Suppose 5*y - 30 = -2*r, 5*r + 22 = 4*y - 2. Let u be y/2 + 6/3. Solve 4*b + b + u = 0 for b.
-1
Let u be 1/(-5) + 62/10. Let p be (1 + 11)*(-5)/(-15). Solve -p*s - 14 - u = 0 for s.
-5
Let y be (4/8)/(2/(-20)). Let k = y + 5. Solve -3*r + 0 + 12 = k for r.
4
Let t = -91 - -91. Solve 2*h + 0*h - 6 = t for h.
3
Let p(z) = -4*z**2 - z - 1. Let v be p(2). Let i = -13 - v. Let y = -4 + i. Solve 1 + y = 3*a for a.
1
Let i = 2 + -3. Let t be (0/i)/(3 + -5). Solve t = 5*q - q for q.
0
Let g(j) = -3*j**2 + 7*j + 7*j**2 - 3*j**2 + 7. Let o be g(-6). Let k be 1 + -4 + 5/o. Solve k = -x + 3 for x.
1
Let i be 448/84 + ((-2)/3)/2. Solve -6 = -i*p + 2*p for p.
2
Let i be 3/(1 + (-4)/16). Solve m - 1 = i for m.
5
Let b be (0/1 + 1)*0. Solve -s + 3*s - 4 = b for s.
2
Let d = 13 + -6. Suppose -6 = -a - 2*a. Suppose a*k - 3*h = 3, -k + h - 13 = -5*k. Solve 5*o + k = -d for o.
-2
Suppose 3*b - 9 = 2*o, 8*o - 4*o + 3*b - 9 = 0. Solve h = -o*h for h.
0
Let k = 2 + 3. Suppose -2*s = -0*l + k*l + 10, 0 = 2*l + 2*s + 10. Solve 5*c - 2 - 8 = l for c.
2
Suppose 0 = 4*y + h - 52, -y - 2*h = -7*h + 8. Let u = y - 8. Solve -k - u = -2*k for k.
4
Let s be (-2)/3*-9*12/24. Solve -s*h = -2*h for h.
0
Let a be (-2 + 0)/(10/(-50)). Let j(o) = o - 10. Let b be j(a). Solve b*s - s = -3 for s.
3
Let q(l) = l**2 - 8*l + 9. Let y(k) = -k**2 - 7*k - 3. Let i be y(-5). Let x be q(i). Solve x = -6*s + 5*s for s.
-2
Let t = -5 - -7. Suppose t*n - 4*z + 4 = -n, -3*n = -5*z + 5. Solve 3*d + n*d = 0 for d.
0
Let u = 20 + 0. Suppose -3*k - 2*s - 1 = -9, -5*s = -u. Let t = 2 - k. Solve t - 5 = b for b.
-3
Let m be 0/(-1 - (2 - 5)). Suppose -d - 3*d = m. Solve -3*x + 4 + 11 = d for x.
5
Suppose -5*l + 2 = -8. Suppose -l*c - 11 = 4*m - 7*c, -m + c - 2 = 0. Solve -3 = z - m for z.
-2
Suppose -6*t = -8*t + 6. Solve 2*d - 25 = -t*d for d.
5
Let w(g) = -g**3 - 2*g**2 - 2*g - 1. Let t be w(-1). Suppose t = y - 4 - 2. Solve -z + y = z for z.
3
Suppose 2 = -3*o - 4*h, -4*h = -5*o - 9*h. Suppose 5*y - 10 - 5 = 0. Solve o*m = -y*m - 25 for m.
-5
Suppose 0 = -x + 6*x + 3*j + 27, 0 = 4*x - 2*j + 4. Let s be (x - -3)*(2 - 1). Solve g - 1 + 4 = s for g.
-3
Suppose 4*u + 15 = b - 8, 4 = -4*b. Let n = u - -9. Solve c + 4 = n for c.
-1
Let c be 4*((-9)/(-4))/(-3). Let j be (c - -3)*2/4. Suppose -5*b - u + 15 = j, -5*b - 2*u + 19 = 4. Solve 0 = -2*v - b*v - 25 for v.
-5
Let z(k) = -k**3 + 4*k**2 + 4*k + 6. Let p be z(5). Suppose 5*x - 9 = p. Solve 0*l = -2*l + x for l.
1
Suppose -3*v = -46 + 7. Let k(r) = 2*r - 8. Let c = 5 + 1. Let m be k(c). Solve -3 = m*z + v for z.
-4
Let r(l) = -3*l - 22. Let c be r(-9). Solve 0*o = -c*o for o.
0
Let n = -249 + 253. Let k = 10 + -4. Solve 18 = -n*p + k for p.
-3
Let a(g) = 5*g**2 - 41*g - 10. Let l(d) = d. Let t be l(3). Let h(q) = 2*q**2 - 14*q - 3. Let c(x) = t*a(x) - 8*h(x). Let f be c(-10). Solve -3*s = -f*s for s.
0
Suppose c - 8 = -7. Solve -i + c = -1 for i.
2
Let y(o) = 2*o + 17. Let i be y(-7). Let k = 1 + 0. Solve 4*s - k = i*s for s.
1
Let r be (6/3)/(-2) - -1. Suppose 2*n = 5*w - 13, -5*w - 4*n = -r*n - 19. Let u(x) = -x**3 - 4*x**2 - 2*x. Let h be u(-4). Solve f + h = w*f for f.
4
Suppose -3*b + b = -2. Solve 4*o + 3 = -b for o.
-1
Let q(d) = -d**2 - 3*d + 3. Let j be q(-3). Solve z = -j*z - 16 for z.
-4
Suppose -8*z + 4 = -6*z. Suppose -5*x = 4*a + 7, -3*a - 3 = -2*a. Solve z*b = -5 - x for b.
-3
Let y = -3 + 14. Solve -y - 4 = 3*d for d.
-5
Let h(k) = k**3 - 4*k**2 - 3*k - 7. Let q be h(5). Let y(m) = m**2 - m - 4. Let p be y(q). Solve 0*d = -p*d - 2 for d.
-1
Let j = -45 - -54. Solve 3*d + 3 = j for d.
2
Let q = 1 - 2. Let m = -3 + q. Let k be (m/(-10))/((-4)/(-20)). Solve k*i = -i - 12 for i.
-4
Let x = 0 + 2. Suppose 5*l - x*g - 21 = 0, 5*g = 5*l - 2*l - 5. Solve c - l = 2*c for c.
-5
Let m(y) = y - 2. Let x be m(3). Let n = 4 - x. Solve 6*c - 15 = n*c for c.
5
Suppose 0 = 2*v + v. Suppose u + v = 4. Let f = 5 - 1. Solve -u*l + 4 = -f for l.
2
Let o(v) = v + 2. Let w be o(-8). Let r be (-2 + w)*(-6)/8. Solve -r*m = -m - 20 for m.
4
Let d be (-12)/(-18) - (-2)/(-3). Solve d = 2*s - 5*s for s.
0
Suppose -5*i = -2*i - 36. Suppose -2*w - 21 = -5*g, -4*w - i = g - 5*g. Solve -o + 2*o = g for o.
5
Let p(a) = -a + 4. Let y be p(4). Solve y = -4*t - 21 + 5 for t.
-4
Let s(n) = n + 14. Let u be s(0). Suppose -8*p = -3*p - 50. Let j = p + 24. Solve 4*l = u - j for l.
-5
Let j be 2/2*(-72)/12. Let x(y) be the third derivative of -y**5/60 - 7*y**4/24 - 5*y**3/6 + y**2. Let b be x(j). Solve 1 + b = -2*d for d.
-1
Let m(u) = -u**2 + 4. Let t be m(4). Let r = -4 - t. Solve 0 - r = -2*a for a.
4
Let u be 6/14 - 3*(-12)/14. Solve -2*m = u*m - 10 for m.
2
Let a(b) = b**2 - 2*b - 2. Let x be a(3). Let m = 5 - x. Let w = -5 + 9. Solve -5*p + m*p = -w for p.
4
Suppose 24 = 4*q - 4. Solve 0 = 4*g - q + 11 for g.
-1
Suppose 3*h + 