 h for t.
4
Let z = -40 + 45. Solve -4*t + z*t = 1 for t.
1
Let o be (-24)/(-9)*(-6)/(-4). Let p be 4/(1/6*o). Let q be 3/9*9 + 1. Solve -4*k = -p*k - q for k.
-2
Suppose -3*g + 3*r - 18 = 0, 4*r + 0 - 8 = 0. Let v be 2 + g/((-4)/3). Solve -2*t + v*t - 9 = 0 for t.
3
Let k(g) = g**3 - 9*g**2 + 12*g - 8. Let z be k(8). Suppose -c + z = c. Let v be 4/26 - c/78. Solve 4*p + p + 5 = v for p.
-1
Let i(k) = k**3 + k**2 + k + 1. Let d be i(-1). Solve d = -4*m + 15 + 5 for m.
5
Let i be 7 - -8*(1 - 2/4). Suppose 15 = -3*x - 12. Let u = i + x. Solve -3*n - 1 = u for n.
-1
Suppose 233 = 5*b + 93. Suppose 4*y - 2*y = -4*a + b, -4*a + 28 = 4*y. Let v be 2/(-4)*(-2 - 4). Solve 5*k + a = -v for k.
-2
Suppose 4*a - 92 = -2*l - 2*l, -14 = -l + 2*a. Suppose 3*c + 0*c + 8 = 4*r, 3*c - 12 = 0. Solve r*z + l = z for z.
-5
Let p be (1 + -3 + 2)/((-30)/30). Solve -5 = g - p*g for g.
-5
Let v(a) = a**2 + 11*a - 16. Let y be v(-13). Solve 0 = -3*h - y + 4 for h.
-2
Let b be (-6)/(-8) + 138/(-24). Let i be 5/b*-3*2. Solve m = -i + 3 for m.
-3
Let x be 2/9 + (-440)/36. Let r be 0*(-1 + x/(-8)). Solve -q - 2 - 1 = r for q.
-3
Suppose -4*b = -16, -7*y + 3*y + 4*b = 0. Let u be y + 0*(-1)/3. Let w(k) = -k**3 - 3*k**2 - k - 3. Let o be w(-3). Solve u*l - 1 + 21 = o for l.
-5
Suppose 0*q = 2*q + 18. Let p = -1 - q. Solve p*y - 3*y = 0 for y.
0
Suppose -d - 4*d = 0. Solve -2*s - 3*s = d for s.
0
Suppose 9*z - 7*z - 68 = 0. Let g be 8/(-20) + z/10. Solve -c - 2 = -g for c.
1
Suppose 2*o + 0 - 9 = i, 3*o = 3*i + 12. Let l be 34/3 - i/3. Solve -1 + l = -5*r for r.
-2
Let a(i) = i**2 + 3*i + 1. Let l be a(-4). Suppose -3*o = -l + 2. Let p be o + 0 + 0 + 3. Solve -p*j = j for j.
0
Let j = 120 - 104. Solve 2 = -15*b + j*b for b.
2
Let s(h) = -2*h**2 - 18*h - 11. Let l be s(-8). Solve 3*q = -2*q - l for q.
-1
Let g = -4 - -11. Let b = 16 + g. Solve 2 = 5*c - b for c.
5
Let j = 153 - 141. Solve -x + j = 3*x for x.
3
Suppose l = -2*l + 9. Solve 0 = -v - l + 2 for v.
-1
Let y = -1 + 3. Let b be y/(-6)*12/(-2). Solve b*r = -0*r - 8 for r.
-4
Let f(b) = -b + 7. Let y be f(6). Suppose -2*w - 2*t = 2*t + 2, -w = t + y. Let m be w*((-2)/2 - 1). Solve 0 = r - m*r + 1 for r.
1
Let j be -5*((-12)/15)/(-1). Let u be 1 - (-3 - j/2). Solve -4*m + u*m = 0 for m.
0
Let b(g) = -6*g - 3. Let h be b(-7). Suppose h = 5*q + 4*k, 4*k = 2*q - 2 - 8. Solve 3*s + 8 = -q for s.
-5
Let h(d) = 9*d**2 + 23*d. Let x(a) = -5*a**2 - 12*a. Let j(p) = 4*h(p) + 7*x(p). Suppose 7*m = 8*m + 8. Let f be j(m). Solve f*z = -z for z.
0
Let d be 6/(-21) + (-4)/(-14). Solve d = -2*a + 7 + 1 for a.
4
Suppose 5*b - b = 0. Suppose -2*f + 20 = -b*f. Suppose -n - t + f = t, -3*t = -6. Solve -2*x + 0 - n = 0 for x.
-3
Suppose 0 = -w + 5*o + 24, 0 = -3*w - o - 2*o. Suppose -4*p + 20 = v - 3*v, -2*v - 2 = -p. Solve -w = 2*r - p*r for r.
1
Let q(h) = h**3 - 10*h**2 + 4*h + 3. Let j(g) = g**3 - 11*g**2 + 4*g + 2. Let u(b) = -5*j(b) + 6*q(b). Let d be u(4). Solve c + c - d = 0 for c.
4
Suppose 2 = s + 3. Let n = s - -6. Solve 0 = -4*o - n - 3 for o.
-2
Suppose 4 - 7 = -g. Solve 2*r = -11 + g for r.
-4
Let q(p) = -2*p - 16. Let m be q(-8). Suppose m = 3*w - 8*w. Solve -5*y - 9 - 16 = w for y.
-5
Let b(c) = c. Let t be b(-3). Let d = 4 + t. Solve d = -2*k + 7 for k.
3
Let g be (-1 - -3) + (-2 - -2). Suppose -3*q - 7 = g*c, q - 4 - 7 = -4*c. Suppose 2*p - 15 = -2*y - y, -y + c*p = 9. Solve -z = -y*z - 2 for z.
-1
Let i = 1 - -2. Suppose 0*p + i*p = 6. Solve 7*q + 10 = p*q for q.
-2
Suppose -o = 3*g + 2 + 1, 5*g = -5. Solve 2*r - 6*r + 4 = o for r.
1
Suppose 3*k - 5 + 2 = 0. Solve k = 2*w - 1 for w.
1
Let k(d) = -d - 3. Let r be k(-6). Let v(m) = m - 8. Let b be v(8). Let l(c) = -c + 3. Let x be l(b). Solve 6*z - r = x*z for z.
1
Suppose 4 = -l + 3*l, 5 = -r + 3*l. Let z = 1 + r. Solve m = -z*m for m.
0
Let d = -26 - -31. Solve d*o = 2*o - 9 for o.
-3
Let z = -5 + 9. Let s(d) = -d**3 + 3*d**2 + 5*d. Let o be s(z). Suppose -o*a + 0*a = 0. Solve a = -0*p + 5*p - 25 for p.
5
Let d be (8 - 12) + -2 + 34. Suppose -y - 5*k - 9 = 0, -2*k - d - 46 = -4*y. Solve 2*j - y = -2*j for j.
4
Suppose 4*v - 6 = -2*q, -2*q + 0*q + 6 = -2*v. Let z(k) = -k + 7. Let y be z(v). Solve -y = -4*a + 9 for a.
4
Suppose 2*w = -3*w + 75. Let g(m) = -m**2 + 4*m + 2. Let t be g(4). Solve r + w = -t*r for r.
-5
Let w(h) = -h**3 + 2*h**2 + 5*h - 4. Let c be w(3). Solve -c*p = 3*p + 15 for p.
-3
Suppose 0 = 5*x + 5*r, -3 = -5*x + 3*r + 13. Suppose -x*i + 5*i = 0. Let h be (1 - 2)*(i + 0). Solve h = -0*o + 4*o for o.
0
Let s(k) = k**2 - 9*k + 1. Let b be s(9). Let l be b/(-4) - (-2)/8. Solve l = -z - z + 10 for z.
5
Let o(z) = -3*z + 39. Let n be o(12). Solve 4 = -n*y + y for y.
-2
Let f be 50/13 - (-12)/78. Solve f*r - 6*r = 0 for r.
0
Suppose -2*g + 30 = -0*g - x, 0 = -2*g - 2*x + 30. Suppose -5*h + g = -0*h. Suppose -2*n = 5*b + 32 - 13, 5*b + 34 = h*n. Solve n*j - 4 = -j for j.
1
Suppose -a + 15 = 10. Solve a*c = -25 - 0 for c.
-5
Let r be ((-10)/3)/(6/(-9)). Suppose -3*c + 3*x = x + 22, -5 = r*c + 3*x. Let f be (-17)/c - 2/8. Solve -4 = -f*o - 24 for o.
-5
Let n be -1*(-8)/(32/60). Solve -n = 4*s + 1 for s.
-4
Let q(z) = z**2 - z + 1. Let g be q(-2). Let s be (-6)/(-2) + 119/g. Solve 5*a - s = a for a.
5
Let z(i) be the third derivative of -i**5/60 - i**4/24 + 4*i**3 - 2*i**2. Let w be z(0). Solve 0 = 4*s + 8 - w for s.
4
Let d be 46/8 + 3/(12 + 0). Let h be 1*(-3)/(-6)*0. Solve -2*p = -h*p - d for p.
3
Let b(n) = -2*n. Let t be b(-1). Suppose -9 = -t*g + l + 2*l, 0 = -4*g + 2*l + 6. Suppose 3*k + 6 = g, 5*y - 2*k - 51 = 28. Solve 0*d - y = 3*d for d.
-5
Let s be (-54)/7 - (-6)/(-21). Suppose -2*n - 70 = 5*n. Let k = s - n. Solve -2*b = -0 - k for b.
1
Let c(g) = g**2 + 4*g - 3. Let a be c(-6). Suppose 5 = -5*h + 25. Suppose -h*w = -a*w. Solve w = 6*x - 2*x for x.
0
Suppose 0 = 5*x - 2*k - 4, -5*x - k - 1 = 1. Solve 3*w - w + 10 = x for w.
-5
Let x(g) = g**2 - 2*g + 3. Let h be x(2). Let i(l) = 138 - 136 + 3*l - 4*l. Let m be i(2). Solve m = h*y + y - 16 for y.
4
Suppose -z + 11 = -2*z. Suppose 0 = -i - 0*i - 7. Let p = i - z. Solve l = -p*l for l.
0
Suppose 0 = 5*w - 0*k + 4*k - 4, -5*w - 2*k = -12. Solve 8 = w*f - 2*f for f.
4
Let s be (-4)/(4 - 0) + 3. Solve -s - 3 = n for n.
-5
Let d be 6*(-2)/(-12)*1. Solve 5*t - d = 4*t for t.
1
Suppose 3 = -0*x + x + k, -4*x + 3*k = -19. Solve x*g - 11 + 3 = 0 for g.
2
Let v(h) = h**2 + 5*h - 3. Let o(u) = -u**2 + u - 6. Let l be o(0). Let f be v(l). Solve -4 = f*c + 2 for c.
-2
Let t(n) be the second derivative of -n**3/2 - 7*n**2 + 6*n. Let f be t(-6). Let k be (2/(-3))/((-2)/15). Solve -k*y = 6 + f for y.
-2
Suppose 0 = -2*h + 10. Solve h*z + 20 = z for z.
-5
Suppose 4 = n - 2*g + 3*g, -5*n + 4 = -3*g. Solve n*r + 0*r + 8 = 0 for r.
-4
Suppose 0 = 3*v - t - 18, 4*t - 18 = -3*v - t. Let n be (-1)/(-3 - (-17)/v). Solve 0*j - n = 3*j for j.
-2
Let q = -193 - -203. Solve -6*m = -q*m + 12 for m.
3
Suppose 10 = u + m, 0 = 4*u - 0*u + 2*m - 36. Solve 0 = -2*b + 4*b - u for b.
4
Suppose -4*d + 30 = -5*a, 0 = 5*d - a - 4*a - 40. Suppose -3*b = -5*x + d, -2*x - b - 4*b = -35. Solve -x*m - 8 = -3 for m.
-1
Suppose 5 = 5*v, -2*s + 4*v + 4 = 2. Solve 0*n - s = n for n.
-3
Let z(o) = o**2 + 15*o + 2. Let s be z(-15). Solve -8 + 2 = -s*g for g.
3
Let k(y) be the second derivative of -y**5/20 + y**4/12 - y**3/6 + 3*y**2/2 - 5*y. Let d be k(0). Solve -d = -n - 0 for n.
3
Suppose 0 = 4*z + k + k, -z = 3*k. Solve z + 4 = -2*x for x.
-2
Let s be 4 - (2/(-8) + 3/(-4)). Solve 4*p + 3 = -s for p.
-2
Suppose 5*b - 4*y - 3 = 9, 0 = -4*b - 3*y + 22. Solve -b*w = 10 + 2 for w.
-3
Let i(k) = -k - 11. Let f be i(-8). Let s be f + (-2 - -8) + 13. Solve -w = -5*w + s for w.
4
Let g(j) = 2*j**2 + 4*j + 2. Let u be g(-3). Suppose -z + u = 3*z. Solve 3 = -z*b - 5 for b.
-4
Let d(s) = s + 11. Let k be 5/((-10)/12) - 1. Let m be d(k). Solve -m*y - y = 0 for y.
0
Let r be 2/(2/(-3))*16/(-12). Suppose v + 20 = 4*f, -v - 14 = -f - 2*f. Solve r*x - x = -f for x.
-2
Let t = -10 + 10. Suppose 5*x - 18 - 82 = 0. Solve t*s + x = 4*s for s.
5
Let r(m) = m**3 - 3*m**2 + 4*m - 3. Suppose a + c = -1, 3*a + 2*a - c = 13. Let v be r(a). Solve -i = -2 + v for i.
1
Suppose -4*p + 12 = -4*i - i, -p + 2 = -i. Let n(v) = v**2 + v + 1. Let f be n(i). Solve f = -3*k + 28 for 