- 4 = 0 for z.
1
Let i be 18/8 + (-10)/(120/(-9)). Suppose 0 = 4*z + 4*u - 5*u - 67, -i*u + 55 = 4*z. Solve z*t - 12*t = -20 for t.
-5
Let j(f) = -1. Let c(z) = 12*z + 24. Let i(w) = -c(w) - 8*j(w). Let n be i(-3). Solve 0 = 9*s - 65 + n for s.
5
Let k = -332 - -332. Suppose k = 18*w - 21*w + 12. Solve -w*z + 8*z = 0 for z.
0
Let i(m) = m**2 - 5*m + 4. Let f be i(4). Suppose 5*x + 23 = -6*h + 10*h, -3*h = 3*x + 3. Let v(s) = -2*s + 27. Let w be v(12). Solve -h*l - l - w = f for l.
-1
Let z be ((-210)/56)/(((-2)/(-24))/(-1)). Let c be 142/(-8)*-1 - z/(-180). Suppose -c = g - 26. Solve -4*q + g = 12 for q.
-1
Suppose 1584 - 8804 = -76*f. Solve -2*l - f = -81 for l.
-7
Suppose 4*o = -2*g + 10, 16 = 4*g + 36. Solve -20*h - 95 = o for h.
-5
Let w(x) = -x**2 + 6*x - 3. Let j be w(4). Suppose -9*m - 13 + 40 = 0. Suppose -2*c + 0*b - 2 = 2*b, m*c - 2*b - 7 = 0. Solve j*z + c = -14 for z.
-3
Let n(k) = -k**2 - 5*k - 6. Let l be n(-5). Suppose 0 = 4*o + 3*q + 28, -4 = -2*o + 3*q - 0. Let r = o - l. Solve -r*p - 12 = p for p.
-4
Suppose 210*h - 1959 - 2 = 559. Solve -h*u + 8 = -16*u for u.
-2
Suppose -2*h + 4*r + 96 = 0, 3*h - 2*r + 13 = 181. Solve -19*z - h = -3 for z.
-3
Let p(j) = -5*j**3 + 2*j**2 - 7*j - 59. Let a be p(-3). Solve -a*r = -82*r for r.
0
Let t = -7622 + 7643. Solve 0 = 9*u + t + 15 for u.
-4
Let q be (-4)/(-5) + 4/20 + (-288)/(-3). Let i(n) = n**3 - 10*n**2 + 8*n + 5. Let l be i(6). Let k = l + q. Solve -j - 2*j + k = 0 for j.
2
Let c = 92 - 89. Let k(j) = 3*j + 2*j**3 + 4 - 5*j - 15*j**2 + 29*j**2 - 17*j**2. Let z be k(3). Solve -2*d - z = c*d for d.
-5
Let i(v) = v**2 - 4*v + 6. Let u(c) = -c**3 + 2*c**2 - 3*c. Let t be u(0). Suppose t = -2*k, 6 = 3*g - 3*k - 0. Let a be i(g). Solve 1 = y + a for y.
-1
Let t be 12*(-17 + 428/24). Solve 12*r - t*r = -6 for r.
-3
Let c(u) = 2*u**2 + 9*u - 24. Let i be c(2). Let d(y) = -y**3 + 2*y**2 + 2. Let r be d(i). Solve -r*s + 0*s = 0 for s.
0
Let a = -481 + 483. Suppose -10 = -j + 5*j - a*i, 5*j - 2*i = -10. Solve -2*c - c + 6 = j for c.
2
Let a = 22 + -18. Suppose -a*h + 37 = v + 13, -v + 3*h + 10 = 0. Let u be (15/20 + 0)*v/6. Solve 3*f = u + 1 for f.
1
Suppose 91*q = 1291 + 893. Solve q*c = 30*c for c.
0
Let z be (-4 - -3)*5/((-5)/9). Suppose -5*u + 54 = z. Solve 4*k + 1 = u for k.
2
Let u be 9/6*(3 - 1). Suppose 3*r - 2*f = 16, 5*f - 2*f - 9 = -r. Solve 9 = r*t + u for t.
1
Let l(s) be the third derivative of -s**4/12 + 5*s**3/3 - 9*s**2. Let j be l(0). Suppose -21 = -17*d + j*d. Solve 0 = -n - d*n for n.
0
Let r(p) = -31*p - 137. Let f be r(-5). Suppose -5*i - 2*j + 16 + 5 = 0, -2*i - 4*j = -f. Solve 0 + i = -k for k.
-3
Let k be (-3)/((8/14)/(-4)). Suppose -k = -2*v - 1. Let x be (6 + (-52)/10)/(4/v). Solve 5*i + 22 = x for i.
-4
Let z(v) = 4*v**2 + v - 6. Let c(q) = -q**2 - 1. Let p(y) = 3*c(y) + z(y). Let j be p(-4). Suppose l = -j*f + 18, 2*f - 15 = -f. Solve 4 = -t + l for t.
-1
Suppose -2*m = -3*p + 116 - 131, 4*p - 65 = -3*m. Solve 11 = -m*w - 109 for w.
-8
Let n(d) = 14*d - 202. Let i be n(14). Let r be i/(-1) + (-8)/(-6)*-3. Solve -25 = r*m - 7*m for m.
5
Suppose -4*z + 215 + 365 = 0. Let d = 149 - z. Let q be (-21 + 21)/(2/2). Solve -y - d = -q*y for y.
-4
Let w(u) = 13*u**2 + 72*u - 57. Let q be w(-7). Solve -68 = q*o + 84 for o.
-2
Suppose -75*r + 28876 + 50852 = 189*r. Solve -300*n + r*n = 2 for n.
1
Let v(t) = t**2 + 9*t - 8. Let g be v(-10). Suppose -g*a + 98 = 5*q - 2*q, q = a + 26. Suppose 5*y - 7 - 47 = 3*r, 2*y - q = 4*r. Solve -2*j - 3 = -y for j.
3
Let w(z) = -z**3 - 26*z**2 - 25*z + 5. Suppose -6*x = -4*x + 4*k + 16, -5*x - 3*k = 12. Suppose x = 5*m + 88 + 37. Let g be w(m). Solve -4*j - g - 15 = 0 for j.
-5
Let h = 493 - 483. Let c be 44 - 52 - (0 - h). Solve c*i = -4 + 2 for i.
-1
Suppose 5*i + 0*i - 120 = 3*o, -4*o = 0. Suppose 0 = -w + 12 + i. Let d = w - 32. Solve -13 = d*a + 3 for a.
-4
Let p be (-2)/(-2)*(-4 + 4). Suppose -2*w - 3*h = -p*w + 7, -h = -5*w + 8. Solve 0 = v - 4 - w for v.
5
Let w(o) = -2*o**2 - 8*o - 8. Suppose -t + 8*t = -14. Let x be w(t). Solve x = 2*z + 1 - 5 for z.
2
Let t(y) = 2*y**3 - 11*y**2 - 117*y + 9. Let z be t(11). Solve -z*r + 47*r = -18 for r.
3
Let a be -2 + (-12)/9 + 10/(-15). Let r be (-1)/((-1)/a*-2). Let c be (-2)/(-11) - 2*r/22. Solve 0 = 5*b - c*b + 25 for b.
-5
Let v be -1 - (33/(-3) - -3). Suppose -48 = -8*f + v*f. Let t be ((-4)/(-12))/(4/f). Solve -t*a + 2*a = -10 for a.
5
Suppose -10*o = 29*o - 1248. Solve 12*k - o*k = -120 for k.
6
Suppose 22 = 4*s + 2*j, 2*s - 2*j = -2*s + 10. Suppose -5*o - 117 = -4*r, -s*o - 74 = -3*r - 3*o. Let l(y) = -2*y + 49. Let u be l(r). Solve 0 = b - u*b for b.
0
Let i be ((-188)/(-4) + 3)/(-2). Let l be (1 - -24)/(-5) - i. Solve -18*h = -l*h - 10 for h.
-5
Let z = -20686 + 20779. Solve -12*s - z + 105 = 0 for s.
1
Suppose -3039*z + 3045*z = 108. Solve -11*i + z = -17*i for i.
-3
Let p(q) = -q**3 - q + 1. Let t be p(0). Suppose -t = 7*k - 15. Suppose -12 + 8 = -k*h. Solve 2*j - j - h = 0 for j.
2
Let k be 128 - (1 - -3) - -2. Let j = 59 - k. Let n = j - -67. Solve p - 5 = -n for p.
5
Suppose -8*w - 5 = 3. Let f = w + 4. Suppose 9 = -n - 3*a, -f*n - 3*a - 1 = 8. Solve n*d = d for d.
0
Let s = -8304 - -8309. Solve s*j - 22*j - 51 = 0 for j.
-3
Suppose 0*c - c - 4*u = 16, 0 = 3*u + 12. Suppose j + 50 = 4*m - j, 0 = 5*m + 4*j - 56. Suppose c = -5*r + m - 7. Solve -21 = 5*w - r for w.
-4
Let l(v) = -3*v**2 - 2463*v + v**2 + 2456*v + 3*v**3 + 13. Let p be l(2). Solve -7*m + p = -10*m for m.
-5
Suppose 4*h - 8 = 4*g, -5*h + 0*h - 3*g = -26. Suppose -8 = 2*t - h*t. Solve -8 = -t*x + 6*x for x.
-4
Let x = -9812 + 9836. Solve 55 - 199 = x*l for l.
-6
Let k = 258 - 252. Suppose -k*d = -d. Solve 0*x - x - 1 = d for x.
-1
Suppose -202*y = -225*y + 46. Solve y*s + 2828 - 2822 = 0 for s.
-3
Suppose -81*p - 17*p = -12936. Solve 15*n - p = -7*n for n.
6
Let k = 3498 - 3491. Solve -39*z = -k*z - 64 for z.
2
Let p = 21 - 53. Let r be p*6/18*3/(-2). Solve -3*q - q = -r for q.
4
Suppose 67*j - 69*j = 0. Suppose 18*c - 23*c + 345 = j. Let s = -68 + c. Solve s + 11 = 3*q for q.
4
Let w(h) = h**3 + 4*h**2 - 6*h - 4. Let z be w(-5). Let j be -7 - z*(-8 - 5). Solve 0 = j*f - 7*f + 2 for f.
2
Let q be (216/45)/(1/20). Suppose 19*m = 7*m + q. Suppose -m = -159*l + 157*l. Solve -3*x + l = -5*x for x.
-2
Let k = 6 + -2. Let g(a) = a**2 + 15*a - 66. Let s be g(-20). Suppose 5*v + h = 2*h + s, h + 6 = v. Solve 0 = k*y - v*y - 6 for y.
-2
Suppose 0 = 4*l - 29 + 21. Suppose -9*r = -8*r - l. Solve y - 1 = r for y.
3
Let u be 3/(10/8 - 1). Let c be -69*(-4)/72 + (1 - (-22)/(-12)). Solve 0 = g + c*g + u for g.
-3
Let i be 12/2 - (0 + (-4 - -6)). Suppose 0 = -3*d + 4*v + 7, -3 = -2*d - i*v - 5. Solve -3*s - 2 = d for s.
-1
Let u(c) = -3*c**3 + 47*c**2 - 29*c - 15. Let x be u(15). Solve -73*z = -x*z + 73 for z.
-1
Let y be (5 - (-25)/(-10))*24/10. Suppose -x - y = -2*m - 2, -3*x + 3*m = 6. Solve x = k - 3*k for k.
0
Let h be 254/10 - 10/25. Let p be 7/((-35)/h) - -16. Solve 3 = -p*t + 14*t for t.
1
Let k = 896 + -834. Solve -k = 19*j - 157 for j.
5
Suppose 2*h = -3 + 5. Let q(g) = -g**3 + 6*g**2 + 14*g + 19. Let w(y) = y**3 + 13*y**2 - 3*y - 31. Let i be w(-13). Let m be q(i). Solve h = n + m for n.
-2
Let y(f) = 2*f - 18. Let c be y(-15). Let k = c - -52. Solve k*l - 6 + 2 = 0 for l.
1
Suppose -13*n + 5*t + 24 = -9*n, 0 = -3*n - 3*t + 18. Let y be (n/4)/(1/2). Solve y*u = -1 - 5 for u.
-2
Let g(x) be the third derivative of -x**5/60 - x**4/6 - x**3/2 + x**2. Suppose 769*i - 9 = 772*i. Let s be g(i). Solve s*a - 4*a = 12 for a.
-3
Let a(z) = z**3 - 25*z**2 + 11*z + 90. Let m be a(25). Let j = m - 365. Solve j = -p - 5*p - 12 for p.
-2
Let b(q) = -8*q - 2. Let y be b(-2). Let p be y/8*32/4. Suppose 0 = -10*v + 787 - 767. Solve 0 = v*t + 6 - p for t.
4
Let v(w) = 142*w + 32. Let g be v(0). Solve 22*f = g*f + 10 for f.
-1
Let p(d) = d**2 + 2*d + 1. Let b be (-10)/(-4)*(2 - -3 - 3). Suppose -2*q - 3*v - 5 = 0, q + b*v = -q - 3. Let x be p(q). Solve -f + x - 14 = 0 for f.
-5
Let w = -19 + 36. Suppose 3*v + 4*d = 68, 2*d + 1 + 15 = v. Suppose 16*n + v = w*n. Solve -4*r + n = -9*r for r.
-4
Suppose 2*x - 3 = 1. Let u = 861 - 861. Suppose 4*y - 5*s = 26 - u, y - 2 = -s. Solve 2 - y = -x*t for t.
1
Suppose 3*v - 124 = 125. Suppose v + 72