e p = 4*t + 1 + 11 for t.
-3
Let j be ((-6)/3 + 1)*-10. Solve 0 = 3*u + 2*u - j for u.
2
Let x = 207 + -203. Suppose 0 = -5*t - 21 + 61. Suppose -4*f - 80 = -t*f. Solve -x*o + 0*o = f for o.
-5
Let t(h) = 77*h + 48 + 63*h + h**2 - 156*h. Let a be t(4). Solve -i + 4 - 3 = a for i.
1
Suppose -3*g = -4*s - 32, -3*s = 2*g + 10 - 3. Solve 28 = 3*c + g*c for c.
4
Let s(k) = -k**3 - 3*k**2 + 4*k + 2. Let z be s(-4). Let l = 16 + -27. Let d be (-316)/(-44) - (-2)/l. Solve 3*y - z = d for y.
3
Let c(l) = l**2. Let z(j) = j**3 - 6*j**2 + j. Let u(a) = 6*c(a) + z(a). Let t be u(-1). Let m be -30*(t/(-5))/(-1). Solve p + m = -2*p for p.
-4
Let t be (-40)/12*36/(-8). Suppose t*x = 14*x. Suppose x*d - 4*d = -8. Solve -4 = -n + d*n for n.
-4
Let l = 206 - 194. Solve -i - 2*i = l for i.
-4
Let h be -1 + 2 + -4 - -4. Let w be (-7)/h - (3 + -4). Let q be 4/12 + (-4)/w. Solve -b = q + 1 for b.
-2
Let b = -16 + 34. Let u = 24 - b. Solve -4*y + y = -u for y.
2
Let d(h) = 6*h - 84. Let y be d(14). Solve 2*s + 0*s + 2 = y for s.
-1
Let u(l) = -2*l**2 - 17*l + 1. Let m be u(0). Suppose -4 = -h + i, 6 = -h + 3*h - i. Solve -h*a + m = 5 for a.
-2
Suppose 0 = 5*r + 20, 4*n + r - 4 = -0*n. Let v(y) = 5*y + 0*y**2 - 2*y**n - 6 + 3*y**2 - 6*y**2 - y**3. Let p be v(-6). Solve -g - 3*g + 12 = p for g.
3
Let y be (-13)/(-26) + (-3)/(-2). Suppose 3*w - 4*a - y = -20, 0 = -4*w - 3*a - 49. Let r be (9 + -8)/((-2)/w). Solve -r*d - 9 = -2*d for d.
-3
Suppose 0 = 4*w - n - 38, 4*n = 5*w + 6*n - 54. Solve -w = 4*t + 6 for t.
-4
Let u(y) = -y**2 - 7*y - 7. Let f be u(-2). Suppose 0 = -5*c - f*c + 64. Solve p + p = -c for p.
-4
Let b = 110 + -92. Suppose -t = -4*t + 15, 2*j + 2*t = b. Solve 0 = 2*o - 4*o + j for o.
2
Suppose 5*l - 5*z = 5, 309*l - 306*l + 4*z - 24 = 0. Suppose -3*n + 3*r = -r + 13, -4*n = -r. Solve -5*v = n + l for v.
-1
Let m(p) = -3*p**3 - 5*p**2 - 3*p - 8. Let y(t) = -4*t**3 - 5*t**2 - 2*t - 9. Let f(k) = -3*m(k) + 2*y(k). Let c be f(-4). Solve -4*w - c = 6 for w.
-2
Let v be 34/(-51) + 115/(-3). Let q = -36 - v. Solve -q*d + 7 = -8 for d.
5
Let q = 24 + -47. Let j = q + 28. Solve j*m - m = 4 for m.
1
Suppose 2*l = -5 + 15. Suppose -l*s - 2*n + 97 = 0, 0*s - 3*s + n = -67. Let r = s + -19. Solve b + r = 5 for b.
3
Suppose 3*c + 0*c = 33. Suppose -3*h + c = -1. Let l = -4 + h. Solve l = -5*z - 3 + 23 for z.
4
Suppose -p - 4*p - 12*p = 0. Solve p = 4*u + 8 + 8 for u.
-4
Let p = -41 - -74. Let n = p + -19. Let i be 1 - n*3/(-6). Solve i*m = 4*m for m.
0
Suppose 188*g = 169*g + 551. Let x(s) = 27*s**3 - s**2 + s + 1. Let y be x(-1). Let w = g + y. Solve -w = v + 4 for v.
-5
Let w(t) = -4*t - 4. Let b be w(-4). Let m be 4/8*b/2. Suppose -p - m = -7. Solve 9*x - 20 = p*x for x.
4
Let w be (-6)/12 - 28/(-8). Solve 0 = 2*s - 3*s + w for s.
3
Let o = 277 - 276. Solve 0 = v - 2*v + o for v.
1
Let r(o) = -o + 2. Let m = 5 - 7. Let p be r(m). Solve -6*j - 8 = -p*j for j.
-4
Suppose -4*p + 5*m - 2 + 0 = 0, -2*p = -5*m - 4. Let l be (-14)/((-2)/(4 + p)). Solve -3*d = -l*d + 20 for d.
5
Let j = 12 - 2. Suppose 5*z - j = -n + 6, -2*n - 8 = 0. Solve 0*y = -4*y + z for y.
1
Suppose -76*d + 75 = -61*d. Solve 0*y = -d*y - 5 for y.
-1
Suppose y = -4 + 8. Let r be 6*(y/8 - 0). Suppose -4*s = -r*s - 10. Solve s*t = 5*t for t.
0
Suppose 4*z + 3*n = -4, 0 = -0*z - 3*z + 5*n + 26. Let r be 1 - (-19 - (0 - z)). Suppose -3*c + 1 = -5*d - 1, 0 = -5*d - 2*c + r. Solve -d*g = 5 - 1 for g.
-2
Suppose -15 = -4*s + p, s + 5*p - 40 = -2*s. Suppose 0 = 4*g - 3*a - 28, -s*g - 6*a + 2*a = -66. Solve -6*n = -g*n + 4 for n.
1
Suppose 13*k - 84 = 7*k. Solve 0 = -13*m + k*m - 2 for m.
2
Let l(q) = -6*q - 71. Let o be l(-13). Solve -o*i = -0*i for i.
0
Suppose 0 = 2*o + 115 - 141. Let w = 13 - o. Solve w*j + j + 5 = 0 for j.
-5
Suppose 18 = 3*d + 3*r, 5*d - 63*r + 64*r = 26. Solve 0 = -d*y - 26*y + 93 for y.
3
Let k(h) = -h**2 + 18*h + 10. Let z(w) = w**2 - 19*w - 10. Let p(j) = 4*k(j) + 3*z(j). Let x be p(17). Let g = x - -28. Solve 12 = -g*n + n for n.
-4
Let v be 28 + (8 + -11 - -12). Solve 7*h + v = 72 for h.
5
Suppose 8*h = -0*h + 24. Suppose -h*b + p + 6 = 0, -5*p + 2 = -4*b - 1. Solve b + 7 = -2*a for a.
-5
Let k = -36 + 37. Let r(t) = 10*t - 6. Let n be r(k). Solve -3*y + 11 = -n for y.
5
Let l(p) = -p**3 + 9*p**2 + 22*p + 4. Let f(k) = k**2 - 7*k - 7. Let h be f(9). Let r be l(h). Solve -13 = -3*q - r for q.
3
Let m be 1/(-3 + 4)*25. Solve -8*x + m = 25 for x.
0
Let o be (-1)/(-3) + 16/(-38 + -10). Solve o = 70*h - 75*h + 20 for h.
4
Let p = -108 - -48. Let a = p - -110. Suppose -5*j - a = -2*h, j - 25 = -h - 0*h. Solve 9*m = 4*m + h for m.
5
Suppose -20 - 10 = -5*i. Let r(d) = -97 - 90 + 185 + 2*d**2. Let c be r(-1). Solve -3*b + 6 + i = c for b.
4
Suppose -12 = -2*u + 10. Let f(k) = -k**2 - 13*k + 268. Let l be f(11). Solve 0 = l*r - u - 5 for r.
4
Let k(c) = -c**2 - 32*c - 186. Let i be k(-10). Solve 7*j = i + 1 for j.
5
Let n be (-28)/280*-110 - (9 + -2). Let b be 0/1 - -1 - -8. Solve 0 = n*a - a - b for a.
3
Let i = 15 + 0. Let p(c) = 35*c + 110. Let r be p(-3). Solve i = r*f - 5 for f.
4
Let a be ((-1)/1)/(-1) - -63. Suppose 11*z = a - 20. Solve q + 3*q - z = 0 for q.
1
Let y be 152/(-190)*((-45)/2)/3. Suppose -6*u + y + 12 = 0. Solve u = -2*i + 5 for i.
1
Suppose -6*n = -n - 2*m - 5, -3*m + 2 = 2*n. Solve 0 = -4*p - n + 5 for p.
1
Let f(i) = i - 2. Let b be f(6). Let w(z) = -b - 1 + 5*z - 6*z + 3*z. Let c be w(3). Solve h + c = 2 for h.
1
Let l(v) = 3*v + 18. Let o be l(-6). Let w = -3 + 5. Solve -w*a = -o*a for a.
0
Let y be (-8)/20 - 36/(-90). Solve y = -8*d - 18 - 14 for d.
-4
Suppose 4*u - 3*u - 9 = 3*j, 0 = 3*u - 2*j - 55. Suppose 17 = -2*r + u. Solve r = -w + 5 for w.
3
Let q = -57 + 81. Suppose -q = -5*p - 4*u, -47 = -2*p + 5*u - 11. Suppose -6*v - 9 = -9. Solve -p = -2*f - v for f.
4
Let l = 1391 + -1349. Solve -53*h = -l*h + 22 for h.
-2
Suppose -22 = 39*d - 44*d + z, 3*d + z - 18 = 0. Solve d*b = 9 + 6 for b.
3
Let h = -15 + 15. Let y be h + -2 - (8 - 13). Let b(a) = -a + 2. Let f be b(0). Solve -f*v = y*v for v.
0
Suppose 0 = -4*c - 15 + 23. Suppose -2*m + 1 = j, 4*j - 12 = -c*m + 4. Solve -q - j = -0*q for q.
-5
Let z(w) = -21*w - w**2 + 3*w**2 - 1 + 8*w + 0*w**2. Let q be z(7). Suppose 5 + 10 = 3*v. Solve v*y + q = 2*y for y.
-2
Let h be (12/(-8))/(1/(-2)). Let d(t) = t**3 - 6*t**2 + t - 5. Let w be d(6). Let f be w + 2/(-3)*-6. Solve h*l - 7 = f for l.
4
Let x(h) = -h**2 + 5*h - 3. Suppose -5*k - 4 = -19. Let p be x(k). Suppose z - 12 = -p*c, 7*z - 2*z - 3*c = -12. Solve z*l + l = 3 for l.
3
Suppose -2*r + 3 = -r. Solve r*a + 8 = 7*a for a.
2
Let d = 171 - 169. Solve 6*y - 8 = d*y for y.
2
Let j(o) be the first derivative of 1/3*o**3 + 4*o**2 + 0*o - 1. Let t be j(-8). Solve -2*u + t + 4 = 0 for u.
2
Suppose 2 = -9*j + 2. Suppose -5*z - 2*z = j. Solve z*d = -d for d.
0
Let b(l) = -3*l - 1. Let j be b(-12). Let v be (-2 + 0)*j/(-14). Suppose -v*y + 4*y + 17 = 0. Solve -4*t - y = -5 for t.
-3
Let r = -68 + 107. Let i = r - 38. Solve i = 4*n - 3*n for n.
1
Let k(g) = g - 7. Let z be k(5). Let o(x) = x**2 - 2. Let i be o(z). Let r(l) = 3*l**2. Let j be r(0). Solve -3*b + i*b = j for b.
0
Suppose 3*o - 11*x - 10 = -13*x, -4*x = -3*o + 16. Solve -o*k + 4*k = -2*k for k.
0
Suppose 35 = 5*v + l, -2*v - l + 53 = 36. Solve -v*t - 5*t - 44 = 0 for t.
-4
Suppose 0 = -4*p + 4 + 12. Suppose p*o + 4 = -0, -k - 5*o = 4. Solve -k = a + 3 for a.
-4
Let t be (6/2)/3 + -2. Let a be (171/(-54) - 2/(-12))*t. Solve a*r = r for r.
0
Let u(p) be the first derivative of p**4/4 - 2*p**3 - p**2 + 12*p + 49. Let q be u(6). Solve d + 0*d = q for d.
0
Let s(c) = 7*c - 12. Let z(g) = -2 + 6*g + 3 - 10 - 3. Let b(n) = -5*s(n) + 6*z(n). Let i be b(15). Solve 0*u = -i*u + 15 for u.
5
Let b(p) = 25*p + 355. Let z be b(-14). Solve g - z*g = -8 for g.
2
Suppose -3*c - 2*c + 10 = 0. Suppose 0 = -c*v + q + 17, 2*q - 39 = -5*v + q. Let i be 4/v*8 - -6. Solve 2*h + i = 4*h for h.
5
Let b be 1036/7*(-1)/(-2). Let o = b + -66. Solve -o = 4*t - 2*t for t.
-4
Suppose 5*l = 2*l. Suppose 3*m - 6 + l = 0. Let q = 31 - 26. Solve -7 = -q*j - m for j.
1
Let b(j) = -4*j + 21. Let v be b(6). Let w be 10 - 1 - (4 - 2). Let y = w + v. Solve 3*i + 8 = -y for i.
-4
Let x(g) = -g**2 + 7*g. Let v be x(5). Suppose -2*c - k + v = -5,