 v*y - 4 = -2*o - 17 for y.
-3
Suppose 0 = -4*c + 3*w + 24, c - 4*c - 5*w - 11 = 0. Solve v + i - c - 4 = 0, -v = -i - 1 for v.
4
Let k = 25 - 23. Suppose 3*o - 5*a = 17, k*o - 2*a - 28 = -7*a. Suppose -3*t - 3*b = -42 + o, -3 = -t + b. Solve 4*u + 4*w - t = 1, -10 = -2*w for u.
-3
Suppose -3 = n + k - 0, -2*k + 9 = -3*n. Let j be n + 15/5 + 0. Solve 3 = 2*s - 2*u + 1, 5*s + u - 5 = j for s.
1
Let t(r) = 2*r**2 + 1. Let n(f) = -f**3 + 14*f**2 + 15*f + 2. Let y be n(15). Let v be t(y). Suppose -v*a = -6*a - 18. Solve 4*x + 5*b = -1 - a, 5*b = 5 for x.
-3
Let v = -148 + 162. Solve 0 = 4*q - 0*q - 3*s - v, 0 = 3*q - 4*s - 14 for q.
2
Let j be (-2)/(-6)*810/15. Let r = j - 16. Solve -4*d = 5*n + 2 + 19, -n - 7 = -r*d for d.
1
Let a = -169 - -174. Solve a = 5*f + 3*v, v + 2 - 5 = -3*f for f.
1
Let t(d) = d**3 - 14*d**2 - 14*d - 11. Let o be t(15). Let k(c) = 4*c - 6. Let z be k(o). Solve 2*u + 0 - z = -2*x, u = -3*x + 13 for x.
4
Let h(k) = k - 8. Let u be h(5). Let o be u + -2 + -2 + 14. Suppose o = -j + 5*x, -4 = -4*j + 5*x - x. Solve 3*w = -j*y, -2*w - 4*y - 6 = -w for w.
2
Let r be 1*((-14)/(-8) + 6/24). Solve -5*m + u = -10*m + 1, -2*u + r = -m for m.
0
Let r(g) = -g**2 - 3*g + 12. Let o be r(-5). Suppose 8 = -4*y + 2*t, 0*y + 12 = -4*y + 3*t. Solve y = -5*m + 3*m - u + 1, 4*u = -o*m - 14 for m.
3
Let b be ((-114)/9)/((-20)/30). Suppose -35 - b = -6*l. Solve -2*y - 3*y - 10 = 5*c, 5*c + 4*y = -l for c.
-1
Suppose -v - 9 = -45. Suppose -3*r + v = -r. Solve 2 = u + 2*y - y, -r = -u - 5*y for u.
-2
Suppose -u = -6*u + 115. Suppose -4*m - 2*i + 40 = -0*i, -5*i + u = 3*m. Solve -2*s + m = 3*w, 4*s + 1 + 1 = 2*w for w.
3
Let g(l) = -l - 5. Suppose -10 + 0 = -2*a. Let t be g(a). Let k be (0 + 0)*t/(-30). Solve 8*f - 3*f + 7 = -3*j, 5*j + 3*f + 17 = k for j.
-4
Let v be (3 + -1)*(-294)/(-84). Solve g - 4*k = 4*g - v, 14 = 2*g + 5*k for g.
-3
Let n(i) = 2*i - 4. Let f be n(16). Let y be (-16)/f*7/(-2). Solve 0 = l - 5*s - 17, -8 = -3*l + 2*l + y*s for l.
2
Suppose -9 = -z - i, 232*z - 3*i = 234*z - 23. Solve 7*g = 9*g + p + 9, -z*p - 20 = 4*g for g.
-4
Let y(s) = -s**3 - 7*s**2 - s + 3. Let t be y(-5). Let f = t - -43. Solve 5*x + 3 = -2*o, 2*o + f = 4*x + 7*o for x.
-1
Let k = -117 + 113. Let q = k - -13. Solve 7 = -4*t + 4*p - q, 2*t - 12 = -2*p for t.
1
Suppose -2*d - 2 = -z - 4*z, -3*d - 3 = 0. Solve z = -3*o + k - 1 - 7, -5*o - k - 8 = 0 for o.
-2
Suppose 2*q - 10 = -2*z, -q - q - 25 = -5*z. Solve -3*m - 15 = z*a + 2*m, 2*a = -m - 8 for a.
-5
Let m = 20 - 17. Suppose 6 = m*d + i, -2*d - 5*i - 3 = 6. Solve 4*a - 24 = -4*t, 2*t - 4*a + d*a - 9 = 0 for t.
5
Let z = 50 + -52. Let v be 2/(5 + -9)*(z - -2). Solve -1 = -2*u + n, -4*u - 2*n + 7*n - 1 = v for u.
1
Suppose 175*v - 169*v - 180 = 0. Solve 5*x - 5*m + 0*m - v = 0, -x - m = 2 for x.
2
Let q(j) = 3*j - 48. Suppose 23*g - 162 = 14*g. Let r be q(g). Let m = -6 + 29. Solve -5*u + 21 = -3*o, r*o + m = 2*o + 5*u for o.
-2
Suppose 0 = 3*c - c + 6. Let q be 2*c*1/(-2). Let b be 182/154 + 2/(-11). Solve -3*j + b = 2*v - 0*j, 0 = q*v + 5*j - 2 for v.
-1
Let t(b) = b**2 - 3. Let m be t(3). Suppose l = 4*l + m. Let o be l/(-9) - 75/(-27). Solve -3*g = o*k - 29 + 5, g + 12 = 4*k for k.
4
Let g(b) = 2*b + 22. Let z be g(-10). Let s be (8 - z)*(-3)/(-6). Solve h - s*h = 5*f - 30, -5*h = -3*f - 13 for h.
5
Let d = -17 - -17. Let i be (-980)/(-36) + 2/(-9). Suppose d = 2*j - 3*a - i, -5*j + 2*a + a + 45 = 0. Solve 0 = 3*g + 3*c - 18, -2*g + 2*c + j = -2 for g.
5
Suppose -491 = -10*l - 101. Suppose l = 9*n - 186. Solve 0 - 11 = 3*s + 4*m, n = -5*m for s.
3
Suppose 0*y + 2 = y. Let w(g) = 4*g + 20. Let l(z) = -z**2 + 22*z + 48. Let o be l(24). Let p be w(o). Solve -p = -y*i + 4*r, -6 = -5*i + r + 17 for i.
4
Let v(u) = -u**3 + 7*u**2 - 32*u + 164. Let q be v(6). Solve -4*l + 3*l + 10 = -3*s, -5*l + s = -q for l.
1
Let a(d) = -d**2 - 15*d + 5. Let z be a(-14). Suppose -10 - 22 = -4*u. Solve -c + u = 2*h - 3*c, -4*c - z = -h for h.
-1
Suppose 0 = -2*h - 2*y - 10 + 94, -4*h + 2*y + 168 = 0. Let j = h + -40. Solve -2 = -f, -j*a + 4*f - 4 = 10 for a.
-3
Let g be (2/4)/((-15)/(-150)). Suppose -2*t + 2*q + 12 = 0, -g*t + 0*q = 2*q - 9. Solve 0*i = -t*w - 5*i - 5, 0 = -4*w + i - 22 for w.
-5
Let v = 12 - 10. Solve -22 = -2*r - 3*i, 0*i - v*i + 3 = -r for r.
5
Let k be 34/85 - ((-708)/(-10))/(-3). Solve 4*j + 4*h = 0, 3*j + k = -j + 2*h for j.
-4
Suppose 3*d - 3*h = d + 18, 40 = 3*d + 2*h. Suppose 0 = -r - 2*r + d. Suppose -r*c - c = -30. Solve -q - 2*l + 17 = -c*l, -q - l - 3 = 0 for q.
1
Let v be (23/46)/(2/12). Suppose -3*p = -18 - 12. Let i(b) = -b**3 + 11*b**2 - 11*b + 14. Let w be i(p). Solve -2*o = -3*q + 9, w*o + 2*q = v*q - 3 for o.
0
Let x(n) = -n**3 + 1. Let u be x(1). Suppose -5*h + 8*h - 6 = 0. Solve -2*p = b - u*p + 7, 16 = h*b - 2*p for b.
3
Suppose 0 = -4*s + 5*h - 13, 0 = -2*h + h + 5. Solve -4*y + 4 = -5*b - 1, 5*y - s*b = 3 for y.
0
Let q be ((-80)/(-48))/(5/24). Solve -5*l - 2 = 5*x + q, -l = -4*x - 18 for x.
-4
Let b(k) = k**3 + 8*k**2 + 8. Let o be b(-6). Let z = -64 + o. Solve -4*i + f = -z, 2*i + 12 = -2*f + 30 for i.
5
Let k = 43 - 35. Suppose 2*q = 4*q - k. Suppose 3*c + 2*p + 20 = q*c, -5*c - p + 89 = 0. Solve s - 3 = l, 2*l - 2*s = 3*s - c for l.
1
Let v(d) = -3*d + 38. Let i(t) = 2*t - 38. Let f(c) = -7*i(c) - 6*v(c). Let o be f(-9). Solve -3*y + 4*y = -2*q - 6, -o*q - 22 = -3*y for y.
4
Let a be 1/(-3) + 16/3. Let t(c) = -7*c - 10. Let s(d) = 16*d + 20. Let r(m) = -3*s(m) - 7*t(m). Let i be r(-7). Solve i*z - 19 = 4*u, z - 22 = a*u - z for u.
-4
Let i(k) = -k + 13. Let d be i(11). Suppose 10 + d = 4*a. Let q be 2/7 - (-12)/7. Solve -q*x + 40 = -5*w + a*x, -w + 12 = 4*x for w.
-4
Let j = -4 + 2. Let k be j/3*30/(-4). Let x(g) = -28*g - 110. Let u be x(-4). Solve v + k*i - 16 = 0, 0 = v + v + u*i - 8 for v.
1
Suppose x - 3 = 5*a, 11*x + 44 = 16*x + 4*a. Solve -2*o = -s + 7, 0*s + 3*o = -s - x for s.
1
Let p(n) be the first derivative of -n**2 - 2. Let k be (-3 + -3 - -5)/(-1 + 2). Let s be p(k). Solve -2*z + 6 = 2*m, 4*m - 8 = -5*z + s for z.
-2
Let c(f) = f**3 - 29*f**2 + f - 25. Let x be c(29). Solve x*h - 6 = 4*p + 6, 5*p - 10 = 0 for h.
5
Suppose 3*j + 0*s + 3*s - 36 = 0, 6 = j - 2*s. Let t be 8 - j - (1 - 3). Solve 4*q + 5*p + 9 = t, p - 25 = 6*p for q.
4
Suppose -15*o + m = -10*o - 21, 3*m - 12 = 0. Solve -4*q = -5*c - o, 1 = 5*q + 3*c - 4*c for q.
0
Let y(g) = -5*g - 78. Let r be y(-16). Let c = -80 + 117. Solve 0 = -r*j + 4*k + 26, 4*k - 14 = j - c for j.
3
Suppose 5*l = 3*l. Suppose l*m + 10 = 5*m. Solve 17 = -3*y + 2*u, -6 = -4*y + m*y - 3*u for y.
-3
Suppose 7 = -c + 10. Let y be (9/(-4))/((-42)/(-112)). Let x be (-63)/y - 3/6. Solve c*d + 18 = s, 4*d + x = -10 for s.
3
Let y(c) = 4*c**2 - 4*c + 3. Suppose -7*n + 3 = -4*n. Let t be y(n). Solve -o + 9 = -2*h, -t*h - o - 14 = 2 for h.
-5
Let s = 22 + -24. Let k(w) = -w**2 - 6*w - 4. Let b(r) = -r**2 - r - 1. Let n(f) = -5*b(f) + k(f). Let z be n(s). Solve -3*o = -0*y - y - 11, y + 3*o = z for y.
4
Suppose 4*q = 8*q - 64. Solve -5*m + q = -d, -m - 8 = -2*m - d for m.
4
Let i be (6/(-5))/(1528/(-760) - -2). Suppose 35 = 119*p - i*p. Suppose -2*n = -4*n + 6. Solve -2*v + p = 3*t - n*v, 2*v + 4 = t for t.
2
Suppose 0 = 5*u - 8*u + 96. Solve 0 = 3*r + 4*k - 28, -3*k = 5*r - 0*r - u for r.
4
Let r(g) = -g**3 + 8*g**2 + 2*g - 11. Let i be (-17)/(-2) + 3/(-6). Let k be r(i). Solve -5 = 5*o + 2*n + n, -5 = 5*o + k*n for o.
-1
Let m = 12 - 7. Let r(d) = d**2 - 5*d + 5. Let u be r(m). Solve u*s - 6 - 5 = -4*p, -5*p + 22 = -2*s for p.
4
Let v(f) = -2*f**3 - 91*f**2 + 50*f + 184. Let t be v(-46). Solve m + k - 2 = 0, 3*m + t*k - 4 = -4*k for m.
4
Suppose 5*i + 5*g = 70, 3*i - 53 = -g - 17. Solve 0 = -4*v + 5*c + i, -5 = v + 3*c + 5 for v.
-1
Let c(r) = -10*r + 414. Let x be c(41). Solve 0 = -3*y + x*w + 15 - 8, -14 = -2*y - 2*w for y.
5
Suppose 0 = 5*t - 6*t + 2. Solve -22 = 5*u - 0*q - 3*q, 0 = -3*u - t*q + 2 for u.
-2
Suppose 3 = -l + 2*z, -4*l - 94*z + 18 = -92*z. Solve 4*d - 16 = l*c, -4*d = -c - 11 - 5 for d.
4
Let p be 13/(52/(-24)) - -2. Let f be (p/3)/((-4)/12). Suppose 3*o + o + 5*n = 56, -n = 5*o - 70. Solve -4*q = -0*q - 2*d + o, -f*d = -4*q - 8 for q.
-5
Let b = 421 + -421. Solve -n = -4*y + 13, -n = 3*y - b - 1 for y.
2
Let s(r) =