7*a + y*a for a.
4
Let n(z) = z**3 - 7*z**2 + 2. Let m be n(8). Let b = m + -66. Solve b*k + 16 = -4*k for k.
-4
Let x(m) = m**2 - 6*m + 1. Let w be x(6). Suppose -11*i = w - 12. Solve -8 = 3*d + i for d.
-3
Suppose 0 = -2*n - 6, -5*m + 3*n = -20 - 4. Let s = -250 - -247. Let v = s + m. Solve 2*c + 7 + 1 = v for c.
-4
Let c(y) = -y**3 - 11*y**2 + 34*y - 43. Let u be c(-14). Solve -5*r + 69 = u for r.
0
Let b(v) = 2*v + 1. Let g be b(1). Suppose 0 = -k - 2*k + g. Let j be 7 + k/(2/(-6)). Solve j*u = -u + 15 for u.
3
Let q(w) = 6*w - 5*w + 3 + 0 - 13. Let i be q(15). Solve i*r = -8 + 3 for r.
-1
Let q = 123 - 123. Solve q*c = c for c.
0
Suppose 8*r = -18*r. Solve -43*v + 39*v - 12 = r for v.
-3
Let m = 72 + -28. Suppose p = 3*i + 5*p - m, 4*p = 2*i - 16. Solve -i + 0 = 4*a for a.
-3
Let i(g) = -g + 6. Let s be i(6). Suppose 6*h - 3*h - 2*y + 50 = s, -5*h + 2*y = 82. Let u be h/28*(-28)/8. Solve 2 = -u*n - 0 for n.
-1
Suppose 2 = 433*i - 431*i. Solve -t - i = 2 for t.
-3
Let z be 13 + -22 + 6 + 5/(0 + 1). Let c be (2 - 3 - 7)/(-1). Solve -z = -2*o - c for o.
-3
Let w(p) = -4*p - 2. Let b be w(-2). Let u = b + -4. Let v = 5 - -7. Solve c = -u*c - v for c.
-4
Let b = -1 + 8. Let v(i) = i**3 + 4*i**2 + 5*i + 4. Let g be v(-2). Let j be 2/(-7) + (-4)/(-14). Solve j = -d + b - g for d.
5
Let n be (-1)/3*(-5 + -1). Suppose -5*k = -z - 22 + n, 2*k + 4*z = 8. Let q be ((-4)/6)/((-4)/24). Solve -k*s - q = 12 for s.
-4
Let z = -28 + 39. Let j = 35 - z. Suppose -5*w - 3*g - g + j = 0, 4*w = g + 15. Solve -1 = -w*s + 7 for s.
2
Let k = 118 + -116. Solve 10 = -0*a + k*a for a.
5
Let m(u) = 2*u**2 - 4 + 3*u + 0*u**3 - 3*u - u**3 + 2*u. Let v be m(2). Solve -k = -v*k for k.
0
Suppose -3*i - 5*t - 4 = 0, 17*t = -2*i + 21*t + 34. Solve -2*j - i*j = -3*j for j.
0
Suppose 6 = -11*g + 50. Solve 9*o = 7*o + g for o.
2
Let s be 988/(-36)*-1 + (-8)/18. Solve 4*c + 7 = s for c.
5
Let c(s) = -4*s - 151. Let r be c(-40). Solve 0 = -18*d - 63 - r for d.
-4
Suppose -4*h - 2*m = -m - 20, -3*m = -5*h + 42. Solve -4*o + 10 = h*o for o.
1
Let y(z) = z**3 - 7*z**2 + z - 4. Let t = -46 - -53. Let v be y(t). Solve 0 = 2*i + v*i + 10 for i.
-2
Let v(x) = 2*x**2 + 78*x + 308. Let k be v(-35). Solve -k - 57 = -17*w for w.
5
Let s be ((-10)/(-3) - 3)*0. Suppose s = -2*u + 5*t + 75, 2*u - 46 - 32 = 2*t. Suppose 7*p - u = 3*p. Solve q = -4*q - p for q.
-2
Let h = -345 + 345. Solve 7*i - 28 = -h*i for i.
4
Suppose 11*o - 2 = 10*o. Suppose -15 = t + 5*l, 0 = o*t - 2*l - l - 9. Solve t = -3*r + 4*r for r.
0
Suppose -2 = -2*k + 38. Let w(y) be the third derivative of -y**4/24 - y**3/6 - 2*y**2. Let l be w(-4). Solve h = -l*h - k for h.
-5
Suppose -109 = -10*s + 91. Solve -97*k + s = -93*k for k.
5
Let v = 61 + 51. Let z be v/10 + (-2)/10. Solve -5*q - 1 = -z for q.
2
Suppose -5*r + r - 2*i + 46 = 0, 3*r + 3*i = 39. Let u be (r/(-30))/((-2)/(-12)). Let q be u/(-3)*6/4. Solve 5*z = -q - 4 for z.
-1
Suppose 0 = 12*i - 14*i + 12. Solve -7*p + 4*p + i = 0 for p.
2
Let w(y) = -y**3 + y**2 + 10*y - 1. Let q be w(-3). Suppose a = 2*a + 3*i + q, -5*a + 4*i = -13. Solve m - 1 = a for m.
2
Let l = 270 + -173. Suppose 2*j - 7*j - 5 = 0, l = 4*u + 3*j. Solve 0*h = -5*h + u for h.
5
Let y be (10/(-3))/((-40)/60). Solve y*a + 4 - 14 = 0 for a.
2
Suppose f - 23 = -21, 2*g + 4 = 5*f. Solve -3 = -g*v + 4*v for v.
-3
Suppose -l = 3 - 12. Let j = l - 7. Suppose j*i - 9 = -i. Solve -5*u - 10 = -i*u for u.
-5
Let c = 7 - 7. Suppose c = z - 0*z + u, -3*z = 4*u + 3. Solve 1 = z*k - 4*k for k.
-1
Let s = -105 + 94. Let l = s - -13. Solve -2*j = l*j for j.
0
Let s be 0 + 1 - (-6 + 3). Suppose 2*f - 2 = 4*p, -4*p - 3*f = -8*f + 5. Suppose -4*h + 2*h + 14 = p. Solve -s*o - 1 = h for o.
-2
Let o = -32 - -52. Suppose -y + 5 + 4 = 0. Suppose y*c - 4*c = 15. Solve -c*t - o + 8 = 0 for t.
-4
Let g(d) = -d**3 + 30*d**2 + 30*d + 34. Let n be g(31). Solve n*w = w + 6 for w.
3
Let u be 6/30 - (-72)/15. Suppose 34 + 36 = u*q. Solve 0 = -4*w - 2 + q for w.
3
Let g be 9 - 0 - 440/110. Solve -2*i - 21 = g*i for i.
-3
Suppose 0 = -42*z + 44*z. Solve -3*h - 5 + 11 = z for h.
2
Let g = -2888 - -2907. Solve 2*l - g = -21 for l.
-1
Let y = 11 - -22. Let t be (-1*y)/(0 - 3). Solve -31 + t = 5*f for f.
-4
Suppose 4 = 3*b - 3*t + 4*t, -2*b = t - 2. Solve -5*d + b = -3 for d.
1
Let o(u) = u**2 + 5*u - 35. Let a be o(-13). Let d = a + -61. Solve -g - d = -3*g for g.
4
Let s be 10/(-20) - 15/(-2). Solve -4*z = -s + 15 for z.
-2
Suppose 0 = -15*d + 66 + 99. Solve 4 = -5*q - d for q.
-3
Let k(z) = 1. Let b(v) = -4*v + 6*v - 3*v. Let c(q) = -b(q) - 5*k(q). Let j be c(8). Solve -r - 2 + j = 0 for r.
1
Let f(t) = t**2 + 27*t + 129. Let p be f(-21). Let y(r) = 5*r**2 - r + 1. Let g be y(1). Solve -2*z = -g + p for z.
1
Suppose 15 = -3*r, -a = 12*r - 11*r + 3. Solve 33 = -a*b - 9*b for b.
-3
Let s be -2*10/(-4) + -2. Let c be 1*(-1 + 15/5). Suppose y + 2*y + 15 = 3*w, 15 = c*w - y. Solve w = s*h + 2*h for h.
2
Let v = 10 + 8. Let a = v - 13. Suppose 2 = 5*z + 2*k - 19, 4*k = 2*z + 6. Solve -z*c + a = 2*c for c.
1
Let i = -473 - -478. Let o(h) = h**2 - 6*h + 3. Let q(k) = k - 2. Let v be q(8). Let j be o(v). Solve -4 = -i*y + j*y for y.
2
Let j = 31 - 12. Suppose 6 = 5*n - j. Let i be (-1)/(-2 + 0 - -1). Solve s + i = n for s.
4
Suppose -30 = -3*h - b, -3*h + h - 5*b + 20 = 0. Let x = 10 + h. Solve -3*m + x = 2*m for m.
4
Let m be 40/(-12)*(-3)/2. Suppose -2*h + 7*h + 25 = 5*c, -4*c = -m*h - 23. Suppose 2*z - c*v = 18, 3*v = 2*z - 16 + 1. Solve -2*p - z = p for p.
-4
Suppose -35 = -28*c + 27*c - 3*h, -4*c + 95 = 3*h. Solve -6*n + n - c = 0 for n.
-4
Suppose 2*p = 5*p + 3*v - 42, 0 = -3*p + 2*v + 22. Suppose -2*f - 4*j - p = 0, -3*j = j + 20. Solve t = f*t for t.
0
Let n(p) = -3*p + 1. Let q(a) = -2*a. Let k(g) = -3*n(g) + 4*q(g). Suppose -i - 4 = -2*c, -i = -4*c + 3*c - 1. Let x be k(i). Solve o - x = -2*o for o.
1
Let o be (2 + 0)/((1 + -8)/(-49)). Solve 0 = -16*j + o*j for j.
0
Let d(p) = p**2 + p + 2. Let l be d(2). Let f = 35 + -19. Suppose -22 = -3*t - f. Solve -l = -0*s + t*s for s.
-4
Let o be 448/9 - 18/(-81). Solve 54*w = o*w for w.
0
Let a be (5 - 8) + (2 - -15). Solve -5*m + a = 14 for m.
0
Suppose 20 = 6*k - 2*k. Suppose 5*a + 0*q = 3*q - 3, -5*a = -k*q + 5. Solve a*y = -4*y for y.
0
Let j = -113 + 111. Let b be 8/((8 - 5) + j). Solve 0 = -7*h + 3*h - b for h.
-2
Let x be (-34)/(-4 + 2) - 2. Suppose -b = 4*b - x. Solve -6*t = -b*t for t.
0
Let i be ((-102)/2)/(66/(-44)). Let o = i + -32. Solve o = t - 2 for t.
4
Suppose -5*i + 4*c = 20, i + 0*c = -2*c - 4. Let p(n) be the first derivative of -n**2/2 - 2*n - 9. Let f be p(i). Solve f*m = m for m.
0
Suppose -187*k = -191*k + 24. Solve 4*f = k*f for f.
0
Let y(j) = -2*j. Let p(h) = -6*h + 2. Let b be p(3). Let t be (-2)/1*(-8)/b. Let k be y(t). Solve 5*u - k*u - 12 = 0 for u.
4
Let j = -6 + 10. Suppose n - 17 = 92. Let r = n + -93. Solve j = 4*x + r for x.
-3
Let b(v) = -31*v + 1056. Let n be b(34). Suppose -2*h + 11 = -3*c, -4*h - 4*c = -21 - 31. Suppose 5*i - 3*i - h = 0. Solve n = i*g - 3 for g.
1
Let h be (116/16 + -7)/((-2)/(-8)). Solve 95*o - 94*o - h = 0 for o.
1
Let w(b) = -17*b + 245. Let y be w(14). Solve -12*p + y = -17 for p.
2
Let s(y) = y**3 + 18*y**2 - 20*y + 15. Let n be s(-19). Suppose n*q - 36*q = -6. Solve -q*o + 3 = -0*o for o.
1
Let w be (8/40)/(2/10)*-53. Let l = -28 - w. Solve -3*u - 2*u + l = 0 for u.
5
Suppose 44 = 7*f - 12. Suppose -5*w + 19 + 16 = 0. Suppose 0 = 3*b - f - w. Solve -3*r - b = 4 for r.
-3
Let j(f) = -14*f - 244. Let y be j(-20). Solve 7*z - y = -2*z for z.
4
Suppose 16 = 4*p - 2*p + 3*i, 0 = p - i + 2. Let f be 39/p*(-24)/(-36). Let l = f - 12. Solve -q - l - 4 = 0 for q.
-5
Suppose -3*y + 22 = -5*c, -4*y + 3*c + 25 = 3. Let j be (0 - 0)*(-5)/(-10). Solve -y = 4*m - j for m.
-1
Suppose -140 = -5*s + 4*w, -2*s - 2*w = -30 - 26. Let u = s + -3. Let z be (u/(-5))/(1/(-4)). Solve -z = p - 6*p for p.
4
Let q = 24 + -20. Let u be (-4)/((-2)/(-2 + q)). Solve 4 = 3*o - u*o for o.
-4
Suppose -3*m = 2*m + 95. Let n = -27 - m. Let k(b) = -5*b - 24. Let c be k(n). Solve c = 3*o + o for o.
4
Let i = -291 + 294. Solve 0*z - i = 3*z for z.
-1
Let c be (-2)/(-1) + (-2)/(-8 - -6). Solve 2 = -c*t - 10 for t.
-4
Suppose 28*r - 30*r = 18. Let u be 7 - 3 - (-36)/r.