-4
Let n be 840/(-245)*(-14)/4. Solve -8 = 4*v - n for v.
1
Suppose 145*p - 957 = 58*p. Solve -8*n = 5 + p for n.
-2
Let o be (0 - ((-1 - 1) + 2))/(-1). Suppose -3*s + m = 3*m - 4, -4*m = -5*s - 8. Solve 3*a + s*a + 3 = o for a.
-1
Suppose 7*l + 3238 = 3273. Solve -3*x - 8 = -l for x.
-1
Let y = -21 - -15. Let i = -6 - y. Suppose -2*c = -3*n - i*n + 5, -n = -c. Solve 7 = -n*z - 18 for z.
-5
Let n(f) = -f**2 - 13*f - 11. Let s be n(-8). Suppose 0 = -2*l + 4*l + 58. Let b = l + s. Solve -5*c + b = -5 for c.
1
Let k(x) = -2*x - 2 - 3*x**2 - 22*x**3 + 2*x**2 + 2*x**2 + 5*x**3. Let r be k(-1). Solve 2 = -5*v - r for v.
-4
Let o = 1287 - 1287. Solve o = -12*p - 12 for p.
-1
Suppose -10 = -0*c + 2*c. Let h(r) = r**2 + 4*r - 2. Let m be h(c). Let j be 1 + 0 - (-12)/4. Solve -j*g + 11 = m for g.
2
Suppose o + a = -103, 0*o = -o + 5*a - 73. Let d = -84 - o. Solve -2 = -4*l + d for l.
4
Let q(i) = i**3 - 21*i**2 - 18*i - 76. Let m be q(22). Solve -14 - 34 = -m*z for z.
4
Let j = 66 - 79. Let v = j - -15. Solve l - 6 = -v*l for l.
2
Let s be (-1 - -9)/4 - -7. Solve -4*j + s = 17 for j.
-2
Let z(s) = 3*s**3 - 2*s + 1. Let v be z(1). Let y be (v + -3)*-5*3. Suppose -3*j = -0*j - y. Solve 0 = -j*k - 1 - 9 for k.
-2
Suppose 15 = -4*b - 5*y, 3*y = 4*b + 2*y - 3. Suppose b = -4*i + 20, 0 = -4*o + 2*i - 6. Suppose 7 = 3*j - 2. Solve t = -o - j for t.
-4
Suppose -w + 5 = a, -5*w = 3*a - 10 - 7. Solve -35 = -a*u - 19 for u.
4
Suppose 31*m = 30*m. Solve w + m = -2 for w.
-2
Let k(z) = -2*z - 6. Let g be k(-5). Let a be 4 + (g/(-24))/((-3)/18). Solve -3*t + a*t = 0 for t.
0
Suppose 0 = -4*g - 4, -z + 3*z = 3*g - 1. Let j be z/(-9) - (-395)/45. Solve -r + j = 2*r for r.
3
Suppose -g = 4*t - 9*t - 15, 5*t + 15 = -5*g. Solve -2*f + g = 6 for f.
-3
Let g be 2/(-8) - (315/(-20))/7. Solve -17 = -g*n - 9 for n.
4
Let w(k) = 0*k**2 + k**3 + 9*k**2 - 3 - 38*k + 41*k. Let h be w(-8). Suppose 2*x - h + 2 = 5*s, 0 = 3*x - 2*s - 25. Solve -20 - 5 = -x*m for m.
5
Let y(l) = l**2 + 12*l + 2. Let x be y(-12). Suppose 5*o - f - 11 = 0, 5 = -2*o + o + x*f. Solve -o*t + 8 = t for t.
2
Let k be 10*(-10)/(-20) - -5. Solve -6 = -8*b + k*b for b.
-3
Suppose 6*j = 2*j. Let v be -2 + 0 + j + 3. Solve -z + v = -1 for z.
2
Suppose 0 = t - 2*b - 4, 5*t + 2*b - 1 = 31. Let w be ((2/t)/1)/((-3)/(-54)). Let i(a) = -a**2 + 2*a + 4. Let v be i(3). Solve n - v = -w for n.
-5
Suppose d = -3*d + 12. Suppose -34 = d*y + 8. Let i be y/(-2) + -3 + 1. Solve -2*v + 6 = -i*v for v.
-2
Let u(d) = -d**3 + 7*d**2 + 6*d - 6. Let j be u(8). Let k = j - -34. Solve 0 = -3*x - x - k for x.
-3
Let h = 383 - 383. Solve 2*w - 8*w + 18 = h for w.
3
Let p = -14 - -29. Suppose -5*d + 30 = 5*w, 4*w - 1 = p. Suppose 4 = c - d. Solve 0 = -c*i + 2*i - 8 for i.
-2
Let h(q) be the third derivative of 0 - 1/30*q**5 - 1/8*q**4 + 1/120*q**6 - 3*q**2 + 1/6*q**3 + 0*q. Let x be h(3). Solve u - x = 1 for u.
2
Let r be 42/8 - (0 + 3/12). Suppose 3*a - 20 = -a, d - 3*a + 6 = 0. Let n be (8/3)/((-2)/(-18)). Solve -r*k = -n + d for k.
3
Suppose 0 = -48*w - 121 + 1513. Solve -5*s - w = -44 for s.
3
Let t = -9 + 21. Let z be (-8)/t*-6 + 2. Solve 0 = -d - z + 1 for d.
-5
Let i = -111 - -115. Solve -4*d - i = -8*d for d.
1
Let m(c) = -c**2 + 19*c - 29. Let r be m(17). Let b be (-3 - -2)*(-4 + -1). Let s = r - b. Solve 0*o + o + 4 = s for o.
-4
Let h = 518 - 511. Solve -h*b - 18 + 11 = 0 for b.
-1
Let g = -4 + 9. Suppose 2*x = 2*x - g*x. Solve x = -i - i + 8 for i.
4
Let c(g) = -g - 16. Let m be c(7). Let i be 0 + -1 + (-2 - m). Solve -3*f - f = -i for f.
5
Suppose 25 - 10 = 3*t. Let n be (1*(t - 7))/((-1)/2). Solve -n = -4*c - 16 for c.
-3
Suppose -2*d = -2*c - 0*c + 46, -d - 5*c - 11 = 0. Let j be 90/(-5)*(-9)/6. Let x = d + j. Solve -3*i = -x*i + 6 for i.
2
Suppose 121*i = 111*i. Solve g + 31 - 31 = i for g.
0
Suppose -3*r = 4*y - 17, -2*y + 0*y = -10. Let k be (1 + -1)*4*r/(-8). Solve k = -2*t + 3 - 11 for t.
-4
Suppose -2*k + 18 = 3*q, 22 = -2*q + 6*q + 2*k. Solve 7 = 11*i - q for i.
1
Suppose -45 = -3*u + 5*u - m, 4*u = -2*m - 94. Let x(z) = z**3 + 21*z**2 - 48*z - 26. Let v be x(u). Solve 4*p + p - v = 0 for p.
4
Let f(s) = 119*s - 99. Let c be f(1). Solve 5*u - c = u for u.
5
Suppose 8*n + 276 + 852 = 0. Let q = -138 - n. Solve -f = q*f + 8 for f.
-2
Suppose 4*b = f + 35, 0*f = -f + 5*b - 35. Let a = 39 + f. Suppose 9 = a*x - 15. Solve 2*q + x = -q for q.
-2
Let k(g) = -g - 4*g + 2*g + 8 + 4*g. Let j be k(-6). Suppose -6*s = -y - j*s + 16, 24 = 3*y - 4*s. Solve 4*q + y = 3*q for q.
-4
Suppose -5*j + 4*j + 5*z = -82, 2*j - 137 = z. Let g = 127 - j. Suppose 2*k - 5*k + g = 0. Solve -4*w - w + k = 0 for w.
4
Suppose -11*j + 125 = 14*j. Solve j*w + 8 = -7 for w.
-3
Let y be 3 + (1 - -1 - 1). Let s be (1/y)/((-10)/(-160)). Suppose j + s = 4*i, 3*j = i - 2*j - 20. Solve 1 + i = -d for d.
-1
Suppose 0 = -5*s - 13 + 8. Let r = 3 + s. Solve 0*n = -r*n - 4 for n.
-2
Let u = -5 + 9. Let h(y) be the second derivative of -y**5/20 + y**4/2 - 5*y**3/6 + y**2/2 + 64*y. Let r be h(u). Solve 1 - r = -3*l for l.
4
Suppose -5*t = -5*c - 25, -3*c + 23 = 4*t - 4. Solve -2*l - 8 = -t for l.
-1
Let b = -106 - -109. Let s(u) = -7*u - 2. Let i be s(-6). Suppose -5*c = -0*c - i. Solve -b*g + g - c = 0 for g.
-4
Let b be 10 + (-2 + (-10)/(-6))*21. Solve -24*f + 21*f = b for f.
-1
Let f = -857 - -863. Solve -2 = f*g + 22 for g.
-4
Let c(v) be the first derivative of v**2/2 - v + 1. Let r be c(6). Suppose t = -6*p + 8*p - 10, -4*p = 3*t - 20. Solve -p = -r*z + 5 for z.
2
Let q be 1*(-2)/4*10. Let s(k) be the first derivative of k**2/2 + 9*k - 50. Let y be s(q). Solve -6 = -j + y*j for j.
-2
Suppose -2*s - 24 = -7*s + 4*m, 0 = -3*m - 3. Solve 5*z - 3*z = s for z.
2
Let w = -31 - -34. Solve -w*l - 11 = -8 for l.
-1
Suppose -3*j + 5 = -4*j, 0 = -4*q + 5*j + 489. Suppose -3*u - 71 = -q. Solve l + u = 6*l for l.
3
Let k = 67 - 63. Suppose 5 = 3*m - k. Solve -m*j + 4 = 16 for j.
-4
Let f(u) = u - 2. Let w be f(7). Let m be 0*((-20)/8)/w. Solve 0*n - 3*n + 12 = m for n.
4
Let x(n) = -n**3 + n. Let t be x(-1). Suppose 3*g = -t*g. Suppose g = 2*o - o + 3*h - 17, 5*o + 10 = 4*h. Solve -s - o = -1 for s.
-1
Suppose z + 4 = 0, -4*z = -2*u - 3*u - 44. Let s = 27 + u. Suppose s = -l + 6*l. Solve -l*v + 4 = -5 for v.
3
Let f(q) be the second derivative of q**2 + 1/20*q**5 + 0 + 1/4*q**4 - 6*q + 1/2*q**3. Let s be f(-2). Solve 3*y = -s*y for y.
0
Suppose -2*k = 5*k. Let s = 2 - k. Solve 0 = -s*g + 2 + 2 for g.
2
Let g be ((-13)/(-13))/((-8)/12 + 1). Solve 0 = 2*x + g - 5 for x.
1
Suppose 0*j = j. Suppose -5*i + j*i = -15. Solve -i*g = 3 + 12 for g.
-5
Let v = -35 + 50. Suppose -18 = -v*o + 72. Solve 3 + o = -3*m for m.
-3
Suppose -15 = -10*y - 5*y. Solve y = -3*n + 4 for n.
1
Let j = 1645 - 1633. Solve 4 - j = 4*t for t.
-2
Let x = -375 - -389. Solve -7*c - 21 + x = 0 for c.
-1
Let m = 53 + -32. Let o = 25 - m. Suppose y - 5*k = 3*y, 0 = -4*y + o*k. Solve 2*l = -y*l for l.
0
Suppose -3*m = -21 - 42. Solve 5*k + 4 = -m for k.
-5
Let u be -14*(15/21 + -1). Suppose 6*j - 8 = 10*j + 4*g, 2*j - u*g - 20 = 0. Solve -z = -j + 6 for z.
-4
Let y = 62 + -55. Let r be -5 - -2 - y/(-1). Solve -r = f + 1 for f.
-5
Let f(x) = 4*x**3 - 307*x**2 - 79*x + 156. Let d be f(77). Solve d*y = -y + 3 for y.
1
Let l(f) = f**2 + 2*f - 8. Let k be l(-4). Suppose k = r + 3*r + v - 16, 0 = -3*r + v + 19. Solve 6*u = r*u + 5 for u.
5
Let j(s) = s**3 - 9*s**2 + s - 4. Suppose -5*r = 2*v - 13, r + 0*r = 3*v - 28. Let a be j(v). Solve a*f = 2*f for f.
0
Let l(t) = -t**3 + 17*t**2 + 17*t + 28. Let q be l(18). Let g = -3 - -5. Suppose -g*a + 6*s = 2*s + q, 5*a - 3*s - 3 = 0. Solve h = -0*h - a for h.
-3
Let z = 69 - 66. Let j be (2*z/(-9))/(1/(-9)). Solve j = -0*g - 2*g for g.
-3
Let v = 394 - 70. Let p be 9/(v/8) - (-86)/18. Solve -h + 2 = p for h.
-3
Suppose 20*b - 63 = -b. Solve -l = -b - 1 for l.
4
Let w(q) = -7*q + 1 - 4 + 8*q. Let n be w(7). Suppose -4*k + 88 = 8. Solve -n*t + k + 0 = 0 for t.
5
Suppose k - 2*j - 25 = 0, 4*k + 5*j - 20 = 28. Let w = k + 3. Solve 0 = 5*y - 0*y + w for y.
-4
Let k(x) = -16*x - 73. Let s be k(-5). Suppose -2*d = d - 39. Solve -2*p - d = -s for p.
-3
Let u = 102 - 54. Let l = -28 + u. Solve q = -3*q + l for q.
5
Suppose 35 + 49 = 28*m. Solve 0*u - m = -u for u.
3
Let v(o)