 -5*x, r*x = -2*v - 2 for v.
2
Let j be 16/24 - (-40)/12. Solve 2*c + 4*r = 4, 4*r - 14 = -5*c - j for c.
2
Let i(f) = f + 2. Let b(x) = -7 + 5 - x + 0. Let s(k) = 6*b(k) + 5*i(k). Let g be s(-7). Solve j - 3*m = -0*m - 8, -m + 24 = g*j for j.
4
Let m(b) = b - 23. Let j be m(31). Suppose -3*k + 10 - 1 = 0. Solve 2*x - 9 = -k*c, j*c - 15 = 5*x + 3*c for x.
0
Suppose -3*q + 5*q - 20 = 0. Suppose q = m + 4*m. Solve -b - m*d = -4*b + 7, 5*d - 45 = -5*b for b.
5
Let i be (-6)/(-27) + (-68)/(-18). Solve -5*b + 0*b - 31 = i*t, 2*t + 11 = -b for b.
-3
Let h = 54 + -52. Solve -h*m + 1 = 2*t - 5, 3 = 5*t + 2*m for t.
-1
Let w be 3/12 - 3/12. Let y be -1 + 2 + w + 0. Solve 12 = -5*u + u, 2*q + u = y for q.
2
Suppose 8*n - 5*n = 15. Let s be (n/(-15))/((-3)/54). Solve 5*u = q - 6, -s*u + 3*u = 6 for q.
-4
Let a(x) = x + 14. Suppose y - 1 = -3*p, 2*y + 2*y + 28 = -4*p. Let i be a(y). Solve -i*d = -u + 1 + 4, 3*u + 3*d = 15 for u.
5
Let g = 40 - 37. Solve 1 = s - 2*x, -s + 5*x + 1 - g = 0 for s.
3
Let x(p) = p. Let w be x(2). Suppose -w*a + 24 = -a. Suppose c - 5 = -0*c. Solve v = c*g + a, -6*v + v = -g for v.
-1
Suppose -5*f + 2*r = -26, 3*f - 5*r + 1 = 7*f. Suppose 0 = -p + f*n - 9, p - 12 = -3*n - 0*n. Solve -2*a = -8, -3*q - p*a + 15 + 3 = 0 for q.
2
Let n = 10 + -7. Suppose 4*f + 4*q - 4 = 5*f, 0 = f + 3*q - n. Solve -i + 4*r + 8 = f, 27 = -3*i - 0*r - 5*r for i.
-4
Let i = 4 - 4. Solve 5*x + i = 5*m - 20, 4*m + 5*x - 16 = 0 for m.
4
Let n = -2 + 4. Let j be 0/(-2) - (-4)/n. Suppose 2*v - j*z = 42, 0 = -0*v + 2*v + 4*z - 30. Solve -5*f + q = -2*f - v, -5*f - 5*q = -5 for f.
5
Suppose 0 = -2*q - 2, -2 = 3*c + q - 16. Solve -g + 5*g - 5*y = 16, -c*g + y + 20 = 0 for g.
4
Let g = -15 + 20. Solve -g*d + y + 3*y = 13, -3*d = 5*y + 30 for d.
-5
Suppose 0 = 5*v + m - 2, 10 = 3*v - 6*v + 5*m. Solve 5*p - 5*y + 2*y - 28 = 0, 3*p + 3*y - 12 = v for p.
5
Let w(f) = -f**2 - 26. Let j be w(0). Let k = j - 0. Let c be k/(-6) + (-12)/(-18). Solve u + 5*o - 9 = 0, -c*u + 2*o + 12 = -6 for u.
4
Suppose -2*h + h - v + 5 = 0, 0 = -2*h + 4*v - 14. Suppose o + h = 2*o. Solve 0 = 2*f - 3*w + 5, f = 2*w + o - 6 for f.
5
Let m = -15 - -6. Let d = 9 + m. Solve -2*a - 4*b + 14 + 6 = d, 9 = 3*a - b for a.
4
Suppose 15 + 27 = 14*t. Solve -j + 14 = -t*l, 4 + 15 = -3*l - 4*j for l.
-5
Let n = -2 + 2. Let q = -2 + 3. Suppose 0 = -3*h + y + 5, -4*h + 4*y + 0*y = -4. Solve n = h*c + 3*m - 7, m - 4 + q = 0 for c.
-1
Let h(w) = -w**3 - 20*w**2 - 2*w - 36. Let d be h(-20). Solve 0 = -3*s - 4*q - 22, 4 + 4 = d*s - 4*q for s.
-2
Suppose -3*m = -5*f - 2 + 1, 0 = m - 4*f + 2. Let o be 2 + 1 + 0/m. Let k be (-6)/(-4)*80/24. Solve k*z - o*j + 24 + 3 = 0, 5*j = -5*z + 5 for z.
-3
Let d be (45/(-25))/((-1)/5). Solve 3*u + 2 = n, 0 = 2*n - 5*u + 4*u - d for n.
5
Let r(n) = n**2 + 4*n + 7. Let w be r(-5). Solve 0*a + 12 = -3*y + 5*a, 3*a - w = 3*y for y.
-4
Suppose -4*p + 4 = 0, 5*p + 1 + 6 = 4*y. Suppose 23 = 4*c + 3*b - y, 5*c + b = 27. Solve 0 = -c*j - 5*v + 10, 3*j - 14 = 5*v - 4*v for j.
4
Let h(o) = -o + 7. Let s be h(7). Let x be 48/4 - (-3 - s). Solve m = 3*i + x, -m = 4*m for i.
-5
Suppose -l = 4*l. Let h be ((-3)/3)/2*l. Solve -4*q + 8 = -4*w - h, w + 5*q = -14 for w.
-4
Let w = -34 - -39. Solve -6 = -4*s - 0*p - 3*p, -2*s - 4 = w*p for s.
3
Let t(i) = -i**2 - 14*i - 11. Let u be t(-13). Solve -h - 21 = 4*d, 3*h + 8 = 5*h - u*d for h.
-1
Let a(k) be the second derivative of k**5/20 + k**4/3 + k**3/3 + k**2 - 2*k. Let r be a(-3). Solve 27 = 4*z + 3*h, 5*z + r = -0*z + 4*h for z.
3
Let b be 48/(-18)*6/(-4). Solve 1 = z + b*z + 3*t, 10 = -4*z + 3*t for z.
-1
Let n be 20/(-6)*6/(-5). Suppose -y + 25 = n*y - 5*a, 3*y + 3*a = 3. Suppose 4*r = f + 21, -f = -r + 3*r - y. Solve -r*q = -0*d + 2*d - 6, q = 4 for d.
-5
Suppose 3*c - 6 = -0*c. Suppose 4 = c*s - 4. Suppose o + 6 = s*o. Solve 3*j = 3*k - 21, 0 = j + o*k - 5*k + 13 for j.
-4
Let z be (-4)/4*-1*2. Solve 5*c - 15 = 4*j, -4*j - z*c = 18 + 4 for j.
-5
Let o be (-3)/(-5) + 22*(-21)/(-30). Solve 0*f - 2*f + 3*w - o = 0, f + 6 = w for f.
-2
Suppose -2 = k - 2*k. Let u = -469 - -493. Solve -2*j + 3*j - k*y = 6, 2*j + 5*y = -u for j.
-2
Let n be 2/(-9) - (320/36)/(-4). Solve -2*c = 5*x + 34 - 11, 0 = n*x + 3*c + 7 for x.
-5
Let k be 2/3*(-3 + 0). Let f = k + 5. Solve -2*n - 3*q = -8, -3*q + 10 = -f*n + 7*n for n.
1
Suppose 5*d + 2*r = 3*r + 8, 2*d - 4*r = 14. Let m(p) = 3*p - 4*p - 1 + 5*p. Let s be m(d). Solve -2*v - 3 + 2 = -3*z, 2*v + s*z - 5 = 0 for v.
1
Let n(k) = 4*k**2 - 4*k**2 - 6*k**2 + k**3 - 1 + 7*k. Let p be n(5). Suppose p = 4*c + 1. Solve c*b - 10 = 2*j, 4*b - 2 = -4*j - 22 for b.
0
Let v(n) = 16*n. Let i be v(-1). Let m = i + 1. Let l = 30 + m. Solve -2*d - 5*g = 3*d - l, -d - 4*g - 3 = 0 for d.
5
Let j = 1 - 0. Let b = j - 1. Let x be 14 + (-3)/(-3) - (8 + -6). Solve -3*n = l + x, 3*n + 4 + 8 = b for l.
-1
Let h = -6 - -8. Let o be 2/((-12)/9 + h). Solve 0*p = -o*i - 4*p - 12, 0 = -i - 4*p - 4 for i.
-4
Let l(x) = x**2 + 2*x + 2. Suppose 5*y = -1 - 9. Let z be l(y). Suppose -2*o - z = -6. Solve 0 = 5*p - 5*u + 2*u - 6, 0 = -p + o*u - 3 for p.
3
Let x = -65 + 65. Solve -3*i + 10 = -f, 2*f - 8 = -i - x*i for f.
2
Let y(v) = v**2 - 16*v - 15. Let l be y(17). Solve -k - 12 = -4*u, 3*u - 2*k = -l*u + 12 for u.
4
Let x be (-1 - 0)/((-8)/40). Let j = -4 + 4. Let w be (-1 - 6)*(j + -1). Solve -5*q + 6*m - m - 15 = 0, -q - w = -x*m for q.
-2
Suppose -39*z + 43*z = 16. Solve -4*s - v = -0*v - 24, -16 = -z*v for s.
5
Let t be (0 + 0/3)/1. Let h = 3 + t. Suppose 0 = -2*w + 4*j + 24, 3*w + j = h*j + 56. Solve y = -3*u - 4, w = -3*y - 3*u + 10 for y.
-4
Let l = -4 - -4. Suppose -3*j - j = l. Solve z + 3*u = -3*z - 19, j = z - 4*u - 19 for z.
-1
Suppose -9 - 15 = -4*a. Solve w + a = -d, -w + 2 = -5*d + 2*d for d.
-2
Let r = 32 - 27. Solve 3*g = -o + 5, r*o + 0*g = 3*g - 11 for o.
-1
Let m be (1 + 3 + -2)*1. Let x = m - 14. Let r be (-178)/x - 6/(-36). Solve -7 = 2*p - h, -5*p + 4*h = 2*h + r for p.
-1
Let m(w) = 2*w - 1. Let c be m(-1). Let f be (-2)/(1 + 5/c). Suppose 1 + f = z. Solve l - z*t - 15 = -0*l, 4*t + 16 = 0 for l.
-1
Let u(z) = -z**3 + 6*z**2 + 11*z - 5. Let f(q) = -q**3 + 4*q**2 - 1. Let j be f(2). Let a be u(j). Solve -w + 3*w - 5*b = a, w = b + 4 for w.
-1
Let s(z) = z**3 + 9*z**2 + 4*z - 13. Let g be s(-8). Solve -3*f - 3*q = -6, -f + 4*f = 2*q - g for f.
-3
Let s = 45 - 43. Solve 0*g - 3*q - 16 = -5*g, -s = 2*g + 3*q for g.
2
Suppose -6 = 3*u - 24. Solve 4*l = 5*k + 17, -4*k + u = 3*l - k for l.
3
Let w = -13 - -17. Let z be w/3*(-39)/(-13). Solve -2*f + 7*j - 3*j - 2 = 0, z*f + 4 = 3*j for f.
-1
Suppose 2*p + 38 - 46 = 0. Solve -4*n = c + 1, 0 = -n + c + p*c - 16 for n.
-1
Suppose 2*u - 45 = -u - 4*b, -2*u + 5*b + 30 = 0. Solve -5*s - 12 = a - 0*s, 2*s + u = 3*a for a.
3
Suppose c = -j + 9, 4*c - 1 = -3*j + 31. Let t = j - -4. Solve -2*a + 3*l = 7, -3*a + a = -2*l + t for a.
-5
Suppose 4*x + 12 + 4 = 0. Suppose 4*c = 3 + 13, 0 = t + 5*c - 26. Let u = t + x. Solve 4*j - 16 = -v, 4 = -u*v + j - 0 for v.
0
Suppose -98*i + 85*i = 0. Solve 4*y = -f + 16, i = 3*y - 0*f + 3*f - 3 for y.
5
Let h(z) = -z - 5. Let q be h(-7). Solve 5 = -c + q*o, -4*c - 15 = -4*o + o for c.
-3
Let u(q) = -2*q + 15. Let r be u(7). Solve -j - 3 = r, -4*g = -j - 24 for g.
5
Suppose -8*t - 22 = -166. Solve 0*n + 3 = -d - n, 4*n = 2*d + t for d.
-5
Let j be 1/(-5) - (-410)/50. Let a(p) = p**3 - 5*p**2 + 2*p - 6. Let n be a(5). Solve -j = f + 3*f - n*s, 4*f - 16 = -4*s for f.
1
Let q(x) = -x**2 - 3*x + 2. Let m(n) = -3*n**2 - 9*n + 5. Let c(s) = -2*m(s) + 7*q(s). Let w be c(-4). Solve -3*g - 3*z - 13 = 5, w = -2*g + z for g.
-2
Suppose 0 = 10*c - 8*c - 22. Solve 3*i = v + v - c, v - 5 = i for v.
4
Suppose 0 = -3*i + 5*r + 1 - 0, 4*i - 7 = r. Solve v + v + 3*n = -1, -i*v - 7 = 5*n for v.
4
Let s = -117 - -120. Solve s = -3*v + 2*j, j - 6*j = 5*v + 30 for v.
-3
Let i = 10 + -8. Suppose -d + 4 = -i. Solve q - 5*f - 8 = 0, d*q + 3*f - 6 = 3*q for q.
3
Suppose -2*j - x - 4*x = -47, -2*j + 2 = -4*x. Let c = -6 + j. Solve -2*k = -b - 8, -k - 22 = -b - c*k for b.
2
Let o be 1 - 2*(-1)/(-2). Let a(x) = x**3 + 11*x**2 - x - 6. Let k be a(-11). Solve 3*r = f + 8, o = -r - 0*r + k*f - 16 for r.
4
Suppose -a - 19 = 2*s + 2*s, -12 = 3*a - 3*s. Let i(u) = -u + 5. Let c 