5*t - 4*f. Suppose 5 + t = v*r. Solve -11 = -m + 3*o, -2*m - 2*o = -0*o + r for m.
-4
Suppose 0 = u + 2*u - 15. Let k be (u - 2) + (-2)/2. Solve k*o = -4*q - 18, -5*q - 8 - 7 = -5*o for q.
-4
Let x(h) = -h + 14 + 0*h + 1. Let f be x(7). Let a(n) = n**3 + 3*n**2 - 2*n - 3. Let z be a(-3). Solve 6*u - z*u + 2*t = f, 0 = -4*t + 4 for u.
2
Suppose 19 = -5*y - 2*j, 3*y - 2*j - j + 3 = 0. Let r(h) = -h + 8. Let u be r(0). Let v = y + u. Solve 14 = v*c - 4*a + 2*a, -5*c = -3*a - 16 for c.
2
Let h be ((-8)/(-14))/((-8)/(-28)). Solve 2*s + 33 = -5*i + 12, 2*s - 14 = h*i for s.
2
Let q = -6 - -7. Let y(c) = -c**2 + 3*c + 4. Let s be y(3). Suppose 4*i - 5*d = -13, 0*d = -2*i + 2*d - s. Solve -l - q = -i*f, 7*l = -3*f + 2*l + 13 for f.
1
Let n(t) be the second derivative of 1/6*t**4 + 0 - 4*t - 1/3*t**3 + 0*t**2. Let l be n(2). Solve -c - c = 2*f, -l*f + 40 = -4*c for c.
-5
Suppose -2*o - 3*t = 5, -1 = 2*o - 4*t - 31. Solve o*r + 4 = 2*s - 15, 0 = 4*r + 3*s + 6 for r.
-3
Let r be 2/3 + 62/6. Let v(m) = m + 4. Let b be v(r). Suppose 12 = o + 2*o. Solve -o*a - 4*d - b = 9, 4*a + 27 = -5*d for a.
-3
Let f(h) = h**2 - 11*h - 9. Let i(b) = -2*b**2 + 21*b + 19. Let q(k) = 5*f(k) + 3*i(k). Let a be q(9). Solve 0 = -2*o + v + 3, a*v + 3 = -3*o + 6*o for o.
2
Let b = 6 + -4. Let c be 1/b + (-5)/(-2). Suppose -6*m - 3*x = -c*m - 3, 0 = m - 3*x - 13. Solve 2*p - 4 = t, -t - 2*p = -5*t - m for t.
0
Let u be -3 + 5/(-5) + 4. Let t = 5 + -3. Solve u = -4*l + 3*z - 31, 0 = t*l + l + 3*z - 3 for l.
-4
Let u be (2/2)/((-7)/(-14)). Solve r + u*q - 5*q = -1, 2*r + 5*q = -13 for r.
-4
Let h = -9 + 24. Solve 3*w = -3*s + 15, -5*w + h = -2*w for s.
0
Let l(y) = -4 - 7*y - 5*y**2 + 2*y**3 - 2*y**2 - 3*y**3 + 0*y. Let u be l(-6). Solve -5*f = 2*t - 3, 1 = -u*f + 3 for t.
-1
Let f = -18 - -19. Suppose 2*l = -f + 33. Solve -3*o = -3*z, 3*z - l = -3*o + 2 for o.
3
Let p be (-1 - 138/(-15)) + (-5)/25. Solve 0 = -2*n - p, 0*z - 3*n = z + 9 for z.
3
Let l be 6*(18/4 - 4). Let k be 0*2/(2 + -6). Let g be 2*(k + 1/1). Solve 2*h + 2*h = -l*p, g*h - 10 = p for p.
-4
Let u be (-7)/(-2)*1*-2. Let m be (-2)/2*(2 - -2). Let n = m - u. Solve 5*f + 23 = -n*l, -11 = -l - 0*f + 3*f for l.
-1
Let u = 0 + 0. Let f be (0 - (1 + -1)) + 2. Solve -5*s - 29 = -u*s + f*w, 0 = -4*s - 3*w - 26 for s.
-5
Let k(h) = -h + 14. Let l be k(12). Let o be l/9 - (-561)/27. Solve -2*u - 4 = 2*w, 5*w + o = 5*u - 9 for w.
-4
Suppose -5*f + 27 = -3*h + 11, -5*f = 2*h - 31. Solve 0 = -t - 3*v, h*t - v + 6*v - 4 = 0 for t.
3
Let a = -23 - -27. Solve 9*r = a*r - 10, 0 = -2*z - 4*r - 16 for z.
-4
Let s(j) = j**3 - 10*j**2 + j + 18. Let u be s(10). Solve 0*v = -5*v + 3*f + u, -2*f = 2 for v.
5
Let p(f) be the first derivative of f**2/2 + 12*f + 5. Let x be p(-5). Solve 3*r - 3*h + 7 = h, -r - h = -x for r.
3
Let u be 7/(28/(-8)) + 5. Suppose -4*q = 4*y - 5*y - 10, -u*q + 15 = 3*y. Solve 5*b + 7 = 2*p, 2*b + y*p - 3*p + 2 = 0 for b.
-3
Let r = 3 + 1. Suppose -260 = -3*z - 5*n, -2*n = -r*n - 10. Suppose -5*h + z = 5*x, -4*x + h = 6*h - 73. Solve 2*m - 4 = 3*y, -3*m - 2*y - x = -2 for m.
-4
Suppose -4 = -0*o - 2*o. Suppose o - 4 = -g. Solve -2*x - 2*c - g = 0, -3*c + c = -x + 11 for x.
3
Let a(s) = s**2 + 4*s**2 - 4*s**2 - s - 1 + 0*s**2. Let c = 6 + -3. Let j be a(c). Solve 0 = -3*w - l - 4*l + j, -2*l - 12 = 4*w for w.
-5
Let v = 13 - 9. Suppose 0 = -3*o + 5 + v. Solve -5*w - o*x = -37, 0*x + 3*x - 12 = 0 for w.
5
Let y be 1/3 - (-120)/18. Let c(d) = d - 2. Let o be c(y). Solve -u = -o*a - 8, -u + 4*a + 1 = -2*u for u.
3
Let h be ((-3)/((-6)/(-40)))/(-2). Solve -h = t + 2*s, 2*t = -3*s - 10 - 5 for t.
0
Let q be -2*(-2)/((-12)/(-9)). Let x be ((-4)/q)/((-8)/12). Let f be 52/20 + x/5. Solve 0 = -u + 5*w, -4*u + f*w = -5*u for u.
0
Let v = 40 - 35. Solve 2*h - 10 = 2*x, v*x = -2*h + 2*x + 10 for h.
5
Let d be ((-5)/15)/((-2)/12). Solve -5 = -5*p + 2*u, d*p + 4*u = -36 + 14 for p.
-1
Let n(g) = -g**2 + 13*g - 8. Let w be n(12). Suppose 0 = -s - 2*s + 4*m, -s = w*m - 16. Solve -2*b - s*f - 28 = 0, 0 = b - 4*f + 6 - 22 for b.
-4
Let q = 0 + 4. Solve 5*r - 13 = -j, -4*r + 2 = 2*j - q*j for j.
3
Suppose 0*k = -k + 3. Suppose -2*r = k*r + 5. Let s be 3/((-9)/(-6)) - r. Solve s*h - 3 = 2*a, -a - 5*h = -0 - 5 for a.
0
Let n be 46/1*8/(-16). Let z = n + 34. Let t(a) = -a**2 + 6*a - 5. Let w be t(4). Solve -5 = -s, w*y = s - z - 0 for y.
-2
Let m be 3/(-6)*(-3 - -1). Let v be m/4 - (-3)/(-12). Let y be (-2 - v) + 10 + -3. Solve y*h - 17 = 3*x, -3*x - 22 = -h - 9 for x.
-4
Let x(b) = 4*b**2 - b - 3. Let m be x(2). Solve 2*s + 14 = 5*u - m, u + 3*s = 5 for u.
5
Let b(f) = -f**2 + 6*f. Let i be b(7). Let a be i/(-2)*(-4)/(-7). Suppose -a*s + s = 0. Solve 9 = -5*c + 3*h + 34, 2*c + 2*h + 6 = s for c.
2
Suppose -34 - 146 = -15*f. Solve -z - 3*z + 2*p + f = 0, 5*p + 21 = z for z.
1
Let g be 8 + -3 + -2 + 2. Solve -6*q - 5*x + 5 = -q, -g*x = -10 for q.
-1
Let n(f) = 2 - 2 + 3*f + f**2 + f**2. Let z be n(-2). Suppose -12 = -6*h + z*h. Solve h*s + b - 3*b = -7, 9 = -5*s + 4*b for s.
-5
Suppose 2*i + 15 = 19. Solve 4*f - x + 1 = i*f, 0 = -5*f - 5*x + 35 for f.
2
Suppose -c + 6 = c. Let u = 5 + -2. Suppose -u = -g + 2. Solve -3*j - 3 = -o, -c*o + 3*j = 2 - g for o.
0
Suppose 0 = -5*r + 2*r + 12. Solve o + r*x = -3, 0 = -0*x + 4*x + 8 for o.
5
Suppose -n = n - 18. Suppose -6 = -3*p + n. Solve 0 = 4*s - 0*s - p*d + 8, 0 = 3*d - 12 for s.
3
Let i = -4 + 6. Suppose 0 = -0*n - i*n + 4. Solve r + 3*p = -0*r - 7, 2*r + n*p + 6 = 0 for r.
-1
Let g = -12 - -14. Solve -4*i - g*n - 2 = 10, n = i + 6 for i.
-4
Let l be 1*(4 + -1 - 1). Solve -l*q = 4*w + 6 + 2, 5*q + 20 = w for q.
-4
Let g(p) = p**3 + 20*p**2 - p - 20. Let h be g(-20). Solve -4*u = -4*c - 4, -u - c - 2*c - 15 = h for u.
-3
Let r = -163 - -372. Suppose 0 = 4*v - r + 17. Suppose 0 = -3*g - 0*g + v. Solve -s = 3*m - 10, -4 - g = 4*s for m.
5
Let n be 0/(2/(2 + -3)). Let g(r) = -r + 2. Let p be g(n). Solve 0 = 2*v, 4*x - v + 2 + p = 0 for x.
-1
Let d = -166 - -172. Solve -5*p + 2*h - d*h = -31, -2*p + h + 2 = 0 for p.
3
Let o = -174 - -251. Suppose -5*b + 2*d + o = 0, 2*b + 0*b - 26 = -4*d. Suppose b = 4*i + i. Solve -q - 19 = -4*f, -i*q + 0*q = -4*f + 17 for f.
5
Let w be ((-6)/8)/((-4)/16). Suppose -w*v = -3*u - 6, -u - 3 = -5*v + 27. Let y be 2*(v/2 - 2). Solve p + 12 = 2*q - p, 23 = 4*q - y*p for q.
5
Let y(r) = -r - 5. Let n be y(-8). Let g be n/9 + 10/6. Solve f = -g*x + 11, -3*x - f - 9 = -5*x for x.
5
Suppose -95*p + 106 = -42*p. Let g(v) = -v + 2*v + v**2 - 2*v + 12. Let y be g(0). Solve y = -m - 2*m, 2*c + 2*m + p = 0 for c.
3
Suppose -22 = -5*p + 13. Suppose 3 = 5*b - p. Solve j + j - 6 = -4*x, -b*x + 18 = -2*j for j.
-5
Let c = 16 + -22. Let j be (-20)/c + (-14)/(-21). Solve -j*f - 10 = 4*q + 10, -q - 4*f = 14 for q.
-2
Suppose -18 = -3*k + 2*v, 0 = -3*k - k + v + 29. Let c be k/6*(-9)/(-6). Suppose -2*j = 0, -5*h + h - c*j + 8 = 0. Solve x = -h*z + 2, 0*x + 4 = 4*z + x for z.
1
Suppose -5*u + 10*u - 85 = 2*j, 3*u - 3*j - 60 = 0. Let q = 8 + -3. Solve q*l - 25 = -5*w, 0 = -2*w - w + 3*l - u for w.
0
Let s = 2 + 2. Solve -3*o + 2*i - 3 = -4, -6 = -s*o + 5*i for o.
-1
Let j(i) = -i - 21. Let s be j(-15). Let n = s - -13. Solve -4*a = 5*t, -2*a - 9 = -n*a - 4*t for a.
5
Suppose 0*z = 3*l - 2*z, 0 = 2*l - 4*z. Suppose 4*i - 20 = -l*i. Solve c = -d - 2*d - 11, 0 = -3*c + i*d + 23 for c.
1
Let m(j) = -j - 10. Let x be m(-10). Suppose x*b + 2*b = 3*v - 29, -2*v + 6 = 2*b. Solve 5*h = -0*i + 2*i - 26, -5*i - 2*h = -v for i.
3
Let x be (-2)/2*1 + 2. Let h(f) = -f**2 - 7*f - 7. Let i be h(-5). Let r be -10*i/(x - 7). Solve r*c + 24 = -4*b, 5*b + 32 = -5*c + 7 for b.
-1
Suppose -4*j + 7*j + 612 = 3*z, 5*j + z = -1020. Let s be 2/(-8) + j/(-48). Solve -4*l + q = -7, 4*l - 1 = 3*q - s for l.
3
Suppose 3*f - 4*q + q - 39 = 0, f = 3*q + 23. Solve -2*m + 4*p = 2*m - f, m - 3*p - 4 = 0 for m.
1
Let t(y) = -y + 3. Let k be t(5). Let x(a) = -a**2 - 2*a + 2. Let c be x(k). Solve -4*m - 2*h = 14, -5*m = -2*m - c*h - 7 for m.
-1
Let p = 77 - 63. Let i = -4 + 2. Let d = 5 + i. Solve -2*m - 2 = -0*m - d*k, -3*m - p = k for m.
-4
Let q(o) = -3*o**3 + 1 - 3 + 1. Suppose -b = -4*g + 5, 2*g + 1 - 3 = 0. Let w be q(b). Solve 3*m = -5*l + 2 - 1, -19 = 5*m - w*l for m.
-3
Let f(t) = -9*t + 1. Let v be f(-1). Le