 for z.
5
Let q be (-1)/2*-2 + 2. Let b(w) = -w**3 + 12*w**2 - 2*w + 197. Let u be b(13). Suppose u*j + l + 4*l - 19 = 0, -3*j = q*l - 33. Solve 4*h - j = 8 for h.
5
Let s be 4/(-58) - ((-1976)/58 + -8). Solve s*p - 17*p = 175 for p.
7
Suppose g - 3*g = -5*o - 18, 0 = -2*g + 3*o + 22. Suppose 0 = 4*n - f - g, n - 22 = -3*n - 3*f. Solve n*x + 29 = 9 for x.
-5
Suppose 0 = -5*c - d - 0*d - 13, 0 = 2*d + 6. Let o be (-5 + 5)/(c - -5). Suppose 2*f + o = 6. Solve -2*a = f*a for a.
0
Let z be (6 + -5)/((-3)/(44 + -2)). Let s(g) = -g**3 - 13*g**2 + 15*g + 17. Let m be s(z). Suppose 5*d + m*d = 0. Solve d = -b + 6 - 4 for b.
2
Let n = -18 - -84. Suppose 13 + 6 = k - 2*z, 4*k - 3*z - n = 0. Suppose -4 = -3*a + 2. Solve 0 = g + a*g - k for g.
5
Let m be 1/1*-1*(-37 + 36). Let k(i) be the second derivative of 8*i**3/3 - i**2/2 - 22*i. Let z be k(m). Solve 6*r = 3*r + z for r.
5
Let w be ((-24)/(-20))/(4/10) + 1. Suppose w*z = 4*h - 304, -2*h - 60 = z + 13. Let q be ((z/(-10))/(-3))/((-3)/6). Solve -8 = q*v + 12 for v.
-4
Suppose w - 4*w - 113 = -122. Let h be 3*13 - (-9)/3. Suppose -5*j = -2*d + 26, -2*d + 6*d - 5*j - h = 0. Solve -d = -u + w*u for u.
-4
Let i be (-30)/18 + 75/45. Solve i = 51*t + 232 + 74 for t.
-6
Let w(t) = -t**3 - 6*t**2 - 4*t - 16. Let m be w(-5). Let l = m - -7. Let u = l + 15. Solve 0 = -k - 0 + u for k.
1
Suppose 0 = 2*y + y. Suppose 5*s - 215 + 10 = y. Let m = s - 37. Solve h = -h - m for h.
-2
Let t be (-2)/(-80) + (-14818)/(-2480). Solve h + 5 = t for h.
1
Let c = 6558 - 6555. Solve 8 + 1 = -c*u for u.
-3
Let u(n) = n**3 + 10*n**2 - n + 2. Let q be u(-9). Let o = 483 - 387. Let f = o - q. Solve f*m + m + 5 = 0 for m.
-1
Let l = 3538 - 3473. Solve -9*v + 110 = l for v.
5
Let z = -1794 + 1799. Suppose -y = y - 4. Solve 3*q - z = y*q for q.
5
Let x(h) = -5*h**2 + 54*h - 144. Let u be x(6). Let f = 1 - 1. Solve 0 = -u*g - 3*g - f*g for g.
0
Let b = 42 - 34. Suppose -6*i = -b*i. Suppose -2*o - 3*o = i. Solve 0*w + w - 4 = o for w.
4
Suppose -4*w - 112 = -4*b, 27*w + 116 = 5*b + 30*w. Solve 35 - b = 2*v for v.
5
Suppose -5*o + 373 - 203 = 3*j, -2*j - o = -118. Solve -5*h = 5*h + j for h.
-6
Suppose 4*s + b - 67 = 0, -3*b - 4 = -s + b. Suppose -s*k = -21*k + 15. Solve -4*t + 3 = k for t.
0
Let z = 472 + 273. Let p = 746 - z. Let s(l) = -l**2 + 7*l - 5. Let t be s(5). Solve 2*x - p = t for x.
3
Let s be (-2)/(-7) - 37/7. Let c = 0 - s. Let g(o) = 2*o**3 + 353*o**2 - 4732*o - 1320. Let p be g(-189). Solve -4*b = -p*b + c for b.
-5
Suppose -46*c + 4303 - 35474 = -107*c. Solve 56*k + 17*k + c = 0 for k.
-7
Let t = -41322 + 41395. Solve 8 = -t*z + 65*z for z.
-1
Let h be (-4 - (-11 - 13)) + 2. Solve -31 + h = 3*f for f.
-3
Suppose -774 = -8*z - 10*z. Suppose 140 = 48*t - z*t. Solve -4*p + t = 8 for p.
5
Let x(u) = -u**3 - 3*u**2 + 3*u - 2. Let f be x(-4). Let a = 758 + -754. Let n be (a/(-1) - -3)/(f/(-12)). Solve -8*j = -n*j + 10 for j.
-5
Suppose 0 = -0*x + 22*x - 484. Suppose 0 = 24*b + x*b. Solve b = 2*v - 5*v for v.
0
Suppose -4*c + 8*c + 4 = 0, 0 = -l - c + 84. Let h = 87 - l. Suppose -a - a - h*j + 4 = 0, 0 = j. Solve x - a = 1 for x.
3
Let u(p) = -11*p**3 + 2*p**2 + 2*p + 1. Let z be u(-1). Let g(b) = -b + 10. Let j be g(7). Let h be ((-2)/(-6)*-3 - -3)/(62/93). Solve 0 = -j*k - z - h for k.
-5
Let m = -19704 + 19719. Solve 0*u + 60 = -m*u for u.
-4
Suppose -4*h - 50 = -y, -2*y = y - h - 95. Let j be -4 - (-126)/y - (-98)/10. Solve -j - 5 = -5*a for a.
3
Suppose -4*j = j - 40. Suppose 110 = -5*t + 130. Solve 3*i + t = -j for i.
-4
Let l = 113 - 92. Let i be 3 + l - (-3 - -5). Solve i*p = 18*p - 8 for p.
-2
Suppose 1156 = 107*m - 556. Solve 289 = -m*n + 177 for n.
-7
Let q(p) = p**3 + 22*p**2 + 18*p - 57. Suppose 26*y - 54 = 3*x + 29*y, -5*x + 2*y - 111 = 0. Let v be q(x). Solve -9*g + v*g - 12 = 0 for g.
-4
Let w be (-2)/(-4)*(5 + 1 + -6). Suppose 5*j + 5 = w, -z - j = -0*z - 1. Solve z = 3*s + 8 for s.
-2
Let o = -25365 - -25389. Solve -25*a = -17*a - o for a.
3
Let m be (-12 - (-48)/(-2))*((-22)/6 - -3). Solve -m = 16*z + 24 for z.
-3
Suppose -8*f - 4*k = -4*f, 0 = -4*f - 2*k + 4. Suppose i + 5*v - 24 = -f, -3*i + v + 18 = 0. Solve 3*j - i*j - 20 = 0 for j.
-5
Suppose -c - g = -6*c + 84, -2*g + 2 = 0. Suppose 0 = -n - 2, 4*n + 12 + 16 = -5*k. Let f(u) = -u**3 - u**2 + 10*u - 4. Let i be f(k). Solve i*q + 5 = c for q.
3
Let m be (-6)/(-2) - (-71 - -1). Let z be ((-949)/(-26))/(1/(-2)). Let j = z + m. Solve 2*a - 6*a - 16 = j for a.
-4
Let s = 1698 + -1688. Solve s*u - 76 = -9*u for u.
4
Let g = -977 - -1372. Let z = -395 + g. Let y = -2 + 6. Solve z = -w - y*w + 15 for w.
3
Let g(k) = k**2 + 1. Let q be g(-4). Suppose 173 - 102 - 158 = -79*h + 150. Solve -26 = -h*p - q for p.
3
Let d(f) = -f**3 + 17*f**2 + 107*f - 2. Let z be (-1)/3*(230/10 + -8). Let i be d(z). Solve i - 9 = r for r.
4
Suppose -14*d + 915 - 167 = -708. Solve -45 = -89*n + d*n for n.
-3
Let j(y) = 3*y + 95. Let r be j(0). Let u = -86 + r. Solve u*x - 4*x + 5 = 0 for x.
-1
Suppose -256*f + 504 + 381 = -79*f. Solve -204 = f*g - 184 for g.
-4
Suppose 11 = 3016*y - 3005*y. Solve 3*v - y = 11 for v.
4
Let w(c) = -21*c + 49. Let j(m) = -43*m + 97. Let t(h) = 4*j(h) - 9*w(h). Let o be t(4). Solve -4*s - o = -s for s.
-5
Let r be 0/(48/(-200)*-5*5). Suppose 4*n - 11 = -t, -2*n + 7*t + 9 = 4*t. Let i = 40 - 28. Solve -i = -r*w + n*w for w.
-4
Let n be (-7)/(-21)*(-6 + ((-18)/6 - -9)). Solve 52*h + 80*h - 32*h = n for h.
0
Let h(i) = i**2 - 2*i. Suppose -3*s + 6*s = 15. Suppose 0 = s*t + 4*w - 0*w - 6, t = -2*w. Let k be h(t). Solve -5 = v - k for v.
-5
Let o(d) = d**2 + 7*d - 488. Let k be o(-26). Solve -35 = -k*q - 5 for q.
5
Suppose 0*n + 15 = 5*n. Let f be (-6)/(-12)*(4 + -2)/1. Suppose 0*m = n*i - 5*m + f, i - 1 = m. Solve -8*l + i*l - 25 = 0 for l.
-5
Let k be 6/((-120)/(-3236)) - 2/(-10). Suppose 233 = -5*o - k. Let v = o + 84. Solve -1 = -2*f + v for f.
3
Suppose 0 = -5*j + j + 3*a + 69, -3*j + 49 = -5*a. Solve 44*b - j = 26*b for b.
1
Let v be (-1573)/(-44) - 3/(-12). Suppose 0 = 5*b - 5*l - v - 89, -85 = -5*b - 3*l. Suppose -9*j + 14*j = b. Solve 0 = -j*r - 3 - 5 for r.
-2
Let p(a) = -5 - 9*a**2 + a - 8*a**3 + 9*a**3 + a**2. Let l be p(8). Suppose -l*q = -2*h + 19, -5*q = -4*h + 32 + 3. Solve -2*r + h = 1 for r.
2
Let v(g) = g**2 + 15*g + 86. Let d be v(-12). Suppose 19*s = 4*x + 15*s - 40, 2*s = -5*x + d. Solve j - x = -13 for j.
-3
Suppose -h + 2*a + 12 = 0, -3*h + 4*a + 2 + 32 = 0. Suppose -4*l + 1 + 7 = 0. Let j = 681 + -681. Solve j = -l*b - 0 + h for b.
5
Suppose 2*y + 10 = 0, -4*y - 127 = d - 47. Let a = -118 - -53. Let s = d - a. Solve -15 + 0 = s*z for z.
-3
Let k = 23024 - 22944. Solve -k*o = -113*o + 264 for o.
8
Let y be -5*(3/(-15) - ((8 - 4) + -3)). Solve 0 = -10*s - y*s - 32 for s.
-2
Suppose 1962*q + 112 = 1978*q. Solve -10*d - 9 = -q*d for d.
-3
Let k(y) = y + 3. Let g be k(-3). Suppose 0 = 39*u - 41*u + 20. Let a(o) = -37*o - 328. Let v be a(-9). Solve v*b - u = -g*b for b.
2
Suppose 37 = 11*y + 4. Suppose -y*t = -d + 2, 6 = 9*t - 12*t + 3*d. Solve t = -2*o + 5*o for o.
0
Let q = -55 + 59. Let d(c) = -c**2 + 13*c - 21. Let b be ((-90)/25)/(8/(-20)). Let t be d(b). Solve -n - t = -q*n for n.
5
Let l(c) = c**3 + 51*c**2 + 469*c + 55. Let o be l(-39). Solve o = -30*r - 74 for r.
-3
Let z = 252 - 333. Suppose -7*d + 344 = -307. Let f = z + d. Solve -l - f = 3*l for l.
-3
Let f be ((-2)/9 - 140/(-441)) + (-8)/84. Let w(o) = 7*o**3. Let t be w(1). Solve -6*q + t*q + 3 = f for q.
-3
Suppose -7527 = -129*z + 2413 - 1168. Solve -z = -2*x - 56 for x.
6
Let z(o) = -26*o - 26*o + 55*o + 5. Let g be z(-1). Suppose 5*w - 4 = -x - 0, g*w + 20 = 5*x. Solve -4*t + t = w for t.
0
Let x(l) = -l**3 + 10*l**2 - 9*l + 9. Let t(g) = -g**2 + g - 1. Let n(r) = 6*t(r) + x(r). Let v be n(3). Solve h = -v*h + h for h.
0
Let j(y) = 4*y**2 - 21*y + 20. Let u(x) = -5*x**2 + 22*x - 20. Let q(r) = 4*j(r) + 3*u(r). Let s be q(17). Solve -h - 2 = -s*h for h.
1
Let w be 8/10*1325/212. Solve 18 = -11*y + w*y for y.
-3
Let v(r) = r**3 - 24*r**2 + 42*r + 48. Let p be v(22). Solve p*n + 79 = 95 for n.
4
Let q(c) = 2*c**2 - 110*c + 678. Let b be q(48). Solve -48 = b*u - 12 for u.
-6
Let a(j) = 41*j - 84. Let o be a(5). Suppose o + 201 = 14*g. Let s(b) = 3*b**2 + b - 2. Let p be s(-