 = y - 5 for f.
0
Suppose 2*y + j = 22, -4*y + 26 = -y + 5*j. Let n be (16/y)/(2/3). Let z = 0 + n. Solve -2*r = 2*c - 16, -r + 8 = -c + z*r for c.
4
Suppose -3*f + 80 = -7*f. Let g be (-445)/f + (-2)/8. Suppose 5*m - 2 - 3 = 5*a, -4*m = 5*a - g. Solve h + 0*h - 3 = -x, -4*h + m*x = -5 for h.
2
Let n = 23 + -23. Solve n = d + q + 2, -5*d - 3*q = 0 for d.
3
Let k(m) be the first derivative of m**2 - m + 1. Let u be k(5). Suppose 0 = 5*y + 5*p + 10, -y - p + 1 = y. Solve 5*r + 3*f + y = -0*r, u = r + 3*f for r.
-3
Let i = 2 + -2. Let p be 0/3 - (-6 + 0). Let a be (i + (-6)/(-9))*p. Solve h - a*h - 2*w - 9 = 0, -3*w = -4*h + 5 for h.
-1
Let c be 66/10 + (-2)/(-5). Let i be 3/(c/(-2) - -2). Let l be 1/i*(-8 + -2). Solve -31 = -l*b + 4*o, -5*b + 4 = -3*o - 23 for b.
3
Suppose -2 - 4 = -3*g. Solve -g*c = -5*s + 2, 0 = -3*s + 4*c - 4 - 6 for s.
2
Let z be 118/14 + (-28)/(-49). Let h be z + -2*(-4)/(-4). Solve 0 = -3*l + 2*f + 13, 6*l + 5*f + h = 5*l for l.
3
Let a(q) = 7*q**2 - 15*q + 4. Let u(h) = 3*h**2 - 7*h + 2. Let g(f) = 4*a(f) - 9*u(f). Let c be g(-4). Solve c*b - 5 = b - 4*j, 2*j = 0 for b.
5
Let h = 13 - 9. Suppose 0 = -h*m + 8*m - 8. Suppose -17 - 1 = -3*p. Solve -p = -5*z - m*g, g - 3 = -5*z - 0 for z.
0
Let k be 2 + 4/((-8)/10). Let a(g) = g**3 + 4*g**2 + 3. Let q be a(k). Solve 4*b = 4*z - q, -b - z + 6 = 3 for b.
0
Let k be (0 + -1)*(-2 - 1). Let a be 0/(1*1*-2). Suppose a*v + 3*v - 18 = 0. Solve 5*s - 3*z = -v*z + 18, -k = -3*z for s.
3
Let b = -17 + 36. Solve -3*t - 4*i = -t - 24, -3*t = -5*i + b for t.
2
Let u be (-16)/(-6) - 4/6. Let l = u - -10. Let q = l + -8. Solve -2*x + 2 = -3*o, -o + q = -3*o for x.
-2
Let o be (11 - -1)*(-8)/(-12). Solve -2*h = -r + h - o, 0 = 4*r - 2*h + 2 for r.
1
Suppose 0 = 5*o + 2 + 8. Let z be (-12)/(-8) - 77/o. Solve 0 = 2*l + 4*a + 30, -3*a = 3*l + 2*l + z for l.
-5
Suppose -30*d = -32*d. Solve d = -0*s - 2*s + 2*l - 4, 2*s + l + 10 = 0 for s.
-4
Let g = 25 - 23. Solve b = 1, -2*w + g = 3*b - 11 for w.
5
Suppose -4*b = -2*c + 4 - 14, b + c - 4 = 0. Suppose -b*u - 16 = u - 4*n, 0 = 4*n - 16. Solve 3*f + 2*v - 5 = u, 3*f - 3*v + 0*v = 15 for f.
3
Let c = 19 + -19. Solve 0 = 3*b - 8*b - 3*y + 6, c = b + y for b.
3
Let f be 1/(-1) - (-3)/1. Let h(c) = -c**2 - 8*c. Let n be h(-6). Suppose n = k + 4*q, 4*k + k = 5*q + 10. Solve z = k, -p - f*z + 10 = -2 for p.
4
Suppose -m - 22 + 24 = 0. Solve 0*t - d = -t - 5, 2*t + 2*d = m for t.
-2
Suppose -2*n = -3*w + 19, -3*w + 3*n - 1 = -19. Solve -8 = 3*q - 4*h, w = -2*q - 0*h + 3*h for q.
4
Let z(m) = m - 4. Let y be z(6). Suppose -y + 10 = 2*p. Let c be 0*((-5)/(-2) - 2). Solve -d - 5 = 2*s, -2*s - 30 = -c*s - p*d for s.
-5
Let q be (-12)/(-2)*20/8. Solve 10*o = 5*o + 5*v + 45, -5*v = o + q for o.
5
Suppose 2*g - 12 = -0*g. Let s = g + -6. Solve s = -5*k + 2*o - 9, 4*k = 3*k + 5*o - 11 for k.
-1
Let s(q) = q**2 + 5*q + 5. Let r be s(-5). Solve -3*y - 2*y = 2*w - 11, -19 = r*w - 3*y for w.
-2
Suppose -5*q + 16 = -14. Let n = q + -4. Solve 8 = s + 4*x, -2*x + x + 9 = n*s for s.
4
Suppose -w + 5*w = 0. Suppose w = -5*s - 0*s + 15. Solve 3*q - 12 = -y, -2*q + s*q - 5*y = 20 for q.
5
Suppose -3*o + 4*y + 27 = 0, 2*y + 16 = 2*o - 0. Let n = 8 - 6. Solve n*a + 3*c = -c - 2, -o*a + 31 = -2*c for a.
5
Let o = 104 + -102. Solve -19 = 5*z - o*t, 0 = -2*z - 4*t - t - 25 for z.
-5
Suppose 3*p + 30 = 4*i, -p = 2*i - 0*i - 20. Solve 3*q - 11 = 2*d, -i - 7 = -3*d - 2*q for d.
2
Let m be (9/15)/((-2)/(-10)). Solve -4*z + 0 = -l - 21, -3*l - 3 = m*z for z.
4
Suppose 4*n = q - 2, -n = -4*n. Solve 0 = 2*f - 2*d, -q*f - d + 6*d = -15 for f.
-5
Let x = -12 - -14. Let m = x + 1. Solve -4*t = 3*i + 23, m*t = 3*i + 6*t + 21 for i.
-5
Let j(o) = o**3 + 14*o**2 + 13*o + 2. Let l be j(-13). Solve l*z - 5*f - 25 = -0*z, 3*z = 5*f + 25 for z.
0
Let q be (-32)/3 + 18/27. Let z(b) = -4 - 1 + 3*b - 4*b. Let a be z(q). Solve 3*k = -a*p - 19, 3*p + 21 = -3*k - 2*k for k.
-3
Let h be 3/(-6) - 21/(-14). Solve -2*w - 7 = -3*x + 2*x, w = -2*x - h for x.
1
Let m(c) = 3*c**2 + 4*c + 3. Let a be m(-1). Solve 10*w - 5*w = -3*f + 14, w = -a*f for f.
-2
Let p(d) = d**2 - 2*d - 1. Let g be p(-1). Suppose -g*u + 5*u = 6. Solve -5*a + u = -q - 22, -q - 2*a = -11 for q.
1
Let d(x) = -6*x. Let n be d(-1). Suppose 5*v - 20 = 4*y, -v - 20 = -6*v + 2*y. Solve -5*c = -2*l - n, -5*l = v*c - 2*c + 15 for l.
-3
Suppose -2*i - i + 20 = 5*x, -3*x - 4*i + 23 = 0. Let h = x - -1. Solve 3*m - m = -2*g + 4, 0 = -m - h*g + 6 for m.
-2
Let f(v) = 5*v - 14. Let i = -7 + 11. Let l be f(i). Solve -3*n - 12 = m - l*m, 2*m - 16 = 4*n for n.
-4
Let a(o) = -o**2 + 18*o - 56. Let v be a(14). Solve v*x - 5*p = 5*x - 5, 4*x - 3*p + 31 = 0 for x.
-4
Suppose -j = -5*x + 115, -x - j - 43 = -3*x. Solve -3*b - 3*g + x = 0, -2*b + 6*b + 2*g - 26 = 0 for b.
5
Let x be ((-2)/(-5))/((-2)/(-100)). Suppose -2*b - x = -7*b. Let d = 2 + b. Solve 18 = -3*o - 3*r + d, -6 = 2*o + 4*r for o.
-5
Suppose -18*l = -24*l + 12. Solve p = 2, 5*x + 9 + 0 = l*p for x.
-1
Suppose -2*v - 2*h - 4 = 0, h - 2 = -5*v + 2*h. Suppose v = 2*u + 1 - 5. Let c = 11 - 9. Solve 0 = 2*q - m - 4 + 2, -u*q + c = -4*m for q.
1
Let s be (4 - 10)*4/(-8). Let l(r) = -2*r - 2. Let k be l(-2). Let b(n) = -n + 6. Let w be b(-6). Solve k*d - w = -0*g - g, -13 = -s*d + g for d.
5
Suppose -4*p = -p + 4*g - 18, -4*g = -4*p - 4. Let n(w) = -w**3 + w**2 - w + 1. Let b be n(1). Suppose b*x = -x + p. Solve 4 = 4*c - f, -x = f + 2 for c.
0
Let p = 3 + 0. Suppose 0 = -4*s - 5*x + 1, 2*s - p*x = 8 + 9. Let d be 6/27 - 13/(351/6). Solve -1 = a - d*j - j, -s*j + 9 = a for a.
1
Let i = -14 + 29. Let l = 23 + -34. Let j = l + i. Solve -5*q = -4*o - 19, 0 = j*o - 0*o + 4 for q.
3
Let l be -1*(-4)/((-16)/12) - -18. Solve w + 15 = -2*i, -5*w = -2*w + l for i.
-5
Let v = 8 + -5. Suppose 4*o + n + 28 = 0, 3*o + 5*n + 44 = -o. Let r be 2/(o/(-3)) - -3. Solve -3*u + 13 = -r*x, -x = v*x - u + 15 for x.
-4
Let y be (3/(-6))/((-3)/30). Suppose 0 = -5*s + 7*s - 22. Solve 17 = 5*u - 2*o, -4*u = -2*u - y*o - s for u.
3
Suppose 3*n - 3*y - 17 = -2*n, y + 19 = 5*n. Let b be 2/7 - 68/(-7). Let h be ((-8)/b)/(n/(-10)). Solve -j - 2*o = -13, o - 18 = -h*j - o for j.
5
Suppose 31 = -3*v - 5*k, 3*k + 17 = -3*v + 5*k. Let t = v - -10. Let q be 13 - (t + -1*2). Solve -4*o + 3 = -u, -5*u + u - q = 3*o for u.
-3
Let z(a) = 5 - 3 - a**2 - a**2 + 0 + a - 2*a**3. Let p be z(-2). Solve 2*h = -p, -4*f + 0*h - h = 16 for f.
-3
Suppose 3*m = -5*v + 13, -3*m = 5*v - m - 12. Suppose -b + 1 = v*o, 3*b + 6 - 16 = o. Let q = o - -5. Solve c = 3*l - q, 4*l - 5*c - 2 = 7 for l.
1
Suppose 10 = 5*u - 3*u. Solve -5*b + 2*b - 20 = y, -y + u*b = -20 for y.
-5
Let r(u) = u + 4. Let p(i) = -i**2 - 8*i - 3. Let v be p(-8). Let a be r(v). Let b = a - -3. Solve -4 = -c, -3*z + z = 3*c - b for z.
-4
Let m(q) be the second derivative of -q**5/20 + q**4/4 + q**3 - 5*q**2/2 - 4*q. Let n be m(4). Solve -7 = -3*s - n*g + 2, 4*s = -2*g + 8 for s.
1
Let u = 6 - 1. Suppose 35 = u*s - 5*j, 4*s - 45 = -j + 8. Solve 5*f - 15 - 5 = 3*h, 0 = 3*f - s for h.
0
Let z(p) = 3*p - 5. Let i be z(5). Let s be (-23)/(-5) - i/(-25). Solve -4*w - s*y - 18 = -2*y, 2*y = -w - 7 for w.
-3
Let w = 10 + -8. Let o be -15*((-2)/3)/w. Solve 3*u - o*b + 7 = 0, -4*u - 14 = -u + 2*b for u.
-4
Suppose 0 = -5*l + 1 + 19. Solve 2*c - l*i = -6, 3*c = -0*i + 3*i + 3 for c.
5
Let r(d) = 9*d**2 + 6*d**2 - 10*d**2. Let b be r(-1). Solve -2*a = 2*k + 5 + b, 5 = -5*a for k.
-4
Let h = -32 - -44. Solve -5 = -r - 1, d - 3*r = -h for d.
0
Let h = 15 - 10. Suppose 2*f = -0*p - 3*p + 25, 3*f = -3*p + 30. Solve -f = h*b, -2*x - 3*x = -4*b - 19 for x.
3
Let r(k) = k**3 + 6*k**2 - 2*k - 9. Let o be r(-6). Let m be (3/9)/(o/45). Solve -1 - 3 = t - m*x, 3*x + 16 = -4*t for t.
-4
Let n(d) = -d**2 + 11*d - 9. Let i be n(8). Suppose -5*p + 3*p + 8 = 0. Solve 2*b - 3*l - i = p*b, -5 = -5*b + l for b.
0
Let v(y) = y**2 + 2*y - 3. Let p be v(-4). Suppose -p*h = 3*j - 9, 3*j + 0*j = 2*h + 9. Solve -4 - 2 = 2*g - 2*r, h = 2*g - 3*r + 5 for g.
-4
Let r(w) = -3*w + 7. Let y be r(-6). Suppose -h + z + 3*z - 7 = 0, 3*h - 21 = -2*z. Let m = h + 0. Solve -m*i = 2*f - f + y, 4*f = 0 for i.
-5
Let m be 40/((-12)/3)*-1. Solve 2*d = 3*t + m, 5*d = d - 2*t + 20 for d.
5
Let l(o) = 3*o**2 - 13*o - 11. Let j(v) = -v**2