+ 24 = 5*v - i*s, 3*s + 17 = 2*v for v.
4
Let m be 20*(-6)/9*-3. Let i(q) = -2*q - 9. Let z be i(-7). Solve -o - 21 = 4*p, 0*o + m = -4*o - z*p for o.
-5
Let r = 13 + 2. Let t be r/6*(-8)/(-5). Solve -w = 5*f + w + 30, 0 = -4*f - t*w - 36 for f.
-4
Let v(s) = s**3 - 5*s**2 + 2*s - 8. Let z be v(5). Solve -3*k - 4*a + z*a - 4 = 0, -k = -a - 7 for k.
2
Suppose -7*u = -3*u + 8. Let w be (-1 + 0/(-2))*u. Solve 4*k - 8 = w*r - 3*r, -5*k = 2*r - 13 for k.
1
Let g(w) = w + 3. Let j be g(8). Let a = j + -7. Solve 11 = 5*x - 0*r - 3*r, -x - a*r - 7 = 0 for x.
1
Suppose 3*r = -7*b + 2*b - 45, 4*r + 36 = -4*b. Let k be 0 + 0 + 14 + b. Solve -2*v + 17 = -5*f, -k*f - 3*v = -2*v + 29 for f.
-5
Let z(c) = c**2 - c - 1. Let f(s) = s**2 + 8*s - 2. Let r be f(-8). Let y be z(r). Solve -g = y*q + 18, -3*g + 14 = -5*q + 3*q for g.
2
Let z = 45 - 41. Solve -2*q = 2*q + 5*w - z, q + 16 = 3*w for q.
-4
Suppose -2*a - 20 = -4*n, 2*n + 3*a - 10 = 8*a. Let o = -7 + 14. Solve 4*j = 2*j + 5*z - o, -n*z = -j - 11 for j.
4
Let s = 8 - 6. Let i = 5 - s. Suppose -12 - 24 = -i*z. Solve -1 - 5 = h + 3*j, 3*j = 5*h + z for h.
-3
Suppose 4*y = -c - 56, -5*c + 0*c = 20. Let g = -8 - y. Suppose f + g = -0*t + t, t = 3*f + 5. Solve 5 = t*x - 4*k, 0 = -3*x + 8*x - 2*k - 5 for x.
1
Suppose 2*r - 21 = 3*i - 2, 6 = -2*i. Let j be 4*(2 - r - -4). Solve 5*z + 7 = 2*c, j*c + 0*z - z + 13 = 0 for c.
-4
Let p be 5 + (-2 + -1 - 0). Let b be 237/9 - p/(-3). Solve 3*r - 11 = -5*z, 0 = 2*z + z - 5*r - b for z.
4
Let l = 9 - 5. Solve -w = o - l*w + 20, 5*o - 5*w + 50 = 0 for o.
-5
Let d(g) = -g**3 + 3*g**2 + 6*g - 5. Let f be d(4). Suppose -15*o + 19*o = 0. Solve o = -f*i + 3*c - 3, i + 1 = 6*i - 2*c for i.
1
Suppose 2*u + 6*x - 4*x = 14, 4*x - 20 = 0. Let g be (-1)/2*0 - u. Let a = g - -6. Solve -a*q + 5*i = -5, 2*q + i + 20 = -q for q.
-5
Suppose -2*y - 2*y + 8 = 0. Solve -5*f + 2*s = 5 + 6, -y*s + 6 = 0 for f.
-1
Suppose 4*t - 65 = b + 7, -3*b = -t + 7. Solve 3*v - t = -4*d, -d = -4*v + 2*d + 17 for v.
5
Suppose 0 = x + 17. Let r = x + 10. Let s be 5/(-15)*(r - -1). Solve l = s*l + 5*a + 18, 5*l = a + 14 for l.
2
Let w = -7 - -7. Suppose w = 3*p - 0*p - 15. Let x = p + -2. Solve 0 = -x*q - q + 3*n - 19, q - 3*n + 16 = 0 for q.
-1
Let o(f) = -f**2 - 8*f - 13. Let q be o(-4). Solve -5*r = q*s + 11, r + 2*s + 6 = 1 for r.
-1
Let x = 15 + -12. Solve -6*q + 4*q + 17 = -3*i, x*q = -4*i for q.
4
Let k be -3 + (-8)/(-4) - -6. Let r be 3/(k + -2) + 2. Solve r*o - 13 = u, 4*u + 2 = 4*o - 10 for u.
2
Let o be (1 + 0)*3/(-3). Suppose -4*g + 22 = -p, -10 = 2*p - 7*p - 4*g. Let d be (1 - -5)/(p/o). Solve 3*f - 24 = -d*u, 3*u + 6*f = 4*f + 19 for u.
3
Let q be (-4)/(-3)*(-6)/(-4). Solve 7*w + 8 = -3*l + q*w, 5*w + 20 = 0 for l.
4
Suppose 4*g = -g + 140. Let v be g/12 + (-2)/(-3). Solve 3*a + t - 10 = -a, -v*a + 4*t = -17 for a.
3
Suppose 3 = 4*z - 5. Solve 0 = 5*d + 4*c + 4, d - z*c - c = -16 for d.
-4
Let o(c) = 4*c**2 - 2*c + 3. Let v be o(3). Let w = -19 + v. Suppose -5*t + 3 = -2*h - w, 0 = -5*t + 4*h + 9. Solve -b - l - 1 = t, -2*l = 10 for b.
-1
Suppose n - 27 = -8*n. Solve 15 = n*t - o, 4*o + 0*o - 8 = -5*t for t.
4
Suppose 11*g - 30 = 8*g. Solve 3*j = -2*z + j - 2, -2*z - g = 4*j for z.
3
Let q be (0/(-2) - -4) + 0. Let w be (15/(-6))/(2/(-4)). Suppose 4*h = 4*l - l - 10, -5 = w*h. Solve -5*c = -q*t + 2 + 7, -l*t = 5*c + 33 for c.
-5
Let d(b) = -b**3 - 23*b**2 - 22*b + 2. Let p be d(-22). Solve 3*k - p*k = 5*g - 10, 2*g = k + 4 for k.
0
Suppose 5*q = -5*m + 15, -4*m + 3*q + 3 = -m. Solve m*g - 4 = 2*o, -2*o - g = -0*o + 1 for o.
-1
Suppose -16 = 4*o, -3*p + o + 16 + 27 = 0. Solve -2*n + 0*w + 3*w + p = 0, 2 = -2*w for n.
5
Let m(r) = -r**2 + 6*r + 3. Let w be m(6). Let p = 7 - w. Solve -z - 3 = 0, p*z + 8 = 2*h - h for h.
-4
Let r be (2/(-3))/(4/(-6)). Let m = r - 1. Solve 0*k + 5*k + 20 = m, 4*k = 5*v - 1 for v.
-3
Let n = 22 - 4. Let a = n + -10. Let b = 0 + 5. Solve c = 5*c + a, -b = 5*j - 5*c for j.
-3
Let o = 12 - 7. Let l = 15 - -9. Solve -o*z = -5*u - 30, -u + 5*z - l = u for u.
-2
Let j(u) = -3*u - 13. Suppose -5*i - 5*q = 0, 4*q - 2*q - 10 = 0. Let h be j(i). Solve -6*m + n + 11 = -2*m, -h = 5*m + 4*n for m.
2
Let d = 4 - 4. Suppose -10 = -2*o - d. Solve -o*y - 13 = 3*m, 4*m + m = 3*y + 1 for m.
-1
Let c(d) = d**2 + 6*d - 4. Let i be c(-7). Let q = -1 + i. Solve -q*v + 7*v - 25 = 5*o, -2*v = -2 for o.
-4
Let h = -60 + 61. Solve -5*m + 2*c - 1 = -13, 2*m + 5*c + h = 0 for m.
2
Suppose 8 + 0 = b - d, -3*b - 3*d = 6. Suppose 3*t = 5*z - 21, 0 = z + z - b*t - 3. Suppose -z - 26 = -4*o. Solve 3*x - o = -4*g, -x - 40 = 4*x - 4*g for x.
-4
Let r be ((-255)/68)/(6/(-8)). Solve -3*k - 2*a = 14, 21 = -0*k - r*k - a for k.
-4
Suppose y = -4*y + 10. Solve y*f + 3*v = -6, 0 = -5*v - 12 + 2 for f.
0
Let r = -7 + 12. Suppose -33 = -r*q + 67. Suppose -4*h = -5*n + q, 2*n - 2*h - 8 = 2*h. Solve -2*g - 2 = -n*s, 5*g + 4*s = 7*s + 2 for g.
1
Suppose 0*a = -a + 5. Solve 5 + 5 = -2*w - 4*m, 0 = a*w + 5*m + 25 for w.
-5
Suppose 2*z - 130 = -3*z. Let r(s) = s + 1. Let w be r(-17). Let o = z + w. Solve -7*t - 2*m + 25 = -2*t, 5*t = 5*m - o for t.
3
Let p(q) = q**3 + 2*q**2 - 3*q - 3. Let a = -6 - -4. Let n be p(a). Solve -2*u = n*z + 4 + 1, -3*u = -4*z + 16 for u.
-4
Let x be 4/14 + 156/91. Solve -x*g - 2*g = -4*w + 12, 3*g + 3*w + 9 = 0 for g.
-3
Let s be (-3)/1 + 10 + -3. Solve -2*l + k = -l + 1, s*l = 5*k - 5 for l.
0
Suppose -32 = -5*p - 7. Solve 0*q + 2*z - 33 = p*q, 27 = -3*q + 3*z for q.
-5
Let q = 4 - -2. Let o = q - 3. Suppose 2 = -2*s + o*s. Solve 3*y - 19 = 5*m + 4*y, s*m + 4*y + 4 = 0 for m.
-4
Suppose -2*k + 3*d = 25 + 21, 0 = -k - d - 23. Let g = -19 - k. Solve 4*u + g = -s - s, 4 = -3*u - 2*s for u.
0
Suppose -2*l = -8, -4*l = -6*v + 8*v - 24. Solve 0 = 3*d - v*s + 10, d = -4*s - 0 + 2 for d.
-2
Let w = -7 + 11. Solve -s + n = 2*s - 10, 3*s - 35 = -w*n for s.
5
Suppose 4*i = -5*j + 83, -2*i = -2*j + 3*j - 19. Suppose 11*b - j*b = -20. Solve -2*c + 2 = r, -15 = 3*r - 2*c - b for r.
-2
Let j = -13 + 23. Suppose -2*b - 2*d + j = 0, 5*b - 2*d - 18 = -0. Solve 5*t - i - 8 = 2*i, -2*i = -b*t + 6 for t.
1
Suppose 3*o - 30 = -2*t - 0*t, 4 = o. Let p = 13 - t. Suppose -2*y = -y - 3. Solve d + 5 - p = 0, 5*d + 14 = y*z for z.
3
Let y be (-1)/(-3) - 30/(-18). Let s(k) = k - 4*k**2 + k**y + 16 + 2*k**2. Let n be s(0). Solve 4*b - 11 = -0*h - 3*h, -n = 2*h - 2*b for h.
-3
Suppose 0*p = 4*p - 12. Let o be (-6)/(-1*2) + 1. Let v(a) = a**2 - 6*a + 10. Let k be v(7). Solve 0 = 2*j + 2*s - 16, -p*j - k = -2*j - o*s for j.
3
Suppose 5*d - 5*z - 9 = 6, 5*d - 22 = -2*z. Solve -2*k = -10, d*k = -2*h + 3*h + 25 for h.
-5
Suppose -f = 5*h - 27 + 6, -3*h - f + 11 = 0. Suppose 0 = h*x - 3 - 32. Solve 0 = 2*w + 5*r - 14, -1 = 5*w - 2*r - x for w.
2
Suppose 4*x + 16 = 3*t, 5*t = -4*x - 17 + 1. Suppose s - 6 - 2 = t. Suppose -10 = -5*p - 0. Solve 0 = b + i + p, i - s = b for b.
-5
Suppose -3*x = -2*x + 4*m - 14, -5*m = -3*x - 43. Let z = 7 + x. Suppose 0 = -s + z. Solve -3*t - 19 = -k + 3*k, t = 3*k + s for k.
-2
Suppose 0 = f - 2 - 3. Solve -5*m - 3*x - 14 = 0, f*m + 18 = -5*x - 2 for m.
-1
Suppose 0*c = -2*c + 10. Let j be (c - 6) + 2/2. Let z = 9 + j. Solve -4*s = -3*k - 29, -4*k = -5*s + z + 28 for k.
-3
Suppose -3*l = -6, -3*l + 7*l + 10 = -3*k. Let d = k - -6. Solve 0*a + a = -3*g + 8, d = -5*g + 3*a + 32 for g.
4
Let c be 10/4 + 10/20. Suppose v + 24 = 4*k - 0*v, 0 = -3*k + 3*v + 27. Solve -3*a + k*x = 2*a + 20, c*a - 4*x = -14 for a.
-2
Let c(v) = -2*v - 1. Let s be c(-5). Suppose -3*l + s = -3. Solve -2*n + l*n = -6, -5*i = -3*n - 9 for i.
0
Let k be 2/(-8) + 85/4. Let i be (-6)/21 - (-90)/k. Solve -l = 5*f - 2, l = -l + i for f.
0
Let g(p) = -p + 14. Let r be g(6). Let f(d) = d**3 - 9*d**2 + 11*d - 12. Let t be f(r). Solve -3*o + 4*j - t = 0, -11 + 2 = o - 3*j for o.
0
Suppose 0 = -4*a - 11 + 55. Let f be -4 + a + 0/(-4). Solve 3*k = -c + f, c - 11 = -0*k - 5*k for c.
1
Suppose 4*d - 3*v - 2 - 4 = 0, -d = -2*v + 1. Suppose 0 = b + z + 3, -3*b = -d*z - 1 - 2. Let q = -1 - b. Solve 5*y = 3*k - q*k + 5, -3*y - 11 = k for k.
-5
Let h = -5 - -19. Let o(y) = -19 + 19 - h*y. Let m be o(-1). Solve -5*f = -2*q - m, f - 5*q = -2*f - 3 for f.
4
Let w(p) = -3*p + 1. Let f be w(1). Let n be (-2)/8 - (68/(-16) + 3). Let s be f