Suppose 0*a = a - 4. Solve -5*w = -a*w - 1 for w.
1
Let a be 4*(-1 - -2) + 0. Suppose f = -a*f. Solve 2*q + q - 12 = f for q.
4
Suppose 0 = -3*g + 2*g. Let r = -2 - -5. Let y = r + g. Solve -y = -2*q - 7 for q.
-2
Let u be (1/1)/(7/49). Let w = -2 + u. Solve -8 = -w*o + 3*o for o.
4
Let o(z) = -4*z + 28. Let j be o(7). Solve 0 = 4*c - j - 4 for c.
1
Let v(w) = 2*w - 9. Let a be v(6). Suppose -a*f - 2 - 1 = n, 3*f - 45 = 3*n. Let i be (-98)/n + (-4)/24. Solve 0 = 4*q + i + 8 for q.
-4
Let u(z) = -8*z**2 + 13*z**2 - 4*z**2 - 12 + 8*z. Let w be u(-10). Solve 3*c = -w + 2 for c.
-2
Suppose 0 = b - 0 - 7. Suppose -1 + 4 = x. Let p be (-10)/6*(-4 - -1). Solve x*g + p = -b for g.
-4
Let k(p) = 0*p + 2 - 1 - p - 5. Let w be k(-5). Solve -11 = -5*v - w for v.
2
Suppose -5*i = -i. Suppose i = -3*y - 2*u + 8, -3*y + 5*y = 5*u + 18. Suppose -3*g = y*c - 23, -2*g + 3*c + 6 = c. Solve -g = j - 0*j for j.
-5
Let b be (-6)/1*6/(-9). Suppose 3*m - 29 = 3*z - b*z, -z = 4*m - 37. Solve -2 + m = 3*r for r.
2
Let n = -8 - -11. Suppose -c + 3*s + 21 = 0, n*s = -0 - 6. Solve -c = -3*t - 2*t for t.
3
Suppose 2*b + 3 = 9, 4*s + b - 11 = 0. Let v(y) be the first derivative of -y**3/3 + 2*y**2 + y + 2. Let w be v(4). Solve w = -s*g - 1 for g.
-1
Let g = -2 + 7. Solve 0 = g*u - 18 - 7 for u.
5
Let n = 5 - 2. Suppose -4*q - 4*a + 8 = 0, 2*q + q - 2*a = -4. Solve q = -o + n*o - 10 for o.
5
Let q be (-10)/30 - (-40)/3. Let u = 24 - q. Let k = u + -8. Solve 0 = 2*l + k*l + 25 for l.
-5
Suppose r + 3*r = 3*s - 3, -3 = 3*r - 3*s. Suppose -y + 10 = 4*y. Suppose 0*z + y*q = -3*z + 5, 5*q - 1 = 4*z. Solve -2*p + 3*p + z = r for p.
-1
Let w(z) = z. Let q be w(4). Let u(t) = -5 + 0 + 0 - 4*t + t**3 - q*t**2. Let o be u(5). Solve o = 4*k - 9*k for k.
0
Let d be -1*1*-5*4. Let b(a) = a - 1. Let o(p) = p**2 + p + 10. Let q(n) = 4*b(n) + o(n). Let h be q(-4). Solve -2*f = h*f + d for f.
-5
Let u be (-1 - -4) + 3 + -6. Solve -5*i = -u*i - 15 for i.
3
Let x be 1*(95 + -2 + 3). Let t = x + -15. Let l be (t/18)/(3/4). Solve l = -q - q for q.
-3
Let z be (-5)/(-7) + -1 + (-45)/(-35). Solve -z = 7*j - 8*j for j.
1
Suppose -2*w - 3*w = 0. Suppose -9*z + 43 = -2. Solve -z*h + w*h = 15 for h.
-3
Suppose 0 = -5*n + 19 + 11. Solve -2 = 2*q + n for q.
-4
Suppose 0 = a - y - 1, a - 4*a + 15 = y. Let s be 1*a/(-1 - -3). Solve -l - l - s = 0 for l.
-1
Let i(y) = -y**2 - 5*y + 2. Let v be i(-5). Let p be 0 - (-5 + -1 + 2). Suppose p*q + 21 = 5*d, -3*q + 19 = 3*d + q. Solve -v*t = d - 1 for t.
-2
Let q be (-21)/56 + (-81)/(-24). Solve -4*c + q = -13 for c.
4
Let k(y) = y + 7. Let a be k(-5). Let p be 4/(-8) - (-1)/a. Solve p = i - 5*i for i.
0
Let r = 19 + -15. Solve r*y = 6*y for y.
0
Suppose -1 = -3*a + 4*d, 0 = 5*a + d - 1 + 7. Let j(x) = -3*x - 1 + 0 + 0*x. Let q be j(a). Solve q*o = o for o.
0
Let i(t) be the first derivative of -t**2/2 + 2. Let y be i(0). Suppose -2*w = -4*a - 0*a + 4, -4*a + 4*w - 4 = y. Solve -a*d - 12 = d for d.
-3
Suppose 2*f + 6 = 2*t, 0*f + t = 4*f. Solve 0 = -2*o - f + 3 for o.
1
Let w(f) = f**2 + 11*f - 24. Let k be w(-13). Solve 0 = -x - k*x for x.
0
Let p be (-77)/22*(-4)/14. Let s(g) = g**3 + 4*g**2 - 5*g - 3. Let w be s(-5). Let j = p - w. Solve -5*f - 6 - j = 0 for f.
-2
Let w(l) = -l**3 + 3*l**2 - 2*l + 1. Let i be w(1). Suppose 2*t = 5*r - t - i, -4*t + 8 = -2*r. Solve r = -3*k - 4 for k.
-2
Let d be (4/8)/((-2)/32). Let p(g) = 0*g**3 - 8*g**2 + 0*g**3 + g + 11 - g**3. Let t be p(d). Solve 0 = 2*j - 5*j - t for j.
-1
Let r be (0 + 4)*(-5)/(-4). Suppose -5*s = -2*s. Suppose 5*l - k + 1 = s, -l + 2 + 0 = 2*k. Solve l = -2*u + u - r for u.
-5
Let n(w) = w**3 - 8*w**2 + 5*w + 16. Let u be n(7). Solve -u*h = -3*h + 2 for h.
2
Let p be 2*(0 - -3 - -1). Let h be (-3)/(-5)*(-3 + p). Solve 1 = 2*r + h for r.
-1
Suppose -4*z + 6 = -z. Suppose v - 5 = x, -2*v = x + 1 - z. Solve -v*m = -3*m + 4 for m.
4
Let g = 3 + 5. Solve a - g = -a for a.
4
Suppose -8*i = -3*i. Solve i - 6 = -2*t for t.
3
Suppose 0 = o + 3 + 3. Let y = o - -10. Solve -y*i + 1 = 13 for i.
-3
Suppose -5*l - 3*c = -226, 4*c - c = 4*l - 170. Let i = l - 29. Solve -8*y + 3*y = i for y.
-3
Let d be (-3)/2*(-70)/15. Let y = 12 - d. Solve -4*u = u - y for u.
1
Let g(s) = s**2 + 6*s + 2. Let o be g(-6). Let i(u) be the third derivative of -u**5/60 + u**4/8 - u**3/3 + 2*u**2. Let w be i(o). Solve b = -w*b - 3 for b.
-3
Let f be (-12)/8*(-2)/3. Let z = f + 2. Let v be (4/(-6))/(2/(-12)). Solve v - z = a for a.
1
Let j(t) = -t + 12. Let n be j(9). Solve 0 = -0*a + n*a - 15 for a.
5
Suppose 2*i = -0*i. Solve i*k - k = 0 for k.
0
Suppose 7*j = j. Solve -5*x + j*x + 15 = 0 for x.
3
Let a(d) = -d**3 - 5*d**2 - 7*d - 5. Suppose 25 = -0*f - 5*f. Let k be a(f). Suppose -m + k = 4*m. Solve 4*i + m = -2 for i.
-2
Let o be -1 - (-1*2 + -2). Suppose 0 = y - o*y + 8. Suppose -4*f + 1 = -s - 1, -f + s = -2. Solve -y*h + 0*h - 4 = f for h.
-1
Let y be 6/(-7)*(-56)/12. Solve -y = s + s for s.
-2
Let n be (1 - (-5)/(-2))*-4. Let m = 42 + -42. Solve 2*d + d + n = m for d.
-2
Let t be 0 + -1 - (-1 - 0). Suppose 2*v = x + 6*v - 22, 4*v - 20 = t. Suppose -1 = -4*i - 3*w, 3 = -x*i - 5*w - 0*w. Solve -4*j = 3 + i for j.
-1
Let s be ((-5)/(50/16))/(12/(-90)). Solve -3*o - s = -7*o for o.
3
Let u = 4 + -3. Suppose 5*g - 4*g = u. Solve -3 = -4*z + g for z.
1
Suppose -3*p = -p - 4. Solve 5 = -p*n - 3 for n.
-4
Let r(s) = -s**3 + 9*s**2 + 14*s - 13. Let f be r(10). Suppose 0 = 5*u - f + 2. Solve q = u*q for q.
0
Let c be 2/(-9) + 548/36. Suppose -4*i + n = -c, 4*i - 14 = 5*n + 13. Suppose -d + 4 = 0, -5 = -i*m + 5*d - 16. Solve -2*z - 5 = m*z for z.
-1
Let h = -2 - -3. Solve 0*y - h = -y for y.
1
Let l(n) = 2 + 0 - 4*n**2 + 3*n**2 + 2*n. Let a be l(2). Solve a*r = -r for r.
0
Suppose -5*s = -2*v - 8, -30 = -v - 2*v - 3*s. Let z(x) = x**2 - x + 14. Let k be z(0). Solve -k = -4*h + v for h.
5
Let x = 3 - 4. Let d be (-13)/x - (-2 + 4). Suppose 5*j - 9 - d = 0. Solve j = -0*l - l for l.
-4
Suppose -2*n = -5*j - 39, 4*j = -n + 8*j + 18. Let m be (-1 - (-2)/3) + (-522)/54. Let x = n + m. Solve -2*c - x = -5*c for c.
4
Suppose 2*p - 20 = 20. Suppose 2*f = -62 + p. Let b be 280/f*6/(-4). Solve m + b = -4*m for m.
-4
Let r be 5/(6/(-36)*-2). Solve -r = -10*o + 7*o for o.
5
Let o be (-6)/33 + 86/(-11). Let v be (1 - (3 + o)) + -3. Let d = v + 2. Solve g + d = 2*g for g.
5
Suppose -f = -3*f - o - 4, -16 = 4*f + 4*o. Suppose -3*z - 4*w + 41 = f, 4*z - w = -3*w + 58. Let l be 1*5*9/15. Solve -z = l*s - 0*s for s.
-5
Let t = -8 + 5. Let j = -8 + 5. Let q = t - j. Solve -2 = -q*x - 2*x for x.
1
Let s(a) = 4*a. Let p be s(-3). Let i be ((-3)/(-9))/((-2)/p). Solve -i*n + 2 = -n for n.
2
Suppose 3*f - 7 = 5. Suppose -4*l + 0 = 2*n - 4, 2*n - 12 = f*l. Let d be (2/n)/(2/16). Solve d*k + 15 = -k for k.
-3
Suppose -11 = 2*l + 3*x, -4*x + 0*x = 4*l + 12. Let n(r) = r**3 + 4*r**2. Let u be n(-4). Suppose u = 5*m - l - 13. Solve -7*v = -m*v for v.
0
Suppose -2*t + 5 = 1. Let b be 3/(-6) + 5/t. Suppose m - 19 = -4*z - 1, 4*m = b*z - 18. Solve -12 = -z*v - 2 for v.
2
Let a(k) = k**2 + 11*k + 10. Let x be a(-11). Suppose x*f - 13*f + 6 = 0. Solve 0 = d + f*d for d.
0
Let u = 19 + -14. Solve -2*l = -u - 3 for l.
4
Suppose -5*y + 15 = -0*y. Solve -9 = -y*x - 0*x for x.
3
Let d be (-14)/(-3) + 20/(-30). Solve -d*z - 10 = 10 for z.
-5
Let r(b) = 7*b**2 + 2*b. Let x be r(-2). Suppose 3*q = 3*u - 12, 6*q + x = -4*u + 2*q. Let y be (-2 + 1)*2*u. Solve -y*i + 3 = -i for i.
3
Suppose -3*c + 100 = 2*c. Suppose -k = 4*t - 13 - 0, 5*k - c = -5*t. Solve m + 8 = -t*m for m.
-2
Let z be -20*((-6)/3)/8. Suppose -4*b = v - z*v - 8, -4*v + 2*b + 2 = 0. Solve v*f - 15 = -0 for f.
5
Suppose -44 + 0 = -11*o. Solve -12 = 2*i - o for i.
-4
Let t be 16/9 + 40/180. Solve -t*u = u for u.
0
Let h(f) be the second derivative of -f**5/20 - 5*f**4/12 + 2*f**3/3 - 3*f**2/2 + 2*f. Let v be h(-6). Let b = -6 + v. Solve 0*g - 3*g - b = 0 for g.
-1
Suppose 0 = 4*g - 10*g + 30. Solve -g = t + 4*t for t.
-1
Let n(v) = -v**2 + 4. Let s be n(-2). Let t be (s - 12/3) + 7. Let m = 3 - 0. Solve 0*b = m*b - t for b.
1
Let i(h) = -2*h**2 + 10*h + 1 + 5 - h**2 + 2*h**2. Let q be i(10). Solve -10 + q = 4*t for t.
-1
Let c(h) = 3*h - 6. Let x be c(2). Solve x = -3*p + 4 + 2 for p.
2
Let c be 2 - -2 - (-3 + -3). 