c = -f + 3 for c.
2
Let y be (-2)/6*(-2 - 16/4). Solve 4*m - y*m = -4 for m.
-2
Let z be 2/(-6) + 77/33. Solve 5 - z = g for g.
3
Let q(f) = f**2 + 3. Let d = 13 - 10. Let a be q(d). Let h be 2/3*(-15)/(-2). Solve 0 = -h*z - a - 8 for z.
-4
Suppose 3*n - 12 - 18 = 0. Let j(l) = -l**3 + 9*l**2 + 11*l - 7. Let w be j(n). Solve 10 = 2*h + w*h for h.
2
Let h(z) = 2*z**2 - 9*z - 2. Let d be h(5). Suppose 12 = i + 2*i. Solve i*c - 9 = d for c.
3
Let m = 18 + -3. Solve f = -2*f + m for f.
5
Let f = 1 + -1. Suppose f = 5*z - z. Suppose k + k = z. Solve p + p = k for p.
0
Suppose 0 = -m + 4*j - 6, 5*m + 5*j = -0*m + 20. Let d be m/2 - (1 + -2). Let u be (d/3)/((-2)/(-6)). Solve 2*y + 20 = -u*y for y.
-5
Let j be (-150)/14*-1 + 8/28. Solve -2*p - 1 = -j for p.
5
Let x(t) be the third derivative of t**5/120 + t**4/12 + t**3/6 + 2*t**2. Let m(u) be the first derivative of x(u). Let c be m(5). Solve -3 = 2*b + c for b.
-5
Suppose -3*w = -2*v - 3, 4*v - 3*w - 2*w = -5. Let n = -9 - -9. Solve v = 3*t - n*t - 12 for t.
4
Suppose -4*y - 8 = 0, 2*p - 6*y - 30 = -3*y. Solve -q = 2*q + p for q.
-4
Let a = 27 + -18. Let u be (-3*1 - -1) + a. Solve 2*j - u - 1 = 0 for j.
4
Suppose 20 = -2*o - 2*d, o - d = -0*d - 12. Let k = 31 + o. Solve k = y - 5*y for y.
-5
Suppose -6*s = -14 + 2. Solve 0 = t - 4 + s for t.
2
Let h = -19 + 28. Let k(a) = -4*a**3 - 6*a - 1. Let z(x) = -3*x**3 - x**2 - 5*x - 2. Let m(t) = -4*k(t) + 5*z(t). Let o be m(6). Solve -h = 3*d - o for d.
5
Let i be (-12)/14*42/(-9). Solve 15 = i*v + v for v.
3
Let r = 18 + -9. Let c be (-3)/3*(4 - 6). Let l be -3*(c - 30/r). Solve 2 = -2*n - l for n.
-3
Let a = 4 - 4. Suppose -i + a = 1. Let x be (1/3)/(i/(-6)). Solve -x*b + 0*b = 10 for b.
-5
Let j = -12 - -15. Solve 0 = -3*q - 0 - j for q.
-1
Let a be (-3 - -6) + (4 - 5). Solve a*g + 0 = 2 for g.
1
Let a(p) = p**2 - 5*p. Let c be a(5). Suppose 3 = q - 0*q. Solve -q*s + c*s = 0 for s.
0
Let k(v) = v - 6. Let l(p) = 12*p - 78. Let w(s) = 27*k(s) - 2*l(s). Let i be w(3). Solve 1 = y + i for y.
-2
Let x = -1 + 3. Let s(k) = k**3 - k**2 - 2*k. Let o be s(3). Solve -h - o = x*h for h.
-4
Let d(v) = v + 17. Let b be d(-7). Let w = 0 - b. Let t = w + 25. Solve 3*c - 3 + t = 0 for c.
-4
Suppose -2*v - 2*k = -4*k - 18, 3*v - k = 25. Let u be 4 + ((-2)/1)/(-2). Solve -u*t + 33 - v = 0 for t.
5
Suppose -7 = -2*v - 1. Let n(r) = r**2 + 2*r - 2. Let q be n(v). Solve 2 + q = -5*x for x.
-3
Suppose -f + 3*f = 0. Suppose -5*v - 17 = 2*y - y, 5*y - 4*v - 31 = f. Solve y*g = 24 - 9 for g.
5
Let s(b) = b**3 - 4*b**2 - 4*b - 2. Suppose 35 = -2*j + 7*j + 5*c, -3*j - c = -17. Let g be s(j). Solve 2 = -a - g for a.
-5
Suppose -72*y = -78*y + 18. Solve -c + 6 = y for c.
3
Let m be (-8)/3*(-27)/18. Suppose -2*h + 0*h - 2 = 0. Let l = h - -1. Solve -m*r + r - 6 = l for r.
-2
Let l = 7 + -3. Let v(r) = -r**3 + 6*r**2 - 2*r + 3. Let d be v(l). Suppose 0 = -3*q + d + 9. Solve -3*k + 0*k = q for k.
-4
Suppose -5*x + x = 0. Solve 5*t - 22 - 3 = x for t.
5
Let p = -7 + 4. Let y = 8 + -11. Let v = p - y. Solve -3*u + v = 3 for u.
-1
Suppose 16 = -3*h + 28. Let t be 0/(-2 + (0 - 0)). Solve -6*i + h*i + 4 = t for i.
2
Suppose w + 4*v = 19, 4*w - 46 = w - v. Solve -2*l + 7*l - w = 0 for l.
3
Suppose n - 2*s = -2*n + 16, -5*s - 27 = -n. Solve n*g - 6*g = 0 for g.
0
Let k(c) = -c + 3. Let t be k(-3). Let s be (-3 - (1 - 2)) + 2. Let d be 39/12 - (-2)/(-8). Solve -d*z = -s*z + t for z.
-2
Let l be (-3)/2*(-20)/6. Let y(p) be the second derivative of -p**4/12 + p**3/6 + 5*p**2 - 3*p. Let j be y(0). Solve 3*n + l = -j for n.
-5
Suppose -9*h = h - 40. Solve -h = -n - 7 for n.
-3
Suppose 5*p = -2*w + 31, -w - 2*p + 2 = -11. Solve -w*v + 19 = 4 for v.
5
Let s be ((-4)/(-1))/(2*1). Suppose 0*j - 6 = -3*j. Suppose 0 = -2*k + 3*k. Solve k = -j*n + 8 + s for n.
5
Suppose 2*m - b = 7, -2*m + 3*b - 9 + 26 = 0. Solve m - 2 = -j for j.
1
Let s(n) = -n**3 - 5*n**2 + 3*n - 6. Let r be s(-6). Let h be 42/(-9)*r/(-14). Solve 0 = -0*j + h*j - 20 for j.
5
Let k(b) = -b - 5. Let l be k(-5). Suppose -4*p = -l*p - 24. Solve -4*h + p = -h for h.
2
Suppose 0*m - f = 3*m - 5, f = -5*m + 11. Suppose 0 = m*k + k + h - 10, -3*h = k - 8. Solve g = -k + 6 for g.
4
Suppose 0 = -2*s - 3*d + 2, 2*s + 4*d - 1 = s. Solve t + s = -1 for t.
-2
Let a(b) = -b**3 - 9*b**2 - 7*b + 10. Let k be a(-8). Let m = 2 - 1. Solve -k*c - 7 = m for c.
-4
Suppose v - 3 - 3 = 0. Suppose 0 = 3*t - 2*m - 36, 0 = 4*t - 3*m - 29 - 20. Solve -h + v*h = t for h.
2
Suppose 2*v = g + 22, 16 = v - 0*v + 2*g. Solve -3*j - j + v = 0 for j.
3
Let k(v) = -v**2 - 10*v + 10. Let j be k(-10). Suppose -4*c = c - j. Let d be 0/(-1)*1/(-2). Solve d = c*n + 2*n + 4 for n.
-1
Let b(m) = 4*m**2 + m - 1. Let t be b(1). Solve -s - 12 = -t*s for s.
4
Suppose d + 12 = 5*s + 2*d, 5*s - 3*d - 4 = 0. Suppose -5*z + 5*l + 5 = 0, 2*l = -s*z - 2*l + 14. Let q be (12/8)/((-3)/(-16)). Solve z*x = x + q for x.
4
Let l be 328/20 - 2/5. Suppose 3 = 3*v - 15. Solve 2*b - v*b = -l for b.
4
Suppose 2*u - 4*u + 64 = 0. Suppose w + f + 2*f = 0, 4*f = 4*w - u. Solve 10*j - w*j = -8 for j.
-2
Let b(y) = -y**3 + 4*y**2 + 2. Let j be b(4). Solve -j*u = u for u.
0
Suppose 3*s = m + m + 8, 0 = 3*s - 12. Suppose h + 5*f = -m*h, 3*f = 0. Solve h*u - 3 = -u for u.
3
Let y(g) = 5 + 0 - 2*g + 0. Let d(v) = v - 9. Let m be d(5). Let i be y(m). Solve -5*o + 2 + i = 0 for o.
3
Suppose -4*a = -9*a + 100. Suppose -5*w + a = -5*d, -w + 3*d = -6*w - 4. Solve -5*r - w - 14 = 0 for r.
-3
Let l = 13 - 25. Let d be (-3)/l - (-39)/4. Suppose 2*w - 4*w = -d. Solve -k = 4*k - w for k.
1
Let u(m) be the first derivative of m**3/3 + 5*m - 3. Let j be u(-4). Solve -5*s - j = -6 for s.
-3
Let p be 2/6*(-1 - -16). Suppose -f - 3*z + 0*z = -18, -p*z + 28 = f. Suppose -f*o = 0, 4*y + 1 = 3*o + 21. Solve -y*i = -0*i - 10 for i.
2
Let o be 4 - (3 + -3 - 1). Solve -2*v = -v + o for v.
-5
Let k(h) be the third derivative of -h**5/60 - h**4/3 - h**3/3 - h**2. Let c be k(-7). Suppose 3*u + p - 19 = 0, 5*u + p = u + 27. Solve -u = -c*d + d for d.
2
Let b(s) = -s - 1. Let y be b(2). Let o be y*(1 + -3 - -1). Suppose 4*r - 3*u - 16 = o*r, 0 = -r - u. Solve r*x + 0 - 4 = 0 for x.
1
Let l be (21/(-3))/(-1) + -1. Suppose -2*t + l = t. Solve -t*f + 5 = 3*f for f.
1
Suppose -2*p - 2*y = -y - 22, 50 = 5*p + 5*y. Solve -5*d + p = -8*d for d.
-4
Suppose 2*d = -n + 1, 2*n = -2*n + 2*d + 14. Suppose k + n*k - y = -6, -4 = 2*y. Let m be ((-12)/((-3)/(-1)))/k. Solve 0 = -m*f + 4 + 6 for f.
5
Suppose -s = -2*s + 3. Let t(r) = -3*r**3 - 1. Let x be t(-1). Suppose -5*v - 2 = 3*b, -s + 2 = -x*b - v. Solve 5*q + 21 - b = 0 for q.
-4
Suppose 2*k + 2*k - 12 = 0. Solve 2*z - k*z = 1 for z.
-1
Suppose 0 = b - x, x + 3*x - 27 = -5*b. Solve b = -3*r - 6 for r.
-3
Let n be (1 - 3/2)*-90. Let r = 0 + 2. Suppose r*d - n = -d. Solve -5*s + d = 5 for s.
2
Suppose 2*s - 3 = 5. Suppose 4*y + t - 28 = 0, -y + 0*t = t - s. Solve 2*l = -0*l + y for l.
4
Let y(m) = -m**2 + 2*m + 1. Let n be y(-1). Let i be (2/6)/(n/(-36)). Solve i*r - 3*r = 0 for r.
0
Let v(a) = a + 14. Let d be v(-8). Let g be (d/15)/(1/5). Let c(p) = p**3 - 3*p**2 + 3*p - 2. Let j be c(g). Solve -4*m + j = 8 for m.
-2
Suppose -o + p + 5 = 3*p, 4*o = 5*p + 7. Let z be 29/o - 1/(-3). Solve 4*m - 6 - z = 0 for m.
4
Let a(y) = y**2 + 3*y - 6. Let m be a(-5). Let z = 11 + -15. Let w(l) = -l**3 - 5*l**2 - 5*l + 1. Let g be w(z). Solve d - m = -g for d.
-1
Let g(k) = 2*k. Let j be g(-2). Let r be j + 1 - 5/(-1). Solve 0 = -r*x - 0*x + 6 for x.
3
Let v(x) = -x**3 + 12*x**2 - 9*x - 2. Let m be (-2 - -3)/((-4)/(-44)). Let i be v(m). Solve -i = k - 5*k for k.
5
Suppose -1 = -3*p + 5. Suppose -7 = -2*n - p*k - 3, -n + 14 = -5*k. Solve -n*t + 15 = 3 for t.
3
Let h(w) be the first derivative of w**4/4 - 2*w**3/3 + w**2 + w - 5. Let r be 9/4 - (-1)/(-4). Let c be h(r). Solve -1 = k - c for k.
4
Let h(d) = -d**2 - 3*d + 2. Let z be h(-5). Let x be (-12)/z*4/3. Suppose -x*n = -5*p - 25, -5*n + 56 = 5*p + 11. Solve 3*f - 5*f = n for f.
-5
Let a(o) = o**2 + 2*o - 1. Let y be a(2). Suppose -y*s + 2*s + 20 = 2*b, s + 3*b - 17 = 0. Suppose 16 = 4*l - w + 3, 3*l - s*w = 16. Solve 2*h = -0*h - l for h.
-1
Let a(g) = -g**2 - 6*g. Let s be a(-5). Let d(h) = h**3 - 17*h**2 - 17*h - 16. Let f be d(18). Solve 1 = f*