-9 - 1 = -i*z for z.
5
Let i be (-6)/(-3) + (-9)/(-1). Let t = 16 - i. Solve 4*p + 25 = t for p.
-5
Let u be ((-2)/4)/(3/6). Let l be u/(-2*(-4)/(-16)). Solve l*h - 5 = -15 for h.
-5
Suppose 0 = -5*i + 17 - 7. Suppose 3*p - i = 4. Solve p*k + 0*k = -4 for k.
-2
Suppose -11 - 9 = -5*x. Suppose -h + 7 = x*l - 0, -4*l + 4 = 0. Solve -2*i - h = -7 for i.
2
Let k be 4/12*0*1. Solve -p + k = 3 for p.
-3
Let m(b) = -b**3 - 8*b**2 - b + 8. Let a be m(-8). Let q = -7 + a. Suppose 4*g = -5*p + 12, 4*p = -3*g + 2*p + q. Solve 0 = -0*n + g*n + 9 for n.
-3
Let b be 1/1 - (-3)/(-1). Let q be (-6 - b)/((-6)/(-9)). Let k = -6 - q. Solve -3*a + k*a = 12 for a.
-4
Let g(p) = -p**3 - 4*p**2 + 4*p + 5. Let u be g(-5). Suppose 5*d = -u - 40. Let w = d - -15. Solve w*z + 1 = -4 for z.
-1
Suppose 2*s - 14 = -8. Solve -6 = -s*v + 3 for v.
3
Let d = -6 - -6. Solve d*n = -n for n.
0
Let i(j) = j**3 - 6*j**2 - 7*j + 2. Let r = -6 + 13. Let m be i(r). Suppose 3*f = 2*k + 4, 0*k + m*k + 4 = -3*f. Solve d - 5 = -f for d.
5
Let s(l) = -l**3 - 2*l**2 - l - 2. Let g be s(-2). Suppose -d + 0*d - z = 0, -3*d + 18 = -3*z. Solve -2*p + d*p + 2 = g for p.
-2
Let t(j) = -j**2 - 3*j + 12. Let h be t(-9). Let d be 2/7 + 12/h. Solve d = 5*a + 9 + 11 for a.
-4
Suppose -3*w = -3 - 12. Suppose 0 = -t - 2*a + 10, w*t + 3 = 2*a - 7. Solve t = -2*d - d for d.
0
Let u be 24/(-96) + (-9)/(-4). Solve 4 - 2 = -u*f for f.
-1
Suppose 0 = -h + 2 - 10. Let n = h - -12. Solve n*u = u for u.
0
Let l be (-3)/9 - (-38)/6. Let c = -53 - -5. Let t be (l/(-4))/(9/c). Solve -5*o - 17 = t for o.
-5
Let p be -1 + (-1 - 0 - 2). Suppose -2*t - t - 6 = 0. Let n be (-2)/6*(t + p). Solve 0*h = n*h for h.
0
Let s be 4/(2*2/6). Solve -8*o + 11*o = -s for o.
-2
Let s = -5 + 9. Let c = 9 - s. Solve 0 = -2*k - c - 3 for k.
-4
Let l be (3 - 3) + 4 - 0. Solve 1 = l*q - 3*q for q.
1
Let g be 0/(2/(-1)) + 8. Suppose 2*r + 2*q + 16 = 0, -1 = r - 2*q - g. Let n = 3 + r. Solve n = -2*d - 4 - 2 for d.
-3
Let o = 21 + -19. Suppose -5*t + 3*t + 44 = 4*y, o*y + 50 = 5*t. Solve -w = -5*w + t for w.
3
Let n(q) be the third derivative of q**4/24 - q**3/6 + 5*q**2. Let p be n(5). Solve -7 + p = h for h.
-3
Suppose -5*j - t = -16, 5*j - 2*t - 31 = -3. Let i be j - 3/(0 + -3). Solve -3*x + 2*x - i = 0 for x.
-5
Suppose z = 2 + 1. Solve 2*g - z*g + 4 = 0 for g.
4
Suppose -3*t - 15 = -6*t. Suppose -k - t*y = 15, k + 8 = 5*y + 23. Solve -2*o + o = k for o.
0
Let g be 2/(-6) + (-4)/6. Let n = g - -4. Solve n*s - 4*s = 5 for s.
-5
Let m be (-1 + 1)/(2*1). Suppose -2*w + 0*w - 4*u = 0, -2*w = -4*u - 24. Let o(r) = -r**2 - 5*r - 2. Let a be o(-4). Solve m = -a*z + w*z for z.
0
Let q be (-2)/(1/(9/(-2))). Let m = -3 - -5. Suppose 0 = t + m*i - 0*i + 3, -5*i - 15 = 0. Solve 0 = -t*s + q - 0 for s.
3
Suppose 4*j = -8, 0 = -3*b - 2*j - 5 + 22. Suppose -y = -a + b + 2, -5*a + 5 = 3*y. Let q be -3 + 2 + (0 - -2). Solve -w - a - q = 0 for w.
-5
Suppose 4*d + 9 = 3*g, 2*d + 3*g = 4*d + 9. Solve -8*b + 4*b - 4 = d for b.
-1
Suppose 0 = 3*u + 6, -2*j = -j + 4*u + 7. Let p be 2/(-1 - (0 - 3)). Let i = p - j. Solve i = -c - c for c.
0
Suppose -q - 2 = -0. Let t = 8 + q. Solve -t = 3*f - f for f.
-3
Let c(v) = 2*v - 19. Suppose -2*d - 4 = -0*p - 2*p, 14 = 3*p - d. Let t(j) = -j + 10. Let h(a) = p*c(a) + 11*t(a). Let f be h(6). Solve 1 = -x + f*x for x.
1
Let u(l) = l**2 + 7*l + 5. Let m(c) = c**3 - 5*c**2 + 5*c - 3. Let k be m(3). Let x be u(k). Let p be 2/x + 2 + 0. Solve p*y = y for y.
0
Suppose -4*o + 43 = -i - 2*i, 0 = -o + 5*i + 15. Solve 5 = -3*w - o for w.
-5
Suppose -v - 10 = -4. Let u be (3/(-6))/(1/v). Solve 0 = r + u - 1 for r.
-2
Suppose -4*g = 15 - 23. Solve g*j + 2 = -0*j for j.
-1
Suppose 0 = 3*f - i - 3, 7 = 3*i + 16. Solve f = -y - 0 - 5 for y.
-5
Let i(t) = 3*t**2 + t. Let v be i(1). Suppose -8 + 36 = v*y. Suppose 0 = y*n - 3*n - 2*w - 24, 0 = n - 3*w - 16. Solve 0 = -2*g + 3*g - n for g.
4
Let g be 18 + 0 - (-2 + 4). Suppose -5*u + g = -u. Solve -u*v = -v - 9 for v.
3
Let a = -7 + 16. Solve 16 + a = 5*b for b.
5
Let i(h) = h + 4. Let o be i(-1). Solve -3*r = -o + 6 for r.
-1
Let s = -14 + 20. Let w be (-4)/s + 115/15. Suppose 2*c + 14 = -2*n - 2*c, 3*n + c = -1. Solve w = 3*i + n for i.
2
Suppose 3*a + 3 = -5*v, -5*v + 3*a - 1 = -4. Suppose 4*t + t = v. Solve -k = -t + 1 for k.
-1
Let s(c) = c**2 + 13*c + 17. Let i(r) = -r - 12. Let m be i(0). Let d be s(m). Solve 2*y = y + d for y.
5
Let a be 6/(-1)*2/6. Let b be 2*(3 - a/(-2)). Solve -b = -2*i + 4 for i.
4
Let l(h) = h**2 + 2*h - 3. Let i be l(2). Suppose z = 3*w + i*z - 29, 20 = -5*z. Solve p = 4*p + w for p.
-5
Suppose -4*i + 4*w + 12 = i, -4*w - 12 = -3*i. Suppose -2*d + d = i. Suppose d = c - 3*c + 6. Solve -c*v = -v for v.
0
Let l(b) = -b**2 - 2*b + 8. Let m be l(-4). Solve m = 2*g - g - 5 for g.
5
Let y = -10 + 16. Let i = 11 - y. Suppose 0 = 5*g - 26 - 4. Solve -i = n - g*n for n.
1
Let p be (-39)/(-15) + (-14)/(-35). Solve 3*o + p + 3 = 0 for o.
-2
Let g = 23 - 8. Suppose 6*k = k + g. Solve 2*p = -3 - k for p.
-3
Let z = 41 - 39. Solve -f + z*f = 4 for f.
4
Suppose 3*y = -y. Suppose -5*o + l + l + 44 = 0, o + 4*l = y. Let t = -4 + o. Solve t*d - 3*d = 0 for d.
0
Suppose 1 + 3 = u. Suppose -2*g - w - 7 = -4*g, -12 = -2*g - u*w. Solve -2 = g*y + 10 for y.
-3
Suppose 0*t + t = 4. Suppose -x + t*x - 9 = 0. Suppose -x*c + 8 = c. Solve -r = c*r + 6 for r.
-2
Let n(b) = b**2 + 5*b + 6. Let g = 16 + -22. Let i be n(g). Solve 4*z = z - i for z.
-4
Let z be (-36)/(-10) + 4/10. Let b(h) = -h**2 + h + 4. Let m be b(6). Let d = 27 + m. Solve -z*y - 3 = d for y.
-1
Let d = 37 + -37. Solve d*g - g = 1 for g.
-1
Suppose -2*c - 3*b = -0*b - 7, -4*c - 4*b = -12. Suppose -2*p + 8 = c*p. Let j(t) = t**2 + t + 4. Let n be j(-3). Solve 2*q - p = -n for q.
-4
Let m be 4/((-12)/51) - -2. Let g be 3/(-2)*20/m. Solve -g = -o + 3 for o.
5
Suppose 2*n + 2*n + 2 = -r, 33 = -5*r + 3*n. Let g = r - -9. Solve 7*i = g*i for i.
0
Let q(x) = -x**2 - x + 16. Let z be q(0). Suppose 4*y - 2*o = z, -4*y - 3*o + 6*o + 20 = 0. Solve -s - y*s + 6 = 0 for s.
2
Let o be -4 - -3 - 2 - -128. Suppose -o = -6*h + h. Solve 3*f + 2*f = -h for f.
-5
Let z be 0/(5 + 2/(-1)). Solve z = 2*g - 4*g - 2 for g.
-1
Suppose 6 = 4*d - 2*o - 114, 3*o = d - 20. Suppose -7*b = -2*b - 3*n + 248, -d = b - 5*n. Let a be 4/10 - b/20. Solve a*s - 8 = -s for s.
2
Let o be 1 + (4 + -5 - -8). Solve o = 3*z + 23 for z.
-5
Let a(d) = 6*d**3 + 2*d**2 - 3*d - 13. Let r(c) = -2*c**3 - c**2 + c + 4. Let b(s) = 2*a(s) + 7*r(s). Let o be b(-2). Solve -5*x = -16 - o for x.
4
Let a = -60 + 35. Let p = 50 + a. Suppose 4 - p = -3*k. Solve -q = -k + 3 for q.
4
Let l(x) = x**2 + 12*x + 5. Let h be l(-12). Solve -y = -4 + h for y.
-1
Let h be 14/(-8) - -2 - (-88)/32. Solve -h*p + 7*p - 4 = 0 for p.
1
Let t be (1 - 1) + ((-9)/(-3) - 1). Solve 5 = -b + t for b.
-3
Let j be 0/(-1*(-4)/(-8)*4). Solve j = 4*t - 0*t - 16 for t.
4
Let d be 4 - (2*1)/(20/(-10)). Solve -d*o + 0*o = -5 for o.
1
Let y(n) = -n**2 - n - 4 - 1 + 2*n - 10*n. Let u be y(-8). Solve -u*c + 15 = 2*c for c.
3
Let g(x) = -x - 3. Let n be g(-7). Suppose -2*h = -2*l, -n*l + 3*h + 2*h - 2 = 0. Solve 0*y = l*y for y.
0
Let q be (-16)/(-6) - (-16)/(-24). Solve -q*y = 2*y for y.
0
Let s = 18 + -12. Suppose -5*r + 9 = -s. Suppose 2*u - q = -6*q + 3, 5*u = -r*q + 36. Solve -u*k + 4*k - 20 = 0 for k.
-4
Let n = -2 - -5. Suppose 5 = 2*q + 3, 3*q = 5*w - 7. Suppose 0 = o - 0*o + j - 3, 0 = -5*o + j + 3. Solve n = w*x - o for x.
2
Let q be (8 + -5 + -3)/(-2). Solve q = -2*a + 2 - 4 for a.
-1
Let z(s) = s**2 - 6*s + 2. Let j be z(6). Let k be 5/j*(5 + -3). Suppose -k*g + 27 = 7. Solve -18 + 6 = g*x for x.
-3
Let z(a) = 6*a - 9. Let r be z(2). Solve -n + 8 = r*n for n.
2
Suppose 0 = 3*p - 5*p - k + 11, 3*k + 3 = 0. Solve -r = 8 - p for r.
-2
Let y(u) = 6*u + 32. Let x be y(-4). Solve 0 = -x*f + 13*f for f.
0
Let n be (2 + (-3)/2)*(33 + 1). Solve 5*v = -42 + n for v.
-5
Let t(a) = a**3 + 2*a**2 - 4*a. Let j be t(-3). Let v be 4/(-12) - (-7)/j. Let w = v + 0. Solve w*n = 4*n + 8 for n.
-4
Let c be 0 + 6 + (-3)/(-6)*-4. Solve 0 = -c*x - 6 - 6 for x.
-3
Suppose -4*c + s = -25, 2*c - 3*s - 9 = c. Solve 14 = 4*p - c for p.
5
Suppose -4*l - 2*a - 3*a + 17 = 0, -4*l + 11 = -a. Suppose 0 = 2*y - 7 - l. Solve -2*r + 