2
Suppose -3*g = -0*g. Solve g = -x + 4 - 1 for x.
3
Let n(a) = 3*a - 3. Let d be n(3). Let f = d - 6. Solve f = l - 1 - 1 for l.
2
Suppose 2*o - 7 = i, -4*o - 3*i + 5 = -2*i. Solve -o*p + p = 0 for p.
0
Let h(t) = 2*t - 5. Let v be h(6). Let w = v - 5. Let k be (w + 0)/((-2)/(-4)). Solve -a = k*a + 25 for a.
-5
Let g be 4 + -6 + 8 - 3. Solve -8*s = -g*s for s.
0
Suppose -2*s = 3*b + 16, -3*b + 4*s = -5*b - 8. Let o = -1 - b. Solve -7 = -o*w - 32 for w.
-5
Let u(b) = b**3 - 2*b. Suppose -2*s + 0*s = 0. Let p be (s - -3) + 3 + -4. Let v be u(p). Solve 0 = v*w - w - 3 for w.
1
Suppose -x - x + 32 = 0. Suppose x = c + 3*c. Suppose 5*l - c*g - 32 = 0, 5*l - g - 29 = 2*g. Solve 0 = -2*n - 2*n + l for n.
1
Suppose 2*o - u = 2 + 53, -u = 3*o - 95. Let k = o + -10. Solve 0 = 2*r - 6*r + k for r.
5
Let o(z) = -3*z - 3. Let q be o(-2). Suppose 2*x - 21 - 4 = -5*m, 5*m = 3*x. Solve -q*r + 4*r = x for r.
5
Let w(y) = 4*y - 12. Let h be w(6). Solve 4*k = k + h for k.
4
Let v be ((-4)/(-1))/((-7)/(-14)). Solve -v + 5 = -a for a.
3
Let p(b) = 3*b - 4. Let u be p(3). Solve -2 = u*n - 7 for n.
1
Suppose 0*k - 15 = -5*k. Suppose -k*m = -0*m - p - 18, -12 = -4*p. Solve 0 = 4*l - m*l for l.
0
Let k(z) = -6*z**3 - 2*z**2 + 7*z - 4. Let u(g) = -g**3 - g**2 + g. Let x(y) = k(y) - 5*u(y). Let m be x(3). Solve -6 = 4*o - m for o.
-1
Suppose 5*w - 2*c = 22, 0 - 3 = -2*w - 5*c. Solve 0 = -y - w*y - 25 for y.
-5
Let l(q) = q**3 - 7*q**2 + 8*q - 7. Suppose -2*k = -k - 4*x - 2, -5*x - 7 = -2*k. Let y be l(k). Solve -y = w - 4 for w.
-1
Let h(s) = -3*s**2 + 5*s - 8. Let r(v) = 2*v**2 - 6*v + 9. Let x(a) = 3*h(a) + 4*r(a). Let k be x(-10). Solve k*y = -y for y.
0
Let p = 2 - -2. Suppose -3*m - 2*v - 15 = v, 4*v + 20 = 2*m. Solve -p*j - 5 - 3 = m for j.
-2
Let p be (-9)/((-315)/10) - 12/(-7). Solve s = -p*s + 3 for s.
1
Let l(a) = -a**2 - 3*a + 31. Let o be l(4). Solve -o*t = -0*t - 12 for t.
4
Let y(s) = -s**2 + 12*s. Let x be y(12). Suppose 5*b - 16 = -4*r + b, x = r - 5*b + 8. Solve -w = -2*w - r for w.
-2
Let z be ((-40)/100)/((-4)/50). Solve 0 = z*h + 17 - 7 for h.
-2
Let q = 2 - 0. Let b = 8 - q. Suppose -58 = -5*i - 4*z, -4*i + z + 34 = -2*z. Solve -4*g + i = -b*g for g.
-5
Suppose 3*s + 3*d = 33, -d - 10 = d. Solve s - 1 = -3*h for h.
-5
Let s = -4 - -9. Let b(p) = -5*p + 1. Let u be b(-1). Let j be 3/2 - 3/u. Solve 2*g = -s - j for g.
-3
Let y(u) = -u - 7. Let x be y(-12). Suppose 0 = -o + x*o. Solve -5*v = -o*v for v.
0
Let q = -60 + 61. Solve -q = 5*j - 4*j for j.
-1
Suppose 5*c = q + 5, -23 = -5*c - 5*q + 12. Suppose -18 = -c*h - h. Suppose -13 = -h*a + 4*a + 3*x, -4*a - 2*x = -2. Solve 0 = -a*f + 4*f + 4 for f.
-2
Suppose 0 = -g + 2*g - 4. Suppose l - g*l + 4*x = -13, -5*l = -3*x - 18. Solve 2 + l = c for c.
5
Let t(w) = 7*w + 63. Let q be t(-9). Solve 3*y - y = q for y.
0
Let q = 11 + -7. Let f = -4 + q. Let a = f - -3. Solve 0 = 7*n - a*n + 20 for n.
-5
Let y = -28 - -28. Solve -6*t + 11*t + 10 = y for t.
-2
Suppose 3*b + 5*p + 10 = 0, -2*b = -4*p - 14 + 6. Let u be b + 15/3 + 0. Solve 2*q = 3 - u for q.
-1
Suppose 6 = p - 1. Solve 2*r = -1 + p for r.
3
Let k(g) be the third derivative of 1/12*g**4 + 0 - g**2 + 0*g + 1/60*g**5 + 0*g**3. Let j be k(-2). Solve 0 = -3*v + 6 - j for v.
2
Suppose 5*r = 5*j + 40, -r + 5 = -5*j - 3. Suppose 0 = 2*g - 4*g + 3*f + 4, f + r = 4*g. Solve 0*l - 2*l - g = 0 for l.
-1
Let q = -24 - -25. Solve -q - 5 = 2*c for c.
-3
Let h(w) = -w**3 - 5*w**2 + 6*w + 2. Let b be h(-6). Let x be ((-6)/(-18))/(b/60). Solve 3*k - 4 + x = 0 for k.
-2
Let r(v) = -v**2 - 13*v + 4. Suppose -3*j + 2 = 41. Let w be r(j). Solve i - w*i + 9 = 0 for i.
3
Suppose 2*b = -3*b. Suppose 0*l + l = b. Solve 5*k - 7*k = l for k.
0
Suppose 4*l = 8*l. Suppose z + 3 - 8 = l. Solve -2*q + z*q - 9 = 0 for q.
3
Let a be ((-22)/8 + 2)*4. Let o be (a + 1)/((-2)/(-8)). Let l be ((-4)/o)/(1/4). Solve -2*z - 20 = l*z for z.
-5
Let s be (16/10)/((-14)/(-35)). Solve 12 = -s*f - 4 for f.
-4
Let w(z) = z**3 + 6*z**2 + 7*z - 3. Let j be w(-4). Solve 4*n + j + 3 = 0 for n.
-1
Let z be (-58)/18 - 4/(-18). Let a = z + 3. Suppose -3*x - 9 = -3*l, a*l + l = -2*x + 3. Solve 0 = -2*n - n + l for n.
1
Let x(l) = l**3 + 5*l**2 + 4*l - 1. Let f be x(-2). Solve f*a = 4*a + 1 for a.
-1
Suppose 2*y + s = 1, 4*y - s = 3 + 14. Solve 11 = y*k + 2 for k.
3
Suppose 0 = -5*m - 0*m + h + 8, 4*m - h = 6. Solve 0 = -0*y - m*y - 8 for y.
-4
Suppose 0 = -5*b - 25, 4*v + 2*b - 13 + 3 = 0. Suppose 0 = -4*x + z - 34, 0*z = -4*z + 8. Let s = x - -13. Solve s*r = v + 10 for r.
3
Suppose -5*k = -2*k - 6. Suppose -k*p - f + 1 = 0, 6*f = -5*p + 4*f + 5. Solve -s - p*s = -20 for s.
5
Suppose -12 = -2*n - 2*n. Let p = n + -3. Solve -r = 2 - p for r.
-2
Let o be (-6)/(-5)*(-15)/(-6). Solve s = -o + 8 for s.
5
Suppose -8*j + 33 = -7. Solve -a + j = 2 for a.
3
Suppose 0 = 4*a + 1 - 13. Suppose -s + 4 = 2*x, -4*x - s = a*s - 16. Suppose 2*v - 6 = -x. Solve v*k = 7*k - 16 for k.
4
Suppose -3*s = -3*c - 12, 4*c + 2 = 3*s - 9. Solve 0 = -2*z + z - s for z.
-5
Suppose -5*d - 4*t + 9 = -18, d = 4*t - 9. Suppose -14 = -4*j - 2*v, 0*j + 3*j - 2*v = 28. Solve 0 = -3*k + j - d for k.
1
Let r = -4 - -6. Let p = 3 - 3. Suppose -7*q = -11*q. Solve -r*l + p*l + 2 = q for l.
1
Suppose -5*q + 3*f = -3, 0*q = -2*q + 3*f + 3. Solve -3*r = -q*r + 6 for r.
-2
Let l(f) = -f**2 - 4*f + 6. Let r be l(4). Let o be 123/39 - (-4)/r. Solve -w + o = -0 for w.
3
Let v be 4*((-1 - -2) + 0). Solve -v*p = -8*p for p.
0
Let a be 27/(-3)*4/(-6). Suppose -a*v + 3*v + 5*h = 14, -v + 4*h - 14 = 0. Let t be 2/(2 - 6)*-6. Solve k = -t + v for k.
-1
Suppose 5*c + 45 = 7*g - 2*g, 3*c + 3 = -3*g. Solve -5*l - 6 = g for l.
-2
Let t(k) = k - 13. Let i(d) = -d + 14. Let z(r) = -3*i(r) - 4*t(r). Let j be -28*(1 - 20/16). Let s be z(j). Solve 4*o - 2 = s*o for o.
2
Let m be 2*(2 + 3/6). Solve -m*b - 10 - 10 = 0 for b.
-4
Suppose 2*l + 5*g = 29, -21 = -l - 2*g - 9. Suppose l*p = 6*p - 8. Let i(t) = -t**3 - 6*t**2 - 3*t - 6. Let w be i(-6). Solve -2*z = p - w for z.
5
Let n(b) = b**3 - 2*b**2 + 3*b - 5. Let w be n(2). Let m(o) = -o**3 - 3*o**2 + 3*o + 4. Let t be m(-4). Let h be ((-3)/2)/((-6)/t). Solve 7 - w = h*q for q.
3
Suppose 0 = 3*q - 5*l + 16, 0*l + 6 = 3*l. Let t = q + 5. Let x be 1/(t - 2)*8. Solve -y = -5*y - x for y.
-2
Suppose -5*w + 35 = -5*d, -d + 5 = -5*w + 28. Let m be w/(-28) + 2/14. Solve -2*t - 10 + 2 = m for t.
-4
Let o(i) = i**2 - 4*i - 7. Let c be 46/14 - 6/21. Suppose y + c = -2*v, -2*y + 46 = y - 5*v. Let t be o(y). Solve -5*l - t - 6 = 0 for l.
-4
Let q(c) = -c**2 + 5*c + 7. Let i be q(6). Suppose -v + i = -2. Solve 1 = -v*t - 8 for t.
-3
Suppose -11 = -3*i - o, -1 = -i - 5*o + 12. Suppose -i*t + 4 = -p, 2*t + 2*p - 5*p = 12. Solve -2 = 2*l - t for l.
-1
Suppose 2*w = 3*m - 73, 3*w = m - 3*m - 129. Let f = -21 - w. Let q(n) = -n**2 + 11*n - 10. Let o be q(10). Solve -5*u = f - o for u.
-4
Let o(l) = -l - 4. Let t be o(-6). Suppose -m = t*m. Solve 0 = 3*c - m*c + 15 for c.
-5
Let c(l) = l - 3. Let j be c(5). Suppose 8 + j = y. Solve -2*v = 2 - y for v.
4
Let o(z) = -z - 5 + 4 - 6. Let g be o(-9). Solve -2*l - g + 0 = 0 for l.
-1
Let y(h) = 3*h + 27. Let a be y(-8). Solve a*o = 7 - 1 for o.
2
Let r(f) = f - 1. Let q be r(3). Solve q*h = h for h.
0
Suppose 2*f + 0*j - 292 = -4*j, j = 3*f - 417. Let t be f/12 - (-3)/9. Suppose 0 + t = 4*x, -2*w + 3 = x. Solve -g - 2 = -w*g for g.
-2
Let j = 3 - 2. Suppose 0*v = -3*v + 2*d - 15, 0 = -5*v + 4*d - 25. Let u be (-13)/v - (-2)/5. Solve -u = -f + j for f.
4
Suppose -8*a = -4*a - 4. Solve c + 2 = -a for c.
-3
Let u(v) = -v**3 - 2*v**2 + 2*v - 3. Let w be u(-3). Solve w = 6*q - 2*q - 8 for q.
2
Let a = -10 - -16. Let h be 4/2*9/a. Solve -h = -5*r + 12 for r.
3
Let d be ((-10)/(-5))/(-3 - -1)*-3. Solve -d*c + 4 + 5 = 0 for c.
3
Let a be (5/2)/((-1)/(-2)). Suppose t = a*t. Solve t = -3*q + 5 + 4 for q.
3
Let p(g) = g**2 - 16*g + 37. Let f be p(14). Solve 0 = -5*m + 2*m + f for m.
3
Let y = 0 - 9. Let l = y - -10. Solve -2*k - l = 5 for k.
-3
Let j(z) = z - 11. Let c(d) = 3*d - 32. Let v(n) = 4*c(n) - 11*j(n). Let o be v(11). Solve y = o*y for y.
0
Let o(m) be the first derivative of -m**3/3 - 6*m**2 - 2*m + 5. Let h be o(-9). Solve 4*w = -w - h for w.
-5
Let i(q) = -5*q - 7*q + 0*q + 15*q + 3. Le