4 + z. Solve k*g = g - 1 for g.
-1
Let y be ((-4)/(-3))/(12/36). Solve 3*c + 2 + y = 0 for c.
-2
Let l = 3 - -3. Suppose -2*s - 12 = -5*r, 2*r = 3*s - l*s + 1. Solve -r*z + 4 = 8 for z.
-2
Let a = -10 - -7. Let r be -5*((-13)/(-5) + a). Solve 5*j + r = -3 for j.
-1
Suppose -2*s + 4*w = -0 - 12, 0 = 2*s - 3*w - 17. Let p be (12/s)/(3/12). Solve -p*j = -2*j + 3 for j.
-3
Let j be ((-8)/20)/((-2)/(-10)). Let v be (-3*1)/(3/j). Suppose v*g = g. Solve g = 4*o - 3*o + 1 for o.
-1
Suppose 17 = 2*b - 3. Let m = -6 + b. Solve 2*y = m*y - 8 for y.
4
Suppose 22 + 5 = 3*v. Let o = v - 6. Solve 3*h - o = -0 for h.
1
Let h(m) = -2*m**3. Let s be h(1). Let k be 1/2*(s + 2). Suppose -4 = -5*i + 2*b, -5*b - 10 = -k*b. Solve i = -5*z - 0 - 5 for z.
-1
Let v(w) = -5 + 3*w + 3*w - 5*w. Let q be v(5). Solve 2*g + q*g - 10 = 0 for g.
5
Let g = 24 - 38. Let p be 3/(-12)*g*2. Solve 0 = 3*a - p*a + 8 for a.
2
Let z = -29 - -32. Solve -2*h = -z*h + 3 for h.
3
Suppose 5*n - 40 = -2*o - o, n = 5. Suppose a + 4*v + 24 = 7, 0 = o*a - 3*v - 7. Let f = a + 5. Solve -f = 3*c - c for c.
-2
Suppose 3*w - 18 = -3*u, -4*w + 11 = -u + 7. Solve -u*y + 2 = 22 for y.
-5
Suppose 7 = -3*v + 16. Suppose -3*h - 4*n - 16 = 2*h, -2*h - v*n = 12. Solve -5*r + h - 5 = 0 for r.
-1
Suppose 3*d - 1 + 4 = -2*g, -4*g + 4*d = -24. Suppose -g = -u - 1. Let h = u - -2. Solve -h*l = l for l.
0
Let o be (-10)/4*4/5. Let d = 0 - o. Solve 3*m + d*m = -15 for m.
-3
Let o be 4*((-30)/(-8) + -3). Suppose -o*n - 3 = -3*d, -4*d - n + 4 + 5 = 0. Let q be (-1)/(d/(-8)*2). Solve q*r - 3*r = -3 for r.
3
Suppose 5*n = 8 + 2. Suppose 0 = -3*d - 4*r + 4 + 8, 5*r = -n*d + 15. Solve d = 4*x + x for x.
0
Let n(w) = -w**3 - 7*w**2 + w + 10. Let t be n(-7). Let i(h) = 2*h**2 - 4*h - 1. Let r be i(t). Solve 3*f = 14 - r for f.
3
Let a(m) = -m**3 - 2*m**2 + 3*m. Let q be a(-3). Solve -4 = -o - q for o.
4
Let h = 14 + -13. Solve 2*j - 3 = -h for j.
1
Suppose 15 - 12 = i. Solve -i = d - 7 for d.
4
Let k(d) = -d**2 - 10*d - 12. Let l be k(-8). Suppose 0 = l*r + r. Suppose b + 3*w - 3 = 5*w, -5*w = r. Solve -7 = -b*f - 1 for f.
2
Let d be -2*(-2 - 0)/4. Solve -1 - d = a for a.
-2
Suppose -3*m = -1 - 5. Suppose 4*x + 4*w = 2*x + m, 2*x + w = 2. Let t = 2 - x. Solve 0 = -l + 2*l - t for l.
1
Suppose -4*i - 8 = -4*v, 5*i = -4*v + 8 + 18. Suppose -5*h = -v*s - 25, 4*s + 8 = -5*h + 73. Solve -2*w = w - h for w.
3
Suppose -a - 2*g + 42 = -0*a, -3*g = -3*a + 126. Let w = -22 + a. Solve 0*l = -4*l - w for l.
-5
Let f(c) = -c**3 - 8*c**2 + 9*c. Let q be f(-9). Let v be (4/(-2) - q) + 4. Solve 12 = -v*r + 4 for r.
-4
Let j(d) = d**2 - 5*d + 3. Let p be j(5). Suppose -8*c + 10 = -p*c. Solve -5*t + c - 22 = 0 for t.
-4
Suppose -8 = 18*r - 20*r. Solve 0*k = 2*k - r for k.
2
Let w = -6 - 7. Let n = 7 + w. Let m be (-4)/(-6) - 8/n. Solve b - m = -0*b for b.
2
Let v be (6 + 0)/(3/5). Solve 5*l - v + 35 = 0 for l.
-5
Suppose 2*s = 2*o + 4, 3*o + 11 = 2*s + 2*s. Solve -o*q + 4 = -4*q for q.
-4
Let h = 0 + 4. Suppose h*x - 2*y = 2*y + 24, -3*x = 3*y. Solve -1 = -4*n + x*n for n.
1
Let x = 17 + -8. Suppose -3*p + x = 3. Let j(u) = -u**2 + 13*u - 8. Let h be j(12). Solve p*g - h*g = -8 for g.
4
Suppose 0 = -4*m - 111 - 29. Let a be (-14)/m*(-40)/(-2). Solve -3*i + i = -a for i.
4
Let r be 2/9 + (-34)/(-9). Let x = -6 + 7. Solve -x = 3*p - r for p.
1
Let y be (-15 + (2 - -4))*1/(-3). Solve 3*f - y = 4*f for f.
-3
Let l be ((-82)/6)/((-3)/9). Let o = l + -26. Solve -2*p = -5*p - o for p.
-5
Let x(a) = -2*a - 10. Let m be x(-9). Suppose -3*h - 5*w = -3*w - 2, -5*h = w - 15. Suppose 0 = m*y - h*y. Solve y = -l + 4 - 5 for l.
-1
Let f be ((-3)/2)/(18/60*-5). Solve f = -3*m + 2*m for m.
-1
Suppose 26*v = 27*v - 3. Solve v + 5 = 4*q for q.
2
Let q be (2 + -2)*(1 - 0). Solve 0 = -q*l + 4*l for l.
0
Let o = 6 + -3. Suppose 4*f = -0*f. Suppose f*g = o*g. Solve g - 12 = 3*h for h.
-4
Suppose 2*l = y - 2*y, 5*l + 65 = 4*y. Solve -3*g = y - 4 for g.
-2
Let b(o) = o**3 - 8*o**2 - 9*o + 3. Let v be b(9). Suppose 3*y - 6*l = -2*l + 37, -29 = -3*y + 2*l. Let t = y - v. Solve 0 = 3*g - t*g for g.
0
Let y = -33 + 47. Solve -y = 3*w + 1 for w.
-5
Let h be 11/4 - -1 - (-4)/16. Solve 0 = -h*c + c for c.
0
Let q = -11 - -8. Let u be 3/q + 1 + 17. Solve u = -5*b + 2 for b.
-3
Let h = 17 - 8. Let m(n) be the second derivative of n**4/6 + n**3/3 + n. Let k be m(-2). Solve -h + k = q for q.
-5
Let a = 12 + -2. Solve 5*l + 10 = -a for l.
-4
Let o = -4 - -6. Suppose -o*x = -x. Solve x = -4*i + 7 + 9 for i.
4
Let c(n) = -n**3 + 16*n**2 + 2*n - 22. Let a be c(16). Solve -3*x = 2*x + a for x.
-2
Let x(t) = -t**3 - 9*t**2 - t. Let u = 9 + -18. Let y be x(u). Solve -y = n - 4 for n.
-5
Let h(i) = -13*i**2 - 44*i - 49. Let n(s) = -3*s**2 - 11*s - 12. Let a(d) = -2*h(d) + 9*n(d). Let z be a(-10). Solve -5*c + 5 = -z*c for c.
1
Let c(i) = -i**2 - 12*i - 15. Let b be c(-10). Suppose 4*g - 2*x = -1 - b, -x + 4 = -g. Let l = 1 - g. Solve l = -3*r - 2*r for r.
0
Suppose 0*q = -3*q + 6. Suppose -4*m - m = 0. Solve -3*o - q*o - 15 = m for o.
-3
Let u be 4/(-24) - (-93)/18. Solve x + 0*x = -u for x.
-5
Suppose 20 = -4*o, -3*n - 3*o = -2*n + 12. Solve n*r = r for r.
0
Let y be 0 + 3 - (6 - 5). Suppose -4*u + 45 - 5 = 0. Solve 3*k - u = y for k.
4
Let z(x) = -9*x**2 - 7*x + 0*x + 10*x**2. Let c be z(8). Solve -m - m = c for m.
-4
Let l = 18 - 13. Suppose 5*t + 0 = l. Solve -n = -t - 3 for n.
4
Let m = 36 + -31. Solve -5*x + 0 + m = 0 for x.
1
Let c(h) = -19*h + 1. Let r be c(-1). Solve -8*s = -4*s - r for s.
5
Let c be 2/((-1)/(0 - -1)). Let n = 1 - c. Suppose 12 = 4*d, 3*v + d + 12 = 4*v. Solve -n*m + v = -0*m for m.
5
Let t(z) be the second derivative of -z**5/20 - z**4/2 - z**3/2 + z**2 - 4*z. Let p be t(-6). Solve a + p = -4*a for a.
-4
Suppose -b = -6*b + 30. Suppose 3*y + 34 = 2*v + 3*v, -2*y - 21 = -3*v. Solve -f - v = -b for f.
1
Suppose 3*q = 2*j - 4, 0 = 4*q + 2*j - 4 - 0. Let z be 1/7 + 170/35. Suppose -4*l - 5*d = -2*d - 24, -l = z*d - 23. Solve -15 = -q*u - l*u for u.
5
Suppose -z + 9 - 7 = 0. Solve -z - 23 = 5*x for x.
-5
Suppose 2*b + 4 = -5*w, 2*w = 2*b + 1 - 11. Solve -8 = l - b*l for l.
4
Let g = 30 - -23. Suppose -3*h = -5*w + g, 4*w + 3*h - 64 = -0*h. Solve 5*d = -12 - w for d.
-5
Let q(d) = -3*d**3 - d**2 - d + 27. Let k be q(0). Solve k = -4*n + 7 for n.
-5
Let c = 135 - 133. Let t = -3 - -6. Solve -t = k + c for k.
-5
Let t = 109 + -106. Solve 0*o - 12 = t*o for o.
-4
Suppose 0*t = -3*t. Suppose 3 = u - 1. Let k = u - t. Solve 0 = -0*b - b - k for b.
-4
Let h = -3 - -3. Solve p + h - 4 = 0 for p.
4
Let v be (31/4)/((-2)/8). Let q = 52 + v. Let h = q + -13. Solve -3*g = -h*g - 25 for g.
-5
Let c be 1*-6*(-2)/4. Suppose 5*w - 14 = -c*d, -4*d + 14 = -4*w + 6. Solve n = 2*n + w for n.
-1
Let k = -11 - -7. Let l = k - -4. Solve -d + 5*d = l for d.
0
Let d(z) = -3*z - 2. Let o be d(-2). Let k be 3 + 4/(16/12). Suppose 20 = 11*n - k*n. Solve 4 = n*f - o for f.
2
Let g be (-1)/3 - (-6)/(-9). Let a = g - -1. Let o(q) = -q**3 + 6*q**2 + 6*q + 7. Let b be o(7). Solve -n + a*n + 5 = b for n.
5
Suppose 3*n = 4*j - 147, j = -0*n + n + 38. Solve 5*a = -j + 8 for a.
-5
Let z(n) = n**3 + 8*n**2 + n + 10. Let u be z(-8). Let j be ((-18)/(-4) - -3)*u. Solve -3*f + 3 - j = 0 for f.
-4
Suppose -y - 5 = 3*a - 6, 0 = 3*y + 3*a - 27. Solve 0 = 11*x - y*x + 6 for x.
3
Let g(q) = -q + 5. Let i be g(0). Let x be 0/(4/((-4)/(-3))). Solve x = -3*a + 2 - i for a.
-1
Let r be 5*2/5 + 12. Let g = r - 9. Solve 2*n = n - g for n.
-5
Let w(v) = -v**2 - 3*v - 1. Let m be w(-6). Let z = 2 - m. Suppose -2*s = -2*h - 3*h - z, -4*h - 27 = -5*s. Solve k = s*k + 8 for k.
-4
Let o be (-1)/4*2*0. Let z be ((-1)/(-2))/((-3)/36). Let s = 10 + z. Solve 3*u - s - 5 = o for u.
3
Suppose 3*t - 65 = -t - 5*k, -5*t + 5*k = -25. Solve 2*l + t = -0*l for l.
-5
Let q(s) = -s**3 - 5*s**2 - 5*s - 4. Let g be q(-4). Solve g = -2*l + 7*l - 15 for l.
3
Let a be 3/27*3*3. Suppose 4*w - 3 = a. Solve -4 + w = f for f.
-3
Suppose 2*d + 2 = 0, -4*g + 11 + 9 = 4*d. Let v(n) = -n**3 + 7*n**2 - 7*n + 8. Let b be v(g). Solve -4*j = 6 - b for j.
-1
Suppose 3*d + 2 = 5*d, 3*s - 11 = -5*d. Let h(x) = 0 + 3*x**2 + 1 + 12*x**s. Let w be h(1). Solve -m - w = 3*m for m.
-4
Let w be (-1)/2 + 9/2. Suppose -3*o - q - 7 = 3*q, -4 = -w*o - 2*q