r d.
-4
Let l be 0 - (2 + 0/(-3)). Suppose 8*j = -2*j + 40. Let y be 0 + (j/(-2) - l). Solve -4*f + 3 - 15 = y for f.
-3
Let u(y) = -2*y - 21. Let b = -4 + -8. Let t be u(b). Solve 8*j - 20 = t*j for j.
4
Let v = -14 + 20. Suppose 0 = -g - x, 3*g = -x + 3 + 5. Solve -10 = g*f + v for f.
-4
Let w(f) = -5*f - 27. Let k(r) = 4*r + 28. Let s(y) = 4*k(y) + 3*w(y). Let q be s(-6). Solve 0 = -i + 6*i - q for i.
5
Let n(j) be the third derivative of -j**4/24 + 13*j**3/6 - j**2. Let t be n(0). Suppose -w - 7 = -3*k, -k - t = -6*k + w. Solve 0*d = d + k for d.
-3
Suppose 5*o - 12 - 3 = 0. Let u = 5 - o. Solve 15 = u*z + 5 for z.
5
Let v(s) be the first derivative of s**3/3 + 2*s**2 + 3*s - 4. Suppose 0*f - 12 = 3*f. Let w be v(f). Solve 0 = 2*n - w - 1 for n.
2
Let i be 3*2/12*8. Let c be ((-6)/i - -1)/((-11)/66). Solve c + 7 = 2*d for d.
5
Suppose -g - 10 = -28. Suppose 86*y - 89*y + g = 0. Let f = 2 - 0. Solve -f = 2*v - y for v.
2
Suppose -6*u + 12 = -4*u. Suppose -i = -u*i + 75. Let q = -11 + i. Solve -6 = -2*k + q for k.
5
Suppose -3*m = a - 3*a - 34, -m = 3*a + 51. Let u = a + 22. Solve -2*o = -1 + u for o.
-2
Suppose 12*d - 2*b = 8*d + 44, 3*d + 2*b - 19 = 0. Solve -3*n + 0*n - d = 0 for n.
-3
Suppose -5*m + 268 = 2*c, -4*m + 6*c + 219 = 3*c. Suppose -4*p - m = -13*p. Solve -p*a - 16 = -2*a for a.
-4
Suppose 4*z = -12, 0 = -v + z + 3 + 8. Solve 12 = 4*l - v for l.
5
Let z(a) = -a**3 + 19*a**2 + 12. Let f be z(19). Solve -14*h + f*h = -10 for h.
5
Let k = -8 + 20. Let f be 129/15 - k/20. Solve -4*s + f + 4 = 0 for s.
3
Suppose -5*g - 39 = -3*f, 53*f = 55*f + 4*g - 4. Solve -11*q + 7*q - f = 0 for q.
-2
Let z(l) = -l**2 - 12 + 0*l**2 - 104*l + 114*l. Let g be z(8). Suppose -g*f + 3*b = -25, -b = -2*f + 5*f - 9. Solve -f*n + 10 = n for n.
2
Suppose -5*z - 53*d + 12 = -51*d, -4*z - 2*d + 8 = 0. Solve -z*m = 3 - 11 for m.
2
Suppose -i + 4*h = -2, -5*h + 6*h = -2*i - 5. Let d = i - -7. Suppose -37 = -2*w - d*c, 0*w + 19 = -w + 5*c. Solve 0 = -w*n + 2*n + 8 for n.
2
Let p(m) = 6*m - 7. Let j(i) = -5*i + 8. Let o(t) = 4*j(t) + 3*p(t). Let x be o(4). Solve -2*b + x = 1 for b.
1
Suppose 2*m = f - 5*f + 26, 3*m - 57 = 3*f. Suppose 0 = 2*n + 3*x - m, -3*x = -2*n + 7*n - 20. Solve -3*w - n = -16 for w.
5
Let z(b) = 62*b - 31*b - 15*b. Let c be z(1). Solve -2*w + c = 2*w for w.
4
Let c be (14/(-8))/(15/(-60)). Suppose 4*r = 4*s - c*s - 20, 2*s + 3*r + 15 = 0. Solve -2*o + 6 = -s for o.
3
Let z(v) = -16*v**2 + 5*v + v**3 + 7*v**2 + 15*v**2. Let b = 9 - 14. Let s be z(b). Solve s = 4*a - 0*a for a.
0
Let a(u) = u**2 - 5*u + 7. Let w be a(4). Suppose r + 4*r = w*r. Solve n - 5 + 0 = r for n.
5
Let l be (-3)/6 - (-14)/4. Let k(h) = -12*h**2 + 3*h**3 - 2*h**3 + 2 + 1 + 9 - h. Let s be k(12). Solve s = -l*x - 6 for x.
-2
Let q(p) = -p**2 - 11*p + 66. Let n be q(-15). Solve 0 = -5*v + n*v + 2 for v.
-2
Let b = 32 - 30. Solve b*i = -3 - 7 for i.
-5
Suppose 7 = m - 4*s - 10, -4*s = 4. Solve 12*d - m*d = 5 for d.
-5
Let d = -406 - -406. Solve o + 4 + 1 = d for o.
-5
Let f = 891 + -882. Solve 23*k + f = 20*k for k.
-3
Let u = -809 - -811. Let k be (-2 - -3) + (1 - -6). Solve -u = 2*x + k for x.
-5
Let y = -1 + 2. Let f = 186 - 182. Suppose 3*w + y = f. Solve -2*r + w = -r for r.
1
Suppose -12*z + 19*z = 7. Let a be z + 0 + 2/1. Solve -a*p - 3 - 6 = 0 for p.
-3
Let h be -27 + (0/4 - -3). Let b be (-14)/(-6) + -1 + (-16)/h. Solve b*q - 12 = -q for q.
4
Let u = 26 + -26. Solve -2*s = -u - 8 for s.
4
Let g be ((-12)/14)/((-14)/294). Let j be 33/27 - 4/g. Let i be (-4)/((-4)/13)*j. Solve -i = 5*z + 7 for z.
-4
Suppose -3*u - w - 2*w = -21, 4*w = 16. Suppose u*x = 0, 3*m + x = 3*x. Suppose -3*c - c = m. Solve 5*i = -c*i + 20 for i.
4
Let o be 14 - 3/4*5*56/42. Suppose 7*f - 2*f + 4 = -p, 2*p + 2*f - 16 = 0. Solve -p = -5*s + o for s.
4
Let v(x) = -x**3 + 3*x**2 + 7*x - 1. Let w be v(7). Let f = -63 - w. Suppose 0 = 5*m - f. Solve 0 = 5*l - 2 + m for l.
-3
Suppose 5*h + 86 = o, 6*h - 207 = -3*o + 4*h. Solve 5 = -o*u + 76*u for u.
1
Suppose -19 = 10*k + 11. Let o be 0/(-1) + (-10 - -14) + k. Solve 3*j + 7 = o for j.
-2
Let q(f) = -f**3 - 5*f**2 - 3*f. Suppose -5*z - 19 = -k + 1, -2*z - 25 = 3*k. Let w be q(z). Let l(p) = p - 6. Let n be l(w). Solve o = n - 4 for o.
5
Suppose -5*d + d + 16 = 2*s, -4*d - s + 14 = 0. Suppose -d*r - 51 = -0*r. Let q = r + 21. Solve k + k = -q for k.
-2
Let f = 11 - 13. Let q be 21 - -4*1/f. Suppose -5*o = -5*c - 35, 4*o + 3*c - q = -2*c. Solve o*r - r = 20 for r.
4
Let a(j) = 4*j + 37. Let o be a(-17). Let q = -29 - o. Let l(f) = -f + 9. Let y be l(6). Solve y*k - k = -q for k.
-1
Suppose 121 = -12*j + 157. Let m(i) = 2*i. Let s be m(-1). Let b be 2*3*s/(-6). Solve 1 = j*c - b for c.
1
Let k(d) = -d**2 + 2*d + 3. Let l be k(3). Suppose 2*w + 2*o - 1 + 3 = l, -5*o = -2*w + 19. Let p(m) = 4*m - 8. Let q be p(7). Solve 0 = -w*t - 2*t + q for t.
5
Suppose 5*x + p = -23, -2*x + 3*p + 14 = -6*x. Let j = 21 + x. Let g(l) = -l**2 + 17*l - 13. Let s be g(j). Solve s*t + 10 = -5 for t.
-5
Suppose 1 = 5*i - 9. Suppose -28 = -i*g + 2*x, -2*g - 3*x + 46 + 7 = 0. Let m = 27 - g. Solve -5*y = -y + m for y.
-2
Let t(d) = -d**2 - 20*d - 49. Let v be t(-14). Solve 0 = -5*j - 2*j - v for j.
-5
Let y = 3 - 0. Let t = 0 - 0. Suppose 4*c = -4*u + 4, 3*u = -c - t + 5. Solve 3 = u*d - y for d.
3
Suppose m + m + 10 = b, -2*b - m - 5 = 0. Solve b = 3*c + 13 - 4 for c.
-3
Suppose 2*y = -10*y - 4*y. Let v be (5 - 3)/(y + 1). Let t(o) = o**3 + o**2 - 3*o - 1. Let r be t(-2). Solve 7 = -v*k - r for k.
-4
Let b be (-5 + (-9)/(-3) + 1)*99. Let m = -94 - b. Suppose -3*y + 4*y = 6. Solve -4 = m*u + y for u.
-2
Let v = 992 - 992. Let t = 5 - 8. Let c = v - t. Solve -c*n = 9 - 3 for n.
-2
Suppose u - 10*u + 36 = 0. Solve -u = -5*l + l for l.
1
Let n(i) be the third derivative of -i**6/120 - 2*i**5/15 - 3*i**2. Let u = 9 - 17. Let f be n(u). Solve -2*d = -f*d + 10 for d.
-5
Let m be (6/9)/((-2)/(-36)). Let r = -3 + m. Let b = -8 + r. Solve 7 - b = -3*y for y.
-2
Let i(b) = 1 + 4*b**2 + b**3 + 2*b + 6 - 6*b - 1. Let g be i(-5). Solve -4*w = -g + 21 for w.
-5
Let n(l) = l**3 - 9*l**2 - 10*l + 2. Let k be n(10). Suppose -8 = s - 5*z, 3*s - k*z = z. Let q = -5 + 8. Solve -2*g = -q*g + s for g.
2
Let u = -6 + 11. Suppose 0*r - u*r + n = -55, 0 = 4*r - 2*n - 50. Suppose 4 = l + 3, -w - 2*l = -r. Solve -8 = 4*z + w for z.
-4
Let y = -29 + 31. Solve 0 = -3*k + y*k for k.
0
Let f(c) = c**3 + 6*c**2 + 4*c - 3. Let x be f(-5). Let b be (6 - 2 - 3) + 3. Let h(o) = o**3 + 8*o**2 + o + 10. Let r be h(-8). Solve b*w - x = r for w.
1
Suppose 9*l = 14*l - 15. Solve -3*f + 0*f = l for f.
-1
Suppose -3*n - 97 = s, 3 = -5*s + 13. Suppose 0*h - 5*h - 150 = 0. Let p = h - n. Solve 9 + p = 3*x for x.
4
Suppose -430*a - 12 = -432*a. Solve a = 6*n - 3*n for n.
2
Let z(b) = b**3 - 4*b**2 + 4*b + 1. Let t be z(3). Let s be (t - (1 - -2)) + 2. Solve -5 = s*u + 10 for u.
-5
Let v be (((-32)/(-10))/1)/((-5)/(-25)). Let l be (1 + 7)*8/v. Let o(k) = -k + 5. Let s be o(5). Solve 2*d = -s*d + l for d.
2
Let u(c) = c**2 - 9*c - 26. Let h be u(12). Let f = h + -5. Suppose -f*a + 17 - 51 = -y, 4*a - 25 = -5*y. Solve -j + 4*j = -y for j.
-3
Suppose -3*s + 80 = 4*r + r, -3*r - 3*s = -42. Let f = -34 + r. Let g be 2/(f/6 + 3). Solve g = -4*j - 0*j for j.
-1
Let n be (-7 - 258/(-42))/((-3)/14). Solve 5*g - 5 = n*g for g.
5
Let u be ((-52)/20)/(3/(-15)). Let t = 4 + u. Solve -4*p - 3 = t for p.
-5
Suppose -2*s + 6*s = 32. Suppose 12*a = s*a. Solve q + 2*q - 12 = a for q.
4
Suppose -a - 3*a - 3*y + 15 = 0, -y = -5*a + 14. Solve 0 = -h - a + 3 for h.
0
Let l = 77 + -71. Suppose 11*d - 14*d + l = 0. Solve -4 = -2*j + d for j.
3
Let n(y) = -12*y - 6. Let a be n(4). Let s = -29 - a. Let z = s + -21. Solve 6*v + z = 2*v for v.
-1
Let k(h) be the third derivative of h**4/24 + 2*h**3/3 - 3*h**2. Suppose -a = 4*f - 1, f - 2*f - 5 = -5*a. Let p be k(f). Solve 2 = p*s - 18 for s.
5
Suppose 32*i - 33*i + 3 = 0. Suppose 2*p + f - 10 = 0, -20 = -5*p + p - f. Solve -4 = -p*t + i*t for t.
2
Let b(c) = 7*c**2 + c - 6. Let n be b(2). Solve 26*h + 10 = n*h for h.
-5
Suppose 40*j - 1 = -2*o + 39*j, -5*j = -o + 28. Solve -10 = o*k + 2*k for k.
-2
Suppose 59 = -4*g + 42*g - 131. Suppose 2*h + 2*j - 1 = -5, -2*h = 4*j + 8. Suppose -3*u + u = h.