 s.
-1
Let x = -66 + 66. Solve x = -6*d + 18 for d.
3
Suppose -4*c - 4*b = -24, -32 = c - 5*c + 4*b. Suppose -25 = c*o - 12*o. Solve o*n = 7*n + 8 for n.
-4
Let a(w) = w + 4. Let r be a(-7). Let l(f) = -f**3 - 2*f**2 + f - 1. Let d be l(r). Solve -5 - d = -5*h for h.
2
Suppose 5*d = -5*v, 3*v + d = 4*d + 18. Solve -2*w + v*w = -2 for w.
-2
Let r = 166 - 235. Let x = r - -69. Solve -2*j + 0 - 6 = x for j.
-3
Suppose 0 = 2*w + 2*w. Let l = 1 - w. Solve 2*f + 1 + l = 0 for f.
-1
Let d be (23/(-5))/((-2)/10). Solve k + d - 27 = 0 for k.
4
Let p(h) = -h**2 + 11*h + 242. Let l be p(-11). Solve -5*c + 20 = -l for c.
4
Suppose 2*o = 5*d + 2, -12*o = d - 8*o - 4. Solve d = -3*v + 2*v + 2 for v.
2
Let s(j) = -j + 11. Let z be -12*2/(-3)*1. Let i be s(z). Solve -4*v + i + 1 = 0 for v.
1
Suppose -3*z = -5*z + 72. Suppose 6 = -z*y + 39*y. Solve -y*u = 1 - 11 for u.
5
Let m(c) = -6*c + 134. Let u be m(22). Solve o - 4 = -u for o.
2
Let m(t) be the second derivative of 2*t**2 + 0 + 2*t - 1/6*t**3. Let c be m(2). Solve 5*k + c + 3 = 0 for k.
-1
Suppose -m = -5*m + 184. Suppose m = 2*k - 14. Let l = -27 + k. Solve -9 = l*n - 0*n for n.
-3
Suppose -1185 = -7*d - 1178. Solve d = -9*n + 10*n for n.
1
Let t = 18 + -11. Let y(m) = -m**2 + 7*m + 2. Let h be y(t). Solve -h = 3*r - 2*r for r.
-2
Suppose -47*n + 177 = -152. Solve 11*f - 4*f = -n for f.
-1
Let d(y) = y**2 - 3*y. Let v be d(3). Let z(i) be the first derivative of i**4/4 - i**3/3 - 4*i + 30. Let q be z(2). Solve q = -v*t - 3*t for t.
0
Let t = 667 - 660. Solve -2*j = -9 + t for j.
1
Suppose -18*t + 180 = -3*t. Suppose 5*o - 9*o + t = 0. Solve -o*n = n + 20 for n.
-5
Let o = 99 - 94. Let u be -1*(0 - -5 - o). Solve -4*n - n = u for n.
0
Suppose 0 = -0*n + 3*n + 24. Suppose u + 20 - 4 = 0. Let k = n - u. Solve -v = 3*v + k for v.
-2
Let m(d) = d**2 + d - 8. Let a be m(0). Let c = a + 24. Let f be c/12*(-6)/(-4). Solve 8 = -f*p + 4*p for p.
4
Suppose -5*o + 20 = 34*l - 36*l, 2*o - 5*l + 13 = 0. Solve -o*c = -3*c for c.
0
Let f(i) = -i**2 - 2*i + 34. Let m be f(-5). Solve m = -g + 21 for g.
2
Let y be 0*((-12)/(-30) - (-6)/10). Suppose y = -8*j - 5 + 13. Solve -j + 2 = -h for h.
-1
Let f = 421 + -419. Solve 108 = f*z + 118 for z.
-5
Let z = 27 - 15. Let v(r) = r**3 - r**2 + r - 2. Let n be v(0). Let i be -4*(9/z + n). Solve i*c + 2 = -3 for c.
-1
Let c(a) = -a**2 - 1. Let l(g) = -3*g**2 + 4*g - 2. Suppose -5*z - 28 = -23. Let b(w) = z*l(w) + 4*c(w). Let o be b(-2). Solve -4*k = -o*k - 10 for k.
5
Let p be 7/(5 + 272/(-56)). Solve -17*f + p + 19 = 0 for f.
4
Let l(i) = 14*i + 107. Let q be l(-7). Solve 1 = -2*h - q for h.
-5
Let a(h) = -3*h**2 + h**3 + 5 + h**2 - h - 2*h**2. Let b be a(4). Solve 0*m + b = m for m.
1
Suppose 69 - 132 = -9*k. Solve -k*c + 20 = -11*c for c.
-5
Let d = 142 + -140. Let x = 19 - 10. Solve x = l + d*l for l.
3
Suppose 70*f + 5 = 71*f. Suppose 3*l - 3*v + f - 2 = 0, v = 4*l + 1. Solve -2 = z - l for z.
-2
Let q be ((-6)/(-4))/(153/36 + -4). Let a = -11 - -30. Solve q = 5*k - a for k.
5
Let b be 186/30 + (-2)/10. Suppose -14*l = -11*l - b. Solve l*c + c = 6 for c.
2
Let f = 42 + -41. Let v(u) = u**2 + u + 7. Let o be v(0). Let r(z) = z**2 - 8*z + 10. Let d be r(o). Solve -f = 2*i - d for i.
1
Let q(f) = -6*f - 47. Let n be q(-8). Solve -3 = -4*w + n for w.
1
Let u(c) = 10*c**2 - 13*c - 6. Let v be u(2). Solve v*a + 6 + 2 = 0 for a.
-1
Let b be (-71 + 67)*3*1/(-2). Solve b - 6 = -3*a for a.
0
Let v be (-13)/((-39)/24) - (0 - -4). Solve v*o = -0*o for o.
0
Let b = 6 + -2. Let j(h) = -h**3 + 3*h**2 + 6*h - 3. Let w be j(b). Suppose 0 = w*d - 2*d - 60. Solve 5*x + 5 = -d for x.
-5
Let g(t) = -2*t**2 + 12*t + 8. Let v be g(6). Suppose 2*x - 8 = -2*s, -4*s + x + 3*x - v = 0. Solve -2 + s = u for u.
-1
Let j(u) be the first derivative of u**3/3 - 3*u**2 + 9. Let y be j(6). Solve 3*v - 4*v + 4 = y for v.
4
Suppose -4*s = -5*n + 28, 4*n + 12 = 8*n + 2*s. Solve 8 = -4*l - n*l for l.
-1
Suppose 4 + 3 = 2*j + 3*g, 5*j - 28 = -4*g. Solve 3*t - 7*t - j = 0 for t.
-2
Let b(x) = -7*x + 5. Let d be b(-3). Suppose d = 2*q - 2*u - 4, -5*q + 75 = 5*u. Solve -r - 2*r + q = 0 for r.
5
Suppose 0 = 5*x + 5*o - 21 - 14, 5*x + 4*o - 32 = 0. Suppose 72 = -5*y + i, 0*y + 3*y + 5*i = -60. Let t = y + 40. Solve -t = x*s + s for s.
-5
Let b(l) = -l**2 + 4*l + 5. Suppose -7*q + 5 = -6*q. Let t be b(q). Let o = t + 2. Solve 6*k = o*k - 16 for k.
-4
Suppose -105*c = -109*c. Solve 3*r + c*r + 15 = 0 for r.
-5
Let t(o) = 6*o - 6. Let l be t(1). Solve 5*c - 31 + 6 = l for c.
5
Let c be (-1 + -17)/(14/(-7)). Suppose 4*z + z = -l + c, -3*l - 1 = z. Suppose -z*f + 23 = 3. Solve -4*m - f = m for m.
-2
Suppose -4*f + 15 - 3 = 0. Suppose f*t + t = 0. Suppose t = 2*c + c - 15. Solve -2*w = 3*w - c for w.
1
Let o = 5 + -3. Suppose -o*v = -4, -2*h + 4*v - 2 = -0*v. Solve -4*f + h*f = 0 for f.
0
Suppose 0*u - 44 = -u. Let m = -33 + u. Solve -5*r = m - 1 for r.
-2
Let n = 456 + -442. Solve 19*x - 26*x + n = 0 for x.
2
Let f be (-1)/(7/(-23)) + (-2)/7. Suppose 9 + 1 = 2*o. Suppose -o*p + 21 = -f*u + 1, -2*u - 8 = 2*p. Solve -w = -p - 2 for w.
3
Suppose 3*t = -3*j + 27, 4*t + 0*t + 8 = 0. Suppose 5*n - 5 = 60. Suppose -j*o = -n*o. Solve 9 = -o*b - 3*b for b.
-3
Let s = -47 + 27. Let z = s + 48. Suppose k - z = 5*g, 2*k + 3*g + 3 + 6 = 0. Solve 0*t = k*t for t.
0
Suppose -6*q + 3*q = -12. Suppose 2*m + 2*m + 4*s = 4, -s = -q*m - 1. Suppose j + j - 6 = m. Solve -j = o + 2*o for o.
-1
Suppose 8*y = -245 - 395. Let u = y + 82. Solve -2*k - u*k = 0 for k.
0
Let y be 1*((0 - -1) + 0). Let a be 5*(y + 15/(-25)). Solve 0*v + a*v = -10 for v.
-5
Let b = 2215 - 2076. Solve b*r - 133*r = -30 for r.
-5
Suppose 0 = 5*l - 15, -2*l + 26 = 2*a + 10. Suppose -5 = -9*i + 4*i. Let k(h) = 2*h - 2. Let w be k(i). Solve w = a*j + 4 + 11 for j.
-3
Let f(m) = m**3 + 19*m**2 + m + 20. Let z be f(-19). Solve -q + z = -4 for q.
5
Let b = -4 - -8. Suppose 3*p + b*a - 20 = 0, 5*p - 4*a + 20 = p. Let k be 2/5 + (-161)/(-35). Solve 3*m + k + 10 = p for m.
-5
Let k = -1090 - -1093. Suppose q = -0*q. Let v = q + 0. Solve -3*f + v*f = -k for f.
1
Suppose 2*u + 20 = -y + 6*y, -5*y - 2*u = 0. Let m(t) = -4*t**2 + t**3 + y*t + 3 + 4 + 1 - 4. Let w be m(3). Solve 0 = -5*q + 16 - w for q.
3
Suppose 3*f - 6*f = 3*f. Let o be (-14)/63 - (f - 29/9). Solve -o*l - 8 = -l for l.
-4
Let q(g) = -95*g - 255. Let v be q(-3). Solve 0 = -h - 14*h - v for h.
-2
Let k = 31 - 21. Suppose -10*g + k = -8*g. Solve -t + g*t + 20 = 0 for t.
-5
Let n = -58 + -19. Let j = -74 - n. Solve -3*b - 6 = j for b.
-3
Let j = -18 + 44. Suppose 24*o + 32 = j*o. Solve p = -3*p + o for p.
4
Suppose 8*x = 13*x. Let m be 33/4 + (102/(-24) - -5). Solve 3*w + x*w + m = 0 for w.
-3
Let q = -143 - -146. Solve -3*b + 0 = q for b.
-1
Let p(y) = y**3 + 15*y**2 + y + 17. Let g be p(-15). Let a(b) = -b + 23. Let w be a(23). Solve w = -s + g*s + 3 for s.
-3
Let z(w) = w + 4. Let f be z(6). Suppose 4*l = -l + f. Let h be l - 6/3 - 0. Solve 2*d + d = h for d.
0
Let c(f) = f - 14. Let z be c(11). Let i be 1/z*(-153)/17. Solve i*p + 2 + 4 = 0 for p.
-2
Suppose 12 = -3*q, 4*q + 216 = 2*t + 2*t. Suppose -o + 10 = c - 3*o, 3*c - o - t = 0. Solve 5*f + 8 = c for f.
2
Let y(p) = -p**3 + 6*p**2 + 6*p - 11. Let i be y(6). Let d = -23 + i. Solve 1 = -d*t - 5 for t.
-3
Let u(j) = -j**3 - 13*j**2 - 5*j + 87. Let s be u(-12). Solve -2*b = -s*b + 2 for b.
2
Let m(h) = 13*h**2 + h - 9. Let g = -15 + 24. Let q(s) = 3*s**2 - 2. Let z(b) = g*q(b) - 2*m(b). Let f be z(-2). Solve -4*p = -0*p - f for p.
2
Let o = 70 + -79. Let y(q) = 3*q + 35. Let s be y(o). Solve -s + 3 = -g for g.
5
Suppose -19 = -12*l - 67. Let t be (6/(-5))/((l + 2)/20). Solve 0*z = 3*z + t for z.
-4
Suppose 0 = 54*q - 51*q - 153. Solve 39 = 3*v + q for v.
-4
Suppose -5*s + 121 = 2*y, -2*y + s + 106 = -33. Solve 0 = 4*l - 72 + y for l.
1
Let l = -33 - -35. Solve l*m = -5*m for m.
0
Suppose g + 19 = -0*g. Let l be 21/4 + -5 + g/(-4). Solve -l = 3*n + 4 for n.
-3
Let h(k) = -6*k**2 + 5*k - 15. Let d be h(11). Let q = 1058 + d. Let m be (-4)/30 + q/90. Solve -m*w = -3*w for w.
0
Let f(j) = -167*j**2 - 162*j**2 - 7*j + 330*j**2 + 11. Suppose -4*x - 4*t = -40, -2*t = -2*x - 5*t + 24. Let v be f(x). Solve 0 = -v*c + 17 + 8 for c.
5
Let w be (0 + -15)*(-4 - -3). Suppose 2