 -t + 5*f - j for t.
-3
Suppose 2*v - v + 4 = 0. Let d be ((-3)/(-2)*1)/(v/(-8)). Solve 5*b = -3*q, -2*q - 5 = -d*b + 14 for b.
3
Let r be (1 - (-1 - 10)) + -4. Solve -i = -j + 1 - r, 0 = 5*j + 15 for i.
4
Suppose 42 = 5*w + 2*o, 28 = 2*w - 91*o + 89*o. Solve 3*a - a = -4*m + w, m - 7 = -5*a for m.
2
Let x be (5 - (0 - 0))*(-36)/(-20). Solve 0 = n - 5*o - 25, -x = 5*o + 16 for n.
0
Let m be (45/378*6)/(4/28). Solve 0 = -g + 4*n + 4 + 3, 5*n = 5*g - m for g.
-1
Let c be (-28)/(-6) + -8*(-4)/(-48). Solve c*t - 22 = -2*w, -2*t - 5*w + 31 = -0*w for t.
3
Let k = -2144 + 2148. Let s be (-20)/25*(-5)/2. Solve -s*y + k = -2*d, d + 0*d = -2 for y.
0
Let t = 138 + -134. Let q = -14 + 16. Solve -2 = -q*h + 4*d - 8, -t*h + 1 = 5*d for h.
-1
Let o(q) = -20*q - 331. Let x be o(-17). Solve -f = -3*c - 1 + 2, 3*c = 3*f + x for c.
-1
Suppose -s = -4*s + 27. Suppose -b + s = -2*a, 3*b - 2*b - 4*a = 17. Suppose 0 = h - c + 2*c - b, -h - 2*c = 2. Solve x = 4, -5*w - 16 = -w - h*x for w.
0
Let f = -2027 + 2045. Solve -3*z - a + 16 = 0, -5*z - 3*a + f = -2*z for z.
5
Let k(q) = -2*q**2 + 20. Let l be k(0). Let t be (30/l)/((-3)/(-4)). Solve b = -c + t*b + 1, -2*c - b - 10 = 0 for c.
-3
Suppose -3 = -5*l + 12. Suppose -3 = -3*p + 9. Let m be 5 - (0/p + 2). Solve 0 = 2*r - 5*r - 2*c + 1, -6 = -m*r + l*c for r.
1
Let h be 1/(-1) + 2 - -1. Let u(a) = a**3 + 10*a**2 + 10*a + 12. Let j be u(-9). Suppose -j*i + 12 = 3*i. Solve -i*g + h = -2*r, -4 - 1 = 5*r + g for r.
-1
Let u(b) be the second derivative of -b**3/6 - 9*b**2/2 + 7*b. Let q be u(-7). Let s = 2 + q. Solve s = -4*a + 2 - 6, 0 = -4*p - 4*a - 12 for p.
-2
Suppose 0 = -2*b + 5*l + 11, 0 = b + 4*l - 16 + 17. Solve -4*u = -b*u - 2*w + 4, 2*u + 5*w = 28 for u.
4
Suppose 3*r + r = 7*r. Suppose 9*f - 22 - 14 = r. Solve 2*k - 5*j + 21 = 0, -4*k + f*j - 18 = -2*k for k.
-3
Suppose -105 = -20*g - g. Let l(a) = a**2 + 5*a + 2. Let v be l(-5). Solve 0 = v*i + o + 11, -o + 2 = g*i + 25 for i.
-4
Let f = 804 - 799. Solve 2*u + 0*u + 2*o - 2 = 0, 2*u = -o + f for u.
4
Let d be (1/7*7)/((-3)/(-12)). Solve -d*k = -3*j + 19, j = 2*j - 3*k - 8 for j.
5
Suppose 21 = -5*u + 101. Let h be (-411)/27 - (-8)/36. Let o be 8/5*h/(-6). Solve -2*y = -y + o*f + u, 4*f = -4*y - 16 for y.
0
Let w(b) = -2*b**2 - 4*b + 203. Let y be w(-11). Solve y*o - 6 = 4*q, -q - 5*o - 1 + 12 = 0 for q.
1
Let b(z) = -3*z**3 + z**2 + 3*z - 2. Let f be b(2). Let t = 20 + f. Solve -l = l + 4*m + 8, 3*m - t = -4*l for l.
4
Suppose -8*u + 5*u = -36. Suppose 0*p + 25 = 5*p, r - u = -2*p. Solve -r*s = d + 7, -9 = 2*d - 0*s + 3*s for d.
3
Let c be (3*1)/(3/2). Let d = 162 - 158. Let l(o) = o**3 - 6*o**2 + 7*o + 8. Let z be l(d). Solve 16 = -z*n, -f = c*n - 5*n - 10 for f.
-2
Let h = -3 + 5. Suppose 17*p - 900 = 13*p. Let y = p + -223. Solve 4*d - 2*d - h = -2*f, 4*f = -5*d + y for d.
-2
Let g be (-24)/6*(0 + 3 + -4). Let z = -2 + g. Let a = -3 + 3. Solve -3*s - 6 + 3 = 4*c, -z*c - s - 1 = a for c.
0
Let u = 13 - 11. Suppose 0 = -3*g + 3*l - 34 - 5, -3*l - 17 = 4*g. Let w = -4 - g. Solve 4*b = -w*t - 8, u*b - 2 = -t - 1 for t.
-5
Let t = -441 - -445. Solve -2*k + t*k + g = 0, 2*k - 3*g = 0 for k.
0
Let q be -3 + ((-8)/4 - -17). Suppose 9 = 3*a - q. Solve -k = h + 3, h - 3*k - a - 6 = 0 for h.
1
Suppose 3*l - 5*l + 42 = 0. Suppose g + 14 - l = 0. Suppose -5*k + g*k = 0. Solve -2*a + p + 1 = k, -8 = -4*a - 0*p - 4*p for a.
1
Let k = -15 - -17. Let w = -42 - -42. Let b be 4 + -3 + w + 3. Solve k*l + b - 2 = v, 5 = 5*l - 5*v for l.
-3
Let y(g) = g**2 + 14*g + 37. Suppose f + 100 = 89. Let p be y(f). Solve n + p*a = -0*n - 3, -2*a = -3*n + 19 for n.
5
Let v be 945/210*2/3. Solve h + 3*o = -12, v*o - o + 8 = 0 for h.
0
Suppose 5*f = -2*m + 4, 2 = m - 112*f + 113*f. Solve m*a + 3*w - 7 = 2*w, 0 = -a + 5*w + 9 for a.
4
Let o(b) = 4*b**2 + 38*b + 18. Let s be o(-9). Solve -d + 3 = -s*r + r, 3*r = -d + 11 for r.
4
Suppose -8 = -2*g - 4*i, -19 = -11*g + 7*g - 5*i. Solve 2*f + 14 = -2*p + g*p, -3*p + f = -11 for p.
4
Let i = 61 - -43. Suppose -98 = 2*l - i. Solve t = 2*n - 10, -3*n + n = -l*t - 18 for t.
-4
Let i be (-106)/((-14)/(-2) - 5). Let u = i - -55. Solve u*n - 3*v = 4, 5*v = 2*v for n.
2
Suppose -3*j = -3*b - b - 25, 1 = 3*j + 2*b. Solve -4*u + 5*o = -1, -2*u - 8 = 3*o - j for u.
-1
Let t(h) = h**2 + h - 2. Let p be t(-5). Suppose 67*s = 65*s + 6. Solve 0*u + 4*u - p = 2*q, -11 = q - s*u for q.
-5
Suppose -4*d = 11 - 31. Solve s - d*m = 0, -4*m + 0*m = 5*s + 29 for s.
-5
Let h(m) = -m**2 + 22*m + 206. Let s be h(-7). Solve -4*n - l = -6*n + 1, 14 = s*n + l for n.
3
Suppose -4 = -4*f + 3*f. Suppose -f + 0 = -2*o. Let h = o + 1. Solve -4*z = -4*r, -z = -h*r - 3*z - 10 for r.
-2
Suppose 3*t + 4*o = 12, 7*o - 4*o + 12 = 3*t. Solve t*a + 1 - 2 = 3*v, -2*v = a - 14 for v.
5
Let l be -10 + -1 + 0 + -1. Let g = l + 14. Suppose 7*r + 0*r - 14 = 0. Solve -3*m + r*t + 3*t = 25, 5*t - 25 = g*m for m.
0
Let c = 49 - 41. Solve -3*w - g = -c, -3*g + 20 = g for w.
1
Let j be (-60)/(-7) - (-123)/287. Solve 0 = -a - c - 2 + 6, 3*a - 4*c = -j for a.
1
Let g(z) = -3*z + 3. Let b be g(2). Let p be (-2 - b) + (3 - 2). Let d = p + 0. Solve -5*x + d*j + 20 = 0, -x + 0*x = -2*j - 12 for x.
2
Suppose -2*o - 2*f + 1 = 3, -13 = 4*o - 5*f. Let s(r) = 2*r**2 + 3*r. Let g be s(o). Solve -2*c = 3*p - 13, 3*c + g*p = -0*p + 12 for c.
2
Let q(u) = -u**3 + 7*u**2 - 15*u + 59. Let v be q(6). Solve 23 = -10*a + 5*a + 2*c, 5*c + 30 = -v*a for a.
-5
Let x(m) = -m + 19. Let n be x(19). Let y be n - ((-4)/(-6))/((-8)/36). Suppose 2 = -o + 5*o + 3*l, 0 = 2*o + l - 2. Solve -3*u - o = i - y*i, -i = 5 for u.
-4
Suppose 0 = 3*y + 2*n - 13, 0 = 4*y - 4*n - 17 - 7. Solve -y*v + t + 5 = -2*v, -4*v = 4*t - 28 for v.
3
Let a = -18 + 54. Suppose 0 = -3*s + 9 + a. Let d be (-6)/15 + 81/s. Solve 4*t - 2*r = -20, -4*t + d*r - 16 - 16 = 0 for t.
-3
Suppose 3*z = 2*z + 9. Suppose -t - 2 = 5*h - z, -t - h + 3 = 0. Solve -t*x + 23 = -3*g, 0 = x - 3*x + g + 13 for x.
4
Suppose 0 = -4*j + f + 13, 3*j = -4*f + 2 + 22. Solve 8*s = j*s - 3*p + 2, -3*p - 10 = -2*s for s.
2
Let h be -7 + 6/2 + 1. Let w be 42/18 - (-1)/h. Solve -i - 1 = r - w*r, 2*i = 4 for r.
3
Let j = -54 - -55. Suppose -3*z + 11 = -m + 2, 0 = -3*m + 2*z + j. Solve -3*w + 3 + m = 3*g, 0 = -5*w + 5*g + 20 for w.
3
Let l(a) be the first derivative of a**3/3 - 4*a**2 + 9*a - 16. Let o be l(7). Solve 0 = 3*z - 4*t + 13, 3*t - o = t for z.
-3
Let f be 9*16/216*3. Solve -n = -2*n + w - 4, -8 = 2*n + f*w for n.
-4
Let z(c) = c**3 + 5*c**2 - 3*c + 6. Let d be z(-6). Let q = 17 + d. Let r be 23/q + (-10)/(-25). Solve y + 17 = r*f, -5*y - f - 6 - 1 = 0 for y.
-2
Suppose -108 = -4*o - 2*o. Let h be o/(-21)*(-28)/6. Solve -5*j - 10 = -g, h*j = 3*g - 0*g - 8 for j.
-2
Suppose 2*j - n - 19 = 2, -2*n + 46 = 4*j. Suppose 4*q = j + 1. Solve x + 5*s - 9 = 8, -q*x - 2*s = 1 for x.
-3
Let q be 4/15*(-3)/2*-10. Let j be 6/(0 + 4 + (-8)/q). Solve -o + 2*r = -3*r - 25, -j*o + 25 = -5*r for o.
0
Let p(q) = -q**2 + 8*q - 7. Let n be p(5). Suppose 4*i - n = -0*i + 4*h, i + h = 10. Solve 2*b = -4*j + 12, -2*j - 4*b + 6*b + i = 0 for j.
3
Suppose 1 = -5*d + 5*a + 6, 4*a = -4*d + 20. Solve 2*w = -5*j - d, -3*w + 0*w - 5*j - 7 = 0 for w.
-4
Suppose -17 = 10*w - 12*w - 3*s, -2*w + 3*s = 1. Solve -i = 5*r - 29, w*i + r = -4*r + 41 for i.
4
Let c(u) = -u + 10. Let d(s) = -3*s + 29. Let h(k) = 8*c(k) - 3*d(k). Let l = -152 + 159. Let x be h(l). Solve 5*f + x*z + 6 = -2*z, z = f + 4 for f.
-2
Let j = 31 + -26. Let u(z) = -z - 1. Let v be u(-5). Let d be (j + -4)/(2/v). Solve d = -i, 4*t - 10 = -8*i + 3*i for t.
5
Suppose 2*q - 23 = -f, -26 = -2*q - 4*f + 6. Solve 3*a + 5 = 2*d + 22, a - 5*d = q for a.
5
Let k(o) = -2*o**3 + 15*o**2 + 14*o - 32. Let r be k(8). Suppose 4*p - 40 = -3*b - 0*p, -2*p = -4*b + 90. Solve -x + 5*x - 4*l = -b, -2*l + r = -5*x for x.
-2
Let w be -3 - ((4 - 1) + -9). Suppose -2*y - p + 30 = -1, 0 = w*p + 3. Solve -4*n - f - y = 0, f + 0*f = -3*n - 12 for n.
-4
Let g(u) = u**2 + 16*u + 66. Let q be g(-7). Solve 2*o - v = -7, 4*v - q = 5*o + 22 for o.
-1
Let r = 803 - 776. Solve -8 + 33 = -5*n, -4*g = 3*n + r for g.
-3
Let z = -39 + 45. Suppose -2*t = -3 + 1. Let v be (-364)/(-70) + t/(-5). Solve -a = -0*a - m, v*m - z = 2*a for a.
2
Suppose 4*s - 2 - 26 = 0. Let r = 13 - s.