
0
Let w(c) = c**3 + 10*c**2 + 15*c + 7. Let d be w(-8). Solve d*a - 5 = 14*a for a.
5
Let n be 3/5 + 114/(-190). Solve 3*m - 12 = -n for m.
4
Let t(p) = p + 12. Let x be t(-12). Let m(f) be the first derivative of f**3/3 - 9*f**2/2 + 4*f - 4. Let k be m(9). Solve -g - k = -x for g.
-4
Suppose -5*i = -36 - 34. Suppose i*r - 48 = 11*r. Solve -r*b = -11*b - 25 for b.
5
Suppose 0 = 6*w - w - 20. Let v(m) = 5*m - 41. Let b be v(9). Suppose -5*r + b*q - 3 = 0, -2*r = 2*r - 2*q. Solve -w*o - 3 = r for o.
-1
Let v(r) = 6*r**3 - r**2 + r - 1. Let m be v(1). Suppose a = -m*n + 23, -4*a = -2*n + a - 7. Solve 4 = -n*w - 0*w for w.
-1
Suppose l = -0*l + 1. Solve 5*r - l = 4 for r.
1
Let l = 16 + -13. Solve l*b - 1 = 2 for b.
1
Let i = -25 + 36. Let u = i + -7. Solve 0 = -u*b - b - 15 for b.
-3
Let m(i) = -2*i - 1. Let u be m(-2). Suppose -6*y + u = -27. Solve -s = -2*s + y for s.
5
Let r(a) be the second derivative of 0 + 2*a + 1/6*a**4 - 7/6*a**3 + 0*a**2. Let y be r(5). Solve -y = s - 4*s for s.
5
Let p(x) = -x**3 + 23*x**2 - 43*x + 21. Let k be p(21). Solve 11*l - 5*l + 30 = k for l.
-5
Suppose -2*g + 5*c + 33 = 0, 2*g + 0*c - 12 = -2*c. Let j = 13 - g. Suppose 0 = -2*u - 23 + 23. Solve 0 = j*f - u*f + 16 for f.
-4
Suppose -23*p + 10*p = -91. Solve 0*t - 35 = -p*t for t.
5
Suppose -26*l + 995 + 331 = 0. Solve -4*o = -43 + l for o.
-2
Let a(d) = d**2 + 3*d - 3. Let r be a(5). Suppose -t - 2*q = 7, -3*q + 13 - r = -3*t. Suppose t*z + 16 = 4*z. Solve 2*i - z = -2*i for i.
4
Let w(i) = -2*i + 2. Let t be w(0). Suppose -5*n - k = -4*k + 2, 0 = -t*n + 5*k - 16. Let x be ((-6)/(-2))/((-3)/(-2)). Solve -n = x*s - 8 for s.
3
Let r be 6/(-10) + (8 - 154/35). Suppose -3*k + 2*i = -i - 3, r*k + 1 = -i. Solve -12 = -4*o - k*o for o.
3
Let v(o) = -o**3 - 2*o**2 + 11*o - 5. Let m be v(-5). Suppose 2*q - m = -5. Solve 0 = -3*f + q*f - 10 for f.
5
Let n be (180/21)/((8/(-7))/(-4)). Solve 0 = 16*z - z - n for z.
2
Suppose -458*k - 9 = -461*k. Solve -k*b = 39 - 42 for b.
1
Suppose -2*k = -6*k - 140. Let h = -33 - k. Let d be 1/(-1)*(-1 + 0). Solve d = h*b + 11 for b.
-5
Let b be (-2 - (-5)/2)*24. Suppose 24 = 20*q - b*q. Solve -s = -q*s + 8 for s.
4
Suppose -3*t - 10 + 67 = 0. Suppose g - 3*k = -8*k - t, 5*g + 11 = -4*k. Solve g - 5 = -2*a for a.
2
Suppose 4*z = -b + 18 + 4, z - 1 = 2*b. Solve 2*k - 3*k = b for k.
-2
Let c be (-60)/(-75) - (-116)/5. Let o be 3*(-2)/c*-36. Solve 7 + o = 4*p for p.
4
Suppose 0*i = -0*i + 8*i. Solve i = -3*u + 8*u + 5 for u.
-1
Suppose 2*j - 2 = -6. Let s be 0/(-2) + (-9 - j). Let c be 1/1*(s - -10). Solve -x - c*x = 16 for x.
-4
Let b be (-1)/(-1)*(-5 + (-10 - -18)). Let s be (-9)/3 - -1 - 4. Let n be (-2)/s*(1 + 17). Solve -n*q = -b*q for q.
0
Let w be (-15)/27*3*-3. Suppose w*f - 9*f = 0. Solve f*k + 10 = 2*k for k.
5
Suppose 20*n - 3*w = 24*n - 74, 5*w = 2*n - 50. Solve 5*r = r - n for r.
-5
Let p(r) = -2*r**3 - 15*r**2 - 11*r - 24. Let c be p(-7). Solve 0 = -4*g + 2*g + c for g.
2
Let g(q) = 9*q**2 - 8*q**2 - q**3 + 16*q**2 + q - 17. Let p be g(17). Solve m = -p*m + 1 for m.
1
Suppose 0 = -29*d + 21*d + 104. Solve d*b = 9*b - 12 for b.
-3
Let m(g) = g**2 + g + 4. Let h be m(0). Let v be 42*(-62 + 61)*2/(-4). Solve -h*w + 1 - v = 0 for w.
-5
Let i be ((-33)/6)/(3/(-6)). Let v = i - 11. Suppose v*x = 3*x. Solve x = -5*c - 11 - 9 for c.
-4
Suppose -8 = -5*f + 2. Suppose 0 = -f*n + 7*n - 5. Solve w - 4 = -n for w.
3
Let o(z) = 2*z - 4. Let q be o(8). Suppose 0 = -4*b - 16, -2*y = b + 2*b + q. Suppose y = -v + 6*v - 20. Solve 0 = v*x + x for x.
0
Let n(o) = -o + 15. Suppose -5*y - 6 = -8*y. Suppose 3*k + 37 = 2*x, -y*x - 4 = 5*k - 1. Let j be n(x). Solve -a + 2 - j = 0 for a.
-2
Let x be ((-3)/(-2))/(3/(1 - -11)). Solve 0 = -5*n + 3*n + x for n.
3
Suppose 0 = 27*c - 7*c - 160. Suppose -3*u + 8 - 23 = 0. Let o = u + c. Solve -g + 4*g + o = 0 for g.
-1
Suppose -5*h + 3*j = 12, -3*h - 13*j - 12 = -16*j. Solve -113*i + 109*i + 4 = h for i.
1
Suppose -12 = -2*t - 5*o, 0*o = -3*t - 2*o + 40. Let y(s) = s + 2. Let u be y(-5). Let w = u + 6. Solve -w*b - b = -t for b.
4
Suppose q = 2, 7*c = 8*c - 3*q + 6. Solve -25 = 5*n - c*n for n.
-5
Let o = -27 - -31. Suppose 4*h - 4*g - 8 = 16, -g - o = 0. Solve -2 + 4 = h*b for b.
1
Let r(y) = -y + 7. Let j be r(-4). Let k = j + -9. Suppose -5*v - 5*z = -5, 3*z = v + k*v - 9. Solve -v*x + 0*x = 8 for x.
-4
Suppose -2*h - 1 = -5. Let a be (170/4)/((-41)/(-82)). Let d = 85 - a. Solve -q - h + 6 = d for q.
4
Suppose 0 = -i + 5*s + 1, 3*i + 14*s = 11*s + 3. Solve -i = 2*j - 9 for j.
4
Let u be 8 + 0 + -1 + -1. Let o(k) = k**2 - 6*k + 3. Let r be o(u). Suppose 4*t - 14*l + 4 = -16*l, 4 = -2*l. Solve t = -5*n + r + 7 for n.
2
Suppose 3 - 13 = 2*r. Let w = 7 + r. Suppose w*a = 2 + 2. Solve -7*x + a*x = -25 for x.
5
Suppose 6*t - 5*t = 23. Let i = t - 23. Solve i*h + 16 = 4*h for h.
4
Let s be 78/(-195) + 92/5. Solve 3*y + s - 15 = 0 for y.
-1
Suppose s - 85 = 53*n - 58*n, -3*s = -2*n + 51. Solve -3 = -15*q + n*q for q.
-1
Suppose -4*g = 2*r - 24, 0*r - 30 = -5*g - r. Let p(j) = 2*j - 26. Let y be p(11). Let b be g/y + 27/18. Solve b = -5*x + 2*x - 3 for x.
-1
Suppose -14*m - 4 + 46 = 0. Solve 0 = -u - 4 + m for u.
-1
Suppose -7*v + 16 + 5 = 0. Solve l = 2*l - v for l.
3
Suppose 4*k - 5*p = 62, -4*k + 60 = -5*p + p. Suppose 0 = -6*l + k - 1. Solve -l*q + 5*q = 15 for q.
5
Let v be (2 - (-54)/12)/(3/36). Solve -68 = -10*x - v for x.
-1
Let t(h) = 2*h**3 - 6*h**2 + 11*h - 5. Let r be t(4). Let g = 73 - r. Let o = 4 - 2. Solve -20 = -g*d - o*d for d.
5
Suppose -151*z + 374 + 398 = 17. Let y = 0 - 0. Let f(n) = n**3 + n**2 - n + 1. Let p be f(y). Solve -z*o + p = 6 for o.
-1
Let i(d) = d**2 + 15*d - 182. Let l be i(8). Solve 4*w + l*w = w for w.
0
Let j(u) = u + 7. Let b(w) = -w**2 - 8. Let o be b(0). Let k be j(o). Let l be 1/(((-3)/15)/k). Solve 2*i + l = 3*i for i.
5
Let g(p) = 8*p**2. Let w be g(1). Suppose 20 = -4*y - y, y - w = -2*k. Solve -i = i - k for i.
3
Let o(i) = i**2 + 2*i - 13. Let f be o(4). Solve -13*g + f*g = 8 for g.
-4
Let r be (-57)/(-15) + 3/15. Suppose 3*s - 7*s = -r*o - 32, -o + 8 = 3*s. Suppose s*x = 7*x. Solve x = -3*h + 13 - 1 for h.
4
Let r(a) = a**3 - 16*a**2 - 14*a - 15. Let p be r(17). Solve 11*u + p = -u for u.
-3
Let h be (266/(-168))/(-19) - 2/24. Let z be (-585)/(-35) - (-4)/14. Suppose 3*m - 7 + 1 = 0. Solve h = -3*n + m - z for n.
-5
Let t = 3 - -5. Let b(m) = -m**3 + 9*m**2 - 10*m + 19. Let r be b(t). Solve -p + 2 = r for p.
-1
Let x be -8 + (-272)/(-24) - 2/(-3). Solve -x*j - 12 = 8 for j.
-5
Suppose 8 = -l + 2*o, -2*l + 3*o + 7 - 18 = 0. Solve l*p + 6 = 5*p for p.
2
Let l = -25 + 26. Let u be 4 - (l/1 + -2). Suppose 28 = -i + 3*i + 4*c, -3*i + u*c = 13. Solve -i*g + g = -15 for g.
5
Suppose v + 2 - 4 = 0. Let q be 2/(v + 0 + -1). Let o be 0/(4 + (-3)/1). Solve -i = -o*i + q for i.
-2
Let p = 117 - 113. Suppose -p*o = 8 - 24. Solve o - 3 = -m for m.
-1
Suppose -2*d + 15 = -5*d, -d + 5 = 2*h. Solve 0 = 4*f - 3*f - h for f.
5
Let x(v) = v**2 - 8*v - 9. Let r be x(9). Suppose -3*q + 0*q - 5*z = 22, 5*q + 5*z = -20. Let h = q + 1. Solve r = -h*n + 4 for n.
2
Let r(d) be the third derivative of d**6/120 - 11*d**5/60 + 11*d**4/24 - 4*d**3/3 + 15*d**2. Let t be r(10). Solve -p - 5 = -t for p.
-3
Let r be (11 - 6) + (-10 + -4)/(-2). Solve -r*y + 23*y = 0 for y.
0
Let k(a) = 7*a**3 - 9*a + 9. Let z be k(1). Solve -6*f = -13 + z for f.
1
Let w(k) = -k**2 - 15*k - 4. Let q be w(-15). Let j be q/(1 - -2 - 5). Solve j*n = -0*n - 8 for n.
-4
Let b be (8 - (-72)/(-6))/(-1). Solve 0 = 11*i + 4*i - b*i for i.
0
Let j be (1 - 1)/(1 - -1). Let h be -2*(-3)/24 - (-321)/12. Suppose 0*v = -3*v + 6. Solve -5*d - v + h = j for d.
5
Suppose 11*r - 5*r - 24 = 0. Suppose -r*f - 2*u - 6 = u, 3*f - 2 = u. Solve -3*h + 8*h - 15 = f for h.
3
Suppose 9 - 8 = -u. Let d be 77/(-22)*(u + -1). Solve 0 = n + d - 2 for n.
-5
Suppose 9 = -6*d + 147. Suppose d*t + 0*t = 115. Solve -2 = t*c + 3 for c.
-1
Let v(k) = 79*k**2 + 6*k + 8. Let g be v(8). Suppose 4*y - 2*l - g = 2*y, -2*y = -5*l - 5100. Let x be y/144 + 2/9. Solve 2 = -5*b - x for b.
-4
Suppose 8*w - 150 = -6. Solve -9*k = -15*k + w for k.
3
Suppose 3*n - 12 = -0*n. Suppose -25 = -5*j, a - 2*j - j + 14 = 0. Let y be 1/a*(-12 - -17). Solve -n*m = -y*m for m.
