- p*b, 9 = -3*b for x.
2
Let s(i) = 7*i. Let y(d) = -6*d - 1. Let h(m) = 4*s(m) + 3*y(m). Let b be h(4). Let v = 48 - b. Solve 4*a + 5*f + 1 = 0, 3*a - v = 5*a - f for a.
-4
Let n be -8 + (-12 - 75/(-6))/((-2)/(-48)). Solve 4*p + 115 = 2*s + 125, 7 = -5*s + n*p for s.
1
Let h(k) = 2*k - 11. Let s be h(14). Let f be 13 - s - 10/(-1). Solve 4*i = -2*z - 3 - 25, f = -4*z + 2*i for z.
-4
Let g(k) = -k**2 - 3*k + 2. Let l be g(-3). Suppose -3*s - 6*x = -60, x = 43*s - 48*s + 46. Solve l*c = 2*v + c + s, 5*v + 21 = 3*c for v.
-3
Suppose 53*d - 54 = 4*d + 44. Solve z = -d*i - 15, -3*z + 4*i + 2 = -3 for z.
-5
Let n = -8653 + 8657. Solve 10 = n*t + 2*q, 5*t - 3*q + 3 = 21 for t.
3
Let t = -14142 + 14145. Solve -4*b + 6*w = t*w + 8, 5*w = 3*b - 5 for b.
-5
Let a = -864 + 863. Let x be (6/(-12))/(a - (-45)/50). Solve -s - 25 = x*b, 3*s + 0*s + 5*b = -35 for s.
-5
Suppose -45*a = 5*a - 107 + 7. Solve -9 = 5*d - a*y, 4*d - 2*d + 4*y = 6 for d.
-1
Suppose 0 = -221*x + 40*x + 905. Solve 0 = -c - 24 + 26, -2*f - 4 = -x*c for f.
3
Suppose -5*i = 57*k - 58*k - 23, 9*k + 31 = i. Solve -x + i = 3*n, -3*n = x + 2*x for n.
2
Suppose 0*y = 5*y + 1135. Let h = y + 231. Solve -h*u + 4 - 1 = -3*d, 4*d = 4*u for d.
3
Let z(h) = -h**3 - 6*h**2 - 4*h - 5. Let d be z(-3). Let r be ((-8)/5)/(1/d*4). Suppose 5 + 91 = r*t. Solve -5*c = u - 15, 0*c + 4*u - t = -4*c for c.
3
Let i = -70 + 72. Suppose -t - 22 = -5*z, 0*z + 16 = i*z + 2*t. Solve -2*s - 3 = 3*j, 4*j + j - 20 = z*s for j.
1
Suppose f - 20 = -3*q, 0*f + 2*q + 5 = 3*f. Suppose -f*o + 17 = -3*v, 2*o + 7 - 17 = -2*v. Solve 0 = 3*m - 5*p + v, -3*m + 17 = 4*p - 0*p for m.
3
Let k be (-20)/5*(-11)/2. Suppose k - 19 = v. Solve 4*u + 2*p - 9 = 7*p, 0 = v*u - p + 7 for u.
-4
Suppose 270 = -284*z + 311*z. Solve 0 = 5*m + 13*x - 12*x - z, x = -3*m + 4 for m.
3
Let o be (876/60 - 15)*-5. Solve o*g - 14 = -4*f + 2*f, 2*g = 3*f - 6 for f.
4
Suppose 16 = 2*s + 5*v, -10*s = -9*s - 4*v + 5. Suppose 5*u + a - s*a - 16 = 0, 18 = 5*u - a. Solve b = z + u, -2 = -z - 4*b + 9 for z.
-1
Suppose 2*x + w = -1, 22*w - 8 = -5*x + 21*w. Solve -x*d = -3*s - 18, -4*s - 24 = -32*d + 33*d for s.
-6
Let c(z) = 8*z - 5. Let w be c(15). Let y = w + -109. Solve -2*j + 4*j - b = y, 0 = -2*j + 5*b - 10 for j.
5
Let s(g) = 8*g**2 - 7*g - 23. Let u(f) = 5*f**2 - 3*f - 12. Let n(c) = -3*s(c) + 5*u(c). Let z be n(-5). Solve -2*t = -2, 5*l - 3*t + 19 = -z*t for l.
-4
Let g(w) = -w**3 - 5*w**2 + 40*w + 200. Let y be g(-5). Solve y = -3*x + 12, 27 = 13*r - 8*r + 3*x for r.
3
Let w be (-200)/(-52) - 6/(-39). Suppose 7 = h + 4*i - 18, -3*h + 43 = -w*i. Solve 0 = 5*n - 3*z + h, 2*z = -z + 12 for n.
-1
Let o(r) = -15*r**2 + 177*r + 39. Let y be o(12). Solve -9*s - 4*t + 14 = -4*s, -5*s + y*t = -7 for s.
2
Let b be 19*2/4*40/10. Let h be (-3)/(7 - b/5). Solve -5*m = -h*j, 3*m - 6 = -m + j for m.
2
Let f(u) = -u**3 + 10*u**2 + 27*u - 21. Let g be f(12). Let m be (-7 + 6)/((-1)/8). Let q = m + -5. Solve -3*w = -2*s + 13, -5*s + g = -q*w - 2*s for w.
-3
Suppose 3*h - 56 = 1. Let f(n) = -h*n**2 + 3*n + 20*n**2 + 0*n - 6. Let a be f(-5). Solve 4*r + s = 9, -a*r + 3*s + s = -4 for r.
2
Suppose w + 2 = 7. Suppose 184*d + 0 = 187*d - 0. Solve w*z - u + 29 = d, -z - 3 = -u + 6 for z.
-5
Let z(t) = 5*t - 2. Let x be z(3). Let g = x - 8. Suppose s + 0*h = 4*h + 10, 0 = -g*s - h + 8. Solve s*b = 5*p - 16, p + 2*b = -b + 10 for p.
4
Let r be 5/34*-62 + 388/3298. Suppose c - s = -1, -c - 2 = -2*s + 2. Let q be c/6*r/(-1). Solve -2*a + z + 1 - 3 = 0, q*a + 3*z - 6 = 0 for a.
0
Let a(c) = -2*c**2 + 12*c + 19. Let l be a(6). Suppose 0 = -13*o + l*o - 12. Suppose 0*b + 8 = b. Solve o*y = t + 6, y - 2*t - b = -2 for y.
2
Let f = 16361 + -16356. Solve -21*m + 3*r + 12 = -17*m, -4*m - f*r + 12 = 0 for m.
3
Let d = 14762 + -14760. Solve 4*v + d*l - 9 + 13 = 0, 20 = 5*l for v.
-3
Let s be (12 - 11) + -30*75/6. Let u = s - -378. Solve 0 = -3*y - l + 22 - 8, 4 = -u*l for y.
5
Let t be (-71 - -75)/(-2 - -1). Let r(u) = u**3 + 3*u**2 + 2*u + 26. Let i be r(t). Solve -2*n = 4*s, s = 4*s + n + i for s.
-2
Let w = 99 - 84. Suppose 0 = 13*m - w*m + 20. Solve 3*i - m = q, -4*i + 30 = 2*q - 0*q for q.
5
Suppose 0*d - 2*d = 0. Suppose 236 - 281 = 5*t, -5*b - t + 41 = 0. Solve -4 - 14 = i + 3*z, d = -5*i + 5*z + b for i.
-3
Suppose v + 4*r = 3*v - 8, -3*r + 5 = 4*v. Let w = 13 + v. Solve -w = 2*c + 3*h, -c - 3*h + 1 = 13 for c.
-3
Let h be (-6)/(-9)*(14 - 5). Suppose 20*k - h = 16*k + 3*n, -2*n = 2*k - 10. Solve 0 = 3*o - j + 11, 4*o - 5*j - k = -14 for o.
-4
Let c be (2 + (-70)/25)/((-1)/110). Let y = 93 - c. Suppose -y*q + 9*k - 8*k = -25, 2*q - 5*k + 13 = 0. Solve -2*m = g + 2*m + q, -2*g + m = -6 for g.
2
Suppose -9*i - 288 = -27*i. Suppose -4*c + 52 = -i. Suppose -8*z + 7 = -c. Solve s + 3*s = z*b + 2, 5*b = -2*s - 12 for s.
-1
Let y = 43 - 37. Let l be (15 - 3)/y + 1. Suppose 3*g + 7 = 5*g + 3*j, -6 = -4*g + 2*j. Solve -g*c + c - 15 = 3*n, 5*n + 11 = l*c for c.
-3
Let i = -29259 + 29299. Solve -39*z = -3*v - i*z + 3, -2*z = v - 1 for v.
1
Let u be (60/(-75))/(2/(-5)). Solve -c - 3*p = 20, 2*c - 20 = 4*c + u*p for c.
-5
Suppose -2*p - p = -9. Suppose -3*m = -p*q - 9 - 66, -2*q + 8 = 0. Let k = -192521 + 192539. Solve k = 3*j - 3*i, 0*j + 5*i = 4*j - m for j.
1
Let v(a) = -4*a + 56. Let c be v(13). Suppose u + u - c*y - 20 = 0, -2*u - 5*y = 16. Solve u*f = 3*f - 2*o + 5, -5*f - o = 25 for f.
-5
Suppose 4*r + 5*t - 15 = -28, 0 = 10*r - 3*t - 45. Solve -4*q + 4*v + r - 11 = 0, -4*q - v - 8 = 0 for q.
-2
Let t(j) = j**3 - 4*j**2 + 2*j + 4. Let g be t(5). Let n = g - 34. Suppose -32 = -3*v + 5*p, -5*p - 7 - 33 = -n*v. Solve -2*x = -0*x + v, 3*x = 3*r - 6 for r.
0
Let k be (-29)/1*11/(-11). Suppose -4*c + 6 + 6 = 0. Suppose 0 = 4*r + 2*o - 5*o - 48, 4*r + c*o = 72. Solve 0*z = -s + 5*z + k, 0 = 5*s + z - r for s.
4
Suppose 8*x - 20*x + 156 = 0. Suppose 3*f + 4*l - 8*l = x, -5*f = -4*l - 27. Solve -2*u + o - f = 0, u + 13 = -5*o - 7 for u.
-5
Let t = 717 + -711. Suppose 0 = -5*w - 5*u + t*u + 91, 5*w + 2*u = 103. Solve 5*h - w = -s, 0 = -2*h - 0*s + s + 9 for h.
4
Let d(s) = -s**3 - 3*s**2 - 6*s - 4. Let x be d(-2). Solve 4*z - 10 = 5*t, 0 = 4*z - 5*z + 2*t + x for z.
0
Let l be (-5)/15 + 134/18*3. Suppose 4*m + 6 = 4*a + l, 2*a - 3*m = -12. Solve -2*u - 3*k = -11 - 12, 3*k - 15 = a for u.
4
Suppose 4*g = -16, 3*y - 7*y + 3*g - 200 = 0. Let x be -54 - (3 + -3 - -2). Let p = y - x. Solve 2*q - 3*j + 2*j - 1 = 0, 0 = -2*q + p*j + 3 for q.
0
Suppose 539 = -188*y + 2231. Solve 5*i + 2*g - 9 = 0, -i = -3*g + 7*g + y for i.
3
Suppose t - m = 10 + 28, 0 = -4*t + m + 164. Let r = t + -33. Let h be -30*((-48)/r + 5). Solve h*v - 15 = 5*s + 5*v, -4*s = -3*v + 7 for s.
2
Suppose -4*j + 7*j + 6 = 3*f, 4 = f - 2*j. Let g(r) = r**2 + 2. Let h be g(f). Solve -2*i - 7 = -5*o + 8, -h*i - 3 = -o for o.
3
Let c = -2677 + 2682. Let x(j) = -j + 2. Let i be x(2). Solve -2*s = -2*h + 6, i = -3*s + c*s + 5*h - 8 for s.
-1
Let v = -12243 - -12247. Solve -i = v*z - 24, -2*i + 27 - 9 = 2*z for z.
5
Let c = -1341 - -1343. Suppose -14 = 2*k - 0*u + 5*u, -2*u - 11 = -k. Solve -l = -3*l - c*n, 0 = k*n for l.
0
Suppose 57 = -10*t + 29*t. Let d be (-9)/(-6) + t + (-9)/18. Solve 4*n = -5*b - 37, -4*b + d*n - 8 = -0*n for b.
-5
Suppose 3*v - 8 = -v. Suppose 31*j - 10 = 30*j - 2*b, 20 = 2*j - 4*b. Suppose -j = -10*g + 10. Solve -11 = -y + 4*y + v*r, -y = g*r + 9 for y.
-1
Let m(b) = -b**3 + 9*b**2 + 15*b - 46. Let p be m(10). Solve -8 = p*w, 3*l - 3*w = 2*l + 10 for l.
4
Let d = -2972 + 2975. Solve 0 = n + 4*w + 9, w + 15 = 3*n + d for n.
3
Let c = -106 + 102. Let o(a) = -3*a - 5. Let y(h) = -12*h - 19. Let v(k) = 9*o(k) - 2*y(k). Let x be v(c). Solve -p - 8 = -x*i + 12, i - 4 = 3*p for i.
4
Let l(h) = h**3 - 4*h**2 - 4*h - 3. Let j be l(5). Suppose 5*x - 16 - 14 = 5*m, j*x - 3*m - 13 = 0. Solve 0 = 2*w - 2*s - 16, w - x*w + 23 = -s for w.
5
Let d = 38 + -35. Suppose -g - 4*b = -6*b - 18, -b = -5*g + 45. Let h = g - 5. Solve -3*c + d + 3 = 5*u, h*c = -3*u for u.
3
Let j(p) = -8*p - 121. Let f be j(-19). Suppose f = 3*u - 2*c, 3*u - 19 = 3*c + 17. Solve -5*v - 2 = -g - 3*g, v - 3*g + u = 0 for v.
2
Suppose -386 = 13*l - 1244. Suppose -249*k = -238*k - l. Solve -k*b + b + 20 = -5*r, 0 = -2*r for b.
4
Let u(t) = -2*t**3 - 2*t**2 + t -