(32/12)/((-2)/i). Solve 0 = c + 3*c + z for c.
-2
Suppose 0 = -0*h + h - 4. Suppose -h*x + 24 = -0*x. Solve x*k - 2*k = -4 for k.
-1
Let l be (1/2)/((-1)/(-2)). Suppose -5*p - 9 = -u + l, 4*p - 1 = -u. Solve 0 = -u*i + 3*i + 4 for i.
2
Suppose -4*v - 5*j = -33, -3*j = 3*v - 4*v - 13. Solve -6*c = -v*c - 4 for c.
1
Let o = -5 + 10. Suppose q + 4*h = o - 1, -5*q - h + 1 = 0. Let y = 2 + q. Solve -y*f - 4 = 6 for f.
-5
Let x = -6 + 10. Let f(u) = -u - 7. Let c be f(-11). Let j be (3/(-2))/((-2)/c). Solve b = x - j for b.
1
Let j be (7/(-2) + 3)/((-2)/4). Solve -s + 2*s = -j for s.
-1
Let h be 390/25 - (-4)/10. Suppose 0 = 5*n + 4*s + h, -5*n - 4*s - s = 20. Solve n = -l + 2*l for l.
0
Let f(d) = 2 - 3 + 4*d - 3 - 5*d. Let i be f(-10). Solve -n = -i*n + 10 for n.
2
Let i be 16/4 - (0 + -1). Let f be (-65)/(-20) + 6/8. Solve -3*n - i = -f*n for n.
5
Suppose q = -0*q + 2. Suppose q*l + 3*l = 0. Solve -g - 3 - 2 = l for g.
-5
Let s be 0*(-3 + (2 - 0)). Suppose 2*j - 5*j + 12 = 0. Suppose s = m - 4 - j. Solve 25 = -m*r + 3*r for r.
-5
Let z(t) = -t**3 - 6*t**2 - 14*t - 43. Let p be z(-5). Suppose 4*n - 2*l = 16, -5*n - 6 = 6*l - 2*l. Solve p*k + 8 = -n*k for k.
-2
Let m(h) = -h - 9. Let q be m(-10). Let c be q/(1 - (-9)/(-12)). Solve 4*n - c + 20 = 0 for n.
-4
Let t = 14 - 14. Solve t = 2*x - 0*x - 8 for x.
4
Let i be (-1)/4 - (-18)/8. Let o(d) = -d**3 + 6*d**2 - d + 8. Let q be o(6). Suppose 0*r = q*r - 6. Solve -i*w - 1 = r for w.
-2
Let b = -123 + 143. Solve 0 = v - 6*v - b for v.
-4
Let r(a) = 2*a**2 - 3. Let t be r(3). Suppose -3*s - 1 = -n - 0*n, 5*s + t = -n. Let d = -5 - n. Solve j = -d*j for j.
0
Let h = -74 + 75. Solve -2*s + 3 + h = 0 for s.
2
Suppose -q = 2*q - 36. Solve -3*z + q = z for z.
3
Let m(k) = k**2 + 3*k - 4. Let d be m(-4). Suppose d*i = i - 7. Let n(r) = -r**2 + 9*r - 10. Let s be n(i). Solve 4 + 0 = -s*t for t.
-1
Let h(i) = i - 2. Let a be h(8). Solve a*x - 8 = 2*x for x.
2
Suppose -24 = g + 5*r, g + 5*r + 23 = -g. Let k = 4 + g. Solve k*t - 23 = -3 for t.
4
Let n be (-6)/5*350/(-28). Solve -3*v - n = -0*v for v.
-5
Suppose 0 = 18*w - 19*w + 7. Solve 5*j = -2 + w for j.
1
Suppose -5*o + o - 20 = 0, 2*a - 5*o - 33 = 0. Solve -8 + 4 = a*t for t.
-1
Suppose -3*j + 3*p + 24 = 0, -2*j - 2*p + 4 = -4. Let d = 31 + -21. Solve j*t = t - d for t.
-2
Suppose -t + 2*u = -6*t - 20, 1 = 2*t - u. Let w be -3*t/(-8)*-12. Solve 0 = 4*k - k - w for k.
3
Let f = 1 + -1. Suppose f = -d - 4*d + 30. Solve 31 - d = -5*k for k.
-5
Let t(r) = r + 3. Let o be t(-4). Let s be o + (4 - (-2 - -4)). Solve -s = 5*w + 4 for w.
-1
Let k(f) = -f**3 - 17*f**2 + 18*f + 9. Let t be k(-18). Solve -t = 4*z + 3 for z.
-3
Suppose -3 = 3*c - 0*c. Let h be 1 - (3 + -2)*c. Solve -2 = h*t - 12 for t.
5
Let y(g) = 3*g**2 - 1. Suppose 5*x - 5*s = 5 + 15, -2*x = 3*s + 17. Let u be y(x). Solve -4*z + u*z = -10 for z.
5
Suppose -3*y - 2*q + 12 = -y, 5*y - q - 42 = 0. Solve 0*t - 4*t = y for t.
-2
Let q be 7 - (-10)/(-25)*10. Solve 5*h + 8 = q*h for h.
-4
Let w = 3 + -1. Suppose -s + w*s - 4 = 0. Suppose s*k + 32 + 0 = 2*o, -4*o + 4*k = -72. Solve -8*b + 3*b = o for b.
-4
Let z = 15 - 20. Let h = 27 + z. Solve -2 + h = 5*i for i.
4
Let g(d) = -d**2 - 25*d - 44. Let i be g(-23). Solve -l = -i*l for l.
0
Let z = -99 + 107. Solve 2*f = z - 2 for f.
3
Let v be ((-6)/4)/((5/(-10))/1). Solve h = 1 + v for h.
4
Let j(z) = z**2 + 8*z - 20. Let p be j(-10). Solve 2*l - 3 + 1 = p for l.
1
Suppose -5*g - 2*q + 14 = 0, -3*g - 3*q + 0*q + 12 = 0. Solve -3*m - g*m = 0 for m.
0
Suppose 0 = -3*k - 9, 3*q - q = -2*k. Solve q - 2 = -t for t.
-1
Let u(d) = 4 - 5 + 1 + 5*d - 3. Let z be u(2). Let l(j) = j**2 - 5*j - 8. Let r be l(z). Solve -t + r*t - 10 = 0 for t.
2
Suppose 5*x = x - 2*r + 34, 0 = 3*x - 3*r - 12. Solve 25 = 2*z - x*z for z.
-5
Let m be 1*0/(-3 - 1). Solve z - 4 = -m*z for z.
4
Suppose 6*u - 12 = 2*u. Suppose 4*o + u = 23. Suppose -n - 1 = 0, -2 = 4*k + 5*n - o. Solve 0 = -k*y - 2 - 2 for y.
-2
Let h(l) = l**3 - 6*l**2 + 2*l - 7. Let j be h(6). Solve j = -8*s + 3*s for s.
-1
Suppose 0 = -2*u - 4 - 4. Let h be u/10 + 146/(-10). Let l = -11 - h. Solve -p + l*p = 0 for p.
0
Let y be (-1)/((-1)/12) + -1. Let k = -7 + y. Solve -k*q = -q + 12 for q.
-4
Suppose -3*p = -0*p + 30. Let v be p/(-8) - (-9)/12. Solve v*j = -2 + 10 for j.
4
Let k = 35 - 30. Solve 6*f + k = 7*f for f.
5
Let x be ((-3)/(-1) + -11)/(-1). Let l = x + -8. Solve l*b = -b + 3 for b.
3
Suppose 0 = -0*j - 3*j. Let p be (-2)/(1*(-1)/2). Suppose -p*m + 26 = -6. Solve m = -j*y - 2*y for y.
-4
Let t = 59 - 57. Solve 3*p = t*p + 5 for p.
5
Suppose 0 = 11*v - 19*v + 40. Solve v*c - 6*c = 0 for c.
0
Let h be 31/6 - (-3)/(-18). Suppose 2*k - 16 = -2*k, -4*v - h*k + 24 = 0. Solve v + 5 = -2*y for y.
-3
Suppose 2*q + 0*l = l, 0 = -3*q - 2*l + 14. Solve -q*k = 3*k for k.
0
Let o = -5 - -13. Let s = 9 - o. Solve 0*k - s = -k for k.
1
Let o(l) = -l - 3. Let t be o(-9). Solve 2*z + 0 = -t for z.
-3
Suppose -2*o + 4*o = 24. Suppose o = 5*c + v + v, 0 = 3*c + 4*v - 10. Solve -c*a = 2*a for a.
0
Let u(z) = -z**2 + 4*z + 5. Let n be u(5). Solve -k - 2 + 3 = n for k.
1
Let b(r) = r**3 + 3*r**2 - 11*r + 11. Let f be b(-5). Solve -2*z = -6*z + f for z.
4
Let l be ((-2)/3)/(18/(-81)). Suppose 0 = 4*n - 2 - 14. Suppose -l*o = -n*o + 2. Solve 2 = o*q - 8 for q.
5
Let d(c) = -c**3 - 5*c**2 + 7*c + 6. Let n be d(-6). Solve 0 = 4*a - n*a for a.
0
Suppose 3*d = 34 + 20. Suppose 0 = 5*t - 7 - d. Solve -w = -t*w + 20 for w.
5
Let x(n) = 3*n + 7. Let m be x(-5). Let t be (0 + -3)/((-3)/m). Let f be (4/t)/((-1)/6). Solve -2*u = f*u + 10 for u.
-2
Suppose 5*q - s + 4 = 0, 6*s - 3*s - 12 = -5*q. Suppose q = -l - 0 + 4. Solve -l*h - 4 = -2*h for h.
-2
Let g be -1 - (2 - 18/2). Let c be ((-8)/g)/(1/(-3)). Suppose -3*b - 12 = k, 15 - 5 = -2*b. Solve c = -d - k*d for d.
-1
Let q(k) = 2*k + 1. Let x be q(1). Let a = -1 + x. Solve 2*g + 6 = a for g.
-2
Let s = 13 + -5. Suppose 2*o - q = s, 4*q = 3*q + 2. Let h = -1 - -2. Solve o*a + 26 - h = 0 for a.
-5
Suppose -x + 0*x = -3, -3*y - 18 = -5*x. Let c = y + 1. Solve c = -m - m + 6 for m.
3
Let h be (-3)/(-1)*4/(-6). Let y be (-2)/2*3*h. Suppose -u + 31 = 4*z, -5*z = -0*z - u - 50. Solve 5*a + z = -y for a.
-3
Let t = -4 + 29. Solve k = 6*k - t for k.
5
Suppose -3*f + 54 = 27. Suppose -8 = q - 5*d, 4*q - 4*d = -q + 2. Suppose u + q*u = f. Solve -z + u = -2*z for z.
-3
Let r = 31 + -31. Solve r*q = -q for q.
0
Suppose t = -0*t - 10. Let j = -8 - t. Solve j*p = -0*p + 4 for p.
2
Let w = 4 + 0. Suppose -w*b = -b - 9. Solve -10 = b*d - d for d.
-5
Suppose -2*k - 4*d + 32 = 0, -16 = -5*k + 2*d + 4. Solve -5*t - k = -1 for t.
-1
Let g(v) = -v**3 + 4*v**2 + 3*v - 12. Let x be g(4). Solve 4*h + 0*h - 16 = x for h.
4
Let m(r) = r**3 + 5*r**2 + 3*r - 4. Let b be m(-2). Solve d = -b*d for d.
0
Let w(v) = v + 8. Let x(l) = 2*l + 17. Let a(c) = -9*w(c) + 4*x(c). Let d be a(-5). Solve -d = -4*s - 5 for s.
-1
Let p = 70 - 69. Solve -3 + p = -h for h.
2
Suppose 4 = r + 2. Let i = r + 0. Solve 2*v - 20 = -i*v for v.
5
Let w be -1 + 0 - (5 - 8). Solve z + 3 = w for z.
-1
Suppose 33 = 3*t - 6*d + 3*d, -4*d = 4*t - 28. Let f be 4*t/12 + 1. Solve -f*b = -2*b - 6 for b.
3
Let t be 1*(3 - (-1)/1). Suppose -2*r + 21 = 5*c, c = -2*c - t*r + 21. Solve 2 = w - c for w.
5
Let a(d) = -2*d - 16. Let r be a(0). Let h = -16 - r. Solve h*p = p for p.
0
Suppose 4 = -2*d + 2*g, -5*g - 5 = -d + 1. Let n be 3/(-2) - 6/d. Solve 3*j - j = n for j.
0
Suppose -3*m = -0*m + 3*q, 0 = -3*q - 9. Solve 0 = -m*w - w + 16 for w.
4
Let o = -5 + 5. Suppose 8*w - 5*w - 60 = 0. Solve -4*f + o*f = -w for f.
5
Let t(l) be the third derivative of -l**5/60 + l**4/4 - l**3/6 + l**2. Let k be t(5). Suppose b - k*b = 0. Solve b*w + 3*w = 9 for w.
3
Let y(f) = -5*f - 1. Let x be y(-1). Suppose -2*s = -x - 6. Solve -s*n = -n for n.
0
Suppose 56 = 2*x + 2*x. Solve 6 + x = 4*o for o.
5
Let w(d) = -6*d - 2. Let i be w(-7). Suppose -13 - 95 = -4*z - 4*y, -5*y - i = -2*z. Solve g = -4*g + z for g.
5
Let b(n) = 6*n**2 - 4*n + 3. Let x be b(1). Solve v - x = 2*v for v.
-5
Let i be 1/((-4)/2 + 3). Let z be ((-4)/12)/(i/(-21)). Suppose 5*v + 2*f = f + 74, 0 = 3*v + 5*f - 40. Solve -v = -z*t + 2*t for t.
3
Let b(q) = -3*q**3 + 7*q**2 - 4*q - 13. Let g(c) = -c**3 + 2*c**2 - c