.
2
Suppose -x - 2 = 2. Let k be (-132)/(-30) + x/10. Suppose -15 = -5*u - 5*j, -5*j = 3*u + u - 14. Solve k*z - 19 = u for z.
5
Suppose -5*t + 10 = 5*m - 0*m, 2*t - 4*m = -2. Solve -2*x + t = 7 for x.
-3
Suppose -z - 3*z = 0. Let g = z + 0. Suppose 0 = -5*n + n. Solve 2*p + g*p = n for p.
0
Suppose 60 = 3*w - 39. Suppose 4*k - k = -12, -5*o + 2*k = -w. Solve -o*v = -4*v for v.
0
Let d be ((-3)/9)/(-1)*-33. Let w = -7 - d. Solve -w*x = -7*x for x.
0
Let k = -5 - -5. Let f be k/(-1) + (-20)/(-5). Suppose h = -3*h + 12. Solve h*t + 3 = f*t for t.
3
Let g(k) = -k**3 + 5*k**2 + k - 3. Let o(d) = d. Let s be o(5). Let z be g(s). Let t be (-4)/10 - (-84)/10. Solve -z*x + t = 2 for x.
3
Let x = -27 - -27. Suppose x = -2*g, 2*t + 3*g = -0*g + 4. Solve -3 = -t*y + 5*y for y.
-1
Let f = -2 + 4. Solve 7 = -f*v + 3 for v.
-2
Let n(a) be the first derivative of -2 - 1/4*a**4 - 3*a + 0*a**2 - 2/3*a**3. Let j be n(-3). Solve -j*s + 5*s = 3 for s.
-3
Suppose -5*o = -15, 2*s + 4*o = s + 15. Suppose z + 0 - 3 = m, -s = 5*m - z. Suppose 2*l + u - 13 = m, 7*l - 4*l - 17 = -u. Solve -l*f = f for f.
0
Let y be ((-5)/(-3))/((-2)/(-6)). Solve 0 = -k + y*k - 4 for k.
1
Suppose 24 - 9 = 3*s. Let t = s + -3. Solve -t*q + 0 - 10 = 0 for q.
-5
Suppose 0 = -3*r + 4 + 23. Solve s = -2*s - r for s.
-3
Let y(l) = 6*l**2 + 2*l + 1. Let h be y(-1). Solve -h = 6*x - x for x.
-1
Let g(i) = -i**2 + 6*i - 1. Let z be g(5). Suppose -z*v + 4 = -2*x, -x = -3*v - 0*v + 7. Solve x*m = 5*m - 6 for m.
-2
Let n(y) = -y**3 + 8*y**2 + 9*y + 4. Let c be n(9). Solve -c*u = u for u.
0
Let f(g) = g**3 - 2*g**2 - 3*g + 3. Let y be f(3). Suppose -y + 1 = 2*o. Let l = 2 - o. Solve -l*h + 1 - 7 = 0 for h.
-2
Suppose 0 = 5*t + 25, -5*f - 2*t = -7 - 3. Solve d - f*d - 3 = 0 for d.
-1
Let y(x) = 3*x**2 + 4*x + 5. Let n be y(-3). Solve 0*d + n = -4*d for d.
-5
Suppose -5*j + 15 = 5*s - 15, 0 = 3*j - 3*s. Suppose 2*h - 12 = 3*d, -d - d - 8 = 2*h. Solve j*b + 3 = -h for b.
-1
Suppose i + 3*u = -0*u - 9, -2*i - 2*u - 2 = 0. Solve -2 = -i*j + 1 for j.
1
Let w = 6 - 1. Let z be (-1)/(w/(-2) - -2). Let k = 6 + 0. Solve k = z*u + u for u.
2
Suppose -8 = r - 3*r - 2*b, -2*r + b = -17. Let j = 11 - r. Suppose h = -j*m + 13, 8 = 2*m + h + h. Solve -m = -0*q + 3*q for q.
-1
Let a = 0 - -7. Let v = a + -4. Let b be (15 - v)*(-3)/(-3). Solve 3*u + 3 - b = 0 for u.
3
Suppose 29 = 3*h - w, -4*h + 0*w = -4*w - 28. Solve h + 9 = 5*r for r.
4
Let k be (2/6)/(5/30). Solve 2*r + k*r - 4 = 0 for r.
1
Let q(n) = -n**3 - n**2 - n - 5. Let k be q(0). Let h be ((-14)/6)/(3/(-9)). Let r = h + k. Solve -2 - r = -4*b for b.
1
Suppose 0 = 4*i + i - 10. Let p be (-3)/(2*(-1)/i). Solve -p*m + 7 = -5 for m.
4
Let x(l) = 3*l + 30. Let r be x(-10). Solve 2 + r = -i for i.
-2
Suppose q = 3*q - 6. Suppose 0*v + v - 18 = 0. Solve v - q = 3*t for t.
5
Let p(w) = -w**2 + 8*w + 24. Let b be p(10). Solve 2*v + b = -0*v for v.
-2
Let v(m) = m - 2. Let o be v(2). Solve t - 4*t - 9 = o for t.
-3
Suppose -o - 12 = -5*o. Suppose -4*i = 3*n - 10 - 24, -2*i - o*n = -20. Solve -5*q = 3 + i for q.
-2
Suppose z - 5*z + 36 = 0. Let f = -2 + z. Solve -2*s = -f*s for s.
0
Suppose 2*k = 7*k. Suppose 5*d = -2*x, k = -2*d + x - 3*x. Suppose 2*a - 2 - 2 = d. Solve -r = a*r for r.
0
Let x(g) = -g**3 - 2*g**2 - g - 2. Let p be x(-2). Solve p = 2*i - 1 + 7 for i.
-3
Suppose 4*j - 18 = 4*r - 3*r, -36 = 2*r - 2*j. Let x = r + 38. Solve -y - 4*y = x for y.
-4
Suppose -2*u + 8 = -2. Suppose -u*g + v - 23 = 0, 6*v + 11 = -5*g + 3*v. Let b be 0/3*(-2)/g. Solve -3*l + 5 - 2 = b for l.
1
Let a(l) = 1 + 4 + l - 4. Let x be a(2). Let m = x + -3. Solve f - 2*f - 3 = m for f.
-3
Let f(j) = -5*j**3 + 7*j**2 + 25*j + 4. Let v(y) = y**3 - 2*y**2 - 6*y - 1. Let h(s) = 2*f(s) + 9*v(s). Let r be h(-3). Solve 8 = -r*b + 4*b for b.
4
Suppose -c + 0 = -w - 2, 0 = w - 4*c - 1. Let n = -1 - w. Let a = 3 - 3. Solve a = 5*s + 22 - n for s.
-4
Let r be 2 - (-1)/(-1) - -5. Let y = -11 + 19. Let u = y - r. Solve 5*j + u + 3 = 0 for j.
-1
Let d = 64 - 61. Solve -2*s = -3*s - d for s.
-3
Suppose 3 = -3*a + 2*a, -3*a = 5*j + 14. Let i = j + 6. Solve -i*w - 25 = -0*w for w.
-5
Suppose 0 = -3*m + 7 + 5. Let n = m - 4. Let o be (n/2)/(5 - 3). Solve 0*z - 4*z = o for z.
0
Suppose -3*j = 4*c - 19, 1 = 4*c - 3*j - 12. Suppose 2*q = 3*q - c. Let v = -2 + q. Solve -f = -v*f + 3 for f.
3
Let y = -32 - -17. Let c be (-4)/(-5)*y/(-6). Solve 0 = c*l - l - 5 for l.
5
Let k be ((-18)/(-15))/((-4)/(-10)). Solve -1 = -m + k for m.
4
Let x be (2 + -4)/((-12)/(-150)). Let l = x + 29. Solve -2*m - 2 = l for m.
-3
Suppose o = 3*o + 16. Let y = o + -4. Let l be y/15*5/(-2). Solve -5 = -l*i - 3*i for i.
1
Let a(h) = h + 6. Let w be a(-3). Let m = 1 - -5. Solve z + m = w for z.
-3
Suppose 4*d = 6*d - 8. Suppose -59 = -d*o - 3. Suppose i + 8 = -2*x, 2*i + 2*x + o = 6. Solve 9 = -i*z - 3*z for z.
-3
Suppose 6 = 7*s - 8. Solve -8 = -2*z - s for z.
3
Let w be (1 - (4 + -2)) + 0 + 3. Solve u - w - 1 = 0 for u.
3
Suppose -3*f - 5 = -86. Suppose 4*y - f = 5*h - 71, 3*y - 60 = -4*h. Solve v = -2*v + h for v.
4
Let u be (90/(-50))/((-3)/10). Solve u = 3*y - 9 for y.
5
Let t(i) = -2*i**2 + 31*i - 11. Let w be t(15). Solve -w*k + 17 = 1 for k.
4
Let c be (-15)/(-10) + (-3)/2. Solve c*g = 2*g for g.
0
Let x be (9/(-6))/((-1)/2). Suppose x + 7 = 5*p. Let b(w) = -w**2 + 7*w + 6. Let h be b(6). Solve p*f - h = -4 for f.
4
Let j(x) = -6*x + 1. Let q(h) = -h. Let y(m) = j(m) - 2*q(m). Let c be y(-1). Solve 0*p = -c*p + 15 for p.
3
Suppose 17 = d + 4*o - 5, -24 = -2*d - 4*o. Let u be (d + 1)*(-2)/(-3). Solve 0 = 4*c - u*c for c.
0
Let b(z) = 2*z**2 - 2. Let n be b(-2). Let g(o) = 4*o**2 + 10*o - 9. Let a be g(-4). Solve n*w + a = w for w.
-3
Let d(m) = -m**2 - 7*m - 2. Let i be d(-6). Let l = i + -1. Suppose 2*k - 13 = -4*y - 3, -l*y + k + 20 = 0. Solve 0 = 3*h - y*h + 4 for h.
2
Suppose 4*n = 10 + 14. Let i(r) = 3*r + 2. Let x be i(n). Solve -x = w - 5*w for w.
5
Suppose -3*y - y = 0. Suppose y = 3*l - 26 - 1. Solve h + l = -2*h for h.
-3
Let d be 6 + -1 + (-2)/1. Suppose -d*w = 6 + 12. Let g be ((-9)/w)/((-1)/(-2)). Solve -g*z - z - 16 = 0 for z.
-4
Let x(h) = 2*h**2 - 5*h - 2. Let w be x(-5). Suppose 0 = 2*a - 2, -4*f + w = -6*a + 3*a. Solve 3*g + f = 4 for g.
-5
Let u be (135/(-3))/(-1 - 0). Let y be (-3)/((u/6)/5). Let t = y + 4. Solve t*a + 2*a + 4 = 0 for a.
-1
Suppose -5*g + 26 - 2 = 2*s, -3*s - 2*g + 14 = 0. Solve -s*f + 0 = -4 for f.
2
Let r = 8 + -5. Suppose -2*j + 1 = -r. Suppose j*w - 5 = 1, -6 = -2*y + 2*w. Solve y + 0 = 3*u for u.
2
Suppose 0 = x + 5*b - 22, 5*x + 2 = 3*b - 0. Solve -x*t - 5 = 1 for t.
-3
Let a = 1 + 1. Suppose -n - f + a*f = 2, -5*f = -10. Suppose k = -n + 4. Solve -2*v + k*v + 8 = 0 for v.
-4
Suppose 3*o - 22 = 4*g, -3*g + 23 = 3*o - 8*g. Solve 0 = o*u - 8*u - 6 for u.
-3
Let u = -18 - -18. Solve u = 2*r - 3*r for r.
0
Suppose 0 = b - 2. Suppose -4*h = -8, 2*a - 19 = -3*a - b*h. Solve -6 = a*s - 0*s for s.
-2
Let d(k) = -k**3 - 18*k**2 - 15*k + 41. Let y be d(-17). Solve o + 2 = y for o.
5
Let w be 12/8*(-6)/(-9). Solve 19 = -5*l - w for l.
-4
Suppose -3*w = z - 41, 4*w - 3*z - 76 = z. Solve s = 6*s - w for s.
3
Let q(x) = -x**3 + x**2 + x - 1. Let v(j) = -10*j**3 + 5*j**2 + 6*j - 6. Let z(b) = 6*q(b) - v(b). Let n be z(1). Solve -3 = -n*t + 2*t for t.
1
Suppose -2*i = -6*m + 3*m - 28, -m - 20 = -2*i. Solve 3*d - i*d + 25 = 0 for d.
5
Suppose -30 = -2*j + r - 3, -3*r - 26 = -j. Let d = j + -7. Solve -p = p + d for p.
-2
Let v(y) = 12 + y**3 + y + 2 + 11 - y**2. Suppose 6*x = 3*x. Let o be v(x). Solve o = n - 6*n for n.
-5
Suppose b = -5 + 20. Let p = -9 + b. Solve -4*k + p = -k for k.
2
Let o be -4*3/(-36)*9. Solve 1 = -o*c + 13 for c.
4
Let k be -2 + 0 + (-18)/(-3). Suppose 3*u - 10 = -k. Solve -u*z - z = 15 for z.
-5
Suppose -m - 1 = -4*v - 7, -2*m = -4*v - 4. Let q = m + 4. Solve -q*s + 4 = -0*s for s.
2
Let u(h) = -2*h**3 - 14*h**2 - 18*h + 4. Let j(v) = v**3 + 7*v**2 + 9*v - 2. Let x(w) = -5*j(w) - 3*u(w). Let g be x(-5). Solve 0 = -g*i - i - 16 for i.
-4
Let x(p) = -4 + 3*p**2 + p**3 + 1 + 1. Let i be x(-2). Let m be 2/4*(-2 + i). Solve -z + 4*z + 6 = m for z.
-2
Let w be -3 + (-1 - 0 - 10). Let r be (-2)/8 - (-14)/(-8). Let a be w/r - (2 - 0). Solve -a*h - 5 = 15 for h.
-4
Suppose -7*g = 