Suppose -5*z - 10 = 4*t, -t + y = -4*t. Solve z*c = -2*c - 8 for c.
-2
Let p be 528/36 - 1/(-3). Solve 0*r = 3*r - p for r.
5
Suppose -44 = -2*c - 0*c + 4*l, -4*c + 3*l = -78. Let x = -11 + c. Solve 4*s = -13 - x for s.
-5
Suppose 9 = 3*v + 3. Solve g - v*g = 2 for g.
-2
Let s = -6 + 11. Suppose s + 28 = 3*w. Let n = -7 + w. Solve 0 = 3*b - n*b - 1 for b.
-1
Suppose -2*s = 2*b - 6*s - 26, -3*b + 3*s = -27. Suppose 3*f = 2*f. Let x be (-3)/9*f/2. Solve x + b = -n for n.
-5
Suppose -3*f - 5*d = 13, -5*f + 4*d + 68 = 28. Suppose 0*k + 12 = f*k. Let q(c) = c**2 - 9*c + 2. Let s be q(9). Solve l + k = -s for l.
-5
Let m(t) be the first derivative of t**3/3 + 5*t**2/2 + 6*t + 3. Let z be m(-5). Suppose d = 4*p + 23 - 4, 13 = -d - 4*p. Solve 0 = d*v - 0*v - z for v.
2
Let b be (-5 - -11)/(1 + 0). Suppose 0 = 3*d + 2*i - 6*i - 14, d = -4*i - b. Suppose 4*u + u = 65. Solve d*n = -u + 3 for n.
-5
Let l(p) be the second derivative of -p**4/12 - 11*p**3/6 - p**2 + 4*p. Let s be l(-10). Let r = s + -6. Solve 5 = 3*b + r for b.
1
Suppose -6*m = -4*m. Solve m = d - 3*d - 4 for d.
-2
Let a(f) = f**2 + 2*f + 3. Let x be a(-2). Let l = 15 - x. Solve -4*o = -o - l for o.
4
Suppose -2*s - 1 + 35 = 0. Let r = 31 - s. Suppose 1 + r = 5*y. Solve -y*q + 1 = 4 for q.
-1
Let d = -18 - -38. Suppose -2*n = -4 - d. Suppose 3*a - 3 - 6 = 0. Solve -k - n = a*k for k.
-3
Suppose -6*q + 10 = -q. Let c be (36/8)/(1/q). Solve -c - 1 = -2*l for l.
5
Let t = -50 - -52. Solve t*g = -g + 12 for g.
4
Suppose 5 = -f - 4*f - 3*b, -4*b - 10 = 5*f. Solve 0 = -4*a - 14 - f for a.
-4
Let b(o) = 4*o**2 - o + 1. Let s be b(1). Suppose 0 = -s*r + r + 9. Solve -4 = -2*a + r*a for a.
-4
Let t be (0 - -3)/(6/8). Let a be 2 - 6/(-3)*-1. Solve a = -5*x + x - t for x.
-1
Let k(p) = 2*p. Let u be k(5). Let n = -8 + u. Solve -w = -3 - n for w.
5
Let s be (-18)/(-4) - 3/2. Let h be 8/s - 2/(-6). Suppose 0 = o - h - 5. Solve 6*i + o = 2*i for i.
-2
Let k be -9*((-6)/(-9))/1. Suppose b + 0 = 8. Let p = k + b. Solve o = -1 - p for o.
-3
Suppose a - 4*a = -9. Solve 0 = a*v + 3 + 6 for v.
-3
Let s be 1/2 + 1/2. Let l be (s*-2)/(3/(-3)). Suppose 0 = l*a - 0*a. Solve -3*k + k + 2 = a for k.
1
Suppose -4*t = -3*v - 18 - 5, -29 = -2*t + 5*v. Let r be (-1 + 0)/(1/(-4)). Solve -t*h = -h + r for h.
-4
Let n(s) = s**3 - 7*s**2 + 7*s - 4. Let q be (-2 - 0) + (2 - -6). Let g be n(q). Solve 18 + g = 5*d for d.
4
Suppose 0*t - f = -4*t + 12, -t + 3 = -f. Solve -15 + 0 = -t*z for z.
5
Let x be (2/(-3))/(7/(-84)). Solve 0*p = 2*p - x for p.
4
Suppose c = -4*c. Solve -g - 2 = -c for g.
-2
Suppose 2 + 1 = -3*n, 0 = 4*y + n - 99. Suppose 6*t - y = t. Let b = 1030 + -1025. Solve -t*p + 10 = -b for p.
3
Let h be 8/10 + (-78)/(-15). Solve 5*n = h*n for n.
0
Let t = -6 + 9. Solve -8*i = -t*i - 10 for i.
2
Let t(w) = w**3 + w + 5. Let d be t(0). Let a = d + -2. Suppose z = 4*f + 25, -2*z - 39 = -5*z + a*f. Solve 0 = -0*p + 3*p - z for p.
3
Suppose -3*h - 8 = -7*h - n, 0 = -h + 5*n + 2. Let y(m) = m**3 - m**2 - 3*m + 3. Let q be y(h). Solve 2*r - q = 1 for r.
1
Suppose 2*p = -p + 15. Suppose -7*a - p = -5*r - 2*a, 4*r = a + 13. Let g be (-1 - (-2 + r))/(-1). Solve 0*k = -g*k + 6 for k.
2
Let i = 9 - 3. Solve -4*r = -i*r for r.
0
Let r be 43 - (0/(-2) + 1). Let s be (0 - r)/((-2)/1). Solve s + 4 = 5*o for o.
5
Suppose -2*r = -2*v - 0 - 2, v + 4*r = 14. Let l be 152/36 + v/(-9). Let g = l - 2. Solve -4 = g*z - 2 for z.
-1
Let w = 22 + -22. Solve -4*j - j - 15 = w for j.
-3
Suppose -j - 7 = -1. Let m = -4 - j. Let h = 459 - 452. Solve h = m*i - 3 for i.
5
Suppose 6 = 4*s - 6*s. Suppose -3*x = -x. Let a = x - s. Solve -y - a*y + 4 = 0 for y.
1
Suppose 0 = w + 2*w. Suppose w = -4*x + 66 - 6. Solve 0 = 5*j - 0*j - x for j.
3
Suppose -f + 5*f - 5*f = 0. Solve f = 4*j + j - 5 for j.
1
Suppose 3*y - 7*y = k - 3, -2*k = 5*y - 6. Solve -15 + k = -3*m for m.
4
Let t(o) = 2*o - 3. Let l be t(3). Suppose -l*a + 6 = -a. Solve -2*h - a*h + 15 = 0 for h.
3
Suppose 13*s = 8*s. Solve -t + s = -3 for t.
3
Suppose -2*b = -4*m - 28, 0 = -b - m - m - 6. Solve -b*j = -1 + 5 for j.
-1
Let n = 42 - 41. Solve -r + n = -3 for r.
4
Let p(c) = -4*c**3 - c**2 + 2*c - 1. Let i = -1 + 2. Let v be p(i). Let b be (v/(-6))/(4/30). Solve 0 = 2*g - b + 3 for g.
1
Suppose -2*b + 9 = -4*p - 27, 3*p + 32 = 2*b. Let w = b + -3. Let l be 2/w + 173/7. Solve -4*k + l = k for k.
5
Let d be (3/2)/(24/32). Let s be d/(-6) + (-61)/(-3). Solve 7*o - 2*o = -s for o.
-4
Let i(b) = b + 5. Let g be i(-5). Let t be ((-16)/4)/(-2 + g). Suppose c - 1 = 0, 6 = -4*n + t*c + 24. Solve -n + 3 = -2*z for z.
1
Let g = 5 + 10. Suppose g = 5*i - 0*i. Solve t + i*t = -4 for t.
-1
Let a be ((-144)/40)/((-6)/(-20)). Let q be (12 + a)/(1 + 0). Solve q = -4*j - 0*j + 4 for j.
1
Let n = -2 + 6. Suppose 5*g - 7 = n*l - 2, 2*g - 10 = 0. Solve 0*v = l*v - 10 for v.
2
Let b be (2/1)/(5 - 3) - -3. Solve 5*h - b = h for h.
1
Suppose 0 = -5*c + 37 - 12. Solve -c*h = -h for h.
0
Suppose -3 = 4*f - 11. Let r be (2 - 1) + 2*1. Let c = r - 3. Solve c = 2*m - f - 4 for m.
3
Let z = 6 - 2. Suppose z*m = 69 + 11. Suppose 4*g = -g + m. Solve g + 4 = 4*t for t.
2
Let j = 134 - 131. Solve q - j = 2*q for q.
-3
Let c(y) = 4*y - 1. Let w be c(1). Suppose g + 0 = w. Solve b - 12 = -g*b for b.
3
Let c be (12/(-10))/((-6)/100). Suppose d + c = 6*d. Solve -d*h - 8 + 28 = 0 for h.
5
Let i(c) = -c**2 + 8*c - 2. Let o be i(7). Suppose -4*t + 16 = 5*p, -2*t - 5 + 13 = 4*p. Suppose r - 1 = -o*n, 2*r - 4*r + t*n + 16 = 0. Solve -y = -r*y for y.
0
Suppose 11 = 2*j + 1. Let p = 38 + -36. Solve 3*z - p*z = j for z.
5
Suppose 0 = 3*m + r - 13, m - 2 = -2*r + 9. Solve -4*j - m = -j for j.
-1
Suppose 4*w + 54 + 26 = 0. Let k be (-1)/(-2) + (-30)/w. Solve -2*p - k = -4*p for p.
1
Let i(l) = -2*l - 2*l - 1 - l. Let w be i(-1). Solve 0 = -5*h + w*h + 5 for h.
5
Let l = -10 - -13. Let j = 8 + -6. Solve -l*b + j = -b for b.
1
Let y = 130 - 126. Solve -6*u = -y*u + 10 for u.
-5
Let w = -15 + 18. Let u be (w - 15)/(-4) + 3. Solve u + 2 = -2*m for m.
-4
Suppose -4*b + 20 - 8 = 0. Suppose -24 = -b*n - 4*f + 5, 4*f = 8. Solve 2*u - 3 = n for u.
5
Let o be (-4)/(-3)*1*15/10. Solve -o*j - 6 = -0 for j.
-3
Let l = -33 - -37. Solve l*k = 3*k + 2 for k.
2
Suppose 1 + 7 = -4*w. Let v = 1 + w. Let z be (-2 + 1)*(-1 + v). Solve -4 = -z*b - 0*b for b.
2
Suppose 4*p = -2*h + 4, h - p + 1 = -0*h. Solve -3*q = -h*q + 9 for q.
-3
Let r be 2/7 - 30/7. Let i = -4 - r. Let d = 0 - i. Solve d*p = 2*p + 2 for p.
-1
Let t(q) = -6*q**2 - 2*q - 1. Let y be t(-1). Let g = -3 - y. Let v(c) = -c + 25. Let z be v(21). Solve -g*b = -14 + z for b.
5
Let h be 32/18 + 8/36. Solve -5 - 5 = h*v for v.
-5
Suppose -o = -6*o + 5. Suppose 3*k = o + 5. Solve i + k*i - 3 = 0 for i.
1
Suppose 0 = 2*o + 4*q - 14, 0*q = 4*o + 5*q - 25. Suppose 9 - 34 = -o*p. Solve -p = -2*g + g for g.
5
Let l be (-2)/(-4) - 58/(-4). Let k be 20/l + (-2)/6. Solve -g + k + 1 = 0 for g.
2
Let l(p) = p**3 - 2*p**2 + p - 2. Let h be l(2). Suppose 0 = -2*g + 4 - h. Solve 5 = -g*q - 5 for q.
-5
Let g be (-1)/(-3) + 56/21. Solve 2*l = -g + 13 for l.
5
Let z(b) = b**3 + 6*b**2 + 2*b - 6. Let g be z(-5). Let f be 5 + g/(-1 - 2). Solve 0 = 5*d - f + 7 for d.
-1
Let a(m) = m**3 + 4*m**2 + 2*m. Let i(o) = o**2 + 5*o - 8. Let u be i(-6). Let d be a(u). Solve -d*p = -2*p for p.
0
Let k = -33 + 35. Solve -3*m + 5*m - k = 0 for m.
1
Let f = 0 + 2. Let p = f - 0. Suppose 8 = q + p. Solve 2*k = q*k - 12 for k.
3
Let a(k) = k**2 - 5*k - 1. Let o be a(7). Suppose w = 3*w - 3*b - o, 0 = 4*w + 5*b + 7. Suppose 4*q - w + 0 = 2*s, -5*s + 21 = 3*q. Solve -2*y + 5 = -s*y for y.
-5
Let t(p) = -p**3 + 4*p**2 - 2*p - 1. Let o be t(2). Let c = -47 - -48. Solve 4*z - o - c = 0 for z.
1
Let c(w) = -2*w - 3. Let g be c(-3). Solve g*i + 1 = 4 for i.
1
Let z be 0*-1*(1 - 0). Suppose 0*r - 5*r = -10. Solve z = -0*p + r*p for p.
0
Suppose -5*j - 20 = -5*o, -5*j = -4*o + 7 + 4. Solve 4*k = k + o for k.
3
Let z = -5 - -13. Solve -x + 3*x + z = 0 for x.
-4
Let g be (-396)/48 - (-3)/(-4). Let q = -5 - g. Solve 0 = q*s + 7 - 19 for s.
3
Suppose 0 = 5*r - 4*r. Suppose -3*h = 2*h - 10. Solve r = -k + h - 3 for k.
-1
Let d(w) = w**2 + 9*w + 15. Let p be d(-7). Solve -5*s + 4 = -p for s.
1
Let i be 2 + 7 + 9/(-3). Solve 15 = -n + i*n for 