= -4*x + 3*x - 5*u for x.
4
Let b be (4 - 320/88)/(14/77). Solve 0 = 2*i - 4*p + 14, b*p + 3 = -i + 3*p for i.
1
Let a = -1736 - -1741. Solve -a*v = 2*z - 4, 0 = -0*z + 4*z + v + 10 for z.
-3
Let a(s) = s**3 + 7*s**2 + 8*s + 61. Let t be a(-7). Solve 0 = -3*z - 5*l - 27, 8*l + 13 = -z + t*l for z.
-4
Let d be -93*(5 + -5 + 2/(-6)). Let q = d + -6. Suppose 0 = b - q + 21. Solve a = b*f + 8, 0 = -f + 6*a - 4*a - 9 for f.
-1
Suppose 7*v + 3*v - 140 = 0. Let f be (-12)/15 - (-2 + v/(-5)). Solve 5*x - x + f = -3*r, -3*r = -12 for x.
-4
Suppose -11*k + 14*k - 57 = -v, v + 363 = 17*k. Solve 15 = -5*g + 10*g, -3*w - k = -5*g for w.
-2
Let q be ((-8)/10)/((-2)/5). Let a = -317767 + 317771. Solve 5*j - a*g + g = 26, -q*j = -3*g - 14 for j.
4
Let n = -13 + 15. Suppose 0*c + 2*y = -n*c + 10, -4*y = 4. Let z(u) = u**2 - 7*u + 11. Let k be z(c). Solve -3*w + k*l - 12 = 0, -5*w + l + 2 + 0 = 0 for w.
1
Let w(r) = 504*r + 514. Let o be w(-1). Solve -1 = -q - 5*a + o, 5*q - 2*a = 1 for q.
1
Let c be 420/(-77) - -6 - (-1 + (-81)/33). Solve -3*m = -c*h + 2*h - 11, -9 = 3*h - 2*m for h.
-1
Suppose 5*a - 3*q + 0 = 29, 4*q = -12. Suppose 5*h + 2*z - 24 - a = 0, -3*z - 3 = 0. Solve -5*g = o - h, -2*o + g - 3 + 4 = 0 for o.
1
Suppose -24*k = -18*k - 156. Suppose -k + 162 = 34*t. Solve 0 = t*u + 4*z - 28, 0*u = u + 5*z - 23 for u.
3
Let v = -20 - -22. Let m be (36/(-5))/(-1) - 58/290. Solve 2*o - 2*b + v = 0, m*b - 3*b = -3*o + 11 for o.
1
Let s = -2070 - 3178. Let d be s/(-448) - (-4)/14. Solve 0 = 3*y - 2*p - 23, 2*y + 2*p = -2*y + d for y.
5
Let d(o) be the second derivative of o**4/12 + o**3/3 - 10*o**2 - 33*o + 1. Let z be d(4). Solve -2*c + 5*f + 8 = -12, f + z = -c for c.
0
Let v be (-1584)/(-21) - 9/21. Let c be (-8)/((-168)/v) - 6/(-14). Let a be 1/((0 + -1)/(-1)). Solve -c*z + a = -3*z - 2*f, -4*z + 4 = 5*f for z.
1
Suppose 81*c = 455*c - 1122. Solve -5*n - 21 = 13*v - 9*v, 3*v + 9 = c*n for n.
-1
Let w = -5442 + 5442. Solve 2*k + 16 = 4*b - k, -b - 5*k + 4 = w for b.
4
Let t(f) = 47*f - 654. Let c be t(14). Solve 30 = 18*y - 20*y - c*k, -5*y = 2*k + 35 for y.
-5
Let k = 173 - 100. Let l = 112 - k. Let z = l + -37. Solve -6*w = 4*n - z*w + 20, 0 = w for n.
-5
Let n be (-6725)/(-10) + (0 - 3/(-2)). Let j = -672 + n. Solve -28 = j*d - 8*x + 3*x, 3*d + x = -8 for d.
-4
Let y = 374 + -50. Let n = -321 + y. Solve 16 = n*k - 6*k + q, 2*q = 8 for k.
-4
Suppose -90*c - 15 = -15. Solve 0*r - 3*i = 5*r, c = r + i - 2 for r.
-3
Suppose 5*l = -5, 1705*t + 2*l + 17 = 1708*t. Solve -28*z + t*c + 13 = -27*z, -5*c = z + 17 for z.
-2
Suppose -14*i - 219 + 437 = 218. Solve g - 6*f = -3*f - f, i = 3*f for g.
0
Let p(s) = 7*s - 83. Let k be p(13). Suppose -8 + k = 14*o. Suppose o = -6*m - 13 + 25. Solve -10 = m*z, w + w = 4*z + 18 for w.
-1
Let t = 7799 + -7797. Solve 4*c = -12, 3*c = t*n - 7 - 2 for n.
0
Suppose 31*s - 71 - 53 = 0. Solve -6*w = -5*w + 2*u - 13, -4*w + 32 = s*u for w.
3
Let r(m) = 197*m + 218. Let d be r(-1). Solve 5*o + d = -4*y + 20, -5*y + 10 = -5*o for y.
1
Suppose 0 = p - 40 + 36. Solve -6*o + o = 2*g - 10, -p*o + 8 = -5*g for g.
0
Suppose 0 = -4*v - 4*c + 4, 0 = -3*v + 15*c - 11*c - 25. Let s(y) = -y**2 - 3*y. Let h be s(v). Solve j - 17 = -5*u - h*u, j = -u + 1 for u.
4
Let s(h) be the first derivative of -11*h**2/2 - 41*h + 112. Let t be s(-4). Solve -24 = 3*l - 3*k, 0*l = t*l + 5*k for l.
-5
Let b(s) = 2*s**2 + 4*s - 196. Let h be b(9). Suppose 3*a - 12 = 2*a. Suppose i - 5*i = -a. Solve -p - h*q = -5, -i*p + q - 3*q = -11 for p.
3
Let j = -8033 + 8036. Solve -3*r = -j*o + 15, r + 7 = -5*o + 14 for o.
2
Let s be 354/(-295)*10/(-42)*7. Solve -l - 2*f = -9, -3*l - s*f + 3 + 12 = 0 for l.
3
Let t(z) = 525*z - 3112. Let p be t(6). Suppose h - 3*h + 5 = -5*x, -5*x = 4*h - 25. Suppose -3*b - 10 = -4*b. Solve -h*u + 16 - p = i, i + b = -2*u for u.
-4
Suppose 0 = 3*i - 8 - 1, 0 = 3*j - 2*i - 210. Let l = -70 + j. Solve 4*d + 19 = 3*h, -1 = 5*h + 2*d + l for h.
1
Let i(d) = d**3 - 9*d**2 - 9*d - 7. Let y be i(10). Let v(b) = 24*b**2 + 1847*b - 77. Let m be v(-77). Solve y*p + w = -p + 14, 3*w + 6 = m for p.
4
Let s be -9*(-1)/27*15. Solve -k + t + s = 0, -9*t + 4 = -11*t for k.
3
Let t(k) = k**3 + 29*k**2 + 40*k + 54. Let n be t(-27). Suppose 0 = j + 8*j - n. Let z = 49 - j. Solve 8*y - 3*y + z = -4*b, 2*b - 4*y = 6 for b.
1
Suppose -5*p - 12 = v + 2*v, -2*v - 8 = p. Solve -2*w + 3 = -b + 10, -3*w - 15 = p for b.
-3
Suppose -27 = -9*j - 4*j + 4*j. Solve -4*k = 5*g + 20, -j*g = -3*k + 6*k + 15 for g.
0
Suppose 2 = q - 0. Let n be q - (-2 - 0) - 1. Let k(o) = 3*o**3 + 83*o**2 + 562*o + 40. Let h be k(-16). Solve n*z - 13 = g + h*z, 2*g = 4*z + 2 for g.
-3
Let z = -25 + 27. Suppose 5*d = l + 129, -7 = -z*d - 4*l + 27. Solve -5*o - q - d = 0, 3*q + 10 = -2*o - q for o.
-5
Let f be 63/7 - 33/(-3). Solve 4*k = k + 5*d - 23, 5*d - f = 0 for k.
-1
Suppose 6*t - 22 - 23 + 15 = 0. Solve -3*l + 30 = 3*q, t*q + 3*l = 13 + 27 for q.
5
Suppose 51*s - 195 = 9. Solve 5*k = -5*y - 5, 5*y + 10 = s*y + 2*k for y.
-4
Let r(j) = -j**2 + 9*j - 11. Let x be r(7). Let c(l) = -l**2 + 4*l + 7. Let o be c(5). Suppose -2*q - o = -26. Solve 5*v - q = -x*b, 0*v = b + 2*v - 4 for b.
4
Suppose -149 = -120*y + 31 + 180. Solve -2*q - 4*s = 30, -2*q - y*s = -2 + 27 for q.
-5
Let n(s) = 7 + 3 + 5*s + 8 + 19. Let r be n(-7). Solve -r*j + 8 = -2*c, -c = -4*c - 12 for j.
0
Let h(v) = -3*v**2 + 55*v - 5. Let l be h(18). Suppose l*z - 79 = 155. Solve -2*i - 2*i + 2*r + z = 0, -5*i = -2*r - 21 for i.
3
Let h = 413 + -404. Suppose -h*j + 63 + 45 = 0. Solve -2*x - 1 + 5 = a, -3*a = -j for x.
0
Suppose -6*k = -658 + 406. Suppose -2*h = f - k, 2*f - 42 = -2*h + 3*f. Solve t + h - 8 = -4*c, t + c + 4 = 0 for t.
-1
Let f = -6 - -14. Let x(z) = 0*z - 8*z**3 - f*z**3 - 5 - z + 17*z**3 + 7*z**2. Let q be x(-7). Solve -3*v = q*g - 7, -5*v - 2*g + 19 = 2 for v.
5
Let p = -39 - -94. Suppose -49 = -3*r + 3*a + 2*a, -5*r = -3*a - p. Let c = -8 + r. Solve 0 = -c*m + m - 3*y + 8, -2*y + 2 = -4*m for m.
1
Suppose 0 = -2*a - 2*o - 50, 0 = -3*o + 4*o + 3. Let j = a - -26. Solve -j*d = -3*u - 13, -d + 1 + 3 = 0 for u.
1
Let s(v) = -v**2 - 4*v + 442. Let z be s(19). Solve 5*f - 8*f + 5*a + 17 = 0, -2*a = z*f - 18 for f.
4
Let x = 229 - 190. Suppose 49 = 5*c + x. Solve 0 = 5*a, c*u = 4*a + a + 8 for u.
4
Suppose 2*t + 7 = 2*z - 9, 4*t + 16 = 0. Suppose v - 11 = p, 40 = z*v + 3*p - 8*p. Solve 5*d + 4*g - 12 = 0, 5 + v = 3*d - 4*g for d.
4
Let q(s) = 2*s - 8. Let j(z) = -z + 11. Let b(l) = 3*j(l) + 2*q(l). Let d be b(-9). Solve m - d = -5*o, 4*m + 0*m = -4*o + 16 for o.
1
Let x be 5*6/15 + -2. Suppose 277*c - 270*c = x. Solve -2*l + 1 = 3*u - 0, c = 3*u - 3*l - 21 for u.
3
Let p be (-3)/(-8) + 174/48 + 0. Let q be (28/35)/(p/10). Solve 2*m = q*d, -m - 4*m = 0 for d.
0
Suppose -300 = -2*p - 4*c + 210, 3*p - 740 = -c. Suppose p*a = 249*a - 88. Solve 5*l + b - 5*b = -a, -l + 5*b - 17 = 0 for l.
-2
Let k be (2/(-6))/((-42)/252). Let y be 0/3 + 4 + 1. Solve 3*m - y = 3*w - k, 4*m + 2 = w for w.
-2
Let h = 42 - -9. Suppose -71*l - h = -74*l. Solve 0 = 2*c - 5*r + l, -4*c - 2*r = -0*r - 2 for c.
-1
Let x(d) = 11 - 8 + 16 + 0*d**2 + 16*d + d**2. Let z be x(-15). Suppose 2*o + 6 = 2*u + 2*u, 3*u - z*o = 2. Solve -a + 3*g = u*a - 6, g = -3*a - 10 for a.
-2
Suppose -82 + 6 = -49*z + 71. Solve -5*m = -10*j + 9*j + z, 0 = m - j - 1 for m.
-1
Let l(i) = 2*i**2 - 148*i + 2349. Let d be l(55). Solve 5*g - 40 = 5*y, d = 3*y + 4*g + 248 for y.
-3
Let s(t) = t**2 - 11*t + 34. Let n be s(6). Let u be n/6 - ((-28)/(-6) + -7). Solve 11 = u*g - 4*o + 30, 4*o - 16 = 0 for g.
-1
Suppose 0 = 10*y - 3*y - 49. Let t(w) = w**3 - 6*w**2 - 5*w - 10. Let n be t(y). Suppose 2*k = 6 + n. Solve m + 2*v = 2*m + 12, 0 = k*m + 5*v for m.
-4
Let c be 6*(6 + 85/(-15)). Solve -o = -c*u + 3*o - 22, -3*o = -5*u - 20 for u.
-1
Suppose -5*z + 8*l - 4*l + 5 = 0, l + 5 = 2*z. Solve -3*k = -z*a - k + 11, 5*a = -4*k - 7 for a.
1
Let r(x) = 2*x**3 + 28*x**2 + x + 12. Let f be r(-14). Let k be (-8)/(24/(-15)) - (f + 4). Solve 11 = 2*i + k*z, 17 = -3*i + 4*z - 9 for i.
-2
Let z be (-8)/(-4) - (-7 - -5). Suppose -m + 2*n = -14 + z, -5*m + 4*n = -26. Let r = -11 + 19. Solve -5*i + m = x - 18, -r = -2*i + 5*x for i.
4
Suppose 0 = 3*q - 7*q. Let s = -18693 - -18698. Solve -8 