4. Solve 8 = -t*o + f for o.
-3
Let c = 712 - 685. Let t = 49 + -85. Let o be 6/c + (-64)/t. Solve -o + 8 = -2*a for a.
-3
Let g be (4/(-30) + 14/15)*-5. Let a be 2*((-2 - g) + -1). Solve 2 = -2*b - a for b.
-2
Let z = 128 - 110. Solve -4*a = 26 - z for a.
-2
Let d be 7/1 + (-10)/10. Suppose -3*j + d = -6. Suppose -j*a - 18 = -i, 0*i + 10 = 3*i - a. Solve -i = -3*v + 5*v for v.
-1
Let h = 75 + -70. Solve -2 = -h*z - 12 for z.
-2
Suppose w + 4*n - 45 - 7 = 0, -2*w + 3*n + 82 = 0. Let s = w - 40. Let c(j) = -2*j - 5. Let z be c(-4). Solve -z*f + s = -2 for f.
2
Suppose -22*j = -40*j + 72. Solve -j*n = 14 + 6 for n.
-5
Let p = 54 + -42. Suppose -6*t = -3*t - p. Solve -t*j = j - 20 for j.
4
Let i be (0/4)/(-3*20/15). Let o be ((-2)/(-4))/((-1)/(-4)). Suppose -o*g + g = i. Solve -4 = -g*w - 2*w for w.
2
Suppose -2*k - 2*o + 4*o = 10, 29 = -3*k - 4*o. Let b = -3 - k. Let i = 0 + 2. Solve i*v = b*v - 4 for v.
2
Let z(t) = 2 + 395*t + 0 - 396*t. Let m be z(-1). Solve 0 = -2*x + m - 13 for x.
-5
Let j be (-2 - 3/(-6))*20. Let k = j + 39. Solve -4*g + g = k for g.
-3
Let t be -6 + (190/10 - -1). Solve t*y = 13*y + 1 for y.
1
Let r be 158/5 - 2/(-5). Suppose -2*f + 2*t - r = -2*t, -2*f - 3*t - 11 = 0. Let v = -6 - f. Solve 5*m = 4*m - v for m.
-4
Let t be (-7)/(-5)*(-15)/(-3). Suppose -5*i + 4*i = -t*i. Solve -r - 4*r - 10 = i for r.
-2
Let i = -81 - -87. Let g be 1 + 12/(-10) + (-165)/(-75). Solve -10 + i = g*a for a.
-2
Let u be 14/(-4) - 1/2. Let s be (-10)/8*u - 3. Solve 0 = 3*t + s*t + 10 for t.
-2
Let a be (1 - 49/2) + 4/(-8). Let s = a - -26. Suppose -2 = f - 4. Solve f = s*h - 0 for h.
1
Let q be ((-3)/2)/((-6)/(-4)). Let s(n) = -n. Let l be s(q). Solve -l = -t + 2 for t.
3
Let n = -45 + -27. Let i be (2/(-6))/((-8)/n). Let p = i - -7. Solve -g = -p*g - 6 for g.
-2
Let d be (-388)/15 + 16/(-120). Let h be (-65)/d*2/5. Solve 0 = 2*m - h + 5 for m.
-2
Let m(g) = g - 1. Let j(w) = -8*w - 12. Let s(u) = j(u) + 3*m(u). Let p be s(-3). Solve -4*v + 0*v - 16 = p for v.
-4
Let n be (-10)/(-6) + (-2)/3. Let r be n/(-2) + (-12)/24. Let l(z) = 6*z**2 - z. Let d be l(r). Solve -4*y + d + 13 = 0 for y.
5
Let w = 1337 - 1300. Solve 0 = -10*p - w + 7 for p.
-3
Suppose 7*t - 48 = 3*t. Suppose 8 + 1 = 3*w, 0 = -5*g - w - 27. Let a be 5/g*(-6)/1. Solve -2*y + a*y = t for y.
4
Suppose 0 = -3*s - 5*f + 26, 0 = 2*s + s - 3*f + 6. Let y be 4/12 - s/6. Suppose 0 = -2*q + q - 4*i - 18, 5*q - 4*i - 30 = y. Solve -u - q = 1 for u.
-3
Let o be 2/(-4)*240/(-20). Solve -4*k - o = 14 for k.
-5
Let s(u) be the first derivative of -u**5/120 + 5*u**4/12 + 8*u**3/3 + 2. Let h(i) be the third derivative of s(i). Let p be h(8). Solve 10 - 2 = -p*x for x.
-4
Let b(a) = a**3 + 8*a**2 - 2*a - 9. Let k(v) = 2*v - v**2 + 3 - 1 + v. Let w be k(-2). Let c be b(w). Solve 5 = c*o - 2*o for o.
1
Let y be 4/(-12) - (-50)/6. Let q be (-2 - 44/8)*(-4)/5. Suppose 0 = -3*b - b + 8. Solve q*j + y = b*j for j.
-2
Let p(y) = -6*y + 6*y + y - 6 + 0. Let g be p(9). Solve -x + g*x = 10 for x.
5
Let h(g) = -g. Let d be h(-1). Let x(q) = -q**2 + 12*q - 23. Let r be x(3). Solve -5*l - d = -r*l for l.
-1
Suppose -15*b = -56 - 109. Solve -4*u - 7*u = b for u.
-1
Let d = 11 + 25. Suppose -12 = -f - 2*s - 0, d = 5*f + 2*s. Solve 12 = -f*m + 3*m for m.
-4
Let y be (-8)/28 - 726/(-42). Suppose y*m - 16*m = 0. Solve -2*k + 4 = -m*k for k.
2
Let f(g) = -2*g + 8. Let p be f(2). Suppose -p*r + 1 + 5 = -3*z, 5*r = -4*z + 23. Suppose 2*a = -0*a + 5*j - 25, -4*a + 5*j - 25 = 0. Solve c + 0 + z = a for c.
-2
Let z = 23 - 18. Suppose 3*p = p + 6, -5*k = -z*p. Solve 19 = k*a + 4 for a.
5
Let s = -352 - -352. Let j(r) = -9*r**3 + r. Let f be j(-1). Suppose 2*w + 3*y - 15 = s, -f + 0 = -w - 2*y. Solve -w - 10 = -4*o for o.
4
Let n = 3 - 0. Suppose -20 = q - 5. Let y = q - -25. Solve 0 = n*r - r + y for r.
-5
Let p be (-8 + 7)/(2/(-4)). Suppose p*j - 3 = j. Suppose -4 = -5*h - 3*n + 3, j*h = -2*n + 4. Solve -h*r = -r for r.
0
Suppose 0 = -5*o - 5, 2*c - 3*o - 5 - 8 = 0. Suppose 0 = -5*h - c*q, -4*h - 4*q = h. Solve -2*m + 6 = -h*m for m.
3
Let g = -752 - -756. Solve g*o + 6*o = 10 for o.
1
Suppose -147*l = -143*l - 40. Solve 14*o - l*o = -20 for o.
-5
Suppose a = 5*g + 12, -11 = -5*a + 5*g + 9. Let s be (-3 - -1) + 17 + a. Suppose 3*d = 5*h + 21, s = d - 5*h - 0*h. Solve -d*x = -10 - 0 for x.
5
Let r(z) = z**2 + 9*z + 14. Let x be r(-9). Solve -x = 3*d - 2 for d.
-4
Let j = 0 - 12. Let k be (-78)/j - (-6)/4. Let s be 72/16 - (-1)/(-2). Solve s*i = k*i - 20 for i.
5
Let u(m) = m**3 + 4*m**2 + 2*m + 4. Let l be u(-3). Solve -12 = d - l*d for d.
2
Let v be 10*6/(-15)*-1. Suppose -2*j - 2*b + 8 = 0, 2*b = -4*j + 3*b - 4. Solve 2*p + j*p + v = 0 for p.
-2
Let c(i) = 54*i + 3. Let k be c(2). Let d = 113 - k. Solve 0 = d*q - 11 + 3 for q.
4
Let h(r) be the first derivative of -r**3/3 + 13*r**2 + 31*r - 20. Let z be h(27). Let q(l) = l**3 + 3*l**2. Let m be q(-3). Solve m = -9*x + z*x - 25 for x.
-5
Let h(p) = 2*p**2 + 5*p + 3. Suppose 1 = 16*s - 17*s. Let u be h(s). Solve u = -r + 2*r for r.
0
Let b(v) = -2*v + 3. Let h be b(0). Let r be (4/h)/(12/(-36)). Let m be (-20)/(0 - r)*-2. Solve -2*l + 0*l = -m for l.
5
Let y be 4*(2 + 6/(-8)). Suppose 11 = 3*z - w, 4*z - y*w + 1 = 3*z. Solve -z*p = 15 + 5 for p.
-5
Suppose -l - 4*l + 15 = 0. Suppose 5 = l*w + i - 9, 25 = 5*i. Suppose 0 = 3*f + 3*q - 3, -5*f + 6 = -w*q + 7*q. Solve -f*p - 1 - 1 = 0 for p.
-1
Let b be (1 + -3)*(-2)/4. Suppose 23 = n + 21. Suppose 0*m - 2*t + 11 = m, -4*t = -n*m - 10. Solve -q + b = -m for q.
4
Let r(j) = -j**3 + 6*j**2 + 7*j + 7. Let s be r(7). Let u = 15 + -12. Suppose 4*m - 15 = -u. Solve -m - s = -5*v for v.
2
Let y(h) = 3*h - 3. Let k be y(2). Suppose 0 = -2*v - i, -5*v + 14 = -0*v - i. Suppose -5*f + 14 = v*f. Solve -z = -k*z + f for z.
1
Let a = -1011 - -1025. Solve -6*n - a = 16 for n.
-5
Let z be 0 + 4 - 8/(-2). Let k = 8 - z. Solve 5*a = -k*a for a.
0
Suppose -5*w = -3*x - 19, 4*x - 2*w = -8 + 6. Solve -x*z + 7 = 13 for z.
-3
Suppose -8*n + 11*n - 9 = 0. Suppose 3*s - 2 - 1 = 0. Let f = 2 + s. Solve f*o + n = -0*o for o.
-1
Let s(v) = -8*v - 242. Let t be s(-31). Solve -t*l - 30 = -0*l for l.
-5
Let k(g) = -g + 11. Let i be k(-5). Solve -8*t = -0*t + i for t.
-2
Let o be 2/4*(28 + -26)*13. Solve o*r = 29*r - 17*r for r.
0
Suppose -12*p + 34 = 10. Suppose 4*w + 9 + 5 = -2*l, p*l - w - 6 = 0. Solve -4 = 5*o + l for o.
-1
Let k = 38 - 37. Let y = -150 - -151. Solve v - k - y = 0 for v.
2
Let l be (-4 - (-9)/2)/((-3)/(-18)). Solve -l*k + 10 - 16 = 0 for k.
-2
Suppose -s + 11 = 9. Suppose 0 = -u + 3*u + 6, 4*u + s = -z. Solve z - 2 = 4*i for i.
2
Let p = 1331 - 1326. Solve p = d + 9 for d.
-4
Suppose -519*x = -518*x - o - 206, 0 = 2*x - 4*o - 410. Solve 210*l = x*l - 12 for l.
-4
Suppose 3*x = 8*x + 60. Let d be 3/x - (-29)/4. Let c be -3 + 0 + d + -1. Solve -7 = 2*o + c for o.
-5
Suppose -5*i - 3*t + 39 = 9, 35 = 5*i + 4*t. Solve -w - 2*w = i for w.
-1
Let b(s) = -s**2 + 21*s - 62. Let u be b(4). Solve 0 = -x - 10 + u for x.
-4
Let k be ((-1)/4*2)/(11/(-22)). Let l be (3 + -5)*(-4 - -2*k). Solve -5 = l*f + 3 for f.
-2
Let l(g) = g**2 + 7*g + 9. Let n be l(-10). Suppose 0 = 2*i - 39 - n. Suppose i = a + a - 5*u, a + 18 = -5*u. Solve 4*m + a = -9 for m.
-4
Let l = 102 - 108. Let q be (3 - 1)/((-3)/l). Solve -2*v + q = -0*v for v.
2
Suppose 2*d + 0*t + 7 = -3*t, 2*d - 3*t - 23 = 0. Let f = d + -2. Suppose 0 = 2*z - 14 + 8. Solve x = f*x + z for x.
-3
Let f(j) = 19*j**2 + j - 1. Let k be f(1). Let c(y) = -y + 18. Let u be c(14). Solve u*s = k + 1 for s.
5
Let d = 0 - -2. Suppose 0 = -0*h - d*h. Suppose 18*m - 22*m + 8*m = 0. Solve h = -m*r - 3*r for r.
0
Let i = 32 - 26. Let o = -20 - -22. Solve o*d + i = -0*d for d.
-3
Suppose -7 = -4*p - b, -3*p + 1 - 7 = -3*b. Let x be ((-2)/p)/((-4)/(-46)). Let w = 25 + x. Solve r - 1 + w = 0 for r.
-1
Let f(s) be the third derivative of -s**5/60 + s**4/8 + 2*s**3/3 - 3*s**2. Let j be f(4). Suppose j*w = 2*w. Solve w = 5*o - 4 + 14 for o.
-2
Let f(b) be the first derivative of -b**2/2 + 4*b - 21. Let g be f(0). Solve 0*y - y - g = 0 for y.
-4
Let s be 2/(-8) + (-63)/(-12). Suppose -u + 9 = 2*u. Suppose -14 = -r - 3*r + u*v, r + 3 = 4*v. Solve s = -r*o - 20 for o.
-5
Let t = 3 + 2. Suppose 11 = -t*y - 3*o, -3*y + 