 z*f for f.
-1
Let u = -5 - -5. Suppose -4*q + 12 = -u*q. Solve 0*f + 12 = q*f for f.
4
Let f = 2 + -7. Let t be (f/3)/(1/(-3)). Solve -40 + 15 = t*r for r.
-5
Let k be 12/2 + -2 + (7 - 4). Solve 5*m + 4 = k*m for m.
2
Let k be (-2)/(-4) - (-11)/2. Let q = -1 + k. Suppose q*d - 21 = 4*w, 28 - 2 = 5*d + w. Solve 0 = d*l - l - 8 for l.
2
Suppose 3*z - 4*q - 5 = 0, -2*z - q + 1 = -5*z. Let w be z - -4*(3 + -2). Solve 0 = -w*l + 7*l + 20 for l.
-5
Let d(g) = -g**3 + 6*g**2 + 7*g + 7. Let z be d(7). Let k = z + 1. Let r = 9 - k. Solve -w = -r + 6 for w.
-5
Let k be ((-3)/9)/(2 - (-7)/(-3)). Solve k = -x + 2 for x.
1
Suppose 0*b = 3*b - 21. Suppose 0 = -5*y + 8 + b. Solve 2*p = -y*p for p.
0
Let u = 63 - 60. Solve 2*q - 5 = u*q for q.
-5
Suppose -4*o - 5*x = -9, -2*o - 4*x - x - 3 = 0. Suppose w - 3*k = -o, -2*k + 7 - 16 = -5*w. Solve 11 = -4*j + w for j.
-2
Let t(g) = 0*g - g + 7 + 2*g - g**2 - g**3. Let a be t(0). Solve 3*c = a*c + 16 for c.
-4
Let l(b) = b**2 - 10*b + 13. Let k be l(9). Solve -4*p = -0*p + k for p.
-1
Let d(s) = -s**3 + 3*s**2 + 3*s. Let m be d(4). Let c = -2 - m. Solve -c*f + 5 = -5 for f.
5
Let b = -10 + 11. Let y be b - -2 - 0/10. Solve 0 = -y*k - 2*k for k.
0
Let v be 4/10 + (-3)/(-5). Suppose -1 = b - 9. Let s = b - 5. Solve s = t + v for t.
2
Let d be (7/(-4))/(1/4). Let i(s) = s**2 + 7*s + 1. Let o be i(d). Solve -5 = p - o for p.
-4
Suppose 5*q - 5*n - 41 = -11, -n + 9 = 2*q. Suppose 4*s - 3 = 5. Suppose 27 = s*u + u. Solve -q*p = -1 - u for p.
2
Suppose -4*q + 6 = -q. Solve -r + 3 - q = 0 for r.
1
Let v(q) = -q + 7. Let s be v(7). Let k be 18/10 + 4/20. Solve s = -3*z - k*z - 25 for z.
-5
Suppose -3*x = 6*x - 18. Solve -1 + x = -u for u.
-1
Suppose -2*n + 3*n - 3*z - 12 = 0, -2*n - 4*z = 16. Suppose -2*f + 0*f = n. Let m be (0*1/(-2))/(-2). Solve -x + f*x = m for x.
0
Suppose -3*g = -4*o - 5 - 21, -4*g - 17 = 5*o. Solve 4*h = g*h + 8 for h.
4
Let i be (-14)/((-1 + -1)*1). Let v = 10 - i. Solve -3*b - v = -6*b for b.
1
Suppose 4*g - 75 = -g. Let h be g/(-6)*6/(-5). Solve h*p - 8*p = 20 for p.
-4
Let r be (9/6)/(6/8). Solve r*g = -0*g + 8 for g.
4
Let v(g) = g**3 - 5*g**2 - 5*g - 4. Let q be v(6). Solve -m = -q*m + 3 for m.
3
Let y(o) = -o**2 - 5*o + 3. Let b be y(-4). Solve -3*h = 1 - b for h.
2
Suppose -4*y = -21 + 17. Solve -d - y = 4 for d.
-5
Let i be -2 + (0 + 1 - -7). Let r(c) be the second derivative of c**5/20 - 7*c**4/12 + 5*c**3/6 + 4*c**2 - 4*c. Let n be r(i). Solve -n*k + 3 - 5 = 0 for k.
-1
Let z(q) be the second derivative of -q**4/12 - q**3/2 + 3*q**2 - 3*q. Let y be z(-4). Solve -y*p - 2 = -0*p for p.
-1
Suppose 6*t = 3*t + 12. Solve y = -t*y for y.
0
Suppose -2*d = -17 + 1. Solve 5*a + 2 + d = 0 for a.
-2
Let v = -16 + 19. Solve -v*k + 15 = 2*k for k.
3
Suppose 3*s + 5*o = -s - 19, -5*s - 14 = 3*o. Let v be (s + 8)*(-30)/(-7). Let d be (1/2)/(3/v). Solve d*l = l - 4 for l.
-1
Let u be 21/12 - (-4)/16. Let a = u + 2. Solve 0 = -a*s + 18 - 2 for s.
4
Let t = 12 - 7. Let k = 1 - 3. Let m be (-3 + 3)*k/(-4). Solve m*w + 10 = -t*w for w.
-2
Let j(i) = i**2 - 6*i - 7. Let x be j(7). Solve x + 20 = -5*a for a.
-4
Suppose 2*j = -3*j + 10. Let w be ((0 - 2) + j)/(-3). Suppose -g + 6 = -w. Solve -d + g = 3 for d.
3
Suppose -2*r - 3*r = -35. Let o(m) = m**2 - 8*m + 9. Let v be o(r). Solve v*f + 1 = -1 for f.
-1
Suppose -2*g + 3*i + 2 = -17, -3*i - 15 = 0. Solve 0 = -3*x + g*x - 3 for x.
-3
Let r = -9 + 12. Solve r*p = 5*p for p.
0
Let z = 20 + -14. Solve -3*a - 6 - z = 0 for a.
-4
Suppose 2*m = 5*t + 3 - 38, 4*m + 28 = 4*t. Suppose 2*i - t = u - 2*u, -2*u = -i + 1. Solve -2*z - 13 = -i for z.
-5
Let o(z) = z**2 + 5*z - 7. Let d be o(-6). Let r(l) = 15*l. Let q be r(d). Let b be 6*(q/(-6) - 2). Solve -v - b = -0 for v.
-3
Let g be ((-4)/4 - -1) + 5. Let t(j) = -2*j + 12. Let f be t(g). Let x be -3*(-5 + -1 + 3). Solve 5*w = f*w - x for w.
-3
Suppose -7*x - 25 = -2*x, -5*x - 1 = 4*a. Suppose 4*q + 87 + 1 = 0. Let s be q/(-2) - 1 - 1. Solve 3*b + s + a = 0 for b.
-5
Let z = -176 + 180. Solve -z*d + 11 = 3 for d.
2
Let n = 2 + 2. Suppose 2*i + 4 = n*i. Let w(d) = -d**3 + 4*d**2 - 3*d + 2. Let v be w(3). Solve b + i = -v for b.
-4
Let z = -57 + 73. Solve -4*t + 8*t = -z for t.
-4
Suppose 0*s - 3*s = -4*z + 18, -4*z - 2*s + 8 = 0. Suppose -4*t = -5*g - 7, g = 5*g - t - 1. Let u = g + z. Solve 0 + 4 = u*c for c.
1
Let s be -1 + 23 - (-9 - -11). Let o be (-8 + -2)/(0 + -2). Solve -d + s = -o*d for d.
-5
Let x = -2 - -14. Let r = x - 10. Solve 0 = r*z - 4 for z.
2
Let h(b) = -5*b**3 - b**2 - b - 1. Let z be h(-1). Suppose 13 = q + z. Let j = 0 - -4. Solve -q - 3 = -j*o for o.
3
Let s be 6/5 - 4/20. Let o be 1/s - (-3 + 2). Solve d = -o*d - 9 for d.
-3
Let z(d) = -d**3 + d**2 + 6*d + 4. Let a be z(3). Solve 4 = -a*k - 16 for k.
-5
Let a = 172 - 170. Solve m = -a*m + 3 for m.
1
Let s be (27 - (-2 - -1)) + 1. Let j = s + -21. Let z = -8 + j. Solve 0*l + l + 5 = z for l.
-5
Let o(a) = 3 - 1 + 0 - a + 0. Let d be o(-6). Solve d = 5*k - 3*k for k.
4
Suppose -z - 1 = -3. Suppose 4*m = -4*a + 8, -z*a = -0*a - 2*m - 12. Suppose -3 = a*j + 13, -2*n - 2*j = 0. Solve n = -o - 1 for o.
-5
Let q = 51 - 51. Solve q = -0*l - 3*l + 12 for l.
4
Let n(d) = 7*d + 27. Let c(r) = 4*r + 14. Let j(x) = -5*c(x) + 3*n(x). Let g be j(-7). Solve -p + 0 = -g for p.
4
Let t(l) = l**3 + 3*l**2 - 4*l - 10. Let d be t(-3). Solve 10*x + d = 8*x for x.
-1
Suppose -2 = 3*u - 4*u. Let v(o) = o**3 - o + 2. Let s be v(u). Solve 4*p + 28 = s for p.
-5
Let k(u) = 2*u - 3. Let c be k(2). Solve 2*s - 9 = -c for s.
4
Suppose k - 3*l = 3*k + 8, 5*k + 4*l = -13. Let h be 29/4 + k/4. Let v(a) = a**2 - 17*a + 2. Let r be v(17). Solve -3*o + r = -h for o.
3
Let p = 3 - 1. Solve 4 - p = -2*z for z.
-1
Suppose 0 = 4*z - 2*z. Let n = -1 - -3. Solve -2*j - n*j - 16 = z for j.
-4
Suppose 0 = 4*b + c - 15, 0 = -5*b + c - 0 + 12. Suppose 8*a - 7*a - 2 = 0. Let j be (b/a)/((-6)/(-40)). Solve 0 = -4*q - q + j for q.
2
Let n be 2/2 + (-72)/(-18). Let s(f) = f**3 + 6*f**2 + 4*f + 1. Let t be s(-5). Let g be 4/(-6) - (-22)/6. Solve g*i = n*i + t for i.
-3
Let t(u) = -u - 3. Let b be t(-5). Suppose 4*a - 4 = x, 5*a + 7 = -b*x + 4*x. Solve 5*n + x = -4 for n.
-4
Let k be 1/(-4) + 9/4. Suppose 5*d = 34 + 66. Let y be (30/d)/((-3)/(-4)). Solve m = k*m + y for m.
-2
Suppose -5*s + 8 = 3. Solve -s = -r + 2 for r.
3
Let j(o) = o**3 - 6*o**2 - 5*o - 12. Let a be j(7). Solve r = a*r for r.
0
Suppose 7 - 1 = o. Suppose 0*s + o = 2*s. Solve -2*c + 13 = s for c.
5
Suppose 2*k - 6 = 0, -4*p - 3*k = -34 + 5. Solve -24 - 1 = p*y for y.
-5
Let h = -7 - -8. Solve -3*u + h + 11 = 0 for u.
4
Let n be 5 - (-2 - (-3)/1). Suppose b + i - 1 = 1, -17 = -b + n*i. Suppose -2*w + 2*t + 11 = 1, 0 = -5*w - b*t - 5. Solve 0 = 2*o + w*o + 20 for o.
-5
Suppose -3*x - 4*j + 9 = -2*x, 5*j = -x + 10. Suppose -4*p - 1 + 9 = 0. Solve x = -3*n + p for n.
-1
Let k be -1 + 4 - 0/3. Suppose 4*j = d + 25, -5*d + 1 = -0*j + j. Let u be j/(-10) - 12/(-20). Solve u = -2*i + 3 + k for i.
3
Let f(l) = -l**3 - l**2 + 3*l - 2. Let u be f(-3). Suppose 2 + 0 = i. Let g(o) = o - 5. Let j be g(6). Solve 0 = i*w + u + j for w.
-4
Let j(f) = -f - 14. Let l be j(-7). Let s(a) = -2*a + 3*a + 4 + 6. Let x be s(l). Solve -x*i = -2*i for i.
0
Suppose -y - 16 = -2*y. Let f = 24 + -12. Suppose 2*l + 2*l = f. Solve 0 = v + l*v + y for v.
-4
Let p = -23 + 43. Suppose -5*t + n = -p, 2*n + 3*n = 2*t - 8. Suppose -c - 2*b = 2, 4*c - 2*b - 14 = b. Solve 2*d + t = -c*d for d.
-1
Suppose 0*w - 2*k + 16 = -3*w, 4 = -3*w - 4*k. Let o = -1 - w. Solve -y - 6 = -o for y.
-3
Let x be 10 + 0 + 7 + -5. Solve 2*u + u - x = 0 for u.
4
Let o = -15 - -50. Suppose -5*g + 7*u = 2*u - o, 3*g + u - 9 = 0. Solve -2*l + 4 = -g*l for l.
-2
Let g(f) = -f**2 + 4*f + 1. Let j be g(5). Let s(n) = n + 7. Let y be s(j). Solve 3*l = -y - 0 for l.
-1
Suppose 4*s = -5*n + 15, -2*s + 12 = -4*s + 4*n. Suppose s - 2 = -m. Suppose -p + 2*p = m. Solve 0 = p*a - 3 + 9 for a.
-3
Let w be (-18)/(-45) + 54/(-10). Let b be w/((-3)/3) - -1. Solve s + s = b for s.
3
Let q(y) = -y**3 + 5*y**2 - 2*y - 4. Let p be q(3). Solve -2*i + 2 = p for i.
-3
Suppose 0 = -0*b - 3*b. Let s be 5*(0 - (-1 - b)). Suppose 0 = -d + 3*d. Solve d = -3*h + 4*h - s for h.
5
Let w(s) = s**2 - 6*s + 1. Let t be w