 for h.
5
Let k = 177 - 169. Solve 0*r = 4*r - k for r.
2
Suppose 6*p - 17*p = 22. Let z be ((-3)/p)/(-3 + 135/40). Solve -z*x = -x for x.
0
Suppose 0 = r + 2*r - 24. Let b = r + -2. Let t = b + -4. Solve -2*a = t*a for a.
0
Let y = -17 - -25. Suppose -y*u = -11*u. Suppose u = -3*t - t + 48. Solve -5*s - t = -s for s.
-3
Suppose -48*x + 1488 = -32*x. Solve -89*u - 8 = -x*u for u.
2
Let q(z) = z + 1. Let c(y) = 5*y - 2. Let t(h) = -c(h) + 4*q(h). Let g be t(4). Solve -2*l - g*l + 12 = 0 for l.
3
Let u be (14/(-7) + 2)/1. Solve -7*m - 16 + 9 = u for m.
-1
Let v = -4 - -9. Let b(p) = 2*p + 35. Let q be b(8). Suppose 0 = 8*k - 5*k - q. Solve -v*t + k = 2 for t.
3
Let a(g) = 2*g**3 - g + 1. Let j be a(1). Let u(m) = 2*m**2 - 4*m + 3. Let v be u(j). Suppose -2*z + 6 = -0. Solve z*t - 15 = -v for t.
4
Let j be 1216/209 + 2/11. Suppose j*b - 3*b = -3*b. Solve b = q - 3 - 2 for q.
5
Let a be 0 + 2 - ((-45)/(-9) - 15). Solve 0*h = 6*h + a for h.
-2
Let n(x) = 2*x + 2. Let p be n(-1). Suppose p = 5*q - 0*q - 10. Suppose 0 = 2*i + q*i. Solve -2*o + 0*o = i for o.
0
Suppose a + 1 = 4*y - 0, 0 = -y - 4*a - 4. Suppose -i + 8 - 1 = y. Suppose 0 = -0*d - i*d + 21. Solve -2*n - d*n = -20 for n.
4
Let s be (3 - (2 - -1))/2. Suppose s = -2*p + 3*p - 4. Solve -q = -p*q for q.
0
Let q = -683 + 685. Solve -q = -7*t - 9 for t.
-1
Let k = 1400 - 1395. Solve -k*l = -12*l for l.
0
Let k be (-2 + 2)/(4*6/(-24)). Let n be 1 - 1*(-3 + 0). Solve n*r = -k*r for r.
0
Let f be (-10)/(-20) + 4/(-8). Solve -20*z + 31*z + 11 = f for z.
-1
Let h(t) = -t + 106. Let z be h(-13). Solve -2*k - 117 = -z for k.
1
Suppose 82 - 25 = 19*c. Solve -c*j - 5 + 17 = 0 for j.
4
Let h = 9 + -5. Suppose -h*w = -3*w - 1. Suppose w = 3*n - 5. Solve -n*r + 3*r - 4 = 0 for r.
4
Let s = -94 + 100. Solve v + s = -2*v for v.
-2
Let o be (-9)/(-12) - (-495)/(-4). Let g = o + 123. Solve g = z + 3 for z.
-3
Suppose 2*u - 13*u = -110. Let q = 3 - 3. Suppose -3*a + 17 - 5 = q. Solve -a = -2*n - u for n.
-3
Let j(r) = -2*r - 4. Let o be j(-2). Suppose -4*v + 32 + o = 0. Suppose p + 4*x = -0*x + v, 5*x = -4*p + 10. Solve 0*i + i = p for i.
0
Suppose -4*j + 65 = j. Suppose 18*k - 20 = j*k. Let l be (1 - 2) + (10 - 8). Solve -r - k = l for r.
-5
Let b(t) = 2*t**3 - 15*t**2 - 4*t + 12. Let u be b(8). Solve -5*f - 34 = -u for f.
2
Let q = 1659 + -1643. Solve -6*a + q*a - 50 = 0 for a.
5
Let q(a) = 3*a**2. Let k be q(1). Solve -11 + 5 = k*v for v.
-2
Let d be 2 + (51/(-2) + -4)*-2. Let z = d + -54. Solve 3*c - z*c + 16 = 0 for c.
4
Suppose -33*c - 1899 = -6486. Solve -3 = -138*r + c*r for r.
-3
Let a = 6 + -1. Let x be ((-16)/20 + 1)*-1*-5. Suppose 0 = -3*j + x + a. Solve -5 = j*l + 1 for l.
-3
Suppose 3*l + 2*t + 14 = 76, 0 = -2*l + t + 32. Let n(j) = 2*j - 10. Let v be n(6). Suppose v*o + o - l = 0. Solve 0 = y - o*y for y.
0
Suppose -3*p + 9 = 6*p. Suppose -p = q - 5. Solve -1 = q*s - 5 for s.
1
Let z(q) = -23*q + 1169. Let m be z(49). Solve -6*w - 60 + m = 0 for w.
-3
Let u be (-2)/(-4) + (-36)/(-8). Suppose 2*x = 27 + u. Let a = -8 + x. Solve a*c - 25 = 3*c for c.
5
Let u(s) be the first derivative of -s**2/2 + 4. Let l be u(-1). Let d be (0/(2 - 1))/l. Solve d = m - 0*m - 1 for m.
1
Let p(j) = 7*j - 39. Let u be p(6). Solve -13*i = -u*i for i.
0
Suppose 5*q - 3*t - 31 = 0, 2*t - 38 = -2*q - 16. Suppose u = 5*u - q. Solve -p = u*p for p.
0
Suppose 0 = m - 0*m. Let u be (-1*4/(-6))/(2/6). Let r be -4 + u - (-5 + 1). Solve z + r*z + 12 = m for z.
-4
Let r be (-4)/9*3*27/(-6). Let a = r - 5. Solve -2*z = 3 + a for z.
-2
Let t = -6 - -6. Suppose -6*p + 4*p - 3*f = -98, 2*p - 5*f - 114 = t. Let v be 8/p + (-579)/(-39). Solve -4*w + w = v for w.
-5
Let q(o) = -o**2 - 12*o - 7. Let w = -27 - -16. Let s be q(w). Solve s = 3*v - 2*v for v.
4
Let k(l) = -20*l + 115. Let h be k(5). Solve 2*j - 5 = -h for j.
-5
Suppose -5*q - 8 + 28 = 0. Suppose q*o = 108 - 28. Suppose 5*w - w = o. Solve w = j + 1 for j.
4
Suppose p + 2 = 3. Suppose p = b + 2. Let y be 2*b + -15 + 22. Solve y = -2*o + o for o.
-5
Let q be (3/(-6))/(-3*(-1)/(-42)). Solve q*z = 62 - 41 for z.
3
Let z(c) = -c**2 - 11*c - 3. Let s be z(-9). Suppose s + 4 = q. Let p = 23 - q. Solve 0*h = -2*h + p for h.
2
Let b be 2/(-1) + (2 + 2)/2. Let m = 4 + b. Solve m*c - 6*c = -4 for c.
2
Let t = -253 - -257. Solve 24 - 20 = -t*k for k.
-1
Let z be 66/(-15) - (-10)/25. Let h be -2 - z - (-9 - -8). Suppose 8*i - 3*i = h*v - 21, -5*i = -v + 7. Solve 2 - v = 5*n for n.
-1
Let w(p) = 3*p**2 - 37*p - 11. Let s be w(13). Solve 3*g - 9 = -s for g.
-2
Let t be (-1)/(2/(-6)*1). Let w = 39 - 53. Let h be ((-72)/(-42))/(-1 - 18/w). Solve 3 = -t*g - h for g.
-3
Suppose 0 = 3*c - 3*v - 6, -9*v + 6*v = 5*c - 10. Solve c*b = -2*b for b.
0
Let d be 47/9 + (-6)/27. Suppose -d*t - q - 22 = 0, 5*q = -4*t + 2*q - 22. Let r be (-24)/(-4) + t*1. Solve r*a = -3*a for a.
0
Let a(h) = 71*h - 419. Let q be a(6). Solve q*p - 4 - 10 = 0 for p.
2
Suppose -5*k - 4*f + 39 = -0, -k + f = -6. Let l(d) be the second derivative of -d**4/12 - 7*d**3/6 + 11*d**2/2 + d. Let u be l(-8). Solve u*z = -2 - k for z.
-3
Suppose 2*h + 2*f + 4 = 0, -18*f = 2*h - 20*f - 4. Solve g - 2*g = -h*g for g.
0
Let q be 4 + (18 - 4 - 3). Suppose -d + 3*d + 2*k = 14, 4*k - 7 = 3*d. Let c = -3385 - -3387. Solve -c*t = d*t - q for t.
3
Suppose -q + 16 = 4. Suppose 4*m = a - q, -2*m + 17 = 2*a + 3. Let u = a - 6. Solve -n - u*n = 0 for n.
0
Let b(d) = d**2 - d + 1. Let x be b(2). Suppose 2*u + 4 = x*u. Let h = -679 - -683. Solve -2*l + u*l - h = 0 for l.
2
Suppose -2*l - 2*f + 6 = 0, l + f - 5 = -2*f. Suppose -l = -8*q + 30. Solve v - 12 = q*v for v.
-4
Let j(q) = 23*q**2 - 13*q - 14. Let x be j(-1). Solve -5*g + 2 = x for g.
-4
Let a be (-1)/((-6)/(-14) + 3/42). Let d(v) = -v**3 - v**2 - 4*v. Let m be d(a). Solve 0 = -g - 2*g + m for g.
4
Let x be 422/(-38) - (16/76)/(-2). Let g(y) = 3*y**3 - 4*y**2 + 2*y + 1. Let r be g(2). Let k = r + x. Solve 2 + 2 = -k*n for n.
-2
Suppose -3*i - 11 = -4*x, -4*x + 10 + 3 = -5*i. Solve -2*m + 12 = x*m for m.
3
Suppose 11 = 2*q - 3. Suppose -4*y = 5*k + 5, q*y + 4*k = 2*y - 4. Solve y = 4*v - 0*v for v.
0
Suppose -7*j + 24 = -3*j. Suppose j = 4*l + 30. Let u be ((-2)/l)/(8/48). Solve -u = 4*f - 14 for f.
3
Suppose -2 - 2 = -2*n. Let l(w) = -w**2 + 1 + 8*w - 7*w**2 + 2 + 7*w**2. Let a be l(6). Solve 3*q - a = -n*q for q.
3
Let c(p) = p**3 - p**2 + p - 1. Let m be c(1). Suppose -3 = 3*s - 4*v - m, -2*s + 5*v - 9 = 0. Let q = 514 - 509. Solve s*z + 4 = q*z for z.
2
Let c(k) = k + 7. Let b be c(-3). Let m be 8/16*0/(-2). Let l = m + 3. Solve 1 = b*g - l for g.
1
Let t = 812 - 745. Solve 61*a - t*a = 18 for a.
-3
Suppose 2 + 3 = 5*l. Let p(a) = -7*a - 3. Let j(t) = 104*t + 44. Let d(g) = 6*j(g) + 88*p(g). Let k be d(l). Solve -k = -v - v for v.
4
Suppose 0 = -m - 2*m + 3. Suppose 21 = 15*n - 8*n. Solve -n*d - m = -7 for d.
2
Let m = 32 - 25. Solve 3*t - 2 = m for t.
3
Let k(q) = q**2 - q + 1. Let t be ((-2)/(-5))/((-2)/(-10)). Let h be k(t). Let y(c) = -c**2 + 3*c + 3. Let o be y(h). Solve 0 = 2*l - 5*l - o for l.
-1
Let t be 1/((-1)/3) - 24/(-4). Solve 0 = -t*w - 0*w - 3 for w.
-1
Suppose 0 = -9*z - 3704 + 3839. Solve z*n + n = -80 for n.
-5
Let k(y) = 13*y - 22. Let i be k(2). Solve 0 = -2*m + 2 + i for m.
3
Let c(s) = s**3 - 5*s**2 + 7*s - 4. Suppose 5 + 7 = 3*u. Let n be c(u). Suppose -3*k + 4 = -n. Solve 5*q - 4*q + k = 0 for q.
-4
Let w be ((-15)/2)/(-4*(-1)/8). Let r(n) = 2*n + 35. Let v be r(w). Solve 20 = v*z - 5 for z.
5
Let v(g) = 4*g**2 - 13*g - 6. Let s be v(4). Solve -5 = s*m - m for m.
-1
Let o be (-36)/162 - (-50)/(-18). Let j(r) = 2*r + 6. Let p be j(o). Solve v = -p*v + 2 for v.
2
Let n = 1580 + -1569. Solve 14*c - 81 = -n for c.
5
Suppose 0 = 3*b - 60 - 18. Solve b + 4 = 6*i for i.
5
Let j be -1*2/(-6)*(-102 + 105). Let x = 31 + -28. Solve j = -t - x for t.
-4
Let d = -24 + 42. Solve -7*n + d = -n for n.
3
Let k be 2/(-5) + (-17)/(-5). Let i(l) = l**3 + 20*l**2 - 44*l + 1. Let g be i(-22). Solve 0 = -k*j + 7 - g for j.
2
Let s be (7 + -12)*(-4)/10. Let d be s/4*-4 + 2. Let y = 2 - d. Solve 2*f = -y*f + 16 for f.
4
Let p = 479 - 472. Solve 0 = -p*y + 8*y for y.
0
Let i = -370 + 377. Solve -5*b = 3 + i for b.
-2
Let o = -719 + 725. Solve -8*j = 2 + o for j.
-1
Let i(b) be the se