 + 13 = 3*i - x*j, -i + 4*j + 18 = 0 for i.
-2
Let t(r) = -2*r + 5*r**2 - 4 - r**3 - 4*r**2 + 4*r**2. Let h be t(4). Solve 2*n + k + 13 = 1, 3*k = 2*n - h for n.
-4
Let o(a) = -3*a**3 - 2*a**2 - 2*a - 1. Suppose 2*d - 1 = -3. Let q be o(d). Solve 0 = -5*l - 4*y, q*y + y = -3*l for l.
0
Let u(h) = -2*h - 6. Let a be u(-5). Suppose -2*c + 5 = t, -3*c + 6 = -2*c + a*t. Solve -12 = c*i - 3*i - 5*b, 0 = -3*i - 3*b + 12 for i.
2
Let z(i) = -6*i + 14. Let t(j) = 2*j - 5. Let k(a) = 17*t(a) + 6*z(a). Let n be k(-2). Suppose 3*u + n - 18 = 0. Solve 2*h + 13 - 5 = f, -5*f - u = -h for f.
-2
Let x(p) = 2*p - 1. Let r be (-2)/(-7) - (-75)/7. Let u be r/3 - (-4)/(-6). Let t be x(u). Solve 0 = 5*n + t*w - 30, -5*n + 0*n - 4*w + 25 = 0 for n.
1
Let p be 4/4 - 2*8. Let t be p/(-4) + (-4)/(-16). Solve y = -y - u + 10, -4*y + 2*u = -t for y.
3
Let a = 122 - 120. Solve 5*v + 3*m - 22 = 0, -a*v + 3*m + 5 - 13 = 0 for v.
2
Suppose -5*j - 16 + 31 = 0. Solve -4*v + 7 - 20 = j*s, -5*v = 4*s + 16 for v.
-4
Let h be 1 + (2/(-2) - -2). Solve -h*m - b - 12 = -4, 0 = 4*m - b + 22 for m.
-5
Suppose 0 = -2*g - 0*g + 48. Suppose 0*v - 2*v = -2*d, 5*v = -3*d + g. Solve 0*s - u - v = -2*s, -2*u - 10 = 0 for s.
-1
Let s = 495 + -238. Suppose -z - h + 53 = 0, 4*z - 5*h - s = -0*z. Suppose -z = -5*g + 92. Solve -4*c + 3*c - 5*a - g = 0, 10 = -4*c + 2*a for c.
-5
Let r(y) = -y**3 + 3*y**2 - 3*y. Let x be r(3). Let c = x + 16. Solve 0 = p + q + 8, p = -p + q - c for p.
-5
Let d(k) = -2*k - k - 4 + 2*k - k**2 - 4*k. Let b be d(-3). Solve -3*o - 4*n + 3 = -0*n, -b*o + 2*n = 12 for o.
-3
Let a be (-12)/(-30) + 16/10. Let c be 1 - (6*a)/(-3). Let r(s) = s**2 + 3*s - 7. Let j be r(-6). Solve -3*x = h - j, 2*h - c*x + 15 = -7 for h.
-1
Suppose 0 = 4*q + q - 120. Suppose 3*p + v - 6 = 0, 4*p - 2*v + 6 - q = 0. Let d = 5 + -1. Solve 2*l - l + d*b = -9, -13 = p*l + 5*b for l.
-1
Let t be 138/12 - (-2)/(-4). Solve u + t = -3*y, -y + 4 = 2*y - 2*u for y.
-2
Let n be (-26)/(-3) + (-35)/21. Solve -3*m + 4*j = -n, -9 = 4*m - j - 1 for m.
-3
Suppose 2*a + 101 = -2*a - c, -3*c - 15 = 0. Let v be ((-3)/(-9))/((-4)/a). Solve 12 = -3*r, v*s - 2*r + 0 - 8 = 0 for s.
0
Let n(w) = w. Let q = 8 - 17. Let o be 4/3*q/(-2). Let f be n(o). Solve 3*g + f = -0*g + 5*t, -5*t + 12 = -g for g.
3
Suppose -4*d - 4 = -4*o, -4*o = o - d - 17. Let s = o - 4. Solve -4*t = 0, -b + 3*t - 5 + 1 = s for b.
-4
Let w(v) = 2*v + 3. Let l(j) = j + 2. Let u be l(8). Let g be w(u). Solve 3 = -h + k, -3*h + g = -2*k + 7*k for h.
1
Suppose -4*l + 0*l + 140 = 0. Let z(t) = -18*t + 3. Let n be z(1). Let o = n + l. Solve 0 = 2*p - 2*h, 5*h + 0 = o for p.
4
Suppose 4*s - 11 + 3 = 0. Suppose -5*p + 21 - 1 = 0. Solve 3*o = -p*a - 19, s*o = 4*o + 5*a + 22 for o.
-1
Suppose -q = 3*q + 8. Let u = 7 + -9. Let c = u - q. Solve -5*x + 5*l = -0*x + 5, c = x + 2*l + 4 for x.
-2
Let i be -1 + 6/(-2) + 6. Solve -x + 5*w = 15, i*x - x + w - 3 = 0 for x.
0
Let a = -6 - -12. Suppose 4*k - 14 = a. Suppose f + 2 = -z + 10, 4 = z. Solve 3 = i - 3*b, f*b - 1 + 5 = k*i for i.
0
Suppose g = -2*g + 3. Solve -10 = -4*m + v, -m - 5*v = 9 - g for m.
2
Let w(a) = a. Let c be w(2). Suppose 0 = y + c - 3. Let d be y + (0 - 1) - -3. Solve 2*m = -2*m - 20, 11 = -2*s - d*m for s.
2
Let o(y) = y. Let d be o(5). Solve -g + 6*p - p - d = 0, p = -4*g + 1 for g.
0
Let w(d) = d**2 - 7*d + 4. Let l be w(7). Suppose -n + 3*n = l. Solve u + 2 = -n*k, 0 = -u + 2 - 0 for k.
-2
Let h = 13 + -8. Solve -2*n + 7 = p - 5, 10 = h*p for n.
5
Suppose -4*f + 9*f = 0. Solve 5*t - p + 10 = f, -3*t - 4*p - 1 = 5 for t.
-2
Let o = -20 + 44. Let x = o + -4. Solve -3*w = 2*k - x + 6, 26 = 5*k + 3*w for k.
4
Let t be ((-8)/6)/((-16)/48). Solve 2*z + 18 = -t*f, 4*z + 3*f + 24 = -f for z.
-3
Suppose 3*f = -0*w + 2*w - 25, 20 = -f + 3*w. Let c be (-16)/(-18) - f/45. Solve r + 3*m - c = 0, 2*r = 6*r + 5*m + 10 for r.
-5
Suppose -5*f + 2*a = -29, a = 1 - 3. Let l be 2/(22/10 - 2). Suppose m - l = -m. Solve 0 = f*c - x, -x = m*c - 0*x - 10 for c.
1
Let y(c) = -3*c - 5. Let l be y(-4). Let p be (l + -2)/(1/1). Suppose -2*x + 3*v = p, -x + 4*v - 15 = -0*x. Solve f = -4*f - x*u, -4*u = 3*f for f.
0
Suppose 3 + 0 = -3*k. Let m = k + 9. Let c = m - 5. Solve -5*f = -4*b + 2, -3 = -c*f + 5*b + 1 for f.
-2
Suppose -6*g = -3*g. Suppose -3*c - 3 = 3. Let m = 18 + c. Solve -l + 9*z - 4*z = g, 3*l - m = -z for l.
5
Let k(t) = -2*t**2 - t - 4*t**3 + 15*t - 15 + 5*t**3 + 18*t**2. Let r be k(-15). Solve 2*m = 2*c, 4*m + r = -c - 25 for c.
-5
Suppose -o = -4*o + 48. Let u = o - 7. Let r(q) = -q + 12. Let j be r(u). Solve 2*n - m + j = n, -m = n - 1 for n.
-1
Let j be (-4)/(-12) - 1/3. Suppose y = 3, 4*l - 3*y - y + 8 = 0. Let g be 6/3 + (j - l). Solve -g - 7 = w - z, 4*z - 28 = 3*w for w.
-4
Let n be (2/(-4))/((-1)/8). Let s = 3 + -2. Suppose s = -5*v + 16. Solve n*b - v*j = 1, 2 = -b + 4*j - 1 for b.
1
Let q = -80 - -83. Solve j - 12 = 4*j, -5*j - 11 = -q*t for t.
-3
Suppose m + 210 = 4*d + 89, -3*m = -4*d + 123. Let g be (-10)/d - 62/(-6). Solve -3*h - 8 = -s, -5*s - 5*h = -g*h - 10 for s.
-1
Let y = -7 - -11. Solve -4*c - 21 = -y*a + 7, 3*c + 5 = -5*a for c.
-5
Let y = 0 - -2. Let q = y + 0. Solve -3*g = h + 1, 0*h = -2*h - q*g + 6 for h.
5
Let v(k) = 2*k**2 + 4*k - 1. Let b be v(-3). Let s be ((-22)/(-8))/(b/20). Solve 4*m + 2*n + n = s, 3*m = 4*n - 23 for m.
-1
Let r(v) = -v**2 + 6*v - 3. Suppose 0 = 5*x + 1 + 9, 7 = 3*c + 4*x. Let k be r(c). Solve -15 = -3*z - p - 4*p, 0 = -4*z + k*p + 20 for z.
5
Let y(u) = -u + 4. Let n be y(5). Let k be 2/2 + (-3)/n. Solve 0 = -x + k*c, -c = 5*x - 3*c - 18 for x.
4
Let a(w) = -7*w - 9. Let h be a(-2). Solve 5*g - 10 = 0, 0 = h*q - q - 5*g - 10 for q.
5
Let w = -38 - -25. Let l = -9 - w. Solve -4*g = -5*o + 12, -3*o - 4 = -l*o for g.
2
Let s = -39 + 41. Solve s*k = -2*p - 12, p + 3*p = -8 for k.
-4
Suppose -3*n = 4*k - 8, -2*k + 5*n + 45 = 3*k. Let o = -3 + k. Let d = 5 - o. Solve 3*p - d = -3*q, 2*q + 4 = -p + 1 for q.
-4
Suppose -g + 4 = 0, 0 = 2*c + g - 2 - 2. Let a(m) = c*m + 5 - 7 + m. Let u be a(4). Solve -x = -w + 2 + 2, 0 = -u*w - 2 for x.
-5
Suppose 2 = d, -3*h + 3*d - 369 = -0*h. Let q = h + 69. Let j be (q/8)/(1/(-2)). Solve 3*v + 9*p = 4*p + j, 0 = -2*v + 2*p - 18 for v.
-4
Let m(o) = -o**3 + 10*o**2 + 10*o + 14. Let w be m(11). Solve 0 = f - 2*f - 3*j - 2, -w*f - 5*j = 6 for f.
-2
Suppose -6*i + 20 = -40. Let b = 223 - 148. Let y be (-4)/(-6)*b/i. Solve 0 = -2*a - y*d - 13, d = -3*a - d - 3 for a.
1
Let m(c) = -c + 5. Let u be m(2). Solve -2*x + u = -h, 2*h = -2*x - 6 - 6 for h.
-5
Let x = 32 - 10. Suppose -13 = -g + 3*f + 5, 5*f = -g - x. Suppose 0 = -2*h + p, 0*h - 2*h + 3*p = 0. Solve -5*b = d + g, b = d - h*b + 3 for d.
-3
Let k = 6 + -1. Suppose w = k*w. Solve -2*p + w*u = 2*u + 8, 20 = 3*p - 5*u for p.
0
Let r = 64 + -60. Let y = 3 - 0. Solve -4*g + 1 + y = 4*c, -2*g = -r*c + 10 for c.
2
Let q be 2/6 - (-10)/(150/(-5)). Solve 2*l - 3*w + 0*w - 5 = 0, q = -3*w - 15 for l.
-5
Let y = 2 + 0. Let c be -2 + 1 + 0 + y. Let x be 1/((-4)/6 + c). Solve -18 = -2*g + x*z - 6, -2*g = 2*z + 8 for g.
0
Let v = -6 + 17. Suppose -4*a + 16 = -4. Suppose -l + v = l + j, -a*j = -5. Solve -o + 3*s - l = 0, -3*o + 2*s - 6 = 9 for o.
-5
Suppose r - 18 = 3*o, 4*o = -r - 3*r - 40. Let l = o + 19. Solve -d + 4*q - l = -5*d, -d = 2*q - 2 for d.
4
Let s be -3 - -7*(-2)/(-2). Suppose 5*y + 5*o = 25, -2*o = 5*y - 6 - s. Suppose u = -y*u + 2. Solve u*v - 6 = 0, -2*g + 0*g - 3*v = -5 for g.
-2
Let n = -5 - -8. Suppose 7 + 5 = n*z. Suppose -a - z = a + 3*i, -3*a + 2*i = -20. Solve -h + 15 - 4 = 5*x, -a*x - 8 = 5*h for x.
3
Let x(p) = -p**3 + 8*p**2 - 6*p - 7. Let y be x(7). Solve 4*d = -2*j - 12, y*j + 2*d = 2*j - 12 for j.
2
Suppose 36 = 4*p - 16. Suppose 3*z - 5 = -k + p, -z - 26 = -5*k. Let l be -4*-1*3/k. Solve -5*u = -5*a + 25, -5*u - 11 = l*a - 0*a for a.
2
Suppose 0 = 2*d + 4*a - 26, -3*d + 3*a + a + 79 = 0. Solve -3*l - d = -3*g, g + l + 2 = 5 for g.
5
Let t = -26 - -54. Solve 0 = -3*w + 2*a - 3 - 1, 0 = -4*w - 3*a - t for w.
-4
Let p(b) = 8*b**3 + 0*b - 9*b**3 + 4*b**2 + b - 2. Let q be p(4). Solve 4 = -o - 2*s, -22 = 5*o - 3*s - q for o.
-4
Let a = -10 - -10. Suppose 0 = -4*c + 3*m - 2, -5*m + 5 = -4*c - 1. Let v = c - a. Solve d - 2 = -i + 6*i, -2*i + d = -v for i.
-1
