x = -t - 3 for x.
-1
Suppose 60 = 5*v + 7*v. Solve v = -5*z, -o - 3*o - 15 = -z for o.
-4
Suppose 12*b - 16*b + 4*v - 8 = 0, 0 = 2*b - v - 4. Solve j + q = 1, 4*j + b = 3*q + 3 for j.
0
Suppose 2*g = 5*x, -4*x = -g - 10 + 7. Solve -5*i - 7*b = -x*b, 32 = 4*i - 4*b for i.
4
Let k be ((-3)/2)/((-4)/24). Let g(v) = 0*v**2 - 5 - 5*v**2 + v**2 + 3*v**2 - 6*v. Let q be g(-1). Solve a - 5*b = 32 - k, 2*b + 10 = q for a.
-2
Let j(l) = 28 - 39 + l**2 - 7 + 2*l. Let g be j(-6). Solve -z + g = -6*a + 3*a, 4*z + 12 = 0 for a.
-3
Let f be (-4)/11 - ((-2338)/77 - -26). Solve 2*l + 2 = 2*c, -12 = 102*l - 98*l + f*c for l.
-2
Let c = 3527 - 3519. Solve 2*a = c, 16*a = -i + 18*a - 5 for i.
3
Let q = -110 - -96. Let d = 16 + q. Suppose 4*y - 3*l - 7 = 6, -d*y = 5*l - 13. Solve -3*r - 16 = 4*b, 9*r + 4*b = y*r - 16 for r.
0
Let n(h) = 36*h - 171. Let d be n(6). Solve -4*p = -12*s + 17*s + d, 15 = -3*s for p.
-5
Let s(q) = -q**3 + 12*q**2 + 14*q - 3. Let p be s(13). Suppose -1 + p = -3*w. Let v be 2 + -4 + 9 + w. Solve g - 4*h + h = 5, 4*h + v = 0 for g.
2
Let i be -10 + 26/(78/45). Solve 4*m = 5*z - 2 + 13, i*m + 4*z = 24 for m.
4
Let o = 4 - 1. Let w = 6 + -4. Suppose -4*q + 3*m - o = -13, -8 = -3*q + w*m. Solve 4*k + q*i = 5*k + 13, 0 = k - i + 7 for k.
-5
Let z be -3 + (-1 - 4*-2). Let n be 4 + (-9 - -9) + 20. Solve -j - 3*j = -2*f + n, -5*j - 4 = z*f for f.
4
Suppose -m + 3*f - 72 + 211 = 0, 0 = m + 3*f - 133. Solve -z = 4*b + 14, 138 - m = 3*z + b for z.
2
Let u be 5 + (-1)/(1/4). Let c be ((-2)/u)/((-14)/(-21)). Let g be c + 5*(-7)/(-1). Solve -g = -4*o - 3*m - 6, 3*o + 4*m - 23 = 0 for o.
5
Let c be ((-2)/5)/(3/(-45)). Let k = 309 - 201. Suppose -c*g + 15*g - k = 0. Solve j = a - 0*a, 4*a + g = j for a.
-4
Suppose 4*z - 4 = 8*z. Let d be 910/315 + (-30)/(-27) + z. Solve -4*r = 4*v - 20, r - 14 = -d*v - r for v.
4
Suppose 2*i = 3*d + 39 + 37, 0 = d + 5*i - 3. Let n(y) = -2*y**2 - 49*y - 105. Let w be n(d). Solve 5*c = w*b + 35, -b - 5 = 2*b + 5*c for b.
-5
Suppose 4*j + 2*a - 82 = 0, 0 = -j - 2*a + 26 - 1. Solve -5*l - j = 3*t, 3*t + 9 - 2 = l for t.
-3
Let z = 1 - -2. Let h be 4 + (-64)/((-24)/(-3)). Let t be ((-3)/((-54)/4))/(h/(-36)). Solve z*a - 7 = t*n, 0 = -3*n - 0*n + 4*a - 10 for n.
-2
Let n be (-156)/(-48)*(-10 + 14). Solve 3*l - k + 0 + n = 0, l + 3*k = -11 for l.
-5
Let j be (-16)/(-3) - (-5)/(-15). Suppose -j*k + 25 = -5*c, -5*c - 1 = -5*k - 8*c. Suppose 9 = k*l - l. Solve -3*v - 4*m - 19 = 0, 5*v + l = 3*v + m for v.
-5
Suppose 5*w + 901 = 3*j + 856, -3*w - 30 = -2*j. Solve -5*c + 2*q + 26 = q, -2*c = -5*q - j for c.
5
Let c(k) be the second derivative of k**3/3 - 9*k**2 - 16*k. Let g be c(10). Let z be (-240)/(-9) - 1 - g/(-6). Solve -2*m = -4*j + 6, -5*j - m = 8 - z for j.
3
Suppose -1501 = 8*b - 413. Let y = b + 148. Suppose -r = 2*r - y. Solve 4*x = 2*h + 16, -r*x + 3*x + 3 = -h for h.
2
Let w(o) = 170*o - 678. Let q be w(4). Solve 2*r - 9 = -y, q*y = -44 + 42 for r.
5
Suppose -189*k + 127*k - 264*k = -1304. Let y(b) = -b**3 + 3*b**2 + 5*b. Let l be y(4). Solve -o = h + 7, l*o = 6*h - k*h - 10 for o.
-4
Suppose 8*n = -9 + 25. Solve 14 = -n*g + 12, 3*h - 5*g = 8 for h.
1
Let x(v) = -12*v + 30. Let g be x(-8). Suppose g = 19*o - o. Solve -2*m + 6 = -4*m, y - o = 4*m for y.
-5
Let n(o) = -o - 3. Let z be n(5). Suppose -3*u - 1 = -2*v, -2*u + 29 = 3*v - u. Let w = v - z. Solve -18 = 4*j - 5*r, 0 = -j - 3*j + 4*r - w for j.
-2
Let v = 39 - 38. Suppose -8*m + 25 - v = 0. Solve m*j = -0*j + 4*h - 19, 3*h = 3 for j.
-5
Suppose -5*a - 5 = -35. Suppose a*j = 4*j + 6. Suppose 16 = 2*u - 2*y, -8*y = 2*u + u + 9. Solve -u*g = -2*s + 23, 5*g - s + 21 + j = 0 for g.
-5
Let b(j) = j**2 - 24*j - 251. Let t be b(-8). Solve 3*r + 11 - 2 = -3*a, -7 = a + t*r for a.
-2
Suppose -567*c = -561*c. Suppose -3*k - 8 = -8*k + 3*n, -3*k + 3*n = c. Solve 3 = -2*t + 5*f + 7, 0 = 2*t - 2*f - k for t.
2
Suppose 9*w - 84 + 150 = 102. Solve 4*r - 9*r + 3*h = -8, 5*r - 4 = w*h for r.
4
Let j be (0 - 8/(-5))/(((-238)/(-255))/7). Solve -4*p + j = y - 5*y, -y = -3*p + 5 for y.
-2
Suppose 25*h - 783 = -708. Solve p = -h*b + 20, 0*b - 4*b + 40 = 4*p for p.
5
Let i be 6/(1 - (-2)/8) - 1640/2050. Solve c = -3*c - 4*m - i, 4*m = -2*c for c.
-2
Let g = 243 - 239. Let r(d) = -2*d**3 + 9*d**2 - 3*d - 4. Let q be r(g). Solve q = -5*y - 2*a + 11, a - 5 + 3 = y for y.
1
Let a(v) = 2*v**2 + 17*v + 12. Let b be a(-8). Suppose 3 = 8*w - 9*w + d, -5*w - 3*d + 25 = 0. Solve b*i = -w*m - 4, i - 2*i + 3*m = 8 for i.
-2
Suppose -2096 = -219*r + 970. Solve -r + 11 = 3*k - 3*a, -4 = -2*k + 4*a for k.
-4
Let c = 849 + -775. Suppose -c*r + 176 = -66*r. Solve z = -3*z - 3*u - r, -2*u = -5*z - 16 for z.
-4
Let a = -50 + 54. Suppose m - 14 = -21. Let i(h) = -h**3 - 7*h**2 + 3*h + 30. Let u be i(m). Solve -a*g - 5*d - u + 5 = 0, -3*d = 4*g + 4 for g.
-1
Suppose 3*z = -d - 92 + 10, -z + 3*d - 24 = 0. Let q = z - -32. Let c(t) = -t**2 + 10*t - 9. Let k be c(7). Solve -2*l + 5*u - k = 0, -l - u - q = -3*u for l.
-1
Let x(i) = -3*i + 1. Let z be x(1). Let u = z - -2. Let a = 58134 + -58131. Solve 3*h = 5*w + 2, -2*w + 0*h + a*h + 1 = u for w.
-1
Let u = -79 + 18. Let w = u - -131. Let s = 76 - w. Solve 7 = c + 3*c - 5*j, c = -3*j + s for c.
3
Let o = -64 - -69. Suppose 0 = f - b + 1 - 4, -11 = -4*f + o*b. Solve 5*k = -f*g - 5, 2*k = -k - g - 3 for k.
-1
Suppose 18 = 14*v - 10. Let q(g) = 4*g**2 - 22*g + 30. Let m be q(v). Solve m*b + 15 = -5*z, 0 = -2*z + 3*b - 0*b - 25 for z.
-5
Let q(s) = 11*s**2 + 1132*s - 101. Let v be q(-103). Solve v = 5*a - 8, -5*z + 5*a - 10 = 0 for z.
0
Let j(k) = -76*k - 240. Let x be j(-3). Let m be (-10)/(-4)*x/(-15). Solve -o - m*l - 27 = 3*l, 3*o + 3*l + 21 = 0 for o.
-2
Suppose -2*f - 32*f + 28 = -40. Solve -2*k = f*o - 8, o + 2*o - k = 12 for o.
4
Let l(d) = -3*d**2 - 468*d + 31. Let u be l(-156). Solve 2*s + 5*f = 5, -5*s + 28*f = u*f - 22 for s.
5
Suppose -4*h + 1577 = -6*f + f, -2*h - 620 = 2*f. Let s = -310 - f. Solve 3*u - 1 = s*y - 4, 3*y = -4*u + 3 for y.
1
Let l = 43 + -13. Let s be ((-1)/1*1)/((-6)/l). Solve 3*n - 3 = 0, 5*t + s = -3*n - 7 for t.
-3
Let m = -13606 - -13650. Solve 5*z + 9 = -5*c + m, -2 = -2*z + c for z.
3
Suppose -65*r + 319 = -227*r + 3235. Solve -3*q + 2*b - r = 0, 6*q - 11 = 8*q - b for q.
-4
Let t(u) = -7*u**3 + 43*u**2 - u - 27. Let a be t(6). Solve -2*d + 3 = -a*p, 21*d - 26*d - 4 = 4*p for d.
0
Let p(d) = -d**3 + 13*d**2 + 6. Let u be p(13). Let c be ((-4)/6)/((-2)/u). Solve -3*r + c = -4*f - 1, 4*f - 1 = -r for r.
1
Let w(t) = 2*t**3 + 63*t - 116. Let a be w(2). Solve -2*k + 4*o - 9*o - a = 0, -k + 17 = -5*o for k.
-3
Let c be -3 + (3 - -1 - 1). Suppose 5 = -5*v, c*v - 2*v - 10 = -i. Suppose 6 = 7*p - i. Solve 4 = -3*j + p*g, 0 = -j - 2*j + 3*g - 9 for j.
2
Let c = 27 - 10. Let a = 24 - c. Let u(n) = 3*n - 16. Let g be u(a). Solve -2 = f - 1, g*f = x - 8 for x.
3
Let l be 48/21 - 4/14. Suppose -2*t = l*y + 6, y - 3*t = -4*y + 1. Let v be -1 + 4 + (-3 + y - -1). Solve 4*a + 0*o + 5*o + 32 = v, -5*a = -5*o - 5 for a.
-3
Suppose -20 + 20 = 23*a. Solve i - 10 = 5*i - 2*k, 3*i - 3*k + 12 = a for i.
-1
Let p(v) = -7 + 6 + 15 - v**2 + 7*v - 14*v. Let r be p(-12). Let a = -46 - r. Solve -16 = -4*h, -3*i + a*h = -h + 16 for i.
-4
Let o = 140 - 96. Let g = 46 - o. Suppose 4*r = 4*d - 12, -g*r = -6*d + 3*d + 8. Solve i = d*i - 4*q - 18, 4*q + 16 = 0 for i.
2
Let j(r) = r - 18. Let n(o) = -o**2 + 3*o + 26. Let p be n(-6). Let b be (p + 14)*(-6)/4. Let t be j(b). Solve -4*m + t*u = 19, 3*m - 2*u + u + 8 = 0 for m.
-1
Suppose 1766*n - 1767*n - 3*o - 14 = 0, 0 = -n - o - 2. Solve 5*f - 30 = -5*l, -f - 5*l = -n - 18 for f.
2
Let d(v) = -22*v - 10. Let m be d(-1). Let n = 33 + -20. Suppose 2*c - n + 3 = 0. Solve -4*q - 2*l - m = 0, q + 8 + c = 2*l for q.
-5
Suppose -6 = 2*f, -13*q - 8 = -17*q - 4*f. Suppose q*n - 4*k = -1, -3 - 1 = -k. Solve 4*o = -0*o - j + 6, n*j - 10 = -4*o for o.
1
Let w = -8 - -3. Let h(l) = 2*l**2 + 7*l - 11. Let i be h(w). Solve -i*s - 2*j = -3*j + 16, 14 = -2*s - j for s.
-5
Let z = 0 + 32. Suppose 5*f + 2 = z. Suppose -4*q = -5*i - 25, -2*i + 9 = q - f*i. Solve -4*s - 1 = u, -2*u + 0*u - 5 = q*s for u.
-5
Let j(p) = p**3 + 12*p**2 - 2*p - 4. Let w be j(-12). Suppose 32*y + w = 30*y. Let x be y/(-2) + 8 + -13. Solve -2*v + x*v - 