.
1
Let j = 172 + -270. Let v = 108 + j. Solve 3*g - v = 8*g for g.
-2
Let u = 54 + -36. Suppose 3*k - 2*h = 10, 0*k - 5*k + u = -4*h. Let z be -1 - k - -10 - 3. Solve 3*r = 5 + z for r.
3
Let p = -208 - -208. Solve 2*h + 3*h + 15 = p for h.
-3
Let u = -2 - -8. Solve u + 0 = -2*d for d.
-3
Suppose 4*x - 17 + 85 = 0. Let g = x + 21. Solve 0 = -2*k - g + 14 for k.
5
Suppose -14 = -3*c - 2*y, -5*y + 6 = 1. Let s be c/24 + 17/6. Suppose -23 = -p + q + 3*q, -3*q - 6 = s*p. Solve p*a + 4 = 7 for a.
1
Suppose 3 = 3*w, 4*w = -5*g - 24 + 28. Solve g = -5*u + 6 + 9 for u.
3
Let j = -94 - -187. Let l be j/4 - 9/36. Suppose -3*k = 4*o - 9*o - 27, -5*k + l = -o. Solve -k*w = -6*w - 8 for w.
-4
Let b(i) = -8 + 7*i**2 - 6*i**2 + 15*i - 6. Let c be b(-16). Suppose 0 = x + 4*z - 2, 2*x + z - c = x. Solve -u = x*u for u.
0
Let l(v) = 0*v**3 + 10*v**2 - 11 + 5*v + 3*v + 3*v**3 - 2*v**3. Let x be l(-9). Let c be x - 0 - -2 - -4. Solve -p = -1 + c for p.
-3
Let y(t) = 2*t**2 + 59*t - 81. Let o be y(-31). Solve 13*n - o*n - 4 = 0 for n.
4
Let p be (-130)/4 - 1*(-3)/6. Let c(k) = -5*k**2 + 3*k. Let t be c(-3). Let r = p - t. Solve 0 = 5*n + r - 2 for n.
-4
Let c = 88 + -84. Solve -t = 8 - c for t.
-4
Let y = 90 - 82. Solve -y*k = -12*k for k.
0
Suppose -2*h = -1 - 5. Let b(a) = -a**2 + 7*a - 10. Let d be b(h). Solve 0 = d*j - 3*j + 5 for j.
5
Suppose 33*z - 44*z = 0. Solve 3*r = -z*r for r.
0
Let x(o) = o**3 + 9*o**2 - 20*o - 13. Let t be x(-11). Let m = -23 - t. Solve b = 4*b + m for b.
-4
Let m be (38/6)/((-4)/(-24)). Let i = m + -35. Solve 0*s = -i*s - 15 for s.
-5
Let b(v) = -4*v - 4. Let q be b(-3). Let c be (-55)/11*q/(-10). Solve -c = -2*m - 12 for m.
-4
Suppose 6*o = 4*o + 6. Solve 1 = k - o for k.
4
Suppose 4*q - 3*q - 26 = 2*n, 4*q - 3*n - 79 = 0. Let b be (q/20*-4)/(3/(-15)). Let v = 3 + 1. Solve -v*r + b = -0*r for r.
4
Let c = -65 + 63. Let y be (c + (-9)/(-6))/((-6)/60). Solve -y + 30 = -5*g for g.
-5
Suppose 4*p - 8 = r, -2*p - 3 = -2*r - 1. Let b be (2/r)/(22/132). Solve -b*s - 20 = s for s.
-5
Let c = -5 - -5. Suppose c = -8*t + 3*t + 105. Let o be (7/(t/12))/2. Solve -o*v + 4 + 2 = 0 for v.
3
Let s be ((-18)/(-7) - 2)*7. Suppose -x + 2*t - 4 = -2*x, -x + s*t = 2. Suppose x*o = o. Solve o = -6*z + 2*z for z.
0
Let c(j) = -2*j + 46. Let t be (-8 - -4)/((-72)/33 + 2). Let w be c(t). Solve -3*r = -w*r for r.
0
Let n = 200 - 191. Solve -n*u + 8 = -1 for u.
1
Suppose 5*x + 20*c = 25*c + 10, -x + 3*c - 6 = 0. Solve -x*p = 3 + 15 for p.
-3
Let m = 36 + -35. Suppose -i + 5 = m. Solve -i*j = -j - 3 for j.
1
Suppose 0 = -24*p - 12*p + 1152. Solve -16*t - 112 = -p for t.
-5
Let m(d) = d**2 - 18*d + 21. Suppose 3*f = 4*f - 17. Let y be m(f). Solve 0*u = u + y for u.
-4
Let h(z) = z**2 - 10*z + 12. Let x be h(10). Suppose 2*j + 8 = -x. Let c = j - -14. Solve 0 = c*k + 1 + 3 for k.
-1
Suppose b + 3 = 0, 21*b - 6 = -r + 22*b. Solve -r*j = -15 + 12 for j.
1
Let j(g) = 5*g**2 - 14*g - 31. Let p(b) = 4*b**2 - 15*b - 31. Let o(v) = 6*j(v) - 7*p(v). Let d be o(-9). Solve 10 = -d*t - 10 for t.
-5
Let x(l) = l**2 - 5*l - 8. Let s be x(7). Suppose 5*u + 4*p - 14 = 0, 5 = 4*u + 3*p - 6. Solve 0 = -u*n - 0*n - s for n.
-3
Let d(x) = 2*x**3 + 10*x**2 + 3. Let w be d(-5). Solve -s - w = -5 for s.
2
Let q = 31 + -37. Let m(i) = -i**3 - 5*i**2 + 5*i. Let d be m(q). Solve -2 = -j - d for j.
-4
Suppose 0*q = -4*q + 8. Let w be q/4*8/2. Let c = 114 + -114. Solve -l + c = w for l.
-2
Let x(c) = c + 2. Let k be x(4). Suppose 5*i = -w + 83, i + 5*w - 262 + 207 = 0. Solve -3*f = -k*f - i for f.
-5
Suppose -22*c + 26*c - v - 8 = 0, 3*v = 12. Solve c*p - 5 = 2*p for p.
5
Let a = 81 + -96. Let i(v) = 2*v + 1. Let k be i(7). Let u = k + a. Solve u = 2*r - 0*r - 6 for r.
3
Let n be 4/(-6) - 192/36. Let b be (n/9)/(6/(-9)). Suppose 0 = -14*t + 13*t + 6. Solve 0 = -a + t - b for a.
5
Let l = 765 + -747. Solve -14*c + 10 = -l for c.
2
Suppose -39*x - 114 = -309. Solve -x*h - 17 = 8 for h.
-5
Let u be (-27 + 1)*6/(-12). Let c = -19 + u. Let s(b) = b**3 + 6*b**2 - 2*b + 4. Let a be s(c). Solve -4 = 5*n + a for n.
-4
Let g = -43 - -39. Let l be g/(-26) - (-1)/(65/(-10)). Solve 5*c + 14 + 1 = l for c.
-3
Let x(l) = -l**2 - 7*l + 6. Let u be x(-4). Solve 0 = -u*y + 19*y + 1 for y.
-1
Suppose -72 = -58*c - 72. Solve c = 9*z + 25 + 20 for z.
-5
Suppose 0 = -6*h + 36*h - 60. Solve -7*l - 3*l = -h*l for l.
0
Let j = 21 - 28. Let p(n) = -n**3 - 5*n**2 + 12*n - 14. Let a be p(j). Solve 0 = -a*v + 2*v + 2 for v.
-1
Suppose 5*v - 16 = 13*v. Let t(d) = 39*d - 3. Let h be t(2). Let m be 390/h + v/10. Solve 2*r + 9 = m*r for r.
3
Suppose -48 = -14*s - 10*s. Let d be (6/2 + -3)/1. Solve d = a + s*a for a.
0
Suppose 17*f - 13 - 157 = 0. Solve f*o = 5*o + 25 for o.
5
Suppose -2*k + k - 9 = -3*m, -5*k = 2*m - 6. Suppose -n + m = 2. Solve n = -c - 4 for c.
-5
Let s be (291/21 - 5) + 2/14. Suppose 7*n - 12 = s. Solve n*x - 7*x = 0 for x.
0
Suppose 0*v = -4*v - 104. Let d = v - -31. Solve 2*r + d = -5 for r.
-5
Let c = -36 - -40. Let h = -66 + 69. Suppose -5 = -b - 0*b. Solve b*i - c = h*i for i.
2
Suppose 4*l + 5*w - 4 = 0, -3*w = 2*l - 3 + 1. Suppose -2*o = -o + l. Let z be (o - 3)*(-1 - 0). Solve -3*v + 2*v = z for v.
-4
Let s be (-22)/33 - 28/(-6). Solve -3*q = s*q + 35 for q.
-5
Let g(o) = o**3 - 9*o**2 + 35*o - 208. Let h be g(8). Solve -55*l = -57*l + h for l.
4
Let q(w) = -w**3 + 1. Let j = 16 + -14. Suppose 0 = -v + 4*v - j*o - 7, 4*v = -3*o - 19. Let u be q(v). Solve 7*t = u*t for t.
0
Suppose -5*y - s = -40, y - 8 = 40*s - 37*s. Solve 2*z + 2*z - y = 0 for z.
2
Let m(q) be the third derivative of q**4/24 - 13*q**3/6 + 4*q**2. Let c be m(15). Suppose -3*k = -k + 4*p - 16, c*k - 3*p = 2. Solve 0 = n + k - 6 for n.
2
Let c(q) = 5*q**2 - q + 1. Let v be c(-2). Let h(r) = 11*r - 287. Let u be h(24). Let x = v + u. Solve x*g + 5*g = 15 for g.
3
Suppose 0 = 2*a - 2*k - 22, 5*k = -5*a + 6*k + 39. Solve 12*p = a*p - 15 for p.
-3
Let f(x) = -x + 32. Let s be f(-7). Solve -s = 4*d - 35 for d.
-1
Let n(r) = -r**3 + 22*r**2 - 40*r + 3. Let y be n(20). Suppose 2*u + u = -3*v, 0 = -2*u - 10. Let a be 2 + 0 + (3 - v). Solve -y*b = -9 - a for b.
3
Let u be ((-84)/294)/((-1)/14). Solve -s = u*s + 15 for s.
-3
Suppose 5*f + 2*q - 234 = 0, 0*f + 3*f + 3*q = 144. Solve f*g - 20 = 50*g for g.
-5
Let b be 2 + (1/1 - -2). Let i = -5 + b. Let n = -15 + 17. Solve i = -4*x + n*x for x.
0
Suppose -60 = 242*g - 252*g. Solve -3*m + g = -m for m.
3
Suppose 2*y = w - 6*w, 0*w = -3*w. Let z(o) = -o**3 - 5*o**2 - o - 4. Let a be z(-5). Solve b - a + y = 0 for b.
1
Let g(d) = 4*d**3 - 3*d**2 + 4*d - 4. Suppose -7*u + 3*u + 8 = 0. Let m be g(u). Let b be m/(-9)*(-3)/4. Solve b*j + 3*j = 0 for j.
0
Let f be (-66)/(-99) + (-1 - (-26)/6). Solve -f*u - 13 = 7 for u.
-5
Suppose -2*q - 77 + 245 = 0. Let d = q + -80. Solve -d*g + 9*g = 0 for g.
0
Let l(w) = w**2 - 7*w - 22. Let q be l(14). Solve 0 = -73*f + q*f for f.
0
Suppose -4*q + 70 = -2*z, -5*q + 15*z + 87 = 13*z. Solve 16*v - q = 33*v for v.
-1
Let x be 3/12 + (-55)/(-4). Let f = x - 8. Let y be 30/36 + 1/f. Solve -3*o + 5 = -y for o.
2
Let d = 360 - 357. Solve d - 5 = 2*a for a.
-1
Suppose -4*z = -1 - 7. Suppose 0 = -3*j + z*j + 4. Let n(m) = m - 1. Let w be n(1). Solve w = 2*l + j + 6 for l.
-5
Let m(w) be the first derivative of -3*w**2/2 + 26*w + 7. Let y be m(6). Solve j + j + y = 0 for j.
-4
Let x(h) = -h**2 - 2*h. Let o be x(-3). Let p(s) = -s - 1. Let f(c) = -11*c - 4. Let q(t) = f(t) - 2*p(t). Let d be q(o). Solve -4*r = -9*r - d for r.
-5
Suppose -79 - 31 = -5*w. Let l be (-4)/w - (-24)/11. Solve 2*k = 4*k - l for k.
1
Let b be (26 + 34)/((-8)/(-2)). Let t(k) = 2 - 2*k - 3*k**3 + 2*k**3 + 5*k**2 - k**2. Let o be t(3). Solve 0*g = -o*g + b for g.
3
Let p(v) = 41*v + 455. Let s be p(-11). Solve 15 = -s*r + 11 for r.
-1
Let y be 0 + 3 + (2 - -3). Suppose -j + 8 = 4*p - 0*p, 0 = -4*p + y. Suppose b - 2*b + 4 = j. Solve -f + 6 = -b*f for f.
-2
Let j(y) = -2 - 6*y - 2*y + 6*y + 0*y**2 + y**2. Let g be j(4). Solve -20 = -g*p + p for p.
4
Let x = 51 - 40. Suppose -x = -5*o - 1. Solve t - 5 = o*t for t.
-5
Let a(k) = -k**3 - 27*k**2 - 26*k + 17. Let i be a(-26). Solve -8 - i = 5*f for f.
-5
Let t be ((-32)/(-10))/(2/5). Suppose -h = h - t. Let v = h - 4. Solve -2*r + 0 + 2 = v for r.