 4*q = r for q.
0
Let o be 2 - (0 + -1) - 0. Solve -15 + 3 = -o*n for n.
4
Let f = 81 + -81. Solve -t + 6*t + 10 = f for t.
-2
Let g be (-2 - -6) + (1 + -3 - 1). Solve -3*w - g + 7 = 0 for w.
2
Let x be (-24)/(-10) + (-2)/5. Let b be (-21)/6*(0 - x). Let k = 12 - b. Solve -4 = k*w - 3*w for w.
-2
Suppose 4*m = b - 20, -4*b + 0*m + 80 = -4*m. Suppose 4*d = -d + b. Suppose 15 - 3 = 4*h. Solve -d = h*a + 8 for a.
-4
Suppose -5*c + 6*c + 2 = 0, -4*r + 4*c + 68 = 0. Solve -4*v - r = -7*v for v.
5
Let q be -2 + (-1 - -1*54). Let y be q/9 + (-1)/(-3). Let a = y + -6. Solve -3*k - k - 12 = a for k.
-3
Let v be -3 + 3 + 2 + -4. Let r be 4/(v + -2) + 3. Solve r*q = 3*q + 4 for q.
-4
Let c be (2 + 0)/((-4)/(-6)). Suppose -c*b = -5 - 1. Solve 1 = 3*t - b for t.
1
Let y(q) = 3*q + 3. Let i(t) = -t - 1. Let r(v) = 5*i(v) + 2*y(v). Let d be r(-1). Suppose -11 - 17 = -7*p. Solve 5*m - 16 - p = d for m.
4
Let j = -20 - -22. Solve -5*m = -j + 17 for m.
-3
Suppose 22 + 8 = 5*x. Let g be 6*3/x - 1. Solve g*s = -3*s for s.
0
Suppose -2*m + 0*m = -p - 24, 4*p - 48 = -4*m. Solve -10 = 2*z - m for z.
1
Let o(c) = c**3 + 7*c**2 - 2*c - 10. Let z be 6 + -3 + (-12 - -2). Let s be o(z). Solve s*t - 5 = 7 for t.
3
Let b = -109 - -113. Solve b*u + 15 = -u for u.
-3
Let u(g) = g**3 - 3*g**2 + 3*g + 1. Let o be u(3). Let j = o - 5. Let p = -5 + 9. Solve j = -p*z + 25 for z.
5
Let d = -112 + 127. Solve d = -4*p - 1 for p.
-4
Let i = -18 + 12. Let j be -3 - (-6)/(i/2). Let m = -3 - j. Solve -m*b = b + 6 for b.
-2
Let j be (-1192)/(-20) + (-4)/(-10). Suppose 6*m = 3*m. Suppose m = -2*d - 3 + 9, 0 = 5*h + 5*d - j. Solve -2*n - 1 = h for n.
-5
Let l(d) = -1 + 2*d**3 + 3*d - d**3 - 7*d - 2*d**2. Suppose -3*a - 4*u = -28, 2*a - 20 = -3*u - 0. Let y be l(a). Solve 2*w = -w + y for w.
5
Suppose -f - 3*v = -2, 2 = 3*f - 4*f + v. Let k be -3 + -1 + f + 9. Solve k*a + 6 = 2*a for a.
-3
Let a(u) = -u**2 - 1. Let b(m) = -m**3 + 8*m**2 + 4*m + 3. Let h(w) = -6*a(w) - b(w). Let v be h(3). Suppose 4*j = -v*j + 4. Solve 2 = -3*l - j for l.
-1
Let l be (-168)/20 + (-6)/(-15). Let w = l + -7. Let n = w - -35. Solve -4*o - n = o for o.
-4
Let d(w) = 3*w**2 - w. Let v be d(1). Suppose -9 = r + v*r. Let z be (-1)/4 - r/12. Solve 5*o - 2*o + 12 = z for o.
-4
Let h = 64 - 62. Solve -h*z = -z for z.
0
Let d = 26 - 19. Suppose -2*t - 3*t = 0. Let b be (-4 + t)/((-2)/9). Solve 5*l - d = b for l.
5
Suppose 0 = -13*t + 15*t - 4. Let n be 3/((-2)/(-4) + 1). Suppose n*f = -f + 30. Solve f = -4*p + t for p.
-2
Let l = -80 + 85. Let k = -1 + 9. Solve -k = r - l*r for r.
2
Suppose 0*c = 3*c - 3. Solve 5*z + 9 = -c for z.
-2
Let z(f) = f**3 - 2*f**2 - f - 4. Suppose -2*g + 5 + 1 = 0. Let r be z(g). Solve -2*q - r = -q for q.
-2
Suppose -4*s - 4 = -8*s. Solve -3*i + 4*i = s for i.
1
Suppose y = -5*n + 19, -5*n + 2 = -3*y - 1. Suppose -5*k + y = -6. Solve k*r = -10 - 0 for r.
-5
Let m be 3 + (-2 - 1) - 0. Solve m*f - 12 = 3*f for f.
-4
Suppose -x = 5*d - 21, -4*d - 4*x - 9 + 29 = 0. Suppose -4*w + 5*k = -d, w + 0*k = -k + 1. Solve -1 - w = 2*j for j.
-1
Let u = -4 - -35. Suppose k - 12 = -r, -4*r - 2*k = -r - u. Solve -3*o - 5 = r for o.
-4
Let u = -1 + 4. Solve -u*c = c for c.
0
Suppose -u - 16 = -4*c, -c - 8 = -5*c - u. Solve f = c*f + 8 for f.
-4
Let r = 28 - 19. Suppose 4*d = 3 + r. Solve 0*j + d*j = -6 for j.
-2
Let r = -22 + 30. Solve -7 - r = -5*w for w.
3
Suppose -2*p - 3*p + 4*f + 20 = 0, 16 = 4*p + 4*f. Let o = -4 + p. Solve -y = -o*y for y.
0
Let t(q) = 3*q**2 + 18*q - 18. Let s(g) = -2*g**2 - 17*g + 17. Let a(r) = -4*s(r) - 3*t(r). Let k be a(12). Solve 0 = 2*f + 2 - k for f.
4
Let y be (0 + -8)/(10/(-15)). Solve 2*a = -2*a + y for a.
3
Let d be (-1)/(-1 - (-20)/24). Suppose b - d*b + 20 = 0. Solve 0 = b*o - 3*o for o.
0
Suppose -6 = 5*k - 4*l, 0 = 2*k - 5*k - 5*l - 11. Let t be (-3)/2 - 11/k. Let w be t*((-3)/12 + 2). Solve -5*m - 3 - w = 0 for m.
-2
Let n be 3/(-6) - (-6)/4. Let y be n*(2 - 0/(-2)). Suppose 3*b - 3*q - 24 = 0, -3*b + 0*q = y*q - 24. Solve v - b = -v for v.
4
Let x = -38 + 39. Solve -3*o = -2*o + x for o.
-1
Let t be 0*(-3)/12 + 2. Solve -1 = t*r - r for r.
-1
Let j be 76/10 + 2/5. Let z(b) = -b**3 - 6*b**2 - 6*b + 6. Let f be z(-5). Suppose 0 = -3*k + i + f, -2*i - 2 = -k + 5. Solve 0 = k*s + s - j for s.
2
Suppose 0 = -2*f - 3*f. Solve f = x + 3*x - 8 for x.
2
Let m be 2/(-10) + 16/5. Let l(o) = m*o - 2 - 2*o - 3. Let j be l(7). Solve -7*u + j*u = -10 for u.
2
Suppose 6 = -2*s - 2*z, -s - 2*z = 2*s + 6. Let v = s - -2. Suppose -3*m + 40 = 4*j - 6*j, -3*m = 4*j - 28. Solve -5*i + v*i = m for i.
-4
Suppose 0*l + 5*l - 3*r = 47, 4*r + 16 = 0. Let y = -36 - -37. Solve 2*b = y + l for b.
4
Let u be (-15)/20 + 2/(-8). Let b(q) = 4*q**2. Let m be b(u). Let c be (-2)/4 - (-22)/m. Solve -c = -r - 1 for r.
4
Let v(f) = -12*f**3. Let z be v(-1). Let q(g) be the first derivative of 2*g**3/3 + 5*g**2/2 + 2*g - 2. Let i be q(-3). Solve -i*r = -3 - z for r.
3
Let g = 6 + -4. Let d = 2 + 3. Let j = 7 - d. Solve -g*z + z = j for z.
-2
Let k be (1 + 1)/((-2)/31). Let n = 51 + k. Solve 3*p + 2*p + n = 0 for p.
-4
Suppose 3*y - 29 = 1. Suppose -2*n + 3 = p, 6*p - 2*p - 3*n + y = 0. Let u = 3 + p. Solve -u = 2*d + 2 for d.
-2
Suppose 0 = 5*y + 4*k + 11, -3*y - 3*k = y + 8. Solve -3 - y = o for o.
-4
Let b be (-1)/(((-5)/(-2))/(-5)). Solve -b*o + 12 = 2*o for o.
3
Let n(k) = -k**2 + 4*k - 3. Let a be n(2). Solve -2*w - a - 1 = 0 for w.
-1
Suppose -5*h + 7 = -23. Let i be (6/4)/(h/8). Let b = -1 + i. Solve p - b = -0*p for p.
1
Suppose 0 = 3*t + 2*t. Solve 5 = -x - t for x.
-5
Suppose -5*m + 3*b - b = 0, -5*m - 3*b + 25 = 0. Solve -8 - 2 = -m*f for f.
5
Let o be -2 + 5 - (-1 - -1). Solve 6 = o*d + 18 for d.
-4
Let l = 1 + -1. Let m(p) = p**3 + 6*p**2 + 6. Let y = -18 - -12. Let f be m(y). Solve l = f*h - 3*h for h.
0
Let v(q) = -q - 7. Let f be v(-13). Let g be (14/3)/(4/f). Solve -3*z + 8 + g = 0 for z.
5
Let w be 10/3 - 1/3. Solve 20 = -w*j - j for j.
-5
Let h(b) = 2*b - 5. Let u be h(4). Solve -u*p = -p + 2 for p.
-1
Suppose -3*h = -n + 6*n - 125, 2*n - 5*h = 50. Solve 0*j = -5*j - n for j.
-5
Suppose -5*g + 4*j = -17, -5 = 3*g - 2*g + 2*j. Let l = g - 2. Let y be 5 + -5 + (-3)/l. Solve -d - 2 = -y*d for d.
1
Let n(r) = r**3 + 5*r**2 + 6*r + 3. Let a(m) = m + 3. Let u be a(-6). Let f be n(u). Solve 2 = -o - f for o.
-5
Let m be 5/10 - 5/(-2). Solve -2*b - m*b = 0 for b.
0
Let w = 93 - 89. Solve 0 = 2*h + w + 2 for h.
-3
Let v be 0/(-2)*(-7)/(-14). Suppose v = 3*i - 4*i. Solve i = -x - 5 + 2 for x.
-3
Suppose -2*f - 3 = -19. Suppose 3*x = 6*x - 6, -x = -2*r - f. Let j be r/2*(-4)/3. Solve j*h - 15 = -h for h.
5
Let c(i) = 18*i - 14. Let y be c(2). Suppose -4*n - 10 = n. Let z be (n - 1)*(1 + -2). Solve -5*p + z = -y for p.
5
Let o(p) = p**2 + 2*p + 7. Let i be o(-5). Suppose 3*b + 2*d = 22, -2*d = b + 8 - i. Solve -h + 2*h = -b for h.
-4
Suppose -17*f = -12*f - 35. Let s = 5 - 3. Suppose -3*i + 34 = -17. Solve s*b = -f + i for b.
5
Let z = 33 - 23. Suppose -t - 3*g + 1 = 2, 0 = 4*t + 5*g - z. Solve -t*k - 15 = -2*k for k.
-5
Let m = 9 - 5. Suppose 2*f = -m*c + 36, 0 = 3*c - 6*c - 2*f + 29. Solve 4*i + 1 = -c for i.
-2
Let a = 58 + -55. Solve 8 = s - a*s for s.
-4
Let t(p) = -2*p**3 - 8*p**2 - 7*p + 10. Let y(v) = v**3 + 7*v**2 + 7*v - 9. Let s(u) = -2*t(u) - 3*y(u). Let l be s(6). Solve -d + 2 + l = 0 for d.
3
Let t(h) = 2*h**2 + 4*h. Let f be t(-3). Let v = -4 + f. Suppose -v*i = -5 + 1. Solve -i*c + 0*c = 0 for c.
0
Let f be (11 - 2)*(-5)/(-15). Solve -f = -x + 2 for x.
5
Suppose 2*a + 15 = 5, -w = -a - 9. Solve w = 3*z + 1 for z.
1
Let z(t) = t**2. Let d be z(-2). Suppose -4*k - 20 = 0, 0 = -4*x - 0*x - d*k - 8. Solve -5*u = -x*u - 6 for u.
3
Let s = -49 - -69. Let b = s - 16. Solve n = -b*n + 25 for n.
5
Let d = 8 + -6. Let t be (-1)/d*0 + 0. Let h = -9 - -16. Solve t = -2*b + h*b + 15 for b.
-3
Suppose -3*q = -4*h - q + 2, -2*q = -h + 2. Solve -5*n = -h*n - 20 for n.
4
Let b = 91 + -91. Solve 13*y - 14*y + 2 = b for y.
2
Suppose 2*v = 3*i - i - 28, 4*v = -i - 11. Let b = -6 + i. Suppose 30 = -0*h + b*h. Solve 4*m - h = 2 for m.
3
Let v(j) = 2*j + 11. Let d be v(7). Solve d = -m + 6*m for m.
5
Let n = 14 + -13. Solve 2*o - n = 1 for o.
1
Suppose -8 = -4*v, -5*c + 2*v = -0*v - 66. Suppose 0 = 