= -n for r.
4
Suppose -3*k + 9 + 6 = 0. Solve 0*c = k*c + 20 for c.
-4
Let y be (-2)/4*(1 - -3). Let j be (-16)/y*3/4. Let t = -3 + 8. Solve j + 4 = t*s for s.
2
Let f(o) = o**3 + 5*o**2 + o + 7. Let v be f(-5). Suppose 7*l = 5*l - 12. Let y(b) = -b**2 - 7*b - 1. Let s be y(l). Solve -9 = v*z - s*z for z.
3
Let u(q) = 8*q + 30. Let r(z) = 3*z + 10. Let t(k) = 14*r(k) - 5*u(k). Let c be (-6)/(-4)*64/12. Let d be t(c). Solve -2*o = -2 + d for o.
-2
Let o = 41 - 39. Solve 4*s - o*s + 8 = 0 for s.
-4
Suppose -2*o + 8 = 2. Suppose -2*r - 1 + 3 = 0, 3*h = 3*r + o. Solve -h = w - 5 for w.
3
Suppose -a - 5*j = -25, 0 = a + j - 6*j + 5. Solve n + a = -n for n.
-5
Suppose -z + i + 5 = 0, -z = i - 1 - 4. Suppose -5*o + o + 2 = 5*n, -2*o - 2*n = -2. Solve z*m = o*m for m.
0
Let t be (0 + (10 - -2))/2. Let s be t - 3/(-12)*0. Solve 3*n + 6 = -s for n.
-4
Suppose 3*i = 2*z + 8, 0 = -3*i + 5*z + 6 + 14. Solve 0 = -3*r - i*r for r.
0
Suppose -6*z + 3*z = 0. Suppose 2 = y - z. Suppose 0 = y*l + 3*l. Solve l = 4*x + 3 + 1 for x.
-1
Suppose -3*b = -6*b - 3. Let i be b - -8 - (-7 + 10). Solve -i*h = h - 5 for h.
1
Let g = 50 + -48. Solve q - 3 = -g*q for q.
1
Suppose -12 = 3*j, 2*j + 54 = 2*n - 3*j. Solve 0 = 3*o - 2 + n for o.
-5
Suppose -7*s + 5*s + 8 = 0. Solve -s*w - 6 = 10 for w.
-4
Suppose -2*v = -6*v. Let s(y) = y**2 - y + 4. Let g be s(0). Solve 0 = f - v - g for f.
4
Let w be ((-6)/4)/((-3)/4). Let b = w + 0. Let u(y) = y**3 + y + 20. Let g be u(0). Solve -b*d + g = 2*d for d.
5
Suppose -2*f + 2 + 2 = -x, x = -4. Solve n - 4*n + 9 = f for n.
3
Suppose -4*n = -2*m + 92, 0*m - m + n = -44. Let q = m + -22. Suppose 0 = -5*b - 0*b + q. Solve b*f - 11 + 31 = 0 for f.
-5
Suppose 5*h + 107 = o, -h - 30 = 2*o - 2. Let y be h/(-6) + (-2)/(-6). Solve -m = y*m for m.
0
Suppose -3*g + 9 = -0*g. Let z be ((-2)/(-3))/(g/27). Suppose -z = -5*m + 4*q, 0*q - 2*q = -4*m + 6. Solve -m*l + 0*l - 4 = 0 for l.
-2
Let o = 3 - 3. Suppose -4*b - 3*j - 9 = o, 4*b + j = 2*j + 3. Suppose b*f - f + 15 = 0. Solve -u = -4*u + f for u.
5
Suppose 5*j = 7 + 3. Solve 0*t - j*t + 6 = 0 for t.
3
Let y(v) = 2*v**2. Let j be y(-1). Let p be (6 - 4) + 3*j. Solve 3*k - p*k - 25 = 0 for k.
-5
Suppose 46 = -11*b - 20. Let k(o) = 2*o**3 + o**2 - 3*o - 3. Let u be k(-2). Let g = b - u. Solve g*m + 8 + 7 = 0 for m.
-5
Let o(d) = -d**2 - 7*d + 5. Let q be o(-7). Solve q*l - l = 16 for l.
4
Suppose 4*o = 4*f + 48, -48 = -7*o + 2*o - f. Solve -4*k + 2*k = o for k.
-5
Let p be (-28)/(-6) - 2/3. Suppose 2*j + p = -h, -4*h - h = 3*j + 34. Let n = h - -11. Solve 8 = 5*x - n*x for x.
4
Let b = 2 - -2. Solve 0*t - b*t = -20 for t.
5
Let h(b) be the first derivative of b**3/3 + 9*b**2/2 + 2*b + 2. Let t be h(-9). Solve -f + t = 6 for f.
-4
Let j = 26 + -23. Suppose 4*i + 2*w - 18 = 0, -i + 12 = i + 4*w. Solve i = j*f + 16 for f.
-4
Let x be ((-18)/(-15))/((-2)/(-5)). Suppose 0 = -j - 4*s + 5, 5*j - s - 49 = x*s. Solve 2*k + k = j for k.
3
Let r = -12 - -4. Let c be (2/r)/((-5)/40). Solve -c*v + 3 = -7 for v.
5
Suppose 5*r + 15 = 115. Solve z + r = 5*z for z.
5
Suppose -4*q + 11 + 9 = 0. Solve q*n + 0*n + 5 = 0 for n.
-1
Let p(w) = w**3 - 9*w**2 + 8*w + 3. Let g be p(8). Let u be -3 - (-7 + 0/g). Solve -u = -3*a - a for a.
1
Suppose -20 = -4*b + 4*g, 5*b - g - 32 - 9 = 0. Solve -5*t + b = -2*t for t.
3
Let a(f) = 2*f**2 + 11*f - 6. Let x be a(-8). Suppose -h + 10 = u - 1, -2*u - 5*h + x = 0. Solve -3*q - 1 = -u for q.
2
Let u = 0 - -1. Let o be (1 - 2)*u - 3. Let d be o/(-6)*3 - -14. Solve 4 - d = 4*q for q.
-3
Let y = 1 + 1. Let b(s) = 6*s - 1. Let v be b(1). Let q be 1/(1/(v + 2)). Solve -3 = y*u + q for u.
-5
Suppose -4*u - v + 5 = -4, -5*u = -2*v - 8. Suppose 3*o - 6 + 0 = 0. Suppose -3*q = -o*q - 3. Solve -g - u - q = 0 for g.
-5
Let x = 19 - 9. Solve -f = -3*f + x for f.
5
Suppose -14 = -2*m + 2*v - 4, -4*v = 4. Let t be 0 - (m + -4 + 0). Solve t = -4*d + 2*d + 8 for d.
4
Suppose 4*m - 2*m = 10. Suppose v - 25 = -v - m*d, -5*v + 15 = 3*d. Solve u + v*u = -5 for u.
-5
Let i(b) = -b**3 + 4*b**2 - b - 2. Let f = 6 - 3. Let p be i(f). Solve x = -x - p for x.
-2
Let x = -40 + 49. Solve 5*l - x*l = 0 for l.
0
Let c = -60 - -62. Solve -c*g - 6 = -0*g for g.
-3
Suppose 5*a + 23 = o, o - 12 = 2*o + 2*a. Let t be ((-3)/6)/(o/12). Solve t*l - 16 = -l for l.
4
Suppose 2*a - 23 + 5 = 0. Suppose -a = -n + 1. Suppose 2 = -5*w + 27. Solve -5 = -w*t + n for t.
3
Suppose 39 = 3*k - 3*c, 2*c = 5*k - 2*k - 38. Solve k = 4*t - 4 for t.
4
Suppose -4*s - 3*i - 1 = 0, -3*s - 5*i - 12 + 3 = 0. Suppose s*u - 74 = -236. Let b be u/(-15) + 4/(-10). Solve 0 = b*c + 4 + 6 for c.
-2
Let p be (2 - 1)*0 + 4. Let c(z) = z**2 + 7*z + 6. Let x be c(-5). Let f be (-2)/2*(2 + x). Solve -f*k + 8 = -p*k for k.
-4
Let u be 18/5 - 20/(-50). Solve -x + u*x = 0 for x.
0
Suppose -5 = -2*j - 3. Solve 5 - j = -2*x for x.
-2
Let g(k) = 3*k - 9. Let f(w) = -4*w**3 + w**2 + 2*w + 1. Let z be f(-1). Let r be g(z). Solve r + 7 = 5*m for m.
2
Let h(o) = -o**2 + 6*o. Let w be h(10). Let g be 18/63 - w/7. Solve 2*a - 14 = -g for a.
4
Suppose -7*i + 2*i + 30 = 0. Solve -i*z - 10 = -z for z.
-2
Let f be (-6)/(-4)*68/3. Let g = f - -4. Suppose 4*l = -2*u + g, 0*l = -5*l - 2*u + 48. Solve -a + l = a for a.
5
Suppose 5*u + 0*l - 4*l = -5, l = 5. Solve -5*b - 22 - u = 0 for b.
-5
Let k(g) = g**3 - 9*g**2 + 10*g - 11. Let r be k(8). Solve r*y = y - 12 for y.
-3
Let o(h) = -h**2 - 4*h - 2. Let a be o(-2). Suppose 0 = 3*y - 0 - 9. Suppose 31 = 3*j + 4*b, -4*j = -a*b - y*b. Solve 0 = -2*g + 3*g - j for g.
5
Suppose 3*f - 25 - 11 = 0. Suppose f = 2*p + p. Let y be 1/(-2)*(2 - 2). Solve 3*g - g - p = y for g.
2
Let z = -9 + 13. Let n be (-7)/(-21) + ((-15)/(-9) - 0). Solve -z*m = 10 + n for m.
-3
Let z be (-1)/3 - -2 - (-4)/12. Solve 4*q + 2 = z*q for q.
-1
Let z(h) = 5*h. Let w be z(2). Suppose -4*q - w = 10. Let t = q - -5. Solve -k + 3*k - 6 = t for k.
3
Suppose 0 = -2*h - 0*h + 2. Suppose 10 = 2*t - 0. Suppose 4 = 2*c - t*z, 0*z - 10 = -5*c - 5*z. Solve 3*q - h = c for q.
1
Let y = 29 - 24. Solve y*t + 0 = 5 for t.
1
Suppose -29 - 11 = -2*c - 4*q, -2*q + 8 = 0. Let g = -12 + c. Solve 3*j + g*j + 6 = 0 for j.
-2
Suppose -3*y = 6, -f = -3*y + 2*y - 12. Let q be (0 - f)*1/(-2). Solve q*j = 2*j - 9 for j.
-3
Let p be (-30)/9*(-6)/5. Suppose 4*k = 3*k. Let m = 6 + -3. Solve k = -m*v + 2*v + p for v.
4
Suppose -2*h = -4*h + 30. Let q be (-1 + 0)/((-5)/h). Let r be 6/q + 4 - 3. Solve -9 + r = -3*c for c.
2
Suppose 4 = 3*n + 13, 3*n = 2*f + 5. Let p = -2 - f. Solve 5 = -5*a - p for a.
-2
Let d be (-6)/(5 - 2) + 5. Let k = 1 + d. Let g be (-6)/(-9) - 4/6. Solve -k*o - 4 + g = 0 for o.
-1
Let a be (2 + -2 + 9)*-1. Let z(l) = l + 11. Let u be z(a). Solve 7*y + 5 = u*y for y.
-1
Let a(w) be the second derivative of -w**3/6 + 5*w**2/2 + 5*w. Let i be a(3). Solve -5*c + 22 = i for c.
4
Let o = -2 - -27. Solve 0 = 10*r - 5*r - o for r.
5
Let k be (32/28)/((-4)/(-28)). Solve 26 = 6*u + k for u.
3
Let z be 46/10 + (-2)/(-5). Let v(p) = -3*p - p + z*p + 1. Let g be v(3). Solve -g*y + 5 = -5*y for y.
-5
Let k be 18/4 - (-2)/4. Solve 3*y = k*y - 2 for y.
1
Let v(t) = 3*t**2 + t + 1. Let u be v(1). Solve 0 = u*n + 8 - 3 for n.
-1
Suppose 3*c - 10 = 2*d + 25, 0 = 3*c + d - 50. Solve 0 = 4*r - c - 5 for r.
5
Let g = 6 + -2. Let c(f) = 4*f**3 + f**2 + 2*f + 1. Let s be c(-1). Let a(u) = -u**2 - 5*u - 1. Let d be a(s). Solve -w + g = d*w for w.
1
Suppose 4*g = -3*d - 2*d + 27, 0 = g - 3*d + 6. Suppose p = g*p. Solve 0*j - j + 5 = p for j.
5
Suppose 5*t - 17 = 4*v - v, 0 = t - 4. Suppose -2*y + 3*y - 2 = -p, -p - 2*y = -v. Suppose -11 = -p*r + 1. Solve r*m - 2 = -6 for m.
-1
Suppose t - d = 15, 5*d = -t + 3 - 6. Let g be (-4 - 2)*t/(-18). Solve 0 = -r + 3*r - g for r.
2
Let u(d) = d + 8. Let v be u(-5). Let x be -1*8/(-2)*25/10. Solve v*m = -2*m - x for m.
-2
Suppose -2*b + 16 = -2. Suppose 2*n - n - b = 0. Let r be (-3 - -1) + 3 + n. Solve -3*a + r = -a for a.
5
Let s = 30 - 14. Solve 4*w + 4 + s = 0 for w.
-5
Suppose 0 = s + 3*u - 5, -u = 5*s - 4*s - 5. Solve 0 = -m + 1 - s for m.
-4
Let d(g) = -2*g - 9. Let w be d(-7). Let o be (-4)/(-5)*w/2. Solve p = o*p for p.
0
Let w(n) = -n**2 + n + 6. Let o be w(0). Solve 4*l = o*l + 10 for l.
-5
Suppose 5*k = -12 + 57. Solve 0 = -3*s - 0*s + k