- h for s.
2
Let q be (0 + 3/2)*4/3. Solve -5*j + 9 = -q*j for j.
3
Let v(q) = q**3 + q**2. Let t be v(-4). Let r = 10 - t. Let x be (-4)/(-10) + r/5. Solve k = -2*k - x for k.
-4
Suppose -7*z + 18*z = 55. Let v = -2 + 1. Let h be 1*(-6)/v - 0. Solve 3*n = z*n + h for n.
-3
Let f be 0 + -1 + 7 - (-4)/(-1). Solve p + f*p = -15 for p.
-5
Let p(y) = -2*y**2 + 7*y - 1. Let q be p(3). Solve -q*w - 14 + 4 = 0 for w.
-5
Suppose 2*l + 36 - 60 = 0. Solve -q = -4*q - l for q.
-4
Let w = 57 + -54. Solve -7*q + w*q + 4 = 0 for q.
1
Suppose 2*m = 5*m - 4*b - 24, -5*b - 31 = -4*m. Solve -m*f = -f - 3 for f.
1
Let u(g) = -3 + 4*g**2 + 11 - 3*g**2 - 5*g - 2*g**2. Let z be u(-6). Solve -3*w + z*w = 1 for w.
-1
Let d = -27 + 30. Suppose -3 + 5 = h. Solve -h*c + 2 = -d*c for c.
-2
Suppose 5*j - 3*j + 4 = 0. Let u be (-15)/j*(-24)/(-18). Suppose -3*f - 4 = -5*a + 38, f + u = a. Solve -a*t + 3*t = 3 for t.
-1
Let l(f) = -f**3 - 5*f**2 - 5*f + 2. Let d be l(-5). Suppose t = 3*t - 4. Solve t = -5*z + d for z.
5
Let r(n) be the third derivative of n**5/60 + 5*n**4/24 - 5*n**3/6 + 3*n**2. Let x be r(-6). Solve -3*k = -4*k + x for k.
1
Suppose 5*o - 18 = 4*k, 0 = -2*o - k - k. Let b = -4 - -5. Solve b = o*g - g for g.
1
Let t(i) = i**3 + 2*i + 4. Let k be t(0). Solve -2*j = -j - k for j.
4
Let m = 11 + -9. Suppose -4*h - m + 18 = 0. Let p = -4 + 10. Solve -u + h*u = -p for u.
-2
Suppose 0 = 3*a + 2*w - 16, 8 = a + 3*a - 4*w. Let k be 0 - (-2 - 1) - 1. Suppose -k*d - 2*d = -80. Solve 0*o = a*o + d for o.
-5
Let k be 42/11 + 12/66. Let s be k/(-3)*(-21)/14. Solve u + s + 2 = 0 for u.
-4
Let j = 51 - 44. Solve 5*d + j = -8 for d.
-3
Let j = -3 - 2. Let a be 0*(3 + j)/(-2). Solve -4*c + a*c = -4 for c.
1
Let j be 2 + ((-3)/(-3) - -1). Solve j = -3*m + m for m.
-2
Suppose 2*d + 4*k - 42 + 14 = 0, -k = -4*d + 11. Solve -d*p = -p for p.
0
Suppose -4*n = 6*n - 20. Solve -6*x = -n*x for x.
0
Suppose -o - 10 = -15. Solve 0 = -o*m + 2*m - 9 for m.
-3
Let u = 4 - -14. Solve 3*k + u = 6 for k.
-4
Suppose 4*b = -3*p - 1 + 3, 0 = -b + 4*p + 10. Let x be 1 + 4/6*3. Suppose 0 = 4*i - 20, -2*f + f + 4*i - 13 = 0. Solve x + f = b*u for u.
5
Suppose 11*v - 70 = 6*v. Suppose -g - 10 = -4*g - 4*y, v = 5*g + 4*y. Solve 1 = g*p - p for p.
1
Let t be 90/(-20)*(-4)/2. Solve -t = -5*n + 16 for n.
5
Let x be -4 - 0 - (7 - 13). Solve -x*m = -4*m + 6 for m.
3
Let w = -1 + 9. Let c(b) = b**3 - 9*b**2 + 10*b - 12. Let a be c(w). Suppose -2*v = -7*v + 35. Solve 5 = a*o - v for o.
3
Let s be 1*(-3)/(-2)*2. Let r be -6*(2 + (-8)/s). Solve 6 = -r*z + z for z.
-2
Let j be 34/51 - 4/(-3). Solve 2*q + 12 = -j*q for q.
-3
Let b = 2 - 4. Let c(a) = 0*a - 2 + 2*a - 4*a. Let o be c(b). Solve -o*k + 4*k = 8 for k.
4
Let z(j) = j**3 + 7*j**2 + 4. Let f be z(-7). Suppose 2*y + 6*l - 2*l = 32, -4*l - 4 = -f*y. Solve s = -s + y for s.
3
Let c be (-2)/(-4) + 7/2. Suppose k = -4*m, -c*m = 3*k - m. Solve 3*v - 9 = -k for v.
3
Suppose -2*r = 6, -2*y + 4*r - 7*r = -1. Solve 4*p = 3*p + y for p.
5
Suppose 26 = -y - 5*r, 0*y = -4*y + 2*r - 16. Let t(p) = -2*p + 2. Let j be t(y). Suppose 0 = 3*x - 4 - j. Solve -4*u + x = 26 for u.
-5
Suppose 0 = -3*r - 4*b + 16, 3*r - 73 = -r + 5*b. Let t be 4/(-2) + (0 - 1). Let a = 3 + t. Solve a = 5*p - r - 8 for p.
4
Suppose -m - 2 = -0*d + d, -5*d = -3*m - 6. Solve d = v + 1 for v.
-1
Let i = -11 - -12. Solve i + 7 = -4*s for s.
-2
Let x(i) = -i**3 - 6*i**2 - 6*i - 5. Let b be x(-5). Let s = -25 + 29. Let z(q) = -q**3 + 5*q**2 - 4*q + 4. Let a be z(4). Solve b*c = s*c - a for c.
1
Let v = 91 - 91. Solve v*x - 4 = -x for x.
4
Let n(s) = s - 2. Let z be n(-4). Let v = z - -9. Let w be v/12 - (-1)/(-4). Solve -k + 0 - 1 = w for k.
-1
Let c be 3/9 - 1/3. Let y(u) = -u**2 - 1. Let p be y(1). Let f(i) = 2*i**2 + 3*i + 1. Let r be f(p). Solve c*s = -r*s + 15 for s.
5
Suppose 3*z + 8 = -z. Let x be ((-80)/2)/z - 0. Suppose -x = 2*i - 7*i. Solve -t = -i*t for t.
0
Let o be 6/10 + 6/(-10). Let j(c) = -2 + c - 3*c + 0. Let m be j(-3). Solve m*t = -o*t - 20 for t.
-5
Let z be 10/(-4) - 1/(-2). Let f(m) = m**3 + 4*m**2 + 4*m + 3. Let k be f(z). Solve -k*s = -2 + 17 for s.
-5
Let c(t) = -t + 6. Suppose 10 = 5*j - 5. Let y be c(j). Solve 1 = -p - y for p.
-4
Let i = -15 - -15. Let v(h) = h**2 + 8*h + 4. Let b be v(-3). Let k be -2 + i/2 - b. Solve 2*g - 3 = -k for g.
-3
Let a(f) = -f**2 - 9*f + 1. Let q be a(-4). Let z = -2 + 6. Solve 0 = -z*w - q + 1 for w.
-5
Let a(d) = 4*d - 2. Let v be a(-1). Let t(x) = x**2 + 7*x + 8. Let c be t(v). Solve -2 = -c*l - 6 for l.
-2
Suppose w = 2*c + 13, -2*c + 4 = 4*w + 2. Let s = -3 + w. Let y(f) = -f**3 + f + 2. Let u be y(s). Solve -3*v - 14 + u = 0 for v.
-4
Let f(d) = 2*d**2 - 3*d + 1. Let t be f(2). Solve w + t*w = 20 for w.
5
Suppose -18 = -4*y - 2. Solve -10 - 2 = y*i for i.
-3
Let o(p) = -p**3 - 6*p**2 - 5*p. Let w be o(-5). Solve 3*q - 4*q - 4 = w for q.
-4
Suppose 0 = -g + 3 - 0. Let t be (-3)/((-2)/(4/g)). Let r be 11 + -6 - (-1 + 0). Solve t*b + r = -b for b.
-2
Let l(u) = u**2 - 8*u + 6. Let s be l(8). Let p = 8 - s. Solve p*v = v - 5 for v.
-5
Suppose -2*j + 0*j - 4*d = 6, 2*d - 2 = -2*j. Suppose -3*g + 62 = 4*w, j*w = -0*g - 2*g + 46. Solve 6 - g = 4*l for l.
-3
Suppose 0 = m - 4*k - 12, 0*k + k + 3 = -2*m. Solve 0 = 2*o + 2 - m for o.
-1
Suppose -1 - 3 = -2*o, -3*t + 13 = 2*o. Let k = 5 - t. Let a(l) = -l**3 + l**2 + 3*l - 2. Let b be a(k). Solve b = -4*i - 0*i for i.
0
Let q be (0 + (-8)/6)/(2/(-6)). Solve -g + q*g = 15 for g.
5
Let q(u) = -3*u - 1. Let i be q(1). Let x = -7 - -8. Let l be ((-10)/8)/(x/i). Solve l = n - 6*n for n.
-1
Let h be 39/15 + (-10)/(-25). Solve -5 = -h*s + 4*s for s.
-5
Let p(g) = -2*g**2 + 2*g - 1. Let m be p(1). Let c be (-3)/((-3)/(-1))*m. Solve 5 + c = 3*y for y.
2
Let s be (-2 - (-54)/8) + (-201)/268. Suppose -5*q + 2 = -4*o, -2*o = -3*q - 1 + 3. Suppose q*a = 7*a - 100. Solve s*g + a = -0 for g.
-5
Suppose 4*b + d - 20 = 0, 8*b = 3*b + 2*d + 12. Suppose 2*l + 8 = -b*w - 14, 3*l = 3. Let v = w - -8. Solve 2 = -v*p + 8 for p.
3
Let d = 72 + -69. Let p(n) = n**2 + 2*n - 2. Let u be p(-3). Solve -2*l + d = u for l.
1
Let w(i) = -i - 1. Suppose 3*s = k + 2*k + 6, 3*k - s = -4. Let c be w(k). Let g(a) = a**3 - 8*a**2 + 2*a - 11. Let q be g(8). Solve q*l - 1 - 9 = c for l.
2
Let r = -18 - -27. Solve r = 3*i + 3 for i.
2
Suppose 2*v = 2 + 4. Suppose v*r = 5 + 4. Suppose -r + 5 = o. Solve -o*c - 2 = -c for c.
-2
Let r = -62 - -78. Solve 0 = -5*f + 4 + r for f.
4
Let q be (((-8)/6)/(-4))/(4/12). Solve -q = -v - 0*v for v.
1
Let i be (-4)/6 - (-26)/39. Suppose 3 = z - i*z. Solve -j = -z*j + 4 for j.
2
Let d(o) = o**2 + o - 4. Let c be d(-3). Let w = 0 + c. Suppose 39 = w*x - 5*j, 9 = 3*x + 3*j - 18. Solve -4*h + x = 4 for h.
2
Let a be ((-24)/(-36))/((-4)/(-18)). Solve -a*p - 13 = 2 for p.
-5
Let r be 2/(-5) - (-336)/40. Let y(v) = v**2 - v - 1. Let w be y(3). Solve 17 + r = -w*p for p.
-5
Let d(j) = j - 8. Let m be d(6). Let f be 1 + (13 - (m - -4)). Suppose 4*r - f = 2*r. Solve 2 = 4*a - r for a.
2
Suppose 0*m = 8*m - 24. Solve 2*h = m*h for h.
0
Let q be ((-6)/(-4))/((-6)/(-8)). Let w(i) = i - i**2 - 4*i - 1 - q*i. Let c be w(-2). Solve -o + 6*o + c = 0 for o.
-1
Let v be (-1 + -3 + 1)/(-1). Suppose 8*x - 35 = v*x. Solve 3*f - 20 = x*f for f.
-5
Let w = -1 + 1. Let o = 32 - 35. Let n be -2 - (o - 2) - 1. Solve n*x + w = 2 for x.
1
Suppose s - 19 = -16. Solve -15 = -s*w - 0*w for w.
5
Suppose 10 = -5*b + 3*t + 2*t, 2*b = 5*t + 2. Let s be (-2)/4 - 15/6. Let m = s - b. Solve -3*k + 2*k = -m for k.
1
Let i be ((-8)/(-10))/(3/60). Let c = i - -29. Let r = c + -28. Solve -4*y = r + 3 for y.
-5
Let u = -15 + 20. Let k be ((-7)/(-3))/((-3)/(-9)). Solve k = -4*p - u for p.
-3
Let y = -19 - -21. Solve k = 3*k + y for k.
-1
Suppose -t + 4*t + 36 = 0. Let y be (16/(-6))/((-4)/t). Let n be (-2)/2 + (-6 - y). Solve -o = n + 2 for o.
-3
Let t be -4*5/(80/(-12)). Suppose -t*a + 5*a = 0. Solve o = -a + 3 for o.
3
Let x be ((-7)/63*3)/(2/(-12)). Solve -5*s - 3 = x for s.
-1
Suppose -3*m - 4*i = -7*i - 6, 4*i - 16 = -2*m. Suppose -o - 2 = m*y - 33, -2*y + 12 = 4*o. Solve -y = -n - n for n.
4
Let q(z) = 2*z**2 - 10*z. Let j be q(5). Let k be j/(-2)*3/6. Solve -5*o + 15 = -k*o for o.
3
Let q be 2/4*-2*-3. Solve q*d = 6*d + 9 for d.
-3
Let 