 - 5*a - 20 = 0, -2*c + 2*a = -20. Solve 0 = -r*f - 35 + c for f.
-4
Let n(p) = -2*p**2 - 12*p + 2. Let b(w) = w**2 + 13*w + 16. Let l be b(-11). Let g be n(l). Solve 2*j = -g*j - 12 for j.
-3
Let a(r) = 6*r**3 - 156*r**2 - 5*r - 34. Let k(g) = -g**3 + 31*g**2 + g + 7. Let q(c) = -2*a(c) - 11*k(c). Let b be q(-29). Solve -v - 3*v = -b for v.
5
Suppose -17 = 3*d - 32. Suppose 1 = d*i - 4. Solve -13 + i = -3*l for l.
4
Let v be (60/16 - 3)*24. Let u = 23 - v. Solve -2 = -u*y + 8 for y.
2
Let n be ((-12)/(-9))/(5/45). Suppose n*o = 14*o. Let a be (9/(-6))/(3/(-8)). Solve -p - a + 8 = o for p.
4
Suppose 5*i - 48 = i. Solve 0 = -9*k + i*k + 3 for k.
-1
Suppose 3*w - 20 + 5 = 0. Suppose -s = -0*s + w*a - 23, -5 = -3*s + a. Solve s = -0*l - 3*l for l.
-1
Suppose 1 + 1 = c. Suppose 5*x = 2*s + 51, -4*x - c*s = s - 27. Suppose x = 5*z + 2*l, 3*z = 2*z - 2*l - 3. Solve 0 = 2*j + j - z for j.
1
Let m(g) = -64*g + 709. Let l be m(11). Solve -41*c + 36*c - l = 0 for c.
-1
Suppose -5*a - 20 = -r - 3*r, -26 = -3*r + a. Solve 8*n - 3*n + r = 0 for n.
-2
Let b(y) = y**2 + 2*y - 6. Let v = 2 - 6. Let w be b(v). Suppose 10 = -w*a - 0*a, 0 = 4*d - 3*a - 43. Solve -2*t + d*t - 5 = 0 for t.
1
Let g be 1/4 - (-15)/4. Let n be (-5)/(-4 - 1)*(0 + -2). Let a = g - n. Solve 2*d = -0 + a for d.
3
Let n be ((-24)/(-18))/((-4)/(-6)). Solve -5*i + i + n*i = 0 for i.
0
Let d = -11 + 119. Let a be 2 + 2 - d/(-9). Let g = 16 - a. Solve g*m = 3*m for m.
0
Suppose -5*r + 65 = -5*j, 0*r - 4*r + 2*j = -54. Suppose 0 = 3*c - 4*f - 2, 5*c + 4*f = 2*c - r. Let i be c/(8/12) - -6. Solve 9 = -4*u - i for u.
-3
Let i(s) = -s - 8. Let h be i(-3). Let d = h + 6. Suppose 3*g = b - d, 0 = -3*b - b + 3*g + 4. Solve 3*y - b = 4*y for y.
-1
Let g be (13 - (-15)/(-5)) + 26. Solve -19*y + g = -7*y for y.
3
Let f be 2 - 3*(-8)/(-12). Suppose 4*t - 4 = -5*q - f*t, -16 = 4*t. Suppose -4*m + 2*m + q = 0. Solve 0 = m*k + 2*k - 4 for k.
1
Let j = 1403 + -1364. Solve -j*q = -43*q + 4 for q.
1
Let n = 2047 - 2043. Let v be 2/7 - (-61)/7. Let k = 0 + 1. Solve -v = -n*j - k for j.
2
Let b(m) = -2*m**2 + 13*m + 23. Let t be b(7). Solve -t = -34*l + 30*l for l.
4
Let z = -373 - -377. Solve z*x - 10*x = 30 for x.
-5
Let l(d) = d**3 - d. Let u be l(-2). Let p(x) = -x**2 - 6*x + 4. Let a be p(u). Solve 0 = -a*r + 22 - 10 for r.
3
Let n(a) = a**2 - 37*a + 206. Let s be n(6). Let q be -1*(-2)/(2/3). Solve -o = q*o - s for o.
5
Let t = 206 - 198. Solve -3*a = -t*a for a.
0
Let m = -43 - -79. Suppose -3*v + m = -v. Suppose 19*o = v*o. Solve -t = -o - 4 for t.
4
Let b be 1/(-3) - 42/(-18). Suppose -2*l = -14 + b. Solve -s = -l*s + 15 for s.
3
Let p = 12 - 10. Suppose -p*j + 4*j = 6. Let b be (1 + 9)*(273/35 - 7). Solve 1 = j*s - b for s.
3
Suppose 479 = 71*j - 302. Solve 4*t + j = 15 for t.
1
Suppose -79 = -2*c - 5*j, -7*j - 12 = -11*j. Solve -15 = 35*n - c*n for n.
-5
Suppose 0 = k + 6*k. Suppose 4 = 4*n - k. Solve -n = y + 3 for y.
-4
Suppose -18 - 180 = -33*x. Solve -7*l = -15 - x for l.
3
Suppose 15*f = 9*f + 168. Let j be (f/12 + -2)*27. Solve 0 = 3*p - j for p.
3
Suppose 141*x - 133*x - 40 = 0. Let d = 0 + 2. Suppose -d*k = -4*l + 6, 9 = k - x*l + 24. Solve k*j = 4*j for j.
0
Suppose 10 = -v + z, 15 = v - 2*v + 2*z. Let y be -1 + v/(15/141). Let x be (-9)/(-2)*y/(-18). Solve 0 = 5*n + x + 3 for n.
-3
Suppose -4 = -2*b + i - 0, -3*i - 8 = -5*b. Suppose 4 = 6*h + b. Solve 2*z + 4 = -h for z.
-2
Let l be 1/(((-108)/(-225))/12). Solve l*a - 18*a - 7 = 0 for a.
1
Suppose -15*v - 15 = -5*d - 10*v, 2*v = 3*d - 6. Solve 4*i - 4 + 0 = d for i.
1
Suppose -8*o = w - 12*o - 20, 3*o = 5*w - 100. Solve -w = 5*m - 0 for m.
-4
Let l(h) be the first derivative of -h**3/3 - 4*h**2 + h + 1. Suppose 2*a + 4*j + 12 = 0, -5*a = -4*j + 8 + 36. Let r be l(a). Solve w = 2*w + r for w.
-1
Let o(c) = -194*c - 767. Let u be o(-4). Solve 0 = -u*j - 7 - 38 for j.
-5
Let d = -458 + 304. Let u = d + 156. Solve u*z - 13 = -5 for z.
4
Suppose 0 = 2*u - 6*m + 4*m - 22, u - 16 = 2*m. Let s = 8 - u. Let i(q) = -q + 2. Let h be i(s). Solve h = 5*o - 24 + 4 for o.
4
Let r(m) = -3*m**2 - 29*m - 17. Let q be r(-9). Suppose 0 = -2*w + 3 + 3. Suppose -3 = -2*o + w. Solve -o = -c - q for c.
2
Let f = 41 + -40. Solve j = -0*j + f for j.
1
Let z(g) = g**2 + 5*g - 2. Let p be z(-6). Let v = 79 + -79. Suppose v*y + 2*y - 5*i = 5, -3*y = -i - 1. Solve y = -4*w - p + 12 for w.
2
Suppose 27 = s + 5*i, 2*s - i + 0 = -1. Solve -4*h + s = -6 for h.
2
Suppose -5*f + 167 = -4*s, 2*f + 51*s = 46*s + 80. Solve 19*h - 12*h + f = 0 for h.
-5
Let r be 20/12 + 1/3. Suppose -3*s + 2*u = 0, 0 = -3*s - 3*u - r*u. Suppose s = -5*c - 3*m + 19, m - 11 = -5*c + 12. Solve 2*y - y = c for y.
5
Let n(h) = -2*h**2 + 16*h + 24. Let a be n(10). Let s = a - -20. Solve s*u = -12 + 4 for u.
-2
Let x(l) = 1. Let v(t) = t + 7. Let w(h) = v(h) + 3*x(h). Let z = 9 + -17. Let q be w(z). Solve -o + q = o for o.
1
Suppose -19*h - 6 = -63. Solve 4*p - h = 3*p for p.
3
Let c(u) = 14*u - 73. Let v be c(6). Solve -2*f = -v*f - 18 for f.
-2
Let q(u) = -u**2 - 11*u + 5. Let t be q(-11). Let m be (t - 5)*(-2)/(-4). Let n be -1*((-3)/1 + m). Solve 0 = -0*w + n*w for w.
0
Suppose 7*b = 2*b + 25. Suppose -70 = -5*c - b. Solve -3 = 5*p - c for p.
2
Suppose 7*r - 14 + 7 = 0. Let x be (r/(-2))/(1/(-28)). Solve -x*t - 2 = -12*t for t.
-1
Suppose 6 = 4*s + 5*b, -2 = s + 5*b + 4. Solve s = -4*q - 0*q for q.
-1
Let d(l) = -6*l + 1. Let f(k) = -k - 1. Let u(i) = -2*d(i) + 4*f(i). Let r be u(5). Suppose 3*a + 5*o = r, 0 = o + o - 10. Solve 0 = -7*t + a*t for t.
0
Let r(t) = -t**2 + 14*t + 7. Let i be r(5). Let g be 268/i + -3 + (-37)/(-13). Let v = -17 + 25. Solve -2 - v = -g*q for q.
2
Suppose -3 = -12*i - 3. Solve i = 5*l - 2*l + 15 for l.
-5
Let d(r) = -5 - 2*r - 5*r + 5*r + 0. Let m be (-2)/4 - (-15)/(-6). Let v be d(m). Solve h + 3 = v for h.
-2
Let y be 2 - (6 + 0) - -13. Let w = -10 + y. Let c be 0/(3 + w/1). Solve c*t - 3 = t for t.
-3
Let u(p) = p**3 + 3*p**2 - 6*p - 2. Let t = 1 - -2. Let a = -1 - t. Let b be u(a). Solve -b + 1 = 5*x for x.
-1
Suppose -54*c = -35*c. Solve -11*j + 6 + 16 = c for j.
2
Let r(p) = -p - 7. Let n be r(-9). Let q(k) = k**3 - 4*k**2 + 2*k - 6. Let w be q(4). Suppose -1 = -w*h + 3*a - 0, n*h - 13 = -a. Solve h*m + 6 = 1 for m.
-1
Let w be (2 - 6/4)*10. Suppose -28 = 4*c + 2*s - 150, -2*s - 10 = 0. Solve -w*b = -c + 8 for b.
5
Let f(u) = -u + 10. Let t be f(8). Suppose 10 = t*g - 0*g. Suppose -n + g*n = 12. Solve 0 = -n*k - 2 + 17 for k.
5
Suppose -2*q - 10 = 4*f, -32 = 3*f + 5*q - 7. Let a(h) = -h**3 - 6*h**2 - 7*h - 6. Let d be a(-5). Solve f = d*j + 1 - 5 for j.
1
Let h(y) = 2*y**2 + 1. Let p be h(-1). Suppose 0 = 5*f - d - 2*d + 15, -5*f + d = 5. Solve 3*v = -f - p for v.
-1
Let p(a) = a - 7. Let s be p(7). Suppose 14 = 4*l + 3*n, -5*l - 2*n - n + 19 = s. Solve l*b - 18 - 7 = 0 for b.
5
Let m be 496/(-10) - (-4)/(-10). Let b = m + 52. Let d(o) = 7*o**2 - o - 1. Let l be d(-1). Solve -3*v = b + l for v.
-3
Suppose 5*y - 28 + 18 = -5*n, 0 = 3*n - 2*y - 6. Solve -3*w + 3*w = n*w for w.
0
Let u be (-25)/(-6) + (-1)/6. Let v(d) = -2*d**2 - d + 3. Let b be v(-3). Let l = 15 + b. Solve u = -l*g + 2*g for g.
-4
Let c(t) = -t**3 + 10*t**2 + 12*t - 11. Suppose -4*a = -35 - 9. Let o be c(a). Solve 2*l + l - 6 = o for l.
2
Let t be ((-4)/(24/10))/(6/(-18)). Suppose -5*n = 4*n - t*n. Solve -h + 0 + 4 = n for h.
4
Suppose -12*k + 8*k - 48 = -4*g, -4*k - 65 = -5*g. Solve g*y + 8 = 13*y for y.
-2
Let w(q) = 16*q - 1. Let b(p) = -3*p. Let x(l) = 11*b(l) + 2*w(l). Let r be (-9)/(0 + -1)*-1. Let o be x(r). Solve 0 = -m - 2 + o for m.
5
Let i be 22/(-99) + (-1412)/(-36). Solve j - i = -34 for j.
5
Let l be 3/(-24) + (-102)/(-48). Solve 2*v + l = -6 for v.
-4
Suppose -3*x + 4 = 4*a, -3*a + 4*a + 18 = 4*x. Suppose -5*i = 2*l - 89, 9*i + 5*l - 27 = 8*i. Solve -1 = -x*v - i for v.
-4
Let f = 49 + 12. Suppose 64 - f = k. Solve k*u - 14 - 1 = 0 for u.
5
Suppose 423 = -7*y + 598. Solve -16 = y*j - 21*j for j.
-4
Suppose 2*n + 1 = 5. Let t be ((-1)/n)/(10/(-80)). Let p = t - -2. Solve -c + 4*c = -p for c.
-2
Let n be (0 - (-10)/2)*48/(-20). Let g(m) = -5 + m**2 - 3*m + 13*m - 10 - 8. Let a be g(n). Solve 4 = -5*x - a for x.
-1
Let y be (-11)/(-13) + 16/104. Solve y = 5*n - 9 for n.
2
Let l be 33/