 w = -3*v - 3*m, -2*v + 3*m = -v - 3 for v.
0
Suppose -10*k - 56 = -38*k. Solve 0 = -k*c + 2*i + 6, -5*c + 0*i + 12 = -4*i for c.
0
Let a be (3/(-3))/(3/(-12)). Let l be 6*(a + 28/(-8)). Solve x + 11 = 2*b, l*x - 12 = -5*b - 1 for b.
4
Let f = 710 - 707. Solve 4*u = -3*c - 1, f*c + 5 = -5*u + 3*u for c.
-3
Suppose -1 = -v - 0. Let s be (9 + v)/((-4)/(-18)). Let h be (7 - (-546)/(-77))*-55. Solve -f = -h*f + 5*b - s, b - 15 = 2*f for f.
-5
Let n(y) = -y**3 - 3*y**2 + 5*y - 3. Let g be n(-4). Let f be 13/g - 7/49. Let c be -6*((-8)/(-6))/f. Solve -3*u - 10 = -2*r + c*r, 5*u + 22 = 2*r for u.
-4
Let s(n) = -n**3 - 12*n**2 - n - 9. Let f be s(-12). Suppose -35 = -4*z + 13. Suppose 17*p = z*p. Solve -2*q + p*b + f*b - 14 = 0, -5*q - 3*b = 14 for q.
-4
Let w(u) = -u**3 + 8*u**2 + 12*u - 11. Suppose 4 + 14 = 6*o. Suppose -17 = -o*b + 10. Let r be w(b). Solve -5*l - 29 = -4*t, 0*t + 3*l + r = t for t.
1
Let w(h) = -h**3 - h + 5. Let b be w(0). Solve b*a - 27 = y + y, -4*y = -a + 9 for y.
-1
Suppose 0 = -66*y + 85 + 245. Solve -n = -k + 2, 3*n = -2*k - 6 - y for k.
-1
Let t = -1 + 10. Suppose 0 = 2*v - 3*w + t, 2*v - 3*w = v - 9. Solve -4*c - 3*i - 10 = v, -c - 14 = 4*c + 3*i for c.
-4
Let x(c) = -5*c - 2. Let q(r) = -14*r - 5. Let b(s) = -6*q(s) + 17*x(s). Let y be b(-14). Solve 2*u + y = -4*p, 4*p + p = -5*u - 25 for p.
0
Suppose 5*a = -3*q + 27, 7*q = -4*a + 2*q + 32. Solve -a*c = j, 5*c + 9 - 4 = 0 for j.
3
Let d be (-1)/(-2)*0/20. Suppose 6 = 5*a - 2*p - 14, d = 5*a - 4*p - 30. Solve 5*i + 17 = a*t, 2*i + 2*t = i - 13 for i.
-5
Let o(a) = 12*a**2 + 21*a - 2. Let q be o(-2). Solve -4*b + 5*z = -2*b + 25, -4*b - q*z + 20 = 0 for b.
0
Suppose 2 + 13 = 5*a. Let m be (5 - 5)/(3/(-1)). Suppose -5*n + 30 = 3*y - 0*n, 3*y + 2*n - 21 = m. Solve u = 3*u + y*t + 21, t = -a for u.
-3
Let i be (25/10)/((-4)/(-8)). Solve 0*k - i = x - k, 3*k + 1 = -x for x.
-4
Let t(c) = -17*c + 2. Let q be t(2). Let o = 36 + q. Solve 0 = -f + 4*l + 7, -2*f - o*l + 2 = -0*l for f.
3
Suppose 0*m = -m - 4*b + 14, b = 2*m - 28. Solve -11*d + m*d - 32 = -5*o, 0 = 3*d - 4*o + 4 for d.
4
Let s be (9 + -18)*(-4)/3. Solve 3*f + 5*c = 14, c + s = 3*f + 4 for f.
3
Let p(b) = b + 5. Let h be p(-1). Solve u = x, -h*u - u = -x + 12 for x.
-3
Suppose 8*h - 46 - 34 = 0. Solve -r + 2 = v - 6, v - 5*r + h = 0 for v.
5
Suppose 0 = i - 2*x + 10, -2*x + 12 + 0 = -2*i. Let v = 3 - 5. Let u be -3*(-2 + v/i). Solve 6*r - 5 = 2*g + 3*r, u = r for g.
2
Let g be 58 + -60 - 14/(-2). Solve 2*a - a - 19 = -g*k, 4*a + 5*k - 16 = 0 for a.
-1
Let v be ((-104)/65*(-5)/2)/2. Suppose -3*a - 2 = -5*a. Let j be a*((-3 - -5) + 3). Solve j*z = 2*h + h + 9, -2*h = v*z - 10 for z.
3
Suppose -87*u + 89*u = 10. Solve -z - 2*z + j = -14, -2*j + 16 = u*z for z.
4
Let z = -4 - -6. Suppose 2*w = 5*g + 107 - 31, 3*w - 64 = -5*g. Let d = 439 - 435. Solve -z*j - x = -0*x + 6, 2*x = d*j + w for j.
-5
Suppose -2*h = 3*w - 10, 3*w + 8*h - 25 = 3*h. Solve -3 = -5*s + y - 23, 2*y = w for s.
-4
Let d(g) = -6*g**2 - 125*g - 81. Let b be d(-20). Solve 10*n = -4*y + 8*n + 18, 3*y = 4*n + b for y.
5
Let m be (-2)/(2/4 + 9/6). Let j be (-1)/3*9*m. Solve 2 + 4 = -3*k + y, -j*k + 3 = -4*y for k.
-3
Suppose -8 = -4*r + q, 47*q - 46*q = r + 1. Solve -7*h + y - 10 = -2*h, h + 2 = -r*y for h.
-2
Let x = 415 - 408. Solve -4*f = -20, s - x = -f - 1 for s.
1
Suppose -s = -171 + 133. Suppose 9*y = -10*y + s. Solve -5*k + 25 = 0, y*p - 4*k = 4*p - 10 for p.
-5
Let g = -5 - -5. Suppose g = -t + 2*t. Solve t = 2*c - 3*x - 5, -4*c + 2*c + x + 3 = 0 for c.
1
Suppose 0 = -25*c + 148 + 77. Solve 5*l = 4*y + 7, -y = -4*y - c for l.
-1
Suppose -3*n + v + 0*v - 16 = 0, -2*n - 15 = -5*v. Let u(y) = -y. Let z be u(n). Let j be (4*1)/(2/z). Solve -1 - 3 = -2*t + 4*w, 2*t = -2*w + j for t.
4
Let m = 324 - 320. Solve -12 = -m*v + 3*n, -5*n = -0*n for v.
3
Let k(q) = -20*q - 35. Let c be k(-2). Solve 0 = -l - 0*l + s + 1, c*s + 6 = 4*l for l.
-1
Let u(h) = -h + 5. Let r be u(3). Solve 0 = -3*k + 2*n - 19, -28 + 9 = -r*k - 5*n for k.
-3
Suppose 2*w = -2*w + 5*n + 29, 0 = -5*w - 2*n + 28. Solve -2*x + 5*x - 26 = -5*h, 0 = -3*x + w for h.
4
Suppose -2*u = 3*u + 625. Let n = u - -130. Solve -3*p + 16 = -f - 3*f, n*f = -5*p + 15 for p.
4
Let l(v) = v**2 - 3*v - 13. Let j be l(6). Suppose j*a - 25 = -0*a. Let w be 4/(-4)*6/(-2). Solve w*m + 4*k - 3 = 0, m + 3 = 4*m - a*k for m.
1
Suppose -3*f + 4 = c - 4, -3*f = -4*c - 13. Solve 0 = -5*m - 4*v - 4, 3*m + v = -f + 2 for m.
0
Let y = -63 - -63. Let m(l) = -l**3 - 4*l**2 + 5*l + 3. Suppose 0*r = -r - 5. Let x be m(r). Solve -3*k + t = 3 + x, y = k - t + 2 for k.
-2
Let l(t) be the first derivative of -t**2/2 + 7*t + 3. Let s be l(5). Let q be (-5 - -1) + (18 - 9). Solve -q*r - s*i - 30 = 0, -i + 6*i + 41 = -4*r for r.
-4
Let m be (6/4)/(52/104). Solve m*i + 0*l - 3*l = -6, -1 = i - 2*l for i.
-3
Let y(v) = v**3 - v + 3. Let s be y(2). Suppose -7*i = -4*i - s. Solve i*m - 4*u = 25, -5*m - 7 = 5*u - 2 for m.
3
Let g be (96/(-9))/8*3. Let u be (g/12)/(1/(-24)). Solve -p - p - 26 = -4*w, w = p + u for p.
-3
Suppose -4*j - 64 = 16. Suppose -9*w + 7*w - 50 = 0. Let k be (j/w)/((-1)/(-5)). Solve k*p + x + 2 = 8, -4*p - 3*x = -10 for p.
1
Let b(f) = f**2 + 5*f + 10. Let s be b(-3). Let u = -56 + 25. Let k = u - -54. Solve 2*o + k = 5*w + s*o, 0 = 3*w + 3*o - 12 for w.
5
Let q(g) = -g**2 + 2*g + 3. Let i be q(0). Solve -a + 13 = i*a - j, 0 = -5*a - 2*j for a.
2
Suppose 5*k - 4*r - 12 = 0, 14*r + 16 = 5*k + 12*r. Solve 13*v - 12 = -2*z + 18*v, 0 = k*z + 5*v + 36 for z.
-4
Let a(u) = u**2 - u. Suppose -3*j = 2*g + 7, -3*j = g - 5*j. Let n be a(g). Solve -n*k + h = -2*k + 8, -h = 5*k + 10 for k.
-2
Let l be 60/3 - 18/3. Solve 2*a - 4*x = -l, 0 = 8*a - 3*a + x + 2 for a.
-1
Suppose 5*w - 25 = 7*l - 2*l, -5*l = 10. Let v = 0 + w. Let c(y) = -y + 5. Let q be c(v). Solve 0 = -u - 2*f - 1 - 6, 13 = 5*u - q*f for u.
1
Suppose -4*x + 3*x + 5*j + 37 = 0, -5*x + 50 = 2*j. Let z(k) = -k**3 - 7*k**2 + 8*k + 5. Let i be z(-8). Solve -2*f - i*g = 33, -3*f = 3*g - x + 39 for f.
-4
Let s be (-14)/(-4)*16/28. Suppose -2*n + 10 = 0, -2*m - s*n - 5 = -21. Solve m*u + 4*w + 7 + 11 = 0, 0 = -4*u - 3*w - 17 for u.
-2
Suppose 4*b = 4*a + 4, 4*a + 2 + 2 = b. Let t be (b/(-5))/(3 + -2). Solve t = -4*r + 3*u + 4, -5 = -3*r - 2*r - 2*u for r.
1
Suppose -2*l - 12 + 48 = 0. Suppose 0 = -4*j + 2 + l. Suppose 2*k + 4 = 0, -6*k = -18*n + 15*n + 27. Solve 4*s + v - j*v = 0, -4*v = -3*s - n for s.
5
Suppose -2*o - 30 = -5*o. Let s be (o + -12)*(-3 - -1). Solve -3*f = 3*n - s*n - 14, -f + 4 = 0 for n.
-2
Suppose 6*j = -15*j + 105. Let c = 0 - -2. Let g be (-1 + 3/c)*0. Solve 0 = 3*f - 6, j*i = -g*i + f + 13 for i.
3
Suppose p = 2*p - 2*v + 16, -27 = 2*p - 3*v. Let g be 3 - p/3*(-21)/(-6). Solve h = -3*b - h - g, 4*b = 3*h + 15 for b.
0
Let v be 1 - 3 - (12 + -16) - 0. Suppose 0 = 5*g - 5*o - 39 + 14, g + 10 = -v*o. Solve -4*k = 5*b - g*k - 24, -2*b + 13 = 5*k for b.
4
Let d(q) = 2*q - 15. Let z be d(8). Suppose -b - 43 = z. Let w = 68 + b. Solve 3*o - 5*s = -w, -5*o + 5*s = -18 + 48 for o.
-3
Suppose -3*z + 7*z - 68 = 0. Let i = z + -18. Let k be (1/(-3))/(i/27). Solve -5*f + 3*w - k = 0, 0*f + 4*f - 5*w = -2 for f.
-3
Suppose -24*l = -8*l - 32. Solve 0 = 4*t + 16, l*h + 2*h - 5*t - 36 = 0 for h.
4
Let y = -105 + 189. Let a = y + -80. Solve -3*r = -a*v + 7, -v = -5*r - 0*r - 23 for r.
-5
Suppose -c = 39 + 35. Let x = 84 + c. Solve -3*q + 5*q + x = 0, q + 9 = t for t.
4
Let k(v) = v**3 - 7*v**2 + 7*v - 5. Let w = -51 - -57. Let g be k(w). Solve u = -r, -7*r = 4*u - 2*r - g for u.
-1
Suppose 12*v = 62 - 14. Let a(j) = -j**2 + 2*j + 12. Let h be a(v). Solve -3*g + 19 = h*y, 0 = -5*g + g + 4*y - 12 for g.
1
Suppose 13*d = 8*d + 15. Suppose -3 + 9 = d*h. Solve -5*m = -3*u - 18, 4*u + 3*m = -h*m + 11 for u.
-1
Let d be (-91)/(-35) + 4/10. Solve -5*i - 3*x = x + 12, d*x = i - 9 for i.
0
Suppose 2*s + 5*o + 19 = 0, 37 = -4*s - 4*o + 5. Let u(a) = a**2 + 9*a + 15. Let t be u(s). Let q = 4 + t. Solve 23 = q*f - p - 2*p, 5*f = p + 21 for f.
4
Suppose 0 = -4*x - 21 + 1. Let m(o) = 2*o**2 + 9*o - 3. Let r be m(x). Solve -5*q + u + 1 = 0, 0 = r*q - 3*u + 11 - 1 for q.
1
Suppose 5*v - i - 38 = 2*i, 2*v = 5*i. Let c be v + (0/(-3 + 7) - -2). Solve -5*u = 4*z + 14, -c = 4*u + u 