for v.
-1
Let d(c) = c + 15. Let p be d(-3). Let r(v) = v - 3. Let t be r(5). Solve -2*f + t = p for f.
-5
Let h be (-2 + 3)/((-1)/(-5)). Let g = h + -3. Solve -g*p + 0*p = -2 for p.
1
Suppose -5*f = -20, -u + 2*f = -3*u + 14. Suppose 3 = -u*z + 4*z. Solve z*i - i + 2 = 0 for i.
-1
Suppose 2*m + 2*c = 18, 5*m + 2*c - 15 = 7*c. Let x be 10/m + (-2)/(-6). Solve x*o - 15 = -o for o.
5
Suppose g = 2*g - 1. Let o be (1/(-3))/(7/(-231)). Suppose -1 = 5*p - o. Solve f = -p - g for f.
-3
Suppose 3*v - v = -3*q + 8, 2*q - 12 = -3*v. Let p be (-2)/3*30/(-1). Solve 0 = -9*f + v*f - p for f.
-4
Let m be (3 + (-18)/5)*-25. Let t = m + -14. Let p = -1 + 2. Solve j = -p - t for j.
-2
Suppose 0 = -5*s + 4 + 6. Suppose 0 = -s*v - v + 15. Solve -v*f + 6 = -4 for f.
2
Suppose -i + 2 + 2 = 0, -x - 4*i + 17 = 0. Let y = 3 + x. Let s be (y/(-5))/(8/(-60)). Solve 0 = 4*v - s - 6 for v.
3
Let p be (-1)/(-3) + 22/6. Suppose -l = -3*c + 19, -p*c - 2*l = -5*c + 8. Let o = -2 + c. Solve -4*y - o = -24 for y.
5
Let y = -41 - -42. Solve -5*b = y + 24 for b.
-5
Suppose 16*z = 13*z + 15. Suppose 0 = z*k - 4*k - 4. Solve 4*n + 4 = -k for n.
-2
Suppose 3*o + 0*p + 5*p - 32 = 0, 0 = -2*p + 8. Let x(t) = t**2 - 4*t + 5. Let l be x(o). Solve -3*i = l + 1 for i.
-2
Let i(r) = -r**3 - 6*r**2 - 2*r + 4. Let k be (-5)/(-30) - 74/12. Let c be i(k). Let g = -11 + c. Solve g*d - 5 + 0 = 0 for d.
1
Let u = -28 - -33. Solve 9 = -u*f - 11 for f.
-4
Let u be ((-33)/(-3) + 3)/2. Solve 0 = -u*m + 2*m for m.
0
Let j(x) = 2*x**2 + 4*x + 3. Let m be j(-3). Solve -p - 2*p - m = 0 for p.
-3
Let c(k) = k - 2. Let u be c(2). Let t be 1*(-1)/2*0. Solve -q + t + 2 = u for q.
2
Let c = 7 + 0. Let o(n) = n - 17. Let b be o(21). Solve 0 = -s - c + b for s.
-3
Let z be 4/6*3/(-2). Let m be -1*(z - -5)*-1. Suppose -m*j + 5*j - 2*k = 6, 3*j = -5*k + 73. Solve 3*d = -d - j for d.
-4
Let s = -13 - -13. Solve -i = -s*i for i.
0
Suppose 0 = -5*x + 16 - 1. Solve 2*i = x*i - 2 for i.
2
Let a = 17 - 13. Suppose 5*t = 2*d - 75, a*t = 2*d + t - 69. Solve -d = -5*h - 10 for h.
4
Suppose 7 = -3*y - 14. Let b = 7 + y. Solve 2*w + b*w + 10 = 0 for w.
-5
Suppose -4*t - 19 - 5 = -o, -t - 13 = -2*o. Let r = 6 + t. Solve 0 = n + r - 0 for n.
-1
Let k = 13 + -10. Suppose -i - k*i = -36. Solve 3*x - 3 = i for x.
4
Let g be 0/24 + (-1 - -1). Solve -2*q + 6*q = g for q.
0
Let s be (-7)/(-21) + (-10)/(-6). Let t be (-2)/s + 2/2. Solve -5 = -t*y - 5*y for y.
1
Suppose 0 = t - 5*i + 8, 3*t - 2*i + 0 = -11. Let b be (-40)/t*54/45. Solve y + b = -3*y for y.
-4
Let u be 5/5 + (2 - (-2)/2). Solve 0*f = -u*f for f.
0
Suppose 2*i - 7 = -5. Solve 0 = -2*k + i + 7 for k.
4
Let z = 29 + 68. Suppose 5*o + 25 = 2*j, 3*j - z = -4*o - 25. Solve 5*y = -0*y + j for y.
4
Let i(g) = 4*g**2 + 4*g - 3. Let f be i(2). Suppose -6 + 31 = 5*l. Solve -f = l*w - 6 for w.
-3
Suppose 2*u - 5 - 1 = 0. Let q be 1 + 1/(-2)*0. Suppose f - q = u. Solve -5 + f = d for d.
-1
Let w be ((-2 - -18) + 0)/2. Let m = w + -8. Suppose m = -l - l + 4. Solve 0 = l*z - z - 1 for z.
1
Let p(m) be the first derivative of m**4/4 + 7*m**3/3 - 4*m**2 + 3*m - 3. Let i be p(-8). Solve -2*a = 1 - i for a.
1
Suppose 0 = -4*d + 2 + 70. Suppose 5*o - 6*o = 1. Let j = 4 - o. Solve j*v + d = 3 for v.
-3
Suppose -3*s = -2*j + 7, 0 = -3*j + 11*s - 8*s + 12. Suppose 2 - 27 = -5*b. Solve -j = b*u - 25 for u.
4
Let f(j) = -j**3 + 5*j**2 + 2*j - 3. Let s be f(5). Let h(p) = -p - 4. Let u be h(-5). Suppose 4*q = s + u. Solve -q - 6 = -4*t for t.
2
Suppose 4*q = 16, -n + 3*q - 13 = -3. Suppose -n*c = -6 + 2. Let d(i) = i + 11. Let h be d(-9). Solve -h*l + c = -4*l for l.
-1
Let l = 61 - 61. Solve 5*a - a = l for a.
0
Suppose 0 = 2*y - 0*y. Solve -4*l + y = -4 for l.
1
Let x = 3 + -5. Let l be 3 + x + -3 + 17. Solve 0 = -0*i - 3*i + l for i.
5
Let u(v) = -v**3 + 5*v**2 + 9*v - 7. Let m be u(6). Let d = -6 + m. Solve d = 5*p - 5 for p.
2
Suppose -2*f = -3*f + r, 5*f = -4*r. Solve f = -3*l - 2*l for l.
0
Let v(w) = w**2 - 8*w - 9. Let q be v(9). Suppose 4*r - 14 = -y, 0 = -y - 5*r - q*r + 17. Solve -y*p - 3*p + 25 = 0 for p.
5
Let z be (-1 - -7)*6/9. Let o = -44 + 62. Suppose c + n + 10 = 4*n, -8 = 4*c - 4*n. Solve -o = z*s - c for s.
-4
Let v(w) = -2*w - 11. Let a be v(-8). Let k = a - 1. Suppose k*s = 5*s - 1. Solve s = -r - 2 for r.
-3
Let l = -1 + 3. Suppose -8 = -p - l*s, -5*s - 10 = -4*p + 22. Suppose 20 = q + p. Solve -b + q = 3*b for b.
3
Suppose -14*b = -9*b - 25. Solve 0*g - b = g for g.
-5
Let x be 1/(-2) - (-14)/4. Suppose -2*s + 2*w = 114, x*s - 4*s - 4*w = 52. Let b = -37 - s. Solve 0 = 5*c - b - 1 for c.
4
Let v be (-5)/(-30) + (-2)/12. Suppose -4*j + 8*j = v. Solve j = 3*f - 8*f - 25 for f.
-5
Suppose -3*b + 52 - 34 = 0. Solve -b*w = -w - 20 for w.
4
Let o(x) = -x**3 + 8*x**2. Let p be o(8). Solve 4 = -a - p*a for a.
-4
Suppose 0 = 3*i + 2*v - 8, -2*i + 2*v - 16 = -2*v. Solve i = s + 5 - 2 for s.
-3
Suppose 0 = -g + 6*g + 5. Let m(o) = -o - o + 0*o. Let b be m(g). Solve 0 = -p + b + 3 for p.
5
Suppose 7*s = 2*s - 0*s. Solve s = p + 2 - 4 for p.
2
Let s = 1 + 2. Suppose s*o = -o. Solve p + p = o for p.
0
Let n(z) = z**2. Let j(i) = 2*i**2 + 7*i + 3. Let x(u) = -j(u) + 3*n(u). Let w be x(9). Suppose -4*q = 4*k, 3*q + 5*k = -0 - 10. Solve w = q*v - 10*v for v.
-3
Let f be (-3 + 26/10)*40. Let y be (-1)/(18/f - -1). Let g(z) = -z**2 - 6*z + 5. Let h be g(-6). Solve -3*a = -y*a - h for a.
-1
Suppose 0 - 16 = -4*r. Solve 2*n - 2 = -r for n.
-1
Let r be 9/(-27)*1*-15*5. Solve 5 = 5*p + r for p.
-4
Let m be ((-21)/(-12))/7 + 15/4. Solve -7*x = -3*x - m for x.
1
Let k(w) = -3 + 6 - 6*w - 2 - w**2. Let u be k(-6). Let p be (0 + 1)/(u/12). Solve 7*x - p = 3*x for x.
3
Let b(y) = 26*y + 5. Let g be b(5). Let d be (2/6)/(15/g). Solve m = 2 - d for m.
-1
Let s be -10*((-2)/4 - 0). Solve 0 = -2*d + s*d + 9 for d.
-3
Let p = 111 - 36. Suppose 15 = u - 3*c, -4*u + 4*c + p = u. Let g = 0 + u. Solve -d = 4*d + g for d.
-3
Suppose v + 1 - 14 = 2*o, 3*v = -4*o - 11. Solve 4*c - c + v = 0 for c.
-1
Let f be 8 + -11 + 4*7. Solve -6*r = -r + f for r.
-5
Suppose 25*h - 26*h + 2 = 0. Let l be ((-12)/(2 - 5))/(-1). Let w = -1 - l. Solve -w = 3*x - h*x for x.
-3
Let p(a) = -a + 9. Let m(s) = -s**2 + 7*s - 2. Let d be m(5). Let g be p(d). Solve -z - 2 = -g for z.
-1
Let x be ((-2)/(-3))/(2/(-15)). Let d be (1 + x - -2) + 7. Let z(t) = -t**3 + 5*t**2 + t - 4. Let j be z(d). Solve -5*k - 6 + j = 0 for k.
-1
Let r = 5 + -2. Suppose r*v + 0 - 3 = -4*n, -5*n = -5*v + 40. Let f = v - 2. Solve f*a = -7 - 2 for a.
-3
Let i = -13 - -29. Let f(u) = -2*u + 16. Let v be f(7). Suppose -t - 7 = -3*o, 4*o - 2*t - v*t = 4. Solve i - 1 = o*m for m.
5
Let j(b) = -b - 4. Let o be j(-7). Let m(n) = o*n - n + 0 - 5*n - 2. Let c be m(-2). Solve 0*h = -c*h for h.
0
Let w be 1 + -9*5/(-15). Solve 0 = -w*y + 9 + 7 for y.
4
Let a(z) = z + 2. Let h be a(2). Solve 0*c = -4*c - h for c.
-1
Suppose -2*h + 5*h - 3 = 0. Let l be (-1)/(-2 - (h - 2)). Suppose 0 = -4*o + 3*o + 16. Solve -5*d + l = o for d.
-3
Let j = -35 + 35. Solve j = -2*n - n for n.
0
Suppose 4*x - k = 25, 2*k + 24 = x + 9. Let r = x + -6. Let c be -3 + 7 + (0 - r). Solve -2*f + c*f + 12 = 0 for f.
-4
Let p = 7 - 2. Suppose -3*h - 5 = 2*m + 2*h, 5*m = -3*h - 3. Solve -5*u + m*u = p for u.
-1
Suppose -5*t + 44 = 2*m, -3*t + 2*t + 4 = 2*m. Suppose 2*j - 8 - t = 0. Solve 3*a - j = 3 for a.
4
Let z be (4/3)/((-2)/(-30)). Solve -5*d = -d - z for d.
5
Let d = -10 - -8. Let z be ((-1)/d)/(2/16). Solve -2*p = z + 6 for p.
-5
Let i be 0 + 0 + (0 - -9). Suppose -w - 15 = 4*w. Let n = w + 3. Solve n = g + 2*g + i for g.
-3
Let i be 45/6 - 25/10. Solve -i*c + 8 = -c for c.
2
Let n(w) = -w**3 + 6*w**2 - 3*w + 3. Let g be n(3). Suppose 0 = 2*s + s - g. Solve 4*i - s = 9 for i.
4
Let y be 4 + 1 + 0 + -2. Solve h = y*h for h.
0
Let g be 6/2 + (-11)/11. Solve -g*k = -6*k - 20 for k.
-5
Let o(a) = a + 6. Suppose 3*w = -w - 20, b - 20 = 4*w. Suppose b*s = -5*s - 30. Let u be o(s). Solve -r + u*r - 2 = 0 for r.
-2
Suppose 5*h + 105 = 5*v, 4*v + v + 4*h - 60 = 0. Suppose 10 + 2 = 4*l. Solve w - v = -l*w for w.
4
Let t be -2*(-3)/(-12)*-2. Let i = 3 - t. Solve 4 = i*m - 4 for m.
4
Let v(l) = l - 7. Let y be v(6). Let o(w) = w**2 + w - 7. Let t be o(-4). Let k = y + t. Solve -k*d = -d for d.
0