2*w, -5*b - 4*w = -25 for b.
1
Suppose 0 = 2*w + 2*i - 12, 0 = -3*w - 2*i - 6 + 22. Suppose -w*d + 0*d + 32 = 0. Solve v - d = -2*x - 3*x, -v = -3 for x.
1
Suppose -66*g + 79*g = 481. Solve 4*f = -5*b - g, -b - 3*b = -2*f + 14 for f.
-3
Let u = -1 + -32. Let x = -29 - u. Solve -24 = -x*m - 3*s, -4*s = -m - 3*s - 1 for m.
3
Let i = 113 - 104. Suppose 0 = 4*x + i - 25. Solve 0 = -f + 4*m - x + 5, -m = 5*f + 16 for f.
-3
Let x = 83 - 84. Let f be -5 + x*30/(-3). Solve -5*h + 18 = -0*h + a, -4*h = -f*a + 3 for h.
3
Suppose -5*l - 4 - 1 = 0. Let h be (l - -1)*16/16. Solve -2*p + 4*z = 0, 3*p + z - 10 + 3 = h for p.
2
Let j(z) = -z + 8. Let g be j(5). Suppose 4*f - 13 + 5 = 0. Suppose 3*p + 6 = -f*r, 2*p - 1 + 5 = -5*r. Solve -2*i = g*s - s, -i - 2*s + 1 = r for i.
-1
Suppose 0 = 3*r + 1 + 5. Let m be (-1)/(1/r)*1. Solve -3*d - s = -2, 2*d + 3*d - 4 = -m*s for d.
0
Let b = -666 + 671. Solve -2*c + b = u - 6*c, 5*c = -4*u - 22 for u.
-3
Let f(a) = -a**3 - 3*a**2 + 17*a - 6. Suppose -q + 10*q + 54 = 0. Let n be f(q). Solve -3*t - 5*h + 32 = 0, 0 = -t - n*t - h + 8 for t.
4
Let l(x) = x**2 - 5*x - 1. Let z be l(6). Suppose 3*h + 1 = -s, 4*s + 2*h - 39 + 3 = 0. Suppose -s + 7 = -g. Solve g*i - 6 = i, 0 = -4*y + z*i - 6 for y.
1
Let l(c) = 2*c**2 + 3*c + 9. Let a be l(-4). Suppose -3*m - 20 = -a. Solve 5*t - m*t - 2 = 5*g, 5*t + 5*g + 30 = 0 for t.
-4
Let o(k) = -3*k**3 + k**2 + 6*k + 5. Let v be o(-1). Solve -v*h - 4*i = -16, 12 = -4*h - i + 4*i for h.
0
Suppose -5*m + 12 = 4*a - a, -5*a = 3*m - 4. Suppose 193 + 192 = -5*o. Let n = o - -81. Solve n*w - 1 = -2*g + 1, -m*w - 3*g = -6 for w.
-1
Suppose 11*x = 1396 - 1352. Solve 2*y = -4*c + 12 - 10, -4 = -2*c - x*y for c.
0
Let w be -4*(-8 + 7) - 0. Solve -5*f - 18 = -2*g + 4*g, -4*g = 2*f + w for f.
-4
Suppose -9*b = -2*b - 329. Suppose -10*m + 3 = -b. Solve -r + m = -4*j, 0 = -4*j - 0*j - 2*r - 14 for j.
-2
Let v = 49 + -44. Let p = -21 - -34. Let m = 18 - p. Solve -m*j - 19 = -2*j - v*g, 0 = 2*j + 2*g + 2 for j.
-3
Let g(z) be the second derivative of -z**5/20 - z**4/12 - z**3/3 + 2*z**2 + 7*z. Let w be g(0). Solve w*m + 2*l = 8 + 2, 4*m + 5 = 3*l for m.
1
Suppose 7*n - 5 = 51. Solve 0 = -4*b + 4, -4*t - 5*b + 1 + n = 0 for t.
1
Suppose -h - 5 = -3. Let r be (h - 20/(-6))/(6/54). Solve -5*y - x - 18 = 0, y + r = -x - 2*x for y.
-3
Let u = 952 + -948. Solve o + 4*q - 10 - 11 = 0, 0 = u*q - 20 for o.
1
Let b be (1 - -2) + -82 + 81. Solve -2*o + g + 6 = 16, -5*o + b*g = 24 for o.
-4
Suppose -23*x + 22 = -21*x. Suppose x*g - 84 = -29. Solve 0 = -2*d - g*o + 21, -3 = 2*d - o + 6 for d.
-2
Let k(w) = 3*w**2 + 4*w - 2. Let t be k(-2). Solve -4*h + 4*z + 5 = -3*h, 0 = -2*h - t*z + 10 for h.
5
Let g be 1 + 9/(-6)*6/9. Suppose 2*w + 12 + 9 = 5*y, g = -w - 4*y + 22. Solve 4*p = 0, -4*p = 2*a - 0 - w for a.
1
Let m be -3*2/(8/(-60)). Suppose 5*s - 15 = -m. Let j be s/(3/(-1))*15. Solve 2*o + 0*o = -5*w + 15, 0 = 2*w - 4*o - j for w.
5
Let m(p) = -p**2 - 7*p - 7. Let c be m(-2). Solve -f + 8 = -c*n, -f = -0*n - 2*n - 4 for f.
-4
Let l be (-13)/(-52)*-44 + 12. Solve -o + 5*v + l = 0, 3*o + 5*v = -0*o + 3 for o.
1
Suppose 10 = -2*h, 5*k - 2*h - 62 = 3*k. Let m = 3 - -2. Solve 4*o + m*n - 16 = 0, 4*n = 5*o + k - 5 for o.
-1
Suppose -3*x + 58 = -23. Suppose -7*o + 1 = -x. Solve -2*u - 2 = -o*u - 2*l, -2*l = 3*u + 1 for u.
-3
Suppose -100*w + 25*w + 525 = 0. Solve f = 3*c, -19 = 3*c + 3*f - w for c.
-1
Suppose 5 = 2*c + 5*w, c + 5*w - 35 = -4*c. Let a be 1*0*(-5)/c. Solve y = 5, -x + y - 6*y + 26 = a for x.
1
Let w = 2 - 0. Suppose -4*f = -w*f - 6. Suppose f*q - 7 = 44. Solve -3*i + 3*h + 3 = 0, -2*i + 8*h - 3*h = -q for i.
-4
Suppose 330 = -233*f + 343*f. Suppose -j + 3*m = -9, -3*m = 2*j - 7 - 2. Suppose -j*x + 3*x = -24. Solve -x*h + 2*v + 30 = -f*h, 0 = -4*h + v + 21 for h.
4
Let t be ((-54)/(-12))/(6/8). Solve 5*i = -2*r - t, -3*r + 2*i + 16 = -3*i for r.
2
Let j = -6 - -9. Let t be (-3)/(6/2 + -1 - j). Solve -5*d = x + 13, 0*x + x - t*d = 3 for x.
-3
Suppose 12*r = 18*r - 24. Solve -3*s = c + 6, r*s = -s - 2*c - 9 for s.
-3
Let i = 81 + -76. Solve -y - t + 16 = 2*t, i*t = -3*y + 28 for y.
1
Suppose -i = 5*t, -4*i - t = -3*t. Solve 10 = -2*q + 2*p - i, 0 = 4*q + 3*p - 8 for q.
-1
Suppose 2*u + 2*m + 24 = 0, 0 = 2*u + 3*m + 1 + 19. Let z be (-6)/18 - u/3. Solve 6 = 2*p - 5*p - 5*l, z*p + 10 = l for p.
-2
Let y(p) = p - 1. Let g be y(1). Suppose 2*o + 24 = 5*l + 4*o, -3*l + o + 10 = g. Suppose 0 = 14*q - 21 - 49. Solve 0 = 5*a - q*c, 0 = -a + 3*a - c - l for a.
4
Let n(a) = -a**2 - 11*a + 5. Let b be n(-11). Suppose -b*z = -4*z - 25. Suppose u = -4*u + z. Solve -3*r + 22 = -0*r - 2*p, 4*r - u*p - 41 = 0 for r.
4
Let o(i) = -i + 11. Suppose u - 2*u = -7. Let f be o(u). Solve 0 = -a + 3*z - 0*z + 14, 0 = f*a + z - 4 for a.
2
Suppose 5*q + 5*f = -10, 0 = 3*q - q + 3*f + 9. Solve 3*g - 5*p + 30 = 0, 3*p + 11 = -q*g - g for g.
-5
Let t be (0 + 1)/(17/85). Let g(n) = -n**2 + 6*n + 5. Let w be g(t). Solve w = 2*s + 4*c - 2, -5*c = 5*s - 5 for s.
-4
Let v(d) = d**3 - 10*d**2 - 12*d + 15. Let b be v(11). Suppose h + b = 3*h. Solve -j = -2*s - 2*s - 3, h*s - 3*j = 11 for s.
-2
Let r(q) = 12*q**2 + 10*q + 4. Let n(v) = -11*v**2 - 9*v - 3. Let d(t) = -7*n(t) - 6*r(t). Let i be d(1). Solve x - 3 = 4*u - 3*u, -i*u - 35 = 5*x for x.
-2
Suppose 34*i + 216 = 46*i. Suppose -30 = 4*w - 9*w. Let z be (w/9)/(2/15). Solve -5*v = 18 + 2, b = z*v + i for b.
-2
Let z be (5/4)/(1/4). Let r be (-114)/(-7) - (1 + (-20)/28). Suppose 0 = -4*p + 14 - 2. Solve z*q - 36 = 5*d - d, 0 = p*d - q + r for d.
-4
Let p(a) = -a**3 - a**2 - a + 3. Suppose -3*z + 9 = 0, 0 = -4*k + 3*k + 2*z - 5. Let w be p(k). Solve -3*b = -5*t + 2, w = -b - b - t - 10 for b.
-4
Suppose 4*x = -j + 9, -2*x - j - 13 = -16. Solve -x*n + 2*r = 2*n + 8, 0 = -n + 3*r + 1 for n.
-2
Let s(x) = -3*x - 36. Let o be s(-13). Suppose 5*g + 1 + 17 = -v, 0 = 2*v - o*g - 16. Solve 5*y - 20 = -3*q - 9, -5 = -q - v*y for q.
-3
Let l(y) = -2*y**2 + 9*y + 2. Let j be l(5). Let m be (4/j*1)/((-8)/12). Solve -w - 4*i = -9, -2*w - m*i = i - 13 for w.
5
Let o(t) = -t**2 - 9*t + 14. Suppose -2*f - 20 = -0*f. Let c be o(f). Solve -2*z = 5*p - 3*p, 5*p - c = -z for p.
1
Let i be 2/(-13) - 483/(-13). Let f be (i/(-2) + 1)*(-8)/5. Solve 4*q + 4 = 4*k, -4*k - 4*q = f + 8 for k.
-4
Suppose -72*s = -20*s - 312. Solve q + 6 = -3*p, 2*q = -p - 1 - s for q.
-3
Let z = -783 + 788. Solve z*u = -2*y - 9, -u - 5 = -y + 3*y for y.
-2
Suppose -6*k + 5*k = -12. Suppose -k*t = -11*t. Solve 19 = i - 4*v, -3*i + t*v + 5 = v for i.
3
Let o be 1 - (1 - (-6)/(-2)). Suppose n + o = 8. Solve n*d - 3 - 2 = -5*k, -2 = -2*k - 4*d for k.
1
Let s = 16 - 16. Let p(l) = -l + 10. Let z be p(5). Suppose 10*f = z*f. Solve s = 4*a - 2*k + 12 - 2, f = -4*a + 5*k - 25 for a.
0
Let n = 61 + -60. Let f be ((-4)/3 + 1)*(n - 43). Solve f = 5*r + 3*j, -5*r + 30 = -3*j - 2*j for r.
4
Suppose -5*o = 2*b - 0*b - 120, -2*b + 76 = 3*o. Suppose 2*i = 5*i - 2*z - o, i = -z - 1. Solve 2*y + 2*t = -3*t - 12, t = i*y - 20 for y.
4
Suppose 0 = -7*l + 76 + 43. Solve 0 = 4*k - v - l, 5*k = 4*v - 15 + 50 for k.
3
Let i(a) = -8*a**3 - a**2 - 4*a - 5. Let l be i(-2). Suppose 17*q = -12 + l. Solve 4*n - 5*n = j, q*j = 3*n - 18 for n.
3
Let x be (140/(-8))/5*(-12)/21. Let s be -8*(2 + (-5)/2). Let t be ((-2)/(-4))/(s/48). Solve x*v = -2*a + t, a + 5 - 16 = -5*v for v.
2
Suppose 4*y - 5 = 3. Suppose -5*j - 2*k - 10 = 0, j + 4*j + 45 = 5*k. Let o be -3*((-10)/3 - j) + 5. Solve x - o*c + 2 = 0, 0 = 4*c - y*c for x.
-2
Suppose -2*c + c = 5*m + 111, 2*c + 90 = -4*m. Let i = m + 22. Solve -2*g - 5 = 3*l, i = 3*g - 5*l - 21 for g.
2
Suppose -b = 3*a + 15, 7 = -5*b + 2*a - 17. Let h(z) = z**2 + 8*z + 31. Let g be h(b). Solve -2*l + o - 20 = -3*o, -o = -4*l - g for l.
-4
Let z(c) = -c**2 + 21*c - 77. Let t be z(16). Solve t*i - 8 = -5*y - 3, 0 = 5*y - 2*i - 30 for y.
4
Suppose -p = -s - 21, 2*p = -2*s + 44 - 6. Let l = p - 8. Let m = l - 12. Solve m = -c + q, 4*c + q - 6 = -q for c.
1
Let h = 190 - 190. Solve 15 = -0*v + 2*v + 3*k, h = 4*k - 12 for v.
3
Let c be (-4 - -2)/((-3)/6). Suppose 5*t - c = 4*t. Solve -3*s + 3*x = -3, -t*s + 4*x - 2*x = 2 for s.
-2
Suppose -9*y - 796 + 823 = 0. Solve 0 = y*l + w, 2*l - l + 16 = 5*w for l.
-1
Suppose 6*t - 9 = 27. Let k be 