v.
3
Let t = 263 - 259. Let w(r) = 2*r - 2. Let o be w(3). Suppose -t*j + 8 + 8 = 5*a, -j + o = 4*a. Solve -2*g + 4*g = j for g.
2
Suppose 0*u - 5*u = -15. Solve -u - 2 = 5*y for y.
-1
Suppose 0 = -3*p - 2*l + 27, 2*l + 5 = 3*p - 10. Solve 0 = -p*x - 50 + 15 for x.
-5
Suppose 4*f + 0*w = w + 17, 2*w = -6*f + 22. Solve f*i = 26 - 10 for i.
4
Let a be 2/(-8) + 3/12. Let g = 5 + -3. Let o(u) = -2*u**2 + 4*u + 23. Let t be o(4). Solve -f - t + g = a for f.
-5
Let o be -10*(-4)/(-16)*(-6 - -4). Solve 4*c = -15 - o for c.
-5
Suppose 4*f + x - 36 = 0, 5*f + 15*x - 20*x - 20 = 0. Solve -f + 28 = 4*r for r.
5
Let s(g) = -g**2 + 10*g - 11. Let a be s(8). Let l be -3*(4/12 + (-14)/3). Suppose 0*q - a*w = 4*q - l, -5*q = 5*w - 15. Solve -3*h = -h + q for h.
-1
Suppose -5*u + 3*u - 3*w = 0, 2*w = 5*u. Suppose -15*r + 12*r = u. Solve 0 = p - r*p + 3 for p.
-3
Suppose -3*f - 2*b - 19 = 0, b = 3*b + 10. Let w be (f - -3)/(2/(-2)). Let v = w + 5. Solve -30 = -v*m - 5 for m.
5
Let s = 197 + -188. Solve -15 - 3 = -s*v for v.
2
Suppose 3 = -3*t - 0. Let k be (1*2/(-2))/t. Let d be (1*(-1 + k))/2. Solve d = -5*o + o for o.
0
Suppose -74 + 2 = -8*j. Solve 7*z - j*z = 2 for z.
-1
Suppose 8 = 27*g - 23*g. Solve g*c = c + 3*c for c.
0
Let v be (-6)/8 - 114/(-24) - 2. Solve 0 = 6*f + v*f - 16 for f.
2
Let a = 115 - 112. Solve 5*x - 24 = -a*x for x.
3
Suppose -j - 17 = -3*d, 5*d - 7*j = -3*j + 40. Let g(o) = o + 6. Let w be 58/(-10) + (-12)/(-15). Let u be g(w). Solve d*k + 9 - u = 0 for k.
-2
Let u = 164 + -170. Let c be (-12)/10*20/u. Solve c*k = 5*k for k.
0
Let y(t) be the second derivative of -t**4/12 + 11*t**2/2 - 2*t. Let z be y(-3). Solve i - z*i = -1 for i.
1
Let g(r) = 3*r - 3. Let c be g(2). Suppose c*f = -4*h + 2, -2*h + 6*h = -2*f. Let z(a) = a - 4. Let i be z(9). Solve -i = f*s - s for s.
-5
Suppose 0 = 3*h - 5*y + y - 7, 0 = -3*h - 3*y + 42. Solve h*s + 15 = 4*s for s.
-3
Suppose 2 + 1 = c. Let n(m) = -m**3 - 14*m**2 + 15*m. Let r be n(-15). Solve r*s = -c*s for s.
0
Let s(n) = -7*n + 16. Let p(r) = -15*r + 32. Let b(w) = 2*p(w) - 5*s(w). Let c be b(4). Solve -c*j = j for j.
0
Suppose 2*s = 236 - 200. Solve 22*q - s = 16*q for q.
3
Let d be (4/8)/((-3)/(-36)). Let y be d + (-1 - 3) + 1. Solve -2*g - y = -g for g.
-3
Let p = 123 - 110. Solve 9 = -c + p for c.
4
Let h(v) = -v**2 + 12*v + 8. Let x = 90 - 78. Let q be h(x). Solve 0 - q = 4*g for g.
-2
Let p(b) be the first derivative of b**4/4 + 5*b**3/3 + b**2/2 + 9*b - 3. Let c be p(-5). Solve -20 = -c*r + 8*r for r.
-5
Suppose -5*u - w = -u + 175, -u - 30 = 3*w. Let y = 74 + u. Suppose 0 = 28*f - y*f. Solve 2*l = -f*l - 10 for l.
-5
Suppose -2*g - 15 = g, -33 = -o + 5*g. Solve -4*n = -o*n - 4 for n.
-1
Let t be (-22)/(-4) + (-1)/2. Let f(m) = 4*m**3 + 76*m**2 - 2*m - 35. Let g be f(-19). Solve 0 = t*u - g*u + 8 for u.
-4
Suppose v + 3*p - 17 = 0, -3*v = 4*p + 2 - 28. Suppose 18 = z + 2*z. Suppose -z*c = -9 - 9. Solve c*j - v = 5*j for j.
-1
Let l = -31 - -52. Let w(i) = i**3 + 22*i**2 + 19*i - 34. Let v be w(-21). Let x be v + 5 + -8 + -1. Solve -x*m + 5 = l for m.
-4
Suppose 0*f = 11*f - 33. Solve -5 = f*n + 7 for n.
-4
Let b(u) = -2*u**2 + 12*u + 15. Let w be b(7). Solve m = w - 3 for m.
-2
Let a be 4 - 0 - (-10 + -6). Suppose 4*g - 30 = 2*g + 4*v, -v + a = 5*g. Suppose 0 = -g*p + 6 + 9. Solve p*h + 11 = 2 for h.
-3
Let y = -16 - -13. Let z be y/(-5) + 18/(-30). Suppose g + 0*x = -5*x + 18, 4*g - 2*x - 28 = z. Solve -g = 3*i + i for i.
-2
Suppose -v - 1 = -5*x, -v - 4*v - 2*x + 22 = 0. Suppose 7*t = v*t. Solve t*j = 4*j for j.
0
Let q(t) = 2*t**2 + 2*t - 2. Let u be q(-3). Let a be u*(5/(-2) + 3). Solve -10 - 5 = -a*s for s.
3
Suppose -10*g = -4*g - 228. Suppose 8*u = -30 + g. Solve 0 = m - 0 + u for m.
-1
Let a = 31 + -16. Let n(q) be the second derivative of -q**3/3 + q**2 + 41*q. Let o be n(0). Solve -o*i - i + a = 0 for i.
5
Suppose 57 - 41 = 4*j. Let f be j + 1 + -4 + 4. Solve -3*t + f*t + 6 = 0 for t.
-3
Suppose 0 = -0*b + 28*b - 784. Solve -26*o = -b*o - 8 for o.
-4
Let h(k) = k**3 - 3*k**2 + 3*k. Let f(q) = -q**3 - 5*q**2 - 4*q + 2. Let r be f(-4). Let c be h(r). Suppose -5 = -m - c. Solve -m = -3*w + 4*w for w.
-3
Let m be (-10 + 0)*4/(-8). Let n = 27 - 25. Suppose -4*f - f + n*g = -31, -m*f - 4*g + 13 = 0. Solve 3*v = -f - 1 for v.
-2
Let b(n) = -2 + 3 + 2 + n - 3*n. Let u be b(0). Solve -10 - 2 = u*g for g.
-4
Suppose 2969 = -2*i + 2989. Solve 0 = i*z + 2 + 8 for z.
-1
Suppose 14*v = 8*v + 846. Let g = v - 137. Solve -g*o = 19 + 1 for o.
-5
Suppose -5*s = w - 16, -w + 1 + 0 = 0. Let d = 2203 - 2202. Solve s - d = r for r.
2
Let r(i) = -11*i + 5*i + 0*i**2 - 16 + i**2. Let q be r(8). Solve n + 4 = -q for n.
-4
Let a = -8 - -8. Suppose a*z - 2*z - 24 = 0. Let i = -12 - z. Solve i = -5*l + 4*l + 4 for l.
4
Suppose j = -4*m + 4, 2*j = 3*m - 0*m - 3. Solve j = 3*q - 10 + 4 for q.
2
Let l be -1 + (8 - 1/(-2)*2). Suppose -4*j + l*j = 0. Let o(r) = -r**3 - 3*r**2 + 2*r - 3. Let k be o(-4). Solve j = -k*w + 5 + 10 for w.
3
Let a = 27 - 33. Let v(c) = -c**3 - 5*c**2 + 3*c - 2. Let r be v(a). Solve 2*t - 6*t = -r for t.
4
Let m = -2 - -2. Suppose 0 = -0*f + 4*f - 24. Suppose -3*t = -2*c - f*t + 20, -3*t = -12. Solve m*b - b = c for b.
-4
Suppose 2*n - 12 = -0. Suppose -4*f = -f - n. Suppose -3*a + 18 = -f*a + 3*p, -2*a + 34 = 4*p. Solve 0 = -2*t - 3*t + a for t.
3
Let u(n) = n**2 + 11*n + 22. Let b be u(-10). Let m(i) = i**3 - 12*i**2 - i + 15. Let w be m(b). Solve 1 = j + w for j.
-2
Suppose 0 = -4*t - 5*w - 12, t = 5*w - 3 - 0. Let c be 4/(-6) - 2/t. Suppose s + 5 = n, -9 = 2*n - 4*n + s. Solve -n = -2*z - c*z for z.
2
Suppose -3*t - 15 = 3*u - 39, -14 = 2*u - 4*t. Suppose -4*l + 5 - 3 = -2*m, 3*m = 4*l - u. Solve h + l*h - 1 = 0 for h.
1
Suppose -2*n = -3*y - 24, 5*n - 21 = -y + 73. Solve -4 = 22*a - n*a for a.
-1
Suppose 5*x - 12 = -5*i + 3, 0 = -x - 5*i + 7. Suppose 0 = 4*p - 5*q + x*q - 46, 4*p - 56 = -2*q. Solve p = 3*m + 1 for m.
4
Suppose -k + 3 = 1. Let b = 982 + -988. Let t be (0 + -1)/(k/b). Solve -t*a - 5 + 17 = 0 for a.
4
Let b(n) be the first derivative of n**4/4 + 7*n**3/3 - 5*n**2 - 11*n + 6. Let c be b(-8). Suppose -c*r = -r. Solve r = 3*u + 11 + 1 for u.
-4
Let j(k) = 5*k**3 + 6*k**2 - 2*k - 4. Let i be j(-5). Let a be i/35 + (-2)/(-5). Let u = 16 + a. Solve -u*x + 3 = -6*x for x.
-1
Let b = 0 - 0. Let n be 2 - (-3 + 3 + -4 + b). Solve l = -2*l + n for l.
2
Let u be 4/3*(-4 + 7). Suppose -4*q + 2*h - 6 = 0, -10 = 5*q - u*h + 2. Solve -2*n - n = q for n.
0
Let x(s) = -s**3 + 7*s**2 + s - 3. Let m be x(7). Solve -2*l + 6 = -m for l.
5
Let j be (-3)/12 + (-34)/(-8). Let s(b) = -b**2 + 13*b - 3. Let f be s(12). Let i be f/15 + 12/5. Solve q - j + i = 0 for q.
1
Suppose 0 = -2*f + 2*y - 16, -5*f + 4*f = -3*y + 8. Let d be 0 + 9 + (f - -9). Solve 2*p = -3*p - d for p.
-2
Let h(s) = -6*s - 1. Let y be h(-3). Suppose r + y = 33. Let o = -16 + r. Solve 3*b + 3 + 12 = o for b.
-5
Suppose -2*o - 7*o = 0. Let j be 0 - o - (9 + -9). Solve 5*v = -j*v for v.
0
Let d(c) = -c**3 - 5*c**2 - 7*c - 7. Let n be d(-3). Let l(q) = 2*q**2 + 6*q - 4. Let z be l(n). Solve -m - z*m = 0 for m.
0
Suppose 2*a = 5*a - 72. Suppose 2 = 5*c - 3. Let d be a/c - -1 - -2. Solve 5*z + 7 = d for z.
4
Let w(o) = -6*o + 9. Let y be w(1). Solve -y*q = -3*q - 2*q for q.
0
Suppose 0 = -5*o - z + 7 + 6, 0 = -5*o - 2*z + 11. Let a be -4 + (7 - o - -13). Let h = -7 + a. Solve d + 25 = h*d for d.
5
Suppose j = -4*j + 20. Let p(d) = 5*d**2 + 10*d - 12. Let w(h) = 4*h**2 + 10*h - 12. Let q(b) = 3*p(b) - 4*w(b). Let a be q(-9). Solve j*c - 1 = -a for c.
-5
Let d = 7 + -5. Let l be (3 + -8)/(15/(-12)). Let j = 9 - l. Solve j*u + d = -8 for u.
-2
Let r(a) = -2*a - 6. Let k be r(-7). Let m be (12/k)/(1/2). Suppose -10 = 2*y + 2*j, -j + 1 - 6 = 0. Solve -2*z + m - 1 = y for z.
1
Let k(n) = 2*n + 14. Let m be k(-7). Suppose m*y - 4*s = y, 3*s = -2*y. Solve -w + 3*w - 6 = y for w.
3
Let p be 12/(-42) - (-951)/21. Solve 8*g - 13 + p = 0 for g.
-4
Let c(y) = 2*y. Let n(q) = -9*q - 30. Let z(h) = 2*c(h) + n(h). Let g be z(-9). Solve g = d - 4*d for d.
-5
Let l(d) = 3*d**3 - 3*d**2 + 4*d - 2. Let m be l(1). Suppose 5*k = -p, 4*p - m*k = -p + 27. Solve p*s + 5 = -15 for s.
-4
Suppose -k - 4*c + 5 = -3*c, k + 5*c = 13. Solve k*u + 6 = 12 for 