c - 6*c for c.
4
Let i(n) = n**3 + 10*n**2 - 12*n - 8. Let k be i(-11). Solve 0*o - k = -o for o.
3
Let k = 34 - 27. Solve 2*u - k = 3 for u.
5
Suppose 0 = -3*v - 3*g - 3, 0 = -5*g - 15 - 0. Solve 0*p + v*p = -6 for p.
-3
Suppose -4*q - 155 = -9*q. Let i = 1 + q. Solve 5*m + i = 12 for m.
-4
Suppose -3*i + 4*k + 10 = 5*k, 0 = 2*k - 2. Let d(v) = -v**2 + 10*v + 1. Let r be d(9). Solve i*t = t + r for t.
5
Let b(o) = -o**2 - 7*o - 7. Let c be b(-9). Let i = c + 35. Solve -3*l - 5 - i = 0 for l.
-5
Let n be -1 + 2/(2 - 1). Solve -19 = -5*m + n for m.
4
Let m = -1 + 3. Solve 0 = -2*c - m*c for c.
0
Suppose -26 + 6 = -5*v. Suppose 0 = -x - 0*x + v. Let s(r) = r - 5. Let p be s(6). Solve -5*k = -x - p for k.
1
Suppose 3*u + 10 - 28 = 0. Let d(g) = -g**3 + 5*g**2 + 7*g - 2. Let q be d(u). Solve -19 + 3 = -q*l for l.
4
Let j be (1 - 3) + 2 - -3. Solve -j*c - 2 = 10 for c.
-4
Let p = 35 + -24. Solve -3*c - 1 = p for c.
-4
Let z(y) = 16*y**2 + y. Let t be z(1). Let g = t - 8. Solve -4*d = -7 - g for d.
4
Let o(y) = -y**2 + 20*y - 13. Let b be o(19). Solve -g = -b*g - 15 for g.
-3
Let h be 58/12 + 2/12. Suppose -5*l - 4*u = -14, -5*l + 2*u + 3*u = -h. Solve -10 + 4 = -l*c for c.
3
Let l = -5 - -17. Suppose -2*h - 6 = -5*h. Let z(q) = 5*q**2 + q. Let y be z(-1). Solve -h*n - y = -l for n.
4
Let l = 28 + -17. Solve -l*c + 6*c + 10 = 0 for c.
2
Let a(n) = n**3 - 4*n**2 + 4*n - 1. Let v be a(3). Solve v = 3*u + 8 for u.
-2
Let g(b) = -b**3 + b**2 + 2*b + 4. Let j be g(0). Solve -j*x + 20 = -0 for x.
5
Let t be (8/6)/(-2)*-27. Suppose g + g - t = -4*u, -2*u = -5*g + 9. Suppose -g*r = -5*c + 13, 2*r + 8 = 5*c + 4*r. Solve -c*f = 2*f - 8 for f.
2
Suppose 0 = c - 5, 4*h - c - 4*c + 17 = 0. Let f = 3 - h. Solve 3*y + f - 4 = 0 for y.
1
Suppose 0 = -2*i - 0 - 16. Let y(w) be the first derivative of w**4/4 + 3*w**3 + 9*w**2/2 + 8*w - 1. Let u be y(i). Solve 2*p - 5*p + 9 = u for p.
3
Let l = 1 - 3. Let f be (l - -1)/((-2)/4). Solve 0*u + 2 = f*u for u.
1
Let g(a) be the second derivative of -a**4/12 + 2*a**3/3 - a**2 - a. Let c be g(2). Solve c*b - 3 = b for b.
3
Let t be (-5)/((-15)/(-6))*-2. Solve 0 = 3*u - t*u for u.
0
Let r(p) = -p + 4. Let t be 2/(-3)*-3 - -2. Let c be r(t). Suppose -2*l = -6, -d + 5*l = d + 15. Solve -4*m + d - 12 = c for m.
-3
Let s(d) = -d**3 + 3*d**2 + 12*d - 5. Let p be s(5). Suppose 7*v = 4*h + 4*v, p*v = 4*h. Solve 2*q + 1 - 5 = h for q.
2
Let j = 4 + 5. Let m = 12 - j. Solve 4 = m*q - q for q.
2
Let l(k) = 6 + 4*k + 0*k - 5*k. Let n be l(3). Let h(i) = -3*i + 17. Let t be h(5). Solve -u = -n*u + t for u.
1
Let c(b) = b**3 - 7*b**2 + b - 6. Let n be c(7). Suppose -4*y - n = -13. Solve -j + y = -1 for j.
4
Let m be -6*2/4*2. Suppose 0 = 5*p + 17 + 13. Let o = m - p. Solve -5*q = -o*q + 15 for q.
-3
Let l = -1 - -6. Let k = l + -1. Let y = k + -2. Solve y*f - 9 = -1 for f.
4
Suppose -5 + 17 = k. Solve 0 = 4*h + k - 4 for h.
-2
Suppose 5*h - 3 = 2*h + 3*r, 5*h - 4*r = 9. Suppose 0 = -h*d + d + 24. Solve 3*p = d + 6 for p.
4
Suppose -l + 5*c - c = -19, 0 = -2*c - 8. Solve 4*b - b - l = 0 for b.
1
Suppose -2*x + 11 = 5. Solve -5*m = -x*m - 6 for m.
3
Suppose c = 4*c. Solve o + 3 = -c for o.
-3
Suppose 1 - 5 = -4*f + 2*c, 4*f = -4*c - 8. Solve -3*q + 8*q + 25 = f for q.
-5
Suppose -12 = -5*g + 4*k - 0*k, -3*k - 9 = 2*g. Solve 0 = l + 3 - g for l.
-3
Let p = -42 - -51. Solve -2*l - l = p for l.
-3
Let h be (1 + -2)/(3/(-3)). Let m be (-5*h)/(-6 + 5). Solve 24 = -m*d + 4 for d.
-4
Let q be 1/(-5 + 3)*0. Suppose -3 + q = -b. Solve 0 = -0*m + m - b for m.
3
Suppose -5*v = -5*h, -5*h + 15 = -3*v + v. Let y = -4 - -6. Solve -y*m = -h*m + 6 for m.
2
Let h = 2 - -2. Suppose k - 2*k - 11 = -h*i, 4*k + 2*i - 10 = 0. Solve j = -2 - k for j.
-3
Suppose -2 = -3*d - 4*o + 23, 5*d + 4*o - 31 = 0. Suppose 3*r = -2*y + 20 - 4, 0 = 5*r - 5*y - 10. Solve r*s + d + 13 = 0 for s.
-4
Let w = 52 - 22. Suppose 3*x - 2*y - w = -12, 0 = -4*x - 5*y + 24. Solve 0 = z - x*z for z.
0
Suppose 3*x - 9 = 3*v - 7*v, -5*x - 2 = v. Let a(y) = y**2 - 7*y + 4. Let k be a(5). Let c = x - k. Solve -3 = -c*r - 18 for r.
-3
Let f(t) = -t**3 - 3*t**2 + 9*t - 3. Let p be f(-5). Solve 4*h - 10 = p for h.
3
Let x = -6 - -7. Suppose 10 = 3*u + x. Solve -15 = 4*r - u for r.
-3
Let p(i) = i**2. Let s be p(2). Suppose 3*f - f - s = 0. Let b = 7 - 3. Solve 10 = -f*k + b for k.
-3
Suppose 7*s - 5 = 2*s. Solve -3 = -l - s for l.
2
Let w be 3/(2/8 - 1). Suppose -x = -2*x + 5*z - 4, 3*x + z + 44 = 0. Let f be ((-6)/w)/((-7)/x). Solve 0 = -f*y - y + 4 for y.
1
Let s be -1 - (-1 - (1 + 1)). Suppose 3*f = s*f + 9. Solve d - 4*d = f for d.
-3
Let d = 11 + -5. Let n = d - 4. Let l be (-1 + n)/((-2)/(-4)). Solve l*y - 16 = -2*y for y.
4
Suppose j + 4*j = 0. Suppose 3*y = 3 + 3. Solve 2*t - y + 0 = j for t.
1
Let c = -13 - -18. Solve 3*g + c + 1 = 0 for g.
-2
Suppose 5*p + v = 19 + 21, 24 = 3*p + v. Let u(m) = -m**2 + 9*m - 7. Let b be u(p). Solve n - 2*n = b for n.
-1
Let y(q) = 4*q + 2. Let c be y(7). Let z be c/3 + 2 + 0. Solve -h = 2*h + z for h.
-4
Let i(f) = -2*f - 10. Let v be i(-6). Solve 3 = 5*o - v for o.
1
Suppose -2*o - 56 = -6*o. Solve o = 3*f - 1 for f.
5
Let w = -20 - -11. Let p = w - -11. Suppose -p*f - 24 = -3*t + 22, 50 = 5*t + 2*f. Solve -5*h = t + 3 for h.
-3
Suppose -4*v + 8*v = 32. Let l = v + -8. Solve l = -3*u - u + 12 for u.
3
Suppose 168 = -0*a + 4*a. Suppose -4*m + 2*k + a = 0, -2*m + 0*k + 2*k = -26. Suppose 2*h = -2*x + m, 0 = -h - 4*x + 5 + 8. Solve z = -4 - h for z.
-5
Let y(l) be the first derivative of -l**3/3 + 3*l**2/2 + 10*l + 10. Let x be y(5). Solve p = 3 - x for p.
3
Suppose 5*q + 4*n = -1, 11 + 0 = q - 2*n. Suppose d + q*l + 0 = -5, -3*l = 4*d + 11. Let f be (-10)/(-15)*(-75)/d. Solve f = 2*c + 3*c for c.
5
Suppose 1 = l, d - 64 = 5*d - 4*l. Let p = -11 - d. Let i = 4 - p. Solve i*t - 4 = 2*t for t.
-2
Let u(c) = 2*c**3 - 3 - 3*c**3 + 3*c + 2 + c + 2*c**2. Let j be u(3). Solve x + j - 5 = 0 for x.
3
Let v = -95 - -102. Solve v*n + 20 = 2*n for n.
-4
Let i(k) be the second derivative of k**3/6 - 5*k**2/2 + 4*k. Let g be i(9). Solve g*t - 5 = -t for t.
1
Let t = 21 - 11. Let p be (8/10)/(4/t). Solve 0 = -r - 1 - p for r.
-3
Let s = -57 + 60. Solve -s*x + 8*x = -15 for x.
-3
Let n = 7 - 3. Let o be n/22 + (-546)/(-22). Solve o = 3*u + 2*u for u.
5
Let y(z) = z**3 + 6*z**2 + 8*z + 5. Let m be y(-5). Let t = -6 - m. Solve -t = -4*o - 0 for o.
1
Let i be ((-15)/6)/((-4)/8). Solve 2*y - i = -1 for y.
2
Suppose 0 = 4*a - 17 - 31. Solve -a = k - 4*k for k.
4
Suppose b = -2*b + g + 5, -5 = g. Let q be (1 - 2)*b/2. Solve q = h - 1 - 1 for h.
2
Let v be -1*-1*(4 + -1). Let s = 2 + v. Solve -2*t = 3*t - s for t.
1
Let h(q) = -q**3 - 9*q**2 - 9*q - 7. Let a be h(-8). Solve -2*j - a = 9 for j.
-5
Let y(b) = -b**3 - 5*b**2 - 4*b. Let r be y(-4). Suppose -5*z = 3*m + 1, -10*z - 7 = m - 5*z. Solve -m*p - 2*p = r for p.
0
Suppose 0*p + p + 4*i + 7 = 0, i = 3*p - 5. Solve 3*y - 4*y + p = 0 for y.
1
Suppose -2*k + 24 = 4*v + 4, 3*v + 2*k = 15. Suppose 2*j + 15 = -v*u, -4*u + 9*u = -j - 20. Suppose -j*m = -m - 60. Solve -4*c = -c + m for c.
-5
Suppose 4*x + 2 = -6. Suppose -4*u = -0*u. Let b be u*(x/(-2) - 0). Solve b*s = s + 1 for s.
-1
Let j be 6/(-1 + 3) - 3 - -3. Solve 0 = -5*k + j*k + 4 for k.
2
Let z be -4 + 5 + 2/2. Suppose 0 = 3*n - 5*k + 10, z*n = -8*k + 3*k + 35. Solve 3*v + n - 8 = 0 for v.
1
Let f = 25 - 15. Suppose -4*a + 6 = -f. Solve 2 = a*y - 6 for y.
2
Suppose 2*s + 20 = -4*k, s - 5 - 10 = 3*k. Suppose -2*w + 4*p + 24 = s, w = -3*w - 5*p - 17. Solve w*z - 5 = 1 for z.
3
Suppose 0 = 3*y - y - 6. Solve -y*p = -p for p.
0
Let u = 13 + -10. Let q be 5 + (u - (-3)/(-1)). Solve -q*r - 12 = -2*r for r.
-4
Let k = 5 - 11. Let m(q) = -q - 2. Let x be m(k). Solve -y + 0 = -x for y.
4
Let u(c) = -c**3 + 5*c**2 + 8*c - 7. Let m be u(6). Suppose v + v + f = 11, m*v = -5*f + 35. Solve -v*a = a - 15 for a.
3
Suppose 4*m + 4*t - 24 = 0, -3 = -3*t + 3. Let n be 1/(0 + 2/m). Suppose 3*y - 40 = -n*y. Solve 3*f - y = 7 for f.
5
Let w(b) = -b + 14. Let s be w(12). Suppose -4*f + 13 = -2*f + c, 33 = s*f + 5*c. Solve -f + 19 = -5*x for x.
-3
Let p be 3/(-7) - (-3)/7. Solve 2*u + 10 = -p*u for u.
-5
Let m be 735/7*(-2)/(-6). Solve -m = 4*h - 15 for h.
-5
Suppose -3 = 3*y, 0 = -2*d - 2*y 