q, -p = -2*q + 11 for p.
-3
Suppose -4*z = u + 1, 2*u = 2*z - 0*u + 8. Let x be (-4)/8*(1 + z). Suppose -3 + x = -h. Solve 0*n - t + 5 = -2*n, h*t = 3*n for n.
-5
Suppose t = -2*t + 2*w + 12, 0 = -4*t - w + 5. Suppose -8 = u - 3*u. Suppose -u*b = -5*z - 27, 12 = 4*b - b - z. Solve l = r + 1, -b*r - t*r - l = -19 for r.
3
Let m = 20 - 14. Suppose -8 = -m*f + 2*f. Solve -5*q + 9 = l, 0*q = -2*q + l - f for q.
1
Suppose 12*w - 9 = 9*w. Solve -15 = w*s, -2*s = -2*m - 0*s + 2 for m.
-4
Let u be 168/15 + 32/40. Solve u = -4*l - 8, -a + 28 = -5*l for a.
3
Let i(o) = -9 - 13*o + o**2 + 22*o + 0*o**2. Let w be i(-10). Solve -2*s = 4, 4*x + x = 2*s - w for x.
-1
Let h(t) = -t**3 + 7*t**2 + 2*t + 3. Let z be h(6). Suppose 7 = -4*w + z. Let q = w + -6. Solve -5*j - 5*v = 0, q*j + 20 = 4*v - 25 for j.
-5
Let h be 0 + 8*4/8. Solve h*j + 10 = -2*l, j - 4*j = 3*l for l.
5
Let y(u) = 2*u - 8. Let k be y(6). Let a(m) = -m**3 - 2*m + 1. Let j be a(1). Let x = k + j. Solve -3*s = -5*t + 15, x*t + 0*s = 5*s + 6 for t.
3
Let b(y) = y + 5. Let w = 28 - 16. Let m = 7 - w. Let u be b(m). Solve u = -4*t + 16, -23 + 3 = 4*a - 3*t for a.
-2
Let i be 2 + (8/2)/2. Let f = 12 + -19. Let y be 5/((-15)/6)*f. Solve -3*j = -k - y, -j = j - i*k - 6 for j.
5
Suppose 0 = 5*s + 1 - 6. Let v be (4 + 1)*(2 - s). Suppose -4*d - 5*g + 10 + 3 = 0, 0 = -5*d + v*g + 5. Solve 2*q + d = 2*m, -7 = 5*m - 3*q + q for m.
-3
Suppose -15 + 1 = 2*x. Let v be (-6 - -1)*(1 + 0). Let i = v - x. Solve -d = 4*f + 13, f - i = -5*d - 10 for f.
-3
Let f(r) = -r**3 + 2*r**2 - r. Let p be f(1). Solve 2 = -2*c - b, p = 3*c + 2*b + 3*b - 4 for c.
-2
Let m(n) = n**2 + 4*n + 2. Let i be m(-4). Solve 2*c = 0, 2*u + i*c - 5 = -3*u for u.
1
Let r be (-4)/2*2/(-2). Let p(c) = -1 - 2*c - 4*c + 11*c - 3*c. Let i be p(r). Solve 2*n = 2*m, -i*m - 4*n = -8*m + 5 for m.
5
Let h(b) = b + 10. Let c be h(-5). Let g(j) = -j + 3. Let f be g(0). Let w be (f + 1)*(-81)/(-12). Solve c*i = 5*a - 10, 0*a = 3*a + 4*i - w for a.
5
Let o = -12 - -17. Suppose -b = -o*b. Let p = 18 + -13. Solve -4*s + 4*v + 8 = 0, 2*s + 0*s + p*v + 31 = b for s.
-3
Let o(f) = f**3 + 2*f - 1. Let y be o(1). Let c(b) = -8*b + 9*b - y*b**2 + 4*b**2. Let l be c(-1). Solve -3*r + l = -5*v, 5 + 10 = -3*r - 3*v for r.
-3
Let n = 10 - 5. Solve -i = n*t - 1 + 4, 3*t = -3*i - 9 for t.
0
Let r be 1/((-156)/(-30) + -5). Solve -r*v + 2*t - 17 = 0, 7 + 0 = v - 3*t for v.
-5
Suppose -3*m - 11 = -5*s, 0 = -4*m - 7*s + 2*s + 32. Solve 4*k - a - 1 = 3, -3*k + 3 = -m*a for k.
1
Let b be (2 + -1)*-1 + 1. Let q = 4 - 1. Let m be b/(q/1 + -2). Solve 5*s = -4*o + s, m = -2*s - 2 for o.
1
Let b(h) = h**3 - h**2. Let t be b(2). Let s be 2/(-4)*(-16)/2. Solve 4*f - s*q + 4 = 0, 2*q - 2 = t*f - 4 for f.
2
Let r(d) = 3*d**2 + 1. Suppose 6*b - 5*b - 2 = 0. Let o be r(b). Solve 0 = 3*m, 5*k + 12 = 5*m - o for k.
-5
Let l(q) = -q + 3*q**3 - q**2 + 0*q**2 - 2*q**3 + 1. Let j be l(2). Solve 3*g + 5*p - 4 = 4, 3*g = j*p for g.
1
Suppose 4*r + h - 14 = 3*h, 0 = 3*r + 4*h - 5. Solve 5*j = -m - 0*m - 5, -20 = 4*m - r*j for m.
-5
Suppose -s + 3*s = -2*i + 10, i = s - 9. Suppose 0 = 4*j - 5 - s. Let o = 7 + -1. Solve y - 3*d - 12 = 0, o = -j*y + 4*y - d for y.
3
Let a = 29 + -25. Solve 2*v = -2*l - 2, 2*v + 5 = 5*l - a for v.
-2
Let o be (6 - 5)/((-3)/(-15)). Solve -o*z - 12 = -4*q - 0, 0 = -2*z - 8 for q.
-2
Suppose -3*y = -2*y - 4. Solve -y*m + 18 = 2*w, 0 = -6*m + m + 2*w for m.
2
Let g be (-10)/(-3)*(2 - -1). Let o(k) = 2*k - 15. Let f be o(g). Solve -2*b = r + 4, f*b + 0*r + r + 16 = 0 for b.
-4
Let m be (-10)/(-45) - (-43)/9. Solve y - 4 = 2*h - y, 5*h = -m*y for h.
-1
Let n be (12/8)/3*0. Let w(o) = -o**3 - o**2 - o + 5. Let f be w(n). Solve -f*k - p + 2 - 4 = 0, 3*p - 5 = -4*k for k.
-1
Let a(i) = i**3 + 5*i**2 + 2*i - 4. Let o be a(-3). Let k be (o/(-6))/(8/(-12)). Let f be (8/(-6))/(8/(-12)). Solve -b + d - 6 = 0, 9 = -b + f*b + k*d for b.
-1
Suppose 3*c + 4*y = 0, 0 = -2*c - 3*y + 4*y + 11. Solve 3*h + 5*t + c - 36 = 0, h + 4*t = 20 for h.
4
Suppose 3*n - 65 = -4*h, 3*n - 7 = -2*h + 24. Suppose -4*b - h = -109. Suppose -b - 5 = -3*t - 4*w, w = -5*t + 24. Solve l = 3*l + 3*a + 1, -l + 3*a = -t for l.
1
Let j be (-28)/((-4)/(-2)) - 0. Let z = 18 + j. Solve z*d - 3*s - 1 - 1 = 0, -18 = -4*d - 5*s for d.
2
Let t = 35 + -30. Solve 3*x + t = 2*d - 0, 4*d + x - 17 = 0 for d.
4
Suppose 2*o = 14*o. Solve 5*p + o*i - 3*i = 16, 0 = 4*p - 5*i - 5 for p.
5
Let x = 16 + -24. Let y be -1*x/2 + 0. Solve -4*s + w + 15 = 0, s + y*s = -w + 30 for s.
5
Suppose 27 = -2*m - m. Let p = -6 - m. Solve 4*j + 8 = z + 2*j, p*z + 5*j = 2 for z.
4
Let c(p) = 2*p**2 - p. Let t(f) = f - 1. Let r(g) = c(g) + 2*t(g). Let b be r(2). Solve -j = 3*u - b, 5*j + 6*u - 28 = 3*u for j.
5
Suppose 24*h - 42 = 22*h. Suppose h = 5*o - 14. Solve 2*k - 5*b = -31, -20 = -o*b + 3*b for k.
-3
Let g = 33 - 17. Suppose -k + g + 1 = 0. Suppose 85*o = 87*o - 8. Solve -o*x - k = -5*v - 0*x, -3*x + 21 = 3*v for v.
5
Let n = 1 - -3. Suppose -p - 4*i + 13 = i, -2*p + n*i = 2. Let m(l) = l**2 - 4. Let c be m(p). Solve c*v = g - 18, -v - 2*g = -4 + 1 for v.
-3
Let g = -3 + 7. Suppose -h - 15 = -g*h - 3*u, -u - 10 = -2*h. Solve -p = 5*w - 28, w = h*w + 5*p - 35 for w.
5
Suppose 2*g = g + 2*i - 14, 3*g + 52 = -4*i. Let k be 12/g + 76/16. Suppose 0 = -f + 1 + 5. Solve 4*z + 4*q - f*q = 2, -k*q = -z - 10 for z.
2
Suppose -5*o = 17 - 127. Suppose 2*l = 8, r - 3*l = -8*l + o. Solve -4*t = -c + 5*c + 36, -3*c - 23 = r*t for c.
-5
Let r be ((-16)/6)/((-6)/9). Suppose -b + 20 = -r*f, -4*f - 40 = -b + 5*b. Let i = -4 - f. Solve -n = y - 4*y - 16, n + 9 = -i*y for n.
1
Let u be (3 - (-1 + 3)) + 4. Solve -2*p + n = -0*p + 7, 17 = -3*p - u*n for p.
-4
Let f = -40 - -58. Solve -4*k + u + f = k, -4*k - u = -9 for k.
3
Let x(h) = -h**3 - h**2 + 2*h + 3. Let s be x(-3). Solve 0 = -2*p + 3*j - s, 5*p - 3*j + 9 = -5*j for p.
-3
Let x(q) = -3*q + 6. Let j be x(11). Let c be (-1)/2 + j/(-6). Solve b + 2*m = 0, b + 5*m = -c*b for b.
0
Let s be ((-5)/4)/(1/(-4)). Let a(y) = -4*y - y**3 - s*y + 11 + 5*y**2 + 4*y**2. Let k be a(8). Solve 0 = 5*x + 5*m - 10, -1 = 3*x - 2*m + k for x.
0
Let d = -4 + 14. Let c(f) = -f**2 + 2*f + 20. Let k be c(6). Let q be 0 - -5 - (k - -4). Solve q*j = -2*t + 4*t + d, j - 25 = 5*t for j.
0
Suppose -2*v + 362 = -18. Let h be v/8 - 3/(-12). Suppose 0 = 2*l + 3*k + 5, -2*l + 7 = -0*k - k. Solve 0 = c + l*a + 4, 4*a = 2*c - 0*c - h for c.
4
Let n = 12 - 6. Let h be (-27)/n*8/(-12). Let j be 26 + 2 + -1 - 1. Solve 28 = h*p - l + 10, -2*l = -4*p + j for p.
5
Suppose 98 = 5*y + 4*v, v - 4*v = -6. Solve -5*o - y = -2*o + 3*x, -o + 3*x = -10 for o.
-2
Let l(v) = -v + 5. Let b(f) = -2*f**2 + 2*f - 2. Let m be b(2). Let p be l(m). Let u = -7 + p. Solve 0 = 5*a + 5*d + 15, 3*a + 3 = -u*d - 7 for a.
-2
Suppose -26 = -4*u - p, 4 = p + p. Solve c = 3*y - 3 - u, 12 = -2*c + 3*y for c.
-3
Let p be 2/(-4) - (-4)/8. Solve -2*l + 5*x - 24 = p, -l = 2*l - 4*x + 22 for l.
-2
Let w be (-24)/9*3/(-2). Suppose 3*k = 2*m - k - w, 4 = -5*m - 4*k. Let l = -4 + 7. Solve 0 = -4*y - l*j - 1, 3*j - 1 + 10 = m for y.
2
Suppose -o + 5*o = 64. Suppose -2*s + 4*s + 3*d = o, 4*d = 2*s - 44. Solve -18 = 2*m - 5*h, -2*m + 0*h - s = -3*h for m.
-4
Suppose 4*u + 6 = 22. Suppose 5*x + h - 20 = 0, x + 2*x = -h + 12. Solve -2*z = -u*j - 20, -3*j - x*z = 2*j + 12 for j.
-4
Let h be 2/((-4)/(-8) - 0). Solve -5*x + 3*j = -14, -h*x + j + 24 = 5*j for x.
4
Suppose -2*a - x = 2 - 11, -5*a - 5*x + 20 = 0. Solve -2*d + z + 3*z + 2 = 0, 5 = a*d + z for d.
1
Let q = -41 - -48. Suppose 0 = 4*a - 12, 3*s - 8*s + 1 = -3*a. Let p be s + 0 + (2 - 1). Solve 3*y + 4*r = q, 4*y - p*r + 3 = -21 for y.
-3
Let w = -4 + 2. Let a be 24/10 - w/(-5). Let j be (-11)/(-3) + (-2)/(-6). Solve -a*g = -4*q + 16, 9 = 3*g + j*q + q for g.
-2
Suppose 2*k = -26 - 28. Let l be 28/42*k/(-2). Solve 3*z - 4*o - l = 0, 5*z - o - 4*o = 15 for z.
3
Suppose 6 = -u - 2*f, u - 1 = 4*f + 17. Let j(r) = -r**3 + 5*r**2 - 5*r + 4. Let m be j(4). Suppose m = -t + u*t - 4. Solve -3*i + t = i, -2*v = -i - 9 for v.
5
Suppose 5*t + 58 = h, 3*t - 4*h = -0*h - 28. Let d = 18 + t. Let y be d/(-21) + (-46)/(-14). Solve 0 = 3*s + 9 + 3, v + 17 = -y*s for v.
-5
Let s be -3*(-3 + (-6)/(-9)). Suppose s*x - 29 - 69 = 0. Solve -2*o 