 - 9 = z for l.
3
Let y = -89 - -91. Let m = -16 + 22. Solve -y*a = -m*a for a.
0
Suppose i + 20 = 6*i + 5*w, -2*i - 3*w + 6 = 0. Solve -4*r + i*r = 10 for r.
5
Let s(j) = 2*j**2 - 11*j + 14. Let a be s(4). Solve a*c = 1 + 3 for c.
2
Let i be (-12)/(-54) + (-2)/18*-61. Solve -5 - i = 4*p for p.
-3
Let b = 5 + -2. Suppose j - 5*o = -j - 17, 2*o + 2 = b*j. Solve 3*n = 5 + j for n.
3
Suppose -5*k - 15 = 4*o, -9 = -8*o + 3*o + 3*k. Suppose -3*c = 5 + 10, d - 5*c = 29. Let b = d - 2. Solve o = g - b*g for g.
0
Let v be (2/5)/((-1)/(-30)). Let p = -4 + 8. Let h = p - 1. Solve -v = -r - h*r for r.
3
Let m be 6 - (4 + (0 - 5)). Let o = m - 7. Solve o = -u - u + 6 for u.
3
Let t = -60 + 62. Solve -t = -w - 4 for w.
-2
Let f(v) = v - 2. Let j be (-4)/14 - (-132)/21. Let u be f(j). Solve -z - u*z = 0 for z.
0
Let p(b) = b + 5. Let c be p(-7). Let h be 1*-2*5/c. Suppose 4*g - 3*u = h*g + 1, -3*u = 3. Solve -g*d - 25 = 3*d for d.
-5
Suppose 0 = 5*n - 4*z + 141, 6 = n + 3*z + 19. Let c be (20/n)/(2/(-15)). Solve 2*h + c = 4*h for h.
3
Suppose 0 = 3*m - 82 + 70. Solve -f = -m*f + 6 for f.
2
Suppose 5*y + 0 - 5 = 0. Solve 3*o - y = 5 for o.
2
Let z be 2/3 - 4/6. Suppose z = 5*a, w + w - 8 = -2*a. Suppose 88 = 4*i + 4*b, 2*b + 37 + 19 = 3*i. Solve w*j + 8 = i for j.
3
Suppose h + 0 - 5 = 0. Solve -3 + 18 = h*a for a.
3
Let l(x) be the first derivative of -x**4/4 - 13*x**3/3 + 7*x**2 + x + 4. Let r be l(-14). Solve -o + 2 = -r for o.
3
Let q be 2*9/3 - 2. Solve q = 2*y - 0*y for y.
2
Let l(d) = -d - 1. Let n(b) = 2*b + 1. Let p(g) = -13*l(g) - 6*n(g). Let a be p(-5). Solve 5*i + 3 = -a for i.
-1
Let x be ((-3)/9)/(1/(-6)). Solve -4*g - 2 = x for g.
-1
Let r = -10 + -10. Let s = 75 - 45. Let x be s/(-25)*r/6. Solve -a + x = -0 for a.
4
Let v be 4/30 - 6/45. Solve v*i - 5 = -i for i.
5
Let n = 23 - 20. Solve p = 4*p + n for p.
-1
Let h = 21 - 12. Suppose j + 0*j + h = 0. Let o be (-3)/j + 14/3. Solve -k = -o*k for k.
0
Suppose 5 + 7 = 4*m. Suppose -m*u + 8*u = 0. Suppose -y - i + 9 = u, -y = y + 4*i - 26. Solve -w + y + 0 = 0 for w.
5
Let o(q) = -3*q + 2. Let p be o(2). Let j(k) = -k - 4. Let s be j(p). Suppose 5*u - 25 = -s*u. Solve 0*y + u*y = 10 for y.
2
Let z = -8 + 13. Suppose i = g - 7, 2*g + 1 = -i - 2*i. Let d be 198/(-54)*(-6)/2. Solve g*t + z = -d for t.
-4
Let z(r) = 7 - 1 - 3*r + 4*r. Let i be z(-6). Solve i = 8*q - 3*q for q.
0
Let s(x) = -x**3 - 12*x**2 - 11*x + 2. Let a be s(-11). Solve a = -i - i for i.
-1
Let u(m) = -7*m**2 - 3*m - 12. Let d(y) = y**2 - y. Let k(f) = -6*d(f) - u(f). Let p be k(-8). Solve 0 = p*b - b + 15 for b.
-5
Let p be 110/(-30)*(-8 + -1)/3. Solve 4*h - 9 - p = 0 for h.
5
Let k = -2 + 4. Let q(p) = p**3 + 12*p**2 + 11*p. Let n be q(-11). Let a = k + n. Solve -s = -a*s - 3 for s.
-3
Let h(d) = -1. Let i(f) = f - 2. Let n(o) = -2*h(o) + i(o). Let k be n(2). Solve k*v = -2*v for v.
0
Let w(h) = -h**3 - 3*h**2 + 4. Let n be w(-3). Let x be n*(-1)/(-3 + 1). Let p = 10 - x. Solve m - p = -m for m.
4
Let r be (-6 - (-136)/24)*(-3)/1. Solve -h - 2 = -r for h.
-1
Let m be -10*(-1)/(2/1). Solve 7 = m*p - 18 for p.
5
Let x(y) = -y**2 + 4*y + 3. Let n be x(3). Let g(o) = -2*o - 4. Let j be g(-4). Let s = -18 - -20. Solve -j*f + s*f = n for f.
-3
Suppose 18 = 3*j - 5*j. Let s = 15 + j. Solve 3 = 3*o + s for o.
-1
Suppose 3*d = -5*f - 25, 3*d - 2*d - 5 = 0. Let c = f + 11. Suppose -9 + c = -q. Solve 4 = 5*j - q for j.
2
Let y = -18 - -30. Solve 2*s = 6*s + y for s.
-3
Suppose -4*c - 22 = -5*m, -2*c + 2 = -2*m + 10. Suppose 0*i + m = 3*i. Solve 4*o - i*o = 0 for o.
0
Let p(u) = u**2 + 1. Suppose -4 = 3*t - t. Let c be p(t). Solve c*k = 5 - 0 for k.
1
Let d be -4 + 8 + 2 + 2. Solve 1 = -3*q - d for q.
-3
Suppose 3 = -0*o - o + 2*p, -5*p = -2*o - 9. Solve -o*w + 0 = -3 for w.
1
Suppose 0 = b - 3*t - 1 - 11, 0 = -4*b + 2*t + 18. Solve b*j = 4*j for j.
0
Suppose -4 - 23 = -w - 4*q, w = 2*q + 9. Let j(d) = -2*d. Let c be j(-2). Solve r = c*r - w for r.
5
Let g(h) = -4*h**2 + 4*h - 3. Let y be g(3). Let c be -3*1 + y/(-9). Let v = 7 + -5. Solve c = u - 2 - v for u.
4
Suppose 0*r = 2*r - 8. Suppose 3*d + 2*h - 3 = -0, 4*d - h = r. Solve d = 2*g + 11 for g.
-5
Suppose -4*z = 3*a + a - 52, -a = -4*z + 7. Let d be 6/a*(1 - -5). Suppose n - 20 = -5*p, -33 + 83 = 5*p - 5*n. Solve -d*j + 4 = -p*j for j.
-4
Let m be 3 + 4/(-4)*3. Solve 5*a = -m*a + 20 for a.
4
Let m(c) = 2*c**2 - 2*c - 2. Let z be m(-1). Solve 0 = -z*w - w for w.
0
Suppose -u + 4 = 5*l, 5*l + 4*u - 13 = 3. Suppose l*t - 5*t = 0. Let d = -2 + 5. Solve w + t = d for w.
3
Let j(p) = p**2 - 5*p + 4. Let o be j(3). Let y be 1 + -1 - (o - -2). Let l = -20 - -24. Solve y = -l*c + 2*c for c.
0
Let y = -170 - -185. Suppose 11 - 39 = -4*v. Suppose 2*w + v = 2*s + w, 4*s - 3*w - 9 = 0. Solve s*r - r = y for r.
3
Let k be -1*3/6*-8. Solve -2*p + k = -p for p.
4
Let d be 12/(-1 + 4/2). Solve 2*b - 4 = -d for b.
-4
Let w(a) = -4*a. Let j be w(-2). Solve -3*q - j = -5*q for q.
4
Let g(y) = -2*y**2 + 13*y - 2. Suppose -5*u = 2*m - 4 + 17, -m + 5*u = -31. Let b be g(m). Solve -a - 7 = -b for a.
-3
Let i = -61 - -64. Solve 3 + i = -2*t for t.
-3
Suppose -7*y + 2*u + 17 = -2*y, -3*y - 3*u = -27. Let d = 8 + -11. Let r be -3*4/18*d. Solve -3 = r*p + y for p.
-4
Let l be 3/(1*-3 - -2). Let x(o) = -2*o - 9. Let p be x(-6). Let a be ((-6)/p)/(2/l). Solve -5*k + 6 = -a*k for k.
3
Let d(b) = b - 7. Let w be 7 + (-3)/6*0. Let q be d(w). Solve q*y + 10 = -2*y for y.
-5
Suppose -4*i + 4 = -4. Solve 0 = 3*v - 14 + i for v.
4
Let q = 237 + -82. Suppose -4*i - q = -9*i. Solve 5*l + 6 = i for l.
5
Let c be (57/38)/((-3)/(-8)). Solve -5*j - c = 1 for j.
-1
Suppose i - 5*q = 0, -q = -5*i + q. Let u be (i - -5 - 2) + -2. Suppose 3*b + u = 4. Solve b = 5*y - 14 for y.
3
Let u = 3 - 2. Let v be (-1)/u - (-9 + 6). Solve 0 + 10 = v*h for h.
5
Let n(j) = j + 1. Let d be n(3). Suppose 4*s - 2*v - 14 = -3*v, v + 22 = 5*s. Solve d*z = 3*z - s for z.
-4
Let n(v) = -v**3. Let d be n(-2). Solve d + 2 = -5*s for s.
-2
Suppose 3*c = 3*a, -2 = a + 2*c - 11. Solve -a = 3*l - 0*l for l.
-1
Let k(s) = s**3 - 7*s**2 + 6*s + 4. Let u be k(6). Suppose -3*h - 4*l = 2*h - 15, 12 = 4*h + l. Solve u*q - 5*q = h for q.
-3
Let x(u) = -u**3 + 7*u**2 - 6*u + 2. Let c be x(6). Let t be (-4)/c + 1 - -2. Solve t = 3*r + 4 for r.
-1
Let q(j) = j + 1. Let n be q(4). Let i(w) = -w. Let k be i(-8). Solve k*u = n*u - 3 for u.
-1
Let m be (-1)/1 - (-18)/(-3). Let i(j) be the second derivative of j**4/12 + 7*j**3/6 + 5*j**2 + 4*j. Let w be i(m). Solve 3*y - w = -1 for y.
3
Let m be (5 - 1)*(-2)/(-1). Let g = -7 + 9. Solve 2*u + g = -m for u.
-5
Let w be (-1 - -5) + 5 - 0. Suppose -3*t = -u + w - 42, -2*u = -3*t + 36. Suppose y = 2 - 0. Solve 0 = y*r - 0*r + t for r.
-5
Let w = 26 + -26. Solve w*a = -3*a + 12 for a.
4
Let h(a) = -a**2 - 3*a + 4. Let s be h(-4). Suppose 3*x = -4*g - 4, -2*g - 12 = 4*x - 0. Let i be (3 - g)/(1/2). Solve s = -u + i for u.
2
Suppose 0 = -3*f - 10 + 1. Let y = 5 + f. Solve 20 = -6*v + y*v for v.
-5
Let w(u) = u**2 + 2*u + 2. Let n be w(3). Suppose 4*s - 2*r = 14, 4*s + 0*r - n = r. Let o be (0 - 1) + s + -1. Solve -o*v = -v + 8 for v.
-4
Suppose 4*d + x + 4*x - 19 = 0, d + 2 = x. Let y = -25 + 28. Solve -r - d - y = 0 for r.
-4
Let q(a) = -6*a + 13. Let g be q(2). Solve -3*l + g = 4 for l.
-1
Let w(j) = j**3 - 7*j**2 + 2*j - 5. Let q be w(7). Let t be 2*1 - (-27)/q. Solve 1 = t*k + 11 for k.
-2
Let h(p) = p**3 + 3*p**2 - 2*p. Let m be h(-3). Let j be ((-4)/(-10))/((-1)/(-10)). Solve -10 - m = -j*i for i.
4
Suppose 6*f - 4*f + 2 = 0. Let s be (0/f)/(9/3). Solve s = -j + 3*j for j.
0
Let i = -13 - -21. Let m = i + -6. Solve 5 = -m*r - 5 for r.
-5
Suppose -22 + 1 = -3*d. Let g be ((-51)/6)/(-1)*2. Let n be (-10)/25 - 4/(-10). Solve -2*x - g + d = n for x.
-5
Let z(g) = -g + 8. Let v be z(11). Let s(i) = i + 4. Let x be s(v). Solve -x + 3 = -2*p for p.
-1
Let p(j) = j**3 - j**2 - 6*j + 4. Let i be p(3). Solve 5*l - i = l for l.
1
Let f = 21 + -19. Suppose -5*s = 2 + 13. Let n be s + 6 - (-1 + -1). Solve n*h + f = 7 for h.
1
Let y = -5 + 10. Suppose o + 5*i + 0 = -6, -y*o + 24 = -2*i. Solve -o*c + 3 = -5 for c.
2
Let p = -65 - -70. Solve -p*v = -v for v.
0
Let z be (4/8)/((-2)/28). Let y = 11 + z. Suppose 3 = w - 2, y*f - 4*w = 0. 