- 4 = k, 5*x = -0*k + 5*k for x.
2
Suppose -24 = -620*m + 616*m. Suppose 0 = -3*a - 8 - 1. Let d(u) = u**3 + 4*u**2 - 2. Let i be d(a). Solve y - 2*t = -m*t + i, t = -5*y - 22 for y.
-5
Let a = -3795 + 3797. Solve -g + n + a = 0, -19*g - 22 = -20*g + 5*n for g.
-3
Let r be -8 + (-46 - -25) + 35. Solve 5*m + 45 = -11*y + r*y, -3 = m for y.
-6
Let z be -11*352/(-242) - 20/4. Solve z = 15*o - 18*o - 4*c, 5 = 3*o - 4*c for o.
-1
Suppose 28*k + 31396 = 31900. Solve -k*v - 3 = -19*v - u, 4*v = -u + 18 for v.
5
Let i = -4123 + 4135. Let z(w) = w**2 + 6*w + 10. Let n be z(-4). Solve -5*v = -3*f - 20, -3*v + f = n*f - i for v.
4
Let p = -8 - -8. Suppose p = -24*f + 23*f + 3. Solve 0 = -3*u + 10 - 1, -14 = -5*j - f*u for j.
1
Let w = 119 - 149. Let i be 2*(4/6)/((-20)/w). Solve a + 2*v - 9 = 0, -4*a - 13 = -a - i*v for a.
-1
Let x(a) = 5*a + 17. Let i be x(-3). Suppose 0*k + 5*d = -2*k + 5, 2 = 2*k + i*d. Solve k = z + 1, -5*p - 4 = -2*p - 2*z for p.
-2
Let b = -5 + 11. Let p(w) = 49 + 13*w + 154 - 21 - 8*w + 22. Let t be p(-40). Solve 0 = d - 4*h - 18, -b = -t*d + 5*h + 11 for d.
-2
Let r(y) = 5*y**2 + 66*y - 814. Let t be r(-21). Let w be 3*2*6/6. Solve -t*x + s = -30, w*x - 40 = 3*x + 5*s for x.
5
Let h = 55 - 53. Suppose 0 = -7*v + 4*v + 2*k + 7, 5*v - h*k = 13. Solve -v*p - 2*t - 5 = 0, 0 = 3*t - 0*t + 12 for p.
1
Let d = -30361 + 30429. Solve -5*j + 3*s - d = -89, 0 = -3*s - 6 for j.
3
Let t be 1*(-1 + (3 - 1)). Suppose 13*g - 24*g = 2860. Let f = g + 260. Solve -2*n - 3*u - t = 0, f*u - 13 = 2*n - u for n.
-5
Suppose 0*l + 3834 = -9*l. Let y = -423 - l. Solve 0 = -y*j + 5*u - 10, -2*u - 10 = -7*j + 3*j for j.
5
Suppose 33 = 32*k - 63. Solve -3*p = -k*t, -t + 15 = 2*p - 0*t for p.
5
Suppose 76*j + 88 = 291 + 177. Solve -q + 2*p + 8 = 0, j*q - 10 = 2*p - 2 for q.
0
Suppose 0 = -5*c + 35 + 15. Suppose 0 = 4*k - c + 34. Let l be ((-9)/k)/((-3)/(-10)). Solve -2*h - 1 = -q, -7 = l*h - 2 for q.
-1
Let m(y) = -744*y - 738. Let z be m(-1). Solve 5 = 3*f - 4*k, -7*f + 7 = -z*f - 4*k for f.
-1
Suppose -117*g + 2647 = -1916. Solve 3*k - g*c + 35*c - 7 = 0, k - c - 1 = 0 for k.
-3
Suppose -s + 3*o = 0, 11*o - 10*o = 3. Solve -n - 20 = 4*b, -s*b + 7*b = -2*n for b.
-4
Let p = -73 - -78. Let s = 199 + -193. Solve -2*n + 4*f = -s, -6*f = -p*f + 1 for n.
1
Let x = -23173 + 23176. Solve -x*a - 4*d = 27, 4*d + 3 = -3*a + 8*d for a.
-5
Let c = -23 - -25. Suppose -c*a - 8*y - 102 = -3*y, 5*y - 290 = 5*a. Let b be ((-8)/(-6))/(a/(-126)). Solve -2 = -p - b*i, -5*p + 7 = 4*i - 3 for p.
2
Let l(y) = y**3 + 10*y**2 + 8*y - 7. Let a be l(-9). Let o = -70 + 45. Let r = o - -29. Solve 0 = a*m + u - 6, 5*m - 6 = r*u - 17 for m.
1
Suppose -5*t + 2*i + 15 = 0, -2*t - 6*i = -7*i - 5. Solve -3*x = 3*j - t*x - 7, 4*j + 4*x + 24 = 0 for j.
-1
Let z be (92/9 - 10)/((-11)/(-297)). Solve z*c + 11 = 2*c + w, 3*c + 2*w + 22 = 0 for c.
-4
Suppose 41 = -4*j - 5*a, 3*j + 3*a + 54 = 24. Let z be (325/(-75))/(3/j). Solve -4*g + 4*w - 8 = 4, 5*g = 4*w - z for g.
-1
Let s = -15 + 26. Suppose -2*j + 3*i = -s - 0, 2*j - 15 = -i. Suppose j*q = -4*q + 132. Solve -4*d = -q, -5*p - 2*d + 4 - 8 = 0 for p.
-2
Let c = 2034 + -2020. Solve -3*t = -3*q + 6, -5*t - 20 = 3*q + c for q.
-3
Suppose -2*w - 105 = -3*g, -3*w - 2*w + 15 = 0. Let c be g - 5 - (0 - -2). Let v be -6 + 2 + c/(7 - 2). Solve -4*s - l + 16 = 0, 3*l = s + v*s - 12 for s.
4
Let w = 575 + -332. Let c = -240 + w. Solve 2*i = -c*y - 22, -5*y - 18 = 2 for i.
-5
Suppose 9*n - 6*n = 9. Let y(l) = -112*l - 10188. Let c be y(-91). Solve n + 13 = 4*i - a, 4*i + c*a = -4 for i.
3
Let s(q) = -4*q - 27. Let i be s(-3). Let c be ((-10)/i)/(1 + (-28)/36). Solve k = -c - 2, 2*k = -4*w - 14 for w.
-1
Let g(l) = -8*l - 86. Let v be g(-11). Let z(q) = 20*q + 225. Let p be z(-11). Solve -p*f = -v*j + 6, -2*f + 3*j = 7*j - 12 for f.
0
Suppose 3*y - 1316*g = -1319*g + 15, -24 = -4*y - 5*g. Solve -5*v = -6*c + 9*c, 3*v = -2*c + y for v.
-3
Suppose 1259 = -5*m + 5*h + 1279, 2*m + 5*h = 57. Solve m*l - 60 = -4*f, 2*f + 0 = 3*l - 4 for f.
4
Suppose -z + 8 - 4 = 0. Let x be z - (6 + (-23 - -4)). Solve 0 = 3*l - 7*f + 6*f - 14, -4*f = l + x for l.
3
Suppose 17*a - a = 1459 - 755. Solve 38 = 5*x - 3*j, x + a*j = 39*j - 26 for x.
4
Suppose -7*d = -2*a - 8*d + 248, 4*a - 3*d - 496 = 0. Let y be (-2)/(-4) + a/8. Let r = -10 + 12. Solve -s + 3*t = 7*t + y, 3*s + 6 = r*t for s.
-4
Suppose -5*n = -3*a - n + 47, -4*n - 21 = -a. Suppose -4*b + 3*b + a = 0. Let w(t) = 10*t - 61. Let z be w(7). Solve 5*r = -d - b, 2*d + 5*r + 25 = z for d.
-3
Let g(z) = -3*z - 32. Let o be (-58)/6 + 9/(54/4). Let k be g(o). Let d be (4/(-1) - k)*5. Solve -4*v - 2 = 2*p, 3*v - d*p = -0 + 5 for v.
0
Let g(o) = -9*o - 225. Let s be g(-25). Suppose 8*b - 2*f - 76 = 4*b, 4*b - f - 78 = s. Solve 2*j - 2*m - 2*m = -30, -j - 5*m + b = 0 for j.
-5
Let h = -6 - -10. Suppose 5*p - 3*x + 1 = 0, 3*p = -2*x - 2 + 9. Suppose 2*d = 2*q - 5 + 3, -p = -q - h*d. Solve 5 = -4*c - 3*f - q, -f = 2 for c.
0
Let x(p) = -p**2 - 7*p - 4. Suppose 4*g + 24 = -0. Let l be x(g). Suppose l*s + 4*s - 12 = 0. Solve k = 5*n - 10, -3*k + 2*k = 3*n + s for n.
1
Suppose 148 = -36*a + 962 - 58. Solve 0 = 18*f - a*f - 2*x - 12, 0 = -3*f + 2*x for f.
-2
Let d be 27/1026*0*(-2)/(-12). Solve d = 4*i - 5*r + 5, 4*i - 5*i = 4*r + 17 for i.
-5
Let c(s) = s**3 - 36*s**2 + 223*s + 10. Let l be c(8). Solve -7*g + 6*g - 13 = -3*o, l*g - 14 = -2*o for g.
2
Suppose -4*d - 25 = -k, -k - 5*d + 19 - 3 = 0. Let p be -2*(k/(-6) + 1). Let v = -624 - -629. Solve 2*s + 6 = -4*r, -p = v*s + 2*r + 2 for s.
-1
Suppose 24 = 64*k - 56*k. Suppose 9 = 3*o - 3*t, -4*o + 2*t = -5*o + k. Solve o*z - 8 = -4*v, -11 = 2*z - 4*z + 3*v for z.
4
Let z be (49/(-4) + 3/12)*-20. Let w = z + -235. Solve 3*o + f - 7 = 3*f, w*o - 3*f = 12 for o.
3
Let b = -495 - -1041. Let k = b - 535. Solve -7*l - 24 = -2*h - k*l, 3*h - 16 = -2*l for h.
2
Let z = 381 + -373. Let c be 183/(-244) + 14/z. Solve -2*o = 8, -f - 11 - c = 3*o for f.
0
Suppose -5*m = -2*m - 24. Let z be -4 + 105/20 + 6/m. Solve -2*p - z*u = 2, p - 2*p - 13 = 5*u for p.
2
Let t be 4*45/12 + -5. Let b be ((-6)/27 + t/(-36))*-10. Let z = 75 - 70. Solve b*f - 2*k + 5*k + 20 = 0, -z*f - 5*k - 30 = 0 for f.
-1
Suppose 1737*b - 1786*b = -490. Solve 0 = -4*x - 2*r - 2, -6*x - 3*r + 27 = -b*x for x.
-3
Let r(h) = h**2 + 10*h - 9. Suppose 14*a = -4*a - 198. Let l be r(a). Solve 0 = 3*b + 4*s - 4, -4*b = -s + 3*s - l for b.
0
Let q = 16 - 7. Let x be 722/133 + 3/(-7). Suppose -x*v - 32 = -3*j, -3*j + 4*v + 12 = -16. Solve 0*y = j*p + y - 11, 0 = p - y - q for p.
4
Suppose -3*u - 50 = -2*g - 62, -3 = -3*u - g. Solve 0 = 2*a - 4*z - 0*z + 30, u*z = 10 for a.
-5
Suppose 4*w = -5*g + 3, g + 2034*w = 2036*w + 9. Solve -39*s = -38*s + 1, -g*s + 1 = d for d.
4
Let z = 3833 + -3829. Solve 9 = 5*b + 3*s - 4*s, 3*b + z*s = -13 for b.
1
Let c(h) = -5*h**2 - 238*h + 104. Let s be c(-48). Solve -16*b - s = 4*t - 12*b, -t - 4*b - 11 = 0 for t.
1
Suppose -2*l + 21 = 5*j + 7, -4*j = -2*l + 14. Solve j = 12*f - 7*f - 5*s - 5, 0 = -2*f - 5*s + 2 for f.
1
Suppose -6*u = -20*u + 13*u + 2. Solve s - h = -2*h + 8, 5*s + u*h - 31 = 0 for s.
5
Let c(o) = -159*o + 803. Let i be c(5). Solve -h = -z - i + 6, -5*h + 19 = 4*z for z.
1
Suppose 45*l = 38*l - 42. Let a be (3 + (-18)/8)/(l/(-40)). Solve 5*f = -3*z, -a*f + 20 = z - 10*f for z.
5
Suppose -61*j = -67*j + 30. Suppose -2*p - 3*p - 9 = -3*x, -j*x = 10. Let v be 1 + 0/p - (-2 + 1). Solve -3*s = v*f + 3*f - 3, f + 4 = 4*s for s.
1
Let f(r) = -2*r**2 - 11*r + 486. Let o be f(13). Solve a - 3 = -o*l, -5*a + 7*l - 14 = 3*l for a.
-2
Let d(n) = n**2 - 4*n - 5. Suppose 0 = -2*r + 17 + 21. Let i = r - 20. Let j be d(i). Solve -3*t - 9 = -o - j*o, -o - t - 7 = 0 for o.
-3
Suppose -3*h + 2*h - 20 = 0. Let c be -2*h/(-24)*-3. Let k be 812/42 + -10 - (-4)/6. Solve a = -5*l - 3*a - 20, c*l + 2*a = -k for l.
0
Suppose 0 = -2*f + 4*l + 2, 0 = -2*f + 13*l - 8*l - 1. Suppose -21 = -f*u + 56. Solve 4*r = -3*y + u, -2 = -2*y - 0*y for r.
2
Suppose 5*z + 64 = a, 3*a + 1181*z - 1186*z = 102. Let l = 4 + -2. Solve 3*w + l*c - a = 0, -5*c = 3*w - 2 - 23 for w.
5
Let p(n) = n**2 - 23*n - 1053. Let m be p(-23). Solve -m*z = 2*s - 19, 2*z - 2*s - 1 = 15 for z.
5
Let m(c) = -9*c**2 - 12*c**2 - 8*c**2 + 28*c**2 + 9. 