j = -5. Solve -f + v = -1 for f.
1
Let u be (-4 - -3)*(-5 - 2). Let q be 2*((-3)/(-2) + -1). Suppose -q - u = -4*r. Solve 0 = r*v - 2 + 4 for v.
-1
Let p(x) be the first derivative of x**4/4 - 8*x**3/3 + 9*x**2/2 - 9*x + 3. Let z be p(7). Solve z*b = 18 - 3 for b.
3
Let s(j) = -j**2 + 3*j - 6. Let b be s(4). Let f = b + 15. Suppose -m = -f + 4. Solve -p - m - 4 = 0 for p.
-5
Let g = 4 + -2. Solve -g*m = -1 + 11 for m.
-5
Let r = -26 + 30. Solve -2 + 6 = r*j for j.
1
Let x(y) = -y**2 + 8*y - 3. Let p = 2 - -2. Suppose 4*t + 23 = 5*l, -p*l = -3*t - 2*t - 13. Let o be x(l). Solve o*z + 21 - 5 = 0 for z.
-4
Suppose 60 = x + 2*x. Suppose -3*z - z = -x, -5*z + 35 = 5*g. Suppose -2*s - 1 = 2*a - 5, -g*a = -4*s + 2. Solve 4*j + 7 + s = 0 for j.
-2
Suppose 2*i - 12 = -i. Solve -i*u - 10 = 2 for u.
-3
Suppose -5*d = -2*y + 67, 2*y + d - 63 + 14 = 0. Let z = -23 + y. Solve 4*w = w - z for w.
-1
Let b = -32 + 46. Let a = 6 + b. Solve -a = -4*x - 0*x for x.
5
Let g = 4 - 0. Let a be 1/g + (-2)/8. Solve a = -t - 2*t for t.
0
Let b(u) = 2*u**2 + 5*u + 2. Let s be b(-3). Suppose 4 = -v + s*v. Let x be 4/(4 + -1 - v). Solve 0 = -x*t - 1 - 1 for t.
-1
Let d be ((-3)/(-6) + -2)*-4. Let j = -6 + d. Solve m = -j - 4 for m.
-4
Suppose 0 = -6*o + 4*o - x + 16, -10 = -2*o - 4*x. Let z(s) = -s**2 + 7*s. Let r be z(o). Let t be (-2)/(3/r*1). Solve 7*n = 4*n - t for n.
-4
Let c(h) = h**2 - 5*h - 8. Let m be c(7). Solve 0 = -2*n - n - m for n.
-2
Let a(q) = -q**3 + 8*q**2 - q - 2. Let z be a(3). Suppose z = 5*c - c. Suppose 0*w - c = -w. Solve 4*o + o = w for o.
2
Suppose -l = -2*i + 4, 0 = -5*i - 5*l - 4 - 1. Solve 4*v - i = -9 for v.
-2
Let i be (-10)/(-25) - (-1 - 7/(-5)). Solve i*p = -p + 4 for p.
4
Suppose 0 = -j - 2*h + 12, 0 = -4*h + 23 - 7. Solve 4*s + 12 = j for s.
-2
Let n be 148/14 - (-68)/(-119). Solve -y + 6*y = n for y.
2
Let b be 15*(1 + 8/(-12)). Suppose -3*w + 3*s + 21 = 0, 0*w + b = 5*w + 5*s. Solve 3*o + 1 = w for o.
1
Suppose -8*s = -5*s. Solve -x - 4 = -s for x.
-4
Suppose 2*d = -4*g - 10 + 26, 5*d = 4*g - 2. Suppose 0 = -g*y + 3*b - 9, -3*y + 4*b = 18 - 4. Solve 0 = 5*u - y*u - 3 for u.
1
Let w(q) = -q**2 + q + 1. Let p be w(0). Solve n = p + 3 for n.
4
Let l be 2/((-11)/(-15) - (-12)/(-36)). Solve 10 = -l*i - 15 for i.
-5
Suppose -2*v = -3*v. Suppose a + 3*a = v. Solve 5*x + 0*x + 15 = a for x.
-3
Suppose -4*g - 2*m = -16, -3*g + 5*m + 0 + 38 = 0. Let z(l) = l - 4. Let v be z(g). Solve -4*t = -3*t - v for t.
2
Suppose 0 = -5*r + z - 2*z + 14, -3*z + 10 = -r. Solve -r*y + 3*y = 0 for y.
0
Let p(v) = v - 4. Let a be p(5). Solve 4*n - a = -5 for n.
-1
Let z(d) = d**3 - 6*d**2 + 7*d - 7. Let a be z(5). Suppose -4*t + 13 = 3*q, -a*q + 2*t = -t - 27. Solve 0 = 2*s - q*s - 10 for s.
-2
Suppose j = -0*j + 2. Suppose -3*f = -5*a - j - 14, 4*f - a - 10 = 0. Solve 0 = -3*m - f*m + 15 for m.
3
Suppose 2*g - 2*z - 18 = 0, -5*g + g + z + 21 = 0. Let n(l) = -l**2 + 6*l - 1. Let w be n(g). Let k = -7 + w. Solve k = -4*q - 4 - 12 for q.
-4
Suppose -2*o = -4, 4*o - 28 = y - o. Let b = y + 30. Solve 0 = 3*g - 0 - b for g.
4
Suppose 2*r = -0*r + 12. Let p = r - 6. Solve 0 = -w - p - 2 for w.
-2
Let f = -9 - -7. Let d be 0/((2 - 1)*f). Suppose d = -3*u + 3 + 12. Solve u = 2*t - 1 for t.
3
Suppose 5*p = -2*v - 25, -25 = 2*v + 3*v. Let g = p + 0. Let n = 5 + g. Solve 0 = -z + n*z for z.
0
Let c be (-3)/(3*-1) + 2. Suppose 6 = 4*f - 3*q, -2*q + c*q = 3*f - 2. Solve f = 2*x + 2*x - 8 for x.
2
Suppose 0*j = -2*j + 6. Let p(m) = -m**2 - 10*m - m + 2 - 4 + 4. Let g be p(-10). Solve 0*u - g = j*u for u.
-4
Suppose 2*u + 2 = 10. Solve n + 3 = u for n.
1
Suppose 5*r - 32 - 8 = 0. Let n(m) = -m**3 + 8*m**2 - m + 10. Let p be n(r). Solve p*g + 0 = -10 for g.
-5
Suppose 3*s = -s. Suppose 3*r - 9 - 6 = s. Solve -r = f - 3 for f.
-2
Let g(m) = 4*m**2 + 11*m - 2. Let u(h) = -3*h**2 - 10*h + 1. Let s(f) = -4*g(f) - 5*u(f). Let d be s(6). Suppose -d*z - 8 = -26. Solve 0 = z*j - 3*j + 12 for j.
-4
Let l be 97/11 - (4/22)/(-1). Solve 4*c - l = 3 for c.
3
Suppose -6*m = -5*m - 2. Solve 0 = -3*x + m*x - 2 for x.
-2
Let x(m) = -6*m**2 + m - 1. Let v be x(1). Suppose -4*i - 3 - 9 = 0. Let u = i - v. Solve -4*c + u = 23 for c.
-5
Suppose 5*b = -2*j, j + b = -4*b - 5. Let a(t) = t**2 - 3*t - 7. Let i be a(j). Solve -15 = -4*p - i for p.
3
Suppose 2*h + 0*d + 2*d = 18, -5*h = -d - 15. Let i(y) = -y**2 + 5*y + 2. Let w be i(3). Solve 0 = h*n + w for n.
-2
Suppose 3*v - 4*i = 5*v - 12, 2*v - 5*i = -15. Let c be (2/4)/(1/12). Suppose 3 = 3*b - c. Solve 3*y = b - v for y.
1
Let o(v) = -3*v + 27. Let a be o(9). Solve x + x + 10 = a for x.
-5
Let y(z) = -3*z - 14. Let r be y(-6). Let f be 3*(8/3)/r. Solve 6 = f*k - 4 for k.
5
Let w = -20 - -28. Solve 6*l - 4*l = -w for l.
-4
Let p(k) = -k**3 - 4*k**2 - 3*k + 3. Let f be p(-3). Let w be f - (-1 - (-3 + 2)). Suppose -3*r = -w*o - 3, -3*o + 3*r - 3 = 2*o. Solve 15 = -o*y - 5*y for y.
-3
Let m(o) = -o + 13. Let a be m(12). Solve a + 5 = 2*u for u.
3
Let f(x) = -2 - x + 0*x + 5. Let l be f(0). Solve -5*w + 2 = -l for w.
1
Let f = 8 + -7. Solve 8 = -3*m - f for m.
-3
Suppose -4*y + 1 = 5*f + 5, -4*f = 4*y + 4. Let v = f - -2. Solve v*x = -x for x.
0
Let b(f) be the second derivative of 2*f**3/3 - f**2 - 2*f. Let y be b(1). Solve -y = 4*w + 2 for w.
-1
Let x be ((-6)/4)/((-6)/8). Let n(r) = r**3 + 6*r**2 - 6*r + 10. Let a be n(-7). Let c = a - x. Solve 3*u + c + 5 = 0 for u.
-2
Suppose 3 = 2*a - 1. Suppose 9 = r + a*r. Solve 2*i + i = -r for i.
-1
Let v(c) = -c**2 - 12. Let f be v(0). Let u = f + 21. Let m be ((-1)/2)/(1/(-6)). Solve -u = m*q - 6*q for q.
3
Let w(y) = y**2 + 8*y - 8. Let g be w(-9). Solve 4*x = -g + 9 for x.
2
Let k(f) = f**2 + 4*f. Suppose i + 2 = -2. Let d be k(i). Solve p + d = 4 for p.
4
Let g(a) = -a**3 - a**2 - 1. Let t be g(0). Let j be t - 2/(6/(-9)). Solve -2 = j*h + 4 for h.
-3
Suppose -2*m - 3 = -5. Suppose -6*f = -5*f - m. Solve 5*j - 16 = -f for j.
3
Let k be (-22)/4*-1 + (-1)/(-2). Solve 0 = -y + k*y - 15 for y.
3
Suppose -2*w + w = -3, -3*p + 2*w = 6. Suppose 0 = -3*u + 2*u + 4. Suppose p = -u*o + 14 + 2. Solve 3*a = o*a - 3 for a.
3
Let k = 42 + -19. Solve -4*h - k = -7 for h.
-4
Suppose 4*j = -4*b + 44, -3*b - 8*j = -3*j - 39. Solve -b = -12*c + 8*c for c.
2
Let h be (-99)/(-63) + 8/(-14). Solve 3*t + 13 = h for t.
-4
Let u be 3*-1 - (7 - 16). Let k be u*2*(-1)/(-4). Solve 8 = -k*a - 7 for a.
-5
Suppose -3*l - 8 = -26. Solve t = l*t for t.
0
Let k be 2/3 - 16/(-12). Suppose -4 = -4*f - 2*q + q, -f + 8 = k*q. Suppose -3*z + 10 = u - f*u, 26 = 3*z + 5*u. Solve 7*v - 20 = z*v for v.
4
Let u be 1/(((-3)/3)/(-21)). Suppose -2*z = -u + 1. Solve -2*s - z = -0*s for s.
-5
Let r be (-14*(-14)/49)/(1 - 0). Solve -r*m = -3 - 1 for m.
1
Let g be (15/4)/(15/(-40)). Let k be 5/g - (-51)/6. Solve 2 + k = -5*c for c.
-2
Let h be 1/(-3) + 88/(-6). Let t be 8/6*h/(-10). Solve t*y - 10 = -0 for y.
5
Let y(m) = m**3 - 18*m**2 + m - 15. Let b be y(18). Solve 0 = 2*z + z - b for z.
1
Let l = 3 + -3. Suppose 4*d = 2*z - 10 - l, 5*z + 3*d = 25. Suppose 0*g - 3*o = 3*g - 9, 0 = 5*o. Solve 4*j - z = g for j.
2
Suppose 3*x + 7 = -11. Let f be ((-2)/(-4))/(x/(-168)). Solve 0 = -2*y - 6 + f for y.
4
Let m(g) = -g**2 - 4*g + 13. Let h be m(-6). Solve h + 11 = 3*a for a.
4
Let q be (-1)/3 + 28/3. Let i(r) = 2*r - 15. Let d be i(q). Solve -k - d = -8 for k.
5
Let s(t) be the first derivative of t**4/4 + 5*t**3/3 + t**2/2 + 7*t - 5. Let b be s(-5). Solve 0 = a - b*a for a.
0
Suppose -u + 9 = 2*r, 4*u - 16 = r + 2. Let s = 16 + -10. Solve -r*c = c + s for c.
-2
Suppose 0 = -6*c + 8*c + 26. Let b = -8 - c. Solve 5 + 10 = b*q for q.
3
Let o(u) = -u**3 + 7*u**2 + 9*u - 9. Let v be o(8). Let s = v - -1. Suppose s = 2*a + a - 6. Solve 7 = a*g + 3 for g.
2
Let o(l) = 2*l**2 + l. Let b be o(1). Let x = b - 4. Let y be 2 + 5 + -2 - x. Solve -2*v = -y*v + 4 for v.
1
Let b = 14 + -14. Solve 2*h + 2*h + 12 = b for h.
-3
Suppose 15 = v - 3*v + 3*c, 5*v = 3*c - 15. Suppose 2*y + 0*y = v. Solve y*i + 12 = -4*i for i.
-3
Let t(i) = i**3 - 3*i**2 - 2*i - 3. Let x be t(4). Solve -3*r - 1 = x for r.
-2
Let i(r) = -r**2 + 6*r. Let y(p) = 6*p**3 + p**2 - 2*p + 1. Let a be y(1). Let k be i(a). Solve 0 = l - k + 2 for l.
-2
Suppose n + 2*z - 5 = -0*n, -2*n = 5*z - 11. Solve 