 + k**3/6 + 5*k**2/2 + 2*k. Let h be u(4). Let c = h - -10. Solve -5*i + c = -12 for i.
3
Let d(p) = -p**2 + 10*p - 12. Let c be d(8). Suppose 5*t = 25, -3*t + 307 = -c*u - 4*t. Let r be u/(-21) + (-2)/(-7). Solve -3*s - r = 2 for s.
-2
Suppose 4*d - 3*f = 27, -d - 4*f - 17 = -0*f. Let w be (2 - (-2 + d))*0. Suppose 16 = 2*u + 2*u. Solve -u*j + w = 12 for j.
-3
Suppose -5*l - 13 - 27 = 3*m, -25 = 3*l + 2*m. Let x = -4 - l. Suppose -2*k = 3*s - 5*s, -4*s = -8. Solve -k*p + x = 11 for p.
-5
Let q(i) = i - 3. Let d = 9 - 5. Let w be q(d). Let a(s) = 4*s**2. Let m be a(w). Solve -y - m = -3*y for y.
2
Let w be (1/((-4)/(-16)))/2. Solve -8 = -w*r + 2 for r.
5
Let t = 3 + 1. Suppose 2*v = v + 1. Suppose v = k - 2. Solve -7*q = -k*q - t for q.
1
Let s = -27 + 30. Solve s*a - 5*a = 4 for a.
-2
Suppose 2*i = 7*i. Let l(b) = b**3 - 2*b**2 + 2*b - 6. Let m(t) = t**3 - t**2 + t - 5. Let j(q) = 2*l(q) - 3*m(q). Let f be j(i). Solve f*o - 4 = -o for o.
1
Let n = 70 + -65. Solve -3 = -f - n for f.
-2
Let a = -18 + 12. Let c(o) = o + 6. Let k be c(a). Solve -2*b - b = k for b.
0
Suppose -9 = -d + 6. Suppose 2*s = -s + d. Solve -s - 3 = 2*u for u.
-4
Suppose 2*k - 3*n = -0*k - 1, 5*k = -3*n + 29. Suppose 3*u = -2*u + 15. Suppose -u*d = -7*d + 16. Solve d*y - k = -12 for y.
-2
Let v be (-6)/9 + (-92)/(-12). Let n(s) = s - 4. Let g be n(v). Suppose z - d - 4*d = -3, -z = -g*d + 1. Solve -z*t = t for t.
0
Let k(s) = -s**3 - 6*s**2 + 18*s + 18. Let b be k(-8). Solve 2*d + 6 = -b for d.
-4
Suppose 4*v - 10*v + 12 = 0. Solve -v*w - 10 = -0 for w.
-5
Let t be (0 - 0)/(2/1*-1). Solve t = 3*o - 2*o - 1 for o.
1
Let c be (-90)/(-21) - 2/7. Suppose -c*u - 2*n = -12, -5*u + 2*n + 15 = -n. Solve 0*x = x - u for x.
3
Let m be (0 - 3)/((-3)/2). Let r = 5 - m. Suppose -r*z + 16 = -2*x - 5, -5*z + x + 35 = 0. Solve -2*v = -z*v for v.
0
Suppose 4 = 4*n - 5*j + 14, 0 = -4*j + 8. Solve n*i = -3*i - 9 for i.
-3
Suppose -4*i + 32 = -12. Solve 5*x = i*x - 6 for x.
1
Let p be 2352/40 + (-2)/(-10). Suppose -y = -4*a - 10 - 2, 4*y = 5*a + p. Solve -2*o = -6*o - y for o.
-4
Suppose -4*c - 2*z + 13 = -15, 2*z = -3*c + 23. Solve -r + c*r = 16 for r.
4
Let z be -12*(-2 + (-15)/(-10)). Solve 2*a - 5*a = z for a.
-2
Let b be (-85)/(-30) - (-2)/12. Let k(c) = c**3 - 4*c**2 + 2*c + 3. Let x be k(b). Solve o + x + 4 = 0 for o.
-4
Let o(n) = -2*n**2 + 15*n + 8. Let w be o(8). Solve -2*a = -w - 4 for a.
2
Suppose 0*u + 5*j = 5*u + 5, 0 = -u + 4*j - 7. Suppose 0 = -2*z + 4, d + 2*z - 6 = 1. Solve -h + d = u for h.
2
Suppose 3 = 2*y - 4*y - d, -d = 5*y. Solve y = 4*p - 19 for p.
5
Suppose w - 37 = -3*n, -w + 3 = 2. Solve -2*i = i - n for i.
4
Let o(w) = 2*w**2 + 3*w. Suppose -3*c = 4 + 2. Let q be o(c). Let j be 0/2 - (1 + -4). Solve 5 = -j*x + q for x.
-1
Let v(m) = -m + 2. Let c be v(-6). Suppose -c = -4*a - 0*a. Suppose -30 = -4*o + 2*o. Solve o = -t - a*t for t.
-5
Let x = 4 + -5. Let o be 12*x*4/(-6). Let u = o - 3. Solve y = u*y - 12 for y.
3
Suppose -2*d - 2 = 5*u - 4, 4*u + 2 = -d. Solve d*s + 12 = 3*s for s.
-4
Let g be 0 + 2 + 0 - -1. Solve c + g = 2*c for c.
3
Let w be 2*-2*(-15)/4. Solve 5*m - 5 = w for m.
4
Let j = 47 + -43. Solve 7 + 13 = -j*g for g.
-5
Let s be (-8)/(-36) - 68/(-18). Solve 0 = t + 1 + s for t.
-5
Let d(m) = -18*m - 5. Let w be d(-4). Let x = -47 + w. Suppose 0 = 2*t + 2*c + 3*c - x, 2*t + 3*c = 12. Solve t*q = 5*q + 25 for q.
-5
Let d(i) = -i**2 + 6*i + 2. Let u be d(6). Suppose 4*z + u*v + 302 = 0, -3*v + 139 = -2*z - 0*z. Let j be (-2)/7 + z/(-14). Solve 20 = -0*s + j*s for s.
4
Suppose 3*v - 87 = -3*l, 2*l - 4 + 18 = v. Suppose 3*r = 7*r + v. Let f be (r/1)/(6/(-20)). Solve -f = -0*k - 4*k for k.
5
Let b be 7/4 - 1/(-4). Let m = 6 - -3. Solve m = b*w + 1 for w.
4
Let n = 4 - -8. Let b = n + -6. Suppose -j = 2*y - 8, b*j = j + 3*y - 12. Solve 10 = -j*g + 5*g for g.
2
Let y be ((-1)/1)/((-4)/12). Suppose y*q = 13 + 377. Let v be 6/(-21) + q/14. Solve -v = -2*z - 3 for z.
3
Suppose -2*a + 5*a = 30. Solve -5*u - 15 = a for u.
-5
Let s(q) = q**2 - 14*q + 53. Let x be s(9). Solve 0 = 5*k - x*k - 3 for k.
-1
Suppose -12*m = -8*m - 32. Suppose 3*w = 7*w - m. Solve 4*r - w*r + 8 = 0 for r.
-4
Let l be (3 - 2)/(1/3). Suppose -5 - l = -4*u. Let s be (0/u)/(1 - 2). Solve q + s = 4 for q.
4
Let u(z) = z**3 - 6*z**2 - 7*z + 10. Let p be u(7). Solve -6 = -p*y + 7*y for y.
2
Let h = -94 - -96. Solve 0 = -5*t - 23 - h for t.
-5
Let b(c) = c**2 + 9*c - 8. Let h(l) = -11*l**2 - 2*l - 1. Let z be h(-1). Let s be b(z). Solve -s*u + 5*u = -3 for u.
-1
Suppose 4*p - 3*g - g + 8 = 0, p - 5*g + 10 = 0. Suppose 4*l - 3*x - 20 = 0, p*l + 3*l + 3*x - 36 = 0. Solve 0 = -y + 3*y + l for y.
-4
Suppose 5*h - 2*u = -u + 3, -2*u = -5*h + 6. Suppose 3*i + 2 = 8. Let a(t) = -3*t**3 - t**2 - t. Let w be a(-1). Solve -w*o - 4 - i = h for o.
-2
Let z(b) = -11*b**3 + b + 1. Let w be z(-1). Suppose w*t = 9*t + 4. Solve -4 = t*x - 12 for x.
4
Suppose 3*m - 3*p - 3 = 0, -m - 3 = -3*p - 2*p. Suppose -m*o = -o - 12. Solve -o = 3*j - 0*j for j.
-4
Let u be 1/((8/(-18))/4). Suppose -67 = 2*s + 5*n + 74, -3 = n. Let c be (-25)/u - 14/s. Solve 2*m + c = -5 for m.
-4
Let u be 91/26 + 2/(-4). Let w = -3 + u. Solve 0 = -w*k + 5*k for k.
0
Let n(q) = 2*q**3 + 18*q**2 + 14*q - 8. Let s be n(-8). Solve 5*b = 3*b - s for b.
-4
Let t = -138 + 139. Suppose -4*h + 15 = -1. Let d(j) = 4*j + 3. Let o be d(4). Solve t = -h*n - o for n.
-5
Let k be 24/(-40) + 96/(-15). Let t(s) = s + 8. Let x be t(k). Solve x = -a - 2 for a.
-3
Suppose r + 5*m - 15 = 0, -3*r + 8*m - 3*m + 5 = 0. Solve 3 - r = -2*c for c.
1
Suppose 5*w - 24 = -3*w. Solve w*z + 2*z = 15 for z.
3
Let p be -2 - -3*12/(-9). Let u(z) = z + 8. Let g be u(p). Solve 0 = g*x - 4 for x.
2
Let k(f) = f - 10. Let m(r) = -4*r + 41. Let j(n) = -9*k(n) - 2*m(n). Let z be j(8). Solve 0 = -t - z - 4 for t.
-4
Let z(i) = i**3 + 8*i**2 + 2. Let h be z(-8). Suppose h*n = 12 + 2. Suppose 4*q - 5 = n. Solve -q*s - 4 = -5*s for s.
2
Let n = -31 + 32. Solve 2*g - n = -5 for g.
-2
Let g be 0/(-1 - 2 - -4). Suppose 0*m - 14 = 3*m + 4*d, g = -m + 2*d + 12. Solve 4*j - 10 = m for j.
3
Let y(c) = -3*c**3 + 3*c**2 + 6*c - 1. Let r(w) = 3*w**3 - 2*w**2 - 5*w + 1. Let o(f) = 4*r(f) + 3*y(f). Let l be o(1). Solve 13 = -4*t - l for t.
-4
Let h(i) = -i**3 + 4*i**2 - i + 4. Let c be h(4). Suppose 3*l - 2*f - 4 = c, 0 = -4*l - 6*f + f + 36. Solve l*n = 13 - 5 for n.
2
Let g be (-8)/(-6)*(0 + 3). Let i be -5*12/30*(-2)/4. Solve -i + 9 = -g*h for h.
-2
Let w(i) = 7*i**2 + 0 - 13*i**2 + i**3 + 5*i + 4. Let t be w(5). Solve -4*h + 8 + t = 0 for h.
3
Suppose j - 1 = 5. Suppose 18 = 2*i + 14. Solve -2*k + j = -i for k.
4
Let q be 8/36 - 4/18. Suppose 0 = -j - 3*p - 2*p + 25, 3*j + p - 19 = q. Solve u - 4 = -j for u.
-1
Let v = 13 + 13. Suppose -v = -4*y + 6. Solve y = -3*u - 4 for u.
-4
Let l(i) = -4*i - 2. Let c be l(-2). Suppose c*k - 3*k = 6. Let m be (-2)/(-3) - k/(-6). Solve m + 1 = t for t.
2
Let n = -13 - -17. Solve 0*w = -n*w for w.
0
Suppose -3*j - 6*j = j. Solve j = k + 10 - 7 for k.
-3
Let r(o) = -4*o - 1. Let u be r(1). Let k(l) = -l**2 - 6*l - 2. Let q be k(u). Solve -q*i = -0*i - 15 for i.
5
Suppose 0 = 4*h + 3*a - 25, -6*h = -h - a - 17. Suppose -5*v - 3*p = p, 5*v + 5*p = -5. Solve h = -3*j + v*j for j.
4
Suppose -4*j + 14 = -2, 2*j + 12 = 4*o. Suppose 0 = -d - 3*d - 3*t + 2, 3*t + 16 = o*d. Solve -d*a + 0*a = 2 for a.
-1
Let z be (99/6)/(6/32). Suppose 0*l = 4*l - z. Suppose l = 2*u - 2*s, 4*u + 2*s - 17 = 39. Solve 5*b - 7 - u = 0 for b.
4
Suppose -5 = d - 9. Solve d = -5*g - 16 for g.
-4
Let d = -160 - -310. Suppose -4*r - 246 = -2*o - 48, 2*o - d = 3*r. Let g be (-4)/(-20) + r/(-10). Solve 0 = g*n - n + 16 for n.
-4
Suppose 5*z + 3*m - 10 = -2*m, -5*z = -2*m - 31. Solve -25 = z*i - 0*i for i.
-5
Let f(u) be the second derivative of -1/6*u**3 + 3/2*u**2 + u + 0. Let t be f(0). Solve -t + 18 = -5*n for n.
-3
Let v be (-6)/(-4)*24/9. Let b be 46/(-3) + v/12. Let k be -3*1*20/b. Solve k - 9 = 5*f for f.
-1
Let s(h) = 2*h**2 - 5*h + 1. Let q be s(3). Solve 2*i + q = 4*i for i.
2
Suppose 0 = -5*n + 2*n + 12, -4*v + 5*n = 0. Solve -5*m = -0*m + v for m.
-1
Let i = -1 + 5. Suppose i*m = 2 + 18. Let c(f) = -f**3 + 5*f**2 + 2*f - 6. Let o be c(m). Solve h = -o*h for h.
0
Let i be ((-1)/(