6*s = 0 for s.
0
Let f be (-71)/3 - 112/84. Let h be 5/f*0*1. Solve 4*k = 12 - h for k.
3
Let a be 3 - 0 - 4/4. Suppose 0*o - 24 = -12*o. Solve -t = a + o for t.
-4
Let s = -2027 + 2072. Solve n + 8*n = s for n.
5
Let v = 147 + -143. Solve -m = -v*m for m.
0
Suppose -4*o + 3*z = -46, 5 = o - 16*z + 12*z. Solve 9*l = o*l - 12 for l.
3
Suppose 2*m = 30*m - 224. Solve 2*u - 4*u = m for u.
-4
Let r = 490 + -485. Let a(f) = -f + 2. Suppose -w - 4*w = -2*o + 9, 0 = 3*o + 4*w - 2. Let j be a(o). Solve 5*m + j = -r for m.
-1
Let o be 34/14 - (-1 - (-9)/21). Let w be o/(-3*(-4)/12). Solve -y + 0*y - w = 0 for y.
-3
Let h be (-8 - -9)*(15 - 1). Suppose 2*r - 48 = -2*k - h, 5*k - 94 = -2*r. Solve -k = 4*c - 0*c for c.
-5
Let r = 188 - 132. Solve 19 + r = -15*i for i.
-5
Let l(w) = -5*w**2 - 11*w + 1. Let o(v) = -4*v**2 - 10*v + 1. Let m(k) = 5*l(k) - 6*o(k). Let c be 368/46 - 4*1. Let b be m(c). Solve -b*h - 15 = 2*h for h.
-3
Let i = 7 + -2. Suppose 0 = -b - 4*c - 3, 4*b - c = -0*b + i. Let m be (-16)/(-6) - (-1)/3. Solve -2*f - b = -m*f for f.
1
Let z be (-8)/14 + 4/7. Suppose -2*d - d = -3*w - 66, 0 = 4*d + 2*w - 58. Suppose 0 = -5*g + 4*k + 9, 9*g = 4*g + 2*k + d. Solve -2*j + g*j - 15 = z for j.
5
Let l = 191 + -178. Solve -l*m = -9*m + 20 for m.
-5
Let x = -15 - -13. Let j be 0*(1 - (-3)/x). Suppose 4*p = -j*p. Solve p = 4*l + l for l.
0
Let h be ((-41)/(-82))/(2/36). Solve -h*x + 9 + 18 = 0 for x.
3
Suppose -5*y + 4*c + 32 = 0, 0 = 4*y + 7*c - 2*c - 42. Let i = -6 - y. Let n = -9 - i. Solve -8 = -n*x - 28 for x.
-4
Let b = -68 - -68. Suppose 0*p = -p - b*p. Solve -4*c = -p*c - 8 for c.
2
Let f = 79 - 71. Solve 3*a + f = a for a.
-4
Let a(g) = -g**3 + 23*g**2 - 39*g - 45. Let t be a(21). Solve -t*p = -4*p for p.
0
Let c(l) be the second derivative of l**4/12 - l**3/6 - 2*l**2 - 4*l. Let z be c(3). Suppose t + x - 8 = 0, -2*t + 2*x + x = -26. Solve z*i + 0*i = -t for i.
-5
Let x be -2 - ((-75)/(-125))/((-1)/5). Solve 5*g + x = 6 for g.
1
Let f be 15/90 + 34/12. Let m be (27/(-12))/((-12)/160). Let z = m - 14. Solve -v - f*v = z for v.
-4
Suppose -3*u + 38 - 11 = 0. Suppose 9 + 26 = -5*s. Let b = u + s. Solve b = -a - a for a.
-1
Let h(f) = 3*f + 24. Let l = 70 - 77. Let r be h(l). Solve -2*s + 3 = -r for s.
3
Let c be 19/(-4) - (-1)/(-4). Let i(r) = -r**2 - r - 5. Let z(h) = -h**2 - 5. Let j(g) = -6*i(g) + 5*z(g). Let o be j(c). Solve -4*d = -o*d + 8 for d.
-2
Let n(s) = s**3 - 30*s**2 + 29*s + 9. Let v be n(29). Solve 37 - 1 = -v*j for j.
-4
Suppose 0 = 2*b - 3*u - 4, 2 = b - 3*u - u. Suppose b*a - 5*a + 48 = 0. Solve -g - a = -5*g for g.
4
Let h = -1922 - -1927. Solve -h*c + 14 = 34 for c.
-4
Suppose 6*x + 156 - 30 = 0. Let k be ((-18)/(-21))/((-3)/x). Solve -v + 3*v - k = 0 for v.
3
Let v(l) = -l**3 + 2*l**2 + 2*l + 12. Let p be v(0). Suppose 0 = -p*n + 3 + 9. Solve -3*r + n - 4 = 0 for r.
-1
Suppose 0 = -w - w - 5*u + 31, 0 = -2*w + 4*u - 14. Let x be ((-8)/2 + w + 0)*-2. Solve -4*l + x = 6 for l.
-1
Let p(i) = -2*i**3 + 30*i**2 + 36*i - 37. Let v be p(16). Solve -39 + v = -6*y for y.
2
Suppose -4*q - 5*b = -13, 0*b + 2*b = q. Let x be q/1*(-6)/18*-3. Solve 14 = 4*v - x for v.
4
Suppose 4*x = 2*d + 30, 36 = -0*x + 3*x + 3*d. Solve -6*y + 3*y + x = 0 for y.
3
Let t(z) = 6*z + 77. Let j be t(-12). Solve j*h = -h for h.
0
Let k be 791/28 - 6/(-8). Suppose -39 = -5*p + 56. Let j = k - p. Solve m = -m - j for m.
-5
Suppose -540 = -28*x + x. Solve -22*j = -x*j + 2 for j.
-1
Suppose -2*y + 7*l = 4*l - 21, 4*l = -3*y + 23. Let r = y + -6. Solve -r*v - 4 = -4*v for v.
4
Suppose -4*o + 33 + 43 = 0. Let q(j) = 3*j - 53. Let b be q(o). Solve -u = b*u for u.
0
Suppose 30*r - 129 = -13*r. Solve -y - r = -4 for y.
1
Let f(j) = -9 + 29 + j**2 + 25 - 13*j. Let p be f(7). Solve 3*g - 6 = p for g.
3
Let i(j) = j + 7. Let n be i(6). Let f = -32 + 32. Let t(w) = -w**2 - w + 3. Let m be t(f). Solve -2*r - n = -m for r.
-5
Suppose 5 = -2*g + 1. Let p be (-2)/g + -2 + 2. Let o = -4 + 6. Solve 3*f - o*f = -p for f.
-1
Suppose f + 7 = -8. Let w = 19 + f. Suppose w*h = -h. Solve 4*o + 0*o = h for o.
0
Suppose 30*f - 31*f - 35 = 0. Let l be (-7)/(f/25) + 1. Solve -8*n = -l*n for n.
0
Let t be 7 + (0 - -2) + -1. Let s(a) = 2*a**2 - 16*a + 7. Let w be s(t). Solve 2*o - 3 = -w for o.
-2
Suppose 0 = -4*y - 0*y + 8. Suppose 5*g + 65 = 5*m - 0*m, y*m = -2*g + 22. Suppose 4*x + m = 5*x + 2*f, -5*x + 60 = 4*f. Solve -13 = 5*n + x for n.
-5
Let w(l) = l. Let y be w(2). Suppose -6 = -y*d + 4*v + 2, 4*d = 2*v + 10. Suppose d*j - 75 = -25. Solve 8*g - 3*g = -j for g.
-5
Let b = 65 - 40. Solve b = -3*m + 8*m for m.
5
Suppose 0 = 7*q - 54 + 19. Solve -q*w + 2*w = 0 for w.
0
Let u be (-8)/16 - 185/(-2). Let t = -88 + u. Solve -3 - 1 = -t*b for b.
1
Let j(p) = -p**2 + p + 3. Let v be j(2). Let h be ((-18)/(-72))/(v/8). Solve -h = a + a for a.
-1
Let x(k) = 25*k - 201. Let d be x(9). Solve 2*o - d = 8*o for o.
-4
Suppose -550 = -3*x + k + k, 0 = -2*x + 3*k + 375. Solve x - 168 = 4*f for f.
3
Suppose -20 = -4*m - 4*f, -f - 5 = 4*f. Let p = 6 - m. Solve p = 4*b - 7*b for b.
0
Suppose 0 = -2*b + 4*a + 40, -2*b = 2*b - 5*a - 95. Solve -r - b = -11*r for r.
3
Let s be 5/2*(1 - -5). Suppose 0 = -5*v - 30, -21*v + 17*v = i + 21. Solve s = i*a + 2*a for a.
3
Let y(n) = n**3 + 7*n**2 + 8*n + 10. Let k be y(-6). Let h(p) = -2*p**3 - 2*p**2 - 2*p + 2. Let s be h(k). Suppose 6*o = 4 + s. Solve -o*l + 0 = 6 for l.
-2
Suppose 5*j = -2*g, 0 = 8*j - 6*j - g - 9. Solve j*d + 10 = -0*d for d.
-5
Let y(u) = -9*u + 102. Let a be y(11). Suppose 4 = 2*f - h, -3*f = 4*h - 0 - 6. Solve a = -l - f*l for l.
-1
Let k(x) = -5*x**3 + 98*x**2 + 40*x + 5. Let z be k(20). Solve -z = -3*q + 4 for q.
3
Let f = 557 - 555. Let z be 1/4 + (-14)/(-8). Suppose -3*j - 6*c + z*c + 40 = 0, 5*c + 25 = 0. Solve j = -2*q - f*q for q.
-5
Let o be (-1 - -6) + -2 + 0 + 2. Suppose 15 = 3*v - 15. Solve o*s + 0 = v for s.
2
Let d be -8 - (-16 - -3) - -6. Solve 9*f + 25 = -d for f.
-4
Let r(n) = 4 + 2*n**3 - 10*n**2 - 6 + n**3 - 2*n**3. Let t be r(10). Let g = t + 8. Solve -2*f - g = f for f.
-2
Suppose -t = -5*f + 17, t + 6 = -2*t. Let b(s) = -2 + s - s**3 + 0*s - 3*s**2 + 2*s**3. Let g be b(f). Solve -g = z - 2*z for z.
1
Let j be ((-25)/(-30) + 1)*6. Suppose 5*x + 13 = 2*c, -3*x - j = -3*c + 4. Solve -c*s + 0 = 8 for s.
-2
Suppose -o - 109 = -162. Solve 0 = 4*r - o + 69 for r.
-4
Suppose 3*q - 28 = -2*y, -q + 0*y + 31 = 5*y. Solve 6*j = q + 12 for j.
3
Let l be 1*23/(230/200). Solve 0 = -l*c + 3 - 23 for c.
-1
Let m = 76 - 86. Let q = 5 - 5. Let p be q - -3 - (10 + m). Solve 0 = 2*s + 9 - p for s.
-3
Suppose -2 = -2*h + 34. Let j be h/8 - 5/20. Let a be (-8)/(8/(-6)*15/30). Solve -j*u + a = u for u.
4
Let z = 8 - -4. Suppose 0 = 2*f - 0*f + z. Let n be 1/((-9)/f)*3. Solve o + n*o - 3 = 0 for o.
1
Let s be 18/(-4)*(-150)/45. Let v be (54/s)/1 - (-2)/5. Solve 3*y + v = 4*y for y.
4
Let a(u) = -u**3 - 6*u**2 - 2*u - 12. Let c be a(-6). Suppose 0*w - 8 = -4*w. Suppose -3*i - 1 = -7. Solve -i*x - w*x = c for x.
0
Suppose -2*r = 4*i + 116, r + 20 = -5*i - 125. Let z = 31 + i. Solve 0*f = -z*f + 2 for f.
1
Suppose 3*z - 154 = 2. Let c be 8/z + (-4)/26. Solve -4*d = -c*d for d.
0
Let a = -1575 + 1578. Let w(i) = i**3 + 4*i**2 + 4*i + 3. Suppose 9*v - 10 = 5*o + 4*v, 0 = -5*v - 5. Let d be w(o). Solve d = -n - 0*n + a for n.
3
Suppose -30 = -2*h + 34. Suppose 2*o - 72 + h = 0. Solve 8 - o = 4*a for a.
-3
Let m(t) = -2*t**3 - 3*t**2. Suppose -3*b - 8 = -2. Let j be m(b). Solve -2*r + j*r = 0 for r.
0
Suppose 0 = 4*c - 3*g - 93, 3*c - 38 = 4*g + 23. Suppose -4*r + q + c = -2*r, 4*r = -q + 45. Solve 9*w - r = 5*w for w.
3
Let l(g) = g**2 - 6*g - 50. Let i be l(11). Solve -i*p + 6*p = -4*p for p.
0
Let x(k) = -k**3 - 41*k**2 - 42*k - 76. Let g be x(-40). Solve -6 + 22 = g*d for d.
4
Let n(y) = -19*y - 22. Let z be n(7). Let s = z - -157. Solve 0 = -s*j - j - 12 for j.
-4
Let l(o) = -4*o**2 - 4*o + 43. Let h(u) = -2*u**2 - 3*u + 22. Let k(b) = 11*h(b) - 6*l(b). Let d be k(6). Solve -3 = d*m + 7 for m.
-5
Suppose -4*s + 31 = -3*r - 9, -4*r = 3*s - 5. Solve 60 = -22*h + s*h for h.
-4
Suppose 116*g = 88*g + 644. Solve g*d = 20*d for d.
0
Suppose 0 = -2*u + 4*m + 6, 2*m + m = 5*u - 15. Solve 3*d - u + 0 = 0 for d.
1
Let b = -21 + 34. Suppose 2*w = 3*