r = -0*r + 24. Let g be -6*-1*(-3)/r. Solve g + 2 = -k for k.
-5
Let k(r) = 3*r - 37. Let x be k(14). Suppose -5*y + 15 = -4*s, -4*s = -5*s - x*y + 15. Solve s*h - 5*h = 10 for h.
-2
Let s(c) = c + 10. Let l be s(9). Suppose 4*v + 20 = y, l = -4*y - 5*v - 6. Solve y = -w - 1 for w.
-1
Suppose 0 = 4*r - 20, 0*h - 2*h = -5*r - 1. Let t = h - 9. Let d be (t/(-10))/(2/(-5)). Solve 2*l = -d - 1 for l.
-1
Let w(b) = 4*b**2 - 8*b + 11. Let g(n) = 11*n**2 - 25*n + 32. Let h(x) = 6*g(x) - 17*w(x). Let d be h(-7). Let o be 2 + -1 + (0 - -1). Solve -d*a = o - 7 for a.
1
Let a(p) = p**3 - 27*p**2 - 26*p - 51. Let h be a(28). Solve 23 = -h*w + 18 for w.
-1
Suppose -n - 5*j = 21, 5*j = 4*n + 6*j - 11. Let t be 0/(n - 6/1). Suppose k + 3 = 2*i, t = -i - 0*k - k - 3. Solve 0 = -i*u - 3*u + 6 for u.
2
Let q(l) = -12*l - 361. Let s be q(-32). Solve 0 = -0*w - s*w for w.
0
Let q(b) = b**3 - 46*b**2 + 92*b - 150. Let i be q(44). Solve i = -8*s + 66 for s.
5
Let f(u) = 64*u - 186. Let o be f(3). Solve 8*q - 2*q = -o for q.
-1
Let r(j) = -8*j - 2. Let f be r(-9). Let w = -47 + f. Let a = w + -23. Solve a*c = c - 1 for c.
1
Let t = 7482 - 7480. Let l(r) = -r + 2*r**2 + 0 - r**2 - 2. Let c be l(2). Solve h = -c*h - t for h.
-2
Suppose 41*o - 32*o = 36. Solve -3*q - o = -4*q for q.
4
Let t be -2*(-432)/90 - (-6)/(-10). Solve t*w - 4 = 5 for w.
1
Let d(b) = -b**3 + 11*b**2 - 9*b - 10. Let u be d(10). Suppose -2*n + 3*n = u. Let y = 29 - 19. Solve n = c + c - y for c.
5
Let x = -372 - -375. Solve x*r = -24 + 33 for r.
3
Let a be 173 - 163 - (11 + -1). Solve a = -9*m - 2 - 16 for m.
-2
Suppose -248*m = -253*m + 100. Solve 0 = 18*q - m*q - 2 for q.
-1
Suppose -2*k - 2 = -6. Let q(u) be the first derivative of -u**3/3 - 3*u**2 + 6*u - 6. Let n be q(-6). Solve -n = 4*m - k*m for m.
-3
Let n(v) = -v - 3. Suppose 45 = 9*t - 14*t. Let l be n(t). Solve -5*m = l - 1 for m.
-1
Suppose 2*y - 10 + 2 = 0. Suppose -90 = -y*x - x. Suppose 0 = -2*m + 2*o + x, -3*m - 9 = o - 40. Solve 0 = 2*l + 2 - m for l.
4
Suppose -11 = -3*z + 4*l, 3*z = 2*l - 3*l + 1. Solve 19 + z = -5*i for i.
-4
Let t(b) be the first derivative of b**2/2 - 12*b + 33. Let l be t(18). Solve -l*j = -j + 5 for j.
-1
Let u be 1/((-7)/(-4)) - 51/(-21). Suppose 5*d - 14 = -4. Solve d*i + 3 = u*i for i.
3
Suppose 0 = 9*v - 16*v + 119. Solve 0 = 16*r - v*r - 5 for r.
-5
Let l = 25 + -12. Let r = -90 - -128. Let p = 41 - r. Solve 2*u - l = -p for u.
5
Let d(q) = -q**3 - 2*q**2 - 2*q + 1. Let m be d(-2). Let h be (-15 - -12)/(6/4). Let p be ((-14)/(-4))/(h/(-4)). Solve -p = -m*l + 3 for l.
2
Let s(d) = -3*d - 44. Let l be s(-18). Solve -7*c + l = -2*c for c.
2
Let q(u) = -u**3 + 7*u**2 + 7*u + 10. Let w be q(8). Suppose -5*m = -3*r + w*r - 25, 20 = 4*m. Suppose 4*j + j = 10. Solve r = -t - j + 4 for t.
2
Suppose 455 = 21*u - 8*u. Suppose -8 = 31*x - u*x. Solve 0 = -p + 3 + x for p.
5
Suppose -57 = -2*u - j, u - 102 = -3*u + 2*j. Solve u - 71 = 11*g for g.
-4
Suppose 0 = 5*t - 2*j - 100, -5*t + 3*j = -0*t - 105. Suppose -5*c + 2*c = -57. Let h = c - t. Solve -v = -0 - h for v.
1
Suppose -18 = -832*t + 823*t. Solve t*x = -1 - 1 for x.
-1
Let w = -432 - -452. Solve -10*h + 14*h = -w for h.
-5
Suppose 5*a - 58 = -4*c + 3, -4*a + 28 = -2*c. Suppose -3*f + 25 = 2*f. Let z = f + -1. Solve -z*v + 25 = -a*v for v.
-5
Suppose -5 = -4*n + 3*x, -3*n - 4*x - 18 = -28. Solve -21 = -n*k - 11 for k.
5
Let v(n) = -n**2 + 17*n + 2. Let p be v(17). Suppose -5*k + 3*w = -60, 2*w + p*w = 3*k - 36. Let x be 2 + (2/(-1) - -2). Solve o = -x*o - k for o.
-4
Let m = 107 - 103. Solve -m*j = -7*j for j.
0
Let m(t) = -5*t - 2. Let k be m(-1). Suppose 9*c = k*c. Solve -y + c*y = 2 for y.
-2
Let h be (-240)/(-28) - (-6)/14. Let k = h - 4. Solve -5*b - k = -0*b for b.
-1
Let r = 40 + -35. Solve 7 = -r*u + 22 for u.
3
Suppose 0 = 8*v - 9*v + 6. Let s be -4*3/(-18)*v. Solve 0 = -s*b - 6 + 2 for b.
-1
Suppose -3*z + 79 = 7. Suppose 2*x - x = 3*l - 13, -5*l + z = -4*x. Suppose -6*i = -l*h - 2*i + 8, -2*i - 4 = -h. Solve h*o + 1 = o for o.
1
Suppose a = -1 + 2. Suppose 2*i + 2*i - 4 = -3*p, 3*p - a = -i. Let r(o) = -o**2 + 4*o - 1. Let z be r(2). Solve -k - z = i for k.
-4
Suppose 3*d = 5*u - 33, 4*d - d - 15 = -3*u. Suppose -10*p = -u*p + 48. Let i be 6/(-4) - 258/p. Solve 0 = -6*g + g - i for g.
-4
Let j = -494 + 510. Solve 0 = 5*f + j - 1 for f.
-3
Suppose 26 = 2*c - 5*s, -c = -5*c - 5*s + 112. Suppose -k = -c + 18. Solve t - k = -4*t for t.
1
Suppose 4*j + 5 - 41 = h, 18 = 3*j - 3*h. Solve 8*v = j*v + 10 for v.
-5
Suppose -5*n + 7 = -2*r + 42, n - 74 = -5*r. Solve -j = -r*j for j.
0
Let c(j) = 2*j - 6. Let r be c(3). Let k(m) = m**2 + 14*m + 24. Let y be k(-12). Solve r = 3*z - y*z - 9 for z.
3
Let w be 14/7 - 0/(-2). Suppose 6*t = -w + 14. Let q be 1 - (t - 1) - 0. Solve q*j + 10 = 2*j for j.
5
Let g(u) = u**2 + 14*u + 49. Let c be g(-4). Solve 8 = -c*l + 13*l for l.
2
Suppose 1 = -5*i - 29. Let m be 8/(-6)*i/4. Suppose 2*r + 4*u = 8, r - 11 = -4*u - 3. Solve 6 = -m*a - r for a.
-3
Suppose 3*w - 5*l - 29 = 0, 5*l + 42 = -w + 5*w. Let f = w + -9. Suppose -5*h = -3*j - 5, 2*j + 5 = 5*h - 2*j. Solve 0 = -d - h + f for d.
3
Suppose -134 = -c - 130. Solve v + c*v + 15 = 0 for v.
-3
Let v(h) be the second derivative of -2/3*h**3 - 1/12*h**4 + 2*h + 0*h**2 + 0. Let q be v(-2). Solve n = -0*n + q for n.
4
Let i(x) = -x**3 - 18*x**2 + 8*x - 192. Let j be i(-19). Solve -j*k - 24 + 109 = 0 for k.
5
Let j be ((-78)/182)/((-2)/14). Let x be j + (-62)/22 + 40/22. Solve -x*c + 5 - 3 = 0 for c.
1
Let l(p) be the first derivative of -p**4/4 + 7*p**3/3 + 3*p**2/2 - 2*p - 25. Let k be l(7). Solve k - 4 = 3*m for m.
5
Let c = 507 - 505. Solve 5*q = c - 7 for q.
-1
Let d(a) = 6*a - 3. Let h be d(1). Let z(s) = 5*s - 9. Let n be z(h). Solve 6 = -3*m + n*m for m.
2
Let k(t) = -t**3 + 5*t**2 + 19*t - 35. Let w be k(7). Solve w = -4*y + 20 - 0 for y.
5
Suppose -10*l + 12*l = 28. Let i(c) = -2*c**2 + 11*c - 7. Let h be i(4). Let f(o) = o**3 - 6*o**2 + 6*o. Let z be f(h). Solve l = -z*a - 11 for a.
-5
Let n be (-150)/4 - 1/(-2). Let s = n + 55. Let u be (0 - -39)*12/s. Solve u = -4*q + 6 for q.
-5
Let n(x) = 11*x - 19. Let i be n(2). Solve -1 = -w - i for w.
-2
Let q(x) = 2*x**3 - 26*x**2 + 23*x + 12. Let t be q(12). Solve t = -2*r + 1 - 11 for r.
-5
Let m = 45 - 29. Let c = -16 + m. Suppose 3*y - 42 - 3 = c. Solve -4*x - 1 = y for x.
-4
Suppose 91 - 31 = 15*z. Solve p - 2 = -z for p.
-2
Let k be (-24 - -1)*15/(-3). Solve -7*z = 16*z + k for z.
-5
Let m(z) = -z**3 - 7*z**2 - 7*z + 22. Let v be m(-5). Solve -v*w = -5*w - 2 for w.
1
Let j = 875 - 870. Solve 9*n = j*n - 4 for n.
-1
Let m(p) = p**2 - 5*p + 14. Let i = -63 + 65. Let t be m(i). Solve 0 = -2*x + 4 - t for x.
-2
Suppose 0*t + 19 = t - 4*u, 0 = -3*u - 12. Let b be (0 - 35/(-28)) + (-5)/4. Solve t*k = -b*k + 9 for k.
3
Suppose 205 = 139*f - 490. Suppose -5*c + c + 8 = 2*v, -3*v = 5*c - 9. Solve c = f*h - 17 for h.
4
Suppose f + 4*f = 4*t + 356, 4*f - 293 = -5*t. Let y = 81 - f. Solve 6 = 3*m - y for m.
5
Suppose 6 = -15*h + 3*o, h - 2*o + 8 = 2*o. Solve h = -5*m + 21*m for m.
0
Let g be ((-12)/5 + 2)*-10. Suppose -g*v = -2*i - 14, v + 4*i - 24 = -4*v. Suppose 10 = v*q - 2*b, 4*q = 2*q - 4*b + 20. Solve 0 = -m + q for m.
4
Suppose -4*a + 4*o = -36, -2*a - o - 5 = -14. Suppose -z = -0*z - 1. Let i = 2 + z. Solve -i*u - 6 = -a*u for u.
2
Let u be (1 - (4 - 0)) + 3. Let n(w) = w**2 + 8. Let d be n(u). Solve 4*q + 12 = -d for q.
-5
Let p(s) = -2*s - 11. Let d be p(-6). Suppose 13 = 2*i + 2*f - d, -3*f = 4*i - 24. Solve 5 = 2*u + i*u for u.
1
Let x be (22 + 2)*3/((-18)/(-4)). Let y = x + -16. Solve y = 3*v - 0*v + 12 for v.
-4
Let c = 442 - 433. Solve 8*b = c*b + 2 for b.
-2
Let s be 4/14 + 60/35. Suppose 2*r + 4*r - s*r = 0. Solve -5*w + 3 + 7 = r for w.
2
Suppose 25 = 3*j - 5*d, 0 = 2*j - 4*j - d - 5. Solve 4*n - 5 + 9 = j for n.
-1
Let a(y) = y**3 - 2*y**2 - 2*y - 1. Let o be a(3). Let d be (81/(-18))/((-1)/o). Suppose 3*l = x - d, 3*x - 9 - 6 = 5*l. Solve 0 = -f + 1 - x for f.
1
Let g(x) = 3*x**2 - 6*x - 22. Let i be g(6). Solve i = 3*l + 53 for l.
-1
Suppose -3*p = -13 + 1. Let i be (16/12)/(p/(-42)). Let h = 14 + i. Solve 5*t - 3 - 7 = h for t.
2
Let x be (3/9*-1)/(1/(-18)). Suppose -8 = -4*p + 4*i - i, x = 3*p + 5*i. So