*h = -a*h for h.
0
Let l(i) = -3*i - 6. Let j(g) = 2*g. Let a(c) = -6*j(c) - 3*l(c). Let u be a(5). Solve -b + u = -2 for b.
5
Suppose 5*w = -17 - 3. Let m(v) = v + 7. Let b be m(w). Suppose 2*j - b = j. Solve 0 = -j*o + 6 for o.
2
Let f be 2*(3 + 15/(-6)). Let s be 3/(-12) + (-10)/(-8). Suppose 4 + s = 5*o. Solve -a = -o - f for a.
2
Let n(r) = 2*r - r**3 - 53 + 2*r - 3*r + r**2 + 52. Let s be n(-2). Solve -2*i + 3 = s for i.
-3
Let c(p) be the first derivative of -p**2/2 + 10*p + 5. Let u be c(-10). Solve 3*f = 8*f - u for f.
4
Let m = -1022 - -1030. Solve 7*f + 4 = m*f for f.
4
Let h be (-15)/4*16/(-4). Let r = -55 + 58. Suppose 7*f + r*f = 30. Solve -3*b = h - f for b.
-4
Let h be (-10)/((18/3)/(-3)). Let t = h + -3. Suppose 0 = -t*f - 0*f. Solve f = -j - 4 for j.
-4
Suppose -3*j + 39 = -2*d - 2*d, j + 5*d = -6. Solve 3*s + j = -0*s for s.
-3
Let t(r) = -3*r - 1. Let q be t(-2). Suppose 0*k = q*k - 10. Suppose -p + 12 = k*p. Solve -p = -m + 3*m for m.
-2
Let l be 1*2 + (-3)/1. Let n be 609/145 - l/(-5). Solve 4 = -n*g + 20 for g.
4
Suppose -4*n + 16 = 0, k + 2*n = -0*k + 24. Let a be 4/6 - k/24. Solve a = -m + 4*m - 12 for m.
4
Suppose -36*n - 2 = -110. Let w = -5 + 21. Solve w = -n*h - h for h.
-4
Suppose -5*b + x + 2*x + 26 = 0, 5*b - 23 = 4*x. Suppose -2 = w - b. Suppose 1 = f - 2*t - 0, 29 = w*f + 2*t. Solve 0*v = v + f for v.
-5
Let y(z) = -z**2 - 6*z + 9. Let g be y(-6). Suppose g*w - 24 = w. Solve i + w - 6 = 0 for i.
3
Suppose 75*y - 39 = 62*y. Let x = -12 - -18. Solve -y*h + 0*h = x for h.
-2
Suppose -12*c + 106 - 34 = 0. Solve 0 = -2*a - a - c for a.
-2
Let h be ((-2)/(-4))/((0 - 2)/408). Let q = 106 + h. Solve 0 = q*m - 0*m - 20 for m.
5
Suppose -f + 3*y = -7 + 11, -f - 1 = -2*y. Solve -4 = f*a + 21 for a.
-5
Let f = -23 - -26. Let u be (2/8)/(f/48). Solve u*b = 3*b - 5 for b.
-5
Let c be (15/(-9))/((-75)/135). Solve -c*u + 21 = 27 for u.
-2
Let d be (0/(-1))/(1 + 0). Suppose -v - 2*v + 24 = d. Let y = -8 + v. Solve y*x = x for x.
0
Let p(g) = -g**2 + 11*g + 94. Let f be p(16). Solve 7*a = f - 21 for a.
-1
Suppose 0 = 5*y + 2*w - 13, 3*w + 12 = 4*y - y. Suppose -32 = -3*u - 5*c, -u + 5*u - 28 = -y*c. Solve u = -2*r + 6*r for r.
1
Let w be 21/14 + (-6)/4. Let v be (-1*4 + w)*-1. Suppose -v*a = -12 - 8. Solve -6*t = -a*t + 4 for t.
-4
Let o(s) = -2*s**2 - 34*s - 57. Let i be o(-15). Solve 0 = -i*q - 0 - 3 for q.
-1
Suppose 0*y - 4*y - 5*p + 52 = 0, 12 = 2*y - p. Solve -2 + y = 2*f for f.
3
Suppose -3*o + 27 = -0. Solve -5*n = -19 + o for n.
2
Suppose -4*o - 46 = -27*o. Solve 2*b + 12 - o = 0 for b.
-5
Let d be -2 + -1 - (1 + (-2 - 2)). Suppose d = 7*u - 26 - 2. Solve -10 - 2 = u*r for r.
-3
Suppose 0 = -5*w + 4*a + 10, -4*a + 6 = -2*w + 5*w. Suppose -4 = -w*g, -3*l + 10 = 5*g - 18. Solve l = -5*s + 3*s for s.
-3
Suppose 0 = 2*z + c + 1, 3*z - 19 = -2*c - 23. Solve 2*a + 0*a = z for a.
1
Suppose 0 = 13*t + 10*t. Let a = 8 + -5. Suppose -c = -2 - 14. Solve t = -a*m - m + c for m.
4
Let s(d) = 5*d + d**2 - 2*d**3 + 0*d - 4*d. Let j be s(-1). Solve -j = -3*b + 4 for b.
2
Suppose 0*t = t + 20. Let q = -20 - t. Let x = q + 2. Solve -m = -x*m + 4 for m.
4
Suppose -r + 4 = -3*k, -r = -4*k - 0*k - 9. Let s be 4/(-6) + (-8)/24*r. Solve -s*a = -4*a - 1 for a.
-1
Let g be 0/(-4)*5/(-40). Solve -7*y + 9 - 2 = g for y.
1
Suppose -3*v = -2*l - 9, 6*v - 4 = 2*l + 4*v. Solve -l*f = 2*f + 20 for f.
-4
Let l(z) = z**2 - 7. Suppose -5*o = -7*o - 6. Let f be l(o). Suppose 0 = -4*c + 3*u + 2*u - 16, -2*c = 2*u - 10. Solve -1 - c = f*t for t.
-1
Let v = 16 + -14. Suppose 0 - 10 = -v*p + 2*l, 2*p - 14 = 3*l. Solve 5*y + p = 4*y for y.
-1
Let t be 5 + -1 - (0 + 2). Suppose -9 = -2*f + 3*f + 3*w, -3*f - 3*w = 9. Suppose 3*v = -4*g - 1, 2*g + f*g = 2*v - 4. Solve -t*p - 1 = v for p.
-1
Let r = 63 + -61. Let a = 4 - r. Solve f + a = -0 for f.
-2
Suppose 5*m - 3*o + 9 = 0, -o + 2*o = -2*m + 3. Solve -c - 3*c - 4 = m for c.
-1
Let n(z) = -2*z - 9. Let j be n(-6). Suppose 0 = -2*r - r. Let p(s) = -s**3 - 15*s**2 + 14*s - 29. Let m be p(-16). Solve -m*i - j - 3 = r for i.
-2
Suppose 6 = 3*b - b. Suppose 5*y + 8 = b. Let o be (0 - y)*(9 + -9). Solve 9 = -3*f - o*f for f.
-3
Let o = 49 - 44. Solve o*z + 8 = -12 for z.
-4
Let z = 40 + -36. Suppose -z*n + n = -9. Solve -n*f + 1 = -4*f for f.
-1
Let j = 596 + -563. Solve 0 = -10*q + 3 - j for q.
-3
Let f(x) = -x**3 + 21*x**2 + 45*x + 31. Let z be f(23). Solve z = -4*h + 4 for h.
-1
Let l(n) = -2*n**2 - 12*n - 4. Let p be l(-5). Let v be (-22)/44*-1*p. Solve 0 = -8*c + v*c for c.
0
Let n be (0 + 2)/(7/28). Let p = n - 12. Let v(k) = -k**2 - 5*k + 3. Let u be v(p). Solve u*f = 2*f - 25 for f.
-5
Suppose 2*m + 2*m = -i + 1, -3*m - 24 = -2*i. Solve -3*l + 0*l = i for l.
-3
Let u(k) = k**2 - 13*k + 20. Let p be u(12). Solve 6*x = p*x + 2 for x.
-1
Let f be -17 + 0 + -3 + 0 + -1. Let m(l) = -l**3 - 22*l**2 - 21*l + 3. Let v be m(f). Solve -v*b + 5 = 2*b for b.
1
Let q = -330 - -340. Solve 5 - q = -5*d for d.
1
Let u(q) be the first derivative of -q**4/4 + 6*q**3 - q**2/2 + 21*q + 8. Let n be u(18). Solve -4 = -n*j - 1 for j.
1
Let q be (-1)/(-2) - 45/(-6). Suppose 244*m - 247*m = -6. Suppose -2*k + 10 = m*y, -3*y + y = 5*k - 13. Solve -20 = y*g - q for g.
-3
Let n(h) = -h**3 + 10*h**2 - 4*h + 45. Let o be n(10). Solve o*m - 3*m = 8 for m.
4
Let k be (-20)/(-11) + 208/1144. Solve 0 = 8*a + k + 6 for a.
-1
Let a = -1197 - -1199. Solve -a*r = -3*r + 8*r for r.
0
Let f(b) = -4*b - 7. Let h(c) = c**2 + 9*c - 13. Let i be h(-10). Let o be f(i). Solve -3*g = 2*g + o for g.
-1
Let b(w) = -w**3 + 3*w**2 - 4*w + 2. Let m be b(4). Let s = m + 30. Solve s = d + d for d.
0
Suppose 2*t + 3*t = 95. Suppose -3 = 2*y - t. Solve 0 = 2*q + 2*q + y for q.
-2
Let f be (72/108)/(10/75). Solve 3 = h + f for h.
-2
Let l(z) = -z**3 - 9*z**2 - 20*z + 2. Let p be l(-5). Solve -s - 6 = p*s for s.
-2
Let d be (-17)/((-3)/(6 + -3)). Let w be 15/d + (-10)/(-85). Let i be -4 - (4 + (-18)/w). Solve 5*l = 3*l - i for l.
-5
Let f(q) = 2*q + 29. Let u(i) = -1. Let r(l) = f(l) + 6*u(l). Let p be r(-10). Solve 0 = -p*d + 7 + 8 for d.
5
Suppose -6*x + 108 = 3*x. Solve 15 - x = n for n.
3
Let c(o) = -3*o - 13. Let p be c(-5). Solve 3*m = -p - 1 for m.
-1
Let b be (-135)/36*8/(-6). Solve -2*p - b = -1 for p.
-2
Let q = -152 + 172. Solve 6*j + q - 44 = 0 for j.
4
Let m be 9 + -6 + 3/3. Solve m*c + 1 = 13 for c.
3
Suppose -4*o + 20 = 2*y, 15 = 3*y + 3*o - 2*o. Let u = 5 + 5. Suppose -5*w + 54 = -2*h, 3*w - 2 = 2*h + 32. Solve -w = y*p + u for p.
-5
Suppose 469 = -6*x - 251. Let d be 7/2*x/(-84). Solve 0 = -d*t - 15 for t.
-3
Let z = -2707 - -2713. Solve 6 = -z*y + 9*y for y.
2
Let j be 10/85*-1 - 1194/(-34). Solve -j = 18*t - 25*t for t.
5
Let f(t) = 7*t - 105. Let m be f(16). Solve -m = 3*x - 1 for x.
-2
Suppose 0 = -c + 4*t + 20, -2*c - 11 + 35 = -4*t. Solve c*n - 37 = -25 for n.
3
Let s = -206 - -209. Solve 5*f - s = 8*f for f.
-1
Let j(m) = -2*m**3 + m**2 - m - 1. Let x(a) = a - 4. Let c be x(3). Let d be j(c). Let u be (-2 - (3 - d)) + 8. Solve 0 = -4*r + u*r for r.
0
Let j(c) = c**2 - 2*c - 6. Let q(n) = n + 17. Let m be q(-13). Let b be j(m). Let a = b - 0. Solve 3 = -5*d - a for d.
-1
Let a = -18 + 15. Let f(t) = -t. Let o be f(a). Solve 0*q - o*q = 6 for q.
-2
Suppose 0 = 2*t + 8. Let h(l) = -l - 4. Let z be h(t). Suppose 4*w + 7*s = 3*s + 24, -3*w + s + 2 = z. Solve 8 + w = 2*r for r.
5
Let q(a) = -8*a + 52. Let p be q(6). Solve -p*h = -2*h - 2 for h.
1
Let q(f) = 3*f + 7. Let d be q(-5). Let r = -5 - d. Let w(t) = t**3 + 13*t**2 - 457*t + 211. Let s be w(-29). Solve r*x = -7 - s for x.
-5
Let j be 4 + (-5 - -4) + 28. Let y be 24/(-32) + j/4. Solve y*s = 3*s + 16 for s.
4
Let j be (36/81)/((-4)/(-54)). Solve 6*m + j = 3*m for m.
-2
Suppose 0 = 6*s - s + 5. Let l = -4 + s. Let b be (-9)/(-12) - l/4. Solve -k - b = 1 for k.
-3
Let r(t) = -t**3 + 5*t**2 + 2*t - 3. Let y be r(5). Let c be 40/2 - (y + -9). Let g = c + -13. Solve -j = -4*j - g for j.
-3
Suppose 3*w - 6*w + j = -8, 3*w = -5*j - 4. Suppose y + 10 = 2*r, 2*r - 2*y = y + 18. Let h be 23/5 + 12/30. Solve -r*p + w = -h*p for p.
-1
Suppose -4*a = -0*a - 128. Let q = a + -8. Suppose -4*s = 4*n - 96, -5*s + q = 2*n - 99. Solve -s = 6*d - d for d.
-5
Let i be -1*4/12*15. Suppose 40 = -3*l + 7*l. Let