r z.
4
Suppose -v = -p, -6 = v + 3*p - 7*p. Let r = 0 + 2. Let j = r + -2. Solve -3*o + 1 + v = j for o.
1
Let f = -3 - -6. Solve f*q = -4 - 8 for q.
-4
Let h = -18 - -20. Solve -h*f = f + 6 for f.
-2
Let g = 132 - 129. Solve -g*f = -0*f - 3 for f.
1
Let g(j) = -j**2 - 3*j. Let d be g(-3). Let s(f) = -2*f + 10. Let v be s(7). Let a = -2 - v. Solve a*w - w = d for w.
0
Suppose 0 = 4*k + 4 - 40. Suppose 0 = -13*f + k*f. Solve -2*b + 7 + 3 = f for b.
5
Suppose 3*c - 20 = -c. Solve -p = -c*p + 12 for p.
3
Suppose 0 = 5*j - 4*t - 19, 0 = -3*j + 2*t + 11. Solve -5 = -j*v + 4 for v.
3
Suppose 4*p - 33 = 5*f, 3*p - 2*f = -f + 11. Suppose m = -p*m + 57. Solve 3*x = -4 + m for x.
5
Suppose -7 = 4*d - 31. Let k(s) = -s**3 + s**2 - s. Let f(p) = 3*p**3 - 7*p**2 - 4*p - 3. Let g(y) = -f(y) - 2*k(y). Let x be g(d). Solve 2*b + x*b = 0 for b.
0
Let j(l) = l**2 + 7*l - 5. Let w(z) = 3*z**2 + 14*z - 9. Let k(y) = 5*j(y) - 2*w(y). Let d be k(5). Solve 0*m = d*m for m.
0
Let j = -28 - -17. Let t be ((-5)/(-2))/(j/(-22)). Solve 2*q - t = -3 for q.
1
Suppose 3*v + 2 = 14. Let m(q) = -q + 9. Let b be m(v). Solve 0*p + b*p - 5 = 0 for p.
1
Let r be 0*(-1 - -2) - -1. Suppose 4*f - 13 = -r. Solve -6*g + f*g = -12 for g.
4
Suppose 7*h = 3*h - 4*c + 24, 4*h = -3*c + 20. Suppose -5*s + 3 = -h*s. Let u = 5 - s. Solve 0 = -u*t - 3 - 1 for t.
-1
Let b = -7 - -17. Suppose b = 5*v - 0*v. Solve v*i + 2 = -0*i for i.
-1
Let o(c) be the first derivative of c**4/4 - 4*c**3/3 + 5*c**2/2 - 3*c - 2. Let y be o(3). Solve 3 = -0*f - y*f for f.
-1
Suppose -3*x - x + 2*j = -2, -x = -4*j - 4. Solve r - 5 = -x*r for r.
5
Let j(r) = -r - 2. Let p be j(-2). Let q(f) = f**2 + 7. Let u be q(p). Let m = u - 3. Solve m = -2*x - 2 for x.
-3
Suppose d - 2 = -0, 2*y - 5*d = -4. Solve -5 + 17 = y*c for c.
4
Let a(r) = -r**2 - 5*r - 5. Let t be a(-4). Let d be -2 - (-1 - t - 6). Let h = -4 + d. Solve h = j - 5*j for j.
0
Let f be -3 - (2 - (-1 + 0)). Let n(p) = p**2 + 7*p + 6. Let g be n(f). Solve -4*z = -g*z for z.
0
Suppose 3*a + j - 17 = a, 5*j - 55 = -5*a. Solve a*w = w - 25 for w.
-5
Let a(v) = 0 - v - 4 + v**3 + 2*v**2 - 2*v. Let n be a(-3). Let t = n - -4. Solve t = -3*q - q for q.
0
Suppose -3*i = -1 - 17. Let z be (-1 + (-4)/(-8))*-16. Suppose z = 2*j + i. Solve -j = -4*t - 5 for t.
-1
Let n = 12 - 10. Solve -2 = -n*k - 6 for k.
-2
Let m be (-4)/10 - 132/(-55). Solve -3*l = m*l for l.
0
Suppose -4*s = 8 - 16. Solve 4 = s*c - 0 for c.
2
Let i be (19 - 4)*4/10. Solve -2*a = -i + 14 for a.
-4
Let p(g) be the third derivative of -g**4/24 - 2*g**3/3 - 7*g**2. Let w be p(-7). Solve 0 = 4*n - w*n - 5 for n.
5
Suppose 2*y = -0*y + 6. Let a = 0 + y. Solve 0 = -h + a*h for h.
0
Suppose 2*l - 10 = -3*l. Suppose l = 2*x - 12. Solve -x + 2 = z for z.
-5
Suppose -3*j + 0*j - 11 = -4*s, 4*j - 4 = -4*s. Let c be s/(1 - (-3)/(-6)). Solve p + c*p + 25 = 0 for p.
-5
Suppose -l - 2*l = 0. Let a = -1 + l. Let v = 3 + a. Solve -4 = w - v for w.
-2
Let i be ((-5)/(-10))/((-1)/(-86)). Suppose 0 = -3*a - a + 3*g + 16, -2*g = 5*a - i. Solve -3*k = -a*k for k.
0
Suppose 15 = 2*f + 2*y + 5, 1 = f - y. Suppose h + 8 = f*h. Solve 0 = -z + h for z.
4
Let u be (14 - 15) + 4 + 0 - -2. Solve 8*w - u*w - 6 = 0 for w.
2
Suppose -p = -5*a - 21 + 5, 2*p + 5*a = 17. Suppose -p = -2*q - 5. Solve -q*t = t + 8 for t.
-2
Suppose 0 = -4*r + 4 + 12. Solve -2 = -r*h - 14 for h.
-3
Let t be (((-1)/1)/1)/(5/(-10)). Solve 20 = 3*c + t*c for c.
4
Let u(c) = c**3 - 6*c**2 + 7*c + 7. Let s be u(4). Solve 6 - s = -3*o for o.
-1
Let m(s) = -s**3 + 7*s**2 - 2*s + 17. Let g be m(7). Let c = g + 1. Solve q + 3 = c for q.
1
Let q(k) = k**2 + 4*k. Let f = 11 - 15. Let z be q(f). Solve 4 = 2*s - z for s.
2
Let f = 12 - 12. Solve j - 5 = -f*j for j.
5
Let s be (8/10)/(4/10). Solve h + 9 = -s*h for h.
-3
Let k = 12 + -10. Solve 0 = k*h - 6*h for h.
0
Let x(o) = -2*o - 6. Let f be x(-5). Suppose 5*c + f*p = 83, 3*c + 3*p - 20 - 31 = 0. Solve 3*d = 6*d - c for d.
5
Suppose 2*s = 6*s + l + 3, 0 = -3*s + 2*l + 6. Solve -a + s*a + 2 = 0 for a.
2
Suppose -3*w = -6*w + n + 21, -w = 2*n. Solve c - w = 3*c for c.
-3
Suppose -6 = 3*z - 33. Let i be (-22)/3 + 2/6. Let d = -2 - i. Solve d*o - 2*o = -z for o.
-3
Let g = 42 - 38. Solve 0 = -g*j - 6 + 14 for j.
2
Suppose -c - 154 = -12*c. Solve -1 - c = 3*d for d.
-5
Suppose i - 19 = -2*r, 3*r - 3*i + 21 = 5*r. Solve -4*b = -7*b + r for b.
3
Let u be (1/2)/(8/32). Solve 5*f = -u - 13 for f.
-3
Let z(t) = -t**2 - 3*t + 1. Let v(b) = b + 1. Let j(i) = -4*v(i) + z(i). Let w be j(-7). Let o be 1*w/((-6)/4). Solve 5*l - o = -12 for l.
-2
Let q(a) = 9*a**2. Let z be 12/(-18) - (-13)/(-3). Let l(p) = p**2 + 5*p - 1. Let u be l(z). Let w be q(u). Solve -3*y = 6 + w for y.
-5
Let q be 2/8 + (-9)/(-12). Let j = 7 - q. Solve 0 = -2*d + j + 4 for d.
5
Let n = -54 - -69. Solve n = 2*p + 5 for p.
5
Suppose -3*n + 28 = -s, 24 = -n + 2*n - 4*s. Solve 5*p - 3*p = n for p.
4
Let i(r) = -r**3 + 6*r**2 - 5*r - 8. Let k be i(4). Solve -1 = k*s + 3 for s.
-1
Suppose l = -2*l - 15. Let n(h) = h + 5. Let m be n(l). Suppose -2*b + 3*b = m. Solve b*i = -i - 5 for i.
-5
Let a be 3/((-4)/16*-6). Let w be (4/10)/(1/10). Solve a + 2 = w*z for z.
1
Suppose 8 = -0*x - 2*x. Let c = x + 6. Solve -c*q = -q for q.
0
Let n = 2 + -4. Let w(p) = -17*p - 4. Let t(j) = 6*j + 1. Let m(b) = -7*t(b) - 2*w(b). Let r be m(n). Solve 5*x + 8 = -r for x.
-5
Let a(b) = b**3 - 4*b**2 - 4*b - 1. Let q be a(5). Solve -q*j = -6*j + 8 for j.
4
Let m be 3/1*(10 - (2 - -7)). Suppose -2*f = -5*p - f + 34, -8 = 2*f. Solve m*l - p = l for l.
3
Let g(p) = p**3 - 19*p**2 - 2*p + 43. Let m be g(19). Solve -4*a + 3*a = -m for a.
5
Suppose 5*r + 4*g = 3, -g = 2*r - 4*g - 15. Solve -4*x - r = -5*x for x.
3
Let c = 131 + -65. Suppose q - c = -2*q. Let d = q - 12. Solve 3*r = r + d for r.
5
Let j(k) = -k**3 + 5*k**2 - 2*k - 3. Let x be j(4). Solve -x = -4*g + 7 for g.
3
Let u(q) = -q**2 + 6*q + 3 + 3*q - q - 8. Let n be u(5). Solve -2*j + 0*j - n = 0 for j.
-5
Let n = 6 - 3. Let w be (0 - (4 + 1)) + 187/11. Solve 6*p - n*p + w = 0 for p.
-4
Let g = 8 + -3. Solve 7 = g*v + 2 for v.
1
Let q be 6 - ((5 - 1) + -2). Let l be (q - 6)/(4/(-38)). Solve -4*v - l + 7 = 0 for v.
-3
Let f = -8 - -11. Suppose -5*o - 2*t - f*t = -15, -o - 2*t = -4. Solve 0 = -o*g - g for g.
0
Let m(p) = p**2 - 5*p - 4. Let d be m(8). Suppose g = -3*g + d. Solve -5 = 5*h + g for h.
-2
Suppose 4*b + 0*b - 48 = 0. Let s = b + -8. Solve 0 = v - s*v + 3 for v.
1
Suppose -3*r - 3*r = -12. Solve 3*n - r*n = 0 for n.
0
Suppose 2*o - 5 = 3*o. Let y = o - -7. Solve -14 + y = 4*j for j.
-3
Let l be -4 - -4*(-6)/(-3). Solve -10 = -l*i + 2*i for i.
5
Suppose 4 = 2*u - 0*u. Solve 11 - u = -3*f for f.
-3
Suppose 2*c = 8 + 6. Solve -2*w = -c + 1 for w.
3
Let y be (-24)/(-5) - 3/(-15). Let h(p) = p + 7. Let j be h(-5). Solve 0 = y*t - 13 - j for t.
3
Let j = 30 + -42. Let x = 13 + j. Solve -n + x = 2 for n.
-1
Let j be 5/((-60)/(-39))*4. Let n(s) = s**3 - 12*s**2 - 12*s - 12. Let f be n(j). Solve -5*p + 4 + f = 0 for p.
1
Let h = 1 + -10. Let l = h - -11. Solve 0 = -t - l*t - 6 for t.
-2
Suppose -w - 21 = 2*l, 2*l - 3*w + 10 = -7. Let b be 6/9 - l/3. Let z(u) = -u**3 - 7*u**2 - 6*u. Let v be z(-6). Solve v = t + b*t - 25 for t.
5
Suppose 0 = 4*o + 3*z - 51, -5*o - 3*z - z = -65. Solve -o - 6 = -3*v for v.
5
Let g(w) = -2*w - 2. Let m be g(0). Let f be (12 - 4)/((-1)/m). Solve -3*a = f - 1 for a.
-5
Let b = -7 - -10. Suppose 3*m - 3 = m + b*v, 4*m + 2*v - 14 = 0. Solve 6*s = m*s for s.
0
Let s = 7 - 3. Suppose q - 2*q + 12 = 0. Suppose s*o - q = o. Solve -o*d + 12 = -4 for d.
4
Suppose 0*v + 10 = v. Solve -2 = -3*j + v for j.
4
Suppose 0 = 2*q - 3*q - 5*z - 20, 49 = -3*q - 4*z. Let b be q*((-17)/5 + 3). Solve a + b - 4 = 0 for a.
-2
Let l be ((-50)/15)/((-2)/3). Solve 0 = -5*i - l + 15 for i.
2
Let f(a) = 4*a + 7 - 3*a + 0*a. Let t be f(-6). Solve s + t - 3 = 0 for s.
2
Let n(x) = -x**2 - 1. Let r(w) = 4*w**2 + 2*w + 5. Let h(p) = -5*n(p) - r(p). Let v be h(2). Let c = 19 + 6. Solve v = 4*a + a + c for a.
-5
Suppose 0*s = 4*s - 48. Solve -4*y - 8 = s for y.
-5
Suppose 11 = n + 7. Solve n = -0*z + 2*z for z.
2
Suppose 4*a + 3*b - 818 = 109, 694 = 3*a + b. Let u be a/55 - 1/5. Solve l + u = -l for l.
-2
Let h be (0 - 0)/(-3 - -