Let p be a(2). Solve 0 = -4*u - 2*u - p for u.
-1
Suppose -2*o = -3*o + 2. Let k be (-2)/(-4)*o + 3. Let b = -92 - -100. Solve 0 = -k*x - b - 4 for x.
-3
Suppose 6*v - v = 70. Suppose 6*k = v + 46. Let o(g) = -g**2 + 9*g + 12. Let f be o(k). Solve -3*r + r - f = 0 for r.
-1
Suppose 4*j - 3*p + 40 = 0, 0*j - 4*p - 29 = j. Let c = 15 + j. Suppose c*f - 5 = f. Solve s = f*s + 8 for s.
-2
Let m be 2*-3*(-4 + 2). Let c = m + -19. Let i = 10 + c. Solve 2*v + v - i = 0 for v.
1
Let b(y) = y**3 - 7*y**2 - 8*y + 2. Let q be b(8). Suppose 5*u = -20, -3*u - q*u = 4*i. Solve 4*z = 25 - i for z.
5
Let o = 23 - 14. Let c = o + -2. Suppose b + 8 + c = 2*j, 3*b + 9 = 0. Solve p = j - 3 for p.
3
Suppose 54*j = 55*j - 3. Let u = 5 + 2. Solve -u*f + j*f = -16 for f.
4
Suppose -2*v = -86 + 78. Solve 1 - v = -3*m for m.
1
Let s(g) = 7*g - 114. Let o be s(17). Solve 24 = -o*q + 4 for q.
-4
Let x = -1 + -2. Suppose -2 = p + 4. Let s = x - p. Solve -s*i = -i - 4 for i.
2
Suppose -2 + 6 = 2*n. Suppose m - 3 = 4*z, 15*m - 13*m - 6 = z. Solve -m*f = -n*f - 3 for f.
3
Let o = 9 + -8. Suppose -3*d - o + 10 = 0. Suppose -42 = -4*r - f - 3, r + d*f = -4. Solve 4*m = -r - 1 for m.
-3
Let v = -3 - -3. Suppose -2*u - 4 + 10 = v. Suppose -2*a + u*a - 3 = 0. Solve -a*t + 3 + 6 = 0 for t.
3
Suppose 3*w + 2*w = 5*h - 100, 5*w = -5*h + 140. Suppose -g - 5*z + 20 = 0, h = 4*g - g + 3*z. Let c = g + -3. Solve -c*a - 4 = -a for a.
-4
Let v = -7 - -10. Let z be v/(((-15)/6)/(-5)). Let s be (-2 - -2) + z + -3. Solve -s*r + 0*r = 6 for r.
-2
Let d be 3*(-6)/27 + 272/48. Solve -14*t + 9*t = -d for t.
1
Suppose 2*g - 9*d = -4*d - 11, -2*d + 4 = -g. Solve 9*v - g*v - 14 = 0 for v.
2
Let b(t) = -t**2 + 16*t + 3. Let r be b(16). Suppose r*a + 0*a = 0. Suppose -2 = 2*d + 2*n, a*n + 1 = d - n. Solve -x - x = d for x.
0
Let j be 62/12 - 16/96. Let c(r) = r**2 - 1. Let n be c(2). Solve 0 = n*h + 20 - j for h.
-5
Let m = -506 - -526. Solve -12 = m*w - 14*w for w.
-2
Suppose -3*u + 7*u - 8 = 0. Let s be (1 - 2)*(-12)/(-12). Let t be s*7/(28/(-8)). Solve -t*x + x = -u for x.
2
Let o = -609 - -681. Solve 0 = 5*q - 92 + o for q.
4
Let v = 29 - 24. Suppose -3*r = -2*w - 12, -v*r + w = -15 - 12. Solve -14 = 5*o + r for o.
-4
Let b(o) = -o. Let h(j) = j**2 - 4*j. Let v(p) = p**2 + 3*p + 2. Let c be v(-3). Let s(r) = c*h(r) - 7*b(r). Let i be s(2). Solve -2*z + 0 = -i for z.
3
Let h be 41/((-492)/(-2376))*(-1)/(-3). Solve 0 = 3*v - 57 + h for v.
-3
Let u be -3 + (-4)/(12/(-45)). Suppose 0*n = -6*n. Solve n = 5*f - 2*f + u for f.
-4
Suppose 0 = 35*y - 32*y - 3. Suppose 0 = -2*q + 5*b + 14, y = 5*q + b - 7. Solve 3*z = -q*z for z.
0
Suppose 2*y + 0*k - k - 8 = 0, 10 = y - 2*k. Let j be (-27)/18 - 22/(-4). Suppose 0 = 2*w + 4*n + 24 - 10, j*w - 16 = 3*n. Solve y*z = 11 - w for z.
5
Suppose 6*o + 42 = 90. Solve -o*g + 9 = -5*g for g.
3
Suppose -3*g = -3*r - 0*r + 18, -4*r + 22 = -2*g. Suppose i + r = -3*u, 3*u - 1 = -i + 2*u. Solve -23 = -i*n - 7 for n.
4
Let w = -17 - 32. Let c = -48 - w. Solve -v + 3 = c for v.
2
Let r be (2 - 1 - -1)*35/10. Solve 2*j = r*j + 10 for j.
-2
Suppose 0 = -4*o - 24 + 100. Let d = 9 - 3. Suppose -u = 3 - d. Solve 4*j + o = u for j.
-4
Let a(t) = 17*t - 3. Let o be a(1). Suppose 5*f + 5*h = 45, -o = -3*h + 1. Let v(r) = r**3 - 2*r**2 - 2*r - 3. Let l be v(3). Solve -b - f - 1 = l for b.
-5
Suppose 10*g + 1448 = 1718. Solve -g = -7*u + 1 for u.
4
Let h = -25 - -28. Let g be (1 + -2 + 1)/(h + -1). Solve c = 1 - g for c.
1
Let w = -189 + 190. Solve -w = -4*b + 11 for b.
3
Let v(k) = k**3 + 7*k**2 - 61*k + 15. Let p be v(5). Solve -p = 28*t - 18*t for t.
-1
Let n be 1 - (5 - (-5 + -1)*-1). Solve -n*j = -3 - 5 for j.
4
Let p(z) = 11*z**2 + 4*z + 3. Suppose 5*v + 3 = -5*b - 7, 0 = 3*v + b + 4. Let j be p(v). Solve 0 = -t - t - j for t.
-5
Let z be 143/117 + (-4)/18 + 27. Solve 8*v = z - 12 for v.
2
Suppose -2*z - 14 + 45 = 5*c, -4*c + 8 = -4*z. Suppose -z*d + 2*d = -4. Let a = 9 - -8. Solve -3 = -d*o + a for o.
5
Let w be 15/10*24/9. Suppose -y + 6 = -5*u, 0*y + w*y = -4*u. Let v be u*0*4/(-12). Solve v = -0*k - 2*k for k.
0
Let o = -340 + 340. Suppose -3 = -6*v + 3*v. Solve 2*z + 3 - v = o for z.
-1
Let i = 20 + -20. Suppose c = -2*s - i*s + 6, -s - 52 = -5*c. Let a = c - 10. Solve a*q = -q - 4 for q.
-4
Let f be 12/3*(-13)/4. Let n = 19 + f. Let i(z) = -z**3 + 7*z**2 - 2*z - 8. Let g be i(n). Solve 0 = y - 5*y + g for y.
4
Let h be (185/10 - 2)/(2/4). Let b = h - 33. Solve b = 3*j - 5*j - 8 for j.
-4
Let t = 203 - 119. Let p be (-3*8/t)/((-4)/28). Solve -d = -p - 1 for d.
3
Let w be 69/46 - (-2)/4. Suppose -w*o = -4*j + 8, 0*o = 3*j + o - 6. Solve 3*b + j = 5 for b.
1
Suppose 17*i - 88 = 6*i. Solve -4*y - 4 = -i for y.
1
Let w(r) = -2*r - 24. Let s(i) = -1. Let g(m) = -3*s(m) + w(m). Let c be g(-11). Solve 2 = y + c for y.
1
Let h(l) = 8*l + 15. Let z(v) = 9*v + 15. Let j(u) = -5*h(u) + 4*z(u). Let y be j(-5). Solve -18 = -y*b + 7 for b.
5
Let x(i) = -3*i**2 + 36*i - 21. Let c be x(11). Solve -c*n - 5 = -7*n for n.
-1
Let c(t) = t**3 + 16*t**2 + 16*t + 19. Let v be c(-15). Suppose -4*u = u - 4*q - 20, 3*q - 16 = -v*u. Solve -u*z - 3 = 9 for z.
-3
Let h = 35 - 31. Suppose -3*r = -h*g + 20, 3*r = -4*g - 2 + 22. Solve 8 = -r*y + 4*y for y.
2
Suppose 3*k - 32 + 1 = -2*m, -36 = -3*k - 3*m. Solve 4*j = k*j - 15 for j.
5
Let j(l) = l**3 - 4*l**2 - 3*l - 2. Let y be j(5). Suppose -y*w + 12 = -4*w. Let r(k) = k**2 + 60*k - 469. Let n be r(7). Solve n = w*a - 8*a for a.
0
Let r(m) = 3*m**2 + 22*m + 54. Let w be r(-3). Solve -13*l = -w*l for l.
0
Suppose 2*u = -0 + 8. Solve -3*g + u = -7*g for g.
-1
Suppose -198*i = -199*i. Solve i*p - 4 = p for p.
-4
Suppose -4*g - 3*n - 3 = 0, -4*g + 7 = n - 0. Let m be (-1 + 2)*(g + -2) + 3. Suppose 4*l = 4*d - 8, 0*d - 17 = -d - 2*l. Solve -m*x + d = 3 for x.
1
Suppose t = -2*n + 4*n + 3, -t = -4*n - 5. Suppose 3*q - 3*u + 9 = 0, -3*q - 2*u + 18 = q. Solve 7 = -q*y - t for y.
-4
Suppose 12 = 8*k - 4. Suppose 2*x - 5*m + 3 + 5 = 0, -4*x + 4*m = -8. Solve 0 = -4*i + k*i + x for i.
3
Let z(m) = -10*m + 39. Let x(c) = c. Let v(l) = -3*x(l) - z(l). Let t be v(6). Solve 2*g + t*g = -25 for g.
-5
Suppose 0 = 4*l - 6*l + 2*p + 6, -p - 1 = 0. Solve l*z = -3 - 7 for z.
-5
Let j be ((-56)/(-8) - 2) + 3. Solve j*a + 13 = -19 for a.
-4
Let r(j) be the first derivative of -j**4/4 + 16*j**3/3 - 7*j**2 - 13*j + 3. Suppose 0 = 7*g - 12*g + 75. Let t be r(g). Solve t = -0*a - 2*a for a.
-1
Suppose -5*f + 2*x = -2, -7*f + 2 = -4*f - 2*x. Solve -6*m + 149 - 173 = f for m.
-4
Let b be (-6)/2 - (2 - 2 - 28). Suppose i - b = -22. Solve -2*z = i*z for z.
0
Let w(a) = 4*a - 18. Let i be w(8). Let n be 2/(-10)*(4 - i). Solve -n*f - 3 = f for f.
-1
Suppose -n + 12*n = 22. Solve -2*d - n + 4 = 0 for d.
1
Let c(b) be the second derivative of b**4/12 + b**3/6 + b**2/2 - 14*b. Let o be c(-2). Solve -o + 0 = v for v.
-3
Let p be (6 - 6)/(7 + -8). Solve 2*b + b + 15*b = p for b.
0
Let n(b) = b**2 + b - 1. Let d(k) = 6*k**2 + 7*k - 2. Let j(w) = d(w) - 5*n(w). Let h be j(-2). Suppose h*g = 4*g - 5. Solve 0 = -q - g - 0 for q.
-5
Let n = -328 + 343. Solve -4*z - n*z = -38 for z.
2
Let k(p) = 4*p - 34. Let u(r) = 5*r - 33. Let w(v) = 3*k(v) - 2*u(v). Let h be w(19). Solve -h*l + 3*l = -4 for l.
-4
Suppose 82 = 3*m + 70. Solve -m*v + 11*v + 35 = 0 for v.
-5
Suppose -5*z - 24 = 36. Let d(f) = f**2 + 12*f + 5. Let l be d(z). Suppose 3*j + 12 = l*k + 5*j, -2*k = -3*j - 20. Solve -11 = k*h - 3 for h.
-2
Let x = -116 + 116. Solve x = 4*b - 3*b for b.
0
Let n(c) = 5*c**2 - 34*c + 15. Let l be n(7). Solve l*i - 14 = 15*i for i.
2
Suppose 4*u = 4, 5*x + 3*u + 5 = 7*x. Solve -x*q + 2*q = 3*q for q.
0
Let o be ((-1)/(-2))/(3/(-72)). Let n be (-14)/(-6) - 8/o. Suppose 2*c - w = -3*w, -n*c + 4*w = -14. Solve 5*q = c + 3 for q.
1
Let j = -1749 + 1753. Let l be (3 + -1)*6/4. Solve 3*n - l = j*n for n.
-3
Suppose 7*l - 97 = 99. Solve 0 = -13*b + 24 + l for b.
4
Let y = 24 + -5. Suppose -18*g = -y*g. Suppose u - 4 = -g*u + 2*p, 5*p + 10 = -3*u. Solve d = -u*d + 5 for d.
5
Suppose w = -2*w - 9. Let q be w/2*(-24)/9. Let r = -29 - -37. Solve -q*f + 0 = r for f.
-2
Let b(i) = 3*i + 6. Let n be b(6). Let k be n/10 - (-2)/(-5). Suppose -k*u + 7 = l, 2*u + 1 - 14 = l. Solve u*f = f for f.
0
Let y(t) = 2*t**3 - 