+ u = 3*a for x.
-5
Suppose -4*u = 2*g + 294, 134*u - 130*u = 3*g - 299. Suppose -5*b - 5*t + 507 = 52, 93 = b + 2*t. Let r = u + b. Solve i + r = 5*m, 5*i = m + 3*i - 12 for m.
2
Let d = -63 + 90. Suppose -d*s = -25*s - 4. Solve -t - 18 = -5*j, s*t = -5*j - t + 26 for j.
4
Let f(k) = 3*k**2 - 17. Let d be f(-7). Let h = 133 - d. Suppose 0 = 3*b - 2*b + 4*t + 8, -2*t + 6 = h*b. Solve -b*c - 2*l = 4, 3*c = 5*l + 3 + 7 for c.
0
Suppose c = s, -s + 5 = -4*c + 2. Let n = s + 4. Suppose 0 = 2*d - d + 1, -5*d - 105 = -5*m. Solve 0*r - 5*r - m = 4*w, -n*w + r = -4 for w.
0
Let f be 7 + 0 + (7 - -6 - -1 - 16). Solve -38*k + 40*k - 2 = -f*b, 3 = 4*b + 3*k for b.
0
Let f = 385 + -200. Suppose -3*a + 8*a = f. Let c = -13627 - -13632. Solve -2*b - 1 = v + 5, -3*v = -c*b - a for v.
4
Let d(h) = -83*h + 5727. Let v be d(69). Let q be -1*(-2 - (-2 - -4)). Solve -5*j + 22 = 2*t, 4 = q*t - v for j.
4
Suppose -2*s = -3*w + 4*w - 141, 3*s + 4*w - 209 = 0. Let r = s + -68. Solve -16 = 4*b, -2*g + 0*g = -r*b - 16 for g.
2
Let v = -404 - -622. Let o = v + -208. Suppose -3*f + 15 - 3 = -3*p, 15 = 4*f - 3*p. Solve 5*t + 0*t = -m - 22, -o = -m + f*t for m.
-2
Let g = 3257 - 3254. Solve -g*m + 2*b + 11 = 0, 2*m - 2*b - 13 = -3*m for m.
1
Let m = 3331 + -3327. Solve 5*s - 44 = m*k, -26*s + 4 = -2*k - 28*s for k.
-6
Let p(o) = -6*o**2 + 167*o - 269. Let g be p(26). Solve 2*q - 10 = -2*n, 20*n + 10 = g*n + 2*q for n.
0
Suppose -v + 4*o + 10 = 0, v - 43 = o - 36. Let k = 93 - 89. Solve -3*z - r = v + 2, -2*z - 3*r = -k for z.
-4
Let k(l) be the first derivative of -17*l**2/2 - 51*l + 45. Let u be k(-3). Solve 0*p + 3*p + 2*o - 4 = u, -20 = 5*o for p.
4
Let s be 2*36/4 + (32 - 28). Solve -5*t - 8*i = -10*i - 13, s = 2*t - 5*i for t.
1
Suppose 2*w = -2*w + 4*r + 140, 5*w = -r + 199. Let c = 41 - w. Suppose -1 = -c*f + 13. Solve -x - 3*n = -14, 2*x + 3*n - 6 = f for x.
-1
Let z(c) = 248*c + 5288. Let u be z(-21). Solve 3*v + u = 4*m + 77, v + 5 = 0 for m.
-3
Suppose 3*q + 4*z = 72, -4*q = -895*z + 892*z - 146. Solve 0 = x - j + 30 - q, -5*x + 26 = 3*j for x.
4
Suppose -135 + 255 = 30*k. Solve -23*v + 21*v + 10 = -4*f, 4*v - 16 = k*f for v.
3
Let x(g) = 4*g**2 + 2*g - 1. Suppose -4*r + 4 = -11*k + 10*k, -3*r = 4*k - 3. Let i be x(r). Solve -1 + 46 = 5*o - 4*y, -4*o = 3*y - i for o.
5
Let t(h) = 94*h - 30. Let f be t(1). Suppose f*y - 1334 = 6*y. Solve y = -w - 5*r, 5*r + 5 + 6 = 3*w for w.
-3
Suppose p + 4*x = 6*p - 17, -3*p = x. Suppose p = h + 2*a - 9, -2*h - 12 = -4*a. Solve -4 = h*b + 2*i, 0*i - 3*i = -4*b - 8 for b.
-2
Suppose 3118 = 8*p + 3094. Solve 2*u - 4*m = 5*u + 3, 2*u + 19 = p*m for u.
-5
Let h be (17 - (-106)/(-8))*(-4)/(-3). Solve 5*q + 8 = -h*a + 3, 3*a + 3 = -5*q for a.
-1
Suppose 7*w - 1983 - 1077 = -83*w. Solve c + h = 0, 2*h + w = 5*c + 27 for c.
1
Let s be 0/(-5 - (-2 + -5)). Let t = 4 + s. Let x(j) = 2*j**2 - 4*j + 1. Let o be x(4). Solve a = -3*a + 3*u + o, 18 = 3*a - t*u for a.
2
Let o = 22 - 32. Let t = o - 4. Let p(u) = -u - 9. Let j be p(t). Solve w - 5*r - j = -4*w, 3*r - 3 = 5*w for w.
-3
Let s = -146 - -151. Suppose s*d - 2*d - 3 = 0. Solve 2*q = -g, 0 = 2*q - g - d + 5 for q.
-1
Let i = -499 + 506. Suppose -5*q + 2*l = -i*q + 14, 2*l = 3*q + 4. Solve -5*o - 13 = d, -2*d - q*d - o - 14 = 0 for d.
-3
Let p be 12/(-20) - (4 + (-1689)/15). Let s = -105 + p. Solve 4*m + 2*h + 0*h + 22 = 0, 5*m = -s*h - 28 for m.
-5
Let g(b) = 7*b**2 - 2. Let x be g(1). Suppose x*c + 12 = 22. Let v be 0/(c*(4 + -3)). Solve 0 = -5*a - o - 6, -5*o - 5 = -v for a.
-1
Let y(r) = r**2 - 3*r - 25. Suppose -683*w = -687*w + 28. Let t be y(w). Solve 4*f - v = 20, f - 6*f = t*v - 25 for f.
5
Let z(r) = 599*r + 3. Let f be z(0). Solve -4*k - 13 = -t, -2*t - k + 2 = f*t for t.
1
Let k(n) = -8*n - 40. Let j be k(-4). Let b be (1 - j/(-6))/(39/(-585)). Solve 8 = -4*m + c, -4*m + 3*c - b*c = 8 for m.
-2
Let w = -387 + 393. Solve -9*j = -8*j + 4*f - w, -3*f = -3 for j.
2
Suppose -5*y + 990 = 17*y. Suppose -p = 5*u - y, -3*p = -0 + 15. Solve -26 = 5*g - 4*o, 5*g + u = o - 4 for g.
-2
Let o be 1/(-14) - (-28565)/2030. Let c be (0 + 8/(-20))*-10. Solve -4*a + 3*k + o = 0, 3*a - k = 6*a - c for a.
2
Let m = -3832 + 3834. Solve -17 = 3*l + 2*h, 0 = -7*l + m*l - 3*h - 27 for l.
-3
Let v(k) = -k**3 + 5*k**2 + 5*k - 8. Let a be v(-2). Solve -6*y + 2*y - a = -q, 4*y + 6 = 3*q for q.
-2
Let m(b) = 11*b - 56. Let x be m(7). Let g = x - 19. Solve 5 = -5*q - g*y, -11 - 1 = -2*q + 2*y for q.
1
Let v = 3 - 3. Let s be v + -3*(-3)/3. Suppose -166*w = 144*w - 1550. Solve s*a + 3 - 18 = 0, -5*h - a = -w for h.
0
Let a = -8 - -10. Suppose 5*y = -x - 0*y - 4, -106 = 4*x + a*y. Let n = -27 - x. Solve 2*t = -5*s - 1, -s = t - n + 4 for t.
-3
Suppose -16 = -128*x + 124*x, 5*x - 65 = -5*r. Solve -r*j - 3*l = -10*j - 17, 3*j + 1 = -l for j.
-2
Suppose -14*t + 27 + 29 = 0. Suppose -3*n + 51 = t*d, 0 = d - 2*n + 6*n - 29. Solve h - 3 = 2*h - 5*j, -5*j = 2*h - d for h.
2
Let v(k) = -3*k**3 + 3*k**2 - k + 4. Let y be v(0). Solve -a + 2 + 15 = y*o, -4*o + 5*a = 13 for o.
3
Let l = -6110 + 6126. Solve -5*d + 18 = -3*y + l, -5*y = 4*d + 28 for y.
-4
Let o(a) = -a**3 + 16*a**2 - 12*a - 41. Let g be o(15). Let h be 1*(-2)/(-6)*24/g. Solve 2*v + 3*q + 3 = 0, 3*q = h*v - 4 + 13 for v.
-3
Suppose 5*p + 3*o - 2*o = 0, 0 = -2*p + 3*o. Suppose p = -19*c + 9*c + 20. Solve -4*m - n = 21, c*m + 4*n + 13 = n for m.
-5
Suppose 2*k + 4*z = -14, -5*z + 4*z = -4*k + 8. Let r be k*-4*8/(-16). Solve t + r*u + 6 = -6, 14 = -2*t - 2*u for t.
-2
Let q = -1 + 6. Suppose 2*t = -4*l + 30, 5 = -101*t + 102*t. Solve 2*v = 4*v - l*s - q, v + s = -1 for v.
0
Let z(n) = 3*n**3 - 6*n**2 - 7*n + 46. Let d be z(4). Let t = 119 - d. Solve -y + 4*h = 12, y = 2*h - t*h + 9 for y.
0
Suppose 2*t = u - 7, -19*t - 24 = -4*u - 13*t. Solve -20*l + 18*l + 2 = f, -11 = u*l + 5*f for l.
3
Let k = 7 - 5. Let t = -167 - -187. Suppose j = -t + 43. Solve -j = 5*h + k*v, -3*h = -2*h - 2*v + 7 for h.
-5
Suppose -2*i - 12*v = -23*v + 5, -4*v = -5*i + 11. Solve -i*m + 8*m + 15 = 4*w, 4*m - 2*w + 12 = 0 for m.
-3
Suppose 288 - 111 = 194*a - 405. Solve -91*t - 6 = -90*t - f, a*t + 5*f - 14 = 0 for t.
-2
Suppose -8*n = -1406 + 1910. Let f = n + 63. Solve v = 3*q + 7, f = 6*q - q - 5*v + 5 for q.
-3
Suppose -4*x + x - 6 = 4*h, 12 = 3*x - 2*h. Suppose -31077 + 6073 = 19*s. Let o = 1336 + s. Solve 3*j + 0*t = -x*t - 17, 4*j = -2*t - o for j.
-3
Let u be 3*22/330 - 19/(-5). Solve -u*l + 14 = 3*m, 4 = -3*m + 2*l - 12 for m.
-2
Suppose -m = -4*q - 34, -2*m - 12 = 2*q - 130. Suppose 0 = 4*k + 14*k - m. Solve 4*h - f + 26 = f, -3*h + k*f - 24 = 0 for h.
-5
Let z(v) = -37 - 14 + 10*v - 21*v. Let y be z(-5). Suppose -5 = -y*n + 15. Solve -6 = 5*b + n*t + 14, -26 = -b + 5*t for b.
1
Let i(f) = 13*f + 35 + 15*f - 24*f. Let x be i(-9). Let r(h) = -6*h**3 - h**2. Let j be r(x). Solve -j = -3*d - 5*z, -4*d - 4*z + 31 = -7*d for d.
-5
Suppose -13*b = 5*l - 18*b + 15, 0 = 3*l + 5*b - 31. Solve 0 = y - l, -4*f - 6*y - 12 = -8*y for f.
-2
Let z be ((-616)/63)/(-4) - (-8)/(-18). Solve 3*m - 4*b + 7 = 0, 4 = -z*m - 4*b + 26 for m.
3
Let i = 1018 + -1010. Let s be (-20)/(-4 + 0)*-2. Let w be 3/((-5)/(s/3)). Solve -4*k - i - 16 = -3*q, 4*k = w*q - 20 for q.
4
Suppose -5*g = -2*j - 28, -16 = -2*g + 3*g + 5*j. Suppose 23*i - 3 = z + 20*i, 3*z = -5*i + 33. Solve -3 = 3*m + 3*u, 4*m + 2*u - z*u = g for m.
0
Suppose -h + 72 = 5*x, 3*x - 48 = -h + 2*h. Let g be ((5 + -20)/(-5))/(1/(16/6)). Suppose -g*y + 5*y + x = 0. Solve -5*v - i = -27, -v + 13 = -i + y*i for v.
5
Let l = -214 + 500. Let g be 11/(l/464) + 2/13. Suppose -9*q = -g - 0. Solve 5*c = -q*v + 20, 12 - 2 = 5*c for v.
5
Let t(s) = -s**3 + 4*s**2 + 13*s - 5. Let z be t(6). Let k = 2745 + -2743. Solve -3*q - v - z = -2, 2*q = -2*v + k for q.
0
Suppose 5 = 2*v - v. Suppose 8*c - 12 = v*c. Let i(t) = -12*t**3 + t**2 - 6*t - 7. Let q be i(-1). Solve l - c = 4*f, -5*f - 3*l = -2*f - q for f.
0
Let l be -2 + (0/(-4) - 3). Let o be l + 3 + -4 + 3 + 13. Suppose x - 10 = -x - 2*g, -5*x = -4*g - 7. Solve -o = 2*t + 3*t + 2*p, t = -x*p - 2 for t.
-2
Let a(z) = -6*z - 108. Let f be a(-18). Suppose -4*i + 54 = -10. Solve 4*t = -f*b + 5*b - i, b = 0 for t.
-4
Let w = -1587 - -1595. Solve 4*t - 2*t + 5*d = 10, -t + 4*d = w for t.
0
Suppose 12*h - 1