5*c. Suppose 4*r + 9 = r, -r - 28 = -c*s. Solve s*q + 14 = 4 for q.
-2
Suppose 2*q - 3*q + 2 = 0. Solve h - 5 = q*h for h.
-5
Let h = 118 - 118. Solve h = -2*n - n - 6 for n.
-2
Suppose 6*v - v = 10. Suppose w - 2 = v. Solve -w*l + 16 = -0*l for l.
4
Suppose -3*l - 5*x - 2 = 0, l = -3*l - 4*x. Solve 3*f = -l + 4 for f.
1
Let k(j) = j**2 + 17*j - 18. Let r be k(-18). Solve r*b = -2*b + 2 for b.
1
Let v = -155 + 158. Suppose -5*s = -30 + 10. Solve -2 - s = -v*a for a.
2
Let h(t) = t**3 + 4*t**2 + t + 5. Let v be h(-4). Let f = 0 + v. Let r = 8 + -6. Solve k = r*k - f for k.
1
Let a(q) = q**2 + 8*q + 8. Let h be a(-7). Let g be 1 - (0 + (1 - 1)). Let o be g + 1 + -3 + h. Solve s + s = o for s.
0
Suppose -3*k + v = -5*k - 77, v - 139 = 4*k. Let o be (2 + 64/k)*9. Solve 0 = o*n - 0*n + 4 for n.
-2
Suppose 0 = -3*o - 2*v + 12, -3*v + 0*v = 0. Suppose -o*m - 1 = -9. Solve -y = -m*y for y.
0
Let m = -14 - -6. Let x be ((-3)/2)/(4/m). Solve x + 5 = 2*o for o.
4
Let f be (-12)/(-9) - (-16)/6. Solve 3*c - f*c + 3 = 0 for c.
3
Let w(l) be the first derivative of l**3/3 - 3*l**2 + 2. Let o be w(6). Solve x = 1 - o for x.
1
Let x be ((-6)/(-4) - 2)*0. Suppose x = -3*p - 0 + 9. Solve p*u = u for u.
0
Suppose -g + 3*c = -14, 4*c + 138 = 5*g + 6*c. Let a = -18 + g. Solve z + a = -3*z for z.
-2
Suppose 0 = f + 3*f - 16. Solve -r = f*r for r.
0
Let h be ((-40)/24)/(2/(-36)). Suppose 3*s + h = -2*s. Let w = s + 15. Solve 0*n - w = 3*n for n.
-3
Let g be -2*(-1 + (-2)/4). Suppose 29 = 3*y + 4*u - 2, 0 = -u + 4. Solve -g*q + y*q = -8 for q.
-4
Suppose -4*d + t + 11 = 0, -d - t = -0 - 9. Suppose -4*m + 1 = 5, -5*m - 61 = -4*q. Let c = q - 3. Solve d*w + 3 = c for w.
2
Suppose 8 = -4*y, 4*k - 2 = -2*y - 3*y. Solve -5 = 4*r + k for r.
-2
Let x(q) = 4*q - 1. Let t(o) = o**2 - 3*o + 1. Let z be t(3). Let w be x(z). Solve w*f + 0 = 3 for f.
1
Suppose 0 = 3*t - 15, 3*q - 8*q = -t + 10. Let r = q + 16. Solve 5*j + 5 = -r for j.
-4
Let l be 0 + (-1)/(-3 + 2). Let g be 2*(l/(-2) + 2). Suppose -g*r = -2 - 7. Solve 0 = -2*d + 3 + r for d.
3
Let y = 5 - 1. Let p = 6 - y. Solve 0*k - p*k - 4 = 0 for k.
-2
Let t = 37 + -33. Solve z + t - 5 = 0 for z.
1
Suppose 9*i - 11 = 4*n + 4*i, -2*n - 4 = -2*i. Solve -4*p = -11 - n for p.
3
Let p(s) = s**2 + 13*s + 15. Let z be p(-12). Suppose 10 = 5*o - 3*t, o + 2*t = 6*t - 15. Let v be 2/15*z*o. Solve -v = -3*c + 1 for c.
1
Let z = -2 + -4. Let p be ((-12)/(-9))/((-4)/z). Solve -3*v + 5*v = p for v.
1
Suppose f - 5 - 25 = 0. Let l be (-6)/21 - f/(-7). Suppose -8*a + 12 = -l*a. Solve 0 = a*z + 3 for z.
-1
Let p(o) = o**3 - 3*o - 1. Let l be p(-2). Let x be (l/3 - -2)*0. Let m be 0 + (0 - 0 - x). Solve m*g = -g - 2 for g.
-2
Let r be 39/15 + (-2)/(-5). Suppose 197 = 2*y + 185. Solve 0*h - y = r*h for h.
-2
Let r(a) = 19*a**3 - a + 2. Let i be r(1). Solve 0 = -0*x - 4*x - i for x.
-5
Let c be (-1 + -9)*(-2)/5. Let k(d) = -d + 11. Let w be k(7). Solve 5*g + c = w*g for g.
-4
Suppose 3*h - 22 = -3*d - 64, 5*h - 4*d = -97. Let b = 19 + h. Suppose -5*x + 2 = 4*m, -2*x = 5*m - 3 + 9. Solve -b*o - x*o + 8 = 0 for o.
2
Let s = 2 - -5. Let h = 0 - -2. Suppose -25 = -h*r - 3*r. Solve r*a - 2 = -s for a.
-1
Let z = -3 + 4. Let a be z*2/4*18. Suppose 0 = 3*y - b + 5, y - 4*b + a = -11. Solve y = -u + 1 for u.
1
Let t = 19 + -17. Solve 6*o + 20 = t*o for o.
-5
Suppose -4*g - 15 = 4*r + 9, 2*g + 6 = 4*r. Let x be (2/g)/((-10)/50). Solve -x*p = -0*p + 8 for p.
-4
Suppose -2*t = 5*g + 19, -3*g - t + 9 = 21. Let y be (-15)/(g/(30/9)). Let m be (-13)/(-5) - y/(-25). Solve 12 = -0*w - m*w for w.
-4
Let j(r) = -7*r**2 + r. Suppose -w + 5 = -3*n - 1, -5*n - w = 2. Let t be j(n). Let d = 8 + t. Solve d*z + z = 0 for z.
0
Suppose -13 = -5*r + 17. Solve -r*s + s + 5 = 0 for s.
1
Suppose -7 = -5*m + 8. Suppose 4*x - 2*y - 4 = 2*y, -4*y = 3*x + 4. Solve x = d - m*d + 4 for d.
2
Suppose x - 2*x = -1. Let j = 3 - x. Solve -2*p = j*p - 16 for p.
4
Let t be 4/(-2) + (0 - 1). Let r = -3 - t. Let n = 0 - r. Solve -5*c = -n*c - 20 for c.
4
Suppose 11 = 2*b + 3. Suppose -b*m + 5 = -3*h, -4*h + 4*m - 2 = m. Solve 2*t + h = -3 for t.
-2
Suppose 0 = 3*d + 3*r + 2*r - 15, 2*r = 0. Let v(c) = -c**3 + 6*c**2 - 4*c - 5. Let l be v(d). Solve 0 = -l*i + i + 3 for i.
-3
Let l(a) = 3*a - 26. Let d be l(13). Let g = d + 3. Solve -3*z = z - g for z.
4
Let u(i) = i**3 + 2*i + 3. Let h be u(0). Solve k = 1 + h for k.
4
Let v be (-62)/(-217) - (66/(-14) + 0). Solve -v*j = -8*j for j.
0
Let x(y) = 2*y. Let n be x(3). Let w(g) = -g**3 + 6*g**2 + g - 6. Let f be w(n). Solve 3*q = -f - 6 for q.
-2
Let c = -9 - -11. Solve -c*x + 0*x = 0 for x.
0
Suppose 0 = b - 2*b + 11. Suppose -4*o + f = -17, -o = 4*f + 28 - b. Solve o = -0*q - q for q.
-3
Suppose 0 = -3*t - 6 - 0. Let q be ((-1 + 3)/t)/(-1). Solve -3*r - 5 = q for r.
-2
Suppose 8 = -3*s + 4*o, -3*o + 2*o = 5*s - 25. Suppose 3*t = -2*c + s*t - 8, 2*t - 19 = 5*c. Let n be (-5)/c + (-1)/(-3). Solve 3*u - n = 2*u for u.
2
Suppose 0 = 9*z - 17 - 19. Solve 1 + z = 5*d for d.
1
Let o(m) = -m**2 + 9*m - 8. Let q be o(7). Let h = 13 - 6. Suppose -h*c = -2*c - 5. Solve -q*u + 5*u = c for u.
-1
Let p(x) = -x**3 - x**2 + 21*x + 10. Let l be p(-5). Solve s - 2*s + l = 0 for s.
5
Let i be ((-42)/35)/(6/(-20)). Solve 0*s - i*s = 20 for s.
-5
Let f be (-7)/21 - 26/(-6). Suppose 0 = l - 4*l + 3*y - 105, y = -f*l - 115. Let n be ((-6)/(-9))/((-4)/l). Solve x = n*x for x.
0
Let g(i) = 12*i - 70. Let k be g(6). Solve k*j - 1 - 7 = 0 for j.
4
Let p(g) = -g**2 - 4*g - 3. Let n be p(-3). Suppose 0 = -n*w - w + 11. Let m(f) = -f**3 - f**2 + f + 5. Let c be m(0). Solve w - 31 = c*u for u.
-4
Suppose 5*j - 5*h + 5 = -0, -3*h = 4*j - 3. Suppose -3*y - t = 4*t - 14, -y + 3*t = 0. Suppose 3*n - r + y = j, 3*n - r + 3 = -n. Solve z + z = n for z.
0
Suppose -4*w - 2*y + 12 = 0, -15 = -0*w - 3*w - 3*y. Let g be (w + 3)*(-1)/(-4). Suppose 3 = n - g. Solve -2 = 3*c - n*c for c.
2
Let b be 2/3 - (-7)/21. Suppose i - b = 1. Solve 7*v - i*v = -10 for v.
-2
Let u be 2/(-10) - (-18)/15. Let k be -2 - u/((-3)/(-6)). Let w be (4 + k)/(2 + -1). Solve 5*z + 0 + 15 = w for z.
-3
Let g be (10 - 6)/(2 - 0). Solve -g = 3*l - 5 for l.
1
Let q = -6 - -9. Solve 4*c = -19 + q for c.
-4
Let x(l) = -5*l**3 + l. Let t be x(1). Let o be 8/5 + t/(-10). Suppose 5*w = -5*k + 10, -3*k = -5*w - 4*k + o. Solve 5*p = -w*p for p.
0
Let t(q) = 2*q**2 - q - 3. Let i be t(2). Suppose -32 = 3*s - s. Let z = -10 - s. Solve -i*x = -x - z for x.
3
Let p(w) = 11*w**2 - w. Let d be p(-1). Solve 5*c - 2*c - d = 0 for c.
4
Let t = -23 + 23. Solve b - 2*b - 4 = t for b.
-4
Let d be -4*3*(-2)/(-12). Suppose 0*f = -2*f. Let o be d*(1 - 2 - f). Solve o*g + 3 = -1 for g.
-2
Let n = -4 - -7. Suppose n*v = -7 + 22. Solve -v = -7*z + 2*z for z.
1
Suppose -5*w + 22 = -3. Suppose -w = 2*d + 5*m - 4, 0 = 4*d + 5*m - 13. Let l = d + -7. Solve -5 + l = -k for k.
5
Let k(z) = 4*z**3 - z + 1. Let i be k(1). Solve -4*j + 16 + i = 0 for j.
5
Let u(x) = x + 7. Let f be u(-7). Solve -s + 6*s = f for s.
0
Suppose -v - 15 = -5*y, 0 = 2*y + 2*v + 3*v + 21. Solve 2*w - 10 + y = 0 for w.
4
Let m = -22 - -28. Suppose 4*s + 6 = -4*n - 2, -3*s - 12 = -3*n. Solve 5*c - n = -m for c.
-1
Suppose -6 = z - 10. Solve -14 = -z*n - 2 for n.
3
Let j = 1 + 9. Let m(b) = 4*b - 3. Let u be m(2). Solve u*t - 3*t = j for t.
5
Let x be ((-210)/4)/(-1)*2. Let m = x + -163. Let u be m/(-12) + (-1)/(-6). Solve 0 = u*n - n for n.
0
Let n be (-2)/5 + (-16)/10. Let k be (0 + 0)*(n + 1). Solve k = 2*r - 3*r - 5 for r.
-5
Let w(i) = 4*i - 11. Let v be w(6). Suppose -2*k = -5*p + 9, -p - 4 = 2*k - v. Solve k*c - 1 = 4*c for c.
-1
Suppose 0*m = -m. Let x be 12/10 - 2/10. Solve m = -0*f - f + x for f.
1
Suppose 0 = u + 6 - 14. Solve -2*m + u = -0 for m.
4
Let g(i) = -i**2 + 10*i - 3. Let j be g(9). Let p be 2*2/(j/3). Solve p*b - 4 = 4*b for b.
-2
Let n(m) = m**3 + 5*m**2 + 3*m - 3. Suppose -4*c - 4*f = 12, -5*f = -2*c + 3 - 16. Let x be n(c). Solve 3*r - 2*r = -x for r.
-1
Let q be (-18)/(-15)*1*10. Suppose 0 = 4*l - 5*r + 13, 2*l + 19 = 5*r - 0*r. Solve 0 = -3*h - l - q for h.
-5
Let v = 0 - 0. Let r = 3 - v. Suppose -3*f + r = 3*b, b + 3*f + 2*f = -19. Solve -b = -2*c - c for c.
2
Let r(n) = n**3 - 6*n**2 + 7*n - 8. Let y be r(5). Solve -y*f + 6*f = -12 for f.