= g*r + 2 for r.
2
Let c(o) = -4*o - 3. Let i be c(-2). Let g be (i/(-2))/((-1)/2). Suppose -q = -4*p - p, 2*q - 10 = 0. Solve p = g*f - 4 for f.
1
Let s = 15 - 7. Let c be 5 + s/(-2) + 3. Solve c = h + 5 for h.
-1
Suppose 0 = -9*f + 5*f + 16. Solve -2*z + z + f = 0 for z.
4
Let p(d) = d**3 + d + 2. Let l be p(0). Suppose l*m = -2*m. Solve m = -5*a - 4 - 1 for a.
-1
Let c(s) be the third derivative of s**5/30 + s**3/6 + 5*s**2. Let u be (1 - -1)*1/2. Let i be c(u). Solve -1 = -2*r - i for r.
-1
Suppose 3*z + 4*g + 4 = -z, 6 = -5*z - 4*g. Let d be 50/15 + z/(-3). Solve d*i + 2 - 18 = 0 for i.
4
Let l = -61 - -63. Solve 0 - l = f for f.
-2
Let v = 31 + -28. Solve 0 = -2*p - p - v for p.
-1
Let m = -8 + 12. Let r be (9 - 4)*m/10. Suppose 0 = -r*c + 31 + 25. Solve -5*o + c = 3 for o.
5
Suppose 3*i = -0*i + 30. Let b = 15 - i. Solve -3 = 4*d + b for d.
-2
Suppose 0 = -2*r - 3*r - x + 8, -3*r = 5*x + 4. Let a(z) = -z + 2. Let j be a(r). Solve j = 2*w + 2 for w.
-1
Let d = 1 + 1. Suppose 0 = z - 5*w - 20, 4*z = 2*z - 4*w - 16. Suppose -d*a - a = z. Solve -5*h - 15 = -a*h for h.
-3
Suppose 4*u - 109 = -5*c, 2*c - 5*c - 5*u = -68. Suppose 0 = 4*a - c + 5. Suppose 10 = 5*r, -3*m = -a*r + 3*r - 10. Solve m*f = -1 - 7 for f.
-2
Let i(t) = t**3 + 4*t**2 - 5*t + 2. Let f be i(-5). Suppose -2*r = q - 5, -r + f = 5*q + 4. Solve 7 = r*g + 1 for g.
2
Suppose 33 = 5*g + 4*c, 2*g + 0*g = -3*c + 16. Suppose 0*z - 5*z = 0. Solve -2*v - 3*v - g = z for v.
-1
Suppose 2*b - 2 = b. Suppose 5*c + 6 = 8*c. Solve c*q - q - b = 0 for q.
2
Let k(u) = -u**3 + 15*u**2 - 13*u - 11. Let i be k(14). Solve -3*n = -0*n - i for n.
1
Suppose -c = -0*c + 3. Let m be (-5)/c + 7/21. Solve 0 = a + m*a - 3 for a.
1
Let j(t) be the second derivative of -t**4/12 - 2*t**3/3 + 5*t**2/2 + 4*t. Let u be j(-5). Solve -12 = 3*d - u*d for d.
-4
Suppose 3*n - g = 11, 5*n - 13 = 2*n - g. Suppose -12 = -2*v + 2*r, v = -r - 2 + n. Solve 0 = -v*q - 2 - 10 for q.
-3
Let a(m) = m**2 - 7*m + 3. Let i be (-148)/(-20) - (-4)/(-10). Let f be a(i). Suppose -2*y - 2*y + 56 = 0. Solve 0 = f*j + y - 5 for j.
-3
Let w(z) be the second derivative of -z**5/20 - 5*z**4/12 - z**3/2 + 2*z**2 + 2*z. Let r be w(-4). Solve -4*x = -r + 4 for x.
-1
Let l(q) = q**3 - 6*q**2 + 2*q - 9. Suppose -20 = w - 5*w. Suppose 4*v - 28 = -4*i, 3*v - 6 - 27 = -w*i. Let b be l(i). Solve -8*z + b*z = -20 for z.
4
Let z(y) = y**3 - 10*y**2 + 11*y - 13. Let v be z(9). Solve -8 = v*a - 3 for a.
-1
Suppose 4*t + 6 = -5*j - 6, -3*j = 2*t + 6. Solve n - 4*n - 3 = j for n.
-1
Let w(u) = -u**3 + 5*u**2 - 4*u - 2. Let a be w(4). Let m be a - ((0 - 1) + -4). Let f be 2/(-10) - (-11)/5. Solve 7 = -f*s - m for s.
-5
Let d(l) = -l**3 + 6*l**2 - 5*l + 4. Suppose -3*v = -10 - 2. Let u be d(v). Solve -3*i = i + u for i.
-4
Suppose 0*p + p = 0. Suppose 3*c - c = 4*d - 14, 4*c - 17 = -d. Solve p*x = -d*x - 25 for x.
-5
Let j = 74 + -69. Solve 3*s - j*s = 8 for s.
-4
Let m = -15 - -15. Solve p + p + 6 = m for p.
-3
Suppose u + 10 + 0 = 2*g, 0 = 4*g + 5*u - 20. Solve -a = -g*a + 4 for a.
1
Let p be (2 - -1)/((-9)/6). Let f(h) be the third derivative of h**5/30 + h**4/12 + h**3/3 - 2*h**2. Let x be f(p). Solve -x*t + 2*t + 12 = 0 for t.
3
Let d = 127 + -125. Solve 5*w - 8 = d for w.
2
Let r be 4 - -7*(3 + -2). Solve -4*d + r = -5 for d.
4
Let x = 470 + -302. Suppose -4*a + x = -0*a. Suppose -2*o + a = o. Solve 3*j = -o + 2 for j.
-4
Let n = 4 - 2. Suppose -n = -2*t + 3*s + 4, s - 3 = -t. Solve -t*l = 8 + 4 for l.
-4
Let x be 1/(-6)*-3*8. Suppose -3*b - x*c + 19 = -2*b, 14 = 2*b - 4*c. Suppose -3*v = -2*s + 3*s - 98, v = -4*s + 51. Solve 4*a = b - v for a.
-5
Let h(y) = -y**3 - 6*y**2 + 7*y + 2. Let n be h(-7). Suppose 0 = n*m + 4*p - 10, -m - 15 = -0*m - 3*p. Let b = m + 7. Solve -8 = 4*s + b for s.
-3
Suppose -118 + 18 = -5*j. Solve j = r + 3*r for r.
5
Let k be ((0 - 0)/(-1))/(-2). Suppose k = 3*n - 6*n + 6. Solve -2*l - n = -l for l.
-2
Let r(p) = -p**2 + 3*p + 4. Let a be r(-3). Let m be (8/28)/((-2)/a). Solve 4*k - m*k = -10 for k.
-5
Let q(z) = -3*z - 15. Let x be q(-6). Solve 2*u - 20 = -x*u for u.
4
Suppose 2*u = 4*u. Solve -r - 1 - 2 = u for r.
-3
Let u be (-1)/(-2)*((-1 - 3) + 10). Solve -u*n + 1 = -5 for n.
2
Let u = 29 - 29. Suppose t + t = u. Solve 2*d + 8 = -t*d for d.
-4
Suppose 7*n - 2*n - 23 = -2*f, n + f = 7. Solve -n*g + 4*g = -4 for g.
-4
Suppose 0 = 2*b + 3 - 11. Suppose -3*y = -5*j + 19, -b*y + 2 = 14. Solve -z + 5 = j for z.
3
Let s be 6/4 + 13/2. Suppose 3*v - s*v = 0. Let u = 3 - v. Solve -4*k = -u - 13 for k.
4
Let f(k) = -k**2 - 8*k - 3. Let j be f(-7). Suppose -2*l - x - 2*x - 12 = 0, -3*l + 16 = -j*x. Solve l = 2*v - 1 + 5 for v.
-2
Let b(w) = w**2 + 12*w. Let c be b(-12). Solve c = -10*t + 5*t + 5 for t.
1
Suppose 2*x = -x. Solve n + n + 10 = x for n.
-5
Let a be (-10)/3 + (-2)/(-6). Let h = a + 5. Let q be -1 - -6 - (-1 + 4). Solve h + 4 = -q*y for y.
-3
Suppose -5*r + 13 = m, -5*m - 15 = 4*r - 38. Suppose -m*h = -h - 6. Suppose -4*p - 2*g + 10 = -3*p, -5*p - 3*g = -15. Solve -15 = -p*c - h*c for c.
5
Let n(w) = w**3 - 3*w**2 + 3*w. Let q be n(3). Let s = 24 - q. Solve -6*a = -3*a + s for a.
-5
Suppose -6*q + 17 = -19. Solve -q = x - 3 for x.
-3
Suppose -g + 23 = -5*r, -4*g - 8 = 2*r + 10. Let v = g + 6. Suppose 0*k - k = -v. Solve 3 = l + k for l.
-1
Let s(u) = u**3 + 3*u**2 - 4*u + 3. Suppose 3*y = -3*t - 27, -5*y - t - 3 - 22 = 0. Let k be s(y). Suppose -7*h = -3*h. Solve h = k*n - 2*n + 1 for n.
-1
Let v(t) be the third derivative of -t**6/120 + t**5/60 + t**3/6 + 2*t**2. Let n be v(0). Let z = 4 - n. Solve 3*r = 4*r - z for r.
3
Let f(o) = -26*o**3 + o + 1. Suppose -4*t + 3 = 7. Let b be f(t). Solve 6 = -4*x + b for x.
5
Let q(r) = 6*r**2 + 0*r**2 - 3*r**2. Let k be q(1). Let m = 6 - k. Solve -m*f + 6*f + 3 = 0 for f.
-1
Let x be ((-6)/5)/((-12)/40). Suppose -2*o = x*z - 3*o - 2, 3*z - o = 1. Solve 2*k = -3 - z for k.
-2
Suppose -13*j + 10*j - u = -5, -5*u = 5*j - 25. Solve 3*w = -j*w - 3 for w.
-1
Let k(f) = -f - 7. Let h be k(-7). Let w be (-22)/(-2) - (2 - h). Solve 2*u + u = w for u.
3
Let y = -14 - -17. Solve 2*n + 15 = -y*n for n.
-3
Suppose 2*b + 0*b = 0. Solve -2*a + 0*a = b for a.
0
Let d = 9 + -9. Suppose 6 = -5*q + 3*t, -5*q + 6*t - t - 10 = d. Solve -3*u + 4*u - 4 = q for u.
4
Let x be (11/44 - (-26)/(-8)) + 3. Solve 0 = -3*u - x*u - 3 for u.
-1
Suppose 0 = -4*s + 10 + 6. Let c be (-2)/s - (-14)/4. Suppose 4*u = -3*y + 42, -3*u - 21 = 30*y - 33*y. Solve -y = -c*k + 2 for k.
4
Suppose 4*t = -i + 22, 0 = 2*i + i - 4*t + 14. Suppose -n = -4*w + 75, -w = i*w + 3*n - 75. Solve 2*c = -2*c - w for c.
-5
Let y be (8 - 9)*(-1 - -1). Solve -4*q - 6 - 10 = y for q.
-4
Let o(z) = -z**3 + z**2 + z + 2. Let a be o(2). Let j be 10*1/(4 - 2). Suppose 0 = -a*n + j*n. Solve 2*m - 2 - 8 = n for m.
5
Let d be 15*(1 + 4/(-6)). Let u = 17 - d. Suppose -n = -0*n - u. Solve -3*w = -0*w + n for w.
-4
Let k(d) = -d**3 - 9*d**2 - 9*d - 3. Let z be k(-8). Let u = -3 + z. Solve u*n = n for n.
0
Let z(d) be the first derivative of d**4/4 + 2*d**3 - d**2 - 12*d + 9. Let b be z(-6). Solve b = 2*m - 7*m - 25 for m.
-5
Let b = 9 + -5. Suppose m = -m + b. Solve 4 = m*x - x for x.
4
Let v(i) = -i**2 + 10*i - 12. Let y be v(9). Let c be (6/3 + y)*-3. Let l(z) = z**2 + 3*z + 4. Let j be l(-3). Solve j*f = 7 - c for f.
1
Let y(v) = -v**3 - v**2 - 1. Let q(r) = r**3 + 12*r**2 + 6. Let x(n) = q(n) + 2*y(n). Let p be x(10). Solve 2*t + p - 12 = 0 for t.
4
Let z = 5 + -3. Solve -g + z = -1 for g.
3
Let t be (0 - 0) + 1 - 1. Suppose -5*a - 11 = -2*w, 3*w = -w - 2*a + 34. Solve 0 = 2*c - t*c + w for c.
-4
Let p be (-6)/4*8/(-6). Let m = 9 + 0. Let k = 4 + -3. Solve m - k = p*d for d.
4
Suppose 6*q - 3*q = 0. Solve q = 5*d - 8 + 33 for d.
-5
Let n be 0*(4/(-6) - 8/24). Solve n = 2*m + m - 9 for m.
3
Let x be (16 - 3)*(1 + 0). Suppose 0 = -4*h + 5*k + 58 - 21, 0 = 2*h + 3*k - x. Solve 5*c + h = c for c.
-2
Let f be (-2)/6 + (-210)/18. Let g = f - -13. Solve -7 + g = 3*k for k.
-2
Suppose 0 = 4*y + 20 - 28. Let c be (24/14)/((-4)/(-28)). Solve -y*d - c = d for d.
-4
Let o(s) = s - 2. Let m be o(7). Let a(j) = -7*j - 47. Let d be a(-7). Solve m*g + 6 = d*g for g.
-2
Suppose -3*x + 0*x + 6 = 0. Suppose -f - 4*r = 2*f - 4, -3*r = -f + 10. Solve f - x = -s 