 + 9. Let s be f(-5). Solve -s*v + 3*v = 0 for v.
0
Let z(t) = -58*t + 175. Let v be z(3). Let a(x) = -2*x - 2. Let c be a(2). Let f be 2/3 - 14/c. Solve u - v - f = 0 for u.
4
Let n(r) = -r + 15. Let q be n(15). Solve q = 2*m + 2 for m.
-1
Suppose -14*u = -2*r - 18*u, -u = 5*r. Solve r = 5*k - 15*k - 20 for k.
-2
Let t(q) = -q**3 + 19*q**2 - 20*q + 36. Let r be t(18). Let l = 1 + 5. Suppose -5*y + 15 = 0, -a + 9 = 3*y - l. Solve -3*c + a*c + 9 = r for c.
-3
Let y(v) = v + 10. Let s be y(2). Solve s + 8 = 4*g for g.
5
Let q(v) = 2*v + 14. Let l be q(-3). Solve -1 = -3*t + l for t.
3
Suppose -j + 2*d - 4 = 0, 3*j + 3*d = -0*d + 33. Let k be 6/2 - (4 + -5). Suppose 0 = -3*z - k*o, 2*o + 9 = -o. Solve -z = -2*x + j*x for x.
-1
Let i(y) = -y**3 - 12*y**2 - 20*y. Let m be (8 - 6) + (6 - 0)*-2. Let g be i(m). Solve u - 2*u + 4 = g for u.
4
Let x be 36/(-8)*-1*38/57. Solve -70 = -x*h - 11*h for h.
5
Let f be (26 + -23)/((-1 - -2)/1). Solve -4*s + 13 + f = 0 for s.
4
Let m(r) = -9*r + 237. Let w be m(25). Solve 5*g - 8*g = w for g.
-4
Suppose 42*y = 45*y + 4*h - 12, 0 = -3*y + 3*h + 33. Suppose 0*n - 2*n = -6. Solve -r - y = -n*r for r.
4
Let j(m) = -2*m + 25. Let g be j(10). Suppose 3*c + 2*c - 30 = 2*n, 4*n = -g*c. Solve -8*w = -c*w for w.
0
Suppose -4*v = u - 26, 0 = 15*u - 19*u - 3*v + 91. Solve 5*x - u = -2 for x.
4
Suppose 0 = -2*o, -5*o - 65 = 5*s - 3*o. Let y be 15 - (2 + -8 + 5). Let n = s + y. Solve n*l = l for l.
0
Let o(z) = 7*z + 1. Suppose 4*q - 3 = q. Let r be o(q). Solve -r + 4 = 2*t for t.
-2
Let k be -2 + (5/10)/((-1)/(-26)). Suppose 0 = 10*q - k*q. Solve -a + 4*a - 9 = q for a.
3
Suppose -3*q + 26 = -10. Solve -24 = -9*r + q for r.
4
Let a(o) be the second derivative of 4*o**3/3 + 11*o**2/2 + 13*o. Let k be a(3). Suppose 5*t - 5*r = k, 3*t - 1 = -0*r - 2*r. Solve -5*m = -4*m - t for m.
3
Let g be 64/28 + 2/(-7). Let f(p) = -31*p + 34. Let y be f(1). Solve -g*t + y*t = 3 for t.
3
Let p = -555 - -575. Let i be (-15)/(-9) + (-2)/(-6). Solve -2*t + p = i*t for t.
5
Let h(c) = -c**3 + c. Let a be h(0). Suppose -3*o - 1 = -j, -j - 2*j + 2*o + 10 = a. Let b be (j/3)/(20/90). Solve t - b = -1 for t.
5
Suppose -2*t + 84 = 56. Solve -8 = 3*u - t for u.
2
Suppose 7*l + 52 = 20*l. Solve l*t = t for t.
0
Let z be (-200)/250*10/(-4). Suppose -3 = 5*r - 18. Suppose 5 = 5*p + o, -3*p + 2*o = -r*o + 25. Solve p = -v + 6 - z for v.
4
Let n be 210/24 + (-3)/4. Suppose -5*s + j - 32 = 0, -28 = 4*s + 5*j + 15. Let f = n - s. Solve -3*g + f = 2*g for g.
3
Suppose -2*o = r + 3, o + 8*r - 10*r = 6. Let c = 1 + -1. Solve o = 3*i - c*i + 3 for i.
-1
Suppose 60 - 58 = k. Solve k*s - 1 = 9 for s.
5
Let m(b) = 14*b - 9. Let w(j) = 5*j - 3. Let o(s) = 4*m(s) - 11*w(s). Let k = 0 - -5. Let t be o(k). Solve t + 3 = -p for p.
-5
Let l(k) = -k**3 - 12*k**2 + 46*k - 1. Let s be l(3). Solve -s*b = -b + 2 for b.
-2
Let x be (-4)/18 + (-1376)/(-36). Let f = -33 + x. Solve 0 = -f*t + 3*t for t.
0
Let o be 1*60/9*3. Solve 3*m - o = -m for m.
5
Let o be (2/1 + -3)*2. Let l be (2 + 4/(-8))/(o/(-4)). Solve l*i - 8*i = -20 for i.
4
Suppose -14*x - 290 - 60 = 0. Let s be (1 + 22/(-10))/(10/x). Solve 0 = -s*r + r + 10 for r.
5
Let w be (-2)/(-6) - (-272)/12. Let o = w + -20. Solve -6 = f - o*f for f.
3
Suppose 2 = 3*u - 1. Let f be -18 + -1 + (u - 0). Let w be f/(-15)*(-150)/(-18). Solve 6*a - a = -w for a.
-2
Suppose 3*q + o = 47, 53 = 3*q - 9*o + 4*o. Suppose 5*u - q = 29. Let v(h) = -2*h**2 - 11*h - 3. Let y be v(-5). Solve y*j = -j + u for j.
3
Let s = -143 - -44. Let v = -89 - s. Solve 0 = -i - i + v for i.
5
Let w(g) = -g**2 - 5*g + 6. Let c be w(-6). Suppose 0 = -c*x - 3*x + 27. Let s = x - 5. Solve 2*v = s*v for v.
0
Let b be (-4)/10*((-2 - -7) + 20). Let x be (10/4)/(b/(-20)). Solve -x*o + o = 0 for o.
0
Suppose 2*m = 4*d - 4, -4*m + 4*d = d - 2. Solve 0 = -m*v + 52 - 48 for v.
2
Suppose -3*y = -63 - 255. Suppose -o - 20 = -j, 2*o - y = -5*j + 29. Solve 2*d + 3*d = -j for d.
-5
Suppose 0 = r + 5*j + 10, -r - 4*j + 4 = r. Suppose -r*a = -5*a - 10. Suppose -2*f - 1 = 3*k - 9, 3*k = 4*f - 16. Solve -n + a - 6 = k for n.
-4
Suppose 4*s - 3*v - 36 = 0, -2*s + s + 8 = -v. Suppose 5*j = i + j, -j = -3*i - 33. Let g = s + i. Solve 0 = -g*n + 2*n for n.
0
Let l(a) = -a**3 - 5*a**2 - 6*a - 3. Let n be l(-4). Let i be 52/65 - (-26)/n. Solve t + t - i = 0 for t.
3
Let v be ((-4)/6)/((-14)/63). Suppose 0 = 4*a + 3*f - 60, -v*a + 3*f + 50 = 4*f. Suppose 13*n = a*n. Solve -3*m = -n*m for m.
0
Suppose 4*w + b = 316, 3*w - b + 87 = 331. Solve -2*f = -86 + w for f.
3
Suppose -2*k - 5*k = 0. Suppose 3*h - 7 - 2 = 0. Suppose -h*q + 18 - 6 = k. Solve a = q*a - 3 for a.
1
Let b(q) = -q**3 + 37*q**2 + 37*q + 49. Suppose -h + 3*f + 53 = 0, 4*h - f - 246 = -89. Let i be b(h). Let j be (1 + -1 - -1)*5. Solve -26 = -j*y - i for y.
3
Suppose 0 = c - 5*c - o, 2*c - 3*o = 0. Suppose -4*t + 180 = 164. Solve t*s - 1 - 3 = c for s.
1
Let l be ((-1 - -2) + -2)*7. Let b = l + 16. Suppose o = 2 + 27. Solve b = -5*g + o for g.
4
Suppose 32 = g - n, n + 16 - 54 = -g. Suppose -5*p - g = -5*t, 3*t + 2*p = 3*p + 15. Solve -t*a = -2*a - 2 for a.
1
Let r = 16 - 16. Solve r = 3*i - 4*i for i.
0
Let l(k) = 3*k - 3. Let r be l(-2). Let x(i) = -i**3 - 10*i**2 - 9*i + 2. Let g be x(r). Solve 4 = 6*b - g*b for b.
1
Suppose -9 = -6*h + 15. Suppose -6*q - h*q = -50. Let m(l) = -l**2 + 6. Let n be m(0). Solve y - q = n*y for y.
-1
Suppose -28 = -7*l + 3*l. Let p(a) = -a**2 + 7*a + 2. Let g be p(l). Suppose 4*x - g*d - 4 = 2, -5*x = -3*d - 7. Solve -s = x - 0 for s.
-2
Let h(m) = -m - 3. Let w be h(-3). Suppose 7*x + 2*u = 3*x + 12, -3*x - 3*u + 12 = w. Let r be ((-1)/(-2)*0)/x. Solve -3 = t - r for t.
-3
Let r be (4*(-2)/(-24))/(2/144). Solve d = 13*d + r for d.
-2
Let n(p) = -5*p + 2. Let j be n(-2). Let b be (-11)/2 - j/(-8). Let x(s) = s**2 + 5*s + 6. Let y be x(b). Solve -4 = -0*g + y*g for g.
-2
Suppose 5*b - 2*b = -2*v + 71, 5*b - 120 = -3*v. Let x = -19 + b. Suppose 7*n + 4 = x*n. Solve -n + 0 = -y for y.
4
Suppose 0 = 5*d - d. Let p be ((-2)/(-3) + d)/(11/66). Solve -5 = p*z + 3 for z.
-2
Suppose -n - 4*n + 4 = 2*a, -3*n + 15 = 3*a. Let j = a - 4. Suppose r = -k, -r = -j*r. Solve k*f - f = -1 for f.
1
Let a be ((-6)/5)/(36/(-120)). Solve a*z - 15 = 9*z for z.
-3
Suppose 96 + 4 = 5*n. Suppose 4*u + 0*u = -20. Let a be (-10)/(u - -3) + -1. Solve -a*s - n = s for s.
-4
Suppose -2*c + 31 = y, 0 = 2*y - 15*c + 13*c - 44. Solve -8*w - y + 1 = 0 for w.
-3
Let w(v) = -11*v - 66. Let y be w(-6). Solve 6 = 3*j - y for j.
2
Let s be 491 - ((-4)/(-1) - 5). Let u be 2/(-10) + s/(-15). Let o = u + 43. Solve 3*y - o = 5*y for y.
-5
Let o = 65 - 61. Solve -i = -0*i + o for i.
-4
Let r be (-18)/6*(-44)/6. Let v = r + -22. Solve -3*z + v*z = -6 for z.
2
Let u(s) = -3*s + 26. Suppose 7*j - 31 - 11 = 0. Let t be u(j). Solve 0 = -r - t + 3 for r.
-5
Suppose 0 = -5*o + 2*q - 3*q - 49, 3*o - q + 23 = 0. Let a = o + 9. Let i(f) = -f**2 - 8*f + 20. Let x be i(-10). Solve j + 1 + x = a for j.
-1
Let k = -177 + 183. Solve 0 = 4*y - 6*y - k for y.
-3
Let p(s) = -s**2 - 32*s - 37. Let f be p(-30). Let z = -12 - -32. Let j = f - z. Solve j = h - 2 for h.
5
Let v be (-2)/(-4)*(-1)/(-1)*30. Suppose -6 = -4*r + 5*f, -2*r = 5*f - 3 - v. Solve 3*h - r = -h for h.
1
Suppose 3*x - 3*d = 0, 6 = 4*x - 3*x + d. Let y be (0 + (x - 3))/(-1). Solve y*c - 1 = -c for c.
1
Suppose -4*x - 100 = -5*w, 7*x - 100 = -5*w + 12*x. Solve -w = -4*q - 24 for q.
-1
Suppose 0 = 2*h + 2*i - 14, 55 = 5*h - 4*i + 5*i. Let a be h*(21/(-6) + 3). Let b be a*-1*14/6. Solve 0 = 2*f - 4 + b for f.
-5
Let q be (2*2 - (5 + -4)) + -4. Let w be (10/(-3))/(2/(-3)). Let x = w + q. Solve -x*r - 6 = -2*r for r.
-3
Suppose -2*a - 2*d + 36 = 0, -a + 4*d + 10 = 3*d. Let q = -9 + a. Let l = -33 - -39. Solve -3*k + q*k + l = 0 for k.
-3
Suppose -16 = 2*g - 6*g. Let w = 6 - g. Suppose 2*b = 4*s - 7 + 3, 0 = 3*b + s - 8. Solve -3*k + w*k + b = 0 for k.
2
Let m be 1/(4*3/48). Suppose 0 = -3*a + m*o - 12, -5*a = -0*a + o - 3. Suppose 2*d - 4 = 5*x + 26, a = -3*d + 4*x + 31. Solve 0 = 3*v - 4 - d for v.
3
Suppose 0 = 5*h - 3*x + x + 26, -4*x = 2*h + 20. Let s be (-7)/(-1) - (-4)/(-10 - h). Solve -r - s = 2*r for r.
-2
Suppose -5*z + 20 = -9*s + 12*s, 0 = -4*z + 4. Let t = 3 - 2. Solve l - s