a*g - h for g.
4
Suppose 33 - 8 = 5*d. Let k(l) = -d*l**2 - 12*l**3 + 0*l**3 - 5*l**3 + 4*l**2. Let n be k(-1). Solve -n = j + 3*j for j.
-4
Let s(y) = -y**2 - y + 11. Suppose j - 4*p + 8 = -12, -4*p + 20 = 5*j. Let c be s(j). Solve 3*k - 2 = -c for k.
-3
Let r(f) = 6*f - 1. Let k be r(-1). Let z = -3 - k. Solve -z*t - 2 = -6 for t.
1
Suppose -5*j + g + 0 = -5, 0 = -4*j + 5*g + 25. Solve -l - 3 + 0 = j for l.
-3
Let v = 22 + -32. Let u = v - -13. Solve -1 = p + u for p.
-4
Suppose -3*p = 6*p. Solve p = -3*z + 6 for z.
2
Let v(b) = -b**3 - 6*b**2 - 5*b - 5. Let x be v(-5). Let n be (-8 - x)/((-6)/40). Solve h + 3*h - n = 0 for h.
5
Suppose 0 = -4*w - 3*t - 21, w - 3*w - t - 13 = 0. Let c be (-24)/w*(-9)/(-12). Solve c*p = -2*p + 16 for p.
4
Let t(y) = y**3 + 16*y**2 - 16*y + 17. Let a be t(-17). Solve 5*i + 10 - 5 = a for i.
-1
Let m(h) = h**2 - 6. Let c be m(3). Solve -a + c = -0*a for a.
3
Let t = 18 - 17. Solve t = 3*f - 8 for f.
3
Suppose 7 = 3*q - 8. Let x(s) be the third derivative of -s**4/24 + 5*s**3/6 - 2*s**2. Let w be x(q). Solve w = t - 1 + 3 for t.
-2
Let j = 41 - 37. Solve 2*y = -j - 6 for y.
-5
Suppose -3*x + 4*r - 2 = -12, -2*r - 12 = -5*x. Solve -x*z = z + 6 for z.
-2
Let d be 1 - -4 - (2 + 1). Solve 0 = -7*z + d*z for z.
0
Suppose -4*q = 11 - 83. Suppose 0 = -2*k + 4*a - 0 + 24, 0 = -k - 4*a - q. Solve 3*i + k*i = 25 for i.
5
Let q(t) = -4*t**2 - 24*t + 1. Let d be q(-6). Solve -d + 3 = j for j.
2
Let p = -3 + 10. Suppose x = -3*v, p*v - 8 = -4*x + 3*v. Solve -2*s - x*s = 10 for s.
-2
Let n(g) = -g**3 + 6*g**2 + 6*g + 8. Let m be n(7). Solve -7 = 2*w + m for w.
-4
Let w(m) = -m**3 + 5*m**2 - 3*m - 3. Let u be w(2). Let l = 7 + 0. Let b = l - 2. Solve u + b = -2*t for t.
-4
Let b(z) = -2*z**3 + z**2 + 1. Let q be b(1). Solve r - 4 = -q for r.
4
Let k(g) = g**2 - g - 21. Let f be k(0). Let w = 31 + f. Let x(z) = -z + 5. Let u be x(3). Solve -3*c - w = u*c for c.
-2
Let b(t) = -3*t**3 - 2*t**3 - t + 3*t**3 + 3*t**3 - t**2. Let a be b(0). Solve a = s - 2*s + 4 for s.
4
Suppose 0 = -3*k - 15, 4*z - 5*k + k = 24. Solve i + 2 = -z for i.
-3
Let d(g) be the second derivative of g**3/2 - 2*g**2 + 3*g. Let q be d(2). Solve q = 4*h - 10 for h.
3
Let w be 30/5 + -1*1. Suppose 0 = 5*u + w + 5. Let r = u - -2. Solve r = 2*j - 2 + 4 for j.
-1
Suppose -4*x - 11 = -2*n - 37, 3*x + 2*n - 9 = 0. Let l be (4/6)/((-8)/(-420)). Suppose l = 2*k + 3*k + x*c, -k + 2 = -4*c. Solve -3*g = -k*g - 9 for g.
-3
Let l be 45/6 - (-3)/(-6). Solve 0 = 4*m - l*m for m.
0
Let h(l) = -9*l + 92. Let i be h(10). Let o = 7 - 2. Solve -o = i*x - 1 for x.
-2
Let r(p) be the second derivative of -p**3/3 - 3*p**2 + 3*p. Let v be r(-9). Solve 5*y = v + 8 for y.
4
Suppose -3*o = 3*p - 12, -p + 12 = 2*o - 3*p. Let v be 0/(-1 - 0) + 35. Solve o*w + 10 = v for w.
5
Let j(i) be the second derivative of i**3/6 + 6*i**2 - 5*i. Let b be j(-12). Solve 7*x - 2*x = b for x.
0
Suppose -5*a = -2*a. Suppose a*q + 10 = 5*q. Solve 0 = q*y - y for y.
0
Let p be 2 + 2 - (1 - 1/(-1)). Solve p*c - 2 = -6 for c.
-2
Let u = -2 - -4. Suppose 4*y - 6 = -5*w, 2*w - 14 = -y + 7*w. Solve -y*o = u + 2 for o.
-1
Let c(j) = j**2. Let q(k) = -6*k - 4. Let x(i) = -c(i) + q(i). Let z be x(-5). Let t = 3 - z. Solve t*n + 2 = -0 for n.
-1
Let d(g) = -3*g - 1. Suppose 0 = 2*n + n + 18. Let b be d(n). Let w = 6 - 3. Solve -b = 4*z + w for z.
-5
Let l be (2 - 1)*-2 + 7. Let u(i) = 6*i - 2. Let q be u(2). Suppose 7*w - 8*w = 0. Solve l*p - 10 - q = w for p.
4
Let f(n) = -n**3 + 2*n**2 + n - 2. Let z be f(1). Solve 5*c - 4*c + 5 = z for c.
-5
Let y be 76/95 - (8/(-5))/(-2). Solve y = -4*t + 3*t for t.
0
Let z = -8 - -16. Suppose 4*v - 25 = 3*d, 3 = v + 3*d + z. Solve -13 = -v*n - 1 for n.
3
Let s be 1/4 - 15/(-4). Suppose -6*u - 11 = -4*o - 3*u, 5*u - 3 = -s*o. Let m = -11 - -18. Solve -m - 3 = -o*d for d.
5
Suppose 3*p = -0*p + 9. Let z be (p - 5)*(-12 - -2). Let o = -7 + z. Solve 3 = -4*s - o for s.
-4
Let l = 16 - 13. Solve 4*s - 1 = l for s.
1
Let u = 2 - -7. Let n be (-58)/(-8) + u/12. Suppose g = 2*g - 4, 2*y + 2*g = n. Solve y = o + 3 + 2 for o.
-5
Let c be (-3 - 14/(-4))/(2/24). Solve i + 5 = c*i for i.
1
Suppose 75 = 5*r - 2*r. Let g be (4/6)/(2/6). Suppose 3*i + g*i = r. Solve -i*y + y = -16 for y.
4
Suppose 0 = -x - 0*r + r + 16, 5*r = 3*x - 50. Let w = -13 + x. Suppose a + 8 = 5*a. Solve o = w*o - a for o.
2
Suppose 4*o - 6 = 2*o. Solve -2 = o*n + 1 for n.
-1
Let z(i) = -i**2 - 6*i - 3. Let v be z(-3). Let b = 6 - -3. Let f = -7 + b. Solve t + f*t = v for t.
2
Suppose -3*w = 12, -4 = a + 5*w + 17. Suppose 5*p - 13 = 17. Let o = p + a. Solve -13 - 12 = -o*f for f.
5
Let y = -63 + 105. Let f be ((-3)/(-9))/(7/y). Solve 0 = p - f*p + 1 for p.
1
Let l(k) = k**3 - k**2 + 2*k + 4. Let c be l(0). Solve f - c = -f for f.
2
Let v = 1 - 3. Let p be (-2 + 2 - v)/2. Let n be p/((4/9)/4). Solve -3*i = -6 - n for i.
5
Let c(t) = -2*t - 2. Let u be c(-2). Let f be ((-9)/(-6) - u)*-6. Solve -f*h + 6 = -0 for h.
2
Let b be 15/4 + 2/8. Suppose b*c + 13 - 33 = 0. Solve -c*x = -2*x + 15 for x.
-5
Suppose -4*w = -4*n + n, 0 = -4*w - 4*n. Solve t + w*t = 3 for t.
3
Suppose -3*u - 8 = -5*u. Let v = -29 + 43. Suppose 3*c - u = v. Solve -c*m = -4*m + 6 for m.
-3
Let v(n) = n**3 + 9*n**2 + 9*n + 10. Let w be v(-8). Solve 1 = -w*f - 1 for f.
-1
Let i = 2 - 2. Suppose -2 = -3*w - i*h + 4*h, -5*h = 5*w - 15. Suppose -15 = -3*s - z, 4*s - w = 5*z - 1. Solve -s*a = a for a.
0
Suppose 24 = -5*s + 4, -2*s = 2*j. Suppose -1 = -3*v + 2*w + 4, 2*w - 2 = -j*v. Suppose -3 = -2*a - v. Solve 0 = -h + 4 + a for h.
5
Let z be (-4 - -5)*(1 + 1). Suppose -z*t = -3*t. Suppose 0 = -k - t*k + 4. Solve 2*g = 3*g - k for g.
4
Let h = 13 - 5. Let b = h - 7. Solve -13 = 3*r - b for r.
-4
Let y be 2/4*(-1 + 3). Suppose n - 1 = y. Suppose 0 = -3*h + 6, -10 = n*o + o - 5*h. Solve 2*i + o = 2 for i.
1
Suppose 3*f + 0*f = 4*j - 12, 5*f = -5*j - 20. Solve j = k - 3*k - 8 for k.
-4
Let x = 10 - 7. Let m = x - 1. Let a = m + 1. Solve -a*n = -0 - 6 for n.
2
Suppose 1 - 3 = -3*i - 2*v, -v - 5 = 0. Let g = 12 + 0. Solve 0 = 4*h - i + g for h.
-2
Let b(v) = -v**2 + 12*v. Let t(d) = -5*d**2 + 49*d. Let r(i) = -9*b(i) + 2*t(i). Let q be r(-5). Solve 0*y - q = 5*y for y.
-5
Suppose 4*a = 2*l + 7 + 11, -5*a + 3*l = -24. Suppose -2*w = 2*k - 8, -a*w + 6*w + k = 4. Solve w = -m - 0*m + 4 for m.
4
Suppose n + 12 = 4*b - n, -3*n = 5*b - 4. Suppose -2*h + 8 = b. Solve -h*f + 1 = -2*f for f.
1
Let a = -11 + 15. Solve 3*t = -a - 2 for t.
-2
Let l(t) be the first derivative of -t**3/3 + 3*t**2 + 8*t - 4. Let g be l(7). Solve 5*h = g - 16 for h.
-3
Let j be (-2)/(-7) + 68/7. Let q be 3 - 1/2*-14. Solve -j - q = -5*g for g.
4
Suppose 9*c + 15 = 6*c. Let h = c + 7. Solve x = -h*x for x.
0
Suppose 8*j - 9 = 23. Solve 3 = -j*d + 11 for d.
2
Let i be (11/(-2))/(4/(-8)). Solve 0 = 3*d - i - 1 for d.
4
Suppose 14 = 5*c - 21. Suppose o - 2*n - c = -1, -o = -5*n - 9. Solve 11 = o*f - 9 for f.
5
Suppose -4*v + t = -5, 3*v + 9 = -2*t - 1. Solve v*r = -5*r for r.
0
Let m(s) = 2*s**2 - 14*s - 16. Let x be m(8). Solve 0 = o - x - 1 for o.
1
Let f be (2/(-6))/(4/(-24)). Let x be 0/((2 - -2)/(-2)). Suppose 5*v + 25 = -0*j + 5*j, -5*v - 3*j + 15 = x. Solve f*y + 6 = -v for y.
-3
Let q(m) = -m + 2. Let j be q(-5). Let v be j + (-1 - -2) + -2. Solve 16 = v*k - 2*k for k.
4
Let o = -26 + 31. Suppose -r = -2*r + 2. Solve -o*w + r = -8 for w.
2
Let m(i) = -i**2 - 15*i - 13. Let w be m(-13). Suppose 0 = -5*u - 3 + w. Suppose -5*o = 2*c - 0*c - 35, c + 4*o = 25. Solve u*b = b + c for b.
5
Let i(p) = 21*p - 6. Let h be i(1). Solve m + h = -2*m for m.
-5
Let t be (-36)/10*20/(-6). Suppose -t = 5*j + 3*r, -4*j - 6 = r - 2. Let a be 2/4*(5 - 1). Solve a*x - 4 + 2 = j for x.
1
Let j = 16 - 16. Let l be -1 + (3 - (0 + j)). Solve l*t + 2 = -8 for t.
-5
Let p(v) = -2*v + 55. Let l be p(26). Solve l*u + 2*u + 20 = 0 for u.
-4
Let t(a) = -a**2 - 8*a + 48. Let y be t(4). Solve y = 9*w - 4*w for w.
0
Suppose 0 = 2*f - r - 9, f - 1 = 4*r + 7. Suppose l + 2*l - 15 = 0. Solve 0 = l*z + 14 - f for z.
-2
Let l = -17 - -37. Let q = l - 50. Let n = -10 - q. Solve -2*m = 2*m + n for m.
-5
Let x be 18/9 - -1*2. Let v = -13 - -38. Suppose -v = -b - x*b. Solve 12 = b*y - y for y.
3
Suppose -u - 2 = -2*u. Solve f - 