5
Let o(c) = 6*c**2 + c. Let v be ((-6)/(-9))/(2/3). Let p be o(v). Suppose -5*b + p = -8. Solve 3 = 3*i - b for i.
2
Let y be (-6*(-1)/(-2))/(-1). Suppose 0 = 3*f + 11 + 7. Let p = f + 8. Solve y*o = p*o for o.
0
Let d be (0 - 2/4)*0. Let j = 236 + -232. Solve 0 = -j*u - d*u + 8 for u.
2
Suppose -16*h = -2*h - 112. Solve h*r - 6*r = 0 for r.
0
Let s(c) = -c - 8. Let a be s(-8). Let j(i) = i**3 - 5*i**2 - 5*i + 1. Let y be j(6). Let n(o) = -o**2 + 8*o - 5. Let d be n(y). Solve -2*f = d - a for f.
-1
Suppose 3*p = 18 + 12. Suppose p*q = 4*q. Solve j + 0 - 1 = q for j.
1
Let b(w) = -w + 14. Let a be b(12). Solve 0 = a*z + 2*z - 20 for z.
5
Let u = 9 + -9. Suppose -2*z + z = u. Solve z*n = n for n.
0
Let w = 56 - 53. Solve w*i + 1 = 4 for i.
1
Let f(z) = z - 1. Let m be f(5). Solve 3*u - m = 11 for u.
5
Let g = -17 - -26. Suppose 0 = -3*r + g - 0. Solve -r*n = n for n.
0
Let h be 6/(-8) + (-9)/(-12). Suppose h = 6*v - 3*v. Let g = v - -1. Solve 1 + g = -b for b.
-2
Let j be (-1*1)/(5/(-25)). Suppose 3*r = -j*w + 69, 17 = -3*w + 4*w - r. Solve 2*f + w = -3*f for f.
-3
Suppose -5*g + g + 28 = 0. Solve g = 2*c + 17 for c.
-5
Let i be (-10)/35 + (-284)/(-14). Suppose -2*u = -6*u - i. Let s be 1/(u/(-2) + -2). Solve -s*a - 3*a = 0 for a.
0
Suppose 4*x = 6 + 2. Suppose -65 = -5*s - 5*o, 2*s - 5*o + 2 = -0*o. Solve 0 = -x*a + 1 - s for a.
-4
Let q be (-2 - (-3 + 2))*11. Let j = q - -1. Let x be (-24)/j + 2/(-5). Solve 0 = x*m - 3*m + 4 for m.
4
Let s = -29 + 18. Let r = 19 + s. Solve 0 = -3*g + r*g - 5 for g.
1
Suppose 2*b + 5*t = -13, 2*t - 4 = -3*b - 7. Solve 0 = -z - b - 4 for z.
-5
Let q be 3/(-9)*(-2 + -1). Let p = 2 + q. Suppose p*i + 2*i = 0. Solve i*v = -v for v.
0
Let p be (-6)/243*-9 + (-4)/18. Solve p = o - 6 + 1 for o.
5
Suppose 24 - 6 = 9*r. Solve -3*h + r = -1 for h.
1
Suppose 0 = c + 2*w - w - 2, -2*c + 2 = w. Solve c = -3*s - s - 20 for s.
-5
Suppose -80 = -4*g - 4*w - 0*w, -g = -w - 24. Let b be 106/g + (-2)/(-11). Solve 0*r - r + b = 0 for r.
5
Suppose -29*w = -37*w. Solve 0 = -c - w - 4 for c.
-4
Suppose 6*g = 3*g. Suppose 4*x - 8 - 8 = g. Let w = -2 + x. Solve w = -0*r - 2*r for r.
-1
Let w(i) = 2*i**3 - 3*i**2 + i - 2. Let p be w(2). Solve -2*v + p*v + 8 = 0 for v.
-4
Suppose -2*g = g. Suppose g*t - 8 = -4*t. Solve 9 = t*o + o for o.
3
Let o(z) = -11*z - 6 + 4 - 8 + 10*z. Let t be o(-12). Solve t*f = -2*f + 12 for f.
3
Let v be -6*(-2)/8*-6. Let l = 4 + v. Let m be l*((-32)/(-5))/(-4). Solve -3*f - 23 = -m for f.
-5
Let h = 16 - 12. Solve -h*f = -2*f for f.
0
Let m = 16 - 13. Suppose -m*y = -0*y - 6. Solve 0 = -2*c - y*c + 12 for c.
3
Let u be 95/25 - 2/(-10). Let h be u/22 - 477/(-99). Solve -9 = -2*t + h*t for t.
-3
Let k = 0 - 0. Let f(u) = 37*u**2 + 1. Let j be f(-1). Let b be (-2)/(-4) + j/4. Solve k = -o + 3*o - b for o.
5
Suppose -3*w + 4 = -26. Solve w*v - 5*v + 20 = 0 for v.
-4
Let a(t) = -t**2 - t + 2. Let d be a(-2). Let s be d/(2*2/(-4)). Suppose -2 = 4*q + j, s*j - 5*j - 10 = 0. Solve q = l - 4*l for l.
0
Let s be 1*((-5 - -8) + -1 + -2). Solve 18*g - 22*g - 12 = s for g.
-3
Suppose -58 = -2*q - 18. Let a = -11 + q. Solve -4*n - 20 = -a*n for n.
4
Suppose 0 = 5*d - 5*c - 15, 2*c = -4*d - 2*c - 28. Let w = d - 6. Let z be (-4)/(-12) - w/3. Solve -4*v + z - 19 = 0 for v.
-4
Let n(o) = o + 21. Let h be n(-20). Solve -2 - h = 3*b for b.
-1
Suppose 0 = 4*r + 4*s - 28, 8 = -r - 3*s + 7*s. Solve 3*i = -i + r for i.
1
Suppose 2*y = -3*k + 10 + 10, k + 2*y - 8 = 0. Let m be 63/k*4/6. Let l = m + 0. Solve -l - 3 = -2*h for h.
5
Suppose 0 = -4*w + 12, 0 = 4*q + 2*w - 5*w + 1. Solve a - 3 = q*a for a.
-3
Let r(z) = -6*z**2 - 5*z + 2. Let y be r(4). Let i = y - -48. Let k be (i/(-9))/((-4)/(-6)). Solve 4*h + k = 3 for h.
-2
Suppose 4*k + 5*m - m = 0, 5*m = 5*k - 30. Suppose 3*x = k*d + 6, 4*x - 4 = 12. Solve -3*z = d*z - 20 for z.
4
Let g = 38 - 18. Solve t + 4*t = g for t.
4
Let v be 1*(1 + -2) - -1. Let r be (-3)/15 - 84/(-20). Suppose -r*i - 4*q = -8, 0 = -2*i - 3*q + 4*q + 10. Solve -z + i*z = v for z.
0
Let o(v) = v + 21. Let w be o(-17). Let d(x) = x + 1. Let k be d(3). Let m = -2 + k. Solve m = -w*f - 6 for f.
-2
Let h(v) = v**3 + 8*v**2 + 8*v + 9. Suppose d + 2*g = 5*g + 8, -4*d = -3*g + 13. Let c be h(d). Solve -c*b + 7*b = 0 for b.
0
Let b be 2/(-3) - 14/(-21). Solve b*n = 3*n + 12 for n.
-4
Let q be (-5)/(3/(1*-3)). Suppose 0 = q*j - 4*j - 10. Solve 2*y + 3*y = j for y.
2
Suppose -6*g + 30 - 6 = 0. Solve 0*x - x = -g for x.
4
Let w be (-47)/(-4) + (-3)/(-12). Suppose -5*j + w = -j. Solve -k + j*k = -10 for k.
-5
Suppose 5*c + 4 = 3*c. Let v be (1 - 1)*-1 - c. Solve 4*t - v + 10 = 0 for t.
-2
Suppose 0 = d - 0*i + 5*i + 19, 4*d - 4*i + 4 = 0. Let b = d + 10. Let o(v) = -2*v + 16. Let x be o(7). Solve b = x*p - 2 for p.
4
Let f = -48 - -48. Solve -2*v + f*v = 6 for v.
-3
Suppose 3*j + 2*j = 0. Solve -2*g + g = j for g.
0
Let k(q) = q**3 - 7*q**2 + 5*q + 7. Let n be k(6). Solve -3*p = -n - 2 for p.
1
Let v = -19 + 21. Suppose 0 = -v*w - w. Let b be 3/(0 - 1)*-2. Solve w = -0*i - 2*i - b for i.
-3
Let o be (-2 + 2)*(-2)/4. Suppose 4*a - 12 = 0, -5*v + 3*a = -0*a - 16. Suppose v = -s + 2*s. Solve -s*t - 10 = -o for t.
-2
Let o(u) = 16*u**3 + 2*u**2 + 2*u + 1. Let m be o(-1). Let q be -2 - (-6)/3 - m. Solve -4*k - q = k for k.
-3
Suppose 4*r - 11 + 3 = 0. Solve 0 = 4*j + 2 + r for j.
-1
Let d be (4/(-5))/(32/(-80)). Solve -d*b - 3 = 5 for b.
-4
Let i(n) = n**3 + 5*n**2 + 5*n + 1. Let a be i(-2). Let l(d) = -d + 8. Let m be l(4). Solve a*y - 5 = m*y for y.
-5
Let f(g) be the second derivative of g**5/20 - g**4/6 - 2*g**3/3 + 3*g**2/2 - 2*g. Let n be f(3). Solve n*p + 9 = -3*p for p.
-3
Suppose 17 = 5*n + 2. Suppose 0*u - n*u + 32 = -p, -2*u = 3*p - 36. Solve 6*o = 2*o + u for o.
3
Suppose 1 = g - 1. Let y(r) = -2*r**2 - 11. Let u(q) = -2*q**2 - q - 10. Let l(w) = -7*u(w) + 6*y(w). Let o be l(-4). Solve 0 = g*n + 2 - o for n.
3
Let o(n) = 4*n**2 - 3*n - 2. Let v be o(-1). Solve v*r = r - 20 for r.
-5
Suppose -b = 4, 0 = -2*c + 4*b - 2*b + 12. Solve 17*f + c = 19*f for f.
1
Suppose -2*j = -5*l + 107, 0 = -2*j - 0*j - 2. Solve -6*p - l = 9 for p.
-5
Let l = 1 - -3. Solve -l*g = -3*g for g.
0
Let x(j) = j**3 - 8*j**2 + 4. Let h be x(8). Let t be h/18 + (-168)/27. Let n be 2/t + 2/6. Solve 3*u + 9 + 0 = n for u.
-3
Let z(a) = a**2 + 6*a + 9. Let b be z(-3). Solve -2*n + 4*n - 10 = b for n.
5
Suppose 0 = 2*t - x - 8, t + 5*x = 5*t - 16. Let s(u) = -u**2 + 7*u + 3. Let f be s(7). Solve -1 = t*b - f*b for b.
-1
Suppose s - 2 = y, -14 = 2*y + y - 5*s. Suppose 0 = j + j - 20. Suppose -3*b + 5*m = -j, 2*b - 6*b = -m - 2. Solve -y*c - 2*c - 4 = b for c.
-1
Let w = 73 - 72. Solve y - w + 2 = 0 for y.
-1
Suppose -16 = -3*a + 2*o, a + 5*o = 6*o + 6. Solve a*g = 5*g for g.
0
Suppose -4*s = -0*s - 20. Suppose s*y + v = 1, 0 = y - v - 3 + 4. Suppose 0 = 3*r + 2*x - 6*x - 24, 3*r + 4*x = y. Solve 2*l = r*l - 2 for l.
1
Let g = -52 - -54. Solve 0 = -g*j - 10 for j.
-5
Let k(c) = -c**2 - 3*c + 8. Suppose -22 - 13 = 5*l + 3*o, 0 = 2*l - 3*o - 7. Let w be k(l). Solve 0*i + w*i = 12 for i.
3
Let g be (4 - 4)/(1*-1). Let j be 9/(-3) + 8/2. Let u be 0/(0 - (j + g)). Solve l = -u*l for l.
0
Let i(a) = 9 + 2*a + a - 2*a. Let y be i(-7). Solve -y*t = -t for t.
0
Suppose 3*b - 103 + 67 = 0. Solve -m - 3*m = -b for m.
3
Let y(v) be the third derivative of 1/6*v**4 + 0 + 0*v + 1/3*v**3 - 2*v**2 + 1/30*v**5. Let r be y(-2). Solve r*o = 3*o - 4 for o.
4
Let g = -18 - -14. Let c be (-4 + (g - -2))/(-2). Solve 4*d = 1 + c for d.
1
Suppose -t + 3*g + 67 = 4*t, 3*g = 3*t - 45. Let c = -9 + t. Solve -c*k = -k for k.
0
Suppose 2*j = -3*j. Suppose -2*s + 4*s - 4*z + 8 = 0, -z = 4*s + 16. Let b = -2 - s. Solve -n - 3 + b = j for n.
-1
Let u be (-259)/(-28) + (-2)/8. Solve -3 = -2*i - u for i.
-3
Suppose -8*c - 6 = -9*c. Let q be (6 - c)/(2 + -6). Solve 5*a - 20 + 5 = q for a.
3
Suppose -4*g - 16 = -4*t, 4*t = 6*t + 3*g - 8. Solve 3*v - 1 = -t for v.
-1
Let c be (0/(-1))/(4 - 7). Suppose -2*z - 2*z = c. Solve z = 2*s - 4*s - 4 for s.
-2
Suppose 14*d = 2*d. Solve d*k - k = -5 for k.
5
Suppose -8*j + 3*j = -15. Let u be -5*(26/10 - 3). Suppose 3*p + 5*l + 22 = 7*p, -u*l = -5*p + 36. Solve j*i - 5 = p*i for i.
-1
Let d(n) = n**3 - 2*n + 1. Let f be d(2). Suppose -11 = 