b = -3*w - l for b.
3
Suppose 67 = 12*f - 5. Let j be f*(7 + -5 + 0). Solve 3*r - 2*a + 3 - j = 0, -5*r = 5*a + 10 for r.
1
Let u(y) = -75*y - 1048. Let d be u(-14). Solve 2*m - a - 4*a - 4 = 0, -4*m + 8 = d*a for m.
2
Suppose -12 = -0*v - 4*v. Suppose 5*g - 3*j - 6 = 0, 5*j + 10 = g - 4*g. Solve h + 4 = -2*y - 1, g = v*h + 9 for y.
-1
Let s(a) = -7*a**2 - 3*a + 2. Suppose -7*c + 5*c = -2. Let g be s(c). Let i = g - -11. Solve i*r + l = r, -5*r - 5*l - 10 = 0 for r.
2
Suppose g - 5*s - 344 - 192 = 0, -4*s = -4. Let k = g + -538. Solve 0 = -0*a + k*a + 3*r - 6, 3*a + 2*r = 1 for a.
-3
Let p(s) = -s**2 - 6*s - 5. Let z be p(-2). Let w be z - (4 + 3/(-3)). Let h be 4 - 0 - (-9 - -8). Solve h*n = -k - w*k - 1, 2*n + 5*k = -5 for n.
0
Let p(i) = 14 + 3 - 3*i + 4*i**2 - 17 + i**3. Let g be p(1). Solve 3*n = -g*y - 13, -n = -0*y - 3*y + 8 for y.
1
Let u(z) = 3*z**3 + 63*z**2 + 64*z + 85. Let l be u(-20). Solve 0 = -l*x + 3*w - 14, -2*x + 4*w - 22 + 8 = 0 for x.
-1
Suppose 127*k + 1078 = 149*k. Let l(r) = -15*r - 6. Let j be l(-4). Let u = j - k. Solve -4*t + 12 = -b, b - u*t = -6 - 8 for b.
-4
Suppose -4*w - 163 = -147, u + w - 164 = 0. Solve 3*o = -4*l + u - 189, o + 5*l = -18 for o.
-3
Let w(c) = c**3 + 37*c**2 - 29*c + 4. Let m be w(-38). Let k = m - -351. Solve 0 = -3*s + 2*x - 2, 0 = 5*s + 5*x - 17 - k for s.
2
Suppose 4506 + 29946 = -58*v. Let r = -579 - v. Solve 5 = 5*s + r, x - 2*s = 9 for x.
5
Let i(y) = 2*y**3 - 4*y**2 - 3*y + 9. Let h be i(2). Solve -3*c + h*k = -6, -2*c = -7*c + k + 14 for c.
3
Suppose -2*k - m + 25 = 0, -4*k + 4*m + 68 = -0*k. Suppose 13*g + 24 = k*g. Solve j - 4*x = -0*x + 19, -g = 4*j + 4*x for j.
-1
Suppose 36 = 24*h - 25*h. Let r = h - -37. Let d be (-72)/27*(r + 10/(-4)). Solve 5 = 2*l - f - 9, -l + d*f + 21 = 0 for l.
5
Let z be -1*(0 + (-1 - 4) + -8). Suppose z*x - 357 = -266. Solve -3*g = -v, g = 3*v - x - 1 for v.
3
Let r = 850 - 865. Let d(a) = -a**3 - 15*a**2 - 8*a - 114. Let u be d(r). Solve 15 = -v - 3*m, 3*m = -5*v + u*m + 15 for v.
0
Let d = -341 + 345. Suppose d = 4*r - 3*z + 2, r - 4 = -z. Solve 0 = 2*l + w - 3, -7 = -2*l - 3*l - r*w for l.
1
Let o be (-10)/(-240)*-2*-60. Let h = -1 - -1. Solve h = -o*g, 2*w - g = -0*g - 8 for w.
-4
Let w(a) = -a**3 - 2*a**2 - 7*a - 10. Let o be w(-5). Let v = -89 + o. Suppose -7*t + v*t = 12. Solve 0*h + 23 = -4*h + t*c, 0 = 5*h - 3*c + 25 for h.
-2
Suppose -4*i = g + 13 - 55, -4*i + 4*g = -32. Let k be (4 + -5)/1 + i. Let h be (k/18)/((-2)/(-12)) + -3. Solve h*r + 16 = 4*r, -l - 2*r = -4 for l.
-4
Let a(x) = x**3 + x**2 - 6*x + 15. Suppose -78*q = -70*q. Let n be a(q). Solve 0*m = -3*z + 5*m - 25, 3*m = 3*z + n for z.
0
Let q = -17 + 49. Suppose -12*f + q = -4*f. Suppose 0*z + 3*a = -5*z + 1, 0 = -4*z - 4*a - f. Solve 0*s - 16 = -2*p + z*s, p + 5*s = -16 for p.
4
Suppose 3*y = -y + 192. Let s be 9/15 + y/20*1. Let g be (-3)/(2 - s) + -3. Solve 3*r = -4*p + 23, p + g*r - 2*r + 8 = 0 for p.
2
Suppose 3*m + g - 320 = 0, 506*m + 4*g = 504*m + 230. Solve 2*s - m*v = -103*v - 14, -2*v + 11 = -s for s.
-3
Suppose 2*y + 4*p = 14, -18*p = 3*y - 13*p - 19. Solve y*f - o = -6, 5*f - 2*o - 66 = -76 for f.
-2
Let v be 16 - 9 - 1*2. Let b be (-12)/(-9) + (-70)/30 + 3. Solve 0 = -5*u + l + b*l + 17, -2*u - v*l - 18 = 0 for u.
1
Let n be (((-11979)/22)/33)/((-3)/2). Solve n = -3*o + c - 9, -3*o + 3*c - 30 = 0 for o.
-5
Suppose -23*m + 7488 - 7442 = 0. Solve -4*k - 4*c + 3 = -9, m*k = 5*c - 22 for k.
-1
Let g(i) = -i**2 - 12*i + 162. Let l be g(-20). Let x = 4 - 0. Let u = -1 + x. Solve -3*b - 19 = -5*r, -u*r - l*b - 2 = -r for r.
2
Suppose -112*h = 3*b - 117*h - 15, b = 4*h + 12. Let u(y) = -5*y - 6*y + 16 + 0*y. Let w be u(b). Solve -4*g + 2*s = -2*s - w, -5*s = -2*g + 5 for g.
5
Let t be ((-18)/(-4))/(42/(-56)) - -11. Solve k = t*h - 5, -14*h + 10 = -9*h - 2*k for h.
0
Let c = 17 - 15. Suppose 4*o - 8 = 2*o. Let r be o/(-5)*(-4 - 1). Solve 0 = c*i - r*i, 2*i + 15 = -3*w for w.
-5
Let c(o) = o**3 + 14*o**2 - 26*o + 98. Let s be c(-16). Solve 2*r + 16 = -4*v + 6*v, 5*r - 2 = -s*v for r.
-2
Suppose 4*s - 80 - 39 = -5*h, -3*h + 2*s + 45 = 0. Solve 10 + 3 = 3*m - 2*p, -m - 4*p = h for m.
1
Let b(f) = f**3 - 18*f**2 + 20*f - 51. Let d be b(17). Solve d = 3*m - 5*g - 11, 4*g + 8 = 5*m + 7 for m.
-3
Let t(d) be the third derivative of -d**4/8 - 7*d**3/3 + 49*d**2. Let i be t(-5). Solve o + 3 = -b + i, 0 = -3*b + 9 for o.
-5
Suppose 33*a + 100 = 53*a. Solve 4 - 12 = 2*m - 3*w, -2*m = -a*w + 12 for m.
-1
Let p = 889 - 555. Let b = -329 + p. Solve -b*a = -2*g + 18, -4*a + 9*a + 3*g = 2 for a.
-2
Let l be 1/(-2) + 1 + 6/4. Suppose -5*v = -7*v. Solve 2*s + 9 = -5*n, 5 = -n - l*s - v*s for n.
-1
Suppose -7*f + 3*f + 16 = -3*f, k = -3*f + 53. Suppose 3*z - 7*z - 5*o + 32 = 0, -z + 5*o = 17. Solve -4*c = -k*i + 16, -z*i - c - 3*c = -16 for i.
4
Let c be 13/2*(-10 - -116). Let o = -669 + c. Solve 0 = -4*k - 4*b + o, 4*b - 4 - 12 = -2*k for k.
2
Suppose 17884*k - 17911*k = -81. Solve 2 = -5*d - r, 5*d + k*r - 3 = -9 for d.
0
Let c = 21 + -23. Let k be (4/(-8))/(1/c). Suppose 2*b = 5 + 1. Solve k = -4*u + b*j, -u + 0*u = 2*j + 14 for u.
-4
Let k(q) = -q**3 + 7*q**2 - 17*q + 27. Let o be k(7). Let h = o - -99. Solve 0*v + 2*v - j = h, 0 = -4*j - 4 for v.
3
Let h be 33/(-36) + (-8)/96. Let l be 1 - -2 - -1 - h. Solve -3*z + 2*c - l*c = 9, 2*z = -c - 6 for z.
-3
Let o be (32802/(-44))/(3/4). Let w = o - -1010. Solve -3*q = -a - 15, w = -q + 5*q for a.
-3
Suppose 0 = -h + 1 + 1. Suppose 2 + 2 = h*f. Suppose -2*z - f*i = 0, 4*z - 2*i = z. Solve g - 5*n + n - 14 = z, 0 = -2*g + 5*n + 19 for g.
2
Suppose -14*l - 117 = -73 - 72. Solve l*w = -5*u + 35 - 19, 5*w + 30 = 5*u for w.
-2
Let v(i) = -i**2 + 31*i + 118. Let y be v(40). Let q = 247 + y. Solve 0 = 2*j - q*j + 15, 5*j - 25 = -5*w for w.
0
Let n be 5379/489 - (-2 + 1 + 9). Solve -f = n*v - 10, -12*f + 10*f + 16 = 4*v for v.
2
Let p(c) = 2*c + 38. Let s = -60 - -134. Suppose -5*w - 38 = h + 58, 4*w - 2*h + s = 0. Let a be p(w). Solve a = k + 3*q - 3, -k + 2*k - 7 = -5*q for k.
-3
Suppose -37*b = -138 + 27 - 37. Solve b - 10 = -m - n, m + 5*n = 14 for m.
4
Let b be (-2)/(((-100)/750)/(1 - 2/3)). Solve 0 = -x + 3*r + 17, -6*x + b*r = -8*x - 21 for x.
2
Let t = 842 + -840. Solve 5*c + 4*j = -13, 5 = t*c + j + 9 for c.
-1
Let v be ((-12)/18)/(2/3) - 225. Let t = v + 227. Suppose -4*k = p - 11, 4*k - 7*k + 21 = 5*p. Solve 0 = i - p*q + 7, t = i - 3*q + 4*q for i.
-1
Let o(z) = -4*z + 41. Let f be o(9). Suppose 0 = -m - f + 8. Suppose -4*d = -4*r - 28, -m*d - 3*r = 2*r + 11. Solve 2*y + 0 + 4 = h, d*y = -3 for h.
2
Let h = -15543 + 15543. Solve r + 2*v = -13, h = -r - 4*v + 8*v + 5 for r.
-7
Let k = 1567 - 1565. Solve -4 = k*p - 4*n, -3*p - 1 = -5*n + 2 for p.
4
Let o(t) = -19*t + 4. Let z be o(5). Let f = -88 - z. Solve -f*q + 19 = -5*a, -5*a = 38 - 13 for q.
-2
Suppose 35*v = -6*h + 40*v - 1, -2*v + 10 = 0. Solve b - 10 = -h*g, -6*b = g - 3*b - 8 for g.
2
Let r be (1 - (32 - 30)) + 6 + -1. Solve 2*n - 13 = -d + r*n, 5*d - 35 = 4*n for d.
3
Let b = -26525 + 26534. Solve f = -4*j - 4, -b*j - 5*f + 22 = -10*j for j.
-2
Let q = 1976 + -1957. Solve q = -f - 5*b, 3*b = 7*f - 3*f + 7 for f.
-4
Let j be 16/4 - 0 - (2 + -5). Suppose 0 = -5*x + j + 3. Solve 4 = -x*y + 4*m, m + 2*m = -5*y - 23 for y.
-4
Let u(l) = -l**3 - 13*l**2 - 12*l + 8. Let j be u(-12). Suppose -11 = -j*q + 109. Let m be 1/(((-3)/q)/(-1))*2. Solve -3*w + a - m = 0, a - 6 + 2 = w for w.
-3
Let j(d) = -d**3 - 25*d**2 - 6*d - 145. Let o be j(-25). Solve o*u = 2*v, 11*u + 5*v + 29 = 9*u for u.
-2
Let g(o) = 6*o**2 + 79*o - 20. Let j be g(-14). Solve 3*r = -v - 10, -3*r + j = 5*v - 8*r for v.
5
Suppose 8053*l = 8064*l - 38 - 61. Solve -12 = 3*f, -3 - l = -4*v + 5*f for v.
-2
Suppose 2*s = -3*s + 2*s. Let t be (0 + s)/(-30 + 35). Solve 0 = 3*a + 4*w - 3, -4*a + w - 15 + 0 = t for a.
-3
Let g = -287 + 289. Let z be 6/(-3 - 0) - -14. Let h = 51 - 47. Solve -2 - 10 = h*t - 3*k, -3*k + z = -g*t for t.
0
Suppose -54 + 19 = -5*z. Suppose -o - 7 = z. Let m be (13 - 17) + 1/(-2)*o. Solve h + m = 4*h - 2*p, 2*h = 3*p - 3 for h.
3
Let n(d) = -d**2 + 15*d + 15. Let x be n(16). Let c be 243*(48/(-18) - x*3). Let g = c + -77. Solve 0 = -g*q - r + 12, 3*q + 5*r = -2 + 11 for q.
3
Let k(t) = -7*t + 6*t - 6*t - 12*t