 t = -9 - -13. Suppose -m - r + 20 = 0, 2*m = -5*r + 9 + 34. Let w = m - 10. Solve t*q - 3*o + 25 = 0, -3*o = -0*o - w for q.
-4
Suppose -2*f - 5 = -13. Solve f*k = -5*b, 2*k = k + b for k.
0
Let b be 65/5 + -2 + -1. Solve -1 - b = 3*j - r, -2*j - 5*r - 30 = 0 for j.
-5
Suppose -4*s - 6 = -3*g - s, 4*g = 2*s + 12. Let y = g + 5. Solve y + 5 = 4*q + 2*m, -m = -3*q + 18 for q.
5
Let g be 3/12 - (-363)/(-12). Let v = -26 - g. Solve v*t - 16 = -4, 19 = 5*n + 3*t for n.
2
Suppose -10 = -5*z + 3*t, -27 + 7 = z - 5*t. Let s = z - 1. Let o(v) = v**2 - v - 3. Let b be o(3). Solve 0*u = -4*a + b*u + 24, 5*u = -s*a - 8 for a.
3
Suppose -2*m + 7 = -3. Solve -41 = 4*r - 9*u + 4*u, m*r = -4*u for r.
-4
Let y be 18*(-3 - (-5)/2). Let o = 11 + y. Let b be ((-6)/o)/(-1 - 0). Solve -5*z = -5*l + 15, 2*z - l = -2*l - b for z.
-2
Suppose 1 = -2*y + 9. Solve n = y*h - n + 12, 2*n = h for h.
-4
Suppose 0*f - 5*f + 25 = 0. Solve 5 = p + y - 5, f*p + 4*y = 45 for p.
5
Suppose 2*v - 7*v = 0. Suppose v = 4*a - 3*a. Solve 3*o - 2*o - 2*t - 14 = 0, a = 2*o + t - 3 for o.
4
Suppose 4 = 35*w - 33*w. Solve w*i - 15 + 1 = -4*h, -4*h + i + 5 = 0 for h.
2
Let n = 6 + 0. Suppose 0 = 2*j - 0*j - n. Solve -f + 21 = 5*i, -j*i = -3*f + f - 10 for f.
1
Suppose -2*r = u + 8, 0 = 3*u - 4*r - 8 - 8. Solve 14 = -2*f + 2*z, u*f + 4*f + 14 = -3*z for f.
-5
Suppose 0 = p + p - 90. Suppose j - 80 = -5*l, 8*l - 3*j = 4*l + p. Solve -4*z = -2*z - 3*k - l, -2*k = 2*z for z.
3
Let y be ((0 + -1)/(-1))/1. Let k(r) = 6*r**2 - 2*r + 1. Let f be k(y). Solve -3 = -2*q - 3*t, f*q - 2*t = 2*t - 27 for q.
-3
Let m be -7 + 12 + (-2 - 0). Let b(q) = q**2 + 2*q + 2. Let g be b(-3). Solve -3*h + y + 4 = 0, -m*h + 47 = g*y + 13 for h.
3
Let o(x) = -x**3 + 8*x**2 - 4*x - 3. Let k be o(7). Let r = -13 + k. Solve -2*z - r*c + 18 = 1, -4*z - 11 = c for z.
-4
Let q = 8 - 8. Solve o - 7 = 2*w, q = -o - w - 7 + 2 for o.
-1
Let k = 0 + 1. Let d be ((-20)/(-3))/(k/3). Let s be 22/8 - (-5)/d. Solve -2*v = 4*n + 2*v - 28, s*n - 25 = -4*v for n.
3
Let s be (-26)/(-8) - (-6 + 50/8). Solve h - 9 = -2*a, s*a - 10 = -3*h + 8 for h.
3
Let k(y) = y - 7. Let x be k(7). Suppose -6*d = -x*d - 24. Solve 2*g = q - 1 - 1, -d*q - 5*g - 5 = 0 for q.
0
Let d(p) = -p - 4. Let u(x) = 0 + x**2 + 4 + 7*x - 3 - 6. Let l be u(-7). Let i be d(l). Solve -v - 2*t - 3 = 0, -t = -5*v + 8 - i for v.
1
Let u(f) = 3*f - 6. Let k be u(3). Solve -r - k = 2*r - 3*c, -5*r = c + 29 for r.
-5
Suppose 0 = 5*m - w + 2, 2*m - 5*w = -m - 10. Solve -2*o + 2 = 10, -2*s - 2*o - 4 = m for s.
2
Let r(m) = -2*m**3 + 2*m. Let c be r(-2). Suppose 2*t + t - i = 0, 3*t - 3*i = 0. Suppose t = -0*d - 5*d. Solve 19 = -4*p + k - 5, 4*p + 2*k + c = d for p.
-5
Suppose 4*g = 3*r - 17, -12*g + 14*g = 2*r - 12. Solve -y = t + 4*y + 5, y + r = t for t.
5
Let x = -37 + 40. Solve 2*q - 30 = -5*a, -4*a + x*a - 2*q + 14 = 0 for a.
4
Suppose 5*m + 4*a + 8 = -7, -4*a - 25 = -5*m. Solve 3*u - 9 = 3*h, 2*h + m = 3*u - 3 for u.
-2
Suppose -5*t + 12 = -4*t. Solve -5*g + t = -0*r - 3*r, g = 3*r + 12 for g.
0
Let l(g) = 3 + 9*g**3 - 6*g**3 - 3*g - 4*g**3 + 3*g**2. Let x be l(2). Let y be 6 - (-5)/((-15)/9). Solve 0 = -4*n + 3*m - 14, 2*n = -y*m - x + 3 for n.
-2
Suppose -2*x = -19 + 9. Solve -3*h + h - 10 = -4*a, x*h - 17 = -4*a for h.
1
Suppose 5*g = 2*d + 13, d + 4*g - 19 + 6 = 0. Suppose 0 = -3*z - 5*j + 23 + 17, 5*z - 3*j = 44. Solve 5*f + 0 = 5*w + z, 2*w - f = -d for w.
1
Let p be 3 - (-6 - 3/(-1)). Suppose 2*c - 4*c = -p. Solve 30 = -4*z + 5*f, 0*f + 26 = -4*z + c*f for z.
-5
Suppose 4*x + 8 = -2*o, -5*o + 5*x = -4 - 21. Suppose -3*w + 7 = -8. Solve -9 = -g - o*g, -g = -l - w for l.
-2
Let x be (1 - 0)/((-8)/(-32)). Suppose -5*g + 0*z + x*z + 5 = 0, 0 = -5*g - z + 30. Solve -5*l + 24 = r, 2*r + 1 = g*l - 11 for l.
4
Let l = -70 + 24. Suppose q - 4 + 2 = 0. Let r be l*(-2 + 3/q). Solve -4 = 2*s, 5*g + 2*s = 6*s + r for g.
3
Suppose -w - 5 = -5*c + w, 5*c - w = 5. Let p be 2/((-2)/c) + 3. Suppose -8 = -2*g - p*g. Solve 0 = 2*f - 3*k + 7, g*f + 2*k = -2*f + 26 for f.
4
Suppose 168*o = 173*o - 20. Solve -3*a - 3*u + 3 = 0, -u - 3 = o*a + 2 for a.
-2
Let a(h) = 0*h**3 - 2*h**3 + 0*h**3 - 7*h + 6*h**2 + 3 + 3*h**3. Let l be a(-7). Suppose l = v + 2*v. Solve o = -5*w - v, -2*w = w - 3*o - 3 for w.
0
Let n(d) = 6*d + 1. Let l(f) = -f. Let r(i) = -11*l(i) - 2*n(i). Let w(h) = -2*h. Let x be w(1). Let q be r(x). Solve -m + b + q = -2, -5*m - 4 = 2*b for m.
0
Suppose 4*q = -k - 41, 5*q = 4*k + 69 - 10. Let i be ((-3)/4)/(k/56). Solve a - 2*z = -i*a - 10, -25 = 3*a - 5*z for a.
0
Suppose -5*i = 2*f - 1, -10 = 3*f - 8*f - 5*i. Solve -f*h = 5*b - 0*b - 32, 4*b - 32 = -4*h for h.
4
Let z be -2 - ((2 - 3) + -5). Let q be (-2)/4 - (-86)/z. Let p be 99/q - 4/(-14). Solve -u = 5*y - p, -y + 5*u - u = -1 for y.
1
Suppose 2 = -3*q + 2. Solve -3*s - 4*k = -29, q = s + s + k - 11 for s.
3
Suppose -4*h - 51 = -3*d + 8, -3*h - 41 = -2*d. Suppose -2*g + 3*r + d = 0, g + r = -0*r - 1. Solve 4*x = -8, -4*z - 3*x + 2 = -g*x for z.
1
Let x(d) = -6*d + 7. Let r be x(-5). Suppose 0 = 3*f - r + 4. Let n = -6 + f. Solve -5*v - 5*q = -5, 2*v + 0 - 8 = -n*q for v.
-1
Let h(u) = -u + 10. Let d be h(-10). Solve -x = 4*r - d, x - 2*r = -r for x.
4
Suppose -4*k = 3*r - 4*r + 12, 2*r - 12 = 2*k. Suppose 0 = -0*p + p - r. Solve 3*f + 11 = -z - 2*f, p*z = 5*f + 6 for z.
-1
Let x = 30 - 30. Solve -4*p = 5*v + 25, x*p - 10 = 2*v + 3*p for v.
-5
Let j = 17 + -12. Solve -o + 2*o - 2*w + 5 = 0, -2*o - j*w = -17 for o.
1
Let h(a) = -a**2 - 3*a + 6. Let w be h(-4). Solve 0 = -w*l + r + 10, r - 3*r = 0 for l.
5
Let o be 2 + -2 - (-50)/5. Suppose -5*v = -5*r, -2*r = 5*v - 2*v - o. Solve r*z = -a + 4*z + 9, 2*a = 5*z + 21 for a.
3
Let y(v) = -v**3 - 7*v**2 + 2. Let b be y(-7). Let f be 5/2 - 1/(-2). Let q be -4*3/(f - 6). Solve 0 = -b*m + d + 6, 0 = -d + q for m.
5
Let h = 2 + 1. Suppose -5*a - h*f + 25 = 0, 5*a - 6 = -5*f + 19. Solve -3*l = -o - 20, 0*l + 2*o = -l - a for l.
5
Let n = 7 + 8. Let v = n + 4. Suppose -v = -5*f - 4*y, -5*f + 4*y = 18 - 69. Solve 3*a + 15 = 3*u, -4*u - 3*a = 2*a + f for u.
2
Let h be (-18)/(-4) + (-2)/4. Let j(a) = -a - 3. Let r be j(-5). Let l be ((-3)/3)/((-1)/r). Solve -h*w + 3*f = 15, l*f - 10 = -0 for w.
0
Suppose 5*o - 32 = o. Suppose 1 = 4*q - 3, 2*r + 4*q - o = 0. Solve 0 = -z - r*c - 2, 0 = 4*c + 5 + 7 for z.
4
Let i(t) = -t**2 + 19*t - 32. Let x be i(17). Solve 4*z - q - 2*q = 6, x*z + 3*q - 12 = 0 for z.
3
Let l(x) = x - 7. Let y be l(9). Solve 1 = -2*b - f, 2 = 3*b + y*f + 3 for b.
-1
Suppose 22 = 3*o + 10. Suppose -o*b + 5 = -7. Suppose 5*p = -b*h + 19 + 18, -4*p = -5*h. Solve 0 = d + h, 14 = j + d - 5*d for j.
-2
Let y(f) be the second derivative of f**5/20 - f**4 - 2*f**3 - 2*f**2 - 5*f. Let j be y(13). Solve 2*i + j = -q, -i - 12 = 2*q + q for q.
-3
Suppose 3*r + 0 = z + 12, 0 = -r + z + 4. Suppose -13 = -r*k - 1. Solve -2*j + 4 = k*d, -3*j + 0 + 6 = d for j.
2
Suppose 0 = 5*l + 15, -5*n + 16 = l + 2*l. Solve -m = -n*m + 4*p + 24, 3*p + 14 = m for m.
2
Let x = -14 - -17. Solve -4*r = 5*n + 17 - 53, -x*n = -12 for r.
4
Let f be (-168)/(-20) + 2/(-5). Let n = 10 - f. Solve 7*q = 5*k + 2*q + 25, -5 = -n*k - q for k.
0
Suppose 3*f = 3*z - 36, -3*z - f = -2*f - 36. Let p be (z/(-5))/((-15)/100). Let c = 5 + -1. Solve 4*v = -c*t - p, 5*v = -t - 9 - 11 for v.
-4
Suppose -34 = -2*p - v, 2*p + 6*v = 2*v + 40. Suppose 2*l = 6*l - 3*g - p, -l - 4*g = -23. Solve w = -3*u - l, -6*w = -w + 4*u + 2 for w.
2
Let k(l) = -l**2 + 7*l - 5. Let m be 3/(-4) - (-34)/(-8). Let t be (-26)/(-6) + m/15. Let f be k(t). Solve 4*s + 2*a + 8 = 0, 2*s = 2*a - 17 + f for s.
-3
Let y(v) = -v**3 - 20. Let i = -4 - -4. Let h be y(i). Let x be h/(-3) - (-4)/(-6). Solve s - f = -x, 26 = -s - 3*s + 5*f for s.
-4
Suppose y = 5*m - 48, -4*y + 0*y = 5*m - 58. Suppose 0 = 3*h + 2*h - m. Solve 0 = -2*u + 3*t + 1, -3*u + h*u - 5*t = 19 for u.
-4
Let g(r) = -r**3 - 5*r**2 + 11. Let j be g(-5). Solve -n + j = -5*m, n = -m + 2*m - 1 for n.
-4
Let h(y) = 4*y**2 - y + 7. Let f be h(0). Solve -s = -0*s + 3*o + 19, -3*s + o - f = 0 for s.
-4
Suppose 2*c + 2*c = 2*s - 22, 4*s - 32 = 4*c. Suppose s*w - 2*w = 6. Solve 4*f = 4*n + w*f - 12, 0 = 2*f + 4 for n.
2
Let u be 3*-3*8/12. Let q(k) = k**2 + 6*k + 3. Let f be q(u). Let b = 0 - 0. 