q + 5 for q.
1
Let b = 3 + -2. Let c(z) = z**3 - 2*z**2 + 1. Let f be c(b). Solve -v + 2 - 6 = f for v.
-4
Let r(z) = -z. Let o be r(-4). Suppose 0 = -4*h - o*d, 2*d = 3*h - h - 12. Suppose -g + 8 = -y - 2, -15 = h*y. Solve g*n - 9 = 6 for n.
3
Let c(h) = -7*h**2 + 6*h - 3*h**3 + 4*h**3 - 3 + 2 + 4. Let i be c(6). Suppose -i*u = -20 + 2. Solve 3*p + u + 9 = 0 for p.
-5
Let k(q) = -5*q**3 + 2*q**2 - 3*q + 3. Let o(s) = -9*s**3 + 5*s**2 - 5*s + 6. Let l(c) = -7*k(c) + 4*o(c). Let d be l(6). Solve -3*x = -6*x + d for x.
3
Suppose 0*u + 4*o = -5*u + 59, -u + 4*o + 7 = 0. Solve 1 + u = -4*z for z.
-3
Let k(p) = 2*p - 2. Let u be k(3). Let b = -11 - -18. Let z(m) = -m**3 + 6*m**2 + 7*m + 4. Let a be z(b). Solve a*y = -u - 0 for y.
-1
Let q(l) = -l**2 + 8*l - 6. Let k(x) = -2*x**2 + 15*x - 11. Let o(a) = 3*k(a) - 5*q(a). Let i be o(3). Solve -i = 3*s - 9 for s.
2
Suppose 5*f - 5*y = -0*y - 25, 0 = 5*f - 4*y + 26. Let s be (-15)/f*(-8)/(-5). Let u = s - 4. Solve -b - 1 = -u*b for b.
-1
Let i(h) = 3*h**2 + h - 1. Let v be i(1). Suppose -v*b + 0*b = 6. Let q be (-2)/(-2) - (b - 1). Solve -q*n - 20 = n for n.
-4
Let u be (2 - 2)/(1*(-8)/4). Solve u*k = 4*k for k.
0
Suppose 0 = -5*u + 2*j + 29, j = -5*u - 3*j + 17. Solve 3 = -u*b + 8 for b.
1
Let u be (-6 + 5)/((-1)/2). Let g be 0/(u*(-1 + 0)). Solve -3*x = -g*x - 9 for x.
3
Suppose -2*h + 7 = -9. Solve -h = -5*a + 12 for a.
4
Let a(c) = -c - 13. Let s be a(0). Let u = 18 + s. Solve -u*j - 8 = 12 for j.
-4
Let h be -3 + 1 + -2 + 2. Let z be -1 + h*(-1)/2. Solve c + 2*c = z for c.
0
Let a(x) = 5*x**3 - 8*x**2 + 13*x + 2. Let t(b) = -9*b**3 + 16*b**2 - 25*b - 3. Let j(k) = -7*a(k) - 4*t(k). Let l be j(7). Solve -5*m = -m - l for m.
3
Let s be (-4)/8 + 47/2. Suppose -4*i = -s + 7. Solve -13 = -3*z - i for z.
3
Let s(z) be the first derivative of -z**4/4 - 10*z**3/3 + 10*z - 4. Let o be s(-10). Solve 0 = -3*v + 4 - o for v.
-2
Let z = 1 + 2. Let c be 38/10 + (-2)/(-10). Suppose -c*a = -2 - 30. Solve -x + a = -z*x for x.
-4
Suppose x + 4*m = -4*x + 40, 5*x = -m + 25. Solve x*u + 0 = -8 for u.
-2
Let u(w) be the second derivative of -w**3/6 - w**2/2 - 2*w. Let m be u(-5). Solve 8 = m*i - 8 for i.
4
Suppose 22*l - 21*l = 6. Solve l - 3 = 3*b for b.
1
Suppose 0 = 5*p - 8*p - 27. Let a = -5 - p. Solve 0*n = -a*n for n.
0
Let c(y) = y**2 + 36*y + 133. Let i be c(-32). Solve 12 = i*z - 8*z for z.
-4
Let o = -16 - -19. Solve 5*u + 2 = o*u for u.
-1
Suppose 0 = 4*q - 4*f + 41 - 9, -2*f + 21 = -3*q. Let g(n) = -n**3 - 6*n**2 - 4*n + 6. Let v be g(q). Let h be v + 1 - (0 + -2). Solve -h*w + 17 = 1 for w.
4
Let h(l) = 5*l**3 - l**2 + 2*l - 1. Let k(s) = -s**2 + s + 1. Let u be k(1). Let c be h(u). Solve c*y + 2 = -18 for y.
-4
Suppose 0*f = -f - 4. Let z be -2*(-10)/f*1. Let n = 0 - z. Solve 0 = n*r - r for r.
0
Let p(k) be the second derivative of -k**3/6 + 11*k**2/2 + 3*k. Let b be p(9). Let o = 0 + b. Solve -f = -o*f - 3 for f.
-3
Let n = -7 + 10. Let u(i) = -i**2 - 5*i + 30. Let t be u(-7). Solve n*l + l = -t for l.
-4
Let b = 12 - 10. Solve -m = m + b for m.
-1
Let i(c) = 3*c**2 + c. Let j be i(1). Let x be j*(-2)/(-12)*3. Solve -4*d = -x*d for d.
0
Let i(l) = -3*l - 21. Let t be i(-7). Suppose 2*h = 2*z + 2*z + 16, 4*z = 5*h - 22. Solve -f + h = -t*f for f.
2
Let s = -6 + 8. Solve 3*i - 20 = -s*i for i.
4
Let y(t) = -13*t + 1. Let q be y(2). Let m be (-20)/(-6)*(-30)/q. Solve m*n = 2*n + 6 for n.
3
Suppose -32 = -3*d + 4*s, -3*d + 4*d - 8 = 4*s. Solve -y - 2*y = -d for y.
4
Let a = -7 - -10. Suppose 12 = a*x, 2*f + 14 = f + 5*x. Solve -f = 4*t - 2*t for t.
-3
Suppose 150 = -3*s + 180. Solve 6*c = 4*c - s for c.
-5
Let o = 33 - 33. Solve o = -2*p + 8 - 0 for p.
4
Let w = 216 - 216. Solve 0 = q - w*q + 1 for q.
-1
Let b be 3/4*4/1. Suppose 3*h + 0*o - 5*o - 14 = 0, b*h = 3*o + 12. Solve h*s - 4 = s for s.
2
Suppose -3*g - 2*g + 2 = 2*r, -6 = 3*g + 3*r. Solve 2*k + g = -4 for k.
-3
Suppose j + 3*j = 0. Suppose -2*c + 4*c - v - 3 = j, 3*c - v - 7 = 0. Suppose c*l - 12 = -4*t, -6*l - 3*t + 11 = -2*l. Solve 7*q = l*q - 20 for q.
-4
Let m = 12 - 11. Suppose -m - 8 = -3*s. Solve v - s = -2*v for v.
1
Let m(v) = 3*v + 2. Let q(i) = -i - 1. Let n(j) = -m(j) - 4*q(j). Let s be n(-2). Let c = s + 3. Solve -c*k + 6 + 0 = 0 for k.
2
Let w(z) = z + 1. Let m be w(-1). Solve 0 = -5*d - m*d - 15 for d.
-3
Let a(b) = 14 + 2*b + b**3 - 7 + 3*b - 8*b**2. Let q be a(6). Let k be (-60)/q - 2/(-7). Solve 0 = -0*v + k*v for v.
0
Let w = -10 + 16. Suppose -w*x = -x. Solve s + 1 = -x for s.
-1
Let f(u) be the second derivative of u**5/20 - u**4/12 - u**3/6 + 15*u**2/2 + 2*u. Let o be f(0). Solve 6*m = m + o for m.
3
Let u(p) be the third derivative of p**5/60 - p**4/8 - p**3/2 - p**2. Let s be u(4). Solve c = -0 + s for c.
1
Let k(o) = 2*o - 1. Let z = -8 - -12. Let j be k(z). Solve -1 = -3*q - j for q.
-2
Let m be (-5)/(-10) + (-1)/2. Suppose -r = b - 4, -b + m*r = -2*r + 2. Let u be 1*(-1)/(-2)*4. Solve b = -u*f - 0*f for f.
-1
Suppose 4*r = -g + 6*g - 12, -5*r - 2 = -3*g. Solve 4*l - r*l = -2 for l.
-1
Suppose -14 = -3*k + 4*k. Suppose z - 3 = 2*z. Let t be k/(-3) - (-2)/z. Solve 0 = -t*g - 0*g + 4 for g.
1
Let u = -2 + 5. Suppose 4*j - 1 = 19. Suppose 5*p = 5*n + 4*p - 22, 0 = 2*n - j*p - 18. Solve 0 = -n*b + b + u for b.
1
Suppose 0 = -s + 2 - 0. Suppose -4 = -3*d + s*d. Suppose r - 2 = d. Solve p - r = -2 for p.
4
Let c = -4 + 11. Suppose -3*a - 32 = -c*a + 4*s, a = -3*s + 8. Solve -a = 7*w - 3*w for w.
-2
Suppose -2*d - 3*s = 6, 2*s = -13 + 5. Solve 0 = -i + 2*i - d for i.
3
Let x(q) = q**2 + 3*q + 4. Let l be (1 + 0)/(1/(-3)). Let u be x(l). Suppose 0 = -u*z + z + 6. Solve -z*p = p + 15 for p.
-5
Suppose 8 = 6*p - 4*p. Suppose -p*q + q = 0. Suppose 5*h + 31 = 4*z, -5*z - 2*h + 6*h + 32 = q. Solve 21 - 1 = -z*u for u.
-5
Suppose 5*d + 4*o - 105 = 15, 0 = 4*o. Suppose -d = 3*h + h. Let y be 2*h/4*-3. Solve 7 = 4*z - y for z.
4
Let m = 33 - 29. Solve -m*d - 2 = 6 for d.
-2
Suppose 26 = 4*f + 6. Suppose -f*x + 6 = -3*x. Let i be (2/x)/(2/30). Solve -4*b - i = b for b.
-2
Let q(g) = -g**2 - g + 4. Let t be q(-3). Let j be (-1)/(2/20*t). Solve j = -b - 0 for b.
-5
Let k be 5/(-25)*-5*0. Solve k = -t + 2*t for t.
0
Suppose 2*b + 5*g - 34 = 0, g - 3 = 4*b - 27. Solve 4*y + 1 = -b for y.
-2
Let z(x) be the second derivative of -x**3/6 + 3*x**2/2 - 2*x. Let s be z(3). Let o = -16 + 26. Solve s = -l - l + o for l.
5
Suppose 3*r - 30 = -3*o, -20 = -r - 3*o - 2. Solve f + 2*f = -r for f.
-2
Let a be 1*(-3 + 2) - -1. Suppose a = -3*o + 11 + 1. Solve 0 = -o*f + 3*f - 1 for f.
-1
Let z(d) be the third derivative of -d**5/60 - d**4/6 - 2*d**2. Let b be z(-2). Solve 0 = 2*u - 6*u - b for u.
-1
Let v be -4 - (6/3 + -11). Solve -v*c = 11 + 14 for c.
-5
Suppose -2*v - v - 274 = -4*z, -4*v = -z + 62. Let h be (3/2)/(21/z). Solve h*b = b for b.
0
Suppose -5 + 2 = -d. Solve a = 4*a - d for a.
1
Suppose 0*c = 2*c - 4. Solve 13 = 5*n - c for n.
3
Let n(g) be the second derivative of g**6/360 - g**5/12 + g**4/6 + g. Let u(b) be the third derivative of n(b). Let k be u(8). Solve 1 = 5*h + k for h.
-1
Suppose 0 = 2*v - 6*v. Suppose 6*y - 8*y = v. Solve -5*n + 2*n + 6 = y for n.
2
Let z be ((-3)/6)/((-1)/(-42)). Let l = z + 36. Solve 0*u = -3*u - l for u.
-5
Let j = -11 + 0. Let y(v) = -v**3 - 12*v**2 - 11*v + 3. Let b be y(j). Solve -b*t + 2*t = 1 for t.
-1
Let l = -16 - -19. Suppose l*h = -3 + 12. Solve r - h*r = 6 for r.
-3
Let b be (-2)/(-8) + 33/12. Let c(m) = -m**3 + 4*m**2 - 4*m + 2. Let g be c(b). Let w be 1 - ((-1 - 0) + g). Solve 2*v + w = 11 for v.
4
Suppose -w + 4*x + 5 = 0, 120 = 5*w + 11*x - 12*x. Solve -m + 6*m = w for m.
5
Let m(q) = q - 11. Let b be m(13). Solve 0*h - h = b for h.
-2
Let s(r) = -3*r + 5. Let t(m) = 12*m - 21. Let n(h) = -21*s(h) - 5*t(h). Let u be n(5). Solve 4*b + b = -u for b.
-3
Suppose 5*k - 17 = c, 4*c - 1 + 9 = 0. Solve -2*f + 7 = -k for f.
5
Let y = 499 + -497. Let v be (-24)/(-10) - 4/10. Solve v*l - y = -8 for l.
-3
Let c = -32 - -33. Solve -3*m - 8 - c = 0 for m.
-3
Let o be 1/(-5) + (-904)/(-20). Suppose y + o = 6*y. Solve -2*l = -3 + y for l.
-3
Let c be 1/2*4 + 0. Suppose 5*k - c*f = 26, -28 = -4*k + 3*f + f. Suppose -2 = 3*i + 3*q - 5*q, -3*i = k*q - 4. Solve s = -i*s for s.
0
Let q be 2/4*28 - 2. Suppose k + 0