 + 4, -x = n - 3*h for n.
-4
Let v be (3180/35)/12 - (-3)/7. Solve -v*j + 4*j - 3*s - 13 = 0, -4*j = -5*s - 11 for j.
-1
Let j(x) = x**2 - 12*x + 23. Let f be j(10). Suppose -f*u = -6*r + 2*r - 22, 0 = 2*u - 2*r - 12. Solve -19 = 3*m + 2*t, -t - 8 = -u*m + 3*m for m.
-3
Let m be 90/(-12)*(-8)/3. Let o be 30/m + 18/4. Suppose q = -5*j - 2, j - 5*q = -4*j + 10. Solve 5*p + 5*r = 4 + o, -2*p + 3*r + 9 = j for p.
3
Suppose -68 = 6*h + 64. Suppose -72 = -z - 2*z. Let r = z + h. Solve n - 2*u = -2*n - 9, 0 = -r*u - 6 for n.
-5
Suppose y + 264 = 5*y. Let r = 66 - y. Solve r = -s - 3*b - 8, -5*s + 12 = 3*b - b for s.
4
Suppose -6 = -10*d + 34. Solve -2*l = -d*s + 2 + 2, -3*l - 6 = -s for l.
-2
Suppose -23*c + 20*c + 45 = 0. Suppose -c*u = -18*u + 9. Solve u*l = 3*o - o - 1, -2*o - 1 = -5*l for o.
2
Let q be (1/2)/((-2 - 0)/(-24)). Let y(u) = 4*u - 14. Let j be y(q). Solve -2*f + a = 15, -2*a - a = f - j for f.
-5
Suppose 2*u + 3*i = 3*u - 44, -2*u - i + 102 = 0. Suppose 46*a + 8 = u*a. Solve r + 0*r + t = 2, -a*t = 5*r - 10 for r.
2
Suppose -3*z = l - 9, 0*z + l = 2*z - 1. Let n be (-9)/((-324)/153) - (-1)/(-20)*5. Solve -z*w = -v - n, -2*v + 1 - 9 = 2*w for w.
0
Let w = -547 - -551. Solve -b - 12 - 10 = 5*l, -2*l - 16 = w*b for l.
-4
Suppose -x + 4 - 1 = 0. Suppose 2*m - 7 = -4*w + 11, m = -x*w + 14. Solve 0 = 2*t - 3*r, -3*t - 12 = -w*t - 3*r for t.
3
Let n(j) = j**3 - 4*j**2 + 2. Let z be n(4). Suppose -4*m = 3*l - 8, 0 = l + l - z*m - 10. Solve 10 = -2*t + l*h, 4*t + t - 4*h + 19 = 0 for t.
-3
Suppose 0 = a - 2*l + 5 + 9, -l = 5*a + 15. Let m be (-8)/((-12)/6) + a/(-2). Solve y = -f + 6*y - m, -y = -1 for f.
-1
Let t(f) = f**2 - 22*f - 654. Let n be t(39). Solve -w = 4, -w + 2*w = c - n for c.
5
Suppose 0 = 2*y + 2*c - 7*c + 6, -4*c + 6 = -y. Suppose 2*b = 4*b + b. Let v = 23 - 5. Solve -4*o - p + v = 0, y*o + p + 2*p - 14 = b for o.
4
Let s(n) = n - 5. Let l be s(7). Suppose l*a - 4 + 0 = 0. Suppose o = -3*t + 3, -5*o + a*o + 9 = -2*t. Solve 0 = 3*z - o*q - 6, 1 - 15 = -z - 5*q for z.
4
Suppose -54 = 2*j - 4*j. Suppose 4*t - 36 = 5*i, 4*t - 8 = i - 3*i. Let o be t/(-6)*(-45)/10. Solve -g - o*g + 3*c + j = 0, g = c + 8 for g.
3
Let u = -1154 - -1173. Solve 0 = -5*o + 5*b - u + 64, 0 = -3*o + 5*b + 37 for o.
4
Suppose 4*u = -5*u + 18. Let x(j) = j**3 + 5*j**2 - 8*j - 7. Let o be x(-6). Solve -f + o*h - 15 = 1, -4*f + 2 = u*h for f.
-1
Let y be 5 + -3 + ((-6)/(-3) - 2). Suppose -3*k = c + 13, -4*c - y*k - 12 = 2*k. Solve -5*q + f - 19 = -c*f, 2*f + 24 = -4*q for q.
-5
Let t(q) = 6*q**2 - 33*q + 48. Let c be t(2). Solve 2*b - 7 = d - 1, -2*b - 4*d + c = 0 for b.
3
Let v be (-2)/7*63/(-6). Solve -9 = v*q, 2*q = 4*d - 0 - 2 for d.
-1
Let c(g) = g**2 - g - 2. Let y be c(-2). Let o be 1 - (0 + (-2 - -2)). Let x be -1 - o - (2 - 6). Solve 2*a - y*p = -x*p, 0 = a + 3*p + 16 for a.
-4
Suppose 4*a - 13 = z, -2*a + 1 = -7. Suppose z*g = -0*s - 2*s + 28, -g + 56 = 4*s. Solve -i - 4*c = 10, -s = 4*i - i + 4*c for i.
-2
Let t(p) = -p**3 + 11*p**2 - 8*p + 10. Let k be t(10). Suppose -x - k = -4*x. Suppose w = x - 6. Solve 0*d + 10 = -2*z + 2*d, -25 = w*z - 5*d for z.
0
Suppose 0 = -2*p - 6*n + 5*n + 9, -3*p - 2*n + 15 = 0. Solve p*m - 5 = -3*z - 23, 4*z + 2*m = -16 for z.
-2
Let i(t) = -t + 3. Let c be i(0). Let d(j) = -73*j - 363. Let q be d(-5). Solve -x - 5*u + c = -4*u, 0 = -3*x - q*u + 6 for x.
0
Let d(h) = -h**2 + 3. Suppose -3*w + 4*w - 2*a - 8 = 0, 4*a + 16 = 0. Let r be d(w). Solve i - 4*c = 14, r*i = -i + 5*c + 23 for i.
2
Suppose b = -4*f + 8, -218*f + 220*f - 4 = 0. Solve -3*j + 12 - 21 = -5*z, z = b for j.
-3
Let g = -2 - -4. Suppose -111 = -u - g*u. Suppose 269*i - 244*i - 100 = 0. Solve 0 = i*f - 2*o + 6, 3*f + 0*o + u = -5*o for f.
-4
Let m = -42 - -93. Suppose 8*h - 149 - m = 0. Solve h = 4*k - 5*j + 4*j, 2*k - 35 = 5*j for k.
5
Let n(c) = c**3 - 1 - 3*c**2 - 5 + 5*c**2 - 2*c**3 + 6*c. Let i be n(3). Suppose -12 = -5*x + i. Solve 2*l = -j - 2*j + 18, 0 = x*l + 3*j - 21 for l.
3
Let x(o) = o**2 + 5*o - 4. Suppose 16 = 5*y - y. Suppose y*l = 2*l - 12. Let m be x(l). Solve 3*q + 12 = 0, -m*q = t - 7*q - 21 for t.
1
Let a(x) = x**3 - 17*x**2 + 7*x + 4. Let f be a(16). Let n = 145 + f. Solve -4*o - 7 = -2*l - 21, n*l = -5*o + 10 for o.
3
Suppose 6*c - 2 = 4*c. Solve -4*o + m = -c, 5*o + 2*m + 0 = -2 for o.
0
Let n(s) = -12*s + 187. Let l be n(14). Solve -y - 3 = 0, -5*b = -3*b - 3*y - l for b.
5
Suppose 3*z + 2*t + 11 = 3*t, t - 5 = 0. Let r = z + 10. Suppose -5*j + 5 = 5*l, 39*j - 35*j = l + 19. Solve j*s - r = -4*d, 4*d - 5*s = -0*d - 28 for d.
-2
Let h = 6 + -4. Suppose w - 1 = -7. Let k be (-26)/(-4) - w/(-4). Solve 0 = 3*s + u + 3, -2*u - 2 = k*s + h for s.
-2
Let m be (2/6)/((-1)/(-3)) - 2. Let t(f) = 2*f**2 - 5*f - 5. Let g be t(m). Solve 3*o + y + 14 + g = 0, -4*o - 4*y - 32 = 0 for o.
-4
Suppose 23 - 64 = -5*g + 4*k, -3*k = 12. Solve -a = -4*c - 7, g*c + 5 = 3*a - a for a.
-5
Let n = 112 + -109. Solve -6 = 2*p, -2*j + n*p - 2 = p for j.
-4
Let u = 22 + -11. Suppose 27 = u*m - 8*m. Solve -m = -2*i + 5*d + 5, -5*i - 3*d = 27 for i.
-3
Suppose 3*d - 5*h = 4*d - 8, 0 = 5*d + 5*h - 20. Suppose 5*a + 0 = -5. Let w = 0 - a. Solve -d*k + f - 2 = 0, 3*k - 5*f + 3*f = -w for k.
-1
Let r(l) = l**2 - 2*l + 3. Let f be r(2). Let w(q) = -q**2 + 13*q + 20. Let g be 55/4 + 2/24*3. Let y be w(g). Solve f*j = -o - y - 8, 2*j + 16 = -4*o for o.
-2
Let y = -6 - 55. Let u = y - -75. Solve -4*o + 4 = 2*s - u, -5*o + 10 = 0 for s.
5
Suppose -15*w + 37 + 38 = 0. Solve -5*z - 6 = 4*m, -4*z - 4 = w*m - 1 for z.
-2
Let g = 2341 - 2326. Solve -35*h = r - 37*h - 5, g = -r - 3*h for r.
-3
Let i be 30/9 + 3/27*15. Solve 5*h - 2*r + 15 = 2*h, 0 = i*r for h.
-5
Suppose -u + 5 = -2*h, 3*u + 2*u - 25 = 4*h. Let o be 2*((-9)/(-6) - 0). Solve -o*v + q - 4 = 0, -2*v + h*q - 5*q = -3 for v.
-1
Let f be (-2)/6 - (-7)/3. Let s(w) = -1 + w**f - 6*w - 2*w**2 + 2*w. Let a be s(-3). Solve -3*c = 4*d + 16, -a*c = -d - 4*c - 4 for d.
-4
Suppose 5*a - 5 = -3*p, 5*a + 1 - 6 = 0. Suppose p = 5*v - 4*l - 18, 2*l + 10 = 4*v - v. Solve x - 4 = 3*q - 18, -v*q + 7 = -3*x for x.
1
Suppose -4*m = -5*m + 27. Suppose m*l = 24*l. Solve l = -2*z + 2, 4*c - 2*c + 5*z + 1 = 0 for c.
-3
Suppose 0 = 2*l, 4*c + 3 - 11 = 5*l. Solve 4*d - 3*x - 28 = 0, -1 - 7 = c*x for d.
4
Suppose -5*o = -r + 4, 3*o + 0 = -2*r + 8. Solve s + 25 = -4*s - 5*l, -16 = r*l for s.
-1
Suppose -17*k + 179 = 111. Solve -3*h - u = -3, 3 = k*h + 3*u + 4 for h.
2
Let b(y) = -y**2 + 5*y + 23. Let t(n) = n**2 - 4*n - 24. Let q(z) = -4*b(z) - 5*t(z). Let l be q(5). Solve -i = -5*r + 13, 4*r + r = l*i + 19 for i.
-3
Let m(s) = s**3 + 10*s**2 - 23*s + 14. Let n be m(-12). Solve 3*z - 11 = 2*x, n*x + 17 = -x + 5*z for x.
-4
Let l be -4 + (988/169 - 4/(-26)). Solve l*s - h + 6*h = -5, 2*s + 7 = -3*h for s.
-5
Suppose -8 = 3*g + 4*p, -3*p = 3*g - 4*g + 19. Let q be (-2)/(-4) - (-1)/(-2). Suppose q*b = -b. Solve -g*h + 4*y = 8, -h + b*h + 2*y = 0 for h.
-4
Suppose 5*m = -4*d + 26, 2*m - 10 = -14. Solve -4*i = -4*z + d - 1, -i + 5*z - 2 = 0 for i.
-2
Let u(d) = 18*d + 216. Let o be u(-12). Solve o = w - 2*w - 4, 3*h - w - 4 = 0 for h.
0
Suppose -10*r + 4*r = -30. Solve -4*z + 9 = -5*z - 5*k, 2*k = r*z + 18 for z.
-4
Let x = -296 - -298. Solve 12 = 2*d - 2*c, -d = x*c + 4 - 7 for d.
5
Suppose -148 + 227 = x. Let a = 84 - x. Solve 3*w - 3*v + 1 = 19, -a = v for w.
1
Suppose 0 = -3*q - 5*z, q + 10*z = 5*z. Solve u - 6*u + 4*d - 24 = 0, q = 5*u + 2*d + 18 for u.
-4
Let c = -2085 - -2089. Solve z - 2*p + 2 + 10 = 0, 5*p - 4 = -c*z for z.
-4
Suppose 19 = 3*l + 4. Suppose -4*x = -16, 0*x - 3*x + 24 = 4*u. Solve u*k = -d + 4*k, -4*d - l*k = -27 for d.
3
Suppose 5*z = -z - 36. Let j be 30/21 + z/14. Solve -5*f = -4*x + 7, -2*x - 2 = -f - j for x.
-2
Let a(p) = p**3 - 2*p**2 + 2*p - 2. Let s be a(2). Suppose -4*q - q + 45 = 0. Suppose s*y = -y + q. Solve -9 = d - y*m, -d + 0*d = 4*m - 19 for d.
3
Let a = 1471 - 1469. Solve -5*l = 26 - 6, 7 = 3*h + a*l for h.
5
Suppose 1 + 19 = 3*p - q, -2*q + 8 = 0. Suppose 2*i - 2 - p = 0. Suppose i*x - 35 = -10. Solve z = o + 5, 3*o - 7*o - x*z = -7 for o.
-2
Suppose -3*g = -3, 3*g - 2*g - 55 = -3*f. Solve -4*u - 6 + f = 0, 3*w = -u for w.
-1
Let r = 145 - 76. Suppose -4*j + 19 - 51 = 0. Let v be r/21 - j/(-28). Sol