or f.
1
Let u = 12 - 7. Suppose -v = -u + 3. Solve -3*g - v*r = -7, -r = -g + 4*g - 5 for g.
1
Suppose -3*b = -b - h + 17, 0 = b - 5*h - 5. Let k = 13 + b. Solve 2*d - k*r = 13, 11 = -2*d - 7*r + 2*r for d.
2
Let p be 755/(-25) + (-2)/(-10). Let n be p/((8 + -2)/(-3)). Suppose -4*u + n = -1. Solve -2*o - 10 = -u*x, -20 = -5*x - 0*o + o for x.
5
Let s = -8 - -12. Let f be (-764)/(-6) + (-10)/(-15). Let n be ((-21)/4)/((-24)/f). Solve -5*v - 2 = -s*p + n, -2*p = -5*v - 20 for p.
5
Suppose -f - 3*f + 40 = 0. Solve 5*g = -3*y - 0*g - f, -4 = 3*y + 2*g for y.
0
Suppose s + 5 = 8. Let p(w) = -2*w - 10. Let k be p(-8). Let r = -4 + k. Solve -s*j = q - 4, 2 = -3*j - r*q + 7 for j.
1
Let t be -6 + -1 + (-2 - -2). Let k be (-2)/t - 8/28. Solve k*j + 13 = 3*s - 2*j, -5*s = j for s.
1
Suppose 2*g = 3*g - 5. Solve -5*m = -g*f - 25, 4*m - 19 = 2*f - m for f.
-2
Let z = 4 + -4. Let t(y) = -y + 10. Let u be t(7). Suppose -2*l + 3*r - u = l, 5*l - 2*r - 10 = 0. Solve z = -4*g + 3*q + 15, -5*q + q = l*g + 20 for g.
0
Let g(z) = z**2 + 15*z + 17. Let n be g(-14). Solve -5*j - 2*v = -16 + n, 0 = -4*j + v + 13 for j.
3
Let f be ((-32)/(-10))/((-2)/(-10)). Let t(d) = 5*d**2 - 4*d**2 - 5*d + 8 - 2. Let n be t(4). Solve -22 = 4*o - n*p, 5*p - f = o - 4*o for o.
-3
Let v(i) = 2*i + 13. Let l be v(7). Let t be (8/(-12))/((-2)/21). Let r = t - 1. Solve -3*g - l = -3*d, 4*g - r*g + 3*d = 22 for g.
-5
Suppose 0 = c - 3*c - 3*q - 6, 5*c + 8 = -4*q. Solve c*f - p - 5 = -2*f, -3*f + 3*p = -9 for f.
2
Let z(v) = 3*v**3 - 4*v**2 + 3*v + 3. Let s be z(2). Solve s = 3*t + w + 4, -3*t - 11 = -5*w for t.
3
Let t = -15 - -27. Suppose 15 = 5*q - n, 3*q = n + t - 1. Solve 0*l - 3*c = -3*l + 12, -q*l + 1 = 5*c for l.
3
Suppose z + 3*p = -0*z, -3*z = 2*p. Solve z = -2*t - 4*a + 6 - 0, -2*t - a + 6 = 0 for t.
3
Let f(o) be the first derivative of -o**4/4 - 5*o**3 + 17*o**2/2 + 20*o + 6. Let u be f(-16). Solve 0 = -2*n - 5*a + 16, -n - a = u*n - 17 for n.
3
Let u = -19 - -25. Solve 5*v = 2*q - 0*v + u, q + 4*v = 10 for q.
2
Suppose -7*l + 11*l - 12 = 0. Solve 16 = a + l*a, -a = z for z.
-4
Suppose g = -k - 2*k - 29, 0 = 5*k + g + 45. Let a = 11 + k. Solve a*c + 5*i + 11 = 0, 4 = -3*c - 3*i - 5 for c.
-2
Let k be 3 - (-8)/(-4) - -7. Solve -2*t - 3*i = -7*t - k, 2*t + 4 = i for t.
-4
Let m be (-4)/(-8) - 1/2. Solve -5*a + g = 9, -4*g = -m*g - 16 for a.
-1
Let t(y) = -y**3 - 5*y**2 + 7*y + 9. Let x be t(-6). Suppose -4*s + x*i = -7, -5*i = 5*s - s - 31. Solve -3*b = -s*g, 0*b - 8 = 2*b for g.
-3
Let f be -3 + 7 + (-6)/2. Suppose b = f + 4. Solve -3*a + 5 = -b*w, 5*w - 10 - 20 = -4*a for a.
5
Let n be -17 - -19 - 18/2. Let o be (-8 - n)*(-1 - 1). Let i = 0 + 0. Solve 3*r = -5*x + 24, i*x + o*r - 9 = -x for x.
3
Let f = 0 - 0. Suppose -4*v + 5 = 1. Suppose 5*s + 6*b - 3*b = 27, -4*b = -5*s - v. Solve 8 = m + 2*t, -4*m - m + s*t + 14 = f for m.
4
Suppose 5*y - 4*b = 4, -y + 1 = -b - 0*b. Solve -5*c + 2 = 3*p - 1, 3*c - 5*p - 29 = y for c.
3
Let z(d) = -d**2 - d - 1. Let f be z(3). Let q = 0 - f. Let r = q - 10. Solve 0 = 5*t - 25, 2*t = r*n - t + 21 for n.
-2
Suppose -4*c + 28 = -52. Suppose 0 = -u + 5*u - c. Solve -u = -s, 5*p + 5*s = 2*s + 35 for p.
4
Let d be 2*4 + 2/(-1). Let n = -37 + 40. Suppose n*h - d = h. Solve -3 = f + h*p - 0, -2*f = -4*p - 14 for f.
3
Suppose 0 = -o + 2 - 0. Solve 8 = 4*y + 3*x, 3*y + 0 = -o*x + 5 for y.
-1
Let r(s) = s + 3. Let a be r(-4). Let v be a/(10/(-4))*15. Suppose 2*u = -k + 9, -3*k = -v*k + 3*u + 9. Solve 0 = k*b - b - 2*p + 8, -2*b = -5*p + 20 for b.
0
Let b = 51 - 30. Solve 4*r = -r + 3*k + b, -17 = -5*r + k for r.
3
Let m be (-2)/13 + 224/104. Let y be (2 - 0 - -2)/m. Solve -4*c = 5*w - 14, 3*c - y*w - 2*w = -5 for c.
1
Let s be (25/15)/(3/9). Solve -14 = -2*l + s*a, 3*l + 2 = -5*a - 2 for l.
2
Let w be 1/1 + (-2 - -16). Suppose 4*r - 1 - w = 0. Solve -2*s = 2*s - 4*f, 2*f - r = 0 for s.
2
Let c(r) be the second derivative of -r**4/12 - r**3 - 3*r**2/2 - r. Let f be c(-5). Let j be -2 + (-3)/(-3)*5. Solve 8*k + 25 = j*k + p, 5*k = -f*p - 10 for k.
-4
Let t be 1/((-3)/(0 - 9)). Solve -2*j = -4*w + 4, -t*j - 5*w = -0*w + 17 for j.
-4
Let n(h) = h**2 - 8*h + 5. Let u be n(8). Let r = u + -5. Let y be 48/2 + r/(-1). Solve -4*v = -4*m + y, 6*v - 5*m = 4*v - 24 for v.
-2
Let p be 2/(-5)*(-50)/(-5). Let u be (-46 + 2)*2/p. Solve -2*z - 8 = 0, -m = -3*m - 3*z - u for m.
-5
Suppose 3*m - 12 = -m. Solve 4*a = m*d + 23, 0 = -d - 4*d + a - 10 for d.
-1
Suppose 0*i - 4*d + 17 = 3*i, -i = -2*d + 11. Let z = 3 - i. Solve 4*y + 5 = -y + 5*l, z*y + 16 = l for y.
-5
Suppose 79 = 3*p - 4*h, 6 = 5*h + 11. Solve -2*i + 11 = 3*d - 12, -5*d = -p for i.
4
Let r = 18 - 9. Let k = r - 4. Solve 4*h + 0 = i - 8, 8 = -4*h - k*i for h.
-2
Let c = -40 - -42. Solve l - 3*l = c*d - 6, -5*d = 3*l - 5 for l.
5
Let j(q) = q**2 + 6*q - 2. Let f be ((-7)/(-2))/((-1)/2). Let a be j(f). Solve 2*n - 2*y = 7*n + 2, -1 = a*n + y for n.
0
Suppose 2*a = 3*a - 5*p + 4, 8 = -2*a - p. Let s(y) = -6*y - 4. Let h be s(a). Solve 4*u = -h, -6*o + 3*o - 5*u = 10 for o.
5
Suppose -3*m + 0*m = 4*a + 3, -2*m - 10 = 0. Solve 0 = 2*h - c - 3*c - 28, a*h - 7 = -c for h.
4
Suppose 7 + 5 = -2*o. Let n be 4/3*(-9)/o. Suppose 7 = -n*m + 19. Solve -3*y - 2 = -3*a + 7, -2*y + 3*a = m for y.
-3
Let l(x) = -7*x**2 - x. Let a be l(-1). Let k = 3 + -9. Let o be (8/k)/(2/a). Solve -t + 0*i + i = -3, 0 = -o*t + 2*i + 2 for t.
-2
Suppose 6 = 5*y + 1. Suppose w + 2*w = 9. Let q be 1/3 + 5/w. Solve -q*h + 4 = -4*l, 4*l - h = -l + y for l.
1
Let u be 3 - (0 + (-2)/(-2)). Let a be u/3 + 74/6. Let j = -9 + a. Solve -3*v = -4*f - 7, -f + j*v = -5*f for f.
-1
Let o = 5 - 2. Solve o*c - 4*r = -14 - 4, 1 = -5*c - 3*r for c.
-2
Suppose l + 13 = 4*k, -l - l = -4*k + 10. Solve 10 = 2*x, 4*x = -k*b - 0*x for b.
-5
Let a(d) = d**2 + 25*d + 51. Let g be a(-23). Solve -2*z - g*o + 12 = 0, 0*z - 3*o = 2*z - 8 for z.
1
Let x be ((-5)/3)/((-20)/24). Suppose 0*d + 36 = x*s + 2*d, -s = 4*d - 12. Solve 5*g = -3*h - 20, -5*g + 9*h - 4*h + s = 0 for g.
-1
Suppose 6*j - 32 = -8. Solve j*c + 17 = b, 0 = -2*c + 4*c - 3*b + 21 for c.
-3
Suppose 20 = -4*s, 0 = -6*q + 2*q + s + 17. Suppose q*d = 4*d - 8. Solve -f = u - 3*u, 4*f = 4*u + d for f.
4
Let w(r) be the third derivative of -r**4/12 + 2*r**3 - 3*r**2. Let u be w(6). Solve -3*b + 2*v + 8 = -0*b, u = 3*b - 4*v - 10 for b.
2
Let f = -96 - -101. Solve -3*b + 5 = -p + 12, -p + 13 = -f*b for b.
-3
Let m(y) = y**2 - 3*y. Suppose -3*o + 3 = -2*o. Let h be m(o). Suppose -5*i = 4*u - 68, 2*i + 0*i - 16 = 4*u. Solve 0 = -3*p - 12, h = -2*b + 2*p + i - 2 for b.
1
Let w = -87 - -123. Suppose -w = -4*b - 4*k, k = -3*b + 2*k + 15. Solve -15 + b = 4*u + c, 4*u - 2*c = 6 for u.
-1
Suppose -3*s + 8*s + 5*j = -5, -11 = s + 3*j. Suppose 0*k + s*v - 30 = -k, -44 = -2*k - 4*v. Solve -t + 3*t + 5*q + 13 = 0, k = 5*t - 3*q for t.
1
Suppose 0*n = -n - 4. Let t be (n/(-5))/(2/15). Solve 0 = k - 3*x - 17, 0 = 5*k + t*x - 2*x + 10 for k.
2
Suppose 15*g = 16*g - 4. Solve 10 = 3*n - n + g*k, -n + 2*k = -1 for n.
3
Let k(f) = -f**3 - 4*f**2 - 3*f - 3. Let u be k(-3). Let p = -1 - u. Suppose -p = -d - 0. Solve -d*l = 4*g - 6, l = -2*g + 3*g for g.
1
Let x(h) be the first derivative of -h**3/3 + h**2/2 + 9*h - 4. Let n be x(0). Solve -3*p - n = -3*u, u - 4*p - 7 = 2*u for u.
1
Let i = 8 - 8. Let h be (-3)/(3 + -4) - i. Solve -4*z = -2 + 18, -m + h*z + 15 = 0 for m.
3
Let j = 0 + 2. Suppose 1 + 1 = -3*k - j*o, 0 = -k - o. Let u be ((-7)/k)/(2/4). Solve 3*y = -2*f - u, 3*y + 5*f + 27 = 5 for y.
1
Suppose i - 39 = -2*i. Suppose 3*u - r - 1 = i, -5*r - 31 = -2*u. Solve 2*p + 19 = u*x, -3*p + 3 = -4*x - 6*p for x.
3
Let i be ((-5)/(-10))/((-2)/76). Let f = i - -11. Let s be ((-27)/(-6))/((-3)/f). Solve -2*d - 3*c - s = 0, 3*d + 1 = 4*d - 2*c for d.
-3
Let u be -6*1*4/(-8). Solve -4*q = -5*z + 9, q - u*q = 2*z - 18 for q.
4
Suppose -4*s - 12 = -136. Let c = -57 - -38. Let v = c + s. Solve -2*z - 40 = 3*z + 5*p, 0 = z - 4*p - v for z.
-4
Suppose -4*c + 55 = 7. Let i(s) = -s**3 + 11*s**2 + 11*s + 17. Let w be i(c). Solve 0 = -5*x - w*p + 1 - 26, -2*x - 5*p = 10 for x.
-5
Suppose -5*r + 14 = -r - o, r - 3*o = 9. Solve y + 5 = -2*a, 3 = r*a - 6*a for y.
-3
Let p(g) = 9*g**2 + g. Let m be p(1). Let w be (-4)/(-5)*m/4. Suppose -4*q +