v + r, -6*v + 5*v - 3*i = 10 for v.
2
Suppose -4*h - 3 = o + 3, 5*o - 20 = 5*h. Suppose -o*p = -p - 12. Let g be 4/(-16) - (-123)/p. Solve -4*l + 0*f = -f - g, 4*l - 2*f - 12 = 0 for l.
2
Let q(i) = i**2 - 9*i + 10. Let h be (-4 + 1)/(1 + (-55)/40). Let c be q(h). Solve c*d - 3*n + 4 = 0, -2*d = 2*n - 6*n + 8 for d.
4
Suppose 27*r - 20*r - 42 = 0. Solve -3*y = -3*j + r, 5*j + 3*y - y = 31 for j.
5
Let b(w) = 4*w - 6. Let f be b(5). Let u = -1012 - -1016. Suppose f = 2*o + u. Solve 0*q - 3*g - 11 = -2*q, -o*g = -q + 9 for q.
4
Let j(p) = -p**3 - 4*p**2 - 4*p - 4. Let z be j(-3). Let d be 3/z*(-10)/6. Solve 0 = -d*a - 20, -b + 5*a + 15 = -0*b for b.
-5
Let c(w) = 472*w**3 + 3*w**2 + 4*w + 3. Let a be c(-1). Suppose -3*v = 155 - 5. Let x be a/v + (-4)/10. Solve 2*q - 4*h + x = h, -2*q + 4*h = 6 for q.
3
Suppose -2*d + 7*d - 30 = 0. Suppose -16 = -d*r + 2. Let x(c) = -c. Let b be x(-2). Solve f - j - b*j = 0, r*j = 5*f + 12 for f.
-3
Suppose -401*x + 392*x + 18 = 0. Solve -4*i + 4*n = -x*i + 8, -5*n + 15 = 0 for i.
2
Suppose 3*b + 9 = 0, x + 0*x + 7 = -4*b. Solve -2*h + 10 = 2*s - 5*h, -5*s + 15 = -x*h for s.
-1
Suppose 2*y = -5*t + 77 + 24, t = -3*y + 28. Let o = 41 - t. Let h = o + -6. Solve 4*j + h = 0, 0*n + 5*j = 3*n - 11 for n.
-3
Suppose 11 + 25 = 4*t + 4*n, -2*t - 10 = -5*n. Solve v + v = 3*s - 17, -5 = 5*v + t*s for v.
-4
Suppose 23 + 4 = -l. Let q = l - -30. Solve 5*h - 3*k - 21 + q = 0, 3*k + 9 = 2*h for h.
3
Let y(t) = t**2 - 16*t - 12. Let n be y(17). Suppose 7*d - 4 = n*d. Solve -5*r = 0, -2*r + d = -j - 1 for j.
-3
Let j be 21/14 - (-8)/((-128)/(-24)). Solve 4*h = -j*n + 2 + 6, 3*h + n - 6 = 0 for h.
2
Suppose x - 3*w - 4 = -5, -4*x = 3*w - 26. Let u = x + 9. Solve -h - 2*m = -7, -2*h - 2*h - m = -u for h.
3
Let y = -307 - -311. Solve -2*h - 3*c + 2 + 14 = 0, -y*c + 28 = 4*h for h.
5
Let v be (16/(-20))/(1/(-5)). Let w be 5*1 + -5 + 2. Let m be 5/(10/4) - (0 - 0). Solve 0 = m*q, -w*q + 4*q = -2*h - v for h.
-2
Let f = 918 + -1814. Let c be 4/22 + f/(-154). Solve -5*d + x + 3 = c, 12 = -4*d - 4*x for d.
-1
Let t(a) be the first derivative of -3*a**2/2 + 14*a - 15. Let y be t(4). Solve 5*r - 7 = 2*c - 29, 4*c - y*r = 12 for c.
1
Suppose 4*m - 51*y + 56*y - 31 = 0, 3*m = 2*y + 29. Solve -3*d + l = -8 + 3, 0 = -5*d + l + m for d.
2
Let y be -8*-6*1/(-4). Let v be 4/3*(-18)/y. Suppose -2*h = -h - 3. Solve h*l + 5 = 17, v*w = l for w.
2
Let f be ((-116)/12 + 4)/(1/(-3)). Let q = f - 14. Solve -q*x + 8*x = -2*l - 33, 3*x + 7 = 2*l for l.
-4
Suppose 0 = 399*k - 406*k + 63. Solve 3*p = 2*u + 5, p = -k*u + 8*u + 10 for u.
5
Suppose -5*i = 2*r - 17, r + 11 = 10*i - 6*i. Solve t = 4, 0 = -b - 3*t + r + 8 for b.
-3
Let g(n) = n**2 + 4*n - 2. Suppose 2 = -0*m - 3*m - 2*a, 25 = -5*m + a. Let l be g(m). Let q = 11 - l. Solve -5*u = -0*o + 2*o - q, -5*u - 11 = -4*o for o.
4
Let m be (-1)/(-3) - (-55)/15 - 2. Suppose -q + 0*q + m*r = -11, 2*r - 7 = -5*q. Solve -q*b - 21 = 4*k, 3*b + 3*k + 13 = -5 for b.
-3
Let j = -2107 + 2110. Solve j*l - 10 = x, 15 + 3 = 3*x + 3*l for x.
2
Let k be 4/21*3*(-14)/(-4). Solve -p + 2 = w, 4*w - k*p = -p + 18 for w.
4
Suppose 4 = 2*z - 4. Let c(d) = -d**2 + 11*d + 21. Let x be c(17). Let m = -75 - x. Solve 7*b - 3*a - m = z*b, 0 = 2*b + 5*a - 25 for b.
5
Suppose w - 54 = -3*w + 2*s, -5*s = -5*w + 75. Solve r + 12 = 3*c, -3*c = -w - 0 for r.
0
Suppose 0 = 63*x + 3*x - 132. Solve -6*y = -x*y + 2*d - 18, 1 = d for y.
4
Let k = 1703 + -1688. Solve -4*q + m = -k, -4*q = -2*q - 4*m - 4 for q.
4
Suppose -642*u + 27 = -633*u. Solve w + 2*z + u*z = -4, 0 = -4*w + z + 5 for w.
1
Let w be 2/(-1)*(5 - 1/(-2)). Let g = w + 21. Solve 5*j - g = -3*i, 4*j + 0*i - 35 = 3*i for j.
5
Let z = 0 - -10. Solve 5*b + 4*c = z, 5*b + 8*c = 3*c + 10 for b.
2
Let a be (1 - 1)/(1 - -1). Suppose 33*f = 45 + 54. Solve a = -3*o + f*b - 0*b, 2*o + 4 = 4*b for o.
2
Suppose -4*t = -3*u - 18, 4*t - 2*u + 2 = 6*t. Solve -20 = -7*w + t*w - 3*f, -2*w = -4*f + 12 for w.
2
Let j = -83 - -92. Let t(d) = -d + 22. Let u be t(j). Solve 4*f + 4*a - u + 5 = 0, -a = -4 for f.
-2
Suppose -595 + 597 = p. Solve v + 0*a = -a - 8, -p*v = 3*a + 20 for v.
-4
Let x(w) = -w**3 + 31*w**2 + 36*w - 126. Let f be x(32). Solve f*z - 4*u = -8, 2*z - 4*u + 9 = u for z.
-2
Suppose 0 = -21*f + 541 - 121. Solve -5*b = -d - f, -3*b = -4 - 11 for d.
5
Let p = 356 + -354. Solve -4*s + 0*s - 4*j = -12, -3*j = -p*s - 4 for s.
1
Let z(v) = 2*v - 22. Let u be z(22). Suppose -u = -8*i + 10. Solve i*j = j + d + 5, d - 2 = -4*j for j.
1
Let c(v) = -v**2 - 6*v - 7. Let s be c(-5). Let z = 2 - s. Suppose -12 = z*l - 8*l. Solve -2*y - 25 = 3*r, 5*r - 4*r + 20 = -l*y for y.
-5
Let i be ((-14)/(-5) + 0)/(12/(-60)). Let v(y) = -2*y - 28. Let k be v(i). Solve k = 3*n - 0*x - 2*x + 8, 4*x = 4*n + 8 for n.
-4
Let f be (((-396)/16)/(-3))/((-12)/(-48)). Solve 2*t + 5*h = f, 8*t - 2*h = 5*t + 2 for t.
4
Let o = 346 + -343. Solve -3*c = k - 4*c - o, -4*k = 3*c + 16 for k.
-1
Suppose 6*w - 5*q = 2*w, 20 = -5*q. Let b be 2/(-3 - w)*1. Suppose 2*g + b = 2*j - 35, 63 = 4*j + 5*g. Solve 5*h + 2*k - j = -k, 2*h + 3*k - 5 = 0 for h.
4
Suppose -3*n + 6*u + 3 = 5*u, -2*n - 2*u = 6. Solve o + 4*x = 5*x - 6, n = 2*o + 4*x for o.
-4
Let j = 8 - 5. Let q = 3 - 0. Suppose -4*b = -q*m - 36, -4*m - 22 = -3*b - 3*m. Solve 4*f = g + 3*g - 4, b = -j*g for f.
-3
Suppose -2*g + 8 = 4. Let q be -1*5*g/(-5). Suppose 3*c = -q*c + 10. Solve 3*m + 8 = 23, 3*i - 2 = c*m for i.
4
Let c(m) = 7*m**2 - 1. Let v be c(1). Suppose 2*b + 38 = -4*i, 2*b - 4*b = -5*i - 7. Let z be 2/3 + v/b. Solve -r - 5*x + 0*x = -1, -5*r + 2*x + 5 = z for r.
1
Suppose 0 = -5*q + q - 12. Let w be q/(-4) + (-21)/(-4) + -4. Let d = 1 - 0. Solve -3*p + 9*u - 5*u + d = 0, 3*u = w*p for p.
3
Let v = 0 + 2. Let k be (-7)/(-14)*(0 - -12). Suppose 0 = -3*w + k, 0 = v*m + 2*m - 4*w - 12. Solve 1 = 4*z + c - 0, m*z - 4*c = -4 for z.
0
Let q be (-6 + 55)/7 + -6. Solve -c + 3*c - 2*i + 18 = 0, c + q = -i for c.
-5
Let s be (-14)/77 - 40/22. Let c be s/(2 + (-16)/7). Solve 5*x - 4*j = 31, -2*j + 26 = 2*x - c*j for x.
3
Let m be (21/(-6) - -2)*-2. Let q be 819/15 + (-6)/(-15). Suppose -3*b = -r + 45, -4*r + b = -q - 92. Solve -3*v + 7*v - r = 5*f, -m*f - 16 = -v for f.
-4
Let l = -10038 - -10059. Let b be 2/(-5) + 27/5. Solve 5*j + i = -l, -b*j + 2*j - 4*i = -1 for j.
-5
Let t = 53 - 50. Solve d + 2*q - 17 = 5*q, -t*d + 3 = 3*q for d.
5
Suppose -2 - 5 = -t. Suppose -j + t = 3. Let u(y) = -y**2 + 4*y. Let z be u(j). Solve 4*g + 2*o - 2 = z, -3*o + 22 = -4*g - 1 for g.
-2
Let u = 986 - 983. Solve -3*m - 5 - 4 = -4*j, 0 = -u*m + j for m.
1
Let m(c) = -c**2 - 4*c + 3. Let t be m(-6). Let l = t + 11. Suppose -l*a - a = -g - 7, 4*g = -2*a + 42. Solve -3*k + 0*x - 9 = -2*x, 3*x = -k + g for k.
-1
Let b(f) = -f**2 - 4*f + 1. Let k be (-3 - (2 + -4))/((-3)/(-9)). Let a be b(k). Suppose 2*s = s. Solve -3 = -3*h, s = -4*l + 2*h - a*h + 6 for l.
1
Let a = 11 - -5. Let m(p) = p**3 - 17*p**2 + 17*p - 11. Let w be m(a). Solve -6 = 2*v + 5*n, -5*v = 2*n - w - 1 for v.
2
Let v = -18 - -28. Let q = -2 + v. Let b be (7 - q)*-3*1. Solve -s = m - 3*s + 6, b*m - s - 7 = 0 for m.
4
Suppose -d = 4*z - 24, 5*d - 33 = -5*z + 3*d. Solve -4*h + 11 = 3*c, -z*c - 2*h = -3*c - 6 for c.
1
Suppose 2*x + 0*x = 8. Let a(n) = -n**2 - 20*n - 96. Let l be a(-8). Solve 5*v = -x*f + 11, l*v + 3*v + f = 8 for v.
3
Suppose -2*o + 12 + 128 = 0. Let c be (-3)/9 - o/(-3). Solve -k = -4*d + c, -4*d + 0*d + 35 = -5*k for k.
-3
Suppose 5*l + 10 = 3*z + 26, 0 = -3*l - z + 4. Let r be 267/9 + l/6. Suppose -r = -2*g - g. Solve i = -2*n - 7, 2*i = -5*n + g - 25 for i.
-5
Let y(v) = -19*v + 8. Let o be y(-5). Let f = o - 99. Solve m = 2*m - f, 2*h - 22 = -4*m for h.
3
Let w = -149 + 151. Suppose -3*n = 5 - 2. Let c = 5 + n. Solve j = -v - c, -j - w*v = -4*j - 12 for j.
-4
Let a be (3 - 87)*3/(-9). Let o = -26 + a. Solve -4*i - 37 = 5*g - 0*g, 6 = -o*i for g.
-5
Let d(m) = 5*m**2 - 28*m + 12. Let g be d(6). Solve 3*h + 2*h + o = -21, 4*o = -5*h - g for h.
-4
Let y be (16/6)/(6/9). Let t(r) = -3*r**2 - 3*r - 4. Let h be t(-4). Let j be h/(-12)*(-9)/(-6). Solve 4*u = j*m - 8, u - 2*m = -u - y for u.
-2
Suppose 45*u - 118 = -5*w + 48*u, -4*u = 5*w - 146. Solve 3*l + 5 = -4*p, -5*p - 6 = -5*l - w for p.
1
Suppose 5*h = 6 + 9.