t n be (1 - (4 - 2))*-5. Solve 8 + 12 = n*z for z.
4
Let r(l) = -l**3 - 7*l**2 + l + 9. Suppose 2*f = 6 - 16. Let g = -12 - f. Let y be r(g). Solve d - 3 = -y*d for d.
1
Let w(t) = 2*t + 1. Let y be w(-1). Let d be (0 - -2) + (-5 - y). Let m(l) = l**3 + 3*l**2. Let h be m(d). Solve h*k = 3 + 13 for k.
4
Let b(d) = -d + 19. Let f be b(14). Solve -f*k = -3*k for k.
0
Suppose 3*s - 3*f + 4*f = 26, 3*s + 5*f - 46 = 0. Suppose 8*u - s*u - 12 = 0. Solve 3*w = -u + 3 for w.
-3
Suppose 0*h + 3*h = 5*q - 19, 20 = 4*q. Solve 0 = h*r - 3*r - 1 for r.
-1
Suppose 0 = 13*o + 45 - 175. Solve -3*p + 5*p = o for p.
5
Suppose 0 = -3*w - w - 12. Let j be 3 - (-4 - w/3). Let x(o) = 2*o**2 + 3*o + 1. Let c be x(-2). Solve -c + j = -k for k.
-3
Let i be (5 - 5)/(-1*(-3)/(-3)). Solve i = h + h + 2 for h.
-1
Let n(a) = -a + 1. Suppose -4*i = -5*g - 40, -10 = -3*g + i - 27. Let b be n(g). Solve -2*r + b = 3*r for r.
1
Let s(j) = -3*j - 6. Let q be s(-4). Let b(p) = -p + 6. Let f be b(q). Solve 0 = -f*r - 5*r - 5 for r.
-1
Let m = 65 + -35. Suppose -5*c + 0*c + m = 0. Let n be (-1)/(-4) - (-44)/16. Solve 3 = -c*s + n*s for s.
-1
Let k(u) = -21*u + 9. Let a(z) = 5*z - 2. Let y(j) = 9*a(j) + 2*k(j). Let m be y(2). Let d be (0 + 4/m)*18. Solve b - 5*b = -d for b.
3
Suppose -5*k = -0*k - 3*i + 12, 0 = 5*k + 3*i - 12. Suppose k = -7*x + 2*x. Let c be (6 + -21)/((-3)/2). Solve h - 3*h + c = x for h.
5
Let w(s) = -4*s - 35. Let r be w(-10). Solve 14 + 1 = -r*l for l.
-3
Let n = -12 + 7. Let t = 7 + n. Let m be (-2 + -2)/(-2 - 0). Solve 0 = -m*v - t + 12 for v.
5
Let v = -2 + -2. Let x(u) = -u - 2. Let p be x(v). Solve -2 = -3*a + p*a for a.
2
Suppose 13*i = 11*i + 8. Suppose -i*s - 3*h + 1 = -6, 3*s + 5*h + 3 = 0. Solve s = -x - 1 for x.
-5
Let m(p) = -p**3 + 8*p**2 + 13*p - 6. Let l be m(9). Let n = -18 + l. Suppose -3*s = j + 2*j, 0 = j + 4*s + n. Solve 0 = -0*q + j*q + 20 for q.
-5
Let d = 5 - 3. Suppose -d*b + 5 = -3. Let x(p) = -p**2 - 5*p. Let a be x(-3). Solve -5*t - a = b for t.
-2
Let h(v) = -v**3. Let i(m) = m**3 + 3*m**2 + 2*m. Let n be i(-2). Let j be h(n). Suppose f - 5*f = -o + 5, j = 4*f - 5*o + 25. Solve 2*k = -f*k - 4 for k.
-2
Let i be (-10)/8 + 5/20. Let l be -1 + -1 + (16 - i). Solve -l = -2*t + 5*t for t.
-5
Let b(y) = y**2 - y - 3. Let o be b(3). Solve o + 1 = -g for g.
-4
Let s be (-1)/(-2)*2*4. Suppose u - s*i = 14, -2*i + 3*i = -4*u - 12. Let w be (1/1 - 31)/u. Solve 0*m = -5*m + w for m.
3
Suppose 0*f - 8 = -2*f. Solve 0 + 4 = -f*n for n.
-1
Suppose 3*d - 9 = -2*m, -5*d + 2*m - 4 = -35. Solve -d = 3*t + 1 for t.
-2
Suppose -4*g = 5*l + g - 25, -15 = -3*l + 3*g. Let s(m) = 12*m. Let c be s(1). Let o be (-9)/c - 22/(-8). Solve l*q = o*q + 3 for q.
1
Let c = 16 + -8. Solve -2*q + c = -0*q for q.
4
Suppose -4*t - 43 = -59. Solve 6 = t*m - 6 for m.
3
Let d be 2 - (-1 - (-3 + 0)). Suppose d = -v - 4*v - 25. Let m = v + 8. Solve 11 = -2*w + m for w.
-4
Let v(i) = -i**3 - 4*i**2 - 3*i + 2. Let k be v(-3). Let d be (7/2 + -2)*k. Solve 0 = d*f + 2*f for f.
0
Suppose -5*n + 18 = -4*m, 3 = -2*n + 5*n - 5*m. Solve 8 = 2*j - n*j for j.
-2
Suppose 4*v - 24 = 2*v. Let s be (-3)/v - (-49)/4. Solve y - s = -2*y for y.
4
Let q = 18 + -6. Suppose 3*g - q = -g. Solve g*u - 2 = 13 for u.
5
Let s = 14 + -13. Solve 16 = -5*h + s for h.
-3
Suppose -69 = -7*n - 6. Solve -f = 2*f - n for f.
3
Let t(q) = -q**2 - 7*q - 3. Let w be t(-3). Suppose 14 = 5*n - 26. Let y be 2/n + (-22)/(-8). Solve y*a + w = -6 for a.
-5
Let v be (-1)/(-2)*(-6)/9*-9. Solve 0 = v*t - 0*t + 3 for t.
-1
Let r(p) = p**3 + 11*p**2 - p - 14. Let a be r(-11). Let w = -1 - a. Solve 4*x + 2 = -w for x.
-1
Suppose 0 = -14*j + 48 - 6. Suppose -3*n = -n - 10. Let w = 1 - 0. Solve j*s = n + w for s.
2
Let g = -25 - -3. Let j = -14 - g. Suppose 0*o = -4*o + j. Solve 0 = -0*w - 2*w + o for w.
1
Let q(l) = l**2 + 3. Let m be q(-3). Solve r = -2*r + m for r.
4
Let r(n) = -2*n - 22. Let v be r(-11). Solve -3*t - 3 = -v*t for t.
-1
Let b = 1 - -8. Let c(j) = j**2 - 8*j - 6. Let y be c(b). Solve y*i = -i - 16 for i.
-4
Suppose 6 = 2*o + 2. Suppose 7 = o*s - s. Solve 0 = -5*l + s + 8 for l.
3
Suppose 0 = v + 2*v. Suppose u = 2*a + 14, u - 3*a = -v*u + 18. Let z = 10 + -5. Solve -2*f + z*f = -u for f.
-2
Let a = 5 - -1. Let t = 8 - a. Solve 0 = t*r + 3*r - 25 for r.
5
Suppose 7*n - 28 = 9*n. Let m = 20 + n. Solve -4*j = -m*j - 4 for j.
-2
Let r be (1*7)/(-2 - -1). Let c = r - -29. Let m = c - 15. Solve 5*q - 3 = m for q.
2
Suppose 3*s = 4*k + 32, -4*s + 25 + 17 = -5*k. Solve -6*u - 4 = -s*u for u.
2
Let g be (-2 - -5) + 0 - 5. Let c be -2 + (3 + g)*5. Solve c = -5*x - 7 for x.
-2
Suppose 5*t - 8 = 7. Solve 0 = -5*r + 22 + t for r.
5
Suppose 2*t = 5*k - 2*t - 1, -3*k + 2 = -t. Let r(x) = x**3 - 2*x**2 - 3*x + 3. Let v be r(3). Let f be v/9*3*k. Solve -n = -f + 6 for n.
-5
Suppose -15 = -6*x + x. Suppose x*t - 15 = -3*o, 17 = 4*o - 5*t + 42. Solve -5*w + o - 15 = 0 for w.
-3
Let i(d) = d**2 - 4*d - 4. Let q be 11 - 4 - 6/3. Let h be i(q). Solve h = -5*w - 19 for w.
-4
Suppose -2 = -2*s - 8. Let y = s - -5. Suppose y = d - 1. Solve d*c - 1 - 2 = 0 for c.
1
Suppose n - 8 = -2. Suppose 0 = 3*h - n. Suppose 0*r - r + 4 = -5*w, 4 = 2*w + r. Solve h*t - 5*t + 15 = w for t.
5
Let r be 9*(4/6)/1. Solve r*q = 5*q for q.
0
Let a be (1/(-2))/((-1)/8). Suppose a*d - 4*k = 7*d - 29, 5*d = -3*k + 41. Suppose d*s - 3*s = 0. Solve 0 = -s*v - v + 2 for v.
2
Let w = 160 + -148. Solve 3*g + 6 - w = 0 for g.
2
Suppose 2*r - d + 3*d = 10, -3*r = -2*d. Suppose -3 = 2*s - 2*v - 13, -v - 5 = -r*s. Solve t = -s*t for t.
0
Let f(n) = 8*n - 84. Let v be f(11). Solve -v*r - 1 = 3 for r.
-1
Let c be 9/2*(-40)/(-6). Let m = c - 27. Solve 14 = m*k + 2 for k.
4
Let v = 3 + 2. Suppose -4*a = 3*a. Suppose a = 2*y - 4 - 4. Solve -v*w = -w - y for w.
1
Suppose 4*b = b - 33. Let a = 21 + b. Suppose 0*o = -o + 3. Solve -o*u = -25 + a for u.
5
Let s be (45/6)/((-4)/(-8)). Suppose 2*y - 5*z = -7, -3*y + 3*z + s = 4*z. Solve -4*f - 8 = y for f.
-3
Let k be 0/1*1/(-2). Suppose -4*s + 3*y + 16 = -2*y, -s + 2*y + 4 = k. Solve -s - 11 = -5*q for q.
3
Let k(v) = -4*v + 1. Let f be k(-5). Solve 5*i - 6 + f = 0 for i.
-3
Suppose 10 = a + 8. Solve a*b + 3 = 13 for b.
5
Let z be 0/(-4)*1/1. Let m be -1 + 1 - (-2 - z). Solve -1 = -l - m for l.
-1
Let i be 9 + (-2)/(2 + 0). Let q = i + -5. Let d be q - 1 - -3 - 3. Solve -2*v - d = 6 for v.
-4
Let n(d) = 3*d - 9*d + 8 + 5*d. Let v be n(5). Solve -2*a + v = -3 for a.
3
Suppose 24 = 4*m - 40. Let x be (1/(2/m))/2. Suppose n = -0*n. Solve n = x*r - r for r.
0
Suppose 4 = 4*s - 20. Let q be (4 + s/3)/1. Solve -2 = -d - q for d.
-4
Let l be (-16)/(-10) - 6/(-15). Let i(z) = -l - 4*z + 2*z + 0*z. Let j be i(-2). Solve -p + 12 = j*p for p.
4
Suppose g + 2*g - 12 = 0. Let v(y) = -5*y - 2 - 2 + g*y + y**2. Let q be v(3). Solve -3 = -q*f + f for f.
3
Suppose m + 2*m + 3*a - 12 = 0, -2*m + 4*a - 4 = 0. Let j = 2 - m. Let h be 2*(1 + j + 0). Solve 1 = h*t + 9 for t.
-4
Suppose -12*v + 4*v + 16 = 0. Solve v*d = -3 + 13 for d.
5
Let l(q) = q**2 + 5*q - 2. Let o be l(-6). Solve o*h + h - 25 = 0 for h.
5
Let r = 20 - 11. Suppose -6*i + 3*i = -r. Let q be i - (0 + 0 + 0). Solve -v = q*v for v.
0
Let a = -42 + 62. Suppose 4*h + a = 5*h. Suppose -2*u - 3*u - 4*v + h = 0, 5*v - 8 = -2*u. Solve 0 = f - u for f.
4
Let u(x) = x**3 - x**2 - 1. Let r be u(2). Let i = 0 + -2. Let m be 4 + i - 1*-2. Solve 0 = m*f + 1 + r for f.
-1
Suppose 0 = -13*r + 11 + 28. Solve q - r = -0 for q.
3
Let o(g) = g**2 - 19*g - 19. Let r be o(20). Solve 5*z - r = -11 for z.
-2
Let g be (-21)/28 + (-6)/(-8). Let y = g - -5. Solve 0 = 3*s + y - 2 for s.
-1
Suppose 2*c + 2*c - 10 = 2*n, 4*c + 3*n = 5. Solve c = 2*v - 4 for v.
3
Let q = 22 - 14. Solve -3*y + 15 = -q*y for y.
-3
Suppose 3*c - 5*s = -c + 74, 0 = 4*s + 8. Suppose 9 = 5*q - c. Solve k = -0 - q for k.
-5
Let h(p) = -p - 11. Let m be h(-5). Let g = 8 + m. Solve -g*k + 10 = 2 for k.
4
Let h(g) = 6 - 6*g + 1 - 11*g. Let z(j) = -4*j + 2. Let f(a) = 2*h(a) - 9*z(a). Let d be f(3). Solve d*o = 3*o - 1 for o.
1
Suppose 15 = 2*l + 3*k, l - 7 = 5*k + 7. Suppose 0 = 4*z - 3 - 5. Suppose 0 = -2*n + g + 15 - 2, -3*n = 2*g - z. Solve -m = -n + l for m.
-5
Let g = -6 - -10. Suppose 2*h + 0 = g. Solve -12 = h*j + 2*j for j.