 -5*t for t.
5
Suppose 0 = -4*s + 94 - 10. Solve s*b = 35*b - 70 for b.
5
Suppose 14*a + 12 - 40 = 0. Solve -10*y = -a*y + 40 for y.
-5
Let w be (-5)/((3 - -2) + -6) + 131. Solve 138 = 2*c + w for c.
1
Let o be 4/6*-3 - (-1104)/8. Solve 137*p - 3 = o*p for p.
3
Suppose 2*t = s - 28 - 22, 2*t = -2*s + 88. Suppose 5*w - 121 = -s. Solve w = -4*o - 5 for o.
-5
Let z(u) = -u - 13. Let j be z(0). Let a(p) = 14*p**2 - 4. Let r be a(2). Let v be 26/8 + j/r. Solve i = -v - 2 for i.
-5
Let f be (3 + 2 - 5) + (1 - -2). Solve 25 = -f*v + 10 for v.
-5
Suppose 4*q + 3 = 15. Suppose 2*y - r = r + 2, -2*y + q = -r. Suppose -y*k = -5*k + 6. Solve h + k = -h for h.
-1
Suppose 5*f - 2*o + 3*o = 13, -2*f - 5*o = -19. Solve 2*h + 2 = -f for h.
-2
Suppose -4*r + r + 6 = 0. Let q = -2464 + 2468. Solve q + 2 = -r*m for m.
-3
Suppose 35 = -z + 6*z. Suppose 0 = -z*w + 1 + 20. Solve -4*u + w = -u for u.
1
Suppose -4*f - y = -14, 2*f - 8 = -2*f - 4*y. Solve f*q + 8*q = -12 for q.
-1
Suppose -4*l + 40 = 2*i, 2*l + 8 = i - 0. Let y = 0 - i. Let w = -13 - y. Solve w = -4*k - 3 for k.
-1
Let p = -99 - -186. Suppose 0 = 83*f - p*f. Solve f = k + 2*k - 6 for k.
2
Let t(r) = 4*r**2 - 9*r + 11. Let k(m) = 5*m**2 - 10*m + 14. Let q(s) = -3*k(s) + 4*t(s). Let p = 6 - 0. Let c be q(p). Solve -3*f = -4 - c for f.
2
Let n(o) = -o - 15. Let h be n(-10). Let q = -37 + 17. Let v be (-16)/h*q/(-8). Solve -7*y + 3*y + v = 0 for y.
2
Suppose 1 = 4*z - 15. Suppose 0 = i + 5*y + 8, 2*i + 0*y + 4 = -z*y. Suppose i*m - m = 1. Solve -2*j - m + 5 = 0 for j.
2
Suppose 0 = -3*q + 24 + 6. Let u(c) = -5*c + 52. Let r be u(12). Let f = r + q. Solve -f*b - 2 = -4*b for b.
1
Suppose 0*o - 62*o = -124. Let c = -6 + 6. Solve -5*h + o*h + 12 = c for h.
4
Suppose -2*p + 3*d + 100 = 7*d, -p + 2*d + 30 = 0. Suppose 0 = 3*w + w + p. Let b = 12 + w. Solve -b*k = k - 15 for k.
5
Let y(d) = 2*d**2. Let h be y(1). Suppose -1 - h = -a. Suppose 0 = -6*w + 7*w + 13*w. Solve w = -4*t + a*t for t.
0
Let g = 1 + 17. Suppose x + g = 2*l, -l + 0*x + 27 = -5*x. Let i(q) = -q**2 + 8*q - 5. Let k be i(l). Solve k*s = -2*s + 12 for s.
3
Suppose -23 = -m - 3*d, 19 - 1 = 2*m + 2*d. Let p = -3 - -10. Solve m*b - p*b + 20 = 0 for b.
4
Let y(k) = 4*k - 8. Let n be y(4). Solve -n*w = -3 + 35 for w.
-4
Let b(u) = -u**2 - u + 16. Let x be b(3). Solve 4*w + x - 20 = 0 for w.
4
Suppose 3*n + 0*n - 9 = 0. Let o be (-3 + 6/n)*-10. Solve 0 = -0*d - 2*d + o for d.
5
Let v be (54/(-15))/(9/(-30)). Let g(f) = 2*f + 17. Let c be g(-10). Let s be ((-1)/c)/((-1)/(-12)). Solve s = 4*n + v for n.
-2
Let r = 1061 + -1057. Solve -11*w + r*w - 28 = 0 for w.
-4
Let v(q) = 17*q - 68. Let o(s) = -8*s + 34. Let r(u) = 13*o(u) + 6*v(u). Let d be r(15). Solve g - 9 = d*g for g.
-3
Let c be -9*8/48*(-8)/(-6). Let d be (0 + -3)/(-3) - c*1. Solve -d - 1 = 2*w for w.
-2
Let q = -20 + 23. Suppose -7*m + q*m = -80. Let n = m - 9. Solve -5 + n = -2*b for b.
-3
Let m = 1 + 4. Let i be (-3 - (4 - m))*-3. Suppose 4*v = i*v. Solve n + n + 6 = v for n.
-3
Let q(g) = -g**2 + 9*g - 6. Let y be q(8). Suppose -2*x - 3*z + 9 = 0, 2*x - 3 = -2*z + 5*z. Let m be -1*(-1 - (-3)/x). Solve m = j + 1 - y for j.
1
Suppose 0 = w - 3*y - 11, 0 = -w - 0*w - 5*y - 5. Suppose c - 45 = 5*t - 15, -w = 2*c + 3*t. Solve -7 = n - c for n.
-2
Let l(g) = g**2 + 14*g + 5. Let b be l(-13). Let y(i) = -i - 3. Let c be y(b). Solve -c*k + 4*k = 3 for k.
-3
Let r(g) = g**3 + 13*g**2 + 11*g - 10. Let c be r(-12). Suppose 0 = -0*x + c*x - 4. Solve -3*l = -x*l + 2 for l.
-2
Suppose 612 = -40*l + 2012. Solve -10 = -30*b + l*b for b.
-2
Suppose -14 = c - 18. Suppose -6 = -c*w + 2*w. Solve 0 = -0*f + w*f - 12 for f.
4
Suppose 2 = -3*p + 5*n - 0, -7 = -5*p - 2*n. Suppose -2*l = -5*j - l + 1, 0 = j + l + p. Solve x - 3 - 2 = j for x.
5
Suppose -55*m = -58*m + 201. Let z = m + -67. Solve -y + z*y = -4 for y.
4
Suppose -5*n = 3*d - 23, -2*n - 3*d + 15 = n. Let p = n + -1. Suppose 5*o - 1 = -t + 8, -p*o + 15 = 3*t. Solve t = 3*h - 5 for h.
3
Let h(v) = v**3 + 11*v**2 + 25*v - 5. Let j be h(-7). Solve -9*g - 7 = -j for g.
1
Let x = -79 - -83. Suppose -3*n = -4*q - 14, 0 = n - 2*q + 7*q + 27. Let j be n - 1/(x/(-32)). Solve -j*t = -t for t.
0
Let j(d) = -d**3 - d**2 - 2*d - 5. Let g be j(-2). Suppose 7 = -2*z + g*z. Solve 1 = 2*i - z for i.
4
Let n = -123 + 125. Let t be (-6)/15 - (-12)/5. Let q be 5/t*(-2 + 4). Solve 9 = -n*s + q*s for s.
3
Let b(p) = -p - 2*p**3 + 3*p**2 - p**3 + 4*p**3 - 4*p. Let a be b(-4). Suppose a*f - j - j = 12, 5*f - 15 = 5*j. Solve 3*d - 12 + f = 0 for d.
3
Let y(q) = -9*q. Let p be y(-1). Let g be 3/(-2) - -2 - 115/(-10). Let t = g - p. Solve -2*d = d - t for d.
1
Let n(j) = j**3 - j**2 + j - 4. Let k(m) = 2*m**3 - m**2 + 3*m - 9. Let x(y) = 2*k(y) - 5*n(y). Let r be x(3). Solve -r*t - 5 - 15 = 0 for t.
-4
Let q(d) = -d - 1. Let c(r) = -r**2 + 14*r + 8. Let w(j) = c(j) + 5*q(j). Let z be w(3). Solve -6 + z = 5*t for t.
3
Let t(l) = l - 3. Let j be t(6). Suppose -2*r - 10 = -j*r. Suppose u + 3*f + 27 = 4*u, 2*f = -5*u + r. Solve 0 = m - 5*m + u for m.
1
Let o(u) = 2*u**2 - 10*u + 2. Let g be o(5). Suppose -h - 3*h = -g*l - 16, 3*h = -4*l + 23. Solve -l*i - 1 = 5 for i.
-3
Let n(o) = -o**3 - 11*o**2 - 30*o + 9. Let m be n(-7). Solve -m*b = -20*b + 9 for b.
-3
Let n(z) = -1. Let s(v) = -3*v + 4. Let y(d) = 28*n(d) - 4*s(d). Let t be y(4). Solve 0 = -3*x + t*x for x.
0
Let k(b) = -b + 14. Let r be k(10). Suppose j - 3 + 2 = 3*h, 2*h - j + 1 = 0. Let g = h + 6. Solve -r*n = -n + g for n.
-2
Suppose -5 = -2*i + i + 5*a, 0 = -i - 5*a + 5. Suppose -z + 0*z - 3*k = 4, i*z = 3*k + 16. Solve z*b - 6*b = 0 for b.
0
Let m be 189/14 + (-3)/6. Let n = -1 + m. Solve -3*u - n = -0*u for u.
-4
Let b(u) = -6 + 0*u - u**2 - u - 8*u + 2*u**2. Let j be b(10). Suppose 5*n - 32 = -3*w - j, -1 = -w. Solve n*o + 0*o = 0 for o.
0
Suppose 0 = 3*h - 4*j - 88, -20*h = -19*h + 4*j - 8. Solve 6*m + 2*m = -h for m.
-3
Let o be 6 + ((-1)/(-2))/(12/72). Suppose 0 = k - 2*k. Solve k = j - o + 14 for j.
-5
Suppose -5*d + 5*t + 29 = -3*d, 0 = 2*d + 5*t + 21. Let b be 0/(2 - 6) + 3/1. Solve 20 = b*o + d*o for o.
4
Let u = 928 + -924. Solve -u*w + 0*w + 4 = 0 for w.
1
Suppose 0 = 2*t - 5*i - 424, 4*t - 2*i - 669 - 195 = 0. Solve -210*a + t*a = 21 for a.
3
Let g(b) = 7*b**3 + b**2 - 2*b + 6. Let f be g(2). Suppose -f = m - 66. Solve 0*h = m*h for h.
0
Let y = 1 - -2. Let x = -291 + 291. Solve 0*j - y*j - 12 = x for j.
-4
Let x = 268 - 265. Solve -x*s - s = 0 for s.
0
Suppose -37 - 47 = -21*z. Solve -z*b - 9 + 1 = 0 for b.
-2
Let r(u) = -2*u**2 + 13*u + 24. Let q(i) = i**2 - 7*i - 12. Let k(w) = -5*q(w) - 3*r(w). Let c be k(-4). Solve s + c = -4*s for s.
-4
Suppose b - 4 = -0*b. Let r = 257 + -256. Solve b = 5*l - r for l.
1
Let n = -36 - -66. Suppose -10*b = -5*b - n. Solve 3 - b = 3*w for w.
-1
Let g(h) be the first derivative of h**4/4 - 2*h**3 + 4*h + 1. Let u be g(6). Suppose 2*z = u*x - 4 - 20, 2*x = -5*z. Solve 0 = -4*m + x*m - 5 for m.
5
Let p(l) = l**2 - 7*l + 4. Let w be p(8). Let o be -1 + (-2)/(-2 - -1). Let q be o*(0 - (3 - 3)). Solve q*n - w = 4*n for n.
-3
Let s(a) = a**2 + a + 3. Let o be s(0). Let w be 7 - (-62)/(-9) - 142/(-18). Solve -g = o*g - w for g.
2
Let p(d) = 4*d - 1. Let x(v) = -3*v - 12. Let r be x(-5). Let y be 1 + (-1 - 2) + r. Let i be p(y). Solve -i = f + 2 for f.
-5
Suppose -4*j = -2*z - 23 + 13, z + 5*j - 30 = 0. Solve -9 = -z*p - 4 for p.
1
Let s be (-8)/(-12)*4*(-15)/(-20). Let n(w) = -w**3 - 3*w**2 + w + 3. Let d be n(-3). Suppose -5*i = -s*i - 2*k + 4, i + 2*k - 4 = d. Solve p = -i*p for p.
0
Let o = 39 + -59. Let t be o/(-90) + 122/18. Let p be t/(21/12) + -4. Solve p = -3*h - 1 + 4 for h.
1
Let i be 0 - 30 - -5*4/(-20). Let o = -28 - i. Solve -o*g + 11 = 2 for g.
3
Suppose 4*z + 4 = 0, -5*t + 5*z = 2 + 113. Let l = t + 42. Solve 3*u + l - 6 = 0 for u.
-4
Suppose 0 = -2*g + 3*z + 1, -7*g + z = -9*g + 21. Solve -4 = 6*o + g for o.
-2
Suppose 5*w + 3 - 16 = r, -2*w = 3*r - 12. Solve r*u + 4 = -2*u for u.
-1
Let v(u) = -u**2 + 8*u + 4. Let o be v(8). Suppose 3*c + 22 = 5*w - 6, c = o. Solve 6*d - 2*d + w = 0 for d.
-2
Let u(y) = y + 10. Let a be u(-5). Suppose -3*i - 24 = -4*w + 2, a*i = 3*w - 25. Solve 8 = w*q + 28 for q.
-4
Let o(d) = -15 - 12 - 16 + 13*d + d**2. Let j be o(-16). 