x - 5 = -g for g.
3
Suppose 3*t - f - 10 = 0, 7 + 3 = 5*t - 3*f. Suppose w + q = 8, 2336*w - 2333*w + 2*q = 20. Solve -4*y + 5 = y - t*i, -10 = -w*y + i for y.
3
Let l(i) = -i**2 + 29*i + 132. Let g be l(-4). Let d be ((-30)/(-9))/((-2)/(-3) - g). Solve -d*f = 2*t - 2*f + 8, 0 = 5*t - 3*f - 22 for t.
2
Suppose 5*a - 3*q - 35 = 0, 30 = 2*a + 3*a - 2*q. Suppose 138 = -a*n + 138. Solve n = -5*d + 3*l + 13, 5*d - 51 + 14 = -3*l for d.
5
Let x be 96/128 + 97/4. Let y be (0/(x/(-5)))/4. Solve y = -3*m + 2*o - 8, -m + o = -0*o + 2 for m.
-4
Suppose -5*t = -b - 79, 16*t - 37 = 13*t - 2*b. Solve -3*i = 3*k - t, i = 3*k + k + 5 for k.
0
Suppose t = -t + 42. Let p = t + -11. Let a(z) = 87535*z - 350125. Let l be a(4). Solve 0 = 3*h + 5*b - p, 0 = -h + b - 5*b + l for h.
-5
Suppose -4*l - 4 = -68. Let q be 595/77 + 1440/(-528). Solve 0 = 4*h - 0*k - 2*k + l, -4*k + 20 = -q*h for h.
-4
Suppose 2*n + 5*s + 18 = n, -5*n + 4*s = -26. Suppose 0*x = n*x + 5*d + 16, -5*x - 4*d - 6 = 0. Solve 0 = -p + 2, 2*r - 2*p - 2 = x*p for r.
5
Let b = -2189 + 2207. Solve -27*h - 3*d = -32*h - b, 3*h = -2*d - 7 for h.
-3
Let w = -75 - -87. Suppose 0 = -4*u + 5*c + 63, -4*u = 2*c - w - 30. Solve 3*a + u + 7 = j, j + 11 = -3*a for a.
-5
Let u = -5399 - -5403. Solve -4*y + 5*l + 1 = 34, 2*l - u = -3*y for y.
-2
Let k(b) = b**3 + 11*b**2 + 19*b + 11. Let z be k(-9). Suppose -28 = z*n - 38. Let j be (-1)/n - 208/(-40). Solve -5*s = 5*m, 4*m - 4 + j = -3*s for m.
-1
Let g = 539 - 467. Suppose g = 45*s - 18. Solve -1 = -s*x - 2*o + 17, -x - 4*o = -21 for x.
5
Let d(z) = -z**2 - 8*z + 2. Let i be d(-6). Let c(l) = -5 + 21 - l**2 - 6 + 7*l + i. Let x be c(9). Solve 2*o = x*p - p, 5*o + p = 0 for o.
0
Suppose 12*s - 270 = -6*s. Suppose -4*q - s + 23 = 0. Solve -12 = 3*g, 4*n - 8 = q*n + 3*g for n.
-2
Let g be (-86)/(-30) - 120/(-900). Solve -3*k = 7*v - g*v + 14, -3*v - 15 = 0 for k.
2
Let p = 15 + -13. Let c(s) = 1 + 3*s**2 - 3*s - p*s + 0*s + 7*s. Let f be c(-1). Solve -b = -5*b - 5*m - 2, -4*m = f*b - 2 for b.
-3
Suppose 92 = -3*z + 569. Let o = z - 157. Solve -3*w + 13 = 2*w + o*s, -s = 1 for w.
3
Let q(z) = -12*z - 32. Let b be q(-3). Suppose b = -6*j + 4. Solve 2*d + 6 = -j*d - 2*m, 2*d - m = -3 for d.
-2
Let x be (-1*1/2)/((-113)/3164). Let r = -36 + 36. Solve r*y - 3*y - x = 4*h, 5*y - 5*h = 0 for y.
-2
Suppose 0 = -2*j - 0 + 182. Suppose 3*d + j = 43. Let a be 0/(40/d*8/10). Solve -3*p + 5*v + 17 = a, -4*p + 4 = -5*v - 12 for p.
-1
Let g be 18/8*475/(-855)*(-12)/5. Solve 18*h - g*o + 12 = 15*h, -h - 4*o + 1 = 0 for h.
-3
Let m(n) = -9*n - 151. Let v be m(-17). Let k be ((-3)/v)/(3*9/(-54)). Suppose 4*r = -r + 20. Solve -5*y = -k*f + 6, -2*y - r*f = -3*y - 8 for y.
0
Let x = 13528 - 13498. Solve 33*k = -4*n + x*k - 5, -n + 2*k + 18 = 0 for n.
4
Let v(y) = 314*y + 5992. Let p be v(-19). Solve x - 6*x = -4*o + 47, 3*o + p = -5*x for x.
-7
Suppose -59*d = -54*d + 30. Let b be -2 + d/(-4) + 14/4. Solve -b*v + 16 = 5*a, 5*a + 6 - 24 = -4*v for v.
2
Suppose -32*c - 5 = -f - 37*c, -2 = 3*f - 2*c. Solve 4*w + g = -11, f = w - 5*g - 1 + 30 for w.
-4
Suppose -8*s + 411 = -1373. Let j = s + -220. Solve 2*a + 11 = j*m - 6, 5*a + 29 = 3*m for a.
-4
Suppose 4*z - 105 + 5 = -2*t, 5*z - 126 = -2*t. Solve 0 = 2*p + 5*w - 42 + z, -2*p + 5*w - 24 = 0 for p.
-2
Suppose -4329 = -7*m + 20*m. Let r be (-5587)/m + 4/18. Solve 3*a - 2*l + 5*l = -12, 2*a = -5*l - r for a.
-1
Suppose -36*p = -13*p + 13*p - 108. Let k be (2 + (0 - -2))*1. Solve -l = -p*j - k, -3*l + 4*l - j = 0 for l.
-2
Let s(n) = n**2 - n - 16. Let i be s(-4). Suppose 6*v - i*w - 5 = 3*v, -2*v = 3*w - 9. Solve v*q + 1 = 3*t + 4*q, -8 = 2*t + 5*q for t.
1
Let z be ((-5)/3 + 1)/((-4)/12). Suppose s = -s + z. Let l be 4/((-4)/(-8)*2*s). Solve 5*q = 15, 2*w = -3*q + l*q + 7 for w.
5
Let c be (-10 + (-16)/2)*(12/(-9) + 0). Solve -2*o + 5*u - 3 - 4 = 0, 3*o + 4*u = c for o.
4
Let s(v) = 159*v - 1270. Let p be s(8). Solve -f - 4*i + 10 = 4*f, -4*f + 8 = p*i for f.
2
Suppose -5*a = 49 - 69. Suppose 2*p = -k, a*k + 0*p = p + 9. Solve 2*d - 14 = -4*g, -k*d + 10 = 5*g - 7*d for g.
3
Suppose 0 = 5*q - 5*f + 305, 9*f = -q + 4*f - 73. Let h = q - -65. Solve -3*t + 3*c = 7*c + 14, 0 = h*t - 2*c for t.
-2
Suppose 4*v + 0*u - 2*u - 28 = 0, v - 3*u = 12. Suppose -h - 88 = 3*h. Let l = -14 - h. Solve -4*w - x - 6 - l = 0, -x = 2*w + v for w.
-4
Let j(k) be the third derivative of k**5/60 - 3*k**4/8 + 3*k**3/2 - k**2. Let g = -1004 - -1012. Let p be j(g). Solve 0 = -t - z + p, 0*t - 3*z = -t + 13 for t.
4
Let h be 99/77 + (-312)/(-182). Solve 2 = 4*d + h*r, -2*d - 10*r + 12*r + 8 = 0 for d.
2
Let z(d) = -2*d**3 + 9*d**2 - d - 9. Let w be z(4). Let n = -70 + 10. Let r be (312/n)/(2/(-5)). Solve -4*i + w*i + g - 5 = 0, 0 = 3*i - g + r for i.
-4
Let a be (3/(-9) - -5)*(1 - -17). Suppose -9*i = -10*i - a. Let f = -80 - i. Solve -1 = -f*g + 5*w, 1 = -5*g + 3*w + 12 for g.
4
Let g be 1*-3 + (-25)/(-15)*-3. Let r be g/20 - (-885)/25. Suppose 3*a = 10*a - r. Solve 3*f + a*k = 6 + 3, 0 = k for f.
3
Let f be (-9 + 3)/((-23)/1541). Let c = f + -387. Solve 3*t - 20 = -4*z + 5*t, 0 = -z + 3*t + c for z.
3
Suppose 0 = 39*g - 43*g + 428. Let c = g - 106. Solve -2*t - 3*h = c, -2*t + 13 = -7*t - 4*h for t.
-5
Suppose -5*x - 3*y + 187 = 0, 2*x - 31 - 46 = y. Suppose 21*c - x = 67. Solve 0*a - 2*d = 4*a, -c*d - 20 = 0 for a.
2
Let s(c) = 67*c + 71*c - 148*c + 14. Let g be s(1). Solve k - 5 = g*t, 3*k + 5*t + 4 = 2*k for k.
1
Let q(y) = -y**3 - 9*y**2 - 8*y + 9. Let f be q(-8). Let p be ((11 + f)/(-5))/(-1). Solve -2*g - p = 4*m, 3*g = -3*m - 0*m for m.
-2
Suppose 0 = -13*f - 878 - 1137. Let m be (-2232)/f + 7/(-5). Solve -5*k - 29 = 3*y - 0*y, -k = 3*y + m for y.
-3
Let r(l) = l**3 + 17*l**2 + 29*l + 6. Let z be r(-14). Let x = z - 182. Solve 4*j + j + x = 4*c, 0 = j - 2*c for j.
-2
Let k = 1722 + -1709. Solve 0 = 2*j + 4*r + 22, 5*j - r = 7*j + k for j.
-5
Suppose 7*b - b = -18. Let w be -25*b*2/10. Let h(u) = -u + 28. Let x be h(w). Solve -z = 5*d + x, -6 = d + 2*d for z.
-3
Suppose -5*z + z - 20 = 0. Let p = 7 - z. Let y be (1 + p/(-4))/(-1). Solve -w + 5*l = -6*w + 15, -6 = y*w - 4*l for w.
1
Let z(f) = 13*f + 16. Let k be z(-2). Let d(y) = y**2 + 7*y - 27. Let q be d(k). Solve 0 = -5*m + 5*j - 5, 0 = 2*m - 2*j - q*j - 4 for m.
-3
Suppose 0 = 2*h + 13 - 43. Suppose 0 = -4*x - h - 21. Let m be (6/x)/((-8)/36). Solve m*z = 4*s - 4 - 2, -z - 4 = -2*s for s.
3
Let h(u) = -104*u - 829. Let i be h(-8). Solve -1 = -i*n - 5*v - 22, -5*n = 4*v + 22 for n.
-2
Suppose -5*a + 222 = -913. Let l = -222 + a. Suppose -3*u - u = -8. Solve u*w - 5*j + 16 = 41, 5*w + l*j = 10 for w.
5
Let t = -75 + 44. Let q(s) = -s**3 - 20*s**2 - 16*s + 15. Let l be q(-19). Let i = t - l. Solve -3*r = -4*w - i, 0 = -5*w - 0*w - 25 for r.
-3
Let u be 1000/24 + (-1)/(-3). Let t = u + -37. Suppose 2 = t*a - 8. Solve -a*s = -s + 2*z - 2, z = -2*s - 5 for s.
-4
Let u be (-7)/((-84)/8)*(-40 - -43). Solve 0 = n + 3*f + 7, -5*f = n + 9 + u for n.
-1
Let j be ((-11)/((-33)/(-16)))/(2/(-21)). Suppose -57 + j = -v. Suppose 0 = f - 1 - v. Solve 0*i + f*i + 5*d = 20, 5*i - 17 = 4*d for i.
5
Let u(b) = -b**2 - 4*b**2 + 10*b**2 - 3*b**2 + 2 + 5*b. Let q be u(-3). Solve -l - 31 = -q*r - 11, 4*l = r - 23 for r.
3
Let z(l) = 3*l**3 - l**2 + 20*l - 17. Let x be z(1). Solve -61*g + x*n = -66*g - 10, 0 = -5*g - 2*n - 16 for g.
-4
Let y = -6889 - -6895. Solve y*p - 4*r = 9*p - 18, p - 22 = -4*r for p.
-2
Let f(g) = -g**3 + 4*g**2 + 7*g - 10. Let p be f(5). Suppose 10 = 5*t, 4*n + p*t - t = 18. Solve 0 = -n*d + 4*o + 14, -13 = d - 6*d + 3*o for d.
2
Let t = -4 + 3. Let k be t/6 - (-57)/18. Let q(s) = s**2 - 134*s - 1427. Let p be q(-10). Solve -o - 3*n + 0 + 2 = 0, k*o + 2*n - p = 0 for o.
5
Let w(v) = v**2 - 5*v + 26. Let j be w(0). Suppose -19*m + j = 7. Solve -3*g + 2*h - 34 = 7*h, 2*h + m = 3*g for g.
-3
Let u be 0/(-7*8/(-56)). Solve -3*w - 13 = -w + 3*m, w + 3*m + 8 = u for w.
-5
Let a = -431 - -502. Solve 5*r - 5*d = 0, -3*d + 77 - a = -r for r.
3
Suppose -2*i + 4*i - 6 = 0. Suppose 3*j - 2*j = i. Suppose -5*z = -2*g - 2*g - 33, z = -3*g - 1. Solve -j*a = -2*o - o - 6, z*a = o + 10 for o.
0
Let j(o) = -2*o - 4. Let g be j(-3). Suppose g*b = 5*h - 151, -11*h + 20 = -10*h + 3*b. Solve -2*l + 8*f - h = 3*f, -f + 9 = 