k - 2 = 0. Solve -5*u = q - 4 for u.
-1
Let v(b) = -b**2 + 9*b + 1. Let l be v(8). Solve 6*z - l = 3*z for z.
3
Let i(a) = a**2 - 18*a + 23. Let h be i(17). Solve h*l - 2*l - 16 = 0 for l.
4
Let v = 27 - 47. Let t = v + 29. Suppose -41 - t = -5*i. Solve -3*d + d - i = 0 for d.
-5
Suppose 12*p = 11*p + 6. Solve 0 = -p*n + 5*n + 4 for n.
4
Let s(l) = l**2 - 6*l + 7. Let x be s(5). Let w = x + 0. Solve -w = 3*o + 1 for o.
-1
Suppose -90 = -5*x + 155. Let t = 69 - x. Solve 0*m = 4*m - t for m.
5
Let w(s) = s**3 + 2*s**2 - 9*s**2 + 2*s**2 + 7 - 3*s. Let k be w(6). Let f be 2/(-10) - (-105)/k. Solve -20 = -0*g - f*g for g.
5
Suppose 0 = m + 2 + 4. Let z be 1162/5 - m/(-15). Let a be z/20 - (-4)/10. Solve 2 = 5*g + a for g.
-2
Let m = 17 - 15. Solve -m*z = -z - 1 for z.
1
Let z(w) = 7*w - 6. Let q(j) = 6*j - 6. Let y(x) = -6*q(x) + 5*z(x). Let n be y(5). Solve -n = 3*u - 2*u for u.
-1
Let v = 10 + -5. Solve -v*r + 8*r = -15 for r.
-5
Let s(a) = 3 - 3 - 2 + a. Let q be s(6). Suppose 10 = q*y - 2. Solve 0*l = y*l - 15 for l.
5
Suppose 2*a + 2*l + 2 - 4 = 0, -a + 17 = -3*l. Let r = a - 5. Suppose 3*h - 18 + 0 = r. Solve h*q + 3 = 3*q for q.
-1
Suppose 0*o + 18 = 4*o + 5*u, -o + 5*u + 17 = 0. Suppose -5*g = 5*r + 20, 0*r - o = -2*r + g. Solve -6 + r = -5*j for j.
1
Let v(r) = r + 7. Let a(c) = 0*c**2 + 0*c**2 + 4*c**2 - 5 + c**3 - 7*c. Let h be a(-5). Let l be v(h). Solve -s + 4*s + l = 0 for s.
-4
Suppose 5*s = 2*c - 0 - 1, -c + 7 = 4*s. Let q = 4 - 2. Suppose -u = -q*v + c + 6, -2*v - 5*u = 21. Solve -v*p - 6 = 2 for p.
-4
Let f be 2/8 - 27/12. Let m = 6 + f. Solve m = -5*b + 19 for b.
3
Let s = -18 - -18. Solve s = 3*i - 2*i - 3 for i.
3
Suppose 21*w - 88 = -25. Solve 2*a - w - 5 = 0 for a.
4
Suppose -4*y - 8 = 4*g, -4*g + 0*g + 2*y - 14 = 0. Let p be ((-4)/(-1))/(-2) - g. Solve 4*s - p = -17 for s.
-4
Suppose 4*x - 20 + 3 = -5*u, 0 = -2*u - 5*x + 17. Let z be (-2 - -3)/(u/3). Let b be (1 + -1)*1/2. Solve b = t + z*t + 12 for t.
-3
Let c = -3 - -3. Solve k - 3 = -c for k.
3
Let l = 25 - 19. Solve 4*j = j + l for j.
2
Let j = -41 + 43. Solve -j*b = 3*b + 25 for b.
-5
Suppose 0 = 3*b - 9. Solve -2*v + 7 = -b for v.
5
Suppose 0 = 2*x + 2*n + n + 3, -5 = 5*x + 5*n. Solve 0 = -2*l - x*l for l.
0
Suppose -m - 19 = -3*j, 3*m + 1 = 2*m. Suppose -y + j*y - 15 = 0. Solve -y*h - h = 0 for h.
0
Let k be (-2)/(-1) - (3 - 5). Solve 6 = 2*l - k for l.
5
Let u be -4 - (-1 - (2 - -8)). Suppose -4*m - 15 = -3*s, -5*m + 2*s - 24 = -0. Let o = u + m. Solve i = 2*i - o for i.
1
Suppose -12 = 2*s - 5*s. Let w = s - 4. Suppose w*i = 4*i. Solve 5 = -i*u - 5*u for u.
-1
Let a(f) = -f**3 - 9*f**2 - 10*f - 8. Let r be a(-8). Suppose -4*l + 2*p = -2*p - r, -l = -4*p - 2. Solve 0*j + 2*j + l = 0 for j.
-1
Let q(j) = -3 - 2*j - 4 + 4 - 2. Let h be q(-4). Solve -2 = -h*p + 4*p for p.
-2
Let f = 2 + -2. Solve f = -0*t + 2*t - 10 for t.
5
Let i = 27 + -15. Let r = i - 4. Solve 3*g + 1 + r = 0 for g.
-3
Let g = -14 + 14. Suppose 5*f - 7*f = g. Solve f*n = 4*n for n.
0
Suppose 0*b + 2*k + 12 = 4*b, -b - 3*k + 17 = 0. Suppose 7 = b*w - 3. Suppose 28 = 13*i - 11. Solve 0 = -i*c + w*c - 5 for c.
-5
Suppose -3*d = h - 18, -4*h = h + 5*d - 40. Suppose 0*m - 5*r = -5*m + 50, 2*m - 23 = 3*r. Solve -2*p + m = -h for p.
5
Suppose -5*a = 3*i - 21, -3*i + 7*a = 4*a + 3. Solve -2*x + 4 = i for x.
1
Let b be 34/8 - 36/(-48). Solve -x + b*x = 0 for x.
0
Suppose -4*c = -2*c - p - 4, 4*c = -5*p - 20. Let s(l) = -l + 2. Let i be s(0). Let o = c + i. Solve -12 = -v - o*v for v.
4
Suppose -z + 2*z + 3 = 0. Let d be -3*(z + 2)*1. Suppose 17 = -d*q + 59. Solve 4 - q = 5*h for h.
-2
Suppose -j = 2*d - 3*j - 16, d - 5*j - 28 = 0. Solve -d*u - 2*u - 15 = 0 for u.
-3
Suppose -4*r = 3*d - 30, -5*d + 26 = 3*r - 2. Solve -4*j = -r*j - 6 for j.
-3
Let j(t) = -8*t. Let c(x) = x. Let g(m) = -2*c(m) - j(m). Let s be g(2). Let k be (-52)/(-6) - (-4)/s. Solve 3*l = -0*l - k for l.
-3
Suppose 4*v + 0 - 12 = 0. Suppose s - 9 = -2*s - 2*g, s + g - v = 0. Solve s = -3*x - 0 for x.
-1
Let y(z) = -z**2 + z + 14. Let x be y(0). Let w(c) = 2*c - 21. Let t be w(x). Solve 0 = t*m - 2*m for m.
0
Let h be 44/16 - 3/(-12). Solve -1 = d - h for d.
2
Let f = 25 + -17. Suppose -7 = 5*w + f. Let t = 6 + w. Solve -25 = 2*k + t*k for k.
-5
Let c(z) = 6*z + 41. Let y be c(-5). Solve w = -y + 15 for w.
4
Let c(q) = 8*q**3 - 4*q**2 - 2*q + 4. Let t(i) = 7*i**3 - 3*i**2 - i + 3. Let y(k) = 2*c(k) - 3*t(k). Let h be y(-1). Solve 0 = -v + 3*v - h for v.
3
Suppose 7*i - 5*i - 8 = 0. Solve -i*a + a + 12 = 0 for a.
4
Suppose 5*t = -z + 40, -5*t - 2*z + 30 = -3*z. Solve -t*h = -3*h - 8 for h.
2
Suppose 5*y - 15 - 5 = 0. Suppose 12 = y*o - o. Suppose -3*c - 2 = -o*c. Solve j = -c*j for j.
0
Suppose 4*z + 4 = 2*j - 22, 2*z + 2*j + 28 = 0. Let y be z/(-4) - 2/8. Suppose -2*w = -1 - 1. Solve -w = y*m + 9 for m.
-5
Let h be 4 + -3 + (0 - -1). Suppose 5*i = -m + 54, -3*m - 50 + 160 = h*i. Suppose -m = -4*k - 2. Solve t = -3*t - k for t.
-2
Suppose 4*u = 4, -2*u + 0 + 14 = -4*s. Let x be (12/10)/(s/(-10)). Let y(h) = 3*h - 10. Let b be y(7). Solve 9 = x*v - b for v.
5
Let d(w) = w**2 + 3*w + 5. Let r be d(-4). Solve 0*c - r = -3*c for c.
3
Let i be (-225)/21 - (-2)/(-7). Let b = i - -15. Solve 0 = u + 1 + b for u.
-5
Let d = -23 + 25. Solve -d = -2*m - 0*m for m.
1
Suppose -3*i - 16 = h + 21, 0 = 3*h - 6. Let d = i - -25. Solve -3*k - d = -7*k for k.
3
Suppose -c + 1 + 2 = 0. Suppose -4*l + 4 = -8. Solve -l*z + 4*z = -c for z.
-3
Let k be (4 + -4 + 2)/2. Suppose 2*r + 2 = 8. Let b = 3 - r. Solve -k = t - b for t.
-1
Suppose 2*b = -5*d - 11, -d = -b + 2*d + 11. Let k be 0/(-1*(-3 + b)). Solve k = 3*v + 2*v - 15 for v.
3
Suppose u + u + 8 = h, 5*h - u = 31. Solve o - 4*o = -h for o.
2
Suppose 16 = -t - 4*m, 2*m + 12 = -m. Solve -3*x = -3 - t for x.
1
Suppose -4*i + 40 = -28. Suppose -u + i = -0*u. Suppose 13 = 2*l - 1. Solve 2*c + l = u for c.
5
Let m(l) = -2*l**3 - 17*l**2 + 7*l - 13. Let a(w) = w**3 + 9*w**2 - 3*w + 7. Let y(g) = 5*a(g) + 3*m(g). Let n be y(-7). Solve 0 = -n*s - 0*s + 6 for s.
2
Let o(a) = 3 - 4*a + 0*a**2 + a**2 + 2 - 2. Let f be o(3). Solve 4*y + 3 + 13 = f for y.
-4
Suppose i + 6 = 4*i. Suppose -5*q + 15 = 3*b - 7, 3*q = -12. Let g = b + -8. Solve -i*u - u = -g for u.
2
Let k be (-2 - (-18)/4)/(1/2). Solve 5*r + 30 = k for r.
-5
Let a(k) = k**2 - 9*k + 4. Let i be a(9). Suppose -i*n + 14 = -2. Solve -f + 1 = -n for f.
5
Suppose 8 = -0*m + 4*m. Suppose x - 4 = -c, 0 = 2*c + 4*x - 6*x - 12. Suppose 0 = -v - c*o - 10, -6*o = -o + 10. Solve -m*p + p + 5 = v for p.
5
Suppose 5*v = 2*o - 19, 0*v = 3*o - 5*v - 21. Suppose -10 = 3*p - 5*w, -2*p + 4 = p + o*w. Solve 5*g - 5 + 0 = p for g.
1
Suppose 17 = 4*b + b + 3*d, 18 = -2*b + 5*d. Suppose 0 = -l + b - 3. Let f = 3 - l. Solve -2*i = -i + f for i.
-5
Let w(a) = a**3 - a**2 + 9. Let u be w(0). Let k(j) = j + 3. Let n be k(u). Let l = n - 4. Solve -l = -p - p for p.
4
Let z = 18 + -34. Let f = z - -18. Solve w = 3*w - f for w.
1
Let m(c) = 2*c**3 - 3*c**2 + 2*c - 3. Let o be m(2). Suppose 0*p = -o*p + 10. Solve -p = a - 2*a for a.
2
Let b(u) = u**3 - 7*u**2 - 17*u. Let h be b(9). Solve a = -2*a - h for a.
-3
Suppose 3*z - 5*z + 2 = 0. Solve -f + 3 = -z for f.
4
Let z = 5 + -5. Suppose -4*b + b + 12 = z. Suppose 6*l - j - 25 = 3*l, -4*l = b*j - 44. Solve -5*v + 1 = -l for v.
2
Let g(l) = -1 + 5*l + 0*l**2 - 2*l**2 + 3*l**2. Let w be g(-4). Let o = w + 10. Solve 3*r - o + 2 = 0 for r.
1
Let s = 7 - -3. Suppose -s*c + 5*c = 0. Solve c*y - 3 = 3*y for y.
-1
Let r(h) = -2*h - 6 + 2 + 4 - 6. Let d be r(-5). Solve 0 = q - 2*q + d for q.
4
Suppose 7 = 5*z + 2. Let n = 31 + -27. Solve -n*t - 9 = -z for t.
-2
Let z(p) = 3*p**2 - 5*p + 4. Let x be z(-5). Suppose -5*g + 2*c = -2*c - x, 0 = 5*g - c - 101. Suppose -g = -5*s - 0. Solve -11 + 3 = -s*i for i.
2
Suppose -i + 2*i = 5. Let p = i - 0. Suppose -f - 5*q - 15 = 0, 2*f + 25 = 3*f - p*q. Solve -f*x = -2*x for x.
0
Let a be (20/12)/((-3)/(-9)). Suppose 6*d = 4*d. Solve a*u = -d*u for u.
0
Let i = 1 - -4. Suppose -40 = -i*o + 3*u, -4*u = -u + 15. Solve -o*b = -b for b.
0
Let j(l) = l**3 - 9*l**2 + 10*l - 8. Let t = 15 + -9. Let q = t - -2. Let o be j(q). Solve -4 = -3*x + o for x.
4
Let u be (1 - -3)*3/4. Let i = -1 - -3. Solve -u*j = i*j for j.
0
S