 3*a - t, -a + 40 = 4*k + 4*a for k.
5
Suppose -3*g - 4*w + 24 = -g, 0 = -3*g - 5*w + 31. Solve -5*y = -g*k, 0*k + 10 = -2*k for y.
-2
Let f(m) = -2*m**2 + 2*m - 1. Let u be f(1). Let a = 0 - u. Solve h + a - 2 = -3*t, 3 = -3*h - 3*t for h.
-2
Let g(o) = 4*o**2 - 4*o - 29. Let w(z) = z**2 - z - 7. Let r(u) = 2*g(u) - 9*w(u). Let l be r(0). Solve -24 = -2*j - l*d, 3*d - 2 = 4*j + 2 for j.
2
Let g = -23 - -7. Let d = 3 - g. Solve 5*o + 64 = -5*i + d, 0 = -2*i - 4*o - 26 for i.
-5
Suppose 3*s - 3 = 6. Suppose 3*l - 2*l + 10 = 0. Let u be (-2)/l + (-1)/5. Solve -g + 2 = 4*o, s*g = -5*o - 1 - u for g.
-2
Let x = -8 + 8. Suppose x*v + 90 = 5*v. Solve k + p + v = -4*p, -p + 9 = -4*k for k.
-3
Let g be (-259)/35 - (-2)/5. Suppose 2*q + 3 = -1. Let f = q - g. Solve f*n - 27 = -0*s - s, 0 = 5*n + 2*s - 29 for n.
5
Let c(r) = 9*r + 3. Let f(k) = 19*k + 5. Let l(m) = 5*c(m) - 3*f(m). Let a be l(-1). Solve 2*v + 0*v + 3*w = -a, -4 = w for v.
0
Suppose -2*z = -2*v - 8, -4*v + 10 = 4*z + 2. Solve -2*q - 6 = 4*d - q, 3*d + z*q = 0 for d.
-2
Let r = -18 - -22. Suppose -5*k + 11 + r = 0. Solve m = 3*q - 4, 8 = -2*m - q + k*q for m.
-4
Let d = 25 - 20. Let s(h) = 5*h**2 - 1. Let f be s(1). Solve k + 4*a - 2 = f*k, 0 = d*k + 2*a - 14 for k.
2
Let a be 4 + -5 + 12/2. Solve a*k + 6 = -2*l - 5, -4 = 4*l + 4*k for l.
2
Let i(h) = 2*h**2 + 4*h - 5. Let v be i(2). Let a = 14 - v. Solve 2*z + 3*o + 3 = 4, -a*o + 17 = -2*z for z.
-4
Suppose 0 = 3*f - f - 2. Let i be f - -6*2/4. Solve -2*z - i*k = -k + 1, 0 = -z - k for z.
1
Let d = -39 - -59. Suppose t + 3*t = d. Solve -5*g + 25 = t*f, 2*f - 5*g = -2*f + 20 for f.
5
Suppose -16*t = -17*t + 3. Solve 3*x + t = -3*m, -2*x - 4 + 37 = -5*m for x.
4
Suppose 0 = l - 5*r - 13, 5*r = -2*l + 50 + 36. Suppose 7*u = 4*u - l. Let y = u + 15. Solve b = -5*a - 29, -b + y*a + 16 = -0*b for b.
-4
Suppose -x + h - 5 = -3, -5*h + 12 = -3*x. Suppose -x = -m + 3. Solve n + 3*z - 4 = 14, 7 = m*n - z for n.
3
Let d be 4 + -3 - -3 - 2. Solve 5*q - 3*t - 25 = d*t, 2*q + 3*t = -5 for q.
2
Let h = -8 + 91. Suppose 4*t + 3*w - h = 0, -4*t - 2*w + 73 = -w. Solve 4*a - 6 = 14, 0 = -m - 4*a + t for m.
-3
Let v(o) = -o**2 + 12*o - 4. Let l be v(11). Solve 0 = -k - 3*t + 11, -3*t + l = 5*k - 0*k for k.
-1
Suppose 0*g + 7*g = 91. Solve g = -h + 4*h + 5*f, 0 = -5*h + f + 3 for h.
1
Let m be (2 - -1)/(6/44). Suppose -2*w - 3 - 28 = -5*y, -4*w = -2*y + m. Suppose -3*u + 6 = -0*u. Solve 4*s - 19 = -y*v + 2*v, s = 2*v + u for v.
1
Suppose -2 = -l + 1. Solve -l*g - 9 = -4*c + 2*c, -2*g - 2*c = -4 for g.
-1
Suppose 2*j = 3*j - 8. Suppose 0*a = -4*a + j. Solve -2*l = 5*s + 3, -5*l + 0*l - 18 = a*s for l.
-4
Suppose 3*a + 12 = 6*a. Let m = 18 - 9. Solve -4*y = -3*r + 16, r = y + m - a for r.
4
Let q = -210 + 210. Let c = 2 - 2. Solve 7 = -4*m - d, 2*m + c*m + d + 3 = q for m.
-2
Let p be (1 + 0)/(0 + 1). Let k be (-1)/(0 - p/3). Let j(c) = -c**2 - 8*c + 7. Let q be j(-6). Solve 16 = -3*v - 4*t - q, 2*t = k*v + 5 for v.
-5
Let d = 53 - 35. Suppose 5*l = 12 + d. Solve 0 = -2*g - 3*y + 4, -l = -4*g + 3*y + 2 for g.
2
Let u(t) = t**3 - 10*t**2 + 9*t + 4. Let b be u(9). Suppose -b*k = 4*d - 0*k - 28, 4*d - 5*k = 19. Solve 4*i + 4*p - d*p - 10 = 0, 5*i - 26 = -2*p for i.
4
Let v = 4 + -2. Let c be (-2*1 + 2)/v. Suppose -2*g + 0*g = -6. Solve c = y + 3*j - g, 3 - 6 = -4*y - 3*j for y.
0
Suppose -5*r - 5*k = 55, -2*k - k = 4*r + 39. Let m = -1 + r. Let l(o) = o**3 + 6*o**2 - 8*o + 3. Let i be l(m). Solve 2*x = -i, -3*n - 3*x - 6 = -3 for n.
4
Suppose 2*u = 4*g + 12, -15 = -4*u - 0*g - g. Let r(y) = y + 24. Let m be r(-21). Solve 0 = -2*l - 3*k, 2*k = -u*l + m*k + 14 for l.
3
Let b(c) = -3*c. Suppose 4*v + 24 = v. Let g = v - -7. Let p be b(g). Solve p*n - 2 - 9 = -l, -l = n - 1 for l.
-4
Suppose -4*m + 13 = -51. Suppose -3*n = -4 - 2. Solve -n*l = -c - 3*c - m, 5*c + 2*l + 2 = 0 for c.
-2
Suppose 22 = x + 22. Solve x = u + 4*m - 1, u + 3*m + 4 = 5*u for u.
1
Let i be ((-20)/6)/(3/9). Let p = -8 - i. Solve -3*t = -p*d - 1, 0 = -2*d - 3*t - 2*t + 23 for d.
4
Let w be (-2)/(-4)*(-66)/(-11). Solve 20 = 5*m + q - 0*q, -5 = -4*m - w*q for m.
5
Let r be 1 + -3 + (2 - 0). Suppose r = -0*c + 2*c. Suppose -s + 5*a + 14 = -15, -s + 2*a + 14 = c. Solve 2 = -s*i + x, -5 - 3 = 3*i - 4*x for i.
0
Let c(y) = -y**3 - 8*y**2 - 9*y + 7. Let j be c(-7). Let m be 6/j - (-33)/7. Solve 0 = 2*v + 2*g + 3*g - m, 5*g = 3*v + 5 for v.
0
Let q be (-10)/(-25) - (-2)/(-5). Suppose q = -2*d - 2 - 4. Let b(x) = -x**3 - 3*x**2 + 2. Let y be b(d). Solve 4*k + 3*r + 1 = 0, 2*r = -y*k - 0*k for k.
-1
Suppose -5*y + 28 = -3*t + 5*t, 42 = 4*t + 3*y. Let b = 11 - t. Solve -2*f - 12 = -2*u, -5*f = b*u - u + 18 for f.
-4
Suppose -3*w - w + 3*g + 5 = 0, -w + g = 0. Solve 3*c - 25 = w*m, 5*c - 3*m - 15 + 0 = 0 for c.
0
Let u = 10 + -7. Solve 10 = -u*o + f, 2*o - 2*f + 10 = -3*f for o.
-4
Let g = -5 - -8. Let s be 1/g - 140/(-12). Let b = 37 - s. Solve p + 4*u = -4*p + 13, 0 = 2*p - 5*u - b for p.
5
Let l(n) = -n**2 + 12*n - 16. Let u be l(10). Solve 6*t - 4*q = t + 5, -4*t - 4*q + u = 0 for t.
1
Let l(v) = 2 + v + 4*v**3 + 4*v + 2 - 5*v**3 - 4*v**2. Let p be l(-5). Solve -i + 4 = 6, 0 = -4*b - p*i for b.
2
Suppose 3*z + 10 - 70 = 0. Solve -z = -5*r, -2*p + 3*r - 16 = 6 for p.
-5
Suppose 4*q + 3 = -5*l + 7, -5*l + q + 24 = 0. Suppose x = -2*p + 5*x + 22, -2*x = -l*p + 20. Solve p = -3*n, 2*n = a - 0*n for a.
-2
Let b be 3/4 + 1/4. Suppose b + 39 = 2*g. Solve 3*y - 9 = 3*i, 0 = 3*i + 2*i + g for y.
-1
Let a = -54 - -59. Solve 18 = -a*h - 4*p + p, 0 = -h - 2*p - 5 for h.
-3
Let s = -112 - -117. Solve 4*w - 8 = -4, 3*w = -4*i - s for i.
-2
Suppose 4*b - 22 = 5*a, -2*a + 22 = -4*a - 5*b. Let g be (1 + 9/a)*-6. Solve 5*z - 19 = 3*r, g*r + 2*z - 14 - 2 = 0 for r.
2
Suppose 11 = 2*p - 4*u - 9, -4*p + 4*u = -28. Solve -3*c = 3*k + 21, 0 = p*k + 2 + 6 for c.
-5
Suppose -8*m + 7*m + 15 = 4*z, -m = -5*z + 12. Solve -m*o - d = -4 - 13, 0 = -4*o + 4*d + 12 for o.
5
Let b = -2 + 7. Let v be 18*(-1 + 4/2). Let z = v + -11. Solve 1 = b*d + 2*w, 0 = 2*d + z*w - 2*w - 13 for d.
-1
Let r(h) = -h**2 + 5*h + 1. Let q be r(5). Suppose -5*i + t = -18 - q, 0 = -i - 4*t + 8. Solve 2*j - i*j - 6 = 0, 0 = 5*g - j - 18 for g.
3
Let c = -3 - 2. Let q be (-10 + 0)*2/c. Solve 3*a - a = -2*w - 2, -w + 8 = q*a for w.
-4
Suppose -j - 6 = 4. Let g(s) = -2*s + 6. Let p be g(12). Let c be 2/10 + p/j. Solve 4*h - 2*l = 8, c*h + l = -0*h - 4 for h.
0
Suppose 7*l + 3 = 17. Solve -10 = -c + l*b - 0, 0 = c - 4*b - 20 for c.
0
Let y be 25*(-2 + 1)*-1. Solve 0 = -5*i + 2 - 7, 0 = 4*p - 5*i - y for p.
5
Suppose 0*j - 8 = 4*j, -6 = g + 3*j. Solve 2*s + 3*s + c - 28 = 0, 5*s - c - 22 = g for s.
5
Let i(u) = -u**3 + 19*u**2 + 20*u + 4. Let r be i(20). Solve 4*v = -3*l - 11, 16 = -3*l + r*v - 3 for l.
-5
Let x = 32 + -11. Suppose -3*z + 4*z - 4 = 0. Solve -16 = 2*c + z*t, -5*c - 4*t - 1 = x for c.
-2
Let r be 6/2 + 0 + (-6)/2. Solve 0 = -m + 4*o - 2, 2 = 3*m - 4*o - r*o for m.
2
Let q = 58 + -56. Solve -a - 23 = -5*i, -q*a + 3*i + 24 = 7*i for a.
2
Suppose -2*h = 2*i - 34, -3*i = -0*i + 4*h - 56. Let t = -14 - -26. Let r be t/4 + (2 - 2). Solve 3*c = 5*n + c - 1, 5*c = r*n - i for n.
-1
Suppose 2*i = -4*q - 2 + 10, -4*i - 4*q + 8 = 0. Let m be 32/(4/(i - -2)). Solve 0 = -t + y - 0 + 2, -m = -5*t + 3*y for t.
5
Let d = 5 + -3. Let x be -2 + (-4)/(-4 - -2). Suppose -3*w + 8 = 2. Solve x = d*m + 4*k + w, 4*m + k - 2 = 1 for m.
1
Let y(x) = -4*x - 20. Let j(i) = i + 1. Let r(q) = -5*j(q) - y(q). Let v be r(11). Solve 0 = -3*u - 4 - 5, 3*u + 13 = -v*t for t.
-1
Let m be (1/(-2)*0)/(-1). Let j(w) = -1 + 0 - 1 - w. Let n be j(-4). Solve m = -3*v - 0 - 12, -18 = 5*r + n*v for r.
-2
Let k be ((-2)/(-4))/(7/196). Solve f - 3*l + k = -6*l, -3*l - 17 = -2*f for f.
1
Let n = 4 + -1. Let f be (24*1)/(6/9). Let r = 54 - f. Solve 4*y = p - 12 + 4, -r = n*p + 2*y for p.
-4
Let q(t) = -t. Let p be q(9). Let u = p + 11. Solve 7 = u*a + 3*n - 3, 3*n - 4 = a for a.
2
Let b be (-6)/(-45) + (-696)/(-180). Solve 2*q + b = -r - 2*q, 3*q = -3*r - 3 for r.
0
Suppose 2*u - 6*u - x = -93, -129 = -5*u + 3*x. Let p(g) = -g**2 + 4*g - 1. Let s be p(3). Solve -4*k = -s*j + u, -2*k - 8 = j - 0*j for j.
2
Let l = -3 - -7. Solve -r - 4*j - 5 = j, 0 = 2*r + l*j + 4 for r.
0
Suppose -v = 2*v - 