*t + 20 for t.
5
Suppose -3*s + 2 = -10, -2*s = c - 11. Solve b = -c - 0 for b.
-3
Let j(x) = x**3 + 4*x**2 + 4*x + 4. Let y be j(-3). Solve 2*i + 1 = -y for i.
-1
Let b(s) = s**2 - 19*s + 57. Let g be b(16). Solve 0 = 3*y + g - 6 for y.
-1
Let a be (28/49)/((-1)/(-7)). Solve -a*m + m = 9 for m.
-3
Suppose -8 = 2*h - 20. Solve -2*t - h = 4 for t.
-5
Suppose -8*a + 13 = -3. Solve -a*m - 2 = -10 for m.
4
Let x(w) be the first derivative of w**4/4 + 5*w**3/3 + 1. Let l(b) = 2*b + 3. Let d be l(-4). Let t be x(d). Solve t = 4*s + 5 + 15 for s.
-5
Suppose -20 = f + 4*f, 0 = 4*z + 2*f + 8. Solve z = 4*s + 16 for s.
-4
Let m be 1 + -4 - -3 - -2. Suppose 3*n = 7*n. Solve -8 = m*u - n*u for u.
-4
Let v be (-14)/(-8) + (-8)/(-32). Solve v*t - 1 + 3 = 0 for t.
-1
Suppose 0 = -n - 2 - 0. Let g = n + 2. Suppose -5*b + 19*b = 28. Solve -2 = -g*v - b*v for v.
1
Let x = 36 - 28. Solve f - x = -3*f for f.
2
Let v(c) = -2*c - 20. Let r be v(-13). Solve r = 3*j - 9 for j.
5
Let w = 15 + -6. Suppose 2*l + l = w. Solve -1 = -l*h - 4 for h.
-1
Suppose -4*y + 1 = j, 4 = 2*y - 5*j - 13. Let s be y*22 - (-5 - -7). Solve s = -9*b + 4*b for b.
-4
Let t(z) = z - 2. Let a = 2 - 2. Suppose 0 = m + r - a*r - 1, 0 = -m + 2*r + 13. Let i be t(m). Solve 2*k + i*k = 0 for k.
0
Let t = -1 - -2. Let p(y) = -y**3 + 7*y**2 + 3. Let a be p(7). Solve -t = a*c - 7 for c.
2
Let y = -84 - -84. Let v(h) = h**3 + 8*h**2 + 6*h - 4. Let r be v(-7). Suppose -a + r = -1. Solve a*x - 3 - 9 = y for x.
3
Suppose 2*u = -3*h + 48, u + 3*h - 19 = 11. Let j be -4 + (-21)/(-3) - (-1)/1. Solve -j*v + u = -2 for v.
5
Let u(r) = -10*r**3 + r**2 + 2*r + 2. Let x be u(-1). Let p be 0 + -1 - (x - 14). Solve -4*f = -p*f for f.
0
Let f = 5 + -10. Let i = 5 + f. Solve a + 0*a + 4 = i for a.
-4
Suppose -3*v = 2*c + 2*v + 1, -2*v - 2 = 0. Solve c*i + 4 = i for i.
-4
Let z = -18 - -20. Suppose 4*f = -8, 2*c - 74 = -z*c - 3*f. Solve c = 5*j + 5 for j.
3
Let v(z) = z**2 + 2*z - 12. Let m be v(-5). Solve -m*w = w + 8 for w.
-2
Let h be 5*(-2 - (-44)/10). Let s be 24 + -16 + (-2 - 1). Solve -s*y + h = -y for y.
3
Suppose 0 = 2*o - 5*p + 8, 0 = -3*p - 1 + 13. Solve -2*y + o = -0*y for y.
3
Suppose 3 = -z, -13 = -x + 3*z + 6. Solve 0*g + 2*g + x = 0 for g.
-5
Let o(y) = y**2 + 22*y + 61. Let m be o(-19). Solve m*h - 1 + 9 = 0 for h.
-2
Let p be 3/(-12) - (-6)/(-8). Let a = 4 - p. Let x = 4 + -1. Solve 2*g + a = x*g for g.
5
Let o = 1 - 1. Let n = 17 - 12. Let f = n - 2. Solve o = -4*q + f*q + 4 for q.
4
Let u be (1/4)/(3/24). Suppose 0*j - 10 = -u*j. Solve j*w = w for w.
0
Suppose -5*x + x - 36 = 0. Let d = 13 + x. Solve n - 1 = d for n.
5
Let g(c) = 3*c + 1. Let l be g(-1). Let r be (-1 + 0)/(l/10). Solve j + r = -4*j for j.
-1
Suppose -4 = -x - y, -4*x = -5*y - 29 - 5. Let u be 2 + (-4)/(-2) + 0. Let t = x - u. Solve 5 = -3*k + t*k for k.
-5
Let l = 10 + -5. Suppose 0*n + 10 = l*n. Suppose -m - 3 = -n*m. Solve m = 5*w - 2 for w.
1
Let v = 12 - -7. Let r be 5 - (2 + -4 + 2). Solve r*j + 4 = v for j.
3
Let a be 638/55 + 2/5. Solve -2*p + a = p for p.
4
Suppose 2*n + k - 5*k = 12, -3*n - 2*k + 18 = 0. Suppose -4*y - n = -3*o - 29, 0 = 2*y + 5*o + 21. Solve 0*z - y = z for z.
-2
Let l(o) = 4*o**2 - 4*o - 4. Let a(h) = h**2. Let k(w) = -3*a(w) + l(w). Let s be (-16)/(-20)*15/2. Let i be k(s). Solve 4*x = -i - 4 for x.
-3
Let l(a) = -a**2 + 5*a - 1. Let k be l(4). Let r be (-8)/k*9/(-4). Solve -h = h - r for h.
3
Let v = 22 - 5. Suppose -4*y - h = v, 0 = -3*y - 4*h - 23 + 7. Let c be ((-2)/y)/((-1)/(-12)). Solve -b + c*b = -20 for b.
-4
Let m(u) = u + 7. Let w be m(-7). Suppose 0 = 2*z - 2 - 8. Let a be 8/z + 10/25. Solve w*j = 2*j - a for j.
1
Let w(f) be the first derivative of -f**3/3 + 5*f**2 + 13*f + 6. Let o be w(11). Solve -2*q - o = -3*q for q.
2
Let q be 1/3 + 5/3. Suppose u - 4 = -q. Solve -u*r = -3*r - 1 for r.
-1
Let t(a) = a + 14. Let l be t(-12). Let i be 0/(-4*2/(-8)). Let g be (-1 - (-1)/(-3))*-3. Solve i = -l*c + g*c for c.
0
Suppose 22 = -4*b + 74. Solve -b = -4*a - 1 for a.
3
Let r = 9 - 0. Solve 4*q + 7 = -r for q.
-4
Let t(p) = p**2 + 3*p + 7. Let h be t(-2). Solve -3*x - h = -8*x for x.
1
Let t = 141 - 136. Solve 15 + t = 5*y for y.
4
Let i be 35/21 + (-2)/3. Solve 0 = -q + 3 + i for q.
4
Let c(r) = r - 9. Let b be c(11). Suppose -b*h = h. Solve h = 4*d + d for d.
0
Let x = -105 + 112. Solve -3*s + x*s = -20 for s.
-5
Suppose 3*h - 2*h = 9. Let c be (2/1)/((-1)/(-4)). Let i be 46/4 + (-4)/c. Solve 5*f + h = -i for f.
-4
Let r(y) = 4*y - 5. Let a(b) = 7*b - 9. Let v(p) = 3*a(p) - 5*r(p). Let x be v(6). Solve x*w - 4 = -0 for w.
1
Let k(n) = -n**3 + 4*n**2 + 5*n + 5. Let r be k(5). Let q be 1 + -3 - (-2 - r). Suppose 20*b - 16*b - 16 = 0. Solve b*h = q*h for h.
0
Let m(n) = -3*n - 25. Let l be m(-9). Solve 0 = l*x - 0*x + 2 for x.
-1
Let n = 5 - 4. Let a = n - -1. Solve 0*j + a*j = 8 for j.
4
Let v(j) = j + 8. Let k = 7 - 13. Let b be v(k). Solve b*q - 5*q = 12 for q.
-4
Let w = -11 - -14. Suppose -w*g = g - 4. Solve v + 0*v = -g for v.
-1
Let r be 1/2 + (-34)/4. Let v be (r/(-10))/((-6)/(-15)). Solve -4*z + v*z = -4 for z.
2
Let h(m) = m**2 + 4*m - 7. Let x be h(-6). Suppose -x = n - 12. Solve -n = w - 3 for w.
-4
Let b = -32 - -35. Let f be 4/16 - (-2)/(-8). Suppose 4*t + t + 4*a + 4 = f, -2*a - 2 = -4*t. Solve t = h - b for h.
3
Let v be 10*2/(-8)*-6. Let a = v - 9. Let k = a - 0. Solve -k = -2*d - 4 for d.
1
Let n = 3 - 1. Let r = n - -22. Suppose y = 5*y - r. Solve 0*i = 3*i + y for i.
-2
Let a = 113 - 105. Solve -12 = -a*y + 4*y for y.
3
Let y = -41 + 65. Solve -4*k + 4 = y for k.
-5
Suppose -7*m + 6*m = -5. Suppose -2*c + 4*c = 14. Solve m = -3*w - c for w.
-4
Let x = 7 + -4. Solve -x*k - 17 = -2 for k.
-5
Let u = 14 + -9. Solve 0 = u*x + 4 + 1 for x.
-1
Let n be 10/20 + (-18)/(-4). Solve 0*v - n*v + 15 = 0 for v.
3
Let a(n) be the third derivative of 7*n**5/60 - n**3/6 - n**2. Let x be a(1). Solve -3*c - 6 = x for c.
-4
Suppose f - 2*d - 8 = 0, 3*f - 2*d + 0*d = 20. Let h be 4/f - 48/(-9). Let v be 2*-1 + (h - -2). Solve w = 4*w + v for w.
-2
Let x = 15 + -11. Let d be (x - 4)/(-1 + 0). Solve 5*n = -d*n + 10 for n.
2
Let c be 1/2 - 27/(-6). Solve 12 = 2*r - c*r for r.
-4
Suppose -j + 7 = 5*t - 3, 0 = j + 2*t - 4. Solve -10 = -j*g - 5*g for g.
2
Let x(n) = 2*n**3 + 10*n**2 - 5*n + 7. Let m(r) = -3*r**3 - 19*r**2 + 9*r - 15. Let c(l) = 3*m(l) + 5*x(l). Let d be c(7). Solve 0 = -d*y + 4 for y.
1
Let x(z) = 3*z**2 + 3. Let u(o) = 2*o**2 + 2. Let f(w) = 5*u(w) - 3*x(w). Let l be f(-1). Let m = -59 + 64. Solve -3 - l = -m*p for p.
1
Let m(f) = f**3 + 8*f**2 - f - 6. Let r be m(-8). Let h be r/(-6) - (-2)/6. Let v = h + 3. Solve 0 = -v*u + 2*u - 2 for u.
-2
Let f be (-10)/(0 + -2) - 0. Solve f*g = 9*g for g.
0
Suppose k - 50 = 6*k. Let m(x) = 2*x**2 - 14*x + 1. Let u(q) = 5*q**2 - 41*q + 4. Let a(d) = -8*m(d) + 3*u(d). Let b be a(k). Solve 6 + b = -5*o for o.
-4
Let r = -4 + 8. Let z(u) = 0 + 5 - r - 12*u. Let q be z(-2). Solve 4*f + f = -q for f.
-5
Let z(q) = q**2 - 2*q + 2. Let m be z(2). Suppose m*g = 5*g. Suppose c = -g + 5. Solve -h = 3 - c for h.
2
Let u = -107 + 110. Solve s + 12 = -u*s for s.
-3
Suppose 26 = 3*q - 5*p + 5, 0 = -3*q - 5*p + 51. Solve -q = -2*x - 2*x for x.
3
Let r be 23 + -3 + 3*1. Let w = r - 32. Let b be (1 + -2 - w) + -3. Solve -b - 3 = 2*m for m.
-4
Let w = 20 + -14. Let i = 7 + -3. Let v = i - 2. Solve 2*x = -v - w for x.
-4
Let d(n) = -5 + 6 - 2*n + 3*n + 3. Let a be d(-6). Let s be 21/2 - a/(-4). Solve -u = -3*u - s for u.
-5
Let c be 6/(-4 - (-14)/3). Let u(d) = -d**2 + 10*d - 3. Let p be u(c). Solve -p*b + b + 10 = 0 for b.
2
Suppose 0 = r - 3*i + 8, -4*i - 4 = -3*r - 2*i. Let s be (0 - 1 - 3)*-1. Solve -4*m + s = -r for m.
2
Let o be 31 - 5/((-10)/(-6)). Suppose 2*i + 4*r = -0*i + o, -4*i - 2*r = -32. Solve 0 = -3*k + k + i for k.
3
Let x = 42 - 22. Suppose -x + 0 = -5*u. Solve 0 = -3*c - u + 13 for c.
3
Let a(z) = -z**2 + 8*z - 4. Let d be a(7). Solve -k + d = -0*k for k.
3
Let v(j) = j**3 - 5*j**2 - 30. Let u be v(6). Solve -2*k = -u*k + 4 for k.
1
Let j be 11 - (-1)/(-2)*2. Suppose d = 6 - 3. Solve d*m - m - j = 0 for m.
5
Suppose -17 = -5*l + 3. Solve 4*k - l = 2*k for k.
2
Let i(k) be the third derivative of k**6/120 + k**5/15 + k**4/12 + 5*k**2. Let c = -9