r b.
1
Suppose 2*p - 4*p + 2 = 0. Let y be 2 - (p + -2 + -1). Suppose 0 = 2*l - 4 - 2. Solve -4*i + y = -l*i for i.
4
Let f(g) = g**2 + 3. Let s be f(0). Let r = 3 - s. Suppose -2*o + 0 = 2*m - 10, 0 = -4*o. Solve r*l - 10 = m*l for l.
-2
Suppose 5*p = -0*q + 5*q + 5, 30 = 5*q + 2*p. Let c be q + -2 + (-4)/(-2). Solve -13 - 3 = c*h for h.
-4
Let x = 5 + 5. Solve 0 = -3*p + 5*p + x for p.
-5
Suppose 0 = -4*q + 2 - 18. Let n = -4 - q. Let v(x) = 2*x**3 + 2*x**2 - x - 1. Let l be v(1). Solve n = u - l*u - 2 for u.
-2
Suppose r - 10 = -5*l + 8, -5*r - 2*l = -21. Suppose -3*p - 5*h = -12, -3*h + 12 = r*p - 0. Let z be p/(-1)*5*-1. Solve 5 = 3*s + z for s.
-5
Suppose 3*b + 0*b + 4*s = 0, -5*s - 15 = 0. Solve -l = b*l for l.
0
Suppose -5*f + k + 23 = 0, -3*f + 0*k = 2*k - 6. Solve 0*s - 4*s = f for s.
-1
Let o be 1 + 0 + -1 - -1. Suppose 4 = g + 2. Solve -t - o = g for t.
-3
Suppose -3*x - 4*p - 1 - 17 = 0, x = -3*p - 1. Suppose 4*l = -4, -4*q - 123 = -6*l + l. Let y be (1 + 4)*q/x. Solve y = -i - 3*i for i.
-4
Let w(i) = i**2 - 6*i - 13. Let h be w(8). Solve -h*q + 2*q + 2 = 0 for q.
2
Let l(d) = -d**2 - 9*d - 4. Let u be l(-9). Let i(m) be the third derivative of -m**5/60 - m**4/6 + 5*m**3/6 + 2*m**2. Let c be i(u). Solve -5*x - 5 = c for x.
-2
Let j = 12 - 6. Suppose 0 = j*t - 4*t. Solve t*n = -2*n - 10 for n.
-5
Let x = 3 + 4. Let g be 2/(-14) - (-1)/x. Suppose 0 = u + 5*a + 19, -5*u = 2*a - g + 3. Solve -3*n + 4*n = -u for n.
-1
Let m(o) = -2*o - 4. Suppose 24 = 5*s + 79. Let b = s + 7. Let f be m(b). Solve 0 = -f*g - g for g.
0
Let z = -10 + 6. Let a(h) be the first derivative of h**4/4 + h**3 - 5*h**2/2 - h + 4. Let q be a(z). Solve -1 = 2*d + q for d.
-2
Suppose 0 = -3*g + 9 + 12. Solve 3 - g = -b for b.
4
Let h be 1296/360 + 4/10. Suppose 8 = 2*d - d. Solve 0*w - h*w - d = 0 for w.
-2
Let d be (-80)/(-7) - (-40)/70. Solve -4*t = -t + d for t.
-4
Let q = -102 - -102. Solve -2*y + q = -6 for y.
3
Let n(z) = z**3 + 10*z**2 + z + 9. Let a be n(-10). Let b = a - -4. Let u(s) = -s. Let m be u(-2). Solve -1 = -b*c + m for c.
1
Suppose 0 = -c + 4*c. Solve -3*f = -c*f for f.
0
Suppose -49 = 4*f + 23. Let a be -2 - -1*(-1 - -355). Let n be (-4)/f + a/36. Solve g + 4*g = n for g.
2
Suppose 0 = 4*m - 6*m + 8. Let h = 7 - m. Solve -h*a = -0 - 6 for a.
2
Suppose 0 = -2*s - s + 9. Suppose 2*f - 5*g = -2, 27 = 5*f + 5*g - s. Solve 4*o - f = -0*o for o.
1
Let b(q) = -q - 6. Let g be b(-6). Let t(l) = -l**2 - 8*l - 6. Let k be t(-6). Let m = -7 + 9. Solve -m*i = -g + k for i.
-3
Let l(j) = -9*j + 2*j - j**2 + j + 6. Let h be l(-6). Suppose 6*p - 3*p + 2 = -c, -p = 2*c - h. Solve -c*r + 12 = -r for r.
4
Let c be (-1)/2*(-7 + 3). Let o be (-1)/(-1) + (-2)/c. Suppose -k - 4*k + 5 = o. Solve 0 = -3*d - 8 - k for d.
-3
Let g = 70 + -58. Solve 4*h + g = -0*h for h.
-3
Let r(i) = i**3 - 9*i**2 + 9*i - 3. Let p be r(8). Solve 0 = 4*x - p*x - 3 for x.
-3
Let c(n) = n + 8. Let m be c(-6). Let p be (-2)/(-6) - m/(-3). Let t be (p/2)/(1/10). Solve -t = 3*u - 20 for u.
5
Let o = 14 - 9. Suppose 0 = -0*v + o*v - 35. Solve v*t + 20 = 3*t for t.
-5
Let t(p) = p**3 + 5*p**2 + 4*p. Let a be t(-4). Suppose m + 3 = 5. Solve -6 = -a*w - m*w for w.
3
Let j be 7/21 + 56/(-6). Let s be (12/j)/(1/(-3)). Solve -s*d + 15 = -d for d.
5
Suppose -2*j + 6*j - 20 = 0. Solve j*n = -3 - 2 for n.
-1
Let m(c) = c**2 + 23*c + 66. Let j be m(-20). Solve -8*z + 11*z = j for z.
2
Let z(j) = 2*j - 1. Let x be z(9). Let i = x + -14. Solve o - i*o = 10 for o.
-5
Let k = 0 - -2. Suppose -k*q - 3 = -1. Let t be (45/(-36))/(q/4). Solve 0 = -5*p + 4*p - t for p.
-5
Suppose -3 - 12 = -3*u. Let f = -4 - -6. Suppose -7*g - u*r = -2*g - 40, 5*r = f*g - 2. Solve g = -c + 4 for c.
-2
Let a = 7 + -4. Let o = 8 - a. Solve -5 = -2*b + o for b.
5
Let v = -45 + 47. Solve 0 = 5*f + v - 12 for f.
2
Let c be -2 + 9/(3 + -2). Suppose 4*h = -20, 3*q + 2*h = -c - 0. Suppose 0*x = 2*k + 3*x - q, 3*x - 16 = -5*k. Solve 5 = k*l - 5 for l.
2
Suppose -16 = -5*j - 6. Suppose -5*o + 108 = 4*h, o + j*h - 39 + 15 = 0. Solve o = w - 5*w for w.
-5
Let s = -14 + 8. Let i be (-1)/((-3)/s) + 2. Solve -y + 3*y + 6 = i for y.
-3
Let q(a) = 2*a**3 + a**2 + 2*a - 1. Let i be q(2). Let r = i - 8. Solve -y - r = 4*y for y.
-3
Suppose 0 = u + 2, -5*u - 3 - 7 = -3*i. Solve 3 + i = -3*w for w.
-1
Let r(h) = h**2 - 20*h + 42. Let c be r(18). Solve b - 5 + c = 0 for b.
-1
Let u = 85 + -40. Suppose -u = 3*d - 15. Let h = 14 + d. Solve 0 = -h*g + 5 + 3 for g.
2
Suppose -2*l = -3*l + 2. Suppose 8*b - 3*b = -4*d + l, -2*d = 4*b - 4. Solve -12 = -b*o - 2*o for o.
3
Let i(d) = -6 - d + 2 - 2*d + 1. Let s be i(-2). Solve 2*w + s*w - 15 = 0 for w.
3
Let u(j) = -j**2 + 14*j - 2. Let m be u(14). Let c be 0/(-3 - (m - 0)). Solve 2*l + 4 + c = 0 for l.
-2
Let b(p) = -p**3 + 8*p**2 + 20*p. Let f be b(10). Solve f*o + 2*o = -2 for o.
-1
Let s be -2 + 15 + 2 + -1. Let l = s + -13. Suppose 0*o + 6 = 3*o. Solve o*j - 3 - l = 0 for j.
2
Let l be 6 - 0/(-3*1). Let b = 20 - 11. Suppose 2*o = -o + b. Solve -l + 15 = o*v for v.
3
Let k = -2 - -7. Suppose 8*a - k*a = 0. Let o(q) = -3*q + 1. Let h be o(-1). Solve a = h*t - 3*t + 1 for t.
-1
Suppose 5*o + 35 = 5*t, t + 11 + 7 = -4*o. Let u(a) = 10*a + 1. Let r be u(-1). Let l be (-30)/r + (-3)/9. Solve 0 = -j - t*j + l for j.
1
Let f be (-87)/(-15) + (-2)/(-10). Let n be (-9)/f*(-1 + -1). Solve -n*c - 2 - 1 = 0 for c.
-1
Let w be 0 + 1 + 4 + 0. Solve 8 = -w*f + 3*f for f.
-4
Suppose -5*w - 12 + 2 = a, 0 = a - 2*w - 11. Solve 0*q = -5*q + a for q.
1
Let j(u) = -4*u - 11. Let h(z) = 3*z + 10. Let q(s) = 5*h(s) + 4*j(s). Let m be q(6). Solve m*l = 4*l + 4 for l.
-1
Suppose 9 = 3*z - 0. Let o be 11/3 - (-1)/z. Solve 0 = -u - 0*u + o for u.
4
Let m be 4/(-10) - (-112)/(-20). Let j(s) = -s + 6 + 2 + 2*s. Let l be j(m). Solve c - l*c = -4 for c.
4
Suppose -4*d = -6*d - 12. Let i(s) = -s**3 - 5*s**2 + 3*s - 3. Let v be i(d). Suppose g = 3*t - 0*g - 20, t = -3*g - 10. Solve -t*y + 0*y + v = 0 for y.
3
Let g(l) = -l + 19. Let k be g(17). Suppose k = u - 1. Solve u*m + 2*m = 0 for m.
0
Suppose 0 = -4*n - 4*d, -2*d + d + 10 = 3*n. Suppose -3*u + 5*v - 4*v + 23 = 0, -3*u + 38 = -4*v. Let j = 8 - 4. Solve -j - u = n*i for i.
-2
Suppose -6*b = 11 - 23. Solve b*c - 20 = -2*c for c.
5
Let f be (-12)/(-9)*3*2. Let y = -8 + f. Suppose x + x - 8 = y. Solve x*c - 16 + 0 = 0 for c.
4
Suppose 2*f = -4*s + 8, 4*f + 4 = 6*s - 4*s. Solve g = -s*g for g.
0
Let h be 12/(-10)*((-25)/10 - 0). Solve j + h*j - 8 = 0 for j.
2
Let z(w) = -3*w - 4. Let b(g) = g + 1. Let i(a) = 2*b(a) + z(a). Let j be i(-5). Solve 2*h - 20 = -j*h for h.
4
Let i = 5 - 4. Let k(f) = -3 - 1 - 7*f**2 + 28*f**2 + 3. Let q be k(i). Solve 6*a = 2*a + q for a.
5
Suppose -5*p - 12 = -3*r, p + 12 = 3*r - 0*r. Solve p = a + a for a.
0
Suppose -3*m + 3 = -4*m. Let q = m + 4. Solve q = -t - 1 for t.
-2
Suppose -3*b + 2 = 4*s, 4*b - 10 = s - 1. Suppose 3*i - 63 = -3*m, m - 3*i = b*i - 9. Suppose -j - j = -m. Solve 8 = 4*v - j for v.
4
Let r(a) = 14*a**3 - 24*a**2 + 13*a + 27. Let u(d) = -5*d**3 + 8*d**2 - 4*d - 9. Let b(s) = -6*r(s) - 17*u(s). Let l be b(-9). Solve l = 3*w + w for w.
0
Suppose w - 6 = -2*w. Suppose -3*l = -1 - 5. Solve -l*b = -0 - w for b.
1
Let j(w) = -w - 7. Let y be j(-5). Let x be y/3 + 20/3. Solve 3*k - 3 = x for k.
3
Let j be (-5)/20 + 13/4. Let k(b) = -5*b**3 + 3*b**j - 3*b**2 + 3*b**3 + 2 - 4*b. Let q be k(4). Solve -8 = -0*l + q*l for l.
-4
Suppose -6*j - 21 = 3*f - 3*j, -5*j + 5 = -5*f. Let a be -2 + 10/f*-2. Suppose 0*u = -t - 3*u - 1, -3*t + 3 = a*u. Solve t*o + 15 = -3*o for o.
-3
Suppose -j = -4*l + 7, -5*l + l - 2 = 2*j. Solve -v - l = -5 for v.
4
Let q(t) = t + 8. Let u be q(-8). Solve -4 = -u*w + w for w.
-4
Let j(p) = -p**3 + 4*p + 3. Let h be j(-2). Let v be 1/(-2) + (-33)/(-6). Let l(a) = -a**3 - 3*a**2 + 2. Let x be l(-3). Solve h*r + v = x for r.
-1
Let r(t) = 4*t**2 + 2*t. Let d be r(2). Let g(y) = -4*y - 30. Let q be g(-9). Solve -l + q*l = d for l.
4
Let p be (0 + (-5)/(-3))*3. Suppose -p*q + 8 = -82. Let s = 15 + -9. Solve -q = -3*k - s for k.
4
Let f(h) = -h**2 - 8*h + 8. Let o be f(-8). Let x = 8 - o. Solve x*s = s for s.
0
Suppose 0*i - 3*i = 2*b - 15, -4*b + 3*i - 15 = 0. Solve b = -4*d + 8 - 28 for d.
-5
Suppose -2*s + 3 - 9 = 0, -2*i