- k - k - 22, -5*k - 10 = -g. Let b be a(g). Let m = 15 - 7. Solve -b*t + m = -2 for t.
5
Let z be (2/(-3))/((-4)/150). Let h = z + -13. Solve -7*l = -3*l + h for l.
-3
Suppose 0*i + i - 4 = 0. Solve -3*n = -4*n + i for n.
4
Let y = -23 - -25. Suppose 5*s - 4*c - 8 = 3*s, 0 = -2*s - y*c + 2. Solve -3*w + 3 = -s*w for w.
3
Let l(i) = 2*i - 14. Let z be l(7). Solve -5*x + 12 + 8 = z for x.
4
Suppose -4*l = 2*v - 20, 7*l + 2*v = 4*l + 17. Solve 0 = -0*r + 3*r - l for r.
1
Suppose 2*h + 10 = 34. Let b be ((-20)/h)/((-1)/3). Suppose -5*i - v + 5 = -2, b = -3*i + 4*v. Solve -3*w = -14 - i for w.
5
Let s be -6 + 9 - (0 + 0). Let d(f) = -s*f + f - 3*f + 1 + 6*f. Let j be d(2). Solve -j*i - 16 = i for i.
-4
Let u be (-4)/(-7)*(-21)/(-6). Suppose 3*c - 150 = -u*c. Suppose -5*d + c = -0. Solve 0*j = 3*j - d for j.
2
Let o(z) = 3*z**3 + 10*z**2 - 7*z + 2. Let t(b) = 5*b**3 + 19*b**2 - 13*b + 5. Let p(u) = -7*o(u) + 4*t(u). Let j be p(4). Solve -6 = 5*a - j for a.
4
Let g(b) = b - 1. Let x be g(1). Let k = 0 + x. Let h = 4 + -2. Solve h = -a - k*a for a.
-2
Let b = -4 - -6. Solve 3*w + 5 - b = 0 for w.
-1
Suppose 3*v - 2*k = 11, -2 = v - 4*k - 9. Suppose -8 = -v*t - 2. Solve t*r + 2 - 12 = 0 for r.
5
Let p be (-49)/35 - (-2)/5. Let t be (-6)/(-2) + (p - 0). Solve -t*d + 20 = 2*d for d.
5
Suppose 3*k = -4*p + 21 - 5, k = 5*p - 1. Suppose w - 3*q = 7, -7*q = 5*w - 8*q - 7. Solve k*v + w = 5*v for v.
1
Let n = -1 + 3. Let z = 9 - 6. Let j be 8/z + (-4)/(-12). Solve -n - j = -5*u for u.
1
Let n(k) = k**3 - k - 2. Suppose 0 = 4*b + 5*h - 19 - 3, b = 2*h - 1. Suppose -b = 4*i - 11. Let g be n(i). Solve -g = l - 3*l for l.
2
Suppose 41 = 5*r + 3*x, 3*x = -3*r + 44 - 17. Solve -2*s = -r*s for s.
0
Suppose 2*m = -3*t + 9, -2*m + 9 + 6 = t. Solve 2*p = 5*p - m for p.
3
Let a(d) = d**3 + 2*d**2 + d. Let m be a(-1). Suppose -2*g + 6 = -m*g. Suppose -g*q + 6 = -6. Solve -1 + 21 = -q*r for r.
-5
Suppose -3*j - 4*c + 2 = 1, 3*j - 3 = -3*c. Let r = 3 + -3. Solve r*q = j*q for q.
0
Let r be (-22)/(-5) - 4/10. Let u = 128 - 80. Suppose 5*w - 18 + u = 4*x, w - 18 = -4*x. Solve -r*s - s = -x for s.
1
Let z be (-81)/15 + 2/5. Let o = -3 - z. Suppose -2*r - j = o*j - 12, -4*r + 8 = -2*j. Solve -15 + 3 = -r*y for y.
4
Let y(b) = -b**2 - 5*b - 2. Let i be y(-4). Suppose 4 + 12 = -i*j. Let m = j + 9. Solve 0*d + d = -m for d.
-1
Let z(n) = n**2 - 4*n. Let p be z(6). Suppose 5*b - 15 - 5 = 0. Solve b*g = g + p for g.
4
Let d(t) = -2*t + 14. Let a be d(7). Solve a = -r - r - 4 for r.
-2
Let a(c) = c**2 - 11*c + 22. Let s be a(9). Solve -2*l + 6 = -s for l.
5
Let w(v) = v**3 + 6*v**2 - 2*v - 6. Let a be w(-6). Solve -a = -0*r - 3*r for r.
2
Let b(u) = -3*u + 41. Let m be b(12). Solve m*l + 3 = -2 for l.
-1
Suppose -2*v - 6 = -12. Solve 0 = -5*y + 2 + v for y.
1
Let r = 0 + 0. Solve r = -3*g - 4 - 5 for g.
-3
Suppose 135*h = 133*h + 20. Let a be 2/(-6) + (-88)/(-12). Solve -2*x + h = -a*x for x.
-2
Suppose 4*q = q + 6. Solve d = -q*d - 6 for d.
-2
Let f(c) = c**2 - 10*c + 11. Let t be f(9). Solve -3*w = -t*w - 2 for w.
2
Suppose -2*h + h = 5*h. Solve -v - 2 - 1 = h for v.
-3
Let w be ((-12)/9)/(2/(-6)). Let x be 0 + (-6 + 7)*5. Solve w*p - 4 = x*p for p.
-4
Suppose 2*d - 137 = -5*l, 0 = -4*l + 4*d - 2*d + 106. Suppose -5*m + 7 = -5*v + l, -3*v + 18 = -5*m. Let f be (m + -5)*(-2)/1. Solve -i + 5*i = f for i.
4
Suppose -4*f + f = -9. Let j be 3 + (f + -1)/(-2). Solve -3*d = -j*d + 1 for d.
-1
Suppose -3 - 13 = -m. Suppose -18 = -2*o + 4*p, -5*o + 6*p = 2*p - 33. Solve o*b = b + m for b.
4
Let k = 5 - 3. Let z be 24*((-5)/2 + 3). Let v = 13 + z. Solve -k*l = 3*l + v for l.
-5
Let t(j) = -j**2 - 16*j - 10. Let d be t(-15). Solve -2*b - d = -b for b.
-5
Let y = -29 - -31. Solve 5*v + y - 12 = 0 for v.
2
Suppose 5*v - 71 - 29 = 0. Solve 0 = 2*m + 2*m - v for m.
5
Let q = 76 + -72. Solve 3*z - q = z for z.
2
Let a(u) = -2*u**2 + 10*u + 51. Let w be a(8). Let r(d) = 10*d - 3. Let z be r(2). Let q = z + -2. Solve -8*k + w*k + q = 0 for k.
3
Let n = -96 - -104. Solve 3*u - n*u = 15 for u.
-3
Let b = -7 + 8. Let i be b/2 - 2/4. Solve i = -2*l + 4*l - 2 for l.
1
Let r = -47 - -48. Let f(z) = z + 5. Let c be f(-4). Solve m + r = -c for m.
-2
Let h(y) = -3*y - 1. Let c be h(-2). Solve 10 - c = f for f.
5
Suppose 0 = -4*q + 5*m, -2*m - m = 3*q. Let k be 0*((-3)/9 + q). Solve -16 = 4*l - k*l for l.
-4
Suppose -2*v + 3 = 2*r - 7*v, -5*r + 5*v + 15 = 0. Let u(q) = 2 - 3 - q**2 + 6*q - 3. Let o be u(r). Solve -12 + o = -4*j for j.
2
Let l(x) = x**2 - 7*x + 9. Let o be l(6). Solve 0 = -j - o for j.
-3
Let z be 2 + (-4 - -2) - -3. Solve 3 = z*i - 2*i for i.
3
Let y = -104 - -108. Solve -u + y*u = -6 for u.
-2
Suppose -2*q - 5*f + 4 = -6, 10 = 2*q + 4*f. Suppose 3*m + 3*o = q*o + 3, o + 9 = 4*m. Suppose -p + 3*w = -14, 5*p - 3*w + m = 37. Solve -2*y + p*y = -12 for y.
-4
Let h = 3 - 0. Suppose z - 27 = -h*q, 0 = 2*q + 2*z - z - 17. Solve -2*u - q + 2 = 0 for u.
-4
Let s = -13 + 5. Let x = 20 - 9. Let w = s + x. Solve 5*j - 2*j = w for j.
1
Suppose -6 = 5*u - 16. Let x(t) = -6 + 3 + u + t**2. Let b be x(-1). Solve b*i = -i for i.
0
Let r be 196/10 + (-2)/(-5). Let z = 3 - 1. Suppose z*i + 2*i - r = 0. Solve i*q - 23 = -8 for q.
3
Let v be -1 - 26/(-10) - 4/(-10). Let d(i) = i**2 - 1. Let u be d(1). Solve v*n + n = u for n.
0
Let g(l) = l**3 + 5*l**2 + 2*l - 6. Let o be g(-4). Solve -o*v - 8 + 0 = 0 for v.
-4
Suppose -3*u - 9 = -3*j, 3*j + 3*u = 8*j - 13. Let k = 8 - 5. Solve -j*y + 3 = -k for y.
3
Let d(w) = w**2 - 4*w - 5. Suppose s - 2*n + 11 = 0, 0*s + 4*s + 23 = n. Let z(c) = -c. Let y be z(s). Let r be d(y). Solve r*m - 1 = -m for m.
1
Let b(k) = -k + 10. Let a be b(8). Suppose -3*q + 9 = 0, 0*d = d - 2*q + 6. Solve d = c - a for c.
2
Suppose 16 - 52 = -2*o + 5*n, -5*n = o + 12. Solve 0*j - o = 4*j for j.
-2
Let j be (-3)/(75/(-35)) - 6/(-10). Solve -j*a = -3 + 1 for a.
1
Suppose -f + 5*f = -72. Let v = f + 30. Solve v = d - 4*d for d.
-4
Let p = 7 + -3. Suppose -5*f + 45 = p*y, -2*f + y = -y. Suppose -3*g + 4*k + 4 = 0, 2*g + k - 5*k = 0. Solve 3*q = -f - g for q.
-3
Suppose 4*r + 0*l - 32 = 4*l, 0 = -2*r - 4*l - 2. Suppose 73 + 137 = 5*j. Let k be (-1)/4 + j/8. Solve -r - k = 2*g for g.
-5
Let l be 6*(-1)/(-2)*-1. Let j be (-5)/(2/(-6)*l). Let w = j - -5. Solve w = -4*s - 7 - 13 for s.
-5
Suppose -g + 0*p - 5*p - 13 = 0, 0 = -4*g + 4*p + 20. Solve -g*l + 3 = -l for l.
3
Let n(f) = -f**2 - 8*f + 24. Let u be n(-10). Solve -u*r + 2*r - 6 = 0 for r.
-3
Let j = -10 + 11. Suppose 2 = s - j. Solve -s*u = -u for u.
0
Let a be (-3)/9*(-15 + -3). Let l be ((-120)/18)/((-4)/a). Solve -j - j = l for j.
-5
Let c = -63 - -83. Solve -2*s + c = -7*s for s.
-4
Let b = 6 - 3. Solve 0 = 2*h + b + 1 for h.
-2
Suppose -2*j - 3*v - 2 = 0, 2 = 2*j - 3*v + 5*v. Suppose j*q - 3 = 17. Suppose -18 = -q*y + 2*m, 0*y = -y - 2*m - 3. Solve y*x - x - 2 = 0 for x.
1
Suppose -2*z - z - 390 = 0. Suppose 4*b + b = 5*f + 45, -4*b - 5*f = 9. Let u be (-1)/b - z/8. Solve u + 9 = -5*y for y.
-5
Let n be (-1)/5*(1 - 6). Suppose 0 + n = l. Suppose v - t + l = -0*t, -2*v + 13 = t. Solve k = v*k for k.
0
Let m(f) = -f**2 - 4*f. Let z be m(-4). Let l = 31 - 12. Let j = l - 13. Solve z = t + 3 - j for t.
3
Suppose -4*u + 7 = -3*u. Suppose 0 = -4*q - 5*d + 23 - u, -8 = -2*q - 5*d. Solve 2 - 10 = -q*g for g.
2
Let p(f) = f. Let y be p(5). Suppose -l = 2*l - y*n - 20, -3*l + 4*n = -19. Let q = l - 3. Solve -q*i + 1 + 1 = 0 for i.
1
Let r = -41 - -25. Let f be (-2)/6 - r/12. Solve 0 = x + f - 0 for x.
-1
Let x(z) = -8*z. Let q be x(-2). Let l be (-1)/1*(-8 - -2). Solve -2*f - q + l = 0 for f.
-5
Let u be 2/(-8) + (-13)/(-4). Suppose -32 = -5*j - 4*q, -u*j - 2*j + 5*q = -5. Solve 7 + 1 = j*v for v.
2
Let r = -9 - -10. Suppose -5*n + 45 = 15. Solve l - n = -r for l.
5
Suppose 0 = -5*i - 3 - 37. Let y = -5 - i. Suppose -f - d + y = -5, f - d - 10 = 0. Solve 0 = z + 2*z - f for z.
3
Let h be ((1 + -1)/2)/(-3). Solve 0*w + 3*w = h for w.
0
Let c = -5 - -9. Let j(y) = y**3 - 7*y**2 - y + 10. Let z = 2 - -5. Let t be j(z). Solve c*s = -t + 23 for s.
5
Let y(n) = 0*n**2 + 8*n - 3*n**2 - 7 + 4*n**2 - 2. Let z be y(-9). Solve -2*h + 2 + z = 0 for h.
1
Let t be 1*(2 + (-4 - -5)). Solve -3*w - t = -15 for w.
4
Suppose -8*r + 3*r + 25 = 0. Suppose -r*d + 