
Suppose -13*w - 11 = -37. Solve -2*q + 0 = -w for q.
1
Suppose 3*g - 6 = 0, 5*h = 3*g - 5 + 29. Let t be 1/4*2*-2. Let r be (2/4)/(t/(-4)). Solve r*b = -b - h for b.
-2
Suppose 4*y - 6 = y. Solve y*n + 0*n + 6 = 0 for n.
-3
Suppose -2 = 3*j - 4*j. Let t = 0 + 5. Solve 3*n + t = j*n for n.
-5
Suppose -4*k - 5*h + 3 + 5 = 0, -3*h + 4 = 2*k. Let n(x) = -x**3 - 10*x**2 + 10*x - 7. Let g be n(-11). Solve -2 = k*a + g for a.
-3
Suppose -b + 4*b - 30 = 0. Let j = b - 8. Solve 5*w - 15 = j*w for w.
5
Let w(r) = r + 3. Let n be w(4). Solve 0 = 2*q + 3 + n for q.
-5
Suppose -7*m - 60 = -11*m. Let z be ((-12)/15)/((-6)/m). Solve z + 2 = -2*q for q.
-2
Let t = 10 + -10. Let a(f) = f + 3. Let d be a(t). Solve -i = -d*i - 2 for i.
-1
Suppose -y = 3*y + 172. Let m = y - -68. Solve -3*z = -8*z - m for z.
-5
Let g = 10 + -19. Let x be 3/g - 1/(-3). Solve 0 = -x*t - 2*t for t.
0
Let v(w) = 5 + 2*w - 7*w - 4 + 2*w. Let b be v(-1). Solve n - b = -1 for n.
3
Let a = 12 - 12. Solve f - 5 = -a*f for f.
5
Suppose -2 + 10 = 2*m. Solve 15 = m*b + b for b.
3
Suppose x = -x + 26. Solve 0 = 5*o + 3 - x for o.
2
Suppose 5 = -5*c, -2*g + 5*c + 9 = -g. Solve g*r + 0*r = 12 for r.
3
Let w = -15 + 5. Let z = w + 10. Solve z = -3*y + 5*y - 6 for y.
3
Let b(u) = -u**2 - 4*u + 5. Let r be b(-4). Suppose 4*v + 4*y - 12 = r*y, 0 = -4*v + 4*y + 12. Solve 0 = -3*d + 9 + v for d.
4
Let q(i) = -10*i. Let w be q(-1). Let r = w + -10. Solve r = 4*v - 9*v + 5 for v.
1
Suppose 0 = -2*z + 6*z. Suppose -2*w + 3*w = z. Solve w = -6*y + 3*y + 6 for y.
2
Let n = -1 + 1. Let y be 39/13 - 6/2. Solve n = -y*g + 5*g - 25 for g.
5
Let v(x) = x**3 + 10*x**2 - 12*x - 3. Let y be v(-11). Solve y = -4*q - 8 for q.
-4
Let d be 6 + (-2 - -2) + -2. Solve -2*a - 4 = d for a.
-4
Let t be 18/4*(-14)/(-21). Let v be (t + -2)/((-2)/(-8)). Solve -5*s + 5 = -v*s for s.
5
Let b = 161 + -135. Solve -4*s - b = -6 for s.
-5
Let j = 17 + -17. Solve j = 3*q - 2*q for q.
0
Suppose 3*l = -4*c - 4, 0*l = -4*c + 2*l + 16. Solve n - c*n = 5 for n.
-5
Let a(y) = y - 1. Let c(g) = g**3 - g + 3. Let o be c(0). Let i be a(o). Let w be (0 - -1 - i)*0. Solve w = -5*u + 1 + 4 for u.
1
Let q(x) = -x**2 - 6*x + 5. Let z be q(-6). Let h = z + -2. Solve -12 = -r - h*r for r.
3
Suppose -2*x + 2*r + 14 = 0, -4*r + 12 + 8 = 0. Suppose 3*k - 3 = 9. Suppose 0 = -9*h + k*h. Solve 4*c + x = -h*c for c.
-3
Suppose -14 - 3 = -2*z + 3*p, -4*z - 11 = 3*p. Suppose 0 = -j - 1, -4*w + 2*w - 3*j = -3. Solve g + z = -w for g.
-4
Let t be (-4)/(-2)*(-2)/(-2). Suppose -k - 7 = 2*d, t*k - 3*d + 5*d + 20 = 0. Let z = k + 23. Solve 0 = 5*q - 5 - z for q.
3
Let w = 0 - -2. Let n = -1 + w. Suppose 2*o + n - 3 = 0. Solve -2*u + 3*u + o = 0 for u.
-1
Suppose 4*s + 4*s = -5*s. Let d(g) = g**2 + 3*g - 2. Let m be d(-4). Solve 0 = -s*h + 2*h - m for h.
1
Let l(d) = 6*d**2 + d + 1. Let u be l(-1). Let m(g) = -g**3 + 5*g**2 + 6*g. Let j be m(u). Solve -s + 5 = -j*s for s.
5
Suppose 0 = -5*w + 20, 3*w + 1 = 5*b - 7. Solve b*p = p + 9 for p.
3
Let w be 0 - (-1*2)/2. Suppose 4*k + f + 3 = -4*f, -4*k - 2*f = -6. Solve -k*o - 8 = w for o.
-3
Suppose -k + 8 = 3*k. Solve 0 + 4 = k*s for s.
2
Suppose -5*l + t + 88 = 0, 10 = l - 2*t - 2*t. Suppose -l = -3*p - 0*p. Solve -1 = -z - p for z.
-5
Let v be ((-6)/12)/(2/(-16)). Solve v = 3*b - 8 for b.
4
Let m = 32 + -31. Solve 0 = -2*y + m + 9 for y.
5
Let q(r) = 5*r**2 - r + 2. Let g be q(-2). Suppose 1 = 5*z - g. Solve 5*u + z = -5 for u.
-2
Let b be 3/((-54)/4) - 1316/(-252). Solve 0*t = -b*t - 25 for t.
-5
Let t = 15 + -13. Suppose -75 = -5*b + t*b. Solve 9 = 4*s + b for s.
-4
Let v be 8*(1 + (-1)/2). Suppose 0 = 5*s - 3*s - 12. Suppose 0 = -2*f - 2*o - 0 + s, 2*f = -o + 5. Solve -6 = f*u - v*u for u.
3
Let n = 2 + 3. Let z = 0 + 2. Suppose 2*v + 70 = 3*w, -10 = 4*v - z*v. Solve -n*y = -y + w for y.
-5
Let d = 8 - 4. Suppose -2*t - 8 = 2*x, 2*x + 16 = -4*t + d. Let g be -3*(t - (-8)/6). Solve 0 = c - g - 3 for c.
5
Let x = -88 + 93. Solve 0 = -w - 1 + x for w.
4
Let c(t) = -5*t - 7. Let y be c(-5). Suppose -3*h + 2*b + 28 = 2, h - 10 = b. Let s be 7/3 + 4/h. Solve 5*d + y - s = 0 for d.
-3
Suppose 2*g - 3*a - 33 = 2*a, 3*g + 3*a + 3 = 0. Suppose 3*l + i - 25 = 5*i, -2*i - 50 = -g*l. Solve -l = -4*t - t for t.
3
Suppose 15*t = 13*t + 6. Solve 0 = -t*q + 2 + 13 for q.
5
Suppose 22 = 4*h + 18. Solve -3*f + 5 = -h for f.
2
Let n(p) = p**2 - 12*p + 11. Let g be n(11). Solve h + g = -1 for h.
-1
Let w = -2 + 5. Suppose w*i = 2*q - 19, q = -2*i + 5*i + 14. Solve c + 16 = q*c for c.
4
Let c be 1/1*(-10 - 12). Let v = c - -47. Solve 0 = -4*l + 5 - v for l.
-5
Suppose j = -0*l - 2*l + 61, 0 = l - 3*j - 41. Let v = l - 17. Solve -3*p - v = -0*p for p.
-5
Let f(j) = j + 3. Let c be f(0). Suppose -c*l - q = -193, 5*q - 182 = 4*l - 452. Suppose 165 = 5*t + l. Solve t = -2*s - 3*s for s.
-4
Let f(v) = v**2 - 7*v - 8. Let i be f(8). Suppose 0 = x - i - 2. Solve x*s + 2 = -2 for s.
-2
Let h = 11 - 8. Suppose 10 = -5*l - 15, 47 = h*w - 4*l. Solve 0*z - w = 3*z for z.
-3
Suppose -7*a + 2*a = 0. Suppose 0 = 2*m - a*m - 10. Suppose 0 = 4*g - 0*h + 5*h - 33, -m*g + 2*h + 33 = 0. Solve 2 + g = -3*z for z.
-3
Suppose 0*r - r + 1 = 0. Let x = -139 + 148. Solve -r + x = 4*a for a.
2
Let c(r) = -r**2 - 6*r - 8. Let s be c(-4). Solve -6*j - 8 + 2 = s for j.
-1
Let r = -25 + 26. Solve -m = -r + 6 for m.
-5
Let b(r) = r**2 + 3*r - 2. Let j(u) = -u**2 - 4*u + 3. Let k(i) = 6*b(i) + 5*j(i). Let m be k(2). Solve -4 + m = -s for s.
1
Let i = -2 + 3. Suppose -2 = 2*q, 2*k + q + 1 = 6. Let d = 6 - k. Solve d - i = l for l.
2
Let j = 2 + -2. Suppose j = -0*t + 4*t - 4. Let a(p) = p + 1. Let g be a(3). Solve -t + g = 3*q for q.
1
Let g(r) = -r + 5. Let k be g(6). Let b be (-4)/k - (-2 + 2). Solve 3*q - 1 = b*q for q.
-1
Let y(i) = -i**3 + 15*i**2 + 2*i - 24. Let s be y(15). Solve -2*w = -0*w + s for w.
-3
Let x be -1*(1 - (-2)/(-2)). Suppose 2*b = -x*b. Solve b*p + p = -3 for p.
-3
Let d be -12*((-4)/(-6))/(-1). Let r be (-25)/(-9) - d/(-36). Solve 0*y - r*y = 15 for y.
-5
Let q = 8 - 8. Solve q*h + 2*h = 0 for h.
0
Let z be (-76)/16 + 5 + (-1)/4. Solve z*j - 8 = -2*j for j.
4
Suppose 0 = -3*q - 3*v + 24, -7*v + 29 = 3*q - 3*v. Solve -b = q*b + 12 for b.
-3
Suppose 0 = -3*i - 3*t - 0*t + 12, 14 = -i + 5*t. Suppose -y + 3 + i = 0. Suppose y*x - 19 = -3. Solve -x*n - 10 - 10 = 0 for n.
-5
Suppose 10 = w + w. Suppose 0 = -w*l + 3*x + 36, 73 - 31 = 3*l + 5*x. Suppose -a = 3, 0*d - a - l = -3*d. Solve 8 + d = -5*p for p.
-2
Suppose 3*v = v + 12. Solve 3*b - v = 6*b for b.
-2
Suppose -21 = -l + 5*c + 5, 10 = -l - 4*c. Suppose 5*o - l = 24. Let a = 8 - 4. Solve -a*j + 6 = -o for j.
3
Suppose 5*q = 3*k + 4*q - 5, 11 = -3*k + 5*q. Solve -k = c - 1 for c.
-2
Suppose -3*m + 0*m + 36 = 0. Solve 3*n - m = 3 for n.
5
Let v = 21 + -17. Solve -w = v*w for w.
0
Let r be 1/(-1) - (5 - 7). Let v = 3 - r. Solve -v*w = 1 - 7 for w.
3
Let o(r) = 7*r - 2. Let c be o(2). Let j be (-1)/(-2) - (-105)/14. Let x = c + j. Solve -n - x = 3*n for n.
-5
Let a be (-1)/6 - 1304/(-48). Let y = a - 27. Solve 4*x + y = 8 for x.
2
Suppose -5*g - 4 = -a, -3*a + 1 = -3*g - 11. Solve -4*v = -g*v + 20 for v.
-5
Let i = -1 + 4. Solve d + 2 = -i for d.
-5
Suppose 3*v - 9 = t, 2*v + 10 = 4*v - 2*t. Suppose -v*l - 5 + 17 = 0. Solve -l*u = -4*u for u.
0
Let x(d) = 7*d**2 - 1. Let w be x(1). Suppose -5*c + 6 = 3*y, 0*c - w = -c + y. Let g be (8 - (-153)/(-18)) + 1/2. Solve g = -c*b - 5 + 20 for b.
5
Suppose 2*t + 124 = 4*t. Suppose a - 20 = -n, 0*n + a = -3*n + t. Suppose -5*y + n = 2*f - 2, -3*f = -3*y - 45. Solve 0 = 3*m - 5 + f for m.
-3
Let s(i) be the first derivative of i**2 + 6*i + 1. Let h be s(-3). Solve -c + h + 4 = 0 for c.
4
Let i(n) = -n**3 + 4*n**2 + 6*n - 6. Let f be i(5). Let m be f/5 - 228/(-15). Suppose -y = 5*t + m, 3*y - 4*t - 12 = -y. Solve 0 = -y*q + 4*q + 12 for q.
-3
Let c be 2/9 - 8/36. Let t = c + 2. Solve d = t*d for d.
0
Let f be (3/(30/(-8)))/((-5)/25). Solve -f*o = -9*o - 10 for o.
-2
Let x be 8/2*1/2. Let j(a) = -a**3 - 1 - 3*a - 2 + 2 - a**x. Let u be j(-2). Solve 3*y + 0 - u = 0 for y.
3
Suppose 2*h = -2*m + 8 + 4, 2*m + 4*h = 16. Let z(u) = u**2 - 1. Let d be z(-2). Suppose -m = -c + d. Solve 2*g - c = -3 for g.
2
Suppose -z = -5*f + 6, -f = 2*f + 3*z - 18. Let d be 6/(