*t + 5. Suppose -2*i - 12 = 4*p, i = 2*p + 8 - t. Suppose 5*r + i*r = 10. Solve 0 = r*w - 6*w for w.
0
Suppose 3*g + 12 = 5*y + 74, -5*y - 86 = -4*g. Suppose -g = -10*s + 2*s. Solve -s*r = -r for r.
0
Let n be 1/2*(-7 + -31). Let k = -63 - -44. Let q = n - k. Solve -2*z - 6 = -q for z.
-3
Suppose 4*d - 28 = -3*d. Suppose -g + 9 - d = 0. Solve g*t = t - 20 for t.
-5
Suppose 6*w - w - 50 = 0. Suppose 0 = -d + 3*d - w. Suppose d*v - 3*q + 5 - 30 = 0, 15 = 3*v - 5*q. Solve -v*i + 0 = -15 for i.
3
Suppose 5*z + 6 = q + 4*z, q + 6 = -2*z. Suppose 2*c + 2*a - 18 = 0, 2*c - 5*a = 1 + 3. Suppose 0 = 5*y - c - 8. Solve -q*r - r + y = 0 for r.
1
Let i be (0 - 4 - -2) + 12. Suppose i*d - 7 = 9*d. Solve 0 = -3*h + 2 + d for h.
3
Let g(c) = -c**2 - 7*c + 8. Let b be g(-8). Suppose -4*r + 7 + 13 = b. Let k = 0 - -4. Solve r*a - k = 6 for a.
2
Suppose -13 - 2 = -3*i. Suppose 0 = 5*o + 5*y - 60, 1 = 3*y - i. Solve -7*c + 3 = -o*c for c.
-1
Let g(p) = p + 5. Suppose -15*n = -17*n + 6. Let u be g(n). Solve -k + u = 3*k for k.
2
Let t(h) = -3*h + 27. Let d be t(8). Let f = -15 + 23. Solve d*p = p - f for p.
-4
Let b = -184 + 186. Solve 0 = -b*g + 8*g + 12 for g.
-2
Suppose -n + 261 = 2*n. Let h = -76 + n. Solve -h = -5*i + 9 for i.
4
Let f(v) = 2*v - 7*v + 6*v + v. Let g be f(0). Let s(i) = -i**2 + 2*i + 4. Let k be s(g). Solve -k*m + m + 3 = 0 for m.
1
Let b be ((-3 - -4) + 1)*-2. Let s(r) = -3*r**2 + 4*r. Let n(d) = d**2 - d - 1. Let f(h) = b*n(h) - s(h). Let a be f(0). Solve 5*k - k = -a for k.
-1
Let q(x) = -x**3 + x**2 + 5. Let h be q(0). Let l(r) = -r**3 + 6*r**2 - 3*r - 3. Suppose -3*u = -26 + 11. Let s be l(u). Solve -18 = -h*v + s for v.
5
Let b(z) = z**2 + 13*z + 27. Let o be b(-2). Solve -o*u = -9*u + 20 for u.
5
Suppose -2*t - 9 = -5*t. Suppose t*d + d = 8, -2*w + 20 = 4*d. Suppose w - 18 = -4*r. Solve 0 = r*c - c + 4 for c.
-2
Let z = 252 + -248. Solve 0 = 12*c - 10*c + z for c.
-2
Suppose 3*b = -3, b - 7 = -r + 4*b. Solve 0 = -r*x + 48 - 32 for x.
4
Suppose 11 = c + 2*k - 0*k, 3*c - 2*k - 1 = 0. Let q = 73 - 71. Solve -5*a - c = q for a.
-1
Let r(w) = 9*w + 19 - 5*w - w - 3. Let l be r(-5). Solve l = x + 4 for x.
-3
Let g(s) be the second derivative of s**4/12 + s**3/6 + 2*s**2 + 13*s. Let i(a) = -a + 1. Let f be i(1). Let b be g(f). Solve w = -b*w for w.
0
Let f = -7 - -10. Let y be 9/(-6) + (-18)/(-4) + f. Solve -y*k = -k for k.
0
Suppose -7*b - 8 = -50. Suppose 5*n + b = 2*x, -5*n = -4*n - 4*x + 12. Solve n = 2*h + 5 - 1 for h.
-2
Suppose -2*m + 30 = -4*y, 4*y = 4*m - 0*y - 72. Suppose 2*a = 5*j + m, -2*j + 12 = a - 4*j. Solve 4*h - 2 + a = 0 for h.
-4
Let x = -885 + 1090. Solve -5 = -204*i + x*i for i.
-5
Suppose -5*v = -4*v - 20. Suppose 4*f = j + v, f + 2*j - 14 = -0*f. Solve -f = -p - p for p.
3
Let z = -4 + -16. Let o be 5/z + (-17)/(-4). Solve 0 = 3*d + o + 5 for d.
-3
Let k be 2/(-4) + (-175)/(-14). Solve -5*o + k = 27 for o.
-3
Let f be -4 + 1/(2/20). Solve f = q + q for q.
3
Let o be ((-2)/3)/((-24)/108). Suppose r = -o*r - 8, -4*r = -4*b + 28. Solve 5*k + b = -5 for k.
-2
Suppose -4*m = -3 - 5. Suppose 3*f = -m*f. Solve k - 4*k - 6 = f for k.
-2
Suppose -h + 2*h - 24 = 0. Suppose 29*j = 25*j - h. Let r = -4 - j. Solve -1 = -r*q - 5 for q.
-2
Let w = -4 - -27. Suppose -w*p + 24*p = 2. Suppose -3*y = 3*c - 55 - p, 17 = 2*c - 5*y. Solve 3*f = -f + c for f.
4
Suppose -2*c + 3*b = -32, 5*b = -0*c - 4*c + 86. Suppose -z + 4 = 4*w - c, 0 = 4*z - 2*w - 74. Let k = -17 + z. Solve -j = k*j - 9 for j.
3
Let w = 540 - 538. Solve 0 = s + w - 4 for s.
2
Suppose 3*u + 3 = -2*c - 3*c, 12 = -4*c. Let i = u - -2. Solve o = -o - i for o.
-3
Suppose 2*s - 9 = -3*p - 2*s, -2*p - 5*s + 6 = 0. Solve 4 + 11 = -p*h for h.
-5
Let v(a) = a**2 + 5*a - 3. Let f be v(-6). Suppose -f*t - 5 + 91 = 5*z, -4*t = -4*z + 56. Solve w = 5*w + z for w.
-4
Suppose 5*k + 2*n - 23 = 0, 6 = -2*k + 2*n + n. Suppose -3*u - 3 = -k*d, -u + 6 = 2*d - 8. Solve -u*x + 0 = 8 for x.
-2
Let p = 205 - 199. Suppose 4*v - 3 = 5. Let z = 2 + v. Solve -z*y - p = -y for y.
-2
Suppose 3*h = -2*j - 2*j - 103, 0 = 2*j - 3*h + 29. Let y = j - -24. Solve -y*r = -0*r for r.
0
Suppose -5*j - 18 = -t, 12 - 6 = t - j. Suppose 0 = -0*c + 2*c - 6. Solve 6 = -c*v + t for v.
-1
Let n be 2 - (3 + -3 + -1). Solve 31 - 46 = -n*s for s.
5
Let s(u) = -15*u - 5. Let o(x) = -x - 13. Let g be o(-11). Let t be s(g). Suppose 2*j - 5*y = -11, 5*j + 0*y = -5*y + 25. Solve 0 = j*l + 3*l - t for l.
5
Let a(h) = 6*h**2 + 106*h**3 + 10*h + 11 - 1 - 105*h**3. Let m be a(-4). Solve -m*g - 3 = 7 for g.
-5
Suppose t + 3*t + 4 = 0. Let v be 2 - t*(-4 - -7). Solve -18 = v*n + 2 for n.
-4
Let t be -5*(308/(-35) - -6). Solve -4*n - t = -11*n for n.
2
Suppose -36*k + 18 = -34*k. Solve k*g = 3 - 12 for g.
-1
Let t = 1457 + -1448. Solve 0 = 17*l - t*l + 16 for l.
-2
Let m be ((-4)/12)/(1/(-102)). Solve -5*p + 14 = m for p.
-4
Let o(r) = r**3 + 35*r**2 + 66*r + 26. Let q be o(-33). Solve 0 = q*x - 59 - 45 for x.
4
Let a be ((-40)/16 + (-3)/6)/(-1). Solve -a*u = 2*u + 15 for u.
-3
Let m = 38 - 26. Let i = 13 - m. Suppose 0 = 2*q - 5 - i. Solve 6*t + 9 = q*t for t.
-3
Let y be -12 + (-14 - -19) - 9*-1. Let h be (-10 - 0)*(-4)/8. Solve -f + y = h for f.
-3
Let u = -898 - -906. Solve 0 = 14*o - u*o - 30 for o.
5
Let q(b) = -20*b - 297. Let u be q(-15). Suppose -3*r = -3*z + r - 5, 4*r = 5*z + 3. Let h be 1*-2*(z - 2). Solve h*p + 20 = -u*p for p.
-4
Let w(x) = x. Let q(k) = -k**3 - 5*k**2 + k + 6. Let g(a) = q(a) + 5*w(a). Let n be g(-6). Solve -n = 2*m + 2 for m.
-4
Let z(g) = 19*g - 87. Let i be z(5). Solve 9*m = m + i for m.
1
Let h = -31 - -51. Suppose 4*u = h - 4. Suppose -2*n = 2*i - 24, 3*i + u*n - 30 = i. Solve -i = -6*g + 3*g for g.
3
Let g be (-187)/33*(-4 + 1). Let z = 20 - g. Solve 0*m - 9 = -z*m for m.
3
Let s be 320/16*(-14)/(-10). Solve -52 = -16*a + s for a.
5
Let s = 70 + -62. Solve -s*z - 8 = 24 for z.
-4
Let o(a) = -a**3 - 8*a**2 + 8*a + 2. Let s(v) = 6 + 14 - 19. Let z(y) = o(y) - 3*s(y). Let r be z(-9). Solve -2*i = -0*i + r for i.
-4
Let m(q) = q**2 - 14*q + 5. Let k be m(14). Solve -3 = k*d + 17 for d.
-4
Let q = -2 - -5. Let b = -1001 - -1001. Solve b = -p - q + 6 for p.
3
Let b be 37/7 - 4/14. Suppose -b*h = -14 - 16. Solve -5*j + 1 = h for j.
-1
Let v(b) = 127*b - 127. Let n be v(1). Solve 4*w - 6*w + n*w = 0 for w.
0
Suppose -8*s - 11*s = -114. Solve 4*w + s = w for w.
-2
Let g = -17 - -17. Let a = 7 + g. Suppose 5*r = 4*r + a. Solve -3 = 5*u + r for u.
-2
Let k(r) = r**3 + 13*r**2 + 2*r + 10. Let q be k(-13). Let u = q - -19. Suppose 3*h + t - 5 = 0, u*h - 6*t + 25 = -t. Solve 15 = 5*d - h*d for d.
3
Let t(q) = -q + 35 - 4*q + q + 0*q. Let y be t(8). Solve -4 - 5 = y*c for c.
-3
Let t = -448 + 458. Solve 5*x = -t*x - 60 for x.
-4
Let v = 26 + -30. Let b be -3 - (3 + -4) - v. Solve 6 = -b*u + 5*u for u.
2
Suppose 4*y = -2*c - 1 + 19, -3*c + y + 48 = 0. Solve 0 = c*w + 95 - 20 for w.
-5
Let w(d) = -d**2 + 4*d + 17. Let x be w(6). Suppose x*o = 10, -y = 4*o - 5*o. Solve -2*c + c + y = 0 for c.
2
Let g(i) = i**3 + 12*i**2 - i - 7. Let d be g(-12). Let p = d + -5. Solve -4*l + l = p for l.
0
Let a(u) = 2*u**3 + u. Let y be a(-1). Let g be 1 - (-2 + y + 3). Let q(c) = -4*c + 28. Let z be q(7). Solve z = -m - g - 2 for m.
-5
Let j(p) = 8*p + 32. Let x be j(-4). Let y be x*((-2 - -1)*1)/(-1). Solve y*o + 3*o = 0 for o.
0
Suppose -5*d = -3*d. Suppose 5*c + 3*a = -d*a + 29, 5*c - 3*a - 11 = 0. Suppose 16 = -3*q - c*t, -4*q - 2*t + 4*t + 8 = 0. Solve 6 = 3*p - q for p.
2
Suppose 176 = 2*a + 116. Solve -26*q + a*q + 4 = 0 for q.
-1
Let p be (-6)/(-45) + (-224)/(-120). Let t be (2 - (-4)/(-1))*p/(-1). Let j(c) = -4*c + 1. Let s be j(-1). Solve 0 = -s*y - t - 1 for y.
-1
Let f(u) = u**2 + 135*u - 1757. Let x be f(-147). Suppose -2*o + 40 = 4*i, i + 4*o - 2 - 8 = 0. Let t = -6 + i. Solve x = t*v - 5 for v.
3
Let a(c) be the first derivative of c**4/4 + 7*c**3/3 - 9*c**2/2 - 8*c + 20. Let u be a(-8). Solve u = -t - 0*t + 2 for t.
2
Let q = 515 + -515. Let r(v) = -v**2 - 5*v - 3. Let n be r(-3). Solve q + n = i for i.
3
Let z(x) = -x + 11. Let p be z(6). Suppose 4*c + 24 = 3*i, -2*i + 5*c - p = -7*i. Solve -5*w + 11 = -i for w.
3
Let p be 7/7 + (-1 - -2). Suppose p*z = 3*t - 18 - 7, 3*t = z + 20. Suppose 3*f = t*a + 26, 5*a