= -5*t for t.
0
Let a = -41 - -63. Solve -4*j + a = 6 for j.
4
Let s be ((-16)/(-20))/(4/30). Solve -s*a = -2*a for a.
0
Suppose q + 4*v - 6*v - 6 = 0, -23 = -5*q + 3*v. Suppose 4*z + 7 = 5*w - 9, -4*z - 16 = -q*w. Suppose 4 + w = 4*x. Solve 3*c - 4*c = x for c.
-1
Let v(w) = -w**3 + 5*w**2 - 7*w + 3. Let z be v(3). Solve z*p = -p + 2 for p.
2
Let o(y) = 4*y**3 + 0 + 6 - 3*y**3. Let h be o(0). Let f(d) = -d**3 + 9*d**2 - 11*d + 4. Let r be f(7). Solve -i + h*i = -r for i.
-5
Suppose -3*h + 16 = 2*w - 2*h, -w + 11 = -h. Suppose 2*d = d + 3. Suppose 0*r + d*r = w. Solve -2*v - r*v - 20 = 0 for v.
-4
Let t(d) = -2*d - 6. Let f be t(-7). Let b be -1 + 5 - 1 - 1. Solve -2*g + b = -f for g.
5
Suppose 0 = -3*w - 22 + 28. Suppose 4 = -m + 5. Solve -j = -w - m for j.
3
Let n(a) = a**2 - 13*a. Let h be n(13). Solve -3*g + h*g - 3 = 0 for g.
-1
Suppose -38*g + 39*g - 18 = 0. Solve -3*t - g = -3 for t.
-5
Suppose 2*r = -r + 27. Solve -4*o + r = -7*o for o.
-3
Let w be (-4)/6 - (-11)/3. Let n(i) = 3*i. Let o be n(8). Let j = -10 + o. Solve w*d + j = -1 for d.
-5
Let m = 1 + -1. Let p be 0/(2/2*1). Suppose 0 = 2*g - 27 + 23. Solve m*q - g*q + 10 = p for q.
5
Let m(i) = 13*i**3 + 29*i**2 - 33*i - 20. Let g(v) = -3*v**3 - 7*v**2 + 8*v + 5. Let q(p) = 9*g(p) + 2*m(p). Let n be q(-6). Solve 2*x - n*x = 0 for x.
0
Let p be 205/130*2 + 2/(-13). Solve -p = -h - 2 for h.
1
Let a(z) = z**2 + 3*z - 20. Let o be a(4). Solve -4*v + 0 = -o for v.
2
Suppose -t - 4*s = -17, 7 = 3*t - 2*t + 2*s. Let d be ((-9)/12)/(t/8). Solve 7*o = d*o for o.
0
Suppose 9*j = 5*j + 32. Solve b - 7 = -j for b.
-1
Let q(w) = -w + 6. Let g(d) = -3*d - 3. Let v be g(-2). Let z be q(v). Solve z*p - 8 = p for p.
4
Suppose 5*s - 370 = g, -312 = -2*s - 2*s + 4*g. Suppose -3*o - r = -47, r + s = 4*o + o. Solve 0 = -4*i - i + o for i.
3
Suppose 0 = -2*w + 2 + 2. Suppose -i = i - w. Let z be i/(2*(-3)/(-18)). Solve 0 = z*v + 1 + 2 for v.
-1
Let w be 2/(-11) + 245/77. Solve 5 = w*o + 2*o for o.
1
Let w be (-3 - 260/(-14)) + (-3)/(-7). Solve 5*a - a + w = 0 for a.
-4
Suppose -3*m + 8 = -4*m. Let h = m + 8. Solve h = -2*x - x for x.
0
Suppose -2 = -2*b + 5*b - j, -4*b + 4 = 2*j. Solve 3*z - 4*z + 5 = b for z.
5
Suppose 4*v - 23 + 7 = 0. Solve -v*r + 0*r = 4 for r.
-1
Let t be (-42)/(-10) + 2/(-10). Let b be (-16)/(-6)*6/t. Solve 3*r - b = -r for r.
1
Suppose -124 + 8 = -3*u + 4*n, -3*u = n - 91. Suppose 3*v - u = -v. Let q be 4/6*12/v. Solve 0 = -0*m - m - q for m.
-1
Let z(p) = p. Let m be z(-8). Let o = 5 + m. Let s = o + 10. Solve -5*x = 22 - s for x.
-3
Suppose -4*w - 51 + 63 = 0. Solve -w*r + 6*r = -3 for r.
-1
Let a = 0 - 1. Let f be (-1)/(1 - (-18)/(-15)). Let r be a*-1*f - 0. Solve r = -0*i - i for i.
-5
Let o(w) = -w**3 + 7*w**2 - 7*w + 6. Let h be o(6). Let t = -9 + 11. Solve h = t*y + y + 9 for y.
-3
Suppose -n = -3*t - 16, 5*t - 40 = -3*n - 2*n. Solve 12*a = 7*a + n for a.
2
Let i(h) be the third derivative of -h**6/40 + h**5/60 + h**4/24 + h**3/6 - 4*h**2. Let l be i(-1). Solve -13 = l*r + 7 for r.
-5
Let q = -12 + 12. Solve q = b - 6 + 1 for b.
5
Suppose 2*y - 3*y = -3*p - 4, 0 = -2*p - 2. Solve l - 2*l + y = 0 for l.
1
Let o be (21/9)/((-2)/(-6)). Suppose -3*z - 1 = -o. Suppose 0*p = z*p. Solve p = -4*d - 0*d + 16 for d.
4
Let o be (2 + -2)/(3/(-3)). Solve o = -0*t - 5*t for t.
0
Suppose -3*b - 3 = 5*g - 15, 0 = -4*g. Solve 5*a = -b - 1 for a.
-1
Let n be (-2 - (5 - 11))*1. Solve -n*k - 11 = -3 for k.
-2
Let p = 0 - 5. Let d be (-2)/p - (-1032)/20. Suppose -7*o = -3*o - d. Solve -o - 2 = 3*a for a.
-5
Let g(b) = -b**3 - 12*b**2 + 12*b - 14. Let z be g(-13). Let m be z/(1/(12/(-2))). Solve -5*a + m = -9 for a.
3
Suppose -69 = -3*z - 39. Solve 0 = -i - z + 15 for i.
5
Suppose -4*n - 6 = -6*n. Let q be (-1)/(-2)*n*4. Suppose 0 = -b + 2*b - q. Solve -2*w - b = -4*w for w.
3
Let f(s) = s**2 - s - 2. Let i be f(-1). Solve i = -k + 4*k + 9 for k.
-3
Let l be 1/5 + 763/35. Suppose 5*p - 8 = l. Solve -4*f + 2*f - p = 0 for f.
-3
Let a(f) = f + 4. Let w be a(0). Suppose -4*l + 17 + 7 = 3*n, 3 = l. Solve -16 = -n*i - w for i.
3
Suppose 0*d + 4*d = -8, 0 = -2*k - 2*d - 4. Solve 2 = -k*w + 2*w for w.
1
Let f = -6 - -9. Suppose 2*h + j = 24 + f, -3*h = -3*j - 54. Let d(i) = -i. Let t be d(-5). Solve -4*w - t = h for w.
-5
Suppose -z - 24 = 3*z. Let r be -4*(-1 + (-3)/z). Solve 1 = -r*w - 1 for w.
-1
Suppose -5*d = -15, -o - 2*d + 1 = -3*d. Suppose -6*t - 40 = 50. Let b = -15 - t. Solve b = o*y + 8 for y.
-2
Let t = -30 - -34. Solve 2*d - t = d for d.
4
Let u = -12 - -15. Solve k - 12 = -u*k for k.
3
Let k = -52 + 59. Solve -3 = -2*a + k for a.
5
Suppose -114*m = -113*m. Solve -t - 2*t + 9 = m for t.
3
Let o = -20 + 22. Let p = o + 5. Solve 10 = 2*x - p*x for x.
-2
Suppose 76*f - 79*f + 6 = 0. Solve -f*p + 3*p + 3 = 0 for p.
-3
Let o(g) = g**3 - 5*g**2 - 4*g - 6. Let f be (-6 - 6)/(-2*1). Let s be o(f). Solve -3*d = -0*d + s for d.
-2
Let f = -22 + -2. Let r = f - -40. Solve 0 = -2*a - 2*a - r for a.
-4
Suppose 7*c - 8 = -1. Solve n + c = -0 for n.
-1
Let u be 3 - 4/4 - -2. Solve -u = -p - 2 for p.
2
Let m = 39 + -35. Solve 5*s - m*s = 2 for s.
2
Let z(b) = b**2 - 3*b - 4. Let r be z(-3). Solve -3*v - 1 = r for v.
-5
Let u(z) = z**3 - 9*z**2 + 12*z + 14. Let q be u(7). Solve q = c - 3*c - 10 for c.
-5
Suppose 4*s + 4*o - 18 = 2*o, 0 = 3*s + 3*o - 15. Solve 2*j - 8 + s = 0 for j.
2
Suppose -2*z + 4 = 2*z, 0 = 2*u - 3*z + 49. Let j(o) = 2*o**2 + 4*o - 5. Let r be j(4). Let m = u + r. Solve -h - 3*h - m = 0 for h.
-5
Let o(h) = 3*h + 4*h - 2*h**2 + 3 - h**3 + 8*h**2. Let w be o(7). Solve 5*n = 2*n + w for n.
1
Let u(m) be the first derivative of m**2/2 + 7*m - 1. Let x be u(-5). Suppose z = x*z. Solve -2*j + j = z for j.
0
Suppose -3*l = -9, -4*o = -0*l - 2*l - 2. Suppose 0 = o*h + h - 24. Solve -4*a = -0*a + h for a.
-2
Let u = -9 + 14. Suppose u*t - 2*t - 3*q = 18, -2*q + 12 = 4*t. Solve -t*f - 12 = -0 for f.
-3
Let h(i) = i**2 + 13*i - 9. Let v be h(-14). Solve -v*u - 7 = -22 for u.
3
Suppose -a + 0*a = -u + 2, u = 5*a - 2. Suppose 1 + u = 2*m. Solve 5*o - m*o - 3 = 0 for o.
1
Suppose -k + 7 = 5*b, -k = -b + 2*b + 1. Let v(y) = -2*y - 4. Let l be v(-3). Solve -l*o - b = 2 for o.
-2
Let r = -17 - -17. Solve -4*h + 10 - 2 = r for h.
2
Let w(a) = a**2 - a. Let s be w(-2). Suppose 0 + s = 3*c. Solve c = 5*v - 3 for v.
1
Suppose 20 - 2 = 2*x. Suppose 15 + 30 = 3*t. Let k = t + -11. Solve -k*m = -x*m for m.
0
Suppose -4*m + 21 = -m. Suppose 0 = -3*t - 5*f - 17, m = 3*t - 0*t - f. Let v be 0 - -1 - t - -8. Solve d = -d + v for d.
4
Let g(w) be the second derivative of -w**3/3 - w**2/2 + 2*w. Let n be g(-1). Solve -s - n + 3 = 0 for s.
2
Let k be ((-9)/(-6))/(2/(-24)). Let p = k + 30. Let u = -7 - -11. Solve u*o + 4 = -p for o.
-4
Let v = -72 + 72. Solve v = j + 2*j for j.
0
Let u(o) = o**2 - 12*o + 34. Let c be u(8). Solve 0 = -4*q + 2*q - c for q.
-1
Suppose 28 + 9 = 5*j - 4*s, -2*j + 7 = s. Solve j*h - 9 = -4 for h.
1
Suppose -12 = -4*l + 5*p, -3 = -5*l - 4*p + 12. Suppose 0 = -2*n - 3*v - 2, l*v = -3*n + 2*n - 7. Solve -4 = -n*c + 11 for c.
3
Let w(m) = m**3 + 7*m**2 + 6*m. Let y be w(-6). Solve -s + y*s + 3 = 0 for s.
3
Let p be (-4)/3*180/(-24). Solve -5*c = p - 5 for c.
-1
Suppose -110 = j - 2*j. Suppose -1 = -0*y + y, -j = -i + 5*y. Let q be 2/(-3) - i/(-9). Solve q = 4*t - 9 for t.
5
Let u be 0/((-3)/3)*1. Suppose -12 - 3 = -5*n, u = d - 4*n + 11. Let q = 1 - d. Solve -x + q*x = 4 for x.
-4
Let a be 0 - 0/(9/3). Solve a*p - 25 = -5*p for p.
5
Let q be 3*4/6 + 0. Solve q*t + 3 = 1 for t.
-1
Let h be (-6 - 1)/(3/(-6)). Suppose -u = -3*x + h, 0*x = 3*x + 5*u + 16. Let z = 10 + -8. Solve -x*b - z*b - 10 = 0 for b.
-2
Let m = 7 + -7. Solve -4*v = -m*v - 20 for v.
5
Let f be -1 + 5/3 - 20/(-15). Solve f*a - 1 = 1 for a.
1
Let z be (-15 + 1)/(4/(-2)). Suppose 0 = p - 2*r + 7, -3*p + 0*p + 5*r = 16. Let d be 1/p - 16/(-6). Solve -d*v = -z*v for v.
0
Let h = 43 + -79. Let p be (-8)/h - 102/(-27). Solve p*i + 9 + 11 = 0 for i.
-5
Suppose 3*z = 5*w - 25, 0*w + 4*w - 33 = 5*z. Suppose 2*g = -3 + 27. Suppose -4*q = -4*o + g, 2*o + q - 6 = -4*q. Solve -o*l = w*l for l.
0
Let d(a) = 2*a + 8. Let l be d(-3). Solve -l*n - 3 = 5 for n.
-4
Suppose 3*h - 11 - 13 = 5*o, 0 = -4*h - 4*o. Suppose h*y + 16 = 46. Solve y =