3*j - 0, -14 = -c + 2*j. Solve 5*o + c = -11 for o.
-3
Let l = -1819 + 1819. Solve -1 = g - l for g.
-1
Let a be ((-16)/12)/(3 - 55/15). Solve -20 = -a*w + 6*w for w.
-5
Let s = 17 + -11. Let m(x) = 18*x - s*x - 74 - x**3 + 10*x**2 + 73. Let c be m(11). Solve -5*q = -0*q + c for q.
-2
Suppose -14 + 28 = 7*y. Solve y*h = -3*h for h.
0
Suppose 1 = -3*j + 10. Suppose -j*k + k = -4. Suppose 5*w - 50 = -5*f, -k*f = -5*w + w + 40. Solve w = 3*b - 8*b for b.
-2
Let j = -20 + 22. Let k be 4 - (j + -3 + 0). Suppose 0 = k*u + 5*v, -3*u + v = -11 - 5. Solve -u - 5 = 3*l for l.
-3
Let i(t) = 0*t**2 + 6*t**2 + 0*t**2 + t**2. Let k be i(-1). Suppose -5*v + 16 = -3*a, 4*v + 6*a = 8*a + 12. Solve -k*c + v*c = 20 for c.
-4
Let m = 121 - 120. Solve -h + m = -0 for h.
1
Let s(n) = -n**3 - 7*n**2 - 3*n + 8. Let f be s(-4). Let c = 32 + f. Suppose 0*t - c*t + 12 = 0. Solve 0 = -t*r + 1 + 2 for r.
1
Let g(o) = -o**3 - o**2 + 3*o - 4. Let n be g(-3). Suppose 1 - n = -c. Suppose 0 = -4*f + c*z + 11 + 13, -2*f = z. Solve 0 = -2*y + 12 - f for y.
5
Let n(i) = 41*i + 40. Let c be n(4). Let m be (-2)/(5 + c/(-40)). Solve 9*v - 14*v = -m for v.
4
Let h = 17 - -9. Let w = 34 - h. Solve -2*d - w = -0 for d.
-4
Let r(n) = 398*n - 3980. Let w be r(10). Suppose 2 = 3*f - f. Solve w = 2*j + 1 + f for j.
-1
Let o = 96 - 89. Solve -4*n = -o*n - 6 for n.
-2
Let z be 3 - (62/(-14) + (-12)/(-28)). Solve 13*b = z - 33 for b.
-2
Let b be 178/(-11) + 14/77. Let q = 11 + b. Let u = q + 12. Solve 4 = t + u for t.
-3
Let h(m) = m**3 - 6*m**2 + 3*m - 2. Let l be h(6). Suppose 2*k - l + 6 = 0. Solve -1 = k*u + 9 for u.
-2
Let i = 52 - 52. Suppose -2*r + 0*r = i. Solve v = -r*v for v.
0
Let k = 137 + -131. Solve 0 = k*l - l + 25 for l.
-5
Let j(v) = -6*v - 20. Let u be j(-4). Suppose p - 3*d - 12 = -2*p, 0 = 3*d - 12. Suppose 0 = p*s - 3*s. Solve s = -5*y + u*y for y.
0
Suppose w + 33 = 2*n, 2*n - 18 - 21 = 3*w. Solve -n = -10*g + 7*g for g.
5
Let f(u) = u**2 - 10*u + 31. Let p be f(7). Suppose -6 = -4*a + 6, -l + 4*a - p = 0. Solve -c = c + l for c.
-1
Suppose 0 = -0*i + 3*i + 12, -q - 3*i = -60. Let a be (-1)/(-5) + q/40. Solve 1 = -a*g + g for g.
-1
Let v be -10 + 336/30 + (-2)/10. Solve 8*t + 25 = v for t.
-3
Let v be (-425)/(-170)*(-7)/(35/(-18)). Let a(q) = -q**2 + 1. Let p be a(1). Solve p = w + 2*w - v for w.
3
Suppose -3*t + 0*t = -15. Let y(r) = -2*r - 3*r - 16 + r + 17. Let w be y(-1). Solve 10 = w*g - t for g.
3
Let z(u) = u**2 - 11*u + 7. Let y(n) = 3*n**2 - 32*n + 20. Let l(p) = -4*y(p) + 11*z(p). Let r be l(6). Solve r*k + 4 = -8 for k.
-4
Let m = -58 + 34. Let a be (-60)/m - 1/(-2). Suppose k + 7*z - 3*z = 21, 0 = 2*k - z + 3. Solve -g + k = a for g.
-2
Suppose 0 = 11*m + 133 - 210. Solve -21 = -0*d - m*d for d.
3
Let k = 22 - 19. Suppose r + k = 2*c - 8, -3*c + 29 = -4*r. Suppose -c*m = -17 + 2. Solve -15 = 2*o - m for o.
-5
Suppose 6*w - 9*w = -45. Suppose 45 - w = 6*b. Solve -b*c = 16 - 1 for c.
-3
Suppose 1 = -2*n + 7. Suppose -5*j + 31 = 6. Suppose -5*r + n = -j*a - 47, 3*a = 5*r - 42. Solve 3*b = -3 - r for b.
-3
Let p = -57 - -85. Solve 26*o = p*o - 10 for o.
5
Let r = 1101 + -1078. Solve 2*z = 31 - r for z.
4
Let y be (-14 - -16)/((-2)/(-3)). Suppose -3*k = -0*c + 2*c - 6, 0 = -c + k + y. Solve c = -2*u + u for u.
-3
Let s = 16 + -15. Let m = 10 - s. Solve -5*k = -2*k + m for k.
-3
Let i = -1285 - -1300. Solve -i*x + 8 + 37 = 0 for x.
3
Let z = -12 + 12. Suppose -3*k + 0*k + 6 = z. Suppose 4 - k = x. Solve 2*s = -0 + x for s.
1
Let z = 48 + -45. Suppose 18 = 2*w - z*c + 7*c, 3*w + 3*c - 18 = 0. Solve w*r - 4*r = -2 for r.
2
Let p be 272/28 - (-4)/14. Suppose -2*a + p = 2*d, 0 = -4*a + 7*a - 3. Solve 0*c = d*c for c.
0
Suppose -7*p = -2*p - 25. Suppose -p*r - 340 = -10*r. Let x = -41 + r. Solve -x + 2 = -5*c for c.
5
Let z = -8 + 2. Let i be (-32)/z - 3/9. Suppose 67*b - 462 = 45*b. Solve -4*l + b = i for l.
4
Let x(d) = -2*d**2 + 56*d - 182. Let s be x(24). Suppose 18 = 3*t + 3*n, 5*t - 2*n - 2*n - 30 = 0. Solve p - t*p = -s for p.
2
Suppose 0 = -9*h + 14*h - 15. Suppose -2*r = 4*v - 1 - 15, 2*v - 4 = 0. Suppose i = 8 + r. Solve i = a + h*a for a.
3
Let f = -38 + 22. Let a be 20 + f - 3*1. Suppose -4*d + 19 = -a. Solve -d*j + 4 = -6 for j.
2
Suppose 0 = -6*b + 13*b. Solve 7*z + 2*z - 5*z = b for z.
0
Suppose 0 = 4*l - r - 7, 2*l + 5*r - 2*r - 7 = 0. Suppose -l*k = k - 300. Let b be (-14)/(-91) - k/(-26). Solve 2 = -b*v - 18 for v.
-5
Suppose 2*k = -4*s + 4, -2*k + 3*k - 5*s = 2. Let c(p) = 13*p - 10. Let i(g) = 20*g - 15. Let h(t) = 8*c(t) - 5*i(t). Let y be h(5). Solve y = -k*f - f for f.
-5
Let c be (-1 - 15/(-6))/((-81)/(-270)). Suppose 0 = -5*o + 3*j - 13, -3*o - 2 = 2*j + 2. Let x be 2/(-3 - o)*-2. Solve x*b - c = 3*b for b.
5
Let n(f) = -2*f + 10. Let g(r) = r**3 - 7*r**2 - 7*r - 4. Let v be g(8). Let z be n(v). Suppose z*h = -0*h + 14. Solve -5*w + 18 + h = 0 for w.
5
Suppose 2*n = 3*n - 1. Suppose 5*p = 4*i + 28, 5*p - 2*i - 12 = 3*p. Suppose 3*b - 5*m = -b - 12, -5*b = p*m - 26. Solve -1 = b*u + n for u.
-1
Suppose -667*n - 21 = -670*n. Solve 18*g - 11 - n = 0 for g.
1
Suppose -20*s + 16*s + 180 = 0. Let v be (-3)/(-4) - s/(-4). Suppose -3*q + 0 = -v. Solve 0 = q*u - 19 - 1 for u.
5
Suppose -t + 10 = 3*j, -5*t - 50 = -0*j - 5*j. Suppose -2 + j = z. Solve -l + z = 4 for l.
-1
Let c(f) = f**2 - 3*f - 13. Let s be c(6). Suppose 0 = 4*u + 5*v, -s*u + 2*v - 3*v + 21 = 0. Solve 16 = u*t + 1 for t.
3
Let p = 14 - 11. Solve -3*d - p = -12 for d.
3
Suppose -22 + 19 = -y. Suppose 3*p - d - 23 = 6, -2*p = -3*d - 31. Let x(h) = h - 6. Let v be x(p). Solve 0 = -y*q - v*q for q.
0
Suppose 8*l + 153 = 17*l. Suppose -7*s + l + 18 = 0. Suppose -16 - 9 = -m - 4*u, 5*m - 2*u = 15. Solve 25 = -s*o + m for o.
-4
Let a(p) = -p**3 + p**2 - 2*p - 3. Let f = -19 - -17. Let l be a(f). Suppose -3*m + 9 = 0, 2*m - 5*m = 2*x - l. Solve -3*w - 2 = -x*w for w.
-2
Suppose 4*u - 29 = -3*x, 5*x = -3*u + 48 - 18. Let l be -6 + 2 - -2 - -17. Suppose -3*p - 10 = -p, p = u*f - l. Solve 3*g + f*g = 20 for g.
4
Suppose 3*l + 5*b = 4 + 30, 2*b - 4 = 0. Solve 26 = 17*q - l for q.
2
Let n(v) = 2*v - 6*v + 3*v + 10 + 2*v. Let t be n(-7). Suppose -t*y + 4 = -y. Solve 0 = r - 0 - y for r.
2
Let w(r) = 26*r + 849. Let n be w(-32). Solve 11*i - n*i = 30 for i.
-5
Suppose -15*m = 114 - 384. Solve 5*n = m - 23 for n.
-1
Suppose 5*r = -0*r + 2*r. Solve 20 = 4*f - r for f.
5
Let y be (-4)/(0 - (-2 + 3)). Suppose 0 = 3*d + 17 - 11, -4*d = 5*s + 88. Let q = y - s. Solve -8*j + q = -4*j for j.
5
Let k(g) = 2*g + 8. Let p be k(-4). Suppose p = n - 5*w, 0 = -6*n + 3*n + w. Let u = 10 - 7. Solve n = -r - u*r for r.
0
Let s = 5 + -1. Let o(x) = -4*x - 22. Let g be 4/1*(-140)/80. Let r be o(g). Solve -s*i = -i - r for i.
2
Let z(s) = -2*s - 1. Let t be z(-2). Let w = 292 - 289. Solve -t - 6 = -w*a for a.
3
Let m be 56/(-4) + (3 - 2). Let b = m - -25. Let t be (-3)/6 + (-18)/(-4). Solve k = t*k + b for k.
-4
Let d be 6/15 - 690/(-25). Suppose -m = 6*m - d. Solve -m*r + 15 = r for r.
3
Let d be 51 + -45 - -1*(-2 + 0). Suppose -4*g = 3*h - 8, -2*g + h = 3*h - d. Solve g*n + 3 = -n for n.
-1
Suppose -f = 2 - 8. Suppose -5*c = 35 - 130. Suppose -14*k = -c*k + 125. Solve x + k = f*x for x.
5
Suppose r - 4*r - 15 = 0. Let k = 3 - 8. Let g = k - r. Solve -3*v = -g*v for v.
0
Suppose -o - 4*x = -4*o - 168, 165 = -3*o + 5*x. Let i = -58 - o. Solve -3*t - i = 1 for t.
-1
Let t = -18 + 24. Suppose 2*f + 0 + 6 = -2*n, 3*n = 5*f + 15. Solve 2*v + t = -n*v for v.
-3
Let d = 3 - 3. Let t = d + 2. Let i = 23 - 18. Solve -t*p = -1 + i for p.
-2
Let g(v) = v**3 - 5*v**2 + 5*v + 2. Let i be g(4). Suppose -2 = p, 0 = 5*q - 4*p + 4 - 37. Solve -q*j + i = -4 for j.
2
Let j(q) = q**2 - 12*q + 13. Let r be j(9). Let c = r - -29. Solve 6*s - s = c for s.
3
Let m be 4*(6 - (5 + 0)). Let n(l) = -21*l - 1. Let q be n(-1). Suppose -q = -5*u - 5. Solve -t = u - m for t.
1
Let k = -8 - -12. Suppose 0 = l - 3, 0*l = -3*r + k*l - 12. Solve 9*i - 6*i - 15 = r for i.
5
Suppose 0 = -k - 0*k + 3. Solve -5 + 20 = -k*f for f.
-5
Let f(n) = n**2 - n. Let m(i) = -2*i**3 + 2*i + 1. Let k(z) = f(z) + m(z). Let y be k(-1). Let t(h) = 2*h**3 + h**2. Let o be t(1). Solve y*p = -0*p - o for p.
-1
Suppose -q - 5*v = -13, 4*q - 5*v = -10*v + 52. Let s(g) = 2*g -