 2*h + 4 = z*v. Solve 0 = v*x - x for x.
0
Suppose -t = 5*a - 25, -t + 2 = 3*a - 13. Let c = 0 + 4. Suppose -2*r + 11 = -2*o - 9, 3*r = -5*o + 62. Solve -c = a*i - r for i.
2
Suppose 1 = -4*i + 3*c - 2, 3*i + 1 = c. Suppose i = 3*m + 2*m. Suppose 2*l + 3*l = m. Solve l = 5*w - 4*w - 4 for w.
4
Let h(u) = -3*u - 20. Let l be h(-7). Solve -l + 11 = -5*r for r.
-2
Suppose -3*m + m + 4*h - 2 = 0, 0 = -m - 3*h + 9. Suppose -2*y + 9 - m = 0. Solve o + 10 = y*o for o.
5
Let b(w) = -w**3 + 4*w**2 + 5*w + 2. Let s be b(5). Solve -l + 0*l = s for l.
-2
Suppose 3*s = -0*s - 9. Let j(m) = -m**3 - 5*m**2 - 3*m + 1. Let v be j(-4). Let i = v - s. Solve r - 2*r = i for r.
0
Let s be (0 + -3)/3 - -16. Let f = -9 + s. Suppose 2*q = f*q - 8. Solve -5*j = -q*j for j.
0
Let u be (-39)/(-15) - (-9)/(-15). Solve -u*c - 3 = 5 for c.
-4
Let f = 10 + -5. Let r be ((-8)/(-1) - -1)/1. Let m = r - 0. Solve -m - 11 = -f*l for l.
4
Let v(j) = -j - 5. Let k be v(-7). Let h = 1 + 2. Solve k*s + h*s - 20 = 0 for s.
4
Suppose -3*w = -5*w + 30. Suppose 5*s - 20 = 0, b + w - 42 = -5*s. Let n be (5 - b)*2/(-4). Solve n = 2*q + 3 for q.
-1
Let p = 13 + -14. Let i be (p + 1)*(6 - 7). Solve i*q + 8 = 2*q for q.
4
Suppose -2*l = -l. Let z be 1*4 + 0 - -1. Solve u - z*u = l for u.
0
Let k(x) = -2*x - 9. Let m be k(-7). Solve -2 = -m*r + 8 for r.
2
Suppose 4*b - c - 8 = 0, -b + 3*b - 2*c + 2 = 0. Solve -4*z - b = -z for z.
-1
Let i(c) = c + 1. Let p(m) = 5*m + 18. Let q(y) = -4*i(y) + p(y). Let d be q(-9). Solve 25 = 5*f + d for f.
4
Let r(b) = -b - 2. Let g be r(-6). Suppose 2*c + 5 - 1 = 3*t, g = 2*t. Solve i + c = -0*i for i.
-1
Suppose 2*s + 90 = 5*i - 3*s, 2*i + 3*s - 21 = 0. Solve w = -4*w - i for w.
-3
Suppose 15 = -3*a + 8*a. Solve 11 = -a*z - 1 for z.
-4
Suppose 3*p + 18 = 3*m, -5*p = m - 3*p - 6. Let k be (1 - 0) + m/3. Let z = k - 3. Solve l + z + 3 = 0 for l.
-3
Let l = 16 - 16. Suppose l = 3*p + 5*y - 23, 4*y = -p + 10 - 0. Solve -4*b + 7*b = p for b.
2
Suppose s = 4*s - 27. Let a be ((-1)/(-3))/((-2)/(-6)). Let j be (-3)/2*(-3 + a). Solve 3*i + s = j for i.
-2
Suppose 8*k - 33 = 7. Suppose r + 36 = -s + 2*s, 0 = -4*s + 2*r + 142. Solve -k*l - s = -10 for l.
-5
Let y be (-318)/27 - 6/27. Let k be (y/(-7))/(2/14). Suppose -2*f - 4 = 2*u - k, -7 = -u + 2*f. Solve -u*p - 13 = -3 for p.
-2
Suppose 0 = 5*i - 28 - 7. Solve 4*z + i = -13 for z.
-5
Let r = 5 + -1. Solve -r*d + 12 = -0*d for d.
3
Let r(i) = 2*i**3 - i**2 + 2*i - 1. Suppose o - 2*o + 1 = 0. Let f be r(o). Solve f*x - 2 + 0 = 0 for x.
1
Suppose 12 = 4*x, 2*h + x + 3*x = -6. Let g(w) = -w**2 + 7*w - 1. Let t(f) = -2*f**2 + 6*f. Let z(o) = -3*g(o) + 2*t(o). Let q be z(h). Solve -b = -q*b for b.
0
Let d be (1 + -6)*12/(-10). Suppose -2*k = -0*k - d. Let s(z) = -z. Let c be s(-3). Solve 0 = c*j + k for j.
-1
Let g(b) = -2*b**2 + 13*b - 11. Let x be g(5). Solve 3*r + 16 - x = 0 for r.
-4
Suppose 26*q = 21*q. Solve d = -q*d + 4 for d.
4
Suppose 3*c - 2*c - 2*c = 0. Let h(f) = 2*f - 2. Let x be h(3). Solve 0 = -c*r + x*r for r.
0
Let w = -6 + 8. Suppose -3*n + 27 = 3*x, 2*x = -w*x - 5*n + 38. Let m = x - 2. Solve m*j - 4 = 11 for j.
3
Let b(x) = x**2 + 6*x + 1. Let p be b(-7). Suppose -4*k + p = -8. Solve 3 = k*l + 11 for l.
-2
Let l = -38 + 41. Suppose 0 = -5*x + 2*n + 133, 0*x - n - 29 = -x. Solve -l*h + x = 2*h for h.
5
Let p be ((-3)/9)/(4/48). Let o(f) = 7*f - 1. Let z(q) = 15*q - 2. Let m(c) = -13*o(c) + 6*z(c). Let g be m(p). Solve -20 = -0*h + g*h for h.
-4
Suppose j - 13 = -m - 4*m, j - 11 = -4*m. Suppose -6 = -3*g + j. Solve -g*v - 8 = -v for v.
-4
Let p be 2 - ((0 - -2) + 1). Let u be ((-52)/4)/(p + 2). Let z = -5 - u. Solve -z + 3 = b for b.
-5
Suppose -7*p - 4*p = -p. Suppose 3*s + 5*r - 55 = 0, -s - 4*r + 8 = -1. Solve p = 3*c + 2*c + s for c.
-5
Let z(l) = 3*l - 3*l + 2 + l**2. Let r be z(-2). Suppose -r*t = -t - 20. Solve -t = -3*f + f for f.
2
Let p(m) = m**2 + 4*m + 4. Let q be p(-2). Solve 4*h = -q*h for h.
0
Suppose -q = -2*q + 5. Solve -x = q - 2 for x.
-3
Let k = 9 - 5. Suppose 6*u - 4 = k*u. Suppose -3*a - 4*s + 11 = -2*s, -4*s + 10 = u*a. Solve a*g + 5 = 2*g for g.
-5
Let m(v) = -v - 2 - 3 - 4 + 0*v. Let s be m(-11). Solve s*d = d for d.
0
Suppose 3*p = 2*k - 2, -2*p - 2*p = 2*k - 16. Let c be 6/1*(-1 + p). Suppose -2*s + 3*x - 3 = 0, -s - 3*x + 3 = -c*s. Solve 3*t - t + 2 = s for t.
-1
Let u = 7 + -4. Suppose 0 = -u*g + g. Let z = g - -3. Solve -1 + z = 2*n for n.
1
Suppose 5*z = 4*h - 0*h + 36, -2*h = 5*z - 12. Let i(p) = -p**2 - 4*p + 6. Let m be i(-5). Solve s - z = -m for s.
3
Let t(y) = y**3 + 8*y**2 - 8*y + 11. Let m be t(-9). Let q = 9 - 6. Solve -m*f = -q*f for f.
0
Let s(a) = -a**2 - 3*a + 5. Let l be s(-6). Let x = 18 + l. Solve -3*w - 2*w - x = 0 for w.
-1
Let c be 6/21 - (-4)/(-14). Solve c*o - 2*o = 0 for o.
0
Let r(t) = -t**3 + 3*t**2 - t + 2. Let i = 1 + 1. Let p be r(i). Solve 4*d = 3*d + p for d.
4
Suppose 5 = q - 3. Let o(h) = -5*h - 1. Let v be o(-1). Solve -4*d + v = -q for d.
3
Suppose 3*z + 3 = 3*o - 0*o, 2*o = -z + 8. Solve -o*p + 6 = -0*p for p.
2
Suppose 5*t = 5, -4*t = 5*f - 9*t - 20. Suppose 0 = -c - k + f, 0*c + 8 = 2*c + 4*k. Solve 0 = 4*h - c*h - 8 for h.
-4
Let m be 46/14 - (-4)/(-14). Let s = -10 + 12. Solve -1 - m = s*n for n.
-2
Suppose 3 = -h + 2*h. Suppose -h*z = -4 - 2. Suppose f - z*f = -4*o + 3, 2*o = f - 1. Solve -11 = f*i + 9 for i.
-4
Let l be 0*(-2)/6*-1. Solve 3 = 3*x - l for x.
1
Suppose 4*c + 5*h - 29 = 0, -3*c + 21 = 2*h + h. Let q = c + -6. Solve t = -q*t + 1 for t.
1
Let f(n) = n**2 - 9*n + 6. Let c be f(9). Solve c*q - 2 = 4*q for q.
1
Suppose 2*z = -2*d, 0*z = 2*z - 3*d. Suppose -15 = -3*o - z*o. Solve -4*s + 3*s - o = 0 for s.
-5
Let q = -23 + 28. Solve -q*l - 10 = 5 for l.
-3
Suppose -4*p + 0*p + 88 = 3*k, -42 = -2*p - 2*k. Let d(h) = h + 4. Let j be d(0). Solve -j*a = a + p for a.
-5
Suppose -6*u = -3*u. Let c be (1 - u)*(-2 - -5). Solve -4*v = -17 - c for v.
5
Let f(w) = -3*w + 1. Let t be f(-1). Solve -2 = 2*s - t for s.
1
Let p = 44 - 31. Solve 5*o - p = 12 for o.
5
Suppose -v + 4 = -6. Suppose 0 = 5*s - 3*t - 28, 3*s - 10 = t + v. Solve -2*w + s = -0*w for w.
4
Let k(p) = -p**2 + 3*p + 4. Let n be k(4). Let r(g) be the first derivative of -g**2/2 - 4. Let s be r(-2). Solve 3*y - y + s = n for y.
-1
Let h be (1/2)/((-1)/(-4)). Suppose -h = 2*j - 10. Solve 2*n - j*n = -8 for n.
4
Suppose -5*t = -5*b + 35, -3*b + 0 = 3*t + 3. Solve -f - b = -5 for f.
2
Let w(q) = 2*q - 4. Let n be w(2). Solve 4*i = -n*i + 4 for i.
1
Suppose 6*d + 4 = 34. Solve 4*x - 11 - d = 0 for x.
4
Suppose 0*o + 4 = o, -3*o + 51 = 3*w. Let c(v) = 2*v - 1. Let l be c(3). Suppose -2*m - l = -w. Solve 1 = -g + m for g.
3
Let t = -37 + 57. Solve 4*h = -0*h - t for h.
-5
Suppose -2*s + 132 = 9*s. Solve 32 = 5*h + s for h.
4
Let g(n) = n + 24. Let c be g(-19). Solve 0 = -c*k + 12 - 32 for k.
-4
Let l be ((-21)/12)/((-2)/(-8)). Let a = l + 12. Solve a*b = 4*b - 4 for b.
-4
Let p(c) be the second derivative of -c**3/6 + c**2/2 + 3*c. Suppose -2*h - 3*h - 5 = 0. Let a be p(h). Solve 0 = -j + a*j + 2 for j.
-2
Let m(g) = 2*g**2 + 0*g**3 - 2*g**3 + 0*g**2 + g. Let f be m(2). Let c = 10 + f. Solve 0 = -2*s + 6*s - c for s.
1
Suppose 2*q = -q + 6. Solve 2 = l - q for l.
4
Let r(u) = u - 16. Let p be r(18). Solve p*v + 5 + 1 = 0 for v.
-3
Let h(r) = r**3 + 7*r**2 - 8*r. Suppose -3*u = 2*l + 20, -u + 2*l - 9 = 3. Let s be h(u). Solve -j - 4 = -s for j.
-4
Suppose 4*v - 5*c + 13 = 0, 8*v - 4*v - 2*c = 2. Solve 0 = 2*b - v*b for b.
0
Let y(j) = -j**3 - 18*j**2 - 17*j + 2. Let q be y(-17). Solve -4*r - q = 10 for r.
-3
Suppose 28 = x - 5*q, -12 = x + 3*q - 0*q. Suppose -9 = 4*h + 2*p - 27, 2*h - x*p - 5 = 0. Solve 6 + h = 5*k for k.
2
Let b(r) = -r**2 + 3*r. Let s be b(2). Solve -3*u + 7 = -s for u.
3
Suppose 3 = -4*d + 11. Suppose -3*l = -l + 5*y + 14, -3*l - 2 = -d*y. Let o be (0 - l) + -2*1. Solve o*f = f for f.
0
Let m(z) = z**3 + 10*z**2 - z - 14. Let i be m(-10). Let o be (i - -3)*0/1. Solve o = 3*t + t - 8 for t.
2
Suppose 4*o - c + 48 = 0, -6*c + 71 = -5*o - 2*c. Let d = o + 21. Solve -4*m - d + 2 = 0 for m.
-2
Suppose -40 = -15*s + 5*s. Solve 22 = s*v + 2 for v.
5
Suppose -5*b + 7 = w - 44, -2*w = -b + 8. Suppose 156*c - 15 = 151*c. Solve -2*l - c*l = -b for l.
2
Let p = 10 - 8.