, 3*w - s - 27 = -5*u for u.
4
Let q(n) = -n**3 - n**2 + n + 1. Let y be q(1). Let j be -3*4/24*y. Solve 2*p + 26 = 5*m, 5*m - 2*p + 5*p - 11 = j for m.
4
Let b = 34 + -31. Suppose 2*g = 2*j - 0*g + 8, 0 = 2*g. Let y be (j/(-6))/(1/6). Solve b*d - 2 = l - 0, 0 = y*d - 3*l - 1 for d.
1
Let n(b) = 388*b + 1954. Let q be n(-5). Let m = 1 + 3. Suppose -5*r = 4*y - 2*r - 13, -m*r - 8 = -y. Solve -4*o = o + 3*j + q, o + 4*j = y for o.
-4
Suppose -246 = 5*f - 11*f. Let b = 70 - f. Solve 2*d = -3*r - 2*r + b, 0 = 4*d - r - 3 for d.
2
Let r(k) = -3*k - 23. Let f be r(-7). Let d be (-1 + -3 + 3)/(f/8). Solve 4*v - d*o + 16 = 0, -4*o + 9 = -7 for v.
0
Suppose -5*m - 30 = -8*m. Let o be 4 - ((-12)/m - (-9)/45). Solve -2*a + 3 = o*b + 7, -2 = 3*b + a for b.
0
Suppose 8 = -8*y - 8. Let q(b) = b**3 + 2*b**2 - 1. Let d be q(y). Let c be -2 + (-1 - -2) - d. Solve c = -4*s + 3*v + 7, 2*s + 0*v - 3*v - 11 = 0 for s.
-2
Let i be (5*-2)/((-60)/24)*1. Solve p + i - 1 = -g, 4*g + 3*p = -8 for g.
1
Let a be (9 + (-7)/(315/395))*(-9)/(-2). Suppose p = -2*p + 18. Solve 3*j + p - 2 = -k, -a = j for k.
-1
Let j = -476 - -481. Solve 0 = -4*n - 5*p - 0*p + 21, 0 = 5*n + j*p - 25 for n.
4
Let r be (-40)/6*-3*2/4. Solve 5*z - 35 = 5*u, -r = -u + 6*u for z.
5
Let b be 12/(-14)*(-1 + 8). Let k be (-205)/(-20) - (-1)/(-4). Let o = b + k. Solve -3*r - 8 = -5*x, -o*x + 5 = -0*x - r for x.
1
Let r be (-1 - 104)*2/(-6). Suppose -8 = -5*w + 17, 2*a - r = -5*w. Suppose 5*u - u - 2*j = 26, 29 = u - a*j. Solve u*b - 3*n + 5 = -2*n, -17 = b + 5*n for b.
-2
Let p be -2 - 21/(-9) - (-256)/6. Let z = -38 + p. Solve 0 = -3*a + a - z*u - 23, -18 = 2*a + 4*u for a.
1
Let a(i) = -i**2 + 6*i + 7. Let q be a(6). Let r(y) = q - 5*y + 3 + 4*y. Let t be r(8). Solve 0 = -5*l - 2*b - 29, 2*l + 2*b - t + 16 = 0 for l.
-5
Let w be (-3)/6*2 - 7/(-7). Solve -4*v - 3*r = -r - 14, w = 2*r + 2 for v.
4
Let d(l) be the first derivative of -l**3/3 - 5*l**2/2 - 6*l + 12. Let k be d(-3). Suppose c + 2*c - 6 = k. Solve c*n + 2 = -4*s, 0 = 3*s - 2*s + 4*n + 4 for s.
0
Let t(k) = k**2 - 13*k + 48. Let v be t(6). Suppose -3*q = 3*z - v, z - 2*z + q = 2. Solve -5*r + 25 = z, -5*m + r - 25 = -0*r for m.
-4
Let z(n) = -2*n + 37. Let k be z(8). Solve k = s - 5*m, m = -4*s - 2*m - 8 for s.
1
Suppose -2*v = -c - 1, -17*c + 19 = -12*c + 2*v. Solve -4*k + 0*k = -c*j - 32, 0 = -3*k + 15 for j.
-4
Suppose 13*s - 63 - 80 = 0. Solve -4*f + 4 = 4*g, -f + 4*f = -g + s for g.
-4
Let f = 20 - 20. Suppose f = -2*a + 2 + 4. Solve b + h - 1 + 2 = 0, -4*h = 3*b + a for b.
-1
Suppose -2*j - 9 = -35. Suppose -5*n + 18 = -7. Solve 5*l = l - 2*q, 3*l = n*q - j for l.
-1
Suppose -3*h = 4*i - 13, 4*h = -4*i - 6 + 22. Suppose -r = -h*x + 11, 0 = -5*r + r - 4*x + 36. Solve -4*a + r*z = 12, 3*z + 1 = -4*a + 3 for a.
-1
Let d be ((-38)/(-57))/(1/3). Suppose 2*g + 3*g - 2*r = 58, 0 = -d*g - 5*r. Solve -3*y + g = -5*s, -3*s + y - 20 = 2*s for s.
-5
Let u = 0 - 2. Let a be (-5)/10 - u/4. Solve 0 = 5*v - 20, a = 5*y - 4*v - 12 + 3 for y.
5
Let c(n) = n**2 + 5*n + 2. Let d be c(-5). Suppose -b + 2 + d = -2*l, -b = -4. Let k be l + 3*32/12. Solve -4*o - k = -w, 0*w + 2 = -o + w for o.
-2
Let n be ((-16)/(-3))/((-43)/(-129)). Solve 5*d + 4*c + 15 = 0, c + 2*c + n = d for d.
1
Suppose -5*w - 19 = -2*d, -21 + 6 = 5*w. Solve -d*y + 4*g - 2*g = -2, 4*g = -8 for y.
-1
Let s = -28 + 30. Suppose -16 = -s*r - 12. Solve 3*f - 4*n = 5*f + r, 0 = -4*n for f.
-1
Suppose -17*r + 21*r = 16. Solve -p = -r*w - w - 22, w = -2*p - 11 for w.
-5
Let r = 489 - 487. Solve 3*p = r*u - 2*p + 30, -3*p - 8 = 4*u for u.
-5
Suppose -3*w + 14 = -w. Let b(i) = -i**3 + 6*i**2 + 6*i + 7. Let j be b(w). Suppose -p = -6*p + 5*q, -4*q = j. Solve -1 = -u - 3*n, p*u + 7 = u - 3*n for u.
4
Let k(f) = -2*f**3 - 12*f**2 - f - 1. Let r be k(-6). Suppose r*l - 19 - 2 = -2*s, 0 = -3*s + 4*l - 3. Solve 2*g + 21 = -5*n, -2*g = n - 2*n + s for n.
-3
Suppose 5*x = 4*x + 3. Let p(j) = 22*j - 2*j**2 + 14 + 15 - 42 + 44. Let b be p(12). Solve -3*z + 5 = -r - 0*z, 0 = x*r + 2*z - b for r.
1
Let b be (18 + 0)*56/24. Suppose 5*v = 57 - b. Solve 10 = -v*p + 2*q, -3*q + 2 = -2*p - 13 for p.
0
Let x(y) = y. Let g be x(9). Suppose -g*s = -3*s - 72. Solve -4*l + 0 = -4*q - s, 2*q - 1 = -5*l for l.
1
Let h(o) = o**2 + 27*o + 180. Let x be h(-17). Solve 9*p - 7 = x*p + 3*w, 4*w + 16 = 2*p for p.
2
Let z be (8 + -4)*-1 - -93. Let x = z + -89. Solve 5*w - 20 = -3*v, 3*w - w - 5*v - 8 = x for w.
4
Let g = 12 - 8. Suppose 2*m - 30 = g. Let b = -57 - -61. Solve 3*l = -b*y - 29, -m = 3*y + 5*l + 13 for y.
-5
Let w(h) = 13*h - 1. Suppose 27 = 3*t - 2*s + 5*s, -2*t + 2*s = -6. Let o be -4 + t/(1/1). Let k be w(o). Solve 3*y + 5*n - k = 0, y + 0*y + 10 = 2*n for y.
0
Suppose -1 + 49 = 6*y. Let s(h) = 2*h**2 - 17*h + 12. Let u be s(y). Solve 0 = -u*a - 8, 5*g + 2 - 1 = 2*a for g.
-1
Let z = 231 - 228. Solve 3*m + 35 = 5*p + 7, -2*p = z*m - 7 for p.
5
Let f be 4/10 - 46/(-10). Let j(d) = 2*d + 47. Let n be j(-21). Solve n*h - f = -0*z + 3*z, 0 = 5*z + 5*h - 45 for z.
5
Suppose -2*s - 2*h = 3*h + 5, 0 = -5*s - 3*h + 16. Solve 2*o - d - d = 4, -1 = -s*o - 4*d for o.
1
Let o(z) = -2*z**2 - 14*z + 21. Let a be o(-8). Solve r - 5*h - 23 = 0, 2*r + 3*h = a*r - 9 for r.
-2
Suppose -3*t = -6*t + 6, 5*l + 5*t = 25. Let f(k) = -2*k - 5. Let o be f(-5). Solve -5*c + 9 + 7 = 3*u, o*c - 4 = l*u for c.
2
Suppose 9 = 2*h + h. Let t be 6/(-12) - 13/(-2). Suppose -5*p - 15 = -0*p, -3*p - 13 = -2*s. Solve h*z = 3*y - 12, -s*y + z = y - t for y.
1
Suppose 6 = n + 2, -5*a = 2*n - 43. Let d(x) = -2*x**2 + 9*x + 4. Let i be d(a). Let k = -19 - i. Solve 0 = 4*y - k, -o = -5*o - 5*y + 31 for o.
4
Suppose 4*l - j + 60 = -0*j, -5*l + 4*j = 86. Let a = l + 14. Solve -28 = 5*b + 2*w - a*w, 2*w = -3*b - 20 for b.
-4
Suppose -4*q + 3*t - 8 = 0, 0 = 3*q - 7*q + t. Suppose -s + 3 = q. Let l be ((-3)/2)/((-3)/10). Solve -d + c = s*d - 10, -5*d - l*c - 10 = 0 for d.
2
Let x be (-220)/33 + 6 - (-124)/6. Solve -3*c - 28 + 9 = 2*n, -5*n - 2*c = x for n.
-2
Let h(u) = u + 21. Let c be h(-18). Suppose c*k - 101 = -50. Solve 4*y - 8*y - k = -3*i, -i + 5*y = -24 for i.
-1
Let c be 2 + 0/1 + -2. Suppose 32 + c = 4*s. Let x(l) = -l**3 - 2*l**2 - l - 2. Let a be x(-2). Solve -2*p + 5 = -z + 2*p, a = -4*p + s for z.
3
Let q(b) = -b**3 - 3*b**2 + 5*b + 6. Let z be q(-4). Let x = 5 - z. Suppose 3*f - 24 = f - 2*g, -f = -x*g - 28. Solve 6 = 3*v + 3*j, 0*j + f = -2*v + 2*j for v.
-3
Suppose 0 = 3*q - 6*q - 21. Let f(u) = u**3 + 7*u**2 + u + 11. Let w be f(q). Suppose -2 = c - 5. Solve -c*g - w*j + 0 = -3, -2*g + 2*j = -2 for g.
1
Suppose -90 = -8*n - 50. Solve -2*a + n*t - 3*t - 8 = 0, -5 = a - 2*t for a.
-3
Suppose -4*q = -20, -4*w - q + 0*q - 31 = 0. Let n be (3/w)/((-1)/9). Solve 5*g - 2 = n*o, -3*o - 4*g = -7 - 0 for o.
1
Let k be 58/28 + 1/(-14). Suppose 5*l + 9 = 3*p, -2*p + 6 = -l - 0*l. Solve 2*w + k*w + 3*u + 7 = l, 0 = 3*w - 5*u - 2 for w.
-1
Let s be (2/(-4))/((-1)/6). Suppose -s*g = -4*g. Suppose -4*p - 8*c + 1 = -3*c, 2*c + 6 = g. Solve 3*h = 6, -h - 3*h = y - p for y.
-4
Suppose -5*o + 5*c - 10 = 0, -3*o - c - 10 = -12. Solve -5*j - i = 6, -5*j - 2*i = -o*j + 7 for j.
-1
Suppose 0 = 2*k - 0*k - 6. Solve 5*g - 8 = j - 30, k*j - 10 = g for j.
2
Suppose 0*v - 4*v = m, -m - 2*v = 0. Suppose m = 5*d - d - 68. Let y = -12 + d. Solve 5*t + 10 = 5*k, 2 = -k + y*t - 4 for k.
4
Let t = -22 - -37. Let i be (-34)/255 - (-386)/(-30). Let q = i + t. Solve -4*z + 5*c = -2, q*z + 5*c - 16 = -0 for z.
3
Let z(f) = 32 - 15*f**2 + 16*f**2 - 10*f - 19. Let o be z(9). Solve -4*c = o*t + 4, -5*c + 4*t - 3*t = -7 for c.
1
Suppose q + 4*q = 15. Let n be (3 - -3 - 3) + 18 + -6. Suppose n*r - 7*r - 120 = 0. Solve -2*f + r = -3*m, 2*f - q = -m - 0 for m.
-3
Suppose 0 = 57*y - 59 - 55. Solve y*h - 3 = 2*z - 3*h, 0 = 4*z + 4*h - 8 for z.
1
Let h(g) = -4*g**2 + 26*g - 7. Let j be h(6). Let a = j - -2. Let f = 14 - 9. Solve 6*u + f = 4*u + 3*t, -3*t + a = -u for u.
2
Let t(x) = -x**3 + x**2 + 8. Let j be t(0). Solve p = 3*b - j, b + 0*b = -4*p - 19 for p.
-5
Let z be 6/(((-117)/26)/(1 - 4)). Solve -3 = y, 4*b + z*y + 8 = 2*b for b.
2
Suppose 24*t + 25 = k + 23*t, k + 2*t - 40 = 0. Solve 5*r = 5*p + k, 2*p - 4 = -5*r + 3*r for p.
-2
Let i be 16/56 - (-5)/7. Let f be i*(2 + -1) + 10