w*t = 12 for t.
4
Let d be ((-24)/(-40))/((-2)/(-10)). Let r be d/(-4*(-3)/8). Solve -3*p + r = 8 for p.
-2
Suppose -3*n = -2*n + l - 7, 5*n - 5*l + 5 = 0. Suppose n*v - 5 = 4. Solve r - v = 2*r for r.
-3
Suppose 3*i - 2*y = y + 9, 4*i = 5*y + 13. Solve i*x = x + 2 for x.
2
Let r be (-4)/14 - (-4)/14. Let o be 19/4 - 3/(-12). Let m(j) = -j**2 + 7*j + 5. Let f be m(o). Solve -3*i - 2*i - f = r for i.
-3
Suppose -4*s = -8 - 12. Solve 0 = -s*m + m - 16 for m.
-4
Let d = -2 - -7. Let n be (-40)/(-6) - (-2)/(-3). Let c be n/27 - 4/18. Solve c = -4*z + 3*z + d for z.
5
Let x(v) = -v**3 - 3*v**2 - v - 3. Let u be x(-3). Solve u = g + 2 + 3 for g.
-5
Let g = -24 + 27. Suppose 0*a + 4*a + g*o - 17 = 0, -19 = -5*a - 3*o. Solve a = k + k for k.
1
Let b be (-1 - 2)*(-16)/3. Suppose 0 = -3*c + b - 1, k + 5*c = 28. Solve -3*v + 0*v = k for v.
-1
Suppose m + 18 = -5*v, -4*v = -2*m - m + 3. Let a be (-10)/v*(-12)/(-8). Solve a*o = 21 - 1 for o.
4
Suppose -5 + 1 = -2*a. Suppose 4*k - 3*u + 5 = 0, -3*k + 4*u + 3 = -2. Let y be k/(15/6) + 4. Solve -a - y = -m for m.
4
Let w be (-1 - -2)/(4/3 + -1). Solve m + 2*m = w for m.
1
Suppose -19 = -2*g + r, g - 4*r + r = 2. Let k = 16 - g. Solve 0 = 3*t + 2 - k for t.
1
Suppose 2*z - 6*z + 24 = 0. Suppose -5*g = -3*g + 5*m - 18, -z = -3*m. Solve g = -2*b + 10 for b.
3
Let k(j) = 5*j. Let v(b) = -b**2 + 6*b - 4. Let f be v(5). Let t be k(f). Let z be -7*(68/(-28) + 1). Solve -t*o + z = -0 for o.
2
Let v(l) = 2*l**2 - 1. Let u be v(2). Suppose 13 = -5*z + 2*z + 2*q, 3*z - q + 11 = 0. Let s = z + u. Solve 2*y + 6 = -s for y.
-5
Suppose -34 = -4*s + 2*q, -5*q = 5*s - 0*s - 5. Let f be s/(-2 - (-21)/6). Solve -4*z + 6*z + f = 0 for z.
-2
Let h = -2 - -11. Let i = h - 6. Let l(f) = 7*f + 2. Let z be l(2). Solve -i*p = p - z for p.
4
Let b = -3 - -7. Solve o - b + 1 = 0 for o.
3
Let h(b) = b**3 + 5*b**2 + 4*b + 2. Let d be h(-4). Suppose -x + d = -3. Solve -t + 2*t - x = 0 for t.
5
Suppose -25 = -4*n - n. Solve 0 = -2*g + g + n for g.
5
Let n(g) = g + 6. Let m be n(-6). Let s be ((-3)/(-3))/(-1)*m. Solve p - 2*p + 4 = s for p.
4
Let o = 3 + -3. Let w = o - -6. Suppose -j + w = j. Solve 0*z - j*z = 0 for z.
0
Let v = 26 + -22. Solve 0*s = -v*s + 20 for s.
5
Let v = 15 + -9. Suppose 21 = 5*y + v. Let u be -3*y/(-9) - -3. Solve -s - u*s = 10 for s.
-2
Suppose -7 = -n + 2*n. Let d(p) = p**3 + 6*p**2 - 7*p + 4. Let q be d(n). Suppose 0 = 2*o + 2*o - 12. Solve -o*m - 10 = -q for m.
-2
Let x = -1 - -2. Let k = 1 + x. Let y(m) = -m**2 - 10*m - 4. Let d be y(-4). Solve 6*o = k*o - d for o.
-5
Suppose -15*c = -20*c + 15. Solve -3*z - 3 - c = 0 for z.
-2
Let t(p) = p - 7. Let j be t(10). Suppose 0*w = j*w - 9. Let i be (-1)/w*-3 + 8. Solve 4*m - i = 7 for m.
4
Let o be (-6)/(-8) - (-5)/(-80)*-4. Solve 2*q = -11 + o for q.
-5
Let l(h) = -h**3 + 10*h**2 - 8*h - 5. Let c be l(9). Solve c*t + 15 + 5 = 0 for t.
-5
Suppose 2*g = 5*g - 15. Suppose g*x - 35 = 35. Solve x = 3*r - 1 for r.
5
Suppose 13*a + 50 = 8*a. Let r = -7 - a. Solve -3 - 12 = r*y for y.
-5
Let c be (-3)/(-2 - 45/(-25)). Solve -4*j - c = -9*j for j.
3
Suppose 0 = d - 6 + 1. Let i be (d - -3)/((-4)/(-6)). Let w be (i/(-10))/((-6)/20). Solve 0 = w*t + t + 20 for t.
-4
Suppose 10 = 4*b - 2*h - 4, 2*b + 4*h - 22 = 0. Let u = b + -3. Solve -3*o + u = -5*o for o.
-1
Suppose y = 3*f - 28, 3*f + 3*y - 6 = 2*f. Suppose -q = 4*q - 3*w - 7, 5*q - w = f. Solve 0 = x - 3*x - q for x.
-1
Suppose 2*c = -2 + 6. Solve 6 = i + c for i.
4
Let u(c) = c + 8. Let h be u(-4). Suppose -5*s + 5*m = -25, -2*s - 4*m = -3*s - 1. Solve 3*v + h - s = 0 for v.
1
Suppose 4*y - 8 = 28. Solve 5*o + 16 + y = 0 for o.
-5
Suppose 4*u - 11 = 13. Solve u = 4*l - l for l.
2
Suppose -12 = a - 5*a. Solve 0 = 3*f - a - 9 for f.
4
Let c = -56 + 59. Solve -28 = 5*k - c for k.
-5
Suppose 3*u - 2*z - 16 = 4, -4*z - 28 = -4*u. Suppose 4*i - u*w - 17 = -w, -2*i - 4*w = -2. Solve 0 = -d + i*d for d.
0
Suppose -2*h - 17 = -5*s, 0 = 3*s - 4*s - 5*h - 2. Solve 12 = b + s*b for b.
3
Let a(r) = -2*r + 6. Let l be a(6). Suppose 3*p + 3 = 4*k, 3*k + 2*k + p = -20. Let j be k*l/27*21. Solve 3*w = 2 - j for w.
-4
Let w(o) = -o**3 + o**2 + 2*o + 2. Let l(v) = -v. Let g be l(-1). Let j be g/(-2) - (-12)/(-8). Let q be w(j). Solve -p - p = -q for p.
5
Let i(s) = -s**2 - 3*s + 30. Let q be i(-7). Solve q*c = -c + 12 for c.
4
Let y be (-1 + -1)/(-5 + 4). Let i be (y + 1)/((-6)/(-4)). Suppose 0*s - 24 = -i*s. Solve 2*o - s = 5*o for o.
-4
Let o = -42 - -24. Let p be 32/(-18) - (-4)/o. Let v be (0 - p/(-3))*-3. Solve v*c = -c for c.
0
Let m = 0 - -5. Let k = m + -6. Let t be (-5 + 0 - k)/(-2). Solve -s - s - t = 0 for s.
-1
Let k be (4 - 2) + (-2 - 0). Suppose k = -2*p + w - 28, -4*p + p + 4*w - 37 = 0. Let s be (-50)/p - 2/6. Solve -5*i - s = -4*i for i.
-3
Let t = 1 + -1. Solve -2*g - 6 - 2 = t for g.
-4
Suppose -22 = -3*q - 4*k, 7 = -q + 2*k + 1. Let l be 3/q + 3/6. Solve 2*g + l*g - 16 = 0 for g.
4
Let w(i) = i**3 - 9*i**2 + 8*i + 3. Let b be w(8). Suppose f = b - 0. Solve f*t + 10 - 1 = 0 for t.
-3
Suppose -2*l + 13 - 43 = 0. Let j = l + 17. Solve j*q - 4*q + 8 = 0 for q.
4
Let g(f) = -8*f**2 + 7*f**2 + 2*f - f**3 - 10 + 8*f**2. Let r be g(7). Suppose 4*o - 10 = 10. Solve -r*w = -o*w + 1 for w.
1
Suppose 5*p = b - 5, 3*p + 1 = -5*b - 2. Solve 1 + b = z for z.
1
Let n = -6 + 11. Suppose 3*m - 39 = -5*r, -n*m + 43 = 5*r - 4*m. Solve 4*o - r*o = -10 for o.
2
Let y(h) = -2*h - 2. Let i be y(-3). Suppose -b + 3*b = i. Suppose 20 = 3*c + b*c. Solve w - c*w = 6 for w.
-2
Suppose 2*o + 11*o - 65 = 0. Solve -u = 4*u + o for u.
-1
Suppose 5*a = -11 + 16. Let f = a - -3. Solve -f - 1 = 5*u for u.
-1
Suppose -6 = -w + 8. Suppose -u + 3 + 19 = -4*g, w = 2*u - 2*g. Solve 3*c + u = 5*c for c.
1
Let d = -32 - -44. Solve -3*o - d = -7*o for o.
3
Let l(q) = -q**2 - 9*q + 2. Let i be l(-8). Suppose -5*p + 5*d = -0*p - i, d = 2. Suppose 2*m = -p*j + 50, 0*m - 5 = m. Solve 0 = -2*y + 5*y - j for y.
5
Suppose -6*y + 3*y = 0. Let d be -1 + (-9)/(-3) + 0. Solve 2*f - 6 - d = y for f.
4
Let r = 14 + -12. Suppose -r*u + 6*u = 12. Solve 7*h = u*h + 20 for h.
5
Let o(t) be the second derivative of -t**5/20 - 7*t**4/12 - 4*t**3/3 - 2*t**2 + t. Let d be o(-6). Let j = -5 + d. Solve 0 = 4*a - a + j for a.
-1
Let s(k) = k**3 + 4*k**2 + k - 1. Let f be s(-2). Suppose 3 = 5*u + 3*h + f, -2*u = -2*h - 12. Suppose u*x = -3*x. Solve -5*p + 1 - 16 = x for p.
-3
Let j(v) = 3*v**2. Let w be j(-1). Let n be 3 + (2 - 3/w). Let f be (n - 0) + 4 + -5. Solve d = -f*d for d.
0
Suppose -4*z + 5*f = -3*z - 3, -z + f = 5. Let j = 11 + z. Solve j*h - 3 = 3*h for h.
3
Let q(p) = -p**2 - 9*p - 10. Let v be q(-7). Solve -v*o + 10 = -10 for o.
5
Suppose 7*u - 5*u - 32 = 0. Solve 4 = 4*j - u for j.
5
Suppose -4*u + a = -0*a - 26, 10 = 5*a. Solve 23 = 4*t + u for t.
4
Let b = 11 + -3. Suppose b*x - 7*x = 0. Solve x = -3*m + 5*m - 2 for m.
1
Let h(q) = -q**3 - 2*q**2 + 2*q. Let w be h(-3). Solve -2*y - 1 = w for y.
-2
Let c = 14 + -9. Solve -5 = -c*l - 0 for l.
1
Suppose -r - 2*g = 1 - 12, 6 = 2*r - 4*g. Let w = 8 + -3. Suppose -8*m + w = -3*m. Solve 2*k = -m - r for k.
-4
Let q(z) = -z**3 + z**2 - 2*z. Suppose 2*r - 4*l - 16 = 0, 0*r - r = 5*l + 27. Let w be q(r). Solve 4*y - w + 4 = 0 for y.
3
Let t be 1*2 - (1 + -4). Suppose -50 + 10 = -t*x. Solve 0*p - 4*p = x for p.
-2
Suppose -m - m = -5*b - 17, -16 = -m + 5*b. Let r(w) = -2*w + 3 - w**2 - 7*w + m - w. Let p be r(-8). Solve -p = -5*t - 0 for t.
4
Let g(p) = -p**2 - 9*p - 7. Let b be g(-7). Solve -4*l - 9 = b for l.
-4
Suppose 0 = a - 6 + 3. Let h(i) = i - 5. Let g be h(9). Let c(w) = -w**2 + 5*w + 1. Let d be c(5). Solve -a*r - d = -g*r for r.
1
Suppose 0 = 5*u - 7*u. Suppose -3*f + 2 = -2*f. Solve -c - 6 + f = u for c.
-4
Suppose 8*i - 3*i + 2*u = 4, 3*u + 7 = -i. Solve i*p - 4 + 2 = 0 for p.
1
Let w(j) = j**3 - 2*j**2 - 2*j - 3. Let a be w(3). Solve 8*q - 3*q - 5 = a for q.
1
Let a(q) = -q**3 + 5*q**2. Let t be a(5). Solve 0*o + o - 1 = t for o.
1
Let x be ((-4)/8)/((-3)/12). Solve x = -g - 2 for g.
-4
Suppose -5*q + q + 60 = 0. Suppose 52 = 5*x + s, -3*s + q + 31 = 4*x. Let v(h) = -h**2 + 5*h + 3. Let t be v(5). Solve t*j = x - 1 for j.
3
Let m = -4 - -8. Solve -2 = i - m for i.
2
Let o(y) = 2*y + 38. Let z be o(-15). Suppose -3*