Let b = -73 - -76. Solve b*j + 7*j = 0 for j.
0
Suppose 0 = -4*k - 0*k + 88. Suppose 27*u = k*u + 10. Solve -3*d = u*d + 15 for d.
-3
Let f(o) be the first derivative of o**2/2 - 7*o - 4. Let t be f(10). Suppose 2*s = 5*s - c + 4, -2*s = t*c - 12. Solve s = -w - 0 - 1 for w.
-1
Suppose 5*w - 2*a = -5*a - 6, 6 = 4*w - 3*a. Let n = w + 2. Solve g = n*g + 5 for g.
-5
Suppose -k - 20 = 7*f - 2*f, 5*k = -3*f - 12. Let d(n) = -n**2 + 2*n - 1. Let u be d(4). Let c = -4 - u. Solve k*t + c*t = -25 for t.
-5
Let q be (-68)/(-16) - (-12)/16. Solve -x = -q*x + 12 for x.
3
Let w(i) = i**2 - i - 23. Let x be w(5). Let f be (104/(-13))/(1 + x). Solve -f*j + 0 = 4 for j.
-1
Suppose -51 = -22*z - 7. Solve -z*r - 8 = -14 for r.
3
Let b(l) = l**2 + 6*l - 2. Let v(s) = s**2 - 4*s + 5. Let a be v(3). Suppose -a*w - 4*o = 10, o = -5*w - 30 - 4. Let p be b(w). Solve 0*m = p*m for m.
0
Suppose -3*k - 4*q - 16 = -0*q, 4*k = 5*q + 20. Let d = -1 + 4. Suppose k = 4*n - 2*y - 12, -d*y = n + 3*n - 2. Solve n*t = -2*t + 4 for t.
1
Suppose -3*w = -6*w. Let r = 6 + -2. Suppose r*i = 2*x - 0*i - 6, 5*i - 3 = -x. Solve w = 5*q + 7 + x for q.
-2
Suppose 0 = i - 4. Suppose -y + 3*t = -15, 10 = i*y - t - t. Let p = -9 + 17. Solve y*r = -4*r + p for r.
2
Let j be (430/(-129))/((2/(-3))/1). Suppose j*n + 11 - 2 = 2*c, 4*c + 5*n = 3. Let u(t) = t**3 - 7*t**2 + 5*t + 7. Let x be u(6). Solve x = i - c for i.
3
Let j be ((-4)/(-14))/(-8 + 232/28). Solve 0 = 3*t - 4 + j for t.
1
Let a(l) = l**3 - 8*l**2 + 7*l - 56. Let w be a(8). Suppose 4*b - 2*o - 14 = 2*b, 2*b - 4*o - 22 = 0. Let f = 2 - -1. Solve f = -w*p + b*p for p.
1
Suppose 4*d - 3 = 3*o, d + 1 - 4 = 0. Let q = 27 - 15. Let a be ((-3)/(-2))/(q/16). Solve -o*y - 1 = -a*y for y.
-1
Let b be -6*(286/(-195) - 4/(-5)). Solve 5*j - b = -4 for j.
0
Suppose -64*i - 12 = -61*i, 0 = -5*g + 4*i + 191. Solve -18*z + 11*z = g for z.
-5
Let g = 116 + -89. Solve -15 = -3*l - g for l.
-4
Let r be (5 + -2 + 0)*1. Let v(t) = 10 + t + r + 0*t. Let y be v(-11). Solve 10 = 3*j - y for j.
4
Let d(q) = q**3 - 18*q**2 + 16*q + 20. Let p(f) = f**3 + 14*f**2 - 3*f - 25. Let z be p(-14). Let r be d(z). Solve r + 3 = 2*j for j.
3
Let o be (308/35 - 8)*5. Solve 106*d = 107*d - o for d.
4
Let l be (-719)/(-8) - (-8)/64. Let w = -90 + l. Solve -2*m - 2 + w = 0 for m.
-1
Let r(i) = 26*i**2 + 2*i - 2. Let m be r(1). Solve 6*v + 2 - m = 0 for v.
4
Let c = -32 + 36. Suppose -32 = -3*z + c*p, -2*z - 4*p = -0*p + 12. Suppose 0 = 4*n - 4*x - 40, -z*n + x = 6*x - 22. Solve -4*d - 16 = -n*d for d.
4
Suppose -71 = -47*i - 24. Solve -4*o + 13 - i = 0 for o.
3
Let j(z) = -3*z. Let v = 2 + -1. Let y be j(v). Let l be (y/9 - 0)*-6. Solve 0*t + l*t = 0 for t.
0
Suppose -4*z - 75 = -155. Suppose -z*k = -25*k + 35. Solve -9 = -4*a + k for a.
4
Let v(f) = 3*f**3 + 8*f**2 + 3*f + 4. Let y(r) = -4*r**3 - 9*r**2 - 3*r - 5. Let j(u) = -3*v(u) - 2*y(u). Let n be j(-6). Solve -2*o - n = 2*o for o.
-4
Let f(a) = -a**2 + 1. Let l(d) = d**3 - 13*d**2 + 11*d + 11. Suppose -g + 4 = -5*g, -5*g - 17 = -k. Let q be l(k). Let b be f(q). Solve -1 = -n - b*n for n.
1
Suppose 0 = 2*n - 2*g + 161 - 5, 86 = -n + 3*g. Let f = 74 + n. Solve f = b - 2 - 1 for b.
3
Let h = -784 - -784. Solve h*j = -4*j for j.
0
Let f = -107 + 109. Solve f + 28 = 6*o for o.
5
Suppose -2*y = 5*f + 5, -3 = 2*y - 45*f + 48*f. Solve -14*c - 2 + 16 = y for c.
1
Let v(r) = r**2 - 8*r + 2. Let w be v(8). Suppose w*d - 53 = 3*p, 2*p = -p + 4*d - 61. Let g be (-22)/(-165) + 2/p. Solve -h - 3 + 5 = g for h.
2
Let r = 82 + -35. Let b = -43 + r. Solve 3*a + b = a for a.
-2
Suppose 5*l + 2*q = -433, 2*l + 6*q + 170 = 2*q. Let s = l + 97. Solve 2*x = -0*x + s for x.
5
Suppose -4*j = -7*j + 15. Let m = -1 + j. Let k be ((-36)/m)/(9/(-12)). Solve 3*g - k = -g for g.
3
Let u = -58 + 106. Suppose 16*x = 13*x + u. Let r = 19 - x. Solve 0 = -r*j - 3 + 18 for j.
5
Let v be (-358)/6 - (5 + (-34)/6). Let g = v + 59. Solve g*o - 5*o = -25 for o.
5
Suppose 6 = 2*h - v, -3*h - 5*v - 3 = 1. Solve -d = 3 - h for d.
-1
Suppose 21*d = 19*d + 2*a, 45 = 4*d + 5*a. Let g(j) = 6*j. Let o be g(1). Solve w + o = d for w.
-1
Suppose -26*p - 3*s + 23 = -24*p, -3*p - 5*s + 37 = 0. Solve -p*z - 16 = -12 for z.
-1
Let z = 121 + -81. Let n = z - 24. Suppose -5*x + n = s, 5 = 2*s + 3*s. Solve 0*u + x*u = 9 for u.
3
Let l be (4 - 0) + (-1 - 0). Let o = 4444 + -4442. Solve -l*q + 15 = o*q for q.
3
Suppose -10*g + 2*k + 58 = -7*g, 2*g - 5*k - 57 = 0. Solve g + 14 = 6*a for a.
5
Let x = 24 + -38. Let q = x + 14. Solve 0 = -q*l + l - 3 for l.
3
Suppose 7*x - 17 = 151. Suppose -l + 0*h + h = 2, 3*h - x = -3*l. Suppose 0 = -5*p - 15, -l*p - 12 = n + p. Solve n = 3*z - z - 6 for z.
3
Suppose -23*a = -5*a - 216. Solve 0 = -0*s + 6*s - a for s.
2
Let u = -669 - -680. Solve -8*g = -u*g for g.
0
Let v = -84 + 85. Let p be v - (-11)/(22/8). Solve 0 = -p*x + 9 + 6 for x.
3
Let u(s) = 17*s - 977. Let x be u(58). Let m(g) = g**2 + 3*g - 2. Let k be m(-5). Solve -k*z = -x*z for z.
0
Let d(z) = z**3 + 15*z**2 - 36*z - 38. Let l be d(-17). Let c be l/(-22) - (-5 + (-80)/44). Solve -2*t + c + 1 = 0 for t.
4
Let g(m) = m**2 - m - 1. Let t(q) = -q**3 - 5*q**2 - 2*q - 3. Let f(a) = 2*g(a) - t(a). Let k be f(-7). Solve -2*r - k = -5 for r.
2
Let c(g) = -10*g - 10. Let r be c(-1). Solve -17*k + 9*k + 32 = r for k.
4
Suppose 0 = 4*a + 3*v - 6*v + 308, 2*v = 2*a + 152. Let z be 2/3 + a/(-15). Suppose 3*i - z = o - 4*o, o = -3*i. Solve 2*h = o + 1 for h.
2
Let m be -1 + 0 - 5*-1. Let b(o) = -o**3 - 12*o**2 - 8*o + 37. Let r be b(-11). Solve 2*w + m = r*w for w.
2
Let t be 2*(407/259 - (-4)/(-7)). Let a(v) = v + 7. Let b be a(-7). Solve b = l + t - 5 for l.
3
Let d(b) be the second derivative of 2*b**3 + 4*b. Let s be d(2). Let x = -19 + s. Solve x*k - 11 = 9 for k.
4
Suppose 4*a + 32 = 2*s, 3*s - 3*a = 8*s - 15. Solve d - 11 = -s for d.
5
Suppose -3*c + 2*z - 7*z + 67 = 0, -66 = -4*c - 2*z. Let r = c - 6. Let u = 12 - r. Solve -i + u = -2*i for i.
-4
Suppose 6*q = -0*q + 288. Suppose 3*m - q = -24. Solve 3*l - 5*l = m for l.
-4
Let c be 1 + (-10)/(-5)*2. Suppose -42 = c*w - 67. Solve -w*f = 12 - 32 for f.
4
Let f = 194 - 179. Solve -5*d = -f - 5 for d.
4
Let r(t) = -t**3 + t**2 + 9*t + 14. Let m be r(-3). Suppose 0 = -d - 0*d + 4*x + m, -4*d - 5*x - 13 = 0. Solve -u = -d*u for u.
0
Let b(k) = k - 3. Let z(c) = -c + 2. Let h(j) = -4*b(j) - 3*z(j). Suppose 2*u - r + 20 = r, 32 = -2*u + 5*r. Let q be h(u). Solve -3*s = -0*s - q for s.
4
Suppose -5*k + 45 = -2*m + 3*m, -15 = k + 5*m. Suppose -58 = -5*u + 2*c, -2*c + 4 - 22 = -u. Suppose 2 = 4*b - u. Solve -2*g - b*g - k = 0 for g.
-2
Suppose -2*s = 3*s + 4*x - 73, 2*x - 56 = -4*s. Let y = 17 - s. Suppose 0 = -2*m + y - 0. Solve -1 - m = -3*t for t.
1
Suppose -9*v - 33*v = -126. Solve v*p - 7*p = -12 for p.
3
Suppose o + 20 = 5*g - 0*o, 5 = -2*g + 3*o. Let x = -53 + 75. Suppose -5*u = -2*k, -x - 5 = -g*k - u. Solve 0 = -k*n - 0*n - 20 for n.
-4
Suppose 3*n + 30 = 2*x, 2*n + 20 = -3*n. Suppose 4*v = x*v. Solve -3*g - 9 - 6 = v for g.
-5
Suppose 8 = 6*j - 2*j, -3*z + 16 = -j. Solve -z = -4*g - 18 for g.
-3
Let v = 1618 - 1616. Solve -v = 17*y + 32 for y.
-2
Let u = -284 + 334. Solve 16*b - u = -2 for b.
3
Suppose -m - 12 = -14. Suppose -d + 9 = 2*r - 2*d, -m*r + 3*d + 7 = 0. Solve -c - r = -0*c for c.
-5
Suppose 0 = z + 3*z - 28. Suppose 0 = -3*l + 2*f + 14, -3*l + z = 4*f - 1. Solve l*j - 15 = 5 for j.
5
Let m(f) = 2*f**2 + 4*f - 18. Let i be m(3). Solve 0 = -4*p - 0 - i for p.
-3
Suppose 2*i + 5*b - 20 - 10 = 0, -2*i - 2*b + 42 = 0. Solve -8*g + 3*g = -i for g.
5
Let h(t) = -t**2 - t + 3. Let q be h(0). Let a be (-2)/q - (-85)/15. Suppose 5*f - a = -0. Solve 0 = -3*b - f + 13 for b.
4
Let d(j) = j**3 - 2*j**2 + 2*j + 9. Let b be d(0). Suppose -2*i - 3*i + 10 = 0. Solve i*t + b = -t for t.
-3
Let p = -1468 - -1476. Solve 9*c = c + p for c.
1
Suppose 4*g - 2*g - 6 = 0. Suppose g = -4*y + 11. Solve 3*f + y = 2*f for f.
-2
Let i be 1/(-9) - 397*(-4)/36. Solve 43*o = i*o for o.
0
Let s = -55 - -59. Solve -g + 15 = s*g for g.
3
Let s = -16 - -18. Let z be (-2 - -1)*(-46)/s. Suppose 4*x - z = -7. Solve x*h = 2*h + 4 for h.
2
Let s = 165 - 117. Suppose 70 = -4*y + 2*q, s = -4*y + 4*q - 20. Let b = 22 + y. Solve -b*i - 21 + 9 = 0 for i.
-3
Let o(