12, -4*q + 2*l - 9 = -23. Suppose -q - 5 = -5*h. Solve -h*t - 4 = -w for t.
-2
Let l = -542 - -546. Let q(n) = n**3 + 3*n**2 + 3*n - 9. Let c(d) = -d**3 + d + 1. Let m(b) = -2*c(b) - q(b). Let s be m(l). Solve -s*f - 2*f - 15 = 0 for f.
-3
Let k(d) = 2*d**2 - 2*d. Let s be k(2). Let q = s + -11. Let c = 10 + q. Solve 0*r = r - c for r.
3
Let x = 6 - -7. Let w be (0 + x)/(1/(-1)). Let z = w - -13. Solve z*u = u - 4 for u.
4
Let c(w) = w**3 - 20*w**2 + 13*w + 126. Let m be c(19). Solve 0 = 4*k - m - 0 for k.
3
Suppose 75*x - 90*x = -540. Solve -x = -7*j - 71 for j.
-5
Let j = 1587 - 794. Let c be j/91 + 4/14. Let o be 6/c - 2/(-6). Solve -o = -5*b - 6 for b.
-1
Suppose -4*b + 20 = 0, 3*b = 2*a + 8*b - 49. Let h be (3/1)/(36/a). Solve 0 = 5*f + h + 4 for f.
-1
Suppose 0 = -m + 3 + 3. Let z be 30/(-12)*132/(-165). Solve -z*j = j + m for j.
-2
Suppose -15 = -2*t - 3. Suppose 0 = f - 2*c + t, 0 = 7*f - 5*f + 2*c - 12. Suppose -f*v - 4*j = -22, 0 = -2*v + 3*j + 1. Solve 0 = -0*s + v*s + 5 for s.
-1
Let j be 2 - -3 - 12/(-42)*-7. Suppose -8 = 4*a - j*a - 4*z, z - 17 = -a. Solve 2*i - a = -i for i.
4
Let d be (-3)/(-2)*((-15)/3 + 7). Let u = 174 - 88. Suppose -6*b - 32 = -u. Solve 0 = -d*g + 6*g - b for g.
3
Let m(l) = 3*l**2 + 2*l - 2. Let c be m(1). Let y be ((-14)/(-2))/(c/12). Suppose 4*f - y = -8. Solve 20 = -f*q - 0 for q.
-4
Let s(u) = 5*u**2 + u - 1. Let n be s(1). Suppose p + p = 5*d + 7, 0 = -n*p + 4*d - 8. Let t(w) = w**2 + 2*w + 3. Let r be t(p). Solve -4*j + r + 9 = 0 for j.
5
Let o = 14 - 12. Let z(v) = 3*v - 1. Let r be z(o). Let p = -2 - -2. Solve 0*x - r*x + 15 = p for x.
3
Let z(k) = -k**2 + 35*k - 276. Let f be z(12). Let y = 0 + 1. Suppose y = -j + 5. Solve -4*s + f = j for s.
-1
Suppose -42 = -10*a + 8. Solve -a*z + 3*z - 2 = 0 for z.
-1
Let w(t) = 8*t**2 + 2*t - 2. Let v(c) = -c + 16. Suppose -3*z + 75 = 2*z. Let m be v(z). Let q be w(m). Solve -3*b + q = b for b.
2
Suppose -8*r = -1103 + 655. Solve 3*y - r + 65 = 0 for y.
-3
Let w be (4/3)/(40/30). Let d be w/2*-2 - -3. Solve 1 = -b - d for b.
-3
Let i(m) = -2*m - 33. Let l = -8 + -6. Let j be i(l). Let g = -3 - j. Solve k + g = -k for k.
-1
Let w(j) = 6*j**2 + 3*j - 3. Let o be w(1). Let z(y) = 6*y - 6. Let p(n) = -7*n + 7. Let s(a) = 5*p(a) + 6*z(a). Let u be s(o). Solve q - u = 2*q for q.
-5
Let r be 12*(-2)/12*-2. Suppose r = -0*n + n. Solve n*c = -c - 5 for c.
-1
Let a(g) = g**2 + 8*g - 14. Let x be a(-10). Solve -9 = 3*o - x for o.
-1
Let p(t) be the second derivative of -t**3/3 - 37*t**2/2 + 25*t. Let h be p(-19). Solve 19 = -5*m - h for m.
-4
Suppose 3 = 2*s - 3*s. Let k be (-1)/s + 276/36. Suppose 0 = 3*d - k*d + 20. Solve 0*r = 2*r + d for r.
-2
Let d = 1074 + -1069. Solve -46*c = -51*c - d for c.
-1
Let y = -4 + 7. Let v(u) = -4*u + 2. Let a be v(-5). Let f = 24 - a. Solve f*j = -5 - y for j.
-4
Suppose 0 = 2*r, 3*n - 2*r - 37 = -25. Solve n = -v - 3*v for v.
-1
Let o be 8/(-68) - (-3438)/34. Let x = -97 + o. Solve 3*t = x*t for t.
0
Let n = -602 - -602. Let u(y) = -y**3 + 8*y**2 - 7*y + 3. Let x be u(7). Let r be (x - 3)/(-1*1). Solve r = -d - n*d + 3 for d.
3
Suppose 0 = 5*x + 10, -x + 3 = -k + 5. Let c(h) = 3 - 7*h**2 - 1 - h**2 + 103*h - 101*h + 2*h**3. Let s be c(4). Solve -5*v + k = s for v.
-2
Let d(h) = 24*h**2 - 9. Let y be d(-2). Solve -89*g + 8 = -y*g for g.
4
Suppose -3*b + 4*g = -36, -5*b + 91 = -3*g + 20. Let k = b + -12. Let r(d) = d**2 - 3*d + 1. Let p be r(k). Solve -8 = -p*v + 12 for v.
4
Let m be 14/77 - (-31)/11. Let f be (m/(-4))/(2/(-16)*1). Solve -3 + f = -n for n.
-3
Suppose -90 = 5*d + 75. Let v = d - -36. Solve -x = -4 + v for x.
1
Suppose 26*g - 10*g - 48 = 0. Solve g*p + 4 = 5*p for p.
2
Let g(b) = -13*b - 2. Let n be g(-1). Suppose -w = -4*q + 17, -4 = -3*q + n. Suppose 2*j + 2*z = 3*z + 2, -5*z + 4 = 4*j. Solve -j + 4 = -w*c for c.
-1
Let g be (4 - (-2 + 1)) + 120/(-30). Solve 0 = -w + g - 0 for w.
1
Let u = 726 - 722. Solve -u*w - 21 = -9 for w.
-3
Suppose -2*a = j - 12, -2*j - 3*a = j - 27. Suppose -43*h - 455 = -50*h. Let g = h - 49. Solve -j*b - g = -2*b for b.
-4
Suppose 4*c - 3 = 2*k - 1, -4*k = -2*c - 2. Suppose 4 = -5*f - c. Let m be (-8 + 2)*(0 + f). Solve m*j - j - 25 = 0 for j.
5
Suppose -10*n = 5 - 25. Let y be 10/(n/(-18)*-6). Suppose l - 3*a = -4*l + 7, -4*l = -a - 7. Solve l*s + y = 7*s for s.
3
Let r be (20 + -11)/((-1)/(-2)). Solve r - 10 = 2*z for z.
4
Let n be ((-10)/(-15))/(2/18). Suppose 3*w = -3*h + 24, 0*h + 3*h + 6 = 3*w. Solve 0 = -h*f + n for f.
2
Let l(d) = -d**3 + 8*d**2 + 11*d - 12. Let b be l(9). Suppose 0 = -b*j + 2*j + 32. Solve 12 = 5*s - j for s.
4
Let c = -1662 - -1667. Suppose 0*t - t = -2. Solve c*o - t - 13 = 0 for o.
3
Suppose 2*m + 4*w = -w - 26, -5*w = -3*m + 11. Let x be 0/(m/(-1) - 1). Solve 3*c = -x*c for c.
0
Let h(t) = -t**2 - 7*t. Suppose -3*x + 2*x = 6. Let a be h(x). Suppose -3*k + 3 = -0*k. Solve -w = k - a for w.
5
Suppose -2*s = 3*g, -s - 1 - 12 = -5*g. Let q be 0/((s - -3) + 4/(-2)). Solve 3*l = -q*l - 15 for l.
-5
Suppose 0 = -5*a - 4*q + 30, 4*a = -2*q + 7 + 11. Suppose a*d - 5 = -1. Solve 0 = -p - d*p for p.
0
Let s(d) = d**3 - 2*d + 8. Let j be s(0). Suppose j + 10 = 9*w. Solve 4*p = w*p + 4 for p.
2
Suppose -1030 = -4*g - 986. Solve -16*n + 20 = -g*n for n.
4
Let v = -168 + 172. Solve v = 2*i + 2 for i.
1
Let s be 13 + -11 - 1/((-1)/14). Solve 39 = -s*o + 3*o for o.
-3
Let k = -2 + 4. Suppose 5*p - 223 - 97 = 0. Suppose -2*r = -5*w + p, r + 1 = k*w - 25. Solve -2*l - w = 2*l for l.
-3
Let u(y) = -y**3 - 5*y**2 + 4*y - 11. Let q(x) = -x**2 - 17*x - 22. Let a be q(-16). Let t be u(a). Solve c + t = -3 for c.
-4
Suppose 180*c + 35 = 187*c. Solve 0 = -c*u + 22 - 22 for u.
0
Let n be (-8 - -7)*6*-1. Suppose 0 = -6*a + n - 0. Let y be -5*(-1 + a/(-5)). Solve 2 = -2*t + y for t.
2
Suppose -16*s + 15*s + 4 = 0. Suppose 4*l + h - 19 = -2*h, s*h = 20. Solve 3*r - 4*r = l for r.
-1
Suppose -45*r - 12 + 111 = -306. Suppose 3*b + 6 = 21. Solve -b*c - 11 - r = 0 for c.
-4
Let j(q) = 4*q**2 - 3*q - 1. Let c be j(3). Let a(f) = -3*f - 6. Let r = -30 + 26. Let i be a(r). Solve i = 5*z + c for z.
-4
Let f(h) = -h**3 - 3*h**2 + h + 8. Let i be f(-4). Let a = 24 - i. Suppose -u - 2*s = 2, 3*u + 5*s = a*u - 12. Solve 0 = k - u*k for k.
0
Suppose 629 = 9*f + 566. Solve -f*d + 10 - 3 = 0 for d.
1
Suppose -3*n + 8 = n. Let s(d) = d**3 - d + 3. Let j(k) = k - 2. Let u be j(2). Let g be s(u). Solve g*y - 2*y = n for y.
2
Suppose -11*c + 31 = -68. Suppose -c*w + 11*w = 10. Solve 0 = -w*t + t - 20 for t.
-5
Let y = 167 + -167. Solve -5*f + y - 15 = 0 for f.
-3
Let f be ((-7)/(98/(-12)))/((-15)/(-140)). Let s(i) = i**2 - 2*i - 2. Let a be s(3). Let t be (a - -5) + (-1)/1. Solve -t*o - f - 7 = 0 for o.
-3
Suppose -17*f + 22*f = -95. Let s = 23 + f. Suppose q = 4*w - 2*q + s, 5*q - 20 = 0. Solve 0*u - w = -u for u.
2
Suppose -85 = -2*x - u - 35, 2*x = u + 42. Solve -18*j + x - 5 = 0 for j.
1
Let b = -16 - -23. Let q = -1244 + 1248. Solve q - b = k for k.
-3
Suppose 12 = 6*q - 2*q. Let b be -1 + (5 - 4 - q). Let r be b/(-2 + -2 - -3). Solve 0 = -2*i + r*i + 4 for i.
-4
Let p(x) = -9. Suppose 5*u - 4*u - 5*r = 12, -u + 3*r = -14. Let l(q) = -q - 26. Let f(a) = u*p(a) - 6*l(a). Let t be f(2). Solve 0 = 5*s - 0*s + t for s.
-3
Let k(p) = p**3 + 4*p**2 + 3*p. Let d = -28 - -19. Let a(z) = -z**2 - 8*z + 7. Let i be a(d). Let g be k(i). Solve 3*n - 5 = g*n for n.
5
Suppose c = -t + 13, 2*t + 2*t - 12 = 4*c. Let d = -21 - -33. Solve 5*l + d = -t for l.
-4
Suppose -5*x - 4*r + 18 = 0, 14 = -58*x + 62*x + 3*r. Solve -x*w - 3*w = -15 for w.
3
Let j(x) = -x + 7. Let c be j(3). Suppose -2*f - 2*p = f + 95, c*p = -2*f - 74. Let n = f + 32. Solve 3 = n*g + 12 for g.
-3
Suppose 0 = 82*i - 18275 - 25103. Solve 3*v + 520 = i for v.
3
Let c(x) = -x**3 - 3*x**2 - 4*x - 2. Let o = -106 - -104. Let n be c(o). Solve -7 + 1 = -n*j for j.
3
Let t = -7 - 1. Let p = 10 + t. Let v be (2 - 0/(-2)) + p. Solve -v*d + 9 = -d for d.
3
Suppose -2*z - 8 = -3*v, 2*v + 5*z + 10 = 7*v. Solve -j + 3 - v = 0 for j.
-1
Let j be (1 + 46/2)*11/33. Solve 0*f = -j*f + 8 for f.
1
Let m(h) = -h**3 + h**2 + 7. Let u be m(0). Solve 4*l = u*l - 9 for l.
3
Let d = -242 - -247. Solve -d*b = -22 + 32 for b.
-2
Suppose -51 = -4*i - 6*y + 7*y, -3*y = 5*i - 51. S