*u for u.
4
Let h be 2/5 + (-12)/30. Suppose -c - 3*c = 5*o - 36, -5*o - c = -24. Solve h = o*z - 6 - 10 for z.
4
Suppose 7*c = 11*c + 56. Let d = 16 + c. Solve d*z = -0*z + 10 for z.
5
Suppose 2*h - 9 = -z - 0*z, 2*z - 9 = -h. Suppose 20 = 5*f + w, -5*w + 0*w + 4 = f. Solve -f*r + 5 = -h for r.
2
Suppose 0 = 2*o + 4*o - 36. Solve -1 = -5*n - o for n.
-1
Let u be (-2*2)/(-3 + 1). Solve -d = -u*d for d.
0
Let p = 4 - 0. Suppose 27 = p*q + 7. Suppose -3*u = -q*u. Solve u*d - 3 = d for d.
-3
Let q(s) = -7*s - 4. Let a be q(-1). Solve -a = 2*l - l for l.
-3
Suppose 3*p + 5*c - 16 = 0, 0 = 4*p - 2*c + 7 - 37. Let z = -4 + p. Solve f + z = 6 for f.
3
Let j = 5 + -9. Let h be -2*10/j + -2. Suppose 2*a - y = 5 + 6, -h = y. Solve 6*o - 6 = a*o for o.
3
Let p = 8 + -32. Let g = 24 + p. Solve g*h = 2*h - 4 for h.
2
Suppose 0*b = -b + 2. Solve b*m = 7*m - 5 for m.
1
Suppose -4*h = -0*h - 72. Solve 5*z - h = -3 for z.
3
Let t = -71 - -75. Let s be (-2)/(-3)*(-18)/(-4). Suppose -3*i + 9 = -s*w - 39, -4*w + 56 = 4*i. Solve -t*x - i = -7*x for x.
5
Let z be (4/16)/((-55)/28 + 2). Let k = -1 - -1. Solve -3*l - 5 - z = k for l.
-4
Let x(d) = 11*d**3 - 3*d + 2. Let n be x(1). Solve 4*m + n = 26 for m.
4
Let c(y) = -y**3 + 15*y**2 - 13*y - 12. Let m be c(14). Solve -5*u = -m*u for u.
0
Suppose -2*l + 25 = 3*m - 21, 3*l + 21 = 3*m. Solve -c - 15 = -m for c.
-3
Suppose -a - 3*a - 44 = -4*d, 3*a - 4*d + 34 = 0. Let q = a - -11. Solve -k - 3 = -q for k.
-2
Let t be (3/(-6))/(3/(-18)). Let p(n) = -n**2 - 3*n - 4 + t*n**2 - n**2 - 1. Let m be p(5). Solve -q = 1 - m for q.
4
Let n = -9 + 2. Let h be (-5)/((-1)/2 + 1). Let u = n - h. Solve -s - u = -2 for s.
-1
Let v(n) = -3 - 2 + 2 + 3*n. Let j be v(3). Let c be (1 + -1)*3/j. Solve -4*b = -c*b for b.
0
Suppose -3*r + 25 = 2*r. Solve -r*q - 5 = 5 for q.
-2
Suppose -2*t + 5 = q, -t - 15 = -3*q - 2*t. Suppose 0 = -q*b + 8*b. Solve b = -2*h - h for h.
0
Let q = -17 + 12. Let t = 6 + q. Solve x + 0 = -t for x.
-1
Let q be (-3)/15 - 22/(-10). Solve b + q = 4 for b.
2
Suppose -t = -2*t. Suppose -5*i + 26 = 4*n, t*i - 14 = -5*n + 3*i. Solve 0 = n*x - 17 + 1 for x.
4
Let d be 138/24 + 0 + (-3)/4. Suppose -2*n = 4*j - 24 - 0, -2*j - 5*n = -20. Solve -d*f + j = -5 for f.
2
Suppose 0 = 3*p + 4*f + 5, 0 = 3*p + f - 4*f - 30. Suppose -3*s = p*l, -4*l + 2*s = 3*s - 7. Solve 0*i + l = -i for i.
-3
Let p(n) = -n + 17. Let x be p(10). Let q(d) = -8*d. Let v(y) = -y**2 - 3*y - 3. Let r be v(-2). Let t be q(r). Solve -t = 3*k - x*k for k.
2
Suppose -4*m - 3*b = -0*b - 43, 0 = m + 5*b - 32. Solve -m*v = -5*v - 6 for v.
3
Suppose -4*v - 6 = -18. Let l = v - 3. Let g be (l - (-2)/(-4))*-2. Solve 3 = -k + g for k.
-2
Let o(y) = -2*y - 5. Let i(g) = g. Let f(c) = 4*i(c) + o(c). Let a be f(4). Suppose -3*d - 5*b + a*b + 15 = 0, 0 = -3*b + 9. Solve d = h + 1 for h.
2
Suppose 6*v - 36 + 12 = 0. Solve 3*m + 4 = v*m for m.
4
Let w(v) = -v**3 + 6*v**2 + 2*v - 8. Let m be w(6). Solve -m*b = b for b.
0
Let s(r) = r**2 + 9*r - 11. Let x be s(-10). Let t be (-13 - -5)*(x + 0). Solve t = -j - j for j.
-4
Let t = -3 + 3. Suppose -4*z + 54 + 58 = t. Suppose -2*j = 4*m - z, 3*j - 5*m = 2*j - 21. Solve 0 = j*q + q - 20 for q.
4
Suppose -3*w + 2*a = -16, -3*w - 6*a + 4 = -2*a. Suppose -5*n - w*u = -u - 3, 2*n - 4*u + 4 = 0. Solve 4*g - 33 + 13 = n for g.
5
Let g(v) = -20*v**3 - v**2 + 1. Let p be g(1). Let q = p - -30. Solve 0*u = -2*u - q for u.
-5
Let j(k) = -k + 7*k + 4*k**2 - 2*k**2. Let w be j(-4). Let u(r) = -r + 12. Let x be u(9). Solve -v - w = -x for v.
-5
Let b(l) = l**2 + l - 6. Let s be b(-3). Solve 3*i = -s*i - 9 for i.
-3
Let u = -38 - -53. Solve -5*h - 5 = u for h.
-4
Suppose 3*w = 2*k - 2, -2*k + 7 = w - 3. Suppose w*d - 1 = 3. Suppose d = b - 1. Solve 2*c - b*c = 0 for c.
0
Suppose 5*t = -2 + 12. Suppose -t = p - 6. Solve -5 = -p*y + 3 for y.
2
Suppose -9 = -4*w + w. Suppose w*r = -2*q + 17, -3*r - 1 + 6 = -q. Solve -r*s - 2 - 4 = 0 for s.
-2
Let q be ((-18)/36)/(2/(-36)). Solve -3*t + 3 = -q for t.
4
Suppose -3*l - 30 = -5*u, 14 = 2*u - 4*u - 4*l. Solve k - u*k = 4 for k.
-2
Let c(t) = -t**3 + 3*t**2 + 4*t + 2. Let q be c(4). Let x be (-2 + 3)*(q + -2). Suppose 0 = -5*f + 30 - x. Solve 6*n = 3*n - f for n.
-2
Let u(n) = n - 1. Let f be u(1). Solve 2*l + 0 - 8 = f for l.
4
Let p(l) = 2*l**2 + 4*l + 1. Let q be p(-3). Solve q*a - 25 = 2*a for a.
5
Suppose 0 = -4*f - 3*o + 8, -2*f - o = -3*f + 2. Let u(j) = 2*j**3 + 2*j**2 + j - 2. Let i be u(f). Solve 8 - i = 4*b for b.
-4
Let n be -2 + (-32)/(-15) + 4/(-30). Solve n*z = 2*z - 8 for z.
4
Suppose 0 = -2*y + 6 - 14, 0 = -2*h + 4*y + 40. Suppose 4*a = -0*a + h. Solve -4*o + 7 - a = 0 for o.
1
Let j = -4 - -8. Suppose j*x = 3*x + 4. Let v be (-32)/6*(-6)/x. Solve -12 - v = 5*s for s.
-4
Let v(d) = d**2 + 5*d - 5. Let u be v(-7). Let k = -7 + u. Solve -q + k*q = 0 for q.
0
Let s = -8 + 7. Let d be s/((-3)/((-27)/(-3))). Solve 0 = q - d + 5 for q.
-2
Suppose o - 10 + 5 = 0. Suppose 6 = 3*k - 3, o*z + k - 13 = 0. Solve -t = z*t for t.
0
Suppose 2*q + 0*q + 6 = 0. Let s be -1*(q/(-3) - 2). Solve -5*w = -s - 19 for w.
4
Let d = 8 - -7. Solve d = -0*f + 5*f for f.
3
Let o = 3 + 1. Suppose 20 = -2*y - 2*l, -l = -2*y - 4*l - 24. Let r = y + 6. Solve -f + 5*f + o = r for f.
-1
Let h = -5 - -14. Let q = h - 5. Solve 5 = -q*o + 1 for o.
-1
Let x(v) = v**2 + 4*v. Let s be x(-4). Suppose -w = -m + 6, 5*m - 2*m - 2*w - 16 = s. Suppose -q = 2*q - m*y - 56, 5*q = -5*y + 35. Solve -2*j + q = 2*j for j.
3
Let m(f) = 2*f**2 + 9*f + 2. Let j be m(-6). Suppose 10*h - 5*h - j = 0. Solve 5*a - h*a + 3 = 0 for a.
-3
Let h be -4 + (2/(-4))/(2/(-20)). Solve -5 = -4*a - h for a.
1
Let a(f) = f + 7. Let i be a(-5). Let h(b) = b**2 + 3*b + 1. Let k be h(-3). Let g = 2 + k. Solve -l - i*l + g = 0 for l.
1
Let k = -15 - -23. Suppose -5*d - 24 = -2*i, 3*i - k = i + d. Solve -3*l = -2*l - i for l.
2
Suppose -2*j - 2*l + 13 = 3, -2*j - 5*l = -16. Let a be 3*(51/9 - j). Solve t + t = a for t.
4
Suppose 4*n + 12 = -2*d, n + d - 4*d + 3 = 0. Let p be (-14)/((-3)/(n/(-2))). Let q be 8*2*50/40. Solve -p*g + q = -2*g for g.
4
Let m = -1 + 3. Let l = -1 + 7. Let j = l + -6. Solve -6*c + m*c + 4 = j for c.
1
Suppose 6 = m + 2*m. Solve s + 1 = m for s.
1
Let g be (1/2)/(1/6). Solve -g*r - 1 = -4 for r.
1
Let m be (168/21)/(0 + 2). Solve 6 = m*x - 7*x for x.
-2
Suppose 4*x + 6 = x - 5*o, 0 = -3*x + 4*o - 6. Let r be (x/4)/((-9)/126). Suppose -4*d + 0*l + 3*l = -7, -5*l + r = -2*d. Solve -9 = h - d for h.
-5
Suppose 23 = 4*k + 7. Let w be -1 + (-6 + 2 - -5). Solve -k + w = o for o.
-4
Suppose 24 = 3*a - 0. Suppose -p + a = 5. Solve -p*v + 5*v + 2 = 0 for v.
-1
Let f(g) = -g**2 - 2 - 3 + 9 - g - g**3. Let o be f(0). Suppose -z - 3*c = 0, 0 = -2*z + 6*z - 5*c. Solve -o*a = -z*a for a.
0
Suppose 0 = -5*r + 61 - 41. Solve t = r - 3 for t.
1
Let c(g) = 0*g + 3*g + 0*g - 2 - g**2. Let s be c(2). Suppose s = 3*o + o. Solve -3*m + 0*m = o for m.
0
Suppose 12 = 2*y + 2*y. Let f = y - -4. Solve -1 = -2*g + f for g.
4
Let h be -9 + 10 + (-24)/(-2). Suppose 2*f = 5*r - h, 0*r = -f - r + 4. Solve 3*g + f = 7 for g.
2
Suppose 4*t - 9 - 11 = 0. Suppose -t*z + 10*z = 20. Solve 3*j + 8 + z = 0 for j.
-4
Let j(t) = t**3 - 4*t**2 - 4*t - 1. Let v be j(5). Suppose -6*y - v = -2*y. Let i be (0 - -2 - 4)/y. Solve f = i*f for f.
0
Let l = 6 + -3. Let k(j) = -j - l*j + 4 + 5*j. Let n be k(-2). Solve -f - n = -0 for f.
-2
Suppose -3*d = h - 4*h + 9, 0 = 2*d + 2*h - 14. Solve 2 = -2*l - d for l.
-2
Let s = -3 - 0. Let r be s/12 + (-27)/4. Let o = r - -9. Solve 0 = o*l - 2 - 0 for l.
1
Suppose 0*j - j - 2*n = 6, -5*j = 4*n + 12. Suppose j = -4*p - d, 2*p + 2*d - 6*d - 18 = 0. Solve 0 = 3*t - p - 11 for t.
4
Suppose 0*r + 3*r = 66. Let u = r + -4. Let q(p) = -p - 4. Let c be q(-6). Solve u = 4*o + c for o.
4
Let v be 12/(-15)*20/(-8). Solve -n - v + 1 = 0 for n.
-1
Let i be 2/(32/(-12) + 2). Let z be (-92)/(-6) + i/9. Solve 0 = p + 4*p + z for p.
-3
Suppose 3*s + q = 4*q + 15, -5*q = 25. Suppose -4*z = 2*c - 1 - 31, 3*z + 80 = 5*c. Suppose -f - 2*y + 9 = 0, 4*f = -y + c - 1. Solve s = -f*h + 2 + 4 for h.
2
Suppose -8*d + 232 = -4*d. Let a = d - 35. Solve 2 = 5*h - a for h.
5
Let t = -86 - -90. Solve t*p = p - 15 for p.
-5
Let f = -16 + 21. Solve -f*g + 10 = -7*g fo