) = -f**2 - 4*f - 3. Let z be a(-3). Solve -2*c + 0*c - 10 = z for c.
-5
Let h(n) = n**3 + 3*n**2 - 6*n + 4. Let t be h(-5). Let a be 49/(-4) + (-4)/t. Let k be 2/((a/(-3))/2). Solve 9 = -2*f - k for f.
-5
Suppose 3*k - 9 = -4*z, 5*z + 3*k - k - 6 = 0. Let u be (z + 0)/(-1 + 3). Suppose 0 = 3*j - 3*o, o = 4*j + 2*o - 20. Solve u = -n - j + 3 for n.
-1
Suppose -3*h + 3 = -o, o = -5*h - 2 + 15. Solve -4*f + 6*f - h = 0 for f.
1
Suppose t = -7 - 1. Let j = t - -9. Solve 0 = 4*y - 5*y + j for y.
1
Let v(t) = -2*t - 1. Let c(a) = a. Let z(j) = 7*c(j) + 4*v(j). Let x be z(-6). Solve 0 = x*s + 6 + 4 for s.
-5
Let n(b) = -4*b + 31. Let t be n(7). Let p be -2 - (-3 - (-1 + 0)). Let h = -1 + 2. Solve p = -z - t + h for z.
-2
Let q = -58 + 63. Solve 7 = q*s - 18 for s.
5
Let g be ((-2)/2)/1 + 2/2. Solve g = 5*x - x - 16 for x.
4
Let x be 10/(-15) - 2/(-3). Suppose 2*r - 2 - 2 = x. Let y be (2 - (0 + 1)) + r. Solve -20 = a + y*a for a.
-5
Let r = 0 + 0. Let p(i) = i**3 + 7*i**2 + 9*i. Let v be p(-5). Solve 5*n + r = -v for n.
-1
Let c = 43 - 39. Let s be ((-6)/(-5))/(3/10). Suppose 5*o - s = 3*n, -3*o - 2*o = -c*n - 2. Solve 0 = k + o - 5 for k.
3
Let u(m) = m**3 + m**2 + m + 10. Let y be u(0). Solve i - y = -4*i for i.
2
Let w be (-1)/((-9)/(-12) + -1). Let f = w - 10. Let o be 3/f*(2 - 6). Solve -o*t = -t for t.
0
Let m = -6 + 8. Let f be m - 1/(2/4). Let r = 1 - -1. Solve f*y - r*y = 0 for y.
0
Suppose -5*q + g = -62, 2*q + 4*g = -3*q + 52. Suppose 20 = -w + 6*w, j - 4*w + q = 0. Suppose j*x + 2 - 18 = 0. Solve 3*a - 1 = -x for a.
-1
Let q = 32 - 24. Solve 0 = z + z + q for z.
-4
Let n = -31 + 54. Let l = -6 - -16. Suppose l = 5*g + p, -3*g + 5*p - n = -g. Solve 0*o - g = o for o.
-1
Let k(v) = -v**3 - 5*v**2 - 3*v - 2. Let i be k(-4). Let o be (-3)/i + (-18)/(-4). Solve -o*h + h = -4 for h.
1
Let p(s) = s**2 + 5*s + 5. Let f be p(-5). Let u(v) = 9*v + 6. Let t(z) = -10*z - 7. Let k(i) = 4*t(i) + 5*u(i). Let n be k(3). Solve -f*r + n = -8 for r.
5
Let t(z) be the second derivative of -z**3/6 + 4*z**2 + 2*z. Let f be t(5). Suppose 0 = f*q - 3. Solve 4*j = 3*j - q for j.
-1
Let g = 19 - 17. Solve -g*w + 3 = -1 for w.
2
Let y = -52 + 57. Solve 15 = -5*i + y for i.
-2
Suppose 11*t - 34 = 21. Solve 0 = 4*k + 21 - t for k.
-4
Let x = 11 + -6. Let m be (6/x)/(4/20). Solve 0 = 2*g - 0*g - m for g.
3
Suppose 2*p + 2*i + 6 = -0, -2*p + 3*i + 19 = 0. Suppose -3*h = 2*y + 10, 3*h = 2*h - 4. Let w be 0 + p + (-2)/y. Solve 6*v - v - 25 = w for v.
5
Let x(l) = l - 3*l**2 + 4*l + 2 - 3*l + 0*l**2. Let g be x(2). Let d = 8 + g. Solve m = d - 0 for m.
2
Let p be (9 - 1) + 4/2. Suppose -4*n - n = p. Let r be n/(-3) - (-21)/9. Solve -7*x = -r*x + 16 for x.
-4
Let w = -30 - -32. Solve w + 4 = -3*s for s.
-2
Let g(r) = -r**2 - r + 3. Let n(y) = -y**2 - y + 3. Let j(k) = 5*g(k) - 6*n(k). Let i be j(-3). Suppose 5*v - 1 - 4 = 0. Solve 4*u - v - i = 0 for u.
1
Let x(u) = -11*u**2 + 11*u + 11. Let w(h) = -5*h**2 + 5*h + 5. Let z(i) = 13*w(i) - 6*x(i). Let q be z(3). Solve -11 = q*k + 14 for k.
-5
Let p(d) = -d**3 - 9*d**2 + 7*d - 5. Let l be ((-30)/8)/((-3)/(-8)). Let b be p(l). Solve 5*y = -0*y - b for y.
-5
Let a(d) = -2*d**3 + 1. Let i be a(-1). Solve -2*y + 5 = -i*y for y.
-5
Suppose 0 = -3*n - 5*m - 23 + 4, 5*n - 2*m - 20 = 0. Suppose r - 5*t = -r + 5, 4*t = -n*r + 14. Let z = 2 - 2. Solve z*s - 25 = -r*s for s.
5
Let g be 69/21 + (-2)/7. Suppose 2 = -7*c + 9*c. Let v be (c - 0)/((-1)/(-2)). Solve g*w - 4 = v for w.
2
Let i = -8 - -30. Let z be (8 - -1)/(33/i). Solve z*b - 8 = 2*b for b.
2
Let w(u) = -6*u + 5. Let j(f) = f. Let r(o) = 5*j(o) + w(o). Let p be r(5). Solve 4*i + 3 - 11 = p for i.
2
Let r be 2/4 - 4/8. Solve r = -t + 4 - 1 for t.
3
Let s(t) = -4*t - 100. Let j be s(-26). Solve -j + 20 = -4*c for c.
-4
Suppose 10*v = 4*v. Solve -4*s = -v*s + 12 for s.
-3
Let z be (3 - (0 + 1)) + -3. Let f = -4 + z. Let i = f + 6. Solve -i = 4*j - 3*j for j.
-1
Suppose 4*o + 0 = 12. Suppose -12*x + 13*x - 10 = 0. Solve -o*w - x = -4 for w.
-2
Let f(c) = -c - 5. Let i be f(-6). Let n be i*(3 + -3 + 0). Solve -s + 0*s + 1 = n for s.
1
Let h be 10/(-5) + 2 + 2. Suppose 2*n - h = -2*c + 2, 4*c - 4*n - 32 = 0. Let q be (-40)/(-2)*(-2)/(-4). Solve c*z + q = -0 for z.
-2
Suppose -d + 2*n + 10 = 0, 3 = -4*d - 2*n - 7. Solve 3*s + s = d for s.
0
Let p = -11 - -11. Suppose p = -3*n - 0*n. Solve n = -3*w + 24 - 9 for w.
5
Suppose 3*w + 4 = -2*c, c + 0*w = w + 8. Suppose c*t + 0*t = 0. Solve t = 4*s - 13 + 5 for s.
2
Suppose m + 0*m - 4 = 0. Suppose m*w + c - 15 = 0, -c = w - 3*c - 6. Solve -t + w = -5*t for t.
-1
Let c = -119 + 119. Solve 3*w = -6 - c for w.
-2
Suppose 16 + 4 = 4*y - 5*s, 3*y - s = 4. Let g = y - 0. Solve g*f = -4*f + 16 for f.
4
Let x be (7 + -9)/(2/(-3)). Solve 5*p = x*p for p.
0
Let r = 54 + -38. Let m(q) = -3*q - 20 + r + 4*q. Let n be m(8). Solve n = 4*o - 12 for o.
4
Suppose 0*l + 2*l - 2*y - 12 = 0, -3*y = -l + 12. Let q be ((-18)/4)/((-3)/4). Suppose -l*p - 6 = -q*p. Solve -5*z - 9 = -p*z for z.
-3
Suppose 9 = 4*a - 15. Suppose -c - v + 4*v + 18 = 0, -4*c + 5*v + 37 = 0. Solve -h - a = -c for h.
-3
Let v = 7 - -1. Let r be 222/27 - 2/9. Suppose -4*a = -r, a + 3*a - v = -2*w. Solve 2*i + 2*i = w for i.
0
Suppose -31 = -b - 30. Solve 1 + b = -2*o for o.
-1
Let q(c) = c + 7. Let s be q(-3). Let h(w) = w**2 - 5*w - 6. Let k be h(6). Solve -4*j = -k*j + s for j.
-1
Let x(c) = c - 3. Let i be x(7). Solve -1 - i = -5*m for m.
1
Suppose 0 = -3*u - 3 - 3, -s - 6 = 4*u. Suppose 3*b = 2*b + 2*w + 1, -10 = -3*b - w. Suppose q + 12 = 4*l + 5*q, 2*l + b*q - 4 = 0. Solve -s*r = -r + l for r.
-5
Let t = -23 - -23. Solve t = b - 3 + 2 for b.
1
Suppose -2*x + 4 + 0 = 0. Let i be -3*(16/(-6) - (-6 + 4)). Solve -6 = i*b - x for b.
-2
Let n be 1360/(-25) - (-2)/5. Let l be 2/(-9) + (-444)/n. Solve 5*c - c - l = 0 for c.
2
Suppose 4*m - m = 6. Suppose m*z = -10, -8 = -4*l + z + 1. Solve -3 - l = q for q.
-4
Suppose -2*c - 4*l + 10 = -14, -3*l = 5*c - 53. Solve 0 = -3*h + c - 4 for h.
2
Let u(f) = -3*f**3 + f**2 + f - 1. Let t be u(1). Let w be t - (1 + 1 - 4). Suppose w = 2*j - 11 + 1. Solve -2*r = -r - j for r.
5
Let n = -4 + -2. Let t = n - -10. Solve 0*z - 12 = t*z for z.
-3
Suppose 3*x + 1 = 16. Suppose -x*w - 18 + 68 = 0. Solve -2*y - w = -4*y for y.
5
Let x(l) = l**2 - 8*l + 3. Let w be x(7). Let i = w + 6. Let a(n) = 4*n**2 - 2*n - 1. Let f be a(i). Solve -4*j + 9 = -f for j.
5
Suppose -g + 150 = 4*g. Let r = g + -27. Solve -m + 2 = -r for m.
5
Let g = 7 + -3. Let t(j) = j**3 - 3*j**2 - 3*j - 3. Let u be t(g). Let o be 1/(3/3) + u. Solve -2 = o*i - 10 for i.
4
Suppose 4*r + 5*c - c - 120 = 0, -4*r - 3*c = -125. Suppose 2*a - 4*a + 3*d - 5 = 0, 3*a + 4*d - r = 0. Solve 2 - 22 = a*k for k.
-4
Let m be -4*(0 - -1)/(-1). Let g(j) be the second derivative of j**4/3 + j**3/3 + j**2/2 - 2*j. Let y be g(-1). Solve y = m*v + 11 for v.
-2
Let i be 2 + 55/(-20) - (-3)/4. Solve -5*r + 10 - 25 = i for r.
-3
Let y(q) = q - 6. Let t be y(11). Suppose -t*h + 4 = -16. Solve -h*r = 7 + 1 for r.
-2
Let k be (-1)/(12/16 - 1). Solve n = -n - k for n.
-2
Let b(r) = r - 5. Suppose -3*h + 12 = -12. Let s be b(h). Solve -d + 2 = -s for d.
5
Let y = 7 + -7. Suppose -v - 4*j + 11 = y, 4*v - j - 6 = 2*j. Solve -v*x + 16 = x for x.
4
Suppose r + 4*j - 28 = 0, -3*j = -4*r - 3 + 39. Suppose 7 - 3 = -4*p + h, -r = -3*h. Solve -u - 1 + 4 = p for u.
3
Suppose -5*q + 5*w + 5 = 0, 2*w = q - 2 + 3. Suppose q*f - 7 - 2 = 0. Solve -b = f*b - 16 for b.
4
Let b = 56 + -55. Solve h - b = -6 for h.
-5
Let z be 15/(-35) - 9/(-21). Suppose -s - 5*s + 12 = z. Solve -s*v - v - 3 = 0 for v.
-1
Let u(i) = i**3 - 7*i**2 + 3*i - 16. Let l be u(7). Solve -l*j = -2*j - 3 for j.
1
Suppose 0*z - z = -4*g - 54, -3*z + 6 = 0. Let p be (1 + -2)*(6 - -1). Let h = p - g. Solve h*c = c + 10 for c.
2
Let p = 24 - 23. Solve 0*u - u + p = 0 for u.
1
Let x(y) = -y**2 - 4*y + 5. Let m be x(-4). Suppose -4*h = m*c - 25, 3*c = -c - h + 20. Solve n + c = 1 for n.
-4
Let b be (-6)/27 + 60/27. Let q be (-1)/((-2)/(-12)*2). Let a be 16/q*3/(-2). Solve 3*w = b - a for w.
-2
Let f(a) = a**3 - 4*a**2 - 4*a - 3. Let g be f(5). Suppose -j - 4*i + 11 = -4*j, 0 = -3*j + g*i - 1. Solve 0 = j*w - 12 - 0 for w.
4
Let p = 2 + 1. Solve 4*x - x = p for x.
1
