f for f.
4
Let c = 215 - 213. Solve -2*w + c*u - 6*u + 4 = 0, 5*u - 5 = -4*w for w.
0
Let j be -2 - (-60)/(6/2). Suppose g - 5 = -4*g, -3*g = 3*q - j. Solve 3*w = -6*z + 2*z - 19, -2*w = q*z + 15 for w.
-5
Let t be 6 + 1/(-3 - -4) - 4. Solve 5*x + q = 1, 2*x + t*q = -x + 3 for x.
0
Suppose a - x + 3*x + 16 = 0, -3*x = -4*a - 64. Let q = 25 + a. Suppose k = -0*k + q. Solve -k = 3*j - 3*n, 0 = -0*n + 2*n + 4 for j.
-5
Let m = -47 + 48. Solve 3*o = 4*j + 3, j - m + 0 = -o for j.
0
Suppose 3*j = -0*j - 96. Let g = -20 - j. Solve d = 3*q + 9, -4*q + 3*d = -5 + g for q.
-4
Let x(z) = -z**3 - 8*z**2 - 6*z + 5. Let c be x(-7). Let f be (2/4)/(c/(-52)). Suppose v - 3 = f. Solve h + v = -3*o, -o - 4*o = 2*h + 28 for h.
-4
Let c(y) = -y + 9. Suppose -33 - 2 = -5*p. Let k be c(p). Let i(w) = w**3 - w**2 + w - 1. Let q be i(k). Solve 2*f - 26 + 3 = -q*v, -4*f - 5*v = -21 for f.
-1
Let i be (30/(-9))/(2/(-3)). Let v(t) = -2*t**3 - t**2 + 1. Let p be v(-1). Let j be (-2)/2 - p/(-2). Solve j = -0*d + d + 3, -i*d - 27 = -4*n for n.
3
Let c be ((-12)/24)/(2/(-4)). Let h(r) = 6*r**2 - r + 1. Let w be h(c). Solve 4*v - 4 = -0*v - 3*y, 3*v = -3*y + w for v.
-2
Let b(s) = -s**3 - 4*s**2 - 3*s + 2. Let j be b(-3). Let g = 16 - j. Solve 5*f + 2*l = -g, 3*l = -2*l - 10 for f.
-2
Let o(l) = -l**2 + 2*l + 11. Let p be o(4). Let u = 14 + -10. Solve u*k - 12 = -3*v, 3*k - 9 = p*v - 6*v for v.
0
Suppose 9*l - l - 24 = 0. Solve 16 = -4*j - 2*q, -l*j + 4*q + 14 = -2*j for j.
-2
Let j(o) = o. Let r(m) = -2*m. Let d(c) = 3*j(c) + 2*r(c). Let p be d(-2). Solve -3*s - 18 = p*k - s, -12 = 3*s for k.
-5
Suppose 0 = -3*y + 4*y - 4*v - 160, -5*y + v + 743 = 0. Let a = y + 102. Let d be a/8 - 1/4. Solve -3*w - d = 4*r, -4*r + 5*w = -2*r - 17 for r.
-4
Suppose -3*c = -0*c - f + 1, 5*c = 2*f - 2. Suppose 2*w - 6 = -c*w. Let u = 1 + -1. Solve -o - 7 = 4*b, -o + u = -b - w for b.
-2
Let i be 4 - 0/((-10)/(-2) + -3). Solve 0 = 4*q - i*g + 4, -5*g - 6 = 9 for q.
-4
Let o = 99 - 97. Solve 0 = 4*m - o*s + 20, s + 2 = 2*s for m.
-4
Suppose 2*j + 8 = 4*j. Suppose -j*y + 47 = 7. Solve -4 = p + a - 3*a, -4*p = -2*a + y for p.
-2
Let d = 3 + 0. Let a(u) = u**3 - u**2 - 4*u - 1. Let x be a(d). Suppose 2 = x*g - 13. Solve 2*q = g*m - 15, m + m - 10 = 0 for q.
0
Let n = -18 + 17. Let h = 10 - n. Solve -a - 24 = 5*s, 4*a = -3*s - 0*s - h for a.
1
Let v = -8 + 12. Solve -3*i + 0*f + 2*f = -6, -4 = -2*i + v*f for i.
2
Suppose -2 = -4*j + 3*j. Solve 0 = j*s + k + 11 - 0, -2*s + 3*k = -1 for s.
-4
Let z = 3 - -32. Solve -4*y + 2*i + 26 = 0, -4*y + z = i - 6*i for y.
5
Let h = -9 + 9. Let z = 2 - h. Solve 4*d = -z*w - 18, -3*d - 2*w - 7 = 6 for d.
-5
Suppose 2*s = -2*s. Suppose 0 = -4*n + n - c + 8, 5*c + 5 = s. Let h be -1 + (-2)/2 + 4. Solve j + 5*l = 17, n*j = -h*l - 3*l + 11 for j.
-3
Let j = -103 + 105. Solve q = 3*y + 6, -q - j*y = y + 12 for q.
-3
Let d(a) = -a**3 + 9*a**2 - a + 9. Let j be d(9). Let k = 17 - 17. Solve -5*f = -3*q + 21, j*q - 4*q + 4*f + 20 = k for q.
2
Let h(d) = -2*d**2 + 2*d - 3. Let z be h(6). Let v be 20/9 - (-14)/z. Solve -2 = 5*q - 2*a + 1, 3*q - a + v = 0 for q.
-1
Let z(g) = 7*g + 6. Let s(n) = 11*n + 9. Let j(v) = 5*s(v) - 8*z(v). Let i be j(-3). Solve k - b + 0*b = i, -2*b - 14 = 5*k for k.
-2
Let f(q) = -q - 6. Let h be f(-9). Solve 2*t = -10, 2*v = 3*v - h*t - 13 for v.
-2
Let z(o) = o**2 - 7*o - 57. Let q be z(-5). Suppose 8*s = 3*s - 5. Let b = 1 + s. Solve 10 = -5*t + q*k - 16, b = -t + 3*k - 10 for t.
-4
Suppose l = 2*l + 2. Let v(b) = -b. Let g be v(l). Let r(i) = 5*i + 2. Let j be r(g). Solve 3*a = 4*s - 4 - 6, 0 = 4*s - 2*a - j for s.
4
Let g = -16 - -11. Let s be 4/1 + (g - -3). Suppose -4*b = -3*n - 6, -8 = -6*b + s*b + 2*n. Solve -h - 5 + 1 = i, 20 = b*i - 5*h for i.
0
Let w be 138/23 - (0 + 2*1). Solve 6*l - l - w*b = 23, -4*l = 3*b - 6 for l.
3
Let n be 54/10 - 14/35. Solve -2*z - 2*b + 4*b = 4, 0 = -n*z - b - 10 for z.
-2
Let l(d) = d**3 + 3*d**2 - 2*d - 4. Let u be l(-3). Solve 5*v + 3*f = -14, 2 + 2 = -u*v - 2*f for v.
-4
Let z(q) = -q**2 + 21*q - 18. Let w be z(20). Solve 4*l = -l - 5*f, 3*f - 15 = w*l for l.
-3
Let p(k) = -k**2 + 2*k - 1. Let y be p(2). Let m = 1 - y. Let b(z) = 2*z + 3. Let c be b(5). Solve -g - m*l - 1 = -6, g = 4*l - c for g.
-1
Suppose 0 = -n + 1 + 3, 4*u - 5*n = -20. Suppose 0*p = -p + 4, u = -5*b + 2*p + 22. Solve -2*z - k + b*k = 14, -k = -4 for z.
3
Let f = -14 + 21. Solve -3*c + b + f = 0, 3 = -c + 5*b - 4 for c.
3
Suppose 4*p - 8 = 4*v, 4*v - 7 = -2*p + 5*v. Suppose -6*q + p*q = -10. Solve 0 = -2*l + 4*m - m - q, 5*l + 16 = 3*m for l.
-2
Suppose -5*k - 15 = -5. Let v be (k/1)/(1/(-2)). Suppose v*x - 7 = 1. Solve -5*f = -x*q + 15, 2*f + 9 + 16 = -3*q for f.
-5
Suppose -12 = -2*i + 3*k, 3 = -3*i + 4*k + 20. Solve i*z - 2 = -n - 5, 0 = -z - 1 for n.
0
Let d(n) = n**2 - 35*n + 38. Let s be d(34). Solve -5*x = -s*b - 0*b + 6, 5*b - 5 = 5*x for x.
-2
Let y be ((-2)/(-4))/(8/80). Solve -4*m = -s - 13, 5*m - 5 - 5 = -y*s for m.
3
Let n(i) = -i - 7. Let q be (-66)/(-2)*1/(-3). Let o be n(q). Solve -5*j + 4*u + 7 = 0, -j + 2*j + o*u = -13 for j.
-1
Let o(p) = 7*p**2 - 2*p + 2. Let t be o(2). Suppose -t = 4*h - 82. Suppose -5*j + s + h = 0, -3*s = -3*j + 2*j. Solve j*w - d = d - 2, -4*d + 4 = -5*w for w.
0
Let v be (-6)/2 + (7 - 4). Let x = 4 - v. Suppose -c - 1 = -f - 0, -x*f = -5*c - 1. Solve -f*o + w - 9 = 4*w, 4*w + 12 = -5*o for o.
0
Let v be ((-3)/2)/(18/(-24)). Suppose -v*w + 6 = 0, t = -3*t + w + 49. Solve -2*y - 3*l - t = 3*y, -2*y - 5*l - 9 = 0 for y.
-2
Suppose -4*b = 3*l - 82, -4*l + 101 = 4*b - 7*b. Solve g = 5*h - l, 4*h - 3*g - 1 - 22 = 0 for h.
5
Let f(p) = -p**2 - 6*p + 3. Let c be f(-6). Solve 3*i - 2*j = -1, 2*j + c = -3*i + 2*i for i.
-1
Let m be 122/18 + 4/18. Let t be (1 - 2)*(-18 - -2). Solve 4*g + t = v, -4 - m = g - 2*v for g.
-3
Suppose 88 = 4*m + 5*x, 4*m = 3*m - 4*x + 22. Suppose 2*s + 5*t - 16 = 3*t, 5*s - t = m. Solve y + 0*y - 3*c = 0, -7 = 4*y - s*c for y.
-3
Suppose 2*s - 30 + 12 = 5*m, 0 = -3*s - 5*m + 2. Let h = s - 0. Solve 0 = 3*o, 0 = 4*f + 2*o - 0 - h for f.
1
Let x(p) = -p - 3. Let o be x(-7). Let f = 6 - 4. Suppose k + 11 = -z - 3*k, f*z = -o*k - 6. Solve 0 = -4*l + 3*c + 14, l = z*l + 3*c - 2 for l.
2
Suppose 0 = -2*t + 4*t - 38. Solve -l + 4*l - t = -4*f, 0 = -5*l + 4*f - 11 for l.
1
Suppose -1 = -2*k + 3. Let y(r) = r**3 + 7*r**2 + 6*r + 5. Let l be y(-6). Solve l*c - k = -2*w, 0 = 4*c - 0*w - 2*w + 2 for c.
0
Suppose a + 4*g = -a + 32, 5*a - 41 = 3*g. Solve a = -4*i + 2*m + 30, 4*i + 2*m = 20 for i.
5
Let k = -31 + 17. Let u = k - -20. Solve -2*a - 4*q - 6 = 0, u*a = a - 3*q + 13 for a.
5
Suppose 0*c + 2 = c. Suppose -21 = 6*x + 21. Let y(i) = -i**3 - 6*i**2 + 7*i + 2. Let b be y(x). Solve -6*s + s = 0, b*s + 4 = c*r for r.
2
Suppose 4*r = 4*a + 12, -8 + 2 = -2*r. Suppose -2*u + 14 + a = 0. Solve 3*o + u = 5*o - x, 2*o + 3*x + 13 = 0 for o.
1
Let y = 4 - 3. Let r be (2/(-3))/((-1)/3). Suppose 3*m + r = -7, -19 = -2*b + 5*m. Solve 4*v = -a - y - 2, -b*a - 5*v = 0 for a.
5
Let w(s) be the third derivative of -s**4/24 + 5*s**3/6 + 3*s**2. Let o be w(4). Solve -4*r = 2*q - 9 - o, 4*r = -4*q for r.
5
Suppose -2*l - 1 = -l. Let x = l - -1. Suppose -7*c + 2*c + 20 = x. Solve 3*a - 13 = c*v - 0*a, 0 = 5*v + 2*a - 1 for v.
-1
Suppose 9*v - 12 = 5*v. Solve 16 = 3*a - 5*r, 0*a + a - v*r - 8 = 0 for a.
2
Let a(g) = g**2 + g**2 - 3 - 5*g**2 + g**3 + 5. Let v be a(3). Solve -v*b = n - 3, n = 4*b - 0 - 9 for b.
2
Suppose -2*z + 7*p = 2*p + 11, 0 = -z + 2*p - 4. Suppose 2*v + 1 + 1 = 0. Let h be ((-2)/(0 + 2))/v. Solve h = 2*l + i - z*i, 2*l + i - 7 = 0 for l.
2
Let a(m) = -m**3 + 6*m**2 + 2. Let v be a(6). Suppose -b = -2*b + v. Solve 2*d = -2*d - 4, -b*f + 4*d = -2 for f.
-1
Suppose 2*n - 40 + 34 = 0. Solve l + b - 19 = -4*l, -n*l + b = -5 for l.
3
Let d = 9 + -1. Solve 14 = 2*j + 3*b, 4*b = -j + d + 9 for j.
1
Let s = -44 - -55. Solve -g + t = 7, 5*g - t + s = -4*t for g.
-4
Suppose 0 = f + 2*f - 27. Let o(t) = t**2 + 6*t + 7. Let l be o(-7). Suppose -5*n = -11 - l. Solve c + 6 = -2*i - f, n = -5*i + 4*c for i.
-5
Let d = 49 + -45. Solve u - 20 + 6 = -d*x, u = -2 for x.
4
Let w(q) = q**3 - 17*q**2 + q - 15. Let u be w(17). Solve -23 = u*m + 3*k, -4*k = -m - 2*m + 8 for m.
-4
Let d(h) = h + 5. Suppose