Suppose -4*m - 12 = -20. Solve d - m = r*d for d.
-1
Let t(d) = -d**3 + 4*d**2 + 4*d + 4. Let i be t(5). Let q be (1 + i)*(-10)/20. Suppose 0 = 2*x - 4 - 4. Solve f + x*f = q for f.
0
Suppose -o - 3 = 1. Let w(l) = 5*l**2 - 11*l - 4. Let j(g) = -9*g**2 + 21*g + 8. Let s(n) = 6*j(n) + 11*w(n). Let t be s(o). Solve -u = -t + 1 for u.
-1
Suppose 2*b + 5*j = 10, 5 = 4*b + 2*j + 1. Let w = 8 + -5. Solve 0*u - w*u - 3 = b for u.
-1
Suppose -3*p = 2*v - 22 - 3, -5*v = 5*p - 60. Let u be (-24)/(-10) + (-4)/10. Suppose 3*o - u = 4. Solve 1 = -o*n + v for n.
5
Let i = 175 + -172. Suppose 4*g = g - 33. Let q be (1 - -1)/2 - g. Solve -7*o - q = -i*o for o.
-3
Suppose 3*q + 8 = j, -j + 2*q = 3*j - 12. Solve -v + 2 = -j for v.
4
Let d be (0/(-2))/(-2 + 0). Suppose -q - q - 2 = d. Let j be (-2 - (-6 - q)) + 2. Solve 0 = 4*i + j + 15 for i.
-5
Let p(u) be the first derivative of u**3/3 - 7*u**2/2 + 8*u - 6. Let a be p(6). Let q(f) = f**3 + 7*f**2 - f - 7. Let h be q(-7). Solve -2*v - a*v = h for v.
0
Suppose -4*y = 5*a + 16, -a - 3*y - 8 = -y. Let r(p) = -p - 1. Let n be r(-3). Solve -n*u + 10 = -a*u for u.
5
Let s = 219 - 217. Solve 0 = 4*d + s*d for d.
0
Let f(o) = o**3 - 23*o**2 - 24*o. Let a be f(24). Solve a = 2*k - 6 for k.
3
Let a = 6 + -6. Suppose -2*j + 3*x - 3 + 1 = 0, a = -5*j + 5*x. Solve -j*k = k - 3 for k.
1
Let p = 11 - 7. Let t be p/(-14) + (-16)/(-7). Solve -y - y + t = 0 for y.
1
Suppose 0 = -3*x - 3*o + 9, -2*x + 4*x = o + 6. Solve -x*u + 0 = 6 for u.
-2
Let z(x) = x - 6. Let v be z(9). Let s be 4/(2/2 + -3). Let y be ((-12)/s)/(v/2). Solve -2 = y*n - 14 for n.
3
Suppose 0 = 2*p - 5*d - 1 + 9, 4*p = 4*d + 8. Let m = p - 6. Solve -x + 3*x - 10 = m for x.
5
Suppose -4*h - 4*h = -h. Let q(m) = -m**3 + m. Let t(b) = -7*b**3 + 2*b**2 + 3*b. Let x(r) = 6*q(r) - t(r). Let g be x(2). Solve h = c + c - g for c.
3
Let p(u) = 0*u + u + 13 + 4. Let s be p(0). Suppose 2*g + 19 = 5*g + k, 5*k = -g - s. Solve 0 = 3*a + g - 2 for a.
-2
Let l = -20 - -33. Solve -4*u - l - 3 = 0 for u.
-4
Suppose 5 - 35 = -3*i. Let s be 6/15 - 34/i. Let y be (-12)/(-18) - 7/s. Solve -2*j = j - y for j.
1
Suppose -c = 2*i - 8, -2*c + 6*i = 4*i - 46. Suppose c = -3*t + t. Let s = -5 - t. Solve s*o = -o - 20 for o.
-4
Let g be (1*-6)/((-3)/(-2)). Let q = g + 4. Let l = 0 - q. Solve -b + 0*b = l for b.
0
Let z = -18 + 21. Solve 0*o = z*o for o.
0
Let h = -5 - -11. Let l be h/3 - (-3 - -4). Solve 0 = v + l + 3 for v.
-4
Let g be (18/(-4) + 4)*-4. Let c(d) = 6*d**2. Let i be c(-1). Let n = i - 4. Solve -n*o - g + 4 = 0 for o.
1
Let z(q) = -3*q - 22. Let m be z(-8). Suppose -14 = -2*f - 4. Solve -m*i + f = -3 for i.
4
Suppose 0 = 2*z - 1 - 3. Suppose -z*x - 4*o = -18, 2*x = 5*x + o - 12. Suppose -x*p + 2*j + 17 = 3*j, -p + 3 = 3*j. Solve n - p = -n for n.
3
Let f(s) = s**2 - 4*s - 3. Let p be f(5). Suppose -4*r - 4 = p*v, 6*v + 10 = v + 4*r. Let t be (-1)/((v - -1) + 0). Solve -5 = l - t for l.
-4
Suppose 3*y - 4*d = 57, 3*y + 3*d - 21 - 15 = 0. Let m(x) = -x**2 + 5*x + 4. Let r be m(5). Solve s = -r*s - y for s.
-3
Suppose 0 = 2*h + 2 + 4, -5*o + 4*h + 32 = 0. Solve o*p + 2*p - 12 = 0 for p.
2
Suppose -60 = -2*p + 6*n - 3*n, 5*p - 150 = 5*n. Suppose -5*u = -0*u - p. Solve 5*w + u = -4 for w.
-2
Let p(y) = 0 + 2*y - 4*y + 4*y + 1. Let l be p(1). Let n(v) = 7*v**2 + 4*v + 2. Let c be n(-2). Solve -c - l = -5*z for z.
5
Suppose 2*z - 4*m + 16 = 0, z + 33 = 5*z + 5*m. Solve -15 = z*d + d for d.
-5
Suppose -2*j + 39 = -1. Solve 0*w = -4*w + j for w.
5
Let c be ((-12)/5)/(3/15). Let a be 6/2*c/(-18). Suppose -b + 0*d + 6 = 3*d, -a*d + 14 = 4*b. Solve o - b = 2*o for o.
-3
Let m = 50 + -20. Let j be (2/(-4))/((-5)/m). Suppose -5*b - 3 - 12 = 0, j*b = -2*t - 3. Solve -t*k + 8*k = -5 for k.
-1
Let d(g) = -g**3 - 6 + 22 - 11*g**2 + 13*g + 0*g**3. Let u be d(-12). Solve 0 = 3*q - u - 2 for q.
2
Suppose -3 + 13 = 2*d. Suppose 2 = -0*l + l. Let i be l/4*(3 - 3). Solve i = -d*s - 5 for s.
-1
Suppose -2*m + i + 60 = -i, -2*i - 120 = -4*m. Suppose 4*r = 2*r + m. Solve -r = -l - 2*l for l.
5
Let o be 3 - (-2 - 1 - -2). Suppose 0 = o*h - 1 - 7. Suppose -2*y = -4*f + 8, -2*y + f + h*f = 4. Solve -y*c + c = 0 for c.
0
Suppose -y = 3*y - 12. Let n = -1 + 3. Let l = n + -1. Solve 0 = -2*j + l + y for j.
2
Let w(z) = z**2 - 4*z - 3. Let d be w(-2). Let m be -2 + 1 - (-21)/7. Let l be -4 - (-5 + m) - -3. Solve -1 = l*c - d for c.
4
Let u(s) = s**3 + 10*s**2 + 17*s + 12. Let a be u(-8). Suppose 0 = -x + 3 - 0. Suppose -a*t = -x*t. Solve o = -4 - t for o.
-4
Suppose 0 = -0*s - 5*s - 3*k + 23, 3*k = 3*s - 33. Suppose 0 = h - 5*h + 28. Let z = h - s. Solve z = w - 5*w - 20 for w.
-5
Let k(v) = v**2 - 8*v - 10. Let w be k(8). Let g(l) = -l**3 - 10*l**2 - 2*l - 6. Let i be g(w). Solve -2 = -3*x - i for x.
-4
Let x be 4/4 - 2/2. Suppose x = -4*s + p + 5, -s + 2*s - 2*p + 4 = 0. Solve -3 = -s*l - 9 for l.
-3
Suppose 2 = -3*p + 14. Solve -15 = -p*r + 5 for r.
5
Let v = -3 + 6. Suppose 5*b + 34 + 2 = v*x, x = -b + 12. Solve 0 = -7*g + 3*g - x for g.
-3
Let s = 5 - 3. Let b(w) = -w + 7. Let m be b(7). Let j = s - m. Solve 2 = -j*d - 6 for d.
-4
Suppose 11 - 7 = 4*f. Solve 1 + f = m for m.
2
Let g(l) = l - 9. Let y be g(-7). Let t = y + 8. Let u be 2/3 - t/6. Solve -5*c = -u*c for c.
0
Let j be -4 + 1 + (-2 - -1). Let v = j - -4. Solve o + o = v for o.
0
Let k be ((-14)/(-5))/(6/15). Let a = 10 - k. Solve v + a = 5 for v.
2
Let v be (1 - -2)*1/(-1). Let w be (1/v)/(2/(-18)). Suppose w*f = -f + 16. Solve 0 = -3*m + 11 + f for m.
5
Let k(m) = -m - 5. Let c be k(-5). Let n = -11 + 14. Suppose 15 = n*y + 2*y. Solve c = -y*g + 15 - 6 for g.
3
Let w(g) be the second derivative of g**4/12 - 7*g**3/6 + 2*g. Let y = -3 - -10. Let x be w(y). Solve 3*n - 2*n + 3 = x for n.
-3
Suppose 0 = -i + 7 - 2. Suppose 0 = -2*t - 3*t + i. Solve -4*r = -3*r + t for r.
-1
Let p(v) = v**2 + 16*v + 34. Let z be p(-14). Solve z*w - 2*w = 0 for w.
0
Let u = -5 + 9. Suppose -2*g = i - 6, 3*g = 5*i - 4*i + u. Let s be 2*i/8*4. Solve m + m + s = 0 for m.
-1
Let q be (0/(-1))/((-12)/4). Suppose q = 2*d + d. Solve d = 5*u - 16 - 9 for u.
5
Let x = 10 + -10. Solve x*s + 2 = -s for s.
-2
Let v(m) = m**3 + 19*m**2 + 17*m + 2. Let o be v(-18). Solve -5*y + y = -o for y.
5
Let x(h) = -h**2 - 3*h - 2. Let n be x(-2). Let y = n + 0. Solve 5*z = -y*z - 20 for z.
-4
Let d = 24 + -16. Solve d*b - 25 = 3*b for b.
5
Let b = -2 - -4. Suppose -3*j + 2*q + 4 = 0, q - 5 = -j - b. Suppose -3*u + 12 = -j*r, 2*r + 20 = -2*r + 5*u. Solve r = o + 2*o - 12 for o.
4
Let v be 21/35 - (-17)/5. Solve v*d = -30 + 10 for d.
-5
Suppose 5*j + 0*j - 6 = -w, -3*w - 20 = -4*j. Solve -3*v + 4 = -j*v for v.
4
Let j = 32 + -28. Solve 0 = -u - 9 + j for u.
-5
Suppose 12 = i - 3*s, 3*i - 4*s = -2*s + 8. Solve i = -2*y + 4*y + 10 for y.
-5
Let l = 18 + -16. Solve l*b = b for b.
0
Let c(i) = 2*i**3 - 3*i**2 - i + 2. Suppose -w = 3*x - x - 4, 2*w - 10 = -5*x. Let b be c(x). Solve -b - 4 = -4*n for n.
2
Let t be 7*3/((-84)/(-16)). Solve -12 = -t*m - 0*m for m.
3
Suppose 4*i = 6*i + 16. Suppose -2*y - 3*n = -14, 3*n = -5*y + 5*n + 73. Let x = i + y. Solve -10 = -x*r + 5 for r.
3
Let r be (-3)/(3/(-2 + -1)). Suppose i - r*i = 0. Solve i = 3*k - 3 for k.
1
Let k be 2*(-1)/(1/(-4)). Suppose k + 7 = 3*u. Let p = u - 5. Solve p*z + 5*z = 10 for z.
2
Let b be 1 + -1 + (-1)/(1/(-1)). Solve 0 = w + 4 - b for w.
-3
Suppose -10 = -t - 4*t. Suppose -6 = g - 5*c, t*g = -6*c + 3*c + 14. Solve g*b + 1 = -11 for b.
-3
Suppose 5*l - l = 0. Suppose g - 3*k + 13 = 0, -5*g - 4*k + 2*k + 20 = l. Let o = 2 - g. Solve 3*f = -o*f - 3 for f.
-1
Let s = 11 - 6. Let t = s - 3. Solve 0 = -t*q + 6 + 4 for q.
5
Let j(l) = 3*l - 6. Let w(t) = 13*t - 25. Let b(i) = 9*j(i) - 2*w(i). Let c = 3 + 1. Let x be b(c). Solve -5*s + 1 - 6 = x for s.
-1
Let q be (-2)/9 + 2/9. Let u(z) = z**3 + z**2. Let o be u(q). Solve -5*p + p + 12 = o for p.
3
Let g be (1 + -2)*(1 + -1). Let o = 5 + g. Suppose 5 = o*l - 10. Solve -m = 2*m + l for m.
-1
Let c(u) = 2*u - 8. Let b be c(7). Let l = b - 2. Let d = l + -3. Solve -3 = 2*n + d for n.
-2
Let i(d) = -d**3 - d**2 - 15. Let n be i(0). Let a be 3/(-1 + n/(-6)). Solve 0 = 2*j - a - 4 for j.
3
Let a(h) = h**2 + 7*h - 2. Let n be a(-7). Let v be n/(-7) - 24/(-14). Solve v*q - 11 + 1 = 0 fo