. Suppose 6 = 4*s - 6. Solve f - s + p = 0 for f.
2
Suppose -3*c - 554 = 67. Let v be c/(-36) - (-2)/8. Solve 0 = -2*t + v*t + 8 for t.
-2
Let h be (0 - -1) + (0 - -2). Let u be (2 + -1)/(-1) + 9. Suppose i - u = -3*i. Solve -2 = -i*r + h*r for r.
-2
Let u be (-7 + 4)/(1/(-1)). Let g be (2 + -1)*(-2)/(-1). Let c be (10 - 1) + 2/(-1). Solve u*t - g = c for t.
3
Let n = -2 - -4. Suppose -4*f + o + 2*o = -30, f - n*o - 5 = 0. Let x(a) = a**3 + 5*a**2 + 3*a. Let y be x(-4). Solve f = -y*w - 11 for w.
-5
Suppose o = -3*o. Let f be o/((-1)/2*-4). Solve 0 = 3*d - f*d for d.
0
Let y(q) = -q + 10*q**2 - 3*q + 3 - 11*q**2. Let z be y(-4). Let k be 2/z - (-14)/6. Solve a + k*a + 20 = 0 for a.
-5
Let u = -14 - -6. Let m = u - -14. Solve -2*t = -m*t - 20 for t.
-5
Let c(t) = -t**3 + 9*t**2 - 18*t. Let x be c(6). Solve 2*l + 8 = -x*l for l.
-4
Let b be (-2)/(1 + 1) + 19. Let y(z) = z**3 - z**2 + 2. Let p be y(0). Suppose 4*a = 2*a + 3*g + p, -g = -5*a + b. Solve a*w = -w + 15 for w.
3
Suppose d = -u + 3*u - 18, -4*d + 18 = 2*u. Solve 4*a - a = -u for a.
-3
Let b be 0 - -1*(1 + 1). Suppose n + b*n = 9. Solve 2*d = -d + n for d.
1
Let v = 19 - 12. Let m = v + -7. Solve m*k = 3*k for k.
0
Suppose -35 = k - 6*k - 5*u, -22 = -4*k - u. Suppose -a = -4*p + a + 16, -3*p - 5*a + 12 = 0. Solve n - k = -p*n for n.
1
Suppose -5*c - 3 = 2*h + 2, c = -3*h - 1. Suppose 13 = 2*v - 3*d, -5*v - 2*d + 30 = 7. Suppose -42 - 2 = -2*n + x, -2*x + 92 = v*n. Solve h*a + n = 5*a for a.
4
Let g(m) = m**3 + m**2. Let b be g(1). Let s = b - 4. Let r be s/4 - 31/(-2). Solve 2*u - 5*u = -r for u.
5
Let t be (-1)/4 + (-1220)/(-80). Solve 3*u + t = -0*u for u.
-5
Suppose -5*w + 29 + 1 = 0. Let j = w - -4. Suppose -2*f - j = 0, 0*a = -2*a + 3*f + 23. Solve a*p + 3 = -17 for p.
-5
Let u be (1/(-2))/((-1)/24). Suppose -5*s - 2*j - 15 = 0, -2*s = -7*s + 5*j + 20. Let v(r) = 4*r**2. Let l be v(s). Solve 4*k = l - u for k.
-2
Let k be ((-30)/(-8))/(4/32). Let u be 5/(k/4)*60. Suppose -u = -9*j + 4*j. Solve -j = 5*m + 7 for m.
-3
Suppose -3*j - 2*j + 15 = 0. Solve 2*b - j - 3 = 0 for b.
3
Suppose 4*o + 1 - 5 = 0. Solve 0 = -q - o + 2 for q.
1
Suppose 5*d - 45 = 3*m, d = -3*d - 2*m + 36. Solve -2*z + 1 = -d for z.
5
Suppose 30 + 50 = 5*v. Let c = 19 - v. Suppose 0 = -3*s + 4 + 2. Solve -1 = s*m + c for m.
-2
Let d = -9 + 14. Let w(l) be the first derivative of l**4/4 - l**3 - 5*l**2/2 - 6*l + 2. Let f be w(5). Solve d*k - f = 1 for k.
4
Let q(v) = v**2. Let s be q(2). Solve 2 - 14 = -s*p for p.
3
Let x be (-8)/(-3 + 2) - 0/9. Solve 3*m = -m - x for m.
-2
Let w(k) = 4*k**2 - k - 2. Let f be w(2). Solve 6*r - 2*r + f = 0 for r.
-3
Let k be (1 + -26)*(-18)/15. Let z be ((-36)/k)/(3/(-10)). Suppose z*f + 5*j - 3*j = 0, 0 = j. Solve 2*x = -f*x - 8 for x.
-4
Let j = -16 + 24. Let m(r) = r + 1. Let g be m(j). Solve -g = -3*w + 3 for w.
4
Let j = 6 + 6. Solve x = 4*x + j for x.
-4
Let j(l) = -l**2 - 7*l. Let d(q) = -q**2 - 8*q + 1. Let f(r) = -2*d(r) + 3*j(r). Let t be f(-4). Solve -7 = t*w - 3 for w.
-2
Let h = 12 + -7. Let p be 2/((-5)/40*-4). Solve -p*f + 7 = -h for f.
3
Let i be (-2)/1 - 4/(-2). Let o be (i - -1)/(-1)*-2. Suppose -x + 5*x - 16 = 0. Solve -4 = o*s + x for s.
-4
Let f = -58 - -61. Solve 0 = -f*c - 6 - 9 for c.
-5
Let a(c) = 9*c**2 - 1. Let m be a(1). Let q be -2*4/m + 3. Solve q*b - 7*b = 25 for b.
-5
Let x(s) be the second derivative of s**4/12 + 2*s**3/3 + 3*s**2/2 - 2*s. Let c be x(-5). Let g(w) = w + 2. Let r be g(-2). Solve -5*k - c + 18 = r for k.
2
Let j = -15 - -32. Suppose -o - 3 = 0, -s - s + 5*o + j = 0. Solve -g - s = 4 for g.
-5
Let k be 3 + 2*-3 + -2. Let b be k/(2/(-2) + 0). Solve -b = 3*i - 20 for i.
5
Let c(i) = i**3 + 3*i**2 - 3*i + 8. Let l be c(-4). Let x be (-4)/14 + 32/14. Let m = 3 - x. Solve b + m = -l for b.
-5
Let v = 13 + -8. Suppose 2*b = 3*d + 10 + 14, -2*d - 38 = -v*b. Let u(j) = -j**3 - 12*j**2 - 11*j + 2. Let q be u(-11). Solve 0*c + b = -q*c for c.
-3
Suppose -22 = -3*x + 11. Solve -2*k - 1 + x = 0 for k.
5
Let c(v) be the first derivative of v**3/3 + 2. Let b be c(-3). Let t = -3 + b. Solve 0 = -t*z + z + 20 for z.
4
Suppose -4*x + 54 = -2. Suppose m - x = -m + 3*t, 20 = 3*m - 4*t. Suppose 0 = 4*z - m, 2*j - j - z - 7 = 0. Solve 0 = -l - 3*l + j for l.
2
Suppose 3*m + 6 = 5*m. Suppose h = 2*j - 8, j = 3*j - 10. Suppose -l + 3*l - 16 = -2*v, 3*l - 14 = -v. Solve -v*i = -h*i + m for i.
-1
Let m be 1/(-1) + 0 - 5. Let x = -2 - m. Solve 2*n + 2*n = x for n.
1
Let j(s) = s - 1. Let q(u) = -u**3 + 7*u**2 - 1. Let w be q(7). Let t be j(w). Let c be t/(1 + -2) + 1. Solve c*h - 9 = -0*h for h.
3
Let h be (-7)/(-14)*8/1. Suppose -3*a - h = -5*a. Solve -s - 1 = -a*s for s.
1
Let p be (-1)/(-3) + (-32)/(-12). Suppose -2*g = 3 + 5, c + p*g + 9 = 0. Let i = -3 + c. Solve -f - 3*f = i for f.
0
Suppose -2*w - 3*w = -20. Suppose -2*z + 10 = 3*n, 4*n - n - 5*z = -w. Solve -5*y + 12 = -n*y for y.
4
Let j(b) = -7*b - 11. Let q be j(-2). Let k be (-1)/(2/(68/(-2))). Suppose h + 3*o + 4 = k, -5*h - 5*o = -55. Solve h = -q*z - 5 for z.
-5
Suppose 4 = -p + 5. Solve -7 = -2*t + p for t.
4
Let a(o) = -5*o - 26. Let g be a(-6). Solve -g*x - 2 = -10 for x.
2
Suppose 0 = -24*c + 20*c + 16. Solve 2*d + c = 8 for d.
2
Let j(w) = w**3 - 5 + 6*w**2 + 0*w**3 + 7*w + 10. Let o be j(-5). Let h be 2/o - 34/(-10). Solve h*a - 2 = a for a.
1
Let q = -18 + 23. Solve -2*h = -h - q for h.
5
Suppose -4*p = -p - 3. Suppose 9 = -3*u, 0 = 5*i + u + 4*u - 5. Let t = 4 - i. Solve t = -y - 3 - p for y.
-4
Let s = 48 + -105. Let g = -37 - s. Solve 0*r - 4*r + g = 0 for r.
5
Let l = 2 - 0. Suppose 2*a + 2*k - 136 = -30, 106 = l*a + 5*k. Suppose 3*j - a = 2*q, -j - 2*q + 2 + 5 = 0. Solve 2*r + 3*r = -j for r.
-3
Let p = 2 - 0. Let l(h) = h - 2*h + p*h. Let q be l(2). Solve 0*y + 2*y = q for y.
1
Let y(b) = -b + 14. Let d be y(6). Solve -d + 0 = 4*l for l.
-2
Suppose 3 = 2*j + 5. Let m = -24 + 15. Let y be 0 + j + m/(-3). Solve 2*i - 2 = y for i.
2
Let f = -8 + 8. Let s(w) = -w**2 + 6*w - 1. Let m be s(5). Solve -z - m*z = f for z.
0
Let j be -1 + 3 + 0 + 1. Suppose 5*p = -2*b + 40, -j*p = -0*p + 3*b - 24. Solve 0 = 2*o + 2*o + p for o.
-2
Let u = -11 + 8. Let b be u*(-2)/3 - 2. Let c = 0 - b. Solve c*l = -l + 4 for l.
4
Suppose -f = -3*f - 90. Let x be ((-6)/(-8))/(2/(-16)). Let o be f/x*(-8)/(-12). Solve 0*k - 5*k = -o for k.
1
Let u be ((-3)/9*4)/(16/(-120)). Solve -u = -3*r + 8*r for r.
-2
Let i = -6 - -8. Let r = 22 + -2. Suppose -3*c + r = i*c. Solve -q = -0*q + c for q.
-4
Let l(v) = v + 6. Let b be l(-2). Let i(w) = w**3 - 3*w**2 - 3*w - 5. Let d be i(4). Let q = d + b. Solve 3*u + 0 + q = 0 for u.
-1
Suppose -4*x + 3*d + 18 + 11 = 0, -x + 11 = -2*d. Solve -2*c + 1 = -x for c.
3
Suppose 17 = 2*d + 9. Solve -d = -p - p for p.
2
Let v(f) = -f**2 + 3*f + 3. Let j be v(3). Let p(s) = s**3 + 12*s**2 - 13*s + 4. Let o be p(-13). Solve -o*h - j = -5*h for h.
3
Let i(u) = u**3 + 7*u**2 + 8*u + 13. Let c be i(-6). Solve o - c = -0 for o.
1
Let d(t) be the third derivative of 1/4*t**4 + t**2 - 7/6*t**3 - 1/120*t**6 - 1/10*t**5 + 0*t + 0. Let k be d(-7). Solve k = n - 3*n for n.
0
Suppose k - 4 = 1. Solve k*u - 1 = -6 for u.
-1
Let n = 30 + -26. Solve -n = z - 3 for z.
-1
Let y(v) = -5*v + 3. Let o be y(2). Let r = -6 - o. Solve 0 = -2*s + 3*s + r for s.
-1
Let m(c) = -c**3 - 3*c**2 + 2*c - 2. Let r be m(-4). Solve -t - r = t for t.
-3
Let k(t) = 2*t**2 - 2*t + 2. Let r be k(-2). Let z be (-15)/10*(-8)/2. Solve -z - r = -4*n for n.
5
Let l(w) = -w**2 + 6*w - 5. Let r be l(7). Let u be (4 + r/3)/1. Solve u*n = 2*n - 8 for n.
4
Suppose -p - 6 = 2*p - 3*g, 0 = -2*p + g - 4. Let z be 0/(1*(p + 0)). Let i(d) = -d**2 + 5*d + 2. Let x be i(5). Solve -v + x*v = z for v.
0
Let u be 24/42 + (-3)/(-7). Let b be u/(((-5)/4)/(-5)). Solve b*l = 8 + 12 for l.
5
Let u(k) = -13*k + 5. Let l(i) = 3*i - 1. Let f(v) = -9*l(v) - 2*u(v). Let m be f(-5). Suppose m = h - 1. Solve h*r = 6*r - 3 for r.
3
Suppose 0 = -g + 2*g + 4*n - 6, -5*g = 5*n - 15. Suppose 6 + 2 = g*o. Solve -2*q - o = 6 for q.
-5
Let j = 10 - 5. Let q be (-78)/(-30) + (-3)/j. Suppose 4*t - 3*x = q*x - 7, -5 = -4*t + x. Solve 0*v + t = 2*v for v.
1
Let k be (-3)/(-2)*16/6. Suppose -8*i + 16 = -k*i. Let b be (i - 1) + (0 - -1). Solve 2*z - b = 4 for z.
4
Let