, 3*l = 3*a + 3 for l.
1
Let i be 2/3 + 133/21. Solve x + i = 5*t, 0 = 4*x - t - t - 8 for x.
3
Suppose 18*x - 383 = -185. Solve -6*b + x*b - 5*n = 35, -2*b + 29 = -5*n for b.
2
Let p = 9 - 4. Suppose 4*i = 15 + p. Suppose -431*f - 3698 = -4560. Solve 7 = -5*l - 6*w + f*w, 3*l - i*w = -19 for l.
-3
Let d(u) = -2*u**3 - 16*u**2 - 29*u - 30. Let v be d(-6). Suppose 0 = -r + 5*r. Solve r = -3*i + i, 4*b - 5*i + 4 = v for b.
-1
Suppose -25*k + 81 = -19. Suppose 0 = -14*d - 40 + 96. Solve 4*t - 24 = 4*r + k, d*r - t = -19 for r.
-4
Suppose -109*r - 84*r + 499 + 466 = 0. Let m be (1/2)/(1/4). Let b be m + 1 + (0 - 0). Solve 4*z - 3*i + 15 = 0, -14 = -r*z - b*i + 1 for z.
0
Let q = 6208 + -6203. Solve -2*t - 6*a + 7*a + 13 = 0, -q*a = 2*t + 17 for t.
4
Suppose -4*h = -29 + 5. Suppose -10555 + 1155 = 25*p. Let n = p - -380. Solve -5*y - 34 + h = -v, 2*y = n*v - 22 for v.
3
Let x = 2155 - 2150. Solve x*q - 2*l = 21, 14 + 1 = -5*l for q.
3
Suppose 3*q - 83 = l - 69, -2*l = 4*q - 42. Solve -o - 2 = -3*n - q, -2*o = n + 4 for o.
-1
Suppose -1608 = 4*u + 832. Let s = u - -626. Solve v - 3*g = -14, 4 - s = 3*v + g for v.
-5
Let r(o) = 5*o - 35. Let h be r(9). Suppose -h*v - 25 + 65 = 0. Solve -18 = 3*j + 5*s, 2*j + 3*s = v*j - 7 for j.
-1
Let r = 34665 - 34663. Solve 0 = -t + s + r, -28*t + 2*s - 2 = -32*t for t.
1
Let i be 2*(3/6)/(-1) + 1. Let x = -185 - -188. Solve 0 = 4*f + w - 7, i*w = -x*f - w + 4 for f.
3
Let n = -18 + 23. Suppose 0*z = -n*z + 75. Let h = -250 - -252. Solve 0*c = c + x - h, -z = 5*x for c.
5
Let q(f) = -f. Let i be q(-4). Let b = 375 + -371. Suppose 5*w - 4*v = 14, 18 + 10 = 2*w + b*v. Solve -i*t - 11 = 5*k, w*k - 4*k + 3*t = -3 for k.
-3
Let f(i) = 2*i**3 + 13*i**2 - 130*i + 28. Let w be f(-12). Solve -17 = -8*d + 5*d - h, 3*h - 31 = -w*d for d.
4
Suppose 0 = 36*x - 9*x - 27. Let n be 19 + -23 + x*-2 + 8. Solve 3*l = -3*c - 24, c + 12 = n*l - 4*c for l.
-4
Let c = 108 + -124. Let v be (123/164)/((-6)/c). Solve 0*i + 5*x + 10 = -2*i, -v = -3*i + x for i.
0
Let x be ((-39)/9)/((-2)/(-6)). Suppose 5*m - 37 = 53. Let j = x + m. Solve 4*u + 4 = 2*i, -j*i + 2*u = -i + 4 for i.
-2
Let m be 314/6 - 85/(-51). Suppose 12*o + 6*o = m. Solve -p - 12 = 4*u, 0*u - o*u - p - 9 = 0 for u.
-3
Let w be 4 + -1 - (10 - 6 - 5). Suppose 4*t = -2*t + w*t. Solve t*h = -h - 3*g - 13, 0 = -3*h - g + 1 for h.
2
Let u be 53/(-265) - (-8)/(-10). Let v be (4 - -1)*7*u/(-7). Suppose -2*j + 3*j = 0. Solve 3*i - 5 = 4*m - 34, j = -4*m + v*i + 35 for m.
5
Let h = -155 + 175. Let y be (24/(-18))/1 + h/6. Solve u - y*c = -4*u - 11, 0 = -5*u - 3*c + 4 for u.
-1
Let y(c) = -c**2 + 4*c. Let b be y(3). Suppose 5*n + 4*h - 2 = 4*n, 4*h = -4. Suppose -n*q + 15 = -b*q. Solve -v - j - 2 = 3, -3*v - q*j = 19 for v.
-3
Suppose 2*x - 2*b = 16, 9*x - 2*b - 19 = 6*x. Solve 5*z - 8*z - 3 = 3*s, -3*z + 9 = -x*s for s.
-2
Let w be (3/(12/8) - -6) + -4. Solve -3*o = -2*l + 9, -2*l + 6*o - w*o = -4 for l.
-3
Suppose -5*i + i + 18 = g, 2*g + i - 8 = 0. Let j(v) = v**2 - 8*v + 17. Let u be j(5). Solve -4*x = g*w - u*x - 2, -3 = -2*w - x for w.
2
Let i(v) = v**2 + v + 9. Let u be (-2)/(-11) - (-285)/(-55). Let j be i(u). Let d = 29 - j. Solve 3*h = -5*g - 8, d = 3*g + h + 8 for g.
-4
Suppose -145 = -25*m + 20*m. Suppose 5*i - 4*y = m, 3 = -0*i + i + 2*y. Solve -6 = -i*a + b, -3*b + 2*b = -3*a + 4 for a.
1
Let r(t) = -9*t + 10 - 9 + 93 - 9. Let y be r(9). Solve -y*w + v = 22, 0 = 4*w - 3*v - 10 + 36 for w.
-5
Let t = -7877 - -7880. Solve -t*d - 3 = 3*h, -8*d + 3*d + 5*h - 15 = 0 for d.
-2
Let l(z) = -23*z**2 + 345*z + 3. Let f be l(15). Solve g + 3*o = 5*g + 6, -f*o + 6 = -g for g.
0
Let o be (-6 - (-78)/4)*((-10)/(-3))/5. Solve 3*p - 5*c = o, 45*p - 3*c - 3 = 44*p for p.
3
Suppose -4*m + 4*w = 0, m - 37 = 4*w - 31. Let b be m + 4 + 3/(7 - 4). Solve 3*i - b*q - 9 + 0 = 0, 5*q - 10 = 0 for i.
5
Suppose -6 - 3 = -3*h. Let y be 21 - (-405)/(-27) - (-1 - 6). Let l be 0*(3 - (-21)/(-6)). Solve h*m + l*m = -2*x + 6, m - 3*x = y for m.
4
Let p be 120/(-160) + (-1990)/(-8) + 2 + -6. Solve -p*q - 3*l = -248*q - 1, -5*l = -2*q + 3 for q.
-1
Let z be (-15)/9 - 4/(-6). Let l be (-1 + z/(-2))*-4. Let u(m) = 583*m - 57132. Let x be u(98). Solve 0 = -4*n, -n = x*g - l - 6 for g.
4
Suppose -7*c + 19 = -58. Let b be ((-144)/(-20))/2 - 2/(-5). Suppose -x - c = -2*y, 2 = -2*x + b*x. Solve y = -3*s + 15, 14 = -o + 4*s for o.
-2
Suppose 6 = 2*a - 4*o + 30, 20 = -5*o. Let f = 30 + a. Let d = f + -6. Solve -15 = 5*m - 5*h, d*m + 5*h = 2 - 14 for m.
-3
Suppose 10833*y = 10840*y - 28. Solve -3*x - y*h = 21, -85*x + 5*h = -86*x - 7 for x.
-7
Let k = 11 + -9. Let h = 114 - 109. Solve c = -2*g - k*c - 7, 5*c = h*g + 5 for g.
-2
Suppose 280*f + 7 = 3 + 4. Solve -4*t - 5*j + 16 + 24 = f, 0 = -2*t - 5*j + 30 for t.
5
Suppose 2*r - 4*l = -5*l + 3, 0 = -3*l - 3. Suppose 4*o + r*o = 18. Solve -2*b = -o*u - 8, 0 = -u + 3*u + 4 for b.
1
Suppose -8*j - 3*r + 462 = -5*j, -2*r = -3*j + 482. Let p = 162 - j. Solve -p*a = w, -a + 3*w = -w - 17 for a.
1
Let m = -3421 + 3425. Solve -m*b + 2 = -4*k + k, k = b for b.
2
Let k = 3862 - 3850. Solve -m = 3*s - k, -m + 8 = -7*s + 9*s for m.
0
Suppose -4*l - 180 = 3*k - 205, 0 = 2*k - 4*l + 10. Let a be ((-7 - -5)/(-2))/1 - -1. Solve -u + 3 = -b + a, k*b - 2*u = 0 for b.
2
Let c be 1292/228 - (0 - (-10)/6). Solve -f = -c*d + 19, -9*f + 11 = 5*d - 6*f for d.
4
Suppose -4*t + 4*o = t - 52, 4*o + 4 = -t. Solve 0 = -3*n + 2*q + 17, -t*q + 1 = -9*q for n.
5
Let s(f) be the first derivative of -f**3/3 + 7*f**2 - 11*f + 13. Let x be s(13). Let j be 2*x + 14/14. Solve 2*d - 8 = 5*k, 0 = -j*k - 7*d + 3*d + 16 for k.
0
Let a = 1893 + -1864. Solve 2*d + 100*f + 13 = 103*f, -4*d + a = 5*f for d.
1
Suppose 10*w - 76 = 6*w + 2*g, 4*w - 5*g - 94 = 0. Solve 5*p = u - 12, -5*u = -1 + w for p.
-3
Let a be 10/(16/160*25). Solve -2*o = -3*u + 2 - 12, -11 = -5*o + a*u for o.
-1
Let f be (-12)/66 - (-11)/(484/360). Suppose -2*x - f*d + 5*d = 9, -22 = x + 5*d. Solve u = -x*y - 2*y - 10, -2*y = 2 for u.
-5
Let j be (-171)/(-2) + 140/(-56). Suppose j - 28 = 11*y. Solve a - 6*g + 5 = -2*g, y*a = -3*g - 25 for a.
-5
Let m(k) = k**3 + 9*k**2 + 17*k + 8. Let j be m(-2). Suppose 2*g - 34 + 22 = 0. Solve 0 = w - g*o + 3*o, -j*w - 2*o = -8 for w.
3
Let f = 4 - 2. Suppose 0 = 4*k + o - 355, -2*o = 2*k - o - 179. Suppose k = -m + 112. Solve 5*p - 5*b - 22 = -f*b, 2*p - 5*b - m = 0 for p.
2
Let i = 5333 + -5333. Solve i = b + 3*p - 7, 3*b + 5*p + 31 = 9*p for b.
-5
Let k = 2302 + -2284. Solve 2*u + 38*m = 34*m - 26, -2*u - k = 2*m for u.
-5
Let b be (-7)/(84/(-16)) + (-4557)/9. Let h = b - -521. Solve h = -4*p, -3*d - d + 2*p + 24 = 0 for d.
4
Let u(j) = 2*j**2 - 8*j. Let k be u(5). Let r be 0/(-1) - -1 - (14 - k). Let i be 4/(-18) + ((-6)/(-27) - r). Solve -2*a = i*w + 5 - 0, -3*w + 4*a = 17 for w.
-3
Suppose -j - 6 = -2*v, 0*v - 3*v - 6 = j. Let x be 3/(2 + -5) - j. Solve -4*l = f - 19, 0*f = -x*l - 4*f + 32 for l.
4
Let l = -22 + 45. Suppose 7*q + 7*q = 112. Suppose -l + q = -5*w. Solve -w*c - 3*p = -3, -c + 4*p = c + 28 for c.
-4
Let p(q) = -2*q**3 - 12*q**2 + 8*q - 14. Let c be p(-9). Let l be c/600 - (7/(-3) + 1). Solve -l*z - 10 = 4*k, 3*z + 10 = -0*k - k for z.
-3
Let p(o) = 35*o - 231. Let v be p(7). Solve 5*z + 2*t = -21, -12*z = -v*z - 5*t for z.
-5
Let y(v) = v**3 - 5*v**2 + 73*v - 456. Let r be y(6). Solve 0 = 3*a + 4*s - r, -209 + 194 = -5*s for a.
2
Let h be 708/90 + 2 - (-10)/75. Let c be (6 + h/(-2))*3. Solve w + 16 = 2*n + 4*w, c*w = -n + 14 for n.
2
Suppose 5 = -r, -5 = -4*d - d - 5*r. Suppose 85 + 293 = 42*c. Solve -i - 3*p - c = i, d = 3*i - 2*p for i.
0
Let n be 3 + (-6 - (3 + -2)). Let k(a) = -a**3 - 2*a**2 + 9*a + 4. Let l be k(n). Solve -c = 2*c + p, 2*c - 3*p + 11 = l for c.
-1
Suppose -13*g + 101 - 36 = 0. Suppose 0 = g*f + 51 - 166. Solve -2*q + k = -12, 0*k = -5*q - k + f for q.
5
Let a(j) = 494*j + 6439. Let m be a(-13). Solve 18*w + 3 = 3*q + m*w, -4*w = -12 for q.
2
Let x be ((-4)/(-10))/(30/150). Suppose 39*h - 43*h + 22 = x*t, 3*t - 1 = 2*h. Solve -8*j + 4*j + 2*n + 14 = 0, -3*n = h*j - 19 for j.
4
Let f = 32 - 27. Suppose f*n + 5 = 10, -4*n = 5*o - 159. Suppose -3*c + 40 - o = 0. Solve -16 = 4*s - x + c*x, -5*x = s - 5 for s.
-5
Let y be 16/10*(69/230)/((-9)/(-75)). Solve 4*f = 9*f + 