e 3*r - k*r = 15 for r.
-3
Let g(t) = -t**3 + 7*t**2 - 8*t - 10. Let c be g(5). Solve 4*d = -c*d + 4 for d.
1
Let m = 8 - 6. Let s(u) = -7*u + 3. Let o be s(0). Solve -x - m*x = -o for x.
1
Suppose -7 = -19*k + 1988. Solve -11*l = 10*l - k for l.
5
Let q be (-14)/3*((-390)/91 + 3). Solve 0 = -q*s + 7*s for s.
0
Suppose 0 = -9*j + 10*j - 2*y - 14, -3*y - 11 = j. Solve -2*o = -j - 2 for o.
3
Let q = -51 - -80. Let o = q + -29. Suppose 4*i - 24 = -o*i. Solve i*t = t + 25 for t.
5
Let x(o) = o**2 - 3*o - 8. Let t be x(5). Suppose -3*s - 3 = -0*y - 3*y, t*y = 10. Let n = 27 - 18. Solve a - s*a = n for a.
-3
Let w be 9 + -16 + 8 + -1. Suppose 5*t = 2*j - 4*j + 30, 5*j - 121 = -t. Solve w = y + 4*y + j for y.
-5
Suppose -2*r + 22 = l, -81*l = -82*l + r + 28. Solve 0 = -l*y + 36*y + 40 for y.
-4
Suppose -7*a = -9*a + 6. Let b(s) = -s**3 + 2*s**2 + 2*s + 6. Let c be b(a). Solve -c*x + 0*x = 0 for x.
0
Let u = 103 + -63. Let q = u + -28. Solve -q = -2*l - 2*l for l.
3
Let n(u) = 2*u. Let v(i) = i**2 + 2*i - 1. Let a be v(1). Let q be n(a). Solve -x = 3*x - q for x.
1
Let g = 437 - 419. Solve 2*j - g + 10 = 0 for j.
4
Let b(x) = -14*x - 109. Let d be b(-8). Solve 0 = -2*z + 3 + d for z.
3
Suppose v - 20 = 2*a - 37, -5*a + 2*v + 42 = 0. Solve a*k + 2*k = -50 for k.
-5
Let n(f) = f - 5. Let a be n(3). Let p(u) = u**2 + 2*u + 2. Let o be p(a). Let x = 10 + o. Solve x = 2*w + w for w.
4
Suppose 18 = 3*y, 13*k - 12 = 16*k - 4*y. Let n(v) = 2*v**2 - v + 2. Let o be n(-2). Solve 0*l = k*l + o for l.
-3
Let h(i) = -i**2 - i + 7. Let c be h(-3). Let v = 3 - c. Solve 4 = -v*q + 6*q for q.
1
Let n = -40 - -38. Let l(f) = f**2 + 2*f + 3. Let y be l(n). Suppose 0 = 2*s + 2*b - 4, -2*s + 0*b + 2*b = -12. Solve -1 + s = y*c for c.
1
Let l(k) = -3*k - 3. Let a be l(-2). Suppose -4*g - 3*f + 149 = -102, -3*g - 3*f + 192 = 0. Let z = -47 + g. Solve -3*i = -z + a for i.
3
Let j(g) = 6*g**3 - 22*g**2 + 12*g + 5. Let y be j(3). Solve 0 = -y*l + 10*l + 25 for l.
-5
Let k = 4 - 0. Suppose t - k*t = 24. Let j = -8 - t. Solve 3 = -f - j*f for f.
-3
Suppose 0 = -0*i - i - 5. Let m = i + 7. Suppose -2*j - m = -10. Solve -o = j*o for o.
0
Let z(a) = -a**2 - 2*a + 3. Let l be 5/(-15)*(-2 - -2). Let o be z(l). Solve -r = o*r + 4 for r.
-1
Suppose -5*z = -s + 28, -2*z - z = -s + 18. Suppose 14 = s*j + 2. Let u = 1 + j. Solve 0*n - u = n for n.
-5
Suppose -3*d + 16 = 2*u, 4*u - 4*d - 3 = -11. Solve -u*o - 16 = -18 for o.
1
Let w be -3 - ((-12)/(-3)*-1 + 1). Solve 13*o - 39 + 0 = w for o.
3
Let y(s) = 3*s + 27. Let j(n) = -5*n - 41. Let r(o) = 5*j(o) + 8*y(o). Let l be r(16). Let a = -2 - l. Solve -2*g - a + 9 = 0 for g.
3
Suppose 0 = o - 5, -2*o + 6 = -4*f + 68. Solve 22*x - 20 = f*x for x.
5
Let d = -2294 - -2354. Solve 18*z - 3*z = d for z.
4
Let a = 586 - 567. Solve 4 = -3*c + a for c.
5
Let o(v) = 10 + 16 + v - 13. Let u be o(-8). Solve -13 + u = 2*h for h.
-4
Suppose 3*c + 1 = 16. Let h be 21/12 + c/20. Solve 5 = -h*y + 3*y for y.
5
Let j(p) = -p**3 - 7*p**2 + 6. Let m be j(-7). Let f be 1*(m - 4) - -2. Suppose -f*n = i - 2, -n + 2*n - 2 = -i. Solve -i*q = -5*q + 15 for q.
5
Suppose 3*d - 72 - 72 = -5*h, 4*h - 93 = 5*d. Suppose -5*s - 50 = -0*s + 3*f, 4*f + h = -s. Let a = 1 - s. Solve 3*j - a = -j for j.
2
Suppose 0 = -16*q + 22*q - 9*q. Solve q = 3*s + 1 + 5 for s.
-2
Let v(u) = 224 + 22*u + 223 - 491 + u**2. Let h be v(-24). Solve 0 = -5*t + h*t for t.
0
Let k = 22 + -45. Let i be 3 + 0 - (19 + k). Solve -4*j + i - 15 = 0 for j.
-2
Let a = -6 + 10. Suppose r + 3*n = -a, r - 4*r + 8 = 4*n. Solve -5*l - r = -l for l.
-2
Suppose 35*i + 52 - 227 = 0. Solve 8*g + 52 = -i*g for g.
-4
Let l(k) = -k**2 + k + 8. Let o be l(-4). Let g be (-8 + 0)*o/(-24). Let i = 0 - g. Solve 0 = -i*w + 2*w for w.
0
Suppose 0 = 2*c + 2*c - 20. Suppose -8*r + 5*r = -36. Solve 0 = c*l - l + r for l.
-3
Suppose -8 = 4*g - 8*g - 4*o, -2*g + 3*o + 9 = 0. Solve 3*w = 9 + g for w.
4
Let u(v) = -v**3 + 12*v**2 + 13. Let k be u(12). Suppose 7*j = 8*j - k. Solve 2*q - j = -5 for q.
4
Let s = -12 + 25. Let u be 41/s + (-10)/65. Suppose h - u = -2*n, -5*n - 2 = -7. Solve 2*m = h + 9 for m.
5
Let q(y) = 13*y - 4. Let f be q(5). Let p = 65 - f. Solve p = -s + 5*s for s.
1
Let d(s) = s**3 - 6*s**2 + 6*s - 18. Let f be d(8). Suppose -146 + f = 4*t. Solve -5*h = -2 - t for h.
1
Let p = 489 - 466. Let i(h) = -4*h**3 - 4*h**2 - 3*h - 1. Let f be i(-2). Let s = p - f. Solve s*y = y for y.
0
Suppose 7 = -3*q + 4. Let z be -21*q/3 + -4. Suppose v - 6 = -z*h + 2, -3*v - 5*h = -20. Solve v = -o + 1 for o.
-4
Let k(y) = y**3 - 3*y**2 + 9*y - 31. Let d be k(5). Solve d*x = 63*x for x.
0
Let q be 12/(-18)*-15 - (1 - -2). Solve q*f - 5*f = 6 for f.
3
Let t = 60 + -66. Let d = -2 + 0. Let u = d - t. Solve -15 = u*f - 3 for f.
-3
Let y(s) be the second derivative of -s**3/6 + 5*s**2/2 + 21*s. Let m be y(-1). Solve -3*c - m = 3 for c.
-3
Let t(o) = -2*o**3 - 8 - 12*o**2 - o - 2*o**3 + 3*o**3. Let l be t(-12). Solve -4 - 4 = l*v for v.
-2
Let q(r) = r**3 + 6*r**2 - 2*r - 3. Let t be q(-5). Let d = -2 + -13. Let o = d + t. Solve -5*n = 7 - o for n.
2
Let u(d) = -d + 21. Let k(a) = -a**2 - 4*a + 1. Let q be k(-2). Suppose h - q*y = 43, -2*h = -4*h - 5*y + 11. Let f be u(h). Solve 6*w - 3*w - f = 0 for w.
1
Suppose 4 - 8 = -2*j. Suppose -2*z - j*z = -8. Suppose -o = -6*r + 5*r + 3, 4*r = z*o + 20. Solve r + 5 = 4*b for b.
3
Suppose 255*d - 254*d = 0. Solve d = -3*n + 7*n + 4 for n.
-1
Suppose 14 + 8 = 2*h + 5*v, -4*h - 5*v = -64. Solve -1 = h*b - 20*b for b.
-1
Let b(r) = -4. Let p(z) = -3*z - 3 + 2 + 2*z. Let w(s) = b(s) + p(s). Let d be w(-6). Solve l - d = 2*l for l.
-1
Let x = 807 - 771. Solve 0 = 8*b + x - 12 for b.
-3
Let j(g) = 32*g**3 + 5*g**2 - 8*g - 8. Let h(i) = -21*i**3 - 3*i**2 + 5*i + 5. Let q(z) = -8*h(z) - 5*j(z). Let w be q(1). Solve -w*f = -5*f for f.
0
Suppose -10*v + 15*v - 50 = 0. Solve 69*u - 67*u = -v for u.
-5
Let f = 24 - 16. Let q = f + -5. Solve -1 - 11 = q*r for r.
-4
Let o(r) = 5*r - 115. Let n be o(23). Solve n = -f - 9*f - 50 for f.
-5
Suppose -2*y + 6 = -u - 3*y, 2*y - 30 = 4*u. Let f be (-6)/(-6 - (-66)/12). Let n = f + u. Solve n = 2*p + 3 for p.
1
Let a(s) = -s**3 - 7*s**2 - 9*s - 6. Let b be a(-6). Suppose -t + 4*t = -b. Let g = -4 - t. Solve -5*q = -g*q for q.
0
Let q(p) = -6*p**2 + 7*p - 7. Suppose -4*r - 84 = 2*r. Let h(s) = -s**2 + s - 1. Let b(k) = r*h(k) + 2*q(k). Let g be b(1). Solve 5 - 1 = g*l for l.
2
Suppose 5*m = -0*i + i + 26, 0 = 3*m + 2*i - 26. Solve c - m + 3 = 0 for c.
3
Let y = 27 - 25. Suppose -7 = -m - y. Solve -5*o + m + 0 = 0 for o.
1
Suppose -7*y + 2*y - 253 = 2*t, 0 = 5*t - 5*y + 580. Let v = 123 + t. Solve 0*u = -u + v for u.
4
Let n be 0/((2/(-8))/(8/(-64))). Solve n = 3*r - 11*r + 16 for r.
2
Suppose -3*f - 2*d = 1, 3*d = -6*f + 10*f - 27. Solve f = -n + 4 for n.
1
Let g be (-207)/36 - -6 - 22/(-8). Solve -g*y = -9*y - 12 for y.
-2
Let m be (6/(-3) + 2)/2. Suppose -6*w = -12 - m. Solve 5*p = w*p - 12 for p.
-4
Let u = 171 + -245. Let m = u + 76. Solve -20 = -m*n + 6*n for n.
-5
Suppose -7 = 6*w + 17. Let h be 3 + 51*w/(-4). Suppose -h = -4*q - a + 3*a, 15 = 5*a. Solve -l = -6*l + q for l.
3
Suppose 4*t - 22 + 6 = 0. Let l(f) = f - t - f - f + 0*f. Let z be l(-4). Solve z = -a - a for a.
0
Let a(f) = 2*f + 1. Let i be a(0). Suppose -4*u = -l - 3*u - i, 0 = -4*l + u + 8. Solve -2*g + 5*g = -l for g.
-1
Let j = -134 - -173. Solve 3*a + 30 - j = 0 for a.
3
Let m be (-4 - 2 - -26) + (3 - -1). Solve 32 - m = 2*y for y.
4
Suppose 5*u - 10 = 0, -q + u = 1 - 5. Suppose -q = -3*d + 5*d + 4*n, -2*n = 2*d - 2. Solve d*s = -2 - 3 for s.
-1
Suppose 2*p + 274 = 5*a - 3*a, 673 = 5*a - 2*p. Suppose -a*u + 138*u - 45 = 0. Solve 0 = -3*i - 3 - u for i.
-4
Let p(y) = -y**3 - 5*y - 6. Let u be p(-2). Suppose 25*z = 28*z - u. Solve 3*f - z*f + 5 = 0 for f.
5
Let o = 493 - 489. Let g(r) = 7*r**2 - 3*r - 1. Let b be g(-1). Solve b*m + o = 8*m for m.
-4
Suppose -g - 3*q = -83, 2*q - 5*q = 5*g - 355. Solve -15*b = g + 7 for b.
-5
Let m(a) = -a**2 - 5*a. Let q be -6*((-8)/(-3) + -2). Let d be m(q). Solve 2 = -d*h - 6 for h.
-2
Suppose 0*u = 4*u + 56. Let v be 2/(-3)*(-147)/u. Let z be (0 - 0)/((-14)/v). Solve -1 = b - z for b.
-1
Let w(o) = 5*o - 33. Let v be w(8). Let q(s) = -s**3 + 7*s**2 - 8*s +