+ c + n for c.
3
Suppose 5*z - 17 = -2. Let p = 13 - 6. Solve p = z*d - 2 for d.
3
Let l = 48 + -27. Let o = l + -16. Suppose 5*q - o + 27 = 3*a, 5*q - 10 = -5*a. Solve a = 2*w - 6*w for w.
-1
Let j = -278 - -278. Solve j = -4*a + 1 + 3 for a.
1
Suppose 0*k + 4*k = 0. Suppose k*n = n. Solve n = p - 1 - 3 for p.
4
Suppose -3*n = -4*n - 2. Let l be (-104)/(-156)*n/(8/(-6)). Solve 4*w + l = 13 for w.
3
Suppose -27*k = -30*k + 33. Suppose q - k*q = -150. Solve -q = b + 4*b for b.
-3
Suppose 0 = 2*f - 4*g + 8, -19*f + 22*f - 2*g - 4 = 0. Solve 35*s = 39*s + f for s.
-1
Let o be ((-100)/(-45))/((-84)/(-27) - 3). Solve -4*y - o = y for y.
-4
Let a(o) = o**3 + 7*o**2 - 10*o - 15. Let y = 19 + -27. Let f be a(y). Solve 0 = j - f + 2 for j.
-1
Suppose 0 = 8*r - 8 - 48. Solve -r = 2*n - 9 for n.
1
Let u(p) = 6*p - 12. Let l be u(4). Solve 0 = 19*i - 23*i - l for i.
-3
Suppose 19*n - 1241 - 203 = 0. Solve n*k = 80*k - 16 for k.
4
Let h(f) = 2*f**2 + f + 9. Let g be h(-5). Let t = 56 - g. Solve -t*y + 12 = -5*y for y.
-4
Suppose 2*d + 5*m - 35 = 0, -5*m + 30 = -d + 10. Let v(f) = -10*f**3 + f**2 + f + 1. Let j be v(-1). Let l = j - d. Solve 5*s + 1 = l for s.
1
Suppose 2*w + 91 = 131. Let l(c) = c**2 + 7*c - 12. Let s be l(-9). Solve 2*t = s*t - w for t.
5
Let s(n) = -7*n - 14. Let r(l) = 13*l + 28. Let c(q) = 6*r(q) + 11*s(q). Let g be c(-12). Solve 4*w + g + 2 = 0 for w.
-1
Let q(b) = -b**2 + 8*b - 4. Let y be q(4). Let p = -11 - -13. Solve p*v + v = y for v.
4
Let k(v) = v**3 - 7*v**2 - 8*v - 9. Let h be k(8). Let a = -10 - h. Let o be 6 - (-2 - (-4 - a)). Solve r = o*r for r.
0
Let x be ((-24)/16 + 1)/((-2)/8). Let h be 1/(-4) - (-1)/4. Solve h = -3*n + 5*n - x for n.
1
Suppose 5*z - 39 = -19. Solve z*f - 24 = 10*f for f.
-4
Let k(c) = c + 1. Let o(b) = -b. Let f be o(-2). Let g be k(f). Suppose -g*m + m + 19 = 3*z, -10 = -2*z. Solve 2*j + m = 6 for j.
2
Let w be (32/2)/(-52 + 53). Solve 12 = x + w for x.
-4
Let l be 36/27*(-6)/(-4). Suppose -55 = -13*w + 10. Let a(o) = -o**3 - 1. Let r be a(-2). Solve -l*s - w = -r*s for s.
1
Let q be 9/((-225)/10)*10. Let x be (-8)/q + 7/((-28)/(-8)). Solve -5*v - x = 1 for v.
-1
Let o(v) = 58*v. Let a be o(2). Suppose -124 = -12*u + a. Solve -y = 3*y - u for y.
5
Suppose -5*k + k + 16 = 0. Suppose k*n + 5*a + 3 = 5, -3*a = -5*n + 21. Solve -o + n*o = 0 for o.
0
Suppose 2*m + 6 + 2 = 0, -4*u + 36 = -4*m. Suppose -1 = 2*t - 3*t + 2*d, 0 = -5*d - 20. Let x = 5 - t. Solve 0 = g - u*g - x for g.
-3
Let f = 25 + -47. Let g be 1*((-4)/f + (-14)/77). Solve g*r = r for r.
0
Let u be (15/9)/((-25)/(-60)). Solve -8 = -y - u for y.
4
Let p(h) = h - 21. Let b be p(7). Suppose -m + 0*m = -2*r - 32, 12 = -2*r - 4*m. Let w = b - r. Solve w = 3*y + 9 for y.
-3
Let p(j) be the third derivative of j**5/60 - j**4/6 - j**3/2 + 6*j**2. Let k be p(5). Let i be (k/(-2))/(3/(-9)). Solve -i = -3*r - 0 for r.
1
Suppose 7*t + 22*t = 0. Solve t*v - v = -4 for v.
4
Let l = -298 + 327. Solve -3*o + l = 32 for o.
-1
Let w be 11/(-33)*(-3 + (1 - -2)). Solve 5*k + 268 - 283 = w for k.
3
Let u be 0/(-3 + 13 + -8). Solve u = -18*r - 6 - 48 for r.
-3
Let j(k) = k**3 + 4*k**2 + 3*k + 2. Let i be j(-4). Let f = -5 + i. Let x be (-3)/f + 2/(-10). Solve 4*q - 6*q = x for q.
0
Let o(d) = -d**2 - 9*d. Let l be o(-8). Suppose -16*s + 12*s = -32. Solve -l*i + s = -4*i for i.
2
Let p(t) = -t**2 + 17*t - 33. Let v be p(12). Let y = 39 - v. Solve y*x = 8*x for x.
0
Let r be (-4 + 39/6)*16/10. Solve -a + 3*a = r for a.
2
Let z(t) = t**2 + 3*t. Suppose 2*m = -16 + 62. Suppose 0 = 3*y + 5*b + 37, 2*y + 2*b + m = -b. Let v be z(y). Solve v*a = -a for a.
0
Suppose -2*c = -5*d + 11 + 10, 3*d = -3*c. Suppose -27*z - 2 = -29*z. Let r = z - 1. Solve r = -d*h - 14 - 1 for h.
-5
Suppose 0*q = 3*i + 3*q + 6, -3*i - 5*q - 12 = 0. Let d(h) = 11*h - 2. Let b be d(i). Suppose -2*n + 1 = -b. Solve 3*w - n = -2 for w.
1
Let r(p) = -p**3 - 12*p**2 - 21*p - 14. Let x be r(-10). Let w be -3*((2 - 0) + x). Suppose 0 = o - 2 - w. Solve t + 3*t = -o for t.
-2
Let g = 32 - 36. Let b be (-22)/(g/4) - -2. Solve -3*q = -9 + b for q.
-5
Let c(h) = 2*h - 3. Let f be c(6). Suppose 0*p - f = 2*y - 3*p, -4*y = p - 3. Solve -9*o + 4*o - 25 = y for o.
-5
Suppose -4*o + 2*j + 264 = 0, o - 89 + 5 = -4*j. Let w = o - 66. Let a(f) = -f - 1. Let h be a(-3). Solve 4 - h = w*c for c.
1
Suppose 0 = -0*v + v + 1. Let n = 1 + v. Let t = 91 - 89. Solve 6 + n = -t*s for s.
-3
Let v(c) = 4*c**3 + 11*c**2 + 8*c + 4. Let f be v(-2). Solve -11*t - 2 + 35 = f for t.
3
Let a be 1 + 10/(-15)*-6. Suppose -f + 26 = a*y - y, 4*y - 20 = 0. Solve 0 = 2*v + f for v.
-3
Let a be (-21)/(-4) + 1/(-4). Let o = -136 - -142. Solve -1 + o = -a*k for k.
-1
Suppose 3*q - 13 = -4*p, 18 = 4*p + 4*q + 2. Suppose 2*y + 6 = -3*r - p, -4*y + 21 = -r. Solve -3*n = -4*n - y for n.
-4
Let v be 6/(-4) - 39/(-6). Solve l - v*l = 16 for l.
-4
Let o be (-1)/(2 - (-26)/(-12)). Let x(g) = g**3 - g**2 - 1. Let a be x(2). Solve o = a*n - 3 for n.
3
Let i(r) = -r**2 - r + 4. Let p be i(0). Suppose -3*v + s = p - 12, -v + 6 = -s. Let f be v*-1*4*-1. Solve f*m - 20 = -0*m for m.
5
Let n(w) = 2*w - 3. Let a be n(5). Suppose 0 = -5*p + 49 + 81. Let k = p + -11. Solve k = 2*l - a*l for l.
-3
Let k(r) = -4*r**3 + 32*r**2 + 2*r - 9. Let j be k(8). Solve -10 = j*l - 2*l for l.
-2
Let u(b) = 2*b + 4. Let c be u(-3). Let h be 1 + (2 - (c - -1)). Suppose 3*m = -2 + 17. Solve 3*z = h*z - m for z.
5
Let l be ((-35)/100 + 3/5)*12. Suppose -s = -4*a + 3*s + 8, 0 = 4*a + l*s - 8. Solve a*c = 4*c - 10 for c.
5
Let s = 11 - -90. Let x = -65 + s. Let d be x*(1 + (-4)/6). Solve -m - 3*m = -d for m.
3
Suppose -a + 0 - 2 = 0, 3*t = -5*a + 56. Let o = t + -19. Let u be -1*(-12)/o + -1. Solve 1 + 2 = -u*y for y.
-1
Let w(b) = 2*b**3 + 111*b**2 + 56*b + 170. Let c be w(-55). Solve -113 + c = 2*r for r.
1
Suppose 0 = p + 5 - 1. Let k be (p + (-40)/(-12))*6. Let l = -1 - k. Solve -l = -x - 2 for x.
1
Let z(y) = y**3 + 7*y**2 - 2*y + 7. Let p be z(-7). Suppose 3*o = -0*o + p. Solve 3*g - 20 = o*g for g.
-5
Suppose -17*c - 21*c + 228 = 0. Solve c*a = 3*a + 6 for a.
2
Let i be ((-2)/5)/(3/(-30)). Suppose 4*p + 20 = 4*m, -i*m + 4 = -2*p - 0*m. Let l = p + 13. Solve -a = 2 - l for a.
3
Let r(i) = -i**2 + 9*i - 1. Let u be r(8). Suppose -3 - 11 = -u*q. Suppose q*o = -o - 4*v + 27, 11 = 4*o - 3*v. Solve 3*m = o*m for m.
0
Let i = -4 + 7. Suppose 4 = 6*h - 2. Suppose -h = -4*o + i*o. Solve -3*k - o = 8 for k.
-3
Let r be -2 - (0 - -2 - 1). Let h be (15 + -14)/((-1)/r). Suppose -h*t = -2*a - 8*t - 21, 2 = -4*a - 2*t. Solve -z - a = 3 for z.
-5
Suppose -h = -4*d + 12, -5*h = 3*d - 4*d - 16. Suppose 0 = -h*o + 60 - 52. Solve -o = 5*z + 23 for z.
-5
Let x = 44 + -38. Suppose -x*z + 8*z = 10. Solve -m = -2 + z for m.
-3
Let x be -6*4/(-8)*-7. Let b = x + 27. Solve 2*a - b = -0*a for a.
3
Let v = -58 - -104. Let k = -16 + v. Let b = k - 10. Solve -7*z - b = -3*z for z.
-5
Suppose 0 = -7*h + 10 + 11. Let c(d) = d + 2. Let x be c(h). Solve -x*v + 13 = -7 for v.
4
Let y(v) = 3*v - 1. Let m be y(1). Let l = 7 - 7. Let p = m + l. Solve -p*u = -1 - 1 for u.
1
Suppose g - 4*d - 12 = -4, -5*g + 5*d + 10 = 0. Solve g = -10*y + 6*y for y.
0
Suppose 3 = m, 3*f + 6*m - 2*m = 33. Suppose -f*t - 208 = -20*t. Solve -2*u + t = 6 for u.
5
Suppose 29 = 5*x - 6. Suppose x*h - 4*h = 24. Solve -3*t + h*t - 25 = 0 for t.
5
Suppose 2*k - 60 = -4*v + 16, -5*k + 3*v = -138. Suppose -5*c + 33 = -4*i, 0 = -c - 3*c + 5*i + k. Solve 0 = -3*s + 20 - c for s.
5
Let v be ((-408)/(-476))/((-3)/(-7)). Solve -6*a + v*a = 0 for a.
0
Suppose -g + 2*g - 5 = 0. Suppose 9*v - 17 = 1. Solve -g = -q - v for q.
3
Let w be 2*1/(4/8). Suppose -2*j - 3*a = 2*a - 29, 20 = w*a. Let v(q) = -q**2 - 6*q + 2. Let d be v(-6). Solve -d*k - j = -k for k.
-2
Let q = 66 - 40. Suppose -5*d + 58 = 3*i, -q = -i + 3*d - 6*d. Let w be 84/22 + 2/i. Solve -k + w = 1 for k.
3
Let u(j) = -j + 12. Let c be u(7). Let z(k) = 2*k**2 - 11*k + 4. Let i be z(7). Suppose -m - m - c*q = -i, 2 = m - q. Solve 14 = m*n + 4 for n.
2
Let z = -43 - -44. Let m be z - (9/18 - 2/(-4)). Solve m*v - 2 = v for v.
-2
Suppose 2*d - 24 = -5*q - 2*d, q - 5*d = -1. Suppose -x = q*g - 7, -6*x + 3*g + 21 = -3*x. Solve 8 = 3*k - x for k.
5
Let b(k) = -k**2 - 7*k + 2. Let w be 