v for s.
2
Let r be (-2 + 3)/((-2)/(-8)). Suppose -3*d + 6 + 0 = 0. Let c be 0*(-2)/(0 + d). Solve c = -u + 3*j, r*u = 3*u - 4*j for u.
0
Suppose -b + 0*b = 5*o - 8, -o + b + 4 = 0. Suppose 4 = -o*m - 2*m, -m = 4*f - 67. Solve -k - 1 = -4*q, 4*q = -3*k + 2*q - f for k.
-5
Let a = 6 + -9. Let f = a + 7. Solve 4*v - i = -1 + 18, -2*i = -f*v + 14 for v.
5
Let p(s) = 2*s**2 - s. Let r be p(4). Suppose a = -0*a + 3. Solve -4*z + 12 = w, z = -3*z + a*w + r for z.
4
Suppose 3*c = 2*m + 6, 2*c - 17 = m - 4*m. Let q be c/(-5)*(-50)/4. Suppose -2*f - 1 = -6*f + r, -q = 5*f - 5*r. Solve -u - f - 2 = 0, -4*u - 15 = 3*s for s.
-1
Let n = -101 + 104. Solve 2*u - 20 = -2*d - n*d, 2*u - 6 = 2*d for u.
5
Let b be (-207)/(-45) - (-4)/10. Let r = b + -1. Solve 3*j = -p, 5*p - r*j = -0*j for p.
0
Let m = 0 + 2. Suppose 3*s - 21 = -6. Suppose 0*u = s*u - 70. Solve -3*b = 4*v - 8*b - u, m*v - b - 4 = 0 for v.
1
Let s = -45 - -64. Solve -4*u - s = 5*h, h - 2*u + 5 = 4 for h.
-3
Suppose z - 1 - 4 = 4*l, -4*l - 20 = -4*z. Solve h - 6 = 2*r, l = 4*h + 6*r - 3*r + 9 for h.
0
Let z = -15 + 25. Solve 2*x + 3*a = x + 10, -5*x - 3*a = z for x.
-5
Let g = -15 + 31. Suppose 4*y - v = g, y + 0*v + 4*v - 4 = 0. Solve 4 = -y*m + 4*k, 2*m - 3*k + 2 = -2*k for m.
-1
Let l(m) = 3*m - 2. Let f be l(2). Let z = -3 - 5. Let h = -3 - z. Solve 4*g - f = 0, 3*x - 3*g + h = -7 for x.
-3
Suppose 0*u = -4*u - t + 8, -3*t - 3 = 3*u. Let i be (u - 3)/(-2) + 2. Solve 5*a - 7 = -i*x, -2*x = -4*x - 2*a - 2 for x.
-4
Suppose q = -9 + 14. Solve -q*d = -4*w + 3*w - 4, 2*d = -w - 4 for d.
0
Let h(u) = u**2 + 5*u + 2. Let w = 7 - 11. Let t(x) = x**2 + 6*x + 3. Let k be t(w). Let s be h(k). Solve z + 0*y + 6 = -s*y, 2*y = -4*z - 6 for z.
0
Let s = 7 + -4. Solve -s*y + 5 = -2*b, -2*y + 2 = -4*b + 2*b for b.
2
Suppose -b + 3*b = -6, -2*t + 19 = -3*b. Solve -5*m + 4*z = z + 27, 7 = -t*m - 2*z for m.
-3
Let v = -45 + 49. Solve 6*n - v*q - 6 = 4*n, -3*n + q + 4 = 0 for n.
1
Let l be (-1)/(12/(-105)) - 9/12. Let z be ((-2)/(-4))/((-1)/(-10)). Suppose z*c = 16 - 1. Solve -5 = j + 3*g + l, -3*j - c = -3*g for j.
-4
Suppose 5*c + 1 = -5*p + 11, 0 = -2*c + 5*p + 11. Let a(f) = -f**3 + 3*f**2 + 2. Let y be a(3). Let i = y - 0. Solve 4*k = v - c*v - 10, -i*k = 6 for v.
1
Let l(f) = -f**3 - f**2 + f + 1. Let o = -23 - -9. Let h be o/8 + 1/(-4). Let y be l(h). Solve 0 = 4*w - y*c + 8, -4*w - 5*c + 25 = w for w.
1
Let u = 0 + 0. Suppose 0 = 2*d - u - 4. Let i be (8 - 9) + 35 - 1. Solve -i = d*z + 5*r, z = 6*z - 4*r for z.
-4
Let v(r) = r**3 + 6*r**2 - 7*r + 2. Let f be v(-7). Solve 5*t + 7 = -4*d, 5*d + f*t + 8 = -5 for d.
-3
Let z(h) = h**2 + 2*h - 3. Let o be z(-4). Suppose -5 = c - o*m, -3*c + 3*m = m - 11. Solve b + b = -c*r + 21, 2*r - 5*b = 20 for r.
5
Let j = 3 - 0. Suppose -6*v + v + 5 = 0. Let z be (-3 - -2) + 2 - v. Solve z = 5*b - g - 15, -8*b - g + 25 = -j*b for b.
4
Let k(c) = -c**2 + 11*c - 14. Let n be k(9). Solve 4*m - 3*s - 8 = 0, n*s = -19 + 3 for m.
-1
Let x = 9 + -5. Let h be (-1)/x - (-5)/4. Solve -4*i = 5*s - 5 - 9, -h = 3*i - 2*s for i.
1
Suppose -14 = -2*f - 2*p, -22 = -0*f - 4*f - p. Solve 0 = -f*n - 5*z, 5*n + 3 = 2*z - 4 for n.
-1
Let i(o) = -o**2 - 14*o - 10. Let a be i(-13). Suppose -29 = -a*n + 94. Solve 0 = 4*x - 9*x + 25, 4*l = -5*x + n for l.
4
Let r = -73 - -77. Solve 4 = r*u + f, -u + 5*f + 26 = 2*u for u.
2
Let r be (-3)/((-3)/8) + -3. Suppose -r*w + 1 + 4 = 0. Solve d + 4 - w = -g, 3*d + 2 = 4*g for d.
-2
Suppose -4*d - 95 = 5*w + d, -2*w = -4*d + 14. Let f be ((-23)/(-3))/((-1)/3). Let z = w - f. Solve -4*o - z = 0, 0*g - 5*o = 2*g for g.
5
Let n(k) = 2*k**2 + 3 - k**2 + k**2 - 3*k**2 - 4*k. Let z be n(-4). Solve -5*t - 15 = -2*d - z*d, 0 = d + t - 3 for d.
3
Let z(r) = 2*r**3 - 3*r**2 - r + 2. Let m be z(2). Solve -5 = w - 5*i, w + 0*w + 4*i - m = 0 for w.
0
Let a(h) = h**3 + 9*h**2 + 8*h + 3. Let q be a(-8). Suppose 5*c - 2 = q. Solve 0 = -3*f - 4 + c, 0 = w + 5*f + 9 for w.
-4
Let x(r) = 12*r**2 - r. Let f be x(-1). Solve 2*q = -2*m + f + 7, -2*q + 5 = -m for q.
5
Let c(f) = f**2 + 1. Let n be c(-2). Suppose 3*s - 5 = -n*t, -2*t + 11 + 2 = -s. Suppose -t*x = x - 25. Solve 5*k + 5*i + 14 + 6 = 0, -x*i = 5 for k.
-3
Suppose 0 = 2*c - 3*c. Let i(g) = -g**3 + 7*g**2 + 8*g. Let d be i(8). Suppose 5*q + d*q - 15 = 0. Solve 4*h - 4*v = -c*h - 28, -2*v = -q*h - 19 for h.
-5
Suppose -3*f = -111 + 30. Let g be 6/f - (-25)/9. Solve -g*s - 3*r = -15, 0 = -s + 3*s - 2*r + 2 for s.
2
Let j be 3/2*4/3. Let r = -19 - -19. Let t be 21/9 - (-4)/(-12). Solve 3*w + t*w - j*p + 21 = r, -w - 5*p + 12 = 0 for w.
-3
Let o = -2 + 2. Suppose o = 2*v + 2*v. Suppose 3*m - 13 = -y, -4*m - 4*y + 15 - 3 = v. Solve -3*p - 35 = -m*s, -s + 1 = 5*p + 22 for s.
4
Suppose 3*i - 12 = 0, z + 4 = -z + 3*i. Let q(y) = -y**3 - 3*y**2 - 9*y - 6. Let a be q(-3). Solve -2*t - 2*t - 16 = -4*r, -5*t - a = -z*r for r.
-1
Suppose 4*a - 39 = 3*o, 0 = 2*o - 4*o - 2. Suppose -5*l = 2*t + 21, -2*t + l + 0 = -a. Solve 5*c - 30 = -5*h, h - 14 = -3*h - t*c for h.
1
Let i be 12/(-18) + 2/(18/33). Let j be 10 - 1 - 1 - -1. Solve -5*o + 15 = -4*f + j*f, -2*f + i = o for o.
3
Let h = -7 + 21. Let m = 54 - h. Suppose -5*o - 3*z = -m, 2*z = 5*z - 15. Solve -2*q = q + 2*n - 14, -17 = -3*q - o*n for q.
4
Let a be (-1 - -3)*184/16. Solve 0 = 2*h + 2, -2*c - 3*c - 2*h = -a for c.
5
Let t = 51 - 46. Solve 4*k - 5*q = 27, k + k + t*q + 9 = 0 for k.
3
Suppose y + 0*y = 10. Let j be (y/(-3))/(4/(-6)). Let u = -684 + 691. Solve j*h = 4*w + 11, 2*h + 0*w - u = -w for h.
3
Suppose -12 = -0*l - l. Let t = l + -8. Solve 0*y + 3*s + 8 = 4*y, t*y = 4*s + 12 for y.
-1
Suppose 49 - 4 = x. Solve 0*i = -5*b - 4*i + x, 0 = -5*i + 25 for b.
5
Let f(c) = c + 8. Let y be f(-8). Let v = 16 - y. Solve 5*j + 0*g - 30 = 3*g, -2*g = -2*j + v for j.
3
Suppose 0 = -0*r - r + 16. Solve -2*m + r = -0*m + 3*x, -4*m = -x - 18 for m.
5
Let k be ((-4)/(-3))/((-2)/(-6)). Solve -f + 2*f - t = 0, -5*f - 4 = -k*t for f.
-4
Let b be -1 + -1 + (3 - 3). Let s = 0 - b. Solve t + 4 = -2*f - s, -2*f - 3*t = 6 for f.
-3
Suppose -f - 5 = 2*v - 4*f, -3*f + 15 = 0. Solve -v*h + x = -29, -5*x = 4*h - 10*x - 40 for h.
5
Let h(a) = a**2 + 7*a - 13. Let s be h(-9). Suppose -3*f - f + 14 = r, -f + s = r. Let c = -24 + 35. Solve c = -5*o - b, b - r = 2*o + 1 for o.
-2
Suppose -6 = 2*q, -5*z = -7*z - 2*q. Solve 5*i + 3*g - 8 = 5*g, g + z = 2*i for i.
2
Let t be 3/(-7) + 190/35. Solve t*i - z - z + 27 = 0, -2*i - z - 9 = 0 for i.
-5
Suppose -18*r = -27*r + 18. Solve -p - 3*p - 5*t = -20, 4 = r*p + t for p.
0
Let q(g) = g**2 + 2*g - 31. Let b be q(5). Suppose 0 = -2*j + 4*p + p - 2, -5*p = 0. Let s = 1 + j. Solve 0*f = -2*f + b*x + 16, s = 5*f - 2*x for f.
-2
Let i(t) be the third derivative of t**4/24 - 2*t**2. Let j be i(0). Solve j = -2*q + o + 3, -3*q - 2*o + 9 = o for q.
2
Suppose 0 = -3*n - 6, 2*x - 20 = -0*x + 2*n. Solve 2*b = -3*a - 5, -2*a + 3*b - x = 2*b for a.
-3
Suppose -3 - 1 = 4*x. Let s be (-1)/x + (-4)/4. Let w = -1 + 6. Solve s = -a + 5, m + 35 = -m + w*a for m.
-5
Suppose 0 = -u - 3*u + 8. Suppose 0 = 3*l - u*l + 2*y, -20 = -4*l + 2*y. Solve l*i - 3 = 5*s, i + 3*s = 2*i - 6 for i.
-3
Let h(y) = y**3 + 9*y**2 - y - 5. Suppose 0 = -2*l + 6, -2*d - 11 = -l + 10. Let u be h(d). Solve -5*o - 2*z + 29 = 0, o + 1 = -z + u*z for o.
5
Let f be (-152)/(-6) + (-8)/24. Suppose u - f = -3*u - 3*l, 0 = 4*u + 4*l - 28. Solve h = -u*q + 3*q + 1, 4*h = 4*q - 28 for q.
4
Suppose 8*m - m = 14. Solve 3*h - 11 = -m*d, 4*d + 23 = 5*h - 2*h for d.
-2
Let o = -67 - -82. Solve -4*n = -3*g - 5, -2*g + 3*n + o = 4*n for g.
5
Let y = 3 + -17. Let l = y + 24. Solve 3*m = 3*k + 15, 2*m = 5*k - 0*m + l for k.
0
Let n be (-66)/(-4)*(-4)/(-6). Let f = n + -7. Solve 0 = 4*s - s + f*z + 32, 4*s + 4*z = -36 for s.
-4
Let f = 42 - 42. Solve 2*w - 4*m - 16 = f, -5*w - 5*m + 3*m + 4 = 0 for w.
2
Let i = 2 + 3. Suppose 0 = i*o - 13 - 2. Solve -o*f = -3*h, -6*h - 3 = -2*h - f for h.
-1
Let p(b) = -b**2 - 4*b - 1. Let r be (-1)/(-2) + 13/(-2). Let z be (-1)/(-2)*(0 + r). Let d be p(z). Solve -d*w + 3*m + 2*m = 14, -5*w - 18 = -4*m for w.
-2
Suppose -37 - 5 = -3*o. Let j = 16 - o. Let d = 4 + -2. Solve 5*w = 10, -w - d = -j*y - 8 for y.
-2
Let c(j) = j. Let h(q) = 1. Let r(f) = -c(f) - 3*h(f). Let d be r(-6). Solv