Let l = 23 - 19. Suppose 3*f - l*f = -1. Let w = f - -4. Solve 4 = a - w*a for a.
-1
Let n(x) = -x**3 - 2*x**2 + 3*x + 2. Let i be n(-3). Solve i*b - 8 = -2 for b.
3
Let b(j) = -85*j - 675. Let d be b(-8). Solve -6*w - 35 = -d for w.
-5
Suppose 5*d - 2*n - 25 = 0, -8 = d - 4*n - 31. Let r be (-5 - -4)*d + 11. Solve -k + r = k for k.
4
Suppose 16 = d + 3. Suppose -n - g + 1 = 0, 3*g = 3*n + g - d. Suppose 5*l = n*r - 5*r - 10, -16 = 4*l. Solve r*f = -6 - 4 for f.
-2
Suppose -2*s + 6 + 34 = 0. Suppose w - 5*w = -s, 0 = -5*h - 4*w + 30. Solve h*j = -2*j + 12 for j.
3
Suppose 5*h - 24 = -h. Let z be 2 + -4 - (2 - h). Solve z = i - 2 for i.
2
Let f = 1166 - 1145. Solve f - 25 = -2*d for d.
2
Let p be ((-8)/(-12))/(2/(-3) - 0). Let r be (0 - 1)*(-2 - p)*0. Solve r + 3 = -x for x.
-3
Let l be (-12)/24 - (-55)/10. Solve 0 = -f + 2*f + l for f.
-5
Let w(u) = -u**3 - 39*u**2 - u - 21. Let c be w(-39). Solve 21*r - c*r + 3 = 0 for r.
-1
Let d(a) = 2*a**3 + 8*a**2 + 4*a - 3. Let z be d(-3). Solve z = 2*o - 1 for o.
2
Let l(g) = g**3 + 8*g**2 + 7*g + 5. Let c(q) = -3*q - 1. Let s be c(2). Let u be l(s). Solve 3*v = u*v for v.
0
Let k = -13 - -5. Let s = k - -23. Suppose 5*b = -4*p + 37, 8 = b + p - 0*p. Solve 2*g = b*g - s for g.
5
Suppose 0 = -36*o + 25*o + 99. Solve -15 = -2*a - o for a.
3
Let d(c) = 238*c + 1431. Let b be d(-6). Solve -8*i = 19 - b for i.
-2
Let j be (-3)/((-84)/64) - 12/42. Solve -2*y + y = -j for y.
2
Let j = 221 - 323. Let w = j - -105. Solve -7*y - 12 = -w*y for y.
-3
Suppose 2*s = -1614 + 1636. Solve s*a - 1 = 21 for a.
2
Let o be (-1 - -2 - 3) + 1. Let j = -45 - -46. Let y be (3 + j)*o/(-2). Solve 0 = -7*r + y*r for r.
0
Suppose -4*n - 4*r + 28 = 0, -2*n + 8 + 8 = 4*r. Solve -21 = n*f - 15 for f.
-1
Let s(k) = k**2 - k - 2. Let l be s(-2). Let c(j) = j**2 - 10*j + 5. Let f be c(10). Solve f*y - 1 = l for y.
1
Suppose -4*m + 16 + 12 = -3*j, 12 = 2*m - j. Suppose 0 = 5*h - 6*h + 25. Solve -9*r + h = -m*r for r.
5
Let a = -315 + 321. Solve 0 = c - a + 4 for c.
2
Let y be 4*(-65)/(-10) + -3 + -4. Solve 19*q + y = 57 for q.
2
Let z = 100 + -96. Suppose z*k = 4*s - 4, -2*k - 12 = -5*s - 4*k. Solve -s - 13 = -5*v for v.
3
Let y = -1105 - -1105. Solve w + w - 10 = y for w.
5
Suppose -k - 3*j = 25 - 7, 5*k - 4*j + 128 = 0. Let f(w) = -w**2 - w + 4. Let m be f(-5). Let l be (k/m)/(1/6). Solve 3*r + l + 6 = 0 for r.
-5
Let z(y) = -4*y + 7. Let t be z(2). Let g be (-2)/(5/(45/(-6))). Let h be g/18 + t/6. Solve h = 5*l - l - 20 for l.
5
Suppose 3*q + 12 = 4*n, 0 = 4*n + 4*q - 2*q + 8. Suppose 0 = -228*t + 233*t - 15. Solve n*u = -u + t for u.
3
Let w = 605 + -603. Solve 0 = v - w - 1 for v.
3
Let m = -12 + 17. Suppose m*z = 18 + 2. Suppose -26 = -z*j + 10. Solve -3*y = -0 + j for y.
-3
Suppose 0 = 66*j - 6*j - 480. Solve 20 = 14*d - j for d.
2
Let z be 1 + -6*2/(-4). Suppose 8 = 4*h + u - 50, 0 = 4*h - u - 62. Solve -h = z*f + f for f.
-3
Let r be (3 - 9/5)*5. Let h = 21 + -66. Let c be ((-8)/(-3))/((-30)/h). Solve r = -c*v + v for v.
-2
Suppose -22*x = -19*x. Solve x*i = i - 1 for i.
1
Let a = -1082 + 1114. Solve 0 = 5*q - 13*q - a for q.
-4
Suppose 0 = -5*y - y. Suppose -4*s + 6*s = y. Solve s = -2*h + 6 - 0 for h.
3
Let q(s) = 5*s**2 + s - 11. Let j be q(-5). Let i = j + -89. Solve 6*d = d + i for d.
4
Suppose 5*n - 2*h = -3, 5*h + 1 + 1 = 3*n. Let c be (4/(-10)*n)/(4/20). Solve 0 = c*b + b - 3 for b.
1
Let o be (-55)/(-25) + (-133)/(-35) + -4. Solve o*x - 10 = 7*x for x.
-2
Suppose -26*q = 4*q - 270. Solve 0 = 5*u + q - 4 for u.
-1
Let o be 3 + (0 - (-5 + 5)). Suppose 4*f + o*r = -r + 32, -3*r + 12 = 0. Solve f*a - 3*a = 0 for a.
0
Let u be ((0/(-5))/(-5))/(-1). Solve u = -3*y - y + 4 for y.
1
Let m = 1120 - 1105. Solve -35 = -8*d + m*d for d.
-5
Let r = -21 + 29. Suppose 0 = -94*x + 93*x + 5. Let k = r - x. Solve 0 = 2*w + k*w - 5 for w.
1
Let d(u) = -u**2 - 4*u + 12. Suppose -4*z + a + 17 = 0, 4*z + 2*a = 3 + 11. Suppose 5*j - z*j + 6 = 0. Let s be d(j). Solve s*v = -3*v - 12 for v.
-4
Let t be ((-2)/9)/(18/(-2349)). Solve -7*w + 1 - t = 0 for w.
-4
Let p be (-1)/(48/(-45) + 1). Let x = p - 11. Suppose -2 = -2*n + x. Solve g = 2*g - n for g.
3
Let v(z) = -3*z + 7. Let n be v(1). Solve n*i + 5 = -11 for i.
-4
Suppose -q + 5*a - 13 = 0, -3*q - 13 = -a - a. Let u be (-8)/24 + (-10)/q. Suppose u*h = -2*h. Solve k - 6*k + 10 = h for k.
2
Suppose 0 = 5*s + 2*i - 2, 4 = -5*s - 4*i - 2. Suppose -y = g - 1, -8*g = -s*y - 11*g + 3. Solve y = -2*v + 4 - 2 for v.
1
Suppose 3*t + 7 = 2*r - 11, 5*r + 5*t = -5. Suppose 43 + 7 = -5*g. Let j be g*r/2*-1. Solve j = c + 2*c for c.
5
Let m = -212 + 215. Solve m*g + 1 = -14 for g.
-5
Let l = 1 - -1. Let d(b) = 2*b**2 - 4. Let w be d(l). Solve -2*o - w + 6 = 0 for o.
1
Let x = 26 + -8. Suppose -4*b - 5*b + x = 0. Solve -b = 5*c + 8 for c.
-2
Let x be (1 - 7/4)*12. Let s = 2 - x. Suppose 5 + s = 4*p. Solve -h - p = 1 for h.
-5
Suppose 9*b = 4*c + 13*b - 12, 0 = 5*b + 25. Solve c*y - 3*y - 25 = 0 for y.
5
Suppose -3*a = -0 - 12. Suppose a*y + y - 30 = 0. Let n(i) = -i**3 + 2*i**2 + 3*i + 3. Let w be n(3). Solve -6 = -w*k + y for k.
4
Let h be 1*(4 - 0)/1 + 1. Solve 4 = -3*r - h for r.
-3
Let w(a) = 14*a**3 + 4*a**2 - 5*a + 3. Let z be w(2). Solve -z*p + 12 = -118*p for p.
4
Let o(m) = -10*m**2 + 3*m + 4. Let i be o(-2). Let z = i - -45. Solve -z*l - 2*l = 20 for l.
-4
Suppose 18*u + 0*u = 180. Solve -5*q + 20 = -u*q for q.
-4
Let r = 843 + -852. Let l(n) = 8*n**2 + 4 + n**3 - 8*n - 5 + 13. Let m be l(r). Solve -2*k - 5 + m = 0 for k.
-1
Let v(s) = -s**3 - 4*s**2 - 2*s + 3. Let k be v(-3). Solve k = 2*d + 3 + 1 for d.
-2
Let m(k) = k**2 - 6*k. Let o be m(6). Suppose o = -3*h - l + 21, -l = -h + 1 + 2. Solve h*r = 11*r for r.
0
Let b = 11 - 6. Solve 0 - b = -t for t.
5
Suppose n - 28 = -4*k, 3*k - 6*k + 72 = 5*n. Solve -a + n = 2*a for a.
4
Suppose 5*h - 2*h + 5*u - 415 = 0, 4 = -4*u. Let s = -138 + h. Solve -s*i - 15 = -7 for i.
-4
Suppose 32 = 2*h - 2*s + 16, -5*s = 2*h + 19. Solve -2*j = j + h for j.
-1
Let o(a) = -a. Let m(p) = -8*p - 16. Let w(i) = m(i) - 5*o(i). Let z be w(-6). Solve z*t = -t - 12 for t.
-4
Let o = -747 + 752. Let d(t) = -t**2 - 5*t - 2. Let n be d(-3). Solve 0 = -n*m + o*m - 4 for m.
4
Suppose -2*p = 18 + 20. Let s = p - -25. Suppose 39 = s*b - 45. Solve 2 = 4*o + b for o.
-3
Suppose -18*y = -43*y. Solve -338*r + 333*r + 10 = y for r.
2
Let b = -196 + 202. Solve b*r - r + 25 = 0 for r.
-5
Suppose -40 = -5*t + 2*t - c, 72 = 5*t + 3*c. Let n(b) = -b**2 + 15*b - 29. Let u be n(t). Solve 4*x + u = 3 for x.
-1
Suppose -4*x + 17 = -t, -3*x + 3*t = 8 - 14. Let d = -2 + 12. Suppose 5 = 17*v - 16*v. Solve x*g = d + v for g.
3
Let g(t) = -t**3 + 7*t**2 - 4*t - 8. Let k be g(6). Suppose 9 = -k*b + 25. Solve -b*x = x + 5 for x.
-1
Let h = -2304 + 2310. Solve n + 10 = h*n for n.
2
Suppose 0 = 2*j - 3*c + 18 + 41, 2*j + 65 = c. Let i be (j/(-17))/(1/3). Solve -19 - i = 5*m for m.
-5
Suppose 3*i - 179*d - 15 = -176*d, 5*i + 2*d - 60 = 0. Solve -17 - i = -9*c for c.
3
Suppose 12 = -3*o, -4*o + o + 438 = 3*u. Let y = u + -147. Solve -y*k - 19 + 4 = 0 for k.
-5
Let x(n) = n**3 + 6*n**2 - 20*n - 17. Let u be x(-8). Suppose k - f = -0*k + 6, 0 = -4*k - 5*f + u. Solve -k*z = 7 + 3 for z.
-2
Let a be (-2)/2 + 4/(24/138). Suppose 16*d - a*d + 24 = 0. Solve 3*r - d = 5*r for r.
-2
Let q = 59 - 40. Let p = -19 + q. Suppose -4 = 3*v + 2*w - 0, 0 = 5*v - 2*w - 20. Solve p = 3*y - v*y for y.
0
Let k = -4 + 4. Suppose k = 2*a + 2*a - 2*p - 28, -2*a = 5*p + 10. Solve 2*h = -3*h - a for h.
-1
Let s = -2 + 8. Suppose 0 = -0*f - s*f. Suppose -4*m + t + f*t = 0, -m - t = 0. Solve m*z - z = 0 for z.
0
Let n = 405 - 402. Solve -9*o - n = -8*o for o.
-3
Let g be 1/5 + (-945)/(-25). Let v = g + -23. Let h = 0 - -4. Solve h*n = n - v for n.
-5
Let r(c) = c**3 - 6*c**2 + 7*c - 6. Let w = -16 + 21. Let z be r(w). Suppose z*a = -6 + 22. Solve 0 = -a*g - 4 - 0 for g.
-1
Suppose 4*f + 51 = 147. Let h(y) = -8*y - 16. Let x be h(-7). Let p be 1/3 + x/f. Solve p*n - 5 + 3 = 0 for n.
1
Suppose -3*v - 12 = -4*l + 5*l, 4*v + 16 = -l. Suppose l = 4*a - a + a. Solve 4*r + 3 + 5 = a for r.
-2
Let l = -2763 - -2771. Solve -l*j + 16 - 8 = 0 for j.
1
Let h(v) = -v**2 - 9*v - 8. Suppose -8*c + 6*c = 16. Let a be h(c). Solve a = 2*r - 2 + 4 