 4*a + 6 for f.
0
Let u(c) = -2*c - 7. Let m be 7*2 + -12 + 12. Suppose 5*s = -11 - m. Let b be u(s). Solve -5*t = 5*v - b*t + 6, 5*t - 6 = -2*v for v.
-2
Let w = -321 - -321. Solve w = -r - 2*r - s, 0 = -r - 5*s - 14 for r.
1
Let t be 1*(-1 + 2)/(6/12). Solve 0 = -5*b - 5, t*n + 2*b = -10 + 2 for n.
-3
Suppose 7*r = 6*r + 41. Let u = -33 + r. Solve 3*b - 3*j = -j + u, -2*j = b - 8 for b.
4
Let x = 37 - 35. Suppose -x*o - 1 = -5*b - 5*o, o + 3 = 0. Solve -6 = -5*v - 2*n, -3*v + 12 = v - b*n for v.
2
Let p = 6 + -5. Suppose p + 3 = 2*r. Suppose 15*t = 8*t + 35. Solve r*f - 2*s = -4, -8 = t*s - 3 for f.
-3
Let a = -720 - -721. Solve a = 5*h + 3*c - 8, 5*c = 2*h + 15 for h.
0
Let t(x) = -2*x + 2. Let o be t(3). Let i be (-16)/o*(3 - (3 - 2)). Solve -10 = -2*l + 4*d, 0*l = l - 3*d - i for l.
-1
Let v(n) = -35*n + 318. Let m be v(9). Solve 5*f - 43*a + 29 = -42*a, 13 = -5*f - m*a for f.
-5
Suppose 16 - 5 = 3*n + 5*i, -3*n - 2*i = -17. Let m = -5 - -11. Suppose -n - 23 = -m*r. Solve -3*o + 0*o = -3*z + 6, -r*z + o = -6 for z.
1
Let h(f) = -f**3 - 8*f**2 - 13*f - 3. Let q be ((-54)/45)/(1/5). Let u be h(q). Solve -p + 12 = 2*x, u*x - 7*x = -p - 12 for x.
4
Let v be ((-4)/(-3))/((-6)/198*-2). Let o(k) = k - 19. Let h be o(v). Solve 5*m + 4*r - 13 = 0, -m = -0*m + h*r + 4 for m.
5
Suppose 7 = 24*w - 89. Solve -25 = w*x + x - b, 3*b = x + 5 for x.
-5
Suppose 21 = 58*x - 51*x. Solve x*z = q - 16, 21*q - 24 = 4*z + 17*q for z.
-5
Suppose -319 = -53*q + 847. Solve 23 = -5*y + 3*u - u, q = -5*y + 3*u for y.
-5
Let u be ((-384)/(-160))/((-18)/(-15)). Solve -4*y - 32 = 5*s - 8, u*y + 2*s + 10 = 0 for y.
-1
Let r be 3/4 - (-12)/48 - 29. Let l = r + 41. Solve -8 = 2*k + 5*v, 5*v + l = 3*k - 0*k for k.
1
Let c be -4 + (-70)/(-7) + -3. Solve 1 = 5*d - c*v, v = 2*d - 4 + 3 for d.
2
Suppose 28*z - 19*z - 225 = 0. Solve z = -5*i, 0 = -5*l + 2*i - 3*i for l.
1
Let h(z) be the third derivative of -z**5/60 + 3*z**4/8 - 5*z**3/2 + 8*z**2. Let v be h(5). Solve 4*j = 5*m - 28 - 9, 0 = -5*m - v*j + 10 for m.
5
Suppose -3*k + 0 = -4*v + 1, -8 = -5*k - 3*v. Solve 2*d + o - 4 = 0, -k = -7*d + 2*d + 2*o for d.
1
Let f(t) be the first derivative of 2*t**3/3 + 3*t**2/2 - 3*t - 2. Let n be f(3). Let s be 2/(-5) + n/60. Solve -12 = -w + 5*w - q, w + 4*q + 20 = s for w.
-4
Let m be (-1)/2*(0/13)/(-3). Solve -o - h = 2, m*h - 4*h = 5*o + 6 for o.
2
Suppose -4 = -i - z - z, -3*i + 2*z + 4 = 0. Suppose 0 = s - i*s + 15. Let k be (5 + -3)*s/2. Solve -2*u + u + 4*p = -k, 4*u + 16 = -3*p for u.
-1
Let p(g) = 58*g + 585. Let t be p(-10). Solve t*n - 6 = -2*h + 6, 40 = -5*h + 5*n for h.
-4
Let a(m) = 13*m**2 - 4*m - 2. Let c be a(-3). Let d = 130 - c. Solve 6*p + 7 = k + d*p, -5*k - 7 = -p for k.
-2
Let v(k) = k**2 + 24*k - 20. Suppose o + 13 = -2*w - 2*w, -5*w = -3*o - 90. Let z be v(o). Solve 3*l + b = 19 - 5, z*l + 2*b - 24 = 0 for l.
4
Let h = 512 + -508. Solve 4*z - 7*z + 5*a + 21 = 0, 8 = -2*z - h*a for z.
2
Let q(y) = -3*y - 112. Let a be q(-39). Solve -2*o + 12 = -3*k + a, -4*k + 3*o - 8 = 0 for k.
-5
Let d(m) be the first derivative of -m**2 - 40*m + 29. Let o be d(-22). Solve 4 - 34 = 5*n + f, -o*f = -4*n for n.
-5
Suppose 11*h + 363 = 638. Solve 5*r - 3*w = -2*w - h, 5*r - 4*w + 25 = 0 for r.
-5
Let v be (-177)/118*(-1)/(-3)*-10. Solve n - v = 4*j - 6, 5*n - 2*j + 5 = 0 for n.
-1
Suppose 8 = -38*b + 46*b. Solve -2*u - b = -3*q, -4 = -q + 2*u - 5*u for q.
1
Suppose -6*j = a - j - 11, -3*a = j - 33. Let m = -12 + a. Let x be (11 - 10) + m + 4. Solve 3 = 5*r - x*f, 5*r + f = -3 - 4 for r.
-1
Let p(f) = -38*f - 937. Let d be p(-25). Solve -5*i = 3*z + 5, 8*i + z - 25 = d*i for i.
-4
Suppose 34*k - 23*k - 44 = 0. Solve -y + 4*y = 5*o - k, 3*o - 14 = -4*y for o.
2
Let c = -428 + 430. Solve -r = -c, -4*f = -3*r + r + 16 for f.
-3
Let t(r) = -2*r + 3. Let w be t(0). Suppose 0 = 19*o - 20*o + w. Suppose 0*c = 4*c. Solve 2*s = -2*x + 2 - 4, c = 4*x + o*s + 2 for x.
1
Suppose -10 = y + y, 5*x + 3*y - 15 = 0. Suppose 21 = p + x*p. Solve -3*h + 2 = -p*l + 5, 0 = h - 3*l - 3 for h.
-3
Let s(d) = d**2 - 49*d - 453. Let j be s(-8). Solve v + 18 = -4*x + 2, x = -j*v - 15 for v.
-4
Let p(y) = -y - 2. Let d = 30 + -33. Let w be p(d). Let b be (0 - w)/((-10)/40). Solve 4*g - 12 = b*l, 0 = 2*g - 3*l + 1 - 11 for g.
-1
Let t be (0/(-5))/(0 + -5). Solve -2*d - 4*a - 4 = t, -10 = -d + 5*a + 2 for d.
2
Let t(o) = -o. Let j be t(0). Suppose 4*l - 14 + 2 = j. Solve 3*p - 3*r - 17 + 2 = 0, 19 = 5*p - l*r for p.
2
Let k = -7 - -11. Let l = 48 + -47. Let y be (-12)/8*(-2 - 2/l). Solve v - 8 = -k*b, -3*v - 2*b = -5*v + y for v.
4
Suppose -4*d + 150 = -2*u, 2*d = 4*u + 81 + 9. Solve 5*q + d = -3*t, -19 = 4*t + 1 for q.
-4
Let n be ((-12)/3)/2*1. Let r be (n/(-8))/(6/48). Solve -t + r = -5*k, 0 = -t - k - 8 + 4 for t.
-3
Let x be 2 + 5 + -1 + 4. Let n be 154/x - (-3)/5. Solve 30 = 5*v + 5*y, -5*y + 2 = v - n for v.
3
Let a = -23 - -26. Suppose a*u = -7*h + 4*h + 21, 5*h + u = 15. Solve h*y - 8 = f, -2*f - 2*y = 2 - 16 for f.
2
Suppose l = -l + 4*n + 66, n - 61 = -2*l. Suppose -127 + l = -3*g. Let z = g - 28. Solve z*i - 14 = -5*t, 2*t + 2*t + 5*i - 13 = 0 for t.
2
Let m(i) = -i**2 + 28*i - 27. Let v be m(27). Solve 5*d + 6 = -r, v*r - 5*d - 9 = 4*r for r.
-1
Suppose 9 = 3*i - 3. Suppose 0 = -0*f + 3*f - 78. Let j be (f/(-5) + 2)*-5. Solve -4*a = -0*a + 3*p - j, i*p = 0 for a.
4
Suppose -v + 1 = 0, 4*k + v - 9 = -4. Suppose 9 - k = 2*t. Suppose 5*b - 8*b + 84 = 0. Solve 5*w + t*o = 3*o - 19, 4*w + 4*o = -b for w.
-3
Let s = 22 + -15. Suppose -s*z + 12 = -z. Solve -z*u - 6 + 2 = t, 4 = -4*u for t.
-2
Let i be (-34)/(-85) - (-746)/10. Suppose q - 31 = -4*t, 5*q + 5*t = t + i. Let o = q + 9. Solve -5*p = 5*y - 4*p + o, 2*y + 5*p = -31 for y.
-3
Let o(v) = v + 1. Let a be o(1). Suppose 5 = -3*q - a*s, -2*s + 5 = -s. Let c be q*((-28)/20 + -2). Solve -4*i + 12 = 4*j, j + c = 4*j + 5*i for j.
-1
Suppose 0 = 3*c - 0*c. Suppose 2 = u - c*u. Let y be 2 + (-2 - -1) + u. Solve y*k = k + 5*d, 3*k - 5 = 5*d for k.
5
Let j = -90 - -95. Suppose -3*n = 2*n. Solve j*r = 2*b - 29, 4 = 2*b - n for r.
-5
Let c = 47 - 52. Let z be (24/28)/(c/(-70)). Solve 3*n - 13 = -l + 5*l, -3*l - z = -3*n for l.
-1
Suppose 2*h = 4*m + 12, -3*h + 6*h - m - 13 = 0. Solve -h*y = -4*d + 7 + 5, -2*y + 22 = 5*d for d.
4
Suppose 667 = 18*t + 11*t. Solve -4*x = -5*x - 5*v - t, 9 = x - 3*v for x.
-3
Let q(p) = -12*p**3 + p**2 - 2*p - 4. Let v be q(-2). Suppose 2*d = 7*d - v. Solve 16 = a - 4*g + 4, 4*g = -a - d for a.
-4
Suppose 3*h = -2*l + 2, 5*h - 4*l - 36 = 4. Solve -2*b = -2*r + h*r, 5*b - 32 = 3*r for r.
-4
Suppose 14 = -2*s - 4*o, 0 = -3*s - 2*o + 2 - 3. Suppose d - 5*f = 5*d + 9, -4*d - s*f + 1 = 0. Solve 4*n + p - 1 = 0, -3*n + p = -3*p + d for n.
0
Suppose 4*j - 12 = 0, -14 - 4 = -2*u - 2*j. Suppose 40*b = 335 - 95. Solve 0 = 2*k + 3*d - b*d - 10, u = -3*d for k.
2
Let a be (-76)/(-10) + 3/((-45)/(-6)). Suppose a = f - t + 3, f - 3 = 3*t. Solve f = 3*h + 3*o, 5*h - 5*o + 4*o + 14 = 0 for h.
-2
Let s be (-3 - 3)/(-2) - 3. Let m(y) = -y**3 - 25*y**2 + 3*y + 78. Let v be m(-25). Solve t - 3*c + 7 = 0, s*c = -v*t - c + 19 for t.
5
Let r = -1289 + 1292. Solve 3*s - 17 = -5*m, -2*s + r*s + 1 = 5*m for s.
4
Suppose 74 = -6*i - 466. Let a = i + 95. Solve -24 = a*r + 5*h + 6, -4*h = -4*r for r.
-3
Let p = 24 + 2. Let q be p/4*4/(-2). Let n = 48 + q. Solve 2*g - 3*f = -3 + 5, 3*g + 5*f = -n for g.
-5
Let o be (-2)/6*(-300)/4. Let h = -19 + o. Let q(d) = 2*d + 6. Let m be q(h). Solve -4 = -k - 3*a - m, 3*a = -2*k - 19 for k.
-5
Let r be (-40)/500 - (-10)/125. Solve v + 6 = l + 3, r = 5*v + 5 for l.
2
Let i be (2/(-4))/(3/204). Let t = 38 + i. Suppose -t*s + 24 = 2*s. Solve -j + 21 = 4*z, 0*z + s*j - 4 = 4*z for z.
4
Let l(s) = 8*s + 11. Let b be l(1). Solve k - i + 4*i + b = 0, -1 = -k + i for k.
-4
Let m(b) = b**3 - 7*b**2 - 13*b - 28. Let n be m(9). Solve -3*d = -x - 0*x + n, 0 = x - 2*d - 12 for x.
2
Let p(y) = -y**2 + 2*y + 125. Let n be p(-10). Solve 3*h = 4*l + 13, -n*l - 6 = -2*h + 5 for l.
-1
Let a be (15/18)/((-22)/(-132)). Solve -3*s = a*v - 4, 5*s + 2*v = -0*s - 6 for s.
-2
Let u be 2/(-13) + 105/91 - -4. Solve -5*x - 1 = 2*g, -2*x - 2*x - 3*g = u for x.
1
Let k(o) = -o**3 - 7*o**2 + 6*o + 4. Let d be k(-8). Suppose -d = -5*v, 5*v = -u - u 