h. Solve -y*x = -4*x + 4 for x.
-2
Suppose 18 = -s - 2. Let m be -6*1/(12/s). Solve -4*h - 2 = m for h.
-3
Let k(v) = 2*v**2 + 22*v - 12. Suppose -3*n + 48 = -7*n. Let a be k(n). Let b be (-2)/8 + 1/4. Solve b = 2*j + j - a for j.
4
Suppose 3*u = 2*u + 2. Suppose -22 = -5*h + u*h + d, 4*d = -3*h + 2. Let b(t) = -t + 1. Let r be b(-2). Solve -r*s + s = -h for s.
3
Let c(m) = -4*m - 1. Let i be c(-1). Suppose 9 = -i*n + 4*n. Solve -2*p = p - n for p.
3
Let h = -906 - -914. Solve v + h*v = 9 for v.
1
Let g be (19 + (1 - 2))/(-2). Let j(d) = -9*d - 79. Let v be j(g). Solve -u + v*u - 4 = 0 for u.
4
Let c be 33/22 + 15/6. Suppose 2*q + i - 24 = -2*i, 3*i = 0. Suppose -q = -4*y - c. Solve -y*p - p + 3 = 0 for p.
1
Let x be 488/(-40) + (-1)/(-5). Let p be (-1 - -2)/(x/(-60)). Solve 8*n = p*n - 3 for n.
-1
Let n(k) = -k + 16. Let r be n(13). Suppose 3*c - 64 = -5*l, r*c + 2*c + 4*l = 85. Solve 33 - c = 4*s for s.
5
Let t(l) = -l + 12. Let y be t(10). Solve -k = -2*k + y for k.
2
Suppose -20 + 8 = -4*r. Let t(a) be the second derivative of a**4/12 + a**3/2 - 2*a**2 - 3*a. Let x be t(-5). Solve -r*z + x*z = 3 for z.
1
Let l be (-3 - -3) + -3 + 0. Let r be (l/2)/((-6)/4). Let i be (-1 + 3)/2 + r. Solve -i = -4*y + 3*y for y.
2
Let f(k) = 3*k - 5. Let s be f(6). Let p = s - 14. Let a = p - -5. Solve 0 = -3*g - g - a for g.
-1
Suppose 3*f - 46 = -4. Let u(c) = -c**3 + 13*c**2 + 13*c + 18. Let o be u(f). Solve -m - o*m - 15 = 0 for m.
-3
Let k(j) = -4*j + 4. Let x be k(-1). Solve 0 = 2*i - 6*i + x for i.
2
Suppose 0 = h + 26 - 31. Suppose -3*p + 2*s = -s - 9, -s = -3*p + 3. Let j be 2 + (p/1 - 1). Solve 4*n = h*n + j for n.
-1
Let h = -70 - -73. Suppose 3*w - 2*u - 6 = 0, 0*w + h*u = -2*w + 17. Solve -4*b + w = -0 for b.
1
Let z = 12 + 2. Suppose 2 - z = -4*d. Suppose b - 2*y - 1 = 0, -3*y = -d*b + 6 - 0. Solve -b*t + t = 6 for t.
-3
Let m = -925 + 932. Solve -7*b = -14*b + m for b.
1
Let m(k) be the first derivative of k**4/4 + 5*k**3/3 - 7*k**2/2 + k - 3. Let p be m(-6). Suppose -3*g + 5 = -p. Solve 5*x - g = 1 for x.
1
Let i be 8/32*20*1. Suppose i*q = 125 - 25. Let k = 20 - q. Solve -5*u - 5 = -k for u.
-1
Let a be (-56)/84 - 8/(-3). Suppose 0*f = 5*f - 5*i, 0 = -a*i. Suppose 5*g = g - 3*n + 11, -3*n = -4*g + 5. Solve 2*d - d + g = f for d.
-2
Let m = -457 - -460. Solve 6*q + 3 = m*q for q.
-1
Let h be -5 + (-174)/(-21) + 4/(-14). Suppose 9 = -h*j + 30. Solve 5*f = j*f for f.
0
Let z be (3/2)/1*(-40)/(-12). Let o be ((-36)/15)/(z/(200/(-12))). Solve 4*s + 8 = o*s for s.
2
Suppose -5*p - 66 = -8*p. Suppose 6 - p = -8*d. Solve -d*a - 8 = -4*a for a.
4
Let c(l) = -l**2 + 1. Let x(w) = 6*w**2 - 3*w - 3. Let g(f) = 5*c(f) + x(f). Let z be g(2). Solve z = -y - 0 + 1 for y.
1
Let j(t) = t**3 + 4*t**2 - 3*t + 6. Let h be j(-5). Let s = -17 + h. Let z be 2/3 - s/9. Solve m + z = -0*m for m.
-3
Let u(f) = -f + 2*f - f**2 + 3*f**2 - f**3 - 1. Let c be u(1). Let b = -5820 - -5823. Solve -2*p - b - c = 0 for p.
-2
Let c(h) = 30*h + 554. Let k be c(-17). Solve b - k = -39 for b.
5
Let m be (0 - 10)/(-2) + -1. Suppose 4*z - m*n = -4, -3*z = -z + 3*n - 18. Solve -z - 1 = y for y.
-4
Let l(b) = -b**3 - 14*b**2 - 2*b - 13. Let k(j) = -4*j - 14. Let q be k(0). Let f be l(q). Solve -4*x = x + f for x.
-3
Let b = 12 + -7. Suppose -49 = -433*n + 426*n. Solve -n + 32 = -b*y for y.
-5
Let q(c) = -3*c - 38. Let x be q(16). Let y be (x/(-18) - 1) + (-16)/(-72). Solve 9*f + 25 = y*f for f.
-5
Let w = 268 + -242. Solve 0 = 2*j + w - 32 for j.
3
Let x be 4*3/(-12)*-2. Let g be (3/x)/((-3)/(-4)). Suppose 78*u - 82*u = -12. Solve u*r = g*r - 3 for r.
-3
Suppose -k - 18 = -24. Let r = k + -4. Solve 4*y + r = -14 for y.
-4
Suppose 0 = 3*y + c - 20, 5*y = -0*y + 2*c + 37. Suppose -23 = -3*v + y. Let j = -10 + v. Solve -2*p - p = j for p.
0
Let s = 3 + -20. Let f = s + 20. Let l be 228/18 - 2/f. Solve -q = 3*q - l for q.
3
Let r be (-11)/1*(19 + -21). Solve 0 = 15*q - 8 - r for q.
2
Let k(m) = m**3 - 2*m**2 - 17*m + 12. Let b be k(5). Solve -3*z = b*z + 10 for z.
-2
Let q be (-3 - (-40)/15)*15. Let x(g) = 18*g**2 + 5*g - 4. Let y(o) = o - 1. Let v(m) = q*y(m) + x(m). Let a be v(1). Solve -1 = -5*w + a for w.
4
Suppose 33*b - 41*b = -128. Solve -3*z = b - 31 for z.
5
Let x be 1 - (-32)/18 - (-8)/36. Suppose -3 = -h + x*v, -1 = -2*h - 2*h + v. Solve 2*o + 0*o = h for o.
0
Let m be -28*-1*4/8. Let k be (9 - 6)/(6/m). Let o = 9 - k. Solve -o*n = -7*n - 15 for n.
-3
Suppose -5*x + 24 = -2*p, -14 = -5*x - 3*p - 0. Let d = 11 + -17. Let o be d/10 + 115/25. Solve x*b - o = 16 for b.
5
Let h be 4 + (-5)/(10/(-8)). Suppose -g - h - 12 = 0. Let t be 4/10 - 92/g. Solve 0 = -t*l + 2*l + 15 for l.
5
Let p = -2 - -5. Suppose -p*y = -0*y. Suppose s = w - y*w - 6, -4 = 4*s. Solve w*v + 6 = 3*v for v.
-3
Let q be 2/(-3) - 5/(-3) - 20. Let m = 27 + q. Solve -4 - m = -4*n for n.
3
Let p(x) = x**3 + 9*x**2 - 10*x + 5. Let g = -17 - -7. Let u be p(g). Solve 6 + 19 = -u*t for t.
-5
Let m be (-215)/(-20) - (-1)/4. Suppose 1 - m = -5*s. Let v(h) = -h**3 + 10*h**2 + 11*h. Let r be v(11). Solve 0*o + s*o - 2 = r for o.
1
Suppose 0 = 30*v - 20*v - 1770. Solve -v*x + 172*x = 15 for x.
-3
Suppose 0 = 3*g + 3*n - 3, 0 = 5*n + 15. Suppose 0 = -3*s - 3*x + 4*x + 7, -g*x + 20 = 0. Let i be -1 + s - (-3 - -6). Solve 0 = -i*d + 2*d for d.
0
Let j(w) = 0*w - 4 - 2*w + w. Let k = -41 - -35. Let c be j(k). Solve 2*s + c + 0 = 0 for s.
-1
Let a = 105 + -96. Solve a*c = 3*c - 18 for c.
-3
Let o be 5/(30/9)*230/15. Solve -29*u = -o*u + 12 for u.
-2
Suppose -6*r = -10*r. Suppose r = 14*v - 10*v - 24. Solve 0 = v*i - 3*i for i.
0
Suppose 0 = 18*f - 16*f - 10. Let j(b) = 6*b**2 + 1. Let r be j(2). Solve r - f = 5*d for d.
4
Suppose -4*b + 49 = -5*y, 3*y = y - 2*b - 16. Let h be (3/y)/((-4)/588). Suppose 5*a = -4 + h. Solve -a = -4*u + u for u.
3
Let t = 520 - 514. Solve 0 = s - t + 1 for s.
5
Let k be 51/4*(-56)/(-42). Let m = k - 15. Suppose 0 = -s - 5*p - 16, 0 = -s + 5*p + 31 - 7. Solve 6 = m*r - s for r.
5
Suppose 2*y + 5 = 23. Suppose 0 = y*u - 8*u - 3. Suppose -2*f + j = -5*f + 2, -u*f - 4 = -2*j. Solve f*c = -2*c - 8 for c.
-4
Suppose -3*i = 5*q - 2*i - 15, 2*q - 5*i + 21 = 0. Suppose 8 = 2*p + s, -q*p - s = -4*s. Solve 5 = p*h - 7 for h.
4
Let i(u) = -21*u - 123. Let c be i(-6). Solve -t + 6 - c = 0 for t.
3
Let m = 80 - 78. Solve -10 = -m*x + 7*x for x.
-2
Let r = -4705 + 4706. Suppose 5*m + 0*m = 0. Solve m = -b - 3 + r for b.
-2
Let v(a) = -a**3 - 4*a**2 + 4*a - 3. Let t be v(-5). Suppose 5*h + 44 = 4*u, -20 = -t*u + h + 2. Let z = -11 + u. Solve 5*r - 5 = -z*r for r.
1
Let o be (-4)/10*85/34. Let j = 6 + o. Suppose 0 = -3*z + j*f, -5*z + 3*f = 4*f. Solve z*d - d + 2 = 0 for d.
2
Suppose -6*m = -9*m + 12. Let y(b) = b**2 - 4*b - 2. Let q be y(4). Let n be 4/12 + q/(-3). Solve 0 = 3*u - m*u - n for u.
-1
Let v = 26 + -30. Let u be 0*(-2)/(2 + v). Let r be 11/2 - 2/(-4). Solve -2*l + r = -u for l.
3
Let o(f) = 2*f**3 + f**2 + 10. Let v be o(0). Solve -v + 2 = -4*q for q.
2
Let q(j) = j**3 - j**2 - 4*j + 2. Suppose -7*n = -3*n - 84. Let d = -18 + n. Let w be q(d). Solve i + w = 3*i for i.
4
Suppose -35 = 3*n + 2*n. Let x = -3 - n. Suppose -194*d + 196*d = 6. Solve -v + x = d*v for v.
1
Let i be (-1)/2 + 140/56. Solve -166*l - i = -164*l for l.
-1
Suppose -4*l = -5 - 3. Suppose 4*z + 2*x + 8 - l = 0, 5*z + x + 3 = 0. Solve z*r + 8 = 2*r for r.
4
Let h = 88 - 81. Let j be (63/7 - 8) + (h - -1). Solve 0 = -j*v + 4*v - 10 for v.
-2
Suppose u - 9 = -4*s, 3*s - 9 = 7*u - 10*u. Solve c - 4 = -s for c.
2
Suppose -q + 3*q = 3*a + 21, 3*q - 3*a = 27. Solve 11*s + 5 = q*s for s.
-1
Let d(y) = y + 3. Let f be d(-1). Suppose k - 64 = -5*v, -k - f*k - 12 = -2*v. Let m(a) = a**2 - 11*a + 3. Let u be m(11). Solve 0 = -u*b - b - v for b.
-3
Let o(g) be the third derivative of 0 + 0*g + 7/6*g**3 + 1/4*g**4 - g**2 + 1/60*g**5. Let b be o(-5). Solve 0 = 3*m - b*m - 4 for m.
4
Suppose -3*f - 7*f + 4*f = 0. Suppose t = -5*t. Suppose 5*d + t*d = 0. Solve f = -2*w + 4 - d for w.
2
Let k be (-1)/(1/23*-1). Let y = k - 14. Suppose 6*t = y*t. Solve t = p + 2 for p.
-2
Suppose -10 = 6*d - 11*d. Solve 0*t = -d*t - 10 for t.
-5
Let j = 45 + -40. Suppose 0*z + v = 2*z, -v + 14 = j*z. Solve -5*u + 3 + z = 0 for u.
1
Let g(f) = f**3 - 11*f - 4. Let h 