-2*h - w*h = -16. Solve h*d = 7 - 3 for d.
1
Let i = 1256 + -1250. Solve -i*a - 7*a = -14*a for a.
0
Let w = 89 - 59. Suppose 0*x + 4*r + w = 2*x, -5*r = 25. Solve -x + 1 = -4*c for c.
1
Suppose 0 = -3*y + 4*i + 130, 3*y + 7*i - 2*i = 94. Solve 50 = -3*t + y for t.
-4
Let p = 7 - 3. Suppose -p*g + 60 = 3*c, 5*c + 0 = 20. Let n = 16 - g. Solve n*j - j = 0 for j.
0
Suppose 3*y = 5*w - y - 3, -2*y = -6. Suppose 0*o - 4*o = -3*v + 2, -22 = -3*v - o. Let q be (0 + 0)*((-16)/(-24))/2. Solve w*i = -q + v for i.
2
Suppose 2*g - 5 = -1. Suppose 75 = 4*s - h - 0*h, -6 = g*h. Suppose 5*q + 5*z - 3 + s = 0, 10 = -2*z. Solve 0 = -j + q*j - 5 for j.
5
Suppose -8*g + 96 = -2*g. Solve 0 = -4*b - 24 + g for b.
-2
Suppose 2*r = -2*n + 14, -5*r + 4*n + 41 = 15. Suppose 5*f = r*f - 5*f. Solve j - 6*j = f for j.
0
Let f be (-740)/(-260) + 4/26. Let m be f*(-2)/(-6)*3. Let c(o) = o**2 - o - 2. Let n be c(m). Solve 3*a + 1 = n for a.
1
Suppose 5*q = -2*w - 22, -11 = 2*w - w - 5*q. Let g = w - -13. Solve -g*b + b = 2 for b.
-2
Suppose -4*m - 2*g + 26 = 0, -5*m = -4*g + g - 16. Suppose -5*v + 2 = 4*l - m, -2*v - 2*l + 2 = 0. Solve -v*j = -5*j + 4 for j.
2
Let c = 160 + -157. Solve 9*s - 24 = c*s for s.
4
Let d be 4*(-3)/(12/26). Let g be (-429)/15 - 8/20. Let q = d - g. Solve 2 = -c + q for c.
1
Suppose 0 = 41*u - 66 - 16. Solve -14*n + 16*n - u = 0 for n.
1
Let p(b) = -b**3 - 5*b**2 + 6*b + 4. Let m be p(-6). Let a(h) = 2*h - 9. Let u be a(8). Let x = u + -3. Solve -x*z = m - 24 for z.
5
Suppose -t - 24 = -4*n, -n + 6 = 3*t - 5*t. Solve f - n = 4*f for f.
-2
Suppose -5*o - 75 = 160. Let a = 50 + o. Solve a*m + 2 = 5 for m.
1
Let z = -609 - -615. Solve z*w = 5*w - 4 for w.
-4
Suppose 5*a + 2*n = 19, n = 2*a + 4*n - 1. Solve -36 = a*k - 11 for k.
-5
Let c be (-2)/3*1*129/(-2). Solve c = 7*k + 8 for k.
5
Let r = 20 + -8. Suppose -k - 3*k = -r. Suppose 5*c - 23 = -k. Solve -c = w - 5 for w.
1
Let j = -203 - -203. Solve j = 5*p - 29 + 9 for p.
4
Let m(o) be the second derivative of o**5/20 + o**4/2 - 7*o**3/6 + o**2 + 2*o. Let b be -4 + (-1 - 4) + 2. Let g be m(b). Solve -6 = 4*p + g for p.
-2
Let z = -11 + 7. Let t(g) = -2*g - 9. Let q be t(z). Let r be -3 + 6 - q/1. Solve -r*m = -0*m for m.
0
Let g be (1 - 4)/(-2 + (-5)/(-5)). Suppose 13*l + 15 = 41. Solve 0 = -l*h - g*h - 5 for h.
-1
Suppose 39*q = 62*q - 1012. Solve 12*x = x - q for x.
-4
Suppose -a = 5*a - 12. Suppose 0 = l + a*w - 6, 0*w - 2*w + 2 = -l. Solve 0 = -l*y - 9 - 1 for y.
-5
Let t(q) = -2*q**2 - 12*q + 12. Let k(i) = i - 1. Let j(z) = -5*k(z) - t(z). Let o be j(-5). Solve 0 = -8*f + 4*f - o for f.
-2
Suppose 4*z + 16 = -4*a, -3*z - 4*a - 9 = -0*z. Suppose -c + 4*l = -13, -2*l = 3*c - 4*l + 1. Let o = c - z. Solve 0 = -3*n - 11 - o for n.
-5
Suppose -6*n = -9*n + q + 61, 5*n - 105 = q. Solve n*c = 23*c + 5 for c.
-5
Suppose -2*c + 5*c + 75 = 0. Suppose -13 = -4*g + 3*z + 10, -4*g - 5*z = -15. Let i be ((-2)/5)/(g/c). Solve -i = 5*n + 13 for n.
-3
Suppose -32 = -124*v + 119*v + 4*n, -v + 2*n = -4. Solve -v*u = -13*u + 5 for u.
1
Suppose 9 = 6*g + 3. Let u be (-2 + (0 - -3))*-2. Let b be u + 3 + g + -2. Solve b = -5*y + 9 + 6 for y.
3
Let w = 200 + -194. Solve -7*m + w*m - 1 = 0 for m.
-1
Let k be (-1 - -1)*(-1)/2. Suppose 4*u - 8 = 2*o, k = -0*o - o - 2*u + 8. Suppose -3*h + o*z - 4*z + 5 = 0, 5*z + 10 = 0. Solve h*g + 2*g = -5 for g.
-1
Let x be 8/(-20) + (-102)/(-5). Let f = 1326 + -1322. Solve f*a = -0*a + x for a.
5
Let q(h) = -2*h**3 - 11*h**2 + 6*h + 6. Let f = -42 + 36. Let u be q(f). Solve l + u = 1 for l.
-5
Suppose 5*p + 5*r = 10 + 10, 4*p - r = 6. Suppose -g = p*f - 51, -f - 15 = -4*f. Suppose -2*h = 3*i - g, -2*i + 19 = h - 0*h. Solve h = 4*q + q for q.
5
Let k = 0 + 0. Let a = 16 - 13. Suppose 0 = -a*d - 7 + 19. Solve -d*t = 16 - k for t.
-4
Let o be -2 - (3 + 1 - 4) - -5. Solve 5*l = o*l for l.
0
Suppose -20*z = -17*z - 36. Solve z*o = 10*o for o.
0
Let w(c) = -5*c - 165. Let h be w(-34). Solve -8 = h*o + 17 for o.
-5
Let t = 14 + -13. Let l(n) = 3 - 4*n + 3*n**2 + n**2 - n**2 + 2*n**2. Let z be l(t). Solve -4*j = 16 - z for j.
-3
Suppose 3*n = -9, t + 5*n = -2*t + 9. Solve -3*l = l - t for l.
2
Let v = 244 - 242. Solve -12 = -v*y + 8*y for y.
-2
Let r = 33 - 11. Let b be r/154 - (-278)/14. Solve -14 = 2*g - b for g.
3
Let n = -3 - 3. Suppose -4*d + 52 = 4*j, -5*d + 2*d - 2*j + 34 = 0. Let a be -4*n/d + -3. Solve 4*w = -a*w - 16 for w.
-4
Let f = 122 - 177. Let x = 55 + f. Solve -p + 4*p = x for p.
0
Let k = 1 + 4. Let a(t) be the third derivative of t**4/12 - 31*t**3/6 - 12*t**2. Let z be a(17). Solve -k*f = -22 - z for f.
5
Let x = -366 - -375. Solve 0 = 4*a - 25 + x for a.
4
Let j(d) = -2*d + 3. Let n be j(-20). Solve -3*q + n = 49 for q.
-2
Suppose -300*l + 296*l = -32. Solve -u + 5*u = l for u.
2
Suppose j = 9 - 6. Suppose -9*t = -j*t - 18. Solve t*w + w = 0 for w.
0
Let p be (-567)/36*16/(-6). Let z be -2 - (-5)/(15/p). Solve -k - 3*k = z for k.
-3
Let v(p) = 0 + 0 - 1 - p - 2. Let h be v(0). Let f be 0 - 0/h - -5. Solve f + 0 = -g for g.
-5
Suppose -3*s - 3*g + 7 = -7*g, 2*s + 2*g - 14 = 0. Solve -s*n + 18 = n for n.
3
Suppose 3*c - 12 = w, 0 = -4*c + 9 + 7. Let s = 8 - 4. Solve s = -4*o - w for o.
-1
Let k(s) = -s**3 + 17*s**2 - 31*s + 20. Let c be k(15). Suppose -c = -3*p + 2*h + 10, -5*h + 20 = 4*p. Solve 10*g = p*g - 25 for g.
-5
Suppose 0 = 9*d - 4*d + 60. Let z = d + 17. Solve 0 = 3*q - z*q for q.
0
Let b(c) = -2*c**3 - c**2. Let g be 6/(24/(-20)) - -3. Let y be b(g). Suppose a - 50 = -4*a + 4*o, 4*a - 4*o - 44 = 0. Solve 3*x = a*x - y for x.
4
Suppose o = -5*r - 2*o + 28, -4*o + 8 = 3*r. Let c be r/((-1)/(-3) - 0). Solve -5*t = -c + 4 for t.
4
Let d be -1*(-3)/6 - (-17)/2. Suppose -d*y + 11 = -7. Solve -2 = -y*s + 6 for s.
4
Let y = 175 - 173. Suppose -b - 9 = -5*a, a + 9 = 5*b + 3*a. Solve -y - b = -i for i.
3
Let f = 8 - 3. Suppose 0 = 2*z - f*z. Solve -y + 3 = -z for y.
3
Let m(w) = 10*w - 80. Let i be m(8). Solve i = 4*c + 13 - 29 for c.
4
Let l = -339 - -363. Solve 3*t - 18 = -l for t.
-2
Let m(w) = 2*w + 10. Suppose t + t + 4*u + 6 = 0, u + 8 = -t. Let y(l) = l + 5. Let g(v) = t*y(v) + 6*m(v). Let z be g(-8). Solve 4*c - 1 - z = 0 for c.
1
Suppose -t + 3*m = -5, 4*t + 4*m = 6 - 2. Suppose 0 = i + t*i - 12. Suppose i = 3*d + d. Solve c + 2 = -d for c.
-3
Let v = -174 - -198. Solve 0 = -5*l + 1 + v for l.
5
Let q be ((-65)/15 + 5)/(1/15). Solve -j - q = j for j.
-5
Let a be (-1)/1 - (-9)/(-3). Let p be (10 - 1)*a/(-12). Solve z - 10 = p*z for z.
-5
Suppose -q - 36 = -4*q. Suppose 0 = -3*z + 3*x + 30, 2*z = -3*z + 2*x + 47. Let v = q - z. Solve w = 2*w - v for w.
3
Let x = 183 - 183. Solve 2*t = -x*t for t.
0
Let a be (-2)/6*3/((-3)/3). Let j be 2/(-5) + 12*a/5. Solve 6 = j*h - 4 for h.
5
Let r(h) = 20*h - 134. Let v be r(7). Solve 0 = -v*k + 15 + 3 for k.
3
Let d = -40 + 49. Suppose -7*s = -d*s + 6. Solve s - 12 = 3*g for g.
-3
Suppose -x - 60 = -4*x. Suppose -3*a + d = -17, -d - x = -2*a - 7. Solve -5*j + a + 1 = 0 for j.
1
Let b(l) = -1 - 5 + 0*l**2 + 3*l**2 + 11*l - l**2. Suppose -i - 1 = 3*y + 18, -2 = 2*i - 3*y. Let j be b(i). Solve j = -7*w + 2*w for w.
-3
Let q(j) be the third derivative of -7/3*j**3 + 0 + 6*j**2 + 1/24*j**4 + 0*j. Let k be q(15). Solve -l - 5 = -k for l.
-4
Let u = -285 + 289. Solve -s - u = -1 for s.
-3
Let a be 2/(-5) - (-66)/15. Let y(c) = 2*c + 26. Let f be y(-11). Let w(p) = -p**3 - p**2 + p + 1. Let l be w(-1). Solve a = -l*t + f*t for t.
1
Let y be 2/(468/(-118) + 4). Let w(v) = 41*v - 1. Let b be w(-1). Let m = y + b. Solve 42 = 5*h + m for h.
5
Let z = -1419 + 1434. Solve 4*u = u + z for u.
5
Suppose -64*d - 120 = -72*d. Solve 2*g - 19 = -d for g.
2
Let u be (-2)/((-8)/(-6)) + (-142)/4. Let g = u + 37. Suppose -3 = -h - 0*h. Solve 0 = 3*r + h - g for r.
-1
Let d(i) = i**3 + 4*i**2 - 19*i - 38. Let l be d(-6). Solve l*b + b = 5 for b.
1
Suppose 0 = 4*d + 7 - 39. Suppose -h + 5*y + 2 = -2*h, -d = -4*h - 4*y. Solve -h*p = 2*p for p.
0
Suppose -2*q + 28 + 0 = 4*t, 2*t + 46 = 5*q. Solve -22 = q*v + 28 for v.
-5
Let m be (4 + 7)/(-2 - -3). Solve m*h - 7*h = 0 for h.
0
Let q(s) = -12*s + 12. Let w be q(-9). Let m be 1/(3*4/w). Suppose 0*u - m = -5*u. Solve -u*y = -1 + 9 for y.
-4
Let q(r) = 3*r**2 + 30*r + 113. Let p be q(-5). Solve -6*l + p = 