, -4*a = -t - x for a.
1
Let l = 80 - 88. Let q be (-5)/((l/(-24))/((-1)/3)). Solve 3*y - 4*n = 20, -q*n - 4 - 21 = 5*y for y.
0
Let v(j) = j**2 + 1. Let w(f) = -7*f**2 - 8*f - 21. Let u(n) = 6*v(n) + w(n). Let a be u(-5). Solve -6 = -0*t + 3*t - 2*b, -t + 4*b + 8 = a for t.
-4
Let r be (11/(44/24))/1. Let u be 54/15 + r/15. Solve 5 = 2*b - u*j - 5, -b = 3*j for b.
3
Suppose 0 = 15*h - 55 - 5. Solve 6 = 2*x + h, 0 = -o + 2*x - 5 for o.
-3
Suppose -c + 1 = 0, 3*j - 3*c = -0*c - 3. Solve j*w + 2*w = 2*g - 4, -3*g - 14 = w for g.
-3
Let p = 247 + -242. Solve 2*k + 3 + 1 = z, p*z = k + 11 for k.
-1
Let t = 840 + -827. Solve -3*w - 4*l = -13, 0 = 6*w - w - 2*l + t for w.
-1
Let l be (3/(-2))/((-8)/(576/27)). Solve -4*u + v = 3*v - 8, 0 = -2*u + l*v - 6 for u.
1
Let l(c) = -2*c - 13. Let r be l(-6). Let q be 56/(-6) - r/3. Let y = 11 + q. Solve -2*s - s = y*h - 5, 0 = 3*s - 15 for h.
-5
Suppose -6*u + 4*u + 150 = 0. Suppose -2*t + 7 = 2*a + 47, 4*a - t = -u. Let z = -11 - a. Solve 5*d + 5*s = -20, -d - z = -4*d + 2*s for d.
0
Let p be (12/8)/((-4)/(-8))*1. Solve 2*m = -t + 1, 6*t = 2*t - p*m - 6 for t.
-3
Let i = -460 + 466. Solve 2*l + 6 = -n, -2*n - i - 10 = 5*l for l.
-4
Let i(d) = 2*d**2 + 5*d + 10. Let c be i(-4). Let b = 32 - c. Solve a - b = 2*q + 5*a, -a = 0 for q.
-5
Let a(d) = -10*d**3 + 2*d**2 + 2. Let g be a(2). Let f = g - -73. Solve -10 = 4*l - 2*i, 3 = 3*l - f*i + 15 for l.
-1
Let a = 34 - 29. Let o be (-2 + 0/1)/((-2)/a). Solve -r = -w - 10 + 2, -o*w - 20 = -r for r.
5
Let d(b) = -5*b + 18. Let p be d(3). Solve p*w = 7*w + 4*n - 8, -w = 2*n - 1 for w.
3
Let m(k) = 4 - k - 3 + 8 + 0*k. Let y be m(7). Solve i - 4*p = -3, -p + 9 = -3*i + y*p for i.
-3
Let z be 110/(-33)*((-117)/15 + 6). Solve 5*v = -2*c - z - 11, 4*v - 5*c = -40 for v.
-5
Let x be 11/4 - (-2)/8. Let i(r) = -54*r**3 - 3*r + 2. Let m be i(1). Let y = 93 + m. Solve -4*h + x*q = y - 9, h = 5*q - 20 for h.
-5
Suppose 8*o - 840 = -22*o. Solve 3*y + m = -m - 7, 4*y - 2*m = -o for y.
-5
Let d be 6 - 1/6*18. Solve -3*x + 2 = -s + 15, 5*x + d*s + 17 = 0 for x.
-4
Let i be (-147)/(-51) + (-6)/51*-1. Solve i*p = -4*c - 12, -p = c - 6*c + 4 for p.
-4
Let i = -917 - -953. Let d be (-2*17)/(-1 + 0). Suppose -i - d = -2*y. Solve 5*v - 26 - 4 = -o, 4*o = -3*v + y for v.
5
Let a = 192 + -189. Solve c - d = -0*c + 1, -a*c + d - 3 = 0 for c.
-2
Let i(v) = -v**2 + 6*v + 7. Let x be i(7). Suppose -4 = l, x*l - l - 16 = -3*y. Suppose y*d = 3*d. Solve d = 2*g + 3*n + 7, -6*n + 2*n = 3*g + 11 for g.
-5
Suppose 2*i = -7*i + 54. Suppose -21*u - i = -24*u. Solve 2*r - u*k - 2 = 4, -3*k = 0 for r.
3
Let f be 11 + (-13 - 5) + 10. Suppose -5*u + 7 = -4*u. Suppose -u = -j - f. Solve 2*d + 20 = -5*q, 2*d + j*q + 16 = d for d.
0
Let d be (4/(-6))/((-2)/15). Suppose 12*f = 8*f + 116. Suppose 5*n + f = i, 3*i + 7 = i - 3*n. Solve -x - 1 = -2*x, 0 = -i*h + d*x - 1 for h.
1
Let z(c) = -3*c + 13. Let o be z(3). Solve -5 - 10 = o*x - 3*b, 3*x + 13 = 4*b for x.
-3
Let v = -26 + 28. Suppose -v*p - 4*h + 16 = 0, p + 16 = -0*p + 4*h. Solve 2*b + 2 = -2*n, -2*n - 5 = b - p for b.
3
Suppose 9*n + 21 = 13*n + 5*s, 4*s = 4*n - 12. Solve -4*m - 3*z = 3, -n = -2*m + 7*z - 3*z for m.
0
Let i be 2/5 - (-72)/45. Solve 0 = -u - 8*d + 4*d + i, 4 = 4*d for u.
-2
Let v(f) = 24*f - 73. Let y(n) = -12*n + 37. Let t(g) = 4*v(g) + 7*y(g). Let i be t(3). Solve 2*u - 22 = 7*x - i*x, -x = -u + 6 for u.
1
Suppose -3*l = -39 + 171. Let k = l + 46. Solve -3*a - 7 + k = 2*y, a - 2*y - 1 = 0 for a.
-1
Let j be (-400)/70 + (-4)/14. Let q be (2/j)/(-4 + (-35)/(-9)). Solve 3*g = 2*s + 13, -5*g - q*s + 24 = -4 for g.
5
Let a(r) = 2*r - 28. Let n be a(18). Let y(v) = v + 4. Let z be y(-2). Solve z*m - 22 = 4*s, 4*m - n = 4 for s.
-4
Suppose -2*g = -7*g + 25. Suppose 0 = -5*p - 5*u - 135, 5*p + 108 = g*u - u. Let m = p - -35. Solve 5*i + 3*b = -m, -i = -3*b - 2*b + 19 for i.
-4
Let y = -195 - -198. Solve 10 = -y*k - 3*n - 14, 0 = -4*k + 3*n - 4 for k.
-4
Let h(u) = u + 3. Let d(v) = -1. Let r(q) = 15*d(q) + 5*h(q). Let w be r(4). Let b = w - -8. Solve -5*l = -m - b + 6, -2*m - 5*l = -16 for m.
-2
Let n(s) = 6*s**2 - s + 1. Let p be n(1). Suppose 122 + p = 4*o. Solve -4*m = 5*y + o, 5*m + 2 + 33 = -5*y for y.
-4
Let u = -48 - -50. Let h be (-36)/8*u/(-3). Solve -5 = h*b - 2*n + 8, 4*b = -n + 1 for b.
-1
Suppose -827*j + 818*j = -18. Solve 3*t = -j*i - 13, 11 = -4*i + 5*t - 6*t for i.
-2
Suppose -8*v = -6*v - 6. Suppose -61 = -v*l - 46. Solve -2 = -l*u - 3*s + s, s + 4 = 0 for u.
2
Let m be (-10)/2 + 2 + 22. Suppose -43 = -6*y - m. Suppose -14 = 3*v - 2*c - 4, 3*v + 4*c - 20 = 0. Solve 4*s - 4*z + y = v, 3*s + z = s - 14 for s.
-5
Let n be 0/2*(0 - 5/(-10)). Solve n = 4*q - 2*q - 3*b - 13, 4*q - 15 = -5*b for q.
5
Let u(f) = 2*f**2 + 18*f - 69. Let h be u(-12). Solve 2*y + 0*y - 5*p = -h, 3*p = 2*y + 5 for y.
-4
Suppose -18*k + 22*k + 2*v = 6, -2*k + 3*v = -23. Solve -5*b = -z + 21, -3 = k*z - 4*b - 7 for z.
-4
Let p(n) = 3*n - 18. Let k(y) = y**3 - 5*y**2 + 3*y - 9. Let j be k(5). Let t be p(j). Solve 4*s = 3*b + 26, 2*s + 5*b = -t*b for s.
5
Suppose 30 = 2*g - 5*v, 0*g - 4*g = -4*v - 36. Suppose 4 = h, -3*r + 4*h = -4*r + 22. Solve 0 = s - p + 3, -r*p + p = g*s + 5 for s.
-2
Suppose -3*a + c - 9 = 0, 5*a - 5*c = -0*c - 15. Let u be 9/3 - a/(3*-1). Solve d = -z, -5*z + u*d = 11 - 39 for z.
4
Suppose -52*t = -62*t + 140. Solve 2*p = 3*o - 8, 3*o - t = -3*p + 4 for p.
2
Let x = -422 + 427. Solve 3*s - 7*z = -3*z - 8, 0 = -4*s - x*z - 21 for s.
-4
Suppose 2*d - 2*v - 112 - 140 = 0, d - 2*v - 123 = 0. Suppose -d*i + 133*i - 40 = 0. Solve 4 = 2*b + s + i, 2*b + 4 = -2*s for b.
-4
Let b(v) = -2*v + 4. Let l(o) = 3*o - 7. Let q(t) = 5*b(t) + 3*l(t). Let j be 2*(140/(-8))/7. Let p be q(j). Solve 0 = 3*r - 9, p*y - 5*r + 28 = 5 for y.
-2
Let n(l) = l - 2. Let s be n(4). Solve 2*b - 3*t - 6 = 0, 8*b + s*t + 4 = 5*b for b.
0
Suppose -5*q = -0*j + 2*j - 42, 5*q = 4*j - 84. Let n be 3/(1 + -4)*j. Let o be ((-77)/n)/(1/6). Solve -2*t + 5*g = o, -11 - 1 = -3*g for t.
-1
Let m be (-115)/(-4) - (-7)/28. Let p = m - 29. Solve p = -3*l + 5*a - 31, 3*a - a = -4*l + 2 for l.
-2
Let i(c) = 54*c**3 - c**2 + c + 1. Let s be i(-1). Let w be (-10)/s + (-229)/(-11). Solve -d + 3*q = -2*d - 3, 5*d - w = 3*q for d.
3
Suppose -5*p - a - a = -2, -4*p - a = -4. Suppose -1 + 1 = -6*w. Solve p*o + w*o = 2*d, o = -3*d + 20 for d.
5
Let t be 1*(-15)/(0 - 3) - -3. Solve -3*z - 8 = -2*y, 4*y + t = 2*y - z for y.
-2
Suppose 0 = -3*l + 19 - 4. Solve 3*t + 12 = 5*v, -2*t - 2*v + l = -v for t.
1
Suppose -4*u = -6*u - 66. Let o be (-6)/(-33) - 60/u. Suppose -t = n - 6, 4*n - 4*t = t - 3. Solve 5*l - 4*k = 1 + o, -n*l + 3*k = 0 for l.
3
Suppose -26*f + 37 = -41. Solve 5*y + 3*z = -2, 0 = -f*y + 2*y + 2*z + 10 for y.
2
Let k = 264 + -249. Solve 2*s + 10 + 4 = -4*j, k = -5*j for s.
-1
Suppose -1 - 11 = -2*r. Suppose r*q = 4*q - 2. Let w be q/3*0/(-2). Solve 0 = -x - o + 2 - w, -2*x + 4 = o for x.
2
Let d(j) = -j - 2. Let u be d(-4). Suppose -5*t + 0 - 15 = 0. Let f be (u/5)/(t/(-15)). Solve 0 = -5*w - 3*g - 22, 3*g = f*w + 4*g + 9 for w.
-5
Let a be (660/45)/((-2)/(-6)). Suppose 7*x = -4*x + a. Solve -2*c = x*u - 16, 0*c + 4*u = 2*c for c.
4
Suppose 0 = 23*v - 28 - 18. Solve 0 = -3*n + a + 8, 2*a = 4*n - v*a - 24 for n.
1
Suppose 0 = -0*g - 3*g. Let p be 2/(-2)*g + 0. Let z(k) = k**2 - 4*k - 40. Let h be z(9). Solve 0*o = h*o + t, p = -o - 3*t for o.
0
Suppose 7*i + 20 = 2*i. Let j = 6 + i. Let v = 3839 - 3833. Solve 4*g - 3*o = 1, j*o - v*o + 8 = -3*g for g.
4
Let p = 1967 - 1963. Solve -p*j + 1 = -3, 2*u = -5*j - 1 for u.
-3
Let i = -347 + 363. Solve 0*c - c + i = 5*t, -t = -3*c - 16 for c.
-4
Let q be (-2 - 0) + (3 - -1). Suppose 3*t - q = 7. Suppose 0 = 5*o - 20, -4*o + 29 - 10 = t*f. Solve 0*h + h = -f, 4 = x - 2*h for x.
2
Let m = 62 - 38. Let g be m*(-3 - (-21)/6). Let t = -10 + g. Solve -4*d - 9 = -4*i + 11, 5*i = -t*d - 10 for i.
0
Let s(q) = -5*q + 88. Let g be s(17). Solve -g*r = -3*h + 6, 5*h - 3 = 4*h for r.
1
Let j(u) = -u + 4. Let t be j(-2). Suppose -4*y - 8 = -t*y. Suppose 12 = 2*c + c, -3*h - y*c + 82 = 0. Solve 0 = 2*b + 4*s - h, 2*b - 18 = -5*s + 8 for b.
3
Suppose -353*x = -344*x. Solve r - 2 = 0, x = 4*u - 2*r - 4 + 8 for u.
0
Suppose 0 = 6*o + 29*o - 175. Solve 