o.
1
Suppose 3*g + 11 = -25. Let y = g - -15. Solve -y*u - 1 = 8 for u.
-3
Let x = -5 + 7. Solve -w = x - 4 for w.
2
Let b(l) = l**3 + 2*l**2 - l. Let i be b(1). Suppose i*x = 5*x. Suppose 6*y - 2*y = 4. Solve x = 5*p - 6 + y for p.
1
Let w = -29 - -35. Solve -l - 5 = -w*l for l.
1
Let r(n) = -n**2 - 6*n - 3. Let j be r(-4). Suppose j*z - 10 = 5. Solve -6*m + z*m + 3 = 0 for m.
1
Let r be (-2)/(-4)*1*6. Suppose -r*p = -8*p. Suppose 9*v - 4*v - 10 = p. Solve 3*c + v*c = 10 for c.
2
Let l(u) = 2*u - 3. Suppose -5*k + 27 = -2*k. Let c be l(k). Solve -4*i = i + c for i.
-3
Suppose v + 3 = 1. Let c = v - -6. Solve -c*r + 2*r = 0 for r.
0
Let b = 6 - 1. Suppose b*d + 17 + 8 = 0. Let q = -2 - d. Solve -2 = -w - q for w.
-1
Let l = 8 - 6. Solve -1 = -l*r - 7 for r.
-3
Suppose 0 = 4*l - 3*l - 6. Suppose 0 = -4*s + 26 - l. Let z = 0 + 0. Solve -s*f + f = z for f.
0
Suppose 10*i + 46 = 5*i + 4*s, -2*i - 4*s = -4. Let h be 2/3 - 14/i. Suppose 0 - 9 = -h*j. Solve j*r - 12 = -r for r.
3
Suppose -7*v - 6 = -10*v. Solve v*s - 3 = -s for s.
1
Let i = 7 + -12. Let a = -2 - i. Suppose c - 5 = -a. Solve 0*w = -w + c for w.
2
Suppose -3*v = -0*v - 15. Let b(t) = -26*t + 4. Let d be b(0). Solve d*n + n = v for n.
1
Let q be (2 - 0/(-2)) + (14 - 12). Solve 6*r - q*r + 2 = 0 for r.
-1
Let j = 8 + -5. Solve 2 = -y + j for y.
1
Let s = -3 - -5. Solve 0 = s*f - 2 + 10 for f.
-4
Let h be 135/18*16/10. Suppose -9*x - 12 = -h*x. Solve 6*f + 10 = x*f for f.
-5
Suppose 3*r - 3*x = x + 43, 0 = -2*r - 4*x + 2. Solve 0 = 4*i - i + r for i.
-3
Let s(j) = -3*j**2 + j + 1. Let o be s(-1). Let r = -3 - o. Solve r = 2*q + q - 12 for q.
4
Let t(r) = 34*r - 15. Let f(p) = 11*p - 5. Let z(w) = -11*f(w) + 4*t(w). Let y be z(2). Solve -y = 3*o + 2*o for o.
-5
Let w be ((-8)/(-10))/((-3)/(-15)). Suppose -w*g - z + 76 = 0, 4*z + 20 = -z. Solve 5*t - g = t for t.
5
Suppose 9*d = 4*d + 30. Let v be ((-2)/3 - -2)*d. Solve v - 3 = 5*c for c.
1
Let x be 4 + ((-4)/(-6))/(5/30). Solve 0*t - x = -2*t for t.
4
Suppose 5*v + 0*t + 3*t = 5, t = 0. Solve v = q - 1 for q.
2
Let i(m) be the first derivative of m**3/3 - 11*m**2/2 - 8. Let d be i(11). Solve d*v + v = -2 for v.
-2
Let o(a) = -a**2 - 3*a + 21. Let s be o(-6). Solve s*z = -2*z + 5 for z.
1
Suppose 10*q = -3*z + 5*q + 40, -3*z = 4*q - 35. Let x(d) = -17*d**2. Let n be x(1). Let k = -14 - n. Solve -7 = z*m + k for m.
-2
Let y(h) = -h**3 + 3*h**2 - 2. Let r be y(2). Suppose j + 1 = -3*l - l, 2*l = -3*j - 53. Let p = j + 41. Solve 2*i = -r*i + p for i.
5
Let z = -24 + 36. Solve -4*m - z = -m for m.
-4
Let g(y) = y - 10. Let s be g(13). Suppose 0*w + 7 = 3*w + 5*q, -s*q = 2*w - 5. Solve -p - w - 1 = 0 for p.
-5
Let x(v) = v**2 - 4*v + 2. Let g be x(5). Solve g = -4*q + 23 for q.
4
Let s = -5 + 7. Suppose -5*a - s*o = 47, -42 = 5*a - 0*o - 3*o. Let p = -7 - a. Solve 0 = 6*w - p*w for w.
0
Let b = -22 + 36. Suppose 2*p = 2*o - 10, -2*p + o - b = 2*p. Let v = p - -5. Solve v*a = -5 - 5 for a.
-5
Let p = 0 + -2. Let c = p - -2. Let u = -47 + 47. Solve -n + c*n - 2 = u for n.
-2
Suppose 11 - 3 = 4*y. Suppose 0 = -3*k + y*k + 6. Let j = -3 - -13. Solve q + j = k*q for q.
2
Suppose 4*l = -l. Suppose -k + 8 = -l. Solve 0 = -3*x - x + k for x.
2
Let n be (39/(-2))/3*-2. Let m be (2/(-10))/(3/15). Let i be 2/(-4)*-4 - m. Solve -i = -2*t - n for t.
-5
Let q be (2 + -3)/(-1) + 9. Let f(m) = -m + 10. Let d be f(q). Suppose 8 = 2*l + 4*n, 4*l - 22 = 2*n + 14. Solve d = -2*h + l for h.
4
Let p be -1*(1 - (3 - 0)). Let n be (0 + -1)*p*-1. Solve 0 = r - n*r for r.
0
Let q = 17 - 6. Let u = -10 + q. Solve -4*r = -5 + u for r.
1
Suppose t + r + 3 = 2*t, 0 = -3*r - 3. Solve 3 = j + t*j for j.
1
Let v(t) = 0 + 8 + 0*t + t. Let z be v(-8). Suppose 2 = -z*u + u. Solve -u*c = c + 6 for c.
-2
Let h = -59 + 60. Solve 0 = u + h for u.
-1
Let r = 2 - -3. Suppose -r*p + 6*p = 3. Solve -3 = p*f + 9 for f.
-4
Let j be -3 - -14*3/6. Solve g = 2*g + j for g.
-4
Let n(q) = q**3 + 7*q**2 - 11*q - 8. Let p(x) = x**3 + 7*x**2 + 5*x + 6. Let u be p(-6). Let t = 4 - u. Let z be n(t). Solve -5*k - 9 = z for k.
-5
Let a be (-10)/(-5) + 21/1. Suppose a = 5*z - 3*k, 2*z - 9 = 3*z - 4*k. Solve z = 4*y - 9 for y.
4
Let h be (2 - (-2 + 4)) + 3. Suppose -2*g = -4*g + 6. Let b be -1*g/9*-12. Solve -3 = h*k - b*k for k.
3
Let b(p) = -4*p + 1. Let v = -6 - -12. Let m be (-1)/((-2)/v*-3). Let y be b(m). Solve -3*c = -y*c for c.
0
Let u be ((-5)/(-5))/((-1)/(-5)). Suppose -5*l + 12 = -18. Let a = -4 + l. Solve -3*q = -u*q - a for q.
-1
Suppose 6 = -k - 2. Let o be (-6)/18*(k + 2). Let x be (-1 + 2)*(4 - -1). Solve p = o*p - x for p.
5
Let z be (2/(-3))/(8/12). Let p be (-1)/z + (16 - 2). Solve -4*q = -p - 1 for q.
4
Let r = 21 + -15. Suppose g - 280 = -5*d, -4*d = 3*g - 8*g - 224. Suppose -3*j - 11 = -d. Solve -j = -r*f + f for f.
3
Let f = -2 - -4. Let d(c) = c**2 + 3*c + 3. Let s = 3 + -6. Let l be d(s). Solve f*b - l = 1 for b.
2
Let o(c) = c**2 - 10*c + 13. Let n be o(9). Solve -g = -2*g + n for g.
4
Suppose 0 = -o + 1 + 1. Let l(w) = -w**3 + 5*w**2 - 5*w + 7. Let x be l(4). Solve -1 - o = -x*k for k.
1
Let o(h) = h**2 + 2*h - 1. Let c be o(-3). Solve 8 + 2 = c*d for d.
5
Let t(p) = -p - 7. Let b be t(-6). Let o = b + 2. Solve -5 = z - o for z.
-4
Suppose -5*p + g + 0 = -17, -3*g - 3 = p. Solve p*q = 4*q for q.
0
Suppose -18*l = -15*l - 108. Suppose -2*t = -4*c + 94, -l - 38 = -3*c - 2*t. Suppose -a + 3*w - 4 = 0, -w = -0 - 3. Solve a*u = -c - 1 for u.
-5
Let f(x) = 3*x - 32. Let a be f(11). Suppose 3*o = -2*o - m + 17, 2*o = m + 11. Let k = a + o. Solve -3*n + 10 = -k*n for n.
-5
Let o(m) = -m - 4. Let g be o(-12). Solve 0 = -2*i - 0 + g for i.
4
Suppose -24 = -3*q - 9. Let p be (-32)/40 + (-208)/(-10). Solve 0*h + p = q*h for h.
4
Suppose 2*h = h + 6. Suppose 2*y + 0*y = h. Suppose -3*f + 9 = y. Solve -4*c - 10 = f for c.
-3
Let k be 12 + 2 + (-2)/2. Let l = k - 11. Solve 0*o - l*o = 4 for o.
-2
Let w = 11 + -6. Solve -w*u + 18 = -7 for u.
5
Let n(j) = -j + 6. Let y be n(4). Let h = -4 - y. Let a be (-2)/h*285/5. Solve a + 1 = -5*u for u.
-4
Let i be ((-2)/(-5))/((-2)/(-20)). Suppose 0 = 4*c + 3*l - 15, i*l = -2*c - c + 20. Solve c = 4*x - 0*x - 20 for x.
5
Let q(m) = 20*m**2 - 74*m + 68. Let g(l) = -7*l**2 + 25*l - 23. Let r(t) = -17*g(t) - 6*q(t). Let x be r(18). Solve x = -2*h + h for h.
-1
Suppose -6*r + 12 = 5*z - 2*r, 0 = -4*z - 2*r + 6. Solve 0 = 4*i - z*i for i.
0
Suppose -5*t - 6 = -6*t. Let f be 1/2*(8 - 2). Suppose 0 = j + l - t*l - 17, 2*j = f*l + 20. Solve -s + 2 - j = 0 for s.
-5
Let j = 12 - 10. Solve j = -g - 0*g for g.
-2
Let t(v) = v**3 - 5*v**2 - 7*v + 9. Let j be t(6). Suppose 45 = -14*r + 101. Solve -3*q = -r*q - j for q.
-3
Suppose -4*q = -5 + 17, s - q - 8 = 0. Suppose -3*t + 10 + s = 0. Solve -3*b + t*b = 0 for b.
0
Let m(t) = -5*t - t + 4*t - 1. Let i be m(-2). Solve 0 = -i*u + 2*u + 3 for u.
3
Let o = 58 - 30. Suppose 4*g = 3*z + o, 2*z = -2*g - 0*g. Solve -g*t = t for t.
0
Let p be (4/2)/(3 - 4). Let k = p + 4. Solve -k*a = -4*a - 6 for a.
-3
Suppose -5*c + 0*c + 8 = 3*q, -4*q = -3*c - 30. Solve -2*n - n = q for n.
-2
Suppose 53 = 3*z - 4*h, -2*z + 26 = -8*h + 3*h. Suppose -5*q = y - z, -y - q = -8 + 1. Solve y*r = 2*r + 3 for r.
3
Let c(a) be the third derivative of a**4/24 - a**3/2 + a**2. Let d be c(3). Suppose d*p = 5*p. Solve h + 2 = -p*h for h.
-2
Let x be (-2)/3 - 80/(-12). Suppose -x + 0 = -p. Let z be (0 - 1) + (p - 2). Solve z*w = -w + 4 for w.
1
Let c be 2 + 5 + 1*-2. Let j(b) = 2*b**2 + 2*b. Let p be j(-2). Solve -11 - c = p*l for l.
-4
Let r(t) = 2*t + 14. Let j be r(-6). Let h = -5 + 10. Solve -3*a - j*a + h = 0 for a.
1
Let q = -13 + 6. Let x be (2 - 24/7)*q. Solve 0 = 9*v - 4*v - x for v.
2
Let k(q) = q**2 - 4*q + 11. Let b = 29 + -24. Let d be k(b). Solve x + 3*x = -d for x.
-4
Let v = -1 + 4. Suppose -2*i + v = -i. Suppose -d + 4*q + 20 + 1 = 0, -5*d - i*q = 10. Solve -a - d = -2*a for a.
1
Suppose -2*t = 2*t. Solve 3*g - 9 = -t for g.
3
Let s(m) = -m**3 - 7*m**2 - 4*m. Let x be s(-7). Suppose 4*q - x = -0*q + 4*h, 3*q + 3*h + 3 = 0. Solve u = -q*u for u.
0
Suppose -16*x - 35 = -21*x. Solve x*o - 12 = 4*o for o.
4
Let o(l) = l + 3. Let q(c) = c**3 - 4*c**2 + 2*c + 1. Let h be q(2). Let j be o(h). Suppose -k = 2*r - 3*k, r - 3*k + 4 = j. Solve