t*f, -4*h - 3*f - 1 = -0 for h.
-4
Let d = 4 + -2. Let v be (-161)/(-35) + (-6)/10. Suppose -i + 3*o + 8 = 2, 0 = -v*i - 2*o + 80. Solve -x = -4*s + d*x + i, 3*s - 4*x = 17 for s.
3
Suppose -4*o + 14 = -2, -4*o = -2*l - 10. Solve -2*h - l*n = -8*n + 18, 0 = h + 5*n - 6 for h.
-4
Suppose 2*f + u - 4 = 0, 2*f = u + 4 - 0. Solve -b - 2*b = -2*m - f, 5 = -5*b + 5*m for b.
4
Suppose -26*o + 12 = -22*o. Solve o*t - 4*a + 4 = 0, 0*t = -5*t - 4*a + 4 for t.
0
Suppose 0 = -0*t + 4*t - 16. Let r(x) = 2*x - 5. Let i be r(5). Suppose 0 = -5*z - 3*v + 17, 4 = 3*z + 3*v - i. Solve z*y - 12 = 4*j, 2*j + 1 + t = y for j.
-2
Suppose -4*t + 34 - 2 = 0. Suppose -28 = -t*u - 4. Solve -c + 6 = -4*m, -2*c - u*c - 2*m = -8 for c.
2
Let d be 21/2 - (-4)/(-8). Let j = -15 + -3. Let w = 20 + j. Solve 2*g - 33 = -5*y, 0*y + w*y - 5*g = -d for y.
5
Suppose -52*q + 1 = 1. Solve -4*s = 5*u + 37, -3*s + q*s + u = 4 for s.
-3
Let j be ((-15)/(-18))/(4/24). Solve 2*o - j*o - 4*t - 4 = 0, o + t = -2 for o.
-4
Let g(f) = -4*f + 11. Let s be g(6). Let l(p) = -2*p**2 - 29*p - 13. Let n be l(s). Suppose 4*k - 5*b - 9 - 3 = 0, 0 = b. Solve 2 = -d - k, 3*u - 4*d = n for u.
2
Let a(u) = -u**3 + 2*u**2 - u + 21. Let k be (-5 + 5)*(-3)/((-6)/(-2)). Let s be a(k). Solve 4*c + s = -5*f + c, 11 = -f - 4*c for f.
-3
Suppose -3*z + 5*h = 2*h - 60, -4*h + 25 = z. Let n = -75 + 80. Solve -b + 7 - z = -3*d, -40 = n*b - 5*d for b.
-5
Suppose 286 = 58*n + 54. Solve 2*x = -3*i + n*i + 4, -5*x = -5*i for i.
4
Suppose -14*s = -11*s - 12. Suppose j + 7 = -o + 16, s*o = 2*j + 6. Solve -20 = -2*k + j*m, 2*k - 4*m = -5*m + 8 for k.
5
Suppose 50 = -27*l + 158. Solve 0 = -5*b + 10, -l*a - a - 7 = -b for a.
-1
Let q(m) = 2*m + 20. Let s be q(-8). Suppose -5*r = -7*r + s. Solve -4*b = 4*l, 5*l - r*b + 0*b = -21 for l.
-3
Let z = -79 + 82. Solve 2*u = z*q + 2*q - 5, -4*u - q = -23 for u.
5
Let m(g) = -3*g - 3. Let y be m(-3). Suppose v + 2*v = -3*t + 18, -t = -5*v + y. Let j be 2/4 + 17/v. Solve n - j = -2*k, 2*n + 3 = -0*k + 3*k for n.
3
Suppose -3*g = -5*q - 8 - 3, 2*g + 3*q - 1 = 0. Solve 6 = -g*p + 4*r, p + 3*r = -r + 9 for p.
1
Let j(h) = -h**2 + 9*h - 17. Let v be j(4). Solve -4*q - a = -v, -4*q + 2*a - 6 + 0 = 0 for q.
0
Suppose -86 + 92 = 3*f, 4*f - 26 = -3*d. Solve -3*y = 5*k + 22, -9*y + 2*k = -d*y - 13 for y.
1
Let a(r) = r**2 + 31*r + 104. Let g be a(-28). Solve 5 = 2*j + 5*d - 20, 0 = -j - 5*d + g for j.
5
Let n be (2 + 1)/(1 + 0). Let k(h) = -h**2 + 2*h + 7. Let v be k(n). Solve -5*w - p + 26 = 0, v*w + 5*p = 2*p + 23 for w.
5
Let x = -4 - -13. Let z = -4 + x. Solve 0 = -3*t + 2*d - 5*d + 3, -z*t - d = -17 for t.
4
Let y = -2173 - -2182. Solve -y - 4 = -3*d + 5*s, 5*s = -3*d - 37 for d.
-4
Let b be 0 - 0 - 11/(-1). Let y(w) = -24*w + 7*w**2 + 9 + 7*w + w**3 + 8*w + 10*w. Let x be y(-7). Solve -v + b = -x*g, -4*g - 12 = -0*g for v.
5
Let v be 1*-41 - (-6 - -2). Let f = -34 - v. Solve 5*u = -3*r - 22, 4*r - 24 = f*u - 5 for r.
1
Let d be 1/(-4) + 2/8. Let t be ((-10)/(-5) - 1)*0. Suppose t*r = -8*r + 24. Solve -4*k = -4*y - 20, -r*y - 9 = -d*y for k.
2
Let q be (2 + -3)*(-96)/24. Solve -5*i = -4*f - 30, q*i = -f + 5*i - 7 for f.
-5
Suppose 423 = 2*u + 399. Solve -4*x = -4*k + u, 3*k = 5*k for x.
-3
Suppose 5*n + 25 = 0, 33 = -2*w - n - 2*n. Let d = w - -13. Suppose -c + 5*c - 72 = -d*r, -4*c + 54 = -2*r. Solve -3*k - 3 = 4*i - i, -3*k + i - c = 0 for k.
-4
Let u = -8 - -11. Let g = 17 + -14. Suppose g*i = -2 + 29. Solve 2*x + u*c = 5*x - i, 3*c = -4*x - 9 for x.
0
Let v = -86 - -133. Let t = 78 - v. Let q = -27 + t. Solve 3*n = -4*k + 10, -4 + 10 = 5*n - q*k for n.
2
Let p = 117 - 114. Solve 0 = p*a - a - 3*g - 21, 4*a - 32 = 4*g for a.
3
Suppose 8*w - 12 = 7*w. Let b(m) = -m**3 - 4*m**2 - 2*m. Let i be b(-4). Let n = w - i. Solve -n*j = j - 2*t + 5, -5*t = -3*j + 16 for j.
-3
Suppose 0 = -0*a + 4*a + 8. Let o be (-6)/a + (-27)/(-1). Suppose -2*m + 2*v - 2 = m, -12 = -3*v. Solve -3*h + 25 = -2*p, o = m*h + h - 3*p for h.
5
Let t(g) = -g**3 - 7*g**2 - 10*g - 9. Let d(w) = w**3 + 3*w**2 - 11*w - 11. Let o be d(-5). Let n be t(o). Solve -3*m + 2*c = -n, 2*c + 3 = 4*m + 5*c for m.
3
Suppose n - 1 + 11 = 0. Let r = -5 - n. Suppose 2 + 7 = o. Solve r*u = -4*t, 4*u + o = -2*t - 3*t for u.
4
Let t = -38 - -66. Suppose 29 + t = -3*n. Let k = n - -24. Solve 2*f - k*o + 0*o + 14 = 0, -o + 2 = 0 for f.
-2
Suppose -23*g + 21*g = -10. Solve -5*q - 23 = 4*m, -4*m + 2 = -g*m for q.
-3
Let l(b) = -14*b**2 - 11*b - 8. Let z(i) = -9*i**2 - 7*i - 5. Let c(o) = 5*l(o) - 8*z(o). Let x be c(-2). Solve 4*q - x*q = -2*h, -4*q + 3*h = -4 for q.
4
Let q(x) = 2*x**2 + 9*x + 2. Let h be q(-4). Let t be 8/(-16)*h*8. Solve -f = -3*n + 4, 5*n + t + 8 = -4*f for n.
0
Suppose 0 = -18*b + 15*b + 9. Solve -5*a - 11 = 2*m + 6, -3*m - 3*a - b = 0 for m.
4
Let f = 78 + -37. Suppose -f = -5*s - 156. Let z = s + 23. Solve l + 3 = z, 4*j + l = -j - 23 for j.
-4
Let k be 6/15*30/1. Let l be (-2)/((7/(-4))/(-7)). Let z = l + k. Solve -q = -4*h + q + 14, z*h + 5*q = -7 for h.
2
Let x(n) = -n**3 + 5*n**2 + n. Let r be x(5). Let g = 1733 + -1729. Solve 0 = -q + r*t + 24, 0 = 4*q - g*t - 1 - 15 for q.
-1
Let a be -2 + 0 + (7 - -1)/2. Solve 4*v = 2*v - 5*z - 30, -a*v = -3*z - 2 for v.
-5
Let c = -31 + 47. Suppose 14*i + 30 = c*i. Suppose 0 = 11*s - 8*s - i. Solve -4*m - 1 = s*v, -5 = -3*m - 0*v + 2*v for m.
1
Suppose -10*j + 11*j = -1. Let b be (-2 - 0)*8/j. Suppose -b - 4 = -4*m. Solve -30 = 3*q - 3*z, -z + m = -0 for q.
-5
Suppose 2*j + 0*j = 2*s - 12, -19 = -4*s + 3*j. Solve -3*n - 6 = -3*y, 0*n + 2*n - y + s = 0 for n.
1
Suppose -2*x + x + 27 = 0. Suppose 2 = -5*q - 4*a, 8*q - 12*q - a = -5. Solve -4 = -l - 4*v - x, -q*l + 4*v = -14 for l.
-3
Let b be (-4)/(-18) + (-1120)/(-144). Suppose b = -m + 3*m. Suppose -3*y = -l - 7, -2*l = 5*y + 3*l - 45. Solve a + m = -4*u + 3*a, -y*a = 5*u + 31 for u.
-3
Let m be 3/((-18)/(-2))*-39. Let r be (34/(-4))/(3/6). Let t = m - r. Solve 2*i + 20 = -5*b - 0, -t = b - 3*i for b.
-4
Let p be (-1)/(2*6/(-1332)). Let a = p + -111. Solve a = 3*m + 9, 3*l - m = -5*m + 3 for l.
5
Let p(x) = -x**2 + 24*x + 277. Let i be p(-8). Solve 20 = t + 4*u, 5*u - 4 - i = 3*t for t.
0
Let a be (-180)/(-24) + (-10)/4. Solve 3*l + 4 = 2*f, -a*f - 2*l = l - 31 for f.
5
Let l(a) = 6*a**2 - 2*a + 1. Let s be l(-2). Let w = 45 - s. Let z(k) = -k**3 + 2*k - 1. Let f be z(1). Solve f = -q + 4*q - 4*c - w, -21 = -5*q + c for q.
4
Let m = -186 + 192. Solve -2*c - 2*y + m = c, 3*c + 6 = 2*y for c.
0
Let x = -1207 - -1212. Let s be (-6)/(-9) - 26/(-6). Solve -2*d + 9 = 3*u, -u + 3*u + x = -s*d for d.
-3
Suppose 96*i + 40 = 116*i. Solve -3*l + 4*l = -3*y - 1, i*y + 2*l + 2 = 0 for y.
0
Suppose 0 = -11*l - 7*l - 90. Let n(d) = d**3 + 6*d**2 + 4*d - 4. Let a be n(l). Solve -3*s + 4 + a = -t, -13 = -t - 3*s for t.
4
Let j = 4 - 4. Suppose j = -7*w + 2*w + 50. Let z(t) = -t**2 + 9*t + 14. Let o be z(w). Solve 3*l + 14 = -o*h, 5*l - l + 2*h + 2 = 0 for l.
2
Let b = 72 - 69. Suppose -3*l = 8*v - 4*v - 6, 3*v = -b*l + 6. Solve -4*p + 8 = v, -2*r + 4*p = 28 - 10 for r.
-5
Let n be 3 - (-1 - -4) - (-17 + 8). Solve -5*k = -4*i - k + 8, -3*i - 2*k = n for i.
-1
Suppose -12*o = -173 - 79. Solve -5*x + 35 = 5*l, -x - 2*l - o = -6*x for x.
5
Let d be (-377)/(-117) - (3 + 50/(-18)). Solve d*f + 5*q + 11 = 0, 0*f = -5*f - 5*q - 15 for f.
-2
Suppose 6 + 24 = 10*d. Let n(o) = -o**2 - 6*o - 2. Let w(j) = 2*j - 1. Let g be w(-2). Let z be n(g). Solve -3*k - d*x = -6, z*x + 24 = 4*k - k for k.
5
Suppose 7*a = 16*a - 13*a. Solve -c = -5*v + 30, -4*v - 5*c = -a*v + 5 for v.
5
Suppose -48*c - 4 = -49*c. Solve -4*s = 5*u + 13, u - 4*u + 5 = -c*s for u.
-1
Let a be -48 + 57 - (0 - -6). Solve 5*l - 6 - 9 = -h, 0 = h - 4*l + a for h.
5
Let c = 1 - -1. Let r be 16*7/(56/134). Let s = r - 264. Solve 5*v = -1 - s, 5*v = -c*j + 3 for j.
4
Let i = 474 + -472. Suppose -2*h - 2 = -8. Let c be (10/(-6) + 1)*-6. Solve -i*m + 2*o = h*m - c, -4 = -m + 2*o for m.
0
Let t be 15/(-2)*(-8)/10. Suppose t*q = q + 10. Let u(a) = -10*a + 205. Let f be u(20). Solve q*g = -c, -f*g = 3*c - 5*c for c.
0
Let k(g) = g**2 + 13*g + 18. Let t be k(-8). Let z = 27 + t. Solve -z*x + 4*j = -2, -3*j + 13 = -5*x - 4*j for x.
-2
Let l(n) = n**3 + 7*n**2 + 5*n - 2. Let m be l(-6). Suppose -16*g