 5*x + a for u.
2
Let j = -7 - -11. Suppose 5*f - 20 = 0, -2*f = 5*u - 3*u - 48. Solve -u = -j*v, 3*b + 2*v + 8 = 3*v for b.
-1
Let y = 0 - -2. Suppose 4*r = 3*r + 3. Suppose -3*o - y*c - 1 = -0*o, -4*c - 11 = r*o. Solve -40 = 5*j + o*l, 1 = -4*l - 19 for j.
-5
Let h = -5 + 7. Let z(q) = -4*q - 1 + 8*q + 0 + 2*q**h - q**3. Let p be z(3). Solve -5*u = 3*y - 29, -3*u - y = p*y - 21 for u.
4
Let b(l) = l**2 + 10*l - 3. Let a be b(-11). Solve 0 = 4*q - a, -3*y - 5*q = -0*y - 10 for y.
0
Suppose 4*a - 3*w + 18 = 7*a, -5*w + 20 = 3*a. Let x be 73/5 + 4/10. Solve 9*o - 4*o = -2*u - 4, -x = -a*u for o.
-2
Let b(a) = -3*a - 9. Let s be b(-4). Solve s*i + 6 = -x - 7, -1 = -5*i + 4*x for i.
-3
Suppose -5*h - 4*k = -2*h - 31, -4*h = 2*k - 28. Suppose h*i = i + 8. Solve -4*o - 4 = 4*g, -i*g - 8 = -0*o - 4*o for o.
1
Let m(b) = -b**2 + 5*b + 2. Let j be m(6). Let i = j + 5. Let a = 4 - i. Solve -a = -t + l, -2*t = 3*t + 3*l + 25 for t.
-2
Let z(t) = -t**3 + 15*t**2 + 16*t + 16. Let r be z(16). Solve 2*i - 26 - 2 = 5*p, -2*p + 2*i = r for p.
-4
Let d = -40 + 40. Solve d = 5*y - r + 2*r + 11, 2 = y - 4*r for y.
-2
Let i be ((-6)/3)/(-4 - (0 - 3)). Suppose -5*t + 0*t = w - 20, -2*w + 10 = 0. Solve -t*b - b = -4*p - 12, i*b - 16 = -3*p for b.
5
Let d = 6 + -4. Let i be (-2 - -1)/1 - -6. Solve -d*u + f = -i*u + 13, 5*u - 23 = -f for u.
5
Let k = 6 - 7. Let y be 2 - (k - 2/2). Suppose -7*f + 3*f = -5*w - 12, -3*f = -w - 9. Solve -f*j - y*n = 0, 4*n = -j - 0*n for j.
0
Let n be 2/10*-2*-5. Solve 15 = -3*t + 4*z, 4*t - 5*z + n*z + 20 = 0 for t.
-5
Let f(t) = -t**2 + 7*t + 5. Let s = -6 - -13. Let m be f(s). Solve -4*u = z - 13, -5*u + 22 = m*z + 2 for z.
1
Suppose 6 = w + 2*w. Solve 0*j = -2*j + w*z, 0 = -2*j + 5*z - 12 for j.
4
Let l = 80 - 75. Solve -5*z = q + 2*q - 31, -5*q - l*z = -35 for q.
2
Let c be (-15)/10*4/(-3). Solve -3*x = -b + c*b + 11, 2*b + 14 = -2*x for b.
-5
Let a be 2 + (-4 - -2) + 0. Solve 0*o - 3*o + 4*g - 32 = a, -5*o + g - 25 = 0 for o.
-4
Let h = 19 + -8. Let z = h + -9. Let b be (24/9)/(z/21). Solve 4*f = 5*m - b, 7*f = 3*m + 3*f - 20 for m.
4
Suppose 0 = 2*u - 4*m + 20, -u - m + 3 + 2 = 0. Solve -w = 5, u = r + w - 6*w - 29 for r.
4
Suppose 3*q + 0*s = -s + 31, -q + 2*s + 1 = 0. Suppose -4*y + 7 = -q. Suppose -3*w + 59 = -y*p - 31, 2*p + 6 = 0. Solve 3*v + 8 = -7, 0 = -a - 5*v - w for a.
-1
Let v = -6 - -8. Suppose -3*p = -d - 3*d - 8, p - v*d = 4. Solve p*n - 10 = m + n, m - 15 = 4*n for m.
-5
Suppose 16 + 4 = 5*w, -5*w - 65 = -5*h. Solve b - 5*s + 5 = -8, -5*b + s = h for b.
-3
Let w be (0 - -15) + (-3 - -4). Solve -4*i - 4*o - w - 8 = 0, 12 = -3*i - o for i.
-3
Suppose -2*o + 0*o = -132. Suppose -2*z + o = 3*s - 5*s, 3*s - 97 = -4*z. Solve d + 5*q - 1 = z, -25 = -5*q for d.
4
Let u = 25 - 20. Solve 10 = 2*s, -s = u*a - 0*a - 15 for a.
2
Let x be 5 + -2 + (2 - 0). Let n be 2/4 + 45/(-10). Let r = n + 5. Solve -5*h + 4*c - r = -26, -x = -h + 4*c for h.
5
Let s be 4/(-6) + (-48)/(-18). Solve -s*k + 2*c - 8 = 0, 2*c - 4*c + 14 = -5*k for k.
-2
Suppose -g = -4*g. Let i = -3 + 1. Let x = g - i. Solve 2*l = -3*y - 16, -x = -4*l - 10 for y.
-4
Let j = 45 + -40. Solve -3*t + 15 = 0, j*r + 3*t - 30 = -5 for r.
2
Let o(q) = -4*q - 1. Let h be o(-6). Solve 5*v - 28 = -2*n, -3*n - h + 55 = 5*v for n.
4
Let z(n) = -6*n**3 + 2*n**2 + n. Let o be z(-1). Suppose 1 = c - 2. Suppose o = c*i + 1. Solve -2*m = -2*u - 10, -i*m + 19 = -5*u + m for u.
-2
Let b be -4 + 12 + (-6*1 - -2). Solve b + 1 = -5*m - a, -2*m + 6 = 2*a for m.
-2
Let k(w) = 4*w**2 - 2*w - 2. Let r be k(3). Suppose -6*f = -f - 140. Let b = f + 4. Solve 2*n + r = 5*a, 3*a = -5*n + 6*a - b for n.
-4
Let t(s) = -s + 5. Suppose -2*k = -k. Let u be t(k). Solve -5*q = 5*r, 0*r = -q + u*r for q.
0
Let g(f) = -3*f**2 + 5*f - 6. Let y be g(5). Let z = -34 - y. Solve -4*r - 1 = j - 3*r, 2*j - 3*r + z = 0 for j.
-5
Suppose -2*n = -5*q + 2*q + 16, -4*q + 12 = -5*n. Let i(a) = a + 6. Let y be i(-6). Solve -3*b - x + 4 = 0, y*b = -5*b - 3*x + q for b.
1
Suppose 4*h = 4*g + 16 + 16, 5*h = -2*g + 12. Let k(m) = m - 1. Let a be k(h). Solve 10 = q + a*r, 0 = -2*r + 4 - 0 for q.
4
Suppose -3*l - 15 = 0, l + 7 + 18 = 5*t. Suppose 5*v + 29 = t*m, -3*m = -3*v - 21 - 0. Solve s - 2*s - 9 = -4*p, -p = -s - m for s.
-5
Suppose -x + 1 = 0, -x + 5*x = -3*k + 13. Solve -k*v - 16 = 2*v - 4*y, -5*v - y = 21 for v.
-4
Let w(a) = a**3 - a**2 - a + 2. Let p = -5 - -7. Let r be w(p). Solve -q - h - 18 = 4*h, 4*h + 8 = -r*q for q.
2
Let d = 79 + -117. Let n = 58 + d. Solve -3*r = -15, 0*o - 5*o - 3*r = -n for o.
1
Let x = -1 - -32. Suppose -18*r = -14*r - 8. Solve 5*s + 4*f = 0, 3*f + x = 6*s - r*s for s.
4
Let j = -2 - -7. Solve 2*w + j*u = -6, -3*u = -6*u for w.
-3
Let d(c) = 2*c**2 + 2*c + 1. Let g be d(-2). Solve -9 = 3*b, -3*s + g*s + b + 5 = 0 for s.
-1
Let o(t) = t**2 + 3*t - 4. Let n be o(3). Let p = -11 + n. Solve 0*z + 4*b + 6 = p*z, -4*b - 8 = -2*z for z.
-2
Let t(n) = -10*n + 2. Let q be t(3). Let b be (48/q)/(2/(-28)). Suppose i - 31 + 9 = -4*r, 0 = -2*i - 4*r + b. Solve 0 = 5*y + 5*x, 3*y = -i*x + 6*x for y.
0
Suppose -42 = -5*h + 2*h. Suppose -v - h = -3*u, 2*u + 2*u = 4*v + 24. Solve y - 3*y = -3*b - 1, -u*y = -4*b for y.
-1
Let g be (-76)/(-14) - 3/7. Solve -16 = -4*p, -g*a + 2*p = 5*p - 37 for a.
5
Suppose -8*m = -57 + 1. Solve 5*p - w = -7, 0*w - 3*w = -p - m for p.
-1
Suppose 6 = 4*q - 2*w, -6 = 5*q - q + 2*w. Suppose 0 = -4*r - 5*l - 45, q*l - 3 = 3*l. Let g = -5 - r. Solve -g*i + 5 = 0, 5*i = 2*f - 0*i + 11 for f.
-3
Let h(n) = 2*n**2 + 1. Let b be h(1). Suppose -5*i = 4*t - 15, 6*i = 2*i + 4*t + 12. Solve i*k - 2 = 2*g, 6*g - 3*k + 6 = b*g for g.
-4
Suppose -2*l - l = 0. Suppose l = 3*p - p - 4. Let f be ((-3)/2)/((-6)/8). Solve -2 = -f*q - 2*q - p*w, -4*w + 9 = 3*q for q.
-1
Suppose 6*a - 20 = a. Suppose 5 = a*q - 3. Solve -3*x - 12 = q*v, v = 2*x + 6 + 2 for x.
-4
Suppose f + 0 = 1. Let d be (10/25)/(f/(-10)). Let j = d + 5. Solve -j = -5*l - 3*k, -l - k + 7 = 3*k for l.
-1
Suppose 2*z - 2 = -m + 1, 5*m - 15 = 4*z. Solve 5*b = -o - z*b + 13, 4*b = 2*o + 2 for o.
3
Suppose 0 = 2*w - 4 - 10. Solve -5*x + 24 = 4*u, 3 + w = -2*u + 3*x for u.
1
Suppose -2*p + 8 = 2*p. Let i be 2*(2/2)/(-1). Let t be (-248)/(-14) - i/7. Solve -p*q - 2*x - 10 = 0, 5*x = -q + 3*q - t for q.
-1
Let t be ((-3)/(-2))/(1/8). Let f = -19 + 37. Suppose 5*j = 3*i + f + 74, j - 20 = -i. Solve -2*r - 3*x = -j, 3*x + t = -3*r + 33 for r.
2
Let m(x) = -x - 2. Suppose -5*g + 0*g = 30. Let o be m(g). Let h = -12 - -19. Solve -4*b + 3*b + 4*q - h = 0, 3*b = -o*q + 27 for b.
5
Suppose -3*l = 0, -3*a - 3*l = -a. Suppose -2*f - f = a. Let r = -19 + 22. Solve 5*p - 4*i = -5*i - 1, r*p - 4*i + 19 = f for p.
-1
Suppose 3*i = 3*q - 2*q + 3, i - 2 = 0. Solve -2*x - 8 = q*w, -w = x - 4*w - 5 for x.
-1
Suppose 0 = -q - y + 1, -2 = q - 5*y + 9. Let c be (1 + q)/(0 + 1). Suppose c = 3*t - 3, 2*z - 4 - 3 = -3*t. Solve 3*s + 2*b + 20 = -z*s, -5 = b for s.
-2
Let c(q) = q + 14. Let s be c(-9). Solve u + s*j + 12 = -11, 0 = -j - 4 for u.
-3
Suppose 2*q - q - 3 = 0, -4*f + 5*q + 1 = 0. Solve g - 4 = f*t - 3*t, 0 = 5*t - 5 for g.
5
Suppose 6*b - 20 = 5*b + 2*w, -4*w = 3*b - 20. Solve 0*n + 3*s = -n - b, 0 = 4*n + 5*s + 20 for n.
0
Let f(l) = l**3 + 7*l**2 + 7*l + 9. Let a be f(-6). Solve s = -3*t - 5, t - 5 = -a*t + s for t.
0
Suppose 0 = -2*n - 2 + 12. Suppose -6*c + c = -n*j - 55, -2*j = 4*c - 14. Solve -2*w = -m - c, -2*w + 5*m - 26 = -6*w for w.
4
Suppose -4*b + 22 = -2*y, 2*y - 5*y = 5*b. Solve -5*l + 3*r = -2*r, 4*l - 28 = -b*r for l.
4
Suppose 2*n - 18 = -n. Suppose 3*v = v + n. Solve -v*m + q - 13 = 5, 5*m + 3*q + 16 = 0 for m.
-5
Suppose 0*z + b = -4*z + 18, -z + 10 = 3*b. Solve z*d - 2*t = 12, d - 3*d + 3*t + 14 = 0 for d.
1
Suppose -5*p - 25 = -a, -5*a + p = -24 - 5. Solve 26 = j + a*n, 0 = -j - 4*j - 2*n + 15 for j.
1
Suppose 5*p = -3 + 28. Suppose -p*u = -34 - 26. Suppose -m + 4*j = -0*m + 12, 4*j - u = 2*m. Solve 0*t - 5*t = m, -3*g + 9 = 5*t for g.
3
Let a = 55 + -25. Solve 2*j + a = -4*n, 0*j - 5*n = 2*j + 35 for j.
-5
Suppose -3*g = -40 - 29. Let n = g + -18. Solve -3*t - 3*q = -9, 1 - 4 = -t - n*q for t.
3
Let t = -21 - -30. Suppose 0 = -2*q + 1 + t. Solve 4*a = 5*j - j + 28, 29 = 2*a - q*j for a.
2
Let v be 2/3 + 0 + (-35)/(-15). So