 42 = t. Let j = t + -10. Solve -a - j = 2*h, 3*h + 6 = -0*a + a for h.
-2
Let p = -7 - -8. Solve 5*l + 5*t - 25 = 0, 5*t - 19 = p for l.
1
Let g(h) = h - 1. Let u be g(8). Let q = 12 - u. Solve q*l + 2*v = -0*l - 14, v = -l - 1 for l.
-4
Let s(i) = -3*i - 10. Let p be s(-5). Suppose 0 = 3*t - p*k - 1 + 2, 2*t - 4 = k. Solve -3*l = b + 3, 0 = -b + 5*l - t*l + 2 for b.
0
Let m be 92/(-28) - 4/(-14). Let t = -11 - -4. Let y = m - t. Solve 0 = -2*n - y, 2*n + 10 = -2*h - 0 for h.
-3
Suppose -i = -3*i + 4. Suppose -6 = -i*d - 0*d. Solve -4*u + 4*r - 20 = 0, d*r + 9 = -u + 8*r for u.
-4
Suppose 7 = m + 3. Let n(s) = -m*s + 3*s - 10 + 11. Let j be n(-1). Solve 2*f + 4 = -4*z, 3*z = -4*f + 9 - j for f.
4
Suppose 7*t = -0*t + 14. Solve 8 = 2*n - t*f - 10, -f = -4*n + 24 for n.
5
Let p = 5 - 2. Suppose p*r = -0*r + 6. Solve 2*q = u - r*q + 5, 5*u = 2*q + 11 for u.
3
Let a = 25 - 15. Suppose 3*s + 4*j - a = 7, -3*s = -j - 7. Solve 2*m = -2*u - 14, -5*m + s - 2 = -4*u for u.
-4
Suppose -5*k + 98 = 3*b, 3*k - 2*k + 2*b = 21. Solve -y + k = 4*d, 2*d + y = -3*d + 24 for d.
5
Let t(f) = f**3 + 6*f**2 + 3*f + 10. Let z(v) = -v + 1. Let l(r) = -t(r) + 4*z(r). Let y be l(-5). Solve y*d + 5*c = -13 - 5, -c = -d for d.
-2
Let c(x) = 8*x + 3. Let l be c(1). Solve 0*o - o = -2*y - l, -4*o + 20 = -2*y for y.
-4
Let s(l) = -l**3 + 14*l**2 + 16*l - 12. Let u be s(15). Solve 15 = u*d - 4*j + 7*j, 0 = d + 4*j - 5 for d.
5
Let b(o) = 24*o**2 - o - 2. Let q be b(-2). Let n = -138 + q. Let w = -25 - n. Solve 4*u - w = 3*t, 2*u - t + 3*t = 12 for u.
5
Let b be (-176)/18 + 2/(-9). Let i = -8 - b. Suppose 6 - i = s. Solve -2*q = -3*q + s*y + 15, 0 = -2*q + 3*y + 5 for q.
-5
Let q be (-10)/(2*(-3)/3). Solve -q*k = -2*a - 8, -3*a - 4 = 5*k - 2*a for k.
0
Let c(l) = 6*l - 1. Let m be c(1). Suppose -m = -3*b + 1. Suppose 0*v = -5*j + 3*v + 89, b*j - 5*v = 28. Solve 5*t - j = g, t - 2*g = -3*t + 14 for t.
4
Suppose -3*b - 5*t - 13 = -4*b, b = 3*t + 9. Solve -b*g = -5*z + 14 + 15, 0 = -g - 5*z + 17 for g.
-3
Suppose x + 2*x - 6 = 0. Suppose x*q = q + 4. Solve 4*v = -p + 2*v - 2, -q*p + 16 = -4*v for p.
2
Let t(l) = -l**2 + 4*l + 1. Suppose 1 = -5*o + 11. Let m be t(o). Suppose i - 19 = 3*s - 8, -61 = -4*i - m*s. Solve -4*d = 2*b - 4*b + i, -2*d = -4*b + 4 for b.
-1
Let s be (8/(-10))/(34/(-255)). Solve -2*d + o + 2 - 4 = 0, -d = -4*o - s for d.
-2
Let q(u) = -1 + 3 + 0*u + u. Let f be q(0). Suppose -2*j - j = -12. Solve p - 2*y - 3 = 2, j*p - f*y = 8 for p.
1
Suppose 0*u + 48 = -2*u. Let c = 41 + u. Let l = -12 + c. Solve 2*m + 6 = -5*j, -j + 4*m = -l*j for j.
-2
Suppose 91 = -2*x + 101. Let r be (0 + -3)*8/(-6). Solve x*j + r*o - 3*o = 5, -2*j = -3*o + 15 for j.
0
Let i be (1*2)/(14/(-49)). Let m be 2/i - 8/(-28). Solve 7*y - 4*y = -4*n + 29, -3*y + 4*n - 11 = m for y.
3
Let u(h) = h**3 - 2*h**2 - 4*h + 3. Let t be u(3). Suppose 5*q = -t*b - 2*b + 35, 2*b - 25 = -3*q. Solve -3*a = -c - c - 13, -a + b*c = -26 for a.
1
Let h(p) = -p + 14. Let z be h(9). Solve 10 = 2*q, -5*m - z*q = -2*q - 25 for m.
2
Suppose 0 = 2*j + 3*y - 4, -j - 3*y - 2*y + 2 = 0. Suppose 3*m = -2*i + 1 + 17, 3*m - 18 = 5*i. Solve -j*t - 3*s = t + m, -5*t = 3*s + 16 for t.
-5
Let i(t) = t**3 - 6*t**2 - t + 8. Let b be i(6). Suppose 0 = 9*u - 5*u - 16. Solve 5*v - 8 = m + u*v, -5*m + b*v = 28 for m.
-4
Let h = 9 + -5. Let t = h + -4. Let d(z) = z + 1. Let f be d(t). Solve -3*o - 4*y = -f, 3*y - 2*y - 7 = -3*o for o.
3
Let i be 5 + 4/1 + 4. Solve 5*d + 4*z + i = -0*d, 3*z = -d - 7 for d.
-1
Suppose -v - 9 = 2*f + f, -3*v = 2*f - 8. Suppose -3*d = -d + 8. Let g = d + v. Solve 0 = -3*x - o + 1, -2 = -2*x - g*o for x.
0
Suppose -5*m + d - 3*d + 15 = 0, 3*d + 12 = 4*m. Solve -3 = 2*h + 5*v, m*h + 1 = v + 5 for h.
1
Suppose -2*u = 3*r + 5, -2 = -6*r + 4*r + 4*u. Let b be r - (1 - 1) - -17. Let l be (2 + 0)*(0 - -1). Solve 4*k + s - b + 3 = 0, -k + 5 = l*s for k.
3
Let q = 0 + -1. Let t be (-7*1 + 2)*q. Let d be (6/(-5))/(2/(-5)). Solve c = 2*k - 9, d*c - t*k = -k - 23 for c.
-5
Suppose 2*t + 40 = 4*t. Let w be 1 - (-1)/((-1)/(-2)). Solve -t = -5*g + n, 7 = -2*g - w*n - 2 for g.
3
Let j be -1 + 6/2 + 3. Suppose 44 = j*l + 9. Let a = 12 - l. Solve 3*u = -0*u - a*d, 0 = 5*u - 4*d for u.
0
Let b be ((-7)/(-2))/((-7)/14). Let j = b + -3. Let a(r) = -r - 8. Let w be a(j). Solve -3 = -x, 2*c - 2*x + 0 = w for c.
4
Let w = -11 - -16. Suppose -5 = 4*c + 3. Let y be c/((-2)/(8/2)). Solve -3*u - 4 = i - 2*u, -y*i = -w*u - 11 for i.
-1
Let s(v) = -v**3 + 2*v**2 + v + 10. Let x be s(3). Solve 2*j - 16 = -x*c - 4, -5*j + 21 = c for j.
4
Let t be (-27)/(-36)*1*24. Let b be (-16)/(-6)*t/4. Solve g + b = -3*d - g, -3*d + 9 = -5*g for d.
-2
Let z(o) = o**2 + 6*o - 8. Let s be z(-8). Suppose -4*y - 1 = -61. Suppose 2*f - 5*k + y = 6*f, 3*k - 2 = -f. Solve 3*t = -u - s, f*u = -6*t + 2*t - 7 for u.
1
Suppose 5 = 2*f - 4*n + n, -n + 1 = 0. Suppose 5 = 2*m - f*r + 11, 2*r - 28 = -4*m. Solve d - 2 = u, 5*u - 2*u + m*d + 14 = 0 for u.
-3
Let t be 4/(1 + 8/(-12)). Suppose 0*u = -4*u + t. Solve -3*j + 11 = y, 15 = j + 2*j + u*y for j.
3
Let x = -12 - -12. Solve -2*k = -2*y - 6, -4*k + 3*y + 2*y + 12 = x for k.
3
Suppose 2*m - 15 = -m. Solve -3*h - 1 = -o, 0 = m*o - 0*h + 4*h + 14 for o.
-2
Let n(v) = v**2 + 2*v - 1. Let h be n(-3). Let c be 2 + h/(-1) - -2. Solve 4*z = -f - 7, -5*f = -c*z + 3*z - 22 for z.
-3
Suppose 2*b + r - 7 - 2 = 0, -4*b - 5*r + 33 = 0. Suppose 3*h = b + 4. Solve 5*i = h*n + 2, 2*i - 7*i - n = -14 for i.
2
Let b(k) = -k**3 - 3*k**2 + 4*k + 2. Suppose -2*c + 5 - 19 = d, -d = -2*c - 6. Let u be b(d). Solve 12 = -4*y + 2*q, -14 = u*y + 5*q - 10*q for y.
-2
Suppose -9*d = 23 - 59. Suppose 0 = -2*s + s. Solve 0 = -d*o - 20, 4*o + 22 = w - s*w for w.
2
Let n(j) = j + 11. Let k be n(-6). Solve 0 = 5*v - 4*v - 4*i - 3, 0 = v + k*i - 3 for v.
3
Let y be (-13 - 3)*((-1)/2)/1. Suppose 0 = 6*w - w + 3*a + 2, -18 = -3*w + 3*a. Solve -4*f = 2*t - y, -f + w = 2*t - 3*t for t.
0
Let z(j) = j**3 - 5*j**2 + j - 3. Let r be z(5). Let c be 2/4 - (-3)/r. Solve 2*u + 5*l + 6 = 2, -l = -c*u - 4 for u.
-2
Let x be (3 + (-51)/15)*15. Let q be x/15 - (-4)/10. Let u = 1 + 3. Solve 4*k - u*s + q = -8, 6 = -2*s for k.
-5
Suppose -5*v = 5*h + 25, -5*h + 4*v + 25 = -v. Suppose 4*n = -h*n. Suppose z - 2*z = n. Solve 2*o + 2 = 2*l, z = 3*l - 7*o + 3*o - 5 for l.
-1
Suppose 2*t - 4*l - 16 = 0, 4*l + 4 = -t - 6. Let f = 26 - 5. Let i be (-2)/(f/(-6) - -3). Solve -t*p + 18 = -5*x, -4*p = i*x + 27 - 7 for p.
-1
Let a(c) = -c**3 - 1. Let o be a(0). Let z be -8*-3*o/(-4). Suppose -z*s = -s - 10. Solve -i - 25 = -6*i - 3*j, -i - s*j = -5 for i.
5
Suppose 2*m - 144 = -3*q + 6*m, m + 3 = 0. Let c = -26 + q. Let j be c/(-4)*2/(-3). Solve 4*x + 2*k = -10, -5*x - j = 2*k + 10 for x.
-3
Suppose 5*o - 4*o + 4 = -q, 0 = 5*q + 3*o + 10. Let f be 1/(1/4)*q. Solve 4*c - 1 = -0*c - l, c = -l + f for c.
-1
Suppose 8*w - 19 = -3. Let v = 2 + 1. Solve 2*j + v*j + 1 = 4*x, w = -2*j for x.
-1
Suppose 0 = -2*b + 2*r + 2, -b + 2*r + 5 = -0*b. Let u be (-14)/b + (-8)/12. Solve 0 = -2*q + 3*p - 21, -u*q - 59 = -5*p - 22 for q.
-3
Suppose 0 = -5*x + 25, -g + 32 = 2*g + x. Let y(s) = s**3 + 2*s**2 + 3. Let o be y(-3). Let r = o + g. Solve 0 = 2*b - 3*a - 16, r*b + 1 + 1 = -2*a for b.
2
Let w be 30/4 - 3/(-6). Let r(v) = 2*v + 2. Let p be r(w). Let c be (-4)/(-18) + 32/p. Solve 4*f + c*z = -3*z - 17, 0 = -2*z - 2 for f.
-3
Suppose 5*k - 115 = 4*r, 4*k - 5*k - 2*r = -37. Let p = k + -16. Solve -n = -6*n - 5*c + 45, 4*c = n + p for n.
5
Let s = -36 - -22. Let i be (-1)/(s/12 + 1). Suppose -i = -n - n. Solve -n = -y - 4*c + 15, -4*y + 4 = -c for y.
2
Let b = 8 - 5. Suppose -4*l = -5 - b. Let a be 75/20 - l/(-8). Solve -3*v + a*w = -6, -2*v - 4*w + 11 = -9*w for v.
-2
Let q be 0 - (3 - 1) - 20. Let w be q/(-5) - (-2)/(-5). Solve 11 = w*d + 3*m, 3*d - 18 = -4*m - 1 for d.
-1
Let x be (2/(-6))/((-13)/858). Solve 5*k - x = -2*b, -3*b + 3*k = -0*b + 9 for b.
1
Let w(o) = -o**2 - 13*o - 10. Let u be w(-5). Let g = u - 25. Solve -t - 1 + 3 = 2*x, t = -g*x + 5 for x.
1
Let v(x) = x + 11. Let i be v(-10). Let f(s) = 3*s**3 - s**2 + 1. Let l be f(i). Solve 2 = l*r + 4*g - 2, -r - 4*g = -4 for r.
0
Suppose 0 = -2*t + 4*v, 3*v = t - 2*v. Let r be t/(1 + (-2)/1). Solve 4*g + 8 = r, -6*f + 3*f = 5*g