et f = -120 - -172. Suppose -5*w - 12 = -f. Let n be 2/4*(w - 0). Solve -k + 5 = n*k for k.
1
Suppose 0 = 4*d + d. Suppose d = -3*q - y + 25 + 22, 3*q = -3*y + 39. Let c = 17 - q. Solve c = 4*t - 3*t for t.
0
Let l(t) = 30*t + 154. Let c be l(-5). Solve x = 3 - c for x.
-1
Let m = -28 - -33. Solve 0 = l + 3 - m for l.
2
Suppose -425 = 2*s - 19*s. Solve 4*u = 9 - s for u.
-4
Suppose g - 2*a = -g - 2, -2*a = -8. Let q = -2424 - -2432. Solve -g*t + t = -q for t.
4
Suppose 0 = 2*r + 4*b - 22, 0 = -5*r - 2*b - 2*b + 31. Suppose -m - 4*u + 1 = -4, -5*u = r*m - 15. Solve 5*s - m = 10 for s.
3
Let r(t) = -2*t + 12. Let j be r(-6). Suppose j = 18*w - 10*w. Let f be (-20)/(-6) - 8/(-12). Solve -f*l + 1 = -w*l for l.
1
Let g be (39/91)/((-1)/(-7)). Suppose x - g*x - 14 = -3*w, -5*w + 5*x + 20 = 0. Solve 3*o - w = -15 for o.
-3
Suppose -3*l - 9*l + 24 = 0. Suppose 3*f + w = 5*f - 10, 0 = -f + 5*w + 23. Let s = l + f. Solve -2 = -s*b + 3 for b.
1
Let a(c) = -c + 14. Let m be a(9). Suppose -4*b - 5 = -m*n, -2*b = -4*n - 6*b + 4. Solve 2*g - n = 9 for g.
5
Let a(q) be the first derivative of -q**4/4 + 4*q**3/3 + q**2/2 - 4*q + 3. Let i be a(4). Suppose 0 = 4*n - i*n - 8. Solve n = p - 3*p for p.
-1
Suppose 5*b - 46 = -3*t, -t = -2*b + 2 + 1. Suppose -3*l + t*l = -20, 3*k - 21 = 3*l. Solve k*q + 0 = -2 for q.
-1
Suppose -2*p + 4 + 4 = 4*j, -4*p - 8 = -4*j. Solve -4 + j = -2*a for a.
1
Let p be 0 + -12 + 4/2. Suppose -4 = -12*q + 13*q. Let a be ((-14)/p)/(q/(-60)). Solve -1 + a = -5*r for r.
-4
Suppose -28 = -4*a - 2*i, a + 5*i + 6 - 22 = 0. Solve 20 + 4 = a*h for h.
4
Suppose 4*u - 24 = -0*b - 4*b, 3*b = 6. Let j = 253 + -258. Let s be 0/(-1*(j + u)). Solve 2 = -2*a - s for a.
-1
Let i = -1961 + 1964. Solve 11*u - i = 10*u for u.
3
Suppose 62 = 2*a + 5*u, -4*u + 4 = -4. Suppose -48 = n + 2*n. Let o = a + n. Solve -3*l = -4 + o for l.
-2
Let c = -3 - -6. Let q be (c/5)/(6/30). Suppose -5*u - r + 24 = -q*r, 0 = -2*u + 3*r + 14. Solve -4 - u = -4*i for i.
2
Suppose 2*c + 4*f - 6*f = 0, -4*f + 4 = 0. Let x = 1 + c. Solve -7*j = -x*j for j.
0
Suppose 2*d = -19*t + 16*t + 55, 0 = 4*d - 7*t - 45. Solve d*k = 16*k - 8 for k.
-2
Suppose -10*f = -14*f + 76. Let z = -14 + f. Solve z*h = h - 12 for h.
-3
Let f be (2/(-4))/(2/(-12)). Suppose 2*t - 10 = 3*z, f*t - 4*t = -2*z - 5. Solve -4*u + z*u = 0 for u.
0
Let y be -4 - (-8 + 4) - -15. Suppose 3*s = -5*g - 9, -6*g = -g + y. Let r be (-5 + 5)*(-1)/(-2). Solve 0*c + s*c = r for c.
0
Let j be 108/(-6)*(2 - (-26)/(-12)). Solve -5*f + 28 = j for f.
5
Let q be (1 + 2)*(-132)/(-18). Let m = 27 - q. Solve 5 = 2*w - m for w.
5
Let y be -6 + -4 - (2 - 0). Let r be ((-3)/2)/(y/32). Suppose -3*i + 18 = -3*g, -3*g = 2*i + 9 - 1. Solve 0 = -2*k + r*k + i for k.
-1
Let k = 108 + -103. Solve 0 = -k*p + 1 - 21 for p.
-4
Let x = 26 - 26. Suppose x = 2*b - 10. Solve 3 = b*l - 17 for l.
4
Suppose -14*n + 8*n = -30. Let t = -17 - 3. Let p be 6/(-4)*t/6. Solve -n*s - p = -6*s for s.
5
Let m(b) = 7*b - 126. Let p be m(18). Solve p = 5*x + 35 - 30 for x.
-1
Suppose -23*f = 82 - 266. Solve -2*k = -0*k + f for k.
-4
Let d(p) = 2*p - 9. Let u be d(6). Let c = -90 + 92. Solve -c*i = -u + 1 for i.
1
Let m be 0*1/(-6)*3. Solve -8*l - l = -m*l for l.
0
Suppose 0 = -2*d - l + 7, -2*d - 2*l + 6 = 0. Suppose 0 = 3*k + p - 57, 7*p - d*p - 31 = -2*k. Solve -i + 5*i = -k for i.
-5
Let b(q) = q + 21. Let x be (-2)/3 + (92/3)/(-2). Let h be b(x). Solve 16 = -h*p - 4 for p.
-4
Suppose 7*p - 30 = -9. Suppose p*o = o + 10. Solve 0 = -4*j + o*j - 4 for j.
4
Let s(q) = 30*q - 2 + 1 - 29*q. Let v be s(2). Let w be (3 - 5/v)*-2. Solve 4 = 2*f - w*f for f.
-2
Let u(y) = -8*y - 16. Let g be u(-2). Suppose -9*f + 16*f - 28 = g. Solve 2*v = 6*v - f for v.
1
Let w be (1 - -4)*(-8 + 9)*1. Solve -w*b + 1 = -4 for b.
1
Let y = 97 + -97. Suppose y = 12*s + 44 - 152. Solve -5*p + 1 = -s for p.
2
Suppose -59*l - 12*l - 4 + 4 = 0. Let c(y) = y**2 + 7*y - 5. Let o be c(-8). Let t = o - 0. Solve -t*b + 8*b = l for b.
0
Let n be (-4)/6 + (-44)/(-3). Suppose -4*g = -0*g - 16. Suppose -g + n = 5*i. Solve i*o - 5 = o for o.
5
Suppose 14 = 5*b - 16. Let c(s) = -s**3 + 7*s**2 - 4*s + 2. Let x be c(6). Let j be 8/12 + x/b. Solve j*r + 0 = 12 for r.
4
Let t = 15 - 15. Suppose 2*m + 8 = 2*n - 2, t = -5*m - 2*n + 10. Solve 3*c + 0*c = m for c.
0
Let t = -38 + 43. Suppose 0 = 5*n - 25 + t. Solve 5 = -n*x + 1 for x.
-1
Let m = 26 - 20. Suppose -s + 5 = -m*s. Let i be 1 + (-6)/(2/s). Solve i*l - l = 0 for l.
0
Let q(x) = -x**3 - 10*x**2 + 40*x + 19. Let u be q(-13). Solve i = u*i for i.
0
Let l be (8 + -9)/(1/9). Let a be (-2)/6 + (-30)/l. Let t be -1 + a - 3/3. Solve -d + t + 1 = 0 for d.
2
Suppose -10*k - 51 + 201 = 0. Solve 3*o + 0 + k = 0 for o.
-5
Let x(v) = v**2 + 12*v + 8. Suppose 2*i = 3*s + 20 + 18, -5*s - 57 = 3*i. Let q be x(s). Suppose n = -2*n + 15. Solve -q*j + 6 = -n*j for j.
2
Suppose 5 = v + j, -5 = -v - 4*v + 5*j. Let d = 3 - v. Solve -4*m = -d*m - 8 for m.
2
Let s = 20 - 10. Suppose -4 = 5*w + 31. Let d = w + s. Solve 0 = d*r + 1 + 2 for r.
-1
Suppose -j = -4*z + 2, 31*j - 26*j = 10. Solve -15*y + z = -14*y for y.
1
Suppose 2*t = -36 - 4. Let r(z) = -z**2 - 19*z + 23. Let v be r(t). Solve v*f - 3 = -0 for f.
1
Suppose -6 = -h - h. Let b(o) = -o**3 - o**2 + 21*o + 1. Let q be b(4). Solve q*w = h*w - 10 for w.
-5
Let q(j) = 3*j - 43. Let p(i) = -3*i + 43. Let u(k) = 2*p(k) + 3*q(k). Let z be u(15). Solve z*x + 0 = -10 for x.
-5
Suppose 4*i - 2 - 30 = -g, 5*i - 4*g = 61. Let r be 20/i + (-4)/18. Let c = 27 + -20. Solve r*q = -1 + c for q.
3
Suppose 4*w - w - 18 = 0. Let k = 32 + -19. Let c = -4 + k. Solve -c - w = 5*t for t.
-3
Suppose -60*o + 49*o + 55 = 0. Solve -12*h + 34 = o*h for h.
2
Let v(d) = 3*d**3 - 62*d**2 + 41*d - 14. Let a be v(20). Suppose -t - 2*t = -6. Solve t*x - a = -x for x.
2
Suppose 67*c = 63*c + 12. Solve -12*t + 13*t + c = 0 for t.
-3
Suppose 27*g = 31*g + 24. Let t(l) = -2*l**2 - 11*l + 11. Let x be t(g). Solve -x = -0*u - u for u.
5
Let v be (4/5)/(8/20). Let r(x) = 3*x - 2. Let t be r(v). Let s be 6/t*(10 - 0). Solve s = f + 2*f for f.
5
Let z = -535 + 538. Solve t = -5 + z for t.
-2
Let t(v) = v + 1. Suppose -30 = -r + 4*r. Let l be t(r). Let u = 13 + l. Solve h - 5*h - u = 0 for h.
-1
Let b(u) = 6*u - 5. Let w(x) = -13*x + 10. Let n(f) = 5*b(f) + 2*w(f). Let m be n(2). Solve -2*y = -11 + m for y.
4
Let t = 85 + -100. Let h = -2 - -7. Let d be 0/(-1)*h/t. Solve d = -0*p + 5*p for p.
0
Let j be (31/(-62))/((-2)/44). Suppose -4*g - j = -3*s, -6*g + 3*s = -8*g + 17. Solve 0 = 3*z - 4 + g for z.
1
Let k(c) = 2 + c + 3 - 2. Let j be k(6). Let u = 391 + -388. Solve 0 = 3*x - j - u for x.
4
Suppose -4*i = 5*b - 29 - 11, 10 = 5*b - 2*i. Solve -6*o + b = 10 for o.
-1
Let y be 4/(-10) + 26/(-10). Let w be y - 14/3*6. Let n = w + 41. Solve -5*z - n = -35 for z.
5
Suppose -4*q - 28 = -4*r, r + 2 + 3 = -5*q. Solve 5*f + 30 = -r*f for f.
-3
Let g(t) = 2*t**3 + 8*t**2 - 3*t - 6. Let z be g(-4). Let s(n) = n**2 - 2 - 6*n + 3 + 2. Let m be s(z). Solve 0*q - m = -q for q.
3
Let j = -1 - -2. Suppose -6 = -5*i - j. Solve -3*b + i = 7 for b.
-2
Suppose 3*r + 48*r = 153. Solve 17*o + r = 20*o for o.
1
Let j = -3 + 9. Suppose -9 = -j*r + 3*r. Solve m = -4 + r for m.
-1
Let j(y) = 2*y + 22. Let c be j(-9). Let h be 1*(0 - (-9 - 0)). Suppose 5*s - 16 = c*d - d, h = 3*d. Solve 4*f = -s - 15 for f.
-5
Let z = -793 + 865. Solve z*j - 70*j = 10 for j.
5
Let q(c) = -2*c - 6. Let a be (2/6)/(2/36). Suppose -3*t - 30 = g - 6*g, 0 = -2*g + a. Let k be q(t). Solve -k*l + 12 = -0*l for l.
3
Suppose 0 = -3*o + o. Suppose -3*g + 5*g - 6 = o. Suppose 40*j + 2*x = 44*j - 16, 0 = -5*j - x + 13. Solve j = 3*c - g for c.
2
Suppose 0 = 16*m - 21*m + 65. Solve -6*x = -m*x - 35 for x.
-5
Suppose -58*l + 56*l = -16. Let v = 27 - 20. Solve 0 = -3*t + v*t + l for t.
-2
Suppose -5*m + 2*m = 4*i - 9, -4*i + 13 = -m. Let h(t) = 2*t + 10. Let k(p) = -4*p + 3. Let c be k(2). Let n be h(c). Solve 0 = -n*g - i*g for g.
0
Suppose 0 = 5*f - 13*f + 256. Let q = 15 - 8. Suppose 0 = 3*z - g - q, -3*g - g = 3*z - f. Solve 0 = -z*v - v - 10 for v.
-2
Suppose 11*d - 52 - 69 = 0. Suppose -5 + d = 5*f + 3*i, 3*f = -i + 6. Solve p = -f*p + 16 for p.
4
Let r = -222 + 229. Solve -r*c = -2*c - 10 for c.
2
Suppos