 -346 = 6*k - 46. Let p = k + 53. Solve n + 10 = p*n for n.
5
Let j be 28/8 + 5/(-10). Solve -24 = 3*y + j*y for y.
-4
Suppose 4 = -5*q + 7*q. Solve -2*s = -q + 4 for s.
-1
Let r(k) = -k**3 - 12*k**2 + 5*k + 60. Let x be r(-12). Solve x*j + 5 = -j for j.
-5
Let u(p) = -p**3 + 4*p**2 - 4. Suppose 0 = 42*t - 45*t + 6. Let d be u(t). Solve -d*a = -a - 15 for a.
5
Suppose -5*r - 3*c + 23 = 0, -5*c + 1 = -3*r + 8. Suppose -2*f - 2*f + 7*f = 0. Solve -r*b + b = f for b.
0
Let z be (0 - (-3 - 0)) + 0 + -120. Let u = 127 + z. Solve -u = -g - 14 for g.
-4
Let n = 68 + -60. Solve -15 = -3*b + n*b for b.
-3
Let d be 2/4 - (-30)/20. Suppose d*b + b = 36. Let u(z) = z - 1. Let x be u(5). Solve b = x*h + 32 for h.
-5
Let p(u) = -2*u + 12. Let q = -3 + 8. Let s be p(q). Solve 0 = -3*g + s*g for g.
0
Let t(y) = y**2 - 1. Suppose 0 = 2*b - 3*b - 1. Let d be t(b). Suppose a = -d*a + 1. Solve 4 = z - a for z.
5
Let s be 936/54*(-6)/(-8) - 2. Solve 2*u = s - 3 for u.
4
Let a = 1307 - 1297. Solve -31*l + a*l = 84 for l.
-4
Let t(w) be the third derivative of -w**6/120 - w**5/30 + w**4/24 + w**3/3 + 29*w**2. Let a be t(-1). Solve a = -4*g - 10 + 2 for g.
-2
Let d(m) = m**2 + 14*m + 56. Let c be d(-7). Solve 0 = -c*r + 17 + 11 for r.
4
Let f be (-3)/(-5) + (-9)/15. Suppose -i - 7*z + 9*z - 1 = 0, z = 5*i - 13. Solve f = i*x + x - 12 for x.
3
Let a(r) = 16*r**3 + r**2 - 4. Let k(n) = n**3 - 6*n**2 + n - 4. Let x be k(6). Let w be a(x). Let i be (1/2)/(16/w). Solve t = -t - i for t.
-2
Let v(h) = -h**3 - 15*h**2 - 17*h - 32. Let a be v(-14). Solve a = 4*i + i for i.
2
Let j(d) = 5*d + 20. Let r be j(-13). Let b be 2 - (3/4 + r/12). Solve -4*f - b = 7 for f.
-3
Suppose -7*n - 409 = -472. Solve 6*f + n = -15 for f.
-4
Suppose -2*f = 3*f - 90. Suppose 0 = -3*s - f + 24. Let k = -2 + s. Solve 16 = 4*r - k for r.
4
Let b = 21 + -41. Let s = -18 - b. Solve -y + s*y - 5 = 0 for y.
5
Let h be (3 - (0 + -13)) + 0. Suppose h = 2*u + 4*t, -t - 47 = -5*u + 37. Let y = 8 + -5. Solve u = y*l + l for l.
4
Let x be 9*(26/39)/(9/3). Solve x*d = 5 - 15 for d.
-5
Let q(z) = z + 10. Suppose -4*n + 2*t = -89 + 15, -5*n = 2*t - 79. Suppose n = -4*i - 19. Let s be q(i). Solve v + s - 6 = 0 for v.
5
Suppose 4*f = 2*p, -4*f + 16 = -2*f + 3*p. Solve -2 = f*a + 2 for a.
-2
Suppose 2*j - 4 = 0, j + 33 = 4*u - 25. Suppose 4*a - 6*z + 5*z = 20, -10 = -2*a + 2*z. Suppose -40 = -3*p - a*p. Solve -p = 5*m - u for m.
2
Suppose x - h - 1 = 0, x + 5*h + 5 = -2*x. Solve -5*d + d + 16 = x for d.
4
Let w(f) = 2*f**3 - 2*f**2 - 3*f + 3. Let l be w(3). Suppose l = 13*i + 2*i. Solve i*d - 6*d = 12 for d.
-3
Suppose -5*f + w + 13 + 13 = 0, -3*w = f - 18. Solve 6*u = 5*u + f*u for u.
0
Let d = 856 + -848. Suppose 3 + 2 = 5*j. Let v(u) = u**2 + 1. Let p be v(j). Solve 2*n + d = -p*n for n.
-2
Let w be (1330/(-21))/(-1) + (-2)/6. Let u = w + -61. Solve u*m + 3 = 1 for m.
-1
Let f = 715 - 715. Solve -22*t + 53 + 57 = f for t.
5
Suppose 13*b = 9*b + 8. Suppose 0 = 3*c, -c = 5*d + b*c - 10. Solve 0 = -7*y + d*y + 20 for y.
4
Let d(h) = -h**2 - 10*h - 8. Let n be d(-6). Suppose -n*t = -11*t. Suppose q + p + 2 = t, 21 = 2*q - 3*p - 0. Solve -4 = -q*g - 16 for g.
-4
Suppose -13*b + 84*b - 639 = 0. Solve 0 = -b*c + 8*c + 1 for c.
1
Let f(v) = -44*v - 869. Let x be f(-21). Solve x*w + 6 = 57*w for w.
3
Let u(n) = n**3 - 8*n**2 + 14*n + 7. Let k be u(5). Solve -k*m + 9 = m for m.
3
Suppose -49*m = -47*m. Solve -62*i + 74*i = m for i.
0
Suppose 2*w - 3*k - 25 = 0, -5*k - 8 = -5*w + 42. Solve w*v - 2*v = 3 for v.
1
Suppose -2*w - 24 = -20*v + 16*v, -5*w = 20. Solve a = 2*a + v for a.
-4
Let k be (-10)/75 - (-84)/(-45). Let q(r) = 2*r**3 + 3*r**2 + 4*r + 2. Let b be q(k). Let c be ((-8)/(-10))/((-4)/b). Solve 0 = p + c - 0 for p.
-2
Let g(a) = -19*a + 43. Let l(p) = 9*p - 22. Let v(k) = 6*g(k) + 13*l(k). Let m be v(11). Solve y - 4 = -m for y.
-1
Suppose 0 = 3*v + 4*o, -2*v - 4*o = o. Let p be (-3 + (-1 - v))*-1. Solve -p*h = 4 + 8 for h.
-3
Let y(b) = -b**2 + 9*b - 1. Let u be y(8). Let h(j) = -3 + 0 + 13 - 2*j + 4. Let p be h(u). Solve 0*s + 4*s + 8 = p for s.
-2
Let b(n) = n + 4. Let l be b(4). Let x(g) = 5*g - 16 + 8*g - 17*g + 6*g. Let a be x(l). Solve 3*t - t = a for t.
0
Let v = -8 - -15. Suppose 0 = -z - 2*k + 7, 7*z - 3*z = -k - v. Let b be 4 + (3 - 2) + z. Solve b*i - 1 = i for i.
1
Let f = -581 - -590. Solve -4*a = 7 + f for a.
-4
Suppose 5 = -s + 2*s. Suppose 0*b - b = 3*u - 3, 15 = s*b + 4*u. Solve -b*n + 13 - 1 = 0 for n.
4
Let o = -16 - -26. Suppose -7*h = -0*h - o*h. Let d be 1/(1/(6 - 1)). Solve h = q + d - 4 for q.
-1
Let c(a) = -2*a**2 + 45*a + 27. Let v be c(23). Solve 11 = 5*i - v for i.
3
Let r(s) = s**2 - 4*s + 3. Suppose -2*d = 2*w + 28, 17 = -d - 4*w - 0*w. Let z = 17 + d. Let a be r(z). Solve -y + a = 4 for y.
-1
Suppose 4*b - 28 = -3*b. Solve -2*s + b*s = -4 for s.
-2
Let z be 30/9 + 2/(-6). Suppose 174 - 6 = 14*k. Solve 0 = -z*h + 7*h - k for h.
3
Let m be 34*7/(21/6). Suppose -m = -5*t - 33. Let w = 10 - t. Solve -u = -0*u + w for u.
-3
Let c(i) = -i**2 - 4*i + 2. Let h(l) = 1. Let j(t) = c(t) - h(t). Let q be j(-4). Let k be (q/(-4))/((-2)/8). Solve -4*r - k = 3 for r.
-1
Suppose 41*d - 45*d = -224. Solve -5*v + d = 41 for v.
3
Let k(r) = -r**3 - 2*r**2 + r - 2. Let n be k(-3). Suppose -n*v + 28 = -4. Solve v*f = 4*f + 4 for f.
1
Let k = -14 - -18. Solve 0 = -k*x - 7 - 9 for x.
-4
Let t(h) = h**3 + 6*h**2 + 4*h + 1. Let u be t(-5). Solve 21 = -3*k + u for k.
-5
Let z(q) = 3*q**2 - 2*q + 1. Let m be z(1). Suppose 2*x = 4*c + 20, 8*c = m*x + 12*c + 20. Solve -3 = u - x for u.
-3
Let r(k) = 9*k**2 + 13*k + 9. Let v be r(-1). Suppose 3*y = 37 - 7. Solve -3*d - y - v = 0 for d.
-5
Let h = 96 - 142. Let n = -40 - h. Solve 5*o = 2*o + n for o.
2
Suppose -2*p = -95 + 59. Solve -28 - 26 = -p*a for a.
3
Let j(x) = -40*x**2 - 1. Let w be j(1). Let z = w - -44. Solve 2*p - z*p + 4 = 0 for p.
4
Let a(h) = -h**3 + 5*h**2 + 5*h - 5. Let n be a(5). Suppose 2*u = 6*u - n. Solve u = -2*d - 3 for d.
-4
Suppose 5*p - d = 173, -p + 2*d = -d - 29. Let b = 37 - p. Let c(u) = -u + 15. Let s be c(11). Solve 0 = -s*a + b + 14 for a.
4
Suppose -7*f = -5*f - 4. Suppose -4*i = 3*a + 52 + 65, -f*a + 32 = -i. Let j be 24/20*i/(-4). Solve -j = -4*c + 7 for c.
4
Let h(t) = -t**2 - 5*t. Let v be h(-4). Let q(u) = u**2 + 2*u + 3*u**2 - 17 - u**3 + 3*u. Let n be q(4). Solve v*a + n = -17 for a.
-5
Let i(v) = 2*v**2 - 33*v + 91. Let u be i(17). Solve -u*w + 103*w - 25 = 0 for w.
-5
Let n(r) = -2*r**3 + r**2 + 4*r - 3. Let w be n(3). Let c be (-27)/w*(-4)/(-3). Solve 4*h - c = -13 for h.
-3
Suppose y + 6 = 3*c, -7*c + 2*c + 6 = -y. Let w = y + 9. Solve -w*u = -7*u for u.
0
Let o be (((-150)/(-4))/(-5))/((-4)/8). Solve 16 = -o*m - 14 for m.
-2
Let j be (15/(-6))/((-4)/8). Suppose 0 = -f + j, 2*y + 2*f = -2*f + 44. Let l be (-2)/y - (-111)/18. Solve n + l = 4*n for n.
2
Let t be (-969)/102*-2*1. Solve 0 = -t*h + 5*h - 28 for h.
-2
Let c(w) = -4*w**2 + 7*w - 5. Let o be c(2). Let u(j) = j**2 + 6*j - 2. Let k be u(o). Solve -4*r - k + 17 = 0 for r.
3
Suppose -5*t - 3*n - 63 = 0, 0*t - n = -2*t - 34. Let d(s) = -28*s + 29*s + 0*s + 15. Let z be d(t). Solve z*b - 2 = -b for b.
2
Let w(y) be the second derivative of y**5/20 - 3*y**4/4 + 8*y**3/3 - 6*y**2 - 2*y + 14. Let s be w(7). Solve j + s*j = 0 for j.
0
Suppose -3*y + 4*o - 66 = 0, y - 5*y = 5*o + 57. Let d = y + 18. Solve d = 4*s - 3 - 1 for s.
1
Suppose p - 4*p + 45 = 5*n, 3*p + 6*n = 45. Solve p*c - 36 = 3*c for c.
3
Let t be (-1 + -9)*(-1)/1. Suppose 0 = -4*g - 2*z - 20, 3*z - 5*z + 4 = 0. Let i = t + g. Solve 0*h + 16 = i*h for h.
4
Let v(r) = -r**3 - 13*r**2 - 10*r + 26. Let s be v(-12). Suppose -8 = -5*q - 2*f, 0 = s*q - 6*f + f + 20. Solve 0 = -q*z - 3*z + 12 for z.
4
Suppose 0 = -28*y + 6 - 6. Solve 0 = -12*v - 0 - y for v.
0
Suppose -37*q + 34 + 336 = 0. Solve 4*l - q = 2 for l.
3
Let u(m) = m**3 - 8*m**2 + 14*m - 10. Let s be u(6). Solve -s*a + 2 = 6 for a.
-2
Let a = 1176 - 1113. Solve a = 10*f + 13 for f.
5
Suppose -2*j + 4 = -52. Suppose -3*x = -y - 8, 4*x + 3*y - j = -0*y. Solve 0*t + x*t + 20 = 0 for t.
-5
Let j be 19*-1*(-9)/9. Solve -j*d = -24*d + 25 for d.
5
Suppose -43*s + 56*s - 65 = 0. Let a(b) = -6*b - 4. Let d be a(-4). Solve -s*o - d = -o for o.
-5
Let i b