.
1
Let q(h) = -h**3 + 11*h**2 + 13*h - 8. Let o be q(12). Suppose -84 = -o*d + 4*z, -2*d + 7*z + 51 = 2*z. Let u = d + -12. Solve y - u = -2 for y.
4
Let p be ((-30)/25)/(12/200). Let s be (-50)/(-15)*(-24)/p. Suppose 3*h = -4*x + 14, s*h + 5*x - 13 = 7. Solve 3*t = t - h for t.
-5
Let o be (-1 - -3)*(36/(-8) + 6). Let g(i) = -i + 18. Let z be g(o). Solve -z = 4*f - 3 for f.
-3
Let m(c) = c**2 - 5*c + 4. Let o be m(4). Solve o = 10*f + 11 - 21 for f.
1
Let m = -382 + 384. Solve -3*o = -o - m for o.
1
Suppose 3*y + 215 = -5*f - 2*y, -4*f - 2*y = 164. Let d be 6/14 + f/(-7). Let r be 4/(-6) + 22/d. Solve -r = -w - 5 for w.
-2
Let z(w) = 2*w**2 - 120*w - 94. Let b be z(61). Solve 0 = k + b - 23 for k.
-5
Suppose k - 7*k = -12. Suppose 3*h - 3*y = 2*h + 6, h - 6 = k*y. Solve o = h*o + 25 for o.
-5
Let u = 9 + -3. Solve 10 + u = -4*i for i.
-4
Let b(k) = k - 10. Let c be b(12). Let z = 3 - c. Let f be 0/(1 + 4)*z. Solve f = -h + 5*h + 12 for h.
-3
Suppose -u - 3*u + 20 = 0. Suppose u = n + 1. Let h be ((-7)/(-7) - 1)/(2 - 1). Solve -z + h*z - n = 0 for z.
-4
Suppose 5*l = -3*x + 19, 3*x - 21 = -2*x - 3*l. Suppose 27 = 4*w - x*u, -4*w + 6 - 14 = 4*u. Let g(c) = 2*c - 4. Let p be g(w). Solve -n + p*n + 2 = 0 for n.
-2
Suppose 4*c - 5 + 5 = 0. Let p = -8 - -10. Suppose -5*s = p*r - 17, -4*r + 2*r + 5*s = 13. Solve c = g + r - 2 for g.
1
Let t = -920 - -942. Solve t = -6*w - 2 for w.
-4
Let j be 32/72 - (-28)/(-63) - -6. Solve 0 = -18*t + j*t + 24 for t.
2
Let f(b) = -6*b. Let m be f(-4). Suppose -5*p + m = -11. Suppose -2*d = 10 - 16, 4*d - 24 = -4*y. Solve -4*j + p = y for j.
1
Let m be 124/8 - (-6)/4. Let n = m + -14. Suppose 0 = l - 3 - 1. Solve -1 = l*k + n for k.
-1
Let d be (42/63)/(4/24). Solve 18*t - d*t = 28 for t.
2
Let v(r) = 8*r**2 + r - 1. Let g be v(1). Let a = -3 + g. Solve 0 = 3*j + 4 + a for j.
-3
Let a be 16/(-20)*(87/(-6) - -7). Solve 4*s + a = 2 for s.
-1
Suppose 20 = -6*x + 50. Solve -5 = 5*c + x for c.
-2
Suppose 0*t - 15 = -5*t. Suppose 0 = -t*q + q + 10. Solve 0 = q*b - 15 - 10 for b.
5
Let g = 1615 - 1615. Solve -17*y - 24 + 109 = g for y.
5
Let i(f) = 2*f**2 - 2*f - 7. Suppose 9 = 10*b - 7*b. Let q be i(b). Solve -q*w - 3 + 13 = 0 for w.
2
Let n = -28 + 32. Suppose -4*k = n + 4. Let v be (k/(-7))/(6/42). Solve 0 = v*u - 4*u - 4 for u.
-2
Let p = 486 - 477. Solve -j - 9 = -p for j.
0
Let b = -7 + -3. Let t be (-10)/35 + b/14. Let f be -9*(-4)/12 - t. Solve -f*k + 6 + 14 = 0 for k.
5
Let v be -3 + 4 - (-1)/1. Suppose 0 = 2*b - 5*b + 9. Suppose -4*i = 4*r - 0*i - 28, 3*i - 6 = 0. Solve v + b = -r*z for z.
-1
Let h be 120/18 + 1/3. Suppose -2*t - 5 = -h*t. Let l be (-3 + 3)*t/(-3). Solve 2*p - 2 = -l for p.
1
Let z = -40 + 53. Let l = -3 + z. Solve -6*y + y + l = 0 for y.
2
Let n(c) be the third derivative of -c**6/120 - 3*c**5/20 - c**4/4 + 3*c**3 - 10*c**2. Let i be n(-8). Solve 10 = 2*q + i for q.
4
Let l = -8 - -12. Suppose -520 = -48*k + 344. Suppose 0 = 2*d - 3*v - 12, 12 = 2*d + v - 0*v. Solve -l*u + d = k for u.
-3
Suppose -4*b + 13 = -5*w - 3, 2*w = -4*b + 16. Suppose w = -2*n + 4*n - 6. Suppose 0*j = 3*j - n. Solve -2*q - 3 = -j for q.
-1
Suppose 11*z - 652 - 140 = 0. Solve z - 87 = 3*y for y.
-5
Let v = 17 + -23. Let d(u) = u + 10. Let f be d(v). Solve f*c - 15 = -3 for c.
3
Let x(v) = -6*v - 15. Let g be x(-8). Suppose -g*t = -37*t. Suppose -2*o = -2*c - t*c + 14, -4*o = 4*c - 12. Solve c*j - 20 = j for j.
5
Let u(s) be the third derivative of 0 + 3*s**2 + 1/3*s**3 - 5/12*s**4 - 1/60*s**5 + 0*s. Let l be u(-8). Solve 4*i + l = -2 for i.
-5
Suppose -29 - 3 = -o - w, 2*o = 4*w + 64. Solve 212*u = 220*u + o for u.
-4
Let d = -601 - -626. Solve 0 = -12*h + 17*h + d for h.
-5
Let h be 36/30*(-30)/(-4). Suppose 4*p = 5*y - 9, -5*p - 5*y = -10*y + 10. Let w be p + 0 - (1 + -5). Solve w = 3*v + h for v.
-2
Let i(b) = -b**3 - 20*b**2 + 3*b + 65. Let f be i(-20). Solve f*j - 8 + 3 = 0 for j.
1
Let h be 130/25*200/16. Solve h = 8*o + 5*o for o.
5
Suppose 2 = 2*c - s, 4*c = s + 8 - 2. Suppose c*j + 21 = -47. Let m = -26 - j. Solve -u = u + m for u.
-4
Let f = -138 - -128. Let l be (-12)/f + 4/(-20). Solve -l = -3*k + 5 for k.
2
Suppose -75*t = -86*t + 77. Solve -33 - 2 = -t*o for o.
5
Suppose 2*p + 5*i - 3 = 0, 4*p - 6 = -5*i + 5. Solve -3*g + 3 = -p*g for g.
-3
Let b = 593 - 592. Solve 1 = -4*q + b for q.
0
Let v = -8 - -12. Suppose -v*u - 11 = -5*f, -5*f + 3*u = -4*f. Suppose -f*d = -0*d - 9. Solve 3*l + 18 = d for l.
-5
Let c(m) = -2*m**2 - 4*m - 5. Let y be c(-2). Let t be (-2 - -2)/(y - -3). Solve d - 4*d = t for d.
0
Let y(k) = -4*k**3 + 6*k**2 + 11*k - 35. Let b(z) = -5*z**3 + 5*z**2 + 10*z - 35. Let n(v) = -3*b(v) + 4*y(v). Let p be n(10). Solve 12 = -p*h + h for h.
-3
Let u be 2*1*(12 + (-88)/11). Solve -u*o - 12 = 4 for o.
-2
Let c be -5 - -6 - (10 + -2). Suppose 0 = -4*f - 4*b - 12, 4*b = -3*f + 3*b - 13. Let d = f - c. Solve 0 = -t + d + 2 for t.
4
Suppose 86 = 7*l + 51. Solve 0 = -o + l - 5 for o.
0
Let y be (-69)/(-15) + 4/10. Let a be 15/y*(-4)/(-6). Let h(q) = -q**3 - 7*q**2 + 7*q - 4. Let j be h(-8). Solve -j*g + 2*g - a = 0 for g.
-1
Let t = -59 - -65. Let f be (-2)/t - (-35)/15. Solve -f*j - 8 = 2*j for j.
-2
Suppose -1 = r - 2*t, -r = -0*t + 4*t - 11. Suppose -3 = r*d - 48. Suppose 0 = -4*v - 3*b + d, 0*b - b = 2*v - 7. Solve -v*n + 2 + 7 = 0 for n.
3
Let l(p) = -p + 2. Let s = 146 + -147. Let m be l(s). Solve 2*n - m = 3*n for n.
-3
Let o(k) = 13*k - 75. Let s be o(7). Solve 3*d - s = -d for d.
4
Let k(a) = -a - 8. Let v be k(-11). Suppose 0 = v*b - 4*b + 1. Let h be (-1)/(-3)*6*b. Solve h = q + 4 for q.
-2
Suppose p + 4*t - 16 = -0*t, 3*p - 4*t = 0. Solve -p*c - c = 10 for c.
-2
Suppose -5*k - 4*u + 3*u + 37 = 0, 0 = k - 2*u - 3. Let d = 2 + 1. Suppose b + d*m = -0*b - k, 3*b - 19 = m. Solve 0*p = p - b for p.
5
Let p(b) = -3*b**3 - 11*b - 22. Let w be p(-2). Solve -22*a + 8 = -w*a for a.
-4
Let s(o) = o**3 - 19*o**2 - 2*o + 50. Let p be s(19). Solve -5*i - 32 = -p for i.
-4
Suppose 174 + 78 = 28*l. Solve 0 = l*z - 19*z + 20 for z.
2
Suppose -120 = 32*i - 52*i. Solve -i*q = -q - 15 for q.
3
Let d be 24/(-30) - 408/(-10). Let a = d + -29. Let b = 14 - a. Solve -b*r + 10 = -r for r.
5
Let h be (-9)/((-18)/(-4)) + 4. Let k be 20/5 + h + -3. Suppose k*l - 4*a = 6, 0*a = l - a - 2. Solve 10 = 3*p + l*p for p.
2
Let l = 44 - 39. Suppose 32 = l*z + 7. Solve g = -4*g + z for g.
1
Suppose -4*v = -0*v - 8. Let l(n) = 8*n**v + 10 + n - 1 - 1 + n**3. Let a be l(-8). Solve a*o = -o for o.
0
Let r be (-5)/(-4 + 2 - -3). Let s be (4/r)/(5/(-25)). Solve -z = -s*z for z.
0
Let q = -5 + 10. Suppose 0 = 2*h - p, -4*h + 6*h = -4*p. Solve h = q*g + 5 + 10 for g.
-3
Let d = 84 + -230. Let j = d + 151. Solve -j*v + 10 = -3*v for v.
5
Let o(m) = m**2 + 4*m - 5. Let r(g) = -2*g + 8. Let v be r(3). Let f be v/((-6)/21) + 1. Let h be o(f). Solve -h = 2*c + 3 for c.
-5
Suppose 16*x - 40 + 8 = 0. Solve 4 = x*f + 2 for f.
1
Let p(r) = r**3 + 2*r**2 + r + 2. Let z be p(-2). Suppose z = 2*y - 6*y + 4. Let w be y + (-3 - -4) + 3. Solve w*i - i = 4 for i.
1
Let x(z) = -z + 7. Let r be x(5). Suppose 22 = -4*u - 5*c, 3*c = -u + c - 7. Let s(t) = t**3 + 4*t**2 + 4*t + 3. Let m be s(u). Solve m = -0*k - r*k - 10 for k.
-5
Let z = -58 + 86. Let y(i) = -i**2 - 8*i + 36. Let n be y(-11). Suppose -u = 2*l - 7, l = u + n - 4. Solve 0 = -5*p + z - u for p.
5
Let k = -2574 - -2577. Solve k*x - 34*x = 0 for x.
0
Let b(g) = -g**3 + 9*g**2 + 10*g - 13. Let l be b(8). Let i = l + -128. Solve -2*m = -i - 7 for m.
5
Let w(v) = -v**3 + 4*v**2 + 3. Let d be w(4). Let g(j) = j**2 - 4*j + 7. Let z be g(5). Let y be 15/(z/16 + 0). Solve -8*h + y = -d*h for h.
4
Let b(t) = -t - 3. Let s be b(-6). Let d be 9/9*(-1 + s). Suppose -d*u + 10 = 3*j - 6, -4*u + 24 = 4*j. Solve -u*k + 3 = -5 for k.
4
Suppose -4*s - 2 + 18 = 0. Suppose s*j + 0*j = -4. Let d be j - (3 - (3 - -3)). Solve v = d*v - 1 for v.
1
Let j(h) = 2*h + 5. Let u be j(-3). Let m be u/(85/30 + -3). Solve n = m*n for n.
0
Suppose 5*i + 5*k - 8 + 3 = 0, -4*k - 16 = 0. Solve 9 = i*g - 8*g for g.
-3
Let z(q) = 5*q + 2. Let p be z(-3). Let f = -8 - p. Let m(c) = c**2 + 12*c + 21. Let b be m(-10). Solve -f = 4*n - b for n.
-1
Let d be 3669/12 - 3/4. Let s be 2/7 - (-1 - d/35). Solve s = g + g for g.
5
Sup