3
Suppose -148 = -3*z - 55. Let c = z + -27. Solve 6 = -5*w - c for w.
-2
Let c = 83 - 79. Let j(o) = 8*o - 26. Let b be j(c). Solve -4*q + 26 = b for q.
5
Let i(g) = 33*g - 197. Let n be i(6). Let d(f) = 2*f**2 + f + 1. Let w be d(2). Solve 2*t - n = -w for t.
-5
Let k = -356 - -375. Solve -3*u - 7 + k = 0 for u.
4
Let g be (-648)/(-63) + -8 - 2/7. Solve 0 = -g*w + 5 + 3 for w.
4
Let g(n) = 4*n**2 - 23*n - 4. Let b be g(6). Solve -12 = b*z - 4 for z.
-4
Let x be 26/(-28)*2*-7. Solve 4*w = x + 3 for w.
4
Let h be (-2 - 3)/10*0. Solve h = 13*o - 18*o + 5 for o.
1
Suppose a - 5*a + 2*a = 0. Solve 2*s - 5 - 1 = a for s.
3
Let w = 269 - 262. Solve -w*d - 12 = 16 for d.
-4
Let i = -953 - -973. Solve -2*u - i + 10 = 0 for u.
-5
Let z = 7 - 15. Let h be z/(-3)*(-18)/(-24). Suppose -2*i = -3*f - 0*i + 39, 3*i + 53 = 4*f. Solve -h*a = -f + 1 for a.
5
Let q be 3*(-4)/12 + 12. Let f = 11 - q. Solve 0 = -5*p - f*p for p.
0
Suppose -2*k + 24 = 4*y, 1 - 9 = -2*k. Let x(f) = -f**3 + 8*f**2 + f - 3. Let b be x(8). Suppose b - 3 = h. Solve 0 = -h*z + y*z for z.
0
Let l be (-2)/(-10) - (2/20)/((-2)/(-4)). Let h(u) = -u**3 - 9*u**2 - 10*u - 11. Let v be h(-8). Solve l*y = v*y - 25 for y.
5
Let i(j) = j**2 - j + 20. Let n be i(0). Solve 0 = 16*k - n*k for k.
0
Let m = -10 + 22. Let x be (2 - m/9)*3. Suppose 0 = 4*z - 3*h - 35, -7*z + 4*h = -x*z - 44. Solve -g - g = -z for g.
4
Let h = -298 - -453. Let g be 1/(2 - h/80). Solve -g = 5*a + 9 for a.
-5
Suppose 35 = 5*v - 60. Solve v*m = 16*m + 12 for m.
4
Let j = -2 - 26. Let m be (-1)/((-24)/j - 1). Solve -5*w + m = 32 for w.
-5
Suppose 0*t + 20 = -4*t. Let s(a) = -a**2 - 5*a + 3. Let y be s(t). Suppose y*h = r - 0 + 6, 4*h - 8 = 2*r. Solve -z = -r + 2 for z.
-2
Suppose u = 4*h - 1, -2*u + 3*u - h - 2 = 0. Suppose -u*y = -y - 46. Suppose 5*r - y = -c - 0*c, 2*r - 3*c - 16 = 0. Solve -r*d + 1 + 19 = 0 for d.
4
Suppose -p + 33 = -g, -p + 28 = 2*g + 2*g. Let v = 35 - p. Solve 0 = 2*q + v - 1 for q.
-1
Let x(w) = w**2 + 4*w + 9. Let t be x(-7). Suppose -3*k + t = 2*k. Let d = k + -6. Solve d = -b - 2 for b.
-2
Suppose -v + 9*c + 32 = 5*c, -3*v + 28 = 5*c. Solve v = 5*g - g for g.
4
Let k be (1/(-2))/(3/(-30)). Suppose -4*a - 3*c + c + 20 = 0, k*a - 7 = 2*c. Suppose a*p - 19 = 8. Solve n - p = -2*n for n.
3
Suppose 2*b - 28 = -5*b. Solve -b*d = -0*d + 16 for d.
-4
Let u(h) be the first derivative of h**4/4 + 8*h**3/3 + 2*h + 11. Let x be u(-8). Solve x - 7 = -5*b for b.
1
Let c(n) = -n**3 - 5*n**2 - n - 3. Let x be c(-5). Suppose 3*d + 8 = x*i, -i + d + 33 = 4*i. Suppose -10 = s + 5*p + 1, i = s - p. Solve -1 = -3*f - s for f.
-1
Suppose -3*v - d = d - 13, 17 = 5*v + d. Let n be (2 + -1)/((-4)/(-12)) - 0. Solve v*m = -0*m - n for m.
-1
Suppose -1038 = -72*n - 30. Solve 0 = -9*m + n*m + 5 for m.
-1
Let q = -4 + 7. Suppose q*w = 3*d + 15, 2*w + d = -2*d - 15. Suppose f - 2*f = w. Solve f = -l - 5 + 10 for l.
5
Let x(f) = 7*f - 9. Let c(t) = 6*t - 9. Let b(p) = -6*c(p) + 5*x(p). Let v = 3 - -6. Let u be b(v). Solve u = -4*l + 1 + 11 for l.
3
Let g be 144/81 + 6/27. Suppose 0 = x - 2*x + 3. Solve -7 = -x*o + g for o.
3
Let b(y) = -y**3 + 9*y**2 + 10*y - 4. Let v be b(10). Let d be v + 8 - (2 - -2). Let q = 5 + d. Solve p = q - 3 for p.
2
Let u(d) be the first derivative of d**2/2 + 12*d + 2. Let m be u(-11). Let n be (6 - m)*(-4)/(-5). Solve 0*g - g = -n for g.
4
Let o be (-34)/34 + 12 + -3. Solve -o*b + 3*b = -15 for b.
3
Suppose 2*w + 4*w - 144 = 0. Let i = 1 + 3. Suppose -w = -4*k + r, -i*r - 41 = -5*k - 0*r. Solve -v + 4 = -k*v for v.
-1
Let c be -80 - -80 - (-1 + 0 + 1). Solve -4*p + 17 - 9 = c for p.
2
Suppose -4*r - 24 = -6*r + 4*c, -48 = -4*r - c. Suppose q + r = -3*q. Let b be 3*(q - 22/(-6)). Solve 0 = -b*f - 1 - 7 for f.
-4
Suppose -8 = -5*r - 18. Let l(y) = y + 3. Let w be l(r). Solve b + w = 6 for b.
5
Let k be 2 + (-7 + 3 - -3). Solve -4*u + 3*u + k = 0 for u.
1
Suppose 0 = y + 5*y - 6. Suppose 2*k - 9 = -y. Let s(u) = -u + 3. Let r be s(3). Solve r = k*z + z for z.
0
Let n(t) = 23*t - 27. Let v(u) = 8*u - 9. Let y(w) = 6*n(w) - 17*v(w). Let p be y(6). Let a be 2/(-8) - p/(-12). Solve a*b - 5*b = -25 for b.
5
Let p(k) = k + 0*k + 9*k**2 - 14 - k**3 + 4*k + 7*k. Let c be p(10). Solve 2*f + 4 = c for f.
1
Suppose z = 2*z - 3*t - 5, 3*z - 29 = 2*t. Solve 5*c + 9 = -z for c.
-4
Suppose -5 = -4*l + 4*w - 3*w, -l = 4*w + 20. Solve l = 4*j - j for j.
0
Let z(b) = b**3 + b**2 - 3*b + 4. Let s be z(-3). Suppose -23*m = 2*t - 20*m - 4, 2*t = -4*m. Let y = s + t. Solve 0 = -0*l + y*l for l.
0
Let i = -6 + 1. Let n = -14 - i. Let k = -7 - n. Solve -k*m + 3 = -3 for m.
3
Suppose -122 = 3*d + 55. Let w = d - -68. Solve 4*x = -w + 1 for x.
-2
Let q(v) = -4*v**2 - 4*v. Let h(x) = x**3 + x**2 + 1. Let k(y) = h(y) - q(y). Let u be k(-3). Solve -11 + u = -r for r.
4
Let s(i) = -3*i**2 - 2*i + 8. Let y(f) = -4*f**2 - 2*f + 9. Suppose 0 = 5*z - 7*z + 10. Let q(x) = z*s(x) - 4*y(x). Let j be q(3). Solve 0 = 5*h - 27 + j for h.
4
Let i be 27 - 15*8/(-24). Solve -30 = -2*o - i for o.
-1
Suppose 0 = -262*b + 261*b + 28. Solve -3*c = b - 22 for c.
-2
Let b(u) = 0*u**2 + u + 1 + 6*u**2 + 5 - 4*u**2 - u**3. Let z be b(3). Solve z*v = 5*v - 15 for v.
3
Suppose 0 = 4*y - 5*z + 8*z - 26, 0 = 5*z + 10. Solve y = -4*a - 0 for a.
-2
Suppose 3*r + 12 = -x, -2*x + 2*r + 9 = 1. Suppose x = 2*a - 0*a - 4. Solve 0 = -z - a*z + 6 for z.
2
Let f = 22 - 25. Let p = f + 3. Solve -2*l + 5 - 1 = p for l.
2
Let o = 19 + -16. Let c be 52/12 - 4/o. Solve r - 2 = c for r.
5
Let l(t) = t**3 - 2*t**2 - 5*t + 4. Let w be l(4). Let k be (-78)/(-42) - ((-6)/(-14))/(-3). Solve -w = -2*i - k*i for i.
4
Let p be 3/6*-6 - 3. Let c be ((-1)/p)/(4/(-32))*-9. Solve 5*o = o + c for o.
3
Let j(w) = 2*w**2 + 15*w - 20 + 21 - 3*w**2. Let g be j(15). Solve g - 3 = -a for a.
2
Let u = 46 - 42. Suppose 0 = 2*i + 2 - u. Solve 3*s = 4 - i for s.
1
Let o = 18 + -18. Suppose o = 4*v - 4*d - 30 - 2, -4*d - 16 = -2*v. Let s(n) = n**2 - n. Let g be s(-1). Solve -6*x = -g*x + v for x.
-2
Suppose 5*o - 75 = 5*t, 4*t + 13 = o - 11. Solve 19*n + o = 22*n for n.
4
Let g(n) = -n**3 - n**2 + n - 9. Let f be g(0). Let k = -15 - f. Let v be -1 - (k - 0/(-1)). Solve -2*q = -q + v for q.
-5
Let k = 44 - 44. Suppose -4 = -4*m - k. Solve 1 = -h - m for h.
-2
Suppose -4*q + 480 = 2*q. Suppose 0 = q*y - 77*y. Solve y = 2*r + r for r.
0
Let o(m) = -3*m - 19. Let k be o(-6). Suppose -5*c + 1 = -4. Let l = k + c. Solve s + 0 + 2 = l for s.
-2
Suppose -m + 2*m = 4. Let c be 2/(-7) - 130/(-14). Suppose m*p - 3 = c. Solve -h - 4 = -p*h for h.
2
Suppose 16 = -4*u, 2*j - 437*u + 10 = -442*u. Solve -j = 30*a - 25*a for a.
-1
Let f(a) = -a**3 - 2*a**2 + 13*a + 8. Let w be f(-5). Let m = -14 + w. Solve 0 = m*d - 8 - 0 for d.
2
Suppose -91*u + 83*u = 0. Solve u = 5*l + 2 + 23 for l.
-5
Let x be ((-8976)/(-40))/(-2) + (-8)/10. Let f = x + 115. Solve -4 = 2*k + f*k for k.
-1
Let x = -4 - -8. Suppose 6*i = x*i. Solve i*f - 20 = -4*f for f.
5
Let v(c) = -c**2 + 15*c + 117. Let d be v(-5). Solve 0 = -4*p - 1 + d for p.
4
Let h be (-3 - -3)*(-1 + 0). Suppose h = 5*f + 18 + 17. Let q be (-4 - -2) + f/(-1). Solve -2*l + 3 = -q*l for l.
-1
Suppose 141*t = 142*t - 47. Solve u = t - 44 for u.
3
Let o = 40 - 47. Let p(a) = a**3 + 7*a**2 - a - 6. Let y be p(o). Solve -r = 3 + y for r.
-4
Let v = -839 - -839. Let k(n) = -n - 6. Let t be k(-5). Let u = t + 9. Solve v = 2*b - 0*b + u for b.
-4
Let r = -130 + 140. Solve -r - 6 = 4*k for k.
-4
Let u(j) = j**2 + j + 36. Let s be u(0). Suppose -2*n - 2*n = -s. Suppose 7 = 4*w - n. Solve w - 3 = d for d.
1
Suppose 8 = -92*g + 96*g. Let b = 8 + -5. Suppose 5 - b = g*r. Solve -1 = -2*x + r for x.
1
Let v = -37 - -78. Suppose -53 = 3*i + 4*l + 17, 3*l - 110 = 4*i. Let w = v + i. Solve 0 = -4*h - h - w for h.
-3
Let j(p) = -p**3 + 6*p**2 - 3*p - 7. Suppose 2*m = m. Suppose 5*k - 5*i = 10, m*k - 3*i + 19 = 2*k. Let d be j(k). Solve v + 8 = -d*v for v.
-2
Let b(t) = t**3 - 7 + 4*t + t**2 + 5*t**2 - t. Let k be b(-5). Let v = -5717 + 5719. Solve v = k*o + 14 for o.
-4
Let o = -446 + 451. Solve 0 = 11*t - o*t + 24 for t.
-4
Let p(u) = 5*u - 30. Let j be p(9). Suppose -4*q - 3*g = q - 15, -3*q + j = 3*g. Solve -2*s + q + 10 = 0 for s.
5
Suppose d - 4 = 3*s, -26 = -3*d - 14*s + 9*s. Sol