 5*o = 62, 3*d + 2*o = 24. Suppose -l = l - d. Suppose -h - 1 = -5*c, -4*h = -4*c + l*c - 17. Solve k + h*k = 25 for k.
5
Let k be (-4)/(-1) + 0/2. Let z = -2 + k. Solve z*q - 7 - 3 = 0 for q.
5
Suppose -6*l = -8*l + 4. Solve -l*m = -0*m for m.
0
Suppose c + 4*d - 8 = -3*c, 2*c = 4*d + 4. Let a be 2/(3 + (-5)/c). Solve -a*r + 2*r = -6 for r.
3
Suppose -7*p = -2*p - 20. Solve 0 = -p*z - 11 + 3 for z.
-2
Suppose -35 = 5*u - 5*p, -2*u + 5*u + p = -29. Let m be 1 + -5 - (u + -4). Solve -m + 0 = -3*n for n.
3
Suppose 5*b - 41 = 19. Let z = -8 + b. Solve -z*o = 4 - 16 for o.
3
Let h be 0 - (-1 - 1)/1. Suppose -2*o = 10, 4*g - h*o + 10 = 80. Solve -2*j - g = j for j.
-5
Suppose 4*z - 52 + 12 = 0. Solve 3*v = v + z for v.
5
Let h(r) = -5*r. Let u be h(-3). Let l be (-5)/(u/(-27)) + -3. Let v be (-3)/l + (-50)/(-4). Solve 3*p + 0*p = -v for p.
-4
Suppose 16 = -3*m + 5*m. Let t(x) be the first derivative of -x**4/4 + 7*x**3/3 + 5*x**2 - 8*x + 2. Let b be t(m). Solve b*f = 3*f for f.
0
Suppose 3*l - 5 = -2*l. Let v(w) = 6*w - 1. Let z be v(l). Solve 5*d + z = -20 for d.
-5
Let s(f) = f**2 - 7*f - 8. Let n be s(8). Solve -4*t + t = n for t.
0
Let h = 22 - 10. Solve p + h = -3*p for p.
-3
Let q(z) = z**2 - 4*z - 5. Let t be q(5). Let u = 6 + -1. Solve u*x - 1 + 26 = t for x.
-5
Suppose o + 2 = 2*o. Suppose d + 3 = 7. Let l be (d/(-5))/(4/(-10)). Solve -o = -f + l*f for f.
-2
Suppose 5*j = -z - 3 - 12, 0 = -3*z - 15. Let y = 0 - j. Let g be 0/((2 - 2) + 2). Solve 2*p = y - g for p.
1
Let p = -35 + 39. Solve 4 = 2*x - p*x for x.
-2
Let x = 11 - 7. Let l be 1/3 - 10/(-6). Solve l*b - 4 = x for b.
4
Suppose 1 = 4*y + 1. Solve 0*b + 3*b - 6 = y for b.
2
Let y = 37 - 21. Suppose -2*n + 2*l + y = n, -2*n - 11 = 3*l. Suppose 0 = -5*k - 4*x + 8, 10 = 5*x - 0*x. Solve k = p - 3 + n for p.
1
Suppose 3*h + 0*h = 0. Suppose -5*a - 5 = -5*y, 5*y - a - 2*a - 9 = h. Suppose -c + 20 = 3*c - y*r, 5*r + 14 = -3*c. Solve 0 = 6*l - c*l + 12 for l.
-3
Let d = 2 + -2. Solve d = -4*z + 3 + 13 for z.
4
Suppose 7*m = 3*m. Let h be (2/(-6))/((-14)/126). Solve h*p - 3 + m = 0 for p.
1
Let f(w) = 3*w + 6. Let p be f(-4). Let m be ((-9)/p)/(1/2). Solve c + 8 = -m*c for c.
-2
Let w be (-3)/12 + (-15)/(-12). Let n be -1 + -1 - (-3 + w). Solve -5*u + 4*u - 5 = n for u.
-5
Let y = 19 + -20. Let h be (27 - y) + -7 + 3. Let n be 3 + (-5 + 1 - -2). Solve -5*g + n = -h for g.
5
Let s(g) = g**2 - g - 1. Let u = -1 + 1. Let m be s(u). Let t be -7 + 5 - (m - 1). Solve 0 = -2*i - t*i + 4 for i.
2
Let i = 37 + -24. Solve -3*b = -1 + i for b.
-4
Suppose 0 = -2*a + i + 3*i + 12, 4*a = -5*i + 37. Suppose 0*k + 4*k = a. Solve 5*b = k*b + 15 for b.
5
Let n = 8 - 12. Let q(v) = v + 6. Let u be q(n). Solve -c = c + u for c.
-1
Let d = 30 + -17. Suppose -d = -3*c + 2. Solve -5*a + 20 = -c for a.
5
Let j(n) = n**2 - 5*n - 2. Let q be j(6). Suppose 2*u = 5*h + 36, 2*u + 4*h = 7*u - 56. Let v(f) = f**2 - 8*f. Let i be v(u). Solve i = -0*r + q*r for r.
0
Let a(h) = -h + 8. Let z be a(8). Solve -5*p = -z - 10 for p.
2
Let j = 116 + -114. Solve -m = j + 3 for m.
-5
Let p be (-1)/(-4) + (-99)/(-36). Suppose -d = p*d. Solve -2*n + 7*n - 5 = d for n.
1
Let a(l) = -l**3 + 2*l**2 - l + 2. Let h be a(2). Let v be 0 - -3 - (-2)/2. Let p = v + h. Solve t = 5*t + p for t.
-1
Let t(q) be the second derivative of -q**5/20 + 5*q**4/12 + 5*q**2/2 + 4*q. Let b be t(5). Solve -10 + 35 = -b*u for u.
-5
Let j(s) = -s**2 + 2*s + 4. Let l be j(2). Solve -l + 2 = t for t.
-2
Let r be (2 - 24/(-4)) + -4. Solve r*a - 5 = 15 for a.
5
Let r(l) = l - 1. Let x be r(-2). Let q = x + 3. Let n be 4 + q - (2 + -1). Solve 12 = -5*s - n for s.
-3
Suppose 5*n - 13 = 2. Let a be 1/(1/60*n). Solve 5*c - 45 + a = 0 for c.
5
Let a(v) = 3*v**2 + 7*v - 6. Let f be a(1). Suppose o = -x - 3, 4*o - x + 0*x + 2 = 0. Let u be (1 - f*o)*1. Solve -6 - 4 = u*i for i.
-2
Suppose -2*v - 54 = -4*u, -v + 21 = -3*u + 5*u. Solve 0 + u = 3*a for a.
4
Let v be (-3)/((-18)/8)*3. Suppose 3*x - v*y = -1, 4*y - y = -3*x + 27. Solve -5*i - 5 - x = 0 for i.
-2
Let c(a) = 3*a**2 - 19*a - 8. Let l be c(7). Solve -3 = s - l for s.
3
Let z be (-1)/(((-16)/44)/4). Let h be (-72)/(-30) - 4/10. Solve h*p + 3 = z for p.
4
Suppose 2*u = -0*s - 2*s + 60, -2*u + 10 = 0. Solve 2*a = 7*a - s for a.
5
Let y(u) = 8*u**2 - 2*u - 1. Let l(g) = g**2 - 4*g - 1. Let b be l(4). Let s be y(b). Solve -4*x + s + 11 = 0 for x.
5
Let o be 1/(2*(-1)/(-4)). Solve 5*j = -12 + o for j.
-2
Suppose -5*t + 37 = 12. Suppose 0*h + 2*h + 2*b = 20, 3*h + t*b = 30. Solve -4*w - w + h = 0 for w.
2
Let v(m) = -m**3 + 8*m**2 - 8*m + 5. Let g be v(7). Let q be (0 - 1)/(g/4). Suppose -18 = -3*a + h, q*a + h = 12 - 5. Solve a*t - 6 + 31 = 0 for t.
-5
Suppose -2*n = 5*k + 10 + 1, -3*k = -5*n + 19. Let p = 6 + k. Let o(a) = 2*a**3 - 21*a**2 - 12*a + 16. Let v be o(11). Solve -p = -z - v for z.
-2
Let z(c) = -c**2 - 14*c. Let i be z(-14). Solve 4*v + 12 - 4 = i for v.
-2
Suppose -2*z = 8, -10 - 6 = 2*y + 5*z. Solve 2 = t - y*t for t.
-2
Let p(t) = -6*t - 78. Let k be p(-13). Solve k = -5*b + 2*b + 3 for b.
1
Suppose 10*p - 24 = 16. Solve -3*n + p = n for n.
1
Let m be 6*7/(63/12). Suppose 6*d = 10*d - m. Solve -2*s = d*s + 12 for s.
-3
Let h = 27 + -9. Suppose 3*k = h + 3. Solve -z - k = -2 for z.
-5
Suppose -15 = -6*n + 3*n. Solve -n*p + 1 - 6 = 0 for p.
-1
Let l = 3 - -6. Let v = 10 - l. Solve 0*s = -s + v for s.
1
Let u = 15 - 8. Solve -3*j + 2 = -u for j.
3
Suppose 0 = u + 4*q + 11, u - 2*u = 3*q + 8. Solve 3 + u = -h for h.
-4
Let q be 3*-5*(-7)/21. Let p = 0 + q. Solve -20 = -i + p*i for i.
-5
Let x(b) = b**3 - 12*b**2 - 14*b + 18. Let l be x(13). Solve 3*u - l - 1 = 0 for u.
2
Let w = -2 - -7. Let r(o) = 0*o**2 - 4*o**2 + 7*o + 5*o**2 - 8. Let i be r(-8). Solve 0 = -i*d + w*d for d.
0
Let t = -11 - -14. Solve -t*w = 2*w + 25 for w.
-5
Let r(s) = s + 3. Let i be r(0). Let c be (-75)/(-2)*4/6. Solve -2*b = i*b + c for b.
-5
Let f be 37/((0 + -2)/(-2)). Let p = -25 + f. Let h(d) = -d**3 - 9*d**2 - 9*d - 6. Let j be h(-8). Solve -6*k + j*k = -p for k.
3
Suppose -118 - 57 = -5*c. Let l be (0/6)/(1*2). Suppose 0 = 5*v - 5*q - c, -3*q - 1 - 8 = l. Solve v*b = -0*b - 16 for b.
-4
Let p = 72 - 69. Solve -n = -p*n for n.
0
Suppose 24 = 3*m - 3*d, m - 3*d = -8 + 26. Suppose 4*g + 20 = 3*x + x, -x - m = 3*g. Let w(a) = -a**2 + 4*a - 1. Let k be w(3). Solve -k*o - x*o = 15 for o.
-3
Suppose p + 2*d - 11 = 4*d, 0 = -2*p - 3*d - 6. Suppose 2 = -5*c + 7. Let k(j) = 4*j - 1. Let v be k(c). Solve -p*w - 3 = v for w.
-2
Let x(h) be the first derivative of h**3/3 - h**2 + 2*h - 2. Let d be x(2). Suppose -2*t = -d*i - 6, 9 = 5*t + 5*i - 6. Solve 4 = -t*g + 1 for g.
-1
Suppose -2 = -2*c + 5*m - 7, -c - 4*m + 4 = 0. Let h(y) = -y**2 - 6*y + 8. Let a be h(-6). Suppose -4*p + 16 + a = 0. Solve -2*l + 0*l - p = c for l.
-3
Let b be (0 - 7)/(4 - 5). Solve -b*p = -2*p - 15 for p.
3
Let n = 18 - 14. Solve 0 = -n*t - 20 - 0 for t.
-5
Suppose 0 = 6*y - 4*y - 4. Solve y + 14 = 4*s for s.
4
Let t(r) = r - 6. Let m(j) = -j. Let y(s) = 2*m(s) + t(s). Suppose -2*k = 3 + 9. Let f be y(k). Solve h + 0 + 2 = f for h.
-2
Let m = -211 + 219. Solve -x + 4 = m for x.
-4
Let c(i) be the first derivative of i**4/4 - 7*i**3/3 + 3*i**2 + 5*i - 2. Let q be c(6). Suppose 0 = 3*m, -207 = -5*a + q*m - 52. Solve 5*n = -a + 11 for n.
-4
Let z(s) be the second derivative of -5*s**4/12 + 2*s**3/3 - s**2 + 3*s. Let m be z(2). Let x = -8 - m. Solve -6 = -3*w + x for w.
4
Let r(a) = -a**2 - 9*a + 12. Suppose -h - 9 - 3 = -2*t, -2*h - 3*t = 17. Let d be r(h). Solve d*w + 2 = -8 for w.
-5
Let y(u) = u**3 + 7*u**2 + 6*u - 5. Let z be y(-5). Let p be (-8)/(-5) + 6/z. Suppose 3*k = -p*n + 75, 0 = 5*k + 4*n + n - 130. Solve -5*x = -2 - k for x.
5
Let s be (-4)/((-2)/32*2). Let a = s - 10. Suppose b + 25 = 3*n, 5 = -0*n + 3*n + 4*b. Solve n = -3*x + a for x.
5
Let d = 18 - 8. Suppose -5*f + 15 = 4*h, 3*h - 5*f - 15 = -d*f. Solve a + h*a = 0 for a.
0
Suppose -h + 5*h = 60. Solve 0*u = 3*u + h for u.
-5
Let d = -3 + 5. Solve d*v + 2*v = 20 for v.
5
Suppose -a = 4*a - 20. Suppose 4*i + a*t + 20 = 0, -8 = 5*t + 17. Suppose 3*d + 0*d - 15 = i. Solve 3*b - 10 - d = 0 for b.
5
Let r = 6 + -1. Suppose 2*d = -5*p + 32 - 4, r*d + 4*p - 36 = 0. Suppose 0*z + 3*z = -4*b + 1, -4*b +