 3*x - 3. Let o be 28/8 + x/4. Let n(w) = w**3 - 2*w**2 - 8*w + 4. Let i be n(4). Solve 2*j = o*v - 7, -i*j - 4*v = v + 25 for j.
-5
Suppose -5 = 3*v - 5*j - 54, -j - 37 = -4*v. Solve -2*f + 2*i + v = 0, 3*f + 6*i - i + 20 = 0 for f.
0
Let k be (-32)/(-4) - (-19 - -15). Let u be (0 + (-6 - 0))*1. Let i be (-2)/u + (-4)/k. Solve 8 = -4*b + 4*t - 3*t, -b - 5*t - 23 = i for b.
-3
Let x = 592 + -590. Solve q = -n + 7, -x*q - 3*q = 2*n - 26 for n.
3
Let q be (-12)/10*60/(-9). Let g be (1 + -3)/((-4)/q). Let k be (-2)/(g/(-5))*2. Solve -6*f + k*f = 4*y + 19, -4 = y for f.
-3
Suppose -j - 1 = -0, 3*i - 19 = 4*j. Suppose t - 6*t + 19 = 4*d, -2*d + 17 = i*t. Let g = 4 - 2. Solve 3*u - 15 = -t*a, 0 = g*u - 5*u for a.
5
Suppose -3*f - 2 = -8. Let a(z) = -2*z**3 + 9*z**2 + 24*z + 1. Let y be a(-2). Solve 1 = -3*j - y*s, f*s + 0*s = 5*j + 12 for j.
-2
Let h be (-1)/(-3) + (-222)/18. Let b = 12 + h. Let i be (16/(-20))/((-4)/30). Solve 5*n - 2*t - 21 = b, -3*n - i = -n + 4*t for n.
3
Suppose -6*s = -3*s - 6. Let q = 6 + -1. Suppose 0 = -q*z + 2*f + 43, 0 = -4*z + 4*f + f + 31. Solve -10 = j - s*r, 5*r + z - 37 = 4*j for j.
-2
Suppose 3*k + 23 = 5*f - 21, k = 3*f - 24. Suppose -3*s = -59 - f. Solve -r = 2*g - 4*r, 4*g + 5*r = s for g.
3
Suppose -22 = -11*z + 6*z - 4*w, 5*z - 19 = -3*w. Solve -3*u = -r - 6, -1 - z = r for u.
1
Let b(c) = 3*c + 59. Let l be b(-19). Solve -s - 2*o + 6 = 0, -l*o + 1 = -s + 3*o for s.
4
Let s(j) be the second derivative of j**4/12 + 5*j**3/3 + 3*j**2/2 - 5*j. Let l be s(-10). Solve -3*w - a + l = w, 3*a = 5*w - 25 for w.
2
Let a be ((-21)/14)/(2/(-12)). Suppose a*b - 10 = 4*b. Solve -2*i - b = -4*n, -3 - 1 = -3*n + 2*i for n.
-2
Suppose 3*v = 25 + 14. Let r = v - 4. Solve -3*p + 3*u = -r, -2 = -2*p - 2*p + 2*u for p.
-2
Let q be (-4)/(-16) + 11/4. Suppose -3*g + 9 = -q. Solve 0 = -g*l - x - 3, -l + 2*l - 2*x - 6 = 0 for l.
0
Suppose -17*s + 1548 = -5*s. Let f = 142 - s. Solve 2*m - 22 = -3*h, -4*h = -5*m - 4 + f for h.
4
Let z(h) = h**3 - 2*h**2 + 7*h - 11. Let c be z(2). Solve -3*l + 0*l + c*t + 24 = 0, 3*l - 4*t = 27 for l.
5
Let j(x) = -2*x - 3. Let n be j(-1). Let l be (-1 - 1 - n)*(-1 + -9). Solve -2*a = -4*b - l, 3*a = 2*b - 4 - 1 for a.
-5
Suppose -4*v + 2*x = -16, 5*v + 48*x - 46*x = 11. Solve -v*j - 2*m - 10 = 2*m, -4*m - 14 = 5*j for j.
-2
Let b = -974 + 974. Let s = 12 - 9. Solve -g - 2*d + 1 = b, -s*g + 3*d - 19 = -g for g.
-5
Let c = -287 + 293. Solve 2*r = w + c - 1, 5*w + 11 = -4*r for w.
-3
Let x(h) = 2*h + 7. Let j be x(-3). Let r = j - 1. Suppose -3*b + 2*b = r. Solve -2*d + 2*y + 3*y = b, -5*d = 4*y for d.
0
Let g be (-2 - -1)/(3/(-6)). Suppose -g = -d + 4*p + 22, d + p = -1. Solve -4*r + d*y = -4, 4*r - y = -4*y + 4 for r.
1
Let v(d) = -16*d - 313. Let s be v(-20). Solve -5*f - 3*a + 37 = -s*a, 3*a + 14 = f for f.
5
Let v be -5*3*(-6)/45. Suppose 3*d - 4 - 15 = -v*w, 0 = 4*d + 3*w - 27. Solve -3*t + 3*k = -0*t, t + d*k = -12 for t.
-3
Let b(m) = m**2 + 14*m + 19. Let c be b(-9). Let q = -22 - c. Solve -2*v = -2*l + 4, -2*l + q*l = 4*v + 4 for l.
2
Let p(n) = n**3 + 4*n**2 - 5*n + 1. Let b be p(-5). Let t be 2*(-4)/(b - -3). Let r = 0 - t. Solve d - 5*f - 17 = 0, -f - 7 = r*d - 4*d for d.
2
Suppose -3*d + 0 = 5*l + 38, -2*d = -2*l + 20. Let o = d - -13. Let w be ((-21)/(-28))/(o/8). Solve -4*x + 4*c - w - 1 = 0, -9 = 5*x - 3*c for x.
-3
Let j = -24 + 45. Let o be (-14)/(-3) - 14/j. Solve -3*s + 2 = 2*a, s + 0*s + 18 = o*a for s.
-2
Let w be ((-8)/(-6))/((-20)/(-15)). Let g(a) = 8*a**2 - 1. Let i be g(w). Solve 3*y - i - 2 = -2*b, 0 = -2*y + 3*b + 6 for y.
3
Let t(o) = o**2 - 3*o - 14. Let u be t(-4). Let k be u*(2 - 6/4). Solve -2*v + k*a - 14 = 3*a, 0 = -3*v + 2*a - 1 for v.
3
Suppose -4*a + 8 = 3*g, -24 = -2*g + 4*a - 2*a. Suppose -7*p + 16 + 12 = 0. Solve r + p*f - g*f = 0, 2*r = 4*f for r.
0
Suppose 2*u + 3 = o, 13 = 2*o - 2*u + 1. Suppose 26 = t + o. Let c(x) = 15*x + 1. Let q be c(1). Solve 0 = 3*s - 5*w + t, 3*w + w - q = 0 for s.
1
Let p be (-24)/(-5) - 1/(-5). Suppose -p*n + 3 = -2. Let x = n - -4. Solve -2*i + 5 = -d, i - x*d = -4 - 7 for i.
4
Suppose 3*w + 2*z - 4 = 0, 3*w - w + 3*z - 1 = 0. Suppose -3*y - w*y = 0. Suppose 4*t - 10 - 10 = y. Solve t*f = p + p + 8, -4*p = f + 16 for f.
0
Let c = 269 + -264. Suppose 0*h - 15 = -3*h, 0 = 3*x + 2*h - 22. Suppose 0*u - x*u + 8 = 0. Solve 3*r = -c*m + 22, r = -u*m + 3*r - 4 for m.
2
Suppose -3*w + 76 = -7*w. Let p(z) = -z**3 - 20*z**2 - 21*z - 25. Let d be p(w). Solve 2*v + 1 = -4*c - d, -3*c - 8 = 4*v for v.
1
Suppose t + 4*v = 73 + 185, t - 3*v = 279. Suppose -90 = 5*c - t. Suppose 5*z - c = -4*g, 0*g + g = -z + 8. Solve -z*b + 9*b - 25 = 0, 0 = 4*w - 5*b + 37 for w.
-3
Let g(z) = -z**3 + 8*z**2 - 8*z. Let n be g(7). Let q(u) = -3*u + 50. Let k be q(14). Let h = k + n. Solve 0 = -5*s - 2*j - 12, 0*s - 3*s = -5*j + h for s.
-2
Let l(p) = -2*p**2 - 13*p + 12. Let u be l(-7). Solve -4*r = -8, i + 0*r + 13 = u*r for i.
-3
Let q be ((-1)/3)/(78/(-468)). Let v = 7 - 32. Let w = v - -40. Solve q*f = t + 5, 3*t - 6*t - w = -f for t.
-5
Suppose 5*w - 10 = u, 21 - 4 = u + 4*w. Suppose -2*r - 4 = -2*a, -5*r + 14 = 2*a + a. Solve 5*b + a*q = 12, 0 = u*b - 3*q - 2*q - 20 for b.
3
Let w be (30/120 - (-43)/4) + -6. Solve w*g - 3*q = -7*q + 37, 0 = -4*q + 12 for g.
5
Let n(k) = -3*k - 23. Let l be n(-9). Suppose l*m - 12*m = -24. Solve m*x = -0*d + 4*d - 5, 4*d + 3*x - 35 = 0 for d.
5
Let t(o) = -2*o - 12. Let g be t(-8). Solve 10 = 5*a + 3*n - g*n, 2*a = -3*n + 4 for a.
2
Suppose 20*m - 10 = 15*m. Solve -2*u - 11 = -3*g, -m*u + 5*u + 12 = 0 for g.
1
Let i(k) = -k**2 - 10*k + 13. Let g be i(-11). Suppose 10 = 2*l - 3*u + g*u, -5*l + u + 19 = 0. Solve 0 = -h + 2*x - 4, -4*h - x - l = 4 for h.
-2
Let v(q) = q**2 - q - 26. Let g be v(6). Solve -n + 2*h = g*h - 3, 3*n - 5*h + 35 = 0 for n.
-5
Let c = 36 - 14. Suppose -349 = 25*v + 126. Let a = c + v. Solve 4*u + 37 = 5*g, u = g + a*g - 23 for u.
-3
Let g = -82 + 49. Let u = -19 - g. Suppose 4*x - u = -2. Solve o - 13 = 2*z - 4*z, -o + 17 = x*z for z.
4
Let c(l) = -l**3 - 3*l**2 + 3*l - 2. Let x be c(-4). Let d be -2*(-20)/(6 - x). Suppose 5*f = -d + 25. Solve o - 10 - 6 = -f*b, -12 = 3*o - 3*b for o.
1
Let m be (-6)/(-39) - 160/26. Let s be m/(-8)*(-8)/(-3). Suppose 0 = s*k - 11 + 3. Solve -2*p = 4*c + 8, -c = -k*p - 2 - 5 for c.
-1
Suppose -k = 1, 5*k + 1 + 1 = -p. Solve 3*t - 2*o - 6 - 8 = 0, -p*t + 10 = 2*o for t.
4
Suppose 5*s - 4*f = 277, -4*f - 37 = -s + 12. Let n = s - 54. Solve 0 = n*c, -3 = -w - 5*c + 1 for w.
4
Suppose -50 = 5*v + 5. Let o = v + 16. Suppose -4 = o*z - 14. Solve 3 = -0*k - k - 2*g, -z*g = -k + 13 for k.
5
Let x be ((-7)/(-56))/(2/32). Let d = 11 + -6. Solve 3*j = d*p - 8 + 3, -2*j + x*p = -2 for j.
5
Suppose 5*s = -j - 4*j, -4*j = -4*s + 16. Solve f = -s*m - 11 + 7, 0 = -m - 4*f - 16 for m.
0
Let t = 12 - 9. Let i be -27*(-3)/(-9) - -9. Solve -q + 4*q + u = i, 9 = t*u for q.
-1
Let w be (0 - 6)/(3/(-2)). Let j(t) = -t**3 + 9*t**2 - t + 25. Let r be j(9). Suppose -r = -o - 11. Solve o*m = -w*g + 1 - 13, -4*g = 12 for m.
0
Let k(f) = f**2 - 2*f + 1. Let d be k(3). Let g(l) = -l + 7. Let h be g(d). Suppose h = j + 2. Solve -2*t - 6 = 2*t - 5*a, 0 = 5*t - 2*a - j for t.
1
Suppose 4*y - 16 = -4*h - 0*y, -3*y = 0. Solve -5*f - 4 + 21 = 4*w, 8 = -h*w for f.
5
Let o = -11 - -27. Let c = -13 + o. Solve 24 = 4*r - c*t, -2*r + 5*t + 26 = -0*t for r.
3
Suppose 2*u + o = -3, -2 = 3*u + 4*o + 15. Solve u = 2*z - 3*g - 5, -4*g - 12 = -4*z for z.
3
Suppose 8*d - 9 = 5*d. Suppose 0 = -d*s + 12, 4*s + 7 - 33 = -i. Solve -3*g + 4*f + f + i = 0, 4*g = -2*f + 22 for g.
5
Suppose -2*t + w - 1 = 3, 5*t + w = 4. Let p = 5393 - 5391. Solve -4*s + t - 22 = 3*v, s - 3*v - p = 0 for s.
-4
Let c be (7 + (-99)/15)*5. Solve -5*s = -c*z + 6*z - 22, -z - s = -5 for z.
3
Suppose 4*z = 7*z - 27. Suppose 3*k + 0 = z. Solve -4*j + 2*j - 6 = k*l, 3*j + 3*l = -6 for j.
0
Suppose 8 = l - 17. Suppose 3*d = -2*d + l. Solve -4*f + 0*s - 16 = 5*s, -d*f + s = 20 for f.
-4
Let s = -1502 - -1510. Solve 0 = s*x - 5*x - 5*o - 12, 3*x + 5*o - 12 = 0 for x.
4
Suppose -9*b = -8*b - 5. Suppose 2*h - 9 = -b. Solve h*r + 4*i + 10 = 0, 0 = -0*i - i - 1 for r.
-3
Let x = -4 + 8. Let q = 769 + -769. Solve i + 3 = -q*i, -n + x*i = -8 for n.
-4
Let u b