3*u for l.
4
Suppose -3*t = 12, -g - 6*t = -4*t + 3. Suppose 22 = g*r - 3. Solve -x = -q + r, -4 = -x - 3*q + 11 for x.
0
Let t(x) = -x**2 + 3*x + 20. Let o be t(6). Solve 3*r + 15 = 3, o*i + 16 = -3*r for i.
-2
Let t be 2 + -5 - -4 - -2. Solve 3*u = -t*p + 15, p + 2*u = -u + 5 for p.
5
Suppose 3*v = -3*p + 24, -2*p - 3*v + 19 = -0*p. Solve 2*n = 5*s - 8 + 27, -5*s = 5*n + p for s.
-3
Suppose 0 = 2*r - 8*r + 36. Solve 0 = -2*c - 2*c + 3*d - r, -4*d + 8 = 2*c for c.
0
Suppose 4 = 4*m, -4*d - 3*m = -3 - 8. Suppose -t - 1 = 3*a - 0, 2*a = 2*t - 6. Suppose -t*y + 4 = -d. Solve -5*k - 5*r - 5 = 0, 13 = y*k - 0*k - r for k.
3
Let r = 6 - 6. Suppose r = 5*c - l + 6, -3*c + l - 2 = 2. Let b be 25/5 - 0/c. Solve 0 = 3*y - 3*m + 30, -2*y + b*y + 2*m = -5 for y.
-5
Let l(d) = 2*d**3 + 2*d**2 - d + 2. Let b be l(-2). Let p(r) = -9*r. Let w be p(-1). Let i = b + w. Solve 3*f + i*s = -5, 2*s = -s + 6 for f.
-5
Suppose 2*m + 2*x + x = 3, -3*m - 5*x + 5 = 0. Solve -24 = 4*f + 4*n, -5*n - 22 + 2 = m for f.
-2
Let c(y) = 5*y**2 - y + 1. Let s be c(1). Let h be (-2)/9 - 11/(-9). Let r be (-3)/h - (-3 - 2). Solve 2*j + 20 = s*u, -r*j = 4*u + 2*j + 12 for u.
2
Let k(x) = x + 11. Let n be k(-8). Let p = 3 - 2. Let r = n + p. Solve 0 = 2*l + 5*j - 29, -l + 4*l = r*j - 14 for l.
2
Let f = -3 - -5. Let r be 2/f*(1 + -2). Let d = 2 - r. Solve 5*w + 3*c - c - d = 0, -4*w = 3*c - 8 for w.
-1
Suppose 2*l - 23 + 5 = 0. Suppose l = 3*x - c, 5*c + 7 = -x + 2*c. Let q be (-19)/((-2)/(1 - -1)). Solve -2*w + 5*o = w - q, -4*w + 8 = x*o for w.
3
Let o = -4 + 6. Let r = 129 - 27. Let c be 8/52 + r/13. Solve 0 = g - 2*s, -o*g - 2*s - c = -g for g.
-4
Let b = -6 + 8. Solve -b*g - 4 = -2*l - 0*l, -3*l + 8 = -4*g for g.
-2
Let j(d) = d - 4. Let z = 2 + 5. Let k be j(z). Let c(v) = v - 2. Let b be c(5). Solve y + k*s - 12 = -0*s, -5*y - b*s = -12 for y.
0
Suppose -2*a + 0*i - i = -13, -2 = -2*i. Let b be 3/2*(a + -4). Solve 3 = -3*v + b*z - z, 0 = 2*v - 2*z for v.
-3
Suppose z + 0 - 4 = 0. Solve 2*g = i + z, -g - g + 4*i = -4 for g.
2
Let h be 0 + -2 + 13 - (0 + 2). Suppose -4*q - 15 = -5*w, -3 = -3*q - 0*w - w. Suppose -2*o + 4 + 2 = q. Solve 0 - 3 = n - 2*s, -o*n - h = -2*s for n.
-3
Let j be (-1)/((4/(-20))/1). Suppose 2*p = 3*w - 11, -4 - 1 = j*p. Solve -15 = 4*t + t + 5*q, 2*t - 4 = w*q for t.
-1
Let g = 6 - 2. Suppose 15 = 3*i, 2 = 5*o - 3*i - 8. Solve g*j - p + 2 = 2*p, o = -j + 3*p for j.
1
Let f = 11 - 11. Suppose -3*k = -f*k. Solve 0 = l + l - v + 7, k = -v + 1 for l.
-3
Let x = 10 + -4. Let q be 16/(-6)*x/(-4). Let c be (-1 + 2)*(9 - q). Solve 0 = 4*k - c*b, -5*b = 2*k + 28 + 2 for k.
-5
Suppose 0 = 10*l - 7*l - 6. Let k(m) = -5*m - 2*m - 2 - 2*m**l + 3*m**2 + 6*m. Let r be k(2). Solve -2*n + 2*c + 10 = 0, r = -4*n - 4*c + 24 - 4 for n.
5
Let k = 0 - -2. Suppose -3*m + 2*m = -k. Suppose 2*l + 2 = -3*p, -1 = m*p + l - 0. Solve 0 = 2*x + 4*r - 14, p = 4*x - 2*r - r + 27 for x.
-3
Suppose -2*g - 7 = -3*g. Solve 3*q = -t - g, 0 = 5*t - 9*q + 4*q - 5 for t.
-1
Suppose -2*n + 24 = 4*n. Suppose -25 = -3*x - 2*v, -15 = -3*x + 5*v + 38. Solve 2*t + t - 2*r + 19 = 0, 3*t + n*r - x = 0 for t.
-3
Suppose 5*l - 2*c = -4*c + 38, 5*l = c + 41. Solve -o = -l*u + 3*u - 11, 5*o = 3*u + 11 for o.
1
Suppose 3*n - 2*j - 23 = -0*n, 4*n + 3*j = 8. Solve n*a = 2*w + 25, -2*w - 2*a + 10 = -0*w for w.
0
Let u(r) = r**3 + 4*r**2 + 3*r + 4. Let y be u(-3). Suppose 0 = -3*d + 15, q - 5*d + 13 = -3*q. Solve -p + 4*h = 9, y*p - q*p = -h - 4 for p.
-5
Let q(s) = 3*s + 10. Let y(x) = x. Let c(n) = -q(n) + 5*y(n). Let b be c(7). Solve -3*a = -2*a - 5*i + 14, 0 = b*a + 4*i - 16 for a.
1
Let h be ((-18)/6 - -3)/(-1). Solve -4*u + 3*v - 25 = -8, h = 4*v - 12 for u.
-2
Suppose 4*h = -h + 15. Solve -13 = 2*s - 3*b - 5, -5 = -s - h*b for s.
-1
Let h = 22 + -24. Let i(q) = q**2 + 4*q - 4. Let d be i(-5). Let z be h/d - (-2 + 0). Solve -3*a + 4*t + 1 + 0 = 0, -2*a + 5*t + 3 = z for a.
-1
Let u(y) = -y**3 - 6*y**2 - 6*y - 5. Let f = 9 - 14. Let p be u(f). Let w = p + 5. Solve 0 = 3*b + w*d - 17, -2*b - 2*d = 3*b - 3 for b.
-1
Suppose -4*j = -5*t - 119, 5*j + 2*t + 0*t - 124 = 0. Let v = -26 + j. Solve -6 = -4*o + p, v = 5*o - 3*p - 0*p - 4 for o.
2
Let z be 0 + (1 - (-3 + -2)). Let p be 0/(z + -2) - -12. Solve -5*i - 4*k = k - 40, -2*i + 5*k - p = 0 for i.
4
Let q = 15 + -11. Suppose -9*u + 70 = -q*u. Solve -3*y - v = -y - u, -v = -4 for y.
5
Let c = 0 - -1. Let h(b) = b**3 - 8*b**2 + b - 11. Let d be h(8). Let l be 0/d + (1 - c). Solve l*r - r - 5 = g, -20 = r + 4*g for r.
0
Suppose 7*n - 4*x = 2*n + 22, -n + x + 5 = 0. Solve -2*g - n*b = -0*g, -6 = 2*b for g.
3
Let h(t) = -t**2 + 6*t + 7. Let o be h(7). Let a be (25/(-5))/(o - 1). Solve 3*n = -3*p - 0*p - 6, a*p - n - 14 = 0 for p.
2
Let t(q) = -q - 2. Let w be t(-2). Let k(s) = -s**2 + 2*s + 3. Let o be k(w). Solve -o*l = -u + 11, 2*u + u - 3*l = 3 for u.
-4
Let f = -11 + 16. Let n(u) = 2*u**2 - 7*u - 1. Let x be n(f). Suppose 0*y + y = x. Solve 2*v - s + 1 = y, -12 = 4*s for v.
5
Let n be 28 - (-6)/(-36)*6. Solve -5*k = -i - n, 0*i - k = -i - 7 for i.
-2
Suppose -3*m - 32 = -5*m. Suppose 6*s = 2*s + m. Solve -3*y = -0*y + s*w - 27, 2*y - 3*w - 1 = 0 for y.
5
Let z be 7*4/56*8. Solve 4*p - 16 = b, 4*p = -b - b + z for b.
-4
Suppose 3*v - h + 11 = -0*h, 0 = -4*v - 5*h - 21. Let z = v + 4. Solve -p + z*p + 3*c = -7, -2 = -2*p + 3*c for p.
-5
Let o(x) = x**2 - 7*x + 3. Let q be o(7). Solve 2*g + 5*l = 13, -2*g - g + q*l = 12 for g.
-1
Suppose -4*d + 16 = k - 5, -4*d = 4*k - 36. Solve 4*o = 5*l + 5 - 1, k*l = o - 1 for l.
0
Let v = -2 - -5. Suppose -f = -v*f. Solve f = -2*k + 5*d + 14, k - 5*d = -7 + 19 for k.
2
Let t = -1 + -5. Let n = 2 - t. Let h be 6/(-9) - n/(-3). Solve -h*w = -g + 5*g + 22, 3*w - g = 2 for w.
-1
Suppose -o + m + 17 = 0, -3*o + 44 + 25 = 3*m. Suppose -o*r = -24*r + 8. Solve r*w - 1 = 4*f + 3, -4*w - 4 = -2*f for f.
-2
Let h = 52 + -37. Suppose h = 6*k - k. Let i = 0 + k. Solve 5*f = r - 2*r + 29, -4*r + 1 = -i*f for r.
4
Let h = -61 + 85. Suppose 4*a = -0*a + h. Solve 4*b - c = 0, 0 = 5*b - 4*c + 5 + a for b.
1
Suppose 0 = -3*y + 22 + 20. Let s be (12/y)/((-1)/(-7)). Suppose a = 3*a - s. Solve -r + 25 = -5*f, -8*r = a*f - 4*r - 8 for f.
-4
Let d(o) = -3*o. Let q be d(1). Let l be (2 + q)/(2/(-8)). Let b be (-2)/(-4)*88/l. Solve 4 = 3*v - 5*m - 9, v = 5*m + b for v.
1
Let p(h) = -2*h**2 + 6*h - 5. Let x be p(6). Let y = x - -61. Solve -5*m = 6*j - j + y, 0 = m for j.
-4
Suppose b + 0*b = 0. Suppose b = 3*z - 4*l - 12, 0 = -2*z - 5*l - 18 + 3. Solve 3*n = -2*v - 14, z = 6*v - 5*v - 5*n - 19 for v.
-1
Let q(b) = 2*b**2 - 5*b - 5. Let w be q(5). Let k = 5 + -1. Let y = k + 0. Solve 2*h - f = 7*h + 25, w = -y*f for h.
-4
Let z = -14 + 18. Solve 0 = -0*s + z*s + 4*u + 40, 4*u = 2*s - 10 for s.
-5
Let z be (16/(-3))/(2/6). Let k be ((-12)/z)/(1/(-4)). Let j = k - -7. Solve 0*v + 2*v - 10 = -j*q, 5*v = -4*q + 1 for v.
-3
Suppose -2*x + 4*a + 8 + 12 = 0, -3*x - 4*a - 10 = 0. Solve 3*f + 5 = -x*f - 2*w, f + 8 = w for f.
-3
Let s be (2 + 3 + (-13)/3)*6. Solve -s*a - 4*n = -16, a - 7 = 2*n - 0 for a.
5
Suppose -11 - 5 = -4*d. Let b = 148 + -144. Solve 5*q + d*t = 9, 6*q + 1 = 3*q - b*t for q.
5
Suppose -5*o + 24 = -1. Suppose -o*p + 3*j - 12 = 0, p + 4 = 2*j - j. Let w be -2 + p + 0 + 4. Solve w*g + 10 = -2*v, 7 = -5*g - 2*v + 6*v for g.
-3
Suppose 3*u - 4*o = 17, u + 0*u - 5*o - 24 = 0. Let w = 7 - u. Solve -4*c + 3*n = 10, 0 = -c + n - 3*n - w for c.
-4
Suppose -10 = -j - 4*j. Suppose -4*y + 2*c - 4*c + 10 = 0, 0 = -4*y + 5*c - 25. Solve 2*u - 4*d = y, d + 2 = j*d for u.
4
Suppose 0 = 2*o + 3 - 17. Suppose 3*a - o*a = -8. Suppose -5*i - 25 = 2*k, -3 = 2*k + i + 2. Solve p - a = 2*c + 3, -2*p - 5*c - 35 = k for p.
-5
Let g(l) = l**2 + 8*l + 3. Let v be g(-9). Solve 5*u + 3*c = c - 6, -v = -2*u + 4*c for u.
0
Let a = -21 + 37. Let o(v) = 2*v - 9. Let r be o(6). Suppose -x = r*x - a. Solve -x*z - 3*g + 29 = -8*g, 21 = -4*z - 5*g for z.
1
Suppose 6*f + 6 = 8*f. Let u = 44 - 31. Suppose 5*o - u + f = 0. Solve -3*b = z + 3, -o*z - 2*z = -4*b - 4 for b.
-1
Suppose 2*k = -3*k + 2*p, 4*k = -4*p. Solve -4*z - 5*c + 2 + 1 = k, -5*c = 3*z - 1 for z.
2
Suppose -3*n = -4*n + 2. Solve -2*p = 2*a - 1 + 5, -n*p = 5*a + 4 for p.
-2
Let f be (-43)/(1 + -2)*3. Let p be 