 - 28, -4*u + 28 = -3*t. Suppose l = 5*h - 22, l = u*h - 2*h - 7. Solve -2*z + 5 - l = 0 for z.
1
Let c(x) = 14*x**2. Let y be c(-1). Suppose 5*a + 5*d + 15 = 0, 5 + y = 2*a - 3*d. Solve -4*l = -2*l - a for l.
1
Let n be 3/(-2)*2/3. Let b(q) = -2*q**3 + 2*q**2 + q. Let r be b(n). Solve 3*v = -12 - r for v.
-5
Let i(q) = q - 2. Let d be i(6). Suppose 4*s = -0*o - 3*o + 4, 4*s - d = 4*o. Suppose -s + 17 = 2*t. Solve 7 = -5*v - t for v.
-3
Let a = -9 - -14. Suppose -a*f + 13 = -2. Suppose 3*n = 1 + 17. Solve n - f = g for g.
3
Suppose -d + 3*d = 4. Solve 0 = 4*m - 6 + d for m.
1
Let m(g) = -2*g**2 + 2*g - 5*g**3 + 6*g**3 - g**2. Let f be m(2). Solve b = -f*b - 4 for b.
-4
Let c(r) = r**3 + 6*r**2 + 5*r - 3. Let p be c(-5). Let i be p/5 - (-159)/15. Let g = -1 + 6. Solve -g*z - i = 15 for z.
-5
Let z be -1*2*(-1)/1. Suppose b - z = 2. Suppose 2*u + 6 = j + u, 3*u = -b*j + 10. Solve -j*k + 9*k = -5 for k.
-1
Suppose -d - d = 0. Suppose 6 + d = 3*w. Solve -14 = 4*v - w for v.
-3
Let c = 3 + 10. Let f = c + -9. Solve 2*p = p - f for p.
-4
Suppose -15*n + 11*n = -12. Solve n*k - k = -8 for k.
-4
Let q(s) = 4*s**2 - 3*s - 1. Let f be q(-1). Solve g = f*g - 20 for g.
4
Let o = 0 + 4. Let a be 5*-6*(-3)/30. Let t be (-22)/(-3) - a/9. Solve -d - t = -o for d.
-3
Let t = 9 + -5. Solve t*b - 6 = 6 for b.
3
Let w = -5 - -9. Suppose -4*u = 4*b, -w*b = -3*u + u. Solve u = -2*q + 6 - 2 for q.
2
Suppose 2*l = -0*i - i + 1, 0 = 4*i - 4*l - 4. Solve -i = -n - 3 for n.
-2
Let f(t) = t**2 - 7*t. Let k be 0/((-2)/1) + 4. Suppose l = 4*m + k*l - 22, 4*l - 6 = -2*m. Let z be f(m). Solve z = 5*n - n - 8 for n.
2
Let k = 6 + -5. Suppose -3*h + 2*z - 5 + k = 0, -3*z + 23 = 4*h. Solve -4*u + 10 = -h*u for u.
5
Suppose -3*d + 0*d - 30 = 0. Let y = 10 + d. Suppose i - 2 + y = 0. Solve -3*a - 4 = i for a.
-2
Let c(m) = -m**3 + 7*m**2 - m - 8. Let k be c(6). Solve 5*w = k + 3 for w.
5
Let l be 8/(-18)*(-27)/6. Solve -s + 3 = l for s.
1
Let m be -4*(2 + -3)*1. Solve -5 = m*y - 1 for y.
-1
Let h(u) = 3*u. Let n be h(-3). Let b = -2 - n. Let f = 6 - 3. Solve f*w - 20 = b*w for w.
-5
Let x(s) be the third derivative of s**4/24 - s**3 - 2*s**2. Let m be x(6). Solve -3*a + m + 3 = 0 for a.
1
Let h = 3 + -1. Suppose -5*z + 4*z + h = 0. Solve -z = -a - a for a.
1
Suppose -3*a - 16 + 4 = 0. Let t be a/18 + 152/36. Solve 0 = -5*v + t + 16 for v.
4
Let b(h) = h**2 - 6*h - 6. Let s = 44 - 25. Suppose -4 = -a, 12 = 5*k - a - s. Let c be b(k). Solve 5*z - c = 4*z for z.
1
Suppose 0 = -4*c + 34 - 18. Solve c*d + 30 = 10 for d.
-5
Let p(u) be the second derivative of -u**3/6 + u**2 - u. Let x be p(0). Let l be (-74)/(-14) - 4/14. Solve -x - 3 = l*k for k.
-1
Suppose 2*v + 4 = 3*v. Suppose 0 = 5*j + v*k - 6, -4*j + 3*k + 5 = -3*j. Solve -3*f - j*f = -10 for f.
2
Let h(b) = 2*b - 15. Let x be h(8). Solve -1 = 2*y + x for y.
-1
Let y(o) = -5*o - 13. Let h(w) = -w - 1. Suppose -3*d + 3 = -15. Let n(l) = d*h(l) - y(l). Let g be n(-5). Solve 2*t = -2*t - g for t.
-3
Let t(d) = -d**2 + 10*d - 6. Let s be t(9). Suppose i + s*i + 8 = 0. Let m be 2 - (-2 + i + -2). Solve 3*x = x - m for x.
-4
Let p = -18 - -23. Let n = -33 + 74. Suppose 0 = -5*u + 2*v - 11 + n, 2*u - 2*v - 12 = 0. Solve p*y + 9 + u = 0 for y.
-3
Let q = -17 - -28. Let b(l) = l**2 + 13*l + 21. Let f be b(-12). Solve -f = -5*i + q for i.
4
Let u(c) = c - 8. Suppose 2*z - 6 = z. Let x be u(z). Let m be (1 - -1 - 0) + x. Solve 6 = -2*d - m for d.
-3
Let b be (15 - -5) + (1 - 1). Suppose r - b = 4*j, -6*r + r + 2*j = -28. Solve -g = r*g for g.
0
Let s be (-28)/6*(-15)/10. Suppose -5*g + 13 = -s. Solve g*j = j + 3 for j.
1
Suppose -8*y + 6*y + 28 = 2*a, 8 = 4*a. Solve -3*f + 9*f = -y for f.
-2
Suppose a - 5*x = 16, 3*a - a = -4*x + 32. Let z = a + -11. Solve -z*v + 28 - 3 = 0 for v.
5
Let m = 10 + -8. Solve -z = -m*z for z.
0
Suppose -2*j + 8 = -j - 2*p, j + 7 = -3*p. Suppose -8 = -3*f - j. Solve -2 = -f*u + 8 for u.
5
Let r be 0/((3 - 0)/(-3)). Suppose -2*c = -r*c - 12. Solve -2*d - c + 2 = 0 for d.
-2
Let m = 16 - 9. Let n be m/(-9) - 8/36. Let f be 0/(n + 2 - -1). Solve f = t - 3 + 1 for t.
2
Let z = -6 + 11. Let c(h) = 4*h - 10. Let l(a) = -2*a**3 - 3*a**2 - 2*a - 3. Let y be l(-2). Let s be c(y). Solve z*j + s = -15 for j.
-5
Let f = -16 + 10. Let x be (f/(-4))/(12/32). Solve -4*z = x - 0 for z.
-1
Suppose 8*r - 20 = 3*r. Let d(f) = -f + 5. Let t be d(r). Solve -t = k - 2 for k.
1
Let w(b) = 6*b - 64. Let g be w(12). Let q(s) = -s**3 + s**2 + s + 1. Let o be q(-1). Solve -o*j + 0*j = -g for j.
4
Let y be (1 + -2)/(-1 + 2). Let q = y - 14. Let s be 4*q/(-6)*2. Solve s = -2*u - 2*u for u.
-5
Let d be (-4)/(-2)*1 + -1. Solve -3*f = 4 - d for f.
-1
Suppose 4*b - 2*y + 0*y = 10, -2*b - 5*y + 23 = 0. Solve -3*f = -b*f - 2 for f.
-2
Suppose 10*g - 5*g - 30 = 0. Solve g*s = 2*s for s.
0
Suppose 11 = 2*f + f + 5*s, 5*f - 45 = -3*s. Suppose 3*j - 4 + 1 = 3*m, -3*m - 2*j = -17. Solve 3*k + m - f = 0 for k.
3
Let x be (-6)/15 + (-8)/(-20). Suppose x = -6*g + 21 - 3. Solve 0 = -g*a - 5 + 2 for a.
-1
Let k = -40 + 40. Solve k = 2*t + 2 + 4 for t.
-3
Suppose -42 = -2*w - 10. Solve -t + 5*t = w for t.
4
Let y = 17 + -10. Solve 2*b = 1 - y for b.
-3
Suppose -1 = -q + 2. Solve q*u = 2*u - 5 for u.
-5
Let f = 20 - 14. Suppose -3*b = -f*b + 15. Solve 0*j = 5*j - b for j.
1
Suppose 0*v - 20 = -5*v. Suppose -1 = l - v. Let b = 7 - 2. Solve -l*h - b = 2*h for h.
-1
Let o(t) be the second derivative of t**4/12 + t**2/2 + t. Let b be o(2). Suppose b*g = 4*g + 3. Solve 2 - 5 = g*c for c.
-1
Let y = 13 + -10. Solve 0 = -y*c + 4*c - 4 for c.
4
Suppose -5*w + 6*w + g = 6, -4*w - 5*g = -24. Suppose w*o = o + 5. Let s(l) = 17*l**3 + l**2. Let t be s(o). Solve -4*k = t - 6 for k.
-3
Let a(f) = -f**3 + 9*f**2 + 2*f - 15. Let g be a(9). Solve g*k - 7 + 19 = 0 for k.
-4
Let u be 2 - (2 + -2)/4. Solve 0 = u*l - 4*l - 2 for l.
-1
Suppose -4*g = -6*g + 70. Let r = g + -15. Solve 9*h + r = 4*h for h.
-4
Let b be (-4)/((24/(-9))/(-4)). Let l = b - -11. Let o(r) = -r**2 + 4*r + 7. Let u be o(l). Solve 0 = -5*j + u*j - 9 for j.
-3
Let z(n) = 2*n**3 - 4*n**2 + n + 3. Let w be z(2). Suppose 0 = -2*t + 5*t + 9, q + w*t + 3 = 0. Solve 2*p + p = q for p.
4
Let g(m) = -10*m - 5. Let u be g(-4). Suppose 4*s = 5*i - u, -3*i + 4*i = -2*s + 7. Let p be (-2)/i + 2/7. Solve 5*t - 2 - 3 = p for t.
1
Let l(z) = -z**3 + 2*z**2 + 4*z + 2. Let o be l(-2). Solve -o = -4*k - k for k.
2
Let h = -23 - -26. Solve -c = -h*c + 6 for c.
3
Suppose -3*x = -4 - 11. Let q be 20/(-5) - (-3 - 1). Suppose -3*i = -8*i - s + 25, q = 3*i + x*s - 37. Solve v = -i*v for v.
0
Let t be 28/210 + (-148)/(-15). Solve 0 = -5*d - 0 - t for d.
-2
Let o = -26 + 16. Let u be 16/10 - 4/o. Solve -u*i - 3*i = 0 for i.
0
Let l(w) = -w - 6. Let y be l(-7). Let f(k) = -k**3 - 2*k**2 + 12*k + 16. Let u be f(-4). Solve z - y + 4 = u for z.
-3
Let x(m) = m**3 - 5*m**2 + m - 2. Let y be x(5). Suppose -5 + 20 = 5*h. Suppose -h - 3 = 2*g, 0 = -y*j - g. Solve n = -0 + j for n.
1
Suppose 0 = 5*c - 8 - 12. Solve g - 2*g = c for g.
-4
Let b(n) = n**3 - 10*n**2 + n - 3. Let t be b(10). Let v = t + -5. Solve -v*z - 3 = -5*z for z.
1
Let c(t) = -t + 8. Let v(r) = r**3 - 4*r**2 + 4*r + 1. Let o be v(3). Let d be c(o). Let l = 179 - 159. Solve 0*b - l = d*b for b.
-5
Let j(n) = n**2 + n. Let p be j(0). Suppose p = 5*v - 2 - 3, 2*u - 2*v = 22. Solve 0 = -2*m + 5*m - u for m.
4
Suppose -1 = -3*o - 3*f - f, 3*o - 11 = -2*f. Let b(i) = 5 - o - 2*i + 2. Let l be b(-1). Solve -4*c - l = 10 for c.
-3
Let m(b) = -b + 1. Let t be m(-1). Let v(d) = 4*d**2 + 5*d + d**t + 1 - 4*d**2. Let y be v(-5). Solve 14 = 3*q - y for q.
5
Let a(b) = -b. Let p(u) = 7*u + 12. Let c(h) = -6*a(h) - p(h). Let k be c(-12). Suppose 4*z = 5 + 27. Solve g + g + z = k for g.
-4
Suppose 0 = 4*a - x - 16, -3*a = 4*x - 5*x - 13. Suppose 0*y - a*y + k = -3, -y + 4*k + 12 = 0. Solve y - 4 = -2*b for b.
2
Let j(t) = t**3 - 2*t**2 - t - 4. Let n be j(3). Let r = 9 - 7. Let u(s) = -s**3 + 3*s**2 - 3*s + 2. Let g be u(r). Solve 5*l - n - 23 = g for l.
5
Suppose 4*s + 2*u = 46, 0 = -4*s + u + 33 + 22. Let n be 6/9*(s + 2). Solve 4*h = -n + 30 for h.
5
Let m(u) = 32*u**2 - 3*u - 5. Let h be m(-4). Let c be (-2)/(-5) - h/(-15). Let v be c/3 - (-2)/6. Solve -k + v = 2*k for k.
4
Let q(