 = -g*h + 2 - 0 for h.
1
Let l be (126/28)/(-9) - 1/(-2). Solve l = -12*n + n for n.
0
Suppose -2*i + 6 = -5*i. Let f be 1*(i + (0 - (-5 + 3))). Suppose k = -2*g + 11, -5*k = 5*g - 0*g - 30. Solve f*a + g = a for a.
5
Let s = -58 - -84. Let t be s + (-9)/3 - -2. Let u(d) = d**3 + 10*d**2 + 9*d + 6. Let r be u(-9). Solve t = r*k - k for k.
5
Suppose -2*t - 3*t - 45 = 0. Suppose 0 = -29*x + 32*x + 54. Let p be (0/2)/(x/t). Solve p*o - 2*o - 10 = 0 for o.
-5
Let o be (-15)/(1 - -4) + (1 - -4). Suppose n + 4*t = -1, 3*n + 1 = 4*t + 14. Solve 25 = -o*x - n*x for x.
-5
Let i(y) = y - 2. Let u be i(-5). Let d = 25 + u. Let w be (-11)/(-3) - (-6)/d. Solve w*b + b = -25 for b.
-5
Suppose 5*r - 64 = 2*v, -4*r = -66*v + 71*v - 71. Solve 0 = 27*s + r + 13 for s.
-1
Suppose 3 = l + f, f = 5*l + 5*f - 19. Suppose z + 4*y = 21 - l, 4*z - 3*y = 56. Let m be 2 + (0/2)/(-8 + 3). Solve 3*r - z + m = 0 for r.
4
Suppose 4*m + 32 = -2*p, 4*p - 5*m + 20 = -p. Let w = p - -9. Solve 3*b - w = 5 for b.
2
Suppose -3*g + 5*v = -6, 4*g - 3*g + 5*v - 22 = 0. Solve g*h = 5*h - 2 for h.
-1
Let d(b) = 11*b + 17 - 25*b + 15*b. Let k be d(-11). Solve k*i - 2*i = -20 for i.
-5
Let i(m) = -m**3 + 14*m**2 - 7*m + 105. Let d be i(14). Solve -d = 2*a - 9 for a.
1
Let l(g) = -8*g**2 - 12*g + 1. Let v(k) = -7*k**2 - 11*k + 2. Let c(w) = -6*l(w) + 7*v(w). Let b be c(-6). Solve -7*r + b*r = 0 for r.
0
Let u be (2 + 8)*(-39)/(-26). Solve 4*q = q + u for q.
5
Suppose -5*l - 64 = -y - 0*y, -l = 3*y + 16. Let t = l - -17. Suppose j - 5 = d - 0*d, t*j = 2*d + 28. Solve -2*w - j - 1 = 0 for w.
-5
Let p be 2/(-3)*(-12)/8. Let x(j) = j**3 + 9*j**2 - 9*j + 14. Let m be x(-10). Solve -m*s = -7 - p for s.
2
Let o be -4*(-1)/1 + -1. Let s = -43 + 43. Suppose -z = -s - o. Solve z*r = r for r.
0
Suppose 8 = -3*c - n + 79, 5*n = -5. Solve 24 = -x + c for x.
0
Suppose -y = 2*f - 18, 4*y = 2*f - 0*y + 2. Let o = -242 + 243. Suppose j - f = o. Solve 0 = 5*a + j + 2 for a.
-2
Let w be (-8)/(12/(-72) - 1/2). Solve x - 4*x = w for x.
-4
Suppose -4*n - 2*a - 42 = 0, -n - 3*a = -4*n - 45. Suppose 0 = 5*w + 5*f, -2*f - 12 = 5*w - f. Let t be (n/(-14))/(w/(-14)). Solve -9 = t*o + 3 for o.
-3
Let y be 34/9 + 6/27. Suppose -97 = -y*x + 43. Let i = -25 + x. Solve -w = -3*w - i for w.
-5
Let x = 2075 - 2063. Solve 13*l - x*l = 0 for l.
0
Suppose 0 = 92*w - 97*w + 20. Solve w + 0 = d for d.
4
Let h = 65 - 63. Suppose 2*o + 10 = h*f, -2*o + 6*o = 2*f - 14. Let v be ((0/2)/1)/(-2). Solve -f*i + i - 10 = v for i.
-5
Let k(g) = -g**2 + 4. Let r be k(0). Suppose -2*i = -t + 8, -22 = -t - r*i - 8. Suppose -3*y - 5*j + 27 + t = 0, -2*y - 3*j = -24. Solve x + y = 4*x for x.
3
Suppose -5*o + u - 3 = -2, 4*u - 4 = -2*o. Suppose o = 4*p - p. Suppose -2*c - r - 13 + 39 = p, -c + 2*r = -23. Solve 2*m + c = -3*m for m.
-3
Let p be ((-111)/12 - -9)/((-2)/8). Solve 22*z + p = 23*z for z.
1
Let o(f) = -f**3 - 7*f**2 + 3*f - 30. Let l be o(-8). Solve -p = -l*p - 9 for p.
-1
Suppose y = 11 - 1. Suppose -3*w + 20 = 13*w - 6*w. Solve y - w = 4*j for j.
2
Let l(h) = -4*h**3 + h**2 + 3*h + 2. Let k(w) = w - 14. Let c be k(16). Suppose -5*s - 14 = 3*m, -c*m = -3*s + 1 + 2. Let r be l(s). Solve -x = -r*x + 15 for x.
5
Let d be 9 + -8 - 1*11. Let o = d + 13. Suppose -o*c = 4*p + 9 - 37, c - 4 = 0. Solve p*r - 1 = 3 for r.
1
Suppose 0 = 13*v - 11*v - 4. Let u be 6 - v - 4/2. Solve 7*o - u*o = -10 for o.
-2
Suppose 0 = 7*o - 9994 + 9833. Solve o*q - 17*q = 18 for q.
3
Let z be 3 - (3/1 + -2). Suppose -5*g - 10 = 4*p, 4*p - z*g = 1 + 3. Solve h - 6*h - 5 = p for h.
-1
Let q(n) = -6*n**2 - 14 + 10 + 3*n + 3*n**2 - n**3. Let z be q(-4). Solve z*p = -4*p - 16 for p.
-4
Suppose -2*j - 180 = -7*j. Suppose 2*k = j + 4. Suppose -k = -2*u - 3*u. Solve 0*a - 12 = u*a for a.
-3
Suppose -5*s + 18 = -42*t + 46*t, 3*s = 4*t - 2. Solve 4*g - s = 6*g for g.
-1
Let y(u) = u**2 - 22*u + 106. Let p be y(6). Solve -2 = -2*k - p for k.
-4
Let v = -1857 - -1871. Solve -2*k - v*k + 80 = 0 for k.
5
Suppose 0 = -5*l + 5*c - 17 - 13, -3*l + 3 = 4*c. Let d be (l + 0)*(-5)/15. Suppose -2*n + d = -5. Solve -n*s - 10 = -1 for s.
-3
Let r be 6/8 + 2*111/24. Let l = r + -10. Solve l = -4*p + 6*p + 2 for p.
-1
Let k be (-2 + 4)/(4/6). Let w be (2 - (-1 + k))/(-3). Suppose 3*u - 21 + 3 = w. Solve -u = -5*b - 21 for b.
-3
Suppose -11 - 99 = -11*r. Solve r = 16*y - 14*y for y.
5
Let y(u) = u**3 + 7*u**2 - 2*u - 5. Let v be y(-7). Suppose -4*s = v + 55. Let a = -16 - s. Solve a = f - 2 for f.
2
Suppose 0 = 4*m - 5*w + 1, -4*m - m - w = -6. Let o = -1 + m. Solve 0 = -2*d - o + 2 for d.
1
Let r(g) = 11*g - 837. Let q be r(77). Solve -18*s + q*s = 8 for s.
-1
Let p(i) = 33*i - 783. Let o be p(24). Solve 1 = -o*u + 10 for u.
1
Suppose 0 = -3*l + 96 - 333. Let c = 79 + l. Solve 0 = -c*p + 4*p for p.
0
Let k(b) = 4*b**3 - 2*b**2 - 2*b. Let c be k(2). Suppose 0 = 8*x - 12*x + 56. Let g = c - x. Solve g = 5*y - 4 for y.
2
Suppose 5*c + 5*z - 10 = 0, -5*z = -2*c + 3*c + 6. Suppose 1 = 5*o - c. Suppose 2*j - 4 = 0, -2*m - 4*j = -6*m - 8. Solve 0 = -d - m - o for d.
-1
Suppose 4*q + y - 38 = 0, 2*y - 5*y + 34 = 4*q. Solve -2*h = -12*h + q for h.
1
Let r be (-15 - 0) + 2/2. Let p(z) = -z**2 - 3*z - 12. Let b be p(0). Let y = b - r. Solve y*a - 6*a = 0 for a.
0
Suppose 17*u - 28*u = -99. Solve 4 = -u*x - 41 for x.
-5
Let t(c) be the third derivative of c**4/24 + 7*c**3/6 + 2*c**2. Let u be t(-5). Suppose 0 = u*o - 3*o + 4. Solve -o + 3 = h for h.
-1
Suppose 3*w - 321 = 3*j, -4*w = j - 3*j - 214. Let i = -104 - j. Solve -2*z = -5 - i for z.
4
Let g = 8 - 5. Suppose -t = -5*s - 7, -4*t - 3*s = -0*t - 51. Suppose u + 2 = 2*x - 4, 4*x = t. Solve a + g*a + 4 = u for a.
-1
Suppose -8*p + 2*p + 6 = 0. Suppose -x + 2*x = -u + p, x = u + 1. Solve -y - 4*y = u for y.
0
Let l = 205 - 202. Solve -1 = 2*g - l*g for g.
1
Let i = -382 - -385. Solve -1 = p + i for p.
-4
Suppose -148 = -9*r + 32. Solve 0 = -14*d + 10*d + r for d.
5
Suppose -8*v + 4*v = -5*p - 52, 0 = -3*v + 3*p + 36. Let h(l) = l - 5. Let b be h(v). Solve 0 - 3 = -b*q for q.
1
Suppose 93*q + 5*n - 20 = 97*q, 0 = -4*q + 3*n - 12. Solve q*y = 4*y - 16 for y.
4
Let u be -4 - -3*104/24. Solve -8*p - 33 = -u for p.
-3
Suppose 1676 - 4076 = -6*i. Solve 4*a + 408 - i = 0 for a.
-2
Suppose 0 = 3*r - 15, -5*v - 5*r + 143 - 33 = 0. Solve -v = 6*s + 7 for s.
-4
Let p = -597 + 597. Solve -113*y + 111*y - 6 = p for y.
-3
Let v = -20 + 22. Let r = v + 7. Suppose 2*u + 16 = 3*k, -4*k + r = u - 5. Solve k*m - 2*m + 6 = 0 for m.
-3
Let q be (35/1)/(-5) + (11 - 1). Solve -125 = -q*u + 28*u for u.
-5
Let b be ((-370)/222)/(10/(-24)). Solve 0 = -b*i + 32 - 16 for i.
4
Suppose -4*f + 4*u - 15 = 1, -16 = -f - 4*u. Let s(t) = 4*t - 5. Let l be s(2). Solve 2*b + l*b = f for b.
0
Let h(t) = -t**2 + 28*t + 60. Let i be h(-2). Solve 13*r + 13 + 52 = i for r.
-5
Suppose -2 + 18 = 8*f. Solve 3*z = f*z for z.
0
Let o be (-1 + (3 + -3)/5)*-2. Solve -2*d - o*d = -16 for d.
4
Suppose 2*i = -2, -3*i + 16 = 4*d - 7*i. Solve 0 = -4*g + d + 5 for g.
2
Let x be 12/(-16) + (-11)/(-4). Let j be -1 - ((-6)/(-4) + -2)*x. Solve -2*h + 10 = -j*h for h.
5
Let w be (-1 - -3) + 7/7. Let j = 40 + -24. Suppose 0 = 13*z - j*z + 6. Solve z*f - 1 = -w for f.
-1
Let c be (-4 + (-3 - -5))*(-5)/(-2). Let b = -1 - c. Solve b*n - 1 = -5 for n.
-1
Suppose 4*i - i = -p - 15, 25 = 2*p - 5*i. Solve 0*a = 2*a - p*a for a.
0
Suppose -89 = -48*f - 41*f. Solve -f = -6*c - 25 for c.
-4
Suppose 5*k - 15 = 0, 5*y - 3*k = 2*k + 435. Let i = -88 + y. Solve i*m - 9 = 5*m for m.
-3
Let q = -1 - -8. Suppose 13*p - q*p = 72. Solve p = -c - 3*c for c.
-3
Let z be ((-56)/20)/(3/15). Let n = z - -8. Let l = n - -18. Solve -2*v + 6*v = -l for v.
-3
Let q(k) = -k - 4 + 4 + 0*k - 6. Let b be q(-8). Solve 0 = 4*c - b*c for c.
0
Let j(k) be the third derivative of -k**5/60 + 13*k**4/24 + 16*k**3/3 - k**2. Let s be j(15). Suppose n + 0*n - 18 = 0. Solve n = 4*u + s for u.
4
Suppose 7*v = 7 + 7. Solve -v = 3*k + 4 for k.
-2
Suppose 2*j + 2*j = 0. Suppose -32 = 4*c - 4*s, j*c + 3*c - 2*s + 23 = 0. Let o = 5 - c. Solve 2*b = -b + o for b.
4
Let m be 5 + -2 - ((-41 - -2) + -1). Let x = m + -41. Solve 0 = -n - 0*n + x for n.
2
Suppose 2*c + 24 = 32, -4*c = 3*u - 34. Solve 2*s = -0*s + u for s.
3
Let v(g) = g**2 - 11. Suppos