be (54/15)/(4/10). Let l be b/36*0/(-1). Solve f = -l*q + 4*q for q.
0
Suppose 12*f - 11 = 25. Suppose 2*i + 4*o = 4*i - 4, 2*i - 5*o - 5 = 0. Solve i = -g - f + 4 for g.
1
Let u = -778 + 800. Solve 15 = -u*c + 27*c for c.
3
Suppose 0 = -p + 4*f + 9, -2*p + 8*f + 14 = 4*f. Solve 2*r - 15 = p*r for r.
-5
Let r(x) = -x**3 - 2*x**2 + 2*x - 1. Let i be r(-3). Suppose -i*b = 2*b - 12. Let n be 0/10 + (b - -1). Solve -n = 4*d - 8 for d.
1
Let k(b) = b**3 + 4*b**2 - 10*b - 9. Let q be k(-5). Suppose 2*t - 4 = 6. Solve r - q = t*r for r.
-4
Let n(k) = -3*k - 66. Let a be n(-22). Suppose a = 7*i + 2 - 16. Solve z - 15 = -i*z for z.
5
Let v be (2 - -4) + (5 + -3)*-1. Suppose 2*w = 10 + 2. Let s = w + -4. Solve t + v = s*t for t.
4
Let t(p) = p**2 + 10*p + 15. Let v be t(-10). Solve 36 = -v*n - 3*n for n.
-2
Let y(c) = c**3 + 13*c**2 + 18*c + 19. Let l be y(-11). Suppose 0*s + l = 5*s + 3*h, -3*h + 15 = s. Solve 8*u - s = 4*u for u.
3
Suppose 3*d + 32 = v + 6, -5*d = 5*v - 90. Let h be 3/((-3)/5 + 42/v). Solve h = -3*c - 1 for c.
-1
Let f = 57 + -187. Let l be (f/39)/(2/(-3)). Solve 0 = l*n - 5 - 20 for n.
5
Let g(z) be the second derivative of z**3/6 + 13*z**2/2 + 2*z. Suppose 0 = -3*f - 91 + 52. Let d be g(f). Solve 4*j + 15 + 1 = d for j.
-4
Suppose -150 = -3*j - 3*j. Suppose i + j = 2*i - 5*k, -5*k = 25. Solve i = -h + 4*h + 3 for h.
-1
Let g(d) = 2*d + 4. Let p be g(-3). Let w(c) = -2*c - 2. Let x be w(p). Suppose -x*u + 34 = 2*r, 2*r + r = -4*u + 71. Solve 6*f = 2*f - u for f.
-5
Let u be -11*(-6 + 8 + -4). Let t = 29 - u. Solve t = -2*g + 3 for g.
-2
Suppose 9*s = 5*s + 112. Let p be 4*(-3 - s/(-8)). Let t(v) = -v**3 + 7*v**2 - 3*v + 2. Let z be t(6). Solve -z = -6*b + p*b for b.
5
Suppose 0 = -5*h + 694 - 664. Solve 26 - 20 = -h*l for l.
-1
Let w be 2 - (4/(-2))/2. Let b be 238/18 + -3 - (-16)/(-72). Suppose -w*s + b = -2*s. Solve 0*d = -2*d + s for d.
5
Suppose 0 = 4*o + 5*v - 21 - 66, -93 = -5*o - v. Solve -u + 7*u + o = 0 for u.
-3
Let z be (-11)/(-2)*1*-2. Let b be 2/(-3) + z/(-3). Let u = 32103 + -32090. Solve -4*w - b = u for w.
-4
Suppose 4*u = 2*h + 2, u + 3*h - 17 = -6. Let p be 1/(-2)*1*-30. Let g = -13 + p. Solve -r + u*r - g = 0 for r.
2
Let m(w) = w + 9. Let i be m(-8). Let d be (-2)/4 - 35/(-14). Solve -d*r = -i - 7 for r.
4
Suppose 3*d + 15 = -n, -4*d + 9 = -2*n + 29. Solve n = 4*c + 7 - 27 for c.
5
Let y be (0 + 6/2)*3. Suppose -t = -3 + y. Let f = -3 - t. Solve -c - f*c = -12 for c.
3
Suppose -12 = -4*t + h, -t + 5*h = -8 + 24. Let n = 37797 - 37785. Solve -4*d - n = -t for d.
-2
Let c(j) = j**2 - 3*j - 5. Let o be c(5). Suppose -o*h + 15 = 0, i + 7 = -3*h - 1. Let l = i + 20. Solve v + l*v = -12 for v.
-3
Let y(u) be the third derivative of -u**4/8 + 11*u**3/2 + 25*u**2. Let s be y(11). Solve s = 5*d - 2*d + 15 for d.
-5
Let a(b) = b**2 + 24*b + 39. Let c be a(-15). Let z = -94 - c. Solve u = -1 + z for u.
1
Let s(m) = -9*m + 6. Let b be s(4). Let f = 30 + b. Solve -h - h + 4 = f for h.
2
Suppose -2*c + 2*t + 2 = 6*t, 2*t = 0. Let w be c*-2 - (4 + -4). Let f be (w - 0) + 3 + -1. Solve f = a - 4*a + 12 for a.
4
Let t be 13*7*8/56. Solve r - 12 + t = 0 for r.
-1
Let g = 1649 - 1631. Solve 0 = 17*r + g*r - 33*r for r.
0
Let j be ((-4)/8 + 0)/(5/50). Let m(v) = 2*v + 11. Let u be m(j). Solve a + u = -2 for a.
-3
Let x(n) = -31*n + 225. Let g be x(7). Solve 5*r - g = 9*r for r.
-2
Let b = -65 + 93. Let k = -7 + 40. Let z = k - b. Solve 3*d + 2*d - z = 0 for d.
1
Let j = -18 + 22. Let t = j + -6. Let u(w) = -2*w. Let q be u(t). Solve 0 = i + q*i for i.
0
Suppose -14*g = -12*g - 36. Solve g = 5*l - 7 for l.
5
Let w = 67 + -40. Let z(o) = 7*o - 76. Let f be z(7). Let g = w + f. Solve 2*c + 6 + 2 = g for c.
-4
Let t(m) = 2*m**3 - 17*m**2 - 6*m - 23. Let i be t(9). Solve -u + 0*u - i = 0 for u.
-4
Let w = -2630 - -2632. Suppose -2*r + z + 36 = 4*z, -3*z + 12 = 0. Solve -r = w*m + m for m.
-4
Let t be (-1168)/365*(10/(-4) + 0). Solve -7*o + t*o - 4 = 0 for o.
4
Let k(j) = j**2 + j - 6. Let h be k(-4). Solve h - 4 = q for q.
2
Let d be -4*(3 + -2 + -2). Let h be d + -2 - (-1 - -1). Let x(o) = -o**2 - 6*o + 19. Let a be x(-8). Solve 5*b + h + a = 0 for b.
-1
Let v = 279 - 275. Solve -v*s + s + 9 = 0 for s.
3
Suppose -9 = 2*z + 5*n, -2*n + 3*n + 1 = 0. Let u be (0 + z - -6) + 0. Solve -s + 3*s + u = 0 for s.
-2
Suppose 8*l - 10 = 3*l. Let k = 235 + -235. Suppose 3*b + 5*u - 41 = k, -3*u + 20 = 2*u. Solve b*i - l*i = 25 for i.
5
Suppose 7*p + 1122 - 1129 = 0. Solve 4*o = 5*o + p for o.
-1
Suppose 7*v = -30*v + 5*v. Solve -20 + v = 4*q for q.
-5
Suppose 9*k + 42 = 16*k. Let t be ((0/2)/4)/(-2). Solve t = -k*f + f for f.
0
Let y(v) = 6*v + 16. Let w be y(-2). Let x be (12/(-30))/(w/15)*-2. Solve -x*q - 15 = -8*q for q.
3
Let n be (-20)/(-3) + 4/(-6). Let h = -2 + n. Suppose 6731*r = 6719*r + 24. Solve 3*d = -r - h for d.
-2
Let l be 13 + (-20)/(-11) - 4/(-22). Solve l*b + 31 = 91 for b.
4
Suppose 4*w = -4*v + 132, 0 = 6*v - 2*v - w - 117. Solve v = 7*a + 9 for a.
3
Let o be 2 - 1/(7/(-756)*4). Solve o*r = 26*r - 3 for r.
-1
Let a = -777 + 779. Solve a*h = h - 1 for h.
-1
Let b(d) = -5*d**2 + 34*d + 10. Let a be b(7). Solve -3*w + a = -6 for w.
3
Let i be 15/6 + (-18)/12. Let p(j) = j. Let l be p(i). Solve 2*o + l = -1 for o.
-1
Suppose 0 = -20*p + 50 + 270. Solve 0 = 2*j + p - 10 for j.
-3
Suppose 0 = -3*c + 13 - 1. Solve -5*l = -c - 21 for l.
5
Let j(v) = -v + 1. Let x = 2 + -8. Let l = x - -5. Let y be j(l). Solve y = -3*m - 13 for m.
-5
Let r be 0/((0 - 4)*-1). Let i be 3*(-8)/(-12) - r. Solve i*q - 2 = 6 for q.
4
Suppose -507*x + 504*x = 0. Solve x = -13*u + 7 + 6 for u.
1
Let r = 180 + -154. Suppose 5*x = -3*a + 8 - 3, 3*x - 3*a - 3 = 0. Suppose -x = m - 7. Solve -5*z - r + m = 0 for z.
-4
Let l be 1*(4 + -2 - 0). Suppose l*d - d - 1 = 0. Solve k = 1 + d for k.
2
Let n be 4*(4 + (-15)/4). Suppose 0 = k - 6*k. Let h be (0 - (k - 0))/n. Solve h = 2*q + 3*q for q.
0
Let d(w) = w - 13. Let r be d(18). Solve -r - 15 = -5*c for c.
4
Suppose 0 = -5*s - 3*y + 129, -2*s - 4*y + 34 = -26. Solve 12*o + 0 = -s for o.
-2
Let p(b) = 12*b**2 - 2*b - 1. Let q be p(1). Solve -5*s + q = 19 for s.
-2
Let y = -34 + 63. Let j = -24 + y. Solve 0*z = j*z for z.
0
Let u be (1 + -6)/(9 + -10). Suppose -4 = u*k - 7*k. Solve x = -k*x + 15 for x.
5
Suppose -n + 2*u + 7 = 0, 2*n + 0*u = -2*u + 8. Solve 0 = -n*z + 9*z - 16 for z.
4
Suppose 0 = -254*z + 255*z - 12. Solve 18 = 6*j - z for j.
5
Let l be (-3)/(1 - (-2 + 4)). Solve 0 = -w + l*w - 8 for w.
4
Let q be 1 + -3 + 3 + 10. Let i = -8 + q. Suppose i*k = 2*k. Solve -3 + k = z for z.
-3
Let q = 143 - 138. Solve -2 = q*c - 17 for c.
3
Suppose -441 + 465 = 8*r. Solve 2*k - r - 5 = 0 for k.
4
Suppose -3*w = -4*k - 84 + 12, -3*w + k = -63. Let m(l) = 16*l - 1. Let z be m(-1). Let r = w + z. Solve -r*g + g = 10 for g.
-5
Let l(b) = 2*b**2 + 7*b + 10. Let r be l(-3). Solve -14 = 14*d - r*d for d.
-2
Suppose 6*n + 76 = 136. Solve -12*r + n = -10*r for r.
5
Let p = -25 - -25. Suppose -f - 4 = -2*a, p = a + f + f + 8. Solve r + a*r = -1 for r.
-1
Let t(o) = -16*o + 82. Let z be t(5). Solve -4*c = z*c + 6 for c.
-1
Suppose -3*l = -a + 46, -5*a - 44 = 5*l + 26. Let m be ((-1)/2)/((l/(-24))/(-5)). Solve -3*g + m*g - 4 = 0 for g.
4
Let q(z) = -z**3 - 9*z**2 - z - 6. Let v be q(-9). Suppose 0 = -4*a + o + 47, -v*a = 2*a - 4*o - 56. Solve -5*f - a = -f for f.
-3
Suppose -2*k - 200 + 210 = 0. Solve -30 = -5*x - k for x.
5
Let h(x) = -x**3 - 5*x**2 + 7*x + 6. Let f(g) = -g**2 - 22*g - 63. Let k be f(-19). Let y be h(k). Solve y = 5*a - 1 + 6 for a.
-1
Suppose 14 = 3*g + 3*x + 2*x, 18 = g - 5*x. Solve 5*k = -g + 3 for k.
-1
Let m(g) = -g**2 - 13*g + 130. Let k be m(-19). Solve -k = -f - 18 for f.
-2
Suppose 7 = 4*n + 23. Let a be 5/((-3)/(n - -1)). Solve -3*b + a - 2 = 0 for b.
1
Let o be (-14)/56 + (-254)/8. Let c = 36 + o. Solve 8 = -4*j - c for j.
-3
Let g be (-525)/45 + (-1)/(6/(-4)). Let v be (2/(-2))/(((-66)/(-12))/g). Solve 0 = 3*l - 2*l + v for l.
-2
Let a = 59 - 42. Let c = a + -12. Solve -v + 16 = -c*v for v.
-4
Let q = -94 - -106. Solve 0 = -q*m + 23 + 37 for m.
5
Let t(y) = y**2 + 5*y - 1. Let n be t(-6). Let p = -34 + 42. Suppose -4*m = 5*s + p, -5*m = 3*s - 5*s + 10. Solve -q - 4*q + n = s for q.
1
Let d = 285 + -284