ve -f*i = 7 + 3 for i.
-2
Let c be (-6)/9 - (-2)/3. Let t(b) = -b**3 + b**2 - b + 3. Let w be t(c). Suppose -2 = 3*a - 2*o, 8*o = -3*a + 5*o + 3. Solve 2*g + g + w = a for g.
-1
Let g = 26 - 16. Let c = g - 21. Let o = c - -13. Solve o*k + 3*k = 20 for k.
4
Let b(x) = 4*x. Let m be b(6). Suppose -2*q = -3*q + m. Let k = -20 + q. Solve f + 10 = -k*f for f.
-2
Let j(z) = 3*z**2 + z + 2. Let a be j(-1). Suppose -5*q - 24 = -n - q, -2*n + 28 = -a*q. Solve n*u = -0*u + 8 for u.
2
Let r = -10 + 14. Solve 0 = w - r + 2 for w.
2
Let b be (-230)/1955 + (-53)/(-17). Solve 8*c + 44 = -b*c for c.
-4
Suppose 49 = -2*z + 9*z. Solve 0 = -5*v + z + 3 for v.
2
Let x(y) = 13*y + 9. Let c(w) = -6*w - 5. Let n(o) = 9*c(o) + 4*x(o). Let p be n(-6). Let a be ((-3)/p)/(1/(-2)). Solve 4 + 2 = a*l for l.
3
Suppose -4*r = -2*l + 21 - 123, -111 = -4*r - l. Let d = -22 + r. Suppose 0 = d*o - 4*o. Solve -6*g + g + 5 = o for g.
1
Let g(c) = 2*c - 5. Let m be g(7). Suppose 11 = -y + 14. Solve -2*l + y = m for l.
-3
Let h = -3 - -6. Let b(w) = -w**3 + 3*w**2 + w + 5. Let i be b(h). Solve 5*l = 3*l - i for l.
-4
Let k = 5 + -6. Let d = k - -7. Suppose -z + d = z. Solve -c + 0 + z = 0 for c.
3
Suppose -5*c + 3*x + 366 = 0, c + 0*x = 2*x + 76. Suppose -11*p = -7*p - c. Suppose 0 = -4*t + 6*t - p. Solve -2*j - 3 + t = 0 for j.
3
Suppose 0 = -2*y - 22 + 10. Let r = y - -9. Solve -r*z = -0*z for z.
0
Suppose -2*i - f = -5, 2*i - 5*i + 5 = f. Solve i = 3*y + 2 - 5 for y.
1
Let i(v) = v**3 + 9*v**2 + v + 11. Let y be i(-9). Suppose 0 = -15*j + 11 + 79. Solve -y*z + 4 = j for z.
-1
Let a = 14 - 18. Let p be (a/3)/((-4)/78). Let w = 28 - p. Solve 3*t = -w*t for t.
0
Let g = -824 + 848. Solve -2 = 11*v - g for v.
2
Let x(k) = k**3 + 5*k**2 + 6*k + 6. Let f be x(-4). Let a = -2 - f. Suppose a = -0*d + d. Solve d = 4*p - 6 - 2 for p.
2
Let u = -153 + 159. Solve 0 = -u*j + 48 - 18 for j.
5
Suppose 3*d = -6*o + 3*o - 12, 15 = 5*o - 2*d. Let t = 6 - 2. Let a = t - o. Solve b = -a*b + 12 for b.
3
Let x be 6/9*(-42)/(-4). Solve -5*n - 3 = x for n.
-2
Let u(n) = -12*n - 11. Let w be u(5). Let v = 73 + w. Solve 2*j + 10 = v for j.
-4
Let d(b) = b**3 - 6*b**2 - 6*b - 11. Let v be d(7). Let f be v*(-12)/(-40)*-5. Solve 4*g - 2 = f for g.
2
Suppose -4*y + 3*y + 9 = 0. Let x(p) = 2*p + 22. Let i = 9 - 18. Let h be x(i). Solve -h*n = -y*n for n.
0
Let u(s) = -2*s**2 + 16*s - 6. Let z be u(7). Let g be (-5)/(-40) - (-23)/z. Solve x - 12 = -g*x for x.
3
Let s be (-2 - 0) + (39 - 37). Solve s = -4*g + 3 - 7 for g.
-1
Let n(k) = 4*k**3 + 3*k**2 - 7*k + 5. Let z be n(2). Let j = 37 - z. Solve 0 = d + j + 2 for d.
-4
Let o = 928 + -919. Solve o = 4*n - n for n.
3
Let b = 68 - 58. Solve -16*f + 24 = -b*f for f.
4
Suppose z - 8 = 4. Suppose -3*f + z = -9. Let r = -3 + f. Solve 12 + 8 = -r*t for t.
-5
Let j(y) = y**2 + y + 5. Let l be j(0). Suppose 2*a + 2*x - 8 = 0, l = a - 0*a + 2*x. Suppose u = a*u. Solve 0*c - 4*c + 20 = u for c.
5
Let c = -8 - -10. Suppose 2*a = c*h - 14, -4*a + a - 17 = -2*h. Suppose m + 5 = h*u, m = 3*m - 6. Solve 0*s = -u*s + 4 for s.
2
Let t = 82 + -77. Let w(f) = f**3 - 4*f**2 + 3. Let s be w(4). Solve -7 - t = s*m for m.
-4
Suppose 2*z - 36*z + 748 = 0. Let k(h) = h**3 - 2*h**2 + h + 1. Let g be k(-2). Let b = g + z. Solve -5*s = -0*s - b for s.
1
Let c(k) = -2*k**2 + k + 3. Let i(j) = -2*j**2 + 3. Let l(r) = 5*c(r) - 6*i(r). Let b be l(-3). Let w be 2*-1*3/(-2). Solve -2*z + z + w = b for z.
3
Let i be 18/48 + 234/16. Solve 18*g = i*g for g.
0
Suppose -4*k + 63 = -13. Let g = -14 + k. Solve -5*c = -15 + g for c.
2
Suppose 8*s = -21*s - s. Solve -1 = -o - s for o.
1
Let a be ((-116)/(-8))/(14/8 - 2). Let l = -56 - a. Solve 0 = -2*i + i + l for i.
2
Let y(i) be the third derivative of 0 + 5*i**2 + 0*i + 1/24*i**4 - 4/3*i**3. Let w be y(9). Solve m - w = -2 for m.
-1
Let q(b) = -b**3 - 2*b**2 - 16*b - 27. Let u be q(-2). Solve -r = 10 - u for r.
-5
Let r = 9 - 6. Suppose -4*k + 164 = -4*h, -k + r*h + 0*h = -51. Let l = k + -34. Solve -7*j + 25 = -l*j for j.
5
Let g be (-7)/(-5) + -2 - (-78)/30. Solve 3 = -m - g for m.
-5
Suppose 4*l - 5*c = 2, -11 + 1 = -4*l + c. Suppose -5*b + 2*f = -25, -l*f - 1 - 2 = 4*b. Solve -b*p - 5 = -2*p for p.
-5
Let d be (-91)/28 - (-3)/12. Let i be 12 + (-5)/(-15)*d. Suppose 3*n + i = 4*s, 2*s = -n + 13 - 0. Solve -s*r = 7 + 3 for r.
-2
Let d be 1 + (-2 - -2) + -1. Suppose -4*b - 19 = -2*b + 5*u, u + 5 = d. Solve b*t - t = 2 for t.
1
Let b(t) = -t + 5. Let z be b(4). Let x(j) = j**3 + 1 - z - 13*j**2 + 3. Let g be x(13). Solve 8 = g*m - m for m.
4
Let k be (-2 - -2)/1 - -1. Suppose -2*u = 3*u - 6*u. Solve 0*z - z - k = u for z.
-1
Suppose -2*n + 20 = -0*n. Let d = n + -6. Suppose -y = -2*p - 0*y - 3, 5*p - 2*y = -5. Solve -5*j - d = p for j.
-1
Let o(u) be the third derivative of -u**5/15 - u**4/8 + u**3/6 + 7*u**2. Let a be o(2). Let n be (-4 - 0 - a) + 3. Solve 0*d = 5*d + n for d.
-4
Suppose 90 = 20*x - 210. Solve 0 = -5*z - x + 10 for z.
-1
Suppose 6*b = b. Suppose b*p + 8 = 2*p. Suppose -p*z = -j - 3 + 2, 2 = -4*z - 2*j. Solve 3 = -s - z for s.
-3
Let k be (15/(-2))/(60/(-200)). Let u = k - 25. Solve 0*f - 4*f - 12 = u for f.
-3
Let d(h) = -h**2 + 9*h + 15. Let l be d(11). Let i = l - -9. Solve 0 = 3*g - 4 - i for g.
2
Let h be (-28)/(-2) - 186/31. Solve 18 = h*o - 6 for o.
3
Suppose 446 = 3*z + 4*n + 394, n + 42 = 2*z. Suppose -4*i = -t - 39, -i + 3 - 17 = -5*t. Solve -7*u = -i*u - z for u.
-5
Let v = 130 + -125. Suppose -3*s + 36 = -0*s - y, 2*s - 24 = 5*y. Solve v*o = o - s for o.
-3
Suppose 2*g = 8, 2*g + 0*g - 48 = 5*m. Let a be (-30)/m*(-16)/(-6). Solve a + 10 = -4*y for y.
-5
Let m = -552 - -562. Solve -k - 15 = -m for k.
-5
Suppose -5*g + 9*b - 8*b + 141 = 0, 5*g + b - 149 = 0. Solve g + 16 = 9*z for z.
5
Let h be 5*(2 - 10/25)/2. Solve 4*c + 2*c = h*c for c.
0
Let p be 3/12*-2*0. Let q be 25 - ((p - 0) + 1). Suppose q = n + n. Solve -n = o + 3*o for o.
-3
Suppose -23*d = 11 - 241. Solve 5*g + d = -0 for g.
-2
Suppose 0 = 4*z + j - 4 - 4, -4*z + 20 = -2*j. Solve 14 - 2 = z*h for h.
4
Suppose 2*o = 6*t - 2*t + 12, 2*o - 3*t = 9. Let s = 0 + o. Solve 3*v - 7 + 22 = s for v.
-5
Suppose -11*j + 12 = -8*j. Let q be (-14)/(-2) - 7/(28/8). Solve -j = -q*d - 29 for d.
-5
Let u(m) = 8*m**2 + m - 3. Let r be u(-3). Let o = r - 66. Solve -4*q + 21 - 5 = o for q.
4
Let p = 970 + -968. Solve 0 = 4*x - p*x + 2 for x.
-1
Let a(t) = -t**3 - 23*t**2 + t + 27. Let i be a(-23). Solve -i*o = 8 + 4 for o.
-3
Let s be ((-42)/(-11) + -4)*(-11 - 0). Solve -41*o + 42*o = s for o.
2
Let p = -143 + 162. Solve p*z = 17*z + 4 for z.
2
Suppose -5*q = -12 + 2. Let v be (-22)/(-121) - 4/22. Suppose -3*t + 9 - 3 = v. Solve -8 = -q*g - t for g.
3
Let f = -41 + 21. Let a be (4/10)/((-4)/f). Suppose a*u + u = -n + 12, -2*u = 5*n - 73. Solve -n = 3*b - 0 for b.
-5
Suppose -m = 25 - 26. Let f be 2*(2 - m/(-2)). Solve 0 = f*b + 4 + 11 for b.
-3
Let v be -2 - (-2 + 0)*5. Suppose -g + 2 = -0*g - b, -3*g + 4*b = -v. Solve g = 2*q + 4 - 10 for q.
3
Suppose 13*n - 89 = 12*n. Let p = -84 + n. Solve -l = -0*l + p for l.
-5
Let r(s) = -s**3 - 5*s**2 - 3*s - 3. Let k be r(-5). Let f be (-3)/k*-4 - 0. Solve 2*l - l = f for l.
1
Suppose -o - 8 = -4*y + 25, 5*o + 45 = 5*y. Solve -6 = -11*l + y*l for l.
2
Let j be 2/(-4 + 23/6). Let m = j + 12. Solve m = 4*g + 8 for g.
-2
Let n be (-11)/(-2) - (10/(-4) - -2). Solve 0 = 3*y - n for y.
2
Suppose 7*n = 13*n - 90. Let m be (18/n)/(6/20). Solve w - 1 - m = 0 for w.
5
Suppose -5*p = -h - 1, -p + 11 = h + 6. Solve 32 = -h*c + 28 for c.
-1
Let x(b) = -19*b - 16. Let h(s) = -28*s - 24. Let v(z) = -5*h(z) + 7*x(z). Let j be v(-5). Let d be 0 + j/(-3) - 1. Solve -5*o = -d*o - 12 for o.
-4
Suppose 141*r + 36 = 139*r. Suppose 0 = -3*a + 7*a - 2*l + 78, 25 = 5*l. Let i = a - r. Solve -h - i = -2*h for h.
1
Let y be 4 - (6 - 2) - -3. Suppose -9 = -b + 1. Solve y*s + 2*s = b for s.
2
Let b(u) = -u**3 + 4*u**2 - u - 2. Let y be b(3). Let f(j) = j**3 - 4*j**2 + 3*j - 3. Let i be f(y). Solve 3*w = i - 0 for w.
3
Suppose 5*f = -5*h + 25, h + 7 - 9 = 2*f. Solve -h*c = 4*c + 8 for c.
-1
Let b(g) be the first derivative of g**2 + 7. Let t be b(8). Let n be (-12)/t - (-57)/12. Solve -15 = -p + n*p for p.
-5
Let j(z) = -z**2 - 6*z - 3. Let r be j(-4). Suppose x 