 - w + 2 for v.
1
Let y be 114/27 + 3*14/(-189). Solve 0 = c - 6*c + 4*j - 15, 0 = -y*c - 3*j + 19 for c.
1
Suppose 0 = 2*y + 4*j - 10, 54*y - 57*y + 10 = j. Solve 4*c - 3 + 38 = 5*i, y*i - 2*c - 19 = 0 for i.
3
Let s = -745 - -762. Solve 5*l + 3*q + q - s = 0, 0 = l + 3*q + 1 for l.
5
Suppose -u + 2*u - 8 = t, 0 = 4*u - t - 23. Suppose -2*a + 17 = u. Solve -2*o = -g + 2 + a, 3*g - 20 = 4*o for g.
4
Let z(r) = 2*r**2 - 4. Let w = 13 - 11. Let c be z(w). Solve -y + c = -2*j + 14, 0 = 3*y + j - 5 for y.
0
Let g(t) = -11*t + 7*t + 2 + 3*t - 2*t. Let z be g(-2). Let u be 2 - (2 - z/4). Solve -5*b - i = -2*i + 15, -5*i - 33 = u*b for b.
-4
Let z = -572 - -574. Solve 0 = -4*b + z*r - 2, 0*r = 3*b + 5*r - 5 for b.
0
Let h(n) = -28*n - 56. Let m be h(-2). Solve 0 = 2*s - k - 4, m = -10*s + 7*s + 4*k + 11 for s.
1
Let j(w) = -3*w**2 - 4*w**2 + 10*w - 16 + 2*w**2 + 4*w**2. Let a be j(7). Solve -a*f + 4 + 1 = -2*g, -3*f + 2*g = -3 for f.
1
Let r(q) = q**2 - 33*q + 242. Let g be r(22). Suppose 1 = -2*p + 5. Solve 0 = -p*a - 3*a + 4*l, g = a + 5*l for a.
0
Let c = 65023 + -65010. Let b(z) = 2*z**2 - z + 1. Let a be b(2). Suppose -2*n = -6 - 0. Solve -5*t - c - a = 0, 2*w = -n*t - 10 for w.
1
Let n(v) = -5*v - 20. Let h be n(-8). Solve -5*a + l + h = 0, -a + 2*l - 20 = -3*l for a.
5
Let a be 1/((375/(-10))/15)*-10. Solve a*w = 2*i + 20, 2*i - 3*w + 22 = 6 for i.
-2
Suppose -3*t + 15 = 5*i - 14, -i + 1 = -t. Let a(r) = -r**3 + 20*r**2 - 33*r - 50. Let n be a(18). Solve -i*h = 2*v + 10, n*v + 25 = -2*h - v for h.
0
Suppose -717 = 6*q - 741. Solve -12 - 7 = 5*p + a, -q*p + 5*a + 8 = 0 for p.
-3
Suppose 3*i = -2*a + 8*i + 12, 4*a = -2*i - 24. Let l = -2 + a. Let c = 7 + l. Solve -3*w + 4*h = -c, 3*w - 15 = -3*h - 0*h for w.
3
Let r be (-3 - 8) + 13 + (-4)/2. Let i be (2 + -1 + -1)/1. Suppose i = -2*v + v + 2. Solve r = -2*p + z + 3, v*p + p - 7 = 4*z for p.
1
Suppose -4*v - 3*i = -95, -5*i = 12 - 37. Let b(y) = 28*y + 1. Let j be b(-1). Let d = j - -44. Solve 0 = 4*l + 3*g + d, 0 = -4*l - l - 5*g - v for l.
-5
Suppose 4*c - 19 = -q, 5*c - q = q + 27. Suppose 3*d - 5*v = 24 + 5, 0 = 2*d - c*v - 26. Solve 3*r = -2*w + 17, 5*w = -2*r + d*r for w.
1
Let g = -12 - -14. Suppose g*l - 3*s - 5 = 0, 3*l - 6*l + 17 = 5*s. Solve c - h - 1 = -l*h, 4*c + 5*h + 3 = 0 for c.
-2
Suppose 5*z + 14 = 2*l, 3*l - 2*l + 5*z = -8. Solve -7*w - 3*y = -3*w + 14, 4 = -l*y for w.
-2
Let k(c) = c**3 - c**2 - 1. Let f be k(2). Suppose -f*b + 6*b - 6 = 0. Solve -2*h = -b*o + 6, -2*h + 0 + 19 = 3*o for h.
2
Suppose -i + o = -21, -17*o - 45 = -2*i - 12*o. Solve 2*r - 5*n + i = -0*r, -r + 5 = 5*n for r.
-5
Let v be (16 - 8)/(-2 - 28/(-10)). Solve -s + 2*r = 9, -v*s - r = -5*s - 10 for s.
1
Let b = -75 - -86. Let d = 15 - 10. Solve -6*l + 3*l + 5 = 4*v, d*l + b = 3*v for l.
-1
Let z(j) = 6*j + 174. Let o be z(-29). Solve -32 = -o*v - 4*v + 4*g, 5 = -5*v - 4*g for v.
3
Let h(f) = -7*f**3 - 2*f**2 - f. Let c be h(-1). Let q = 36 + -36. Let w be -2 + 4 - (-1)/1. Solve -i + c*b - w*b - 10 = 0, q = -i - b + 6 for i.
2
Suppose 0*k = -4*k + 3*q - 186, -3*k - q = 133. Let l be 4/30 - 579/k. Solve l = -m + 2*y - 0, m - 22 = -5*y for m.
-3
Suppose -5*s - 4*k = -35, 2*s - k = -5*k + 26. Suppose -2*a + 35 + 11 = 0. Suppose -s = 5*r - a. Solve 2 = -4*m + 2*n, -5*m - r*n - 12 + 3 = 0 for m.
-1
Suppose 27 = 3*a - 15. Suppose -10 - a = -3*x. Solve -5*m - 3*c + 12 = 0, x*m - 4*m - c + 4 = 0 for m.
0
Let q = 8 - 5. Suppose -t = 3*t - i + 4, q*i = 4*t + 12. Let o be (85 + -73)*(((-4)/3)/1 - -2). Solve -5*b - o = -z, -2 + t = 2*b for z.
3
Let f = -300 + 303. Solve 2*o - 13 = 6*o - f*a, -3*o - 5*a = 17 for o.
-4
Let m = -9 - -12. Suppose 0 = 4*q - 9 - m. Solve h + 3*t + 4 + 1 = 0, q*h + 15 = 3*t for h.
-5
Suppose -z + 33 = 2*z. Let a be (0 + 1)*(z - 9). Suppose 0 = a*v + u - 84, 2*u - 13 + 5 = 0. Solve -x - 29 = 5*j, 4*j + x = -4*x - v for j.
-5
Let c(d) = -d**3 - d + 1. Let o(s) = -6*s**3 + 13*s**2 + 8*s + 19. Let f(y) = -5*c(y) + o(y). Let u be f(14). Solve 5*r + 5*v + u*v = 0, 0 = -2*r - 4*v for r.
0
Let t(q) = -q - 3. Let z be t(-3). Suppose z*p = -5*p + 15. Let l = 16 + -14. Solve -y + l*o = -6, -2*o = p*y - 4*o - 6 for y.
0
Suppose y + 57 = 4*y. Suppose q - 88 + y = -3*d, 0 = -2*d - 3*q + 53. Solve 5*o - j - d = 0, -3*j + 4 = 10 for o.
4
Suppose 5*q + 10 = -50. Let a be 18/q + 1/(-2). Let d be (-202)/(-8) - a/(-8). Solve 0 = -2*u - 4*r + 20, 5*r = -u + 5*u + d for u.
0
Let w(r) be the third derivative of 5*r**4/24 - 65*r**3/6 - 21*r**2 + 2. Let z be w(13). Solve 3*n + 4*t + 13 = z, 2*t + 2 = -5*n - 1 for n.
1
Suppose -4*v - 2*z = -84, -44 = 5*v - 5*z - 134. Suppose -8*m - 50 = -4*u - 6*m, -m + v = u. Solve -3*h + 23 = -5*h - 3*p, 5*h = p - u for h.
-4
Suppose 2*p - 3*z = -9, 6*p = p - 2*z - 13. Let j be 15/p*2/(-5). Suppose 2*w - 5*y - 25 = 0, -j*w - y + 12 = w. Solve 24 = h + 4*x, 3*h - 12 = -x + w for h.
4
Suppose p = 4*f - 15, -2*f = p - 3*f. Suppose 5*x = -p*y + 115, -3*x = y - 5*x - 29. Solve -y = -5*a, 4*a - 3 - 1 = -4*i for i.
-4
Let h be 3*(30/9 + -3). Suppose 0*o - 2*o = 3*u + 5, 0 = -o - u - h. Solve 2*c + o*s - 13 = -3*c, -s = -2*c - 2 for c.
1
Let o be 25 + (-2)/(6/9). Solve 5*f - 10*a + 7*a = -22, -4*f = 2*a + o for f.
-5
Suppose -t + 83 = 58. Suppose -7 + 21 = 2*a. Suppose -2*v - a = -t. Solve 5*n - 17 = -2*c, 2*n + 7*c - v = 4*c for n.
3
Let v = 707 + -702. Solve -2*k = 4*d - 18, -8*d = v*k - 4*d - 15 for k.
-1
Let j be (6/10)/(980/325 + -3). Let l = 42 - j. Solve -l*g - 12 = -4*r, -4*r + 9 = -r - 4*g for r.
3
Let m be ((-6)/9)/(1/12). Let y be -2 - (m - 1) - 3. Solve -5*w - 9 = -3*b, 9 = -5*b - w - y for b.
-2
Suppose 16 + 9 = -5*d, -2*x - 3*d = 5. Let w be 20/x - 3/(9/(-33)). Solve 2*a = 5*a - 2*t + 15, t = 4*a + w for a.
-3
Let y = 276 - 150. Let x be y/24 + (-2)/8. Let i be (x/(-2))/((-12)/24). Solve -3 = -g + i*b, 18 = 5*g + b + 3 for g.
3
Suppose 5*c + 3 = -7, -149 = -3*j + 4*c. Suppose 4*l - 13 - j = 0. Solve 0 = -4*t + 2*u + 20, -4*t + 3*u + l = -5 for t.
5
Let w = -28 - -41. Let l(t) = 26*t**2 + w*t**2 - 1 - 1 + 0 + 3*t. Let a be l(1). Solve -5*h = -4*o - a, 0*h = -2*h + 4*o + 28 for h.
4
Let n = -659 + 683. Solve -j + 0*a - 24 = 5*a, 2*j = -4*a - n for j.
-4
Suppose 2*q - 438 = -4*q. Suppose 5*c - h - 77 = 0, 5*c - 2*h = -3*h + q. Solve 3*z - 40 = 5*a, a - 2*z + c = -0*a for a.
-5
Suppose -5*r + 2*r + 4*r = 0. Suppose 4*f + 2*x - 4 = 0, -3*f + x - 3*x + 2 = 0. Solve f*c - 2*z + 0*z = -6, 3*c + 5*z - 23 = r for c.
1
Let i = 1094 + -1079. Solve 2*v - 2*r = -v + i, -5*r + 10 = 2*v for v.
5
Let f(l) = -2*l**2 + l**2 - 9*l - 8 + 0*l**2 + 6. Let r be f(-8). Suppose 0 = -2*b + r. Solve 2*y = 4*o + 10, -4*y + b*o + 9 = -1 for y.
1
Suppose 4*l + 23 = n, -22 = -2*n + 2*l - 0. Solve 0 = 5*s - 25, -n = 4*d - s + 2*s for d.
-3
Suppose k + 36 = 90. Suppose -4*f + 2*f = -k. Suppose -f*d = -26*d. Solve -3*o = 4*n - d*n - 2, -4*n + 14 = -3*o for n.
2
Suppose 21*f - 52 = -3*h + 25*f, 3*h - 56 = 5*f. Solve w = -3*u + 4*u, 4*u = -h for w.
-3
Let w = 21 + 59. Let q be (26/8)/(10/w). Suppose 4 = 4*b, 2*b + 8 = -4*f + q. Solve h = 2*g - 2*h, -f*g - h = 0 for g.
0
Suppose 5*y + 4*r = 2*y + 20, 5*y + 3*r = 26. Solve 4*f + k + 22 = 0, 9*k - y*k + 20 = -2*f for f.
-5
Suppose d - 2*b = 2*b + 10, 0 = -d + 2*b + 6. Solve 5*g - 28 = f - 3*f, d*g - 4*f = -8 for g.
4
Let j = 16 - 14. Let u(k) = k**2 + 5*k - 4. Let w be u(-6). Suppose -4 = j*x + 3*c, -4*x + x + 4 = w*c. Solve 8 = 2*f + x*o, 0*f = -f + 4*o - 20 for f.
-4
Let d be 16 + -5 + 1 + 4. Suppose -20 = d*z - 21*z. Suppose w - 4*o - 8 = -6*o, 20 = 4*w + z*o. Solve n = g, w*g - 25 = -n - 2*n for g.
5
Let u be ((-16)/(-24))/((-10)/(-135)). Solve 0 = -4*v - 2*c + 12, u = 3*v - 3*c - 0 for v.
3
Suppose 4*x + 4*j = -44, -4*x - 2*j - 40 = 3*j. Let r be (4/6)/(2/(-60)). Let f = x - r. Solve -f*l = -10, -7*l - 2 = -4*c - 6*l for c.
1
Let t = 16 + -13. Suppose 2*q - 7 = -t. Suppose -40 = -6*j - q*j. Solve -j*f - 2*i = -3*i - 30, 5*f - 2*i - 35 = 0 for f.
5
Suppose -94*f + 91*f = -15. Solve 45 = f*s - 4*y, -s = -4*s - 3*y for s.
5
Suppose 3*v = 21 - 6. Let x(u) = u**2 - 5*u + 3. Let p be x(v). Let a = -22 + 27. Solve -p*l = m + 13 - 5, -4*m - 15 = -a*l for m.
-5
Suppose 0 = -9*x + 169 + 110. Let q = 37 - x. Solve -q*p = -4*p - 10, 5*j + 5*p = 5 for j.
-4
Let j(r) = -