. Solve -1 - r = 4*q for q.
-1
Let u be 3 + -12 + 1/1. Let t = -5 - u. Solve 0 = -2*m + t + 7 for m.
5
Suppose -3*x + 0 = -4*k + 42, 3*k = -5*x + 46. Let i(z) = z**2 + 7*z + 6. Let c be i(-6). Solve 2*w + w - k = c for w.
4
Let d(q) = -q. Let b be d(-2). Let o be b/((-2)/(-20)*4). Suppose -4*t - 23 = -3*j, 6*t - 15 = -5*j + t. Solve j - 30 = o*s for s.
-5
Let z(t) be the third derivative of -t**5/30 + t**4/24 - t**3/6 - 2*t**2. Let v be z(1). Let j = v + 7. Solve c + j = -4*c for c.
-1
Let n = -29 - -40. Suppose 5*a - b + 16 = 0, 2*a + n = 3*b + 2. Let k = 6 + a. Solve 0 = -2*m - 11 + k for m.
-4
Let l be (21/(-63) + 2/(-12))*-2. Solve -q = l - 2 for q.
1
Suppose 4*o - 2*z + 7*z = 20, -2*o = 4*z - 16. Suppose 2*d + 17 = 3*d - 3*h, o = -5*d - 3*h + 85. Solve 5 = 3*r + d for r.
-4
Let f be (-2 + 2)*(-5)/10. Let t = 0 - -6. Solve f = -3*a + t*a - 6 for a.
2
Let g be (-6)/3*2/(-4). Suppose 0 = -n + 2*s + 4, 5*n = n + 2*s + 4. Suppose n = 5*r - h - 24, -3*h + 5 = r - 3. Solve g = 4*u + r for u.
-1
Suppose -5*l - 7 = -52. Let y(j) = j - 2. Let n be y(l). Solve 32 - n = 5*x for x.
5
Suppose 35 = 5*l - 5*n, l - 6*l + 4*n = -31. Solve -a = -l*a + 8 for a.
4
Let s = -5 + 11. Let w = -3 - -5. Let h be 2/(-6) + w/s. Solve r + 3 = -h for r.
-3
Suppose 0 = 3*b - 2*m - 11, 0*b + 4*m = 5*b - 19. Suppose b*w - 5*y = -w + 57, 0 = -4*w - 2*y + 22. Solve 6*q + w = 2*q for q.
-2
Let s(l) = 3*l + 20. Let q be s(-6). Solve i = q*i for i.
0
Let q = 19 + 8. Suppose -2*a + q = t + 7, -5*a - 4*t + 47 = 0. Let h = a - 8. Solve -h - 1 = 4*v for v.
-1
Suppose 2*x = -x + 9. Suppose -2*q + x = -5. Let r be 6/4 - 95/(-38). Solve 0*b + q*b = -r for b.
-1
Let s(t) be the first derivative of t**4/24 - t**3 - t**2 + 2. Let w(j) be the second derivative of s(j). Let q be w(8). Solve 3 = -q*b - 7 for b.
-5
Suppose 5*u - 3*y = -0*u + 16, 2 = -3*u - 4*y. Suppose 4*p = 5*k - 0 - 3, u*p - 3*k = -3. Solve -2*s - p*s = -5 for s.
1
Let k be (220/(-25))/(2/(-5)). Solve 5*o - k - 3 = 0 for o.
5
Let t = 6 - 6. Let f = 2 + t. Solve 4*b - 10 - f = 0 for b.
3
Suppose -5*d + 23 = -2. Solve 8 = -d*p + p for p.
-2
Let w(l) = -l**3 - 6*l**2 - 7*l - 6. Let h be w(-5). Solve -2*b = 2 - h for b.
1
Let v be 280/7*(-8)/(-5). Let j be (v/40)/(2/5). Solve j*q - 2 = 14 for q.
4
Let c be 2/6 + (-24)/(-9). Let z = 2 - 2. Solve -3*f = -z - c for f.
1
Let m be -1*35/(-5) - -2. Solve m - 24 = 3*t for t.
-5
Suppose 0 = 2*a - 3*a. Let f(x) = 3*x - 4*x**2 - 2 + 2 + x**3. Let u be f(3). Solve 5*i + u*i = a for i.
0
Suppose -5*q = -6 - 4. Suppose q*m + 0*s - 14 = -5*s, -3*m - 4 = -5*s. Solve m*h = -0*h - 4 for h.
-2
Let t(q) be the second derivative of q**6/720 + q**5/12 + q**4/12 + q. Let k(g) be the third derivative of t(g). Let v be k(-8). Solve 2 = -v*s - 2 for s.
-2
Let v = 19 - 22. Let j be 9/(6 - 3) + v. Solve j = -0*p - p for p.
0
Suppose -q - 18 = -3*l, 0 = -2*l + 3*q - 5*q + 12. Suppose j - l*j + 30 = 0. Let m(s) = 2*s - 7. Let c be m(j). Solve -10 - c = -3*k for k.
5
Let r = 12 + -7. Solve 5*g + r + 0 = 0 for g.
-1
Let t(o) = o**3 + 5*o**2 - 8*o - 7. Let x be t(-6). Suppose x*l - 19 = 1. Solve -8 = -l*g + 8 for g.
4
Suppose -7*s = -19*s + 72. Solve 2 - s = 2*g for g.
-2
Suppose -25 = -f - 3*p - 7, p + 4 = 3*f. Suppose 3*i - 3 = f. Suppose w + i*w = 9. Solve -w*k = -3 - 0 for k.
1
Suppose -z + 0*z = 1, 4*z = -3*x + 5. Solve c = -0*c - x for c.
-3
Let j(d) = -d**3 - 3*d**2 - d. Let z be j(-3). Suppose z*c = c + 6. Suppose -c*s + 5 = -2*s. Solve -6 = -s*x + 4 for x.
2
Suppose -2*c - 2 = -8. Let y(a) = 3*a - 6. Let r be y(5). Solve 0 - r = c*t for t.
-3
Suppose 0 = 5*i - 3*i - 10. Let t = 4 + -12. Let l be ((-12)/t)/(6/32). Solve -i*x + l = -x for x.
2
Let z be (-3 - -3)/(1 - -1). Suppose 14 = 3*d - 4*d. Let r = -10 - d. Solve z = -r*q - 6 + 2 for q.
-1
Let c be 5 - (3 + 0 - 1). Suppose -c = -4*b + 5. Solve b*d - 6 = 4 for d.
5
Let b(n) = -2*n**2 - 6*n - 1. Let w be b(-4). Let r = 4 + w. Let o be (-6)/(-15) - 18/r. Solve -4 = -o*a + 3*a for a.
4
Let j(h) = -2*h**3 - h**2 + 2*h + 1. Let q be j(-2). Solve f + q = 4*f for f.
3
Let p = 46 + -45. Solve -3*k + 14 = -p for k.
5
Let n = -11 - -8. Let s be (-1)/n - (-8)/3. Let z = s + 0. Solve -z*v = v for v.
0
Suppose 56 = 4*q - 3*t, -4*q + 25 + 31 = -t. Solve 1 = 3*x - q for x.
5
Let h be (1 + 0)*0/1. Let m(k) = -k**3 - 3*k**2 - 3*k. Let i be m(-2). Solve h = -y + i*y + 5 for y.
-5
Let f be (4/6)/(6/9). Let s = f - -4. Suppose 3 = -c + l + 9, c = -s*l. Solve -4*q = -3*q + c for q.
-5
Let v(a) = -a**2 + 6*a - 5. Let k be v(5). Suppose 3*b - 2*f = 3*f + 21, -33 = -2*b - 3*f. Suppose -12 = 2*g - 0*g + 4*r, 3*r = -b. Solve k = i - 3 - g for i.
5
Suppose -6*q = 5 + 1. Let v be (-3)/(-6)*(-1 - q). Solve v = 5*c + 2 - 7 for c.
1
Let m be ((-6)/4)/(1/(-8)). Suppose 0 = -5*v - 15, o = -0*o + 3*v + m. Solve -2*q + 3 = -o for q.
3
Let l be -1 - (-3 + -10)/1. Let i = l - -3. Solve k + 4*k = -i for k.
-3
Let z(t) = 3*t - 8. Let y be z(6). Suppose 2*c - y = -2*c - 2*f, -c = -f - 4. Solve -p - 4 = -c*p for p.
2
Suppose 0*q + q = 1. Solve 7 = 3*o + q for o.
2
Suppose -15 = -k + 3*s, -6*s - 15 = 2*k - 3*s. Suppose k*u = u - 2. Solve -u*b + 4*b = 2 for b.
1
Suppose 4*l = l + 3. Let c = l + 1. Solve -o + c*o = -3 for o.
-3
Let i(w) = -w**2 - 9*w - 11. Let o be i(-8). Let d be (4 + o)*(-2 - -2). Solve 2*x + 3 + 7 = d for x.
-5
Let g(t) = 3*t + 19. Let v be g(-6). Suppose -4*c + 23 = x, 2*c = 4*x - 0*c - 2. Solve -x*p = v + 2 for p.
-1
Let v(g) = g**3 - 2*g**2 + g + 2. Let m be v(2). Solve 0 = -f - 1 + m for f.
3
Let g(x) = 12*x - 2*x**3 + 12*x - 25*x. Let y be g(-1). Solve 0 = -a - y for a.
-3
Let s = 0 + 5. Let g = s - 3. Suppose -2*z + 2 = -4*c, -3*z = -g*c - 3*c - 7. Solve 0 = -w - 2*w - z for w.
-3
Let f = 3 + -2. Let r be f - 2/(6/(-9)). Solve -r*v = v for v.
0
Suppose -2*a = r + 5 - 2, a + 2*r + 6 = 0. Solve a = -5*s - 20 - 0 for s.
-4
Let d be 10/(-4) + 4/8. Let u be (-2)/(-1 + 1 + d). Solve -a + u = -1 for a.
2
Suppose 0*s = 4*s + x + 1, -2*s - x = 3. Let i be 6*s/2 + -2. Let f be 62/6 - (-6)/9. Solve 4*t - f = i for t.
3
Let p be ((-4)/(-10))/(4/60). Let n = 10 - p. Let s(i) = -i**2 + 3*i + 4. Let t be s(n). Solve t*w = w for w.
0
Let a be (-2)/(-5) + 3/5. Let l be ((-15)/6)/(20/(-48)). Solve v = a - l for v.
-5
Let m(f) = f + 1. Let i be m(-1). Solve 5*w - 20 = -i for w.
4
Suppose 5*i + 9 = l, -8 = -3*l + l + 5*i. Let w be (-2 - 1)/(l + 0). Solve 0 = -w*r - r - 16 for r.
-4
Let h(v) be the second derivative of -v**5/20 - 17*v**4/12 - v**3/6 - 17*v**2/2 + 9*v. Let o be h(-17). Solve -5*a - 5 = -o for a.
-1
Let m(c) be the second derivative of c**4/24 + 7*c**3/6 + 3*c**2/2 + 3*c. Let q(f) be the first derivative of m(f). Let a be q(-7). Solve a = -b - 1 - 4 for b.
-5
Let v be 1/((-3)/9*-1). Suppose -5*o - v = -38. Let f(n) = -n**2 + 8*n - 2. Let r be f(o). Solve 3*g + 2*g = -r for g.
-1
Let p be 26/(-8) - (-3)/12. Let d be 1/5 + p/15. Suppose 0 = -d*j + 2*j. Solve -2*f + j*f - 8 = 0 for f.
-4
Let n(d) = -3*d**3 + d**2 - 1. Let i = 1 + -3. Let v be n(i). Suppose h = 3, -2*x + 2*h = h - v. Solve -5*t - x = -0*t for t.
-3
Let v(d) be the first derivative of d**2/2 + 11*d + 1. Let n be v(-5). Let l be (-3 + 3*8/12)*-2. Solve -2*r - l - n = 0 for r.
-4
Let n = 13 - 6. Solve -n*u + 20 = -3*u for u.
5
Let q = 57 + -47. Solve 0 + q = -5*w for w.
-2
Suppose 0 = 5*r - 2*r - 12. Let j(k) = k - 1. Let b be j(r). Let p(n) = 15*n**3 + n**2 - n. Let x be p(1). Solve -b + x = 3*d for d.
4
Suppose 11*s - 16*s = -30. Solve -s = 2*i + 4 for i.
-5
Suppose 6*v - 5*v - 15 = 0. Solve 0 = 3*b - 0 - v for b.
5
Suppose 21 + 7 = -4*v. Let b(l) = -3*l - 5. Let w be b(v). Solve -o = 3*o + w for o.
-4
Suppose -5 = 6*u - u. Let i = -2 + u. Let x be (i/2)/((-12)/80). Solve 3*g + x = -5 for g.
-5
Suppose 25*l - 3 = 27*l - 5*z, -1 = -3*l + 2*z. Suppose -2*y - 8 = -3*y - g, -g - 7 = -4*y. Solve -t - y = -l for t.
-2
Let b = -1 - -3. Solve -2*w = -2 - b for w.
2
Suppose -4*m + 100 = m. Solve -5*n + 0 = m for n.
-4
Suppose 16 = 8*s - 0. Solve 4 = 2*n + s for n.
1
Suppose -8 + 1 = -z. Suppose -v - 1 + z = 0. Solve v*s - s = 0 for s.
0
Let a = 0 - -2. Suppose -2*z = a*m, -6*m - 5*z - 8 = -3*m. Suppose -s = -n + 2*n - 5, n - 15 = -3*s. Solve -x - 3*x + m = n for x.
1
Let t = 8 + -11. Let m(j) = -j**3 - 3*j**2 + 