= -4*u + 3*q, 4*u = -q + 5*q - 8 for u.
-1
Suppose -5*o + 6*o = 2. Let x be (-2)/5 + o/5. Solve 4*f + x*u = 4*u - 24, 0 = 3*f - 5*u + 22 for f.
-4
Suppose -5*t + j = -4*j - 25, -3*j = 5*t - 17. Suppose -4*g = -0*d + 4*d, 2*g - 5*d = 28. Solve g*z - b + 8 = z, b - 11 = t*z for z.
-3
Let y(r) = -r**2 + 8*r + 2. Suppose -s = 5*f - 13, 2*s + s - 4*f = 1. Let n = s + 5. Let a be y(n). Solve l - 2*w + 3 = a*l, 2*w = -5*l + 23 for l.
5
Let v(l) = l**2 + 4*l + 3. Let k be v(-3). Suppose -2*x = -0*x - 4. Solve 2*r - 6 = 0, 2*i + k*i = x*r + 4 for i.
5
Let z be (-35)/28 + (-1)/(-4). Let y = z - -7. Solve p - 5 = 0, y*l - 25 = 2*l - p for l.
5
Let b(t) = t**2 + t - 15. Let r be b(-5). Solve g + 15 = 3*l, r*g = -0*l - 4*l + 20 for g.
0
Suppose 0 = 2*k + 3*k - 25. Suppose 4*i + k*t - 3 = 2*i, -i + t + 5 = 0. Suppose 0 = i*x - 22 + 2. Solve x*u + 4*h + 2 = -27, 2*u = 3*h - 7 for u.
-5
Let l = 5 + -2. Let b = l + 0. Solve -b*z = 3*u - 30, u = 4*z + z - 20 for z.
5
Let h(l) = -l**2 - 7*l. Let f be h(-6). Suppose 2*d + f = 0, 4*v - 83 = d + 20. Solve 3*x = -5*i + 8*x + v, -2*x - 18 = -4*i for i.
4
Suppose 2*b - 2*i + 28 = -0*b, -4*i = -4. Let n be (-24)/b - (-2)/13. Solve n*t - 2*d + 4 = -t, -2*d = 5*t - 20 for t.
2
Let b be (-4)/18 - 47/(-9). Suppose -b*z + 70 = -0*z. Solve 4 = 2*w - 2*f - 2*f, 5*w = -2*f - z for w.
-2
Suppose -5*g - 86 = -26. Let y = -10 - g. Solve 3*z - y*q - 3*q = 29, 2*z + q = 2 for z.
3
Let n be ((-8)/3 - 10/(-15)) + 3. Solve -3*q = 5*t + n + 4, -4*t + 3*q - 31 = 0 for t.
-4
Suppose 4*i + 31 = 51. Solve b + 4*q = 13, i = b + 5*q - 12 for b.
-3
Let s(l) = l**3 - 3*l**2 + l + 2. Let a be s(2). Let t be (-4)/((a - 6) + 4). Solve 0 = -3*u + 3*o + 6, -u - u = t*o - 12 for u.
4
Let j be -4 + 5 + 4/2. Suppose -o = -5*d - 17, -5*d + 3 = -j*o + 24. Solve o*v - 10 = 3*m, -2*v - 1 = -v for m.
-4
Let k(x) = 2*x - 1. Let r be k(3). Let p(f) = -f**2 + 6*f - 2. Let o be p(r). Solve -o*i + 15 = 0, -2*y = -0*i - 4*i + 18 for y.
1
Let v = -74 + 79. Solve k + 10 = -3*i, 0 - 35 = v*i - 2*k for i.
-5
Let o be 104/18 - (-12)/54. Solve 4*c - 11 = o*c + 5*g, 4*g = -12 for c.
2
Let t = 32 - 17. Let g = 27 - t. Solve g = -4*u, l - 5*l + 3 = -u for l.
0
Let s(p) = p**3 + 7*p**2 + 6*p + 6. Let a be s(-6). Let i(o) = o**2 - 4*o - 9. Let r be i(a). Solve 5*k = 8*j - r*j, j + 5*k + 12 = 0 for j.
-2
Suppose 28 = o + 3*o. Suppose 2*s - o = -1. Suppose -b + l + 24 = -0*b, -b + 32 = -s*l. Solve -27 = -3*y + 5*g - 2, -5*y + 4*g + b = 0 for y.
0
Let l = 7 - 4. Let o = -2 - -4. Suppose 2*n + 3*x + 0*x = 2, -3*n - o*x + 8 = 0. Solve -2*t = -l*k - 0*k + 20, -n*k = -3*t - 28 for k.
4
Suppose -20 = k - 5*k. Solve -3*l = -3*s - 0*l + 3, -k*l = 4*s - 31 for s.
4
Suppose -4*y = -4 - 0. Let s = 2 - y. Suppose 35 = 8*i - i. Solve 4*f = -i*r + 4, -2*r + f = -0*r + s for r.
0
Suppose 4*i - 5*v - 7 = 0, v = 5*i + 6*v - 20. Solve 0 = -4*t - i*p + 13, -2*t - 1 = 4*p - 5 for t.
4
Let y be (4 + -3)/1*-1. Let o = 3 + y. Suppose 0 = -3*p + 4*x - 8*x + 38, -o*x = p - 16. Solve 0 = 3*a - 5*g - p - 6, 0 = -2*a - 3*g - 11 for a.
-1
Suppose -2*f + 2 = -r, -6*f = -4*f - 3*r + 6. Solve 0 = -f*a + 4*g + 2 - 6, -a + 3*g = 8 for a.
4
Let r be 10/(-35) + 4/14. Suppose 3*v + 4*b = 0, 0 = -r*v - 5*v - 5*b + 5. Suppose v = p + p. Solve p*u = 4*f, -3*u + 0*u = 5*f - 22 for u.
4
Let s(r) = -r**3 + 8*r**2 - 8*r + 10. Let x = 17 + -25. Let y(j) = j + 15. Let l be y(x). Let g be s(l). Solve -n = 3*n - 5*q - 6, -n - q - g = 0 for n.
-1
Let o(a) = 2*a - 3. Let n be o(3). Let z = n + -2. Let p be ((5 + 0)/z)/1. Solve -s = p*u - 21, 3*s + 4*u = 4*s + 15 for s.
1
Let u(i) = 3*i. Let b be u(1). Solve -4*s + 2*c - 2 = 20, b = c for s.
-4
Suppose 0 = 3*i - 3 - 0. Solve i = z - 1, -3*g - 2*z + 13 = 0 for g.
3
Let g = 65 + -55. Solve -3*w - g = o, -3*o + w = -5*o for o.
2
Suppose 2*g + 8 = 6*g. Solve -4*s + g*q = -8, 10 = s + 3*s - q for s.
3
Let u(h) = -5*h + 39. Let b be u(7). Solve n - 5 = b*i + 4, -i - 18 = 5*n for n.
-3
Let x(s) = -2*s + 8. Let r be x(3). Solve 29 = -5*c - r*l, -3*l = 5*c + 50 - 19 for c.
-5
Let l be -2 + -4*(-4)/(-8). Let a = 0 - l. Solve 2*g + 3*g = -5*i + 15, a*i = -g + 9 for i.
2
Suppose 0 = 4*z + i + 11, 0 = -z - 4*z + 3*i - 18. Let k be 2*4/((-8)/z). Let o(f) = f + 1. Let y be o(4). Solve -k*j + x = -5, -2*j + 9 = 2*x - y for j.
3
Let h be (-6)/14 - 680/(-35). Solve 4*i = -t - h, 3*t + 15 = -3*i - 6 for t.
-3
Suppose -6*h + 3*h = -30. Let c be 10/(-4)*(-16)/h. Solve z + 15 = -c*z, 4*x - 3*z - 29 = 0 for x.
5
Let s(u) = -u**3 - 5*u**2 - u - 4. Let b be s(-5). Let r(z) = -4*z**3 + 2*z**2 + z. Let w be r(-1). Solve 2*f + 8 = w*o - b, 0 = -4*o + 5*f + 14 for o.
1
Suppose 0 = -c + 5 + 4. Suppose 5*p = 5*f - 5, 0*p = -3*f - 3*p + c. Solve 5*q + 2*i = 6, -f*q + 3*i - 3 = 2*i for q.
0
Let t be (0 - (-5 + 3))/1. Suppose -3*o = -8*o + 80. Let p = 1 + o. Solve 3*q - p = -2*y, t*y + 21 = 3*y + 4*q for y.
1
Suppose -3*c - 12 = -3*p, -3*c = -2*p - 6*c - 2. Solve 2*m - p = -4*t, -5*m + 0*m + 5 = -2*t for t.
0
Suppose 0*j + 37 = 5*j - 3*n, 2*j - 19 = -3*n. Suppose 3*z - 14 + j = 0. Solve 12 = z*q - v, -4*v - 12 = -q - 2*v for q.
4
Let t = -9 - -13. Let a = 17 - t. Let l = a + -9. Solve 6 = -4*g + g - x, l*g + 1 = x for g.
-1
Let a be -3 - -7 - 0/2. Suppose q - 2*v - 7 = -0*q, 3*v - 39 = -4*q. Let o = q - -11. Solve 20 = a*u, 0 = 4*x + 5*u - o - 5 for x.
0
Suppose -10 = 5*g - 10. Solve -3*m = 4*z - 10, 7 = -g*z - z + 4*m for z.
1
Let y = 13 + -6. Suppose 8 = -5*t + y*f - 3*f, -5*f = -10. Solve 3*l = 2*c + 6, t = 2*l + 2*l + 3*c - 25 for l.
4
Let b be ((-440)/50)/((-2)/(-15)). Let u be 4/22 + (-384)/b. Solve 5*n = -4*m + 15, 5*m = -4*n + 6 + u for n.
3
Let i(h) = h**2 + 11*h - 10. Let q be i(-12). Solve -5*s = q*j + 9, j - 2*j + 18 = -5*s for j.
3
Suppose 0*c = c + 14. Let d = c + 19. Solve -h + 3*h = -4*v + 4, -d*v = -2*h - 5 for v.
1
Let p(m) = m**2 - 5*m + 1. Let x be p(5). Let v(q) be the first derivative of 26*q**3/3 - q**2/2 + 1. Let g be v(x). Solve i + 3*z = -i + g, z = 3*i - 10 for i.
5
Let j = 9 - 5. Let b = 8 + -3. Solve -4*c - j = -b*r, -2*r + c = -r for r.
4
Let h be 8*1 + 3 + -6. Suppose 0 = 4*r - 2*c - 8, -5*r + 2*c - 1 = -11. Solve r*y + y - 20 = h*g, g = 2*y - 11 for g.
-1
Let v = -8 - -13. Let c be 0 + 36 - 1 - 2. Solve c = 5*m - 2*f - 0, 5 = v*m + 5*f for m.
5
Let o(t) = -t**3 - 4*t**2 - 3*t - 1. Let u be o(-2). Let v = 4 + u. Let g be 1/(((-2)/(-2))/v). Solve 0 = 2*p, -z - 3*p - g = 3 for z.
-4
Suppose -4*t - 4 + 28 = -3*s, -5*t + 2*s + 23 = 0. Suppose t*j = 16 - 1. Solve 0*k - 2*k = j*y + 8, 3*k = 2*y + 7 for k.
1
Let w = 8 - 6. Suppose t = w*r - 10, r + r - 2*t = 14. Suppose 4*y - 4 = j, -r*y = -0*j + 4*j + 16. Solve -3*m + l - 5 = y, 0 = -4*m - 4*l + 1 + 3 for m.
-1
Let f be 12/(-18) + (-16)/(-6). Solve 5*v + f = -q + 3*q, -1 = -q - 4*v for q.
1
Suppose -2 = -5*n + 23. Solve 0 = -4*d + 4*h + 6 - 2, n*d = 3*h + 13 for d.
5
Let i = 4 - 2. Suppose 0*z + 5*z = -j - 9, 0 = -4*j - i*z + 18. Let w be (2 - 2) + j + -2. Solve -2*h - 4*o - w = 8, -h - 5*o = 9 for h.
-4
Let k(s) = -s - 14. Let d be k(-15). Let g(w) = 6*w - 1. Let b be g(d). Solve -5*z = u - 0*z - 5, -b*z - 25 = -5*u for u.
5
Let h(m) = -m**3 + m**2 + 2*m - 2. Let u be h(2). Let j be 6*4 - (u + 1). Let k be 2/(-1) + 49/7. Solve 5*y + 5*l = -j, 5*y - l = -0*y + k for y.
0
Suppose -5*q + 29 = 2*d, 3*q - 19 = d - 3*d. Suppose 0 = -2*b - b + 3. Let g = d + b. Solve 10 = 5*j, 3*r + g*j + 2 = -r for r.
-2
Let t(n) = 2*n**2 - 15*n + 7. Let h be t(7). Solve -4*v + 2 = 5*l - h, 5*l = v + 12 for v.
-2
Suppose -4*q = -0*q. Suppose -15 = -q*m - 3*m. Solve -m*z = -u + 7, 2*u = 4*u - 5*z - 4 for u.
-3
Let i(p) = -9*p - 3. Let f be i(-2). Suppose 5*r + 4 + f = -2*t, 0 = 3*t + 3*r + 6. Solve l - 6*l = -m + 20, t*m + l = 12 for m.
5
Let t = 20 - 37. Let a be (-1)/(4/(t + 1)). Solve 4*v + 24 = -2*r, -a*v - 19 = -3 for r.
-4
Let z(u) = u**2 - 3*u - 2. Let i(y) = y + 1. Let p be i(3). Let v be z(p). Solve -2*s = 6, -q = v*q - 2*s for q.
-2
Let o be ((-12)/16)/((-2)/(-16)). Let q(k) = -k + 8. Let t be q(o). Solve -w + 16 = -5*y - 2, -t = 2*y + 3*w for y.
-4
Suppose -5*m + 25 = -2*d - 5, -d = m - 13. Suppose 4*h + m*y = 3*y + 15, -2*y + 23 = 5*h. Solve -3*i - 13 = q, h*i - 3*q - 1 + 4 = 0 for i.
-3
Suppose -90 = -6*a + 4*a. Let w = -5 + a. Solve -4*t