 f.
4
Let r(z) = -z**2 + 8*z + 9. Let m be r(9). Let x(u) = -u**2 - 8*u + 9. Suppose 2*v + 30 = 12. Let q be x(v). Solve m = -f - q*f for f.
0
Suppose -4*a = -2 - 14. Solve a*k = -4 + 12 for k.
2
Let p(v) = v**2 + 9*v - 10. Let a be p(-10). Solve 2*m - 5*m + 6 = a for m.
2
Let v = -1 + 3. Suppose 0 = c - v*c. Solve 0 = z - 4 - c for z.
4
Suppose s = -3*g + 4*g + 9, -3*g = 12. Suppose s*h - 52 = -12. Let d(a) = -a**2 + 3*a. Let b be d(3). Solve b*c = -4*c + h for c.
2
Suppose -3*u + 2*u + 5*f = -24, 0 = -2*u - 3*f + 9. Suppose -4*n + 8 = 4*c, -n + 0 = 4*c - 2. Suppose -n*l + 6*l - 8 = 0. Solve -d - l*d = u for d.
-3
Let n be 1/(2/8) - 2. Let r be (1/n)/((-8)/(-32)). Solve 4*o - r = 6 for o.
2
Suppose -5*i = -16*i + 55. Solve -i = 2*j + 5 for j.
-5
Let g(i) = -i**3 + 3*i**2. Let u be g(3). Suppose f = -u*f + 2. Solve -f*m - m = -9 for m.
3
Suppose -3*y + 35 = -5*d, 2*y - 5*d = 23 + 7. Solve -j + y = 4*j for j.
1
Let g be -11 + (2 + 0 - 1). Let l(b) = -b - 6. Let z be l(g). Suppose -2*r + 16 = 2*s + s, -3*s + z = -4*r. Solve -r = -2*d - 0 for d.
1
Let j(k) = 6*k - 3. Let u be j(2). Let g = u + -5. Solve -2*n = -4 - g for n.
4
Let r(c) = -c**3 - 3*c**2 - 2*c - 2. Let q be r(-3). Let f(h) = -h + 10. Let v be f(8). Solve q = -0*l + v*l for l.
2
Let a(p) = -p**3 - 4*p**2 + 3*p - 5. Let m be a(-5). Suppose m*g - 10 = 10, b - 2*g = -6. Solve -6*o + b*o = -20 for o.
5
Suppose 4*z + 5 - 35 = -5*c, 2*z = 0. Solve -c*p + p = -20 for p.
4
Let p be 2/9 + (-6)/27. Suppose 4*z - 26 = -5*b, 2*b + p*b - 3*z = 15. Solve 0 - b = 2*d for d.
-3
Suppose f + 2 = 2*f. Suppose f*z - 11 = -3. Solve z*u + 0 + 8 = 0 for u.
-2
Suppose 5*w + 11 = 3*v - 12, 5*w + 17 = -3*v. Let k be 3 - 3*4/12. Suppose c - v = k. Solve c = -0*q - q for q.
-3
Suppose -55 = -3*s - 10. Let l(q) = q**3 - q**2 - 1 + 0 - 2*q**3. Let j be l(-2). Solve 2*n + s = -j*n for n.
-3
Let b(d) = 2*d + 1. Let j be b(1). Suppose 0 = 5*c + z + 1, 2*c + z + 4 = -j*z. Solve -4*r = -c*r + 12 for r.
-3
Let y be 392/18 - 4/(-18). Let q = y + -12. Solve 0*a - q = -2*a for a.
5
Let s = -1 - -7. Solve 0 = -3*o + s*o + 3 for o.
-1
Suppose 0 = 2*o + 2*i - 4, o - 10 + 3 = -2*i. Let u be ((-6)/(-5))/(o/(-40)). Solve -3*t + u = t for t.
4
Let v(h) = h**2 - 4*h + 1. Let l be v(0). Solve 3*a - 4*a + l = 0 for a.
1
Let b = -1 - -1. Let u(s) = 3*s - 5. Let w be u(3). Solve b = -c - c - w for c.
-2
Suppose 5 = 4*z - 7. Let s be (3 - 5)*z/(-2). Solve 2 + s = -r for r.
-5
Suppose 5 = -g + 2*i, -4*g + 2*i + 17 - 7 = 0. Solve g*v - 1 + 6 = 0 for v.
-1
Suppose 4 + 0 = -2*m. Let f(c) = c - 1. Let a be f(-3). Let w = m - a. Solve -1 = w*q + 7 for q.
-4
Suppose 3*n - 6 = 3. Solve -3 - n = 3*f for f.
-2
Let t be (3/5)/((-4)/20). Let n be 20/4 + t*1. Solve 2 = -n*d - 6 for d.
-4
Suppose -2*j = 10 + 6. Let b = -33 + 29. Let m be (0 - -2)/(b/j). Solve 0 = h + m - 1 for h.
-3
Suppose -4 = 5*s - o, o + 4 = -4*s + 2*o. Solve -3*y + 6*y = s for y.
0
Let i(y) = -y**3 - y**2 + y + 1. Let m be i(-2). Let l(c) be the first derivative of -c**4/4 + c**3 + c**2 - 2*c - 1. Let g be l(m). Solve -2*h = -10 + g for h.
3
Suppose 0 = x - 3 - 9. Suppose -5*p = -p - x. Solve 0*l + p*l = -6 for l.
-2
Let c(o) = o**2 - 4*o + 5. Let u be c(4). Suppose u*s - 107 + 27 = 0. Solve 0 = -2*k + 6*k + s for k.
-4
Let u(j) = 2*j - 8. Let w = 5 - 11. Let o be (-2)/6 + (-38)/w. Let i be u(o). Solve -i = 4*x + 12 for x.
-4
Let q(y) = y**2 + y - 17. Let j be q(6). Solve 0 = -5*c - j for c.
-5
Let t = 34 + -31. Solve 0 = d - 4 + t for d.
1
Suppose -5 = -3*b + 2*b. Let w(z) = 4*z. Let f be w(b). Solve -3*d + f = 2*d for d.
4
Let p be 6/(-4)*112/12. Let w = -9 - p. Solve w*c = 8 + 2 for c.
2
Let y be (-114)/10 - (-2)/5. Let q = y - -16. Solve 0 = -q*t - 5 - 0 for t.
-1
Suppose w = 2*w. Let c be ((-6)/1)/((-6)/4). Let h = -6 - -8. Solve w = 3*g + h + c for g.
-2
Let b be (-42)/(-12)*4/7. Solve -2*f = b*f - 4 for f.
1
Suppose 5*u + 0 = -0. Solve 4*q = -u*q for q.
0
Suppose a - 4*i - 2 = -2*a, 7 = a + 5*i. Let x be 0/a*3/3. Let s(g) = -g**2 + 4. Let q be s(0). Solve x = -0*j - q*j + 12 for j.
3
Suppose -5*p = -5*o, -o + 3*p + 5 = 15. Solve -z = -o*z for z.
0
Let z be (-3 - (-54)/42)/(6/(-63)). Solve z + 2 = -5*y for y.
-4
Let b(q) = -q**3 + 7*q**2 + 6*q. Let k be b(8). Let g be 3/(-2) + (-72)/k. Solve 0 = g*i - 3 + 9 for i.
-2
Suppose 5*a + k - 2 - 20 = 0, 3*a - 4*k - 27 = 0. Let f = 12 - a. Let r(t) = 2*t**3 - t**2 + t - 1. Let h be r(1). Solve -h = -3*q - f for q.
-2
Let m = -31 - -18. Let b = 18 + m. Let s be 2 - (-2 - b) - 1. Solve 0 = -3*v - v + s for v.
2
Let q be (6/(-9))/((-2)/15). Let h = q - 2. Let l(a) = -a - 4. Let m be l(-10). Solve 0 = -h*j - m for j.
-2
Let x be (-20)/(-6) + 5/(-15). Solve -11 = -2*l - x for l.
4
Let s be (1 - 4)/(6/(-4)). Solve -s*o + 3 = 1 for o.
1
Suppose 3*h - 7*h - 8 = -2*f, 3*h = 0. Solve 0 = -f*v + 3*v for v.
0
Suppose -4*w - 35 = 3*b, 7*b + 5 = 2*b. Suppose -5*j - 19 = 36. Let f = w - j. Solve -c = -f*c - 10 for c.
-5
Suppose 3*v = -z - 0 + 20, -3*v + 35 = 4*z. Suppose 3*y - z*y - 19 = -3*o, 5*y + 23 = 4*o. Solve -j + 3 - o = 0 for j.
-4
Let o(a) = a**3 - 3*a**2 + 2*a. Let g be o(2). Suppose 2*t = 4, 0 = -4*w + t - 6*t + 42. Suppose 3*f - w*f = -15. Solve -3*s - f = -g*s for s.
-1
Let p(h) = -2*h - 15. Let b be p(-12). Solve -b = 5*d - 2*d for d.
-3
Let d(c) = 19*c**2 - 4*c + 2. Let m be d(1). Solve -m - 8 = 5*j for j.
-5
Suppose 4*m - 2*h + 4 = 16, -3*h = m - 17. Suppose 0 = l + 5, -5*l = -q - 6*l - m. Solve q = -4*n - 4 - 4 for n.
-2
Suppose 4*t + 0 = -4. Let f be ((1 - t) + -2)/1. Solve f = 2*p - 0*p - 2 for p.
1
Let u(l) = 13*l**2 - 2*l + 1. Let y be u(1). Let n(o) = 5*o**3 - o**2. Let g be n(1). Solve 0*b = -g*b + y for b.
3
Suppose -3*m = -0*m. Let k be (-9)/(-18) + (-23)/(-2). Suppose -7*f = -10*f + 9. Solve -f*q + m*q = k for q.
-4
Suppose 0 = -q - 4*q + 15. Suppose 14 + 7 = 3*a. Solve 2*v - q - a = 0 for v.
5
Let r(l) = -2*l. Let c be r(-3). Let o be 68/20 + (-2)/5. Let d = c - o. Solve d*j + 12 = -j for j.
-3
Let g(d) = -5*d - 4. Let r be g(3). Let b = -14 - r. Solve 3*s - b = 4 for s.
3
Suppose -2*u + q = -8 + 30, -11 = 3*u + 4*q. Let h be ((-1)/(3/u))/1. Let x be 84/9 + (-1)/h. Solve -4*p = -p - x for p.
3
Suppose -y + 4*y + 12 = 0, 3*z - 18 = 3*y. Solve -z*m = -5*m for m.
0
Suppose -6 = -26*v + 24*v. Let n(g) = -g**3 - 3. Let o be n(0). Let x = o - -10. Solve 1 - x = -v*u for u.
2
Suppose -4*m = -2*z - 8, 2*m + 5*z = -2*m + 8. Suppose m*g - 4*g + 6 = 0. Let v be (-3)/(-12) + (-38)/(-8). Solve 2 - v = -g*a for a.
1
Let n(s) = 6*s**2 + 2*s + 1. Let h be n(-1). Solve -4*x = h - 13 for x.
2
Let f(t) = 6*t - 3. Let a be f(1). Suppose -4*p + a*b + 12 = 0, 6 = -4*p - 3*b + 42. Solve -r = -p + 1 for r.
5
Let u(n) = -2*n**2 + 30*n + 8. Let j be u(15). Solve -j*z + 6 = -6*z for z.
3
Let v be (-8)/(-6) - 6/(-9). Suppose 0 = -v*q - q + 6. Suppose -q*h + g + 9 - 3 = 0, -h + 5*g = -3. Solve 0*d = -h*d - 3 for d.
-1
Suppose 5*w + 3*p = -4, p + 0 = 4*w - 7. Solve -3 - w = 2*s for s.
-2
Let s = 3 - 3. Suppose f + 0 + 5 = s. Let v = -3 - f. Solve -t - v = -1 for t.
-1
Suppose 4*p = -4*w + 28 + 4, 3*p - 16 = -w. Let z be 1/w + (-76)/(-16). Solve 0 = 5*j - 0*j + z for j.
-1
Let o(h) = 5*h**3 - h**2 + h - 1. Let s be o(1). Solve 0*v = -s*v for v.
0
Let n = 40 - 38. Solve -n*c + c = -2 for c.
2
Let j(q) = -q**3 + 5*q**2 + 5*q + 6. Let a be j(6). Solve a = -5*b - 12 - 3 for b.
-3
Let j = 130 - 129. Solve -v - 3 + j = 0 for v.
-2
Let i(x) = -2*x + 2 + 1 + x**3 - 2*x**2 + 0*x**2. Let g be i(3). Solve 3*u = g*u + 12 for u.
-4
Let c be -8 + (8/(-2) - -2). Let x = -6 - c. Suppose d + 4*d = 0. Solve -x*r - r = d for r.
0
Let b be 4/((-8)/6) + 1. Let q be (30/18)/(1/(-3)). Let r be 1*-4 - b - q. Solve r = -n + 2 for n.
-1
Let b = -16 + 21. Solve 1 = -4*v + b for v.
1
Let g(q) = q**3. Let t(z) = -4*z**3 + 14*z**2 - 12*z - 16. Let y(c) = -3*g(c) - t(c). Let o be y(13). Solve -5*r - 2 = o for r.
-1
Suppose c + 3 + 3 = 0. Let k = c - -6. Suppose k*d + 3*d = 0. Solve -3 = -3*i - d*i for i.
1
Suppose 12 + 13 = 5*z. Let t(j) be the first derivative of j**2/2 + 4*j - 4. Let u be t(-4). Solve u = 4*a - z - 11 for a.
4
Let i be (-1 - -1)*(5 - 4). Solve i = 2*h + h + 6 for h.
-2
Let v be 12/5 + (-16)/40. Suppose 0 = v*y - 1 - 9. Solve y*z = -16 - 4 for z.
-4
Suppo