)/2. Solve u = -t - t for t.
0
Suppose -3 - 2 = -u. Solve 0 = u*x + 12 + 8 for x.
-4
Let o = 11 - 8. Let t be (0 + 22)/(o/6). Let h = t + -29. Solve -4*m = m - h for m.
3
Let q(i) = i + 1. Let t(u) = 3*u + 1. Let z(c) = 4*q(c) - t(c). Let j be z(5). Suppose -3*n - 60 = -j*n. Solve 5*p - 8 = n for p.
4
Let v = -3 + 3. Suppose 0 = 3*x - v*x - 36. Solve 4*b = 8*b + x for b.
-3
Let c(m) = m**3 + 6*m**2 - 8*m - 6. Let b be c(-7). Let h(k) = -7*k**3 + k + 1. Let a be h(-1). Solve -a = 2*d + b for d.
-4
Let m(z) = -14*z + 2*z**2 + 13*z + 0*z**2. Let j be m(-1). Solve 5*h = j*h + 8 for h.
4
Suppose -3*a - 5 = -86. Let k = -19 + a. Solve 0 = -4*d - 0 - k for d.
-2
Suppose 0 = -10*i + 2*i + 48. Solve -20 = -2*h + i*h for h.
-5
Suppose 0 = 11*d + 33 - 99. Solve -m = 2 - d for m.
4
Suppose -5*n + 66 = 4*x, 0 = -5*x + 20 - 0. Let p(v) = -2*v - 31. Let l be p(-12). Let m = n + l. Solve m*c - 2*c + 5 = 0 for c.
-5
Let q be 3*(7/6 - 2/4). Solve -3*y - q*y = -25 for y.
5
Suppose -20 = -35*p + 31*p. Solve p*w + 0 = -5 for w.
-1
Suppose 5*o = 5*l, 0 = 2*l - 0*l + o - 3. Let m be ((-1)/2 + 0)*0. Solve m*u + l = u for u.
1
Suppose 12 = 4*g - 4*c, -2*g - 4*c = -6 - 18. Solve -y = -g*y for y.
0
Suppose 30 = -4*t + 110. Let h be 75/t - 3/4. Solve -3*c + 0*c - h = 0 for c.
-1
Let n be (0*(-2)/(-6))/2. Let g be 7 + 5/((-15)/9). Solve -g*j - j = n for j.
0
Let x(v) = -5*v + 15. Let k(b) = -3*b + 7. Let y(p) = -7*k(p) + 4*x(p). Let w be y(-8). Let s = w - 1. Solve s*d + 1 = 5 for d.
2
Let f(i) be the third derivative of -i**4/24 - 9*i**3/2 - 4*i**2. Let b be f(0). Let m = b - -47. Solve m = -5*c - 5 for c.
-5
Let k be 7/3 + 2/(-6). Let n(c) = c**3 + 15*c**2 - 18*c - 17. Let j be n(-16). Solve 3*f = -k*f + j for f.
3
Let c(o) = 2*o**2 - 10*o - 11. Let m(g) = -g**2 + 5*g + 6. Suppose 2*t = -0*t + 10. Let f(j) = t*m(j) + 3*c(j). Let w be f(6). Solve w*u + 1 = 2*u for u.
-1
Suppose 16 = 4*z - 0*z. Suppose -z*y + 10 = -n, 6*y - 4*n = 3*y + 14. Solve -y = o - 2*o for o.
2
Suppose 3*a - 2*x - 8 = 5*a, -x = 3*a + 6. Let o(z) = -4*z. Let c be o(a). Solve 1 + 19 = c*p for p.
5
Let v(j) = -j + 1. Let i be v(-3). Suppose 7 + 2 = 3*y. Solve y*f = i*f for f.
0
Let w(q) = q**2 - 2*q - 1. Let j be w(-1). Solve 4*l + 6 - j = 0 for l.
-1
Let g = -30 + 42. Solve 0*p = -4*p + g for p.
3
Suppose 0*z + 3*y = -4*z + 44, -4*y = -z - 8. Solve -z - 1 = 3*v for v.
-3
Let n(y) = 2*y**3 - 4 - 23*y**2 + 20*y**2 - 3*y - 3*y**3. Let t be n(-3). Solve -z = -t*z - 20 for z.
-5
Suppose 38 + 12 = 5*s. Solve m = 3*m + s for m.
-5
Suppose 4*w - 5 = 3. Solve 0 - 6 = w*m for m.
-3
Let i(d) = -d**2 + 13*d - 3*d + 3 + 0 + 3. Let z be i(10). Solve -z*x = -x + 25 for x.
-5
Let o = 1 - 1. Suppose 20 = 5*p - o. Solve -p*c = -c - 15 for c.
5
Suppose n + 2 = 2*n. Solve 2 + 6 = n*s for s.
4
Let x be ((-2)/6)/((-11)/165). Solve 6*d = 5*d - x for d.
-5
Let k be 1 - (-2)/((-8)/12). Let c be (2/k - -2) + 2. Solve -c*g = -14 - 1 for g.
5
Let o(q) = 8*q - 52. Let u be o(7). Solve 0 = -4*b - u - 16 for b.
-5
Let l = 6 - 0. Solve 4*m + 18 = l for m.
-3
Let i = -65 - -69. Solve 1 = i*w - 3*w for w.
1
Suppose -r + 52 = 5*n, 6*r - 3*r = 6. Let a be (-1*2)/((-5)/n). Solve -3 - 5 = -a*s for s.
2
Suppose 4 - 20 = -4*u. Solve -m = m + u for m.
-2
Suppose 0*k + k = 3. Suppose k*o - 8 = -2. Let m be (o - (1 - 0))*3. Solve q + m*q = 16 for q.
4
Let j(d) = d**3 + 3*d**2 - 9*d + 9. Let l be j(-5). Solve -l*r - 8 = 4 for r.
-3
Suppose 5*b + 38 = -2*y, b + y = -3*y - 22. Let n(z) = z**2 + 6*z + 4. Let c be n(b). Suppose 2*p + 5 = -w + c, -4*w = 4. Solve 0*u - 3*u = p for u.
0
Let m = 35 - 29. Solve m*d - 9*d - 3 = 0 for d.
-1
Suppose -5*b + 23 = -92. Let y(d) = -3*d - 8. Let f be y(-6). Let o be (3 - (-3 + 8)) + f. Solve b - o = 3*q for q.
5
Let q = -11 + 6. Let i = 1 + q. Let h be i/18 - (-400)/18. Solve h - 2 = -4*d for d.
-5
Suppose 8*l = 6*l. Let x = 5 - l. Solve -x*m = -m + 20 for m.
-5
Let x be ((-6)/4)/(6/(-8)). Let m(b) = -9*b - 204. Let p be m(-23). Solve 0 = x*i - p*i - 3 for i.
-3
Suppose 0 = 20*f - 19*f - 6. Solve f*l = 3*l + 6 for l.
2
Let i be 8/(-2)*(-4)/8*1. Solve 4*w + 10 = -i for w.
-3
Suppose -8 + 1 = p. Let t(l) = -l**3 - 6*l**2 + 6*l - 5. Let w be t(p). Solve -h - h - w = 0 for h.
-1
Let y be (-3)/(-4) - 9/(-4). Suppose 2*w + 1 = y. Solve 2*x - 3 = -w for x.
1
Suppose 8 = 4*t - 12. Solve -t = 6*s - s for s.
-1
Let l = -4 + 18. Suppose -l = -2*m + 10. Solve 4*b = -0*b - m for b.
-3
Suppose 4*z + 0 = 80. Solve -2*r + 7*r = z for r.
4
Suppose 4 = 4*i - 2*i. Let w = i + -5. Let u be (w/(-6))/((-1)/(-4)). Solve -d + u*d = 0 for d.
0
Suppose 10*b - 50 = 5*b. Suppose -4*a + 14 = 3*y - 1, 5*a = -4*y + 19. Solve -a*t + t = b for t.
-5
Suppose 40 = -5*s + 4*r, 35 = -5*s - 0*s + 3*r. Let p be (-105)/(-20) - (-1)/s. Solve 3*v = p*v for v.
0
Let j(f) = -f**3 + 12*f**2 - 12*f + 15. Let b be j(11). Solve 3*n = b*n for n.
0
Suppose -3*m + 8 = 4*n - 1, 4*n - 3*m + 9 = 0. Solve 3*a = -6 - n for a.
-2
Let r be 6/(9/(36/8)). Solve -x = -6 + r for x.
3
Let j(m) = -m**2 + 5*m + 2. Let b be j(5). Suppose 8 = 4*g - i, -b*g - i + 4 = -0. Solve -7 = g*c + 3 for c.
-5
Let a(z) = -6*z. Let q be a(-2). Suppose -9 = -3*k + q. Suppose 21 = 5*i - w, -3*i + 2*w + 35 = k*w. Solve o - 2 = -i for o.
-3
Let s be 0*1/4*1. Solve s = -2*r - 2*r for r.
0
Let t(d) = -d**3 + 6*d**2 + 8*d - 2. Let r be t(7). Let w(n) = 2*n**2 + 4*n + 2. Let a be w(-2). Suppose -y + 15 = 4*y. Solve -y*c + r = a for c.
1
Let r(g) = g**3 + 6*g**2 + 4*g + 1. Let z be r(-5). Let u be (-1)/(-1) + z/2. Solve 2 = u*q - 2 for q.
1
Suppose -3*x + 14 = 5. Solve 0 = x*g - g for g.
0
Let c be 50/18 - (-1)/9*2. Solve 0 = c*u + 15 for u.
-5
Suppose g = 2, 4*j - 2*g - 17 + 1 = 0. Suppose 2*o - 7 = o + j*f, 0 = -f. Solve -4*b + 1 = -o for b.
2
Suppose -4*z = -2*s + 6*s + 4, -20 = 5*z. Solve 2*x = s + 7 for x.
5
Let u = -40 + 60. Solve -5*b = -u + 45 for b.
-5
Let b = 5 - 0. Suppose 0 = 4*l - v + b, -4*v = -l - 23 + 3. Solve -4*x + l = -4 for x.
1
Let s(u) = -u**2 + 11*u - 23. Let d be s(5). Solve -h - 11 = -d for h.
-4
Let u(o) = 3*o**2 - 2*o - 1. Let i be u(2). Let a = -3 + i. Let t(y) = 3*y + 22. Let g be t(-5). Solve -a*w - 3 + g = 0 for w.
1
Let y be (-8)/(-36) + (-380)/9. Let q = -30 - y. Suppose q = -3*v - 3, -3*v - 60 = -5*h. Solve -5*p = -h - 1 for p.
2
Let k(j) = j**2 - 12*j - 8. Let u be k(13). Let o = 8 - u. Solve -o*s - 3 = -0*s for s.
-1
Let y = 39 + -38. Solve 14 + y = 3*o for o.
5
Suppose 15 = -5*i, 12 = -4*w + 3*i - 7*i. Solve w = 2*p + 2*p + 12 for p.
-3
Let w(a) = -a - 8. Let s be w(-10). Solve -3*t - s*t = 0 for t.
0
Let i = 25 - 22. Solve -5*n = -i*n for n.
0
Let h be (3/1 + -2)*1. Let w = 0 + h. Let m be w + -1 + 0 - -3. Solve -g - m = 2 for g.
-5
Suppose 3*d - 3*r + 10 = -8*r, -3*d + 4*r = -35. Let v be (-11)/((d/(-2))/5). Suppose v = 4*h + 2. Solve -2*w - h = -7*w for w.
1
Let x be (-30)/9 - 2/(-6). Let b = x - -8. Solve 3*c = b*c + 6 for c.
-3
Suppose 0 = 3*x - 5*x + 22. Let k = x - 7. Suppose -3*r = l + 1 - 5, -5*l = -k*r + 37. Solve r*m + 0*m = 0 for m.
0
Suppose -1 + 9 = 2*x. Suppose -x*u = 4 - 20. Suppose -3*w + 20 = l, 7*w - 2*l - 32 = u*w. Solve -w = -2*b + 4*b for b.
-4
Let b = 8 - 5. Let c be b/9 - (-1)/(-3). Let h(g) = -g**3 - 5*g**2 - 6*g + 3. Let z be h(-3). Solve w + c = z for w.
3
Let p = -147 - -159. Solve p = 3*m - 0 for m.
4
Let f be ((-6)/(-4))/(6/16). Let d(x) = -x**2 - 8*x - 3. Let n(r) = r**3 + 5*r**2 - 5*r - 1. Let l be n(-6). Let y be d(l). Solve f*c + y = -4 for c.
-2
Let k = 7 - 3. Solve 0 + 20 = k*w for w.
5
Let t = 31 - 23. Solve -t = -y + 3*y for y.
-4
Let v(o) = o**2 - o - 1. Let k be v(-3). Suppose t + 4*j - 23 = 0, -2*t - 2*j = -j - k. Solve t*d - 3 = 3 for d.
2
Suppose 0*i = -2*i - 4. Let o be (-4)/i*(9 + -4). Solve 0 = w - 3*w + o for w.
5
Let s(f) = 15*f - 50. Let m be s(5). Solve 6*a - a - m = 0 for a.
5
Suppose 2*s + 2*y + 2 = 0, 0 = 2*s + 5*y - 0 + 14. Solve -5 = -s*l - 2 for l.
1
Suppose 0 = -2*v + 5 + 11. Solve v = 5*w - w for w.
2
Let a be (-6)/(-8) - (-52)/16. Solve 0 = -i + a - 3 for i.
1
Suppose -3*o + 8*o = 30. Suppose 156 = 3*c + o. Suppose -3*v = 2*v - c. Solve -v = -2*n - 0*n for n.
5
Let c be (31 - 11)*2/5 - 3. Solve 0*u - u + c = 0 for u.
5
Let i be 3/9 + (-60)/(-9). Let y(v) = v - 4. Let q be y(i). Solve 0 = -q*k - 4 + 