et r be 3*(h/(-3) - 3). Solve 0*g + c = -r*g for g.
-3
Suppose 13 - 7 = 2*d. Suppose 0 = 3*h - 3 - 15. Solve h = d*w - w for w.
3
Let d be 109/4 - (-2)/(-8). Let k(x) = -2*x**2 + 10*x + 12. Let t be k(5). Suppose 5 = o + 2. Solve -d = o*v - t for v.
-5
Let j be (-1 - 1)*(-10 + 8). Solve -5*w = -j*w - 1 for w.
1
Let y(q) = 3*q**2 + 11*q + 4. Let u be y(-4). Solve u = -0*j + 4*j for j.
2
Suppose -9*h = -14*h. Solve m - 2*m + 5 = h for m.
5
Let k = -10 - -15. Let i = k - 1. Suppose 5*c - 15 = -5*f, i*f + 6*c - c = 11. Solve -b + f - 1 = 0 for b.
3
Let u be (-6)/15*(7 - -3). Let i = 8 + u. Solve -i*k = 1 - 5 for k.
1
Let y be 5/(0 + 0 - -1). Suppose -9 = -2*d - 4*g + y, 0 = -3*g. Suppose -3*a = f - 4 - 1, a - 5*f - d = 0. Solve a*j - 5*j = -12 for j.
4
Suppose -16*p = -20*p + 8. Solve 5*o + p = -8 for o.
-2
Let v = -11 - -14. Solve -3*f = -0*f - v for f.
1
Let v = -85 + 85. Solve j + v*j - 3 = 0 for j.
3
Let t = 7 - 4. Let m be (-5 + t)*94/4. Let p be m/(-7) - (-4)/14. Solve -p = 2*g + 3 for g.
-5
Let r be (-1 - -3) + 10/(-5). Solve v - 5*v + 12 = r for v.
3
Suppose 3*o - 12 = -0. Solve 0 = o*h + h - 5 for h.
1
Suppose -23 = -5*q + 4*h + 14, 4*h + 12 = 0. Suppose -r - 4*r + q = 0. Let a be -2 + 4 - 2*r. Solve a = -0*c + 5*c - 20 for c.
4
Let j be 1 + 0 + 3/((-3)/(-19)). Solve 3*i = -5 + j for i.
5
Let i be 4/(-10) + 2 - 6/(-15). Solve 0*c - i = -2*c for c.
1
Suppose -2*b = -v - 36, 0*b + 2*b - 44 = -v. Solve 2*y + 3*y = b for y.
4
Suppose 18 = -3*n + 12*n. Solve n*q = -3*q + 20 for q.
4
Let m = 41 - 41. Solve -f + 3 = -m for f.
3
Let o = -20 + 25. Solve -o*a = -a + 12 for a.
-3
Let i(x) = 5*x**2 - 2*x - 1. Let a be i(-1). Let r be (-1)/(-3) + a/9. Solve r = m - 4 for m.
5
Let d(l) = -2*l + 8. Let c be d(10). Let g = -6 - c. Solve -3*i = -0*i - g for i.
2
Let k = 17 - 10. Suppose 2 = -p - 2*o, 2*p + 8*o - 3*o + k = 0. Solve t + p = 2*t for t.
4
Suppose 0 = t - 3*t + 8. Suppose 6 = j - t*j. Let l be (3 + -2)/(j/(-10)). Solve 0 = -2*g + l*g + 9 for g.
-3
Let q(v) be the third derivative of v**6/120 - v**5/12 - 7*v**4/24 + 7*v**3/6 - v**2. Let d be q(6). Suppose 42 - 15 = 3*y. Solve -d = -2*a - y for a.
-4
Let g = -9 - -22. Solve -4*m + g = 29 for m.
-4
Let h(f) = -2*f**2 + 10*f + 7. Let d be h(5). Solve -3*i + 5 = -d for i.
4
Suppose -4*h + 3*g = 3, 0 = -2*h + h - 3*g + 3. Let w(n) = -n**2 + 11*n - 16. Let c be w(9). Solve -q - c*q = h for q.
0
Let b(v) = -2*v - 2. Let a be b(-3). Let z be (-36)/(-3) + 1 + 1. Suppose y - 16 = 5*p, -2*p = a*y - z - 6. Solve 0 = -4*l + y*l + 10 for l.
-5
Suppose 2 = r - 3. Suppose 4*u = u. Solve -20 = -r*m - u*m for m.
4
Let u(p) = p**2 - 3*p. Let w be u(4). Suppose 5*k - 4*v = 100 + 18, 4*k = 2*v + 92. Let c = k + -8. Solve -6 = -w*n + c for n.
5
Let o(v) = -v**2 - 5*v + 2. Let t = 5 + -10. Let g be o(t). Solve 3 - 13 = g*h for h.
-5
Let t be ((-3)/(-9))/((-2)/78). Let l = t - -18. Suppose 4 = l*u - 11. Solve -u*g - 2*g = 0 for g.
0
Suppose -o = 3*g, -4*g + 3*g = 5*o. Suppose 0 = 4*r + 3*v - g*v + 6, -3*v = 3*r + 6. Suppose r = -0*w + 3*w. Solve w = 6*u - 3*u + 3 for u.
-1
Let c be (2 + -3 - -1)/2. Suppose -2*q - f = -9, c = q - 3*q - 4*f + 18. Solve b + q - 5 = 0 for b.
2
Let p(m) = 2*m + 7. Let s be p(-5). Let l be 3 - ((-6)/2)/s. Solve a - 2 - l = 0 for a.
4
Suppose 3*p - 5 = -2*p + 5*q, -p + 5*q = 15. Let y be 4/2*(0 + p). Solve -3*a + y = 1 for a.
3
Let m(v) = 4*v + 19 - 7 + v - 4*v. Let u be m(-9). Suppose 2*i - u = -i. Solve -3 + i = g for g.
-2
Let p be -5*3*1/(-3). Solve 0 = p*s - 2 + 7 for s.
-1
Suppose -r - 2 = u + 2, u + 20 = 3*r. Let v(x) = x**2 + 6*x - 17. Let o be v(-9). Let y be (-5)/(o/u) - 1. Solve -10 = d - y*d for d.
5
Suppose -4 = 5*w - 2*d, 3*w = -2*d + 5*d - 6. Suppose 30 = i + 4*i. Suppose 5*p - 9 - i = w. Solve 2*n - p*n = 0 for n.
0
Suppose 4*u = -5*o - 10, -6*u - 3*o - 6 = -u. Let l be 1 + 1*(u + -1). Solve -z + 0*z + 1 = l for z.
1
Let j = 3 + -1. Solve -4*m = -j*m for m.
0
Let y(r) = -r + 9. Let g be y(8). Solve 0 = z - 4 + g for z.
3
Let f = 5 - 5. Suppose -4*i + 15 + 1 = f. Solve -k + i = -3*k for k.
-2
Let j(h) be the third derivative of 25*h**4/24 + h**3/3 + 3*h**2. Let d be j(-2). Let b be d/10*10/(-3). Solve -4*k - b = -0 for k.
-4
Let p be 3/(3 - 0) + 0. Let q = p + 2. Solve 2 = q*u - u for u.
1
Let h(m) = m**2 + 4*m + 2. Let z be h(-4). Suppose 0 = -z*d + 1 + 3. Let g be 1/2*d*8. Solve g = -v - v for v.
-4
Let q(u) = -2*u**2 + 22*u + 24. Let k be q(12). Solve k = -2*m - m - 15 for m.
-5
Suppose 0 = 4*i - 2*i + 2*i. Solve i = 4*x + 1 + 15 for x.
-4
Let g(n) = -n**3 + 18*n**2 - 17*n + 20. Let t be g(17). Solve -2*h = 2*h + t for h.
-5
Let l be 98/8 + 3/(-12). Let f be 38/8 - l/16. Solve -f*v = 11 - 3 for v.
-2
Let m = -2 + 5. Solve -m*x - 2*x + 5 = 0 for x.
1
Let z(m) = -17*m - 1. Let s be z(2). Let i be s*2*(-2)/10. Suppose -5*j = -6 - i. Solve -1 = j*v + 3 for v.
-1
Let x(i) be the first derivative of i**4/4 + i**3 - 2*i**2 + 1. Let j be x(-4). Solve j*b - 3*b + 12 = 0 for b.
4
Let r(n) = -n - 4. Let l(b) = -4*b**2 - b. Let q be l(1). Let k be r(q). Solve 3*f + k = 4 for f.
1
Let m = 10 + -8. Solve 0 = t - m for t.
2
Let h be (-24)/(-5) + 6/30. Suppose h*w + 15 = 3*c, c - 5*c = 5*w - 20. Solve 0 = 5*y - 5 - w for y.
1
Let u be (-4)/(-14) - 264/(-56). Suppose u*s + 4*k - 5 - 3 = 0, 0 = 4*s + 3*k - 7. Solve -2 - s = -3*t for t.
2
Let u = 7 - 5. Suppose 0 = -5*k + 2*j + 25, -2*j - 5 - u = k. Solve k*t - 12 = -t for t.
3
Suppose -1 = t + j + 2, 16 = 3*t - 2*j. Solve -p + t = -2*p for p.
-2
Suppose -5*t + 7 + 13 = 0. Let y = 9 - t. Solve y - 25 = 4*m for m.
-5
Let o(c) = c**2 - 7*c + 5. Let t be 5/((-15)/(-21))*1. Let a be o(t). Solve 0 = a*q - 2*q for q.
0
Let y(u) = u**2 - 6*u - 10. Let h be y(8). Suppose 0 = 5*w - 9 - h. Solve 6 + 6 = -w*z for z.
-4
Let w = -37 + 30. Let m be -4*(w + (1 - -1)). Solve -4*c - m = c for c.
-4
Let i = 34 - 26. Solve 4*o - i = -0*o for o.
2
Let s = 3 - 1. Let x be -1*12/s - -1. Let i be (-102)/x - 4/10. Solve -2*b - 2*b = -i for b.
5
Let u be 10/(-14) - -1 - 190/(-70). Solve -4*x = -5*x + u for x.
3
Let b = -35 + 37. Solve 5*q + 7 - b = 0 for q.
-1
Let h be 4 - (1*-2)/2. Suppose -4*d - x = -3*d - 9, -2*x = 0. Solve -2*k + d = -h*k for k.
-3
Let u(l) = l**2 + 5*l - 7. Let d be u(-7). Let f = 5 + 6. Let j = 14 - f. Solve 4*b - j = -d for b.
-1
Let i be (-66)/9*3/2. Let c = -6 - i. Solve 0 = c*z - 12 - 3 for z.
3
Let u be (-10 + 9)*(-5 - 1). Solve 2*h - 5*h = u for h.
-2
Let k be (-14 + 10)*(0 + -1). Suppose -5*y + 3*v = -11, -y + 8 = k*y - 4*v. Solve 15 = y*b + 3 for b.
3
Suppose 2*p - 3*j = 0, 4*p + 4*j = -j. Solve p*i = i + 2 for i.
-2
Let v = 24 + -21. Solve -v*i - 1 = -2*i for i.
-1
Suppose -15*o = -19*o + 60. Solve 2*t = 5*t - o for t.
5
Let x(y) = -y - 2. Let c be x(-2). Let w(d) = d. Let b be w(c). Solve 4*i = -b*i - 20 for i.
-5
Let u be 3*-1 + 13 + -10. Solve u = -l + 4*l + 3 for l.
-1
Let l(u) = -u + 6. Let y = 19 - 16. Let s be l(y). Solve s*p = 2 + 7 for p.
3
Let w(o) = -o + 7. Let g be w(5). Solve 5*h = g*h for h.
0
Let s be ((-20)/25)/((-1)/5). Solve m - s = -0 for m.
4
Let y(h) = -h**3 - 4*h**2 + 4*h + 2. Let t be (1 + -11)*2/4. Let n be y(t). Let s be 38/14 + 2/n. Solve -s*k + 1 = -2 for k.
1
Let t = 5 - 7. Let x(r) = r**2 + 2*r + 1. Let i be x(t). Solve -i - 4 = -b for b.
5
Suppose 4*u + 25 = -u. Let i(f) = 1 + 2 - 6 + f - 2*f. Let z be i(u). Solve -1 = a - z for a.
1
Let u(r) = r**3 - 2*r**2 + 2*r - 4. Let v be u(3). Suppose -11 = -5*q + g, 4*g + v = 2*q + 3. Suppose -q*a - a + 15 = 0. Solve -4 = a*h - 19 for h.
3
Let g(o) = -o**2 - 8*o + 12. Let b(m) = 4*m - 1. Let w be b(-2). Let u be g(w). Let p be 15/4 + 1/4. Solve -p*z + 1 = -u for z.
1
Let l = 5 - -1. Let b be 8/l*6 + -4. Solve 4 = -b*q - 4 for q.
-2
Let a(c) = -c + 20. Let r be a(16). Solve -2*q + 4 = -r for q.
4
Let g = 1 - 3. Let a be (-17)/(-6) + g/(-12). Solve -6*v + 9 = -a*v for v.
3
Let t(m) = m - 1. Let i be t(3). Let d be 4/(-10) + (-120)/(-50). Let q be (d - 1) + (-1 - -1). Solve -q = -3*l + i for l.
1
Suppose -2*a + 3 = a. Let b be (1 + -4 + 3)/a. Let s be 2/(-4) + 11/2. Solve b + 5 = s*i for i.
1
Let g(d) = 4*d - 6*d + d**2 + 6*d - 3*d**2. Let s be g(3). Let i be (-33)/s + 2/4. Solve 4*b + i = b for b.
-2
Suppose 12 = 3*w - 3*v, 5*w - 8 = w + 2*v. Solve -l + w = -5 f