a*v = 5*v - 3 for v.
1
Let l(v) = v**2 + 8*v - 5. Let s be l(-9). Solve -s = -0*y - 4*y for y.
1
Let n(v) = 3*v. Let h be n(-1). Let w(o) = 2*o**2 + o. Let p be w(h). Solve 3*l + p - 3 = 0 for l.
-4
Let s be 0 - (0/1 - 3). Suppose 27 = -5*t + 4*l + 7, 3*t - 25 = -5*l. Solve -s*j = -t*j for j.
0
Suppose 8*g - 4*g = 0. Suppose 0*i - 4*i + 12 = g. Let u be -2 - -2 - (-6 + -1). Solve -u - i = -5*y for y.
2
Let l(o) = o**2 + 3*o - 1. Let b be l(-4). Suppose 0 = c - 0*u + u + b, -4*c + u = 12. Let n be 0 + 3/c + 4. Solve 2*k - n = k for k.
3
Let m(p) be the first derivative of -p**2/2 - 3*p + 4. Let n be m(-5). Suppose -5*q = -n - 18. Solve d + q + 1 = 0 for d.
-5
Suppose 4*n - 3 = 1. Solve -10 = -3*v - n for v.
3
Let p(h) = h**2 - 9*h + 2. Let f be p(9). Solve -3 = -f*x + 7 for x.
5
Let o(i) = -i**2 - 11*i. Let f(r) = r**2 + 12*r + 1. Let j(p) = -6*f(p) - 7*o(p). Let k be j(-6). Suppose -4*z + 9 = -z. Solve k = -0*v - z*v - 3 for v.
-1
Let t = -55 - -60. Solve 0 = -l + 6*l + t for l.
-1
Suppose -c + 76 = 5*l, -4*l - 3*c + 6*c + 57 = 0. Suppose -4*w = 3 - l. Let q be ((-11)/(-3) + -2)*w. Solve 2*i = 7*i - q for i.
1
Let v(p) = -p**2 + 6*p. Let c be v(5). Let s be ((-10)/(-20))/((-1)/(-14)). Solve -3 = c*d + s for d.
-2
Suppose 25 + 35 = -3*r. Let g = 23 + r. Solve -2*t = -g*t for t.
0
Suppose -2*l - 2*l = -32. Suppose 0 = -u + l - 2. Let b(k) = k**3 - 2*k**2 - 3*k + 3. Let c be b(3). Solve -u = -c*j - 0*j for j.
2
Let m(x) = -7*x**3 + x. Let r be m(-1). Let l be (-18)/4*(-4)/r. Solve 0 = 4*i + l + 9 for i.
-3
Let m(v) = 4*v - 16. Let r be m(5). Solve j - r = -0*j for j.
4
Let d = 44 + -35. Let x(b) = b - 3. Let m = 3 + 2. Let s be x(m). Solve -c - s*c = d for c.
-3
Let r = 50 - 50. Solve 3*o + 0*o + 12 = r for o.
-4
Let y be 6*3*1/2. Suppose 4*r - 5*k - y = -4*k, 4*k - 6 = 2*r. Solve -5*j - r = -4*j for j.
-3
Let u = 2 + 3. Suppose 0 = -3*q, -u*z + 2*q - 10 + 35 = 0. Solve -3*j + 7 + z = 0 for j.
4
Let l(c) be the third derivative of c**5/60 + c**4/24 + 3*c**2. Let u be l(2). Suppose 2*t + 20 = u*t. Solve 0 = -3*y + t - 20 for y.
-5
Let j(z) = z**3 + 5*z**2 + z + 7. Let q be j(-5). Suppose 6*x - q*x = 12. Solve -2*g - 11 = -x for g.
-4
Let n = -6 - -10. Let w = 2 - -1. Suppose 3*v - w = -2*f - 7, 8 = -v - 2*f. Solve -n*c = -v*c for c.
0
Let x be (4/6)/(9/135). Solve -6*d - x = -d for d.
-2
Suppose -2*y = -14*y. Solve y = -0*k + k + 1 for k.
-1
Let k(a) = -2*a + 3*a**2 - 4 - 3*a - 2*a**2. Let b be k(-3). Solve -p - 3*p = -b for p.
5
Let u be (3/2)/(((-90)/(-12))/15). Solve -15 = -0*d - u*d for d.
5
Let z = 4 - 3. Suppose 0 = -4*f - 4*d + 4, -f + z = 3*f + d. Let r be (12/(-15))/((-3)/15). Solve 8 = -f*n - r*n for n.
-2
Suppose -z = 3*p - 8, -2*z = -5*p + 2*z + 36. Solve p*r - 4 = 8 for r.
3
Let w(q) = 2*q**3 + q**2 - 2*q + 1. Let t be w(1). Solve t*n + 3*n = -5 for n.
-1
Let s be 7 - 2*(-3)/(-3). Suppose -119 = -s*q + 2*m, -4*q + m + 103 = 2*m. Suppose 3*c - 5*k + 15 = c, -2*k + q = 3*c. Solve -2*o + c*o = -12 for o.
-4
Let x be (1 + 7)/(6/9). Suppose 14*f - x = 12*f. Solve -h - f = -3 for h.
-3
Let a(h) = -h**2 + 3*h - 2. Let x = -3 + 5. Let d be a(x). Let g = d - -3. Solve -6 = -g*k - 0 for k.
2
Let u(q) = q + 2. Let p be u(4). Solve w = p*w for w.
0
Let k(n) be the second derivative of -n**4/12 + 5*n**3/6 + 4*n**2 - n. Let r be k(6). Suppose -r*f + 5*f = 45. Solve -2*a = -7*a + f for a.
3
Let j be (0/(1/1))/(-2). Solve j*h = 3*h - 3 for h.
1
Let j(u) = 3*u + 16. Let n be j(-4). Solve c + n = -3*c for c.
-1
Suppose -3*v + 4 = -v. Suppose 4*c - v*c = -5*m, 4*c - 14 = -3*m. Let j be m + (0 - (-6 + 0)). Solve 0 = -3*z + 2 + j for z.
2
Let y be -2 - (-1 - 1 - 15). Suppose y = 2*d - d. Suppose -4*o + d = -o. Solve 0 = t - 0*t + o for t.
-5
Suppose -2*b + 3*b = 0. Suppose -4*n - n = b. Solve n = 5*o + 20 + 5 for o.
-5
Let z be ((-8)/(-24))/(1/9). Solve f + z = 7 for f.
4
Let q(i) be the first derivative of -3*i**4/4 + i**2/2 - 1. Let f be q(-1). Solve -r + f = 5 for r.
-3
Let d be (-119)/(-14) + (-2)/4. Suppose 2 = -i + d. Solve z = i*z + 25 for z.
-5
Let a be (-10)/(-5) - (-1 + -4). Let s = -4 + a. Suppose -2*g + y = -4*y + 5, -s*g + 9 = -2*y. Solve -3 = -g*t + 2*t for t.
1
Let x be 91/77 + 4/(-22). Suppose x - 3 = p - o, -4*o = 4*p - 8. Let r be 1/(-4) + (-101)/(-4). Solve 0*f + 5*f + r = p for f.
-5
Let y = 14 + -10. Let i = y + -2. Solve -i*q + 5 = -q for q.
5
Let x = -11 - -18. Let u(m) = -m - 10. Let y be u(-5). Let a = x + y. Solve -a*j = j - 12 for j.
4
Suppose 8*m - 3*m + 10 = 0. Let b be (3*(-8)/6)/m. Solve 0 = -0*l - b*l - 2 for l.
-1
Let r(c) = -c**3 - 3*c**2 + 5*c + 4. Let o be r(-4). Suppose o = 6*v - v + 140. Let i = v - -42. Solve 5*u - 6 = i for u.
4
Let h be 8 + -6 + 2/1 + -2. Solve -4*r + 2 = -h for r.
1
Let r = 60 - 59. Solve -c + 3 = r for c.
2
Suppose -5*q = -3*q - 6. Let m be ((-1)/4)/(q/(-12)). Solve -4*l - 13 = -m for l.
-3
Let g(z) = 2*z - 10. Let q be g(9). Solve q = -2*t - 0 for t.
-4
Suppose -4*s + 53 = 3*g, -5*s + 32 = -s - 4*g. Let l = s - 7. Suppose -10 = y + y, 5*m - 5 = -l*y. Solve -2*u - m = -u for u.
-5
Let z be (-2 + 1)/(6/(-54)). Solve 0*x = 3*x + z for x.
-3
Let l = 3 + 1. Suppose -5*c - 2*m = -6, -15 = 3*c - 9*m + 4*m. Suppose 3*n = l*n + 4*a - 13, c = 4*n - 2*a - 16. Solve n*t = 2*t for t.
0
Let z be 368/36 - 4/18. Solve b = -b - z for b.
-5
Let i(a) = a**2 + 3*a + 4. Suppose -3*g = -2*j - 0*j - 1, -4*g + 3*j + 3 = 0. Let b be i(g). Solve 3*p = b*p + 1 for p.
-1
Suppose 0*a + 3*a - 6 = 0. Let s(v) = 3*v**2 - v - 2. Let w be s(a). Suppose 2*h + 43 = 3*l, -3*h + 4*h = -5*l + 89. Solve -w = 5*g + l for g.
-5
Suppose -2*s - 5 = -7*s. Solve -2 = -k + s for k.
3
Let l(q) = 4*q + 9. Let f be l(-6). Let z be (24/9)/((-10)/f). Solve z*s - 3*s - 3 = 0 for s.
3
Let m(p) = -p**2 + 4*p + 5. Let o be m(4). Suppose -6 = -2*t - 0. Solve -v = -o + t for v.
2
Suppose 32*d - 32 = 30*d. Solve -4*p = -8*p - d for p.
-4
Let y be ((-9)/12 - 39/(-36))*9. Solve -x - y*x = 0 for x.
0
Suppose -3*o = -4*x, -4*x = -x - 5*o + 11. Solve x*y = 4*y - 3 for y.
3
Suppose n - 3*n = 5*n. Solve -6 = -3*u - n*u for u.
2
Suppose 0 = -2*z + 3*l + 6, -5*z = -l - 3*l - 8. Let s be 14/6 - 1/3. Solve z = 3*h - h - s for h.
1
Let i = -14 + 18. Solve -i*j = -5*j - 2 for j.
-2
Let j(n) = -3*n - 7. Let h be 12/((6/4)/1). Let f be 21/(-4) - (-2)/h. Let t be j(f). Solve 0*i = -2*i - t for i.
-4
Let o(a) = a**3 - a**2 + a + 3. Suppose 0*u = -u. Let f be o(u). Suppose -f*c + 7 = 1. Solve c*p + 0 = 4 for p.
2
Suppose 12 = -3*y, 5*c + 6*y = 3*y + 13. Suppose 28 = c*z - 7. Solve -3*q = -z*q + 8 for q.
2
Suppose -5 = -3*a - 23. Let l be ((-4)/a)/(2/(-3)). Let g be (l - (2 + -4))*0. Solve j + 1 - 2 = g for j.
1
Let d(g) = g**3 + 2*g**2 - 4*g + 1. Let l be d(-3). Suppose -l*n = n. Solve n = 2*x - 3*x - 3 for x.
-3
Suppose -3*v - 2*y - 20 = 2*y, -2*v - 10 = 2*y. Suppose 3*x - 8 - 1 = v. Solve 4*c = x*c for c.
0
Let z be -1 + 10 + (-1 - 1). Suppose -4*t - 3*o - z = -0*o, -11 = 2*t + 3*o. Suppose -16 = -2*y - t*y. Solve -y = g - 3*g for g.
2
Suppose g = 5*w + 34, -w - 3*g = 2*g + 12. Let t = -5 - w. Suppose n = -3*n + t*a, 2*n - 2*a + 4 = 0. Solve -f + 3 = -n for f.
5
Suppose -10*c = -8*c. Solve c*a - 4*a = 0 for a.
0
Suppose 2*c = 6*c - 2*q - 6, 0 = -3*c + 3*q + 9. Suppose -z + 8 - 4 = c. Solve 0 = x - z - 1 for x.
5
Let y be 13/3 + 12/18. Suppose 5*x = 8 + 2, y*x = -5*d + 40. Solve 16 = d*u - 2*u for u.
4
Let u = 115 - 114. Solve w + 4 = u for w.
-3
Let m = 1 + 3. Suppose -3*n = 3*p - n - 2, 0 = -m*p - 2*n + 2. Solve p = -0*b + 4*b - 8 for b.
2
Let g = 9 + -7. Let f = g - 1. Solve 0 = -w - f + 4 for w.
3
Let a = 54 + -31. Let v = -18 + a. Suppose 5*z + 18 - 43 = 0. Solve -5 = v*b + z for b.
-2
Let o(p) = 2*p**2 + 2*p - 1. Let f(n) = -n**3 - 7*n**2 - 6*n - 2. Let j be f(-6). Let a be o(j). Solve a*y - 7 - 2 = 0 for y.
3
Suppose 8*g = 14*g. Solve 4*l + 4 = -g*l for l.
-1
Suppose -2 = 2*z - 18. Suppose -2*i - 2 = -3*p - 7, -2*p + 2 = 0. Solve -z*j = -i*j for j.
0
Let i = 5 - 2. Suppose w + 3*y - 31 = -6, 0 = -i*w - 2*y + 40. Suppose 2*c - 3*q + 5 = 0, -c = -2*q - q + w. Solve 6*k - c = k for k.
1
Suppose -5*x = z, -3*x + 3*z + 0*z + 18 = 0. Suppose -j + 2*j - x = 0. Solve 1 = -b - j for b.
-2
Let c(r) = r - 4. Let b be c(4). Solve b*s + s = -4 for s.
-4
Let s = 6 - 4. Su