 Let f be y(-5). Let p be (-3 - 9)*f/6. Solve -2*r + p = -0*r for r.
4
Let c(b) be the second derivative of b**3/6 + b**2 + b. Let h be c(7). Solve h + 6 = 5*n for n.
3
Let b be 9 + -7 - (-196)/7. Solve 6*j + b = -4*j for j.
-3
Let d(j) = -5*j - 12. Let k be d(-11). Let l = -42 + k. Solve l = u - 2 for u.
3
Suppose 34*x - 30*x = 0. Suppose 16 = -4*c, -3*a = -8*a + c + 19. Solve a*o = -12 - x for o.
-4
Suppose g - 17 = 3*a, g + 19 = -5*a - 4. Solve -7*f = 9 - g for f.
-1
Suppose 0 = 21*c - 117 - 93. Solve 0 = 13*g - c*g for g.
0
Let n(a) = a**2 - 19*a + 6. Let t be n(18). Let s = t + 13. Solve 0 = x - s - 3 for x.
4
Let u = 9 + -5. Suppose 6 = 6*r - 4*r. Solve u*z - r*z = 0 for z.
0
Suppose 0 = -11*j + 6*j + 100. Solve -j = -2*g + 12*g for g.
-2
Let p(x) = x**3 - x**2 + 5. Let d be p(0). Suppose -8 = z - d*z. Solve 0 = -z*t + 7 + 1 for t.
4
Suppose 36*z + 520 = 88*z. Let p = 10 - 7. Solve 0 = p*q - q - z for q.
5
Let k be 24*((-48)/(-9) - 5). Solve -k*s = -13*s + 5 for s.
1
Let r = -6 - -4. Let w be (95/(-10))/(1/r). Let x be (7 - 1)/(-12)*(1 - 15). Solve 4*k - x = -w for k.
-3
Suppose -27*l = -23*l - 140. Let i = l - 28. Solve -5*c = -i*c for c.
0
Let u(t) = 49*t - 728. Let x be u(15). Solve 8 - 15 = -x*a for a.
1
Let s = -7 + 12. Solve -10 = 3*a + s for a.
-5
Let v(a) = -66*a - 391. Let w be v(-6). Solve w*s = 5 - 25 for s.
-4
Let i = -91 + 81. Let h be ((-12)/i)/(4/30). Let j(t) = 2*t - 3. Let a be j(3). Solve a*y - h = 6 for y.
5
Let c(b) = -11 + 15*b - b**2 + b - 6*b. Let w be c(8). Solve w*z - 32 + 12 = 0 for z.
4
Let y = 873 + -869. Solve 0 = 4*r - y*r + r for r.
0
Suppose -13 = -3*w + 2*f, -91*w + 94*w - 7 = -f. Solve -w*s - 6 + 3 = 0 for s.
-1
Let b(m) = 2*m - 5. Let x(z) = -6*z + 16. Let s(i) = -16*b(i) - 5*x(i). Let t be s(-1). Solve -t*k = -k + 1 for k.
-1
Let j = 571 + -560. Solve -5*f + j*f + 24 = 0 for f.
-4
Let j = 120 - 115. Solve j*n + 19 - 4 = 0 for n.
-3
Suppose 0 = 2*b + 8 - 36. Let g be -3 + 7 - 1/(-3)*-6. Solve g*i + 4 = b for i.
5
Suppose 5*c + 30 = 5*n, 3*c - 1 + 27 = 4*n. Solve n*h - 2 - 6 = 0 for h.
1
Suppose n + 4*n - 50 = 0. Suppose 0 = -n*l + 8*l. Solve l = -0*a - 5*a + 10 for a.
2
Suppose 4*i + 4*t = 104, i = -4*i + 2*t + 151. Suppose -5*y - 13 + 50 = -2*b, 2*b = 2*y - 40. Let o = i + b. Solve a + a = -o for a.
-4
Suppose -4*y + 4*x = 0, -y - 2*x + 2 = -2*y. Let r be 0 + -2*(-2 + 1). Suppose 0 = -r*k - 0*k. Solve 2*l + y*l = k for l.
0
Suppose -27 = -v + 2*i, 6*v - i = 4*v + 60. Let h = -30 + v. Solve w + 2 = -h for w.
-3
Let p be 2/(-15) - (-11687)/465. Solve 35 = 15*m - p for m.
4
Let f(t) = 2*t + 3. Let l be f(2). Solve 32 = i + l*i for i.
4
Let a = -69 - -71. Solve -a*p + 0 = 4 for p.
-2
Let y(m) = -m**3 + 5*m**2 + m - 4. Let r be y(4). Let q be r/(-80) + 2/10. Solve 10 = -2*s - q for s.
-5
Suppose -4*p + 20 = -0*p + 4*q, -4*p = -3*q + 1. Let h = -52 - -33. Let w = h - -22. Solve w*j - 15 = -p*j for j.
3
Let i = -191 - -194. Solve -i*j = -7 + 1 for j.
2
Let m(l) = -43*l**3 + 3*l - 2. Let u(c) = -22*c**3 + c - 1. Let r(n) = 2*m(n) - 5*u(n). Let g be r(-1). Let k = g + 34. Solve 0*y = 5*y + k for y.
-2
Let n(d) = 9*d**2 - 9*d + 8. Let a be n(2). Solve a*c - 24*c = -2 for c.
-1
Let i(y) = -y**2 + 13*y - 25. Let z be i(10). Solve 9*x - z*x + 16 = 0 for x.
-4
Let b be 3*(20/4 + 2 + -5). Solve -b*a = -0*a + 30 for a.
-5
Suppose 0 = 6*k - 2*k - 20. Suppose -8*o + 4*o + 2*c = 8, k*c = 20. Suppose -3*z + 116 = 55*z. Solve -z*u - 10 = -o*u for u.
-5
Let a be 3 + (-25)/9 + (-34)/(-9). Suppose 0 = -a*y - 1 + 17. Solve -y*n = -n + 3 for n.
-1
Suppose -7*f + 3*f + 8 = 0. Let m = 60 + -50. Solve 0*z + f*z = m for z.
5
Let g be (-10)/30*(1 + -4). Let z be (-2 - -1 - -2)/g. Let m = -10 + 12. Solve 5 = -m*r - z for r.
-3
Suppose 150*g + 1550 = 200*g. Solve -4*m + g = 35 for m.
-1
Suppose 9*g + 4*g - 195 = 0. Solve 6*w = w - g for w.
-3
Suppose -2*q - 52 + 44 = 0. Let n be 6 - (-4 - 24/q). Solve 0 = -g - n*g + 20 for g.
4
Let b(i) = i - 36. Let v be b(12). Let c = v + 26. Solve c*u = u for u.
0
Suppose 239*h = 229*h + 560. Solve -13*w - w = -h for w.
4
Suppose -5*c - 2*v = 0, -1 = -2*c + 3*v + 18. Suppose -c*y + 4 = 5*d + y, 3*d = -y + 4. Solve b = -d*b + 9 for b.
3
Suppose j - 2 = w, 5*j - 33 = -5*w + 7. Solve 5 = -w*d - 1 for d.
-2
Let r = 2624 - 2620. Solve -r*f + 14*f + 10 = 0 for f.
-1
Suppose -4*l = -2*f - 20, 103*f - 5*l = 107*f - 25. Solve -4*b - 2 - 2 = f for b.
-1
Let i be 6/(-21)*(-7 + 4 + -4). Solve 5 = -3*b + i for b.
-1
Let v(s) = s + 3. Let p be v(-9). Let r = p - -5. Let u be -3*r*(-12)/(-9). Solve -2 = u*f - 10 for f.
2
Let n = -47 + 43. Let m be (n/(-6))/((-4)/(-18)). Solve -5*h - m = 2 for h.
-1
Suppose 0 = 3*d + 80 + 7. Let i = d + 35. Solve i*m = 3*m for m.
0
Let o(r) = -r**3 + 26*r**2 - 89*r + 22. Let y be o(22). Solve -27*b + 3*b + 96 = y for b.
4
Suppose -2*t + 2*z - 4*z + 18 = 0, -4*t + z = -46. Solve -t = 5*q + 4 for q.
-3
Suppose -44*z + 894 = 234. Solve -n = 4*n - z for n.
3
Suppose 20 = h + 3*h. Suppose c = -4*c - l + 18, -h*c + 28 = -4*l. Let w be 16 - c/(4/2). Solve 5*m + 1 = -w for m.
-3
Suppose -8*b + 84 = 6*b. Solve b*u + 8 = -10 for u.
-3
Let l(o) = -5*o - 1. Let m be l(1). Let h be ((-4)/m)/((-4)/(-54)). Suppose -8*w - 3 = -h*w. Solve -d - 2*d = -w for d.
1
Let u(v) = v + 4. Let j be u(-4). Suppose 2*m - 5*k - 28 = j, 0 = -m - k - 3*k - 12. Solve -4*y - 4 = m for y.
-2
Let f = -688 + 696. Let g = 0 - 16. Let n be ((-3)/2)/(1/g). Solve -f + n = -4*o for o.
-4
Suppose -3*c + 3*q = -9, 0 = 5*c + 3*q - 2*q - 3. Let i(z) = 14*z**2 + z. Let s be i(c). Let f be 1*(-3)/1 + s. Solve 0 = 4*h - h - f for h.
4
Suppose 2*l = -2*x + 7*x - 13, 0 = -2*x - 5*l - 18. Solve -5*k + x = -24 for k.
5
Let w be (-81)/9 - 54/(-3). Solve 0 = -5*a - w + 4 for a.
-1
Suppose -5*q + 159 = 4*r, 3*r - 2*q - 56 = 2*r. Solve -7*x - r = -11 for x.
-5
Suppose -4*f + 10 - 2 = 0. Let n(k) = -k**3 - 11*k**2 - 11*k - 8. Let v be n(-10). Suppose 0 - 2 = 4*y - 2*c, 0 = 2*y + 2*c - v. Solve y = f*m + 6 + 2 for m.
-4
Suppose 5 - 41 = 2*h. Let b be (-40)/12*h/10. Suppose b*n - n = 0. Solve n = g - 1 - 2 for g.
3
Suppose -66*c = -29 - 301. Solve 5 = -c*u + 6*u for u.
5
Let t be (-1)/(-3)*(4 + -4). Suppose -2*m + 3*s = -14, t*m + 4*s = -2*m. Let c(z) = -z + 8. Let f be c(0). Solve 0*i = -m*i - f for i.
-2
Let c = 2194 - 2192. Solve -4*q = c*q - 4*q for q.
0
Let b(j) be the second derivative of j**4/12 - j**3/6 + j**2 + 11*j. Let k be b(4). Let t be ((-6)/9)/(4/(-6)). Solve -5*x + k = -t for x.
3
Let g(b) = b**2 + 4*b - 52. Let v be g(-11). Solve 0 = 10*m - 5*m + v for m.
-5
Suppose 11*g - 17 = 10*g. Solve -g*m + 13*m = 4 for m.
-1
Let u(x) = x**3 - x**2 - 3*x - 4. Let r be u(3). Suppose 5*g - 128 = -3*g. Let s = g + -14. Solve -s = -r*n - 17 for n.
-3
Let b be ((-21)/(-12))/(2/(-16)). Let i be 4/b - 4/(-14). Solve 0 = -i*s + s - 3 for s.
3
Let m(j) = -j + 2. Suppose -12*o - 3 - 9 = 0. Let z be m(o). Solve -z = -5*f - 8 for f.
-1
Suppose -3*n + 8 = 2*t, -12 = t - 4*t. Let f be n*2*(-1)/2. Solve 0*d - 2*d = f for d.
0
Let r = 812 - 808. Solve 0 = -r*x - 15 + 11 for x.
-1
Suppose y - 19 = -s, 3*y - 35 = -s - 2*y. Let u(p) = -2*p**3 + 30*p**2 + 2*p - 23. Let r be u(s). Solve 4*f + 5 = -r for f.
-3
Let i be 11/(33/9) + -13. Let r(u) = 3*u + 2. Let h be r(-4). Let g = i - h. Solve g = 2*c - 0*c - 10 for c.
5
Suppose 5*z - 3*q + 1 = 0, 4*q = -z - 3*z + 12. Let l be (45/30)/(z/2). Suppose -3*x = -l*h + 1 + 74, 4*h = -2*x + 100. Solve 0 = n - 6*n + h for n.
5
Suppose 8*u - 6*u = -5*c + 19, c = -3*u - 4. Solve 0 = -c*w + 11*w for w.
0
Suppose 0 = 4*s - 5*s + 7. Let k be s/(-21) + (-21)/(-9). Solve 0 = k*v - 4*v for v.
0
Let i be 1 - ((-1 - -5) + -19 + 1). Suppose 3*q - 23 = -5*g, -4*g = -5*q + g - i. Solve -q = 5*l + 9 for l.
-2
Let w(p) = p**2 + 5*p + 4. Let b be 10/25 + 1/5*-27. Let s be w(b). Solve 5 = s*n - 7 for n.
3
Let i = 27 - 24. Let t be (-15)/(-5) - (i - (2 + 0)). Solve 6 = t*v - 0*v for v.
3
Suppose -b + f + 2 = -3, -2*b - 2 = 4*f. Suppose -13 = b*i - 19. Solve -20 = -i*o + 7*o for o.
-4
Let q be 1/4*-1 + 9/36. Suppose 7*a = -0*a - q*a. Solve 8 = -a*h + 2*h for h.
4
Suppose -o = -3*l - 78, -5*l + 63 + 129 = 3*o. Let z = o - 66. Solve 5 + 10 = -z*v for v.
-5
Suppose -4*y = y - 60. Suppose 0*s = -4*s - 5*d - 132, 0 = 2*s + d + 72. Let