ose 0*n - 3*n + 12 = 0. Suppose -5 = -k - h, -n*k + 4 = -3*h - 2. Solve 0 = -k*m - b + 12 for m.
4
Suppose 2*y - 5*a - 30 = 0, 2*y - 4*a = 3*y - 15. Solve -3*v - y = -0 for v.
-5
Suppose c = 8*c - 14. Solve c*j - 3 = j for j.
3
Suppose -9 + 27 = 6*j. Solve j*m + 15 = -0*m for m.
-5
Suppose -1 = -2*n - 8*i + 3*i, -2*n - 2*i + 4 = 0. Let m be n/4 - (-21)/4. Let v(f) = -f**3 - 7*f**2 - 6*f. Let b be v(-6). Solve 2*c + m = -b*c for c.
-3
Suppose 0*f = -12*f + 36. Solve f*q - q = -8 for q.
-4
Let f = -2 + 7. Suppose -61 = -3*p - g, -2*p + 25 + 20 = f*g. Solve -3*h + p = 2*h for h.
4
Suppose -5*b = 5*c - 55, -5*c - 2*b = -b - 35. Let s be 26/c + 1/(-3). Solve -s*m - 12 = -4 for m.
-2
Let q be 0 + -2 + (23 - 0). Let y = q + -1. Solve -3*u - y = u for u.
-5
Suppose 0 = -2*n - 1 + 5. Let u be (-2)/(1/((-6)/4)). Suppose -15 = -u*j, 4*g + n*j - 25 = -3*j. Solve 10 = -2*w - g for w.
-5
Let k be (2 + -1)/(1/11). Suppose 0 = -4*v - 3*x + 23, 0 = 4*v - v + x - k. Suppose w + 0*w - 10 = 0. Solve -v = 2*s - w for s.
4
Let p be 1*10/(-8)*-4. Solve -i + p = 1 for i.
4
Let a be 4/(-6) - 40/(-6). Suppose y + 24 = 2*c + a*y, -4*y = c - 9. Let r be ((-6)/(-4))/(2/4). Solve -2 = r*b - c for b.
5
Let r be 6/8 - (-3)/12. Let l = 6 - 4. Suppose -o + l*z - 4 = -1, 0 = -2*o - 4*z + 18. Solve 0 = o*t - 2*t - r for t.
1
Let z be 2/(-3) - 51/(-9). Let j be 8/(-5)*(-1 - 4). Suppose 4*q + r - 3*r = 20, -3*q = -z*r - j. Solve 0 = 4*p - q*p + 6 for p.
3
Suppose -i - 2*c - 6 = 0, 14 = -5*i - 5*c + 4. Let v = 2 + i. Solve 0 = -7*q + v*q - 9 for q.
-3
Let g(x) = x + 13. Let s be g(-11). Solve 2 = 2*f - s for f.
2
Let n(d) = -d + 2. Let z be n(-7). Let q = -3 - -3. Solve q = -0*r + 3*r - z for r.
3
Let v(u) = -u**2 - 5*u. Let i(q) = 4*q**3 - 2*q**2 - 2*q - 1. Let t be i(-1). Let j be v(t). Solve -4*m - 8 = -j*m for m.
-2
Suppose -r - 2*r - a = 50, 5*r = 2*a - 65. Let n be (2/5)/((-3)/r). Solve -n*g - 3*g = -20 for g.
4
Let f(j) = j**3 - 8*j**2 - 8*j. Let a be f(9). Solve 5*x = -6 - a for x.
-3
Let m(k) = -7*k - 1. Let n be m(-3). Let o be (-1)/(-3) - 17/(-3). Solve o*l = l - n for l.
-4
Let y(u) = -2*u**2 + 5*u - 1. Let g be y(2). Let c = -6 + 8. Let t = c + g. Solve t*r - r = -6 for r.
-3
Let g = 11 - 11. Solve 0*n + n - 3 = g for n.
3
Let i be (12/9 + -2)*-30. Solve -4*d + i = -0*d for d.
5
Let h be (-7 + 1)*(-1)/2. Solve h*g - 5 = 2*g for g.
5
Suppose 0 = 3*s - 0*s - 3. Suppose -5 = z - 4*r + 17, z + 3*r + s = 0. Let c = z - -15. Solve c*t - t = 16 for t.
4
Let s = 13 + -7. Suppose -3*r + 16 = 2*y, 3*y - 2 = -2*r + 3*r. Solve s = -j - y*j for j.
-2
Let z(o) = 3*o - 10. Let a be z(6). Let q = 16 - a. Solve y - q = -y for y.
4
Suppose 0 = -j + 3*j + 3*d - 23, -2*d + 2 = -2*j. Let u = 26 - 11. Suppose -4*h + 3*m - u = 0, -5*h = -m + 1 + 4. Solve f + 3*f + j = h for f.
-1
Let z = -17 + 22. Solve 4*c = z*c + 5 for c.
-5
Let u(d) = d**3 + 3*d**2 - d. Let l be u(-3). Let t(y) = y**2 + 14*y + 2. Let n be t(-14). Suppose -n*w = -5*w + 57. Solve -l*k + 4 = w for k.
-5
Suppose -4*w + 2 = -3*w. Solve -3*q + 8 - w = 0 for q.
2
Suppose -2 = 3*b - m - 18, -3*m - 8 = -b. Solve 6 = -3*k + b*k for k.
3
Let l(x) = x**2 + 5. Let w be l(0). Let f(g) = 4*g - 2. Let c be f(w). Suppose 0 = 4*z - 2*z + t - 5, -3*t - c = -5*z. Solve -d = z*d - 4 for d.
1
Let x(i) = i**2 - 8*i + 2. Let n be x(10). Solve -n = 3*t - 7 for t.
-5
Suppose 5*v + 2*c = -2, v - 2*c = -4*v + 2. Suppose -5*u = -2*u - 15. Suppose -s + u*s = 48. Solve v = -4*b + s for b.
3
Let g = 51 - 49. Solve 2 + 2 = -g*v for v.
-2
Suppose 0 = 5*w - z + 131, 3*w - 3*z - 66 = 5*w. Let p = -12 - w. Solve -6*n - p = -n for n.
-3
Let d be -3 + (3 - (0 - 2)). Solve 0 = d*t - 1 + 9 for t.
-4
Let o = -18 + 18. Solve -5 = -5*u - o for u.
1
Suppose -2*q - 3*s = -0*q - 16, q + 2 = s. Solve 0*l = -q*l + 6 for l.
3
Let m = -1 - -6. Suppose -v = -5*t - 17, v + m*t = t - 1. Solve v*x = 2*x + 10 for x.
2
Suppose 4*d - 4*q = -0*q + 4, -d - q = -9. Suppose 2*h - d*h + 6 = 0. Solve h*c + 5 = 3 for c.
-1
Let o = -11 - -6. Let d(u) = -u - 5. Let y be d(o). Solve 5*p - 10 + 0 = y for p.
2
Let w(j) = -7*j + 1. Let q be w(-1). Let i(z) = z - 5. Let x be i(q). Let a be (-1 - x/(-2))*6. Solve -a*v = 2 + 1 for v.
-1
Let t = 3 - 1. Let k(z) = -z - 2*z - z**t + 3*z**2 + 5*z - 2. Let a be k(-2). Solve 3 = a*h - 3*h for h.
-3
Let y be (2 - 24/9)/(3/(-27)). Solve y*n - 2*n = 12 for n.
3
Suppose 0 = 4*v - 10 - 6. Let d = 3 + -3. Solve d = 3*w - w + v for w.
-2
Let d = 25 - 21. Suppose 5*s = 2*b + 79 + 16, 5*s - 90 = b. Solve -5 + s = -d*k for k.
-3
Suppose 2 = -t, -4*t = -2*m - m + 8. Suppose x + 26 = -x - 5*s, -2*x + 5*s + 14 = m. Let k be 2/x - (-87)/9. Solve 0 = 4*a - 7 - k for a.
4
Let j = 3 - -20. Let i = -15 + j. Solve i = -t - t for t.
-4
Suppose 0*z + 3*z = 9. Solve 0 = 2*l - z + 1 for l.
1
Let r(o) = o**2 + 2. Let k be r(-2). Let n = -9 + k. Let i = n + 6. Solve i = -0*x + x for x.
3
Let t(p) = p**2 + 5*p - 3. Let k be t(-6). Suppose 2*f = 0, k*f - 5*f - 1 = i. Let j = 2 + i. Solve j = 2*m - 3*m for m.
-1
Suppose -13 = -5*n + 27. Suppose g + 2*l = 5*g - 10, -2 = -2*g + 4*l. Suppose 2*o = -g*v + 1, -o + 0*v = -v - n. Solve -4*u = -3 - o for u.
2
Let k be 1264/(-18) - (-10)/45. Let g be ((-10)/k)/((-1)/(-7)). Suppose 4*q + x + 2 = 15, -5*q = 2*x - 20. Solve g = h - q for h.
3
Let t be -1 + (3 - 0/1). Solve -4*n + t*n = 6 for n.
-3
Let i be 0 + -2 + -4 + 3. Let k = 3 + i. Let h be k/(-1)*1/(-2). Solve h*u = -3*u - 9 for u.
-3
Suppose h + 7 = 2*k, -4 = 3*k + 5*h + 18. Solve -2*t = -3*t + k for t.
1
Suppose -24 + 4 = -4*g. Let o = 621 - 619. Solve -o + g = 3*q for q.
1
Let y(x) = x**2 + 6*x + 6. Let l be y(-4). Let v = -3 + l. Let o = 5 + v. Solve o = 3*u - 0 - 9 for u.
3
Let r = -27 + 42. Let n be (-10)/(-3) - (-10)/r. Suppose 0 = -5*b + b - 2*c - 10, 20 = 5*b - n*c. Solve b = w + 1 + 3 for w.
-4
Let z = 2 - -1. Suppose -70 = -4*m + 5*i, 2*m - z*m + 23 = -4*i. Let t be (4/(-6))/((-2)/12). Solve -m = t*q + q for q.
-3
Let m be (-6)/9 - 51/(-9). Suppose 2*v + 11 = m*h, -4*v + 23 = 6*h - h. Solve 15 = g + v*g for g.
5
Let n be 32/12*9/6. Solve -n*b + 1 = 5 for b.
-1
Let d = 2 + -2. Suppose -12*u + 6*u = -24. Solve d = -u*q - 10 + 2 for q.
-2
Suppose -2*l + 10 = 2*x, -3*x = -0*x - 2*l. Solve 4*u = x*u + 4 for u.
2
Suppose 21 + 24 = 15*h. Solve h*f + 2*f = 20 for f.
4
Let k be (-1)/((-1 + 6/8)*2). Solve 4*z = k*z for z.
0
Let d be (-1 - -26) + (-9 - -4). Solve -5*g = -g - d for g.
5
Let v be ((-11)/3 + 3)*-6. Solve v*b - 2*b = 0 for b.
0
Suppose -h + 3*h - 24 = 0. Solve -p + h = -4*p for p.
-4
Let m(x) = 5*x**3 + 3*x**2 + 5*x - 1. Let p(t) = 2*t**3 + t**2 + 2*t. Let g(o) = -3*m(o) + 8*p(o). Let n be g(3). Solve 9 = 5*r + n for r.
-3
Suppose -5*g + 8 = -g. Let p be (176/(-20))/(g/10). Let q be (-62)/(-22) + (-8)/p. Solve i + 1 = q for i.
2
Suppose 2*b = -5*t - 2, -t + 1 = b + 2. Let a(h) = -h + 7. Let p be a(5). Let u be 39/9 + (-1)/3. Solve p*i = -t*i + u for i.
2
Let j be 5/4*(-48)/(-4). Suppose -2*q + 4*q - 4*b = 18, -5*q = 5*b - j. Solve 0 = -q*z + z for z.
0
Let f(k) = -k**2 + 3*k - 1. Let j be f(4). Let v be 1/(-1) - (-30)/3. Let y = v + j. Solve 0 = -y*q + 14 + 6 for q.
5
Suppose -z + 15 = -3. Let l be 104/z - 2/(-9). Solve 3*i + 3 = l*i for i.
1
Suppose 0 = -5*q + 6*i - i + 30, 0 = -2*q + 4*i + 8. Suppose -2*o - 2*u + 3*u = -q, u = 2. Solve o*d + 6 = 2*d for d.
-2
Let n(x) = x**3 - x**2 + 3*x - 2. Let f(o) = o**2 - o + 1. Let v(d) = -4*f(d) + n(d). Let m be v(4). Solve 0 = 5*t - m + 26 for t.
-4
Let y = 22 + -20. Solve y*s = -3 + 5 for s.
1
Suppose r = 4*n + 3, -5*n + 3*n = -2*r + 6. Solve n*o = -2*o for o.
0
Suppose -2 = r + 4*w, 0*r - 52 = 2*r - 4*w. Suppose -c + 11 = -2*a, 3*a + 2*c = -3*c - 23. Let t be 12/r - 16/a. Solve 3 = -t*o + 1 for o.
-1
Let u be 60/45*(-1 + (-5)/(-2)). Solve 0 = -5*h - 13 - u for h.
-3
Suppose -4*j + 19 = -0*a + a, -3*a = -3*j + 3. Suppose -c + 13 = -2*o, -c + a*o = 2*c - 30. Suppose -c*w + 15 = -2*w. Solve -w*u - 8 = 1 for u.
-3
Let w = 3 - 3. Suppose w = -4*o + 5*y + 5, -5*o - 1 = -y - 2. Suppose 4*q = 8 - o. Solve 2*i + q*i = 0 for i.
0
Suppose 0 = -4*u - u - 5*g, -2 = g. Let j be 2 + -4 - (0 - u). Suppose j*n - 4 = -n. Solve l - 3*l + n = 0 for l.
2
Let a be (8 - 3)*4/10. Suppose 3*z = -a*z + 35. Solve 3 + z = 2*n for n.
5
Suppose -4*t