e -v*a - a = -25 for a.
5
Let b(y) = -19*y - 70. Let g be b(-4). Solve i = -g*i for i.
0
Suppose -14 = 93*q - 100*q. Solve -q = -6*g + 7*g for g.
-2
Let y(t) be the first derivative of -2*t**3/3 + t**2 - 5. Let x be y(3). Let z = -8 - x. Solve q = z*q + 3 for q.
-1
Let n(b) = 55*b - 197. Let c be n(4). Solve c*a + 35 = 16*a for a.
-5
Suppose j + 2*q - 14 = 0, j - 42 = -4*j - 3*q. Suppose -3*w + j*w - 48 = 0. Solve -w = 5*t - 1 for t.
-3
Suppose -286*v + 283*v = 0. Solve v*f = f - 1 for f.
1
Let y = 106 + -162. Let x = y + 56. Solve x = 5*g + 20 - 5 for g.
-3
Let n(b) = -32*b**3 + b**2 - b - 1. Let u be n(-1). Let r = u + 8. Let g = r - 37. Solve s - g = -s for s.
2
Let o be (-3)/1 + 22/(-2). Let g = -8 - o. Solve -d = -g*d for d.
0
Let m = 3 + 8. Suppose -m*u + 26*u = 15. Solve 11 + u = 4*q for q.
3
Suppose 4*h - 60 = -2*x, 3*x - 2*h = -2*x + 102. Let l = -18 + x. Solve 3*d = l + 5 for d.
3
Let g(p) = -p**3 + 12*p**2 + p - 7. Let v be g(12). Solve 0 = 3*z + 2 - v for z.
1
Let p(u) = -u**3 - 7*u**2 - 3*u + 7. Let d be p(-6). Let t = d + 19. Suppose 5*l - 31 = -4*x, 2*x + 5*l - 15 - t = 0. Solve 3 = x*h - 1 for h.
1
Suppose 0*p = -6*p + 372. Let l = 65 - p. Solve 0 = -l*x + x for x.
0
Suppose -3 = -g + 3*m, -4 = 14*m - 10*m. Solve 3*z + 25 - 10 = g for z.
-5
Suppose 2*w + 3*l - 4 = 0, -7*l - 2 = -w - 5*l. Solve -5*a = 3 + w for a.
-1
Suppose 0 = 2*m - 5*m + 15. Suppose -m*w - 5 = 2*t, -2*t + w = -3*t - 1. Solve -3*g + 10 - 25 = t for g.
-5
Suppose -3*t + 19 = 2*m, 3*m - 5 - 1 = 0. Solve -9 = t*y + 11 for y.
-4
Let u be (2 + -12)*(-4)/8. Let v = -56 + 57. Solve -u*r + v = -4 for r.
1
Let j = 142 + -134. Solve -4 = -b - j for b.
-4
Let d = -18 - -40. Suppose -4*j - 3*s = -s - d, -j - 4*s = -23. Solve 2*a = -1 - j for a.
-2
Let t(i) = -5*i - 7. Let w(z) = -z + 3. Let f(d) = -3*d + 8. Let c(u) = 4*f(u) - 11*w(u). Let n(s) = 6*c(s) - t(s). Let q be n(-1). Solve q*v = 5*v - 12 for v.
4
Suppose 4 = -2*v + 3*v. Suppose -3*q = 2*l - 8*q + 10, 2*q = -3*l + v. Solve l = -3*w - 2 - 10 for w.
-4
Suppose 2*s + 4*s = 0. Suppose 4*r + r = s. Solve r = 3*v + 10 + 5 for v.
-5
Suppose 3*t = 5*t + 5*g - 38, -4*t - 5*g = -56. Suppose -o + t = -0*o. Suppose 2*y - o = -1. Solve y*w + 9 = -7 for w.
-4
Let h(q) = -9 + 11*q + 2 + 1. Let c be h(6). Suppose 2*b = -2*x + 40, x = -2*b + 5*b - c. Solve 4*v + v - b = 0 for v.
4
Let o be (-82)/(-9) + (-32)/288. Suppose s + 16 = o*s. Solve -5*r + 18 = -s for r.
4
Let x(a) = a**3 - 40*a**2 - 35*a - 240. Let g be x(41). Solve -3*n - 36 = g*n for n.
-4
Let p(i) = -i**3 + 9*i**2 + 35*i + 14. Let c be p(12). Solve -2*b = -0 + c for b.
-1
Suppose l = 2*h - 1, -h - 5 = -5*h + l. Suppose -a + h*a = 4*a. Solve 0 = -2*i - a + 6 for i.
3
Let z = -2 + -1. Let c(h) = 4*h - 14. Let v be c(3). Let g be (z/1)/(3/v). Solve -g*a + 4 = -0 for a.
2
Let t be 2/7 + 95/35. Let a = 12 - 3. Suppose a*q - 13*q = -84. Solve -q = -t*g - 6 for g.
5
Suppose -6*x + 27 + 3 = 0. Suppose -2*o = -4*o + x*d, o = -3*d - 11. Let k = o - -13. Solve 2*m - k + 2 = 0 for m.
3
Let k be (-182)/(-70) - (-2)/5. Suppose 3*o + 0*x - 20 = x, -k*x = 4*o - 5. Solve 16 = o*z - 4 for z.
4
Let q(f) be the first derivative of -3*f**2/2 + 42*f + 13. Let j be q(14). Solve z + 1 + 4 = j for z.
-5
Suppose n = -7*n. Suppose 5*l - 4*l = -2*s + 8, n = -5*l + 3*s + 1. Solve -l*d = -d for d.
0
Suppose -4*x = -3*f - 12, f = -x - 4*x + 15. Let i(n) = n**3 + 2*n**2 - 5*n - 6. Let z be i(-3). Solve z = -f*c + c - 5 for c.
5
Suppose 41*y - 326 = -80. Solve 0 = -y*r + 6 - 0 for r.
1
Suppose 16*a + 10 - 58 = 0. Solve 0 = -a*x + 4*x for x.
0
Let y(c) = c**3 - 10*c**2 + 6. Let l be y(10). Let n be -1 - (4/l)/((-4)/54). Solve 4*a = -0 - n for a.
-2
Let z = -9 - -14. Suppose t + 0*n - 28 = z*n, -3*t + 45 = -2*n. Suppose t - 3 = 5*f. Solve f*b - 12 = -b for b.
4
Suppose 0 = 18*d - 20*d. Suppose d = -5*n - 0*n + 30. Solve -n - 2 = 4*i for i.
-2
Let m = 25 - 6. Let s = 34 - m. Suppose 4*w - 5*p = -15, -p = -w - 6*p + s. Solve 5 = 5*k - w*k for k.
1
Suppose 7*s = -4*s + 49*s - 760. Suppose o - 3*o - n - 21 = 0, 3*o = 3*n - 18. Let p be 6/o - (-4)/6. Solve -s = -p*h - 4*h for h.
5
Let a be (-2)/(-12) - 69*(-1)/18. Solve -30 = 2*b + a*b for b.
-5
Suppose 0*i + 2*i - 4 = k, -3*i - 9 = 0. Let d be (k - -5) + (8 - 0). Solve d = 5*o + 28 for o.
-5
Let z be ((-105)/140)/(-1 + 1301/1304). Solve -z*l + 327*l + 5 = 0 for l.
-5
Let i(k) = 7*k + 78. Let h be i(-10). Solve 6*u = 4 + h for u.
2
Let p(h) = -3*h**2 + 15*h - 12. Let g be p(4). Solve g = -27*q + q + 130 for q.
5
Suppose -m - 7 - 4 = -3*k, -3*m = 15. Suppose 0 = k*s - 5 - 5. Suppose -g - 2*q = 4*g + s, -4*g = q + 1. Solve -d + g + 1 = 0 for d.
2
Let v(j) = -2*j + 42. Let q be v(21). Suppose q = 3*g - 0*s + s - 9, 3*g + 3*s - 9 = 0. Let y(r) = r**2 - 3*r - 2. Let u be y(-2). Solve -7*n = -g*n - u for n.
2
Suppose -9*n = -n - 192. Solve -6*s - 6 = n for s.
-5
Let s = 9 - 5. Let b = 39 + -37. Suppose 15 = -5*v + 5*u, -6*u = b*v - 2*u - 18. Solve t = v - s for t.
-3
Let x = 29 + -26. Suppose -x*v = -4*z + z + 12, 3*v = 4*z - 18. Solve f - z = 4*f for f.
-2
Let k be 45/39 + (-4)/26. Let w be 3/k - (-7 + 9). Suppose -2 = -h + w. Solve h*t = -2*t + 5 for t.
1
Suppose 0 = -4*g + 14*g - 120. Solve 5 = g*h - 13*h for h.
-5
Let o = -34 + 36. Suppose 0 = -o*a - 7*a + 108. Solve 4*f = f + a for f.
4
Let v be 172/387 - (-176)/9. Solve 21*c - 26*c + v = 0 for c.
4
Let n = 48 + -21. Suppose -c + 3 = d + 2*c, 0 = 5*d + 3*c - n. Let b be (-2 - -6) + d + -7. Solve 5*m + b - 18 = 0 for m.
3
Let u(b) = b**3 + b**2 - 6*b + 3. Suppose 2*n + n = -5*r - 29, -17 = 3*n + 2*r. Let y be u(n). Solve -p = -2*p - y for p.
-3
Suppose -3*o = -2*z - 8 - 8, 0 = z - 2*o + 6. Let i = 12 + z. Let x be (-5)/i*(6 + -4). Solve 0 = n - x for n.
5
Let q(d) = -d**3 - 5*d**2 - 3*d - 11. Suppose -25*f + 27*f = 6. Let k be -3 - (2 + 3 - f). Let a be q(k). Solve 0 = -z + a*z + 15 for z.
-5
Let x(w) = -3*w**3 - 3*w**2 - 6. Let g be x(-2). Solve g*k - 25*k = 0 for k.
0
Let c(u) = -u**3 - 3*u**2 + u - 9. Let v be c(-4). Suppose -2 = m - a, 6*m - 22 = m - v*a. Solve 0*n = -2*n + m for n.
1
Let l = 27 + -23. Suppose 0 = -2*r - i + 180, 3*r - 4*r - 5*i + 108 = 0. Suppose -7*q + 2*v = -3*q - r, 8 = -2*v. Solve -l*x + q = x for x.
4
Let f(w) = 18*w - 7. Let c be f(2). Solve -32*n = -c*n for n.
0
Let g = 78 - 74. Solve 9 = g*n + 21 for n.
-3
Suppose 124 = -q + 179. Let d = q - 43. Solve -d = 3*l + l for l.
-3
Let k = 290 - 286. Solve k*j = -0*j - 4 for j.
-1
Suppose l - 79*l = -156. Let n be (-1)/4 - 1/(-4). Suppose l*c = -n*c. Solve 2*m = 2 - c for m.
1
Let w(m) = m**3 - 22*m**2 - 2*m + 44. Let o be w(22). Solve 2*t = 4 - o for t.
2
Suppose -2*l - 3*n + 23 = -13, 3*l - 52 = -5*n. Suppose l = 15*m - 12*m. Let t be 2/m + (-8)/32. Solve t = -c + 1 - 0 for c.
1
Suppose -15*z = -6*z + 153. Let f(t) = t + 19. Let d be f(z). Solve -5*v - d = -7*v for v.
1
Suppose 4*l - 7 - 33 = 0. Suppose -4 = -4*f - 4*b, 0 = 4*f - 3*b + 5*b - l. Suppose -z - f*z = -20. Solve -1 = -z*c + 7 for c.
2
Suppose 0 = i - 3*l + 3, 3*l - 5 + 2 = 3*i. Solve -3*x + 0*x + 9 = i for x.
3
Let m(w) = -2*w**2 - 10*w + 11. Let g be m(-7). Let q = g - -22. Solve 0*j - 10 = -q*j for j.
2
Let j(a) = 14*a**2 - 2*a + 3. Let s be j(1). Suppose 3*z = -k + 48, -s = -2*k - 3*k. Solve 3*g - z = -0 for g.
5
Let g(o) = 5*o - 18. Let b(q) = 60*q - 215. Let m(u) = 3*b(u) - 35*g(u). Let p be m(7). Suppose 2*n + n + 5*v = -p, 5*n + 2*v = -8. Solve -y - 2*y = n for y.
0
Let v = 18 + -290. Let i be v/(-9) + 6/(-27). Suppose 5*z = 3*c - i - 43, 0 = 3*c + 3*z - 33. Solve k + 3*k = -c for k.
-4
Let y(s) = s - 2. Let q be y(8). Let d be (-212)/(-18) + q/27. Suppose 0 = -v - 2*v. Solve v = -u + 4*u + d for u.
-4
Let p(r) = 48*r + 469. Let b be p(-7). Solve 2*z - 135 = -b for z.
1
Suppose -47 - 5 = -13*g. Solve 0 = -5*t + 6 + g for t.
2
Suppose 0 = -s + 2 - 2. Let w(x) = 2*x + 3. Let t be w(s). Solve t*g = -0 - 3 for g.
-1
Let t(y) = -6*y - 9. Let a be t(-7). Suppose -4*g - d = -a, g - 2*d = -4*g + 38. Suppose -5*x + 7 = -g. Solve 0 = 3*c + x + 3 for c.
-2
Let z = 599 - 597. Solve -10 - z = -4*n for n.
3
Let n(u) = -18*u - 67. Let o be n(-4). Solve -6*x = -o*x + 2 for x.
-2
Suppose -3*g + 38 = m, 4*m - 2*m - 73 = -3*g. Let a(k) = 4*k + 28. Suppose 3*n + t = -4*t - 43, -2*n