- 5*o for c.
2
Let w be 50/5 - (-56)/(-7). Solve -m - 4*m = -w*j + 5, 4 = -3*j - 4*m for j.
0
Suppose -5*d = -5*k + 2*k - 25, -4*d - k = -3. Solve -4*y - 26 = -d*f, f - 5*f + 27 = -3*y for f.
3
Let h be (8/(-6))/((-6)/36). Suppose 10 + h = f. Let q = -15 + f. Solve 0 = -5*n + 5*d + 15, 12 = -q*n + 5*d + 29 for n.
-1
Let n = -47 - -22. Let q be (20/n)/(2/(-5)). Solve -4*i + 4*b - 24 = 0, -7 = 3*i - 2*i - q*b for i.
-5
Let u = -92 - -95. Solve -z + 0 = -h - 3, 4*z = -u*h - 23 for h.
-5
Suppose 4*b = -9*b + 195. Solve z - 3 = v, 0 = -3*z - v - 2*v + b for z.
4
Let r = 74 - 91. Let f = r + 18. Solve -5*o = -5*g, -f + 0 = o for g.
-1
Let b be (208/130)/((-4)/(-10)). Suppose -27 - 3 = -5*g - b*h, -g - h = -7. Solve -2*f + 0 = 10, 5*f = g*m - 31 for m.
3
Let u = -84 - -60. Let f be u/(-3*(-4)/(-8)). Suppose -5*i + f = -3*m, 0*m + m + 2*i = 13. Solve 3*t - 6 = 0, 0*t - 4*t + m = l for l.
-5
Let u = 1 + 2. Suppose -2 - 7 = c + u*w, 20 = -5*w. Let k = 8 - 6. Solve -6 = -k*y - 4*b, 0 = 4*y - 0*b - c*b + 21 for y.
-3
Suppose -5*j - 201 = -211. Solve 4*x + 6 = 3*b, j*b + 13 = -8*x + 5*x for b.
-2
Let y be (-106)/318 - 16/(-3). Solve -i = y*k - 7, 0*k + 4*k + 7 = -5*i for k.
2
Let v(p) = p**3 + 3*p - 2. Let f be v(0). Let o be f/(((-1)/2)/((-2)/(-2))). Solve 0 = -0*r - r + o*q + 15, -5*q = -3*r + 24 for r.
3
Let q = -670 - -674. Solve 29 = q*d - d - 4*g, -4*d + g = -17 for d.
3
Let w(q) = q + 2. Let n be w(-1). Suppose 0 = 2*o - n + 3. Let b be (o - (-10)/6)*6. Solve -3*h + 5*m + 18 = 0, b*m + 11 = -4*h - m for h.
1
Let g be (-188)/(-36) - ((-190)/(-45) - 4). Solve -2*f = 4*x - 6 - 10, 3*f + g*x = 20 for f.
0
Suppose -3*g - p = -12 - 8, -2*p + 10 = 0. Solve g*v + 4*s = 3*v + 14, -4*s + 11 = 3*v for v.
-3
Let q = 32 - 6. Let k = 64 - 46. Let b = -13 + k. Solve 0 = b*x + 2*y + 33, -2*x + 4*x + 4*y = -q for x.
-5
Let p = 14 + -18. Let o(a) = a + 1. Let y be o(p). Let s(n) = n**3 + n**2 - 9*n - 6. Let u be s(y). Solve x + 3*x - 4 = 4*r, -r = u for x.
-2
Let m be (-10)/(-6)*(0/(-7) + 3). Solve 8 = u + n + 1, -33 = -4*u - m*n for u.
2
Let j(g) = g**3 - 11*g**2 - g + 16. Let f be j(11). Suppose 33 = f*t - 27. Let c be ((-2)/5)/(1/(-5)). Solve 3*w - t = -c*z, -2*z - 4*w + 9 + 5 = 0 for z.
3
Suppose 4*v = 7*v + 3*w - 6, 0 = 2*v - 3*w - 9. Suppose -2*y - 54 = -5*y + 5*z, v*y - 72 = -z. Let g = y + -14. Solve 3*x = 5*c + g, 2*c - 6*c + 9 = 3*x for x.
3
Let s be 8 + -1 - 10 - -3. Solve 5*h = -4*g - 4 + 37, s = -g - h + 7 for g.
2
Let x(s) = s + 18. Let m be x(-8). Let k = m - 5. Let n = -8 - -11. Solve 0 = d - 5*d - k*l + 22, -n*d + 1 = -4*l for d.
3
Let f = 23 + -18. Let x be -5 + ((-2)/(-2) - -10). Solve 8 = 4*z + f*o, z - x = -2*z - o for z.
2
Let i be 3*(-4)/12*(1 + -39). Let z = i + -34. Solve 20 = -4*c + 4*l, z*c - 18 = -4*l + 2 for c.
0
Let p = -77 - -80. Solve -16 = -p*l - 2*i, 0 + 4 = -l + 4*i for l.
4
Let u be 0/(-1*2) + 6. Let d = -351 + -9. Let m be d/(-25) + 3/5. Solve 3*k + p = u*k, -m = -3*k - 4*p for k.
1
Suppose 0 = -3*h - 826 - 404. Let x be (-2 - h/25) + (-2)/5. Solve -4*q + 22 = j, -q = -2*j - 3*q + x for j.
2
Let s(l) = 6*l - 2. Let d be (0 - (-4)/(-6))*-3. Let n be s(d). Suppose -5*a = -2*q + 16 - 6, 5*a = -5*q - n. Solve q*y - 4 = -3*j + y, 3*y = -2*j + 10 for j.
2
Let u be ((-9)/18)/((-1)/24). Let l be 2/u - (-99)/54. Suppose -4*o + 10 + 8 = 5*n, 0 = 3*o + 9. Solve -3*k + 3*y = -12, n*k - l*k - 2*y = 16 for k.
4
Suppose 0 = -3*k - k + 16, 5*g + k - 84 = 0. Suppose t - s + 5*s = -8, 2*s = -3*t + g. Solve -h = -y - 4, y + h + t = 6*h for y.
-3
Suppose 3*o + 2 = 4*a + 354, -1 = a. Suppose -x = -5*x + o. Solve 4*q + 4*g - 7 - 1 = 0, 3*q - 4*g + x = 0 for q.
-3
Let a = 1864 - 1859. Solve 2*r = -0*r + a*j - 19, 3*r = -j + 14 for r.
3
Suppose 56*d - 27 = 53*d. Solve d = -h - 4*u, 0 = -h - 3*h + u + 15 for h.
3
Suppose -4*s + f = s - 646, 0 = s - 4*f - 114. Suppose -c + 6*c = -s. Let x = 54 + c. Solve 0*g + 3*g = 4*n - x, -3*g + 8 = 5*n for g.
-4
Let p = 367 - 364. Solve 6*j - j = -p*g - 20, 5*g = 3*j + 12 for g.
0
Let z = 641 - 633. Solve 0 = -5*j - 6*h + 10*h - z, -2*h = -4*j - 4 for j.
0
Let t = 20 + -2. Let y = t + -10. Suppose -5 = -y*q + 3*q. Solve 3*m + 4 = 4*x + q, 4*x = 2*m + 6 for x.
3
Suppose 2*n + 2*a + 10 = -46, -2*a = -5*n - 112. Let u be (n/56)/(2/(-14)). Solve -20 = c + 5*f, -3*c + 25 = u*f - 5*f for c.
5
Suppose -342*d + 16 = -338*d. Solve d*o + 5 = -2*w - 7, -2*w = -2*o - 12 for w.
2
Let u be 35 - (5 + 0 - 2). Suppose 0*h = 4*h - u. Let n be (12/(-8))/((-6)/h). Solve 2*r = b + n, -2*b + 14 = 2*r - 6*b for r.
-1
Let k be 132/8*(-2)/(-3). Let t = k + -10. Suppose t - 5 = -q. Solve a + 11 = q*m - 2, -4*m = -12 for a.
-1
Let d(a) = a**2 + 20*a - 49. Let r be d(-22). Let v = r + 8. Solve 4*n + v*y + 10 = 0, -y + 22 = -5*n - 0*n for n.
-4
Let l be 4*((2 - 3) + 0). Let x be 6/(1 + l)*-18. Suppose -3*u = -x - 3. Solve 2*a = 2*p + 3 - u, -4*p + 18 = -3*a for a.
-2
Let f be (-11 + 9)/(6/(-15)). Solve -4*n + 3 = f*q, -3*n + 11 = -5*q - 0*n for q.
-1
Let g(x) = -x**3 + 9*x**2 + 12*x - 17. Let m be g(10). Let o be 12/9*m/1. Solve -t + 6 = -4*u - 2*t, o*u - 4*t - 4 = 0 for u.
-1
Suppose -135 = i + 2*i. Let m = -43 - i. Solve 0 = 2*s + m*r, -4*s = -s + r - 6 for s.
3
Suppose -22 = -4*w + 46. Suppose -l = 7 + w. Let z = l + 37. Solve 2*i + 1 = 5*c + 21, -4*c + i - z = 0 for c.
-2
Suppose -z = -4*c + 17, 0 - 2 = -4*c - 2*z. Solve -k - c*n - 1 = -0, -k - 2*n = 1 for k.
-1
Let c(i) = -21*i**2 - 1. Let u be c(1). Let y = -9 - u. Suppose 0 = -4*a - 2*a + 18*a. Solve -5*r - 2*k - 35 = a, 4*r + 2*k = -43 + y for r.
-5
Let y be (28/(-8) - -2)*4/2. Let b = 1 - y. Solve -q = -4*l - 7, b*l - 2 = -3*q + q for l.
-1
Let f(z) = -3*z - 28. Let g be f(-12). Let m = -5 + g. Let j = 10 + -3. Solve 5*k + 5*s - 23 = 3*k, -m*k - 2*s = -j for k.
-1
Suppose -5*b = -9*b + 8. Suppose 3*h + b*h + 2*l - 61 = 0, 7 = 2*h - 5*l. Solve h = -5*g - 4, -5*d - 5*g - 40 = 0 for d.
-5
Let o(a) = -21*a + 11. Let d(b) = -11*b + 6. Let g(s) = -5*d(s) + 3*o(s). Let x be g(-4). Solve -3*r + j = -11, -r + 5*j + x = 4*r for r.
2
Let a be -2 - (-14)/6 - 820/(-6). Let x = a - 132. Suppose -2*c = 2*c - 8. Solve -5*s + q = c*q - 15, x*q - 15 = -5*s for s.
3
Let y(i) = 8*i**2 - 50*i - 42. Let m be y(7). Solve -3*n + j + 18 = m, -2*n - 2*j = -0*j - 4 for n.
5
Let u(o) = -3*o - 4. Let y be -3 - (-2 - (4 + -6)). Let x be u(y). Solve -2*b - v + 11 = -0*v, -3*v = x*b - 30 for b.
3
Suppose 3*w + x - 6 = 4*x, 14 = 3*w + x. Suppose -w*l + 5*d = 20, l - 1 - 7 = -2*d. Solve 3*p - y - 12 = l, -p + 13 = 4*p - 4*y for p.
5
Suppose -5*i - 27 = -3*d, 3*i = -2*d + 8 - 9. Solve d*z = -p - 2*p - 9, 0 = 5*p + 15 for z.
0
Suppose -3*d + 9 = -0. Solve 0*w - 36 = -4*b + 5*w, d*w - 4 = -4*b for b.
4
Suppose 2*u = 0, 4*f + 5*u - 4 = u. Suppose -q + 12 = f. Suppose z = 3*z - 3*s - 67, 5*z + 4*s = 179. Solve -5*i + z = 5*d, -d = 2*i + i - q for d.
5
Let s be (0 - -5 - 3)/((-2)/(-16)). Solve -3*b - 1 = p, 4*p - s = 4 for b.
-2
Let z(d) = -27*d + 251. Let c be z(9). Solve 2*y + c = -2*w, 3*w - 14 = -w + 2*y for w.
1
Let z(i) = 8*i + 36. Let a be z(-4). Solve 3*k = 2*x, -a*k - 2 = k - 4*x for k.
2
Suppose -2*i + 5*h = -31, -4*i - 4*h = -2*i + 14. Suppose 5 = -5*m - 5*r + 25, -m - i*r = -8. Solve 0*c = 3*f - c + 11, -2*c + 10 = -m*f for f.
-3
Suppose -3*z + 6*z - n = 8, 0 = -5*z - 3*n + 4. Solve 5*x - 7 - 11 = 3*j, z*j + 2 = 0 for x.
3
Let f(k) = -k**2 - 6*k + 6. Let l be f(-6). Suppose -3*o = -2*r, 3*r = 3*o - 1 + 7. Let z = 11 - r. Solve -2*a = 2*c + l - 2, -24 = -2*a + z*c for a.
2
Suppose -3*d = -a + 9 + 1, 4*a = -4*d + 8. Let g be a/(-2)*35/(-10). Suppose 9 = 10*y - g*y. Solve r + y = 3*o + 4, 2*o = 0 for r.
1
Let w(u) = u**3 - u**2. Let s(t) = 5*t**3 - 6*t**2 + t + 2. Let b(j) = s(j) - 6*w(j). Let v be b(-1). Solve v = -4*q + 2*l + 6, 4*q + 2*l = 20 for q.
3
Suppose -59*n + 104 = -32 + 18. Let f be -1*(2*-1 + 2). Solve -n*r = y - 4 - 0, 3*y - 2*r + 4 = f for y.
0
Let a be -2 - -3 - (0 + 0). Suppose 9 = 3*j - 2*j + h, j - h = a. Let z = 39763 + -39761. Solve b - 3 = j*p, -z*p = -3*b - 5 + 14 for b.
3
Suppose -4*w = w - 15. Suppose 7*s = w*s + 20. Suppose 91*i + 27 = 192*i - 92*i. Solve -i*c - s*d + 19 = 0, d - 4 = -d for c.
3
Suppose -u - 17 = 3*b, -3*b - 2 = -5*u + 3*u. Let g(a) = -a. Let l be g(b). Solve -l*j = 3*c +