 u. Suppose 3*f = 3*m - 15, -4*m + 4*f = -2*m - 14. Solve -m*c + y = -0*c for c.
2
Suppose 0 = -4*q + 7*q. Suppose -2*a - 4*d = 0, q*d + 1 = a + d. Solve -a*s = s for s.
0
Let u be (-2)/(-4) + 5/2. Suppose 2*f + 0 - 2 = 0. Let v be (3*u/f)/1. Solve 5*h = v - 4 for h.
1
Let s be (3/(-5) - -5) + 4/(-10). Solve -s*o + 0 + 8 = 0 for o.
2
Let a be (1 - 0) + (2 - 1). Suppose 3*i = a*i. Let g(r) = -r. Let c be g(i). Solve c*p + 5*p - 25 = 0 for p.
5
Let z = 7 - -3. Suppose 2*i + 3*i = z. Let t be (0/8)/(0 - -1). Solve 0 = -i*d + 2 - t for d.
1
Suppose 3*h + 2 = 5*x, -1 = -h - 3*x + 3. Let n be h + (0 - (-1 + -1)). Let f = n - 3. Solve f = -5*o - 7 + 17 for o.
2
Let y be (1 + -1 + 1)*(-1 + 4). Solve y*h = -h + 4 for h.
1
Suppose -n - 2*n + 5*j = 9, -4*n + 3*j - 23 = 0. Let k = n - -10. Solve k*x = -2*x for x.
0
Let g(i) = -i**3 + 6*i**2 + 8*i - 4. Let b be g(7). Let y be 4 - (b + (-9)/3). Let v = -4 + y. Solve -s + 4*s - 6 = v for s.
2
Let a be (4 + -3)*(-3)/(-1). Solve -a*b + 2*b = 4 for b.
-4
Let f(d) = -d**2 - 5*d - 4. Let a be f(-4). Solve a = 4*j - 32 + 12 for j.
5
Suppose d - 6*d + 85 = 5*f, -4*f + 5*d = -41. Suppose 0 = 3*m + 3*i - 27, 0*m + 24 = 5*m - 2*i. Let n = f - m. Solve p + p - n = 0 for p.
4
Let m = 9 + -3. Let d(g) = 5*g**2 + 7*g + 5. Let k(z) = -26*z**2 - 36*z - 26. Let f(j) = 16*d(j) + 3*k(j). Let s be f(-2). Solve -s*t = t + m for t.
-2
Let s(i) = -5*i**2 - 5 + i**3 + 3*i**2 - 7*i**2 - 10*i + i. Let u be s(10). Solve 0 = -u*y - 0 + 25 for y.
5
Let s(r) = -r**3 - 5*r**2 + 7*r + 9. Let m be s(-6). Solve -m*l + 4*l = -2 for l.
-2
Suppose 3*v = -4*o + 6*v + 15, 3*o - 21 = -v. Let i be 27/o - 2/4. Solve 0 = i*r - 0*r - 12 for r.
3
Let b(f) = -f**3 - f**2 + 4*f + 3. Let k be b(-3). Let z be (9/k)/((-1)/(-3)). Let q(s) = s + 2. Let w be q(3). Solve -2*t - w = z*t for t.
-1
Suppose 10 = 4*s - 2*r, 0*s = -4*s - 5*r - 25. Solve s*i = i + 1 for i.
-1
Let n be (-24)/(-15) + (-16)/(-40). Solve -u + 3*u - n = 0 for u.
1
Suppose 7*k - 22 = 62. Solve -m - 3*m - k = 0 for m.
-3
Suppose 4*l + r - 13 = 0, -2*l - 13 = -5*l - 4*r. Suppose 0 = -y + 2*p + l*p + 18, 0 = -y + p + 2. Let q be -1*(y + 2 + -9). Solve b = q - 4 for b.
5
Let k be 33 + 2 - (1 + 0). Let m be ((-15)/(-9))/((-3)/(-9)). Let b be (-2)/m + k/10. Solve 2*g - b = -g for g.
1
Let r(q) = q**2 - q + 2. Let t be r(0). Solve 1 = 3*b - t for b.
1
Suppose 0 = 3*s + 5*b + 10, -2*s = -4*b + 2 - 10. Suppose 4*q + 2*p + 2 = s, 3*p = 4*q - p - 4. Solve q*w - 5*w = -10 for w.
2
Suppose -4*j + 3*j = 0. Suppose 30 - 10 = 5*f. Suppose 0*u + 17 = f*u + 3*d, -19 = -4*u - d. Solve u*h + j = 15 for h.
3
Let q = 107 - 107. Solve q = -a - 4*a + 5 for a.
1
Let i(p) = p**3 + 6*p**2 - 2*p - 4. Let b be i(-6). Suppose x - b = -0*x. Solve -x = -q + 3*q for q.
-4
Let u be (-22)/66 + 28/(-6). Suppose 3*z - 14 = -f, f + 22 = 3*f + 4*z. Let d = u + f. Solve d*g - 5*g = 0 for g.
0
Suppose 0 = 2*f - 61 + 53. Solve g = f*g for g.
0
Let w be (-560)/(-72) - (-2)/9. Solve w = r - 3*r for r.
-4
Suppose -b - 2*d + 72 = -8, -b + 84 = 3*d. Let c = -47 + b. Suppose 3*t - c = -2*t. Solve 0 = -t*x + 3 + 2 for x.
1
Let l be 6/36 - 2/12. Let r be 0*(l - (-4)/(-16)). Solve r = 4*x + 3 + 5 for x.
-2
Let v = -14 + 16. Let m be (-9 - -12) + v/(-2). Solve 0 = -3*b + m*b for b.
0
Let c(a) = -a**2 - 10*a - 7. Let z be c(-9). Solve 3 = -w + z for w.
-1
Let d be 1 - (1*-2)/(-2). Let m(a) be the first derivative of -a**4/4 - 4*a**3/3 + 3*a - 3. Let q be m(-4). Solve d = 2*n - q - 7 for n.
5
Let j = 8 + -6. Suppose s = j*s. Suppose 4*v = d + 2*d - 9, s = -3*v - d + 3. Solve v = p + 4 for p.
-4
Let v(i) = 2*i**2 - 6*i - 6. Let t be v(-4). Suppose 4*o - t = -o. Let j be (-75)/o*2/(-3). Solve 5 = -j*h - 0 for h.
-1
Let f(b) = 2 + 2 - 5 + b**2. Let l be (0 - -1 - 4) + 0. Let k be f(l). Solve 3*v + k = 5*v for v.
4
Let x be (0 + 0)/(-4 + 2). Solve x*z = -z for z.
0
Suppose -7 = 2*a + 5*r + 2, 0 = 3*a + 4*r - 4. Solve -a = -5*c - 3 for c.
1
Suppose j = -2*g - 1 + 6, 5*g - 2*j = -10. Solve -10 + g = -5*u for u.
2
Suppose 3*p = p. Solve -5 = i - p*i for i.
-5
Let y be 0/(6/(-1 + 4)). Suppose 4*m = -y*m. Suppose -2*f + 4*f - 32 = m. Solve -4 + f = 4*d for d.
3
Let v be (-4)/((-10)/4 - -2). Let o = v + -5. Solve -1 = o*d + 8 for d.
-3
Let z(y) = 0*y + 0*y + 2*y. Let n be z(2). Suppose 4*l - 22 = -5*v, 3*l - 13 = -n*v + 4. Solve v*f + 3 = -f for f.
-1
Let q be (-3)/(-9)*3*27. Let c be 0 - q/(-6)*-2. Let g = 17 - c. Solve -4*a + g = 6 for a.
5
Suppose -40 = -4*d + 24. Solve -4 - d = -4*r for r.
5
Let u be 2 + -6*(-1)/2. Solve t + u = 1 for t.
-4
Let s(h) = -h**2 - 5*h + 1. Let d be 3/24 - 99/24. Let z be s(d). Solve -z*f + 1 + 14 = 0 for f.
3
Let g(f) = 2*f**2 + f - 1. Let k be g(1). Let o be 4*k/2 + -2. Suppose -18 = -2*r - 3*q, -r - 5*q + 1 = -1. Solve o*l + r = -l for l.
-4
Let w = 43 + -35. Solve 4*n + 12 + w = 0 for n.
-5
Suppose -2*u + 1 = t, 5*u - 14 - 11 = 5*t. Suppose u = -3*p + 4*p. Solve 2*b = -p*b + 8 for b.
2
Let j(i) = i - 6. Let h be j(6). Suppose -4*z = -h*z. Let x = 2 - z. Solve -x*c = -0*c for c.
0
Suppose -4*k + 14 = p, 0 = k - p - 0 - 1. Suppose k*d = -3*t + 6, -5*t - 5 = 2*d - 0*t. Solve 0 = 4*g - 5*g - d for g.
-5
Let z = -22 + 24. Solve -z*m + 5 = 3*m for m.
1
Let d(w) = w**3 + 3*w**2 - 5*w - 2. Let x be d(-4). Let t = -26 - -48. Suppose -t = -2*k - c, 5*k - 4*c - 44 = x*k. Solve k - 2 = -2*a for a.
-5
Suppose -19 = -a - 5*w, -3*a - 3*w + 25 = a. Suppose -3*v = -5*v + a. Let n = 10 + -4. Solve n = -v*l - 0*l for l.
-3
Let b(w) = w**2 - w - 5. Let t be b(0). Let q be (33/22)/((-6)/20). Let a = q - t. Solve a*v = -4*v - 16 for v.
-4
Suppose -5*d + 56 = -0*x - x, -4 = -2*d + 5*x. Solve d = j - 4*j for j.
-4
Suppose 2*k + 1 - 1 = 0. Let p = 2 - 4. Let q be (6/(-1))/(4/p). Solve q*m - m - 10 = k for m.
5
Let t = 6 + -4. Let s = t - 2. Suppose s*g + 23 = 4*y - 5*g, 0 = -3*y - 2*g. Solve -4*d + y = -3*d for d.
2
Let y = 3 - 1. Solve -t - t - y = 0 for t.
-1
Suppose 0*u = 3*u + 4*t - 19, -5*u = 5*t - 25. Solve -q = -0 - u for q.
1
Suppose 26 = -3*y - 2*d + 80, -2*y = 2*d - 36. Solve -2*b + y - 8 = 0 for b.
5
Let d(n) = -n + 6. Suppose -8*r + 4*r + 16 = 0. Let t be d(r). Solve -3*c = -t*c - 1 for c.
1
Let b = -3 - -5. Suppose -3*t + 11 = -5*i, b*t + 4*i - 2 = -t. Let u be 1 - 3 - -3 - -1. Solve 0 = u*d + 8 + t for d.
-5
Let a(b) = b**3 - 2*b**2 - 3*b + 4. Let j be a(3). Suppose -j*r + 4 = 5*m, -2*r + 5 = 13. Let q be 10/3 + m/6. Solve -q*z + 3 = -z for z.
1
Suppose 40 = -5*o + 60. Solve 8 = -w + o for w.
-4
Suppose -11*r = 5*r - 16. Solve 1 = -g - r for g.
-2
Let j(o) = 2*o - 2. Let c be j(4). Let s be 2/(-6) + 2/c. Solve s*n = n for n.
0
Let h = -2 - -5. Suppose 1 = -h*j + 7. Solve -2*g - j = -0*g for g.
-1
Let y be (-1)/(-4) + 354/24. Solve -2*q = -7*q + y for q.
3
Let p = -9 + 18. Solve p*l = 4*l - 25 for l.
-5
Suppose -2*o - 12 = -0*o - 4*w, 0 = -o - 4*w + 12. Let a = o + 0. Solve a = -2*d - 2*d for d.
0
Let k = 8 - 6. Suppose -k*t = t. Solve 0 = r - t*r - 3 for r.
3
Let r be -3*(3 + 22/(-6)). Let y(w) = 2*w - 1. Let k be y(r). Solve k*a + 2 = 2*a for a.
-2
Let b be 4 + -2 + 2 + -1. Suppose 3*h + 3 = -b*s - 0*h, 0 = -4*s + 2*h + 26. Let y be (s/(-6))/((-5)/30). Solve 2*d = -2*d + y for d.
1
Suppose -2 = 3*y - 20. Suppose -3*h + y*h = 2*v + 6, -h + 7 = v. Let n = -3 + v. Solve i + 1 = -n*i for i.
-1
Let r = 9 + -5. Suppose -r = 4*f - 0*f. Let g be 6 - (0/f + 1). Solve 2*s - g*s + 9 = 0 for s.
3
Suppose 2*p - 9 + 1 = 0. Suppose 24 = p*k - 0*k. Suppose -k*q = -2*q - 40. Solve w - q = -w for w.
5
Let d = 9 - 8. Suppose m + d = 5. Solve 5 + m = -3*n for n.
-3
Let x = 53 + -50. Solve -x*y - 1 + 16 = 0 for y.
5
Let k be ((-18)/21)/((-9)/(-84)*-2). Solve 6*j = 2*j + k for j.
1
Let u = 10 + 0. Suppose 4*t = 2*t - 10, -3*w + 2*t = -16. Solve -u = 4*k - w*k for k.
-5
Let q(w) = w - 2. Let d be q(7). Let n = d - 3. Solve -n*j = -4*j for j.
0
Let f be 1*-3*(-10)/6. Solve -2*a - f = 3*a for a.
-1
Suppose -2*r + 4*v - 8 = 0, 4*v - v = -15. Let y be (r/4 - -1)*-8. Solve 3*m + 5 = y for m.
5
Suppose -5 = 6*c - 7*c. Suppose -2*n + 11 - c = 0. Solve 0 = -n*d - d for d.
0
Let x = 32 - -3. Let g be (-2)/10 - (-7)/x. Solve 2*j = -g*j - 2 for j.
-1
Suppose 5*p - p = 2*p. Solve -6*w + 7*w - 5 = p for w.
5
Suppose -5*u = 0, -u + 2*u = 5*z - 35. Solve -z*d 