 a*r + 10 for r.
-2
Suppose 0*x - 2*x = 30. Let i be (-4)/(-5)*x/(-2). Solve 4*g + i = -6 for g.
-3
Suppose -3*c + n + 8 = -0*n, n = -3*c + 4. Solve -b = -1 - c for b.
3
Let c be (-4*1)/(-2)*3. Let m = -4 - -2. Let f = 0 - m. Solve h - c + f = 0 for h.
4
Let h(c) = c**2 - 5*c - 11. Let l be h(7). Solve l*b + 1 = -8 for b.
-3
Let p(a) = -a**3 - 4*a**2 + 7*a + 4. Let v be p(-5). Let j be 2 + (-3 - (v + 2)). Solve k - j = -2*k for k.
1
Let i be 3/(-24) + (-388)/(-32). Let u be ((-16)/i)/((-2)/3). Solve 0 = -u*c - c for c.
0
Let j be (-4)/2*100/(-8). Solve -g = 4*g - j for g.
5
Suppose 4 = 2*j - 0*j. Suppose j*b = -3 + 23. Solve -4*l + 9*l - b = 0 for l.
2
Let d be 0 - (-1 + 1)/(-1). Solve -5*k + d*k - 25 = 0 for k.
-5
Let p be 18*((-21)/(-6) - 3). Suppose -5*n - 5 = -30. Solve -4*y + n = -p*y for y.
-1
Let v(k) = -k**3 + 15*k**2 - 13*k - 13. Suppose 5*u = 10*u - 70. Let p be v(u). Solve 0 = -c + p + 3 for c.
4
Let m(z) = z**2 - 6*z. Let k be m(6). Suppose -14 = 3*o - 5*o. Let i = o + -4. Solve k*y - 12 = i*y for y.
-4
Let p(y) = -y + 5. Let q be p(6). Let r be q*(-4)/6*-3. Let s be 3/r*(-8)/3. Solve 0 = -3*g + s*g - 5 for g.
5
Let p be (1 + -3)/((-6)/(-39)). Let l = p - -14. Solve 1 + l = 2*o for o.
1
Let f(z) = -z + 2. Let s be f(-8). Let h be 2/(-8) + 27/12. Suppose y = 3*c - s, h*c + 5*y = 5*c - 26. Solve c*g = -0*g for g.
0
Let z(t) = -t - 5. Let n be z(-8). Solve y = -2*y + n for y.
1
Let f(o) = o**3 + 6*o**2 + 4*o - 3. Let s be f(-5). Let h(q) be the first derivative of -q**2/2 + q - 3. Let m be h(1). Solve n + n + s = m for n.
-1
Let t(v) be the first derivative of -v**4/4 - 7*v**3/3 - 7*v**2/2 - 4*v + 2. Let x be t(-6). Suppose -x*w = -19 + 3. Solve d = 5*d - w for d.
2
Let w(s) = s**3 - 22*s**2 + 2*s - 43. Let x be w(22). Solve -6 + x = 5*h for h.
-1
Suppose 3*p - 3*r + 12 = 0, -6 = -4*p - 4*r + 2. Let n = 2 - p. Solve n*o + 25 = -2*o for o.
-5
Let d(h) = -4 + 3*h + 5 - 2*h + 7. Let o be d(4). Solve -o - 8 = -4*j for j.
5
Let w(b) = 2*b - 5. Let h be w(5). Suppose 4*d + 3 = -3*l, 2*l = -h*d - l. Suppose -g + d*g - 8 = 0. Solve -f - g = -2*f for f.
4
Let o be 14/3 + ((-77)/(-21))/11. Solve -o*l + 30 - 5 = 0 for l.
5
Suppose 2*a = -2, j = -0*j - a + 1. Let z be (0/(2/2))/(-1). Solve z = 2*d + j + 6 for d.
-4
Let p = 48 + -43. Let h = -1 + 6. Solve 0 = p*u - h - 5 for u.
2
Suppose -5*g + 3 + 2 = 0. Solve g = u - 1 for u.
2
Suppose -d - 4*f = -21, 0 = 4*d + 4*f - 2*f - 14. Suppose -5*z = 110 - 125. Solve -4*a + z*a + d = 0 for a.
1
Let y be -2 - (2/1 - 5). Suppose 22 = 5*t - 3*x, -x = -2*x - 4. Suppose 5 = t*j - y. Solve 2*p - j*p = 4 for p.
-4
Let b = 114 - 74. Let g be 3/(12/b) - 1. Solve -2*x + g = -5*x for x.
-3
Let o = 2 - 1. Let f(a) = -8*a + 11*a - 4*a - o. Let v be f(-10). Solve z + 4 = v for z.
5
Let u(k) = k**2 + 6*k + 2. Let v be u(-7). Solve 0 - v = 3*j for j.
-3
Let y be 36/(-27)*6/(-4). Suppose 0 = 3*w - y*w - 7. Solve -2 = -i - w for i.
-5
Let i = -153 - -163. Solve 0 = -3*b + b - i for b.
-5
Suppose 33 = 5*c - 2. Solve 2 = 5*o + c for o.
-1
Suppose 0 = 3*d + 5*h - 54 - 26, 3*h = 2*d - 47. Let m = -15 + d. Let q = -5 + m. Solve -q*y + 3*y = -4 for y.
2
Suppose 0 = -p, k - 3*k = -3*p. Suppose g = -k*g + 4. Let j(b) = -b + 2. Let a be j(-7). Solve a = -g*m + m for m.
-3
Let t = 180 + -179. Solve -t + 3 = -b for b.
-2
Suppose -3*l - 9 + 33 = 0. Suppose 3*c - l = c. Solve -m + 0*m = -c for m.
4
Let k(v) = 3*v + 1. Let b be k(1). Let n be 0*b/(-24)*-3. Solve -o - 2 = -n*o for o.
-2
Let t be (4 - 2 - 6)*3/(-4). Solve -8 = t*i + 1 for i.
-3
Let o = 42 + -25. Solve -2 + o = -5*z for z.
-3
Let t be 207/45 + 2/5. Solve -o = -0 + t for o.
-5
Suppose c + 0*c = 3. Let v = c - -1. Suppose 7 = -v*y + 5*b, 2*y - b + 0 = 1. Solve 0 = y*u - 7*u + 15 for u.
3
Let h be -1 + 40/28 + 90/35. Solve 0 = 2*a + 5 - h for a.
-1
Suppose 3*i = 5*z + 12, 4*i + 5*z = z + 16. Let w = -2 - -1. Let x be w/(-1) + 4 + -2. Solve -x*c + i = 10 for c.
-2
Suppose 0 = -4*y + 15 - 3. Let n be (y/(-9))/((-2)/60). Let d = n + -8. Solve -3 = -5*c + d*c for c.
1
Let n = 12 - 3. Let s = n + -5. Solve 9*y + 15 = s*y for y.
-3
Let n(r) = -6*r**3 + r**2 + 2*r. Let w be n(-1). Solve -8 = -w*u + u for u.
2
Let r(t) = 30*t**3 + 2*t**2 - t. Let v be r(1). Suppose 5*n + 4*k = v, -1 + 5 = -4*n + 4*k. Suppose -n*z = z. Solve z = -q - q for q.
0
Suppose -p - 108 = 3*p. Let l be (-4)/(-18) + (-156)/p. Suppose -l*v = -2*v - 40. Solve 0 = 5*n + v + 10 for n.
-4
Let d(a) be the second derivative of -9/2*a**2 + 2*a + 0 + 1/6*a**3. Let p be d(11). Solve -1 = w - p for w.
1
Let k(y) = y. Let r(u) = -u**2 - u + 1. Let v be r(0). Let f be (0 + -2 - -4) + v. Let i be k(f). Solve 7*g + 4 = i*g for g.
-1
Suppose 0 = 2*q - q - 54. Let d = q + -33. Solve -5*i - 46 + d = 0 for i.
-5
Suppose -67*a = -65*a - 12. Solve 0 = -4*p + a*p for p.
0
Let k(a) = -a**2 + 6*a + 19. Let y be k(8). Suppose -3 = -5*m - 5*f + 22, 0 = f - y. Solve -d = -m*d - 2 for d.
-2
Let x be 29/6 + (-23)/6 + 4. Solve x*c + 5 = 15 for c.
2
Let s be 2*(-3 + (-14)/(-4)). Let i be (-6 - -8) + 2*s. Solve -i = 2*j + 2 for j.
-3
Let y be 4*((-3)/(-6) - 0). Suppose y*n = -3*n + 40. Solve -2*g + 0*g = n for g.
-4
Let o be 3*(-1 + 3 + -1). Let p(a) = -a - 12. Let f be p(-12). Suppose -g = -f - o. Solve -u = -g*u for u.
0
Let b be (-63)/(-21) + (-2 - -1). Solve 13 + b = -5*y for y.
-3
Let g be (-847)/(-35) + (-1)/5. Let h be (-1)/(-6) - (-188)/g. Solve -u - u = -h for u.
4
Suppose 2*v + 2*v + 5*z - 23 = 0, -5 = 2*v - 3*z. Solve -s = -v + 4 for s.
-2
Suppose 0 = 8*r - 5*r + 6. Let n = r + 2. Solve 2*u + 2*u - 16 = n for u.
4
Let t be 7/((-42)/66)*-1. Solve -t*u = -12*u + 5 for u.
5
Let x(d) = -d**3 + 4*d**2 + 8*d - 6. Let l be x(5). Let h = l - 5. Let b be (-5)/(-3) - (-3)/9. Solve -h = -u + b*u for u.
-4
Let d = -9 + 9. Suppose f - 5 = -d*f. Solve -4*w = f + 15 for w.
-5
Let d be (-2 + 3)*(0 + 0). Let g be -1 - (2 + -19 + 0). Solve 4*v + g = -d for v.
-4
Let q be -2 - 1/((-3)/12). Solve 0 = -0*a + 2*a - q for a.
1
Let o(m) = -m**2 + 7*m + 11. Let k be o(8). Solve k*d - 4 = -13 for d.
-3
Suppose -12 + 3 = -3*n. Solve n*b + 2 = 2*b for b.
-2
Suppose -4*o - 8 = 20. Suppose 4*f = 38 + 6. Let y = f + o. Solve 0 = -y*n - 1 - 11 for n.
-3
Let x(a) = 12*a**2 - 1. Let o be x(1). Suppose -o = 4*t - 2*t - 5*d, -2*t - 5 = -3*d. Solve -t + 8 = 2*p for p.
3
Let a = 131 - 90. Solve -5*f + a = 16 for f.
5
Suppose -3*x + 157 = 148. Solve -2*u = x*u - 10 for u.
2
Let f = 3 - 1. Solve -f*d + d = -5 for d.
5
Let a(q) = -154*q**2 + 155*q**2 + 5 + 0 + q**3 - q. Let n be a(0). Solve 0 = w - n*w - 4 for w.
-1
Let j(k) = -k**2 - 5*k - 5. Let f be j(-5). Let y be (4/f)/((-4)/10). Let u = 8 + y. Solve 15 = 5*n - u*n for n.
-3
Let y = -8 - -13. Suppose 3*q - y*s = 40, -3*q = -2*q + 5*s + 20. Solve 0*r - q*r = 0 for r.
0
Let n = -6 - -1. Let m = n - -9. Solve -m*b + 0 = -4 for b.
1
Suppose -4 + 0 = -2*r. Suppose r*h + 9 = 17. Suppose 0 = 3*c - 2 - h. Solve 5*p - c = 3 for p.
1
Suppose -3*u - t - 4 = 0, 5*u = t - 2*t - 4. Solve u = -6*h + h - 25 for h.
-5
Let g = 1 - -13. Suppose -3*j - g = -7*j + 2*i, 2*i = -3*j - 7. Solve -j - 1 = -a for a.
2
Suppose 0 = 2*x - 2*m - 6, 4*m + 14 + 6 = 0. Let g = x - -8. Let c = -4 + g. Solve -c = -3*o + 13 for o.
5
Let n(z) = -z**2 + 9*z + 8. Let q be n(10). Let l be 12/(-42) + q/(-7). Solve l = 2*k - 0*k + 6 for k.
-3
Suppose -g + 2 = 2. Let y = 24 + -84. Let h be y/(-27) + 2/(-9). Solve h*w + w + 9 = g for w.
-3
Suppose -5*y - 2*y = -3*y. Solve y = -l - 5 for l.
-5
Suppose 5*p + l - 16 = 0, 8 = -5*p + l + 22. Solve 0 = -p*d + 2 - 8 for d.
-2
Let y = -13 - -35. Suppose -w - 10 = g + w, -5*w = g + y. Let b be (g/(-4))/((-5)/(-70)). Solve -3*n = -1 + b for n.
-2
Let s be (-4)/10 + 165/(-25). Let v = s - -11. Solve -v = 2*l - 8 for l.
2
Suppose -5*u + 40 - 30 = 0. Solve 10 = u*f - 7*f for f.
-2
Let g = 11 + -6. Suppose -16 = -p + 2*m - 5, p + g*m + 10 = 0. Solve p = 5*a - 0*a for a.
1
Let v be -10*-2*1/4. Let p = -87 - -89. Solve -p*s + v*s = -6 for s.
-2
Let f be 0 - ((3 - -1) + -6). Let a be (-2)/8 + (-36)/(-16). Solve f = a*b - b for b.
2
Let g = -60 - -66. Solve 3*l = g*l + 3 for l.
-1
Let z(q) be the second derivative of -q**3/6 + 4*q**2 + 4*q. Let d be z(7). Solve 0*v + v = -d for v.
-1
Suppose -7*y = -3*y + 4, -b = -5*y - 7. 