 + q for m.
2
Let w(z) = 2*z**3 + 22*z**2 - 57*z - 57. Let j be w(-13). Solve -3*g - 5 = 4*u, 5*u + j = g - 3 for u.
-2
Let q be ((-2)/4)/((-3)/12). Let m be (-10)/8*(q + -6). Solve m*s + 5*w + 36 = 6, 4*s - 5*w = 12 for s.
-2
Let j be 1*3 - (1 - 2). Suppose -h = 3*n + 5 + 14, -2*h + 2*n - 6 = 0. Let z be (-1 + 3 + h)*-1. Solve 5 = -2*q + z*a, -j*q + 3*q + 3*a - 3 = 0 for q.
0
Suppose n = 1 + 1. Suppose z + 5*z - 30 = 0. Suppose 22 + 8 = 3*h. Solve h = -a + z*a - 3*c, 4*a = -n*c for a.
1
Suppose -3*a - 4*a + 35 = 0. Suppose -4*p + 1 = -5*o, -a*o = -2*o + 3*p - 21. Solve -3*t + 0 = 5*l + 13, -l - o*t = 5 for l.
-2
Let b(s) = -s**2 - 7*s + 10. Let v be b(-7). Solve -5*c = 2*j + 5, 6*c = c - 3*j - v for c.
1
Let y be (2 - 1/1)*-3. Let c(n) = 14*n - 98. Let f be c(7). Let h be (f - -1 - y) + 0. Solve -2*x = -4, 4*r + h*x + x = -2 for r.
-3
Suppose 3*g - 3*v = 7*g + 4, g = -3*v - 10. Solve -g*j - 4*w = -2*w + 2, -5*j - 23 = -w for j.
-4
Let s = -4 - -7. Let u be 8/s*(-18)/(-8). Solve -4*i - 3*k + 3 = 0, -2*k + u - 4 = 0 for i.
0
Let n(k) = k**3 - 15*k**2 - k + 21. Let b = 28 - 13. Let i be n(b). Solve -4*g = -2*m + i, -2*m - g + 4 = -7 for m.
5
Let v = 41 + -49. Let b be 1 + 1/((-1 - 3)/v). Solve 3*n - 2*k = -11, -2*n + b*k - 8 = -4 for n.
-5
Let q(a) = 13*a**2 + 7*a + 5. Let r be q(-1). Let n = -11 + 34. Let y = n - r. Solve -4*s - 3 = 3*g - 15, 0 = -2*g + 4*s - y for g.
0
Suppose 40 = -9*a + 58. Suppose a*n + 11 = -3*u, 5*u = 4*n + u - 28. Solve 5*y + r - 10 = -n*r, 2*y + 4*r = 4 for y.
2
Suppose -x - 17 = -4*y, 12 = 4*y + 3*x - 17. Let v be 176/10 + 2/y. Let w = v + -14. Solve 20 = 5*j + a, w*j + a - 12 = 3 for j.
5
Let z(q) = -2*q + 14. Let d be z(5). Suppose 4*f + 16 + d = 0. Let l be (-2)/f + 24/15. Solve 4*a - l*h + 0*h - 12 = 0, 3*h = -6 for a.
2
Let r = -34 + 39. Let t be (20/16)/r*100. Solve 8*v - 3*v - t = -5*y, 2*y = -5*v + 16 for y.
3
Suppose -2*u - 42 = -46. Solve -4*o = -u*m + 10, 4*m = -o - 5 - 11 for o.
-4
Let i be 245/(-98)*4/(-5). Solve 5*y + 4*q = i*y - 25, -3*y - 5*q - 29 = 0 for y.
-3
Suppose 3 + 6 = 3*k. Suppose 0 = k*j - 7*j. Solve -2*a = 5*p + 11, -p + j = a + 4 for p.
-1
Let j(v) = v**3 - 44*v**2 + 4*v - 172. Let b be j(44). Solve 0 = 3*g - b*w - 5, -2*w - 8 = -3*g - 1 for g.
3
Let t = -6 + 9. Suppose 0 = t*b + 2*b + 70. Let w = -11 - b. Solve -6 = -5*x + f, f + 1 + 3 = w*x for x.
1
Let y(b) = -6*b + 39. Let w = 66 + -62. Let o be y(w). Solve -2*p + 5*f + o = 0, 0*p - 3*f = -3*p for p.
-5
Let x = 23 + -21. Suppose -4*f - 10 = -3*k, -3*k - x*f + 4 = -0. Suppose 7*w - 2*p = 4*w - 2, 5*w - 5*p + 5 = 0. Solve j + k*l + 4 - 3 = w, 4*j + 5*l = 5 for j.
5
Suppose 5 = 2*c - 17. Suppose -21 = -3*u + 5*r - 7, 3*r + 6 = u. Suppose 5*m = -2*j - 19, 3*j + 1 = m - u*m. Solve a + 6 = -2*s, -4*a + j*a = 3*s + c for a.
4
Suppose -42*c = -46*c + 16. Suppose -y + 4*y - 90 = 0. Let n be 2/(-4) - y/(-12). Solve -4*g = -5*m - 40, c*m = n*g - g - 21 for m.
-4
Let a = 40 + -40. Suppose a = -11*k + 10*k. Solve 3*s - c + 8 = k, 4*c = -5*s - c - 40 for s.
-4
Let q = -29 - -33. Suppose -3*y = 4*r - 25, 0 = -y - q*y - 2*r + 23. Solve -3*s - l - 13 = y*l, l = s - 5 for s.
1
Suppose -5*o + 26 = 11. Let n be ((-36)/(-20))/(15/25). Solve -5*i - 2 = b, n*i = -4*b - o + 12 for i.
-1
Suppose -44 = -6*r + 94. Suppose 4*m + 3 = -9, 2*w - 2*m = 16. Suppose w*u + 3 - r = 0. Solve 5*h - 10 = -2*o, -o + 0*o + 5 = u*h for o.
5
Let o = 116 + -42. Let c be 14/(-49) + o/14. Suppose u - 16 = -3*u. Solve u*p + 4 - 14 = c*h, 3*p = -h + 17 for h.
2
Let u = -3 - -3. Suppose -2*g = -u*g - 6. Suppose -117 + 54 = -3*w. Solve -5*y + 5*m - 5 = 5, g*y + 2*m = -w for y.
-5
Suppose 0 = 6*d - 28 + 4. Let s = -6 - -11. Suppose -s*g = 4 - 19. Solve 0 = 4*j - g*q - q + 32, 4 = 3*j + d*q for j.
-4
Let u = -2794 + 2796. Solve j = -3*k + 8 + 3, -2*j + u = k for j.
-1
Let f be (0 + -5)/(1 - 2). Solve 0 = -f*o - 4*h - 21, -5*o + o - 3*h = 17 for o.
-5
Let c be ((-396)/(-24) + -12)*(-10)/(-9). Let r be (-1 - (-4 - -1)) + -2. Solve 6*j - 2*j - 1 = -c*v, r = -v + 4*j + 5 for v.
1
Let q be -5 + (-1 - (1 - 1)) + 2. Let u be 6/q - 9/(-6). Solve 0 = 5*s - 20, -3*j + 7 = s - u*s for j.
1
Let n(i) = i**2 + 16*i + 63. Let g be n(-6). Solve -2*l = 2*q + 1 - 7, -g*l = -4*q + 26 for q.
5
Let q = -2 + 4. Suppose -j + 4*l = q*j - 20, -3*j + l + 14 = 0. Suppose -11*v - 97 + 152 = 0. Solve j*g - 20 = 0, -2*a + v = -4*g + 33 for a.
-4
Let f = 3 + 1. Let n be (-16)/32 - 75/2. Let b = n + 42. Solve 0 = -2*m + m - 3*c - f, 5 = -b*m - c for m.
-1
Let z(a) = a + 26. Let l be z(-15). Let s be 1*-1*(-33)/l. Solve m = 3*d - s*m - 11, 0 = 2*d - 3*m - 7 for d.
5
Suppose 15 = -5*r - 10, 2*r + 34 = 2*m. Solve 4*y - 26 = 5*g, 5*y - 2*y = m for g.
-2
Suppose 3*c = -4*a + 20, -3*a - 4*c = -3*c - 10. Let o be 1/(-4*2/(-24)). Solve -5*m = o*p - 0*p + 9, -4*m = a*p + 6 for m.
0
Let b = -12 - -13. Suppose -d = 2*d + 5*m - 1, -m = b. Suppose -4*s = -d - 6. Solve 0 = 3*u - 0*k + k - 5, 2*k = -s*u + 2 for u.
2
Let m(p) be the second derivative of p**3/6 - 6*p**2 - 9*p. Let k be m(16). Solve 4*l - 4 = -k*y, 0 = -4*y + 3*l - 0 - 3 for y.
0
Let s = -43 + 93. Let o = 54 - s. Solve -8 = -4*f - 4*i, -o*i + 3*i + 12 = 3*f for f.
5
Suppose 6 = -13*s + 15*s. Let u be (1*(-3 - -2))/1. Let h be (1 + 1 + -2)*u. Solve -2*w - 6 = -h*p + 2*p, s*p + 15 = 3*w for w.
1
Let i be (2/(-4))/(-4*1/(-40)). Let b(g) be the first derivative of -g**4/4 - 5*g**3/3 - g**2 - 10*g + 1. Let s be b(i). Solve -5*n = s, 4*l = -n - n for l.
0
Let x(f) = -2*f. Let s be x(-2). Let g(r) = -2*r**2 - 8*r + 4. Let u be g(-4). Solve -i + 5*h - 21 = 0, s*i = 3*i + u*h - 17 for i.
-1
Let c(r) = r**2 + 4*r - 7. Let s = 6 + -3. Suppose -s*b = -5*b - 12. Let g be c(b). Solve -w - 12 = -2*y, 2*w = -g*y - 7 + 19 for w.
-4
Suppose 0 = 129*c - 157*c. Let v(m) = -m + 6. Let o be v(8). Let f be 2*(9/o)/(-3). Solve f*b + 7 = -t, -2*b = -c*t - t + 13 for t.
5
Suppose 8 - 54 = -2*b. Suppose 0 = 3*h + 4*h - 35. Solve -2*g - 2*q = -4, q = 3*g - b + h for g.
5
Let m = 22 - 32. Let p be (-2)/m + 48/10. Suppose p = t - 0. Solve 5*n - t*b = 5, -3*n + 0*n = 5*b + 13 for n.
-1
Suppose r = -6*r + 14. Solve -3*t = 2*y + 3, r*y - 3 = -y + 3*t for y.
0
Let i = -52 - -53. Suppose -5 + i = -a. Solve 24 = -a*n - d, -5*d - 5 = -2*n + 5 for n.
-5
Suppose -3*o = l - 4, 25 = 4*l + 9. Suppose 2*k - 20 + 14 = o. Solve 0 = -k*d + 2*n - 25, 2*d - 3 = n - 18 for d.
-5
Let m(s) = 2*s + 35. Let o be m(-13). Suppose o*y = 6*y + 9. Solve 5*c - y*f + 20 = 0, -c + 8 = 3*f - 6 for c.
-1
Let k = 55 - 55. Let u(h) = h - 4. Let j be u(6). Solve k*w = 2*l + j*w + 8, 2*w + 10 = 0 for l.
1
Suppose k + 20 = 3*k - 5*p, -3*p = 4*k - 14. Solve v + 0*v - 2*r = 2, -k*v + 10 = -r for v.
2
Suppose 4 = 157*u - 156*u. Solve 0 + 4 = -5*w + u*b, -4 = -4*b for w.
0
Let h(j) = -2*j**3 + 52*j**2 + j - 24. Let o be h(26). Solve 4 = -o*z, -d + 5*z - 3*z = 0 for d.
-4
Let a be 38/7 + -2 - (-56)/98. Solve 0*l = a*d - 4*l + 20, 0 = -4*d + l - 20 for d.
-5
Let d(o) = 12*o**2 - 52*o - 10. Let w be d(5). Solve x + g = 34 - w, -4*g = -x + 4 for x.
4
Let f = 529 - 526. Solve 7*k - 2*k - w = 4, 0 = -f*k - w - 4 for k.
0
Let f(u) = u**2 + u - 1. Let q be f(2). Suppose 2*b + 3 = 21. Suppose -p = 3*w - 7 + 1, -4*p + b = -3*w. Solve -q*m + 3 = 2*d, p + 17 = 5*d for m.
-1
Let f be 2*(-3)/6 + 4. Let y(l) = l**2 + 6*l - 11. Let z be y(-9). Suppose 4*u - 4 - z = 0. Solve -k = u*j - 28, 4*k = f*j - 2*j + 7 for j.
5
Suppose t - 5 = 5. Let o = 24 + -20. Solve h + t = -h + 2*s, o*s = -h for h.
-4
Let s(p) = 2*p**2 - 25*p + 84. Let v be s(7). Solve 4*r + 1 = a, 2*a - v*a = 15 for r.
-1
Let f(g) = -g**3 + 8*g**2 - 9*g. Let c be f(7). Let w = -2 - c. Let m = -10 + w. Solve 0 = m*s - x - 7 + 20, -5*s = x + 22 for s.
-5
Suppose 0 = 45*u - 35*u - 50. Solve 4*w + u*h - 11 + 4 = 0, 2*w = -4*h + 2 for w.
3
Suppose -5 = 15*i - 20. Solve q - i = -v - 7, q = -1 for v.
-5
Suppose 59 = -15*g + 89. Solve 2*v = -g*v + 5*d - 12, 4*d = 2*v + 12 for v.
2
Let r(a) = -7*a**2 - 2*a - 7*a - a**3 + 4*a**2 - 7*a**2. Let l be r(-9). Suppose o = -l*o + 13. Solve -v = 5*m - 16, -3*m - 2*v - 2*v = -o for m.
3
Let v(u) = -2*u**2 - 6*u - 2. Let z be v(-1). Solve -3*r - 6 = -3*x, -3*r = -5*x + 6*x + z for x.
1
Suppose -3 = 2*y + 1. Let l(w) = -w**2 - 5*w - 6. Let i be l(y). Solve 4*z 