 -5*u = -0*j - p*j + 3. Solve -5*z - 2*y = -24, -5*y = -1 - j for z.
4
Suppose 0*j + 3*j - 2*h - 27 = 0, 2*j - 3*h - 18 = 0. Let c = 14 - j. Solve -2*v + 0 = c*l - 10, -5*l + v = 5 for l.
0
Let i be (5/4)/((-3)/(-7 + -5)). Solve 4*h = -2*v + i - 1, h = 0 for v.
2
Suppose 9*y - 13*y + 12 = 0. Solve -3*z - 4*x + 1 = 0, -2*x + y = -0*z - z for z.
-1
Let h(v) = v**2 + 6*v - 3. Let d be h(-7). Suppose 4*f + d = 5*f. Let y(g) = -g**3 + 3*g**2 + g - 1. Let l be y(3). Solve -q = 5*c, 3*c = -l*q - 3 - f for q.
-5
Let i = -7 - -7. Suppose i*m = -m + 4. Suppose 0 = d - 5*j - 3, 0 = -4*d + j + 12 - 0. Solve -3*b + 5*b = d*y + 15, m*b + 3 = -5*y for b.
3
Let h be 9/6*-10 - 3. Let o be (h/12)/((-6)/8). Solve -2*y + o*t - t + 9 = 0, y - 8 = -3*t for y.
5
Suppose -2*w + 6 = 2*z, 7*w + 28 = z + 3*w. Solve -2*t - 5*r + 16 = -0*r, -z = -4*t + 2*r for t.
3
Let v = 2 + 2. Let r be (-5)/(-2)*(-3 + 5). Let g(i) = -i**2 + 4*i + 7. Let l be g(r). Solve -3*y - 2 = t - 8*y, -v*y - l = t for t.
-2
Let i(m) = -m - 12. Let o be i(-17). Solve 0 = 4*q - 3*k + 3, -3*q - 11 = o*k - 45 for q.
3
Let v = -13 + 25. Suppose 0 = -3*t + 3*k + 12, k = -3*t - 4*k + v. Let p = -1 - -1. Solve p*r - r - t*b - 20 = 0, 2*b = 2*r for r.
-4
Let z be 5/2 + (-3)/6. Suppose 2*w = -3*w + 5. Suppose 0 = -4*v + w + 43. Solve -u - l = z*l + v, 0 = 4*u - 5*l - 41 for u.
4
Let m be -6 + 2 + 12/2. Solve 0 = -4*b - 5*a - 1, -m*a = -4*b - 0*b + 6 for b.
1
Let f be -2 + 0 - -25*1. Suppose 0 = -8*c + 6*c + 8. Let d be (-2)/(-2 + c) - -5. Solve 2*z = 3*w + 17, -5*w + 2 = d*z + f for z.
1
Let f(k) = -k**2 - 3*k - 2. Let c be f(-2). Suppose -m - 2*m = -60. Solve 0*z + 2*b + m = -4*z, c = b for z.
-5
Let x = 10 - 10. Solve -2*r + 5*i + 17 = x, 0 = 2*r + 4*i + 2 + 8 for r.
1
Let g be ((-3)/4)/(2/(-8)). Suppose 0 = -g*d - 2*d + 20. Let l = d - 1. Solve -4*b + 5*v - 6 = 0, -5*b - 13 - l = -2*v for b.
-4
Suppose 4*k = i - 0 + 13, 5*k - 19 = 4*i. Suppose -3*j = -5*c - 19, -5*j + 43 = -0*j + k*c. Solve 0 = -2*v - m + 3*m + 6, -2*m + j = 5*v for v.
2
Let x be 118/(-4) - 4/8. Let g be 6/(-5)*x/9. Suppose 0 = -4*d + v + 21, d + d - 2*v - 12 = 0. Solve -5*m = -g*u + 29, -21 = d*m + 2*u + 2*u for m.
-5
Let w be 102/27 + 4/18. Suppose -4*v - 5 = -2*h + 3, 2*v - 4 = -h. Suppose v*s - 4*s = 0. Solve 5*k = -4*m + 32, w*m = 2*k - s*m + 4 for k.
4
Suppose -5*g + 7 = -3. Let u be g/(-7) - (-2)/7. Let n(p) = -p**2 + 2. Let q be n(0). Solve -q = i + 3*m - u*m, i - 4*m - 12 = 0 for i.
4
Let s be -2 + 4*(-15)/(-6). Suppose -5*r - 23 + s = 0. Let b be (-4)/r*(-15)/(-10). Solve b*j = -4*k + 12, 2*j + 23 = -4*k + 7*k for k.
5
Let h(q) = q**3 + 4*q**2 - 5*q + 5. Let u(l) = -6*l - l**2 + 3*l + 9 - 4. Let x be u(-5). Let c be h(x). Solve -2*a - v = 13, 0 = -a - v + c*v + 16 for a.
-4
Suppose -5*a = 80 - 25. Let b be ((-16)/(-10))/(1/(-5)). Let y = b - a. Solve -3*s - u - 3 = 2*s, -y = -3*s + u for s.
0
Let d(l) = l**2 - 10*l + 10. Let x be d(8). Let j be x/4*22/(-3). Solve 0*q - q = -2*y + j, 2*q - 5 = -5*y for y.
3
Let o(j) = -j**3 + 14*j**2 + 2*j - 26. Let c be o(14). Solve c*d + q = 7, q + q - 5 = 5*d for d.
1
Let x be 12*(175/20)/7. Suppose -4*g - 2*m + 2 = 0, 4*g = -3*m + 5*m + 14. Suppose -2*j - g*j = -12. Solve 3*s + x = 0, 3*s + 7 = -j*k - 2 for k.
2
Let m(f) = 2*f**2 - f - 2. Let l be m(2). Suppose 5*c = r + 9, 2*r - 4*c = -9*c - 3. Let z = r + 6. Solve -7 = -s + l*w, 3*s + z*w + 21 = -0*w for s.
-5
Suppose -3*o + 3 = 3*t - 0*t, 17 = 3*o - 4*t. Solve 0*m = 4*z + 5*m + 35, -9 = o*m for z.
-5
Let v = -32 - -42. Solve 0 = 5*p + 2*x + 25, 3*p + v + 4 = -x for p.
-3
Suppose 88 = 3*t + t. Let j = -3 - -5. Let q = -6 - -8. Solve -3*y - q*y + t = 3*r, -r - j*y = -8 for r.
4
Let w = 164 + -159. Solve -n = -5*d - 5, -w*d + 1 = 2*n + 21 for n.
-5
Let b = 6 + -2. Let i(t) = -4 - t - t**2 - b*t - t. Let d be i(-4). Solve 0 = k, -d*k + 3 = -0*z - z for z.
-3
Let b be (19/(-3))/(1/(-3)). Let z = b + -14. Solve w = n, -z*w - 4*n + n = 16 for w.
-2
Let m(r) = -24*r - 1. Let p(l) = 12*l. Let j(o) = 3*m(o) + 7*p(o). Let y be j(4). Solve 5*q - 3*w - 37 = 0, -2*q - 3*q + y = -5*w for q.
5
Let h be 3 + (0 - (1 - 0)). Solve -x - h*b = b - 17, 4*x - 16 = b for x.
5
Let l be 1/3*117/3. Suppose -53 = -4*n - l. Solve 5*r + 4*z = 6, -3*r + 4*z - 3*z - n = 0 for r.
-2
Let b(c) = 3*c**2 - c. Let j be b(-2). Solve 5*s - 4 = -3*g - j, -5*g + 30 = -s for s.
-5
Suppose -366 = 2*j + j. Let w be (-4)/16 - j/8. Solve -5*z - w = 4*m, -8 - 12 = 5*z + 5*m for z.
1
Let t(z) = -5*z**2 - 2*z + 5*z**2 - 2*z**2. Let p be t(-2). Let j be 8/(-3)*6/p. Solve -j*h + 9 + 19 = -5*f, -3*h + 4*f + 22 = 0 for h.
2
Let q(y) = -3*y - 33. Let s be q(-11). Solve -4*k + 20 = -u + k, s = -4*k + 16 for u.
0
Suppose -4*u = -9 - 3. Solve 0*r - 15 = -5*i - r, 5*r + 9 = u*i for i.
3
Let h be -1 - 6 - 2/(-1). Let s = h + 5. Solve 4*q = c - 2*c - 19, s = 3*q - 4*c + 19 for q.
-5
Suppose -2*t + 4*x + 54 = 0, -5*t = -2*t + x - 74. Let m(u) = u - 1. Let b be m(1). Solve b*l - g = l - 5, -5*l + g = -t for l.
5
Suppose 2*m - 2*l - 78 = -m, 4*m - 106 = 2*l. Solve -3*j + j - 4*x = 24, 0 = -2*j - 5*x - m for j.
-4
Let s(l) = l**3 + 9*l**2 + 7*l - 2. Let j be (0 + -5)*48/30. Let u be s(j). Solve -h = 4*c + 10, 8 = h - 4*c - u for h.
2
Let j = 6 - -5. Suppose 0 = -2*h - 3 + j. Let s = 4 + 1. Solve -5*a + 4*p + 1 = 0, -s*a + h*p = 3*p - 4 for a.
1
Let v(w) = w**3 - 3*w**2 - 4*w + 5. Let c be v(4). Solve -c*d = 3*s + 20, 0 = -4*s - 0*d + 5*d + 20 for s.
0
Let c be (-9)/(27/(-4))*3. Solve -20 = -4*h + o, -h - c*h = 3*o - 25 for h.
5
Suppose 0 = 3*v - 9*v - 72. Let f be (v/2)/(6/(-16)). Solve -5*u + 3*n = -f, 3*u + 6*n = 3*n for u.
2
Suppose 0 = 5*b - 4*b - 5. Solve b*q = 4*h - 9, -6*q + h - 5 = -2*q for q.
-1
Let z(u) = u**2 + 10*u. Let m be z(-10). Solve 4*v + 5*j = 20, m = 4*v - 5*j + 14 + 6 for v.
0
Suppose 0 = -10*o + 5*o + 25. Let g be 1/2*8/2. Suppose -3*l = g*v - 2*l, -4*v + l = 0. Solve -2*i - 2*f + 8 = v, -i + o*f - 3 = 11 for i.
1
Let k be ((-5)/(-2))/(2 - 9/6). Solve 16 = -3*c - 4*v, 2*v + k = -c + v for c.
-4
Suppose -22 - 28 = -10*j. Solve y - 23 - 2 = j*c, 5*y + 3*c = -15 for y.
0
Let s be (12/2)/(6/(-9)). Let i = 18 + s. Suppose -2*q + 4 = 4*f - f, 5*q = f + 27. Solve q*c + i = -w - 1, -4*w = 0 for c.
-2
Suppose -4*t = 2*a + 2 - 24, -33 = -t + 5*a. Suppose t = 2*f - 6*f, 2*f = 4*g - 20. Solve -5*l + g*x = -13, -l + 4*x - 7 = -0 for l.
5
Let v(o) = 4*o - 15. Let r be v(5). Solve 0 + r = -3*p + 2*g, 4*p = g - 15 for p.
-5
Let w be 11/3 - 8/12. Suppose -w*v = -2*v. Solve 3*i - 3*z - 15 = 4*i, v = 3*i + 2*z + 10 for i.
0
Suppose 5*x - 28 = -p, 0*p - 4*x + 40 = 3*p. Let w(l) = 2*l - 11. Let g be w(p). Solve 5*b + 3*y = 9 - 2, g*b - 5*y - 15 = 0 for b.
2
Suppose 5*z - d - 25 = 0, 2*z + 5*d = z + 5. Solve 5*p = z*k - 25, 0 = -2*k + 4*k - 5*p - 16 for k.
3
Let d(l) = -2*l - 3. Let b be d(-4). Solve b*j + 4*w + 5 = 0, -2*w = -j + 3*j + 4 for j.
3
Let z be (-9)/(-6)*4/3. Let p be 0 - (0 + z - -5). Let r = p + 11. Solve -25 = 2*g - 5*q, r = -g + 2*q - 7 for g.
-5
Suppose 0 = -3*h + 2*o + 12 + 24, 3*h + 2*o - 48 = 0. Let z = 16 - h. Solve -2*c + 3*y = -2*y - 35, 5*c - 15 = -z*y for c.
5
Let j(p) = -p**2 + 5 + 6*p - 2*p - p - p. Let s be j(0). Solve -3*v - 6 = -0*v + 3*a, s*v = 2*a + 18 for v.
2
Let s = -33 + 36. Solve -5*q + s*u - 30 = 0, 4*q - 3*u = 2*u - 37 for q.
-3
Suppose -5*y + z = 0, y + 9*z = 4*z. Solve -3*k + 4*n + 27 = -8*k, -2*k - 2*n - 12 = y for k.
-3
Suppose -5*x - 1 - 19 = 5*d, 5*x + 22 = -3*d. Solve -4*n + 2*r + 12 = 0, 3*n - 3*r - r = -d for n.
5
Let s be (-4)/(-14) - 173/(-7). Suppose 3*k - s = 2*k. Suppose 0*z - 4*p = -3*z + k, p = -2*z + 24. Solve 0 = 5*u - 5*n + z + 34, 2*u - 5*n = -33 for u.
-4
Let u = 2 + 1. Solve 6 = -4*c - x, 4*c - 2*x + 6 = u*c for c.
-2
Let f = 9 + -7. Solve f = a - 3*v, 3*a - 3*v = 3 + 9 for a.
5
Let d(t) = -t**2 + 7*t + 4. Let s be d(7). Solve s*r - 18 = -2*u - r, 0 = 3*u + 2*r - 5 for u.
-1
Let c = -4 + 4. Suppose c*s = s. Solve g - 5*d - 33 = 5*g, s = g - d - 3 for g.
-2
Suppose 3*b - 55 = -2*b. Solve 5*f + b - 2 = z, -15 = 5*f + 5*z for f.
-2
Suppose 5*c - 35 = 5*j, 3*c - 4*j - j - 13 = 0. Suppose 2*b + 0*h - 3*h - 12 = 0, -5*b + c = 2*h. Solve -4*u - 3*m - 8 = 0, b*u - 3*m = m + 19 for u.
1
Let b(g) = 9*g + g**2 - 13*g + 2 + 2. Suppose 0 = u + 2 - 6. 