ve -5 = 3*a - k*a for a.
1
Let w = -1 + 3. Let x(j) = j**3 - 3*j**2 + 7*j - 4. Let i be x(4). Suppose -f = 4*f - i. Solve 2*l = -w*l - f for l.
-2
Let v = -6 + 8. Suppose 5*y + m = -1, -2*y + v*m = -0*m - 2. Solve 2*t - 12 + 4 = y for t.
4
Let j = 2 + -2. Solve j = 2*r - 5*r - 15 for r.
-5
Let y be 0*(-1)/((-2)/(-1)). Solve -x + 4 = -y*x for x.
4
Let m = 7 - 4. Suppose t + 2 = -q, m*t + 4*q + 12 - 1 = 0. Solve 1 = 4*n - t for n.
1
Let c(z) = -z**2 - z + 1. Let r be c(-1). Let p be -6 - -10 - (-7)/r. Solve 0 = 3*i - 1 - p for i.
4
Let a be (-28)/21*(1 + -4). Suppose 2 - 4 = j. Let v = 9 + j. Solve a*y = -v - 5 for y.
-3
Suppose 0 = 3*z - 9 - 3. Solve 2*v + 2 = z for v.
1
Suppose 0 = 10*j - 6*j - 24. Let v(u) = u - 1. Let t be v(j). Solve 0 = -2*p - 1 - t for p.
-3
Let f(t) be the third derivative of -1/24*t**4 + 0 + 0*t - 5/6*t**3 - 3*t**2. Let a be f(-6). Solve -2 - a = 3*u for u.
-1
Suppose -21 = -13*v + 10*v - 3*y, -5*y + 30 = 4*v. Solve -v*i + 2 = 7 for i.
-1
Let d be -6*(35/(-10) + 3). Solve 9 = 3*n + d for n.
2
Suppose 18*a - 24*a + 12 = 0. Solve -a = -d - 1 for d.
1
Let u = 1 + -1. Suppose 5*d - 100 = 5*a, 6 = -a - 2*d + 1. Let l = a + 30. Solve u = -3*g + l for g.
5
Let y be ((-4)/6)/(2/(-30)). Let z = 217 - 214. Solve -z*u + y = -u for u.
5
Suppose 0 = 4*w + 5*d - 7, -2*w + 0*w + 9 = -3*d. Solve 3*z - w = -0*z for z.
1
Suppose -n + 4 = -1. Let k(w) = 6*w + 1 + 3 - n + w**2. Let y be k(-7). Solve 0 = -m - y + 1 for m.
-5
Suppose -3*x = 3*c - 97 + 1, -5*x - 130 = -5*c. Let l(u) = -u - 9. Let q be l(-12). Suppose -c = -4*g + q. Solve -12 = -g*d + 4*d for d.
3
Let t(n) be the second derivative of -n**5/20 + n**4/4 - n**3/6 - n**2/2 + 3*n. Let f be t(2). Solve 4*z - f = 3 for z.
1
Suppose -3*g + u + 39 = g, 0 = 3*g - 5*u - 42. Let x = 12 - 8. Let k = g - x. Solve -2*n = k + 3 for n.
-4
Let y(l) = -l + 6. Let t be y(6). Suppose -4*q + 3*w - 15 = t, 5*q - 4*w = -7*w - 12. Let a be 15*(2 - (-5)/q). Solve 11 = -3*f + a for f.
-2
Let q be (6/(-15))/(2/(-5)). Suppose u = 2 + q. Solve -4 = b + u*b for b.
-1
Let f(g) = g**2 - 10*g - 7. Let b be f(11). Suppose -46 = -3*m - b*a, -2*a + 32 = 3*m - 6. Suppose n + 0 = m. Solve -2*p + n - 2 = 0 for p.
4
Let i(r) = -r**2 - 8*r + 9. Let f be i(-9). Solve 3 = x - f for x.
3
Suppose o = -2*h - 8, 4 = 2*h - 3*h. Solve o*m + 3 = -m for m.
-3
Let q(s) = -s**3 + 8*s**2 + 10*s - 5. Let m be q(9). Suppose -m*o + 2*o - 24 = 0. Let x be (-1)/3 + (-16)/o. Solve -f + x = -4 for f.
5
Let b be 3/(-15) - (-52)/10. Suppose -4*g + t = 2, -b*t - 5 = g - 15. Solve g = 2*q + 3 + 3 for q.
-3
Let l(g) = 2*g**2 + g - 3. Let q be l(3). Suppose -4*z + 58 - q = 0. Let o be (6/(-5))/((-12)/40). Solve -o = 2*n - z for n.
3
Suppose 4*z = -c + 23, 2*z + 143 = 4*c + z. Let a = -20 + c. Solve 2*s = -3*s - a for s.
-3
Let s = 6 + -2. Suppose -2*a + s*k - 4 = 0, 0 = -2*a + a - 2*k + 10. Suppose -3*b - 2*v - 2 - 4 = 0, -15 = b + 5*v. Solve b = -0*g + a*g for g.
0
Suppose 10*b = 13*b - 15. Solve -b*s - 3 = -6*s for s.
3
Let c(l) = -l**3 + l**2 + 2*l + 2. Let b be c(-2). Let j = b - 2. Solve j = o + o for o.
4
Suppose 0 = 4*o - 3*k - 3, -18 = -6*o + o - k. Solve 12 = -o*s - s for s.
-3
Let d(c) = -c**3 - 5*c**2 - c - 2. Let x be d(-5). Suppose 0 = 2*b - 6 - 10. Solve x*y - b = y for y.
4
Let n be (-7 - -2) + -4 + 2. Let q(p) = 1. Let x(j) = -j**3 - 8*j**2 - 7*j - 6. Let f(w) = 2*q(w) - x(w). Let l be f(n). Solve 4*t + 0*t = -l for t.
-2
Suppose 0 = -6*d + d. Solve d = 7*w - 3*w for w.
0
Let f(v) = -2*v - 4. Let y be f(-4). Let z(r) = -r**3 - 9*r**2 - 7*r + 10. Let t be z(-8). Solve -n = -t*n - y for n.
-4
Suppose 0 = -18*d + 29 + 43. Solve -d = 4*p + 4 for p.
-2
Let h be 2/((-2)/(-8)*-1). Let p(r) = -r**2 - 9*r + 2. Let m be p(h). Suppose 8 = 7*u - 3*u. Solve -m = u*i - 0 for i.
-5
Suppose -5*h + 2*f = -144, 5*h - 2*f = f + 146. Let v = 2 + 2. Suppose -3 = -5*g - v*x, -g + 2 = 3*x + 8. Solve 5*d = g - h for d.
-5
Suppose 0 = -3*k + 2*a + 1 + 2, 0 = 5*a. Let z be 1*((-1)/k + 1). Let o(t) = t**3 + 5*t**2 - 6*t + 4. Let p be o(-6). Solve -p*j = -z*j for j.
0
Suppose j + 2*j = 2*j. Solve -u - 1 = -j*u for u.
-1
Let d(c) = -7*c**3 - c**2 - 2*c - 1. Let b be d(-1). Solve -5*l + 22 - b = 0 for l.
3
Let z(h) = 18 + 9*h + 2*h**2 - 3*h**2 - 1 + 2*h**2. Let d be z(-7). Solve -4*x = -d*x - 3 for x.
3
Let h = 34 + -52. Let y = 20 + h. Solve v = -y*v for v.
0
Let w(u) = -u**3 + 8*u**2 - 7*u + 5. Suppose r - 2 = 12. Suppose 0 = 2*i - 0 - r. Let c be w(i). Solve 3*z + c = 4*z for z.
5
Let u(n) = n**2 + 5*n. Let s(b) = -b**2 - 1. Let l be s(-2). Let c be u(l). Suppose c = -0*p - 3*p. Solve -5*a = -p*a + 5 for a.
-1
Let l = 33 + -21. Suppose -l = -2*d - 4. Solve -d*a = a for a.
0
Let s = -5 + 7. Suppose -h + s*g = 3*h - 10, 5*h - g = 11. Solve -t - h + 4 = 0 for t.
2
Suppose -8*a + 6*a + 8 = 0. Solve 0 = 2*m - a*m for m.
0
Suppose 3*l = -0*l. Let z be 3 + (1 + l)*-1. Let v be (-8)/12 + z/3. Solve 3 = -3*r - v for r.
-1
Suppose 5*x + 4*y = 3*x + 4, -x + 3*y - 8 = 0. Let o = x - -4. Solve o*g + 4 = 3*g for g.
4
Let g(d) = d**2 - 21*d - 75. Let f be g(25). Solve -5*j + 10 - f = 0 for j.
-3
Suppose 1 + 15 = 8*m. Solve -6 + 0 = -m*u for u.
3
Suppose 2*j - 8 = 2*c, -3*c = -5*j - c + 20. Let y(u) = u**2 - u + 6. Let h be y(0). Solve -j*d = -2 + h for d.
-1
Suppose 5*p = 25, 0*a + 4*p - 26 = -3*a. Solve f - 9 = -a*f for f.
3
Let p = 7 + -9. Let i(j) = j**2 - j - 2. Let v be i(p). Suppose o - 4*t - 16 = -4*o, 2*o + 3*t + 12 = 0. Solve o*h = 4*h + v for h.
-1
Suppose 0 = 5*k - 2*k - 6. Let q be (-1)/k + (-10)/(-4). Let s be 0/(q + -4 + 0). Solve 3*d = -s*d for d.
0
Let m(c) = 17*c - 4. Let f(t) = 4*t - 1. Let k(x) = 18*f(x) - 4*m(x). Let z be k(3). Solve -z = -i - i for i.
5
Let w be (-6)/15 + (-4)/(-10). Solve f + 3 + 0 = w for f.
-3
Let l = -42 - -78. Suppose -5*y - a = 30, 5*y + 14 + l = 3*a. Let n = 13 + y. Solve 4*t = 2*t - n for t.
-3
Let m be (0 + 0)*(-5)/(-5). Solve m = t - 6*t for t.
0
Let d(p) = p**3 - 11*p**2 + 10*p + 2. Let r be d(10). Solve 0 = -r*a + 7*a + 10 for a.
-2
Suppose -122*k = -125*k + 21. Solve -3*m - k - 8 = 0 for m.
-5
Let l = -16 + 23. Suppose 2*i = 9 + l. Let w(g) = -g**3 - 4*g**2 + 5*g + 7. Let x be w(-5). Solve 5*j + x + i = 0 for j.
-3
Suppose -2*a + a = 0. Suppose -2*y + 5*m - 11 = a, -4*m + 31 + 24 = 5*y. Let w = -1 + y. Solve -14 = -4*k - w for k.
2
Suppose -4*y + 2*y - 5*c = -11, 2*y = 3*c + 3. Solve 20 = -y*s - 2*s for s.
-4
Let u = -9 + 12. Suppose -3*o - u*v + 0*v = -15, 2*o - 7 = v. Suppose -3*s = a + 3, -5*a - s + 3 = -4*s. Solve -o*i - 3 - 9 = a for i.
-3
Let c(r) = -4*r + 1. Let t be c(-2). Suppose v - 5*v + 6 = 2*j, t = v + 3*j. Solve v = -3*d - 9 - 0 for d.
-3
Let n be 16/6*30/8. Solve 6*g + 8 = n*g for g.
2
Let a = -2 + -5. Let z(v) = -v**2 - 7*v + 6. Let h be z(a). Solve -2*u + h = u for u.
2
Let s be 6/(-15) + 34/10. Suppose -2*z - z = 3*y + 12, -y + z = 0. Let j(q) = -q**3 + 4*q + 3. Let c be j(y). Solve s = 2*r - c for r.
3
Suppose 17 = 2*i - i - 5*o, -o = -5*i + 13. Solve 12 = i*g - 5*g for g.
-4
Let r = 1 + 3. Solve r = -2*w + 2 for w.
-1
Let z(c) = 9*c - 1. Let h be z(1). Let y be 6/(-4) + (-4)/h. Let x be (y - 1)/((-6)/8). Solve 3*r = x - 19 for r.
-5
Suppose w + 0 = 15. Suppose 3*k + 5*i = -w, k - 3*i - 9 = -0*k. Suppose 3*p = -3*h - k*h + 18, 5*p = -3*h + 22. Solve 0*b + 10 = -p*b for b.
-5
Let s be (-7)/(7/(-6)) - 1. Let r = 4 - 1. Suppose r*c - 3 = -2*d + 30, 2*c - 22 = 2*d. Solve -c = -s*u - 1 for u.
2
Let c(v) = 0*v + 13 + 3*v + v - 5*v. Let l be c(8). Solve l = -4*p - 3 for p.
-2
Let z be 117/6 - 2/(-4). Let o = 3 - 0. Solve -2*d - z = o*d for d.
-4
Let q(o) = -o**3 - 5*o**2 - 5*o - 4. Let n be q(-4). Suppose -2*x = -5*b - 6, -4*x + 2*b = -n*b - 12. Suppose 2*c - 5*c = -x. Solve 3*z = -4 + c for z.
-1
Let d = 4 + -193. Let c be (-1)/(-4) + d/(-12). Solve q + 3*q + c = 0 for q.
-4
Suppose 25*c - 27*c + 4 = 0. Suppose 0 = 5*p + 15, 3 = 3*f + 2*p - p. Solve -f*g + 0*g = c for g.
-1
Suppose 35*q - 3 = 34*q. Solve -q*s + 1 + 2 = 0 for s.
1
Let p = -3 - -3. Solve -5*z + 7*z = p for z.
0
Let s be (-2)/(-13) + (-63)/(-13). Solve 0 = -s*q + 33 - 13 for q.
4
Let b(j) = 5*j**3 - 9*j**2 - 4*j + 2. Let t(v) = 2*v**3 - 4*v**2 - 2*v + 1. Let d(c) = 6*b(c) - 13*t(c). Let a be d(1). Solve -a*x + 9 = -0*x for x.
3
Let l(h) 