*y = -4 for y.
2
Let r be -1 + (-1)/((-4)/8) - -15. Let n(u) = 2*u + 27 - u - 82 - r*u. Let y be n(-4). Solve -4*d + y + 7 = 0 for d.
3
Let w(k) = -14*k - 18. Let n be w(-3). Suppose -3*o = -5*t - 9 + 13, 2*o + 2*t = n. Solve -o = 5*s - 17 for s.
2
Let q = 9278 + -9251. Solve -q*a + 79 = 25 for a.
2
Let m(i) = -i**3 + 10*i**2 + 19*i - 21. Let f(h) = -3*h**3 + 20*h**2 + 41*h - 42. Let a(p) = -2*f(p) + 5*m(p). Let l be a(-8). Solve -l*d - 2*d - 25 = 0 for d.
-5
Let w = -3 - -5. Let z be -2*(5 + ((-918)/12)/9). Solve w*u = -z*u + u for u.
0
Let z be 174/(-145)*(3 + -38). Solve -z*w + 33*w + 63 = 0 for w.
7
Suppose -12*s + 185 = -7*s. Let x = -50 + s. Let g(c) = -c**2 - 11*c + 28. Let r be g(x). Solve 0 = r*z + z for z.
0
Suppose 0 = -5066*o + 4864*o + 808. Let n = -18 + 9. Let w(f) = f + 11. Let z be w(n). Solve o*y - 2 = z*y for y.
1
Let g = 376 - 306. Suppose 20*l - g = 10. Solve -2*w - 4 = l for w.
-4
Suppose 213 = 17*r - 59. Solve 14*t - 4 = r*t for t.
-2
Let v be 3*1 + 28 + 10/2. Suppose 3*b = -2*l + 3, -2*l + 4*b + v = 2*l. Solve -w = -l*w - 20 for w.
-4
Let p = -4 + 2. Let m = 165 - 165. Let k be (p - 1)/3*m. Solve k*g = -5*g + 20 for g.
4
Let r(f) = 9*f**2 - 5*f + 8. Suppose -3*i = 2*s - 17, 2 - 1 = 4*s - 5*i. Let q be r(s). Let k = -130 + q. Solve k*x - 3 = 1 for x.
2
Let t(o) = 199*o - 137. Let n be t(3). Suppose 28 = -9*a + n. Solve 0 = 9*j - 12 + a for j.
-4
Suppose 4*f - 5*h = -7, -4*f - 4*h + 9 = -11. Let k(v) = -2*v**2 + 21*v - 40. Let w be k(8). Solve f = -2*r - w*r for r.
-1
Let r(d) = 15*d + 181. Let y be r(-8). Let s = y - 58. Solve s*l + l = 4 for l.
1
Let h be (-34)/(-6) - 2 - (-2)/6. Suppose -50 = 4*c + 2*x, 2*c - h*x + 8 = c. Let p be (-1*1)/((-33)/c + -3). Solve p*u = -u for u.
0
Let s be 3/(-1) - ((3 - 70) + 4). Let w = s + -44. Solve 7 - 71 = -w*a for a.
4
Suppose 54*g + 33 = 65*g. Suppose 5*r = 4*o, -3*o + g*r - 5*r = 0. Solve -12 + o = 6*z for z.
-2
Let l = 2818 - 2795. Solve 35*x = l + 82 for x.
3
Suppose -439 = 4*d + g, 2*d + 3*g - 8*g = -247. Let z = 114 + d. Solve -6*s = -z*s + 9 for s.
-3
Suppose 23*x = 27*x - 16. Suppose 4*v = -x*r + 24, -5*r + v + v + 9 = 0. Suppose -r*b = -5*b + 10. Solve -b*n - 35 + 10 = 0 for n.
-5
Let i = -2 + 3. Let k(g) = 15*g - 146. Let h(s) = 4*s**2 + s - 4. Let x be h(-2). Let m be k(x). Solve 0 = -o - m - i for o.
-5
Let c(a) = -68*a + 212. Let s be c(3). Solve -10*b + s*b = -4 for b.
2
Let w = -1560 + 1560. Solve 3*b - 158 + 143 = w for b.
5
Let o(i) be the first derivative of 3*i**2 - 70*i + 134. Let a be o(12). Solve a*f - 3*f = 5 for f.
-5
Let b = 184 - 32. Suppose u + 203 = 3*f, 0 = 5*f - 3*f - 4*u - b. Let k = -51 + f. Solve 2*n = -n + k for n.
5
Let t(l) = l**2 + 13*l - 22. Let x be t(10). Let n = 212 - x. Solve 5 = h + n for h.
1
Let c(w) = 7*w**2 + 5*w + 3. Let q = 20 + -20. Suppose 3*j = q, -p + 2 = -3*p + 3*j. Let o be c(p). Solve 0 = -o*h + 2*h for h.
0
Suppose 2*y - v - 52 = -0*y, 0 = -4*v - 8. Let o(k) = -k**2 + 6*k - 5. Let l be ((-50)/(-15))/(2/3). Let f be o(l). Solve -3*s + 8*s - y = f for s.
5
Let x(s) = 61*s - 6 + 76*s - 132*s + 9*s**3. Let m be x(1). Solve 0 = 88*k - 86*k - m for k.
4
Suppose -4*j - 11 = -l, j + 5*l - 7 = 6. Let q be (4 - 4) + 0*j/6. Suppose -3*u = -3 - q, 0 = 5*c + 3*u - 13. Solve -c*r + 10 = -4*r for r.
-5
Let m(z) = z**3 + 8*z**2 - 13*z - 99. Let r = 936 - 944. Let c be m(r). Solve -c*u - 3 - 12 = 0 for u.
-3
Let r = -1133 - -1144. Suppose -21 = 3*f - 33. Solve 5*n = -f - r for n.
-3
Let q = -8511 + 8571. Solve -q = -15*x - 0 for x.
4
Let v = -1660 - -1670. Solve 35 + 5 = -v*m for m.
-4
Let m = 10216 + -10169. Solve 29*d = m*d - 36 for d.
2
Let a = 178 + -173. Suppose a + 7 = 3*l. Solve l = 3*z - 2 for z.
2
Suppose -139 = -3*x - 130. Suppose -13 = 5*a - 3, 16 = -2*r - 5*a. Let v be r/(-3) - x/3. Solve 2*f - 8 + 0 = v for f.
4
Let q = -51 - -200. Solve 14*r - 37 = -q for r.
-8
Let w be (-2)/4*(-141 - -19). Let j = 63 - w. Suppose -2*l = -j*l + 3*l. Solve l = x - 2*x - 5 for x.
-5
Let j = -445 - -449. Suppose -4*f + 20 = c - 0*f, 0 = -3*c + j*f - 20. Solve c = -s - 9 + 5 for s.
-4
Let d = -199 - -257. Let q = -52 + d. Solve 6*o = 3*o - q for o.
-2
Let z(o) be the first derivative of -4*o**2 + 8*o + 33. Let b be z(1). Solve 15 = -3*q - b*q for q.
-5
Let k = 3573 - 3431. Solve -k*d + 123*d = 0 for d.
0
Let l = -3 + 15. Let k = 38934 - 38934. Solve b - 5*b + l = k for b.
3
Suppose 0 = -2*b - 2*b + 56. Suppose -37 = -b*q - 9. Solve q*i + 4*i + 30 = 0 for i.
-5
Let a(g) = -g**3 - 8*g**2 - 4*g - 33. Let j be a(-8). Let p(h) = -18*h - 14. Let y be p(j). Solve -y*c - 10 = -2*c for c.
-5
Suppose 2123*c - o + 1960 = 2127*c, -1477 = -3*c + o. Solve -2*l = 505 - c for l.
-7
Suppose 3*y + 12*y = 60. Suppose 3*q = 2*x - 16 - 5, -5*q + 31 = y*x. Solve 5 + 4 = x*v for v.
1
Let g be 3540/649*264/20. Solve -377*u - g = -395*u for u.
4
Let l(z) = 26*z - 147. Let s be l(6). Let k = -12 + 16. Suppose -3*x + s = -3*w, -k*x + w = -2*x - 5. Solve -x*g = -3*g - 1 for g.
-1
Let x(v) = -v**2 + v + 16. Let i be x(4). Suppose -3*o = 2*r - 150, -53*r + 48*r - i*o = -368. Solve -15*k - r - 3 = 0 for k.
-5
Let q be (-5)/(-2)*140/25. Suppose 8*l - 16 = 6*l. Let f = q + l. Solve 4*n - 2 = -f for n.
-5
Let b = -8 - -11. Let d(h) be the second derivative of h**4/6 - h**3/3 - 3*h**2 - 74*h. Let v be d(b). Solve 3 = 3*w - v for w.
3
Let z = 13 + -13. Suppose z = 2*g - g. Suppose 1 - 15 = -4*c - 2*d, c + 2*d - 8 = 0. Solve c*t - t = g for t.
0
Let p be 56/12*(-18)/(-21)*55. Solve -p + 36 = 46*g for g.
-4
Let f(k) = -k**2 + 2*k + 3. Let x(c) = 26*c - 55. Let h(z) = -f(z) - x(z). Let i be h(26). Let o(w) = w + 2. Let n be o(3). Solve i = -3*q - n - 10 for q.
-5
Let z(o) = -o**2 + 10*o - 15. Suppose 0 = 9*m + 24 - 96. Let r be z(m). Solve -s - r = 1 for s.
-2
Let z = 2157 - 1495. Solve -z*s = -656*s for s.
0
Suppose 0*r - 46 = -2*r. Let l = r + -23. Suppose -5*a + 0*a = l. Solve -5*q + 11 + 9 = a for q.
4
Let p = -1263 - -1271. Solve -21*y - 78 = -p*y for y.
-6
Suppose 7*q + 0*q = 0. Solve 0 = -37*p - 0 - q for p.
0
Let h be (40/16)/((-1 - -3)/4). Suppose -h*n = 5*u - 395, 0 = 5*u - 3*n + n - 409. Solve -u*x + 8 = -85*x for x.
-2
Suppose 78 = 4*c - 2*s + 22, 2*s + 8 = 0. Let l be ((-42)/c - -4)*2*7. Solve 0 = y - l*y - 30 for y.
-5
Suppose 0 = 4*s - 10*s. Suppose -r - 5*k = -184, 5*r + 11*k - 10*k = 848. Let q = -167 + r. Solve 0 = -d + q - s for d.
2
Suppose -60*w = -63*w + 15. Suppose 0 = 9*k - 11 - 7. Suppose k*n = a + 40, 3*a + 0*a = -2*n + 40. Solve -n = -w*i - 0*i for i.
4
Let a(o) = o**3 + 9*o**2 - 41*o - 6. Let k be a(-12). Solve -9 = 9*g - k for g.
5
Let z(a) = -4*a**2 + 4*a - 11. Let v(g) = 3*g**2 - 3*g + 10. Let s(y) = -5*v(y) - 4*z(y). Let h be s(3). Suppose -30 = -3*l - h. Solve 5*t = -0 + l for t.
2
Suppose -3*a = -2*a. Let p(s) = s**3 - 14*s**2 - 11*s - 64. Let b be p(15). Let l be 4/16 + -4 + (-31)/b. Solve a*m - l*m = 4 for m.
-1
Suppose -18*t + 53*t + 206*t - 20003 = 0. Solve -8*k + 19 - t = 0 for k.
-8
Suppose 0 = 3*m + 6 + 6. Let x = 6 + m. Suppose -4*k + 374 = 350. Solve -4*v = -x*v + k for v.
-3
Suppose -k - 3*w - 13 = 2*w, -22 = -k + 2*w. Let j(c) = 17*c - 202. Let i be j(k). Solve i*u = 2 + 4 for u.
3
Suppose -v - 4 = 0, -7*w + 56 = -3*w - 3*v. Suppose 18*i = w*i + 14. Solve 6*q - 10 = i for q.
2
Let r = 30965 + -29734. Solve -20*g = -1291 + r for g.
3
Suppose -3*n = -3*f + 83 + 7, n - 75 = -2*f. Let o = f - 28. Suppose 2*b = 5*z - 0*z - 12, o = 5*z + 3*b. Solve 0 = -3*g - z*g for g.
0
Suppose -1920 = 10*x - 14*x. Suppose w = -29*w + x. Solve w*c - 18*c = -6 for c.
3
Let a(u) be the third derivative of -3*u**4/8 + u**3/3 - 2*u**2 + 12. Let b be a(-2). Solve -8*d + 3*d - b = 0 for d.
-4
Let l(t) = 5*t - 35. Let k be l(10). Suppose -4*f - 32 = -4*v, 25 + 11 = 2*v + 3*f. Let q = v - 6. Solve k = s - q*s for s.
-3
Let g(z) = -z**3 + 17*z**2 + z + 23. Let l be (-3 - -5) + 19 - 4. Let k be g(l). Suppose 0 = -5*r + k + 35. Solve d + 4*d = -r for d.
-3
Let l be (8/(-6))/((-2)/3). Let w = -236 + 240. Suppose 0 = w*a - b - 3, a - 8*b = -5*b - 13. Solve a*c + 4 = l for c.
-1
Let z = 70 + -146. Let o be z/722 + (384/38)/1. Solve o = 107*q - 109*q for q.
-5
Let c = -120 + 128. Suppose 0 = -c*r - 14*r - 0*r. Solve -f - 4 + 7 = r for f.
3
Let u = -385 + 473. Suppose -53*j + 