y = g - u. Solve y*x + 15 = -x for x.
-5
Suppose 7*o - 10 - 11 = 0. Solve -n = -o*n + 8 for n.
4
Let q = 15 - 15. Solve q = -5*a - 1 + 6 for a.
1
Let s be 0*(-4)/(-12) - -3. Let l(b) = 4*b**2 - 4*b + 4. Let w be l(3). Suppose 2*j = -o, s*j - w = -j + 5*o. Solve j*n - 1 = 5 for n.
3
Let o = 10 - 7. Suppose 10 = 2*g + o*g. Solve -j = g - 4 for j.
2
Suppose -12 = 5*h - 4*h. Let s = -7 - h. Solve -p - s = -0*p for p.
-5
Let b be (-9)/(-2) - (-4)/(-8). Suppose -4*s - b*h - h - 15 = 0, -5*s + 9 = -3*h. Solve 0 = -s*q + 2*q for q.
0
Suppose 0 = -3*n + 12, n + 3 = 3*q + 7. Suppose q = -5*k - 3*d, 5*k - 17 = d + 3. Suppose -g + 10 = 4*g + 4*h, -2*g + 4 = -5*h. Solve t + g = k*t for t.
1
Let w(l) = -l**3 + 5*l**2 - 2*l - 5. Let n be w(4). Suppose f - 6 = -3*f + 5*r, -13 = 3*f + 5*r. Let c = n - f. Solve -3*y + c = 1 for y.
1
Suppose -11 - 25 = -6*t. Solve -3*b = -t*b - 15 for b.
-5
Let o(q) = q**3 + 6*q**2 + 3*q - 6. Let h be o(-5). Solve -12 = -h*y + y for y.
4
Let q(p) be the third derivative of -p**4/4 - 3*p**2. Let i be q(-1). Solve -i*f + 8 = -4*f for f.
4
Let f(n) = n + 13. Let r be f(-10). Let t(z) = -2*z**2 - 5*z**2 + z**r - 12 - z**2 - 6*z. Let a be t(9). Solve 0 = -9*x + 4*x - a for x.
-3
Let h(w) = 3*w + 2. Let g(o) = 10*o + 7. Let n(u) = 2*g(u) - 7*h(u). Let z be n(-4). Suppose -z*t + 5*l + 8 + 8 = 0, 3*l + 16 = 4*t. Solve -m - 2 = -t for m.
2
Let i(s) = 2*s + s + 1 - 2*s. Let u be i(-1). Solve u*h = 5*h - 25 for h.
5
Suppose 0 = -4*y - y + 10. Suppose -5*z - p + y*p = -1, 0 = p + 1. Solve z*d = -4*d for d.
0
Suppose -q = -4 + 1. Suppose -q*d = -4*j + 5*j - 1, 15 = -3*j. Solve -u - d = -4 for u.
2
Let v(m) be the first derivative of m**2/2 + 3*m - 3. Let s be v(-1). Solve -s*k + 6 = -4 for k.
5
Let i = -73 - -66. Let u(y) = 5*y**2 - 33*y + 49. Let p(h) = -h**2 + 8*h - 12. Let f(g) = -9*p(g) - 2*u(g). Let m be f(i). Solve -m*x - 2*x - 5 = 0 for x.
-1
Let o be (-76)/10 + 4/(-10). Let u be (o/3)/(-2)*3. Solve -u*p = -2*p for p.
0
Suppose 2*g = -q + 26, -13 - 9 = -2*q + 2*g. Suppose -2*s - 3*s = 0. Solve s = 2*c + 2*c + q for c.
-4
Suppose -2*i + 22 + 8 = 0. Suppose 2*k = -3*r - 2, 5*r + 4*k + 6 = -0*r. Suppose -2*a - 2 = -6*a - 3*v, -5*v = -r*a + 14. Solve -5*c + i = -a*c for c.
5
Suppose 4*z + 8 = -40. Let s be z/(16/(-4)) - -1. Solve 13 - 1 = s*w for w.
3
Let m(x) = x**3 - 7*x**2 + 2*x - 5. Let z be m(7). Solve 4*q = z*q + 5 for q.
-1
Let g(j) be the third derivative of -j**5/60 + 5*j**4/12 - 2*j**3 - j**2. Suppose y - 8 = -0*y - x, 5*x = -2*y + 16. Let w be g(y). Solve v + w = -0*v for v.
-4
Let c be (1/(-2))/(3/(-12)). Suppose -2*a - 5*i = -c*i - 1, 4*a + 4*i = 8. Solve 3 = 4*y - a for y.
2
Let c(z) = 3*z**2 + 4*z + 1. Let o(h) = -4*h**2 - 3*h - 1. Let v(n) = -3*c(n) - 2*o(n). Let k be v(-5). Let d be (3 - (2 - 0)) + -1. Solve k = -d*p - 4*p for p.
-1
Suppose v = 3*i - 6, -9 + 3 = -v - i. Suppose o + v = 2*o. Solve 12 = 3*m - o for m.
5
Suppose 9 = -6*j + 3*j. Let m be (-39)/(-5) + j/(-15). Let k = -5 + m. Solve k*n = -n for n.
0
Let c be 9/2 - 2/4. Suppose 0 = 3*m + 12*u - 9*u - 24, -4*u = -m + 13. Solve -b - m = -c*b for b.
3
Let l(q) = q**3 + 7*q**2 + 5*q - 3. Let z be l(-6). Let o = 13 - z. Let f = o + -6. Solve 0 = -t + f for t.
4
Suppose -6*a = -2*a + 40. Let h = -5 - a. Solve -h*k + k + 20 = 0 for k.
5
Suppose -3*u = -3*b - 25 - 5, 10 = -3*u - 5*b. Suppose -5*s + 12 + 3 = u*t, -2*s - t + 8 = 0. Solve s*y + 0 = -25 for y.
-5
Let b be -1 + (-7)/((-21)/9). Solve -b*q = -0*q + 8 for q.
-4
Let d be (-2)/(-8) - 33/(-12). Suppose d*g + 3 - 6 = 0. Let h be g/(-3) + (-62)/(-6). Solve -3*y - h = -8*y for y.
2
Let g = 3 + 0. Let x(h) = -h**3 + 4*h**2 + 5*h + 2. Let b be x(5). Suppose -g*r + b = -2*r. Solve k - r = -k for k.
1
Let l = 17 + -12. Let x = l - 3. Solve -p = x*p for p.
0
Let b be (-3 - -2) + 6 + 1 + 0. Solve -14 - b = -5*q for q.
4
Let l(p) = p - 4. Let c be l(4). Suppose c*z = 2*z - 6. Solve 0 = -q + z*q for q.
0
Let a = 5 + -4. Solve 5 + a = 2*f for f.
3
Let k = 52 + -50. Solve -k = 2*l - 0 for l.
-1
Let q be (-37)/(-5) - 2/5. Let x = q - 5. Suppose 2 = a - h - 0*h, x*a = -4*h + 22. Solve 3*g + a = -2*g for g.
-1
Let v(t) = t**3 + 4*t**2 - 5*t + 3. Let n be v(-5). Suppose 4*g - 4*m = n*g + 7, 31 = 3*g - 2*m. Let z = 2 - -3. Solve z*x + g = -14 for x.
-5
Let k(u) = -u + 5. Let p be k(6). Let y be ((-1)/(-2))/(p/(-6)). Let m be 0*(y/6 - 1). Solve 8 + m = 2*a for a.
4
Let b be (3/(-4))/((-3)/12). Let i = 18 - b. Solve 0*o = 3*o + i for o.
-5
Let z be (-1 - 11) + 4 + -2. Let a = z - -25. Suppose -3*c + 30 = 2*c. Solve -a = c*y - y for y.
-3
Let u = -71 + 73. Solve -t - u*t - 9 = 0 for t.
-3
Let x(y) be the first derivative of -y**3/3 + 9*y**2/2 + 7*y + 1. Let c be x(9). Let z(h) = -h + 11. Let u be z(c). Solve -4*d + 6*d - u = 0 for d.
2
Suppose 0 = 3*z + 15, -4*a + 4*z = 3*z - 25. Solve -7 = -2*p - a for p.
1
Let r be (7 - 2) + (0 - 0/1). Solve 6 = r*p - 3*p for p.
3
Let v be 3 - -12 - (-1 + 3). Suppose 5*p - v = -3. Let d be (3/6)/(p/48). Solve 4*j + 4 = d for j.
2
Suppose 0 = -0*j + 2*j. Suppose -3*b - 3*p + 1 = -4*b, -3*b - p + 7 = j. Suppose -2*a - 11 = -2*y + 1, 2*a = -5*y + b. Solve y*v - 4 = -0 for v.
2
Suppose 2*s - 2 = 4. Suppose b + m = 6, b + 8 = -b + s*m. Solve -b*r = r + 12 for r.
-4
Let h = -41 + 46. Solve h*p - 20 = -0*p for p.
4
Suppose -11*i + 6*i = -30. Solve -5*l = 4 + i for l.
-2
Let z(y) = -y**2 - 5*y + 6. Let n be z(-6). Solve 0 = -n*k - k + 5 for k.
5
Let w(f) = f**3 - 4*f**2 + 3*f + 2. Let c be w(2). Solve -3*k = -c*k - 12 for k.
4
Let f be (-1)/(1/2)*-1. Let c be 0 + (-4)/(8/(-6)). Solve -5*r = f + c for r.
-1
Let n = -24 - -14. Let m = -6 - n. Solve 0 = m*d + 8 for d.
-2
Suppose -5*q = -u - 5, 3*q - 4*u - 20 = -q. Let w = 14 + -11. Solve -g = -w - q for g.
3
Let s be 30/(-7)*-1 - (-2)/(-7). Solve s*a = -a + 20 for a.
4
Let w be (-30)/(-2)*(-6)/(-18). Suppose -w*p + 2 = -3. Solve -5*a = 21 - p for a.
-4
Let r(h) = -10*h**2 - 1. Let v be r(-1). Let w = 0 - v. Let f = w + -4. Solve -3 = -2*a + f for a.
5
Let g(u) = -u**3 + 4*u**2 + 3*u + 3. Let k be g(4). Let v be (-1)/(-5) + 162/k. Solve 9 = -4*b - v for b.
-5
Suppose 3*o - v = -4*v + 3, -4*v = o + 5. Solve 20 = -o*l - l for l.
-5
Let o = -47 + 47. Solve 3 = f - o*f for f.
3
Suppose 5*i - 12 = i. Suppose 0 = -4*t - 4*o + 32, 0 = t + t - 3*o + 9. Suppose 2*l - r + 4 = -t*r, 2*r = -i*l - 4. Solve -s + l*s - 1 = 0 for s.
-1
Let o be (8 - (1 + 4))/1. Solve 0 = -0*b - b - o for b.
-3
Let f(b) = b**3 - 3*b**2 - 6*b + 2. Let y be f(4). Let l = 8 + y. Let v = l - 1. Solve 2*o - v = o for o.
1
Let y = 68 - 54. Solve 0 = 4*i + y + 6 for i.
-5
Let f(t) be the third derivative of -t**5/60 - t**4/8 + t**2. Let w be f(-2). Let m be -1 + (3 - w) - 0. Solve -3*l + 5 + 7 = m for l.
4
Let c(a) = -2*a**3 + 2*a**2 + 4*a + 2. Suppose -10 = v + 4*v. Let o be c(v). Let t = o + -3. Solve -t = -0*w - 5*w for w.
3
Let u = -17 + 27. Let f be (-5 - -2)*u/(-15). Let j(m) = -m**3 + m**2 + 2*m. Let b be j(f). Solve 2*y + 2*y - 20 = b for y.
5
Let s(m) = -3*m**2 - 4*m + 1. Let h(d) = d. Let o(t) = -3*h(t) - s(t). Let x be o(1). Solve x*v = 6 - 3 for v.
1
Suppose 0 = 2*z - 2*h + 5*h + 6, 3*h = 4*z - 6. Suppose r + 1 - 3 = z. Let m = -9 + 13. Solve m*a - r = 2*a for a.
1
Let w(c) = c - 20. Let q be w(10). Let y = q - -16. Solve 2*z = -z - y for z.
-2
Let z be 1/((-3)/45*-3). Suppose -5*s - 36 = -4*y + 19, 5*y + z*s = 125. Solve -y = -6*h + 2*h for h.
5
Suppose -2*x = -d, -2*d - 2 = -10*x + 5*x. Solve -d*j = -3 - 9 for j.
3
Let s(i) = -i**2 - 4*i - 7. Let c be s(-5). Let y be c/(-9) + (-6)/(-9). Solve -y*p + 5*p = 3 for p.
1
Suppose 3*b - 4*a = -2*b + 14, 3*b - 4 = -2*a. Suppose -3*n = b*n. Solve 15 = -3*w - n*w for w.
-5
Let f(b) = b**3 + 7*b**2 + b + 1. Let y be f(-3). Suppose -4*k + 15 = -5*g, -2*g = -0*g + 4*k + y. Let z = g + 8. Solve -2*n = -1 - z for n.
1
Let i(l) = l. Let m(d) = -2*d - 8. Let s(c) = -3*i(c) - m(c). Let t be s(7). Solve -b = -5 + t for b.
4
Suppose 2*q + 0 - 4 = 0. Let n(u) = u**3 + 8*u**2 + 3. Let m be n(-8). Suppose m*t + 2*t - 30 = 0. Solve -q - t = -2*y for y.
4
Let p = 39 - 11. Suppose 0*y = -2*y + p. Suppose 0*l + 2*o = -4*l + y, -l - o = -5. Solve 0*k + l*k = 0 for k.
0
Suppose -5*b - 4 = 5*m - 19, -m - 3*b + 1 = 0. Suppose -5*z + 3*h - 1 = 0, m*z + 3*h + 0*h 