r k.
0
Let d = -3 - -6. Let i = -269 - -275. Let l = d + i. Solve 3*b = -24 + l for b.
-5
Let u be (-2)/6*-3*(-3 + 4). Solve 3*i + u - 7 = 0 for i.
2
Let a(q) = -q**2 + 5*q + 8. Let m be 2/(-5) + (-135)/(-25) + -5. Let r be a(m). Solve r = -0*n + 2*n for n.
4
Suppose o - 6 = 4*h - 5*h, 0 = 4*o + 2*h - 18. Suppose 3*y - 9 = y - 5*s, -4*y = -5*s - o. Solve 0 = y*r + 1 + 7 for r.
-4
Suppose 0 = 4*u + 3*n - 7*n + 16, u - 16 = -3*n. Solve -3*g - 7 + u = 0 for g.
-2
Let f(a) = -a**2 - 9*a - 14. Let w be (-24)/(-40) + (-66)/10. Let o be f(w). Suppose o*i - 48 = i. Solve 2*u + i = -2*u for u.
-4
Suppose 5*u - 25 = 0, -5*n + 4*n - 3*u + 17 = 0. Solve -n*c + 0*c + 6 = 0 for c.
3
Let q be -1 + 15/10 + 15/10. Let h = -7 - -11. Suppose q*s + 0*s = h. Solve -s*v + 0*v = 8 for v.
-4
Suppose 0 = -5*j + y + 14, 3*j = -2*y + 5 - 7. Suppose -2*c = -c. Solve c = -3*z - j*z for z.
0
Suppose -4*p + 5*o + 4 = -44, -4*o = -p + 23. Solve -5*n + 22 = p for n.
3
Suppose 3*f + 2*v = -0*f + 196, -4*f = 3*v - 261. Let g = 66 - f. Solve -6*x + 2*x + 12 = g for x.
3
Suppose 0 = -5*x - j + 134, 3*x - 3*j - 79 = -5*j. Let g = x + -17. Solve g = 2*u - 0*u for u.
5
Suppose 0 = 13*f - 11*f - 14. Solve 3*g + f = -5 for g.
-4
Let u = 21 + -29. Let b be -8 - u - (-3 - -1). Solve 4*o = b*o + 6 for o.
3
Let u(o) be the third derivative of -o**5/60 + 5*o**4/24 - o**3/2 - 17*o**2. Let i be u(1). Solve y = 2*y - i for y.
1
Let h be (22 - 6) + (-1)/(-1). Suppose h = 4*y + 2*a - 55, -y - 5*a = 0. Solve -5*s + 0*s = y for s.
-4
Let h(g) = 4 - 3*g**3 + 5*g**3 - 4*g**2 - 3*g**3 + 5*g. Let l = -3 + -2. Let k be h(l). Solve k*w = -w - 25 for w.
-5
Let d(s) = -s + 2. Let b be d(-7). Suppose -p + 4*p - b = 0. Suppose 4*f - 9 - p = 0. Solve 0 = f*r + 2*r for r.
0
Suppose 63 = 5*c + 3*x + 13, c = -3*x + 10. Suppose 0*u - c = -2*u. Solve -u*h = -7 + 32 for h.
-5
Suppose 19*u - 98 = 5*u. Let x(k) = 2*k - 12. Let y be x(u). Solve j + 1 = y for j.
1
Let f = 5 - 4. Let h = 4 + f. Let d = -5 + h. Solve -b - 3 = -d*b for b.
-3
Let t = -21 + 48. Let i = t - 17. Suppose 0 = j - 5 - i. Solve p = 4*p + j for p.
-5
Let u(w) = -w + 49. Let x be u(10). Let t be 1/5 - x/(-5). Solve t = 7*s - 3*s for s.
2
Suppose 5*l - 5 = -0, -4*l + 20 = 4*z. Let n = -29 + 53. Solve z*q - 4 = -n for q.
-5
Suppose -z = -2*z + 4. Suppose 47 = 4*x + 5*v, -4*v = 1 - 13. Solve -3*g + x + z = 0 for g.
4
Suppose 15 = 5*b - n - 51, -5*n - 18 = -b. Solve 0 = 12*l - b*l + 5 for l.
5
Suppose 0 = -16*a + 11*a + 25. Suppose -3*h - 25 = -145. Let b be (h/(-12))/((-2)/6). Solve 0 = a*j - b for j.
2
Let g(h) = -6*h**2 + 52*h - 4. Let f be g(8). Solve -5*k = 13 - f for k.
3
Let v be 1548/(-48) - 6/8. Let o be (-62)/(-22) - 6/v. Suppose 2*f - o*f = -5. Solve 3*m = f*m for m.
0
Let u be 4/(-54) - (-97320)/1620. Solve 23*j = 3*j - u for j.
-3
Let p = -25 + 40. Suppose 2*o = 36 + 4. Suppose -2*g = 2*g - o. Solve g*k = -p - 5 for k.
-4
Let v(n) = -10*n**2 + n - 6. Let w be v(4). Let d be (-4)/9*w/36. Solve d*h + 3 - 1 = 0 for h.
-1
Suppose 4*x - 4 = 4*n, 0 = -2*x - 2 + 12. Solve 0 = -0*w + w - n for w.
4
Suppose 0*y = 3*y - 9. Let i be (-11)/(-6) - (-61)/122*(-3)/(-9). Solve -x - y + i = 0 for x.
-1
Let n = -24 - -27. Let y be n/(-6) + (-4)/(-8). Solve 4*f + 11 - 31 = y for f.
5
Let w be (-18)/(-8) + (-2)/8. Let k = -2 + w. Solve -r + 2 = -k for r.
2
Suppose 77 = 19*d - 18. Solve 4*n = 5*n - d for n.
5
Suppose d = 0, 3*m - 9 = -4*d + 3*d. Let o(b) be the first derivative of b**4/4 + 7*b**3/3 - 5*b**2 - 11*b + 10. Let c be o(-8). Solve 2 = -c*v - m for v.
-1
Let d(v) = -v**3 - 5*v**2 + 9*v + 9. Let c be d(-6). Let j be c*(-5)/(15/2). Let m be -4 + (3 - 4) + j. Solve -m = -2*o + o for o.
1
Let p(h) be the second derivative of h**4/6 + 11*h**3/6 - h**2/2 - 18*h. Let z be p(-6). Solve 6*s = z*s for s.
0
Let r = -102 - -104. Solve -10*y + r = 12 for y.
-1
Let n be 25*-1*(8 - 9). Solve -6*p + p = -n for p.
5
Suppose -3*a = -3*c - 30, -4*a - 25 = -7*a - 2*c. Solve a*o - 5 = -23 for o.
-2
Suppose -3*l = -3*c, -5*c - 3*l = c - 45. Solve -10 = 3*n - c*n for n.
5
Suppose -10*h - 13*h = -7*h. Solve 0*o - 5*o - 5 = h for o.
-1
Suppose -2*f = -3*f + 2*d - 1, f + 5*d - 6 = 0. Let o be (-6)/(2 + f)*-2. Suppose -3*j + 7 = b, 0 = -4*j + 3*b - o*b + 10. Solve 0 = -j*z + 9 for z.
3
Let h(x) be the first derivative of -x**3/3 + 5*x**2 + 13*x + 2. Let u be h(11). Suppose 0 = -5*z + j + 12, z - 8 = -4*j + 7. Solve 0 = -z*w + w - u for w.
-1
Let a be (-8)/7 + 2088/406. Solve 0 = a*b + 27 - 39 for b.
3
Let k(r) = -r**2 - 26*r + 10. Let w be k(-26). Let d be -5*(-1 - (-4)/w). Solve 2 = 2*l - d*l for l.
-2
Let i(r) = r**2 - 6*r - 3. Let j be i(8). Suppose j*d = 8*d + 25. Let p = 11 - 7. Solve -3*f + d = -p for f.
3
Let a be (-4)/(-3) - ((-55)/15 - -3). Solve -3*m - 4 = -a*m for m.
-4
Let g be (-902)/(-55) - (-4)/(-10). Solve -5*j + g + 9 = 0 for j.
5
Let w(c) = c**2 + c + 5. Let k be w(0). Suppose 0 = -3*m - k*m + 200. Let s = m - 19. Solve p = 4*p + s for p.
-2
Let u(q) = q**3 - 13*q**2 + 16*q - 46. Let h be u(12). Let x = 33 - 6. Suppose 7 = -5*b + x. Solve h*j = 2 + b for j.
3
Suppose -5*a + 64 = 3*a. Suppose 4*v - 3*n = 28, v + 3*n - a = -4*v. Solve u - v*u = 9 for u.
-3
Let j be (44 + -44)/((-4)/(-1)). Solve -15*c - 38 + 113 = j for c.
5
Let v(m) = m**3 + 13*m**2 + 15. Let h be 1/(-1 - (-4)/3). Suppose 0 = 3*w - 2*k + 47, h*k - 25 = -w + 2*w. Let s be v(w). Solve -s = -x - 4*x for x.
3
Let o(v) = v**3 + 8*v**2 - 7*v + 58. Let g be o(-9). Solve 0 = -g*t + 53*t + 26 for t.
-2
Let z be 3/1 + 48/(-8) + 8. Solve -z = -5*j - 30 for j.
-5
Let b be 24/(-16) + (-9)/(-6). Solve 3*m = -9 - b for m.
-3
Let k be (-294)/(-24) - 7/(-4). Solve -k - 16 = 10*g for g.
-3
Let g(n) = -87*n + 42*n + 42*n + 4*n**2. Let v(b) = b + 6. Let s be v(-4). Let t be g(s). Solve -2*l - 3*l - t = 0 for l.
-2
Let v(f) = f - 2. Let c be v(11). Suppose 4*d + 12 = 4*y, 0*y = 3*y + 4*d - c. Solve -b - 16 = y*b for b.
-4
Let p be (-3 - 0)/(3 - 448/147). Let z = p + -59. Solve 2 = -z*q - 10 for q.
-3
Let s = -4 - 3. Let c be ((-160)/35 - -4)*s. Solve 0*d + c = -d for d.
-4
Let r be 0*(-8 - (-90)/12). Solve r = -2*s - 3*s - 2*s for s.
0
Let r = -11 - -15. Suppose 0 = -3*c + l + 37, l + 26 = -2*c + 4*c. Suppose x - o = 7, -3*o + 8*o = -3*x - c. Solve -h + r*h + x = 0 for h.
-1
Suppose -63*g - 96 = -75*g. Solve -3*k = g - 20 for k.
4
Suppose -3*q - 2*q + 20 = 0, 4*w - 16 = -4*q. Let s be 6/(-15)*30/2. Let o be (-30)/s - 4/2. Solve -o*v + w*v - 12 = 0 for v.
-4
Let q(l) = 5*l**3 - 1. Let b be q(1). Suppose 11*r - 28 = 4*r. Suppose -r*f + 9*f = 0. Solve g + b - 3 = f for g.
-1
Let c(t) = 7*t**2 - 10*t - 10. Let q be c(-1). Solve 0 = -12*b + q*b + 15 for b.
3
Suppose y = -2*v - 0*v + 4, -y = -2*v - 8. Solve -2*h - y = h for h.
-2
Let y = 312 + -302. Suppose 0 = -3*n - 15, 3*b + 6 - 41 = 4*n. Solve -b*x - y = -0*x for x.
-2
Let w be (-3)/(3 - 15/6). Let d be ((-4)/(-9))/(w/(-27)). Solve -4*p - 2 = d for p.
-1
Let j be -3 - (-4 - (-9)/(-3)). Let g be (-98)/8 - j/(-16). Let q = g + 14. Solve -5 = -q*b - 3*b for b.
1
Suppose -5*y - 2*k + 24 = 0, 0 = 3*y - 2*y - 4*k - 18. Solve -y*f + 2 = -28 for f.
5
Let g(o) = o**2 + 53*o - 351. Let j be g(6). Solve -j = -7*t + 4 for t.
1
Suppose 5*u = 4*v + u - 32, v = 2*u + 5. Suppose v = -a + 25. Let g(f) = 4*f**2 + f - 1. Let p be g(1). Solve 0 = 2*k + p - a for k.
5
Let s(z) = -z**3 - 11*z**2 - 3*z - 33. Let h be s(-11). Solve -p - 6*p - 28 = h for p.
-4
Let t be 48/10 + -1 - 27/(-135). Suppose p = 3*b - p - 7, 10 = 2*b + t*p. Solve 13 = -b*z + 1 for z.
-4
Let z(x) be the third derivative of x**6/120 - x**4/12 + 2*x**3/3 + 3*x**2. Let u be z(0). Solve -u*b + 9*b + 20 = 0 for b.
-4
Suppose -14 = 12*x - 5*x. Let c be (-5)/(-10)*-4 - x/1. Solve -2*b - 3*b = c for b.
0
Let i(w) = 4*w**2 + 1. Let b be i(-1). Suppose -b*h + 0*d = 3*d - 73, -5*h - 5*d + 75 = 0. Let q = h + -10. Solve -q = m - 7 for m.
3
Let a be 1 + (4 - 1) - -4. Suppose 2*r + a = -2*b - 2*b, 2*r + 3*b + 5 = 0. Solve -3*p - r - 10 = 0 for p.
-4
Let l be 5 + -3 + 4 + -3 + 1. Suppose 0 = l*k + 3*k - 21. Let x = 2 - 2. Solve -k*u + 1 + 2 = x for u.
1
Suppose 3*t = -2*t. Suppose t = -s - 2*k + 3 + 1, s + 4*k = 6. Solve s*m - m = -5 for m.
-5
Suppose 26*g = 20*g. Solve -3*f - 8*f = g for f.
0
Let q be (-156)/(-8) - (-2)/4. 