Suppose 0 = 26*h - q*h - k. Solve -h*p - p = 0 for p.
0
Let n be (-2)/((1 + -2)/1). Let d be (18 + 0)*-1*n/(-4). Solve 4 = 5*g + d for g.
-1
Suppose 0*t = -4*k + 2*t + 18, 0 = k + t - 9. Suppose 12*u - k = 10*u. Solve u*q + 11 = 5 for q.
-2
Suppose -1030 = -3*d - x, 1516 - 152 = 4*d - x. Let f be d/66 - 4/22. Solve -f = -3*b - 2 for b.
1
Let o(u) = u + 1. Let g be 0 - 3 - (-6 - -2). Let p be o(g). Suppose -4*d - 48 = -3*h, -d = -p*h + 16 + 21. Solve h = -4*m + 8*m for m.
5
Let a be 2/19 - 36*8/(-152). Suppose 5*j - 4*k - 35 = 0, 2*j = -0*k - 2*k - 4. Solve a*r - 3*r = -j for r.
3
Suppose 5*c - 3*j = j - 4, 0 = 4*j - 4. Suppose -b - 2*b - 3 = c. Let i be b/2 + 99/22. Solve -i*r - 26 + 6 = 0 for r.
-5
Let n be -1 - 1*(-3 - 2). Suppose -14 = -2*r + 3*p, -3*r + 5*p + 18 = -4. Solve -r*w = -0*w + n for w.
-1
Let k be 3*2 - (-2)/(-1). Let x(m) = 4*m + 4. Let p(h) = 3*h + 3. Let b(y) = 6*p(y) - 5*x(y). Let d be b(-2). Solve d*v = -0*v - k for v.
-2
Let z(t) = 2*t**3 - 4*t**2 - 2*t + 2. Let v be z(3). Suppose -17 = 2*f - m, -4*m + v = f - 0*f. Let a = f - -11. Solve -5*s + 5 + a = 0 for s.
2
Suppose 4*v - 3*m = m + 20, -4*v - 3*m = -13. Let z be (6/4)/((-12)/(-120)). Solve v*t + t = -z for t.
-3
Let a(f) = -4*f + 43. Let u be a(8). Solve 47 = -u*z + 14 for z.
-3
Let y(u) = u**3 + 9*u**2 + 15*u + 11. Suppose -3*d - 11 = 2*a, 3*a + 0*a + 5*d + 16 = 0. Let q be y(a). Solve 7*v - q*v + 3 = 0 for v.
-1
Suppose 0 = n - 3*z - 2*z - 26, 3*n + 2*z + 7 = 0. Solve 6*a + n + 17 = 0 for a.
-3
Let s(o) = 23*o + 9. Let y be s(0). Solve y*z = 11*z + 4 for z.
-2
Suppose a + 17 = 4*u, 12*u + 4*a - 12 = 8*u. Solve 4*r - u = -16 for r.
-3
Let f = -46 - -52. Suppose 15 + 15 = f*m. Solve -m*b + 11 = 1 for b.
2
Let u be ((-10)/30)/((-1)/18 - 0). Suppose -5*r + 2*r = 5*j + u, 10 = j - 5*r. Solve 4*g = -j*g for g.
0
Let x be ((-9)/15)/(1/(-5)). Suppose 9*i = x*i. Solve 3*z = -i + 15 for z.
5
Suppose -23 = -3*w - 5. Solve -72 = -12*y - w*y for y.
4
Let w(o) = o**2 + 14*o + 2. Let u(r) = 4*r**2 + 69*r + 10. Let x(d) = 2*u(d) - 11*w(d). Let l be x(-5). Solve 0 = -l*b - 0*b - 6 for b.
-2
Let r be 0 - 3/(-6)*-2. Let c be (r/(-2))/(2/4). Let t = 148 - 144. Solve -c = s - t for s.
3
Let r(s) = 3*s - 11. Let w = 24 + -32. Let i(b) = -b**3 - 7*b**2 + 9*b + 13. Let y be i(w). Let t be r(y). Solve 0*k - t = k for k.
-4
Let v(d) = -d**3 - 2*d**2 - d + 36. Let r be v(0). Solve 0 = -4*n + 16*n + r for n.
-3
Suppose 28 = -4*q + 4*c, 2*q + 2 = -c - 0*c. Let f(u) = -u**2 - 2*u - 3. Let d be f(q). Let b be ((-15)/d + -3)*0. Solve b*v = 5*v + 10 for v.
-2
Let j be 2/(880/(-90) - -10). Solve -83*n = -86*n - j for n.
-3
Suppose -4*k - k + 425 = 0. Suppose -i + 5 + 23 = -3*o, 5*i - 4*o = k. Suppose -11 = -3*t + h - 0, -h - 19 = -5*t. Solve -3*s + i = t for s.
3
Suppose -2*t + 4*t = 8. Solve 0 = -6*l + t + 8 for l.
2
Let i be 5/(15/3)*-3. Let c be i/(0 + 3) + 5. Let h be 3/3 + 1 - -3. Solve -h*t + 1 + c = 0 for t.
1
Let q = -456 - -460. Solve 10*b - 6 - q = 0 for b.
1
Let w(p) be the first derivative of -2*p**3/3 + p + 4. Let v be w(2). Let b(m) = m + 17. Let l be b(v). Solve 0 = 5*u - 5 - l for u.
3
Suppose -5*f - 4 = -34. Solve -f*s + 3*s = -6 for s.
2
Suppose -2 = l + 2*u - 22, 2*u = -4*l + 74. Solve -l*b + 30*b = 48 for b.
4
Let l(t) = t**2 + 6*t - 3. Suppose 0 = 4*b - 4, -2*b - 20 = 3*a - b. Let n be l(a). Let w(g) = -g**2 + 4*g. Let k be w(n). Solve u - 3*u = k for u.
0
Suppose 10*x - 96 = 9*x. Suppose 2*v = -6*v + x. Solve 8*r + v = 5*r for r.
-4
Suppose 3*x - 41 = -5*p + 1, -4*x + 16 = 0. Suppose 2*q + m = -2*q + 35, 4*q = 4*m + 60. Let h = q - 7. Solve 0 = 3*i - h - p for i.
3
Let i = 45 - 32. Suppose y + 3*m = -i, -30 = -5*y + 7*m - 3*m. Solve -8 = -y*w - 0*w for w.
4
Let g(z) = 66*z + 9. Let v be g(0). Solve -26 = v*d + 1 for d.
-3
Suppose -2*k = -v - 5, -2*k - k = -3*v. Solve -k = y - 2 for y.
-3
Let r(t) be the first derivative of t**3/3 + 11*t**2/2 + 30*t - 13. Let f be r(-7). Solve h - 2 = f*h for h.
-2
Suppose 2*p = -2*p + 3*v + 74, 0 = -3*p - 4*v + 43. Solve -5*o = -37 + p for o.
4
Suppose -7*q + 68 - 26 = 0. Let x be q - 1 - (-2 + 4). Let l be x/2*(-10 - -12). Solve -t - l*t = 0 for t.
0
Let d = -1 + 7. Suppose 0 = -m + 5*m. Suppose 2*y - 6 = -m*y. Solve y*g + 9 + d = 0 for g.
-5
Let c(t) = -t**3 - 10*t**2 + 2*t + 3. Let a be c(-10). Let s = -12 - a. Let q be (s - -1) + 0 + -1. Solve h - 2 = -q for h.
-3
Let x be 4/(-8) - (-4)/8. Suppose -5*z + 6 = -2*z - 3*q, 3*z - 8 = 2*q. Solve -z*h + x*h = -4 for h.
1
Let b(l) = l**3 + 15*l**2 - 9*l + 116. Let h be b(-16). Solve -y = h*y + 10 for y.
-2
Let n(s) = -22*s - 2*s**2 + 6*s + 13*s + 5. Let p be n(-3). Let g = p - -10. Solve -5 = g*j - j for j.
-1
Let x(j) = j**3 + 4*j**2 - 5*j. Let f be 1/(-5) + (-46)/(-5). Suppose 0 = 3*d + 3*i + f, -d + 5*i = 3*d + 30. Let l be x(d). Solve -2*h + 4*h = l for h.
0
Let c(h) = 12*h + 7. Suppose 3 = -4*q + 3. Let f be c(q). Solve f*x - 25 = 2*x for x.
5
Suppose 5*d - b = 14, 59*d - 2*b - 13 = 54*d. Solve -d*u - 48 = -15*u for u.
4
Let p be 4 + (3 - (0 - -5)). Let y(v) = v**2 - 2*v + 2. Let s be y(p). Solve 2*n = -s + 6 for n.
2
Suppose 4*n - 30 = 5*m, 4*n - 2*m + 6*m = 12. Suppose n*g - 1 = -5*a - 11, -4*a = -5*g - 28. Solve 4*z = -a - 2 for z.
-1
Suppose -7*f = -2*f. Suppose f = -z - 2*z + 9. Let x = -1 + 1. Solve 7*c - z*c - 16 = x for c.
4
Let p(z) = -3*z - 5. Suppose 0*t = -t - 3. Let x be p(t). Suppose -x*h + 20 = -0*h. Solve -20 = -h*n + 5 for n.
5
Suppose -3*z + 71 = 35. Let o be z*-5*(-3)/45. Solve 4*p - o = -0*p for p.
1
Let z(s) = s**2 - 9*s - 7. Let y be z(10). Let c be y/12 - (-22)/8. Suppose -2*q + b + 0 = -6, c*b = 12. Solve -5*k = -5 - q for k.
2
Let l(y) = -y**3 + 2*y**2 + 2. Let o = 2 - 2. Let c be o*(3 + 25/(-10)). Let g be l(c). Solve -g*v = v - 9 for v.
3
Suppose 6*j - 580 = -538. Solve 12*k - j*k = 5 for k.
1
Suppose -16*s = -0*s - 32. Let b be 0*s/6 - (-5 + 3). Solve -b*m = -0*m for m.
0
Let x(j) = j**2 - 5*j - 3. Let n be x(7). Solve -10 = n*l + 12 for l.
-2
Let p = 644 + -639. Suppose 27 = -3*g + 216. Let m = -43 + g. Solve p*s = s - m for s.
-5
Suppose -12 = 14*s - 54. Solve s*q - 2 = 4*q for q.
-2
Suppose -100*m = -104*m + 384. Solve m*h + 1 = 95*h for h.
-1
Let m be (4/(-12))/((-1)/21). Suppose -m = -5*h + 8. Suppose h*n = 5*d + 5, 0*n - n = d + 1. Solve 0 = -j - n*j for j.
0
Let f be (-63)/(-6)*(-56)/21. Let y = f + 32. Solve -c - y*c = 0 for c.
0
Let q be -5*(6 + 161/(-5)). Solve 3*r - q + 140 = 0 for r.
-3
Let f = 943 + -935. Solve -f*q - 73 = -57 for q.
-2
Suppose -3*z + z - 22 = -4*v, 0 = 2*z + 3*v + 57. Let u = z + 21. Suppose 3*l = -u*l. Solve 2*i - 5*i - 15 = l for i.
-5
Let k = 8 + -5. Let d = k + -20. Let g = 20 + d. Solve g*s + 9 = -0*s for s.
-3
Let v(t) = t**3 + 6*t**2 + 6*t + 5. Let b be v(-5). Suppose b = -w - 5*w - 138. Let z = -20 - w. Solve 0 = -7*i + z*i for i.
0
Suppose -1 + 7 = -2*u + 2*z, -3*u - 2 = 4*z. Let d = u - -2. Solve -5*a - 7 + 32 = d for a.
5
Let c(d) = d**2 - 15*d - 2. Let v be c(16). Let w be (0 - (-6)/(-9)) + v/3. Solve -f = -2*f - w for f.
-4
Suppose -109 = l + 5*f, l - 52 = 2*f - 140. Let q = l + 97. Solve -3 = -q*y - 0 for y.
1
Suppose 0 = -12*i + 14*i - 64. Solve -g + i = 7*g for g.
4
Suppose 0 = 2*c - 5*c + 3. Let d = c - -3. Suppose 3*x = -5*i + 10, -4*x = -i - 0*i + 25. Solve d*v = 3*v - i for v.
-5
Let m(h) = h + 9. Suppose -3*i - 5*x = 2*i + 40, -x = 4. Let f be m(i). Let j be 1/f + (-12)/60. Solve -5 = 5*k - j for k.
-1
Suppose -45 = -14*g - 17. Solve g*n + 1 = -1 for n.
-1
Let o = -156 + 168. Solve 0 = -o*w + 4*w for w.
0
Suppose 3*x + 2*f = 73, 2*f - 29 = -x - f. Solve -2 + x = -7*l for l.
-3
Let k = 98 - 81. Suppose -3*y - k = -4*y. Solve 3 + y = -4*c for c.
-5
Suppose 13*p + 2 = 80. Solve g = p*g - 25 for g.
5
Let r = 2 + 2. Let p(a) = -14*a + 5*a + 5*a**2 - 2*a**2 + a**3 + r*a**2 - 3. Let w be p(-8). Solve 30 - w = -5*u for u.
-5
Let y(s) = -s**3 + 2*s**2 + 3*s + 4. Let m be y(3). Suppose 0 = -5*v + g + 3*g + 15, m*v = -4*g + 12. Suppose j = v - 0. Solve -2*x = -5 - j for x.
4
Let n = -5 - -16. Let f = 150 + -137. Suppose -f*i = -n*i - 32. Solve i = -4*d + 4 for d.
-3
Let x(y) = 2*y**2 - 41*y + 33. Let r be x(20). Let q(b) = -4*b**3 + 2*b**2 + 2*b + 1. Let m be q(-1). Solve -r = -4*s - m for s.
2
Let b(p) = -p**3 - 4*p**2