a - 15 for a.
3
Suppose -3*v + 8 = -7. Suppose 12 = 3*d, -v*y + 13 = 4*d - 3. Solve -s + 2*s = y for s.
0
Let b(y) = -2*y**3 + 2*y**2 - 1. Let f be b(1). Let p be (f/(-3))/((-4)/(-24)). Solve -8 = 2*c + p for c.
-5
Let c be -2 - -1*6/1. Let l be (2/(-7))/((-1)/7). Suppose -b = -c*b - m + 25, -3*m = -l*b + 24. Solve -4*u + b*u = -15 for u.
-3
Let x(o) = o**3 + 6*o**2 + 3*o - 7. Let h be x(-5). Let r be (1 + 1)/((-2)/(-4)). Solve h*u + u = r for u.
1
Suppose 5*w - 4*i = 37, -i - 6 = -5*w + 22. Suppose -3*n + v - 7 = 0, 2*n = 5*n + 2*v + 4. Let b = 2 + n. Solve b*p = -p + w for p.
5
Let s(b) = -b - 7. Let x be s(-7). Let p = 2 + x. Solve -p*k = 3 - 13 for k.
5
Suppose 7 = -5*w - 3. Let i be (w - 1) + 3 + 3. Solve 2*d = i*d + 1 for d.
-1
Let g(h) = -h + 7. Let y be g(5). Suppose -y*t = t. Solve t*f + 4 = -2*f for f.
-2
Let b(m) = 5*m**3 - m. Let q be b(1). Suppose i - 4 = u, -4*u = i - q*i + 14. Let c be (2/4*0)/i. Solve c = -4*v - 0*v for v.
0
Suppose 0 = 3*d + 2 - 35. Let q = d - 8. Solve -q*t + 2 = -7 for t.
3
Let p be (-35)/10 + 1/(-2). Let i be 70/15 + p/6. Solve 0 = -0*y + 4*y - i for y.
1
Let m be 9/27 - 11/(-3). Suppose -23 = -3*g + 2*l, -5*g - l = -m*g - 11. Solve -4*h + 25 = -g*h for h.
-5
Let m be 8/6*(-3)/(-1). Suppose 3*c - 21 = 3*v, -v = m*c + c - 29. Suppose -c = -2*b + 3*t - 4, 0 = -5*t. Solve 0 = n + b - 2 for n.
1
Suppose 0*j = 2*g - 2*j - 4, 18 = 3*g + 3*j. Suppose 3 = -s + g*s. Solve -s = l + 1 for l.
-2
Let t = 45 - 33. Solve 2*k - t = 5*k for k.
-4
Let r be 0 + 1/(1/21). Suppose r + 34 = 5*v. Let b = 0 + v. Solve -6*i + 25 = -b*i for i.
-5
Let d(u) = u**3 + 11*u**2 + 10*u + 12. Let a be d(-10). Suppose -4*n = -a - 0. Suppose n*q = q. Solve q = -5*j - 5 - 0 for j.
-1
Let o = -74 + 78. Solve 0 = -o*c + 11 - 3 for c.
2
Let s be 0/(-5 - (-3)/1). Solve -3*q + 17 - 2 = s for q.
5
Suppose 3*k = -g + 25, 3*g - 60 = -g - 4*k. Suppose -6*d + g = -4*d. Suppose 7*y - 2*y = d. Solve y = -5*l + 26 for l.
5
Let g(z) = -z**2 - 7*z + 5. Let d be g(-7). Let k = 2 - 0. Suppose k*c - 13 = c. Solve d - c = 4*b for b.
-2
Let f(t) = -t + 3. Let k(i) = i - 2. Let y(b) = -2*f(b) - 3*k(b). Let c(a) = a - 9. Let j be c(4). Let r be y(j). Solve 12 = -r*g + 2 for g.
-2
Let q be 4 + -14*(4 - 5). Solve 0 = 5*i + q - 3 for i.
-3
Suppose -2*p - p + 6 = 0. Let l = -73 - -74. Let r = 13 - 8. Solve -r + l = p*k for k.
-2
Let a(o) = o**2 + 4*o - 2. Let p be a(-5). Suppose -4*m + p*b - 2 = 0, -3*m + 0*b - 2*b + 7 = 0. Let q be 9/6 + m/2. Solve q*t = -2*t - 16 for t.
-4
Let t be (-2)/(-1 + (-6)/(-8)). Suppose 0 = 5*v - 2 - t. Suppose -4*r = -v*r. Solve r = m + 3 - 2 for m.
-1
Suppose -10 = 4*q - 34. Let g = 16 + 0. Let h = g + -11. Solve 0 = -h*p + 2*p - q for p.
-2
Suppose 0 = 3*i + 5*q - 26, 12 + 2 = -i + 4*q. Let k be 2*(-1)/i*1. Let t = k + 1. Solve -b - 6 + 1 = t for b.
-5
Suppose -y - x - 9 = -2*y, 0 = 2*y + 2*x - 22. Let k = y + -6. Solve -k*a - 20 = a for a.
-4
Suppose -8 - 37 = -5*c. Let b(w) = w - 7. Let q be b(c). Solve -3*i = -2*i - q for i.
2
Let k = 8 - 4. Suppose 2*x - 3*x + k = 0. Solve -x*d = d for d.
0
Let v be (-9)/54 - 47/6. Let x = 11 + v. Solve 6*f = x*f for f.
0
Let d(q) = 2*q + 18. Let i be d(-6). Solve -i*p + 15 = -p for p.
3
Suppose -30*a + 29*a + 20 = 0. Solve -a = -0*d - 5*d for d.
4
Let x be (-8)/20 + (-4)/(-10). Let g(f) = -f**2 + f + 3. Let q be g(x). Solve q*n = -2*n for n.
0
Let d = -61 + 64. Solve 8 + 1 = d*m for m.
3
Let d = -12 + 12. Solve d*o - 10 = -2*o for o.
5
Let s(o) = -18*o**2 + 6*o - 3. Let j(d) = 6*d**2 - 2*d + 1. Let l(y) = -17*j(y) - 6*s(y). Let r be l(2). Solve 5*b + r = 1 for b.
-4
Let i be 1 - 1/(-1) - 1. Solve 3*c - 5 - i = 0 for c.
2
Suppose q = 2*v - 5*v + 1, v = -2*q + 2. Let s = 217 - 217. Solve k - 3 + q = s for k.
2
Let i(p) = -p**2 + 7*p - 7. Let k be i(5). Suppose 3*z = 9 - k. Solve -z*q - 6 = -0*q for q.
-3
Suppose -j + 2*k + 3*k = -6, 5*j = 2*k + 30. Let q(y) = y + 7. Let f be q(-3). Solve -8 = -j*n + f*n for n.
4
Suppose -2*l - m + 40 = 4*m, 2*l + 2*m = 34. Solve -10 = -10*i + l*i for i.
-2
Let g(u) = u + 3. Let r(v) = -4*v - 3. Let p be r(-2). Let n be g(p). Let x = -4 + n. Solve -1 = x*q - 5 for q.
1
Let w(r) = r**3 + 8*r**2 - 8*r + 12. Let x be w(-9). Solve 0 = x*c - 0 - 3 for c.
1
Suppose 3*z = -2*k - 3, -5*k + 0*z = -z - 1. Suppose -4*l + 2 = -18. Suppose 0*y - l*y = k. Solve y*u + u = 0 for u.
0
Suppose -f + 4*f + 18 = 5*m, -3*f = 3*m - 6. Let y be 13/(-78) - (-13)/6. Suppose -v + 9 = -4*r, 0 = -m*v - 3*r + 14 - y. Solve 0 = g - 6*g - v for g.
-1
Suppose -4*m + 45 - 13 = 0. Let g = m - 5. Suppose o - 2*o = -g. Solve 2*u + o = 1 for u.
-1
Suppose 0 = 2*u - b - 6, -4*b = -0*u + u - 12. Let s(t) = 3*t**3 - 3*t**3 + 7 + t**3 + u*t**2 - 4*t + 0*t**2. Let l be s(-5). Solve l*c - 7*c = 0 for c.
0
Suppose -3*x = 5 - 23. Let j = x + -2. Suppose -4*p + 8 = -0. Solve p - j = w for w.
-2
Suppose 15 = 4*t + h, -2*h = -2*t - 0*h. Solve t*x + 11 + 1 = 0 for x.
-4
Let w(i) = -4*i - 4. Let q be w(-3). Let b be (-2)/8 + 2/q. Solve -x = 1 - b for x.
-1
Let x be 39/65*(-10)/(-2). Let b = 3 - x. Solve b*q - 4*q = 0 for q.
0
Let n be 4*(-4)/(48/(-45)). Solve 0 = -3*y - n for y.
-5
Let g = -12 + 12. Suppose g*p - 4*p + 16 = 0. Solve 2*a = p*a for a.
0
Let v(m) = -4*m + 25. Let q be v(6). Let t = 4 + 0. Let j = t - q. Solve -2*n + 5 = -j*n for n.
-5
Let p = -14 + 19. Solve 3 = -2*c + p for c.
1
Let t(f) = -2*f - 16. Let k be t(-11). Solve -k = 4*c + 6 for c.
-3
Let k(q) = 3*q - 3. Let b be k(2). Suppose 5*o - n = 7, 4*o = b*n - 0*n - 1. Solve -o*a = -4*a for a.
0
Let b = -37 - -61. Suppose -4*z = 4*h - 96, h = -0*z + 3*z + b. Suppose -h = -g - g. Solve 2*a = -a + g for a.
4
Suppose -u - 12 = -4*s + s, 0 = -s + 5. Let y be 6/4*4/u. Let v(p) = 2*p - 1. Let j be v(y). Solve 0 = j*x + x - 8 for x.
2
Suppose r - 6 = -o - 0*o, r + 5*o - 22 = 0. Let f(z) = 4*z - r - 5*z**2 + 2*z - z - 4*z + z**3. Let h be f(5). Solve -4*t = -h*t for t.
0
Let g(v) = v**3 - 8*v**2 - 8*v - 2. Let k(a) = 4*a**3 - 24*a**2 - 24*a - 6. Let y(n) = 7*g(n) - 2*k(n). Let w = -3 + -4. Let b be y(w). Solve 2 = b*f - 8 for f.
2
Let k be (-7 - -10)/(3/20). Suppose 0*l = 5*l - k. Suppose -3*c = -l*c + 7. Solve c*u - 3*u + 8 = 0 for u.
-2
Let s(g) = 2*g**3 + g - 1. Let d be s(1). Solve -d*y - 2*y = 16 for y.
-4
Let y(k) = k**3 - k**2 - k + 1. Let g be y(1). Let t be -5 + 5 - (-1 + g). Solve 0 = 2*p + 9 + t for p.
-5
Suppose 3*q + o = 9, -o - 6 = -4*q + 6. Suppose 6*n = q*n. Solve n*h - 2*h - 2 = 0 for h.
-1
Let f = -23 + 27. Solve v + f = 5 for v.
1
Let r(m) = m**2 + 3*m - 1. Let p be r(-3). Let y = p + 1. Solve 0 = -o - y*o for o.
0
Suppose -4*p - 8 = -q, -3*p - 9 = -3. Suppose -4*m + 2 + 14 = q. Suppose -5*z + 3*s + 23 = 0, 2*s = m*z - 10 - 8. Solve z*c = 5*c for c.
0
Let p be -7*(1/(-7) + 1). Let m = p + 4. Let f be (m - -9) + 1*-2. Solve -l = 4*l - f for l.
1
Suppose 0 = 9*a - 45 + 18. Solve -a*k = 8 + 7 for k.
-5
Let s(f) = -f**2 + 4*f - 2. Let c be s(3). Suppose -5*v = -c - 9. Solve -x + v = x for x.
1
Suppose -2*f + 2 = -20. Solve 5*r + 1 - f = 0 for r.
2
Suppose 10 = -5*y, -p - 8 = -3*p + 4*y. Solve 2*h - 13 + 15 = p for h.
-1
Suppose 51 = 7*z - 26. Solve -1 = 4*j + z for j.
-3
Suppose -4*i = -5*c + 3 - 30, 3*i - 3 = -2*c. Suppose i*g - 6 = 6. Solve 8 + 8 = -g*y for y.
-4
Suppose 4*r = 4*a - 24, 2*a + 3*a + 2 = -3*r. Solve f = -a*f for f.
0
Suppose 0 = -2*u + 2 + 2. Solve -k + u = 1 for k.
1
Let b(o) = o - 1. Let n be (-1 - 0) + 6 + -2. Let c be b(n). Let z(p) = 2*p**3 - 4*p**2 + 3*p - 1. Let y be z(c). Solve y*q + 0 + 5 = 0 for q.
-1
Suppose w = -0*w + 5*g - 5, -4*g + 4 = -w. Suppose w = 3*a + 1 + 2, j - a = 5. Let v(o) = -o + 7. Let d be v(3). Solve 4*h - d = j for h.
2
Let z(x) be the first derivative of -x**3/3 - 5*x**2/2 + x + 2. Let w be z(-4). Solve -w*b = 8 + 7 for b.
-3
Suppose 7*u = -4*b + 2*u - 17, 2*b + 4*u = -10. Let q(l) = 2*l**2 + 2*l - 7. Let g be q(b). Solve -g = x - 1 for x.
-4
Suppose 2*u + i = -u + 6, 10 = 5*u + i. Solve -13 = -u*f - 5 for f.
4
Let j = 13 - 13. Let q(t) = t + 1. Let f be q(2). Solve j*s = f*s for s.
0
Suppose 4*g - 30 = 2*m, 5*m - 2 = -4*g - 7. Solve g*w = 2 - 12 for w.
-2
Let h = -123 + 125. Solve 3*a - h*a = -1 for a.
-1
Let r = 12 + -9. Let g = 22 - -2. Suppose -r*b + 7*b - g = 0. Solve b*y = y for y.
0
Let t