 12 for i.
3
Suppose 0*v = 5*v. Solve v = 4*g - 7 - 1 for g.
2
Suppose 5*w + 12 = -4*b - 8, 16 = -3*b - 4*w. Solve 5*l + 3 - 13 = b for l.
2
Let b = 35 - 24. Suppose 5*x - 30 = 2*k - 4*k, 4*x - b = k. Solve -u - 5 = -x for u.
-1
Suppose -12 = -f - 2*f. Suppose -3*w = -w - f. Solve -2*m - w*m = 8 for m.
-2
Let x be -1*(-1 - (3 - 3)/1). Solve -4*d - x - 11 = 0 for d.
-3
Let j = 12 - 12. Solve j = -0*y + 2*y + 2 for y.
-1
Suppose 5*i - 11 = 4. Let w be (-1)/i + 10/3. Solve -w*x + 15 = -0*x for x.
5
Let v(u) = -u**2 - 3*u + 3. Let c be v(-3). Suppose -c*g + 44 = -4*d, -g - 2*g + 5*d = -49. Solve 0 = 5*f - f - g for f.
2
Let v = -47 - -52. Solve v*x + 0*x = -5 for x.
-1
Suppose 0*i + 3*i = 0. Suppose -3*t - 5*j = -277, i*j - 2*j = 5*t - 430. Suppose -f - 2*f - t = -5*p, -5*p + 69 = 2*f. Solve -5*v - p = 10 for v.
-5
Let q = 12 + -20. Let s be (18/q)/((-12)/(-32)). Let d be (s/5)/((-9)/30). Solve v - d*v = 15 for v.
-5
Suppose y - 5*p - 2 = 5, 0 = y - 2*p - 4. Solve -y*a - a = 12 for a.
-4
Suppose -2*i - c + 13 = 3*i, -2*i + 4*c = -14. Solve -i*r = -4*r - 5 for r.
-5
Let y(z) be the third derivative of -z**4/24 + z**3/3 - z**2. Let j be y(0). Let t be -1*(-1)/((-4)/(-4)). Solve -j*n - t = -3 for n.
1
Suppose -8 + 3 = -p. Let z be (-2)/(-6) + 2/3. Let b = p - z. Solve b = -q - 0 for q.
-4
Suppose 4*s - 2*i = -6, 0*s + 4*i - 24 = -4*s. Solve s + 5 = 2*g for g.
3
Suppose l + 3*r - 3 = -2*l, 3*l = -r + 11. Solve -4*o + l*o = -5 for o.
-5
Let s(o) = -2*o - 7. Let h be 3 + -11 + 3 + -1. Let x be s(h). Solve 4*w - x*w = 0 for w.
0
Let h(d) = 9 - 8*d**2 - 2*d + 4*d + 6*d + d**3 - 2*d. Let s be h(7). Solve -s*f - 4 = 2*f for f.
-1
Let i(n) = 2*n - 2. Let a be i(3). Suppose g = 2*t + 11, 6*g + t = 5*g - a. Let y be g + (12 - 0 - 0). Solve -5*o = y - 3 for o.
-2
Let f(h) = 2*h**2 + 6*h - 5. Let x be f(-5). Let m be 56/6 + (-5)/x. Solve -3 = 4*a + m for a.
-3
Let k = -3 - -3. Suppose k = 3*s - c, -3*s + 4*c = 2*s + 7. Let a be s + 0 + 0 + 2. Solve a + 1 = -m for m.
-4
Suppose -4*d - 33 = -73. Solve 0 = 8*t - 13*t - d for t.
-2
Suppose 4*t + s - 57 = 38, -57 = -3*t + 4*s. Let i = -23 + t. Solve i*w = w for w.
0
Let t = -4 - -11. Solve -20 = -2*q + t*q for q.
-4
Let q = -17 + 19. Solve 2*a + q = -0 for a.
-1
Let c(r) = 7*r**2 + r. Let v be (-1 - 0) + 1 + -1. Let x be c(v). Solve -3*b + b = x for b.
-3
Let z(m) be the third derivative of m**4/12 + 2*m**2. Let f be z(2). Solve 5*j - 11 = f for j.
3
Let n(t) be the second derivative of -t**3/6 - 5*t**2/2 - 3*t. Let l be n(-5). Suppose 2*c = -3*j - l*c + 56, -4*j + 90 = -5*c. Solve 0 = -7*x + 2*x + j for x.
4
Suppose -8*k + 105 = -k. Solve -k = -4*z - 7 for z.
2
Suppose 0 = 3*z + 12. Let f be (-1)/(-1) + z/(-2). Solve -f = 3*m + 6 for m.
-3
Suppose -9*v - 8 = -4*a - 5*v, -4*v = -3*a + 1. Solve -3 = -z - a for z.
-4
Suppose -k = h - 5, 3*k + 3*h + 15 = 6*h. Solve 0 = -k*v + 5*v + 10 for v.
-2
Let r = -1 + 0. Let g = 0 - r. Solve 0*n = -n + g for n.
1
Suppose -4*r - 1 = 5*d - 11, 4*d + 3*r = 9. Solve 0 + d = -3*b for b.
-2
Let o = 79 - 75. Solve -o*s = 14 + 2 for s.
-4
Let m(p) = p**3 - 8*p**2 + 8*p - 9. Let d be m(7). Let v = 2 - d. Solve -2*s + v = 2*s for s.
1
Let r = 22 - 34. Let x be (3 - r/(-4)) + 2. Solve -x*u + 4 = -4 for u.
4
Let x = -4 + 37. Let h be 6/x + 40/22. Solve m + h*m = -3 for m.
-1
Let m be 1/3*9/3. Suppose 2*b = -2*p + 28, -p + 2*b = -0*b + m. Solve 2*h = -h + p for h.
3
Let j be (35/28)/((-1)/(-4)). Suppose -2*k + 20 = -4*u, 27 - 2 = -3*k - j*u. Suppose k*q - 4*q = 0. Solve -p + 5*p + 20 = q for p.
-5
Let t(l) = l**3 + 4*l**2 - 6*l - 3. Let r be t(-4). Suppose -2*j = -3*u + 5, -5*u - 4 + r = j. Solve -6 = 4*w - j*w for w.
-3
Let t(w) = 11*w**3 - 2*w - 1. Let d be t(-1). Let x = -6 - d. Solve -n = x*n - 25 for n.
5
Suppose 0*i - 4*l = i - 13, 14 = 5*i + 3*l. Solve -i - 3 = -4*k for k.
1
Let m(q) = 2*q**2. Suppose 5*g - 16 = 4*k, 2*g + 0*g - 5 = 3*k. Let x be m(k). Let h(p) = p**2 + 3*p - 34. Let w be h(-8). Solve x = -4*a - w for a.
-2
Let v = -34 - -36. Solve 17 = 5*g + v for g.
3
Let r be 348/5 + (-9)/15. Suppose -4*q + 83 = -b, b = 3*q - 2*b - r. Let u = q + -10. Solve 4*h + u = -h for h.
-2
Suppose 3*q + 28 = 7*q - 2*x, -36 = -5*q + 3*x. Let z be q - 0/(3/(-3)). Suppose -2*s + 5*s - 12 = 0. Solve z = -m + s*m for m.
2
Let v be (6/45)/(1/3)*10. Solve 0 = -v*y + 3 - 15 for y.
-3
Let l = 2 - -1. Let p = -14 - -19. Solve l = p*q - 2*q for q.
1
Let s(o) = o**2 + 8*o + 6. Let a be s(-5). Let d be a/6*-2 - 1. Suppose d*k - 30 = -k. Solve -3*v - 4 = -k for v.
2
Suppose -165*f = -159*f - 24. Let z(l) = -l + 6. Let r be z(5). Let u be (-3)/6*(r + -1). Solve u = w - f*w + 9 for w.
3
Suppose 1 = -m + 11. Let t(d) = d - 12. Let g be t(m). Let y be g/(-5)*(12 - -3). Solve -5*j + 1 = y for j.
-1
Suppose -n = 3*x - 3*n - 14, 5*x - 3*n = 23. Suppose -x*p = -0*a - 2*a + 20, a = p + 9. Solve -l + 3*l + a = 0 for l.
-4
Let q = -2 - -7. Suppose 3*u + 0*v = v + 47, 5*u = q*v + 95. Suppose -f + 2*r + 8 = 0, 3*f = 2*f + 5*r + u. Solve -3*c + c = -f for c.
2
Suppose -94 = 4*b - 274. Suppose -4*p = p - b. Solve 0*o = -3*o - p for o.
-3
Suppose 2*l + 2*l = -40. Let m be ((-8)/5)/(4/l). Solve 5*d - m = d for d.
1
Let x be 891/(-39) + 2/(-13). Let s = x + 26. Solve s*g - 7*g - 20 = 0 for g.
-5
Suppose 0*p + p - 3 = 0. Let n be (-17)/(-4) - p/12. Suppose 0 = -n*o + 3*x + 7, -x - 13 = -4*o - 0*x. Solve -o*i = -0*i for i.
0
Suppose -3*o + 6 + 9 = -2*p, 0 = 5*p - 3*o + 24. Let d be 0/(2 + p - 1). Solve d = 2*v - v - 1 for v.
1
Suppose -2*l + 3 = -39. Suppose -d - l = -2*d. Suppose 0 = 3*u - d - 9. Solve 0 = -0*h - 5*h + u for h.
2
Let h(u) = 3*u**2 - 1. Let q be h(-1). Solve 0 = 4*a + 18 + q for a.
-5
Let s(x) = 4 + x**3 - 3*x**3 + 5*x**2 + 3*x**3 + 4*x. Let z be s(-3). Suppose k - z = -4*b + 12, -2 = k. Solve 0 = 4*f + b + 6 for f.
-3
Let i(b) = -3*b. Let l be i(-1). Let g(p) = p**2 - p - 4. Let o be g(l). Solve 0 = k - o + 6 for k.
-4
Suppose -14 = 3*s - 32. Solve -4*j = -s*j + 10 for j.
5
Suppose 0 = 2*u - 4*u + 78. Let q = -4 + 23. Let r = u - q. Solve 2*t - r = -3*t for t.
4
Suppose -21 = -3*z - 15. Solve z*d = -3*d for d.
0
Let c(b) be the first derivative of b**3/3 + 6*b**2 + 3*b + 1. Let y(m) = 3*m + 12. Let v be y(-8). Let o be c(v). Solve -o = 2*t + t for t.
-1
Let r(a) = a + 2. Let d(i) = i**3 + 8*i**2 + 7*i + 2. Let u be d(-7). Suppose 10 = 5*p, u = w + 3*p - 2*p. Let s be r(w). Solve s*n - 5*n = 12 for n.
-4
Suppose 7 = -3*i - 3*v + 22, -15 = -3*i - 4*v. Let b = i + 0. Solve p - b = -0 for p.
5
Let j = 18 + -15. Solve j*s - 2 = 4*s for s.
-2
Let q(t) = t**2. Let p(g) = 2*g**3 + 7*g**2 + g + 1. Let w(k) = -p(k) + 6*q(k). Let y(d) = -d - 7. Let u be y(-6). Let s be w(u). Solve s + 3 = -o for o.
-4
Suppose -4*o + 3*o + 5 = 0. Suppose 6*h = 3*x + 3*h - 90, -o*x - 4*h = -177. Let a be x/12 - (-1)/4. Solve a*u + 7 = 1 for u.
-2
Suppose 0 = n + 2*n - 5*f + 6, 4*n - 3*f = -19. Let u = 11 + n. Solve 5*t = u*t - 5 for t.
-5
Let v = 33 + -30. Solve p + 1 = -v for p.
-4
Let i(w) = 3*w**2 - 1. Let s(l) = l**3 - 6*l**2 + 1. Let g be s(6). Let r be i(g). Solve -4 = r*z - 4*z for z.
2
Suppose 28 = 4*a + 4*h, -2*h = 2*a + 3*a - 20. Solve 0 = -q + 3 - a for q.
1
Let b be (1 + -3)*(-3)/3. Suppose p - 2 = -1. Suppose -3*n + 8 = -p. Solve -5*g + n + b = 0 for g.
1
Let q be (2*-3 - 3)/1. Let y(h) = h**2 + 8*h - 7. Let d be y(q). Suppose -5 = 4*c - 5*x, -3*c = -4*c + d*x - 5. Solve -5 = -c*l - 0*l for l.
1
Suppose g - 4*s + 8 - 2 = 0, 3*g + 5*s - 50 = 0. Solve 15*t - g*t = 0 for t.
0
Let u(b) = b**2 - b + 20. Let v be u(0). Let f be -6*(v/12)/(-5). Solve f*m = 2 + 4 for m.
3
Suppose 0 = 6*s + 2*s. Solve s*o = o + 5 for o.
-5
Let q(k) = k**3 + 4*k**2 - 4*k + 3. Let f be q(-5). Let z be f + 3 - 0 - -3. Solve 0*t = t - z for t.
4
Let t(f) = -f - 3. Let x be t(-3). Suppose x*n = n - 4. Solve -n*v - 4 = -0 for v.
-1
Let k be (-8 - -6)/((-2)/(-12)). Let c = 4 + k. Let p be (-20)/c*8/10. Solve 0 = -3*q + p*q + 1 for q.
1
Suppose 3*c = 7*c - 80. Let q be 4/6 - c/(-6). Solve -q*f - f + 10 = 0 for f.
2
Let i = -29 + 30. Solve -4*g = -9 + i for g.
2
Let d(a) = a + 3. Let o be d(0). Solve 0 = -4*h - o - 13 for h.
-4
Suppose -1 + 7 = t. Suppose 2*s - t*s = 0. Solve s = 2*o - 2 - 2 for o.
2
Suppose 31 = -6*o + 73. Solve -2*g + 5 = -o*g for g.
-1