p = 859 + -855. Solve -p*q = 43 - 23 for q.
-5
Let i(a) = a**3 + 4*a**2 + 3*a + 3. Let q be i(-3). Suppose -194*b + 263*b = 345. Solve 0 = q*u + b + 1 for u.
-2
Suppose 0 = 4*j - 3*u - 83, j - 78 = -3*j - 2*u. Solve 22*i - 18*i = -j for i.
-5
Let j(p) = -2*p**3 + 27*p**2 - 15*p - 19. Let g be j(13). Let c = g - -51. Solve -2*z - z = c for z.
-2
Suppose -7*j - 11*j = -270. Let w(a) = a**3 - 6*a**2 + 6*a - 2. Let l be w(4). Let q = j + l. Solve -q*z + z = -8 for z.
2
Let r(s) = -10*s - 8. Let w be r(-3). Let a = 27 - w. Solve 0 = -5*z + a + 5 for z.
2
Suppose -44*l = -37*l - 56. Solve l*o + 51 = 11 for o.
-5
Let s(p) = -p**2 + 10*p - 14. Let q be s(8). Let u be (q - 2)/(1 + 1). Solve -3 + u = o for o.
-3
Let a(j) = -2*j. Let g be a(5). Let z be (68/8 + -7)*92/(-6). Let y = g - z. Solve y = -4*v + 5 for v.
-2
Let k be 12/48 + ((-46)/(-8) - -1). Solve -3*s + 2 = -k for s.
3
Let n be (-45)/9 - 38/(-2). Solve -r = -9 + n for r.
-5
Suppose 95*l = 100*l - 40. Suppose 9 + 55 = l*w. Solve -w - 2 = 2*v for v.
-5
Suppose -48*h = -38*h - 30. Solve -48 = h*d - 36 for d.
-4
Suppose 0 = y, 2*q + 2 = -5*y + 6. Suppose 0 = p + q*p. Solve -16 = 4*b - p for b.
-4
Let h(a) = -11*a + 58. Let d be h(5). Solve -d*i + 5*i = -4 for i.
-2
Let t be (-6)/4*(-28)/3. Suppose -t*i + 66 + 18 = 0. Solve 3*h - 15 = i*h for h.
-5
Suppose 0 = 6*a - 9*a - 27*a. Solve a = -h - 5*h - 24 for h.
-4
Let z be (-63)/45 + 2/5. Let a(y) = 4*y**2 + 4*y + 3. Let l be a(z). Solve 0*r = l*r - 6 for r.
2
Let q(l) = -3*l**2 - l + 7. Let b be q(-4). Let n = b - -41. Solve 0 = -g + n*g - 12 for g.
4
Suppose -l - 2 = -4. Suppose 2*m + 14 = -4*d, m + 2*m - 19 = l*d. Solve m*z + 0*z = 0 for z.
0
Suppose 0 = -2*k + c + 3 + 3, 2*k = 4*c + 12. Solve 4 = -k*j - 2 for j.
-3
Suppose 0 = 3*m + 5*t - 32, 2*t + 3*t = 5*m. Let v = m - 11. Let g = -7 - v. Solve -b + 1 - 4 = g for b.
-3
Suppose -2*u = 3*u + 4*g - 88, 4*u + 4*g - 72 = 0. Let l = -40 + 12. Let o = -28 - l. Solve o = 4*s - 0*s - u for s.
4
Suppose -4*y - 3*c + 11 = 0, -5*y - c + 14 = 3*c. Let f(b) = b**3 + 4*b**2 + 2*b + 11. Let h be f(-4). Suppose -h*w - 30 = -42. Solve 0 = y*r - 0*r - w for r.
2
Let f(k) = k**3 - 6*k**2 - 25*k - 8. Let w(t) = t**3 - 20*t**2 - 22*t + 30. Let v be w(21). Let d be f(v). Solve d = 2*r + 3*r for r.
2
Let j(g) = -g**3 + 4*g**2 - 5*g. Let h be j(4). Let y = 16 + 5. Let m = y + h. Solve -1 = k + m for k.
-2
Let r(s) = -3*s - 3. Suppose -2 = o - 6, -o + 6 = -b. Let d be r(b). Solve -3*i - d = 6 for i.
-3
Let r be (10 + 16/(-2))*(-6)/(-4). Solve 4*c = -r*c - 14 for c.
-2
Let n be (2 - (4 + -4))*(-5)/(-2). Solve -7 = n*r + 8 for r.
-3
Suppose 30 + 34 = 4*s. Solve -12*j + 8*j = -s for j.
4
Let w = 63 + -73. Let k(d) = -d. Let i be k(w). Solve 4*x + 2 = i for x.
2
Suppose 0 = -4*n, x + 3*x = 3*n + 80. Suppose 4*s - 16 = -0. Let g = s - -2. Solve 2*u - x = g*u for u.
-5
Let y(g) = 2*g**2 - 41*g + 27. Let p be y(22). Solve -p = 2*o - 97 for o.
2
Let a = -309 - -332. Solve 0 = -22*j + a*j + 1 for j.
-1
Let h be 2/(-4) + (-27)/(-6) + -2. Suppose -4*p + 2*g = -18, 3*g - 7 = -3*p - h*g. Solve -b - p + 0 = 0 for b.
-4
Let q(o) = o**3 + 10*o**2 + 2*o + 10. Let k be q(0). Solve 0*x + 2*x - k = 0 for x.
5
Let d = 107 + -48. Let a = d - 59. Solve -2*f + a = -6 for f.
3
Let y(b) = b + 17. Let j be y(-11). Solve -j*l + l = 3*l for l.
0
Suppose 0*o + 5*o - b - 59 = 0, 5*o - 2*b - 63 = 0. Suppose 0 = -5*t, -308*k - 5*t - 5 = -309*k. Solve -4*c - k = o for c.
-4
Let d = 56 + -36. Suppose 5*l - 59 = -x - x, 0 = -5*l + 2*x + 71. Let j = -13 + l. Solve j = -w - 4*w + d for w.
4
Let i be ((-264)/(-40) - 3)*10/2. Solve -15 = d - i for d.
3
Suppose -3*f + m + 3*m = -360, -3*m = 0. Let q = f + -115. Solve 2*z - 12 = q*z for z.
-4
Let f(r) = r**3 - 13*r**2 + 13*r - 8. Let v be f(12). Let c = v - 8. Let i = 11 + c. Solve -2*o = -i*o for o.
0
Let l(o) = 39*o + 43. Let p be l(-1). Solve -p*v - v = -v for v.
0
Suppose 4*x - u = -2 + 5, 0 = 5*u + 15. Solve x = -i - 2 + 4 for i.
2
Let a be (12 - 0) + -5 - 5. Let l be (0/1)/(6 - a - 2). Solve -2*f + 5*f = l for f.
0
Let n(g) = 4*g + 12. Let o be n(-3). Solve o = 2*x - 11 + 13 for x.
-1
Let b(i) = i**2 + 6*i + 5. Let y be b(-6). Suppose 2*l - 3*l - 3 = 0, -2*d - l + y = 0. Suppose v - d*v + 27 = 0. Solve 3*m = -0*m - v for m.
-3
Let i = 88 - 88. Solve i = d - 6*d - 20 for d.
-4
Let v(x) = -x**3 - 7*x**2 + 33*x + 234. Let w be v(-7). Solve -w*o + 1 = 10 for o.
-3
Let w = -134 - -134. Solve -3*t + 9 + 3 = w for t.
4
Let y(h) = -h**3 - h**2 + 4. Let k be y(0). Suppose -81*r = -68*r - 26. Let d be 4/14 - 130/(-35). Solve -d*u = -r*u + k for u.
-2
Let s = -394 - -403. Solve -37 + s = 14*y for y.
-2
Let t = 1903 - 1888. Solve 18*m - 9 = t*m for m.
3
Let z = -502 + 504. Solve -2*u + 3*u + z = 0 for u.
-2
Let g(c) = c**3 + 5*c**2 - 7*c - 1. Let x be g(-6). Suppose -12 = z + x*h, 5*z - h = 9 + 35. Solve z = -4*j - 4 for j.
-3
Let j = 527 + -518. Solve -j = 4*p - 1 for p.
-2
Suppose 0 = 2*g + 6 - 82. Let f = g + -33. Solve 0*j - j - f = 0 for j.
-5
Let s be ((-21)/35 - -1)*25*1. Solve 0*j - s = -2*j for j.
5
Let s = -619 - -619. Solve 3*t = -s*t for t.
0
Let n = 267 - 264. Solve n*k = -0*k + 3 for k.
1
Let b = 331 - 323. Solve 0 = b*v - 11*v - 6 for v.
-2
Let a = -25 - -28. Let s = -3 + 0. Let j = s + 7. Solve -j + a = g for g.
-1
Suppose -4*n = -5*u + 25, -u + 5 = -0*u. Let i(a) = 2*a**3 - 3*a + 3. Let x be i(0). Solve 3 = -x*t - n*t for t.
-1
Let w = -5 + 25. Let y = w + -16. Suppose 0*j = 4*f + 2*j - 58, -y*j - 4 = -2*f. Solve 2*q = -q - f for q.
-4
Let p(w) = w**3 + 9*w**2 + 8*w + 11. Let u be p(-8). Let k(s) = -5 - u - 3 - 1 + 2*s. Let y be k(14). Solve y = -h - h for h.
-4
Suppose 6*d - 4*d = -10*d. Solve d = 4*w - 30 + 22 for w.
2
Suppose -2*s - 2*z = 8, 4 = -2*z - 4. Let j = 1 + -8. Let d = -7 - j. Solve d = -s*b - b for b.
0
Let s = -27 - -123. Suppose 5*c + c = s. Solve 3*h + h = -c for h.
-4
Let f be (-17 - -11)/(-2*1/3). Let q(i) = 5 + 8*i**2 - i**3 + 10 + 8*i - 3. Let r be q(f). Solve s = 2*s + r for s.
-3
Let i = -7 - -9. Let p be (-2)/(-5) - (-65)/25. Let a(n) = -n**3 - 8*n**2 + 11. Let t be a(-8). Solve -i*h + t = p for h.
4
Suppose -6*v + 32 = 14. Solve v*y + 32 = -5*y for y.
-4
Let g(k) = k**3 + k**2 - k + 3. Let y be g(0). Suppose -y*r + 9 = 5*v, v - 3*r = 2 - 11. Let b(w) = w + 2. Let d be b(-2). Solve d = -v*a + a + 1 for a.
-1
Let u(i) = -i**3 - 39*i**2 + 42*i + 80. Let g be u(-40). Solve g = -5*o - 10 + 20 for o.
2
Let b(o) = o**2 + 5*o - 84. Let c be b(7). Solve a - 6*a - 10 = c for a.
-2
Let i be 2 - -1 - (-16)/16. Solve 4*a - 6*a - i = 0 for a.
-2
Suppose 0 = q - 3*m - 17, -21 = -q - 2*q - m. Solve -q*y + 5 - 13 = 0 for y.
-1
Suppose -6*a + 10*a + 60 = 0. Let r = 15 + a. Solve r*v = v + 2 for v.
-2
Let s(j) be the second derivative of -1/20*j**5 - 1/2*j**2 - 5/12*j**4 - 5/6*j**3 + 0 - 3*j. Let o be s(-4). Solve 2*n + n = -o for n.
-1
Let q = -5 + 10. Let v(z) = -2*z - 4. Let n be v(-4). Let j be -45*10/(-21) - 12/28. Solve -q = -n*t - j for t.
-4
Suppose s - 4*b + 7 = 0, 4 = 2*b - 2. Suppose 0 = -p + 6 + 3. Solve 12 = s*f - p*f for f.
-3
Suppose 80 = 16*s - 160. Solve 33*b = 36*b + s for b.
-5
Suppose 0 = -19*o + 15*o + 88. Suppose o = -4*j + 34. Solve -j*g + 10 = -8*g for g.
-2
Let u = 53 - 38. Suppose 0 = 4*h + 3 - u. Solve h*j = 2*j for j.
0
Let j(n) = -74*n + 530. Let z be j(7). Solve -z = 2*b + 4*b for b.
-2
Let n(d) = -d**3 + 3*d**2 + d. Let f be n(3). Let a(u) be the first derivative of u**2/2 + 9*u - 8. Let v be a(-9). Solve -i - 2 + f = v for i.
1
Let w(d) = d - 1. Let z be w(3). Let t(y) = 5*y + 187. Let p be t(-37). Solve 4 = -z*b - p for b.
-3
Let y be (-1)/(-2)*(-40)/(-10). Suppose y*x = 5*x + t - 6, -t - 18 = -5*x. Solve x*a = -8 - 4 for a.
-4
Let d(f) = 6*f + 4. Let h(t) = t + 1. Let b(z) = 2*d(z) - 11*h(z). Let u be b(3). Suppose -5*w + w = u. Solve 3*m = -w*m + 12 for m.
4
Suppose -3*n = 5*x + 13, 6*n - 4*n - 3 = -x. Suppose -2*r = -n*r. Solve r = 5*s - s for s.
0
Suppose -r + 2*i - 8 = 0, -5*i + 16 = -3*r - 4. Let m(h) = h**3 - 8*h**2 + 8*h - 3. Let w be m(7). Let b = -1390 - -1392. Solve w*o - b*o = r for o.
0
Let h = 9 + -10. Let j be h/(18/(-4) + 4). Solve 20 = j*t + 2*t for t.
5
Let o(c) = -12*c - 45. Let k(w) = -5*w - 21. Let r(t) = -7*k(t) + 3*o(t). Let j be (4/5