 -0*q for q.
0
Let q(y) = -4 + 3*y + 0*y - 3. Let b be q(5). Let r be (-2)/b + 42/8. Solve r*p = 7 - 2 for p.
1
Suppose -4*q - d + 20 = 0, -4*d + 4 = 5*q - 10. Let r(g) = g - 7. Let f be r(7). Solve -3*p + q = -f for p.
2
Suppose 0 = -0*z + 5*z. Let i be (-220)/(-14) + 2/7. Solve z = 4*c - 0*c - i for c.
4
Let t(m) = m**2 + 2. Let o(n) = -n + 1. Let b(c) = -2*o(c) + t(c). Let s be b(2). Solve -s = -3*h + h for h.
4
Suppose 23*x - 36 = 17*x. Solve c - 4*c = x for c.
-2
Let k = -19 - -15. Let u be 0*(0 + k/(-8)). Solve r + 3 = -u for r.
-3
Let g be (18/(-12))/((-9)/30). Solve -h = -g*h for h.
0
Let t(w) = -w**2 + 9*w. Suppose 0*o + 39 = 4*o + n, 5*n = -4*o + 51. Let i be t(o). Solve i = 4*p - p for p.
0
Let k be (-2 + 0)*(-15)/6. Suppose -k - 1 = -2*b. Suppose g = 6*g - 25. Solve b*v + g = 4*v for v.
5
Suppose -2*b - b = -12. Suppose -5*r - x + 19 = -0*x, -2*r = -3*x + 6. Suppose r*d - 8*d + 30 = 0. Solve -b*w + d = -10 for w.
4
Let u(g) = g**3 - 5*g**2 + 3*g + 4. Let z be u(4). Let o(x) = -x. Let v(a) = a. Let y(w) = -3*o(w) - 4*v(w). Let i be y(-3). Solve z*h + i*h = -15 for h.
-5
Let x(p) = -p**2 - 11*p + 16. Let s be x(-11). Solve 0 = -6*l + 2*l - s for l.
-4
Let q(t) = -t + 2. Let g be q(-2). Let a = -3 - -4. Let h be (-3)/6 - a/(-2). Solve g*z + 2 - 6 = h for z.
1
Let y = 20 - 18. Suppose -5*i + 0*i = -5, -5*s - 4 = -4*i. Solve s*b - 8 = y*b for b.
-4
Let v(o) be the third derivative of o**5/60 - o**4/4 + 4*o**3/3 - o**2. Let g be v(6). Let r be (1 + -1 + 0)/1. Solve r*i + g = 2*i for i.
4
Suppose -3*t + 0*t = 0. Let o(m) = -m + 8. Let u be o(7). Let d be 0/(2/1 - u). Solve 3*g + t*g = d for g.
0
Let r = 8 + -6. Let o = r - 0. Solve -o*s = -s for s.
0
Suppose 0 = -t + 1, 4*g - 3 - 6 = -5*t. Let f = -57 - -60. Solve f - g = -p for p.
-2
Let g(q) = 2*q**2 + 4*q. Let x(m) = 2*m**2 + 5*m. Let l(a) = 6*g(a) - 5*x(a). Let w = 6 - 7. Let i be l(w). Solve 0 = -i*y + 2*y for y.
0
Let o(m) = m + 6. Suppose 5 = -4*y - 11. Let k be o(y). Solve 4*i + k - 14 = 0 for i.
3
Let f = -24 - -24. Solve b + f*b = -4 for b.
-4
Let m be (1/(-2))/((-3)/18). Suppose -m*v + 36 = -v. Suppose 3*k + 2*k + 2 = -3*y, 2*y = 5*k - v. Solve -2*x - k = -0*x for x.
-1
Suppose 5 = -5*x - d, 3*d = -2*x - 2*d - 25. Suppose x*a - a = 6. Let w(g) = g + 9. Let c be w(a). Solve -3*j = c - 0 for j.
-1
Let f(q) = q - 8. Let o be f(8). Suppose -p = -o*p - 2. Solve 0 = -4*u - 10 - p for u.
-3
Suppose -5*i - 57 = 4*q - 446, -5*q + 5 = 0. Let f be 4/(-14) + 22/i. Solve f = 2*y + y + 9 for y.
-3
Suppose 3*w = -0*w - a - 5, 2*a - 4 = w. Let s = w + 4. Suppose 14 - s = 3*k. Solve 0 = k*n - 0 - 8 for n.
2
Let m = -8 + 12. Let s(g) = g**3 - 5*g**2 + 5*g - 4. Let a be s(m). Solve a = 3*b - 4 - 2 for b.
2
Let l be (-6)/(-12)*(0 + 0). Solve -q + 0 - 2 = l for q.
-2
Suppose 0*w - 16 = 4*w. Let r = w + 3. Let b be 1 - 0 - (0 + r). Solve -6 = -b*d + 4 for d.
5
Let a(n) be the second derivative of -n**5/20 + n**4/3 - n**3/2 - 7*n. Let m be a(2). Solve -2*h = -m - 6 for h.
4
Let v(b) = -b**3 - 3*b**2 + 5*b + 3. Let a be v(-4). Let j be a/((3/(-12))/1). Solve -1 = 3*p - j for p.
1
Let z = -19 + 19. Let d be 0/(-1*2*-1). Suppose -2*p - 3*l + 16 = d, 2*p = -z*l - 4*l + 18. Solve r = p*r - 12 for r.
3
Let c(y) = -2*y**3 - 2*y**2 + y. Let p be c(-2). Solve -2*m - m = p for m.
-2
Let v(p) = -p**2 + 6*p + 2. Let y be v(3). Let x = -7 + y. Solve -20 = x*c + c for c.
-4
Let t(w) = -w + 7. Let u be t(-6). Let s = 15 - u. Solve -5*y = -s*y + 6 for y.
-2
Suppose 4 = 2*m - 2*q - 14, -5*q - 21 = m. Solve -2*h - 2 + m = 0 for h.
1
Let w(q) = -q - 6. Suppose -h - a + 9 = 2*a, -3*h - 23 = -a. Let m be w(h). Solve m*x + 2 = 2*x for x.
1
Let x(w) be the first derivative of w**3/3 - w**2/2 - 3*w + 1. Suppose -3*v - 5*u + 23 = -2*v, 29 = 3*v + 5*u. Let b be x(v). Solve 0 = -b*g + 5*g + 8 for g.
-4
Let g(w) = -w**2 + 3*w + 4. Let i be g(3). Suppose -3*d = 4*u + 12, -5*u - 8 = -i*u + 2*d. Solve u = -0*j - j for j.
0
Let v(r) = -r**3 + 11*r**2 - 9*r - 6. Let q be v(10). Solve 0*p - q = -p for p.
4
Suppose -5*r + 18 = -14*r. Suppose 3*w - w + 12 = 0. Let p = r - w. Solve 0 = s + p for s.
-4
Let g(c) = c**2 + 5*c + 1. Let j be g(-5). Suppose -3*r - 8 = 3*w + 4, 4*r + 16 = 3*w. Suppose v - 2*v + 2 = w. Solve j = -i + v for i.
1
Suppose -4 = -4*a + 4*m, 0*a - 1 = 3*a - 5*m. Solve -a*k + 10 = -k for k.
5
Suppose 90*f - 96*f + 36 = 0. Solve -f*j = -j + 10 for j.
-2
Suppose 4 = -2*h + 3*h. Suppose m = h*m. Suppose -2*b = -m*b - 10. Solve 0 = -3*u - 2*u - b for u.
-1
Suppose 15 = -4*y + 3*z, 0 = 5*y + 5*z - 3*z - 10. Solve y = -4*q - 5 - 15 for q.
-5
Let d = 10 - 8. Let h = 0 + -1. Let b = h + 3. Solve d*n + 4 + b = 0 for n.
-3
Suppose -9*o = -13*o. Solve o = -5*j + 2*j for j.
0
Let c = -7 + 10. Suppose -4 = -c*l + 8. Solve l*x = 2*x - 8 for x.
-4
Let k = -6 - -21. Let u be (-18)/(-15)*k/6. Solve u*j + 1 = 7 for j.
2
Let y be ((-21)/(-6) + -3)*-4. Let z be 6/6 - 0/y. Let k be z/6 - 4/24. Solve 5*n - 3 - 2 = k for n.
1
Let s = -3 + 8. Let h = -2 + s. Solve h*c - 2*c = 0 for c.
0
Suppose -5*m = -74 - 16. Let p = -6 + m. Solve 4*o = 8*o + p for o.
-3
Suppose -2*x + 4*x - 3*j - 53 = 0, 0 = -x + j + 27. Let q be (-1)/4 - (-7)/x. Suppose 5*g - 220 = -6*g. Solve 0*w + 5*w + g = q for w.
-4
Let v(z) = z**3 + 9*z**2 - 10*z. Let x be v(-10). Suppose x = 2*s - 13 - 17. Solve s = -3*b + 8*b for b.
3
Suppose -20 = 3*x + 4*n, -x + 15 = -0*x - 3*n. Solve -2*s + 0*s - 8 = x for s.
-4
Let f = -14 - -15. Suppose s - f - 2 = 0. Solve h = s*h + 8 for h.
-4
Let q(a) = -a**2 + 7*a - 4. Let s be q(6). Suppose t = -s*x - 1, 5*t - x + 9 = 48. Let h(z) = 2*z - 1. Let i be h(3). Solve 27 = i*d + t for d.
4
Suppose -8 = 2*v, 5*d + 2*v = 4*v + 18. Let q be (-1)/(-1) - (11 + -14). Let s be (-105)/(-12) - (-1)/q. Solve d*h + s = 5*h for h.
3
Let f = -37 + 40. Solve 2*s + 10 = -f*s for s.
-2
Let g be 3*(2 + 8/(-3)). Let i(h) = -h**3 - 5*h**2 + 6*h - 7. Let m(r) = -r**2 + r - 1. Let c(s) = i(s) - 5*m(s). Let p be c(g). Solve 0 = z + p*z + 15 for z.
-3
Let r be 3/9*(2 + 10). Suppose 0*w - 16 = -r*w. Solve 2*o = w*o for o.
0
Suppose 7*f - 3*f = 32. Suppose 2*z = f, 0 = -3*t - 0*t - 5*z + 29. Solve t*o - 5*o = 4 for o.
-2
Let f = -10 + 1. Let z be f*(2 - 14/6). Solve -z = -4*k + 9 for k.
3
Let w = 74 + -74. Solve -2*p + 0*p = w for p.
0
Let g(o) = o - 8. Let x be g(15). Let u be (-2)/x - 222/(-42). Let i(p) = -9*p + 2. Let n be i(-2). Solve -u = -5*m + n for m.
5
Let b = 42 - 12. Let l = -3 - -6. Suppose l*h + 2*o = b, 5*h + o = -4*o + 50. Solve -2*z = 3*z - h for z.
2
Let p = 266 - 92. Let t be p/24 - (-2)/(-8). Solve -5*l - 3 = t for l.
-2
Let g = 15 - 11. Suppose 5*c + 2*t = 16, 4*t + 5 = g*c + 3*t. Suppose 4*q = c*q + 8. Solve q*s + 8 - 24 = 0 for s.
4
Suppose 0 = 3*z - 18 - 6. Suppose -5*d = -z*d. Solve 4*y - y = d for y.
0
Suppose -12 = 4*o - 3*l, 4*o - 2*l = 2*l - 16. Suppose -180 = -p - 4*p. Suppose 2*n - p = -n. Solve -4*b + o = -n for b.
3
Let i(n) = n**2 - 4*n - 1. Let z be i(5). Suppose d = -2*o + 17, -z*d - 2*o = d - 61. Solve 0 = 3*l + 2 - d for l.
3
Suppose 8 = -0*b + 3*b + 5*h, 0 = 3*h - 3. Solve -o + b = 4 for o.
-3
Suppose 3*v = 3*n - 42, 53 + 15 = 5*n - 3*v. Let s = -10 + 14. Suppose -s*u = -6*o + 4*o + 18, 5*u - 16 = -3*o. Solve -o = 5*j + n for j.
-4
Let v(t) = t**2 - 4*t + 8. Let n be v(6). Solve 0 = -2*k - 3*k - n for k.
-4
Suppose -g = 4*u - 2*u, 2*u = 2. Let y = g + 7. Solve 0*h = y*h - 20 for h.
4
Let k = -9 + 12. Let l = k - -22. Solve 4*a + l = -a for a.
-5
Let a(o) = o - 1. Let g be a(1). Let f be (g - 1)*(-2 - 5). Let y(w) = w**3 - 6*w**2 - 5*w - 5. Let l be y(7). Solve -l - f = 4*k for k.
-4
Let a(w) = 3*w + 6. Let m be a(-2). Solve m*j = -3*j - 3 for j.
-1
Let b(q) = -q**2 - 6*q. Suppose 2*l - 6*l - 24 = 0. Let v be b(l). Solve v = -0*g - g + 2 for g.
2
Let o(b) be the first derivative of b**2/2 - b - 1. Let p be o(4). Suppose -p*n - 2*n = 0. Solve n = -3*r - 0*r + 12 for r.
4
Let s = 42 - 42. Solve 4*h - 2 - 10 = s for h.
3
Let b be 17 + -11 - 4/1. Solve b*u = u for u.
0
Suppose -4*t = 20, -4*v + 0*v - t - 5 = 0. Suppose 5*z = 3*x + 122, -46 = -2*z - 4*x + 8*x. Suppose z = 2*l + 3*l. Solve v*w = w + l for w.
-5
Let d be (-27 + -6)*(-2)/6. Let l = d + -14. Let v be (-1)/1*(-3 - l). Solve -t = -v + 2 for t.
-2
Suppose 0 = 5*g + 2*q 