 Solve -w*x = -l*x - 15 for x.
-3
Let z(r) = -r**3 + 3*r**2 - r + 3. Let j be z(3). Solve 3*f + 0*f = j for f.
0
Suppose -2*a + 2*u = -14, 5*u + 27 = -a + 2*a. Suppose 4*z = 4*q + 12, z - 2*q = -0*q + a. Solve -n = z*n for n.
0
Let u = 36 - 36. Solve u = -5*j + 3*j for j.
0
Let x(w) = -w**3 - 6*w**2 + 5*w - 6. Let t be x(-5). Let k = t + 59. Solve -k*y - 2 = 7 for y.
-3
Let s = -12 - -24. Suppose -s = 3*o, -3*x - o - 27 = 19. Let l = 17 + x. Solve u = 2*u - l for u.
3
Let y = -56 + 38. Let d be (-517)/(-99) - (-4)/y. Solve 5*p = d + 5 for p.
2
Suppose -2*a + 36 = -s, -3*s - 2*s = 3*a - 80. Let z be 6/(-18) - 13/(-3). Suppose -z*w + 2*w + 8 = 0. Solve -h + a = w*h for h.
4
Let z = 174 - 166. Suppose -7*t + 20 = -1. Solve -w = t*w + z for w.
-2
Suppose -4*b + 3*t + 15 = 0, -3*b + 5*t = -22 + 8. Let j be (-18)/(-4)*(-4)/b. Let a be (2/j)/(6/(-90)). Solve 4*d - 3 = a*d for d.
-3
Let k = 72 - 69. Solve -f = -k + 6 for f.
-3
Let r(u) = u**2 - u - 2. Let m be r(2). Let y(g) = 13*g - 13. Let w be y(2). Suppose -8*z - 15 = -w*z. Solve -q + m + z = 0 for q.
3
Suppose 21*x = -0*x + 231. Solve x*y - 12*y - 3 = 0 for y.
-3
Let z = 377 - 371. Solve 26 = z*c + 14 for c.
2
Let n = -3 - -3. Suppose 0 = o - g - 14, -44 = -4*o - n*g + g. Let c = o - 5. Solve 12 = c*p + 27 for p.
-3
Let d(t) = t**2 + 9*t + 2. Let y be d(-9). Suppose y*q - 10 + 6 = 0. Solve 5*s - q = -7 for s.
-1
Suppose 9 = -4*o + 25. Let m(b) = -b**3 + 3*b**2 + 5*b + 3. Let h be m(o). Let q be 14/4*24/42. Solve -q*s + 1 = h for s.
-3
Let h be (-6)/14 - 1023/(-231). Solve h + 8 = -4*g for g.
-3
Suppose -p + 2*a = p + 32, -3*p - 2*a - 23 = 0. Let r be (-11)/p + 0/2. Suppose -4 = k, 19 + r = 3*y - 2*k. Solve u - 3 = y*u for u.
-1
Suppose 3*v - 1 = -2*w, -2*v + w = 2*w + 1. Let n(u) = u**2 + 4*u + 7. Let h be n(v). Solve f = h*f + 15 for f.
-5
Let f = 696 + -694. Solve 3*o + 14 = f for o.
-4
Let l = -20 + 5. Let z be (3/l)/((-4)/40). Solve z*i - 2 = -6 for i.
-2
Suppose 10*z - 8*z = 2*l + 40, 2*l + 8 = 0. Solve -260*m + 256*m - z = 0 for m.
-4
Let y be 103/824 - (-1023)/8. Solve p - y + 125 = 0 for p.
3
Let r(b) = 2*b**2 - 6*b + 7. Let w = 11 - 8. Let n be r(w). Solve 0 = 2*s - n*s - 5 for s.
-1
Suppose -10*y + 9*y = -3*c - 17, 2*y = -5*c - 21. Solve -11*g = 9 + y for g.
-1
Let u(y) be the second derivative of -2*y**3/3 + 2*y**2 - 10*y - 2. Let f be u(1). Solve o - 4 = -f*o for o.
4
Let c = 1370 + -1356. Solve 6*o = -c + 38 for o.
4
Let t = -888 - -895. Solve 3*b = -t*b + 50 for b.
5
Let c be (-76 + 97)*12/14. Solve 0 = -13*k - 8 - c for k.
-2
Let c = -87 - -87. Let u(d) = -d**3 - 3*d. Let z be u(c). Solve z*h - 6 = 3*h for h.
-2
Let c(s) = s**3 - 5*s**2 - 4*s - 12. Let h be c(6). Solve h = -10*f + 4*f - 6 for f.
-1
Let p be (1 + -1)/(0 + -2). Let y(c) = -6*c**2 - 150*c + 10. Let w be y(-25). Solve j + j - w = p for j.
5
Suppose -4*g - 7 = -3*g. Let z be (-30)/105 + (-2)/g. Suppose -j = -5*p + 17, 18 = 3*p - 4*j + 1. Solve 4*m - p + 15 = z for m.
-3
Let s be -4*((-9)/2 + 4) - -3. Suppose s*v = 9*v - 44. Suppose 0 = -2*u - 9 + 37. Solve -5*y = v + u for y.
-5
Let a(s) = -3*s + 27. Let g be a(6). Let j = -6 + 8. Solve j*o + g = -o for o.
-3
Let f(y) = y**2 + 4*y + 2. Let u be f(-4). Suppose -u*n + 1 = 2*q - 5, 5*n - 4*q = -3. Suppose 2 - 6 = -2*s. Solve -n = s*t - t for t.
-1
Suppose 0 = -3*w + 4*b + 16, -3*w + 38 = w + 3*b. Solve -4*i = -0*i - w for i.
2
Suppose 0*c - 92 = -4*c. Let p = -22 + c. Suppose 9 = -3*s, 5*a - 5 + 2 = s. Solve a = -3*u + 4*u + p for u.
-1
Let z = 391 + -387. Solve 8 + 0 = z*r for r.
2
Let s be (1 - -4)/25 - 18/(-10). Suppose -2*j = -h - 6, -4*h = s*j - 5*j + 14. Solve 4 + 6 = j*x for x.
5
Let n(z) = z**3 + 7*z**2 + 7*z + 9. Let h be n(-6). Let r be 9/2*2/h. Solve -r - 12 = 5*i for i.
-3
Suppose -3*r - 5 = -0*r + 4*y, -2*r + 5 = y. Solve -r*l = 5 + 5 for l.
-2
Let r be 9*(-4 + (1 - -2)). Let n(l) = l**3 + 9*l**2 - 2. Let b be n(r). Let o be (b/4)/((-6)/12). Solve -2*x + o + 5 = 0 for x.
3
Let l(v) = -8*v + 4 - 26 + 11 - v**2. Let a be l(-5). Suppose 0 = -0*z - 4*z + 24. Solve -a*x + z + 6 = 0 for x.
3
Let u be 12/(-3)*(14/(-4) + 1). Suppose 9*j + 12 = u*j. Solve 3*h = -h + j for h.
3
Suppose 919 - 1128 = -11*y. Solve -17*z + 2 = -y*z for z.
-1
Suppose -89 = -20*q + 151. Suppose 0 = 18*w - q - 6. Solve 0 = -j + 3 + w for j.
4
Let v be (-2)/(-6) + 5/3. Let b(g) be the second derivative of g**5/20 - 13*g**4/12 + g**3/6 - 13*g**2/2 + g. Let d be b(13). Solve v*y + d - 10 = 0 for y.
5
Let c(l) = -4*l**2 - 5*l + 1. Let o(i) = -3*i**2 - 4*i. Let a(x) = 2*c(x) - 3*o(x). Let f be a(0). Solve 2*b - f = -0 for b.
1
Suppose 161*g - 174*g + 26 = 0. Solve 0 = g*h - 6*h for h.
0
Let v(m) = -m + 49. Let z be v(47). Let j = 9 + 5. Solve -j + 4 = z*y for y.
-5
Suppose h - 8 = z, -3*h - 2*h = -2*z - 28. Let w be 20/6*h/((-60)/(-27)). Solve 5*x - 3*x - w = 0 for x.
3
Let v = 197 - 194. Solve -v + 7 = -f for f.
-4
Let d be -5 + 8 - 1*-6. Suppose -d + 12 = f. Solve f*c + 7 + 2 = 0 for c.
-3
Suppose 4*w = 5*n - 4*n + 11, -3*w + 3*n = -6. Suppose w*m = 6*m - 6. Solve -m*x = 6 - 0 for x.
-3
Let c = 121 - 114. Solve -4 = -9*y + c*y for y.
2
Suppose -2*j + 18 = j. Suppose 0 = u - 3*u + 8. Suppose 15 = u*n + n. Solve n*x + j = -0 for x.
-2
Let l = -2435 - -2447. Solve -l*a - 3 = 33 for a.
-3
Let q(l) = 2*l**2 - 2*l. Suppose v - 15 = -5*k + 2*v, v + 5 = 0. Let n be q(k). Let x be 15/6*n/5. Solve -x*h - 2 = -h for h.
-2
Let d(t) be the second derivative of t**3 - 15*t**2/2 - 12*t. Let i be d(3). Solve -2*g - 2 = -i*g for g.
2
Let j be 1083/76 + -2 + 21/12. Solve -1 = j*z - 15 for z.
1
Let g be (69/54 - 16/(-72))*2. Solve -g*f + 11*f + 8 = 0 for f.
-1
Let v be (-2)/2 - 36/(-6). Suppose v*z - 4 - 11 = 0. Solve -w + 4 = z for w.
1
Let s be 148/36 + (-3)/27. Suppose -s*h = -22 - 2. Solve 0 = -u - u + h for u.
3
Let m(f) = f**3 + 47*f**2 + 2*f + 98. Let k be m(-47). Solve k*t + 10 - 26 = 0 for t.
4
Let c = -24 - -27. Suppose c*a - 8*a + 15 = 0. Solve 1 = -a*n + 7 for n.
2
Let z(f) = 6*f + 1. Let i = 13 - 18. Let c(a) = 7*a. Let r(l) = i*c(l) + 6*z(l). Let x be r(0). Solve 0 = -2*h + 4 + x for h.
5
Let n(y) = 6*y - 60. Let j be n(14). Solve -7*d - j = d for d.
-3
Suppose -4*n - o + 0 + 8 = 0, -n + 23 = -5*o. Solve 2 + 10 = n*c for c.
4
Let f be 15 + (-1)/2*0. Suppose 0*b + 9 = 3*o - 4*b, 5*o - 3*b - f = 0. Suppose 13 = -i - 3*k, o*i - 2*k = -0*i + 16. Solve -y + i = -2*y for y.
-2
Let o be (1/1)/((-8)/(-16)). Suppose 10 = -2*m, 2*l + 0*m + m = 1. Solve 20 = l*v + o*v for v.
4
Let k(y) = 3*y - 3. Let a be k(5). Suppose -m = -5*m + a. Suppose 7 = 4*z + m. Solve 5*r = -z - 4 for r.
-1
Let f(g) = -g - 6. Let m be f(-9). Let r(u) = -116*u - 113. Let x be r(-1). Solve m*y - 6*y = x for y.
-1
Suppose 2*k + 3*h = 65, -2*k - 2*h = -0*k - 70. Suppose 24*y - 28*y = -k. Solve -3*u = -u - y for u.
5
Suppose -3*y + 18 = 4*x, -2*x + 10 = 6*y - 5*y. Solve 24 = -6*l - x*l for l.
-2
Let r(n) = n**3 - 11*n**2 + 12*n - 4. Let l be r(10). Let b be (-65)/(-20) - (-12)/l. Solve -14 = -b*o + 2 for o.
4
Let q(m) = m**2 + 4*m. Let o be q(-4). Suppose -15 = -5*f - o*f. Suppose 98 - 9 = 4*i - d, 3*i = f*d + 60. Solve -4*h + 7 = i for h.
-4
Suppose -56 = -2*o + o. Let j = 35 - o. Let w be (-2)/7 + (-174)/j. Solve -3*d + w*d - 5 = 0 for d.
1
Let j(n) = n**3 + 5*n**2 - 9*n - 13. Let w = 19 + -22. Let r = -9 - w. Let z be j(r). Solve z*f - 3 - 2 = 0 for f.
1
Let x(b) be the third derivative of b**4/4 - 13*b**3/3 - 2*b**2. Let i be x(8). Solve 4*c - i = -2 for c.
5
Let w = 382 - 380. Solve u = 3 + w for u.
5
Suppose 10 = 3*m - m. Suppose x - 3 = m. Solve -o - x = o for o.
-4
Let h = 189 - 178. Solve -3*j + 2 - h = 0 for j.
-3
Let z be (-26)/(-4)*(-2 - (8 - 12)). Let t(r) = r**2 - 16*r + 43. Let m be t(z). Solve m = 9*h - 8*h for h.
4
Let v be (-4)/(-6) + (-3)/(-9). Suppose 17 = 5*k - 28. Suppose 3*z - 3*s + 8 = 2*z, 2*z = 2*s. Solve -z*h + k - v = 0 for h.
2
Suppose 21*z - 19*z - 4 = 0. Suppose -3*g - 9 = 0, -z*k + 2*g = g - 3. Solve 2*q = -k*q - 4 for q.
-2
Let r be 45*(2/(-6))/(-1). Let l be 4*9/60*r. Suppose 2*k - l = -k. Solve -2*q - q = -k for q.
1
Let x(v) = -v**2 + 16*v + 60. Let r be x(-3). Solve r*a = -0*a for a.
0
Let d(g) = 7*g**2 - 2*g - 2. Let v be d(-1). Suppose 0 = 5*k + u - 5 - 12, 2*u = -k + v. Let j(p) = -p. Let n be j(-