+ 1. Let p be u(1). Let j be (27/(-15))/(2/10). Let m(o) = -o**2 - 11*o - 13. Let c be m(j). Solve p = -4*i - 11 - c for i.
-4
Let u be 170/45 + 4/18. Suppose -u*q = -6*q + 18. Solve 3*o = 6*o + q for o.
-3
Let h be 6/(-3)*(-2 - 4/(-4)). Suppose 0 = 5*u - u - 5*l - 10, -4*l = 8. Solve u = -z + 1 - h for z.
-1
Let i(r) = r**3 - 5*r**2 + 5*r + 3. Let l be i(4). Let b(x) = -x**3 + 8*x**2 - 7*x + 5. Let n be b(l). Solve z + 0 = n for z.
5
Suppose 0 = -5*o - 2*l + 21, 0*o + 3*o - 7 = -4*l. Suppose o*r = -25, 0 = -3*s + 6*s + 3*r + 15. Solve 3 = -s*x + x for x.
3
Suppose l + 5*f = 3*l + 21, f - 9 = -2*l. Let k be (4/7)/(l/21). Solve 5 = -y + k*y for y.
1
Let r be ((-4 - -4) + 7)/((-2)/(-2)). Suppose r*b + 7 = 49. Solve 0 = -b*s + 4*s for s.
0
Let u(j) = -2*j. Let a be u(-2). Let t be (-27)/(-12) + (-1)/a. Suppose 2 - 12 = 5*w - 5*o, w + 5*o - 10 = 0. Solve -t*l + l + 1 = w for l.
1
Suppose 10 = -2*q - 0. Let u be -2 + (-5)/q - -3. Solve -u*v = -4 - 2 for v.
3
Let v be ((-17)/(-5))/((255/225)/17). Solve -17*c = -0*c + v for c.
-3
Let d = -3 + 6. Let n = 428 - 426. Solve -5*h - n - d = 0 for h.
-1
Let r = -32 - -21. Let t be (-11)/r + (-10)/(-2). Solve o - t = 3*o for o.
-3
Let x = 10 + -7. Suppose -7*r + k + 41 = -2*r, -28 = -3*r + 4*k. Suppose 2*o + 5 = -5*s, x*o + 4*s = -o + r. Solve o = 5*j - 10 for j.
3
Let m = -17 - -33. Let v be m/(-24)*15/(-2). Suppose v*q = -3*n + 2*q, 5*q + 18 = 4*n. Solve 0*r = -r - n for r.
-2
Let p = -5 - -10. Let v = -47 + 51. Solve v*q + p = 3*q for q.
-5
Let n = -17 - 12. Let z = 31 - 62. Let x = n - z. Solve 2*d - 10 = -x for d.
4
Suppose -2*m + 15 = -5. Suppose -4*a = c + m, 5*c + 3*a = -a - 2. Suppose b - 4*b = -18. Solve c*j - b = -0 for j.
3
Let l(z) = -z**2 - 4*z + 3. Let p be l(-4). Suppose m + 11 = -3*w + p, -3*m - 4*w = 34. Let b be (12/m)/((-3)/14). Solve -2 = -6*r + b*r for r.
1
Let m(h) = 64*h - 125. Let v be m(2). Solve 0 = -v*d + 2 - 8 for d.
-2
Let a(f) be the first derivative of 2*f**3 + 0*f**3 - 5 + 12 + f - f**3. Let m be a(1). Solve 0 = -4*n - m - 4 for n.
-2
Let x(i) = -3*i**2 + 8*i + 4. Let k = -12 - -15. Let c be x(k). Solve -2*z + c = 11 for z.
-5
Suppose 75 = 3*y + 3. Let m = y + -24. Solve m*p = p - 3 for p.
3
Let g(h) be the third derivative of -h**6/120 + h**5/30 + h**4/4 + h**3/3 + 8*h**2. Let z be g(-3). Let c = z - 26. Solve -y + 0 = -c for y.
3
Suppose -21*x + 383 + 2137 = 0. Solve 10*f - 40*f = x for f.
-4
Let s(q) = q**3 - 8*q**2 + 5*q + 8. Let o be s(7). Let g(r) = r**3 + 3*r**2 + 2*r + 4. Let a be g(-3). Let n = a - o. Solve 10 = h + n*h for h.
2
Let u be (-3)/(-45)*3 - 18/(-10). Let s = -1 + -3. Let i be (s - -3)/((-1)/u). Solve -i*z - 5 + 1 = 0 for z.
-2
Let f be ((-24)/10)/(-12 - 116/(-10)). Solve 4*l - f*l = -3*l for l.
0
Let i be 6 - ((-2)/(-3) + 8/6). Solve 3*m - 5 = i*m for m.
-5
Let t(w) = w**2 + w + 20. Let l be t(0). Solve 4*f + 4 - l = 0 for f.
4
Let t be (-6)/(-2 - 0) - -1. Suppose -t*k - 2*b = -2, -4*k + b = 5*b + 8. Solve q = k*q for q.
0
Suppose -4*b = 4*v + 37 - 5, 2*b = 2*v + 20. Let s be 6/v*30/(-4)*1. Solve -s*x - 14 - 1 = 0 for x.
-3
Let o = 87 - 83. Let n(t) be the first derivative of 3*t**2/2 - 10*t + 1. Let b be n(o). Solve -5 = -3*p + b*p for p.
5
Let d(g) = -4*g. Suppose 0 = -y - 1. Let z be d(y). Suppose -3*p = -4*q + 18, -10 = z*p + p. Solve -q*c - 2*c = 0 for c.
0
Let k(v) = -4*v**2 + 19*v + 21. Let q(g) = -g**2. Let j(x) = k(x) - 3*q(x). Let z be j(20). Solve -b - z + 2 = 0 for b.
1
Suppose 2*a + 3*a - 5 = 5*v, -2*v = 2. Suppose 28 = 48*j - 41*j. Solve a*i = -j*i for i.
0
Let o(r) = r**2 - 8*r. Let g be o(7). Let d(h) = -4*h - 5. Let b be d(g). Suppose -3*y + b + 16 = 3*q, y = -4*q + 4. Solve -y + 1 = -3*w for w.
5
Let p(h) = 2*h + 58. Let i be p(-26). Solve 7*a - i*a = 0 for a.
0
Suppose -8*a = -11*a + 45. Solve -z - a = -4*z for z.
5
Suppose 0 = -4*n - 2*m + 8, 3*n + 3*m + m = 1. Solve -n*h + 4 = -7*h for h.
-1
Suppose -l - 1 + 5 = 0. Let h = -64 + 46. Let y = h - -23. Solve y = -d - l*d for d.
-1
Suppose 5*g - 2*y = -6, -14 = 5*g - 4*y - 2. Suppose g*a = -4*a + 4. Suppose -31 + a = -5*h. Solve -h = -q - q for q.
3
Let g be 32/(-176)*(-1 - 10). Solve -g*y - 6 + 4 = 0 for y.
-1
Let r(i) = i**2 - 6*i - 27. Let k be r(9). Let u(t) = -2*t**2 + t. Let n be u(k). Solve 4 = x - n for x.
4
Let w = -119 - -95. Let v be (-1)/(1*4/w*2). Solve -2*g + v*g - 4 = 0 for g.
4
Suppose -10*f + 15*f - 115 = 0. Suppose -f*q + 9 = -20*q. Solve 0 = 2*u + 9 - q for u.
-3
Suppose 20*z - 156 = 104. Solve -29 = 8*q - z for q.
-2
Suppose 396*m = 402*m - 30. Solve -m*s - 21 = -1 for s.
-4
Suppose 65 = -15*q + 275. Solve -m + 52 = -q*m for m.
-4
Suppose 15*g + 11*g = 10*g. Solve l - 10 + 5 = g for l.
5
Let h(w) = 13*w + w**2 - 22*w + 3 + 3*w. Let x be h(6). Suppose 2*t = -2*t - x*s - 9, -s = -3*t + 3. Solve 5*u + t = -5 for u.
-1
Suppose -21 = -2*y + 18*p - 17*p, -17 = y + 5*p. Solve -y = -3*b - 5 for b.
1
Let f = 551 + -475. Solve 14*n - 20 + f = 0 for n.
-4
Let m = 982 + -982. Let x be ((-2)/4)/(2/(-32)). Let t(n) = n - 5. Let j be t(x). Solve -3*l + 2*l + j = m for l.
3
Suppose 3*m - 72 = m - 4*f, -3*m - f = -93. Suppose 35*w - 155 = m*w. Let x = 1 - -3. Solve -11 = -x*l - w for l.
-5
Let z = 567 + -563. Solve 4 = -25*b + z for b.
0
Let o = 100 + -90. Let y be ((-45)/10 - -5)*o. Solve -3*k = 2*k + y for k.
-1
Suppose 4*o - 3 - 17 = 0. Suppose o*n + 66 - 11 = 0. Let z = -7 - n. Solve 1 = z*l - 11 for l.
3
Let j = -7 - -10. Suppose -j*r = -3*l + 66, -108 = -4*l + 5*r - 17. Let p = l + -16. Solve 0 = -p*k - 2*k - 10 for k.
-2
Suppose -6*w + 9 = -57. Solve -19 + w = 2*k for k.
-4
Let u be (16/(-24))/(2/39). Let d(b) = -b - 11. Let r be d(u). Suppose -p + 21 = r*p. Solve -5*g - p - 18 = 0 for g.
-5
Let k be -1 + 44/(12/6). Solve -k = -r - 17 for r.
4
Let x = -512 - -551. Solve -7*d + x = 6*d for d.
3
Let w = -47 - -51. Suppose -w*h + 36 = 5*h. Solve 0*y - 2*y + h = 0 for y.
2
Let t = -35 - -30. Let p be ((-10)/(t - 0))/1. Solve -3 = -c + p*c for c.
-3
Suppose -21*a + 25*a = 16. Suppose -2*k = -0*k - 4. Suppose -4*g + 7 = x - k*x, a*x = 4*g + 8. Solve i - g*i + 4 = 0 for i.
2
Let a(j) = -j**3 - 28*j**2 + 30*j + 30. Let p be a(-29). Solve 0*y - p = -y for y.
1
Let n be -1 + (-5)/((-5)/3). Let y = -9 + 10. Suppose -1 = -2*z + y. Solve -n*a + 3 + z = 0 for a.
2
Let v(w) = -2*w - 7. Let q be 1 - -1 - 3/(-3). Let x(j) = j**2 - 6*j + 3. Let u be x(q). Let i be v(u). Solve -i*d + 0*d = 20 for d.
-4
Suppose 0*y = 4*y - 40. Suppose -37 = 3*q - 13. Let i = q + y. Solve 4 = -3*n - i for n.
-2
Suppose 4*x + 43 = -q, 0*q + 5*x = q - 2. Suppose -27*t + 10*t = -425. Let j = t + q. Solve -j*u - 13 = -3 for u.
-5
Suppose -5*o = 5*f - 185, f = 5*f - 5*o - 184. Suppose -38*m = -f*m + 30. Solve 4*j - 10 = m for j.
5
Let d be (1 - (2 - 3))*(0 - -2). Let v(y) = y**3 - 4*y**2 + 2*y - 8. Let x be v(d). Solve c + x = 3 for c.
3
Let g(l) = -l**3 - 14*l**2 + 31*l - 8. Suppose 54*b - 16 = 55*b. Let t be g(b). Solve t*d + 2 = 10*d for d.
1
Let c = -15 + 13. Let i be 2/(-1 + (0 - c)). Solve i = r - 3 for r.
5
Suppose 4*w = 3*g + 112, -5*w + 139 = -2*g - 2*g. Suppose w = -5*f + 56. Solve -28 = -f*h - 8 for h.
4
Let a(t) = t**3 - 8*t**2 - 23*t + 35. Let n be a(10). Solve 67 = n*h + 62 for h.
1
Suppose 1296*h + 2430 = 1314*h. Solve -z = h - 135 for z.
0
Suppose 0 = -c + 4 + 2. Suppose 0*o - 6 = -2*k + o, -5*k + c = 2*o. Solve 2*g = -k*g for g.
0
Suppose -8*n + 765 = 725. Solve 23*c - 18 = n*c for c.
1
Suppose 28 = -9*o + 10*o. Suppose 0 = -7*a + 7 + o. Solve 20 + 5 = -a*j for j.
-5
Let v = -68 - -80. Suppose 0 = -5*q + 5*r + 15, 2*r = q - 5*q + v. Solve -4*m - 1 - q = 0 for m.
-1
Suppose 0 = -3*p + 5*h + 31, 2*h + 10 = -0. Solve -p = 3*c - 17 for c.
5
Let j = 12 - 22. Let i be j/(-25) + 48/5. Suppose 5*c - i = -3*r + 4*c, -3 = -2*r + 3*c. Solve r*o = -0*o - 9 for o.
-3
Let c be ((-6)/(-24))/(1/84) - 6. Let x(s) = -s**2 + 6*s - 6. Let y be x(4). Solve -3*o - y*o = c for o.
-3
Let s(m) = -m**2 - 35*m + 78. Let o be s(2). Let w = -2 + 2. Solve w = p + 1 - o for p.
3
Let l be (148/(-222))/(1/(-3)). Solve l*w = 7 - 17 for w.
-5
Let b = 1053 - 1048. Let v be 2/(-4) - (-18)/4. Suppose h = -2*a + 3*a + v, b*a = -5*h + 10. Solve h*g + 3 + 9 = 0 for g.
-4
Let o = 47 + -24. Suppose -4*f - 4 = 2*w, -2*w + 3*f + o = -2*f. Solv