v for y.
2
Let y be -2 - (0 - -1) - -35. Solve 5*f + y = 3*p, 5*f = p + 3*f - 12 for p.
4
Suppose 0 = 7*p - 10*p + 12. Suppose 5*s + 2*z - 3 = 7, p*s - 26 = 2*z. Let b be (-1)/3 + 58/3. Solve 4*n = -8, -s*y - 5*n = -y + b for y.
-3
Let i be 6/(48/20)*2. Solve 3*f + 5 = 4*h, 7 = i*f - 4*h + 18 for f.
-3
Suppose -51 = -5*q + 29. Solve 4*n = o + q, 2*n - 2 = 2*o + 12 for n.
3
Suppose 10 = -4*o + 9*o. Suppose 5*y = 0, 0 = -4*u + 8*u - o*y - 20. Solve -q = u*g - 14, q + 13 = -3*g + 7*g for q.
-1
Let n = -45 - -48. Solve -2*l = -5*r - 4, -4*l + 3 + 5 = n*r for r.
0
Let n = -15 + 11. Let d be 6/3 + n - -4. Solve -5*z + 2 = -d*x, z + z + 16 = 5*x for z.
2
Suppose 5*x = -4*u + 18, -2*u - 20 = -5*x - 7*u. Solve c - 5*a = 20, c + x*a + 13 = -2 for c.
-5
Suppose -5*l + 2*l + 9 = 0. Let y be 234/10 + (-6)/15. Suppose n + w + 1 = 0, -5*n - w + y = -3*w. Solve -l*q + m = n + 2, -m - 3 = q for q.
-2
Let u(z) = -2*z - 5. Let a be u(-4). Let h = -26 - -28. Solve h*c - a*s = 0, -3*c + 3*s = -2*c for c.
0
Let h = -12 - -17. Let u = -38 + 41. Solve -h*s = -2 - 3, -3*o + u*s = 0 for o.
1
Suppose 0 = 2*q - 3 - 1. Let n be ((-1)/((-9)/(-39)))/((-4)/12). Solve 3*s = 5*j - n, 2*s - 11 = -q*s + j for s.
4
Suppose t - 5*o = 15, 2*o = -3*t + 6*t - 19. Suppose -4*q = -1 - 11. Solve t*f + 7*c - q*c = -2, -3*f + c = -9 for f.
2
Let j(b) = b**3 - 19*b**2 + 19*b - 12. Let y be j(18). Solve v = 2*o - 7 - y, -2*o + 5*v + 25 = 0 for o.
5
Suppose -2*o = -0*o - 10. Suppose 12*j = 5*j + 35. Solve -4*a = -j*v + 4, -v + 5 = -o*a - 4*v for a.
-1
Suppose 5*j - 4*a + 8 = -12, -2*a + 10 = -j. Suppose j*b + 3 = b. Suppose 8*q = b*q + 10. Solve -d - q = 5*l, 5*l = 4*d - 4 + 12 for l.
0
Let p(j) = -j**3 - 9*j**2 - j - 7. Let g be p(-9). Suppose 3*h + 3*v - v - g = 0, 2*v + 4 = 0. Solve -f + 3*i = 4*i - 1, h*f - i = 2 for f.
1
Let t(g) = -g**2 - 21*g - 17. Let o be t(-20). Solve 2*p + 24 = o*p + 4*q, -3*p = 3*q - 27 for p.
4
Suppose -8*l = -5*l - 30. Suppose 0 = -a + 3*a - l. Solve -10 = -2*h + i, -4*i = -2*h + h + a for h.
5
Let h = 6 + -13. Let b = h - -15. Solve -k = -2*k - l - b, -2*k + 4*l = -2 for k.
-5
Let r(l) be the third derivative of l**5/60 + l**4/8 + l**3/3 + 2*l**2. Let x be r(-4). Let t = -4 + x. Solve -2 = o - 1, 3 = -t*f + o for f.
-2
Suppose 2*o = 2*d + 28, 2*o + 0*o + 2 = -4*d. Solve 0 = n - 3*v - 6, 0*v = 4*n + 3*v - o for n.
3
Let r(x) = x - 6. Let w be r(6). Let d = w - -2. Solve 0 = 2*t - y - 3*y - 26, d*t + 2*y + 4 = 0 for t.
3
Suppose 3*o + y + 12 = 0, 0*y = -4*o - 4*y - 24. Let g be 0/(-1*(-3)/o). Solve p - 5 = -g*n + 3*n, 1 = -n for p.
2
Let g be (0 + 1)/1 - (8 + -10). Solve 0 = -0*l + l - 2*m + 4, -5*l + 32 = g*m for l.
4
Let h = 5 + -12. Let p = -5 - h. Suppose -5*c - p*j + 50 = -3*j, -10 = -c + 4*j. Solve -d = d - 3*i - 11, 0 = 3*d + 2*i - c for d.
4
Let b(d) = -d + 1. Let c be b(-2). Suppose -c*g + 32 = 5. Suppose -4*f + g = -3. Solve -t - 12 = f*h, t + 17 = -5*h - 3 for h.
-4
Let a = -14 - -16. Solve 5*q + s - 27 = -a*s, 4*s = -3*q + 25 for q.
3
Let m be (-226)/(-3) + 2/(-6). Suppose -3*h - m = -8*h. Suppose 5*s + 0 - h = 0. Solve 3*j = 5*d - 11 - 3, 9 = -s*j for d.
1
Let d be (-2)/4 + 660/(-24). Let l = 48 + d. Solve -5*q + q + 5*o = -l, 5*q - 4 = o for q.
0
Let k be 16*(3 - 2/1). Let y(o) = -2*o**2 - 5*o + 5. Let v be y(-5). Let j be k/(-10)*v/8. Solve 0 = 4*q - j*x + 14 + 6, 4 = x for q.
-1
Let h(c) = -2*c - 4*c + 6 - c**2 + 6 - 3. Let t = -3 + -4. Let d be h(t). Solve 3*y = -d*m + 2 - 6, 5*m = 5*y - 35 for y.
2
Let n(u) = -4*u - 3. Let i be n(-2). Let p be 3*(-4)/(-6)*3. Let x = 0 + p. Solve -i*o + 4*z + x = 24, -5*o = -5*z + 20 for o.
-2
Suppose 6 = -0*b + 2*b. Suppose b*u - 12 = -0. Solve -2*f - a + 4*a = 13, -u*a = -4 for f.
-5
Let y(m) = m + 3*m - 4*m + m. Let s be y(4). Solve 5*a + 26 = l, 4*a - s*l + 29 = -a for a.
-5
Let c be 2/(-9) + (-14)/(-63). Solve -5*v + 2*j - 5 - 13 = c, 5*v + j = -6 for v.
-2
Let k = -14 - -26. Suppose 5*o = 59 + 1. Solve 0*u = 5*b + 4*u - o, 4*u - k = 3*b for b.
0
Suppose -j = -5*j. Solve 25 = -3*q - 5*h, 4*q + 3*h + j + 15 = 0 for q.
0
Let y(i) = i + 22. Let s be y(-17). Solve g + 3*g - 2*a - 10 = 0, 2*g + s*a = 35 for g.
5
Let c(r) = -r. Let n be c(0). Let q be (6/(-4))/(4/(-8)). Solve -3*w + w = n, -6 = 2*b + q*w for b.
-3
Let c be (-178)/(-6) + 1/3. Suppose 4*y - 28 = -5*v, 5*y - v + 6*v = c. Let l be y/2 - (-3 + 1). Solve 5*j = j + 2*o - 2, l*o - 19 = -2*j for j.
2
Let t(p) = -p**3 - 8*p**2 + 7*p - 13. Let a be t(-9). Suppose 5*k - 23 + 3 = 0. Solve 3*g = f + a, 2 + 4 = 5*g - k*f for g.
2
Let d be 0/((-8)/(-4)) - 0. Let n = d + 5. Solve 3 = -n*g + 2*i - 2, -3*g - 17 = -4*i for g.
1
Let c(u) = u - 7. Let v be c(7). Let b be 1 + (3 - v/(-1)). Solve 0 = -4*i - 2*g - 12, -i + b*i + g + 10 = 0 for i.
-4
Suppose 10 = 3*t - 2. Solve -t*a = c + 4 + 15, c - 26 = 5*a for c.
1
Let s = -13 + 16. Solve -3*i + s*c = 0, -c - 5 = 4*i - 4*c for i.
-5
Let r(s) = -2 + 0*s**2 - 4 + s**2 + 7. Let v be r(2). Solve 0*h + 2*h = a - 7, 25 = -v*h for a.
-3
Let w(o) = -o**2 - 26*o + 58. Let s be w(-28). Let p(h) = 2*h**2 + 2*h. Let j be p(-2). Let u be 1/j + 19/4. Solve m + s*g = u, -3*m + 2*g + 9 = 6*g for m.
-1
Let c(w) = -w + 6. Let f be c(5). Suppose f - 6 = -z. Solve -2*s - 3 = -3*d, 3*s + 7*d - 2*d - z = 0 for s.
0
Let b(x) = -2*x**2 - x + 3*x**2 - 3*x. Let c be b(5). Solve 4*u - c*g + 1 = 0, 5 = -5*u + 5*g - 0 for u.
-4
Suppose 3*i + u - 11 = 0, 5*i - 2*u - 16 = 17. Suppose r + 5*a - i = -2, 5*r - 5*a - 15 = 0. Solve -r*v = j - 14, -2*j + 26 - 7 = 3*v for j.
5
Suppose 3*a + 8 - 2 = -3*d, 5*d + 26 = 3*a. Let b be ((-4)/3)/((-2)/6). Let v = b + 20. Solve a*f + v = -7*m + 3*m, m - f = 0 for m.
-4
Suppose v + 2*d = -0 - 3, -3*v - 5*d = 5. Solve -v*f + r - 1 = -5, 2*r = -5*f - 8 for f.
0
Let i = -1 + 8. Solve i = 3*a - 2*w, -5*w + 8*w = -5*a - 20 for a.
-1
Let m = 9 + -9. Solve h + h = -2*u, -2*u + 8 = m for h.
-4
Let x(c) = c**2 - 9*c + 4. Let r be x(9). Solve t = -5*d + 19, -r*d + 9 = 3*t - 4 for t.
-1
Let s = 36 + -25. Let i(f) = -14*f - 2. Let b be i(3). Let x be b/(-10) + 24/(-60). Solve -x*r + 0 = -3*o + s, 3*r - o = -12 for r.
-5
Let s(m) = -m**3 + 6*m**2 - m + 4. Let w be s(6). Let z(u) = -u - 2. Let i be z(-6). Let n = w + i. Solve -5*o = -2*v + 35, 3*o = 3*v + n*o - 20 for v.
5
Let p = 102 + -99. Solve 8 = 3*m - 2*g, -m - 1 = -0*m + p*g for m.
2
Suppose 5*i - 3*i = 5*a - 11, a = -3*i - 8. Let l = a - -1. Let w = l - 0. Solve 7*c - 2*c = 4*q - 28, 0 = -w*q - 5*c - 16 for q.
2
Let s(j) = -j - 2. Suppose 2*n + 2*n = -8. Let o be s(n). Solve c + 5 = 3*w - 0, o = w - c - 5 for w.
0
Let k(j) = 6*j + 3. Let x be k(3). Solve 5*h - b - x = 0, 0 = h + 4*b - 0*b for h.
4
Let q = 34 + -22. Suppose 0 = -5*b - 5, -b - 4 = -3*i - 3*b. Solve 3*s - 3*r + 6 = 0, -r + q = -i*s - s for s.
-5
Suppose -19*u + 25 = -14*u. Let s(o) = -2*o**2 + 2*o - 2. Let r be s(2). Let v be -6*r/9 - -1. Solve u*c = -v*p + 25, p - 10 = -p + 5*c for p.
5
Let p(k) = -k**2 - 8*k - 5. Let b be p(-8). Let i = b + 7. Solve -i*w - 4*m - 12 = -0*m, w - m - 3 = 0 for w.
0
Let j = -10 + 12. Solve -j*n + 3*o + 1 = -0*o, -2*n = -5*o - 7 for n.
-4
Let u be -5 + 4 - 2/(-1). Let x(t) = -t**3 - 4*t**2 + 5*t + 4. Let v be x(-5). Solve 4*f - 4 = -v*g, -8 = -3*f + g - u for f.
2
Let m be ((-4)/(-3))/((-14)/(-21)). Suppose m*y + 37 = -3*l - 12, 4 = -2*y. Let g be 15/(-6)*84/l. Solve 5*p = 3*s + s - 18, -5*s + 2*p + g = 0 for s.
2
Let h = 35 - 32. Solve 5*n + h*w - 24 = 0, 2*n + 9 = 2*w + 3*w for n.
3
Let l = 49 + -47. Solve -l*f - g - 5 = 0, 6*f + 16 = 2*f - 4*g for f.
-1
Let q(i) = -8*i + 14. Let c(z) = -z + 1. Let k(v) = 6*c(v) - q(v). Let y be k(6). Suppose 57 - 9 = y*n. Solve -s + 2*m = -3 + n, -s - 4*m = -15 for s.
-1
Let z be (-2 + 1)*(-9)/3. Let s be (z + -3)/(-3) + 3. Suppose 11 = 2*f - 3*w - 12, -2*f = 2*w + 2. Solve 3 = -s*y - 4*q - q, -f = 4*y + 5*q for y.
-1
Let f(b) = b**2 + 6 + b - 2*b - 4 - b. Let z be f(2). Solve -2*m - z = 2*i, -3*m + 15 = -i - 2 for i.
-5
Let w = 18 - 13. Solve 3 = 4*j + 5*i + 2, -32 = -w*j + 4*i for j.
4
Let c = 20 - 29. Let f = c + 11. Suppose -f*j = 3*j - 25. Solve 0 = 4*p, j*p = 5*n - 0*p + 10 for n.
-2
Let r = -3 - -9. Suppose -4*g + r*g + u = 61, 0 = 2*g - u - 59. Solve 0*o - 4*o = 5*x - g, 0 = 2*o - 5*x for o.
5
Suppose 0*r = 3*r. Solve r = 5*s + 