 for w.
-4
Let y be 9/(54/66) - (-10)/2. Solve 7*s = -2 + y for s.
2
Let y = 87 + -76. Solve 0 = -y*v + 4 - 48 for v.
-4
Let b be 9/(-6) - 11/(-2). Suppose 3*u - 26 = f + 14, 85 = 4*u + 5*f. Let t be 2 - 1/((-2)/(-4)). Solve t = -q - b*q - u for q.
-3
Let m(n) = -2*n**2 + 18*n - 13. Let i be m(8). Suppose -16 = -i*l + l. Suppose 5*d - 7 = l. Solve 0 = -0*k + d*k - 15 for k.
5
Suppose 11*x + 2 = 9*x, -2*z + 5*x = -57. Solve z*o = 21*o for o.
0
Let f = 2 - 1. Let a be 1/6*3*0. Suppose z + 4*o + 4 = a, 6*o + 10 = o. Solve f - z = -i for i.
3
Suppose 0 = -v - v - 4*s - 2, 3*v - 2 = -s. Let f be v/((-1)/(-2))*72/48. Solve f*q + 15 = -2*q for q.
-3
Let x be (-126)/(-27) + (-4)/6. Suppose 3*q = -r - 5, -2*q + q + 3*r + 15 = 0. Suppose q = z + x*z. Solve z = -3*p - p + 4 for p.
1
Let m(r) = r**3 + 22*r**2 - 48*r. Let u be m(-24). Solve 18 = -6*p - u for p.
-3
Suppose -3 = -3*a - 0*a. Suppose -3*h + 7*h + 5*w + 1 = 0, -4*h = 3*w - a. Let c be (h - 13)*8/(-24). Solve 0 - 16 = c*y for y.
-4
Let i(k) = k**3 - 2*k**2 - 3*k - 4. Let w be i(4). Let c = -274 - -277. Solve -g - c*g = -w for g.
4
Let o(l) = l**2 - l - 12. Let b be o(0). Let z = b + 17. Solve z = -4*f - f for f.
-1
Let l = 21 - -15. Let p = l + -31. Solve 4*t = 3*t + p for t.
5
Let b(s) = -102*s - 297. Let d be b(-3). Solve d = -19*m + 16*m for m.
-3
Suppose 0 = s + 5*g - 30, -4*g + g + 20 = s. Suppose -r - 4*u - 20 = -2*r, 3*r + u + s = 0. Solve l - 3 - 1 = r for l.
4
Suppose 4*z + 25 = 5*z. Let r = 32 - z. Suppose -2*m = 2*q - 0*m - 28, 4*q - m = 61. Solve 4*p - r = -q for p.
-2
Let q be (-36)/20*(-75)/9. Let v = 8 - 5. Suppose 0 = 6*u - q + v. Solve u = -m - m for m.
-1
Let l(a) be the second derivative of a**4/3 - a**3/3 - a**2/2 + 2*a. Let v = 160 + -161. Let r be l(v). Solve 2 - r = -j for j.
3
Let i = 427 - 402. Solve -11*s + 6*s = -i for s.
5
Suppose -5*g = -3*d - 10 - 0, 3*d = 15. Solve 3*t = -g + 5 for t.
0
Let x(s) = s**2 - 3*s - 1. Let h be x(4). Let u be ((2 - 1) + -1)*1. Suppose -3*l - 4 = -5*c, u = 2*l - l - 3*c + 4. Solve -4*i = -h*i - l for i.
2
Let a(r) = -r**3 - 3*r**2 + 3*r - 2. Let v be a(-4). Let c(k) = -k**3 + 5*k**2 - k + 5. Let t be c(5). Solve t*h + v = -2*h for h.
-1
Suppose 3*n = 4*s - 0 - 2, -3*s + 2*n + 2 = 0. Suppose -g + s*g + 2*w = 9, 2*g + 5*w - 20 = 0. Solve 0 = 3*k - 2*k - g for k.
5
Let c(p) = -7*p - 20. Let r be c(-7). Suppose -4*g + 43 = -r. Solve 4*n = -6 + g for n.
3
Let a be 1*4*((-561)/(-34) + -10). Solve 17 = -3*v + a for v.
3
Let b be ((-2)/(-2))/(1*(-3 - -2)). Let s be b - ((-2)/6)/(1/3). Solve -h + 5 = -s for h.
5
Suppose 18*i - 23*i + 2*v + 55 = 0, -4*i - v = -44. Solve i = -5*f + 16 for f.
1
Let v(h) be the first derivative of -h**4/4 + 7*h**3/3 - 3*h**2/2 - 6*h - 1. Suppose 17 = -s + 23. Let m be v(s). Solve 0 = -z + 5*z + m for z.
-3
Let t(q) = -q**2 - 18*q - 13. Let p be t(-17). Let m be 35/15 - p/12. Suppose 0 = -7*r + 3*r + m*z + 20, z = -3*r + 10. Solve j + r = 3*j for j.
2
Let c = -52 - -25. Let y be -6*-3*(-3)/c. Solve 4*x = 6 - y for x.
1
Let n(i) = i - 8. Let j be (0*(1 - 0))/(-2). Let c be n(j). Let r(x) = x**3 + 9*x**2 + 8*x + 2. Let h be r(c). Solve h - 4 = f for f.
-2
Suppose 0 = -3*u - i + 76, i + 3*i = -8. Let c be 0 - (-4)/(8/u). Let d = c + -11. Solve m = 1 - d for m.
-1
Let v = 36 - 29. Solve g - 30 = v*g for g.
-5
Suppose 2 + 1 = x, 0 = -p - 5*x + 41. Let y = p - 23. Solve 6 = -y*c - 6 for c.
-4
Let t = -15 - -17. Let q(b) = -3*b + 4*b**2 + t + 0 - 3*b**2. Let h be q(4). Solve -l - 2*l = -h for l.
2
Let u(n) = -n**3 + 6*n**2 + 7*n + 4. Let i be u(7). Solve 0 = -0*b + i*b for b.
0
Let w be (-4)/((-4)/8*4). Let r(c) = c**3 - 4*c**2 + 2*c + 4. Let t be r(w). Solve -s + 1 - 3 = t for s.
-2
Let m be 0 + -3*35/(-15) + 5. Solve -8*n + m = -11*n for n.
-4
Let p(k) = -11*k**2 - 19*k + 14. Let t(q) = -4*q + 0 + 0*q - 4*q**2 - 2*q + 5. Let c(y) = 3*p(y) - 8*t(y). Let l be c(-9). Solve 0*j = -l*j for j.
0
Let y(q) = -4*q**3 + 22*q**2 - 8*q - 5. Let j be y(5). Let h = 7 + 1. Solve -h = -g + j*g for g.
-2
Let y = 108 - 210. Let c = y - -106. Suppose 0 = -h - h + 2. Solve -c - h = -5*o for o.
1
Suppose -7 = 4*c + 4*a - 27, -2*c - 3*a = -13. Suppose p = c*p. Solve -4*v + 4 - 24 = p for v.
-5
Let b = 18 - 13. Suppose 860 = 94*f + 14. Solve -8*q = -b*q + f for q.
-3
Let i(o) = -o**2 + 22*o + 7. Let g be i(21). Let d = g + -23. Solve -d*r + 5 = -5 for r.
2
Let z = -17 + 29. Let g(u) = -u + 14. Let n be g(z). Solve c = n*c + 5 for c.
-5
Suppose 3*y - 16 = 5*v, -4*v - 20 = v - 5*y. Let s be (-27)/33 - -3 - 6/33. Let p = s + v. Solve -2*c = -p*c for c.
0
Let x = 231 + -231. Solve -y + 0*y + 5 = x for y.
5
Suppose 5*k - k = 16. Let t be (5 - k)*-1 - -1. Solve t = r + r for r.
0
Let y = -34 - -46. Suppose -y = -7*d + 3*d. Solve d*z - 5*z = 2 for z.
-1
Let v be 6/2 + -1 + 1. Let c be (2/4)/(26/364). Solve v - c = d for d.
-4
Let f be (-24)/(-15) + (-28)/(-70). Solve f = 2*v - v for v.
2
Let h(m) = -m**2 + 4*m - 4. Let k be h(1). Let u be (k - 0)/((-1)/3). Solve -1 = -u*l - 10 for l.
-3
Let b(g) = -4*g + 16. Let n be b(-7). Let j = n + -41. Solve j*i - i = 0 for i.
0
Let h(n) = -n - n**2 + 0*n - n + 4*n + 6. Let w be h(5). Let x = w + 14. Solve -z = -0 + x for z.
-5
Let y = 2 + 0. Let t(o) = 11*o + 88. Let i be t(-8). Solve n - y*n + 1 = i for n.
1
Suppose r - 10 = 17*d - 13*d, 5*r - 3*d - 50 = 0. Solve 2*y - 48 = -r*y for y.
4
Suppose -x - 1 = 2. Let b be 2 - (x - (-1 + 8)). Let l = b - 10. Solve -2*s + 4*s = l for s.
1
Suppose -131*i = -125*i - 6. Solve -9*x - i = -10*x for x.
1
Let l(f) = 8*f - 120. Let x be l(16). Solve 6 = -x*s + 22 for s.
2
Suppose 0 = -72*c + 30*c + 210. Solve -6*k + c = -11*k for k.
-1
Suppose -m + 13 = -2*r - 4, -2*r = 4*m + 12. Let l be (-3)/(-2)*(r - -10). Solve 0*p - l*p = 0 for p.
0
Suppose 2*k - 156 = 2*a, -2*a = -0*a. Suppose k - 90 = -4*w. Solve w*v - 3 = -0 for v.
1
Let u(m) = -4*m + 2. Let r(g) = g. Let h(n) = -5*r(n) - u(n). Let z be h(4). Let t(j) = j**3 + 5*j**2 - 8*j - 9. Let k be t(z). Solve -k = 2*q + 3 for q.
-3
Let x = -579 + 579. Solve 10*t + 54 - 4 = x for t.
-5
Let a be (-5)/(-2)*-5*(-72)/20. Suppose 5*f - a = -w, -2*f - 5*w = 8 - 3. Solve 0 = 7*d - 2*d - f for d.
2
Let q(s) = -s**3 - 5*s**2 + 8*s + 9. Let j be q(-6). Let u be (30/(-9) - -1)*j. Solve -4*a - u + 19 = 0 for a.
3
Let z = 35 - 51. Let t = 19 + z. Suppose t*k - 17 = -5. Solve -k*p - 5 + 1 = 0 for p.
-1
Let c be (-11)/33*1*-39. Suppose c*t = 11*t. Suppose t*h = k + 3*h - 6, 2*h = 2. Solve -k*u + 4 = 7 for u.
-1
Let i(l) = 9*l - 141. Let v be i(17). Solve d + 17 = v for d.
-5
Suppose -3*h + n = 3*n - 13, 0 = n - 2. Solve h*r = 7*r + 20 for r.
-5
Suppose -t + 13*z = 8*z - 22, t = -2*z - 6. Solve -8*p = -t*p - 24 for p.
4
Let f = -3 + 2. Let v be (1 - 1)/(f - 1). Let h be 328/20 - ((-228)/30 + 8). Solve l + 3*l + h = v for l.
-4
Suppose 4*r - 20 = -r. Solve r*m = 3 + 1 for m.
1
Suppose -3*q + 0*q = 3*k - 15, -5*q = -3*k - 41. Suppose 4*h = u + 6 + q, -2*u - 2*h + 14 = 0. Solve 12 = u*p - 6*p for p.
-4
Let v be 3/(-12)*-4*-1. Let h be (-6)/(-1) + (0 - (4 + v)). Solve -h*q - 2*q = -25 for q.
5
Let l(r) = 81*r - 639. Let x be l(8). Solve 25 = 8*g + x for g.
2
Let r = 8 + -4. Suppose -2*n - 4*u + 20 = -0*n, -r*n + 5 = u. Solve 20 = -4*b - n*b for b.
-5
Suppose -7*l = -8*l. Solve l = 99*c - 97*c + 2 for c.
-1
Suppose 5*j + 18 = -0*k - 3*k, 2*j = -2*k - 12. Let d(u) = -u**2 - 11*u - 15. Let s be d(k). Solve 8*v - s = 5*v for v.
5
Suppose 3*r - 10 = 5*j - r, 0 = -5*j + 2*r. Suppose -2*w = -5*y, 3*y = 4*y - w. Solve y = h - 0 - j for h.
2
Suppose -137*y = -128*y. Suppose 0 = 3*j - 9 - 6. Solve j = -o - y for o.
-5
Let v(w) = 3 + w**2 - 4 - 5*w - w**2 - w**2. Let n be v(-4). Suppose n*a - 6 = -2*m, a - 2*m = -a + 14. Solve l - a = 2*l for l.
-4
Suppose 0 = 23*b - 21*b. Solve -15 + b = -5*n for n.
3
Let f(r) = 18*r - 753. Let p be f(42). Let u = -1 - -1. Solve u*o = o - p for o.
3
Suppose 6 = -2*c + 4*c. Let z be c/(-7) + (-104)/(-14). Solve -5*n - z = -2 for n.
-1
Suppose -2*c + 2*r - 7*r + 63 = 0, -4*c = 4*r - 156. Solve -y - 49 = -c for y.
-5
Let a(j) = -j**3 + 2*j**2 + 2*j + 16. Let u be a(0). Suppose 3*p + 1 - u = 0. Solve p = 5*y - 5 for y.
2
Let p be (8/(-14))/((-14)/49). Suppose 5*c = p*c - 5*z + 60, -100 = -5*c - 4*z. Solve -2*n = -6*n - c for n.