x + 3*u - 6*u = -1. Suppose -4*v = v - 20. Let c be v/(-2) - -4 - (1 + -1). Solve -c*a + 1 - 5 = -x*f, 5*f - 6 = 3*a for f.
0
Suppose x - 4 + 0 = 0. Suppose 0 = 57*p + 391*p + 72*p - 1040. Solve 3*w + 10 = -x*c, -w - 13 + 7 = p*c for c.
-4
Let n be 4*(0 - (-18)/8). Let k be 498/(-5)*(-7 - 114/(-12)). Let t = k - -263. Solve -2*o = -3*i + 2, n*o - 4*o + t = 3*i for i.
-2
Let a(p) = -p + 13. Let m be a(11). Suppose -18*d - 12 = -4*k - 17*d, 3*k - m*d - 14 = 0. Solve 0 = -f - 3*f + 8, y - k = -3*f for y.
-4
Let g = 1575 - 1562. Solve 11 = -10*b + g*b - 2*a, 3*a - 6 = 0 for b.
5
Suppose -4*q + 2*c = -0*q + 28, 0 = c + 2. Let v be (1 + -5)*12/q. Let t be (-4)/(-2) + v + -7. Solve -3*j - g = -t, -3*g - g + 16 = 0 for j.
-1
Let a be (27/(-15))/((-5)/75). Suppose a = 20*d - 53. Solve -d*s + 10*t - 5*t = -26, -3*t = 4*s - 10 for s.
4
Let d(y) = 2*y**3 + 14*y**2 + 8. Let q be d(-7). Suppose 4*x - 28 = -q. Solve x*b + 4*l - 8*l = 24, 5*l = -b - 1 for b.
4
Let l(o) be the first derivative of -o**4/4 + 32*o**3/3 - 33*o**2/2 + 81*o - 15. Let w be l(31). Solve 0 = 5*k - 3*v - w, -3*k + v + 18 = k for k.
5
Suppose 24 = 18*y - 6*y. Let d be 14/28*(6 - y). Solve 0 = 3*v + 4*x + 15, -d*v - 3 - 7 = 2*x for v.
-5
Suppose 0 = -2*z + 19 - 1. Suppose 0 = 4*k + z - 17. Solve 0 = -h - k*b - 8, 14 = 5*h - 4*b - 16 for h.
2
Suppose 4*u + 2 = -3*x, 5 - 23 = -5*x + 4*u. Solve 3 + 7 = x*w + 5*g, 5*w - 25 = 5*g for w.
5
Let o = 2012 - 1992. Let c be 6/(2 + 3/(-6)). Solve 4*n = -o, -c*u - n - 5 = 4*n for u.
5
Let a(z) = -z**2 + z + 6. Let n be a(2). Let q(i) be the first derivative of i**2 + 18*i + 3. Let m be q(-8). Solve m*s + n*v = 2, -4*s + v + 10 = 6*v for s.
5
Let g(q) = 2*q**2 + 25*q + 23. Let f(j) = -j + 1. Let w(u) = -4*f(u) + g(u). Let a be w(-14). Solve -12 = -d + 4*k, -k - 14 = -a*d - 4*k for d.
4
Suppose 46 + 144 = 38*s. Solve -s*k - 10 = 5*q - 0*k, -4*q + 2*k = 26 for q.
-5
Let p be (-209)/(-66) - (2 - 22/12). Suppose -2*v - 2*d + 24 = 0, -4*v + 56 = -p*d + 5*d. Solve -25 = 3*i + 5*o, 2*i + 4*o = -4 - v for i.
0
Suppose 2*b - 3*c + 55 = 0, b + 38 = -c + 6*c. Let w = b + 26. Suppose 7*g - 8 = w*g. Solve 5*h + 3*y = 6*y - 10, h + 4*y = -g for h.
-2
Suppose -2*o + 11*a - 7*a + 20 = 0, -26 = -5*o - 2*a. Solve -o*k = -4*k + 2, -4*z - 3*k - 19 = 0 for z.
-4
Suppose -4*j - 2 = -2*u, u + 1 = -j + 4*j. Suppose 4*q = -4*z + 68, u = -4*z + 5*q + 55. Solve -4*o - 12 = -4*c, 0 = -5*o - 3*c - 2*c + z for o.
0
Suppose -j + 1484 = 5*m + 1453, 4*m + 3*j - 16 = 0. Solve 6*z - z = 4*d + m, 0 = 6*z + 5*d + 21 for z.
-1
Let r(c) = 51*c + 102. Let q be r(9). Let a be (-6)/(-21) - q/(-119). Solve -a*p + 5*z - 15 = 0, -4*z - 6 = -2*p - 8*z for p.
-1
Suppose 1677 = 35*y - 248. Suppose d = -3*a + 3, -5*a = -6*d + d + y. Solve -4*k + 2*j - 9 = d, 3*k = -j - 6 for k.
-3
Let t be (10 - (-64)/(-6))*-12. Suppose -f - 11 = -5*s - 2*f, -5*f = -3*s + 1. Suppose s*a + 0*a = 4. Solve -r + q = -4*r - a, 4*r = 4*q + t for r.
0
Let s(n) = 13*n**2 - 51*n + 40. Let u be s(1). Solve 10*a - c - 14 = 8*a, 3*a - 7 = -u*c for a.
5
Suppose d + 2 = -2*p, 4*d = 5*d - 2. Let t be ((-3 + 3)/p)/2. Solve -k - 4 = b - 0*k, t = -k for b.
-4
Suppose 104*o - 105*o - 8 = -2*c, 4*c = -2*o + 16. Let y = -38 + 82. Suppose y = 5*j - 56. Solve -20 = -4*m, -j = g - o*g - 4*m for g.
0
Let m be 9*((-24)/54)/(-2). Suppose 0 = -n - m*u - 8, -u - 6 = -2*n + 3. Solve c + 2 = b - c, 2*c - n = 3*b for b.
-2
Let n(u) = 37 - 69 + 5*u + 28. Let b be n(1). Solve 5*z + 4*p - 18 = -b, 5*z + 5*p - 20 = 0 for z.
1
Let h be 9 + (4/(-32) + (-10)/48)*18. Solve l - 5*a + 16 = 0, 5*a = h*l - 4*l + 14 for l.
-1
Suppose 357 + 399 = 28*l. Solve 0*i - 11 = 5*n + 3*i, -3*n + 5*i - l = 0 for n.
-4
Let i(w) = -w**2 + w - 54. Let n be i(0). Let d be (-23 - -19)*((-4)/(-2) - 16). Let c = n + d. Solve -3*f + 21 = 2*o + c*f, 2*f = -4*o + 18 for o.
3
Let m be ((-2190)/219)/((-2)/(3/3)). Solve -11*q - 31 = m*d - 13*q, q = d + 8 for d.
-5
Let n = 29 + 4. Let d be -6*(n/(-36) + 1/4). Suppose 0*a = -a + 1, 0 = 3*u - 4*a + d. Solve 2*c = -3*z - 4, c - 3*z + 2 = -u*z for c.
-2
Let v(j) = -j + 33. Let i = 650 - 645. Let y be v(i). Solve 3*a = 4*m + y, -a - 4*m + m = 8 for a.
4
Let m(k) = -2*k - 1. Let s(q) = 12*q - 2 - 4 - 4 + 8. Let z(f) = 6*m(f) - s(f). Let b be z(-1). Solve -b = -5*g - 5*i, -5 = -3*g + 5*i - 33 for g.
-1
Let g(c) = -c**3 + 22*c**2 + 18*c + 141. Let i be g(23). Solve 3*x + 7 = 2*v, 5*x - i*v + 22*v = -15 for x.
1
Let u(o) = 3*o + 20. Let x be (2 - 7)*-1 + -16 + 7. Let j be u(x). Solve b - 6 = 4*i + j, -5*i - 26 = 3*b for b.
-2
Let q(n) = -n**2 - 77*n - 721. Let y be q(-11). Solve w - 5 = 4*t - 1, -y*w = 20 for t.
-2
Suppose 3*k = 7*k - 76. Suppose 4*n - b - k = 0, -4*n + 0*n - 2*b = -10. Let h be ((-3)/(-9))/(n/36). Solve 4*m + 21 = -h*j, -6*m + 2*m - 24 = 4*j for m.
-3
Let i(m) = -m**3 - 6*m**2 - 6*m - 87. Let f be i(-7). Let a be 2 - (f/(-10) - (-36)/90). Solve -x - 2 = -6, 2*c = x + a for c.
3
Let r(b) = -9*b**2 - 50*b + 95. Let f be r(-7). Solve 5*q = -f*s - 41, s + 5 + 19 = -4*q for s.
-4
Let f(r) = -3*r**2 - 2*r - 5. Let w be f(11). Let k = w + 396. Solve 0 = -m - g + k, 5*g + 0*g = 5*m - 20 for m.
5
Let g = 18140 - 18130. Solve -5*u = 5*a - 25, -3*a = 2*u + 2*a - g for u.
5
Let x(t) = -4*t + 39. Let a = 132 + -123. Let n be x(a). Solve 5*u - g = -10, u + 3*g - 11 = n for u.
-1
Let c(u) = -u**3 - 18*u**2 - 31*u - 29. Let x be c(-16). Let k be (-20)/(-6)*x/(-30). Solve 0 = o - n - 1 - 3, -2*n = -k*o + 11 for o.
1
Suppose 0 = -3*z - 40 - 92. Suppose -5*s - 5*j = 220, -s = 3*j - 30 + 78. Let w = s - z. Solve 5*h = -w*t - 0 + 17, -1 = -4*t + h for t.
1
Suppose 295 = 157*z - 19. Solve -9*n = -7*n + 4*w, -z*w = -5*n for n.
0
Let a = 554 - 522. Suppose 202*g + a = 210*g. Solve -10 = -d - 4*d, 3*s + g*d - 17 = 0 for s.
3
Let k = 5144 + -5142. Solve -a = 5*p + 1, 0 = p - 4*p - 2*a - k for p.
0
Let v(m) = 974*m - 8575. Let r be v(9). Solve -3*t - 30 = 4*p, -2*t + r = -2*p + 183 for p.
-6
Let z be 0/(15 + 72/(-9)). Solve 0 = -3*d - 5*t - 10, 218*d - 215*d - 2*t - 4 = z for d.
0
Let g(t) = 11*t**3 + 2*t**2 - 11*t + 11. Let v be g(1). Solve 0 = -n - 2*r - v, 112*r + 13 = -5*n + 115*r for n.
-5
Let u be 528/40 + (-36)/(-20). Solve 3*k = 2*f - 3, -13*f + 5*k = -u*f + 11 for f.
3
Let x be ((-104)/(-28) - -1) + 4/14. Solve 0 = -x*p - 4*d + 11, -8*p - 4*d + 19 = -11*p for p.
-1
Suppose s + 2*i = -37, -5*s + 3*i - 130 = 2*i. Let y = s - -30. Solve w + 2*t = -4, -2 = 2*w + y*t - 2*t for w.
0
Let w(d) = -d - 7. Let u(j) = 3*j - j + 38 + 3*j - 2. Let v(p) = -2*u(p) - 11*w(p). Let o be v(9). Solve 4*t - 21 = 5*g, 3*g = -0*t + t - o for t.
-1
Let r be (519/(-346))/(-1 - 2/(-4)). Solve 5*o + 16 + r = 3*h, -17 = 3*o + h for o.
-5
Suppose -169*i + 375 = -53*i - 205. Solve -w + 2*k = -6*w - 19, -17 = i*w + k for w.
-3
Let n(j) = j**3 - 45*j**2 - 48*j + 95. Let c be n(46). Let v be 7*(4/(-1) - 32/(-7)). Solve 3*y - v*m = 4*y - 12, -5*y = -c*m + 9 for y.
0
Let u = 272 - 263. Suppose -6*g - u = -9*g. Solve -2*i + 14 = 5*s + g, -2*i = s + 1 for s.
3
Let r(o) = 304*o - 9725. Let x be r(32). Solve -506*t + 501*t = 4*c + 2, -x*c = 3*t for c.
2
Let v(y) = y**2 + 3*y - 7. Suppose 6 = -2*o - 4. Let z be v(o). Let a(j) = -j**2 + 76*j - 761. Let s be a(64). Solve g - z*i = -11, 3*g - 8*g = -3*i + s for g.
1
Let l = 6401 + -6387. Solve -2*k - l + 22 = -2*o, 16 = 4*k for o.
0
Suppose 0 = -5*w - 4*k + 87, 2*k = 2*w - 0*k - 42. Suppose -20*s = -w*s. Let r = 22 - 17. Solve s = 3*q + 2*g - 7, r*q + 2 + 13 = 2*g for q.
-1
Let s(y) = -y**3 - 83*y**2 - 4*y - 327. Let o be s(-83). Solve 6*d - d + o*t - 15 = 0, -4 = -d - 2*t for d.
2
Suppose y + 66*y - 221 = 114. Solve -h + 6*h = 3*o, -2*o = -y*h for h.
0
Let j = 543 - 543. Suppose 0 = -3*w - a - 0 + 12, j = -2*a. Solve 22 = -w*h - t + 6, -5*h - 5*t - 5 = 0 for h.
-5
Let o = 10 - 7. Suppose -y + 6 = 3*v, 568*y = 4*v + 565*y - 47. Solve -5*i - 2 = -v*h - o*i, 4*i = 5*h + 6 for h.
2
Let a = 150 - 136. Let c be 3/((-3)/(-20)) - (-12 + a). Solve -o - c = -3*p - 5*o, -3 = 3*p - 3*o for p.
2
Suppose 235*s - 355 = 334 - 219. Solve 4*a + 20 = -s*m, 16*m - 8 = 20*m for a.
-4
Let z(d) = -4*d - 8. Let w be 6/21 + ((-144)/14 - -1). Let k be z(w). Let l = k + 0. Solve 7 + 10 = n - 4*s, 0 = -n - 5*s - l for n.
-3
Let m(x) = 2*x - 12. Let v be m(4).