0 = t - 1 - 1. Suppose d - 18 = -t*d. Let a(s) = s + 5. Let p be a(0). Solve d*o + p = o for o.
-1
Suppose -4*t + t + 11 = -m, 4*m - 2*t = 6. Solve -5 = -m*p + 7 for p.
3
Suppose -3*o + 4 = -2*o. Let f be (-6)/3 + o + -2. Solve f = -i + 3*i for i.
0
Let k(w) = -w**2 + 5*w - 3. Let i be k(2). Solve 4*p - i*p = 0 for p.
0
Let z(a) = a**3 - 9*a**2 + 9*a - 10. Let v be z(8). Let n be ((-3)/(-6)*0)/v. Solve n*x - 8 = -4*x for x.
2
Let r be ((-2)/1)/(4/(-8)). Suppose -v = 2 - r. Let y(m) = m**3 - m**2. Let i be y(v). Solve -2*u + i = 2*u for u.
1
Suppose -7 = 2*h - h. Let x = 7 + h. Solve -u + 6*u - 25 = x for u.
5
Let j be (14/(-6) - -3)*-6. Let x be 2/4 - (-2)/j. Solve -u + 2 = -x*u for u.
2
Suppose a - 5 = -2. Solve 0 = a*o + 8 + 4 for o.
-4
Let c be 2 - (1*-2)/1. Suppose t + 71 = -0*o + 4*o, c*o - 73 = -t. Suppose -4*z + o = -2. Solve -z*v = -1 + 11 for v.
-2
Let c be (-4)/6 + 28/6. Solve -c*p + 0*p + 20 = 0 for p.
5
Suppose -n = x + 9, -x - 2*n = -7*n + 39. Let t = -10 - x. Solve -t*d - d = -5 for d.
1
Let i(f) = -2*f + 19. Let b be i(8). Solve 5 = b*y - 8*y for y.
-1
Suppose -160 = -3*b - 5*b. Solve g + 4*g - b = 0 for g.
4
Let a(l) be the first derivative of 2 + 1/2*l**2 + 10*l. Let i be a(-5). Solve -14 - 1 = i*v for v.
-3
Let f(l) = -l**2 - 6*l - 3. Let r be f(-3). Suppose 5*h + 2*q - 38 = 0, 11 + 24 = 4*h - 3*q. Suppose -x + r = -n, x - 3*n - h = 3*x. Solve 8 = x*o + 2*o for o.
2
Suppose 0 = v - 0*v + 3, -b - 5*v - 13 = 0. Solve 0 = -3*f - 4 - b for f.
-2
Let k be (-316)/(-28) + (-2)/7. Solve -k = 2*d - 1 for d.
-5
Let w be 1/(1 + -2) - -1. Let o = w + 5. Suppose -m - m + h + 9 = 0, o*m + 3*h = 39. Solve m*p - 12 = 3*p for p.
4
Suppose 0 = -5*u + 30 + 20. Suppose 2*w = -0*w + u. Solve 0*k = w*k + 20 for k.
-4
Let j = -10 + 16. Solve 2*u + 0 = j for u.
3
Suppose 3*i - 73 = -25. Let k = i + -24. Let j be (-6)/(-8) - 34/k. Solve j*y = y - 8 for y.
-2
Let r be (6 - (-1)/(-1))*1. Suppose -6*z = -z - r. Let c be 2/(-9) + 6/27. Solve c = -s + z for s.
1
Suppose 3*f = 5*x + 23, -25 = -0*f - 5*f - 5*x. Suppose -t + 10 = v - 2*v, v = -t + f. Solve c - t = -3*c for c.
2
Suppose 2*b = -4*n + 19 + 13, 0 = -5*b + 3*n + 93. Let g be (-3)/1 + b/3. Solve -g*c + 19 = 7 for c.
4
Let s(b) = 2*b**2 - 5*b - 3. Let h be s(4). Let o(n) = -n**3 + 8*n**2 + 10*n - 7. Let z be o(h). Solve 2 = v - z for v.
4
Let w(z) = z**3 - z**2 - z - 2. Let v be w(2). Suppose -2*f + f + 4 = v. Solve -4*x + 8*x = f for x.
1
Let b be -1 + -1 - (-3 - 1). Let f(w) = 4*w**2 - 4*w - 5. Let m be f(2). Solve 0 = b*o + m - 13 for o.
5
Let r(y) = -y**3 - 10*y**2 - 12*y - 10. Let x be r(-9). Suppose -2*w + x = -13. Solve 4*l + w = -l for l.
-3
Suppose -v + 6*v = -2*h + 15, -4*h + 36 = 4*v. Solve -7*u + h*u + 9 = 0 for u.
-3
Let o(i) be the first derivative of -i**2/2 - 9*i - 4. Let q be o(-9). Solve 4*y + y = q for y.
0
Let r(j) = j**2 - 8*j + 7. Suppose 4*q - 2*s = 18, q + 4*q = -4*s + 55. Let o be r(q). Solve -2*w - 3*w + 15 = o for w.
3
Let j(k) = k**3 + k**2 + 2*k - 2. Let g be j(1). Solve g*r + 12 = -r for r.
-4
Let t = -35 + 35. Solve 3*m - 2 - 13 = t for m.
5
Let g(s) be the second derivative of s**4/12 + 7*s**3/6 - 3*s**2 - 6*s. Let i be g(-8). Solve 0 = w + i*w + 15 for w.
-5
Let h = -4 + 14. Let n(w) = -3*w + 0*w**2 + w**2 - 10 + h*w + 2. Let v be n(-8). Solve v*d + d = -4 for d.
-4
Let y = -112 - -115. Solve 5 = -y*a - 4 for a.
-3
Let n be (3/5)/(6/30). Solve 0 = n*m - 0*m + 15 for m.
-5
Let a = 5 - 3. Solve 0 = 2*o - a for o.
1
Let z be 1 - -1 - (2 + -3). Suppose z*q - 3 = 2*u, 2*u + q + 1 = 2. Solve 3*s + u - 9 = 0 for s.
3
Let c(p) = -3 - 8*p - 3 + 3 + 2. Let h be c(-1). Solve -3*i = -8 - h for i.
5
Suppose -3*t + 8*t - 25 = 0. Solve 8 = t*r - r for r.
2
Suppose -u + q - 4 = 0, -q + 0*q = 5*u - 4. Suppose t = 5*t. Solve -2*b + u*b = t for b.
0
Let h(f) = -f**3 + 7*f**2 + 2*f - 8. Let v be h(7). Suppose -2*c = -4*c + v. Solve c*l - 15 = -2*l for l.
3
Suppose 2*z - 3*i = 7*z - 25, -2*z - 2*i + 14 = 0. Suppose -z*g = -5*g. Solve g = -0*n - n + 4 for n.
4
Let s = 2 + -2. Suppose s*z - 3 = -z. Suppose -5*h + 9 = -1. Solve -z*a = -h*a for a.
0
Suppose 0 = -2*y - o, -5*y - o = -5*o - 26. Let f be -3*(-3)/(6/y). Let m be (-30)/(-4) - f/6. Solve m = 4*s + 3 for s.
1
Let a(t) = t**3 - 6*t**2 - 7*t - 1. Let j be a(7). Let r(b) = -14*b**3 + b + 2. Let l be r(j). Solve -3*c = -0*c - l for c.
5
Let u be 2*-1*(-25)/10. Suppose 0 = -q + u*s + 26, 3*q = 4*s - 4 + 38. Solve 4*z + q + 2 = 0 for z.
-2
Suppose -q - 2*q - 5*o = -2, 5*o = -25. Solve q = 4*g + 21 for g.
-3
Let s = 59 + -57. Solve 6 = -4*a + s for a.
-1
Suppose 0 = 2*b + 2*y - 6, -y - 2*y = -5*b + 7. Let j be (-1)/2*0/b. Solve 3*l = -j + 6 for l.
2
Let o(m) = -m - 5. Let p be o(-5). Let z(u) = -u - 7. Let a be z(-3). Let n = p - a. Solve 0 = n*s - 8*s + 12 for s.
3
Let g be 1 - (-1 + -1)/1. Let h = -24 + 31. Solve -g*v - 20 = -h*v for v.
5
Let w be (-1)/2*0/(-2). Suppose 5*q - 2 - 3 = w. Suppose -q + 7 = 3*f. Solve -f*r + 5*r = 0 for r.
0
Let a be 0/(((-1)/((-1)/1))/1). Solve x + a*x + 4 = 0 for x.
-4
Let g(i) = -5*i**3 + 2*i**3 + 2*i**3 - 8 + 7*i**2 - i + 17. Let d be g(7). Let f(h) = 11*h**3 + h**2. Let v be f(1). Solve d*z - 6*z = v for z.
-3
Let y = -7 + 11. Let a be -4*(-2)/y*1. Let g be -5*6/(-10) + -8 + 5. Solve -s - a - 3 = g for s.
-5
Let o(l) = -l**2 - 10*l - 12. Let k be o(-8). Solve 0*m - k = -m for m.
4
Let a = 5 + -18. Let q = a + 29. Solve 0 = -4*g - 0*g + q for g.
4
Suppose -2*v + x + 15 = 0, -v + 3*x - 2*x + 10 = 0. Suppose 3*t = 2*q, -5*q + 0*q = 3*t. Solve q = -h - 0*h - v for h.
-5
Suppose 0 = -2*o - 5*m + 5 + 2, -8 = -2*o - 4*m. Solve 8*s = o*s for s.
0
Let j be 3/(-1) + (-2)/(-2). Let z = 2 + j. Let y = -5 + 8. Solve z*w + 3 = y*w for w.
1
Let b(q) = -5*q + 2. Let a(j) be the first derivative of j**2 + 2. Let m be a(-1). Let r be b(m). Solve u - r = 5*u for u.
-3
Let i = -9 - -13. Solve 0 = i*y + y - 10 for y.
2
Let k(x) = -8*x**2 - 2*x - 6. Let r be k(-4). Let g be 2/11 + r/(-33). Suppose g*f = 14 + 6. Solve -f - 3 = -4*t for t.
2
Let d = 0 - 0. Solve d = -3*t + 14 + 1 for t.
5
Let x be (-1)/((-3)/27 + 0). Let a = 8 - x. Let c = a - -3. Solve d - 15 = -c*d for d.
5
Let v(y) = y**3 + 10*y**2 + 7*y - 8. Let n be v(-9). Solve 0 = -5*o - 0 - n for o.
-2
Let w be (0*(-2)/(-6))/(-1). Let y = 63 - 42. Suppose 3*z - y = 3*h, -h - 2 = -1. Solve w = -a - z + 2 for a.
-4
Let w(x) = -5*x**2 + 10*x - 19. Let d(p) = -6*p**2 + 10*p - 20. Let o(f) = 6*d(f) - 7*w(f). Let h be o(-11). Suppose -20 = -10*l + 5*l. Solve -i + h = l for i.
-2
Let p(r) = r**3 + 2*r**2 + r**2 - 4*r + 0*r**3 + 5*r + 1. Let v be p(-2). Solve 2*a - a = v for a.
3
Let y(g) = g + 5. Let i be y(-6). Let m be (6/(-9)*3)/i. Solve 0 = b + m + 3 for b.
-5
Let r(o) = -o**2 - 7*o - 4. Let b be r(-5). Solve -2*q - b = -5*q for q.
2
Suppose 3*o + 3*c - 6 = 0, 3*o - 2*c = 12 + 4. Solve -3*f - o = -1 for f.
-1
Suppose t = -2*p + 5*p - 13, -2*t + p - 1 = 0. Let w be t + 1/((-1)/2). Solve s + w*s = 0 for s.
0
Suppose -2*z - 37 = -s, 0 = -7*s + 5*s + 3*z + 71. Solve -5*y + 6 - s = 0 for y.
-5
Suppose 0 + 6 = 2*i. Suppose -l - 2 = w - 4*l, 3*w + i*l - 6 = 0. Solve -w = 2*v + 3 for v.
-2
Suppose -5*d + 2*x = -0*x - 25, 5*d + 4*x - 55 = 0. Suppose -r - 53 = -4*a, r - d = -3*a + 2*a. Solve m + a = -3*m for m.
-3
Let l = -3 - -5. Suppose 4*a - 2*f = -66 + 236, -a = 4*f - 29. Suppose 0 = -2*z + 10, 5*y - a - 4 = -3*z. Solve -l*n = n + y for n.
-2
Let p = 19 + -16. Solve 0 = g + 1 - p for g.
2
Let z = -1 - -6. Suppose -z*l - 7 - 8 = 0. Let a(v) = -v - 1. Let i be a(l). Solve -10 = i*c - 0 for c.
-5
Suppose 8 = 2*k + 2*k. Suppose 0*h - 12 = 2*h. Let s be 8/12 - (-4)/h. Solve k = t - s for t.
2
Let i = 46 + -46. Solve -2*f - 6 = -i*f for f.
-3
Let v be 145/10 + 5/(-2). Solve 0*q = 3*q - v for q.
4
Suppose -2*a - 139 = -5*l, -l = -3*a - 5*l - 174. Let p = a - -105. Let x = p - 24. Solve 5*j = -4 + x for j.
3
Let k = 24 + -23. Solve -k = 4*z - 9 for z.
2
Let h be -1 - (0 + 1 + -2). Let p be -1 - (-2 - (2 - 1)). Suppose -4*c - 5*o = -34, 2*c = -2*o + 4*o + 8. Solve c = -h*d - p*d for d.
-3
Let r = -7 - -13. Suppose -6*u + 2*w = -2*u - r, 5*u - w = 12. Solve -u*i = -0*i + 3 for i.
-1
Let v be 16/56 - 4/14. Suppose -2*t = -v*t - 8. Solve 0 = 2*q + 4 + t for q.
-4
Let i be 5 + (2 - (