*s + 3*r for s.
5
Let m = 16 + -11. Suppose -p = m*v + 3, -2*v + 3*v = -2*p - 6. Solve v = -b - 2*z - 5, b = -4*b - z + 11 for b.
3
Let m be -2 + 0 - (7 + -3 + 1). Let o(g) = -g**3 + 5*g**2 + 7*g + 3. Let z be o(6). Let x = z + m. Solve -x*t - 3*q - 2 = 3*t, -5*q + 6 = -t for t.
-1
Suppose b - 4*b - 3*m = -15, -3*b + 2*m = -5. Suppose -2*z = -2*r, 5*z = r + 15 - b. Solve -5*t + 4*l = -4, 0 = -r*t - 0*l + l + 1 for t.
0
Suppose -39 = -62*p + 49*p. Solve 2*w - 3*w - j = 3, 5*w + p*j = -17 for w.
-4
Suppose 5*r = 8 + 2. Let g = 3225 - 3222. Solve 0 = 3*y - g, -5 = -b + y - r*y for b.
4
Let o be 9 + 5/((-20)/16). Suppose c + 5 = i + 1, -o*c = 5*i - 10. Solve -6*n + 2*a + 7 = -i*n, -4*n + 13 = a for n.
3
Suppose 5*i + 45 = -3*p, p = 4*i - 0*i + 2. Let d be p/(-30) + (11/(-3))/(-1). Solve -x = 2*o - 9, -4*o + d*x + 6 = 2*x for o.
3
Suppose 0 = -5*x - 92 + 377. Suppose 13*b - 16*b + x = 0. Solve s + 4*h = -b, 4*s - 2*h + h - 9 = 0 for s.
1
Suppose 2*u - 3 = -5*o, -5*u + o + 15 = 6*o. Suppose 5*j = 3*i + 89, 28*i - 26*i = -j + 10. Solve -4*n - w = 3*w + j, -u = -3*n + 5*w for n.
-2
Suppose 7*c - 8*c = -6. Let q be 2/6*-3 + c. Solve -q*o = r + 21, -2*r = 3*o + 9 + 5 for o.
-4
Let z(c) = -2*c**3 + 4*c**2 + 4*c + 3. Let r be z(-2). Let p be (-58)/(-18) - 6/r. Suppose p*n - 4*n = 0. Solve -24 = -n*y - y + 4*k, -3*y - 3 = 3*k for y.
4
Let w = -10 + 11. Let x be (-3 + -1 + 4)*w. Solve -r - 3*c + 14 = 0, -2*r = -x*r + c - 3 for r.
-1
Suppose 2 = 5*a + 2. Suppose a = n - 25. Solve -3*w - n = -2*u, w = u - 3*w - 25 for u.
5
Let d(w) = -w**3 + 10*w**2 - 4*w + 40. Let y be d(10). Solve -4*v = j, 0*j - 3*j - v + 11 = y for j.
4
Suppose 11 + 1 = -3*d. Let g(a) = -6*a - 4. Let b be g(d). Let n be ((-10)/b)/((-2)/12). Solve -2*y - 5*q = 7, -3*q + 2*q + 9 = n*y for y.
4
Suppose 3*o = 54 + 9. Suppose -5*u = -294*g + 296*g - 21, 5*g - u = 12. Solve g*k + 9 = 0, r + 3*r + o = -3*k for r.
-3
Let r be ((-1)/1)/(2/(-10)). Suppose -20 = -r*h + 5. Solve -5*a + 2*n - 10 = 0, -h*a - n = -5*n + 10 for a.
-2
Suppose 0*m + 4*m = -2*v + 16, 4*m + 3*v = 14. Solve d = -10*l + m*l + 5, 2*l - 14 = 2*d for l.
2
Suppose 2*x - 2 - 4 = 2*r, 3 = x - 3*r. Let f(z) = -12*z - 234. Let s be f(-20). Solve s - 1 = 5*c, -x*m + c - 10 = 0 for m.
-3
Let y(a) = a**3 - 6*a**2 - 8*a + 9. Let q be (0 - 2) + 1 + 8 + 0. Let m be y(q). Solve 3*f = m*f - 5*j - 2, -1 = -2*f - 5*j for f.
3
Suppose -d - 15 = -4*d. Suppose -15 = -5*o, -4*w + 3*o + d + 58 = 0. Suppose -2*l - w = -5*l. Solve -5*r - s = l, -s - 3*s - 5 = r for r.
-1
Let n(z) = -z**2 - 5*z + 28. Let v be n(-8). Solve 0 = -v*h - 2*m - 10, -h = 4*h + 2*m + 11 for h.
-1
Suppose -2*y + 5*r + 10 = -5*y, y = -3*r - 10. Solve y*a + 2*g + 23 = 6*g, -g = a + 1 for a.
-3
Suppose 12*z + 8 - 32 = 0. Let j be (-2 - 15/(-9))*-6. Solve -3*g + 10 = 2*f, -z*f + 20 = g + j*f for g.
0
Let c = 17 - 17. Let a(y) = 4 + 0*y + y + c*y. Let m be a(-3). Solve 2*f + 7 = -5*u - m, -2*f - u = 0 for f.
1
Let a = 14 + -13. Suppose 4*d - 2 = 2*m, m = -0*m + a. Let i be (8/24)/(d/9). Solve 2*l = -u + 4, l + i*l - u - 14 = 0 for l.
3
Suppose -34 = -183*q + 181*q. Solve -q = 3*d + 4*r, -5*d + 23 = -2*d - 4*r for d.
1
Suppose -3*c = -4*d + 10, -2*d + 9 = c - 1. Suppose -c*b + 9 = 5. Solve -r - 8 = 4*a + b*r, -a - 4*r - 15 = 0 for a.
1
Suppose 30 = 5*h - m + 3, -29 = -5*h + 2*m. Suppose 3*u - 9 = 6*u. Let n = h + u. Solve 6 = -d - n*z + 1, 2*d + 7 = -z for d.
-3
Let a(n) = -7*n + 18. Let j be a(9). Let i be j/10*12/(-27). Solve -4*y - 21 = -t, 5 = -t - i*t - 5*y for t.
5
Let g be 52/(-65)*(-85)/(-2). Let j = 37 + g. Solve -37 = 5*d - 3*x, j*x = 2*d + x + 18 for d.
-5
Suppose 10*u + 23*u = 0. Let r be (-8)/(-1)*(1 - -1). Suppose q + r = 3*q. Solve -h + y - q = 0, u*h + 4*y - 7 = -h for h.
-5
Let w(a) = 2*a**3 - 29*a**2 - 13*a - 30. Let n be w(15). Solve 3*m + 13 = -f - n*m, 14 = -3*f - 4*m for f.
2
Suppose 21 + 9 = 3*k. Suppose 4*p + 12 = -5*j, 5*p = 6*j - 3*j + 22. Solve -k = 4*m + p*i, 5*m + 5*i = 3*m - 1 for m.
-3
Let r(x) = -2*x - 4. Let k be r(-2). Suppose k = 12*w - 16*w + 16. Solve q + 21 = -4*c, -c - w = -0*c for q.
-5
Suppose 0 = -z - 3*i - 3, 3*z + z = 3*i - 27. Let q be (-1)/2 + (-57)/z. Let p = q + -7. Solve -5*v + p*o - 1 = 0, 2*o = -v + 5*v for v.
-1
Let y be -5*(-6)/15 + 15. Let c = 22 - y. Solve 9 = 3*p, -1 = -c*x + 2*p - 2 for x.
1
Let c = -371 + 371. Solve 5*d = -l + 22, 3*d + 4*l - 18 - 2 = c for d.
4
Suppose 2*h + 9 = -o + 6*h, 3*o - 4*h + 3 = 0. Let t = -5 - -9. Suppose 0 = 3*a - 2*k - t, 0*k + 3*k = 2*a - 1. Solve 3*g - a*g + 11 = -5*b, 5*g = b - o for b.
-2
Let y(a) = 15*a**3 - a. Let t be y(-1). Let p be 7/2 - (t/4 - -5). Solve -4*j + 20 = 5*i, 20 = -5*j + 3*i + p*i for j.
0
Suppose -5*w - 5*q = -105, 3*w - 7*w + q = -79. Let u = w + -15. Solve 0 = -o - 2*h + 5, -o - u*h + 4 = -10 for o.
-1
Let d = 24 - 12. Suppose 0 = -17*s + d*s + 10. Solve -2*a + 4*a - 4*j = -10, -s*j - 7 = -5*a for a.
3
Let v(z) = z**2 - 2*z - 3. Suppose -2*i = -2*c + 16, 3*c - 4*i = 7*c. Let o be v(c). Solve o*f = -d - 2 + 29, 2*d - f = -1 for d.
2
Suppose -r + 3*b = -20, -3*r + 4*b + 20 + 50 = 0. Solve -2*l = 2*q - 8, -2*q + r = 3*q - l for q.
5
Let s be ((-16)/14)/(128/(-1344)). Solve 4*k = -2*y + 6, s = 2*y - 5*k + 3*k for y.
5
Let r be (-4)/18 - (-1060)/477. Solve -t + 2*z - 8 = r, 4*t = 2*z - 16 for t.
-2
Let r = -5 + 26. Let x = 23 - r. Solve -x*z = h - 5*h + 16, 3*h = 2*z + 14 for z.
-4
Let v(o) = o + 24. Let g be v(-18). Let a be 20/g*54/45. Solve k + k = 3*l + 20, -4*l = a*k for k.
4
Let i = -15 + 8. Let s = 7 + i. Suppose s*h = -h. Solve h = 2*y - 5*z + 15, -4*z = y - 7*z + 10 for y.
5
Let t be -76*-2*(-4)/(-16). Let x = t - 35. Solve 2*l + 25 = -3*u, x*l + 6*u - 3*u + 30 = 0 for l.
-5
Let g be 1*9 - (8 + (-10)/5). Solve 3*m - 7 = -3*c - 1, -4*m = -g*c + 20 for c.
4
Let q be 12/60 + 2*9/10. Solve -q*p - a = 2*a - 2, -5*a = 0 for p.
1
Let m be 4 + (-8)/5 + (-2)/5. Solve 5*q = -3*x - 30, -3*x - 2 = -m*x - q for x.
-5
Let t(h) = -h + 24. Let c be t(0). Let a = -138 - -142. Solve -4*q - j - 3*j + c = 0, -a*j + 12 = 0 for q.
3
Let n be (-5)/3 + (-42)/(-9). Solve -r - n*y = 13, y - 11 = 2*r + 2*y for r.
-4
Suppose -m + 4*m = -48. Let p = 62 + m. Let i be (-18)/(-45) - p/(-10). Solve 2*q - 6 = i*q - 3*n, 5*q + 5*n - 40 = 0 for q.
3
Let j = -55 - -63. Suppose 9*s - 5 = j*s. Solve -2*f = 3*y, 0*y - 7 = f + s*y for f.
3
Suppose 11 + 1 = 4*p. Suppose -3*x = p, 6*x - 2*x = 5*z - 94. Let u = z + -13. Solve -27 = -5*a + 2*s + 3, -u*s - 25 = 0 for a.
4
Let p be (-4)/((-24)/45)*(-4)/(-6). Suppose p*z - 2 = 18. Suppose 5*i + u = 9, i + 3*u - 1 = -2. Solve -n - 2*k - 8 = -2*n, -z*k = i*n + 8 for n.
2
Let p be 7/((-35)/30) + (15 - -2). Solve -12*q = -10*q - 5*d + p, 2*q + 3*d + 3 = 0 for q.
-3
Let f(s) = -2*s - 8. Let i be f(-6). Suppose -58*b + 67*b - 72 = 0. Solve 3*l = -5*v + l - 2, -4*l = i*v - b for v.
-2
Let k be -2 + 15/(-1)*-1. Let g = 15 - k. Suppose 4*f + w = g*f + 8, 2*f + 2*w - 12 = 0. Solve 3*v + f*i = 0, -4*i = -0*i + 12 for v.
2
Let v(y) = -y**2 + 2*y**3 - y**3 - 9*y**2 - y - 10 + 22. Let t be v(10). Solve -3*l - 33 = -2*j - 12, 16 = -2*l + t*j for l.
-5
Let b(k) = 9*k. Let g(a) = -8*a. Let f be 9*((-5)/3 - -1). Let c(y) = f*b(y) - 7*g(y). Let q be c(1). Solve 2*l + u + 0 = 3, -2 = -q*u for l.
1
Let b(s) = 18*s - 16. Let r be b(2). Let g be ((-25)/r - (-9)/(-12))/(-1). Solve h - 11 = 4*c, -5*c + 3 - 13 = -g*h for h.
-5
Let n(p) = p**2 - 8*p + 17. Let q be n(7). Suppose 5*z - 4*g - 27 = -7, -2*g - q = 0. Solve -4*x = 5*i, 2*i = -z*i + x for i.
0
Let v(k) = -k + 4. Let t be v(-10). Suppose t*o - 9 = 11*o. Suppose -1 = o*p - 28. Solve 13 = i + 2*w, 2*i + w - p = i for i.
5
Let v be 3 + 6/(-9)*(1 + 2). Let m be (-1)/(v/(-6) - (-1)/18). Solve 2*f = 2*o - 2, f - 3*f - 5*o - m = 0 for f.
-2
Suppose -5*m + o + 32 = 8, 4*o + 36 = 5*m. Solve 0*u + m*u = 3*i - 14, 0 = -2*u - 2*i - 14 for u.
-5
Suppose -29*o + 35*o - 30 = 0. Solve -5*c + 0*p - 25 = p, 2*c + 10 = -o*p for c.
-5
Let t = -435 + 439. Solve -2*c - 2*j - 6 = -6*j, 4*c = t*j - 16 for c.
-5
Let n = -15 + -1. Let x = n + 28. Let q = -11 + x. Solve 0 = -2*s - 0*w - w - q, 2*w = -10 for s.
2
Suppose -4*c - 2*s + 0*s + 40 = 0, -5*s - 8 = -2*c. Suppose -c = -z - 2*z. Solve 12 = -3*w - o, 2*w = -z*o + 1 - 2 for w.
-5
Suppose 5*z = 2*i - 