
3
Let s = -22 - -46. Solve -5*o - 2*h - 5 = 0, -o + h - s = 6*h for o.
1
Let o be (2 + 0)/((-4)/(-6)). Suppose o*a + 16 = -g + 8*a, 20 = 5*a. Solve -g*n - 5*r = 21, -n - 2 = -0*n - 2*r for n.
-4
Let y = 19 + -18. Solve -i - l = y, -2*l = -2*i + 15 - 1 for i.
3
Let v(r) = -r**2 + 7*r - 8. Let g be v(5). Solve 5*k + 5*s + 10 = 0, -4*k + g*k - 2 = s for k.
0
Let f be 11 + -2 + 2/2. Let b be ((-4)/(-10))/(2/f). Solve b*i + i - 17 = -5*x, 4*x = 4 for i.
4
Let c = 33 + -22. Let d = -7 + c. Solve 0 = 4*g + 4*s + d, g - 4*g = 2*s for g.
2
Suppose -4*r - 2*y = y - 27, -3*y = -15. Solve -r*l - 2*l + 2*x = 26, 35 = -5*l + 5*x for l.
-4
Let g = -15 - -25. Solve -2*v = -4*v - d - g, 4*d - 10 = 2*v for v.
-5
Let l be 1/(-3)*(3 + 0). Let o = 6 + l. Let j = o - 5. Solve -9 = -3*t - 2*z, -2*t + t + 5*z + 20 = j for t.
5
Suppose -3*z + 2 = -z. Suppose -3*w + 18 = -6*w. Let x be -2 - (z - 1) - w. Solve 2*o - 7*o = m, -x*o - m = 0 for o.
0
Let v = -61 + 118. Let t = -36 + v. Solve -5*z - t - 4 = -3*s, z + 27 = 5*s for s.
5
Let v be (0 - 0)/((-4)/2). Suppose -2*c + 7 = s - v*c, 0 = 2*c - 4. Solve 0 = -4*i + 2*f - 4, s*i - 4*i = -f + 2 for i.
0
Let t(j) = 2*j**3 - j**2 - j - 1. Let y be t(-1). Let a(n) = -18*n + 3. Let m be a(y). Let g = m + -32. Solve -g = 5*c, -2*c + 9 = 3*q - 5*c for q.
-2
Let r = 2 + -1. Let v = r + -1. Solve 5*n = 5*y, -5*y + n - 6*n - 40 = v for y.
-4
Suppose 50 = 3*t + 2*t. Let v(f) = f**2 - 9*f - 7. Let x be v(t). Solve -h = -3*p - 9, -2*h + x*h + 7 = -p for p.
-4
Let k be 4/(-6) + 24/9. Suppose -20 - 4 = -k*l. Suppose -l = -0*s - 2*s. Solve 5*i = x + 17 - 2, -2*i + s = -x for x.
0
Let q = 2 - -7. Let s(a) = a**2 - 12*a + 25. Let m be s(10). Solve m*x = 4*j - q, x - 4*x = -4*j + 7 for j.
1
Let g = 9 + -6. Solve -7*q + g*q + 5*l - 13 = 0, -3*q + 4*l - 10 = 0 for q.
-2
Let v(s) = -s - 3. Let c be v(-3). Let o be -1*(-4)/8*10. Solve o*y = 20, 4*i - 2*y + 24 = -c*y for i.
-4
Let r(a) = -5*a + 3. Let n be r(2). Let b be (-26)/n + 4/14. Solve j = -5*u + b*j - 22, 2*u = -j for u.
-2
Let d be (3/(-6))/((-2)/8). Let l be 1/(d/(-2)*-1). Solve 5*r + o = 20, l = 2*r - 2*o - 19 for r.
5
Let y(s) = s**3 + 10*s**2 + s + 12. Let k be y(-10). Solve 3*u - 6 = 3*i, -5*u - i + k = -2*i for u.
0
Let k(o) = -o**2 - 6*o + 7. Let j be k(-7). Solve j = 2*r - 3*r - h - 6, h = 5*r + 12 for r.
-3
Suppose -3*o - 1 = -2*g, -2*g - g - 3*o - 21 = 0. Let y be 30/(-4)*g/6. Solve -f - y*h - 12 = 0, -7*f = -2*f - 4*h + 2 for f.
-2
Suppose -m - 3 = -2. Let j be m/(-4) - 108/(-16). Let t = -4 + j. Solve -t*b - 3*z = 24, 4*b = -5*z - 17 - 19 for b.
-4
Let u = 21 - 15. Suppose 15 = 3*v - 0*v. Let g(k) = -k**3 + 7*k**2 - 10*k + 5. Let h be g(v). Solve -5*l - u*i + 12 = -2*i, h*l = 3*i - 9 for l.
0
Let u(l) = l**3 + 8*l**2 - 9*l + 2. Let p be u(-9). Solve 2 + p = 2*g, 0 = -3*t + 3*g - 3 for t.
1
Let q = 44 - 42. Solve 0 = q*s - 3*k + 2, -2*s + 3*k - 6 = -k for s.
5
Let a(u) = -2*u - 21. Let n be a(-15). Let p = -9 + n. Solve -5*q = -2*s - 2*s - 21, p = 3*q + 3*s - 18 for q.
5
Let r = -9 - -11. Solve 2*k + 2*j = k - 7, -r*j - 4 = 0 for k.
-3
Let z be -3*((-42)/9 + 3). Solve 0 = 2*k - z*b - 3, 2*b = 2*k - 1 - 5 for k.
4
Let n(m) = -m**2 - 5*m - 1. Let i be n(-2). Suppose -i*l - 69 = 2*j + 30, -237 = 4*j - 3*l. Let w = j + 82. Solve -5*b - 65 = 5*s - w, 4*s - 3*b = 3 for s.
-3
Let j(b) = b**3 + b**2 - 4*b + 8. Let i be j(0). Solve -5*c + i = w, 4*w - 3*c = -0*c + 9 for w.
3
Let i = 3 + -1. Let o = 2 - i. Let q(v) = -v**3 - 2*v**2 + 3*v + 2. Let r be q(-3). Solve 7 = -w + r*b, -5*b + 0*b + 15 = o for w.
-1
Suppose -4*l + 2*k + 16 = 0, 3 = -l - 4*k - 11. Solve 21 = 3*t + 3*h, 5 = l*h - 5 for t.
2
Let h = -11 - -6. Let n be ((-8)/(-10))/((-2)/h). Solve n*g = 2*z - 2, g + 6 = -g for z.
-2
Suppose -3*f - 4 + 16 = 0. Suppose f*g - 7*c - 11 = -2*c, -3*g + 5*c + 7 = 0. Suppose g*v + 23 = 91. Solve 4*u + v = -x, -3*x - 6 - 1 = u for u.
-4
Suppose s + 2*s - 24 = 0. Let k = s - 6. Solve k*l + 0 = -z + 2, -2*l - 2*z = 0 for l.
2
Suppose 5*d + 4 = 6*d. Let x(f) = -f**2 + 5*f - 3. Let r be x(5). Let y = r + 5. Solve 0 = 2*u + 2*u - 4*l, 2*u + y = d*l for u.
1
Let x(u) = u**3 + 2*u**2 - 2*u + 6. Let v be x(-3). Solve -2*j = 3*f - 25, 2*j + v*f - 5 = 4*f for j.
5
Let u(v) = -17*v**3 - v**2 - 2*v - 1. Let j(a) = a - 8. Let r be j(7). Let n be u(r). Solve 4*t = 2*l + 6, 3*t - n = 3*l + 5*t for l.
-5
Suppose 5*b = 4*p + 151, 2*p = -5*b + 3*p + 139. Solve 5*s - b = z - 6, -s + 13 = 2*z for z.
4
Suppose 0 = 2*i - 0*i. Let w = -1 + 1. Let n = w + i. Solve j + 1 = -3*l - j, -4*l + j - 16 = n for l.
-3
Let q = 3 + 2. Suppose 2*r = q*t - 18, t = 2*t - 4*r - 18. Let k(o) = -o**2 + 6*o - 1. Let a be k(4). Solve -b = t*n + a, 4*n + 17 = -0*b + b for n.
-4
Let x be ((-4)/(-5))/((-6)/(-15)). Let h be (-1)/x*-22 + -1. Suppose -5*w = -0*w - h. Solve -w*v = 2*r, 2*r - 4*r = 10 for v.
5
Let o be (-28)/(-6) + (-6)/9. Let g = o + -1. Solve 5*m + g*w = 9, -5*w = -2*m - 10*w + 15 for m.
0
Let b(h) = -h**3 + 7*h**2 + h - 8. Let z be b(7). Let a be ((-2)/(-2))/z + 3. Solve -4*i = 5*p + 22, 3*p - a*p - 5*i = 13 for p.
-2
Let w be ((-24)/(-36))/((-2)/27). Let g = 0 - w. Solve -2*l - g = -5*k, 4*l = 2*k + 2*k for k.
3
Suppose -2*z - 14 = -9*z. Solve -3*t = 2*t - 2*n - 3, t + z*n = 3 for t.
1
Let l be 2 - (-1)/((-1)/11). Let y be ((-7)/(-3))/((-9)/27). Let z = y - l. Solve -3*p = 3*r - 3, 1 = -z*r - 2*r - 3*p for r.
-4
Suppose -2*l = -0*l - 2*o + 2, -5 = -o. Let y(a) = -2*a + 6. Let m be y(4). Let k = m - -2. Solve k = -5*u - i - 3, 0 = -2*u + l*i - 10 for u.
-1
Suppose -3*i + i = -54. Let k(c) = -3*c. Let s be k(1). Let y be s/((-9)/6) - -2. Solve i = -4*v + x + y*x, 3*v - x + 12 = 0 for v.
-3
Let u(n) = n - 1. Let a be u(6). Let b = -1 + 5. Suppose a*q + 5 + 7 = j, 5*j = -b*q + 2. Solve 0 = -m - j*y + 7, 4*y - 3*y = 5 for m.
-3
Let s(u) = u**2 - 5*u - 3. Let v be s(6). Solve 3*b + v*z = 21, -5*b - z = -4*z - 11 for b.
4
Let w be (-39)/26 + (-35)/(-2). Solve f + 29 = -5*a + 5*f, 4*a + w = -4*f for a.
-5
Suppose -2*s = -5*y + 24, -2*y + 15 = s - 0*s. Solve -20 = 5*d + i, y*d - d = 3*i - 20 for d.
-4
Suppose 0 = g + 2*v, v = 2*g - 2*v - 14. Suppose -g = -0*b - 2*b. Solve -n + b*i - 6 = -0*n, 2*i = 8 for n.
2
Let a = -56 - -61. Solve 2*n - 5*w + 0*w = 19, a*n = -4*w - 2 for n.
2
Let n be 6 - (6 + -3 + -6). Suppose n - 3 = 3*t. Solve 0 = 3*o - h, h + t = -3*o - 4 for o.
-1
Let o = 5 - 1. Suppose 0 = 2*n - o*n + 2. Solve b - 5 = -3*i, -b = -i - 2*b + n for i.
2
Suppose -5*c = 2*m - 40, c - 4*m = -0*m + 8. Solve -3*h - 5*g = -12, -4*h + g = 5*g - c for h.
-1
Let f(t) = t**3 - 6*t**2 + t - 1. Let v be f(6). Let r = v - 2. Solve -5*o = 4*m + 13, m + r*o = 5*m + 5 for m.
-2
Suppose 4*c + 8 = -2*i - 6, -31 = -2*i + 5*c. Suppose -2*l = l + 2*v - 4, i*v - 5 = -4*l. Suppose l = -2*h + 3*h. Solve 2*a = 2*p, -h*a - 2 = -3*p + 2 for a.
4
Suppose 5*f + 4*j = 5*j + 6, f + 4*j - 18 = 0. Solve -4 + 0 = -3*m - 4*p, 5*m + f*p = -12 for m.
-4
Suppose -2*p - a - 2*a + 7 = 0, 5*a = 2*p - 15. Solve 0 = -4*u + 5*k - 3 - 0, 0 = -u + p*k - 12 for u.
3
Let r = -5 - -10. Suppose 38 = r*n - 5*d - 67, -3*d - 111 = -5*n. Solve 5*a = w + n, -a - 3*a = -w - 19 for w.
1
Suppose 5*z + 40 = -5*k, 5*k + 17 = -2*z + 2*k. Let c = z + 9. Solve -c = -2*l - 2*v, 2*l = 7*l - 4*v + 13 for l.
-1
Suppose 0*o - 3*o = 0. Suppose o*s = -3*s. Solve -x = 2*k + 6, s = 2*x - 4*x + 2*k + 6 for x.
0
Suppose a = -5*x - 3 - 0, 2*a + 4*x - 12 = 0. Suppose -3*t + a = 0, -3*t + 13 = 5*k - t. Let p be 2 - ((-1)/1 - k). Solve 0*r + 4 = r + j, -3*r + p*j = 9 for r.
1
Let t = -56 - -60. Let l(g) = g**2 - 5*g + 2. Let d be l(5). Solve 5*i + t*w = -31, 0 = 3*i - d*w - 3 + 4 for i.
-3
Let h = 101 - 99. Solve -5*i - h*j - 5 = -2*i, 5*i - 5*j - 25 = 0 for i.
1
Suppose 14*a + 2 = 16*a. Solve 3*d + 2*r = -a, -5*d + 40 = -0*d - 5*r for d.
3
Let i = 0 - 7. Let l = i - -7. Let q be ((l - 0)/1)/(-2). Solve -5*c + 13 + 10 = f, q = -2*c + 3*f + 16 for c.
5
Suppose -24*t + 9 = -21*t. Solve 4*u + 2*x + 23 = -u, t*x - 18 = 3*u for u.
-5
Let l be 1/(-1)*-72 + 3. Suppose -l - 10 = -5*v. Suppose -3*z + 2*f = -11, 5*z = -0*z + 2*f + v. Solve -2*s - 6 = 0, 5*h + z*s + 0*s + 4 = 0 for h.
1
Suppose u + 7 = 2*u. Suppose 3*g + u = 2*v, -3*v + 2*g = -0*v + 2. Let r be ((-2)/(-3))/(v/(-30)). Solve 11 - 31 = -4*n,