r t.
-5
Suppose -4*x = -x. Solve x = -5*m - 0*m for m.
0
Let n(u) = u**2 + 6*u - 3. Let s be 6 + -5 + -1 + -7. Let b be n(s). Solve 5*i + 1 = -b for i.
-1
Let x = -45 + 48. Solve 0 = i - x*i for i.
0
Let u(c) = 5*c - 1. Let l be 14/8 - 2/(-8). Let y be u(l). Solve -1 = 4*w - y for w.
2
Let v = 12 + -8. Let o = v - -1. Let s(y) = -y + 1. Let f be s(-2). Solve o*j + 13 = f for j.
-2
Let z = 7 + -5. Suppose 3*d - 2 = -2*d + z*g, -5*d = 4*g + 4. Solve -4*b - 2 + 18 = d for b.
4
Let q(w) = w**3 - 2*w**2 - 2*w + 1. Let h be q(3). Solve -5*o - h = -19 for o.
3
Let t(v) = v**3 - 11*v**2 - 25*v - 11. Let p be t(13). Solve 0 = -p*m - 6 for m.
-3
Let c(d) = -4*d + 11. Let z be c(5). Let w = -5 - z. Solve 2 = -3*x - w for x.
-2
Let n(r) = -r**3 + 4*r**2 + 4*r + 7. Let i be n(5). Solve 2 = i*u - 2 for u.
2
Let z = -6 + 22. Let x be (4/(-6)*3)/(-2). Suppose 9 = -3*q, -u - x = -3*q + 4*q. Solve 6*v - u*v + z = 0 for v.
-4
Suppose 2*u + 9 = 5*o - 14, 4*o - 2*u = 20. Suppose 2*n + 4*r - 19 = 5, o*r + 47 = 5*n. Solve 0*h - n = 2*h for h.
-5
Let h(m) = m**2 + 9*m + 6. Let g(d) = -d - 1. Let z(q) = 4*g(q) + h(q). Let p be z(-5). Solve 0 = -w + p*w + 2 for w.
-2
Let h be 55/5 - (-2 + 7). Let s = 60 - 15. Suppose 0 = -4*l - 5*p + 90, 5*l - 70 = -5*p + s. Solve -h*k - l = -k for k.
-5
Suppose -v = -6*v. Suppose w - b = v, 5*b - b - 8 = 0. Solve -w*x = x + 12 for x.
-4
Let c be (-2)/5 + 8/20. Let m(i) = -1 - i - 2 + 0 + 0. Let r be m(-5). Solve c = r*s - 0*s for s.
0
Let o = 14 + -8. Solve 0 = 3*h - o*h - 15 for h.
-5
Let z(a) = -a + 12. Let u be z(10). Let m = 0 + u. Solve -m*l = -l for l.
0
Let a(r) = r. Let d be a(1). Let k = -31 + 36. Solve -m = k - d for m.
-4
Let s be ((-4)/(-6))/((-8)/(-24)). Solve -3 - 3 = -s*r for r.
3
Suppose -6*l + 9*l + 4*q = 16, 3*q = 3*l - 51. Solve -3*y - y + l = 0 for y.
3
Suppose 126 = -5*c + h, 146 = -7*c + 2*c - 4*h. Let g = c + 11. Let j = -11 - g. Solve -10 = -3*l - j for l.
2
Suppose 4*t + 11 = -f, -t + 2*f = -6*t - 13. Let k = -3 - t. Let w = -30 - -37. Solve 5*u + w + 8 = k for u.
-3
Let p(i) = -2*i + 5. Let f be p(0). Let g be 3/f + 2/5. Solve 0 = -2*y + g + 9 for y.
5
Suppose 5*d - 2*g = 2*d - 1, -3*g = 2*d + 5. Let j(c) = -c + 3. Let m be j(5). Let t be (0 - d)/(m/(-6)). Solve -9 + 21 = -t*y for y.
-4
Suppose -8 = -7*q - q. Solve r - q = -0*r for r.
1
Suppose -38 = -p - p. Suppose 4 = -5*b + p. Solve -b*g + 5*g = -8 for g.
-4
Let a = 22 - 6. Let q = a + -11. Let u be (-2)/q + (-4)/(-10). Solve -5*f + 9 + 1 = u for f.
2
Suppose 4*r = 5*f - 8, 0 = -5*f + 2*r + 18 - 4. Let o(v) = -v**2 + 7*v - 5. Let m be o(f). Solve -16 = m*d - 3*d for d.
-4
Let x be (-2)/(-10) + 24/5. Suppose 0*m - 2*m - 5*n = -10, -n + 25 = x*m. Solve -10 = m*d - 0 for d.
-2
Suppose -s + 5*s - 5*r + 5 = 0, 5 = -3*s + 5*r. Let z = s - -3. Solve -4 = z*c + 11 for c.
-5
Suppose -6*j + 2*j = -16. Suppose 4*l - 2*l - y = 5, -10 = 3*l + 2*y. Solve l = -j*k + 3*k - 4 for k.
-4
Let a(y) = -y**2 + 6*y - 5. Let t be a(5). Solve t = 2*h + 2*h + 12 for h.
-3
Let j be 1*3 - (-8 + 14 + -8). Solve 0 + j = 5*x for x.
1
Let o(x) = 7*x - 90. Let m be o(15). Solve 0 = -v + 6*v + m for v.
-3
Suppose 3*f = 2*f - h + 9, -4*h = 2*f - 28. Solve 0 = f*y + 1 + 11 for y.
-3
Let p = 6 + -4. Let s(l) = l**2 + l - 4. Suppose 2*d = 5*d + 9. Let i be s(d). Solve 0 = i*m + 4 - p for m.
-1
Let h = -11 + 25. Let g be (6/4)/(21/h). Solve 3 = -4*q - g for q.
-1
Suppose -2*g + g + 15 = -4*l, 5*l = -5*g. Suppose -3*n + 3 = -4*f + 39, 26 = g*f - 2*n. Solve -f = y - 3 for y.
-3
Let d(w) be the third derivative of w**5/60 + w**4/4 - w**3/6 + 3*w**2. Let v be d(-7). Solve -p + 1 = v for p.
-5
Suppose -j + 19 - 17 = 0. Solve j*u - 2 = 2 for u.
2
Suppose 2*g + 4 = 2*z - 2, -4*g = 4*z - 20. Solve -4*m - g = -3*m for m.
-1
Let l(c) = c**2 + 2*c - 3. Let x be l(-5). Suppose x + 12 = 4*i. Solve -6 - i = 3*f for f.
-4
Suppose 11*t - 10 = 6*t. Solve i = -0 + t for i.
2
Let f be (4 - (3 + -1))*2. Suppose -3*z - 3*b - 3 = 0, 2 = -2*z + f*z + b. Solve i - z*i = -10 for i.
5
Let j be (8 + -3 - 2)*5. Let f = j - 13. Solve 0*d + f*d = 0 for d.
0
Suppose -f = -0*f - i - 8, -20 = -f - 3*i. Let j = -12 - -6. Let x = j + f. Solve 0 = -x*h - 5 for h.
-1
Let v(k) = -k**3 - 2*k + 4. Let a be v(0). Solve 3*z + z + a = 0 for z.
-1
Suppose n + 13 - 14 = 0. Solve 0 = 2*d - 11 + n for d.
5
Let x(n) = -n + 7. Let j be x(4). Solve 0 = -j*a - 0 - 3 for a.
-1
Let f(y) = -y + 18. Let j be f(15). Solve 5*l = j*l - 4 for l.
-2
Let k = -8 + 8. Suppose -5*n + 10 - 25 = -3*c, -4*n - 12 = k. Solve c = -2*l + l - 4 for l.
-4
Suppose 0 = v - 4*v. Solve -5*k + 3*k = v for k.
0
Suppose 12*y + 40 = 17*y. Solve p - 3*p = -y for p.
4
Suppose 0 = o - 8 + 4. Suppose -3*b - 2*g + 8 = 0, o*b + 0*g = -g + 4. Solve -3*t + b*t = -15 for t.
5
Suppose 2*k - 5*l = 35, 0 = l + 2 - 3. Suppose 0 = -0*b - 5*b + k. Let p be (-1)/(-2)*(-1 - -1). Solve b*h + h = p for h.
0
Let w = -4 + 8. Suppose 0 = -5*f + w*f. Solve 0 = -f*r + 5*r - 10 for r.
2
Suppose 3*s - 7 = 4*b, 4*b = s + s - 2. Let y = s - 4. Let t = y + 4. Solve t*r = r for r.
0
Let b = -95 + 105. Solve 0*n - b = 2*n for n.
-5
Suppose -3*u - 1 = 14. Let k(q) = -5 + 2*q + q**2 - 2*q + 4*q. Let f be k(u). Solve f = -5*w - 2 - 8 for w.
-2
Suppose -2*v = -v - 2. Suppose 3*x = -5*z - 15, -v*x - 6 = 5*z + 4. Let g = 16 + -16. Solve t - 4 + g = z for t.
4
Suppose w - 1 = 3*q - 5, 35 = 5*q + 4*w. Let z = q + 0. Suppose h - 4*h + z = 0. Solve -2*d - 3 = -h for d.
-1
Let c(v) = -4*v - 6. Let f be c(-2). Solve -f = -y + 3 for y.
5
Suppose -o - 25 = -6*o. Suppose -o*u + 7 = -3. Solve -3*j + u = -10 for j.
4
Let v be (-1)/(-5) - 152/(-40). Solve v + 16 = -4*k for k.
-5
Let a be 8/3*3/2. Let q(g) = -g**3 - 2*g**2 - 5*g + 3*g**2 + 4 + 4*g**2. Let c be q(a). Solve n = 3 - c for n.
3
Let y = -5 - -5. Suppose 2*b - 4 - 2 = y. Solve -2*x - b*x - 25 = 0 for x.
-5
Let f = -1 + 2. Let c be (-2)/7 - (-9)/7. Let g be (c - f)/3*1. Solve g = -2*r - 2*r for r.
0
Let c = -17 - -24. Let l(p) = -p**2 + 6*p + 7. Let m be l(c). Solve m*z = -4*z for z.
0
Suppose -5*p + 26 = -4*p. Suppose -4*o = 3*c + p, 4*o + 19 = -2*c + o. Let k = c + 10. Solve x = -x + k for x.
4
Let s(q) = q**3 + 9*q**2 + q + 3. Let v be s(-9). Let r be 3 + v/(-3) + -3. Solve 7 + 3 = -r*t for t.
-5
Suppose 0 = -2*w + c + 13, -5*w = -3*c + 8*c - 10. Solve o + 4*o = w for o.
1
Let i(g) = 2*g**3 - 2*g**2 + 2*g - 3. Let z be i(2). Let n(q) = -q + 10. Let r be n(z). Solve -4*p + 7 = -r for p.
2
Let o(z) = 3*z + 15. Let f(b) = 2*b + 8. Let d(u) = 5*f(u) - 3*o(u). Let r be d(5). Solve r = j + 3*j - 4 for j.
1
Suppose -4*z + 22 = a, z = -5*a - z + 20. Suppose 0 = 2*w - 6, -w - a - 12 = -j. Let y = j + -5. Solve y = -q + 4*q for q.
4
Suppose -3*d - 15 = 4*n, 15 = -2*d - d - 2*n. Let k(o) = o**2 + 3*o - 8. Let j be k(d). Suppose -10 = -3*w + w. Solve w*c + 3 = j*c for c.
-1
Let i(m) = -m**3 + 0*m**2 - m**2 + 7*m**2 + 4. Let g be i(6). Let b = 0 - 0. Solve -5*x + 1 + g = b for x.
1
Suppose 6*l = 5 + 1. Suppose -5*d = -4*d - 20. Suppose 4*o = -4*c + d, -4*c - l = -o + 14. Solve -o*y = -2*y - 20 for y.
4
Let d(a) = -4*a**2 + 3*a - 2. Let i(w) = -7*w**2 + 6*w - 3. Let x(s) = -5*d(s) + 3*i(s). Let l be x(3). Let z be -5*2*l/(-2). Solve p = z*p for p.
0
Let r(j) = -4*j + 1. Let x be r(-1). Let v be 0/(((-4)/2)/(-1)). Suppose -x*k + 5 + 5 = v. Solve 12 = -k*o + 6*o for o.
3
Let t(g) = -g**3 - 8*g**2 + 8*g - 2. Let k be t(-9). Let q = k + -5. Solve x = q - 1 for x.
1
Suppose 3*w - 96 + 36 = 0. Suppose 4*j - 5*j + 3 = 0. Let l(m) = 2*m - 7. Let x be l(7). Solve -x*q + w = -j*q for q.
5
Suppose -2*z = -5*c - 8, 0*c - 2*c + 20 = 5*z. Solve 5 = z*y + 1 for y.
1
Suppose 2*y + 79 = 91. Let d = -33 - -48. Suppose -d = 4*t + t, 3*o = -t + 27. Solve -y*v = -v + o for v.
-2
Let i = 1 + 2. Let u(s) = 0 - i - s + 2 + 2*s**2. Let w be u(-1). Solve w*l = 4*l + 2 for l.
-1
Suppose p + k = 5*p - 18, 3*k = -3*p + 6. Suppose -4 = -p*l + 80. Let d be 6/l + (-150)/(-14). Solve -3*z + 4 + d = 0 for z.
5
Suppose 3*s = 6*s - 216. Let k be 3/5 + s/30. Solve -k = -3*m + 6 for m.
3
Let j(v) be the first derivative of -v**2 - 6*v + 3. Let r be j(-4). Suppose -r*d - x + 32 = 0, 2*d + 0*x = -3*x + 32. Solve -3*t = 1 - d for t.
5
Let r(a) = a**2 + 3*a. Let z be r(3). Solve 0 = 4*c - 2 + z for c.
-4
Suppos