 d = w + h. Solve -3*f - 3 = -d*f for f.
1
Let v = 208 + -43. Let s = v - 140. Solve -5*y + s + 0 = 0 for y.
5
Let t(r) = -r + 17. Let c be t(7). Suppose 5*x = -j + 15, -x - 3*j - 3 = 2*x. Suppose 0 = -x*u + 1 + 11. Solve -c = u*p + 2 for p.
-4
Suppose 9*f = 11*f - 4. Suppose 3*q = q. Solve -f*n + n - 4 = q for n.
-4
Suppose y + 3*y = 8. Let t be ((-3)/6)/(-1)*(30 + -12). Suppose 0 = -a - y*a + t. Solve -5 = -2*z - a*z for z.
1
Suppose -n + 10 = -3*y - 2, -4*n + 16 = 4*y. Suppose -7*z = -9*z + n. Solve 2*i - i + z = 0 for i.
-3
Suppose -3*i - 16 = -5*m, -i - 17 = -3*m - m. Suppose 4*b = k - 3*k - 152, 3*b = 5*k + 393. Let t be ((-52)/k)/((-1)/(-3)). Solve -t*g = -1 - m for g.
3
Suppose 2*v - 2*p - 3 = -v, -4 = -4*v + 5*p. Let h = -6 - v. Let o(j) = -j**3 - 8*j**2 - 8*j - 2. Let m be o(h). Solve -m*f + 25 = -0 for f.
5
Let b be (-4)/6*(-144)/24. Solve -b = j + 1 for j.
-5
Suppose 4*p - p + 2 = -5*i, 5*p - 2*i = 7. Solve -3*h + 1 = p for h.
0
Let k = 19 - 18. Let z = k - -9. Solve 3*c = c - z for c.
-5
Let p be (-24)/(-14) + 6/21. Suppose -5*n = -4*n - p. Solve 2*v = -n*v for v.
0
Let v(p) = 2*p - 4. Let h be v(2). Suppose -x - 5*r = 13, 1 = 5*x - h*x + 3*r. Solve -x - 3 = -f for f.
5
Suppose 2*b - 48 = -0*b. Let p(o) = 3*o - 9. Let l be p(-4). Let g = l + b. Solve -6 = -g*u - 0 for u.
2
Let x(d) = d**2 + 15*d + 1. Let s be x(-15). Suppose 0 = 11*g - 32 - s. Solve 0 = 2*z + z - g for z.
1
Suppose -5*w + 12 = -0*y - 4*y, -y = 4*w - 18. Let t = -1 + 1. Let s = 1833 + -1833. Solve t*k - k + w = s for k.
4
Let d(j) = 74*j**2 - 519*j + 7. Let r be d(7). Let b(u) = -u. Let p be b(0). Suppose 0 = y - p*y. Solve r = -v - y*v + 1 for v.
1
Let p = 68 - 64. Suppose -m - p*m = -9*m. Solve m = -6*j + 2*j - 8 for j.
-2
Let b(x) = -x + 10. Let d be (-5)/(-2)*(3 + (-21)/15). Let n be b(d). Solve -3*z + 3 + n = 0 for z.
3
Suppose 3*k = -u + 3, 2*u + 20 = 3*k + 8. Suppose 5*t + 16 = 7*w - 4*w, 0 = 3*w + 4*t - 25. Let f = w + u. Solve -y = -f*y + 15 for y.
5
Suppose 3 = -f, -3*f = -2*q + 2*f + 43. Solve -5*k - 76 = q*k for k.
-4
Suppose f - 17 + 7 = -4*a, -4*a = 2*f - 20. Solve -f*l = -8*l for l.
0
Let m(l) = 2*l**2 + 50*l + 65. Let h be m(-24). Solve -h = -6*y - 23 for y.
-1
Suppose 5*y + x - 54 - 24 = 0, y - 4*x = 3. Solve y = -4*v + 7*v for v.
5
Suppose 3*y = -3*s - 3 + 15, 0 = -3*y + 9. Let f be (2 - s)*-1 + 5. Suppose 0 = 8*l + 46 - 70. Solve l*b - 2*b = -f for b.
-4
Let q = 13 + -11. Let w be ((-2)/3)/(q/30). Let z be w/15 - (-5)/3. Solve z = h - 0 for h.
1
Suppose -847*a + 842*a - 90 = -5*y, -a = 5*y - 66. Solve y*j = -8*j + 88 for j.
4
Let f be (91 - -7)*(-12)/(-24). Solve 2*r - f + 43 = 0 for r.
3
Let g(v) = -v**2 - 25*v - 40. Let c be g(-23). Suppose -2*h + 0*h - 2*l - c = 0, 0 = -2*l - 10. Solve 4*j = 6 - h for j.
1
Let r be ((-15)/(-20))/1 - 34/(-8). Suppose -g + r*t - t = -20, 8 = 5*g + 3*t. Solve -g*h - 29 = -9 for h.
-5
Let p be -15*(36/27 + -2). Solve -2 - 8 = -p*k for k.
1
Let g(k) = k**2 + 4*k - 2. Let z be g(-5). Let w be z*(-10)/3*(-2)/4. Solve -l - w = -6 for l.
1
Let h(b) = -4*b**2 + 2*b - 1. Let z be h(1). Let g = z + 8. Suppose 0 = 3*d - 16 + 4. Solve g = d*c + c for c.
1
Let y = 11 + 8. Let d = y + -16. Suppose -2*f + d*h - 2 = 4*h, 2*f - 5*h - 10 = 0. Solve -6*m + 2*m - 4 = f for m.
-1
Let w(j) = 2*j**2 + 7*j - 7. Let b be w(1). Solve -b*k = 7 + 3 for k.
-5
Suppose 4*x + 3*k - 7*k - 12 = 0, 5*k + 15 = 0. Suppose -5*j + 2*j + 9 = x. Let g be 1/j + 24/9. Solve 0 = 2*z - 3 - g for z.
3
Let q(b) = -3*b - 84. Let y be q(-32). Solve u - 9 = -y for u.
-3
Let p be (10/4)/((-1)/4). Let s(d) = d**3 + 10*d**2 - 2*d - 11. Let u be s(p). Suppose -4*j - j + 20 = 0. Solve -j*i - 7 = u for i.
-4
Let c be (1/(1/4))/(366/51789). Solve -560 = -3*p - c for p.
-2
Let c be (-1)/1 - (-6 - -5). Suppose 3*g = -s - 1, -9*s + 7*s - 2 = -4*g. Solve 5*v + c*v = g for v.
0
Let g = 162 + -150. Solve 2*w = 6 - g for w.
-3
Let a(l) = -l**2 + 9*l + 3. Let b be a(10). Let t(y) = -y**3 - 5*y**2 + 12*y - 14. Let v be t(b). Solve v = z - 2*z - 1 for z.
-1
Suppose w = -2*n + 4, 101*n + 21 = 3*w + 98*n. Solve -5*k - 4 = -w*k for k.
4
Suppose 0 = -3*l + 13 + 17. Let g = -4 + l. Suppose 3 = 7*f - g*f. Solve -f = b - 8 for b.
5
Suppose -4*r - 32 = -0*p - 4*p, 0 = -p + 5*r. Let z = 2 + -2. Solve 5*q + z = p for q.
2
Let t(x) = -x**2 - 6*x + 9. Let p be t(-7). Let o(u) = u**2 + 20*u + 24. Let l be o(-16). Let r be ((-24)/10)/(8/l). Solve -p*j - j = r for j.
-4
Let l be (-4)/12*(2 + 85). Let o = 32 + l. Let x = 0 + o. Solve 0*t = -x*t for t.
0
Let d be -1 + 0/(7 + -4). Let q be (d - -7) + -5 + 1. Solve -3 - 1 = q*m for m.
-2
Let h be ((-96)/(-432))/(2/9). Solve 5 + h = 3*v for v.
2
Suppose 5*f = -3*d - 7, f + 2*d - 9 = 4*d. Let t be (f - 4)/(-1) + -3. Solve t = 2*k - 6 + 2 for k.
2
Suppose 5*q = 2*p + 18, -2*q + 4*q + 4*p = 12. Solve 10*u - 18 = q*u for u.
3
Suppose 7*c = 8*c + 4*n - 3, 0 = c + 3*n - 3. Solve c = 6*b - 9 for b.
2
Let j = 3202 - 3199. Solve 1 = -j*q - 2 for q.
-1
Suppose 5*w - 18 = 4*w. Let z(n) = -n**3 + 18*n**2 + 5. Let x be z(w). Solve 12 = 2*s - x*s for s.
-4
Let o = 517 + -507. Solve q = -o + 7 for q.
-3
Let f = -5 + 8. Suppose -4*n = f*a + n - 25, 0 = -4*n + 8. Suppose -a*g = -2*g. Solve v - 5*v = g for v.
0
Let x = 397 + -387. Solve 4*d = x*d + 6 for d.
-1
Let n be 0/(-6 + 3 + 1). Suppose -2*y - 5*g + 19 = 0, -2*y - g + 7 = -n. Solve y + 8 = 5*p for p.
2
Let r be ((-2)/6)/((33/(-18))/(-11)). Let g = 5 + 1. Let q be g + (-1 - r - 3). Solve -q*c = c - 20 for c.
4
Suppose 3*s - 71*z = -68*z + 27, 0 = -5*s - 3*z + 53. Solve -s*x - 12 = 8 for x.
-2
Let t(l) = l**3 + 4*l**2 - 4*l - 2. Let h be t(-5). Let i(d) = -2 - 4*d - d**2 - 4*d + 0 - d. Let w be i(h). Solve -w + 4 = 4*m for m.
-2
Suppose 5*r - 2*g = -51, -2*g + 2 = -3*r - 31. Let o = r + 11. Suppose 5*x - 5 = 3*a, -5*x + 44 = 3*a + 9. Solve -o*m + 4*m = -x for m.
-2
Let b(h) = -3*h + 82. Let t be b(24). Solve -t*s + 4*s - 6 = 0 for s.
-1
Suppose 2*u - u + 8 = 0. Let w be u*(-2 + 6/4). Solve 2*j - w*j + 8 = 0 for j.
4
Suppose -62*w + 69 + 179 = 0. Solve w = 15*j - 16*j for j.
-4
Suppose h + 3*h - 8 = 0. Let b = 182 + -183. Let w = h - b. Solve -2*n + 5 = -w*n for n.
-5
Let o be 6/18*4*42/4. Solve 0 = 19*l - o*l - 10 for l.
2
Suppose -5*t = 3*n + 145, t - 4*n = -38 - 14. Let z = t - -36. Solve -7*r = -z*r + 15 for r.
-5
Suppose -5*b - h + 5 = 0, -4 = -4*b + 23*h - 22*h. Solve -9 = -2*f + b for f.
5
Let v be (-54)/6 - (1 - 10). Solve -4*l + 16 + v = 0 for l.
4
Let u(x) = 4*x - 14. Let d be u(5). Let k be (-128)/(-24) - 2/d. Solve 0 = -k*q + q - 16 for q.
-4
Suppose -3*o = -4*d + 2, -21*o + 25*o = -3*d + 14. Solve -7 = -o*y - 7 for y.
0
Let f = 574 + -565. Suppose 3*z - 4*z = 2. Let c(u) = u + 4. Let n be c(z). Solve n*t = -t - f for t.
-3
Let z(t) = t**2 + 15*t - 13. Let l be z(-16). Suppose -3*a + 3*q = 0, l*q - 6*q + 6 = -a. Solve 2*w - 5 = -a*w for w.
1
Suppose 12 = -m - 3*z, -3*m + 4*z + 0*z + 29 = 0. Solve -m = -v - 1 for v.
2
Let z be ((-36)/(-6))/6 + (-4 - -7). Solve -2*a + z = -6*a for a.
-1
Let m be 16 + -11 + -3 + 2. Let l be 5 + m/(1 + 3). Solve -l*d = -2*d for d.
0
Let j(g) = g + 8. Let h(m) = -m - 15. Let b be h(-6). Let y be j(b). Let s be ((-1)/(-3))/(y/(-21)). Solve -3*o + s = -8 for o.
5
Let u be (-1)/(10/84) - (-18)/(-30). Let a = u - -9. Solve 4*j + 13 + 7 = a for j.
-5
Suppose 3*u + 33*u = 288. Solve 5*a + 6 = u*a for a.
2
Let o be 4/(-3)*3/(-2). Let m be (o/(-3))/((-1)/3). Suppose 42 + 11 = 53*a. Solve f + m = -a for f.
-3
Let c = -496 - -498. Solve 8*n + 2 = c for n.
0
Suppose -6*t + 60 = 6. Let n(z) = z**3 - 3*z**2 - 4*z - 5. Let g be n(5). Solve -4*a + t*a + g = 0 for a.
-5
Let g = -44 - -30. Let c be (-1 + 1)*g/28. Solve -n = -c*n + 2 for n.
-2
Let h = -36 + 38. Suppose -18 = -4*l + 3*f, 0 = 3*l - 2*l - h*f - 7. Solve -l = -o + 2 for o.
5
Let y(g) = 2*g**3 + 6*g**2 + 13*g - 6. Let j(v) = v**3 + 3*v**2 + 7*v - 3. Let t(k) = 11*j(k) - 6*y(k). Let d be t(-2). Solve 0 = -c - 6 + d for c.
-5
Let t(d) = d**2 - 3*d - 4. Let u be t(4). Let k(n) = -3*n + 28. Let p be k(8). Suppose p*m + 0*m - 8 = u. Solve i - m = -4 for i.
-2
Let c(f) = f**2 - 4*f - 5. Let d be c(5). Let m(a) = d - 4*a + 0 - 5. Let w be m(-5). Solve -2*o = -7*o + w for o.
3
Let i(u) = -3*u + 8. Let g(l) = -l**3 + 15*l**2 - 27*l