 -z - p = z for z.
-4
Let o = -2038 - -2071. Solve -23*s + 13 = -o for s.
2
Let m = -528 + 531. Solve -g + m = -4*g for g.
-1
Suppose -4*k + 4*m + 8 - 12 = 0, 2*m = 2. Solve k = -9*w + 4*w - 5 for w.
-1
Suppose 0 = -9*f + 37*f + 28. Let g(q) = q - 1. Let l be g(-6). Let w = f - l. Solve v - w*v = 0 for v.
0
Suppose 15 = 2*y - m + 4*m, 0 = 5*m + 15. Solve 11*s - y = 7*s for s.
3
Let n = -37 + 44. Suppose 20 = -3*u + n*u. Suppose -u = b, -3*y + 3 = 5*b + 28. Solve 5*q - q = y for q.
0
Suppose -5*o + 18 = -37. Solve -o = -7*v + 3 for v.
2
Let z = -97 + 100. Solve 2*t = -z*t - 25 for t.
-5
Suppose -6*f - 16 = -76. Suppose -f*a = -6*a - 12. Let l(m) = m**3 - m - 1. Let i be l(2). Solve -22 = i*d + a for d.
-5
Let f(d) = -7*d - 30. Suppose 3*l + 30 = -3*l. Let v be f(l). Solve v*g + 20 = g for g.
-5
Suppose 0 = 17*o - 15*o - 10. Suppose -o*z - 2*j + 2 = -5, 2*z - 14 = 2*j. Solve -z*v = 2*v - 15 for v.
3
Suppose -4*j = -8, -5*j + 0 = -4*i + 10. Suppose -17 = -i*b - 12. Let p be (-3 + 24/3)/b. Solve -p*c - 8 = -c for c.
-2
Suppose -14 = -3*b - 2*q, -17 = 2*b - b + 5*q. Suppose b*k = -2*k + 60. Solve 0*n - k = 2*n for n.
-3
Suppose 3*p + 6 = -h, 5*h = 5*p + 1 - 51. Let c be (h/(-6))/((-15)/(-10)). Solve -2 + c = b for b.
-1
Suppose -s + 13*s - 48 = 0. Solve -8*v - 20 = -s*v for v.
-5
Suppose 2 = z - 0. Suppose -2*d - 16 = -44. Suppose 9*h - 13 - d = 0. Solve -z = 5*a + h for a.
-1
Let d(w) = -2 + 7 + w + w. Suppose 0 = -6*r - 4 + 4. Let a be d(r). Solve 0 = -l - a for l.
-5
Suppose 0*d - r + 49 = 2*d, 0 = 5*d + 2*r - 123. Solve -d*l = -20*l + 5 for l.
-1
Suppose 0 = -16*v - 4*v + 120. Solve -z = -3*z - v for z.
-3
Suppose 0 = 172*a - 173*a + 5. Solve c - a = -3 for c.
2
Suppose -15*o - 48 = 4*w - 10*o, -3*w = -2*o + 59. Suppose -5*m = -5*t + 130, -4*t = -m + 3*m - 110. Let d = t + w. Solve 2*v - d = -0 for v.
5
Let c be 3*1 + -1 + (-6)/(-2). Suppose 2*u + 5*y - 9 = 25, 3*u - c = 4*y. Solve 2*h - u*h + 5 = 0 for h.
1
Suppose 0 = -4*w + 12. Let q be w + (-3)/12*-4. Suppose -3*l = -t + 14, 2*t + 4*l - 22 = 8*l. Solve -t*c + c = -q for c.
1
Let w be 3 + -5 - ((0 - 3) + 1). Let m be (0/(4 + w))/(-1). Solve -3*b = -m + 6 for b.
-2
Let c(a) = -5*a + 24. Let w be c(-5). Suppose 3*i + 0*i - 4*s - w = 0, 5*i - 70 = -5*s. Solve -2*m + i = 3*m for m.
3
Suppose n = -j + 6*n, 5*j + 3*n = -112. Let k = -34 - j. Let x = k - -17. Solve -x*d - 14 = -2 for d.
-4
Let h be 40/12*9/6. Suppose -3*a + 6 = -h*a. Let v be ((-60)/(-8))/(a/(-6)). Solve w = 6*w + v for w.
-3
Let u(b) = -2*b**2 + 7*b + 16. Let v be u(5). Suppose 0 = -4*j + 3*w + v, -w = j + 2*j - 17. Solve 0 = -5*z + 3*z + j for z.
2
Let s be (2 + (-114)/(-10))*5. Let t = 70 - s. Solve -8*y = -t*y - 10 for y.
2
Let o = 16 + -14. Suppose 5*r = 9*r - 12. Suppose -5*y - 2*t = -21 + 1, -5*y + 20 = r*t. Solve -y*f + o*f = -2 for f.
1
Let g be (92 + -88)*10/4. Solve 17*f + 7 + g = 0 for f.
-1
Let i be 2/(-5) - 68/5. Let j(g) = -9*g + 10*g + 19 + 8*g + 3*g**2 - 2*g**2 + 6*g. Let q be j(i). Solve 3*b - 8 = -q for b.
1
Let f(o) = -o**3 - 4*o**2 + 5*o. Let v be f(-5). Let c(y) = y**3 - 9*y**2 - 12*y + 24. Let p be c(10). Let t = 37 - 29. Solve t = -v*k - p*k for k.
-2
Let d be -3 + 3/1 - -2. Suppose g + g - d = 0. Suppose i - 2 = g. Solve -v + 12 = i*v for v.
3
Suppose 0 = -82*h + 46*h + 1620. Solve h = 27*t - 36 for t.
3
Let m(f) = f**2 - 5*f - 3. Let l be m(2). Let b be (-1)/(-3 - 38/(-13)). Let g = l + b. Solve 2 = -3*p - g for p.
-2
Let w(z) = 2*z - 4. Let m be w(4). Suppose v + y = -4*v + 18, 0 = -2*v + m*y - 6. Solve 0 = 3*a - 2*a + v for a.
-3
Let z be 6/(-2 + 7/2). Suppose -8*d = -z*d. Let f(u) = -u**3 + u**2 + u + 8. Let a be f(d). Solve 5*x = x + a for x.
2
Let r be (63 + -63)*2/4. Let y(h) = -h**2 - 6*h + 3. Let u be y(-6). Let d = u + r. Solve -x + 2 = d for x.
-1
Let n = -843 + 863. Solve -4 = 4*r - n for r.
4
Suppose 3*w + 390 = -69. Let p = w - -154. Solve 0 = i + p for i.
-1
Let t be ((-72)/(-27))/((-4)/(-6)). Let c be -3 + (4 + 22 - t). Solve -3 + c = -4*a for a.
-4
Suppose -5*w + 79 = 4*c, 0*c + 3*w + 45 = 2*c. Solve c = j - 8*j for j.
-3
Suppose -25*g + 75 + 0 = 0. Solve 2*k + g*k = -5 for k.
-1
Let k(m) = m**2 - 3*m + 2. Let r be (2/4)/1*6. Let w be k(r). Suppose 3*h - 9 = 4*x, -3*h - 4*x = -h - 26. Solve h = f + w for f.
5
Let m = -129 - -135. Solve -11*r + m = -8*r for r.
2
Let z be ((-12)/36)/(0 + (-3)/9). Solve -2*b - 9 = -z for b.
-4
Let d be (-24)/18*3/(-2). Suppose d*u - 4*u + 6 = 0. Solve -3*z - 6 = u for z.
-3
Suppose -14*g = -106 + 8. Solve 3*d - g = -4 for d.
1
Suppose -2*n = -3*j + 204, 0*n = -n. Suppose 70 - j = o. Solve -10 + 2 = -o*a for a.
4
Let d(v) = 4*v - 21. Let z be d(6). Suppose z*x - 2*w - 22 = 0, -4*x - 5*w - 10 + 1 = 0. Solve x*j - 9 = 3 for j.
3
Let y be 3/((-16)/(-48) + 5/(-42)). Solve 5*g + 1 = -y for g.
-3
Let i(o) = 8*o**3 - o**2 - o + 1. Let a be i(1). Suppose 2*p - a = -3. Solve -p + 1 = z for z.
-1
Suppose -14 = -4*h - 6. Suppose 14 = 2*l - 4*p + h, -2*p = l - 10. Suppose -4*f + g + 0*g = 0, -2*g = 5*f. Solve f = -3*a - a + l for a.
2
Suppose -5*s + 25 = 2*y, -s - 3*s + 3*y = 3. Solve 0 = s*a - 28 + 13 for a.
5
Let i(a) = -a**3 + 6*a**2 - 3*a + 6. Let d be i(6). Let x = d - -14. Let z be 5/x*(-3 + 5). Solve 0 = -0*r + z*r + 10 for r.
-2
Suppose -4*i + 3*i + 3 = 0. Suppose -6*s + 2*s = 3*f + i, -4*f - 4 = 0. Solve d + 3 + s = 0 for d.
-3
Let q(m) = -3*m**2 - 38*m - 24. Let w be q(-12). Let x be (1 - -7) + (5 - 6). Suppose -4*c + 5 + x = 0. Solve -c = v - w*v for v.
-3
Suppose 8*q + 12 = 14*q. Suppose -5*u + 3*a - 4 = 0, 3*u = 2*a + q*a - 9. Solve -m = -0*m + u for m.
-1
Let z(w) = w - 3. Let s be z(6). Suppose g + s = 2, 4*g - 16 = 4*d. Let i be (-4)/d*(-105)/(-42). Solve i*j - 5*j = -6 for j.
2
Let d(s) = -43*s + 357. Let o be d(8). Solve 4*j + o*j = -17 for j.
-1
Let m(k) = -k - 5. Let q be m(-8). Let f = -1 + q. Solve -f*s + 4*s = -10 for s.
-5
Suppose 9*r = 4*r + 10. Suppose -4 = -r*f + 6. Suppose 6*q - 4*p = 7*q - 15, 3*p = 4*q - 41. Solve -f*x + 6 = q for x.
-1
Suppose -x + 2*x = -k + 27, -3*k = 4*x - 103. Suppose 5*g = u + 35, -2*g + 0*u + x = -2*u. Let j be (1 - 10)*(-2)/g. Solve -2*w + 1 - j = 0 for w.
-1
Let o = -17 - -20. Let m be o/(-12) - (-147)/28. Solve 0 = -m*j - 10 - 5 for j.
-3
Suppose 0 = 4*w + 11 - 7. Let o be (-4 - (-6 + -3)) + w. Solve 0*v + 2*v = o for v.
2
Suppose 32*t + 85 = 49*t. Solve 4*b = t*b - 1 for b.
1
Let s = 62 + -62. Suppose s = -5*h + 4 + 11. Solve 5 = -h*t - 1 for t.
-2
Suppose 2*x + 5 = 11. Suppose -30 = -5*s + o + 4*o, -s = 2*o - x. Solve 0 = s*n - 4 - 1 for n.
1
Let q(t) = -t**2 + 4*t - 1. Let w be q(3). Let b(o) = -1 + 2 + 4*o - 1 + w*o**2. Let d be b(-3). Solve 4*f - 26 + d = 0 for f.
5
Let h(j) be the third derivative of -j**4/24 + 7*j**3/6 - 4*j**2. Let x(w) = -w + 1. Let g be x(-6). Let z be h(g). Solve -v + z = -5 for v.
5
Let m(v) = -2*v**2 - 1 - 6 + 3*v**2. Let g be (1 - 0)/1 + -5 - 1. Let d be m(g). Solve 0 = -3*r - 3 + d for r.
5
Let h(a) = a - 6. Let n be h(9). Let c(f) = f**3 - 2*f**2 - 4*f - 7. Let t be c(n). Let m be 5*(18/t)/(-3). Solve m*b = -b for b.
0
Suppose 0 = 6*s - 46 - 2. Suppose -5*a = s + 7. Let b be (a/(-2))/((-21)/(-70)). Solve -b*w - 20 = -0*w for w.
-4
Let t = -12 - -14. Suppose -t*h + h = -2. Suppose 2*i = m + 10, h*i + m + 2*m + 6 = 0. Solve -v = i*v + 8 for v.
-2
Let b = -30 + 24. Let l be 6*(-6)/(-8)*-2. Let m be (l/b)/((-9)/(-12)). Solve m = -s - 0 for s.
-2
Let s = 3 + 2. Suppose -2*v + 12 = 2*c, 4*c + 3*v - v - 24 = 0. Suppose 0 = -c*h + 26 - 2. Solve -s + 25 = h*n for n.
5
Suppose -26*g = -115 - 41. Solve 0 = -8*n + g*n + 2 for n.
1
Suppose 0 = -5*l + 38 + 2. Let o(g) = -2*g + 19. Let q be o(l). Solve -q*h - 3 = -0 for h.
-1
Suppose 3 - 9 = -3*n. Suppose -27 = -3*m - n*m - 3*q, -4*q + 22 = 2*m. Solve 2*g + 25 = -m*g for g.
-5
Let n(v) = -3*v**3 - 20*v**2 - 20*v + 20. Let w be n(-2). Let u(i) = -i**2 - 6*i. Let c be u(-6). Solve -w*a + 8 = -c for a.
2
Suppose 18*u - 16*u - 4 = 0. Suppose 5*z + c - 3 = 4*c, 0 = -4*z - 5*c - 5. Solve z = y - u + 1 for y.
1
Let t be (-5)/1*-1*1. Let s(o) = o + 0 + 0*o - t. Let w be s(8). Solve a - 12 = -w*a for a.
3
Suppose 281 = 5*d + 51. Solve 0 = -16*t + d + 18 for t.
4
Suppose 0 = 2*r + 4 - 14. Suppose k = -2*k - r*w - 6, 3*w + 6 = -k. Suppose 0 = -k*b + 5*p +