3*u, -3*u = -9*n + 4*n + 20 for n.
1
Let i(g) = 2*g**2. Let v be i(-1). Suppose h = v*h. Solve -2*u = 3*t + 3 + 5, h = -5*u + 10 for t.
-4
Let l = -16 - -29. Suppose -p = 6 - 9. Solve i - 1 = j - 4, 5*j = p*i + l for i.
-1
Let a = 4 + -2. Let q(r) = -r**2 + 6*r - 6. Let b be q(4). Suppose -g + b = -a. Solve -3 = -t + g*v - 28, 5*v = -5*t for t.
-5
Let t be (5/15)/((-2)/(-12)). Suppose -11 = -t*u - 2*u - c, 5*u = -5*c - 5. Solve -5*q = -u*v - 3, 3*v - q = 5*v + 5 for v.
-2
Let j = -17 - -12. Suppose -3*h + 6*h - 14 = 2*m, -52 = -4*h - 4*m. Let f = h + j. Solve 2*p - 5 = -2*y + 3, 0 = -f*p + y for p.
1
Suppose 3*s = -q - 4, s = 4*s - 3. Let x = -4 - q. Solve -4*z = -5*d, -2 = x*d + 2*z + 20 for d.
-4
Let h(f) = -2*f - 7. Let x be h(-6). Suppose -3*j = -0*j + 24. Let i = j + 13. Solve 0 = -i*c + 15, 4*g - 3*c = -0 - x for g.
1
Suppose 0 = -3*g + 15 - 9. Solve -g*h - 18 = 3*q + 5, 0 = -3*h - q - 17 for h.
-4
Let p be (1 + -2*1)/(-1). Let v be -2 - p*-3 - -3. Suppose -4*g = -4, 2*g = h + 3*g - 3. Solve t + 3*t = -h*k - v, -5*k - 2*t + 14 = 0 for k.
4
Suppose 0*p + 5*p = 30. Let k = 1 + 1. Solve 0 = k*r + 2*l, 0 = r - l - l - p for r.
2
Let g be (2/(-4))/((-3)/6). Let d = 19 - g. Solve -2*m + 4*t - 17 = 3*m, 4*m - t = -d for m.
-5
Let t = -75 + 90. Solve -d + 4*g = 24, 6*d + t = d - g for d.
-4
Let f(w) = -w + 4*w - 4 - 1. Let z be f(5). Suppose -5*m + s - 5 = 2*s, -2*s = 5*m + z. Solve 26 = v + 5*b, -4*b + 0*b + 20 = m for v.
1
Let h be 4/10 + 16/10. Suppose 0 = 2*n - 8 + 26. Let m = -3 - n. Solve -14 = h*w - p + 3*p, m = -3*p for w.
-5
Let z(b) = b**2 - 2*b. Let j be z(2). Let d be 2/4*-3*-2. Solve j = 2*i + 3*i, d*u - 15 = 5*i for u.
5
Suppose 4*u - 2*u = -38. Let q = 1 - u. Solve 5*l + 0*l - 36 = 4*h, -5*h = q for l.
4
Let m(j) = j + 21. Let w be m(-21). Solve -3*b - 9 = w, -4*k - 11 = 2*b + 15 for k.
-5
Suppose -3*t + 5*u - 13 + 4 = 0, -16 = -2*t - 4*u. Solve -v - 1 = 5*m + 4, t*m - v + 2 = 0 for m.
-1
Let r = -9 - -3. Let x = -2 - r. Solve -x*p + w + 16 = 0, w - 11 = -4*p - 3 for p.
3
Suppose 0 = 4*d + 3*a - 11, -d + 2*a = -0*a. Solve 0 = 4*b - b - 6, -d*r - 4*b = -8 for r.
0
Let m be -2*(3 - (-27)/(-6)). Let y be m/(-12) + 116/16. Solve -4 = -4*v, -y = 2*b - 3*v - 2*v for b.
-1
Let v = 101 + -78. Suppose -h - 6 = -4*h. Solve -h*z - 17 = -3*l, -z = 4*l - v + 4 for l.
5
Let z be 1/((-2)/(-4)) - 0. Solve 0 = -2*x + z*n + 14, 5*x = -2*n - 2 + 23 for x.
5
Let x(y) = -y**3 + 6*y**2 + 3*y - 11. Let o be x(6). Suppose 4*m = -c - 13, -4*c = -6*c - m + 2. Solve 3*h + 3*r + 9 = 0, -o*h - c*r = -3*h + 13 for h.
-4
Let q(x) = -x**3 - 2*x**2 - x + 1. Let m be q(-3). Let t = m - 5. Solve 0 = 4*h - 2*g - 2*g - t, 2*g = 3*h - 8 for h.
4
Suppose 0 = -y - 4*y + 30. Let x = 6 - y. Solve 2*g - 5*l + 20 = 0, 1 = -x*g - g - 2*l for g.
-5
Suppose 12 = d + 3*d. Suppose -d*c = -6*c. Solve c = 5*y + 5*b - 10, 3*y - 3*b - 16 = -b for y.
4
Suppose -55 + 11 = -5*q - 4*g, -5*g = 5*q - 40. Solve -5*k - q - 9 = -4*j, -3*j + 4*k = -17 for j.
-1
Let g(v) = 2*v - 10. Let r be g(7). Suppose -r = -3*m + 5. Let q(x) = x**2 - 4*x - 2. Let l be q(5). Solve 0*b + m*o - 15 = l*b, 5*b = -o - 19 for b.
-4
Let q = 69 - 59. Solve -3*t - 2*t = 2*m - q, -6 = -3*t for m.
0
Let q(l) = l**2 - 4*l + 1. Let j be q(3). Let n be ((j + -2)*-1)/2. Let s be (-84)/(-16) - n/8. Solve 0 = 2*c - 10, -2 = -3*u + s*c - 33 for u.
-2
Let y = 11 + -4. Suppose -y - 4 = -t. Let z = 4 + -2. Solve -2*q - z*r + r = -t, 5 = 2*q - r for q.
4
Let h(f) = -f**2 + 5*f - 1. Let i be h(4). Let n be 2*((-36)/(-8) - 3). Solve n*g = -4*v - 20, -i*v = g - 5 + 15 for g.
-4
Suppose -2*p = -w + 25, -2*w + 19 = -w + p. Let m(i) = i**2 + i - 1. Let h be m(2). Solve 3 = 3*s, -w = h*n - 2*s - 9 for n.
-2
Let w be (8 + (-16)/4)*1. Solve -w*y = -20, -5*k + k + 3*y = -1 for k.
4
Suppose -s + 2*s = 6. Suppose -2*p = -s*p + 28. Let i = p + -3. Solve 0*b = -3*b - 4*x, b + i*x = 0 for b.
0
Let i be (1/5)/((-6)/(-60)*2). Solve z + i = 0, -4*u - 1 = -6*u - 5*z for u.
3
Suppose -k + 0*k - g = -7, -2*k = -5*g - 7. Let f be (13 - -2)*(-1)/(-3). Solve 8 = f*a + 4*w, 3*a + a + 3*w = k for a.
0
Let p(m) = -m**2 - 10*m - 5. Let l be p(-9). Solve 0 = -l*b - 3*y + 11 - 1, 2*y + 8 = b for b.
4
Let k(h) = -h**3 + 8*h**2 + 5*h - 35. Let y be k(8). Solve 0*g - g = -y*c - 6, 0 = -2*c - 3*g - 16 for c.
-2
Let q = -35 - -59. Suppose 0*z + 3*z = 6. Solve 2*g + z*g = -2*u - 2, 3*g = 3*u - q for u.
5
Let f be (-37)/((-1)/1) + 3. Let a = -22 + f. Let v be 68/a + (-2)/(-9). Solve -3*d + 25 = -2*q, v*d - 9*d + 30 = -q for q.
-5
Suppose 2*o - 7 - 5 = 0. Let q be o/(-9) + 16/6. Suppose 40 = q*x + 4. Solve -b = 5*u + x, -2*u + b - 4 = 3*b for u.
-4
Suppose 1 = k - 7. Suppose 2*x + k = 4*x. Solve 0 = 2*z + 5*u - 1, -x*z - 2*u - 3 = 3 for z.
-2
Let v = -122 + 127. Solve -j - 5*m = -23, v*j - 3*m + 0 = 3 for j.
3
Let i be 5 + (-1 + 2)/(-1). Solve 4*y - l - i = 0, -3 = -y - 2*y + 4*l for y.
1
Let r = -14 + 17. Solve 0 = -2*z + 5*n - 25, 4*z + r*n + n - 20 = 0 for z.
0
Suppose -s = -4*a - 0 - 9, -62 = -2*s - 3*a. Solve 3*j + v - s + 8 = 0, 3*j - 4*v = -8 for j.
4
Suppose 0 = 2*x + 4 - 0. Let l = -3 - x. Let n(i) = 5*i**2 + i + 1. Let v be n(l). Solve -3*r + 15 = v*g, g = 4*r - 12 - 8 for r.
5
Let n(l) = 9*l**2 + 2*l - 1. Let m = 4 - 3. Let d be n(m). Solve -q + 11 = 5*h - 17, -h = -5*q + d for q.
3
Let n(u) = -u + 15. Let v be n(10). Suppose 2*q - 4*z = 4*q - 22, -62 = -v*q - 3*z. Solve 0 = -2*x - 3*i - 1, 5*i = 3*x + x + q for x.
-2
Let r(h) = h**2 - h - 1. Let p be r(3). Suppose 2*j = p*k - 7, 4*j + 4*k = -0*j + 28. Let x be 2/5 - 36/(-10). Solve g - 4*c = -x*g - 15, -3*c = j*g - 19 for g.
1
Let z(y) = y**3 + 13*y**2 - y - 10. Let u be z(-13). Solve -5*o + 2*v - 10 = -u*v, -5*v = o - 16 for o.
1
Suppose o + 2 = -0*o, o + 2 = -2*r. Suppose -2*f - 8 = r, 0 = 5*x - 3*f + 4*f - 66. Solve -4*a + x = -2*m, 2*m - 27 = -2*m - 3*a for m.
3
Let z(k) = -k + 24. Let b be z(21). Solve v - b*m - 10 = 2*v, -2*m = 2*v + 8 for v.
-1
Let l(a) = -a**2 + 5*a + 2. Let x be l(4). Let r be 8/x*(-9)/(-6). Solve 2*v - 2*n + 11 = n, n = -v + r for v.
-1
Let b(l) = l**3 + 5*l**2 + 5*l + 4. Let r be b(-4). Let n be 19 + (r - (2 - 0)). Let a = n + -12. Solve 5 + 12 = a*z + q, -4 = -2*z + q for z.
3
Let a be ((-2)/(-3))/(4/30). Solve p = -6*x + 3*x - 11, 0 = -x + p - a for x.
-4
Suppose -p + 1 = -4. Suppose 0 = -4*c + 2*g - 54, -p*c + 0*g - 3*g - 73 = 0. Let d be 5/7 - 4/c. Solve 2*n - 8 + d = -3*a, -4*a + 21 = 5*n for a.
-1
Suppose 4*g + 4*z = 0, 5*g = g + 5*z. Suppose 0*r + 5*r = g. Solve -4*i + 3*y = 12, 0 = 3*i - r*i - 3*y + 12 for i.
0
Suppose -10 = -2*c + 2*v, 0*v = 3*c - 4*v - 16. Suppose -c*l + 12 + 52 = 0. Suppose 4*u = 13 + 7. Solve -3*m + l = u*o, -3*m - o - o = -1 for m.
-3
Let d = -67 + 69. Solve -3*x = -5*h + 2, -4*h + 0*h = -2*x - d for x.
1
Let a(n) = -n + 7. Let o be a(-10). Solve -4*j + 3*y + o = 0, -3*j + j - y = -1 for j.
2
Suppose 0 = p - 5*s + 12, 2*s - 4*s = -4. Let f be (3 - 2) + (1 - p). Solve 0 = -3*x + f*z + 14, x = 4*z - 9*z - 8 for x.
2
Suppose -4*b + 5*i = -3*b - 35, -3*i - 57 = -3*b. Suppose 5*c + b = 0, -q - 4*c = 6 + 5. Solve -5*j - 16 = 2*t, -3*t + q = j - 6*j for t.
-3
Let n(l) = -l**3 - 3*l**2 + 3*l - 4. Let w be n(-3). Let m = -10 - w. Solve -4*q - 2 = c - 4, -5*q + m = c for c.
-2
Let f = -5 + 5. Suppose f = 2*h + 2*h. Let c be (6/(-5))/(5/(-25)). Solve -2*q = -h*q - c, -w - q = 2 for w.
-5
Suppose -8*b = 4*m - 7*b - 25, 0 = -m + 4*b - 15. Solve -m*z = -3*l + 18, -z - 8 = 2*z + l for z.
-3
Let d(k) = k**2 - 2*k + 2. Let c be d(6). Suppose -l - 3*g = -7, -g + 4 + 9 = 3*l. Solve 20 = 5*p - l*j - j, p + c = -5*j for p.
-1
Suppose 3*l - 12 + 0 = 0. Solve 3 = -5*p + 3*w - 1, l*p = w + 1 for p.
1
Let p = 26 + -23. Solve -2*w + 2*d + 3*d = 0, -3*w + 9 = -p*d for w.
5
Suppose -l - 2*l = 4*v + 35, 0 = -3*v - l - 20. Let h be (1 + 0)/((-1)/v). Suppose -7 = -h*c + 13. Solve -3*i + c*p + 3 = 0, -i + 5*p = p - 1 for i.
1
Let b(s) = s. Let x be b(3). Let g = 13 - 10. Solve 3*k - 4*k = -g*h + 9, 0 = x*k - 9 for h.
4
Let s = 5 + -1. Suppose -u = s*u. Let t(f) = f**3 - f**2 + 4. Let x be t(u). Solve x*q - l + 5*l - 20 = 0, 5*q - 22 = -2*l for q.
4
Let h(j) be the second derivative of -j**3/6 + 5*j**2 + 9*j. Let i be h(7). Solve 2*x = i*s + 6*x + 19, 0 = 4*x + 16 for s.
-1
