. Let c be a(h). Solve 0 = u + 7 - c for u.
-4
Let r = -3 - -13. Suppose 2*m - 14 - r = 0. Suppose -f - t + m = t, -5*f + 5*t - 15 = 0. Solve 0 = -2*d - f - 0 for d.
-1
Suppose 0 = 6*f + 3*f - 117. Suppose -5*c + 4 = 5*a - 1, 5*c + f = 4*a. Solve 7 = -a*k + 1 for k.
-3
Let p = 25 - 26. Let z(g) be the second derivative of -5*g**3/6 - g**2 + 5*g. Let d be z(p). Solve -9 = d*w + 3 for w.
-4
Let h = -31 - -10. Let a(i) = 3*i**2 - 2*i + 4. Let s be a(-3). Let q = s + h. Solve r + q = 5*r for r.
4
Let q be ((-9)/6)/(5/(-90)). Let p = 27 - q. Suppose p = -3*r + c + 4, -c + 25 = 4*c. Solve r*k + 3 = -0 for k.
-1
Suppose 0*c - 36 = -2*c. Let z be (-3)/(5/15*c/(-8)). Solve 0 = z*g - g for g.
0
Let c be (-2)/4 + 12/(-8). Let l be (1/c)/((-5)/(-60)). Let r = 10 + l. Solve r*q = -q for q.
0
Let l be (195/(-10))/13*-4. Solve 2*d = -d - l for d.
-2
Let c = 30 + -30. Solve 0*g - 5*g - 25 = c for g.
-5
Let t(x) = -x**3 + 4*x**2 - 4*x + 3. Let c be t(2). Suppose c*f - 5 = z, -z + 5 = 4*z - 5*f. Solve -z = 5*m - 3*m for m.
-2
Let p(a) = -2*a**3 - 6*a**2 - 9*a - 13. Let q be p(-3). Solve -m - 9 + q = 0 for m.
5
Let h(j) = j**2 + 15*j + 1. Let m be h(-15). Suppose -4 = 2*r - 2, v + 5*r + 5 = 0. Let o be (1/(-2))/((-3)/6)*2. Solve v = -3*y + o*y - m for y.
-1
Let c(z) = z + 7. Let t be c(-10). Let o be t/(2 - 3) + 0. Solve 5*k = 2 + o for k.
1
Suppose 5 = z + 2*d + 2, -5*z + 5*d = -15. Let j = 68 - 67. Solve z = -2*l + j for l.
-1
Let i = -521 + 521. Solve 3*m + 3 - 9 = i for m.
2
Let v be ((-18)/(-4))/((-1)/(-2)). Let z be 1/3 + 33/v. Suppose -4*b - 10 = -3*l, -z*l - b = -2*b - 22. Solve 7*d = 4*d + l for d.
2
Let z = -74 - -78. Suppose z*q - 17 = -2*c - 5, -2*q - 10 = 5*c. Solve -2 = q*m - 7 for m.
1
Suppose 5*b + 4*o = 4, -3*b + 5*b - 2*o - 16 = 0. Let n be b*(-4)/(-8)*1. Solve -7*x = -n*x for x.
0
Let m = 3 - -3. Let c be 8/(7/(105/m)). Solve -4*x + 0*x = c for x.
-5
Let f(m) = -m**3 + 5*m**2 + 10*m - 7. Let k be f(6). Let x = k + -20. Let j = x - -3. Solve j = u + 1 - 0 for u.
-1
Let z(s) = s + 15. Let u be z(-11). Suppose 3*n + 4*b - 65 = 0, -u*n + 2*b - 6*b = -80. Let k = n - 11. Solve k*j + 19 = -1 for j.
-5
Suppose -4*o = -2*o - 8. Let d be 1/((-35)/10 + 4). Suppose -d*q + 10 = -5*c, q + c + 4*c = -10. Solve -o*l + q = 12 for l.
-3
Suppose 0 = 4*u - 16*m + 18*m - 68, -2*m - 76 = -4*u. Solve -6*t = 3*t - u for t.
2
Suppose 4*t = -5*c + 180, -2*c + t + 59 = -0*c. Let z = 31 - c. Let f be (z/(-4))/(3/12). Solve 2*n - f = -3 for n.
-1
Let k = -761 - -764. Solve k*o = 9*o + 24 for o.
-4
Let n(f) = -f**2 + 10*f - 22. Let g be n(5). Suppose -l + 16 = g*l. Solve 9 - 1 = -l*v for v.
-2
Let b(i) = i + 8. Let p be b(-4). Let x = p + 1. Let s = x + -3. Solve s*t + 20 = -2*t for t.
-5
Suppose -2*h - 8*b + 11*b = -20, 10 = h - 3*b. Solve h*t = 20*t - 11*t for t.
0
Let o be 9/1 + 2 + -5. Suppose -o*y = -2*y. Suppose 0 = -y*l - l + 2. Solve l + 18 = -4*u for u.
-5
Suppose 0 = -5*d - 5*z + 30, -2*z - 3*z + 5 = 0. Solve -2*s - 9 = -d*s for s.
3
Suppose -4*k + 22 = k - 3*s, -2*k - 12 = 4*s. Suppose 0 = -5*v + 7 + 13. Suppose -2*x + 6*x - v*u - 16 = 0, -2*x = 2*u - 4. Solve -5 = -k*y + x*y for y.
-5
Suppose -132*x = -131*x - 5. Solve -8*o = -3*o + x for o.
-1
Let s(c) = -c - 2. Let l = 31 + -21. Let j(o) = -o**2 + 8*o + 14. Let q be j(l). Let p be s(q). Solve -m = -p - 0 for m.
4
Suppose 9*w = 5*w - 16. Let o be w/2*-3*-1. Let k(d) = -d**2 - 7*d - 4. Let g be k(o). Solve g*r + 6 = -r for r.
-2
Let u(l) = -l**3 - 19*l**2 + l + 23. Let v be u(-19). Suppose -5*z = -v - 21. Solve -z*d - 28 = -3 for d.
-5
Let p be (0/2)/2 - -2. Let t = 7 - p. Suppose -t*o = -3*o - 10. Solve k - 16 = o*k for k.
-4
Let a = -1427 + 1429. Suppose -16 = n - 5*n. Solve t - a*t = n for t.
-4
Let o be ((-45)/20)/((-6)/(-16)). Let v = o - -10. Suppose v*m - 8*m = -16. Solve -m*s = -s + 6 for s.
-2
Let s(i) = i**2 + 11*i - 6. Let w be s(-12). Let g(o) = 2*o**2 + 8*o + 4. Let c be g(-5). Suppose c*y = 10*y + 104. Solve 5*n + y = w for n.
-4
Suppose -r - 3*v = 3*r - 116, -5*r - v + 156 = 0. Let x be 19/(-95) + (-372)/(-10). Let y = x - r. Solve y*p - 5 - 5 = 0 for p.
2
Let j = 2 + 3. Let x(m) = 4*m**2 - 40*m - 43. Let z be x(11). Solve -j + z = l for l.
-4
Suppose -20*c = -14*c - 18. Solve l - c*l = 2 for l.
-1
Let f(c) = -c**3 + 9*c**2 - 15*c + 7. Let o be f(7). Solve -4*v - 4*v - 8 = o for v.
-1
Let i be 198/242 - (-4)/22. Solve i - 2 = j for j.
-1
Let v(i) be the first derivative of i**3/3 + 4*i**2 + 12*i + 13. Let q be v(-6). Solve -2*u + q*u = 2 for u.
-1
Let k(v) = -v**3 + 2*v**2 + 6*v - 6. Let t be (0 - 1)/((-4)/12). Let c be k(t). Solve -x = c*x for x.
0
Suppose 5*v = -19 + 29. Suppose -5*f = 4*h - 3, v*f + 9 = 2*h + 3*f. Suppose 37 = 2*w - 5*p + 8, -5*p = w - h. Solve -u - 2*u = w for u.
-4
Let b = 114 + -110. Let k(h) = -h**3 - 5*h**2 + 5. Let t be k(-5). Solve -1 - b = t*q for q.
-1
Let w be 186/27 + (-19)/(-171). Solve w*r - 2 = -16 for r.
-2
Suppose -5*n - 2*v = -52, 12 = -4*v + v. Let s be (-9)/n - 11/(-4). Let j be 4 - ((-2)/(-1) + 0). Solve 0*w - s*w = -j for w.
1
Suppose 3*w = -2*u - 30, 3*u - 2*w + 9 = -49. Let n be (-120)/u*6/8. Suppose 3*z - 2*j - 6 = -z, -3*j - n = -4*z. Solve z*l - 3 = 3 for l.
3
Let s(t) = t**2 - 2*t + 10. Let a be s(5). Suppose h - 5 = 0, v = -4*v - 3*h + a. Solve 0 = x - v*x for x.
0
Let n(p) = p**2 - 10*p + 25. Let r be n(5). Solve -s = 4 - r for s.
-4
Let d = -2 + 4. Suppose 16 = -6*t + d*t. Let m be 3 - (16/t - -1). Solve -2 = 4*p - m for p.
1
Suppose 2*c = -x + 4*c - 6, 0 = 5*x + c - 3. Suppose x = 4*t + 44 + 92. Let m = 34 + t. Solve -v + 0*v = m for v.
0
Let v be -9 + 5 + (-6)/12*-38. Solve v = -3*z + 8*z for z.
3
Let c(s) = -6*s - 37. Let x be c(-9). Solve 0 = -x*r + 15*r + 6 for r.
3
Let s be (-126)/(-28) - 3/(-6). Solve 11*v + 50 + s = 0 for v.
-5
Let u(z) = 2*z**2 + 2*z + 7. Let m be u(0). Suppose 2*h = 4*c + 3*h - 17, c = 2*h - m. Solve -2*w - c*w = -20 for w.
4
Suppose -8 - 8 = -4*r. Suppose -o - 3*k + 12 = 0, -3*o - 3 - 13 = -r*k. Solve o = n + 2 for n.
-2
Let w(d) = -5*d**2 + 2*d. Let k be w(-1). Let g(x) = -x - 4. Let n be g(k). Solve -n*t + 1 = 10 for t.
-3
Suppose -6*b + 40 = 4*b. Solve 3 = b*y - 3*y for y.
3
Suppose v = -v + 5*o + 35, v - 18 = 3*o. Solve -13 = -b - v for b.
-2
Let s(i) = 2*i - 5. Let f be s(5). Suppose 5*d + 172 = -3*n, 3*n - 2*d + 5*d + 162 = 0. Let p = n - -49. Solve q - f*q = p for q.
0
Suppose -9*p = -8*p - 7. Suppose -62 = -p*k + 57. Solve 0 = 5*f - k + 2 for f.
3
Let g be 0 + (3 - 0) - -7. Suppose -p = 4*p - g. Let z be 140/(-7)*p/(-4). Solve -5*o - z = -35 for o.
5
Let n be (0 - 0) + 2 - (-26)/1. Solve -n*d + 23*d = -10 for d.
2
Let k(r) = -2*r**2 - 33*r + 21. Let m be k(-17). Solve 5 = m*s - 7 for s.
3
Let o(w) = w**2 + 3*w + 26. Let n be o(0). Suppose -2*a + 24 = -n. Solve -8*l = -13*l + a for l.
5
Suppose 0 = 3*x + 4*h - 14, 0 = -3*x + 2*h + 33 - 31. Solve 3*n + x = 17 for n.
5
Suppose 2*o = -4*x + 96, 4*o = -2*x + 24 + 18. Suppose 2*g = -3*g + x. Let q be 5/40 - -5 - (-3)/(-24). Solve -q*n - g = -0*n for n.
-1
Suppose 5*q - 27 = 3*n - 5*n, -2*n = 8. Let f be (-72)/126 + 4/q. Solve 5*h + f = -15 for h.
-3
Suppose 5*g - 8 = 22. Let k be 20/g - 1/3. Solve 0 = k*b - 5 - 1 for b.
2
Let b(h) = -13 + 219*h - 222*h - 4. Let i be b(-6). Solve 3*x = -i - 2 for x.
-1
Let q(o) = o - 2. Let f be q(4). Suppose -p + f + 4 = 0. Let c = p - 3. Solve -2*k + 5 - c = 0 for k.
1
Let a(m) = 5*m**2 - 6*m - 2. Let d(j) = -14*j**2 + 19*j + 7. Let k(q) = -17*a(q) - 6*d(q). Let r be k(-11). Solve 0 = r*c + c + 12 for c.
-3
Let s(x) = 4*x + 64. Let w be s(-15). Solve 7 + 5 = w*h for h.
3
Suppose -r - 5*n = 5, r = 4*n - 2*n + 9. Suppose -129*u - 4 = -125*u. Let f be -7 - -5 - 7/u. Solve -r*l - f + 0 = 0 for l.
-1
Suppose 78 = -4*p + 17*p. Let b(z) be the first derivative of z**3/3 - 5*z**2/2 - 6*z - 2. Let j be b(6). Solve 2*t - p = -j*t for t.
3
Let f = -57 + 57. Let x be (-3)/(-5) + 397/5. Suppose 5*v + 5 = x. Solve 3*u = -f*u + v for u.
5
Suppose 0 = 4*z - 12, s + z - 3*z = -4. Let k = 76 - 76. Solve -s*c + k*c = -2 for c.
1
Suppose 0 = -10*u - 20*u + 270. Solve 11 = -5*r - u for r.
-4
Suppose 5*d = 35 - 30. Let w(f) = -f + 3. Let g be w(d). Let i(s) = -s**3 - 4*s**2 + 6*s + 7. Let t be i(-5). Solve -t*a + 0*a = -g for a.
1
Suppose -3*t = -r 