be (3/3)/(-2)*30. Let h = -10 - x. Solve h = 2*b - 5 for b.
5
Let l = -11 + 5. Let s be (l + 2)*-1 + 1. Solve -u + 6*u - s = 0 for u.
1
Suppose -12 = u - 4*u. Solve 0 = u*a - 2 - 6 for a.
2
Let w = -19 - -43. Suppose 3*a + 2*f - 4 = 1, -3*f = 2*a + 5. Suppose -w = 2*i - a*i. Solve -m + i = m for m.
4
Let t be 0 + (-2)/(2 + 0). Let l be (0 - t)*-6*-2. Solve -m - l = -4*m for m.
4
Let b = -2 - 2. Let u be 2/b*16/(-4). Solve u*v - 10 = -0*v for v.
5
Let c = -29 - -32. Solve -z = 1 + c for z.
-4
Suppose -x = -2*x + 6*x. Solve 0 = -x*a - a + 4 for a.
4
Let b(y) = -y**3 - 5*y**2 + 6. Let n be b(-5). Solve -n = -5*d + 9 for d.
3
Let n be 0 + 8/5 + 2/5. Let d = -1 - -3. Solve 0 = -n*z - d*z - 16 for z.
-4
Let t be 2 + 2 + (-2 - -3). Suppose -t*b + 8*x = 3*x + 5, 2*x = 4*b - 2. Solve 0*n = b*n + 2 for n.
-1
Suppose -2*i + 2 = -2. Solve -i*k + 1 + 1 = 0 for k.
1
Let f(r) = r**3 + 8*r**2 + 6*r - 3. Let n be f(-7). Solve n*p = p for p.
0
Let s = -5 + 7. Let o be (-6)/6*2/(-2). Let w be (-3)/o - -5 - 2. Solve s*f - 8 + 0 = w for f.
4
Suppose 0*d = -5*d. Let k(z) = -z**2 - 2*z + 2. Let h be k(-2). Solve -h*c - 6 = -d*c for c.
-3
Suppose 5*c = -3*l + 35, 0 = 4*l + 2*c - 3 - 25. Suppose -12 - 10 = 4*w + o, 2*w + 5*o + 20 = 0. Let j = w - -13. Solve u = l*u - j for u.
2
Let i = 1 + -2. Let q(l) = -5*l. Let z be q(i). Let a(m) = m**3 - 6*m**2 + 6*m. Let u be a(z). Solve 3*v = u*v for v.
0
Suppose -26*v + 21*v = -20. Solve 0*u + 4 = v*u for u.
1
Let q = -7 + 10. Suppose -o + 6*o + q*k - 12 = 0, -4*o + 3*k - 12 = 0. Let m be (-6)/(-9)*1*3. Solve m*c - 3*c = o for c.
0
Let c(w) = -w**3 - 3*w**2 + 2. Let m be c(-2). Let r be (-1)/m*(-6 + 10). Let t(o) = 2*o**2 - 2. Let k be t(r). Solve g - k*g = 10 for g.
-2
Let t(d) = 2*d**2 + 4*d + 2. Let o be t(-2). Let c = 2 + -2. Suppose o*n = -c*n. Solve n*u + 4 = -u for u.
-4
Let y = 1 - 1. Solve y*o + 16 = -4*o for o.
-4
Let s = 0 + 2. Suppose 3*v + 2*l - 4 - s = 0, 0 = -5*v - l + 10. Solve v*x = 3*x - 4 for x.
4
Let h(a) = -a**2 + 6*a - 2. Suppose 6*i = 5*d + i, -5*i + 20 = -d. Let w be h(d). Solve -15 = w*z + 2*z for z.
-3
Suppose 2*c = -0*c + 40. Solve -3*x - c = 2*x for x.
-4
Let p(n) be the first derivative of 1 - 13*n + 11/2*n**2 + 1/4*n**4 - 10/3*n**3. Let d be p(9). Solve 0 = -0*s + d*s for s.
0
Let t be -4 - ((-7)/1 - -3). Solve 3*y + 0*y - 6 = t for y.
2
Let c be (-5)/2*-2*(-12)/(-15). Solve 3*b - 2 = c for b.
2
Suppose -d = -5*d + 16. Suppose -t = -2*b + d, 4*b - 20 = -0*b - 4*t. Suppose -2*x - x - 12 = -b*s, 4*s - 2*x - 12 = 0. Solve s*h = 4*h - 8 for h.
4
Let l = -37 + 13. Let n be (-12)/l*(3 - 1). Solve 1 = -2*k - n for k.
-1
Let m be ((-8)/4)/(2/5). Let s = 5 + m. Let r be (-2 - 0) + s + 2. Solve -4*t - 3 + 15 = r for t.
3
Let i be (3 + -4)*1*10/(-2). Let q(x) = -x**3 + 5*x**2 - 5*x + 4. Let v be (1 - 0) + 1 + 2. Let r be q(v). Solve -s - 2 + i = r for s.
3
Let v be 1/(-5 - 80/(-15)). Solve 6 = v*h - 6*h for h.
-2
Let k = -3 - -6. Let s(q) = 9*q**3 + 2*q**2 - 1. Let w be s(1). Let f be 1177/231 - 2/21. Solve -k*t + w = -f for t.
5
Let f be (2 + (2 - 0))/1. Let a(c) = c**2 - 2*c - 4. Let g be a(f). Solve -12 = -g*w - 0 for w.
3
Let q be (-7)/(-2) + 1/(-2). Suppose -q*v = 4*d - 28, 5*d + 4*v - 2 = 34. Let p(x) = x**3 - 2*x**2 - 2*x - 3. Let u be p(3). Solve u = d*y - 21 + 1 for y.
5
Suppose 4*i - 8*i + 8 = -4*r, 19 = 5*i - 2*r. Solve i = 6*c - c for c.
1
Suppose -5 = 3*b - 4*b. Let z(j) = -3*j + 4. Let n be z(b). Let v = n + 21. Solve 4*x - v = 2*x for x.
5
Suppose -13*u + 6*u = -28. Solve 5*s - 6 - u = 0 for s.
2
Let k(i) = i**3 - i**2 - i - 4. Let o be k(3). Let j be 2/o - (-42)/11. Let z be 1/2 + (-27)/(-6). Solve -25 + z = j*b for b.
-5
Suppose 60 = 6*h + 12. Suppose 0 = h*s - 10*s. Solve x - 3 = -s for x.
3
Let y = -3 - -5. Suppose 3*b - 13 = -3*k + b, b - 4 = k. Solve m - k = y*m for m.
-1
Suppose 0 + 8 = 4*a. Suppose 0 = 4*y + 4*v - 60, -5*y = -0*v + a*v - 75. Solve -2*q = 3*q + y for q.
-3
Let v(i) = -i**2 - i + 4. Let j be v(2). Let c = j + 3. Solve -5*z + c = -4 for z.
1
Suppose 0 = 5*i, -5*d + 2*i + 5 = -i. Let t be ((-1 + -3)*d)/(-2). Let a be 2 + -1 + 4/(-4). Solve 5*s - t*s = a for s.
0
Suppose -23 = -3*o + 1. Let t(f) = f**2 - 6*f + 9. Let a be t(o). Solve n + a = -4*n for n.
-5
Suppose -8*x + 6 = -4*x + g, 3*x - 2*g = -1. Solve x = 5*h - 14 for h.
3
Let c(r) = -r**2 - 4*r + 2. Let l be c(-5). Let u be (0/2)/l*1. Solve -o + 3*o - 2 = u for o.
1
Let p = 49 + -39. Solve 2*s = -0*s + p for s.
5
Suppose -o = -8 + 2. Let f(d) = -2*d**3 - 2*d**2 + d - 1. Let l be f(-2). Solve -o + l = -v for v.
1
Let i be (-1)/5 - (-52)/10. Suppose -5*y - l = 2*l + 16, -i*l - 8 = -y. Let z = y - -7. Solve -z*u - 24 = -9 for u.
-3
Let i be -2*(-1 + (-4)/8). Suppose 5*g - i = 2*a - 0*a, -2*g = a - 3. Solve -3 = -l - a for l.
2
Suppose -2*p = -2 - 2. Let h = 0 - 0. Suppose -a = -h*a - p. Solve 0 = m - 1 + a for m.
-1
Let i be 7/(14/(-8)) - -5. Solve i = -a + 4 for a.
3
Suppose 7 + 3 = -5*q. Let u = q + 6. Suppose -u*a + 65 = -23. Solve -4*y + 2 - a = 0 for y.
-5
Let z(u) be the first derivative of u**4/4 + 4*u**3/3 - u**2/2 - 2*u + 1. Let g be z(-4). Solve 0 = -g*l + l + 1 for l.
1
Let o(c) be the third derivative of c**4/8 + c**3/6 + 4*c**2. Let x be o(2). Solve 3*b - x = 2 for b.
3
Let k(o) = 5 - 5 + 1 + 8 + 2*o**2 + 11*o. Let v be k(-7). Solve 0 = -5*t - v + 5 for t.
-5
Let f be -3*(0 - (-16)/6). Let y = 13 + f. Solve -y*d = -8*d - 6 for d.
-2
Let y be 1*(-3 + -1 - -9). Solve b - y*b = 16 for b.
-4
Let n = 72 - 70. Solve n = -3*d + 5 for d.
1
Let z(l) = 3*l + 10. Let u be z(-2). Solve -3*g = -u*g - 2 for g.
-2
Let m(i) = -3*i - 3. Let o be m(3). Let n = -1 - o. Solve -2*v = 1 - n for v.
5
Let b = -15 + 16. Solve 0 = -4*t + b + 3 for t.
1
Suppose 22 - 6 = 2*g - 2*r, 0 = 4*g + 3*r - 4. Suppose 7 = -g*l + 47. Solve 0 = 5*u + l + 5 for u.
-3
Let j(g) be the first derivative of g**2/2 - 9*g + 1. Let a be j(12). Solve f = -a*f + 12 for f.
3
Let h = 68 + -65. Solve 0 = h*j - 2*j + 5 for j.
-5
Let r = 0 + 1. Let q(s) = 1 - 7 + s - 5 - r. Let a be q(12). Solve 4*m = -a - 4 for m.
-1
Let l(z) be the third derivative of -z**5/60 - 5*z**4/24 + 5*z**2. Let m be l(-5). Solve m*v = 3*v + 12 for v.
-4
Suppose 3*d = -4*g - 1, 0 = 4*d + 5*g - g. Solve 0 = u - 2*u + d for u.
1
Suppose 10 = 5*m - 3*m. Suppose -2*u = m*b + 5, -5*u + u = -5*b - 35. Suppose -20 = -7*y + 2*y - 5*t, 5*t = -4*y + 12. Solve y + 7 = -u*d for d.
-3
Suppose -3*c - 82 = -2*m, -5*m + 88 = -0*c - 3*c. Suppose -62 = -x + 4*r, x - 2*r - 3*r = 66. Let t = c + x. Solve 0 = -2*s + 6*s + t for s.
-5
Let m(w) = -4*w**2 + 6*w + 3*w**2 + 0*w**2. Let r be m(6). Suppose -3*k + 12 + r = 0. Solve -n + k = -0*n for n.
4
Let u be ((-2)/((-4)/(-2)))/(-1). Solve 0 = 2*b - 7 - u for b.
4
Let m be 1/(((-6)/(-10))/3). Suppose m*x = 44 + 1. Solve -t = 2*t - x for t.
3
Let h(s) = 3*s. Let r be h(1). Suppose -3*c + 32 + 19 = 0. Solve c = 5*z - r for z.
4
Let f = 7 + 2. Let d = f - -3. Solve -6*h + d = -3*h for h.
4
Let k be ((-6)/7)/((-2)/14). Let a = -1 + k. Suppose 3*n = -4*i - 20, -4*n = -10*i + 11*i + 5. Solve 3*p + 2*p - a = n for p.
1
Suppose 4*m - 8 = 12. Let q = 6 - m. Solve 3*i - 5 = q for i.
2
Suppose 12*l - 38 = 34. Solve x - l = -3 for x.
3
Suppose -3*l = 4*a - 25, -4*a + a + 21 = 3*l. Solve -a*p + p - 9 = 0 for p.
-3
Let n be (-85)/(-20) + -1 + (-6)/(-8). Solve n*k + 16 = -0*k for k.
-4
Let g = 14 - 10. Suppose -3*y = -g*y. Solve d + y - 3 = 0 for d.
3
Suppose s = -s + 3*z + 13, -5*s - z + 24 = 0. Solve -s*c + 8 = 3 for c.
1
Let x(f) = f + 12. Let n be x(0). Suppose 6*o + n = 2*o. Let l = -1 - o. Solve -l*y = 2*y + 20 for y.
-5
Let x = 19 - 11. Suppose 3*b - 17 = -x. Suppose -3 = -b*p + 6. Solve -p*z = -z for z.
0
Suppose -4*n + 2 + 10 = 0. Solve -9 = 3*v - n for v.
-2
Let z(i) be the third derivative of -i**6/120 + i**5/60 + i**4/24 + i**3/3 - 5*i**2. Let d be z(0). Solve d*o - 16 = -2*o for o.
4
Let c be (-8 - (-3 + -1)) + 9. Solve 0 = c*l - 3 - 12 for l.
3
Let l = -40 + 43. Solve -l*t + 7 = -5 for t.
4
Suppose m + 25 = 2*x, 4*x - 5*m = 3*x + 35. Solve c - x = -c for c.
5
Suppose 2*k + 10 = 4*k. Solve 7*z = k*z + 4 for z.
2
Suppose 2*g - 1 = w, -5*w - 3*g + 6 + 15 = 0. Suppose -z = w*i + 1, -i = -z - 2*z - 3. Solve i = 2*r + 2*r for r.
0
Suppose 5*d + 7 = 22. Suppose -5*