Let n be f(-10). Suppose -n = -5*b + 6. Solve -b = -l - 1 for l.
3
Let z(f) = -3*f**2 - 20*f - 8. Let b(h) = 2*h**2 + 20*h + 7. Let r(d) = 5*b(d) + 4*z(d). Let u be r(10). Solve 7 = -s + u for s.
-4
Let u be (-5)/20 - 2/(-8). Let a(x) = -x**3 - x**2 + x + 4. Let p(n) = n**3 + 6*n**2 + 7*n + 10. Let l be p(-5). Let h be a(l). Solve -t - h*t = u for t.
0
Suppose 54 = 7*m + 26. Solve -13*x = -17*x - m for x.
-1
Let c be (1 + -1)/(-3 + 2). Suppose 28 = -4*i - 48. Let b = i - -34. Solve c = -2*u - u + b for u.
5
Suppose 11*d - 13*d = -8, 2*y + 2*d - 16 = 0. Solve -12*c = y*c + 16 for c.
-1
Let y = 16 + -14. Suppose -3*s = -u + y*u - 13, 5*s - 27 = -3*u. Suppose 0 = -2*d + 10. Solve 2*a - d*a = -s for a.
1
Let s(d) = d**2 - 4*d + 3. Let j be s(3). Suppose 3*g - a = 7, -6*a + 7 = g - 4*a. Let f be g - j/(-2 + -1). Solve -13 - 2 = f*k for k.
-5
Let v = 149 - 149. Solve -2*w - 8*w + 20 = v for w.
2
Let f = -140 - -202. Suppose -4*j + f = -66. Let b = -15 + j. Solve -b + 2 = 5*s for s.
-3
Let f = -386 - -390. Solve -67*g - f = -66*g for g.
-4
Suppose r + 2*r = 4*r. Solve 0 = 4*y - r + 12 for y.
-3
Let d = -195 + 205. Solve 10*i - d = 5*i for i.
2
Let w be (-6)/(-27) + (-16)/72. Let t = -7 - -13. Suppose -t*n + 2*n = -2*s + 28, 3*s - 22 = 2*n. Solve w*v + s*v = -4 for v.
-1
Suppose 1 = -12*q + 1. Let c be q*(4/(-8) - 0). Solve c - 5 = 5*b for b.
-1
Let f(q) = q**2 + 5*q - 298. Let v be f(15). Solve 0 = u + v*u - 6 for u.
2
Suppose 0 = 4*p + 34 - 42. Let c be (-2)/(-1) + 1 + 0. Solve p*h - c = h for h.
3
Let v be (-2)/(-3) + (-196)/(-21). Suppose v = 4*g + 5*u + 35, 0 = -5*g - 4*u - 20. Solve g = -a + 3*a for a.
0
Let x be 10 + 48/(72/(-9)). Solve -x*q + 5*q = 2 for q.
2
Let l(q) = 2*q**2 + 2*q - 190. Let d be l(-11). Solve -13*y + 7*y = d for y.
-5
Let j be 5 + (-30)/(-5) + 0/(-1). Solve a - j = -15 for a.
-4
Let v = -10 + 10. Suppose a + a = v. Let z = a + 3. Solve 0 = -z*k + 1 + 5 for k.
2
Let n = 4268 + -4265. Suppose 0 = 4*g - 13 - 3. Solve c - n*c = g for c.
-2
Let i = 332 - 331. Suppose 2 = -4*c - a, -7*c + 3*c - 3*a = 6. Solve c = -4*m + i + 7 for m.
2
Let g = 10 + -4. Suppose u - 4*v = -12, -v = g*u - 5*u - 3. Suppose j - 5 = -u*j. Solve 3*b = j*b for b.
0
Let m be 10*(3/6)/1. Suppose -3*k + 19 = o + 4*o, 0 = -5*o - 4*k + 17. Let q(v) = v + 9. Let x be q(-5). Solve x*j + o = m*j for j.
5
Suppose -8*l = -6*l + 4. Let b be (18 - 17)/((-1)/l). Solve -8 = 3*q - b for q.
-2
Let w(s) = -s**3 - 10*s**2 + 25*s + 337. Let v be w(-9). Solve 40 = -v*r + 9 for r.
-1
Let k be ((-90)/6)/5*-3. Let x(m) = -m + 3 - 9 + 2*m. Let c be x(k). Solve -t - c*t = -12 for t.
3
Let j be (-19)/(-4) - 15/(-60). Suppose -x + j*x - 8 = 2*r, 4*x - 8 = -2*r. Solve r = n - 4 - 1 for n.
5
Let d = -20 + 23. Let r be (8/d)/((-8)/(-12)). Suppose r*t + 9 = 7*t. Solve -3 = -t*f + 3 for f.
2
Let c(z) = -4*z - 4. Let w be c(-4). Let k be (-2)/((10/w)/(-5)). Suppose t - 5*o + 37 = k, 0 = 5*t + 5*o - 25. Solve 0 = -u - t + 4 for u.
4
Let w be ((-2)/(-4))/(9/306). Let p(b) = -b + 22. Let x be p(w). Suppose 2*q - 3*j - 24 = -0*q, -x*j = 20. Solve -n + q*n = -20 for n.
-4
Let o = 10 - 12. Let v be (o - 0) + 16 + 2. Let l = v - 13. Solve -l*m - 5 = -2*m for m.
-5
Let g(j) = -j**3 - 6*j**2 + 8*j + 1. Suppose -9 = 3*a + 12. Let i be g(a). Let o be ((-27)/i)/((-3)/(-4)). Solve 0 = 3*x - o for x.
2
Let a be (-68)/(-18) - 44/(-198). Suppose 10 = -2*b + 5*d, 8*d - 8 = 2*b + a*d. Solve 2*y - 2 - 2 = b for y.
2
Suppose -8*f - 41 = -153. Suppose -4 - f = -6*s. Solve 0*a = s*a - 6 for a.
2
Let x(v) = 6*v**2 - v - 1. Let f be x(-1). Let o(n) = 6*n - 6. Let y be o(f). Suppose 5*u - y = -0*u + c, -4*u + c + 25 = 0. Solve u*d = -8 - 7 for d.
-3
Let l(c) = c**3 + 6*c**2 + 4*c - 2. Let u be l(-5). Let d = -6 + 6. Let m = d + u. Solve 0 = -4*g + 3*g - m for g.
-3
Let s(q) = -q**3 + 5*q**2 - 3*q. Let a be s(4). Let l be (a - 2 - -22)*-1. Let m be l/(-9)*9/6. Solve m*w + 13 = 1 for w.
-3
Let q be (-40)/(-8)*5 - 6. Solve 50 = q*v - 9*v for v.
5
Let z be ((-28)/(-8))/((-4)/(-16)). Let c = z - 12. Solve 3 = c*b - 5*b for b.
-1
Suppose -27*o = 19*o - 690. Solve -18*c - o = -13*c for c.
-3
Let h = 666 + -657. Solve -7*k = h*k + 48 for k.
-3
Let g = 4 + 5. Let w be 2 + 1 + (-5)/((-5)/3). Let a = 19 + -14. Solve -a*o + g = -w for o.
3
Let j be 0 + 1 + (1 - -1). Suppose -j*f = 2*f. Solve 0*o - 3*o - 3 = f for o.
-1
Suppose -3*c + 2*j + 86 = 0, -2*c = -j - 2*j - 54. Let o be (-4)/10 - (-12)/c. Solve o = 4*y - 6 + 2 for y.
1
Let k(s) = 3*s**2 + 2*s - 3*s - 2 + 2*s**2. Let n be k(-1). Solve n*u - u = -6 for u.
-2
Let s = 46 - 42. Suppose 0 = -3*y + s*y. Solve y = -6*t + t + 5 for t.
1
Suppose -4*x - 24 = 4*w, -4*w + 5*x = -w - 22. Let f(g) = -4*g + 4 - 6 + 4*g + 1 - 2*g. Let z be f(w). Solve 0 + z = h for h.
1
Suppose 0 = -4*h, 13*p + 3*h = 11*p. Solve p = 90*n - 86*n + 16 for n.
-4
Suppose 105 = 3*p - 9. Let o = p + -32. Let s be -1*(0 + 0)/2. Solve s = 2*t + t - o for t.
2
Let g(d) be the first derivative of -d**4/4 - 14*d**3/3 + 7*d**2 - 14*d - 5. Let h be g(-15). Suppose j + 0*j = h, 0 = 3*k + 3*j - 3. Solve -a + 1 = -k for a.
1
Suppose -7*h - t - 38 = -10*h, h + t - 18 = 0. Solve 0 = -h*f + 19*f - 25 for f.
5
Let j be (-960)/(-14) + 20/(-35). Let x = 69 - j. Solve x + 3 = -4*u for u.
-1
Let j(x) = -x**3 - 6*x**2 + 2*x + 12. Let p be j(-6). Suppose -6*z + 18 = -p*z. Solve 0 = w - z for w.
3
Let z = -28 - -30. Let a(q) = q**2 + 0 - z - q + 6 + 10. Let t be a(0). Solve -t + 2 = 3*h for h.
-4
Let v be (2 - 0)/(18/27). Solve 7*i + v*i = 3*i for i.
0
Let j be ((-19)/(-7))/((-1)/(-7)). Solve -p - j = -19 for p.
0
Let f be ((2 - 9) + (6 - -1))/(-1). Solve f = -8*v + 2*v - 6 for v.
-1
Let p = -20 - -6. Let z = 23 + p. Let d = 14 - z. Solve d*u = 4*u + 1 for u.
1
Let d(c) = 7*c + 23. Let r be d(-2). Solve -r = 2*h - 3 for h.
-3
Let g be 1*20 + (-3 - 1). Let w = g + -13. Solve 6*m = w*m + 6 for m.
2
Let i be 945/(-270)*4/1*-1. Solve 5*n + 11 = -i for n.
-5
Let f(x) be the third derivative of -x**6/120 + x**5/60 + x**3 + 6*x**2. Let q be f(0). Solve -c = q - 2 for c.
-4
Suppose -14*c = 114 - 282. Solve 0 = c*i + 36 - 0 for i.
-3
Suppose 0 = -c - 2 - 26. Let p = -26 - c. Solve 0 = 3*w + p*w for w.
0
Let r = -2348 - -2351. Let a(b) = -b**3 + 7*b**2 - 5*b - 6. Let n be a(6). Solve n*c - 12 = -r*c for c.
4
Suppose 5*r + 25 = -5*j, 7*j = 2*j - 25. Suppose -3*a - 12 = -w, w - 4*a + 7*a + 6 = r. Suppose -x - 5*b = -15, 30 = 2*x + 4*b + b. Solve w*s = -3 + x for s.
4
Let h be 5 - 1 - (-9)/(-3). Let u be (-14 + 3)/(h/(-2)). Let g = u + -20. Solve -16 = -g*z - 6 for z.
5
Let p(u) = u. Let z be p(2). Let j(h) = 4*h**2 - 6 - z*h - 3*h**2 + 3*h**2 + h**3. Let v be j(-4). Solve -v + 7 = -5*n for n.
-1
Let g(f) = 2*f**2 + 59*f + 149. Let t be g(-28). Solve t - 61 = i for i.
4
Let a(t) be the third derivative of t**5/60 - 5*t**4/24 - 5*t**3/3 - t**2. Let p be a(7). Suppose -7*c = -3*c - 36. Solve -3 = p*y + c for y.
-3
Suppose -d = 4*w + 9, 5*d + 0*w - 4*w - 27 = 0. Solve 11*c = 10*c + d for c.
3
Suppose -5*s = -0*i + 3*i - 70, 3*i - s = 58. Suppose -8*f + i = -7*f. Solve -3*c = -8 + f for c.
-4
Let p = 1017 + -1013. Solve -9*j - p*j = 26 for j.
-2
Suppose 5*w - 3*i - 35 = 0, 0 = -4*w - 4*i + 67 - 71. Solve -7*q = -w*q + 3 for q.
-1
Suppose -3*j - d + 45 = 0, j - d = 5*j - 61. Suppose -4 = 2*q - j. Suppose -2*i + 0*i - 5*z + 2 = 0, 3*i = 5*z + 28. Solve -q*h + 4*h = i for h.
-3
Suppose 4*g = 3*v + 26, -5*v = -g + 15 - 0. Let z = -10 - -4. Let k be (-12)/z*(8 - v). Solve k = -i - 3*i for i.
-5
Suppose 306*s - 310*s = -16. Solve 5*c + 1 = -s for c.
-1
Let k(c) = c**3 - 2*c**2 + 4. Let y be k(2). Solve 6 = -y*h + 2*h for h.
-3
Let g = 1327 + -1238. Solve -20 = -g*i + 84*i for i.
4
Let k(v) = 3*v**2 - 3*v + 2. Let w be 20/50 - (-3)/5. Let a be k(w). Solve a*q + 3 = -3 for q.
-3
Suppose 0 = -5*v - 3*c + 29, 4*v - 7 = c + 2*c. Suppose -5*u = -v*z - 37, 4*u - 4*z - 8 - 20 = 0. Let w = u - 7. Solve w*k - 4*k - 6 = 0 for k.
-3
Suppose -s - 4*r = 18, 0*s = -5*s + 3*r + 25. Let i(d) = 5*d**2 - 3*d - 1. Let z be i(-3). Suppose -z + 5 = -6*l. Solve -s + l = -2*a for a.
-3
Let v = -22 - -40. Let r be v - (4/10 + (-143)/(-55)). Solve -4*a - a = r for a.
-3
Suppose -3 - 9 = -6*f. Suppose 0 = -f*b - 2 + 8. Let c = -30 - -36. Solve c*z - b*z - 15 = 0 for z.
