0*y + 3*y - 150. Let k = y - 34. Solve -3*t = t + k for t.
-4
Let v(l) = -l + 4. Let b = 6 - 3. Let w be v(b). Let k be 55/25 + w/(-5). Solve -k = q + 2 for q.
-4
Let i = 67 + -63. Solve i*q = -3 - 17 for q.
-5
Let x(t) be the second derivative of -t**3/3 - 3*t**2/2 + t. Let c be x(-3). Suppose -4 + 28 = c*y. Solve 7 = -5*n - y for n.
-3
Let u(t) = 7*t - 23. Let m be u(5). Solve -2*n = -6*n - m for n.
-3
Let i = -27 - -29. Solve -i*l = -4*l for l.
0
Suppose 0*k = 5*k - 170. Solve 0 = -5*n - 9 + k for n.
5
Suppose -2*s - 7*s = -3*s. Solve -n = -4 - s for n.
4
Suppose 3*d - 67 = z - 22, 5*z = -3*d + 27. Let r = -10 - -12. Solve -r = -4*n + d for n.
4
Let w be -4*(0 - 6/3). Suppose -w = -8*a + 4*a. Let n be 1*(20/a)/2. Solve n*y - 6 - 4 = 0 for y.
2
Suppose 2*u + 3*u + 3 = -w, 2*w - 3*u - 7 = 0. Let n = -3 - -6. Solve 0 = w*d + n*d for d.
0
Suppose 1 = 2*r - s + 3, r = -2*s - 6. Let u be -1*(-1)/(-1)*r. Solve -u*k = -4*k - 6 for k.
-3
Let r(x) = 5*x - 5. Let n(l) = 6*l - 6. Let c(a) = 4*n(a) - 5*r(a). Let p(f) = -4*f + 20. Let s be p(6). Let j be c(s). Solve 3 + 2 = j*d for d.
1
Let v be (0/(-1))/(-7 + 6). Suppose -16 = -d - 3*d. Solve -2*t + d + v = 0 for t.
2
Let p be 1/(-1*(-1)/3). Solve p = -b - 1 for b.
-4
Let g(m) = m**3 - m**2 - 3. Let b be g(0). Let x be 4/10 - 8/20. Let u be b/(1/(x + -2)). Solve -2*h = -0*h + u for h.
-3
Let m be 6*5/15*4. Solve m - 2 = 3*f for f.
2
Let u(t) = -5*t - 3. Let j be u(-4). Solve 3*l = 5 - j for l.
-4
Let i be 1/((-3)/(-15)) - 1. Let h be ((-16)/10)/(i/(-10)). Let p(l) = -l**3 - l**2 - 2*l. Let r be p(-2). Solve h*u + 0 = -r for u.
-2
Let o(h) = h**3 + 6*h**2 + 6. Let n be o(-6). Suppose -4*a - 2 = -10. Let u be a*-5*(-1)/2. Solve -2*g = -u*g - n for g.
-2
Let w(q) = q - 2. Let c(d) = 4*d + 3. Let y(n) = 2*n + 2. Let l(t) = 6*c(t) - 13*y(t). Let m be l(-6). Let p be w(m). Solve 12 = p*f + f for f.
4
Suppose 0 = -0*l - 3*l. Suppose l*r = 5*r. Let q be r*(1/2 + -1). Solve 3*k + 0*k - 12 = q for k.
4
Let m be 2/(-8) + 35/(-20). Let w be m/8 - (-70)/(-8). Let r = w - -15. Solve r = -h + 4*h for h.
2
Suppose 2*y + 16 + 0 = 0. Let g(c) = -c**3 - 7*c**2 + 8*c + 2. Let h be g(y). Solve 5*a = -8 - h for a.
-2
Let x(v) = 2*v**3 + 17*v**2 + 7*v - 8. Let d be x(-8). Solve -3 = -g - d*g for g.
3
Let p be 6/2*4/4. Suppose b - 3 = -1. Suppose 0*y - p*y = -2*m + 27, -b*m - 3*y = 3. Solve 3*r - m = 3 for r.
3
Let r(w) = -9*w - 42. Let k be r(-5). Solve -4 + 7 = k*v for v.
1
Let x be (-1 + 1)/(0 - 1). Suppose 3*m - 5 - 1 = 0. Solve 2*j + m + x = 0 for j.
-1
Suppose -3*v = 3*x - 555, 4*v - 4*x - 147 = 553. Let f be 4/(-14) + v/42. Solve -10 = f*w - 6*w for w.
5
Let k(w) = -w**3 - 3*w**2 - 2*w - 2. Let s be k(-3). Let i be s/(-18) - 29/(-9). Suppose i*t - 15 = 0, -t + 2 = -4*d + t. Solve -q - d*q + 15 = 0 for q.
5
Suppose 5*m + d = 3*d + 17, -3*m = -4*d - 13. Let f(h) = -h**3 - 3*h**2 - 2*h - 3. Let u be f(-3). Solve -u*j + m = -2*j for j.
3
Let r = 3 + -3. Let n = r + 5. Suppose -5*c = 3*m + n, 5*c + 10 = -4*m - 0. Solve -c*w + 5*w = 3 for w.
1
Let y(l) = 3 - 7*l**2 - 2 + 2*l**2 - l**2. Let w be y(-1). Let z = 17 + w. Solve -z = 3*f + f for f.
-3
Suppose 0 = -l + 43 - 40. Solve 3*u + 6 = -l for u.
-3
Let s be ((-15)/6)/((-7)/14). Suppose -t + 3*t = 0. Solve t = -s*m - 0*m for m.
0
Let w = 9 + -1. Suppose -3*v - f = -w, 4*f + 12 = 3*v - 1. Suppose v*p - 15 = -6. Solve -n = -p*n - 8 for n.
-4
Suppose 2*u = -u. Solve -5*q = -u*q - 5 for q.
1
Let m(d) be the third derivative of -1/12*d**4 + 0*d - 1/6*d**3 - 2*d**2 - 1/120*d**6 - 1/30*d**5 + 0. Let u be m(-1). Solve -3 = -u*x - 3*x for x.
1
Let y = -6 - -4. Let q be 28/4 + (y - -1). Solve -3*v = -0*v - q for v.
2
Let r = -37 + 44. Solve 9 = -k + r for k.
-2
Suppose -b - 3 = 6. Let n be ((-1)/4)/(b/72). Solve 0 = -r + n*r for r.
0
Let l be -4 + (-12)/(-9)*3. Solve -2*r + 7*r - 5 = l for r.
1
Let m be -1 - -6 - (5 + -3). Suppose -m*v + 4 = v. Let d(y) = y + 4. Let g be d(-2). Solve v = -g*w - 3 for w.
-2
Suppose -11*t + 6*t = 0. Let f(i) = 4*i**2 + i + 1. Let z be f(-1). Suppose 2*u + 3*k - 16 = 0, z*u = -2*k - 0*k + 24. Solve -u*r + 0*r + 25 = t for r.
5
Let u = -6 + 9. Suppose -3*r = -6*r - 2*w - 10, u*r = 4*w + 20. Suppose -a = -r*a - 5. Solve -12 = -a*b + 13 for b.
5
Let q(w) = -2*w**3 - 3*w**2 + 4*w + 1. Let h be q(-3). Suppose -4 = 6*f - 2*f + 3*p, -h = 4*p. Suppose f = 3*k - 4. Solve -r = r - k for r.
1
Suppose -27 = -3*w + p - 6*p, 0 = -4*w - p + 19. Let b be w*1/4 + 8. Solve 3 + b = -4*q for q.
-3
Let w be (-21)/(-9) - 2/6. Let l be w*(2 + -1) - -1. Let i be (-2)/l*(-33)/2. Solve -4*o - i = 9 for o.
-5
Let b = 15 - -10. Let j = 10 - 6. Let v(m) = m**3 - m**2 + 2*m + 1. Let n be v(2). Solve j*x + n = b for x.
4
Let b = 40 - 36. Solve 12 = -r + b*r for r.
4
Suppose 3*f - 20 = x, -2*x = -2*f - 6*x - 10. Solve 4 = b - f*b for b.
-1
Let l(g) = g + 2. Let a be l(-2). Suppose -3*j + 17 = 5*p, a*j = 2*p - j - 9. Solve -30 = p*k - 10 for k.
-5
Let r(f) = 2*f + 12. Let j be r(-5). Suppose j*s = -s + 27. Solve b - s = -4 for b.
5
Let d(c) = 1 + c**3 - c**3 - 5*c**3. Let t be d(1). Let f be t/(-3) - (-2)/3. Solve -3*n + f*n + 4 = 0 for n.
4
Suppose 3*h + 6 = -3*g + 3, 2*g - 18 = 2*h. Suppose 2*u = u + g. Solve 0 = u*x + 2 + 10 for x.
-3
Let o = 20 + -17. Solve -5 = -o*w - 2 for w.
1
Suppose -4*y + w = -1 + 3, -2*y - 2*w - 6 = 0. Let o be -4*y/((-8)/(-20)). Solve b = -b - o for b.
-5
Suppose 8*x = 3*x - 50. Let k = -8 - x. Solve 0*y + k*y = -6 for y.
-3
Let c be (-1 + 1)/((-4)/(-2)). Solve u - 2 + c = 0 for u.
2
Suppose 3*t - 3*q = 0, 10 = -3*t - 4*q + 31. Solve 2*j - 15 = -t*j for j.
3
Let x = 0 + -6. Let p be (-32)/(-20) - x/15. Solve 5*a = 7 - p for a.
1
Let j be (-4)/(4/(-12)*3). Solve -j + 24 = -5*n for n.
-4
Let a be (-2 + (-8)/((-4)/1))/(-2). Solve -g - g - 2 = a for g.
-1
Let v = 32 + -26. Solve v = l + 2 for l.
4
Suppose -2*m - 3 + 11 = 0. Let b be (1/3)/((-2)/6). Let i = b + m. Solve -g + 0*g - i = 0 for g.
-3
Suppose 8 = -i + 2. Let a = -4 - i. Solve -5*c + 13 + a = 0 for c.
3
Suppose -5*z + 18 = 3. Solve 0*j - 3*j + z = 0 for j.
1
Suppose -5*d = -b + 2*b - 26, 0 = 5*b + 3*d - 86. Solve -b = 5*n - 9*n for n.
4
Let b(g) = 2*g - 6. Let r be b(7). Solve 2*z + 2 - r = 0 for z.
3
Let o = 38 - 54. Let t = o - -22. Solve 3*m - t*m = 0 for m.
0
Let z(n) = -3*n - 3. Let y be z(-2). Suppose -6 = -y*u + 3*t, u - 7*t + 2*t = 2. Solve u*l - 5*l = -3 for l.
1
Let k = -14 - -23. Let d = 11 - k. Solve -2*m + 3*m = d for m.
2
Suppose -2*b - 134 = -2*f + 2*b, 3*f - 209 = 2*b. Suppose -4*o = 3*p + f, 3*p + 90 = -2*p - o. Let v = p + 33. Solve 0 = -2*w + 6*w + v for w.
-4
Suppose 0 = -3*g - 3*m + 33, -2*m - 21 = -4*g + 35. Suppose -5*h = -12 - g. Solve f = -0 + h for f.
5
Let p(l) = -4*l + 15. Let v be p(3). Solve 0 = -v*o - o for o.
0
Suppose 0 = 5*s + 3*i + 6, -s = 2*i - 0*i - 3. Suppose 3*m = -4*n + 26 - 93, 2*m + 10 = 0. Let u = s - n. Solve -3*h + u = -h for h.
5
Let h = -65 - -68. Solve -4*g + g + h = 0 for g.
1
Let y = -60 - -60. Solve -16 = -4*s - y*s for s.
4
Let y(g) = g + 1. Let d be y(7). Suppose 3*u = f + 4, -4*u = -0*u - d. Solve 4*o = 2 + f for o.
1
Let s = 55 - 48. Solve 3 = 2*i - s for i.
5
Let d be (-2 - -2)/(2/(-5 - -3)). Solve 0 = 2*z - d*z + 2 for z.
-1
Let z(t) = 3 + 7*t - 6*t - 3. Let x be z(6). Solve -f - 2 = -x for f.
4
Suppose -z - 6 = -4*o - 37, -5*o - 23 = 4*z. Let u(d) = d + 12. Let b be u(o). Solve b*r - 18 = 2 for r.
4
Let u = -34 - -34. Solve 5*p + u*p = 15 for p.
3
Let a = 22 + -22. Solve a = 3*s - 1 + 16 for s.
-5
Let x(n) = n**2 + 18*n + 62. Let w be x(-4). Solve -10 = w*g - g for g.
-2
Let c = -4 + 4. Suppose 7*z = -k + 2*z, -5*k + 2*z = c. Solve k = 6*s - s - 25 for s.
5
Let u = -30 - -35. Solve 0 = -u*h - 0 - 15 for h.
-3
Let k(t) = -t**2 - 6*t + 3. Let y be k(-6). Let z be (-3)/(-2 - 1) - -2. Solve 0 + z = y*h for h.
1
Let z(v) = v + 3. Let w(x) = 1. Suppose 3 = -j + 2. Let b(h) = j*z(h) - 2*w(h). Let s be b(-7). Solve m = s*m + 1 for m.
-1
Let i(h) = h**2 - 5*h + 3. Let w(k) = k**3 + 9*k**2 - k - 4. Let p be w(-9). Let g be i(p). Solve 0*y + 3*y = -g for y.
-1
Let j(l) = 2*l. Let h be j(3). Let i = -4 + h. Solve -i*m = -6*m - 12 for m.
-3
Let p be (-8)/(-24) - (-44)/(-3)*-1. Solve -6*f = -f - p for f.
3
Let b(g) = g**2 + 6*g + 5. Let a be b(-5). Suppos