h*i for i.
-4
Suppose -5*s + 14*s = 36. Solve 4*i = s + 8 for i.
3
Let r(g) = -g**3 + 10*g**2 - 2*g + 12. Let q be r(10). Let n = q - -9. Let o = 117 + -113. Solve -n = -j - o for j.
-3
Let l = 31 - 35. Let x be (-10 + 5)*l/10. Solve -c = x + 3 for c.
-5
Let h be (-11)/3 + 2/3. Let q = -59 - -68. Let f = h + q. Solve -2*y - y + f = 0 for y.
2
Let r be 15 - (-10 - -4)*1. Solve -8*w + r = -19 for w.
5
Let o(d) = 2*d + 1. Let v be o(1). Let u be ((-40)/(-120))/(1/15). Solve v = u*j - 7 for j.
2
Let a(j) = 4*j**2 - 2*j - 1. Let m be a(-1). Let y be ((0 - 3) + 0)*(-160)/12. Suppose 4*l - 4 = y. Solve -26 = -m*f - l for f.
3
Let u(g) = g**3 + 13*g**2 + 28*g + 1. Let i be u(-10). Solve 20*d + 4 = i*d for d.
4
Let z be (-12 + 2 - -4) + 9. Solve 0 = 2*l - 1 + z for l.
-1
Suppose 0 = 2*s - 4 - 2. Suppose -2*m = -4*r + 8, r + 48 = -5*m - s*r. Let u = m + 10. Solve w - u*w = -2 for w.
2
Suppose -129 = 4*p - p. Let k = p - -47. Solve -2*n + k*n - 2 = 0 for n.
1
Let w(v) = 2*v - 4. Let r be w(5). Suppose 3*h - r*h = -9. Solve 2 = h*c + 8 for c.
-2
Let h(v) = -429*v + 3. Let l be h(0). Suppose 5*o - 15 = 0, 3*f + 2*o - 27 = 30. Solve 4*j + l + f = 0 for j.
-5
Let h = 18 + -10. Let o(v) = -v**2 + 9*v - 4. Let b be o(h). Suppose 20 = b*d + 4. Solve k = -k + d for k.
2
Let b be (-1 + 3)*(-6)/(-4). Let o be 20/(-6)*(-6)/(-45)*-18. Suppose 36 = -5*d + o*d. Solve 0 = -0*i + b*i + d for i.
-4
Suppose i = 6*i - 5*w, -4*i - 2*w = -30. Let b(m) = m**2 - 5*m + 6. Let z be b(i). Let l(k) = -k**3 + 6*k**2 + 7. Let j be l(z). Solve 0 = -2*t + j*t for t.
0
Suppose 4*i + 0*i + 12 = -4*z, -z + 2*i = -12. Let w = 1862 + -1862. Solve 2*f + z - 4 = w for f.
1
Suppose -4*m - 4*s = 36, 4*m - 2*s - 2 = 2*m. Let a(l) = l + 9. Let p be a(m). Solve -p + 1 = -o for o.
4
Suppose -4*w - 2*g - 26 = -6*w, g = 5*w - 45. Let x = -3 + w. Let q = x + -5. Solve 4*z + z + 25 = q for z.
-5
Let f = 4 + -3. Suppose 0 = -5*k - 10, -2*v - 4 = k - 2*k. Let y = v - -12. Solve 5*a + y = -f for a.
-2
Let m = -16 - -13. Let n(t) = 2*t**2 + t - 4. Let q be n(m). Let v = -9 + q. Solve -v*y = -1 + 3 for y.
-1
Suppose -6*n + 8*n - 8 = 0. Suppose 5*d - 2*l + 1 = -0, 2*l = -n. Let v be 4/12*0*d. Solve v = 2*o - 6*o for o.
0
Suppose -5*a + 5*s = 0, 0 = -3*s + 7*s - 20. Let v = a - -1. Let x be (0*3/9)/2. Solve x*t = -2*t - v for t.
-3
Suppose 2*t - 4 + 6 = 3*b, -2*b - 2 = -3*t. Solve d + b*d - 6 = 0 for d.
2
Let l be -25 - (-3)/((-6)/(-2)). Let t be l/(-13) + (-4)/(-26). Suppose -2*i = 3*k - 7*k + 10, -i = k - 1. Solve k*n + 4 = t for n.
-1
Let x = -19 - -19. Let k(g) = g + 7. Let u be k(x). Solve -u*t - 3 = -10*t for t.
1
Suppose -39 = -5*n + 121. Solve 3*k + 5*k - n = 0 for k.
4
Let y(h) = -6*h + 1 + h + 3*h - 36. Let n be y(-19). Solve 12 = n*s - 3 for s.
5
Let m = 13 - 10. Let u be 0/(-2)*-1 + m. Suppose -u*w + 2 = -25. Solve -w = -4*k + k for k.
3
Let c = 239 - 235. Solve 6*j - c = 2 for j.
1
Suppose -2*c + 4*l = 3*c + 16, 8 = 2*l. Suppose c = -4*z - 14 + 26. Solve 0*p = -z*p + 9 for p.
3
Let j = 14 - 8. Suppose 2*m + 14 = 4*r, 0 = 4*m - 2 - 2. Suppose -r*a = -j*a. Solve -3*k + 8*k + 25 = a for k.
-5
Let i(v) = v**2 - 9*v - 132. Let t be i(17). Solve t*r = 3*r + 2 for r.
2
Let f(z) = -z**3 - 4*z**2 + 9*z - 1. Let p be f(-7). Suppose 65 + p = 4*u. Suppose -5*a + 88 + u = 0. Solve -a = 2*d - 7*d for d.
5
Let b be (-1 - (-2 - 2)) + -1. Suppose 0 = -g + 4 - b, -2*g = -2*q + 8. Solve m - 4*m + q = 0 for m.
2
Let y(b) = -b. Let d be y(-2). Suppose 0 = 22*h - 16*h + 42. Let i be (24 - -1) + (-6 - 42/h). Solve -d*f - i = -7*f for f.
5
Suppose 97 = -2*t + 101. Suppose 8 = t*x - 0. Solve -6*l + x*l = 10 for l.
-5
Let i = -25 + 35. Suppose 0*s + i = 5*s. Let h be s - 0 - 4/2. Solve w + h*w - 3 = 0 for w.
3
Let d be ((-6)/(-10))/((-3)/(-15)). Let v(o) = o**3 - 2*o**2 - 6*o + 9. Let z be v(3). Suppose z = 14*q - 16*q + 4. Solve -p + d - q = 0 for p.
1
Suppose 2*q + 0*q + 3*t + 5 = 0, -5*q + 7 = t. Solve -9*k = -q*k - 7 for k.
1
Let r = -6 - 0. Let h be -2*(-4 - 15/r). Solve 0 = -3*q - h - 3 for q.
-2
Let x(g) = 5*g + 9. Let m(s) = s + 1. Let k(p) = 6*m(p) - x(p). Let b be 20/130 + 152/26. Let d be k(b). Solve -h = -d*h + 8 for h.
4
Suppose 3*j + 36 = 3*o, 10*o + j = 12*o - 25. Solve 6 = 15*b - o*b for b.
3
Suppose 343*q - 342*q - 3 = 0. Solve 5*v = -q*v - 40 for v.
-5
Let y(f) = -f**3 + 20*f**2 - 37*f + 26. Let u be y(18). Let d = 2 + 0. Let p = 11 + -6. Solve p*g + d = -u for g.
-2
Let j(a) = 4 + 112*a - 126*a - 17 + a**2. Let y be j(15). Solve -9 = s + y*s for s.
-3
Suppose 0 = -3*w - w - i, -5*w = 2*i. Suppose -3*p + 6*p - 3 = w. Let k(z) = z**3 - 11*z**2 + 26*z + 25. Let o be k(5). Solve 0 = b - p + o for b.
-4
Let h(z) = z**2 + 31*z + 60. Let o be h(-2). Solve 4*w = w + o*w for w.
0
Let v = -8 - 5. Let q = 25 + v. Suppose -6*j + 4*j + 4 = -a, -3*a + 4 = -2*j. Solve -j = -4*b + q for b.
4
Let f = 36 - 32. Suppose -f*t = -29 + 5. Solve -x + t*x = -10 for x.
-2
Let z = 73 - 52. Let i = z - 22. Let p be i/(3/(-9 + 3)). Solve 0*v + 2*v + p = 0 for v.
-1
Let w(t) = t**2 - 5*t - 76. Let x be w(12). Solve 10*l - x*l - 8 = 0 for l.
4
Let t(v) = 2*v**2 - 30*v. Let w be t(15). Suppose -48 = -w*u - 8*u. Solve -y = 2*y + u for y.
-2
Suppose 31*r = 1411 - 512. Solve 9 = 5*q + r for q.
-4
Let a(h) be the first derivative of h**2 + 11*h - 13. Let l be a(-4). Solve -6 = l*i + 3 for i.
-3
Let w = -10 - -19. Let q be 429/21 + w/(-21). Let y = -15 + q. Solve a = -4*a - y for a.
-1
Suppose -5*f + 11 = -4. Let z = 4 - 4. Let m be z + 0 - 0 - -1. Solve -m = f*n - 2*n for n.
-1
Suppose -2*k = q - 9, -6*k + 25 = -2*k - 5*q. Solve 5*r = 5 + k for r.
2
Let s = 713 - 704. Solve 2*d + s = 13 for d.
2
Let a(b) = 3*b + 7 + 5*b - 4*b - 5*b. Let l be a(7). Suppose 4*x - 3*m = -3, 2*m = 2*x - x + 7. Solve l = 3*h - x + 9 for h.
-2
Let b = -4 + 4. Let x be (54*(-11)/(-110))/(6/10). Suppose i = 3*i - 32. Solve b = 5*s - x*s + i for s.
4
Let y be 1/7 + (-78)/(-42). Let z(p) = -p + 10. Let a be z(0). Suppose a = -3*b + 5*b, -5*m = -5*b + 25. Solve 3*v - v + y = m for v.
-1
Let d = 196 - 105. Let k = d + -88. Suppose 4*f = b + 3, -2*f = -b + 5*b + 12. Solve -k = -t - f for t.
3
Let h(r) = 3*r**2 + r + 3. Let j(z) = -z - 1. Let l(s) = h(s) - 6*j(s). Let g be l(-3). Solve g = -y + 12 for y.
-3
Let k = 596 - 622. Let q be (-61)/2 + 4/(-8). Let u = k - q. Solve -5*s = -0*s + u for s.
-1
Let v(k) = k**3 + 18*k**2 + 3*k. Let a(y) = y**3 + 14*y**2 + 2*y + 1. Let z(u) = -4*a(u) + 3*v(u). Let l = 5 - 8. Let i be z(l). Solve 9 = -i*h - 1 for h.
-5
Let n = 89 + -85. Solve 0*d - n*d = 0 for d.
0
Let h = 5 - 0. Suppose 9 + 6 = h*g. Suppose -n - 16 = -g*n. Solve 0 = -j - 3*j - n for j.
-2
Let x(g) = -5*g - 4*g - g**3 + 0*g - 2*g**2 - 5*g**2. Let h be x(-6). Solve 5*z - h = 2 for z.
4
Suppose d + 3*d = 8. Let j be (16/6)/d + 6/9. Solve -6 + 0 = -j*m for m.
3
Let r be -1*((-2 - -19) + 1). Let u(i) = 8*i - 5. Let q(g) = g. Let b(h) = r*q(h) + 2*u(h). Let v be b(-7). Solve j = -j + v for j.
2
Suppose -12 = -2*a + 2*p, 4*p + 11 = 5*a - 18. Suppose 1 = -a*u + 6. Let w(g) = 6*g**2 - 3*g + 2. Let j be w(u). Solve -4 = -j*v + 1 for v.
1
Suppose 3*h + 2 = 6*h - 4*g, -5*h + 14 = 4*g. Let y = 2 + h. Suppose 3*x + p = 1 + 11, -18 = -2*x - y*p. Solve -x = -b + 2*b for b.
-3
Let a = -36 + 35. Let h be 0/((7 - 4)*a). Solve -2*o + 0*o = h for o.
0
Let u = 340 - 337. Solve 5*g = 13 - u for g.
2
Suppose -7*r + 55 = 41. Let m(p) = p**2 + 3*p - 6. Let k be m(-5). Solve -r*f = -k*f + 10 for f.
5
Let j(m) = 2*m - 8. Let c be j(7). Suppose 0 = -c*o + 3*o - 51. Let a = -15 - o. Solve -3*k + 7 + a = 0 for k.
3
Suppose -z + 6 = 3*r, 0 = 3*z + 3*r - r - 39. Suppose -4*i = i - z. Let q(p) = p**2 + 2*p + 3. Let t be q(-3). Solve i*l + t = -0*l for l.
-2
Let t(w) be the third derivative of w**4/12 - w**3/3 - 2*w**2. Let s be t(3). Suppose 5 + 43 = s*a. Solve -3*d + 3 + a = 0 for d.
5
Let t(g) = -3*g**3 + 16*g**2 - 13*g + 3. Let f be t(4). Solve -f = -26*m + 21*m for m.
3
Let v be (-20)/15*(-15)/1. Let y be -9*((-275)/45)/11. Solve -x + v = -y*x for x.
-5
Let g be 5 - 5/((-10)/(-4)). Suppose s + 5*u = -7 - 3, 6 = -2*s - g*u. Suppose 6*r - 3*r - 33 = 0. Solve 5*b + 1 - r = s for b.
2
Suppose 88 = -11*y + 7*y. Let u = y + 26. Suppose -3*c - u + 25 = 0. Solve 15 = -c*b + 2*b for b.
-3
Suppose -5