 1 - u for i.
5
Let s(w) = -w**3 - 4*w**2 + w + 6. Let p = -50 - -46. Let n be s(p). Solve -n*m + 3 - 11 = 0 for m.
-4
Let j be (-28 - 0)*8/(-28). Suppose -4*c + 4*b = 0, -j = 3*b + b. Let g(m) = m + 8. Let u be g(c). Solve 0 = -k + u - 4 for k.
2
Let w = -12 + 47. Let a = -23 + w. Let v = a - 7. Solve -v*x + 16 - 1 = 0 for x.
3
Let q = -1030 - -1057. Let w = -10 - -15. Solve -w*z = q - 7 for z.
-4
Let f be 2*3*(-21)/(-18). Solve 6*b = f*b for b.
0
Let c(u) = u - 15. Let p be c(13). Let a be (-4 + 3 - -3) + p. Solve a = -v - 3*v for v.
0
Let c = -3 + -30. Let y = -13 - c. Suppose 3*d - 8*d = -y. Solve 0 = -2*j + d*j - 8 for j.
4
Let z(l) = 2*l**3 - 28*l**2 - 2*l + 30. Let k be z(14). Solve -3*v - v = -k*v for v.
0
Let i = 1 - 6. Let b be (-1)/i - (-34)/5. Suppose -b*f = -f. Solve 4*l + 2 - 10 = f for l.
2
Let f(c) = 9*c**2 - 11*c + 6. Let n(w) = -5*w**2 + 5*w - 3. Let s(y) = 4*f(y) + 7*n(y). Let d be 44/5 + (-14)/(-70). Let l be s(d). Solve -r + 2 - l = 0 for r.
-1
Suppose 4*y = y + 12. Let r(g) = -5*g + 23. Let f be r(y). Solve 2*o - 5 = -f for o.
1
Let i = 21 - 6. Suppose -5*k = 0, i = 5*d + 6*k - k. Solve g - d*g = -6 for g.
3
Suppose 0 = 2*k - 0*k + 8. Let q be 1/k + 42/8. Suppose -2*n = -3*l - 44, -5*n - 13*l + 10*l = -47. Solve n - q = 4*x for x.
2
Suppose 5*x + 0 + 1 = -4*q, 0 = -4*x + 3*q + 24. Suppose x*c + 0*c = 18. Suppose -2*v - 2 = -3*s + 10, v - 4*s = -16. Solve -5*p + c*p + 1 = v for p.
-1
Suppose 0 = -9*w + 281 - 56. Let h(b) = -b**2 + 25*b + 4. Let l be h(w). Solve 0 = 3*o - 2*o + l for o.
-4
Suppose 0 = 8*l + 47 + 17. Let w be 30/3 + (l - -6). Solve 5*m - 2 - w = 0 for m.
2
Let g(r) = -r + 1. Let m(j) = j**2 + 9. Let f(x) = 6*g(x) - m(x). Let u = 56 + -61. Let n be f(u). Solve -n*w = 3*w - 10 for w.
2
Let w(t) = -t + 4. Let m be w(-1). Suppose 0 = v - m*v + 8. Let f be (-87)/(-6) + v/4. Solve -4*y = -y - f for y.
5
Let x = 29 + -15. Let w = 17 - x. Suppose 2 = 4*i + 2*a, 0 = -i + 3*a - a - 2. Solve w*c - c = i for c.
0
Let m(i) be the second derivative of i**3/6 + 3*i**2/2 - i. Let x = -45 - -51. Let o be m(x). Solve -3*p - 6 = o for p.
-5
Suppose -c = -f + 3*c - 4, 0 = 5*f + 4*c - 28. Suppose -4*x - 3*q + 3 = -3, f*q = -5*x + 7. Solve 2*z - 5*z = -x for z.
1
Let g(r) = -16*r**3 + 106*r**2 + 5*r - 105. Let f(v) = 3*v**3 - 21*v**2 - v + 21. Let l(w) = 11*f(w) + 2*g(w). Let z be l(19). Solve z*c = 3*c + 5 for c.
-5
Let y = 130 - 45. Let f = 89 - y. Solve 3*x = x - f for x.
-2
Suppose -f = 5*c - 2, 0 = 3*c - 7*f + 3*f + 8. Solve 0 = -m - c - 4 for m.
-4
Let p(m) = -5*m - 4. Let a(u) = -6*u - 5. Let t(c) = -4*a(c) + 5*p(c). Let b be t(-5). Let h = 5 - b. Solve 0 = -5*l - h*l + 25 for l.
5
Let d be (-6)/39 + 790/65. Let w = -31 + 48. Suppose 0 = -5*t + w + 8. Solve j - d = t*j for j.
-3
Suppose r - 8 = -2. Suppose -25 = -11*j + r*j. Suppose -5*z + 8 = 2*a - 0*a, -5*a = j*z - 20. Solve z = -2*v + 3 + 3 for v.
3
Suppose -5*d = -6*d. Suppose d = z + 5 - 6. Suppose -n + 13 = z. Solve -n = -4*r - 0*r for r.
3
Suppose -5*v + n + 0*n = -47, -v = n - 7. Let s be 3/v + (-7)/21. Let b(d) = d**3 - 2*d + 6. Let r be b(s). Solve -w = w + r for w.
-3
Suppose 3*i - 2*i - 4*s = -3, 5*s - 60 = -5*i. Solve i*r - 11*r = -10 for r.
5
Suppose 28 = 5*z - 22. Suppose -z*x = -7*x. Suppose 5*r - 2*r - 12 = x. Solve -r*d + 5 = 1 for d.
1
Let f = 129 - 123. Solve -f*x + 4 = -2*x for x.
1
Suppose 12 = 4*r + t, 4*r + 10 = 5*r + 2*t. Solve 0 = -0*s - r*s - 2 for s.
-1
Let d(r) = -3*r**2 - 31*r + 25. Let j be d(-11). Solve j*y = y - 6 for y.
-3
Let l = 103 + -31. Suppose -82 = -5*v - l. Let x be -3 - (-7 + -1 - 3). Solve v = 3*g + x for g.
-2
Let a be 6 + -10 + -3 + 7. Solve a = -w - 4*w - 10 for w.
-2
Let o be -6 + 48/56*7. Let z = 7 + -4. Suppose -3*t + 5*s + 21 = 0, -5*t - 2 = z*s - 3. Solve 10 = t*l - o for l.
5
Let w be (-10)/(-5*(-4)/100). Let a = -30 - w. Solve -2*d = 2*d + a for d.
-5
Suppose 32*c - 34 = 27*c - 2*m, 4 = 2*c + 4*m. Solve -b + 6 = c for b.
-2
Let p be (0 - 3)*(-4 + 3). Let o be 0/(-2) - (11 - 9). Let f = o + p. Solve 3*y = 4*y - f for y.
1
Suppose v - 3 = -t, -2*v + 0*v - 3*t = -6. Suppose 0 = 4*u - v*u - 2. Solve -1 = u*m - 3 for m.
1
Let g(v) = -9*v + 80. Let q be g(7). Solve 0 = q*t - 13*t for t.
0
Suppose 20*s + 28 = 19*s. Let o be -1 - (7/(s/(-8)) - 7). Solve o*g = 3*g - 1 for g.
-1
Let i be ((-8)/24)/((-2)/198). Let q = -30 + i. Solve -q*m = -6*m - 9 for m.
-3
Let h(q) = q**3 - 5*q**2 + 4*q + 3. Let x be h(4). Suppose -2*b - 4 = -4*b. Let c be 16/b*(-14)/(-7). Solve x*u = -u - c for u.
-4
Suppose 166*i - 340*i = -170*i. Solve -12*o - 34 - 26 = i for o.
-5
Suppose 2 = -d + 4*p - 4, 5*d - 2*p + 12 = 0. Let t be (d/(-6)*-2)/(10/(-30)). Let y(f) = f**3 + 4*f**2 + 2*f + 1. Let z be y(-3). Solve 0 = t*o - o + z for o.
-4
Let d be (-3 - (5 - 2)) + 9. Solve d = 12*s - 15*s for s.
-1
Suppose -130*g + 153 = -113*g. Solve 28*k = 19*k + g for k.
1
Let r be ((-114)/(-24) + 0)*8*1. Let q = r + -34. Solve -q*v - v + 5 = 0 for v.
1
Let r = 950 - 936. Solve -5*k - 24 = -r for k.
-2
Suppose -22 + 112 = 3*r. Let a = 30 - r. Solve a*l - 4*l = -20 for l.
5
Let i = -1 + 1. Let k = 2 - i. Let z(r) = -13*r - 13. Let d be z(-1). Solve -k*s - 3*s + 20 = d for s.
4
Suppose -37*o + 363 + 1043 = 0. Solve h + o = 34 for h.
-4
Let l(d) = 0*d - 28 + 7 + 14 + 4*d**2 + 8*d. Let p be l(-3). Solve p*c = 6*c for c.
0
Suppose -d + 12*b = 7*b - 32, 2*d = 3*b + 57. Suppose d*k - 17*k = 0. Solve k = -5*s - 4 - 1 for s.
-1
Let p = 1753 - 1745. Solve p*b = 12*b + 20 for b.
-5
Let y be 22/3 - (-30)/(-90). Solve -y = -d - 8 for d.
-1
Let h(a) = 21*a**3 - 2*a**2 + 9*a - 6. Let z be h(1). Solve m - z = -23 for m.
-1
Let d be -6 + -7 - (-10 + -3). Solve 18*o - 6*o + 36 = d for o.
-3
Let k be (1 - 29/(-2))/((-3)/(-6)). Let u = -5 - 22. Let t = k + u. Solve -t = -2*x - 12 for x.
-4
Let r(q) = -q**2 - 6*q - 6. Suppose -20 = 5*u - 0*u. Let h be r(u). Let v = 23 - 21. Solve v*n = 3*n + h for n.
-2
Suppose 48*h = -17 + 593. Suppose -5*b = 4*n + 1, 4*b + 4*n + 8 = -n. Solve -b*w + h = -0*w for w.
4
Let p(a) = a**3 - 9*a**2 + a - 4. Let w be p(9). Suppose -3*k - 2*k = -4*n + 4, -5*n + 4*k = -w. Suppose -i + 4 - n = 0. Solve -8 = -m - i*m for m.
2
Let m be 1520/60 + (-8)/(-12). Solve -o - m = -28 for o.
2
Let o be (2 - (2 + -1))*-5. Let a = -5 - o. Let t = 0 - -5. Solve a = t*x - 3*x for x.
0
Let k(l) = -18*l + 126. Let y be k(7). Solve y = -9*h + 26 - 62 for h.
-4
Let j be 4 - (-3)/3 - (-6 + 6). Suppose 21 = 16*w + j. Let c = -4 + 7. Solve f + w = -c for f.
-4
Let g = 450 + -317. Suppose 7*m - 3*m - 120 = 5*f, 2*f = 5*m - g. Solve 9*r - 4*r = m for r.
5
Let r(d) = -2*d**3 + 16*d**2 + d - 8. Let p be r(8). Let z(f) = -f**3 + 2*f + 2. Let t be z(p). Solve s = -t*s for s.
0
Let v(c) = -c**2 - 11*c - 16. Let t be v(-8). Let j be 9*(-12)/(-45) - t/20. Solve 2*s = -j*s for s.
0
Let o = -58 + 59. Let b be o*-3*(6 - 7). Solve -b*m - 2*m = -10 for m.
2
Let k = 1042 + -1017. Solve -9 = -4*o - k for o.
-4
Let z(d) be the second derivative of d**4/12 - d**3/6 - 3*d**2 + 22*d. Let w be z(3). Solve w = -t - 4*t - 25 for t.
-5
Let g(v) = v**2 - 34. Let j be g(-6). Solve 10 = -2*n + j for n.
-4
Let g(d) be the third derivative of -d**6/120 + d**4/12 + 2*d**3/3 + 10*d**2. Let k be g(-2). Solve 3*z = k*z + 25 for z.
-5
Let l(z) be the second derivative of -z**5/20 + 2*z**4/3 - 5*z**3/3 - 6*z**2 + 13*z. Let g be l(6). Solve g = 5*q - 5 for q.
1
Suppose -6*q + 4*q = 32. Let p be (-57)/(-12) - 4/q. Suppose -30 = -2*s + p*h, -3*h - 2 = s + s. Solve -4*t + 1 = -s*t for t.
-1
Suppose -4*z - 280 = -292. Suppose -4*f - 4*j = 12, -3*j = 2*f - 2*j + 2. Solve 0 = d + f - z for d.
2
Let d be (0 - -5) + -7 + 2. Suppose 4*v + 5*u - 24 = 0, v + u - 6 = -d*v. Solve v = w + 5 for w.
1
Suppose m - 3*m + 16 = 0. Let f be m*(-1)/(-2) - 0. Solve -f*x + 12 = -0*x for x.
3
Let w(u) = -u**3 - 7*u**2 + 13*u + 6. Let f be w(-7). Let k be 10/3*(-51)/f. Solve -3*x = -5*x - k for x.
-1
Let t(l) = 30*l - 55. Let o be t(2). Solve o*p + p = -6 for p.
-1
Let u(c) = c**2 - 26*c + 4. Let n be u(26). Solve 0 = 7*x + n + 3 for x.
-1
Suppose -2*q + 4 = 4*n, -2*q = n - q. Suppose 3*d = -2*d + 25. Suppose -d*j = -5*r + 20, 5*j = -0*r - 4*r + 34. Solve -n*y = r - 0 for y.
-3
Let i = 201 + -194. Solve -i*n - 5 = -8*n for n.
5
Suppose -2*b + 