15 = 0 for b.
5
Let o(n) = -n - 11 + 4*n - n - 5*n. Let y be o(-5). Solve 0*t + 20 = -y*t for t.
-5
Suppose -s + 3 = -f - 4, f + 15 = 3*s. Let q be 1/((-100)/(-32) + f). Suppose q + 4 = y. Solve -g = 3*g - y for g.
3
Suppose 4*m + 4*f + 10 = -6, -5*f = -2*m + 20. Suppose -2*r - 4 = -3*l, 4*l = -m*l + 3*r + 5. Suppose 0 = -4*u - l + 30. Solve 5*g - u - 8 = 0 for g.
3
Let s = -1 - -15. Let w = s - 12. Solve 4*h - w*h = 4 for h.
2
Let p be 38/7 - 24/56. Suppose p*g - 2*c = 111, c - 117 = -6*g + g. Suppose -o + 3*o - 6 = 0. Solve 4*i = g - o for i.
5
Suppose 0 = -24*v + 22*v + 8. Let x(u) = -3*u + 21. Let d be x(v). Solve 16 = -5*m - d for m.
-5
Let z = 5 + -3. Let n be -4 - -1 - (-2 + -1). Suppose -6 = z*y + 4*a - 0, -4*y - 2*a + 18 = n. Solve -3*d + y*d - 4 = 0 for d.
1
Suppose 0 = -0*f + 2*f. Suppose f*w + 5*w + 4*m = 7, 5 = -w - 4*m. Suppose 4*i - 47 = 17. Solve -i = a + w*a for a.
-4
Suppose 0 = -3*s - 3*q + 87, 9 = s - 0*q - 4*q. Suppose r + 4*h = -0*r - 12, 3*h + 55 = 5*r. Let d = 11 - r. Solve 0 = 2*n + d*n - s for n.
5
Let u be (320/12)/(-8)*(-6)/5. Solve u = -g + 2 for g.
-2
Suppose 13*d = 69 + 35. Solve -d = 5*y - 18 for y.
2
Let u = 1309 + -1303. Solve -19 + 1 = u*d for d.
-3
Suppose 0*z + 205 = -5*z. Let s = -40 - z. Solve -19 = -4*v + s for v.
5
Let l(g) = -g**3 - 6*g**2 - 7*g - 6. Let i be l(-5). Suppose 0 = -231*q + 233*q - 2. Solve q = i*p + 5 for p.
-1
Let i be (4 + -2)*(-154)/(-28). Solve 0 = -4*l - 3 + i for l.
2
Let r = -111 - -203. Suppose k = 97 - r. Solve 5*l - 15 = k for l.
4
Let a(x) = -x**3 + 7*x**2 - 17*x + 12. Let v be a(6). Let o be (v/(-24))/((-9)/(-24)). Let b = 14 + o. Solve 6*l + b = l for l.
-4
Let h(n) = -61*n - 424. Let x be h(-7). Suppose 3*a - 12 = -r - 0, 0 = -2*a - 4*r + 18. Solve -x = -a*z - 0*z for z.
1
Suppose -l + 19 = -3*b, 0 = b + 3*b + 4*l + 52. Let w be b - -6 - (0 + -2). Solve -s - 2*s - 6 = w for s.
-2
Suppose 0*n - 2*n - 4*l + 44 = 0, 5*n = -l + 137. Let y = -26 + n. Solve -9 = -y*x + 1 for x.
5
Let b(n) be the third derivative of -n**5/60 + n**4/24 + n**3/3 + 9*n**2. Let p be b(-1). Solve 2*f = -p*f + 4 for f.
2
Let s = -114 + 106. Let m(l) = l + 15. Let b be m(s). Solve 0 = -2*z + b*z for z.
0
Suppose 3*r + 31 = 2*u + 6, -4*u = -r - 45. Solve u*f - 3 = 8 for f.
1
Let l = -575 - -580. Solve -4*m - l = -5*m for m.
5
Suppose -5*w = -5*j, 0 = j - 0*j + 3*w + 8. Let r be (3 + -7 - -5) + (-1 - j). Solve -r*y - 4 = 4 for y.
-4
Suppose 12*z - 8*z - 80 = 0. Suppose d - 6*d = -z. Solve -k = -d + 3 for k.
1
Suppose -20*i + 24*i = 120. Suppose i*f - 8 = 28*f. Solve -f*m = -m + 12 for m.
-4
Let b(k) = 3*k - 75. Let s be b(29). Suppose -3*l + 4*y = -5, l + 10 = -5*y - 1. Let w = 1 - l. Solve s = -2*g + w for g.
-5
Let b(m) = 2*m**2 + 39*m + 112. Let y be b(-16). Solve y = -18*q + 3*q + 15 for q.
1
Let r = 20 + -16. Suppose -3*g + 2*w = -23, -r*g - g - w = -47. Suppose -5*a = -2*a - g. Solve -a*s = -19 + 4 for s.
5
Suppose -5*x + 15 = 0, -x - 4*x = 5*o - 15. Let a(z) = z + 10. Let l be a(-5). Suppose l + o = 5*s. Solve 6 - s = -r for r.
-5
Let m = -1555 - -1616. Solve 16 = -m*r + 65*r for r.
4
Let z be (3 - (2 + -7)) + (2 - 3). Solve -z*x + 16*x = 9 for x.
1
Suppose -86 = -4*y + 2*o, -2*y - 3*o + 58 = -7*o. Solve 0 = -3*f - 13 + y for f.
2
Suppose -9 = -3*m + 5*p, -12 = m - 5*m + 2*p. Suppose 15 - 62 = -2*z - f, 52 = 2*z - 4*f. Let b = -9 + z. Solve -m*t - 2*t = -b for t.
3
Suppose 1629*n = 1618*n + 77. Solve 2*m + 9 = -n*m for m.
-1
Let d be 16*((-25)/(-10) - 2). Let c(z) = -3*z + 24. Let o be c(d). Solve 5*v + 20 = -o*v for v.
-4
Suppose 183 = 46*d - 139. Solve -2*g - 20 = -d*g for g.
4
Let v(c) = -c**3 + 2*c**2 - 3*c + 2. Let w be v(1). Solve w*g - g = 3 for g.
-3
Let g = 164 - 117. Suppose 15 = b - 3*u, 5*b - 2*u = -u + g. Solve 0 = -3*c - 0*c - b for c.
-3
Let w(x) = 4*x**2 - 24*x + 16. Let q be w(9). Let t be q/40 + 1/(-10). Solve -t = n - 5 for n.
2
Suppose -5*o = -22 + 2. Suppose -o = -29*r + 27*r. Solve 0 = 3*x - r*x + 4 for x.
-4
Let r = 97 - 93. Solve 6 + r = 10*h for h.
1
Suppose -24 = -r - r. Let x be -39 - (-1 - 3 - -4). Let c = x + 39. Solve -4*n = -c*n - r for n.
3
Let d be 10/(-40)*1*0. Solve -6*k - 12*k = d for k.
0
Let r be 200/(-14)*(-84)/24. Suppose -80 = -5*n + r. Suppose -n = -2*z - 20. Solve w = -2*w + z for w.
1
Let c = -818 - -819. Solve 11*s = 10*s - c for s.
-1
Suppose 32 = 5*v - 3. Suppose -10 = -2*k - 2. Suppose m = -7*t + k*t + 44, 0 = -5*t + 3*m + 50. Solve -4*x = -t - v for x.
5
Let g be 85/(-5) + -2 + 2. Let v = 22 + g. Solve -v*y = -0*y for y.
0
Let n be (3 + -2)*10/((-60)/(-18)). Solve 0 = n*w + 1 + 2 for w.
-1
Let t(n) be the second derivative of -n**5/20 + 3*n**4/4 + n**3/3 - 6*n**2 - n. Let q be t(9). Solve -o - 2*o = q for o.
-2
Suppose -b + 52 = 4*o + 3*b, 47 = 3*o - b. Solve 24*w - o = 29*w for w.
-3
Let b be 8/(-60) + 62/15. Solve 0 = b*g + 9 + 7 for g.
-4
Suppose 0 = i + 2*q + 3, 2*i + 2*i + 3*q - 8 = 0. Solve i*s = -0 - 25 for s.
-5
Let q = 36 + -22. Suppose -2*b - 2*k - q = 0, 0 = -b + 2*k - k - 7. Let p = -3 - b. Solve 2*m = -2 - p for m.
-3
Let y(v) = v**2 - 23*v + 111. Let s be y(6). Solve -2*r = s - 5 for r.
-2
Let j = -359 + 359. Solve j = -12*p + 4*p - 40 for p.
-5
Suppose -p + 5*m - 3 = 2, 4*m = 4. Let z = 4 + -1. Suppose 0 = -r - b + 2, 2*b + 13 = z*r - 8. Solve r*k - 4*k = p for k.
0
Suppose x - 14 = -2*i - 2*x, -i = -2*x. Suppose -2*p + 15 = 3*p. Solve -i*h + p + 9 = 0 for h.
3
Let s(q) = 2*q**3 + 3*q**3 - 4*q**3 - 10*q - 9 - 2*q**3 + 12*q**2. Let a be s(11). Solve a = p - 2*p for p.
-2
Suppose 0 = x + 2*n - 34, -2*n - 166 = -4*x - 0*n. Suppose -6*u = -2*u - x. Suppose -10*k = -15*k + u. Solve -k*l = -0*l - 4 for l.
2
Let d(i) = -2*i + 35. Let b be d(15). Solve 0 = 8*h - 3*h + b for h.
-1
Suppose -8*f - 3*n = -6*f - 49, -2*n = 3*f - 66. Solve 0 = f*g - 23*g - 3 for g.
-1
Let t be (2086/70 - -10) + 8/(-10). Let b be 2/(((-3)/7)/(-3)). Solve -5*c = t - b for c.
-5
Suppose 22 = 12*h - 74. Solve h = -4*d + 6*d for d.
4
Let z(u) = 2*u + 35. Let n(r) = -3*r - 53. Let q(w) = -5*n(w) - 7*z(w). Let b be q(-19). Solve x = b - 5 for x.
-4
Let h(r) = -8*r - 1. Let v be h(-1). Suppose -3*p = 5*u - 17, -4*p - 20 = -6*u + 2*u. Let a = v - u. Solve 3 = a*j + 6 for j.
-1
Suppose 0 = -2*r - 2*n - n + 19, 4*n = -r + 17. Let b be (-1)/6 - ((-301)/42 + r). Solve 12 = -5*i + b*i for i.
-4
Let l(x) = 3*x**2 - 1 + 117*x - 114*x + 0. Let i be l(1). Solve i*r + 15 = -10 for r.
-5
Let z be (11/(-3) + 1)*33/(-22). Let g(t) = -t**3 - 9*t**2 + 24*t + 23. Let s be g(-11). Solve -3*a - z = -s for a.
-1
Let v be 3*((-16)/4 + 3) + 18. Suppose 0 = -5*a + 40 - v. Solve -4*m = -a - 7 for m.
3
Suppose 2*z - 4*z - 390 = -5*t, -20 = -4*z. Suppose 0*n - 4*n + t = 0. Let o(b) = 56*b - 950. Let v be o(17). Solve n = 6*l - v*l for l.
5
Suppose 6*q - 5*q - 14 = 0. Let s = 21 - q. Let h = 10 - s. Solve -h*r - r + 20 = 0 for r.
5
Let s(t) = 2*t**2 - 17*t - 37. Let v be s(-2). Solve 26*b - 21*b = -v for b.
-1
Let y = -2076 + 2077. Suppose -5*m + 13 = -q, 4*m - 13 = -1. Solve g - q*g = -y for g.
1
Let f = 16 + -2. Let k = 514 - 523. Let w = f + k. Solve -x = -1 + w for x.
-4
Let b(c) = -94*c**2 - 4 - 6 + 95*c**2 + 2*c - 1. Let l = -18 + 13. Let f be b(l). Solve 2*v - 10 = f*v for v.
-5
Suppose -b + 10*b - 63 = 0. Solve -3*h + b = -2 for h.
3
Let f(m) = m**3 - 18*m**2 + 18*m - 12. Let v be f(17). Suppose -5*r = 2*h - v, r - 2*r - 80 = -5*h. Solve n = -2*n + h for n.
5
Let n(w) = -9*w**3 + w**2 + 2*w - 1. Let h be n(-1). Let t(m) = -m**2 + 4. Let g be t(0). Solve -h*q = -g*q - 6 for q.
2
Let r = 565 - 561. Solve r*v - 18 = -2 for v.
4
Suppose 5*d = 15, 3*w - 4*d = -226 + 223. Solve -w*h = -12*h for h.
0
Let k be ((-6)/(-18))/(6/180). Solve -7*t = -k*t + 6 for t.
2
Suppose 5*g - 70 = -25. Let v be (-2 - -9) + 1 + (-7 - -8). Let i = v - g. Solve i = f + 4*f - 15 for f.
3
Let o(u) = 122*u**3 + u**2 - 3*u + 2. Let a be o(1). Suppose 9*j = 85 + a. Solve 5*g - 3 = -j for g.
-4
Let c(z) = -z**3 - 9*z**2 + 7*z - 21. Let q be c(-10). Solve 4*n = q*n + 10 for n.
-2
Let q(s) = 3*s**3 - 49*s**2 + 7*s + 2*s + 2 + 41*s**2. Let d be q(2). Solve 0*i - d = -3*i for i.
4
Suppose 88 - 88 = -4*h. Solve h = -4*n + 3*n - 5 for n.
-5
Let m(x) = x**2 + x - 1. Let g(o) = o. Let f(q) = 4*g(q) + m(q). Let d be f(-6). Suppose 