(8/8). Solve -5*d + 0 = r for d.
-1
Let t = 561 - 563. Let q(n) = -n + 3. Let v be q(3). Let l be 3 - 1*(v - t). Solve 4 = 3*a + l for a.
1
Suppose 27 = 5*l - 63. Let v be (l/15)/(3/10). Solve 2*p + v = -0*p for p.
-2
Suppose -2*d = d + 18. Let y be (3/d)/(1/(-32)). Suppose -5*t + 14 + y = 5*h, 2*h + 12 = 2*t. Solve t = -o - o for o.
-3
Suppose 3 + 1 = c. Suppose -2*k - 3*j = -1, c*k + 0*k = -j + 7. Solve -k*h - 4 = -0*h for h.
-2
Let f(j) = j**3 + 7*j**2 + 2*j - 2. Suppose 2*r = -4*g - 2*r - 24, 5*r + 9 = 2*g. Let l be f(g). Suppose -9*v = -17 - l. Solve v*p = 7 - 2 for p.
1
Let x(a) = a**3 - 27*a**2 - 26*a - 51. Let t be x(28). Let l(p) = 4*p**2 - p + 1. Let g be l(1). Solve k - t*k = -g for k.
1
Suppose 2*v - 4*l - 26 = 0, -v + l + 2*l = -13. Solve 5*k - v = -8 for k.
1
Let i(q) = -11*q**2 - 6 + 6*q + 18 + 11*q + q**3. Let f be i(9). Solve -2*v = -f*v - 3 for v.
-3
Let f(o) = -2*o - 15. Let w be 10*(-1 - 1 - -1). Let v be f(w). Solve -28 = -v*a - 3 for a.
5
Suppose -191*d = -185*d - 6. Solve -2*l + 9 = -d for l.
5
Let k be -6*(-9)/6 - 0. Suppose -b - 5 = 0, 0 = -5*d - 2*b + 11 + k. Solve -6*n + 9*n = -d for n.
-2
Let g = 202 + -201. Solve -7 - g = -4*t for t.
2
Suppose j - 1 = 1. Suppose -118*l = -72*l - 230. Solve -j*o = -l*o for o.
0
Let d(i) = i**3 + 7*i**2 + 10*i + 3. Let p be d(-5). Let x = 2 - 2. Solve x = p*f + 2*f for f.
0
Let r(s) = -s**2 + s + 6. Let k(c) = -c. Let x(u) = 2*k(u) + r(u). Let y be x(0). Suppose -18 = -5*f + 4*m + y, 16 = f + 2*m. Solve a = -a + f for a.
4
Let h = -8 - -13. Suppose h*x = -12 + 37. Let n(f) = -f**2 + 14*f - 42. Let b be n(5). Solve -x*j + 2*j = b for j.
-1
Suppose 25*d + 14*d - 624 = 0. Solve 0 = v - 9*v + d for v.
2
Let f be (-672)/(-40) + 3/15. Suppose 5 = 22*d - f*d. Solve 3 - d = -2*h for h.
-1
Suppose 13 = -3*i + 2*v, -2*i + 3*v + v + 2 = 0. Let q be (2 + i)/((-1)/4). Suppose -2*m = -2*f + 16, 24 = 3*f - m + 6. Solve f*z + q = z for z.
-5
Let n(h) be the second derivative of -h**5/20 - 11*h**4/12 - 11*h**3/3 - 17*h**2 - 17*h. Let j be n(-9). Solve j = 3*p - 1 for p.
1
Suppose 86*h = 82*h + 120. Solve -12*a + 6*a = h for a.
-5
Let x(n) = n**2 + 14*n - 13. Let b be x(1). Solve -5*c = -b*c - 6 for c.
2
Let x be 20/35*(12 - 5) - -1. Solve -x*z = -6*z + 4 for z.
4
Let g = 1 + 2. Suppose -4*q + 19 = 2*p + q, -17 = -2*p - g*q. Suppose -2*o - 19 = -5*d, -o - p = -2*d - 0. Solve 2*m = -o*m for m.
0
Let l = -367 + 372. Solve -2*t = -t + l for t.
-5
Let t(c) = -2*c**2 - 14*c + 16. Let f be t(-8). Suppose f*p + 2*p = -9*p. Solve 2*v - v = p for v.
0
Let j(i) = 2*i - 13. Let k be j(9). Solve -9*d + 20 = -k*d for d.
5
Suppose -2*n + 4 = -8. Let x = 28 + 34. Let h = x - 60. Solve n*g - 4*g + h = 0 for g.
-1
Let w = -8 - -14. Let y be 12/(-10)*(-20)/w. Let j be 4 - (9/1 + -5). Solve 3*o - o + y = j for o.
-2
Let c be (6/8)/((-2)/16). Let b be 5 - (-3)/c*4. Suppose -b*h - 5 = 2*u, 2*h - 5*h - 3*u = 9. Solve l = -0 - h for l.
-1
Let z = 12 - 10. Let c = z - 0. Let r be c*(4 - 3) + 1. Solve -r*x = -7*x for x.
0
Suppose -2*c + 2*y - 7 + 3 = 0, -5*c + y = 2. Suppose 2*u - 3*g - 4 - 2 = 0, 0 = -2*g - 4. Suppose 0*x = -u*x + 4*x. Solve -z + 3 + c = x for z.
3
Let a(k) = -7*k - 57. Let l be a(-11). Solve 16 = 4*r + l for r.
-1
Suppose -3*u - n = -6, u = -2*u + 5*n + 24. Suppose 5*g + 20 = 4*l, 2*g + 5 = -3*l + 20. Let s = 29 - 21. Solve u*r - s*r = g for r.
0
Let g be (20/15)/((-2)/(-12)). Let y(p) = -p**2 - 5*p - 2. Let s be y(-4). Suppose 0 = s*h - h. Solve -4*a = -g - h for a.
2
Let l(z) = -4*z - 35. Let r be l(-16). Solve 7*u - r = -1 for u.
4
Suppose 0*k + 68 = 2*k. Suppose 7 = -3*x + k. Solve z - 5 = -x for z.
-4
Let r(u) = 7*u**2 + 59*u - 398. Let l be r(7). Solve l*o + 15 = 355*o for o.
-5
Suppose -4*u - 3*z + 55 = -116, -146 = -4*u + 2*z. Suppose 2*t + 0*v - 2*v + 48 = 0, -5*t + 3*v - 126 = 0. Let r = u + t. Solve -6*b = -3*b + r for b.
-4
Suppose 0 = 2*w + 1 - 17. Let g(x) = x**3 - 5*x**2 + 5*x - 4. Let h = 95 + -91. Let s be g(h). Solve s = 2*q - 6*q + w for q.
2
Let h be (-3 + (-81)/(-12))/(7/28). Solve 3*f + h*f + 36 = 0 for f.
-2
Let b(x) = -6 + 32 - 8 - 4*x. Let k be b(4). Solve -2 = -k*w + 3*w for w.
-2
Let l be 9 - 2/6*-3. Let h(g) = -g - 1. Let y(b) = -2*b - 13. Let o(j) = 6*h(j) - 2*y(j). Let k be o(l). Solve -4*w + 3 + 9 = k for w.
3
Suppose 817 = -15*r + 1327. Solve r - 30 = b for b.
4
Suppose 6*n - 5*n + 56 = 0. Let r be 27/(-4)*n/42. Solve -4*v + r = 21 for v.
-3
Let f = 605 + -601. Solve -8*p + f = -6*p for p.
2
Let g(d) = -d**3 + d**2 - 2*d + 2. Let y be g(0). Let r be 2/((20/(-15))/(-2)). Solve -y*h = r*h for h.
0
Let t(a) = -a**2 + 14*a + 229. Let z be t(-9). Solve -z*j + 15*j = -21 for j.
3
Let u(j) = j**2 - 5*j - 5. Let v be u(4). Suppose 3*i - 6*i = 33. Let z = v - i. Solve 4 = 4*o - z*o for o.
2
Let x = 55 - 47. Suppose -5*k + x = -2*t, 0*k - 5*t = 5*k + 20. Solve 3*f - 4*f + 5 = k for f.
5
Suppose 0 = -7*p + 20*p - 39. Solve -20 = p*u - 7*u for u.
5
Let u(b) = -3*b. Let v be u(-1). Let w(k) = -k - 1. Let t be w(-5). Suppose 0 = -t*c + 8 + 60. Solve c + v = -4*a for a.
-5
Let p be 20 + ((-120)/(-6))/(-10). Solve 0 = -8*n - p + 42 for n.
3
Let d be (3 + 63/(-12))/(15/(-40)). Suppose -d*i - 4 = -8*i. Solve 0*b = i*b + 2 for b.
-1
Let m = -20 + 14. Let f be 5/(-15) - 20/m. Let n(j) = j**3 + 5*j**2 + 2*j - 5. Let r be n(-4). Solve r*b - f = 6*b for b.
-1
Suppose p = -2*t + 2, 3*t - 2*p = -5*p + 6. Suppose t = 3*m - 31 + 16. Solve 5*k + 0*k - m = 0 for k.
1
Suppose -2*l - l = -4*u - 137, -173 = -3*l - 5*u. Let a = l + -47. Solve -3*k + a = 1 for k.
1
Suppose 16 = -4*c, 24*m + 4*c = 23*m. Solve 19*g - m*g = 3 for g.
1
Let r(q) = -15*q**3 + q - 1. Let p be r(-1). Solve 0 = -p*f + 18*f for f.
0
Let u be -6 + (-5)/(-15)*6. Let y(z) = -5*z - 11. Let v be y(u). Let r be 0/(-1) - -1*2. Solve -v = r*f + f for f.
-3
Let r(x) be the third derivative of x**6/120 + 17*x**5/60 + 19*x**4/24 + 25*x**3/3 - 16*x**2. Let w be r(-16). Solve w*p - 4 = 6 for p.
5
Let c = -6 + 6. Let s(a) = a**3 - 12*a**2 + 12*a + 1. Let t be s(11). Let q = t + -6. Solve c = 2*u + u + q for u.
-2
Let t(p) = 2*p**2 - 1. Let a = 17 + -10. Suppose 4*y - 3 = a*y. Let c be t(y). Solve v - c = 2 for v.
3
Let z be -3 + 2*(-1)/(-2). Let g = 2 + z. Let a = 7 + -5. Solve g = f - a + 1 for f.
1
Suppose 23*r + 19 = 88. Solve -r*d = -4*d for d.
0
Suppose -5*m + 22 = -68. Let k be 4/m + 1604/(-9). Let d be k/(-9) - (-6)/27. Solve d = 2*l + 3*l for l.
4
Suppose -9*s + 56 = -2*s. Suppose -5*m + m = -s. Solve i + i - m = 0 for i.
1
Let a(s) = -3 + s + 22 - 2 + 5. Let b be a(-9). Let x(m) = -m + 15. Let k be x(b). Solve w - k*w + 5 = 0 for w.
5
Let g(f) = -5*f**3 - f**2 + 2*f + 2. Let d be g(-1). Suppose -2*h - k = -1, d*h + 11 = 2*h - 5*k. Solve 3*a - 7 = h for a.
3
Suppose 0 = -3*h - 0*h - 21. Let r be ((-2)/2)/(h/35). Solve -r*j = -9*j - 16 for j.
-4
Let u be 12/(-66) + (-31)/11. Let o = 8 + u. Suppose 5*r = 5 + o. Solve 6 = -r*h + 4*h for h.
3
Let q be (-18)/4*(-7)/((-252)/(-16)). Solve -q*k + 0 = -6 for k.
3
Suppose 0*k + 6*k - 72 = 0. Let t = k - 6. Let n = -23 - -27. Solve 2*l - n = t for l.
5
Let z = -23 + 28. Let b be 24/(-30) + 4/z. Solve 3*x + 5 + 4 = b for x.
-3
Let p = -310 + 318. Solve p*v + 15 = 3*v for v.
-3
Let p be (3 - (-44)/(-8))*-2. Suppose 47 + 8 = p*u. Suppose -3*r = -2*b - u, 4*r - 10 = 5*b - 0*b. Solve 2*q - 4 = b for q.
3
Let k = -279 + 281. Solve k*v - 6 = -v for v.
2
Let q(i) be the third derivative of -i**4/24 - 2*i**3/3 + 7*i**2. Let u(a) = a**2 - 9*a + 14. Let v be u(6). Let w be q(v). Solve w*d = 5*d - 20 for d.
4
Let k be 12/(-9)*(-3969)/108. Solve 7*c + 14 = k for c.
5
Let g(p) = p**2 + 10*p - 7. Let n be g(-12). Let f = n + -13. Solve -2*c + 4*c + f = 0 for c.
-2
Suppose -3*x - 124 = -z - z, -2*z = 2. Let u be ((-2)/2)/(3/x). Let p = -12 + u. Solve -2 = -0*a - p*a for a.
1
Let m be -4 + (52 - 3) - -1. Solve m - 10 = 9*z for z.
4
Suppose 3*v + 5 - 2 = -r, 4*r - 2*v = 2. Solve 8 = -r*k + 4*k for k.
2
Let n be 228/7 - (-12)/28. Let y = -21 + n. Solve 0 = -3*a - a - y for a.
-3
Suppose -15*i = -13*i - 4. Solve -i*l + 12 = 6 for l.
3
Let s(d) = 5*d**2 + 19*d - 15. Let k(n) = -n**2 - 5*n + 4. Let h(x) = 9*k(x) + 2*s(x). Let z be h(6). Suppose 5*c - 20 = -z. Solve c*y - 2*y = 0 for y.
0
Let a be (-8 - (-201)/24) + 375