3*x = -4*i - 20. Let w be 9 - (3 - (-3 + 6 + 0)). Suppose x*s - w = -5. Solve 0 = 5*c + s + 24 for c.
-5
Let t be (4/5)/(46/115). Solve f - 4 = t*f for f.
-4
Suppose 26 = 2*o - 4*c, o = 2*o - 4*c - 23. Let r(d) = 25*d**3 - d + 1. Let i = -44 - -45. Let h be r(i). Solve -2*p = o*p - h for p.
5
Let o(s) = s**2 + 10*s + 20. Let w be o(-8). Suppose -w = -4*a - 4*n + 4, -5*a + n + 22 = 0. Solve 2*m = a*m for m.
0
Let q = 42 + -24. Suppose -q*p = -19*p + 11. Solve 5*z - p = -1 for z.
2
Let x be 0*(6/5 - (-21)/(-30)). Solve 15*b - 8*b + 21 = x for b.
-3
Suppose 0 = z - 8 + 6. Let x(u) = 12*u + 7. Let l be x(z). Let d = l - 30. Solve 0 = -2*s + d + 7 for s.
4
Let j = 12 + 5. Let o(w) = -w + 1. Let b be o(1). Suppose 2*m + 2 - 8 = b. Solve -m*v = -2 + j for v.
-5
Suppose -i - r = -3*i + 1, -i = -r - 3. Let n be 2 - (-6 + i)/4. Let u(p) = -p + 3. Let v be u(2). Solve -y + n + v = 0 for y.
5
Suppose -4*v - 42*c = -39*c - 81, -2*v + 2*c = -30. Solve 0 = -5*n + 38 - v for n.
4
Suppose 2*j = 4*j. Suppose j = 2*z - 6*z. Suppose -3*g + 20 - 11 = z. Solve -4*r = -g*r - 3 for r.
3
Let a(m) = 5*m**2 - 23*m - 3. Let g be a(5). Let x(i) = -i**3 + 8*i**2 - 11*i + 28. Let y be x(g). Solve y = -o - 0*o for o.
0
Let s(i) be the second derivative of i**3/3 - i**2 - i. Let c be s(2). Suppose -c*k + 8 = -2. Solve k*l = -1 - 9 for l.
-2
Let y(m) = 4*m**2 - 67*m + 418. Let p be y(7). Solve -p + 140 = -f for f.
5
Suppose -19*o - 26 + 140 = 0. Solve o = 4*f - 2 for f.
2
Let o = -13 + 15. Suppose 2*w + o = 0, -w - 7 = 2*p - 22. Solve 2*h - 4*h = p for h.
-4
Let g(b) = -7*b - 135. Let w be g(-20). Solve j = -0*j + w for j.
5
Let d(s) = s**3 + 10*s**2 - 9*s + 26. Let u be d(-11). Suppose -5*k - 2*j + 2 = 0, 5*j + 1 = -4*k + 6. Suppose -2*v + 4*v = k. Solve v = -2*q + 2 + u for q.
3
Let x(u) = 12*u - 12. Let a be x(3). Suppose -g - a = -28. Solve 4*p = g + 4 for p.
2
Suppose 6*w - 2*w = 12. Suppose 9 = w*k - 0. Suppose -16 = j - k*j. Solve j - 3 = u for u.
5
Let t be (1 - -6)*(-16)/(-16). Suppose 0 = t*i - 10*i + 6. Solve -4*h + i*h - 8 = 0 for h.
-4
Suppose 5*d - 5*c = d + 219, -2*d + 90 = 4*c. Suppose 4*s - s - d = 0. Let g = s - 17. Solve 2*x + x + 9 = g for x.
-3
Let u = -36 - -25. Let x = 13 - 26. Let t = u - x. Solve -2 = t*q + 2 for q.
-2
Let l be 2/3 - 40/(-12). Let s be l/18 + (-16)/72. Suppose -2*v + 3*k = -12, 2*k = 3*v - 2 - 16. Solve 3*i - v + 3 = s for i.
1
Let k(m) = m**3 - 8*m**2 - 2*m - 8. Let u be k(7). Let h = 75 + u. Solve 0*x = h*x for x.
0
Suppose j = -0 + 14. Suppose -j = -4*y + 3*t - 0*t, -5*t - 10 = 0. Solve 0 = -7*c + y*c - 10 for c.
-2
Let g = 1 - -4. Let x be g/25 - 9/(-5). Suppose 2*k = -4*b + x + 8, 5*k = -3*b - 3. Solve -b = 4*v + 4 for v.
-2
Let o be 7/(35/(-25)) - -10. Solve 0*h = o*h + 5 for h.
-1
Suppose 3*v = 5 + 10, -5*y + 2*v = 130. Let n be ((-12)/5)/(y/80). Suppose 0 = -9*l + n*l. Solve x + 2 = -l for x.
-2
Let r = 30 + -27. Suppose 4 = -r*d + 10. Solve -d*w + 7 = -1 for w.
4
Let v = -68 - -71. Let t = v - 0. Solve -6*n = -t*n for n.
0
Let o(h) = -8*h**2 + 1. Let i be (0 + -1)/((-7)/(-7)). Let p be o(i). Let g(w) = -w**3 - 8*w**2 - 6*w + 10. Let a be g(p). Solve -4*u + 1 = -a for u.
1
Suppose -3*y + 58 = 25. Solve 2*k - 9 = -y for k.
-1
Let i(n) = -10*n + 305. Let d be i(30). Solve -9*q = d*q + 14 for q.
-1
Let x(b) = -2*b**2 - 2 - 1 - 5 - 19*b + 2. Let v be x(-9). Solve -v*r - 4 = -16 for r.
4
Let w be 3 + (253/5 - (-33)/(-55)). Solve 50 = m + w for m.
-3
Let u(c) = -6 - c + 11 + 7. Let d be u(6). Suppose d*r - 3*r = 21. Solve -r*l = -2*l for l.
0
Suppose 6*m - 91 = -79. Let w = 1 + 1. Solve -m = -2*t + w for t.
2
Let b be -2*(-3 + 3 + -4). Suppose 2*s = -2*c + 8, -3*c - b = -3*s + s. Solve c = i - 3 + 2 for i.
1
Let x be (-146)/(-3) - (-4)/(-6). Suppose -3*t - 5*g = t + 9, 5*g + 13 = -3*t. Suppose 3*q - u - 20 = 0, -q = 3*q + t*u - x. Solve j = q - 3 for j.
5
Suppose 31*f = 24*f + 28. Solve -r + f = 1 for r.
3
Let w(u) = -2*u**2 + 5*u + 4. Let d = 12 + -8. Let o be w(d). Let f be (-6)/o - 3/(-12). Solve -s - f - 2 = 0 for s.
-3
Suppose -19*c = -30*c + 33. Solve 2*u = 3*u - c for u.
3
Suppose 5*j - j = 0. Let p(u) = 3*u - 11. Let f be p(5). Solve -4 = f*a - j for a.
-1
Let a be 2/(-3) - (-12)/(-9). Let j(x) = 4*x**2 + 6*x + 2. Let y be j(a). Solve -20 = o - y*o for o.
4
Suppose c = -4*b - 38, -4*c + b + 6 = 175. Let j be 4/22 + c/(-11). Solve 8*a = j*a for a.
0
Suppose -5*u - 5*n - 10 = 0, -4*u - n + 3*n = -16. Suppose -4*k + 2*j = -102, -j = -2 + 1. Let h = k + -21. Solve -t + u*t = h for t.
5
Let o be -3*(22/6 - 3). Let j(w) = -w**2 - 2*w + 1. Let b be j(2). Let a = o - b. Solve -z + 12 = -a*z for z.
-3
Let h(b) = 2*b**2 + 3*b - 7. Let q be h(3). Let j = -9 + q. Solve 3*i - j = -2 for i.
3
Let o be ((-5)/10)/((-1)/28). Suppose o + 1 = 3*w. Solve w = 4*u + 1 for u.
1
Let r(q) = q**3 - 10*q**2 + q + 10. Let z(u) = -2*u - 12. Let v be z(-10). Let t = v + 2. Let y be r(t). Solve 3*n - y = -n for n.
5
Let z = 2 - 2. Let s = -369 + 373. Solve z = -h + 2*h + s for h.
-4
Suppose -528 = 4*f + 2*n, 5*n + 254 + 396 = -5*f. Let l = f - -135. Solve l = 4*q - 3 for q.
1
Let g be (((-54)/(-4))/(-9))/((-1)/62). Let d = 96 - g. Solve d*h - 25 = -2*h for h.
5
Suppose -m - 18 = -5*k, -2*m + 27 = 4*k + 7. Suppose 8*h - 26 = -8*v + 3*h, 14 = 4*v + 3*h. Solve -k - v = -3*b for b.
2
Suppose -2*d - 5*n + 27 = 0, -5*n + 521 = -5*d + 536. Suppose o - 2*o = -2. Solve o*r = d*r - 12 for r.
3
Suppose 4 = l + 3*l, 3*m + 4*l - 28 = 0. Suppose 0 = -4*w - y - 2*y + 2, -2*w = -2*y - m. Solve 0 = w*z - 6 + 2 for z.
2
Let s(v) = -7*v - 24. Let i be s(-7). Suppose -5*t = 99 + 16. Let l = i + t. Solve 0 = l*m + m + 3 for m.
-1
Suppose -2*z - 6*z + 8 = 0. Let g be 4 + 3*(-2 + z). Solve 4*t - g = 3 for t.
1
Let m(u) = u**2 - 8*u + 14. Let p be m(6). Solve p*b = 5*b - 15 for b.
5
Suppose -z - 85 = -6*z. Let y be ((-17)/(-2))/((-1)/(-2)). Let k = y - z. Solve -x + k = -1 for x.
1
Let i(a) = -3*a**2 - 3*a + 6. Let j(k) = 7*k**2 + 5*k - 13. Let p(v) = -5*i(v) - 2*j(v). Let h be p(-6). Solve l - h = 3*l for l.
-1
Suppose 2*c + 2 = -2*j, -3*j - 5*c = -8*j - 45. Let x = -3 - j. Let d = -4 - -10. Solve 0 = x*p - d*p for p.
0
Suppose 7*o - 137 + 116 = 0. Solve -o*q - 10 = 5 for q.
-5
Let f = 14 - 18. Let j be (2 - (-10)/f)*0. Let b be (-3 - -2) + 1 + j. Solve b*y - y - 3 = 0 for y.
-3
Let s be -6 + 0 + -15 + 82 + 5. Solve 72*r = s*r for r.
0
Let k(d) = -d**3 + 5*d**2 - d - 6. Let t(s) = -s**3 + s**2 - 4*s + 4. Let h be t(0). Let i be k(h). Solve 0 - i = 2*l for l.
-3
Suppose -8*l + 2 = -6*l. Suppose -l = i - 5*w, 2*i = w + 8 - 1. Solve -19 = i*m + 1 for m.
-5
Suppose 0 = -5*m - 8 + 28. Suppose 0 = -4*l + 5 - 1, -2 = -5*k - 2*l. Suppose -2*r + 9 + 11 = k. Solve -6 = -m*z + r for z.
4
Let c(z) = 10*z - 15. Suppose -2*k + 5*m = -11, -4*k - 5*m + 4 = -k. Let p be c(k). Solve 0*r - 3*r - p = 0 for r.
-5
Let d = 36 + -34. Suppose -i = z, -z = -0*i - d*i. Suppose 5*k - 10 = -z*k. Solve -3 = -5*u + k for u.
1
Let l be 6/(-9) - (-16)/6. Let w(d) = 8*d - 12. Let f be w(4). Suppose -l*b + 2 = -f. Solve -1 = -4*i + b for i.
3
Suppose -4*d + 0 - 2 = u, 2*u = 2*d + 6. Let t = 4 + -2. Solve h = t + u for h.
4
Let g be ((-18)/4)/((-15)/10). Suppose -5*p - g*d = -29, -3*p + 5 = -2*d - 1. Solve -s + p = 8 for s.
-4
Suppose 3*w + 1 = 4*r - 3*r, w = r - 3. Let q be (15/10)/(w/2). Solve 9 = -3*h - q for h.
-4
Let p(k) = 4*k**2 - 11*k - 11. Let s be p(-1). Solve 0 + s = 4*j for j.
1
Suppose 3*n + w - 88 = 0, 104 - 4 = 3*n - 5*w. Let g = 34 - n. Let f be 5/10*g - -1. Solve 0*v = f*v + 9 for v.
-3
Let v = -89 + 97. Let q be 3*-6*v/36 - -8. Solve -3*z + q = -11 for z.
5
Suppose 3*t + 185 = m, -3*t + m + 4*m = 193. Let f = t - -24. Let w = f - -39. Solve -w = -x - 4 for x.
-2
Let m(k) = 9*k - 15. Let c(v) = 17*v - 29. Let w(u) = 4*c(u) - 7*m(u). Let x be w(12). Suppose -21 - x = -5*j. Solve j + 1 = 5*h for h.
3
Let g(l) = l**2 - 3*l - 12. Let n be g(5). Let y be n/(-8)*(8 + 12). Solve 8 = y*x - x for x.
2
Let q(w) = -38*w**2 - w + 2. Let m be q(1). Let a = m - -37. Solve 0 = -a*d + 2*d - 4 for d.
2
Let f(o) = -o + 23. Let a(t) = t**2 - 9*t - 14. Let s be a(11). Let z be f(s). Suppose 4*x + x - 5*h = -5, -5*x = 5*h - z. Solve 0 = y + 5 - x for y.
-4
Let y(l) = 3*l - 17. Let t be y(5). Let h(w) = w**3 + 4*w