t = 4*y for t.
5
Suppose -1191*u + 946 = -1180*u. Solve -2*l + 5*s + u = 69, 23 = 3*l - 5*s for l.
6
Let d = 1418 + -1414. Solve 0 = -3*h + 4*m - 5, h = d*m - 8*m + 25 for h.
5
Let d = -9229 - -9247. Solve 2*u - 6 = 0, 2*u + d - 30 = -3*g for g.
2
Suppose 11*p + 8 = 8*p + 4*v, -8 = p + 4*v. Let a(l) = l**3 + 4*l**2 + l + 4. Let t be a(p). Solve t = -4*g - 2*k + 10, -2*g + 3*k = -0*g - 17 for g.
4
Let h = 39 - 34. Suppose 0 = -3*n, h*n - 2*n = 3*i - 36. Suppose -2*x - 3*w + i = 0, 4*x - 2*x = 3*w. Solve -10 = -2*z - 2*f, x*z + 0*z + 5*f - 25 = 0 for z.
0
Let j(r) = r**2 - 7*r - 69. Let h be j(0). Let i = 79 + h. Suppose 29 = i*w + 9. Solve 2*n + 3*o = 5*n + 15, w*n - 4*o = -12 for n.
-4
Let b(a) = a**3 - 3*a**2 - 8*a + 19. Let w be b(3). Let t be (-3)/5 - (-13)/w*-1. Solve 3*v = -15, -2*v - 19 = t*r + 3*v for r.
3
Let j(y) = 23*y**3 + y**2. Let x be j(1). Suppose 0 = 12*c - 460 - 380. Suppose c*u = 71*u - 2. Solve 2*w + 4 - x = -u*g, -5*g + 40 = 3*w for g.
5
Let r = 12 + -9. Suppose 3*k - 7*k + 3 = 3*l, -k = -l + 1. Solve -2*n - 25 = -5*v - k*v, 5*n - r*v + 15 = 0 for n.
0
Let x be (-2202)/(-8) - (-5)/60*9. Suppose -108 + x = 12*s. Solve 0 = -2*z - 2*z - 2*b - s, -3*z - b - 12 = 0 for z.
-5
Let g be (-2)/7 + 32/14. Let s = 94447 - 94447. Let r be 3 - (-1 + (-2 - -2)). Solve i = -g*l - 3, r*i + s*i + 2 = -3*l for i.
1
Suppose 10*q + 396 = -q + 451. Solve -q*d + 20 = -5, 3*n = -5*d + 10 for n.
-5
Suppose -83 + 186 = -10*r + 153. Solve 3*h - 4*m - 25 = 7, r*m = -25 for h.
4
Suppose -20*a + 82 = -41 + 23. Solve -a*t - 4*v = 28, -19 + 3 = 5*t - 2*v for t.
-4
Let o(d) = -4*d + 26. Let k be o(12). Let m = k + -12. Let s = m + 36. Solve -3*t + 20 = 2*y + s*y, -5*t + 2*y = 10 for t.
0
Let v = 22 + -16. Let p be 8/48*6/(-1). Let t be 1*2*(-6 + 4)*p. Solve -v = 4*x - t*o + 6, 0 = x + 4*o - 22 for x.
2
Let d(m) = -m**3 - 3*m**2 + m + 3. Let n be 3/(-6) - (-4 + 52/8). Let s be d(n). Let w = 7 - s. Solve -2*i = -4*v - w - 1, -3*v - 2*i - 20 = 0 for v.
-4
Suppose 630*c - 1269*c + 627*c = -48. Solve 3 = -5*k + c*k, 3*k + 9 = 5*l for l.
0
Let g = 23 - 53. Let m = g - -29. Let d be (1*-1*4 + 1)/m. Solve 5*t = -f + 19, -t = -d - 0 for f.
4
Let v = -205 + 261. Let q be ((-6)/(-4))/(14/v). Solve -5*f - 2*y = -0*y + 9, 3*y = -q for f.
-1
Let q be 26 + -8 + (14 - 22). Solve 8*l = 6*l - q, 4*f = 3*l - 1 for f.
-4
Let w = 326 + -95. Let q = -228 + w. Solve o - 8 = 2*g, 4*g - 5 = q*g + 5*o for g.
-5
Let p = -23820 - -23822. Solve 3 = f + p*d, 0 = -2*f + 517*d - 518*d + 6 for f.
3
Suppose 3*g - 2*t + 10 = 0, t = -13*g + 15*g + 5. Solve -y - 2 = g, 10 = j - 5*j - 5*y for j.
0
Let f be (-2)/(((-12)/6)/(5 - 1)). Let r be ((4 - -3) + -7)/f. Solve 4*s + 4*q = r, 28 = 3*s - 4*q - 7 for s.
5
Let v = 446 - 456. Let q(c) = -18*c**2 - 181*c - 7. Let f be q(v). Suppose -j + 3*g = -g - 24, 0 = 2*j + g - 3. Solve b + 13 = -b + f*z, -3*z + 23 = -j*b for b.
-5
Suppose 5*p - 4*q = 186, -2*q + q = 4*p - 153. Let w = p + -34. Solve 4*b + 20 = -4*f, w*b + 2*f = 1 - 11 for b.
0
Let g(r) = r**3 - 2*r**2 - 4*r + 8. Let v be g(3). Suppose 5*k - 17 = 2*f + v, -k + 4*f + 8 = 0. Solve -k*w - 4*h + 17 = 1, -w = 4*h - 16 for w.
0
Suppose -206*r = -353 - 471. Solve 5*y = -3*n - 22, -3*y - r*n - 102 = -80 for y.
-2
Suppose 28*d - 75*d - 44*d = -455. Solve p = 2*j - 1, -d*j = 29*p - 21*p + 8 for p.
-1
Let r(k) = 5*k**2 - 6*k + 3. Let z be r(-3). Suppose -z*t - 160 = -74*t. Solve i = -2*i - 12, -4*x = 5*i + t for x.
0
Let l = -14 - -9. Suppose -21*o - 110 = 4*u - 20*o, 2*o - 131 = 5*u. Let x be 3*6/u*(l - 4). Solve -3*c = 4*q + 9, -2*c + 5*c - x = q for q.
-3
Let m = -134 - -137. Suppose n + 3 = g + m*n, -2*g - 2*n + 6 = 0. Solve 0 = g*o + 4*b + 3, -2*b = 1 - 7 for o.
-5
Let b = -72 - 74. Let g = b - -159. Solve 4*s + 10 = -d, -5*d - g = 2*s + 1 for s.
-2
Let z(o) = 8*o**2 + 2*o**3 - o + 5*o**2 - 2 + o**2 - 2 - 9*o**2. Let w = 16 + -18. Let t be z(w). Solve -t*s - 2*b = s + 12, -8 = 2*s + b for s.
-4
Suppose 37*j = 22*j. Suppose 5*f - 105 = -5*h, -2*f + 3*f + 57 = 2*h. Suppose -3*q + 4 = 1, 5*d + q - h = 0. Solve d*w - 4*r - 16 = 0, r + 4 = w - j*r for w.
0
Let r(j) = -j - 3. Let y be r(-7). Suppose 902*l - 108 = 866*l. Suppose 2*z = -4*f + 2*f + 24, 3*f = -z + 12. Solve l*u = -y*p + 5*u, z = 3*u for p.
2
Suppose k + k - 24 = 0. Let v be 0/(((-10)/(-20))/(1/4)). Suppose 12*f - 8*f - k = v. Solve 3 + f = -c - 5*w, -26 = -5*c + 3*w for c.
4
Let n(b) = -2*b**2 + 63*b - 483. Let h be n(18). Solve -2*x + 6*x + 14 = p, x = -h for p.
2
Suppose 0 = -636*v + 627*v. Solve v = -3*m - 2*n + 10, -11*n + 9*n + 10 = m for m.
0
Suppose 0 = 2*b - 5*b. Suppose b = -o - 3*o. Let z be 2/15 + (-43)/((-14190)/(-44)). Solve 0 = -3*m - o*n + n - 8, z = -m + n - 2 for m.
-3
Suppose 0 = 5*h - 0*h + 390. Let w = -45 - h. Suppose 4*p = -5*o + p + 5, -5*p - w = -2*o. Solve -12 = -3*i - i - o*v, -8 = -2*v for i.
-1
Let q(u) = 9*u + 777. Let k be q(-85). Solve -3*d = -2*s - 2 - k, -4*s - 26 = -5*d for d.
2
Let m be ((-144)/(-26))/3 + 40/260. Suppose -m*b + 4*r = b - 22, -4*r = 5*b - 58. Solve 4*v = 3*i - b, 5*v + i + 18 = -4 for v.
-4
Suppose -3*w + 15 = 0, 55*w - 50*w = -3*u - 11. Let y be 7 + (u + 0 - -7). Solve 5*o = 3*j + 15, y*j + 13 = 5*o - 2 for o.
3
Suppose 5*o = g + 2*o - 5, -2*o - 70 = -4*g. Suppose 5*u + 19 = w, 3*u - 57 = -g*w + 17*w. Solve -6*n + w = -2*n + 5*z, -12 = -4*z for n.
1
Suppose -320 + 26 = -49*g. Solve -t = g*x - 19, -2*t - 23 + 10 = -5*x for x.
3
Suppose -3*k = 3*k - 6769 + 6751. Solve -4*s + 3*s = 4, -k*s = -2*f + 10 for f.
-1
Let h(k) = -174*k**2 + 37*k - 168*k**2 - 19 + 344*k**2. Let b be h(-19). Solve b*f = 2*f + 8, 3*f + 6 = 3*c for c.
-2
Let z(h) = 3*h**2 + 16*h - 10. Let y(n) = -n**3 - 29*n**2 + 29*n - 36. Let b be y(-30). Let m be z(b). Solve q = 3*f - 10, m*f = 2*q + f + 10 for q.
-4
Let o = -3969 + 3973. Solve k + 5*l = 40 - 14, 0 = -k + o*l - 19 for k.
1
Let s(u) = -u**2 + 7*u - 6. Let a be s(6). Solve 2*v + 5*x - 6*x + 10 = 0, 2*x - 4 = a for v.
-4
Let s be 5 - 0 - (-4 - -8). Suppose 0 = 4*c - 21 + s. Suppose -3*a + 15 = 4*q, -3*a - 5 = -3*q + 1. Solve q*y + 21 = -3*j, c*j - 2*y - 3*y = -5 for j.
-4
Let y(q) = -3*q**3 - q**2 - 2*q + 14. Let p be y(5). Let n = 398 + p. Solve 4*a + 4 = 5*v - 5, n*a + 2 = 0 for v.
1
Let s = -765 + 768. Solve -5*w + d - 5 = 0, 8 = 3*w + s*d - 7 for w.
0
Let u(w) = w**3 + 28*w**2 + 23*w - 105. Let t be u(-27). Solve 2*c = -2*f + 6, 5*f - 23*c - t = -24*c for f.
0
Suppose 2*j + 4*l + l = -42, 56 = -4*j - 3*l. Let r be (-2 - -1) + 14 + j. Solve 0 = -0*m + 3*m - 2*x, -m + r*x = 0 for m.
0
Let w(p) = -7*p**2 + 43*p - 6. Let i be w(6). Let f = -106 + 109. Suppose 0*r + r - 4 = 0. Solve -f*v - r*x = -v + 6, i = v - 4*x - 21 for v.
5
Suppose 0 = -5*p + 2*p + 12. Suppose 8 - 20 = -p*x. Let v = 59 - 57. Solve 0 = -r + 4*k - v, -x*k = -3 for r.
2
Let i be (8 - 34)/(11 + -13). Solve 0 = -3*x + 2*x - 2*r - i, -25 = 5*r for x.
-3
Let u = -7877 + 7896. Solve 9*d + s - u = 13*d, 3*s + 3 = 0 for d.
-5
Let l = 51 + -47. Suppose -2*k + 3*h = -124, 2*k + 4*h - 2*h = 134. Suppose 2*c = 7*c - 4*q - 145, 2*c - k = 3*q. Solve l = -4*t, 4*t + c = 4*n + 1 for n.
5
Suppose 5*a + 299 + 119 = w, 0 = -5*a - 4*w - 403. Let y = a + 15. Let t = 71 + y. Solve t*z + 28 = 3*o + 1, -2*o + 22 = -3*z for z.
-4
Let y = 45 + -29. Suppose 0 = 4*x + y, 0 = 5*j + 6*x - 3*x - 8. Let n(k) = -k**2 - 48*k - 41. Let t be n(-47). Solve 0 = 2*m + j*s - 28, 0 = -3*s + 9 + t for m.
4
Suppose -2*t = 3*t - 1370. Let m = 274 - t. Solve a - 3*a - 4*d = -12, m = 4*a - 2*d + 26 for a.
-4
Let h(f) = -8*f + 12. Let w be h(3). Let l(k) = -5*k - 55. Let u be l(w). Suppose 4*y - 6*y = -6. Solve -n - 5*x = 0, -u*x = -y*n + 2*n for n.
0
Suppose 14*u = -175*u + 1323. Suppose -s + 16 = -4*t, -s + 2*t + t = -12. Solve -3*b = h - u, -b = -s*h - h + 3 for h.
4
Suppose 29*d = 289*d - 1040. Solve -4*c = -2*g - 18, 5*g + d*c + 3 = -0 for g.
-3
Let o = 79 + -71. Solve -o*h - 2*d = -4*h - 16, 3 = h + d for h.
5
Let b(l) = l - 2. Let h be b(5). Suppose 964*j + 1676*j - 1294 - 6079 = 547. Solve 4*r - 9 = -p, 2*r = 4*r + j*p + h for r.
3
Let o be (6/8)/(1/4). Suppose 5*l + 4*v - 179 = 76, -2*l + 4*v + 130 = 0. Suppose -48 = 52*s - l*s. Solve o*w - 5 = w + m, -4*m + s = w for w.
4
Let d(y) = 6*y**2 + 5*y - 3 - 5*y**2 + 0. Let i be d(-6). S