r b.
5
Let r(d) = 3*d + 2. Let j be r(2). Solve 3*m - m = j for m.
4
Suppose 4*a = -0*a + 16. Suppose -2*t = -a - 4. Solve 0 = -t*c + c - 15 for c.
-5
Suppose -y = -2*y + 3. Suppose -y = 2*k - 35. Suppose 12 = -3*q, -3*c + 2*q + k = -2*q. Solve f + f = c for f.
0
Let s be (-2)/6 - (-8)/(-12). Let f(u) = 4*u + 1. Let b be f(s). Let i be 2*(b/(-1) - 2). Solve 9 = i*q + q for q.
3
Let d be (-5)/(-2) + 1/(-2). Suppose -18 + 0 = -3*p. Suppose -p*y = -11*y. Solve y*h - d = -h for h.
2
Let m be 4/16 - (-14)/8. Suppose -5*f + 61 = -4*x + 5*x, -m*x + 38 = 3*f. Suppose 0*s = -3*s + f. Solve 0*a = s*a + 20 for a.
-5
Let h(z) = -z**2 + 4*z - 2. Let m(b) = -b - 2. Let k be m(-6). Let u be h(k). Let i = -2 - u. Solve -2*v + 2 = -i*v for v.
1
Let m(d) = d - 1. Let j be m(1). Suppose -3*i + j*i = -24. Let n = i - 2. Solve 4*k = 14 + n for k.
5
Let o be (105/(-20))/7*-4. Solve o*f + 2 + 13 = 0 for f.
-5
Suppose -29 = -3*q + 3*s - 5, -5*q + s + 36 = 0. Let g(u) = -2*u - 13. Let v be g(-10). Suppose -1 - v = -4*b. Solve b*n = q - 3 for n.
2
Let j(c) = -c**3 - 5*c**2 + 35*c - 5. Let s be j(-9). Let g be 4/3*(5 - 2). Solve -g*m - s = 16 for m.
-5
Suppose -3*i + 7*i + 2*f - 12 = 0, 16 = 5*i + 3*f. Solve -i*a - 13 + 5 = 0 for a.
-4
Suppose 2*o + 4 = 3*o. Suppose -6 = 2*q, -o*z - q = q + 6. Solve z = t - 3 + 1 for t.
2
Suppose 5*g = 3*g - 78. Let h = 55 + g. Suppose 4*m = -4*w + h, -2*m + w - 2 = -2*w. Solve m*y - 12 = -y for y.
4
Suppose -4*s + s + 90 = 5*a, 5*s = -4*a + 85. Suppose -a*m + 17 = -14*m. Solve 4*k + 3 = -m for k.
-5
Let s be (-8)/(-6)*(-9)/6. Let f be s/4*(3 - 3). Solve 3*z + 0*z - 9 = f for z.
3
Suppose -3*n = 2*n + 2*c - 14, -2*c + 8 = 2*n. Let w = n - 2. Solve -r = -w + 3 for r.
-3
Let u(m) = 2*m - 1. Let c be u(-3). Let w be -7*(16/c + 2). Solve -w = -r - 3 for r.
-1
Let x be 2 - (3 + (-1 - 0)). Let l(j) = j**3 - 6*j**2 + 6*j - 1. Let v be l(5). Solve x*m - 16 = -v*m for m.
4
Suppose -8 = -10*j + 8*j. Solve m - j = -3*m for m.
1
Suppose 22 = -2*h + 26. Solve -h*z + 5 = -3 for z.
4
Let c be -2*2/2 + 4. Suppose 0 = -c*w - 0*w + 14. Solve -2 + w = -5*n for n.
-1
Suppose 0 = -5*q - 0*q + 30. Suppose 2 = 3*c - 2*c. Let i = 0 + c. Solve q = -5*l + i*l for l.
-2
Let o = -19 + 11. Let z be 19/4 + (-2)/o. Solve h = z*h for h.
0
Suppose -5*m = -5*b + 10, 3*b + 0 = 2*m + 6. Suppose -3*v + 2*v = m. Solve v = 3*a - 2*a for a.
0
Let n = -8 - -24. Let k = n + -10. Suppose 3*s = k*s. Solve s = u - 0*u for u.
0
Suppose -4*b = -9 + 41. Let m(h) = -h - 8. Let z be m(b). Solve z*f + f = 0 for f.
0
Let w be 9 - (-20)/(-15)*3. Solve -w*f = 6 - 1 for f.
-1
Let d(i) = -7*i. Let j be d(-1). Let n = -4 + j. Solve r + n = -2*r for r.
-1
Suppose v = -b + 3, b + 5*v - 6 = -b. Solve b*t - 6*t = -3 for t.
1
Let c(a) = -2*a - 9. Suppose 7*j - 6*j - 5 = 0. Let o be (-4)/2 + (0 - j). Let v be c(o). Solve 28 = -v*r + 3 for r.
-5
Suppose 4 = i + 3*i. Let h(p) = p - 6. Let g be h(8). Let z(c) = -c**3 - 20*c**2 - 21*c - 35. Let x be z(-19). Solve -i = g*y - x*y for y.
1
Let t be 126/(-27)*3/1. Let a be (t/(-21))/((-2)/(-75)). Solve -5*c = -0*c + a for c.
-5
Let i(y) = y**2 + 28*y + 79. Let j be i(-25). Solve -j*u + 27 = 7 for u.
5
Let l be (-1)/((2 - 1)*-1). Suppose -2*u + 8 = 4. Solve -l = -u*n + n for n.
1
Let m(g) = -g - 4. Let w be m(-4). Let z be 15 - 0/(3 + w). Solve -4*k - z = -k for k.
-5
Let g(p) = -p**2 + 5*p + 1. Let z be g(3). Solve -4*d - 9 = -z*d for d.
3
Let r(i) = 2*i**2 + 3*i + 2. Let a(u) = u**3 - 4*u**2 + 2*u + 2. Let f be a(2). Let j be r(f). Solve -4*s + 12 = -j for s.
4
Let p(l) = -2*l**2 + 2. Let r be p(-2). Let q be -6*(-7)/((-63)/r). Solve -t + q = -1 for t.
5
Suppose -3*i + 5*x + 6 = 0, -5*x + 0*x = 5*i - 10. Solve -i = 4*g + 2 for g.
-1
Let d(g) = g**2 + 2*g - 4. Let u be d(-4). Let q be (-2 - 6/u)*-2. Let l be ((-39)/(-6))/((-1)/(-2)). Solve 4*f = l + q for f.
5
Suppose -8*i + 10*i = 158. Suppose 3*u + 43 = 4*s - 18, -u = -5*s + i. Solve s = -6*d + 2*d for d.
-4
Let j be (-2)/13 - (-22)/(-26). Let x be 8 + 4 + 3/j. Solve 5*k - x*k - 16 = 0 for k.
-4
Suppose -22*n + 17*n = 0. Let p(i) = i + 0 - 2 + 0*i. Let h be p(4). Solve n*b - 10 = -h*b for b.
5
Let u = -12 + 22. Let i = u - 7. Let c be (-2 + i)*1*2. Solve -c*z = 3*z - 10 for z.
2
Suppose o - 23 = -5*b + 5*o, o + 14 = 4*b. Suppose b*k - 5*f = 0, -2*k = 4*f + f - 25. Solve q = 1 - k for q.
-4
Suppose 20 = -5*p, 0*d = -4*d + p + 56. Suppose 0*q + q = d. Solve -5*k + q = -2 for k.
3
Let d(n) = n**3 + 5*n**2 - n - 3. Let p be d(-5). Suppose -4*r + 21 = 5*v, 3 = p*v - 3*r + 13. Solve 8 = -3*f - v for f.
-3
Suppose 0 = -v + 4 - 2. Suppose 2*s = -2, -v*t - 3*s + 3 + 0 = 0. Solve 2 = t*z - 4 for z.
2
Let n = -23 - -35. Let v(r) = r**2 + 11*r + 14. Let i be v(-10). Let b be (-2)/(-5) - 8/(-5). Solve -n = -b*w - i for w.
4
Suppose 7*o = 3*o. Solve s + 1 - 2 = o for s.
1
Let z(r) be the second derivative of -r**5/20 + r**4/12 + r**3/6 + 3*r**2/2 - r. Let h(a) = -a + 9. Let u be h(9). Let d be z(u). Solve 8*j = d*j for j.
0
Let o(x) = 14*x**2 + 1. Let v be o(-1). Suppose -2*b + 5*j = 10 - 39, 5*b = j + v. Solve -b*y + 0 - 2 = 0 for y.
-1
Let u(o) = 1 - 6*o + o**2 - o - 9. Let j be u(8). Suppose j = 4*l + l - 3*h - 45, 3*l + 2*h - 8 = 0. Solve l*w = 2*w + 4 for w.
1
Suppose 0*u - 3*u - 5*m = 57, 2*m = -5*u - 76. Let d(t) = t**2 + 15*t + 16. Let i be d(u). Solve 2*r = -i*r - 16 for r.
-4
Suppose 4*x = -10 - 10. Let b(t) = t**3 + 5*t**2 + t + 6. Let s be b(x). Solve d = -s - 0 for d.
-1
Let s = 8 - 18. Let a be 4/10 + (-46)/s. Suppose a*j + 3 = 38. Solve n + 3 = j for n.
4
Let k = 18 + -23. Let w(p) = -3*p - 11. Let v be w(k). Let c(g) = g**2 - 4*g - 2. Let r be c(5). Solve q = r*q + v for q.
-2
Let x be (-1 - 0)/((-5)/10). Solve -x*f = -f for f.
0
Let k be (-1)/(-1)*(14 - 9). Solve k*f = 2 - 22 for f.
-4
Let n(g) = g + 15. Let p be n(-7). Solve -17 - p = -5*o for o.
5
Suppose 4*n - 5*t - 24 - 15 = 0, 3*t = -5*n + 95. Suppose -n = -5*s + s. Solve -2*p = -s*p + 4 for p.
2
Suppose 0 = -0*d + 3*d + 5*o, -o - 8 = -d. Suppose -2*t - 22 = -0*m - 3*m, -d*m = t - 15. Solve -m*x + 6 = -6*x for x.
-3
Let z(u) = u**3 - 12*u**2 + 13*u - 8. Let m be z(11). Suppose -2 = 2*x + m. Let c = -8 - x. Solve c = v - 1 + 3 for v.
-2
Let y(s) = s**2 + 2 + 7*s - 2 + 2. Let u be y(-5). Let o be -1 + (-1 - u - 0). Solve 2*n = 5*n - o for n.
2
Let k be -1 - (0 - -2) - 0. Let u = 1 - k. Let m be (0 + (-10)/(-4))*2. Solve u*t - m*t = 0 for t.
0
Suppose -2*n + 2 = 0, 5*n = 5*x - 9 - 1. Solve -19 + 7 = x*g for g.
-4
Let v(c) be the first derivative of -c**4/4 + 4*c**3/3 - 2*c**2 + 4*c + 9. Let f be v(3). Solve -4*h + f = 9 for h.
-2
Suppose 0 = -7*d + 10*d. Suppose d = -q - t + 1, -5*q + 0*t - 2*t = -2. Suppose -5*n = -9*n. Solve -2*c - 8 + n = q for c.
-4
Let q(x) = x**3 - 5*x**2 + 4. Let v be q(4). Let p be -3 - (-3 - v/(-3)). Solve -13 = p*u + 3 for u.
-4
Let w be (-2)/(3 - 4) + -4. Let q(i) = -i. Let r be q(w). Solve -r*a - 1 = 5 for a.
-3
Suppose 2*a + a - 5*w + 7 = 0, w - 2 = 0. Solve -j - 3 + a = 0 for j.
-2
Let j be (35 - 33)*(1 + 0). Solve 9 = r + j*r for r.
3
Let r(b) be the second derivative of -b**4/12 - 2*b**3/3 + 5*b**2/2 + b. Let u be r(-5). Let f(y) = 2*y - 4. Let m be f(5). Solve m = 2*j - u*j for j.
3
Suppose d = 2*g + 1, g - 22 = -4*d - 9. Suppose 4*n - 4*s + 2 = 22, -10 = 4*n + 2*s. Suppose 0 = 3*u + t - g, 4*t + 30 = 5*u - n*u. Solve 2*w + 8 + u = 0 for w.
-5
Suppose 0 = i + 5*k + 8, -2*k = -k + 2. Let m = -30 + 30. Solve 0 = -i*q - m + 2 for q.
1
Suppose -3*d - 3*d - 48 = 0. Let v be 1/2*(d - -14). Solve -6 = -x - v for x.
3
Let d(x) = x + 17. Let g be d(0). Suppose g = 4*s + 5. Solve -z + 1 - s = 0 for z.
-2
Suppose -4*p + 48 = -0*p. Let k(s) = -s + 4. Let a be k(-6). Let t be (-27)/(-5) + (-4)/a. Solve 0 = -r + t*r - p for r.
3
Let o = -18 + 23. Solve 0 - o = x for x.
-5
Suppose -5*n + 9*n - 8 = 0. Solve -9 + 1 = n*t for t.
-4
Let l be (-5)/((-5)/2) - -3. Suppose l*o + 19 - 109 = 0. Suppose j - 5*q + o = 0, -5*q = -2*j - 0*j - 11. Solve 3*p = j - 19 for p.
-4
Suppose -4*a + 8 = -12. Suppose -a*l = -4*f - 10, -4*f = -4*l - f + 9. Suppose -3*g + 4*s = -17, -3*g + l*g = -3*s + 3. Solve -t + g*t - 8 = 0 for t.
4
Suppose -5*l = -5 - 20. Solve -2 + 17 = -l*c for c.
-3
Suppose 3*w + 2*h - 1 = -7, 0 = -4*w - 4*h - 12. Let y = 2 - -