= -4*q + u - s for q.
-2
Let b be (6/(-15))/((-1)/20). Suppose 3*v - b = -4*d + 4*v, 0 = v. Suppose 0 = -6*p + d*p + 16. Solve 1 = 3*k + p for k.
-1
Suppose -3*z - 130 = -5*k, 3*z + 6*k - 4*k = -137. Let x be (-2)/3 + (-165)/z. Suppose 0*u = -x*u + 9. Solve 5 = 2*v + u for v.
1
Let n(k) = k**3 + 5*k**2 + 3*k - 2. Let a be n(-4). Let v be ((-3)/((-12)/4) - 4)*57. Let b = 174 + v. Solve 5*h + a = -b for h.
-1
Let z be (-1)/5 + ((-1364)/20)/(-1). Let a = -62 + z. Solve 0 = 2*n - a for n.
3
Let c(m) = -3*m + 3. Let q be c(-10). Let z be q/44*4*(-2)/(-2). Solve w - z*w = 2 for w.
-1
Let d = 1230 + -1224. Solve 7*n - 2 = d*n for n.
2
Suppose -2*u + 27 = u. Let k be 4/1*u/12. Let y = k + 0. Solve 4*w - y*w = 0 for w.
0
Let h = 48 + -49. Let x be (h + 1)/(9 - 11) + 3. Solve 3 = x*q - 0*q for q.
1
Suppose 3*s - 4*v = 30 - 82, -4*v = -5*s - 84. Let d = 20 + s. Solve -2*r = -d*r for r.
0
Let h(p) = -4*p - 18. Let d be h(0). Let t be (-144)/32*8/d. Solve 6 = -c - t*c for c.
-2
Suppose 2*p + a = 108, 3*a = -7*p + 2*p + 269. Let t = 59 - p. Let v(n) = -n**3 + 10*n**2 - 7*n - 2. Let i be v(9). Solve 0 = t*b - i - 0 for b.
4
Let v be (3 - 8/3)/((-4)/(-12)). Suppose -8*s + 3*s = -10. Solve -s*l + 9 = -v for l.
5
Suppose 0 = -y + 4*l - 2, -2*y = 3*l - 2*l - 14. Solve 0 = 7*g - y*g + 3 for g.
-3
Suppose 207*k = 204*k + 15. Solve -13 = -k*t + 2 for t.
3
Let s(t) = -9*t**3 + 1. Let g(i) = -i - 15. Let x(v) = 2*v + 30. Let k(m) = -7*g(m) - 4*x(m). Let p be k(-14). Let n be s(p). Solve n = -4*f + 2*f for f.
-5
Let k be 6/33 + 1376/176. Solve 5*u = k + 12 for u.
4
Let g be 11/9 - 1 - (-387)/81. Suppose -g*h + 22 = -28. Solve -2 = 4*x + h for x.
-3
Let d = 654 + -641. Solve -d*m = -15*m + 10 for m.
5
Suppose -16 + 156 = 5*r. Let v = r + -28. Suppose v = 2*t - 0*t. Solve 6*s - s - 25 = t for s.
5
Let i = -106 - -111. Suppose 2*s + 4 = 2*d, s + s = 0. Solve d*n = -3 + i for n.
1
Let o(c) = c**3 + 4*c**2 + c. Let t be 1 - (-6 + 3 + 1). Suppose -13 = t*d - 4. Let j be o(d). Solve -4*g - j = -2*g for g.
-3
Let k be (-1)/5*0 - -5. Suppose -4*o - 2*c = -6*c - 20, k*c + 22 = 4*o. Solve 0*d - o*d = 15 for d.
-5
Let i(s) = 12 + 6 - 4*s - 17. Let c be i(1). Let u be 3 - (9/(-3))/c. Solve u*j - 3 = j for j.
3
Let x(g) = 4*g**2 + 2*g - 2. Let o be x(-2). Suppose -2*a - o = -14. Solve -i = -5 + a for i.
3
Let v(k) = 24*k**2 - 17*k + 21. Let g be v(1). Solve -8 = -g*s + 24*s for s.
2
Suppose 2*u = u + d + 6, -5*u - 4*d + 3 = 0. Let z be 225/15 - (2 - 4/(-2)). Suppose 0 = -z*b + u*b + 16. Solve -b*n - 1 = -n for n.
-1
Let u = 11 + -8. Let j be (-15)/(-6)*(-17)/5*-6. Let t be j*(-2 + 7/u). Solve -5*x + 2 = t for x.
-3
Let m be 2*(-2 - (-9)/2). Suppose 5*y = -3*c + 56, 0 = m*y - 4*c - 0*c - 77. Let o = y + -10. Solve o = -w + 1 for w.
-2
Suppose 3*s - 3 = 3*p - 0, 4*s = -p + 9. Let k(b) = -3 - s*b**3 - b**3 + 2. Let o be k(-1). Solve -4*n + o = -6 for n.
2
Suppose 7*p - 3*p - 20 = 0. Solve -p*g = -7*g + 10 for g.
5
Suppose 4*f = 2*j + 16, -34*f + j = -29*f - 20. Solve 0 = -f*p + 20 for p.
5
Suppose -5*l + 5 = -5*w, 0*w + 9 = -5*l - 2*w. Let s be (14/l)/(-2*(2 + -1)). Solve 3*b = s*b for b.
0
Suppose -24*a - 2573 = -2597. Solve -a = -2*y + y for y.
1
Let m(s) = 2*s**2 - s + 4. Let j be m(2). Suppose 5*a - 10 = 4*o, 0*o - j = 3*o - 5*a. Solve 4*d + d = o for d.
0
Let k = 66 + -58. Suppose 4*l - k = -y, -y + 2*l + 8 = -0*l. Solve -3 = -h - y for h.
-5
Let p = 212 + -210. Solve 0 = p*h + 4*h + 30 for h.
-5
Let k(r) = -r**2 + 1. Let g be k(3). Let b(c) = c**2 + 8*c + 3. Let j be b(g). Suppose 3*v = -4*v + 42. Solve -j*o = -v*o - 12 for o.
-4
Let q(c) = -c**3 + 5*c**2. Let a be q(5). Let r be 0/2 + -2 + 2. Let k = a - r. Solve 4*d - 1 + 9 = k for d.
-2
Let v(c) = c**2 - 3*c + 6. Suppose 0 = 14*z - 12*z - 4. Let p be v(z). Solve 3*t - 2*t + p = 0 for t.
-4
Suppose 4*h - 2*h - 4*t - 4 = 0, -2*h + 4 = -2*t. Suppose -3*f - h*f + 10 = 0. Solve f*i - 4 = 4*i for i.
-2
Let f = 15 + -31. Let c = f - -16. Solve c = -3*j - 0*j - 3 for j.
-1
Let t = 151 - 147. Solve 0*h = -t*h - 12 for h.
-3
Suppose 16 = z - 4*u, 5 = -4*z + 4*u + 33. Suppose 0 = -9*h - 4*h + 52. Solve z*s - h = 16 for s.
5
Let a = -52 + 55. Suppose -a*r = 5*i - 3 - 1, -16 = -4*i + 4*r. Solve i*w = -0*w + 8 for w.
4
Suppose -3*v - 23 = -68. Let b(x) = x**3 + 2*x**2 - x + 2. Let o be b(-2). Solve -f - v = o*f for f.
-3
Suppose 4*j = 8*j + 68. Let d = j - -42. Suppose 2*s - 7*s + d = 0. Solve 4*g = 1 - s for g.
-1
Suppose 3*a + 4*g + 3 = g, -3*a + 2*g - 18 = 0. Let r = a - -6. Let h = 10 - r. Solve -2*k - 2 - h = 0 for k.
-5
Suppose 7*f = 4*f - 3*w + 9, 4*w = -12. Suppose f*d = 3*d. Solve -15 = -3*g - d*g for g.
5
Suppose 7*a + 5 = 8*a. Solve 0 = 4*y - a*y - 4 for y.
-4
Let y = -50 + 73. Suppose -1 = -6*l + 9*l + 5*m, -3*m - y = -l. Solve l = 3*r + r for r.
2
Let a be (-14)/(-4) + 1/(-2). Let v be (-3)/12 + 136/32. Suppose -o + 2*y - 6 = 0, -y + 2*y + 4 = v*o. Solve 5*d - a = o for d.
1
Let t = -34 + 42. Let k be (-1)/((-4 - 0)/t). Solve -k*z + 11 - 3 = 0 for z.
4
Suppose 3*f - 15 = -2*f. Let g(z) = -5*z**2 + 10*z - 3. Let j be g(5). Let a = j - -80. Solve 8 = f*t + a for t.
2
Let a = 118 - 120. Let x be -1 + 2/4 + a/(-4). Solve x = -3*d + 9 for d.
3
Let w(g) = -18*g + 2. Let c be w(-2). Suppose -i + c = 32. Let f = 0 + 3. Solve i*s = f*s for s.
0
Let l be 52/10 - 2/10. Suppose l*c = -0*c - 20, c + 20 = 4*j. Solve -j*r = r for r.
0
Let k = 13 + -21. Suppose q = x + 2*x - 32, 56 = 3*x + 5*q. Let m = k + x. Solve -c = m*c - 25 for c.
5
Let q = -9 - -49. Suppose q = 3*l + l. Suppose -3*i + l = -2. Solve -b = i*b for b.
0
Let g(b) = -b**2 + b + 3. Let x be g(3). Let m be (x + 8/3)*-15. Solve -m*r + 10 = 25 for r.
-3
Let q be 228/20 - 3*4/30. Suppose -q - 37 = -16*a. Solve -4*p + 5*p = a for p.
3
Suppose -9*s + 10*s = 3. Solve -s = -5*b - 13 for b.
-2
Suppose 3*b = 2*f + 21, b + 2*f + 2*f - 21 = 0. Let y = 732 + -728. Solve -y*u + 25 = -b*u for u.
-5
Let h = 12 - 20. Let d = h - -6. Let y be d + 5 + (0 - -2). Solve 15 + 5 = y*j for j.
4
Let g(c) = -c**3 - 15*c**2 + 3*c + 45. Let y be g(-15). Solve y = -2*i - 1 - 5 for i.
-3
Suppose 11*w + 3*o = 15*w - 19, -3*w + o + 13 = 0. Solve -w*h = -h - 4*h for h.
0
Let m = -1636 - -1640. Solve -8 = m*r - 0*r for r.
-2
Suppose -4*n - 3*u = -35, -6*n + u - 17 = -8*n. Solve -11*t + 3 = -n*t for t.
1
Suppose 3*l = -4*z + 20, 7*z - 3*l + 6 = 4*z. Suppose -7*d - 1 + 15 = 0. Suppose z*y - 4*c = y - 11, 0 = y - d*c + 3. Solve -y*m + 0*m = 10 for m.
-2
Let d be (-5)/(-5)*0*(-1 + 0). Suppose d = 5*l + h - 5, -4*h + 1 = -4*l + 29. Solve -l*a - 1 = -5 for a.
2
Let a(h) = -8*h**2 - 2*h - 2. Let p be a(-1). Let r be (-30)/p + 7/28. Solve r*f = -2 - 14 for f.
-4
Let d(g) = g**2 - 8*g - 62. Let o be d(13). Solve -o = w - 0 for w.
-3
Let v be (-231)/45 - (-2)/15. Let u be (-7)/v + 12/20. Solve 0*p = u*p + 8 for p.
-4
Let w be (12/8)/(5/(-60)). Let c be (-5)/10 - w/4. Solve -c*y + 20 = y for y.
4
Let y = 53 - 49. Solve -y*o = 2*o for o.
0
Let c be (-3)/(-2) - 12/(-24). Suppose 3*k + 18 = 6*k. Solve -i = k - c for i.
-4
Let s(q) = -q**3 + q**2 - q + 8. Let h be s(0). Let i be (-1)/4 - (-18)/h. Let c = -872 - -875. Solve -i*n + 15 = c*n for n.
3
Let w(g) be the second derivative of g**2 + 1/6*g**3 + 1/12*g**4 + 1/20*g**5 + 0 - 3*g. Let i be w(0). Solve -4*x + 3*x = -i for x.
2
Let q = -159 - -106. Let d = -28 - q. Solve 0 = -4*k - k - d for k.
-5
Let c(s) = 49*s**3 + 2*s**2 + s - 2. Let x be c(1). Solve 5 + x = 11*o for o.
5
Let q = 11 + -8. Suppose -5*k - 2*h - 3*h = -20, 2 = -2*k + q*h. Solve -3 = x - k for x.
-1
Let k be (16/8)/(2/15). Suppose -5*s = -k + 5. Let p be 0/(-1) + 3 + -2. Solve -3 = s*j - p for j.
-1
Suppose -14 = 3*x - 20. Suppose 3*z + n = 9, 3*z + 2*n - 16 = -x*z. Solve 20 = -z*u - 2*u for u.
-5
Let b be -3*(-9)/(-9) + (-1 - -9). Solve 12*x + b = 7*x for x.
-1
Suppose -6 = -2*l, -4*w - 34*l = -38*l - 20. Solve -7*v + w = -11*v for v.
-2
Let b be 456/78 + 4/26. Suppose c = -2 + b. Suppose c*i - 16 = 4*s - 8*s, -i = -s. Solve s + 1 = -d for d.
-3
Let g = -1 + 1. Suppose g*t = t + 4. Let l = t + 4. Solve -2*j = 2 - l for j.
-1
Let q(x) = -x**2 - 5*x - 2. Let h be q(-2). Suppose 4 - 2 = a + 4*t, -h*a - t = -8. Solve 4*l = a*l - 4 for l.
-2
Suppose -5*q - j + 192 = 0, -3*q + 5*j - j + 106 = 0. Solve 41*a -