- 1 = -g for t.
1
Let u be (-4 - 5)*4/6. Let i be 32/(-24)*u/4. Solve -3*k + k = i for k.
-1
Suppose 10 = -3*d + 34. Let f = d + -2. Solve -f*c = -3*c for c.
0
Let b = 11 + -24. Let i = 3 - b. Solve 3*f = -f + i for f.
4
Let k be (-44)/(-10) - (-6)/(-15). Suppose 4*n + 3*n = 7. Solve p - n = k for p.
5
Suppose -3*y + 6 = 3*l, 5*l + y = 14 - 0. Solve 0 = -l*d - 5 + 2 for d.
-1
Suppose -s + 9 = 2*s. Suppose -f = 3*r + 3, 2*r - 56 = -4*f + 7*r. Solve 0 = -4*q + s + f for q.
3
Suppose b - 6 = -1. Solve -3*l + b = -8*l for l.
-1
Suppose 0 = 3*p + p + u - 11, -4*u = 20. Suppose -2*g + p = -g. Let v(s) = s**3 + 3*s**2 + s - 2. Let x be v(-2). Solve x = h - g*h + 6 for h.
2
Let a = -3 + 4. Suppose 4*x + a = 3*x. Let z be -2*(x - -2 - 2). Solve 5*n - 3*n = z for n.
1
Let f = 37 + -21. Let j = 9 + f. Solve 5*r = -0*r - j for r.
-5
Suppose 6*m - 11*m = 10*m. Solve -4*u + 1 + 15 = m for u.
4
Let c = -46 + 47. Solve 0 = 3*i + c - 4 for i.
1
Suppose -8 = 2*z - 20. Suppose 2*v = -0*v + z. Suppose v*y + 5 = 4*y. Solve 5 = -y*a - 0 for a.
-1
Let y(n) = -n**3 + 5*n**2 + 12*n - 27. Let w be y(6). Solve -w = 5*v + 16 for v.
-5
Suppose -4*g - 3*c = -22, -5*g = c - 7 - 15. Let o be (-10)/(-6) + 1/3. Let m be 2/g*o - -1. Solve w + m = -1 for w.
-3
Let g = -6 + 0. Let q = 9 - g. Solve q = 3*l - 0 for l.
5
Suppose y + 2 = 8. Let k = y - 5. Let r = 4 - k. Solve 3*f - 9 = r for f.
4
Let p = 15 + -15. Solve 2*g + 2 = -p for g.
-1
Suppose 3*y = 4*y - 13. Solve 3*z = y + 2 for z.
5
Suppose 0*f - f = -20. Solve 0 = -4*w - w - f for w.
-4
Suppose -4*p + 5*l = -3, -5*p = 7*l - 2*l - 15. Suppose p + 2 = 2*g. Solve -g*o + 3 = -o for o.
3
Let v = 0 + 1. Let r = 3 + v. Suppose r*b = 5*b - 2. Solve -j = b*j for j.
0
Suppose 0 = 3*c - 5*c + 4. Solve -3*k + 3 = -c*k for k.
3
Let k be ((-12)/15)/(1/(-5)). Let c = 7 - k. Solve -u - c*u = 16 for u.
-4
Let d be (-32)/(-18) + 2/9. Let q be d/2 - 0 - 7. Let h be 4/(-8) + q/(-4). Solve h = 2*i - i for i.
1
Let o = 80 + -54. Suppose -o = -3*m + 1. Let t(d) = -4*d**3 - d**2 - d. Let g be t(-1). Solve 3 + m = g*w for w.
3
Suppose 2*c - 15 = -3*c. Suppose 0 = 5*n - 39 - 6. Let q = n + -1. Solve -5*m + q = c for m.
1
Suppose r - 5*u = -16, -3*r = -u - 7 - 1. Let p = -31 + 51. Solve -p = -d - r*d for d.
4
Let y(o) be the third derivative of -o**6/60 - o**5/20 - o**4/24 + o**3/3 + 2*o**2. Let m be y(-2). Solve 2*w + m - 2 = 0 for w.
-3
Let w(x) = x + 2. Let v(d) = -d**3 - 6*d**2 + 8*d + 10. Suppose 5*c + 51 = 4*b, -c + 5*b + 8 = -5*c. Let k be v(c). Let r be w(k). Solve 0 = 6*p - r*p for p.
0
Let s = 69 - 64. Solve 0*g = s*g + 20 for g.
-4
Let r(v) = -4*v - 6. Let w be r(-4). Let i(b) = -b + 8. Let j be i(6). Solve 0 = 4*g + w - j for g.
-2
Let r(x) = -x**3 - 9*x**2 - 18*x - 24. Let g be r(-7). Suppose l - 6*l + 5 = 0. Solve -13 + l = g*f for f.
-3
Let j = -19 + 23. Solve -k - 3*k = j for k.
-1
Let o = -34 + 34. Solve -f + 2*f - 5 = o for f.
5
Let j = 3 - 3. Solve j = -2*r - 2*r - 20 for r.
-5
Suppose 0 = -4*m - 17 + 29. Let o = m - -2. Solve -2*f = -f + o for f.
-5
Let o be (-38)/(-8) + (-3)/4. Solve 3*f - o + 1 = 0 for f.
1
Let c(t) = -t**3 - 16*t**2 + t + 16. Let b be c(-16). Let o = -1 - -4. Solve -o*j - 9 = -b for j.
-3
Suppose -2*l - 3*l = -10. Let n be ((-1)/3)/(7/(-63)). Solve -l = -s - n for s.
-1
Let l be (1 - -3) + -2 + 0. Let a be 0*(2 - 10/4). Solve -l*g - 6 + 16 = a for g.
5
Let n = -18 + 25. Solve 2*d - n*d + 10 = 0 for d.
2
Let z be ((-1)/(-2))/(2/28). Let d = -4 + z. Suppose -t - v = -0*v, 4*v = 3*t. Solve t = -y - d*y for y.
0
Let m be (-96)/(-52) - 2/(-13). Let q = 7 - m. Solve q*w + 22 = 2 for w.
-4
Let t(h) = -h + 8. Let a be t(11). Let g be 3 - (-2 - (-12)/a). Solve -25 + g = -4*n for n.
4
Suppose 0 = -6*p + p + 20. Suppose -5*s - 2*y + 3 = 0, 4*s - 9 + 1 = p*y. Solve n = -0 - s for n.
-1
Let m = -3 + 2. Let v be -16*(-1)/m*-3. Suppose -2*z + v = 2*z. Solve 4 = 4*n + z for n.
-2
Let z be (10/4)/(40/32). Solve -2*r = -3*r + z for r.
2
Let i be 3 + (-1)/(-2)*-6. Let s = 3 - i. Solve 0*d = s*d for d.
0
Let b = 1 - -5. Let n be ((-8)/3)/((-4)/b). Suppose n*w - 2*j - 20 = 0, -4*w + 2 + 12 = j. Solve w = 3*t - t for t.
2
Suppose 28 - 10 = 2*u. Solve -2*w + u = w for w.
3
Let n(w) = -w**2 + 7*w + 8. Let k be n(8). Suppose k*f - 4*f + 104 = 0. Let d = 44 - f. Solve -4*r - d = -2 for r.
-4
Suppose 4*q + 1 = -2*a + 7*q, -q = 5*a - 40. Solve -a*b - 10 = -2*b for b.
-2
Let x(r) = -r - 4. Let q = -16 + 7. Let g be x(q). Suppose 3*v = -0*v. Solve g*i + 4 + 1 = v for i.
-1
Suppose 2 = -0*v + v. Suppose 3*a - 68 = -v*s, -76 = -3*a - a + s. Let h = -8 + a. Solve 0 = -0*g - 3*g + h for g.
4
Let z(w) = w**3 + 9*w**2 + 7*w + 1. Let b be z(-8). Let j = -5 + b. Let a = -7 - -18. Solve -9 = j*o + a for o.
-5
Suppose d + 38 = 3*h, 58 = 2*h + 2*h - 5*d. Suppose -k - k = -h. Suppose -4*g + 2*g = -k. Solve -g = -3*s - 18 for s.
-5
Let c = 1 + 3. Let u = c - 2. Solve u*s = 4*s - 10 for s.
5
Suppose -s - 4 = -k, 3*k - 14 = -0*s + 5*s. Suppose -7*a = 8*a - 30. Solve -a + k = -d for d.
-1
Let k be 3 + 2/(-1) + 3. Solve -2*x + k = -x for x.
4
Suppose 0 = -4*j + y + 1 - 4, -15 = -j - 5*y. Solve -2*x = -j*x - 6 for x.
3
Let l(y) be the second derivative of 3*y**5/20 + y**4/12 - y**2/2 + y. Let k = 28 - 27. Let f be l(k). Solve 3*r + 0 = f for r.
1
Suppose 3*t = -2*f + 19, 0 = -3*t - t - 2*f + 22. Solve 0 = -0*v - t*v + 6 for v.
2
Suppose -4*f = -3*f. Solve 4*g = 12 - f for g.
3
Suppose -3*o = -57 + 21. Suppose -4*b - 3 = -4*w - 19, -o = -3*b + 2*w. Solve y + b*y = 0 for y.
0
Let z = -6 + 8. Suppose -z*s + 3*l = 15 - 0, 5*l - 25 = 3*s. Let x = s - -7. Solve -4*p + x - 23 = 0 for p.
-4
Let n be (-4 + 0)*-1 - -1. Let p = 6 - n. Solve -3*r + p = -11 for r.
4
Let z(d) = d**2 + 5*d - 3. Let q be z(-6). Let c(a) = 2*a**2 - a + 2. Let f be c(2). Let k = -6 + f. Solve k*t = 5 - q for t.
1
Suppose 2*z - 3 = z. Solve -1 - 5 = -z*q for q.
2
Let a(d) = 3*d - 4. Let c = 4 - 0. Let u be a(c). Solve 5*h = -u - 2 for h.
-2
Let f(r) = -r**3 - 3*r**2 + r - 2. Let u be f(-4). Suppose -5*i + 2*y - 10 = -i, 0 = 3*i - 2*y + u. Solve i*l - l = 0 for l.
0
Let m = 7 + -14. Let h(q) = -q**2 - 9*q + 2. Let u be h(m). Solve 0*d = -4*d - u for d.
-4
Let z be (-2)/6 - (-106)/(-6). Let t be (-86)/z - (-2)/9. Suppose -t*u + 13 = -2. Solve q + 2*q = -u for q.
-1
Suppose 0 = -2*c + 4*c. Solve 2*k = -c*k - 6 for k.
-3
Let s(y) = y**3 + 7*y**2 + 6*y + 2. Let u be s(-6). Suppose v - 21 + u = 0. Let j = -3 + v. Solve -6 = 2*p - j for p.
5
Let j(d) = -4*d - 9. Let o(r) = -3*r - 8. Let a(t) = 2*j(t) - 3*o(t). Let l be a(-6). Solve 5*i - 15 = -l*i for i.
3
Suppose 0*w = l - w - 2, -6 = -3*l + w. Solve l*j = j for j.
0
Suppose z - v + 4 = 4*z, 10 = -5*v. Let f(q) = -6*q + 0 - 3 + z. Let h be f(-1). Solve -12 = h*a - a for a.
-3
Suppose -5*s = -4*j, -3*j - 4 = s - 23. Solve -3*u + s = -2 for u.
2
Let u be 0*(0 - 1/(-2)). Suppose -5*d + 3*d + 6 = u. Let i be 44/11 - (-2)/1*-1. Solve i*t = t - d for t.
-3
Let t be (-4)/14*14*-1. Let j be 5 - (-3 - (-8)/t). Solve 4*q - j*q = -10 for q.
5
Let m(f) = -f**3 + 16*f**2 + 18*f - 12. Let d be m(17). Solve 0*h - 25 = d*h for h.
-5
Suppose 13*t - 10*t = 15. Solve -a + t*a = 0 for a.
0
Let a = 0 - 0. Let b(x) = x**2 + 4*x. Let l be b(-5). Suppose -3*g - 4 = -3*m + 5, -2*m + l*g = -3. Solve -m = -2*t - a*t for t.
2
Suppose 2*g - 10 = -3*g. Suppose 5*m - g*m = 54. Suppose 3*d + 9 + 18 = 4*p, 3*d = p - m. Solve n - 2 - p = 0 for n.
5
Let u(t) = -t**3 + 23*t**2 - 23*t + 29. Let o be u(22). Solve -5*p = -3 - o for p.
2
Suppose 3*g - 4*g + 6 = 0. Let k be ((-4)/g)/((-2)/15). Solve 0 = 5*l + k + 10 for l.
-3
Let x(j) be the second derivative of -j**5/20 - j**4/4 + j**3/3 - 5*j**2/2 + 22*j. Suppose -2*y = -4*y - 8. Let g be x(y). Solve g*p = -p for p.
0
Let n = -11 - -11. Suppose -w + n = -2. Solve w*c + 4 + 2 = 0 for c.
-3
Let b(r) = -r**3 - 14*r**2 - r + 7. Let f be b(-14). Suppose 4*w + 5 - f = 0. Solve 2 = -w*m - 2 for m.
-1
Let t = 25 + -21. Solve -t*f - f - 5 = 0 for f.
-1
Suppose 4*w = 5*i + 21, -i - 14 = -3*w + i. Solve -j = 3*j + w for j.
-1
Let h be (13/(-52))/(-2 + 39/20). Solve -12 = h*k - k for k.
-3
Suppose -3*h = -4*m + 1, 2*h + 3*h + 2*m = 33. Solve 0 = h*q + 2 + 8 for q.
-2
Suppose t + 2 = 3*z, 16 = 5*t - z - 2. Solve 11 + 1 = -t*m for m.
-3
Suppose 