for u.
-3
Let x(j) be the first derivative of -j**2 - 13. Let y be x(-1). Suppose -b - y + 8 = 0. Solve 5*h - 14 = b for h.
4
Suppose 4*f = -2*k - 16, 3*k + 4*f + 27 = f. Let v be k/55 + (-114)/(-22). Solve -v = -2*m + 3 for m.
4
Suppose -2*r + 26 = -2*j, 35 = 3*r + 4*j - 3*j. Let c(b) = -b - 7. Let n be c(-9). Solve n*t + 2*t - r = 0 for t.
3
Let d = 4 - -1. Let j(x) = 44*x + 494. Let m be j(-11). Solve 5*p = m + d for p.
3
Let t = -87 + 89. Let g be (-2)/t*(-4 + 5 + -2). Solve -g + 6 = -z for z.
-5
Let z(i) = -3 + 5 - 3 - 2*i**2 + 4*i - 4*i**3 - 6*i. Let u be (1 - 0) + 4/(-2). Let k be z(u). Solve k*h + 5 = -2*h for h.
-1
Let g = 815 + -815. Solve 12*b - 6*b - 30 = g for b.
5
Suppose 0 = 9*k - 10 - 26. Solve 12 = k*b - 8 for b.
5
Let r = 0 - 0. Suppose 0 = 5*h + 2*k + 9 - 144, 5*k = h. Solve h = -5*j - r for j.
-5
Let w(m) = 2*m**2 - 1. Let s be w(-1). Let r be 3/((-2)/((-2)/s)). Solve -7 = -r*i + 2 for i.
3
Let w be (0 + 1 + 0)*5. Let m be w/((-15)/(-66)) - 0. Suppose -2*z = -r + 14, m = 2*r - 2*z + 4*z. Solve -r = -l + 5*l for l.
-3
Let f be (-136 - -133)*(-4)/3. Suppose 28 = 5*h + 2*x, 0 = 4*h - 5*x + 3 + 1. Suppose u = h*u - 75. Solve 0 = -f*m - m + u for m.
5
Let z be (-4*4/24)/((-2)/48). Suppose z*q + 9 = 25*q. Solve q - 4 = 3*v for v.
-1
Suppose -5*p - 4 = b, -4*b + 4 = 3*p + 20. Suppose p*a + 15 = 5*a. Solve y + a*y - 16 = 0 for y.
4
Let n(u) = u**2 - 43*u + 254. Let f be n(36). Solve -f*d = -12 + 6 for d.
3
Let l be (-5)/((-21)/6 + 3). Suppose -2*i + l - 4 = 0. Suppose 4*z + i*r = 92, -4*z + 3*r - 8*r + 100 = 0. Solve -s = 4*s - z for s.
4
Suppose -48 = 7*i - 90. Solve 2 = 2*v + i for v.
-2
Suppose -4 = j - 4*q, 3*q + 2 = -4*j + 6*j. Solve j + 1 = -y for y.
-5
Let m(q) = 35*q - 173. Let p be m(5). Solve p*j = -15*j - 17 for j.
-1
Suppose 0 = -17*i - 8 + 76. Solve -35 = 11*s - i*s for s.
-5
Let d = -665 + 666. Solve d = -2*y + 3*y for y.
1
Suppose -6*f + f = -10. Let m be (9 - 170/20)*(6 + -2 + -4). Solve f*r + 4 = -m for r.
-2
Let b be 117/26 + 2/4. Suppose 3*h - 4*h - 11 = -2*q, -3*h = 3*q - 3. Let t be 2 + (-2 - 4) + q. Solve t + b = z for z.
5
Suppose 5*s + 4*l = 50, -4*s - 2*l + 19 = -3*l. Let w = 14 - s. Suppose 5*t - 4*h + h = w, -h + 4 = 0. Solve -2*v = 2*v + t for v.
-1
Let c = 207 + -198. Solve 3*o - c = 6*o for o.
-3
Let h(z) = z**3 - 9*z**2 + 7*z + 5. Let q be h(8). Suppose 2*y - 37 = -5*v, 5*y + 2 = 7*y. Let p = q + v. Solve -25 = p*r + r for r.
-5
Suppose 34*a - 35*a + 6 = 0. Solve a*r - 8*r - 2 = 0 for r.
-1
Let c(i) = -i**3 - 7*i**2 + 3*i + 24. Let m be c(-7). Solve 0 = m*j + 3 + 6 for j.
-3
Let b(d) = 2*d**2 + 10*d + 4. Let q be ((-56)/24)/((-1)/(-3)). Let n be b(q). Suppose -2*r + 6*r - 3*u - n = 0, 5*r = -u + 21. Solve 8 = r*x + 23 for x.
-3
Let q(x) = -x**3 - 6*x - 63. Let t be q(-4). Solve 0 = -56*z + 51*z - t for z.
-5
Let x be 80/12*(-42)/4. Let p = x + 74. Solve -1 = -p*k + 3 for k.
1
Suppose 2*n = -2*r + 20, 2*n + 2*n = 20. Suppose -r*s = -0*s + 3*k - 19, 2*s + 4*k = 2. Solve s*p + 0 = 25 for p.
5
Let o(q) = -5*q + 19. Let f be o(3). Suppose 20 = 6*t - f*t. Let v be 5 + 0*1/2. Solve t + v = -5*n for n.
-3
Let f(a) = -a**3 + 10*a + 13. Let v be f(-2). Let r(h) be the first derivative of h**2 - h - 2. Let w be r(2). Solve 2*u + w = -v for u.
-2
Let s(n) = 6*n**2 - 26*n + 89. Let t be s(4). Solve -9*q = 45 - t for q.
4
Suppose 0 = -5*f - 6 + 31. Let m = 248 + -244. Suppose 5*n - 28 = 2*t, m = -0*n + f*n + 4*t. Solve y - 15 = -n*y for y.
3
Let g(a) = 2*a + 8. Let v be g(6). Suppose 7*d - 2*d - v = 0. Suppose 2 = -p - 2*p + 5*u, 4*u - 16 = 0. Solve y - d*y = p for y.
-2
Let i be 6/(-27) + (-244)/36. Let v = i - -13. Suppose -3*j + v = -3*c, -j - c = -0*c - 6. Solve 10 + 2 = j*k for k.
3
Let p(y) = y**2 + 7*y + 8. Let n be p(-6). Suppose n*w - 4*w = -10. Solve -w*v + 4*v = 1 for v.
-1
Let r(d) = 5*d**3 - 3*d**2 - 5*d + 4. Let p be r(3). Let n = p - 97. Solve 0*c + c = n for c.
0
Let j(d) = -d**3 + 4*d**2 + 2*d - 4. Let l be j(4). Let a = -8 - -8. Suppose a = 4*s - 7*s. Solve s*v = -l*v for v.
0
Suppose p + 15 = -4*p. Let z be 0*((-2 - -4) + p). Solve z*t - 2*t + 2 = 0 for t.
1
Let j be (-16)/(-6)*9/6. Let a be j + -7 + -1 + 9. Suppose -a*c = b - 0*c - 39, -4*c - 21 = -b. Solve b = -5*i + 4 for i.
-5
Let g be ((-2)/2 - -1)/2. Let i(h) = h**2 + h - 6 - 2 - 1 + 0*h**2. Let a be i(-4). Solve -4*c + a*c - 3 = g for c.
-3
Let p be (-7)/(14/(-20)) - 4. Solve -3*k = -p*k for k.
0
Let g = 4 + 2. Suppose 65 = 4*r - j, 2*j = -0*r + 5*r - 85. Solve -a + r = -g*a for a.
-3
Suppose -7*b = -3*b - 16. Let j be (-53)/(-11) - b/(-22). Let c be 18/j - 9/15. Solve 2*x = 5*x + c for x.
-1
Let j(m) = -12*m**2 - m - 2. Let n be j(-2). Let q = n - -32. Let o = q + 18. Solve b + o = -b for b.
-1
Let c be ((-2)/(-3))/((-8)/372). Let l = c + 34. Solve -5 = l*z + 2*z for z.
-1
Let z(w) = 0*w**2 - 1 + 11*w**2 - 9*w**2 - 4*w**3. Let c be z(-1). Suppose -2*o - o + 16 = -c*u, 2*u = 4*o - 12. Solve h - o*h = 0 for h.
0
Let t = 1307 + -1299. Solve -5*h - 3 = -t*h for h.
1
Let m(r) = 2*r**3 + r**2 - 6*r + 2. Let h be m(2). Suppose 3*a + 3 = 3*w + 4*a, -w + 3*a = 9. Solve w = -5*b - 5 + h for b.
1
Let o = -12 + 17. Let x(i) = i**2 + 7*i. Let w be x(-7). Let k be (-5)/4 + 76/(-16) + 9. Solve w = k*n - o*n for n.
0
Let a be 4 - 6 - (3 - 5). Suppose a*j + j = -2*r + 27, 4*r + j - 55 = 0. Suppose 4*f - 4*p = 3 + 1, -5*f + 2*p + r = 0. Solve -5*i = f + 11 for i.
-3
Let j = -788 + 790. Solve 0 = -8*n + j*n - 3*n for n.
0
Let l = 14 - 8. Suppose 2*j = 3*t - l, 5*j - 7 = -3*t - 1. Solve -t*o = -4*o + 2 for o.
1
Let r(v) = -15*v - 731. Let f be r(-51). Solve -33*k + f*k = 0 for k.
0
Let f = 1687 - 1644. Solve f*t = 36*t + 14 for t.
2
Suppose -l + 5 = -6*l. Let f(u) = -3*u**3 - u**2 + u + 1. Let m be f(l). Suppose -13 = -m*d - 1. Solve -d*q - 20 = -q for q.
-4
Suppose -4*z - z = 20. Let x(f) = -f**3 - 3*f**2 + f - 9. Let i be x(z). Solve r - 6 = i*r for r.
-3
Let n(x) = -x**2 - 10*x + 28. Let z be n(-12). Let d be (-105)/(-12) - (z - 2)/(-8). Solve 0 = -5*t + 2*t + d for t.
3
Let s(b) = b**2 - 7*b + 6. Let h be s(6). Suppose -4*y = -4*q - q, h = -2*q. Solve y = -5*i - 16 - 9 for i.
-5
Let u(r) = r**2 - r + 12. Let n be u(0). Solve n*f = 8*f for f.
0
Suppose -2*w - 5*d = 19, -d = -3*w + 15 - 1. Solve -2*j - w*j + 15 = 0 for j.
3
Let j(o) = o**2 + o + 1. Let a(n) = 5*n**2 + 14*n - 4. Let g(d) = -a(d) + 3*j(d). Let p be g(-6). Suppose b - 2 = p. Solve -b*l = -0*l for l.
0
Suppose c = -4*c + 175. Suppose 7*f - c = 49. Solve 3*t + f = -t for t.
-3
Suppose 0 = -3*h - 114 + 120. Solve 7 - h = 5*a for a.
1
Let i(s) = -s**3 - 7*s**2 - 9*s + 22. Let r be i(-8). Let c = r - 153. Solve p + 0 = c for p.
5
Let m(g) = 6*g + 12. Let h be m(-8). Let c = -32 - h. Solve c*n + 20 = -0 for n.
-5
Suppose -75*c - 22 + 172 = 0. Solve 101 = -c*s + 91 for s.
-5
Let m = -50 - -78. Suppose -m*u = -25*u - 6. Solve -u = -z - z for z.
1
Suppose 4*l + 14 = -c - c, 0 = c - 2*l - 5. Let s be ((-3)/(-2))/(21/(-28)). Let t be -3 + 5 + (c - s). Solve 0 = -k + t*k - 10 for k.
5
Let z(x) = 2*x + 13. Let c be z(-7). Let d be 0/c + 0 - (-6)/6. Solve d = -5*q - 24 for q.
-5
Suppose 2*s - 28 = -2*s. Let h(b) = -10*b - 5. Let q be h(-2). Solve s*m - q = 4*m for m.
5
Let o(l) = l**2 + 3*l - 1. Let m(b) = b**2 + 4*b - 1. Let f(i) = -3*m(i) + 4*o(i). Let v be f(-2). Let h be (-4)/(v/(-9)*1). Solve -3*s + h = s for s.
3
Let o be 2 - (0/(-1))/(12/(-6)). Solve 2 = -o*g + 12 for g.
5
Suppose 4*g - 3*q = q + 24, 5*q = -5. Suppose 7*i = 9*i + 6. Let x be i/(-9) - (-28)/6. Solve -5*p = x + g for p.
-2
Let p = 286 + -280. Solve g = p*g + 20 for g.
-4
Let t be (-58)/(-5) + 9/(135/6). Solve 3*u = -3*u - t for u.
-2
Let b be (-1)/(1/72*3). Let y = b - -20. Let m be 4 - (-4 - (y - 0)). Solve 0 = m*x - 0*x for x.
0
Let x be 6 - (-4)/(8/(-2)). Suppose -5*a - 2*c + 43 = -13, a = x*c - 5. Let f = -6 + a. Solve -w - f = w for w.
-2
Let b be -79 + 97 + (-4)/2. Solve -9*v + 7 = -b*v for v.
-1
Let y = 834 + -832. Solve y*b + 17 - 11 = 0 for b.
-3
Suppose 18 = 3*b + 6. Let a = 187 + -177. Solve -b*k = -2*k + a for k.
-5
Let f be (2 - 2)/(-2 + 0). Suppose -6*x + 10 = -3*r - x, -5*x + 10 = f. Solve r = -y - 3*y + 20 for y.
5
Let u = -8 - -16. Let g be ((-26)/4)/(((-36)/u)/9). Solve -3*w = g - 1 for w.
-4
Let r be (-220)/(-2