
-2
Suppose -4*j = 2*j - 30. Solve -j*k - 3*w = -31, k = -0*k + 5*w - 5 for k.
5
Let u be (-2)/3 - (-44)/3. Let j(s) = -s + 16. Let b be j(u). Let h = -5 + 20. Solve -3*q = 5*n + h, -b*q = -6*q + 4*n + 12 for q.
0
Let g(r) = -3*r + r**2 - 10 + 4 - 4*r. Let o(p) = p**2 - 2*p - 7. Let t be o(5). Let q be g(t). Solve -2*a + q*d = -6, 2*a - 6 = -2*d + 5*d for a.
3
Let f = 32 + -29. Solve -m + 2*i = -2, f*i + i = -4 for m.
0
Suppose 0*v - 2*v = 0. Let t be 3 - 2 - (v + -4). Solve 3*z - 23 = -m - z, m - t*z + 22 = 0 for m.
3
Let v = -9 + 13. Let t = v + 0. Let w(p) = p**2 + p - 2. Let b be w(t). Solve n = -0*n + 5*s - 18, 5*n - b = -2*s for n.
2
Let h(v) = v + 8. Let g be h(-5). Solve -5*x + 4 = -3*w, 3*w + g*x + 13 = -x for w.
-3
Let p be (1 - -4)*3/5. Suppose h + 0*m = m + 3, 4*h - 5*m - 17 = 0. Let v be (1/h)/(5/(-50)). Solve z - p*f = -0 - 1, z + v*f = 7 for z.
2
Let d(q) = q**2 + 4*q - 3. Let b be d(-5). Suppose 0 = b*i - 3*u - 20, -i + 3*u - 5*u = 4. Solve -i*r + 2*v = -0*r - 4, 3*r - 8 = -v for r.
2
Suppose 1 = -6*u + 19. Solve 0 = -2*x + 2*h, -u*x - 32 = -0*x + 5*h for x.
-4
Let c be 0*((-1)/2 - -1). Let t = -31 + 51. Solve 5*h + 10 = 4*d + 27, 4*h - t = c for d.
2
Let h be 8/4*-1 - -8. Let t = 13 + -9. Suppose -w = t, -w - 3*w = -2*o + 20. Solve -o*m - h = -4*a, a + 2*a - 3 = 3*m for m.
1
Let a(m) = 6*m**2 - 1. Let w be 2/6 - 15/(-9). Let s be a(w). Solve r + 2*c + 3 = 0, -5*r - 6 = -4*c + s for r.
-5
Suppose 2 = -s + 4. Solve -n = s*n - 5*b - 20, 2 = -2*b for n.
5
Let q be (4/6)/(12/18). Let s(b) = -1 - b**3 - b**3 - q + 3*b + 2*b**2 + b**3. Let u be s(2). Solve 1 = -3*k - x - 6, 0 = -u*k + 2*x - 26 for k.
-4
Let k(b) = -b + 3. Let o be k(9). Let l = o + 25. Solve -l = 4*d - 3*t - 2*t, -3*t = 3*d - 6 for d.
-1
Let b(j) = -j**2 + 18*j - 27. Let q be b(16). Solve 2*i + q*l = -1, 4*i + 7 = -0*i - 5*l for i.
-3
Let d be (-2 + 1)*(-6 - -2). Suppose -w = -2*w + d. Solve 40 = r - 6*r - 5*c, -2*c + w = -2*r for r.
-5
Let i(x) = x**2 - 12*x - 23. Let n be i(14). Solve 0 = 3*p - 4*c - 1, 4*c + 0 - 1 = n*p for p.
-1
Suppose -2*r + 0*r + 26 = 0. Suppose -5*q = -3*x - r, 2*x + 4*q - 33 = -5. Solve -l + 2*a + 8 = 0, 3*l + x*a + 1 + 25 = 0 for l.
-2
Let h(s) = -3*s + s**2 - 5*s - 2*s**2 - 7. Let z be h(-7). Suppose 2*c + j - 3 = z, c - 20 + 1 = 3*j. Solve 3*a = n + n - c, -2*n - 16 = 2*a for n.
-4
Let a(s) = 3*s**2 - 11*s + 2 + 0*s**2 - 2*s**2. Let c be a(11). Solve -4*f = -2*n + n + 25, c*n = 5*f + 35 for n.
5
Let h be (-10)/4*(-42)/(-35). Let n = -7 - h. Let p be (10/15)/(n/(-18)). Solve 2*y + 0*t = 2*t + 6, -p*y = -4*t - 12 for y.
0
Let d = -89 + 91. Solve -5*z = -3*q + 16, d*z + 16 = -0*q - 2*q for z.
-5
Suppose 18 = 5*b - 7. Solve -b*c = -4*r - 4, 0*c + 2 = -2*r + 3*c for r.
-1
Suppose 3*h - 4*h + 4 = 0. Solve h*d = -s - 3, -3*d + 3 = -6*d - s for d.
0
Let x(q) = 12*q + 1. Let n be x(-2). Let s = 33 + n. Suppose -4*b + 5*d = -66, 0*b - 2*d = b - s. Solve 0 = 5*g + 15, 3*g + g = y - b for y.
2
Let k(n) = -n**3 + 8*n**2 - 8*n - 15. Let o be k(7). Let w = -17 - o. Let h(c) = c**2 + 2*c + 1. Let i be h(-4). Solve 1 = -2*y - i, -3*l + 2*y = w for l.
-5
Suppose 0 = -q + 4*n - 5 - 3, 4 = -5*q + 2*n. Solve -2*w + 5*w - 5*v = 16, 3*w + 4*v + 2 = q for w.
2
Let b = -74 + 77. Solve l + 6 = i, 0 = -b*l - i - 1 - 9 for l.
-4
Suppose -4*d + 5*b = 8, -3*d + 17 = -0*d + 2*b. Suppose 5*t - 5*f = -5, -2*f - 15 = -5*t - f. Solve d*o = -t*p + 10 + 2, -2*p = o - 6 for o.
0
Suppose f - 10 = -4*f. Let i(g) = -3*g**3 - 3*g**2 - g. Let u be i(-2). Suppose 0 = a - 2 - 2. Solve -3*s + 24 = -a*j + s, 0 = -f*j + 4*s - u for j.
-5
Let y be 1*(-15)/(3 - 0). Let j = y + 16. Solve 6 - 3 = i, -4*k = 5*i - j for k.
-1
Let k(c) = c**3 - 14*c**2 + 3*c - 1. Let m be k(14). Solve 0*b + 21 = -b + 4*q, 4*q = 5*b + m for b.
-5
Let w(d) = 3*d - 13. Let t be w(5). Solve -2*s - x = 3*x, -t*s = -2*x - 12 for s.
4
Let r = 35 + -33. Solve -41 + 1 = -5*b - 5*y, -b = -y - r for b.
5
Let v be (-4)/(-3 + 2 - 1). Let s be (-2 + v + 4)/2. Solve -d - 3 = 4*i + 1, -4*d = s*i + 2 for d.
0
Let w be (-34)/(-12) - 2/(-12). Suppose -w*o + 5 = 2*o. Let l = 1 + o. Solve 0 = q + j - 3*j + 8, -l*j = -2*q - 10 for q.
-2
Let j(b) = -b**3 - 7*b**2 - 7*b - 6. Let d be j(-6). Suppose d*v - 52 = -4*v. Solve 3*g + 2*g + 3*w + v = 0, 7 = g + 3*w for g.
-5
Let y be 12/9*(-3)/(-2). Let z be ((-3)/(-2))/(3/4). Let l be ((-8)/6)/(z/(-3)). Solve 0 = -l*i + j, y*j - 3 - 5 = 0 for i.
2
Let v(i) = 3*i**2 + 3*i. Let j be v(-2). Suppose -6*q = -5*q + j. Let y = q + 9. Solve -4 = y*f + a + 9, -f = a + 7 for f.
-3
Let x = -22 + 76. Let v(m) = -m + 7. Let y be v(5). Suppose 0 = -y*p + 5 + 3. Solve -4*j - x = p*h - 18, 4*j + 21 = -h for j.
-4
Suppose 0 = 3*c + 3 - 9. Suppose 5*v = c*l + 3*v - 2, 2*v - 12 = -5*l. Suppose -10*k + 48 = -2. Solve -7 = -d - 4*b, 2*d - 3*d = -l*b + k for d.
-1
Let a = 3 + 2. Let y = -2 + a. Solve -b - 5 = -y*g + g, g - 2*b + 2 = 0 for g.
4
Let s = -7 + 4. Let g = 5 + s. Suppose -2*i - 3*h = -4, -g*h + 6 = 2*i - 0*h. Solve 2*u + i*y + 9 = -6, 3*y - 17 = 4*u for u.
-5
Suppose -3 = t - 7. Solve -3*j = t*v - 7, 20 = 5*j - 5 for v.
-2
Suppose -r + 3*r + 6 = 3*c, 0 = -3*c - r + 6. Solve 5*d + c*g = 0, -4*g - 14 + 2 = 4*d for d.
2
Suppose -20 = -5*t - 0. Solve -t*i = -2*m - 10, -i = -2*m - 4 - 3 for m.
-3
Suppose -4*k = -3*w - 0*w - 21, -3*k - w + 6 = 0. Solve -12 = -4*c - a - 3*a, 19 = 5*c + k*a for c.
5
Suppose -2*o + 2*m - 2 = 0, 4*m - 3 = 1. Let y(i) = i**3 - i**2 + 20. Let p be y(o). Let a be (5*(0 - 1))/(-1). Solve -5*l = -3*q + p + 9, l + 19 = a*q for l.
-4
Suppose 4 = 2*s - 0*s. Suppose 0 = -0*k + s*k - 12. Solve -5*l + 2 = 4*t + k, l = -2*t - 2 for l.
0
Let s be 14/(3/6*2). Solve 3*m + 2 = -2*u, s = -m + 2*u - 0*u for m.
-4
Let l(o) = o**2 + 5*o - 10. Let x(t) = t**3 - 4*t**2 - 5*t - 7. Let a be x(5). Let d be l(a). Suppose 3 = z + 2*z. Solve -s = -z, u + d = -3*u - 4*s for u.
-2
Let b(f) = -f + 11. Let q be b(6). Solve q*r = -0*i - i - 14, -2*r = 2*i + 4 for r.
-3
Let w(z) = z**2 + z - 1. Let d be w(-3). Suppose -2*n = -4*v + 12, 5*n - 10 = 7*v - d*v. Solve -p = 3*q - 3, 0 = -q + v*q + p - 4 for q.
1
Suppose -4*d = 2 - 10. Suppose 5*w - d*w - g - 7 = 0, 17 = 3*w + g. Solve -j - m = -w*j + 4, 4*m = j + 17 for j.
3
Suppose -v = 3*w + 11, -w - 4*v + 2*v - 12 = 0. Let p be (4/w)/(3/(-3)). Solve 14 = -5*z - j, 3*z + 3*j - p = 5*j for z.
-2
Suppose 4*p = 4*j - 32, -j - 3*p - 10 = 2*p. Suppose 0 = 2*x + 5*f + j, 5*x - x + 3*f = 11. Solve 0 = 3*c + h + 14, x*c + 4*h - h = -22 for c.
-5
Let i(u) = -u**2 + 8*u - 8. Let k be i(6). Suppose 2*l = l + 2. Solve 0 = l*w + k, p + 6 = -2*w - 1 for p.
-3
Let a be (-2)/(-3)*(2 - -4). Let i be (-2)/(-6)*(-30)/(-2). Suppose -3*w = -11 + i. Solve -2*p + a*p = -4*l + w, p - 3*l = 1 for p.
1
Suppose -f = 2*f + 5*u - 15, -2*f + u = -10. Solve -3*b + 2 = f*l, -4*b + 2 = -5*l - 24 for b.
4
Suppose 4 = 2*d - 6. Solve 4*b - 6*b = 5*r + 10, -4*r + d*b = 41 for r.
-4
Let x = -13 - -21. Suppose -a - a + x = 0. Solve 2*g - l = 0, g - a*l = 3 + 11 for g.
-2
Suppose 5*z + 13 = 4*h, 4*z + 13 = 5*h - 1. Solve -r - 11 = -5*t, h*t - 14 + 5 = 5*r for r.
-1
Let m be (6/(-7))/(4/(-14)). Solve 3 = -3*w - m*s, -4*s = -3*w + w + 22 for w.
3
Let j = -8 - -26. Let c be (-1)/2 + j/4. Suppose 4*q + 24 = c*o, 2*o = o - 2*q - 3. Solve -p + i = -10, i - 15 = -o*p - p for p.
5
Let y(q) = -q**2 + 11*q + 2. Let p be y(11). Suppose -z - 4 = -2*t, -3*z + 24 = z + p*t. Solve a - 2*n + 10 = -n, -z*n = -2*a - 30 for a.
-5
Let z be -4*(-1)/(8/(-28)). Let v = -11 - z. Solve 3*d + m + v = 0, -4*m - 4 + 12 = 2*d for d.
-2
Let y be (-12)/(-15) - (-8)/(-10). Suppose 4*t = 3*t - 2*w - 2, 2*t - 4*w + 20 = 0. Let c be 52/(-2)*3/t. Solve 3*d = -6, d = 3*m - y*m + c for m.
-5
Let b(w) = w**2 - 11*w + 15. Let n be b(10). Let h = 0 + n. Solve 0 = 3*k + 3*a + 6, -a + 0 - h = 0 for k.
3
Let g(w) = w + 7. Let z be g(-4). Solve -5*j - 2 = 3*f, -z*j + 1 = f + 3 for j.
-1
Suppose -4*g - 2 = 5*q - 5, 6 = -2*q - 4*g. Solve -l = 3*x + 2 - q, 0 = 2*x + l - 2 for x.
-1
Let x = 4 + -1. Let q = 23 - 14. Let d = q - 5. Solve -d*p = x*s - 2 - 2, -5*s = -2*p - 24 for p.
-2
Suppose 0 = -5*x + 40 - 10. Suppose -d - x = -2*h, 2*h - 4 = 5*d - 14. Solve -2*c - r + 5 = 0, d*r - 3 = 3*r for c.
1
Let f = -53 - -53. Suppose -3*q + 5*w - 6 = -22, 