ve -2 = -0*z + a*z for z.
-1
Let v be ((-5)/(-3))/(2/6). Let r be (3 - (1 + 1))*v. Solve 2 + 3 = -r*n for n.
-1
Let m(s) = s + 2. Let y be m(1). Suppose -y*c = -7*c + 8. Solve 0 = -n - n + c for n.
1
Let y = 15 - 7. Let i = -5 + y. Solve 5*b = -i - 2 for b.
-1
Suppose -8*s = -3*s + 5*a - 20, 4 = a. Suppose 6*g - g - 40 = 0. Suppose 0 = -3*c + 4*c - g. Solve 0*z - 4*z - c = s for z.
-2
Suppose -2*b = 5*k - 14, -k + 3*k = -2*b + 8. Suppose z + 7 = 4*u, k*u + 1 = z + 2. Solve 9 = -0*x - u*x for x.
-3
Let u(i) be the first derivative of -2/3*i**3 - 1/4*i**4 + 0*i + 1 + 0*i**2. Let b be u(-2). Solve b*j = -j + 5 for j.
5
Let y be 0/(4/2 + -3). Solve y = 2*b - 4 - 6 for b.
5
Let h(w) = -w**3 + 6*w**2 - w + 8. Suppose 0*p - 2*p = -12. Let j be h(p). Suppose 5*k = 3*d + 15, 2*k + 2*d - 19 - 3 = 0. Solve 2*v + j = -k for v.
-4
Suppose -2*z + 3*c = -7, 2*z - 1 = c - 4*c. Solve -z*i - 15 = 3*i for i.
-3
Let r = 1 + 0. Suppose 0*c + r = c. Solve t + 2 - c = 0 for t.
-1
Suppose 4*f - 13 = -a - 1, 65 = 4*a - f. Let d = 9 - 4. Solve -v + a = -d*v for v.
-4
Let w(r) = 4*r - 8. Let u be w(2). Solve d + 5 = -u*d for d.
-5
Let v be 8/16 - 1/2. Solve v = -8*o + 3*o + 10 for o.
2
Suppose -3*h = 0, 0*q - 4*h = -3*q. Solve q = -i + 3*i - 4 for i.
2
Let z = 6 - 6. Suppose 0*s - r + 7 = s, -5*s + 5*r + 15 = z. Solve 4 - 9 = s*w for w.
-1
Let m be 7 - (-1 + -2)/(-3). Suppose c - m = -c. Solve d - c = -0 for d.
3
Let g = -1 - 2. Let l(v) = -v**3 - 2*v**2 + 2*v - 1. Let b be l(g). Solve 4 = -b*k + k for k.
-4
Let q be -3 + 6 + 8 + -6. Solve q*w - 5 = -30 for w.
-5
Let k be 72/(-90)*15/(-2). Solve f + f = k for f.
3
Let u(n) = n - 5. Let x be u(5). Suppose -2*l - v = -6 - 4, x = -5*v. Solve -a = -0 + l for a.
-5
Let h = 49 - 47. Let b be (-67)/(-4) + (-5)/(-20). Let f be b + 0 - 6/3. Solve -h*c = c + f for c.
-5
Suppose -7*k - 15 = -10*k. Solve k*o = o - 16 for o.
-4
Suppose -a + 2*f = -1, 4 = 4*a - 3*a + f. Suppose a*r = r + 4. Solve -b + 3 = -r*b for b.
-3
Let q = 46 + -27. Suppose 0 = -2*o - q + 59. Solve -4*y - o = -0*y for y.
-5
Let s(f) = f**2 - 6*f + 13. Let m be s(4). Solve 3 = 2*q - m for q.
4
Let i(c) = -c**3 + c**2 + 1. Let t be i(1). Let m be 5 + (t + 0)/(-1). Let f be (-2)/m*(5 + -5). Solve -l = -f*l - 2 for l.
2
Let c(i) = 2*i - 1. Let k be c(3). Solve -4 = k*t + 6 for t.
-2
Suppose m = 3*m - 10. Suppose z + f + 2 = 4*z, 4*z = m*f + 10. Solve z = -4*k + 3 + 13 for k.
4
Let t be -4*(2/(-4))/(-1). Let d = t + 5. Solve 3 = d*h - 0*h for h.
1
Let j = -57 + 63. Solve -4 = j*u - 2*u for u.
-1
Suppose 3*v = 2*v + 5. Suppose 25 = -v*w, 4*c + 3*w = -4 - 3. Solve -3 = -c*h + 3 for h.
3
Let t = 10 - 6. Suppose t*w - 16 = -4. Suppose -3*h + 0 = -w. Solve -3 = -2*p - h for p.
1
Suppose 4*r + 2*v = 2, 0 = -r - 3*v - 2. Solve a + r = -0 for a.
-1
Suppose -4*d = -i - 5, 0*i + 5*d = -2*i + 16. Solve 0 = -i*h + 2 - 14 for h.
-4
Let d be (-1 - -5)*9/((-54)/(-6)). Solve 0 = 4*x + d + 12 for x.
-4
Suppose 2*h + 2*h - 28 = 0. Suppose 3*g - h*a - 37 = -2*a, -4*a = g + 16. Solve -25 = x + g*x for x.
-5
Let a(b) = b**2 - 12*b + 8. Let y be a(12). Solve -2*n + 2 = y for n.
-3
Let s be 0 - (-3)/((-6)/(-4)). Suppose u = -s*u. Solve 4*g + 4 = -u for g.
-1
Let n(b) = b**2 - 2*b - 2. Let c be -1*(1 + -6 + 1). Let s be n(c). Solve s*v = 3*v - 12 for v.
-4
Let w be (-5)/(10/4) + 13. Let t be (-490)/28*(-8)/10. Solve -w - t = 5*i for i.
-5
Let y = -6 + 4. Let v = y + 6. Solve 13 = v*o - 3 for o.
4
Let w(j) = -j - 3. Let h be w(-7). Suppose 2 = h*c - 6. Let n be (-1 + c)/((-3)/(-9)). Solve -4*q = -q + n for q.
-1
Let o = -5 - -10. Suppose -5 = n - 10. Suppose 5*a = n + 15. Solve o*i - i - a = 0 for i.
1
Suppose 0*r + 5*r = -3*x + 2, 2*r - x = 3. Let q(j) = 2*j + 16. Let n be q(-6). Solve -n*i + 11 + r = 0 for i.
3
Let r = -4 - 2. Let o = -3 - r. Solve 0*n = -o*n + 6 for n.
2
Let i(s) = -s. Let h be i(-1). Solve h - 26 = -5*r for r.
5
Let p = -9 + 9. Solve p = -2*v - v + 15 for v.
5
Suppose 4*g + i + 0 = 5, -2*i + 2 = 4*g. Let q = -2 + g. Solve 5*t + q*t = -25 for t.
-5
Let r(m) be the first derivative of 7*m**5/60 - m**4/6 + m**3/3 + m**2 + 1. Let s(b) be the second derivative of r(b). Let u be s(2). Solve -u + 2 = 5*d for d.
-4
Let a(s) = -s**3 + 5*s**2 + 6*s + 1. Let b be a(6). Solve 2*j = 9 + b for j.
5
Let j(l) = -l + 3. Let y be j(0). Solve y*c - 7*c = -4 for c.
1
Let m = 17 - 13. Suppose -x = m*x - 15. Solve 5 + 10 = -x*k for k.
-5
Let m(p) = p**3 - 5*p**2 + 6*p - 3. Let l be m(4). Solve 0*d = 5*d - l for d.
1
Suppose 3*g - 4*g = -4*x - 4, 5*g - 2*x - 20 = 0. Suppose -18 = -4*a - 2*m, -a = -2*m + m. Suppose 0 = -a*q - 2 + 8. Solve 0*n + q*n = g for n.
2
Let u(m) = 3*m**2 - 7. Let s be u(3). Let a(q) = -q**2 - 9*q - 3. Let k be a(-8). Solve k*f - f = -s for f.
-5
Let c = -6 + 8. Suppose -2*y = -t + c, 0*t - 2*t - 5*y + 40 = 0. Let h be t*1 - (-4 + 4). Solve h = 2*u + 3*u for u.
2
Let g be ((-45)/(-20))/(2/(-8)). Let q be 130/(-11) - (-12)/(-66). Let r = g - q. Solve -r*j = -8*j for j.
0
Let t = 13 - 9. Solve -3*g + t = g for g.
1
Suppose -3*p = -4*c + 3*c + 16, 2*c = 4*p + 22. Let w = -2 - p. Solve 2*l = w*l - 3 for l.
3
Let v be ((-1)/(-3))/(178/(-36) + 5). Solve -2 = -4*c + v for c.
2
Let u(o) = 7*o. Let l be u(2). Let x = 17 - l. Solve -x - 2 = 5*c for c.
-1
Suppose 8 = 3*p - 2*g - 3*g, 4*p - 2*g = 20. Let d be 4 - 3/p*2. Suppose y + 4*o - 21 = 0, 0 = d*y - y + 5*o - 27. Solve 2*u + 11 = y for u.
-5
Let g(l) = 5*l**2 + 29*l + 25. Let x(y) = -3*y**2 - 15*y - 13. Let p(s) = -4*g(s) - 7*x(s). Let b be p(12). Solve b + 1 = -v for v.
-4
Suppose 26 = 3*m + 8. Solve -h + 15 = -m*h for h.
-3
Suppose 2*o + 0 = 4. Solve -i + o*i = -4 for i.
-4
Suppose -3*r - 4*q - 3 - 2 = 0, 0 = 2*r - 5*q - 35. Solve -12 = 2*v - r*v for v.
4
Suppose -v = 2*v - 42. Suppose -3*j = -6, -5*j + v = -4*d + 52. Let w = d + 4. Solve w = -7*n + 3*n for n.
-4
Let d(g) = -g**3 + 6*g**2 + 2*g - 8. Let b be d(6). Solve -j + 0 = b for j.
-4
Suppose 2*a + 2*a - 8 = -w, -2*a - 4*w = 10. Solve -a = -2*u - 11 for u.
-4
Suppose -4*g + g = -36. Let v be g/(2 + 8/(-6)). Solve -4*r - v = -6 for r.
-3
Let g(l) = -10*l + 9*l + 4 + l**3 - 2*l**3 - l**2. Let n be g(0). Solve -n*u = -0*u for u.
0
Let n(k) = -k**2 + 7*k - 3. Let x = -9 - -7. Let b be 10/(-2)*x/2. Let i be n(b). Solve -i*m - 12 = -3*m for m.
-3
Let q(o) = 3*o + 21. Let f be q(-6). Solve -10 = -m + f*m for m.
-5
Let l = 14 - 10. Suppose f - 3*f - 2 = 0. Let j = l + f. Solve 7*g - j*g + 12 = 0 for g.
-3
Let k(t) = -t**2 + 8*t + 4. Let v be k(8). Solve 0 = 6*w - v*w for w.
0
Let k be (6/(-5))/(3/(-15)). Suppose -m + k = -0*m. Solve -4 = 2*s - m for s.
1
Suppose d + 0*d - 4*g = 17, 5*d + g = 22. Suppose 55 = d*t - 5. Suppose -n = -2, 4*n = -0*v + v + 3. Solve -v*w + w = t for w.
-3
Suppose q + 0*q = 65. Suppose -5*p = -2*o - 50, -6*p + p + 5*o + q = 0. Let z = p - 3. Solve 0*r = -z*r for r.
0
Let w be 12/4 - (3 - 0). Let l be (-2)/(-9) - (-2)/(-9). Suppose l = -0*f - f + 2. Solve w = f*r + 2*r + 12 for r.
-3
Let x be ((-6)/(-8))/(3/24). Let u be 1/((-1)/(-2) + 0). Solve -u*j = -0*j + x for j.
-3
Let y(q) = q**3 + 5*q**2 - 5*q + 6. Let j be y(-6). Let x = 2 - j. Suppose x*f = 3 + 1. Solve -2*r = f*r for r.
0
Let d(f) = 2*f**3 - 2*f**2 - 2*f + 1. Let x be d(2). Let p = -3 + x. Solve -p = c - 1 for c.
-1
Let h(u) = -u**3 - 5*u**2 + 3. Let q be h(-5). Suppose -q*b = 8 - 14. Solve b*s - 25 = -3*s for s.
5
Let u(i) = i - 5. Let n be u(7). Let t = 0 - -2. Suppose q + 4*r - 14 = t, -11 = -n*q - r. Solve q*o + 5 = -o for o.
-1
Let x(b) = -4*b + 5*b - 10 + 9. Let i be x(3). Let t be 0/i*(3 + -2). Solve t = -5*u + 3*u - 8 for u.
-4
Let l be 6/(5 + (-9)/3). Let w = 16 - 6. Let x = w - 6. Solve l*p + 2 + x = 0 for p.
-2
Suppose -10*y = -7*y - 24. Let m be y/1*(1 - -1). Solve 5*r - r = -m for r.
-4
Let k(h) = 6*h**2 + 16*h - 4. Let l be k(-3). Solve 0*i - 6 = l*i for i.
-3
Let f = 5 + 3. Suppose -f = 2*c - 2*s, 2*c + 5*s - 38 = -11. Solve -a + 2*a - c = 0 for a.
1
Let s be 306/27 - (-2)/(-6)*-2. Let l(x) = -3*x**3 - x**3 + 8*x**3 - x**2. Let r be l(1). Solve 0 = -5*y - s - r for y.
-3
Let g(b) be the first derivative of b**4/4 - 8*b**3/3 + 6*b**2 + 4*b - 5. Let k be g(6). Solve k*s = -2 + 14 for s.
3
Let k(n) = -n**3 + 9*n**2 - 6*n - 11. Let q be k(8). Solve -33 = q*u - 8 for u.
-5
Sup