pose 0 = 2*f - 11 + d. Solve 0 = 4*o - c*o - f for o.
4
Suppose 24*a - 994 = -202. Solve -36*t + 3 = -a*t for t.
1
Suppose 1 = 4*l + j, -3*j - 2 - 6 = l. Let c(b) = -b + 0*b + l + 1 + 3*b. Let d be c(3). Solve z - d = -4 for z.
4
Suppose 14 = -3*i + z, -i - 5*z = -7 - 15. Let u = 1 - i. Suppose -8 = -u*f, -4*w + 8 = 5*f - 30. Solve w = -3*t + 16 for t.
3
Suppose 42*k + 132 = 64*k. Solve -2*w = -k*w + 20 for w.
5
Suppose -3*f - 4*k = 20, -4*f - 3*k - 25 = 2*k. Let w be 1*1/2*f. Suppose w = -5*t + 2 + 28. Solve 2*b = -0*b + t for b.
3
Let v = 31 + -18. Let x = v - 8. Let h(p) = -2*p**3 - 2*p**2 - 7*p + 16. Let c be h(0). Solve c = -g + x*g for g.
4
Suppose -10*m + 15 = -5*m. Solve m*q = 5*q + 2 for q.
-1
Let p(y) = -y**2 - 4*y + 34. Let u be p(-8). Solve 5*h - u*h = -3 for h.
-1
Let d(q) = -3*q + 8. Let j be d(-6). Let h be -1 + (j - (4 + -4)). Let w = 9 + -5. Solve h = w*s - 9*s for s.
-5
Let x(z) = -3*z**3 + 7*z**2 + 12*z - 7. Let l(d) = d**3 + d**2 - 1. Let u(y) = 2*l(y) + x(y). Let a be u(10). Let g = 13 - a. Solve g*o - 4*o - 10 = 0 for o.
-5
Let s be (1 + -1)/1 - -2. Let k(u) = 19*u**2 + 1. Suppose 4*b - 4*a + 8 = 0, b - 5*b - 3*a = -13. Let z be k(b). Solve s*w = 7*w + z for w.
-4
Let v = 35 + -30. Suppose -2*l - 4*y - 14 = 0, v*l = 2*l - 4*y - 11. Let g be 8 - (4 + -4 + l). Solve q - g = -0*q for q.
5
Suppose 7*l = 8*l + 10. Let y = l - -26. Suppose -z + y = z. Solve -6*q = -2*q + z for q.
-2
Let b be (1*(-20)/(-16))/(4/32). Solve -5 - 5 = b*z for z.
-1
Suppose -c + 0*t + 3*t = -8, 16 = 3*c - t. Let b be (-1)/c + 1551/55. Suppose 4*d = -0*d + b. Solve -3 = 2*u + d for u.
-5
Let r(o) = 20*o + 101. Let j be r(-5). Let b be 2/(-5) + (-24)/(-10). Suppose 45 = 5*d + 2*f, d - 9 = -0*d + b*f. Solve d = -2*t + j for t.
-4
Let z = -15 - -22. Let y = z + -5. Suppose -y*d = -5 - 5. Solve 0 = 4*n + 25 - d for n.
-5
Let v(c) = -2*c**2 + 0 + 3 + 7 + 2*c**3 + 3*c - 12. Let q = 0 - -2. Let f be v(q). Solve z = -3*z - f for z.
-3
Suppose 2*o + 2*z = o + 4, 4*z - 4 = -4*o. Let f be (o/(-4))/((-8)/(-64)). Solve -6 = 2*u + f for u.
-5
Let h(j) = -107*j - 415. Let z be h(-4). Solve z*f - 40 = 5*f for f.
5
Let y = 8 - 8. Let d be y/(-2 + 4 + 0). Let p(h) = -h + 3. Let w be p(d). Solve 0*b + 15 = w*b for b.
5
Let z(o) = 3*o + 54. Let q be z(-6). Solve 2*y - 32 = -q for y.
-2
Let y(w) = w**2 + 2*w - 43. Let p be y(-8). Solve -p*q + q = 16 for q.
-4
Let o be -20 + 250 - -4*1. Let f be o/54 + 2/(-6). Solve 3*g + 5 = -f for g.
-3
Let r(n) = n**3 - 3*n**2 + 3. Let g be r(3). Suppose g*u + 6 = -3*s, -3*u + 0*u - 6 = s. Suppose 3*w - 6*w + 18 = s. Solve 0 = 5*p - 2*p + w for p.
-2
Let v(d) = -64*d + 3. Let w be v(0). Let g = -3 + 5. Solve w = -c + g for c.
-1
Let l(n) = n - 7. Let y be l(9). Suppose -2*p + 65 = -5*s, -y*p + 3*p + 2*s - 37 = 0. Suppose -9*w + p = -4*w. Solve -w*h + 2*h = 0 for h.
0
Let a(t) = 3*t**2 + 40*t - 28. Let k be a(-14). Solve 7*q - 2 - 12 = k for q.
2
Let s(y) = y - 5. Let x be s(6). Let r(v) = 2*v - 4. Suppose 15 = 5*o - 5. Let z be r(o). Solve 5 = -z*k + x for k.
-1
Suppose 5*j - 20 = 0, j = -0*c - 2*c - 4. Let g be (25/10 + c)*-18. Suppose -5*r - 2 = -g. Solve 0 = z - r for z.
5
Let k = -1267 - -1271. Solve -3*a + k = -2*a for a.
4
Let h = -49 - -47. Let s be -8*(9/h - -4). Suppose -4*r = r - 30. Solve 4 = r*x - s*x for x.
2
Suppose 4125 = 392*u + 205. Suppose 3*o - 5 = -2*o. Solve 3*g - u = -o for g.
3
Suppose -l = -2*h + 69, 0 = l - h + 36 + 33. Let r = l + 79. Suppose 0 = 2*y - 5 - 5. Solve y*d + 0*d = r for d.
2
Let m(r) = 2*r - 6. Let x be 2*28/(-16)*-2. Let w be m(x). Solve w*d - 10*d = 8 for d.
-4
Suppose -4 = 2*q + 3*s, -3*s - 4 + 2 = q. Let d be -2 + 6 + -2 + q. Suppose d = h + 2*h - 12. Solve -6 + 26 = h*l for l.
5
Let a(z) = -5*z - 201. Let v be a(-41). Let t(m) = -2*m + 3*m - 5 + 3. Let x be t(v). Solve -x = c - 1 for c.
-1
Suppose -25*f + 24*f = -8. Solve 0 = -f*t + 24 - 64 for t.
-5
Let t be 10/(-4)*84/15. Let g be t/(-77) + 0 - 62/(-22). Solve g*q = 6*q for q.
0
Suppose 45*j = 42*j - 5*l + 10, -5*j = 2*l - 23. Solve 6*o = -j - 7 for o.
-2
Suppose -s - 2*u + 14 = 0, -3*s + 2*s = -5*u + 21. Solve -4*j + 12 = -s for j.
4
Let b(w) = w - 16. Let k = 50 - 36. Let v be b(k). Let a be 1 - ((3 - 3) + v). Solve a*p = -p + 12 for p.
3
Let j = 8 + -8. Suppose j = 5*k + 4*w, k - 4*w - 8 = 4*k. Suppose -2*o + n + 11 = 0, -4*n = -3*o - 2*n + 19. Solve -o*m + k*m = 0 for m.
0
Suppose -5*j - 3*j = -72. Suppose j = 2*v + v. Solve 3*y + v = -0*y for y.
-1
Let z = 339 - 332. Solve 0 = -z*g + 4*g + 6 for g.
2
Suppose 0 = -2*j - 72 + 20. Let o = 30 + j. Suppose 3*z + 5*y = 5 + 19, o*z - 61 = 3*y. Solve 3 = 5*w + z for w.
-2
Let j be (-10)/(-5) + 1*6. Suppose f - j = -3*f. Solve 5*d = -f - 8 for d.
-2
Suppose 21*i = 14 + 7. Solve -5*o = 9 + i for o.
-2
Let k(x) = -220*x - 868. Let b be k(-4). Solve -3 = -b*j + 45 for j.
4
Let s be (9 + 1)*(-65)/10. Let d be 2/(3 - s/(-25)). Solve -7*y + d*y = 2 for y.
-1
Suppose 0 = 17*d - d. Let i = -20 + 22. Solve d = z - i*z + 3 for z.
3
Let o(a) = 13*a**2 + 25*a + 25. Let x be o(-1). Solve -14*n = -x*n + 3 for n.
-3
Let s(h) = h**3 + 20. Let p be s(0). Let f be 1*(-1 + 4 - p). Let j = f + 18. Solve -5*g + 4 = -j for g.
1
Let n be 8/(-36) - 148/(-18). Suppose c + 1 - 5 = -f, -4 = -5*f - c. Solve f = -4*d + n*d + 8 for d.
-2
Let m be (6/4)/((-7)/(-14)). Suppose 4 = -m*n + 7. Solve -4*x + 3*x + n = 0 for x.
1
Suppose -1012*v + 1006*v = -60. Solve -15*x = -v*x + 25 for x.
-5
Suppose 88 = 4*t + 28. Let q(h) = h**3 + 17*h**2 + h + 37. Let l be q(-17). Let g = l - t. Solve 4*v - g = 11 for v.
4
Let m = 4 - 0. Let f = 474 - 456. Suppose 5*g - 16 = -m*u + 2*g, -2*u + f = 4*g. Solve -2*p = -u - 1 for p.
1
Let p = 1 + 2. Let v be 108/24 - (-1 + 1/2). Suppose d - 1 = u, -u - 6 + v = 0. Solve -j + p*j = d for j.
0
Suppose 44 = -3*o - 28. Let c = 26 + o. Let w = 0 + c. Solve 2*m = -w*m - 20 for m.
-5
Suppose 0 = 5*u - 5*a - 14 - 26, 3*u + a = 12. Let o be 0 + 2 - (1 + -1). Solve -3*l - u = o*l for l.
-1
Let g = 20 + -12. Suppose 10*m - 6*m = g. Solve 3*d - 2*d - m = 0 for d.
2
Let z be 0 + 4/(-6) + 78/117. Let h(g) = g**3 - 5*g**2 - 7*g + 6. Let y be h(6). Solve z = 5*k - y*k - 25 for k.
5
Suppose 0 = 5*r - 39 - 36. Let n = 43 - 41. Solve -a = n*a - r for a.
5
Suppose -3*j - 4*a + 0 = -1, 2*j + 3*a = 0. Let s be (-7)/28 + 178/8. Suppose -3*w - 2 = -2*p, s = 3*p + 3*w + 2*w. Solve -j = -h - p for h.
-1
Suppose -3*f + 0 - 14 = q, f + 7 = 2*q. Let l be -5*(-12)/100 - (-3)/f. Solve 4 = -4*w - l for w.
-1
Let n be (9/(-36)*0)/(0 + 0 - 2). Suppose -104 = -0*p - 2*p. Let a = p - 37. Solve 4*t + t + a = n for t.
-3
Let j(c) = -3*c**2 + 4*c + 3. Let b be j(-1). Let s(n) = -2*n. Let v be s(b). Solve 0*x = 4*x - v for x.
2
Let m(k) = -4*k + 4. Let n(z) = -2*z + 2. Let c(a) = 4*m(a) - 7*n(a). Let j be c(-3). Suppose -2*u = -2*q - 5*u + j, -4*q + 4*u + 16 = 0. Solve -q*i = i for i.
0
Let t = -524 - -524. Solve t = 2*c - 18 + 14 for c.
2
Let t(h) = -h**3 - 6*h**2 - 5*h + 3. Let p be t(-5). Suppose p*z - 5*l + 14 = 0, 0*z + 5*l = -4*z + 28. Solve j = -z*j for j.
0
Suppose -2*h + a + 2*a - 6 = 0, h = 5*a - 17. Solve -5*u = -h*u - 8 for u.
4
Suppose -6*k - 4*n + 28 = -2*k, n + 65 = 5*k. Solve -6*u + k = 6 for u.
1
Let q(x) = x**2 + 9*x + 2. Let l be q(-7). Let r be (-3)/(l/(-8) - 2). Let c be ((-4)/r)/(9/(-81)). Solve -3*b = -c*b + 6 for b.
2
Suppose 5*d = 151 + 4. Let z = d + -19. Suppose 3*i + 4 = 1, 4*i = -4*y + z. Solve -4 = y*l - 0*l for l.
-1
Suppose -3*i + 62 = f, -2*f + 7 - 103 = -5*i. Suppose 2*z + 3*z + i = 0. Let m be (-23 + -1)*z/8. Solve -4*x - m = 4 for x.
-4
Suppose 200 = -7*l - 199. Let s = l - -60. Solve -x = s*x for x.
0
Let u = 232 - 226. Solve -u = -6*w + 6 for w.
2
Let i = -345 - -354. Solve 3*m + 6 + i = 0 for m.
-5
Suppose 4*q - 18 = 2. Suppose 0*g = n - 2*g - 28, 2*g = -2*n + 38. Suppose -3 - n = -5*k. Solve -q - 20 = -k*p for p.
5
Suppose 3*s - 55 = v, 4*v = -s + 2*v + 16. Solve -3*n - 3*n = s for n.
-3
Let u = 1136 + -1130. Solve 60 - 54 = u*y for y.
1
Let r(m) = -m + 14. Let x be r(10). Suppose 0 = -x*h - 3*y - y + 28, 13 = h + 3*y. Solve -h*s + 8 = 4 for s.
1
Let g(q) be the third derivative of q**4/6 - 3*q**3/2 + 2*q**2. Let b be g(6). Solve z = -2*z - b for z.
-5
Let u(c) = -c**2 + 29*c - 73. Let h be u(26