). Solve z*x = 4 - 0 for x.
1
Let j = -35 - -37. Solve -2*r + 0 = -j for r.
1
Let s be (-2 - 3/(-6))/(1/(-2)). Solve 6*o - 9 = s*o for o.
3
Suppose -6 = 154*l - 156*l. Solve -g - 2*g = -l for g.
1
Let m(d) = -d**2 - 10*d - 18. Let s be m(-7). Solve -p - s = 1 for p.
-4
Let d be -6*(-2)/(-4) + 4. Solve 0 = -q - d + 2 for q.
1
Let t(u) = u + 11. Let v be t(-7). Solve -3*h - 4 = -v*h for h.
4
Let p = -4 + 4. Let j(l) = l**2 - 1. Let g be j(-1). Suppose g = 3*k - 8*k + 125. Solve p = 5*t - 0*t - k for t.
5
Let o be 3/(-2 + (-2)/(-4)). Let r be 1/o - (-5)/10. Let t = r - -3. Solve -k - t*k = 12 for k.
-3
Suppose -2*k + 0*k = 0. Solve k*z = 3*z - 6 for z.
2
Let w = -2 + 6. Suppose 3*g + 2*p = 5*p, 2*g + 5*p = 0. Suppose g = -2*q + 6*q - 4. Solve q = 5*t - w for t.
1
Suppose 11*k = 13*k - 10. Solve k*i - 15 = -5 for i.
2
Let h = -10 + 7. Let m be (h + 4 + -1)*-1. Let n = m - 0. Solve 0 = -d - n - 4 for d.
-4
Let x = -14 + 8. Let w = 6 - x. Solve -l + w = 3*l for l.
3
Let z = 3 + 2. Suppose -3*s + 40 = z*c, -s - 2*c + 20 = 3*c. Solve 4*r - 10 = s for r.
5
Let d be (8/10)/(2/(-25)). Let m be -1 - (-5)/(d/(-4)). Solve 3 = -2*k + m for k.
-1
Let k(g) = g**3 + 12*g**2 + 12*g + 13. Let v be k(-11). Solve -3*t + v = -2*t for t.
2
Suppose 50 + 22 = 9*r. Solve -r = 3*d - d for d.
-4
Let p be -1*1/((-1)/5). Suppose 7 + 23 = 3*i. Let a = 10 - i. Solve a*g = -p*g + 10 for g.
2
Let r be 9*(-2)/9*3. Let k be 4/r + (-80)/6. Let v = 23 + k. Solve -4*j - v = -29 for j.
5
Let s(o) = -4*o**3 - o**2 - o - 1. Let f be s(-1). Suppose -112 = -5*t - 3*v, -4*t - v + 31 + 53 = 0. Let w be t/6*6/1. Solve -f*i + w = -8*i for i.
-4
Let h(z) = -z**2 + 9*z - 8. Let g be h(8). Let w be (-192)/(-30) - (-4)/(-10). Let b = 8 - w. Solve g = -j - b*j - 3 for j.
-1
Let x be 2/((-8)/(-6))*-2. Let b(w) = -3*w + 2*w + 0*w - 3. Let k be b(x). Solve -4*t + 2*t - 10 = k for t.
-5
Let w = 5 - 7. Let x(z) = z**3 + 4*z**2 + 4*z + 3. Let c be x(w). Suppose -c*r + 58 = 7. Solve 5*l - r = 8 for l.
5
Suppose -3*z - 28 = -34. Solve -7*d = -z*d - 25 for d.
5
Let x be (22/6 + -3)*18/4. Solve -15 = -x*u - 6 for u.
3
Let v be 6/(-4) + 27/18. Let m = 3 + 1. Solve -p + m*p + 9 = v for p.
-3
Suppose 51 = 4*g - 89. Suppose 45 = 4*m - g. Solve -5*v + 0*v - m = 0 for v.
-4
Suppose -2*q - 4*s = -14, 0*q = -2*q - 2*s + 10. Suppose -3*r + 6 = q*d, 5*r = -0*r - 15. Let g be 9 + (-3 - 3)/(-2). Solve -g = -f + d*f for f.
-3
Let k(a) be the first derivative of -6*a - 1 - 5*a**2 - 1/3*a**3. Let q be k(-9). Solve q*o + o = 0 for o.
0
Suppose 4*q - 4*p - 4 = -0, 3*q - p - 9 = 0. Suppose 3*c - q = c. Solve t + c*t + 6 = 0 for t.
-2
Suppose 0 = 3*v + v + j - 4, -5*v - 3*j - 2 = 0. Let u(k) = 2*k. Let r be u(v). Solve -r*o + 17 = -3 for o.
5
Let i = 207 + -201. Let c be 1/(-3) - (-19)/3. Solve c*a - i = 4*a for a.
3
Suppose 0 = -5*u + 77 + 3. Suppose -3*n - 2*x + 28 = -x, -4*x = -u. Solve y = -y - n for y.
-4
Suppose -4*r + 45 = x, -3*r + x = -x - 20. Let s = r - 0. Solve -7*a + 2*a = s for a.
-2
Let g = 17 - 26. Let v = g - -3. Let b be (-37)/v + (-2)/12. Solve -b = -3*f + 9 for f.
5
Suppose 5 = j - 0. Suppose 0*k = -j*k. Solve -4*n + k*n - 4 = 0 for n.
-1
Suppose 5*y - 5*n = 20, 0*y + n = -2*y - 4. Suppose y = -0*u + 3*u - 6. Solve -u*k + 4*k + 10 = 0 for k.
-5
Suppose 8 = -3*i - 3*a + 23, -4*i + 4*a = -44. Solve 0 = 5*u - 3*u + i for u.
-4
Let v be 12/(-9) + (-1)/(-3). Let r be 3/(-2 - v - -2). Solve -r*k = -7*k for k.
0
Let g(p) = -p**3 + 4*p**2 - p + 7. Let t be g(4). Solve -9 = 4*x + t for x.
-3
Let g be (-6)/21 + 60/14. Suppose 0 = g*d - 17 - 3. Solve -5*i - d = -0 for i.
-1
Suppose 5*b = -7*r + 3*r + 2, -5*b + 3*r + 16 = 0. Let p be (-3 + 1)/((-6)/9). Suppose -17 = -0*v - p*v - b*z, 5*z - 10 = -v. Solve -v*n - 26 = -6 for n.
-4
Let m(f) = 3*f**2 - 2*f. Let t be m(3). Suppose -2*s - t = -6*s - v, 0 = 4*s - 4*v - 16. Solve -2*n = -5 - s for n.
5
Let q be (0 + 2)/(-2) - 1. Let r be 1 + (q + 1 - -8). Solve r - 2 = 3*a for a.
2
Suppose -2*h = 2*h - 100. Solve 6*l = 11*l - h for l.
5
Suppose 0 = -5*t + 4*r - 0*r + 52, 0 = -4*t - r + 29. Suppose 3*m = -g - 20, 0 = -5*g - 2*m - t - 27. Let k be 0/g*(-1)/1. Solve -2*n - 6 + 0 = k for n.
-3
Suppose 3*v = -3*u - 6, -5*v + 12 = 2*u + 31. Let p be (12/2)/u + -2. Solve p = -s - 4*s for s.
0
Suppose b = -b + 12. Suppose -3*w + 3 + b = 0. Solve -w*t = t - 12 for t.
3
Suppose -5*i - 138 = -2*j, -4*j + i + 264 = -3*i. Let x = j - 44. Solve -q = 3*q - x for q.
5
Let r(k) be the third derivative of -k**5/60 - k**4/6 + 4*k**3/3 - 10*k**2. Let o be r(-5). Solve o*n - 1 = 2*n for n.
1
Suppose -5*l + f + 18 = 4*f, 0 = 2*l - 4*f - 2. Solve 2*m - 5 - l = 0 for m.
4
Let v(k) = 7*k - 1. Let w be v(1). Suppose -f = -w*f + 10. Let r be (f + -1 - 3)*-1. Solve -1 = -r*i + i for i.
1
Suppose 0 = 5*c + 3*w - 3, 0 = -3*w - 12. Solve -y + c = -1 for y.
4
Suppose -7*n = -0*n. Solve 0 = -n*y + y for y.
0
Suppose -6*b + b + 10 = 0. Let q be 0/(-3) + b*1. Solve 0 = -3*o - 7 - q for o.
-3
Suppose -6 = -3*m - 0. Let j be ((-12)/14)/(5/(-35)). Let d(s) = 3*s - 1. Let p be d(3). Solve -j*x + m*x = p for x.
-2
Let f(d) = d**3 - 7*d**2 + 9*d - 12. Let k be f(6). Solve -k*t - 5 = -7*t for t.
5
Let v be 7/((-21)/9) - -9. Solve -3*p + 9 = v for p.
1
Let r be (-6)/8 + 6/8. Let v(t) = -t**2 - 5*t - 3. Suppose -4 = 4*p + 8. Let s be v(p). Solve -u - s*u = r for u.
0
Suppose -9 - 27 = -9*w. Solve w*r + 9 = r for r.
-3
Let s be 4 - (3 - (-2)/(-1)). Suppose -16 = -4*b, 0 = s*m - 2*m - 3*b + 13. Let k be 13/4 - m/(-4). Solve -5 = -k*j + 7 for j.
4
Let d be 15/(-6)*20/(-25). Suppose -d*o = 3*o - 20. Solve 0 = o*k - 1 + 9 for k.
-2
Suppose -19*c + 14*c - 11 = z, 9 = -3*c. Solve z*a = a for a.
0
Suppose 2 = l - 2*x + 6, 4*l - 5*x + 10 = 0. Solve 0 = -k - l*k + 4 for k.
4
Let d(u) = u**3 - 10*u**2 - 11*u + 4. Let h be d(11). Solve 2*b - h*b = -6 for b.
3
Let n(w) = w**3 + 11*w**2 + 10*w + 6. Let k be n(-10). Solve -7 = -o - k for o.
1
Suppose -15 = -2*i + 19. Let q be (-1 + -1)*i/(-2). Solve 0 = 3*h + q - 2 for h.
-5
Suppose -n + 2*n = 6. Let p = 14 - n. Solve v = -v + p for v.
4
Let u(a) = a**3 - 7*a**2 - 8*a + 6. Let p be u(8). Suppose -2*f = -4*l - 0*l - p, 0 = 2*f + 2*l - 12. Solve -f*n + 0*n = 15 for n.
-3
Let y = 0 + 4. Solve y*b = 2*b + 10 for b.
5
Suppose -2*o - 6 = -2*g, -2*g + 6*g - 20 = 0. Suppose 5*v + 2*h = 20, -o*v = 3*v + h - 15. Solve -3*u = -u + v for u.
-1
Let d(z) = -z - 6. Let r be d(-6). Suppose r*o + o + m = 17, -3*m + 79 = 5*o. Suppose -23 = -4*v - t, 4*v - t = t + o. Solve -2*f + v*f + 12 = 0 for f.
-4
Suppose -i = 3*i - 8. Solve 3*u - 20 = -i*u for u.
4
Let d be (-3)/9 + (-28)/6. Let v be d/(-3) + (-2)/(-6). Suppose 2 = -y + v*y. Solve 0*t - 10 = y*t for t.
-5
Let g be ((-6)/(-1))/(-2) - (-3 + 0). Solve -x + g = 4 for x.
-4
Suppose -3*l + 3*y = 2*l + 85, 3 = -2*l - 5*y. Let a = -8 - l. Solve 2*k = a*k - 4 for k.
1
Suppose -5*w + 10 = -4*m - 2, 0 = -3*m - 4*w + 22. Suppose 5*h + 13 = t - 16, 2*h = m*t - 18. Let r be (-2)/3 + t/6. Solve l + r*l + 4 = 0 for l.
-4
Let a = -6 - -9. Let g = -1 + a. Solve -g*z - 3*z - 20 = 0 for z.
-4
Let h = 18 - 16. Suppose 2 = 3*q - 4*g - 7, h*q - 6 = 4*g. Solve -4*z = -q*z for z.
0
Suppose 0 = 5*q - 3*q - 74. Let z = q - 17. Solve -a = 4*a + z for a.
-4
Suppose -k - 73 = -77. Solve -3 = -k*q - 19 for q.
-4
Let f = -2 - -4. Suppose 12 = -5*d + f. Let t be (-3 + 2)*(d - -1). Solve c + t - 4 = 0 for c.
3
Let u(v) = -4*v + 7. Let p(i) = 3*i - 8. Let f(k) = -3*p(k) - 2*u(k). Let m be f(8). Solve -m*a - 3 = -7 for a.
2
Let v = 5 + -13. Let d(z) = -z**3 - 8*z**2 + z + 9. Let l be d(v). Solve l = -3*o - 5 for o.
-2
Suppose q = -2*q, 0 = -2*b + 4*q + 4. Solve b = -4*o - 6 for o.
-2
Let n be 3*(-46)/(-12)*2. Suppose 0 = -2*w - w + 12. Solve w*g = -3 + n for g.
5
Let a(n) = -n**3 - n**2 + n. Let d(c) = -5*c**3 - c**2 + 8*c - 4. Let y(x) = 4*a(x) - d(x). Let h be y(4). Solve 2*m - h = 6*m for m.
-1
Let l(k) = -4*k - 19. Let t be l(-6). Suppose 7*q - a - 10 = 5*q, 2 = -a. Let s = q + -3. Solve 0 = -i + s - t for i.
-4
Suppose 5*w = -x + 24 - 10, -4*w - 8 = -4*x. Solve -i - x = -0*i for i.
-4
Suppose 2*l + 5 = 3*c, -3*c + 35 = 5*l - l. Suppose -2*f - 1 - 3 = 0, 4*b - 62 = -l*f. Solve -3 = 5*s - b for s.
3
Let v be 1 - -6 - 6/2. Suppose -x - x + v = 0. Suppose 2*o - x = o. Solve 