 + t + 22 = 4*t for j.
-5
Let q(o) = -o + 23. Let w be q(23). Suppose 20 = 5*i, 4*v - 3*i - 14 - 6 = w. Solve -4*l + 3*s + v + 3 = 0, 3*l + s = -8 for l.
-1
Let h = -1298 + 1327. Solve -5*s + 2*g - h = -4, 4*s - g + 20 = 0 for s.
-5
Suppose 3*y - y + 12 = 0. Let c = -6 - y. Solve 11 + 5 = -4*w, c = -3*g + 3*w + 9 for g.
-1
Suppose -3*n - 4 = -4*n. Suppose -n = -8*m + 12. Solve -m*k = -4*p - 22, -5*k = -3*k + 5*p + 23 for k.
1
Let h(r) = r**3 - 2*r**2 - 2*r - 2. Let j(f) = -f**2 + 5*f + 3. Let d be j(5). Let o be h(d). Solve -4*z = x + 1, -4*z + 10 = -x + o for z.
1
Let y = -1267 + 1267. Solve 5*h - 5*n = 45, -h + y*h - 11 = 4*n for h.
5
Let s be (-4)/(-18) - 25/(-9). Suppose 0 = 7*i - 2*i + 10. Let b be i - (-3 + 3) - -18. Solve s*u = -12, -4*y + 3*u - u = -b for y.
2
Suppose 62*g = 65*g - 30. Solve v = 0, 3*v = -2*o - v + g for o.
5
Let a = -114 + 132. Suppose a = 11*k - 4. Solve -w + 7 = j, -w + 23 = k*w + 4*j for w.
5
Suppose -5*c + 75 = -2*c. Let b = c + -21. Solve b*t + 1 = -3*q - 2*q, 4*q = 4*t + 28 for t.
-4
Let a = -19 + 30. Suppose 5*w + g - 22 = 5*g, -3*g = -w + a. Solve 4 = -3*f + w*k, -7*f - 3*k + 6 = -3*f for f.
0
Suppose -305 = -5*f + 4*n, -2*f - 2*n = -0*n - 122. Suppose 4*v = -4*k + 52, -4*v + f = 5*k - 10*k. Solve 2*d + 17 = -3*l - 2*l, v = d - 5*l for d.
-1
Let y = -2294 - -2297. Solve -2*c + 14 = -j + 3, 0 = -3*j + y*c - 24 for j.
-5
Suppose -2*c = -53*g + 55*g - 60, -6 = -3*c. Solve -2*n - n = -5*y + 8, 5*y - g = -2*n for y.
4
Let t = 22 - 20. Let f = 32 - 30. Solve f*k + 2 = 4*m, -t*k - 1 = -3*m - 0 for k.
1
Let y(p) = p**2 + p + 2. Let r be y(0). Let a(c) = -2*c + 3. Let w be a(r). Let u(v) = -5*v + 1. Let d be u(w). Solve 4*z + d + 0 = 2*o, 5*z = -5*o + 30 for z.
1
Let p(b) = -b**3 + b + 3. Let n be p(0). Suppose -4*w + 35 = -69. Let q = 26 - w. Solve -n*k + 9 = -5*u, u + q*u - 4*k = -12 for u.
0
Let k(r) = 8*r**2 + 2*r - 3. Let i be k(1). Let m be -1 - 7/(i/(-2)). Solve -x - 9 = 3*t, -3*x + m = -0*t + 2*t for x.
3
Let l(p) = -p**2 - 8*p - 10. Let f be l(-8). Let j = -6 - f. Solve -2*h + j*x = -16, -2*h - 2*x - 10 = -4*h for h.
2
Suppose 11*k = -2*k + 26. Solve -5*n + 28 = -5*u - k, -2*n + 3*u + 13 = 0 for n.
5
Suppose 0 = -2*l + l + 16. Suppose -8*g + l = -4*g. Suppose g = 3*o - 5. Solve -3*j = -4*y + 11, o = 3*y - 2*j - 4 for y.
-1
Let n(l) = l + 5. Let u be n(4). Suppose -4*b + 3 = -u. Suppose 4 + 2 = b*y. Solve -v = 2*r - 3*v + y, -5*v = -r - 21 for r.
4
Let g(t) = 2*t**2 - 5*t**2 + t + t**3 + 2*t**2 - 3*t. Let u be g(0). Solve -h - 2*o + 6 = u, -30 + 6 = 2*h - 5*o for h.
-2
Suppose 0 = 2*q + 3*q + 120. Let f = q - -25. Solve -2*n + 1 = v - f, -5*v = n - 19 for n.
-1
Let v be ((-4)/(-10))/(25/(-2250)*-12). Solve -5*d + 4 = -3*z + v, 4*z - 12 = 0 for d.
2
Let g be (-48)/(-16)*1/3. Let w be ((0 - g)*(-3 - -3))/(-2). Solve 0*m + o = 4*m + 11, w = 5*m + o + 7 for m.
-2
Let o(r) = -6*r - 63. Let a be o(8). Let c = -105 - a. Solve s - 2*k = -k - 4, 3*k = -3*s + c for s.
-1
Suppose 0 = -5*z - 15, 3*z + 61 = -g - 0*g. Let f be 4/(-16) + g/(-16). Solve y = -3*y + 5*p + f, 2*y = -4*p - 18 for y.
-3
Let q(k) = k + 3. Let f be q(4). Let t(y) = 8*y. Let l be t(0). Suppose l = -8*a + 4*a + 20. Solve 0*s - f = -a*s + 2*x, 5*s - x - 11 = 0 for s.
3
Suppose 22 = 5*g + 52. Let k be 40/g*18/(-24). Suppose 0 = k*w + 2*f - 16, 3*w - 3*f + 2 - 20 = 0. Solve -i - w = 3*j - 0*j, 2*j = 2*i - 8 for i.
2
Let i be -1 - 64/(-12) - 3/9. Let r(s) = s**3 - 5*s**2 + 7*s - 9. Let j be r(i). Solve 0 = 3*w - 3*b - 12, 0*b - 18 = -3*w - j*b for w.
5
Let o be 12/10*(-4 + 52/8). Solve 6*m + b = 2*m - 9, 3*m + o = -2*b for m.
-3
Suppose -2*g = 3*g - 20. Let m be (-1)/((3 - g)*1). Let c be (-1)/(-1) + 5 - m. Solve -6*o + 2*o - 18 = 3*b, c*o = -5*b - 25 for o.
-3
Let c(l) = -2*l + 14. Let t be c(5). Suppose -3*n + 54 = -6*n. Let x be (-32)/(-18) + (-4)/n. Solve -t*j = -x*w + w + 21, -3*j = -5*w + 20 for w.
1
Suppose 5*k = 107 + 43. Let y = -28 + k. Solve -5*r = 2*f + 2 + 2, 0 = -y*r + f - 7 for r.
-2
Let x be 5*-1*(-6)/(-10). Let u(j) = j**2 + 2*j - 2. Let v be u(x). Let m(f) = -2*f - 7. Let w be m(-6). Solve 1 = 3*r + 2*k - v, -k - 25 = -w*r for r.
4
Let r(v) = v**3 - 5*v**2 + 7*v - 10. Let o be r(5). Suppose 2*i = -o + 33. Let k(x) = 3*x. Let h be k(3). Solve 2*s + h + 2 = 3*z, -4*s + i*z - 12 = 0 for s.
2
Let w(u) = 42*u + 134. Let v be w(-3). Solve -2*t = -4*m + 20, -3*t + 26 = -v*t + 4*m for t.
-2
Suppose -7*t + 27 = -29. Solve 0 = -3*x - 2*d + t, -5 = -4*x - 2*d + 3 for x.
0
Let u = -92 - -188. Let b = u + -90. Solve 0 = -j - o - 9, 2*o = -3*j - 29 + b for j.
-5
Let i = 5 - 2. Suppose u = -3*u + 28. Suppose 0 = u*n - 8*n + 34. Solve i*p + 5*b = n, 4*b - 8 = -3*p + 21 for p.
3
Suppose 2*z + 4*s + 12 = 0, 5*z - 11 = 5*s + 4. Solve -2*u = 2*h - 2, z = 4*h - 3*u - u - 28 for h.
4
Let l(a) = -a**3 + 5*a**2 + 16*a - 9. Suppose 6*p = p + 35. Let g be l(p). Solve 2*k - 10 - 5 = -3*o, 3*o + g*k = 15 for o.
5
Let l(h) = h**3 - 3*h + 2. Let n be l(2). Let y be 16 + -3 + n + -4. Solve 6*r - r = -3*s + 12, -4*s + 3*r - y = 0 for s.
-1
Suppose 0 = -8*q + 5*q + 18. Suppose 13 - 37 = q*b. Let c be 10 + (b - -3) - 3. Solve -5*p + 11 = 3*l, c*p - 4*l = 3*p - 5 for p.
1
Suppose -900 = -272*l + 227*l. Solve -o = -p - 2*p - l, p + o = 0 for p.
-5
Suppose 5*d - 918 = -133. Let n = d - 155. Solve y + 18 = 4*j + 1, -5*j - n*y + 31 = 0 for j.
5
Suppose -40 = 4*y - 9*y. Let k be (80/(-15))/(-4)*(-1 - 2). Let q = -2 - k. Solve 2*f = 6, -u + y = q*f + 2*f for u.
-4
Suppose 0 = -2*h - 3*h - 5*m - 5, -m + 8 = 4*h. Let o be (-30)/(-2 - h) + 1. Solve -2*c - 6 = 0, 3 = -4*r - 4*c + o for r.
4
Let y(s) = 5 + 0*s**2 + 6*s**2 - s - s**3 + 4. Let j be y(6). Solve 3*m + j*g = 6 - 30, 2*m - 2*g + 4 = 0 for m.
-5
Let u be 6 + 4 + 4 + -14 + 5. Let r be 1/((-10)/6 - -2). Solve 0 = -3*b + r*x - 3, -3*x - 2*x = 4*b - u for b.
0
Let o be ((-12)/((-12)/3) - -11)*1. Suppose p + 6 = -3*t - 6, o = 3*p - t. Solve 6*w + 9 = 5*w - p*s, s + 2 = 0 for w.
-3
Let q = -820 - -820. Solve 0*r - 2*t + 1 = -r, r - 4*t - 1 = q for r.
-3
Let h = 435 - 435. Solve 0 = f + 2*f + 4*j - 4, -f - 4*j - 4 = h for f.
4
Let i(p) = 9*p - 57. Let q be i(9). Solve 0 = 4*l + 16, -5*y - q = 4*l - 3*l for y.
-4
Suppose -5*b + 8 = 4*p, 3*p - 3*b - 11 = -5. Solve -12 = -p*m + a, 4*m + 5*a = 1 - 5 for m.
4
Let y(m) = -11 - 2*m + 10 + 3. Let c be y(-1). Solve -d = c*t - 6 + 5, -3*t = d - 2 for t.
-1
Suppose 52*k - 49*k = 15. Suppose -5*s - u - 25 = -10*s, 0 = s - 2*u - k. Solve -25 = -2*i - s*y, i + 0*y + 3*y - 14 = 0 for i.
5
Let n(u) = 62*u - 305. Let g be n(5). Solve 8 + 12 = 5*q + y, 0 = -g*q + 3*y + 20 for q.
4
Let l(w) = -w**3 - 60*w**2 + 59*w - 119. Let m be l(-61). Let h = 3 + -1. Solve h*t = -2*x + m*t + 8, -3*x - 5*t = 1 for x.
3
Let k = -6 - -11. Suppose -2*g - 2*g - 46 = -k*h, 0 = -4*h + g + 39. Let d be 58/h + 1/5. Solve -3*n + 4*y = -28 + 8, -d = n + 5*y for n.
4
Suppose 0 = -4*x + 32 - 8. Suppose 2*c = x, -k + 6*k + 3*c - 34 = 0. Solve -k*n - 3*j + 21 = j, -3*j = -2*n - 10 for n.
1
Suppose -29 = 2*w + 25. Let r = -22 - w. Solve r*y = -2*p, 5*y - 2*p + 5 = -15 for y.
-2
Let y(q) = q**3 + 7*q**2 + 4*q - 10. Let u be y(-6). Suppose u*x - x = -0*x. Solve -2 = -r + s, -2*s = -x*r - 3*r + 6 for r.
2
Let o be -3 + (12/(-1))/(-4). Let f be o*(-3 + 1 + 1). Solve -2*t - 6 = g, 3*g = -f*g + 3*t for g.
-2
Let b be 28/(-1)*(-8)/28. Suppose 0 = -3*g + b*g - 25. Solve 4*s - g*s + 5*o = -1, -3*s + 4*o = -3 for s.
1
Let v be (4/((-3)/3))/(-2). Solve -9 = v*c + c - 5*o, 0 = -2*c + 4*o - 8 for c.
2
Let j(o) = -o**2 + 16*o - 23. Let p(s) = -s - 8. Let k be p(-21). Let r be j(k). Solve d = 3*f + r, 18 = d - 4*f - 2 for d.
4
Suppose j = 4*c - c + 3, -2*c - 9 = -3*j. Suppose c = -m - 8 + 10. Solve 0 = y - 2*t - 5, m*y - 3*t - 8 = 0 for y.
1
Let a(m) = 3*m**2 - 1. Let o be a(-1). Suppose 63*z = 210*z. Let t = -2 - -7. Solve -o*f + u = -z*u - 5, f - t*u = -11 for f.
4
Let a be (-8 + 4)*(15/6)/(-5). Suppose -4*j + 43 = -q, a*j = -4*q + 9*q + 35. Solve j*k - 5*k - t = -2, 5*t = -15 for k.
-1
Suppose -20 = -5*p - 4*h + 7, 0 = -5*p + 4*h + 3. Solve 0 = 2*f + p*u + 9, -2*u - 2*u = 5*f + 19 for f.
-3
Let m(k) = 13*k + 1. Let i be m(1). Suppose -l - 60 = 4*l. Let d = -8 - l. Solve 0 = t - 6*t - 5*n + 5, -d*n - i = -2*t for t.
3
Suppose -5*u = c 