- s = -3*k for f.
5
Let x(j) = -j + 3. Let t be 0 + (-3)/6*0. Let b be x(t). Suppose -4*z - o + 98 = 0, -2*o - 7 = -2*z + 37. Solve -5*f + 5*l = 0, 5*l - z = -0*f - b*f for f.
3
Suppose -17 = 5*q - 42. Let h be 4/(16/52) - -4. Solve -n + 14 - 1 = 5*t, q*n = -t + h for t.
2
Let n be (-3)/(3/(-4)*2). Let u(q) = -q**2 + 5*q - 1. Let r be u(4). Let m be ((-26)/(-6) + -3)*r. Solve -g + 0*g - i = 0, 0 = -m*g - n*i - 10 for g.
-5
Let b(f) = -f**2 + 8*f - 8. Let s = 16 + -10. Let x be b(s). Solve 2*u + 11 = -2*d + 3, x*d = 3*u - 9 for u.
-1
Let b(g) = g**2 - 11*g + 34. Let r be b(8). Let d = -8 - -13. Suppose -4*v = -2*v - 6. Solve -2*i = -i + d*k - r, v*k - 4 = -i for i.
-5
Suppose k - 6*k + 15 = 0. Suppose 3*p - 4 = b, k*b - 6 + 18 = -2*p. Solve -3*d = -4*v - 8, p = -5*v + 5*d - 2 - 3 for v.
-5
Suppose 0 = 4*i - 5*u - 20, -3*u = 5*i - 7*u - 16. Let d = -32 + 36. Solve -28 = -2*w - 4*b, i = w + d*b + 4 - 28 for w.
4
Let a(j) = -7 + 6*j + 0*j - 3*j. Let x be a(4). Solve -g - 8 = 2*p + 2*g, x*p - 2*g = -1 for p.
-1
Suppose 5*j = -0*j + 20. Suppose -2*m - 6*t + 4*t = -10, -25 = j*m - 5*t. Suppose -3 = -y - m. Solve -u + y = h, 5*h + 7*u - 12 = 3*u for h.
0
Suppose 5*v + 24 = -b, v + 51 = -5*b + 3. Let h = 15 + b. Solve -3*z = -z + p - 6, 0 = -2*z - 3*p + h for z.
3
Let v = -5 - -10. Suppose -13 = -2*r + 5. Let d = r - v. Solve z + 20 = -d*z + 2*g, -5*z - 20 = g for z.
-4
Suppose 5*a = -y - 3*y - 37, -4*a = 3*y + 29. Let p be 2 + a/1 + 7. Solve -5*q - 18 = -3*b + 2*b, -5*b - 26 = p*q for q.
-4
Suppose -2*p + 0*p + 4 = 0. Let w be (-7)/(-14) + 13/p. Solve -4*j = -4*x + 4, 5*j + 4*x - w = 33 for j.
4
Suppose -2 - 4 = 2*i. Let v = 25 + -17. Let p = v + i. Solve -y + 6*s + 20 = s, 50 = -5*y - p*s for y.
-5
Let m be (-5 - 1) + (-2 - -3). Let i(y) = y**2 + 6*y + 5. Let j be i(m). Solve -3*q = 5*n - 22 + 4, j = -5*q - n + 8 for q.
1
Let o be -1 - -4 - (0 - 1). Suppose -24 = -o*x + x. Let a = x + -5. Solve u - a*w = -1, -w + 2 = 1 for u.
2
Suppose 0*m - 2 = -m. Suppose -7*j = -m*j. Solve 3*z - 6 = 4*h + 1, 3*z + 2*h - 19 = j for z.
5
Let q be (-4)/(-1 - -2 - 2). Let c be 15/4 - q/(-16). Let j = -1 + c. Solve -j*m - 10 = -2*v, 2*v + 8 = -2*m - 2 for v.
-1
Let q be 41/13 + 2/(-13). Solve w = q*b - 8, b - 2*b = w for w.
-2
Let d be (9/6)/(1/2). Let n(h) = h**3 - 4*h**2 + 3*h. Let s be n(d). Solve s = r + 2*r - 5*w + 13, 3*r + w = -1 for r.
-1
Suppose 3*k = -2*k + 30. Suppose -3 = 2*i + 3. Let q = k + i. Solve 4*o + 2*g - 1 + 7 = 0, q*o + 5*g - 6 = 0 for o.
-3
Suppose 3*q - 3*c = 36 - 3, 0 = -4*c - 20. Let g = -3 + q. Solve -g*z - 3 = 0, 2*y + 2*z - 8 = 4*z for y.
3
Suppose -f + 3*c - 1 = -13, f + 3*c = -6. Solve 0*a - 20 = 4*l - a, -f*l = 2*a + 15 for l.
-5
Let f(z) = -z**3 + 3*z**2 + 2*z - 1. Let i be f(3). Suppose 23*p + 315 = 775. Solve -p = 5*o, v - 2*o + 13 = -i*o for v.
-1
Suppose -p + 7 = -0*p. Solve -n + 4*j = -j + p, -4*n - 9 = -j for n.
-2
Let d be 4/10 + 13/5. Solve 7 = -5*b - 2*v, -5*b - 4 = d*v - 1 for b.
-3
Let p(h) be the first derivative of -h**3/3 + h**2 + 4*h - 2. Let w be p(3). Let c be (w + 0/(-2))*2. Solve -2*b + 2*z + c = -0, 0 = -z + 2 for b.
3
Let c(b) = -b. Let h(t) = -t - 1. Let w(r) = 4*c(r) - 5*h(r). Let n be w(0). Solve d - n*i + 20 = 6*d, -3*d = -i + 8 for d.
-1
Let a(l) = -l**2 - 7*l - 5. Let u be a(-6). Solve m - k + 2 = -3*k, u = m + k for m.
4
Let c(r) = r**3 - 7*r**2 + 8*r - 9. Let l be c(6). Let k be (-6)/(-8)*(1 + l). Solve 4*n - 4*v - 4 = 0, -4*n + 13 = -k*n - 5*v for n.
-2
Suppose 4*d + 2 = -5*o - 1, 9 = -4*d + o. Let c = 4 + d. Suppose -c*u + 69 = u. Solve -5*z + z + u = 3*q, -3*q = -3*z - 9 for z.
2
Suppose 3*g = -3*j + 6, 4*g = -3*j + 6*g + 16. Solve j = -5*a + 2*q - 18, -5*q = -5 for a.
-4
Let z = -2 - -2. Let b = 1 - z. Suppose -5 + b = 2*x - 5*k, -3*k = -5*x + 9. Solve 0*u - u = -x*v + 15, -u = 0 for v.
5
Let c(f) = f**3 + 5*f**2 - 16*f - 13. Let r be c(-7). Solve -x - 3*l = 4, 7 = -2*x + 4*l - r for x.
-4
Let a(i) be the first derivative of 8*i + 3 - 1/2*i**2. Let p be a(5). Solve -5*h + 0*l + p*l + 15 = 0, 6 = 2*h + 5*l for h.
3
Let a(l) = -2*l + 28. Let j be a(7). Solve -2*s = 7*u - 3*u - j, 4*s - 3*u + 5 = 0 for s.
1
Let i be (-111)/(-9) + 1/(-3). Let z = i - 9. Solve 3*w - 2 = g - 3, z*w - 5*g = 19 for w.
-2
Let a = -12 - -12. Suppose -3*w - 5 - 10 = 0. Let c be (-25)/(-2)*(-4)/w. Solve -4*k - 7 + 42 = 3*f, a = 3*f - 5*k + c for f.
5
Let g be (1 - -1)*(-2)/(-4). Let r = 3 + -1. Solve -3 = -2*w - r*a + g, -4*a = w - 14 for w.
-2
Let n be 2/6 - 6/(-9). Let w = 1 + n. Suppose -w*s - 6 = -4*s. Solve -3*v = 5*a - 15, -3*v - s*a + 7 + 2 = 0 for v.
0
Let x be (-9)/(-11) + 22/121. Solve -2*w + 1 + 1 = 4*n, x = 3*w + 5*n for w.
-3
Let x be 0/(-1) + -5 + 7. Solve 4*d + k = -x*k + 1, 2*k = 5*d - 30 for d.
4
Suppose -2 = 3*f - 17. Solve 0 = -o - l - 1, f*o = -2*l + 4*l - 19 for o.
-3
Let t = 55 - 46. Solve -5*k - 3*f - 9 = -k, 3*f + t = -k for k.
0
Let o(x) = -x**3 + 7*x**2 + 9*x - 6. Let v be o(8). Suppose 3*q = 4*z - 0*z - 21, 5*z + 5*q - 35 = 0. Solve -v*j = 3*k + 9, -3*k + z = 15 for j.
0
Let n(r) = 9*r - 3. Let u be n(2). Suppose 0 = 3*z + u, -a + 4 + 1 = 3*z. Solve 2*t + i - 10 = 0, -4*i = -4*t - 3*i + a for t.
5
Let m(g) = g**3 - 8*g**2 + 6*g + 10. Let k be m(7). Suppose -c - k*r = 1 - 14, 0 = -4*c + 3*r + 97. Solve -4*u - p = -c, -p + 4*p - 1 = u for u.
5
Let g = 8 - 6. Suppose 4*n - g*n - 6 = 0. Solve -5*p - 15 = 2*x, -x - n*x - 3*p = -5 for x.
5
Suppose 0 = 2*k, 2*f - 5*k + 5 - 13 = 0. Suppose 20 = 4*o - 4*v, 0 = 4*o - 3*v + 4*v. Suppose 4 = l + o. Solve -l = -h, 5*i = f*i + 3*h - 13 for i.
-4
Suppose 9 + 1 = 2*g. Solve 2*s - g*v - 8 = 0, 5*v = v for s.
4
Let h(q) = -3*q + 21. Let s be h(6). Suppose 0 = p - 3, 3*w - 2*p - 3 = -p. Solve -s*y = -c - 4, w*c + 2*c = -3*y + 29 for c.
5
Let f(n) = -n - 2. Let d be f(8). Let j = -8 - d. Solve j*a - 3*u - 2*u = 0, 0 = u for a.
0
Let y be 1*-1*(0 - 4). Suppose -3*j - 4*m + 16 = j, 0 = -y*j + 3*m + 30. Suppose -15 = 3*a - j*a. Solve -5 = 4*z + a*p - 42, 0 = 3*p - 15 for z.
3
Let x(t) = -t**2 - t + 4. Let n be x(0). Let c = -28 - -30. Let u = 5 + -1. Solve b + n*z = 1 - u, -5*b - c*z = -3 for b.
1
Let z = -65 - -68. Let r = -7 + 11. Solve 0*f - f + z = -t, 3*f = r*t + 8 for t.
1
Suppose -2*k - 61 - 43 = 0. Let h = k + 88. Suppose -4*o = -b + 20, 3*b - 8*b = o - 16. Solve 6*q = 2*q - b*j + h, 4*q = 3*j + 8 for q.
5
Suppose -w - 4 = -4*s, -3*w + 6*s - 2*s - 20 = 0. Let p(i) = i**2 + 4*i - 17. Let x be p(w). Solve -y = 2*y, x = -5*r - 3*y for r.
-3
Let g be (-32)/(-20) - 4/(-10). Suppose 2*z + 20 = 4*h, 0 = -0*z - 2*z - 3*h + 15. Suppose z = r - 1. Solve -3*x - g*m = 2*m + r, 0 = -4*x - 4*m for x.
1
Suppose -4*a + 57 = 17. Let i(n) = -n**2 + 4*n + 3. Let r be i(4). Solve -1 = 2*u + r*f, 2*u + 3 = f - a for u.
-5
Let v(q) = q**2 - 11. Let a be v(-5). Solve -5*b + b + a = 2*s, 2*b - 6 = -2*s for s.
-1
Let l(r) = r**2 + 6*r - 10. Suppose 3*u - 21 = 6*u. Let p be l(u). Let m = 7 + p. Solve -10 = -d + k, -3*k + 5 = -m*d - 8*k for d.
5
Let a = 27 + -25. Let x(c) = -c**3 + 6*c**2 + 2*c - 7. Let w be x(6). Let d = -1 + w. Solve d*q + a*z = -3*z, -3*q + 4*z = 0 for q.
0
Suppose 7*j = 44 - 9. Solve 0 = -c - d + 2*d - 8, -19 = j*c + 2*d for c.
-5
Let g = -10 + 11. Suppose 2*x - 25 = -q + g, 2*x + 3*q = 30. Solve c + x = -2*j, 0 = 2*j + 3*c + 17 - 1 for j.
-5
Let y = 118 - 98. Solve -4*p - y = 0, -5*w - 2*p + 2 = 7 for w.
1
Let l be 2/(3 + 15/(-6)). Solve -3*v - 6 = 3*t - 0*v, -4*v = -l for t.
-3
Let o = -1 + 4. Let h = 6 - 4. Let y = o + h. Solve 3*s - 6 = 4*c, 4*s = -c + y*c + 4 for s.
-2
Let h = 15 - 9. Let v = h + 15. Solve 0 = 4*a + 5*r + 9, v = -a - 0*r - 5*r for a.
4
Let y be (9/6 - 1) + 20/8. Solve 6 = 2*u + y*a - 1, 5*u + 3*a = 4 for u.
-1
Let y be (-64)/(-12) + (-2)/6. Suppose 2 = d - y. Suppose -5*l + 3 = -d. Solve -2*s = 5*z - 15, z + 15 = -2*s - l*s for s.
-5
Suppose 0 = -4*l - 4 + 16. Solve -18 = 3*t - l*m, -2*t + 0*t = 4*m + 6 for t.
-5
Let l be (65/(-15) - -4)/(2/(-6)). Solve 4*p - l = -3*k, 0*k - 2*p - 12 = 4*k for k.
-5
Let d be 2*((-21)/(-6))/7. Solve -2*n - 5 - d = 0, -2*j = -2*n for j.
-3
Suppose 0 = -0*z - 3*z + 4*t + 23, t = 3*z - 17. Let w = 7 - z. Solve -2*c - 2*c + 4 = -3*l, -l + w = -3*c for c.
-2
Suppose 25 = -4*h - h. Let b = h - -6. Let o(t) = t**3 + 1. Let j