f for v.
-3
Let b(s) = -s**2 + 9*s + 15. Let u be b(10). Solve -2*h = -0*h - a + 3, -u*a = 15 for h.
-3
Suppose 3*m - 6 - 3 = 0. Let h be (-3 - 16/(-6))*-9. Suppose -h*b - 2 + 8 = 0. Solve 4 = b*i + d, 3*i = 2*d + 2 - m for i.
1
Let o be (-2)/(-6) - 4/(-6). Let d = 14 + o. Solve 3*w - d = 5*i, 2*w - 11 = -i - 1 for i.
0
Suppose 0 = 4*b + 3*t - 8, b - 6*b = -5*t - 10. Suppose -p + 8 = -2*a + b*p, -5*a = 4*p - 26. Solve -y + 5*z = 28, a*y - y - 22 = -5*z for y.
-3
Let j = 16 - 10. Let h(k) = 0 - 9*k - 2 + 2 + 2*k**2. Let p be h(j). Solve 5*s - p = -3*t, 3*s + 2*s + t = 16 for s.
3
Suppose -o = -2*o + 12. Let y = o - 1. Solve -2*z = 3 + 3, -3*z - y = 2*t for t.
-1
Suppose 58 + 2 = 5*g. Solve -4*d + i - g = 2*i, 0 = 3*i for d.
-3
Let t be (4/10)/(3/(-15)). Let h(d) = d**2. Let j be h(t). Solve -b - 5*l - 45 = j*b, -2*b - 28 = 4*l for b.
-4
Let l = 18 - 13. Solve -2*f - 12 = -l*h, 6*h - 4 = 3*h + 2*f for h.
4
Let y be 4/(-6) + 48/(-9). Let n(l) = -l - 9. Let f(h) = -h - 10. Let d(u) = 3*f(u) - 4*n(u). Let k be d(y). Solve -2*a = -s + 9, -4*a + 4*s - 20 = -k*s for a.
-4
Let q = 1 - 0. Suppose i = -2*i + 6. Let m be 42/i - (2 - q). Solve 0 = 5*f - m, -17 = l - 0*l - 5*f for l.
3
Suppose -3*y + 14 = -13. Suppose 5 = 2*v - y. Let z = 8 - v. Solve 3*d - 12 + 3 = -5*n, -z = n + 2*d for n.
3
Let w = 17 - 15. Solve w*q = 4*l - 0*q + 12, -4*l + q = 14 for l.
-4
Let j(k) = -3*k**3 + 13*k**2 - 6*k + 8. Let c be j(4). Solve c = 5*x - 0 - 10, 5*g + 4 = -3*x for g.
-2
Let b = -4 - -19. Suppose -2*w - 2*w = -16. Suppose w*m - y = -1 - 2, 5*m + 2*y = 6. Solve m*v - 3*v + 30 = -3*r, 2*r + b = v for r.
-5
Suppose -5*s + 21 = 4*v - 0*v, -16 = -3*v - 4*s. Suppose -5*z + 6*z + 20 = -5*o, 0 = 5*o + 20. Solve 5*r + 3*d + v = z, 5*d = -3*r + d - 9 for r.
1
Let u be (3 + 1)*5/(-2). Let l(r) = -r - 11. Let x be l(u). Let d = 1 + x. Solve d = 2*q - 2*y - 12, q + q - y - 8 = 0 for q.
2
Suppose -5*t + 5*u + 5 = 0, -5*u + 1 = t - 3*u. Let p = t - 1. Let v be p/((-1 + 0)/(-1)). Solve -5*m + 4*y = 17, -3*m + 2*y - 9 = -v*m for m.
-1
Let v be 0 + -1 + 6*1. Suppose 0 = -4*h + v*j + 76, 2*j + 31 = 2*h - 5. Solve 5*r = -m - 1, 0 = 3*m + m + 2*r - h for m.
4
Let g be (0 + 1)/(5/50). Let f be g*1*3/2. Solve 2*y = -y - 2*o + 10, f = -y + 3*o for y.
0
Let r = -44 - -49. Solve 0 = 4*b - 8, 5*j - r*b = 27 - 12 for j.
5
Let w be ((-4)/(-3))/((-28)/(-42)). Solve 2*s + 7 = c, c - 8 = w*s - c for s.
-3
Let q(y) = y**3 + 5*y**2 - y - 4. Let m be q(-5). Let d = -2 + 5. Suppose d*t = i - 1 - 1, -5*t - 8 = -4*i. Solve 0 = -5*v + 19 + m, v = i*a + 12 for a.
-4
Suppose q = -3*q + 8. Suppose -p + 8 = 5. Solve -5 = -p*t - 5*k, -q*t = 2*k - k - 1 for t.
0
Let t be 2/3*-3*1 + 5. Suppose 3*z = 20 + 31. Solve -2*m - 2*m - 9 = l, -t*l - 2*m - z = 0 for l.
-5
Let p be (2/(-8))/((-7)/112). Solve 4*m + 2*n = -14, 5*m - p*m - 7 = -4*n for m.
-5
Suppose h = -z - 3*h + 8, 5*z + 3*h - 23 = 0. Let c be (-57)/21 - z/14. Let i be (6/(-5))/(c/10). Solve -3*j - s - 4 = 0, -s - 16 = i*j - 5*s for j.
-2
Let w(g) = g - 6*g + 2 + 0*g**3 - 6*g**2 - 2*g**3 + g**3. Let l be w(-5). Solve 3*s + 7*f + 20 = 2*f, f + 11 = -l*s for s.
-5
Suppose -j + 3*y - 2 = 0, 2*y + 2*y = 2*j. Solve j*n - 5*w = -10*w + 8, 5*w - 11 = -3*n for n.
-3
Suppose 7*z + 2 = -r + 5*z, -r = -5*z + 16. Let n = 8 + r. Solve -2*p + t - 2 = -3*p, 0 = n*t + 6 for p.
5
Let p(w) = -w**2 - 10*w - 8. Let j be p(-9). Let i be 0 - (1 + -2 + j). Let o = 3 - i. Solve -b + 12 = 4*x, x + 8 = o*b - 2 for x.
2
Let g be 4/(-18) - 76/(-18). Suppose i = -2*i + 45. Solve -34 = -g*y - 5*u + 11, -i = y - 4*u for y.
5
Let k be (3/1)/((-12)/(-20)). Suppose 2 = -3*u + 2*j + 6, -2 = k*u + j. Solve 3*t - 12 + u = -i, 0 = 4*i for t.
4
Let t = 7 + -8. Let d = t - -3. Solve d*n - 5*p = -13, p + 2*p - 7 = n for n.
-4
Suppose -3*t + 2*t + 5 = 0. Solve 4 = a + 2*x + 1, 4*a - t*x + 40 = 0 for a.
-5
Suppose 0 = -0*i - i + 5. Let g = i - 5. Solve 3*u - 2*a - 14 = g, 3*a + 10 = 4*u - 10 for u.
2
Let u be -42*(-2)/(-12)*8. Let r be (10 - 10) + u/(-2). Solve -2*j = -3*w - 19, 0*j - r = w - 5*j for w.
-3
Let b be 3 - (-2 - -7) - -4. Suppose 4*q = b*v - q - 1, 4 = 4*q. Solve -2*s + s = 4*k - 16, 0 = -v*s + 4*k for s.
4
Let y = -16 - -21. Solve 3*c + 3 = -4*t, -4*t - c + y + 2 = 0 for t.
3
Let r(h) = h**3 + 7*h**2 + h + 10. Let t be r(-7). Solve -3 = t*y + 3*i, 5*i + 6 + 7 = -y for y.
2
Let u(j) = j**2 + 5*j - 7. Let a be u(-6). Let r be (0 + -10)*a/2. Solve 5*f + 11 + 6 = 2*n, -5*f = -r*n + 5 for f.
-5
Let a(v) = 3 - 4 - 6*v + 5 + 0. Let y be a(-5). Let o = y + -23. Solve -p - 3*s - 7 = -2, s + o = -5*p for p.
-2
Suppose -49 + 1 = -8*n. Solve 4*x + 6 = -n*w + w, x + 9 = -5*w for x.
1
Let k be (1 - 36/16)/(1/(-4)). Let s be 19/(-5) + 2/(-10). Let r = -2 - s. Solve 2 + 12 = -2*h - r*f, 3*h - k*f - 19 = 0 for h.
-2
Let b = -12 + 18. Let r(p) = -p**3 + 8*p**2 - 6*p - 5. Let y be r(7). Solve -3*t + 5 = -y*z, z - 3*z = -2*t + b for t.
-1
Suppose 13 - 45 = -2*g. Solve 5*i = -5*t + 20, -5*t = -t - 4*i + g for t.
0
Let j(s) = -s**2 + 4*s + 8. Let x(f) = -1. Let q(a) = j(a) + 4*x(a). Let y be q(4). Suppose y*w - 4 = 2*w. Solve -p + 12 = -5*n + w*n, p + 3 = -2*n for p.
3
Let y be (1/2)/(4/24). Let q be (21 - (y + -2)) + -4. Solve 2*z + 4*a + q = 0, 0 = z + 3*a - 8*a - 6 for z.
-4
Suppose -4 = -2*u + 4. Let n(l) = l**3 - 11*l**2 + 10*l + 6. Let i be n(10). Let f be 4/(-6)*-1*i. Solve -1 = -3*x - f*j, -u*x + 4 = -2*x + j for x.
3
Let j(c) = c. Let u be j(4). Let b be u/(-14) - (-176)/77. Solve 3*p = -3*k - 3, b*k + 13 = -5*p - k for p.
-5
Suppose 0 = -2*g - 2*g. Solve 5*f = -8*h + 3*h, 5*h - 25 = g for f.
-5
Let v(t) = -t**2 + t + 13. Let g be (1/1 + -1)/(-1). Let l be v(g). Let q = l - 11. Solve 4*h - 3*d + 7 = -7, -5*h - q*d - 29 = 0 for h.
-5
Let g be 18/4 + (2 - 20/8). Let t be 6/(-4)*-5*2. Solve -q + 5*p = -t, 2*q - g*p = q + 13 for q.
5
Let a(i) = i**3 + 6*i**2 + 2*i - 10. Let h be a(-5). Solve z + 4 = 2*g - 3, 0 = 5*g + 5*z + h for g.
2
Suppose 0 = -7*r + r + 6. Solve 5*i + 11 = -3*m, -4*m - 3 = -4*i + r for m.
-2
Let y(q) = -2*q**3 + 16*q**2 - q + 13. Let n be y(8). Solve -3*x = 5*h + 16 + 9, 3*x - h = n for x.
0
Suppose -5*l + 18 = -2*l. Let i = l + 16. Solve 0 = 3*k + 5*o + i, 4*k + o + 4 = 3*k for k.
1
Let b be -1 - 18/(-4)*(-4)/(-6). Solve 4*i - 4*m = -4, b*i - i - 3*m = -3 for i.
0
Let n = 80 - 64. Solve 3*z - j + 2 = 0, 2*z - n = -5*j + 11 for z.
1
Let t(l) = -l + 7. Let i be t(4). Suppose i*z - 83 = 28. Solve 4*w + z = 3*h + 10, -2*w - 6 = 0 for h.
5
Suppose 5*c - 15 = -4*w + 37, -4*w = 2*c - 52. Solve x = 2*l + w, -2*l + l = 4*x - 7 for l.
-5
Suppose 4*i = 5*i - 5. Let p be (4 - 1) + 0 + 0. Suppose -9*b + 5 = -22. Solve p*r = 5*w + 14, i*w + 8 + b = 2*r for w.
-1
Let p be ((-6)/12)/((-3)/(-18)*-1). Solve -4*m - p*c + 3 + 14 = 0, -c = -4*m + 5 for m.
2
Suppose -3*t + 6 = -3*m, -m = -2*t + 3 - 4. Let q be 5/(-3)*t - 0. Solve i - r + 3*r = -q, -5 = -2*i + r for i.
1
Let c be 22*((-2)/(-4) - 1). Let k = c - -15. Solve 5*v - k*z - 26 = 2*v, 4*z + 20 = 0 for v.
2
Suppose y + 5 = -z, 5*y + 4*z - z = -15. Let b be (-4)/(-2) + y/2. Let v(x) = -x**2 + 5*x + 5. Let i be v(5). Solve -b*o = 3*w - 3 + 6, 3*o - i = 5*w for o.
0
Let z = -10 + 14. Let t be (-16)/2*(-2)/z. Suppose -t*w = -0 - 20. Solve 4*g + 14 = v, 5*v + w*g + 30 = -0*g for v.
-2
Suppose 5*b - o = 72, -b + 54 = 2*b + 3*o. Solve -i + 10*w - 5*w = -10, b = 2*i - 5*w for i.
5
Suppose r + 156 = 4*r. Let m be -2 + 1 + r/13. Solve -2*z = 3*z - m*j + 37, 0 = -5*z + 5*j - 45 for z.
-5
Suppose -19 = -0*q - q - 3*b, -4*q + 42 = -5*b. Solve 2*f - q = -3*z, -2*z - 5*f + 4*f + 8 = 0 for z.
3
Suppose 17 = g - 3*p, g - 5 - 2 = p. Solve y = -w + 6, -g*y - 2*w + 15 = y for y.
3
Suppose 2*h + 57 = 5*r, -5*r - h = h - 53. Suppose -4*k = 3 - r. Solve -4*w + 9 = o - 0, -k*o + 12 = 5*w for o.
1
Suppose -3*l + 12 = 3*y, -2*y + 5 + 1 = 3*l. Suppose 3*s + y = 5*s. Suppose -s*j = j - 20. Solve 5*m + 5 = w, j*m - m = -3*w - 23 for m.
-2
Suppose 2 + 2 = 2*y. Let p = -3 + -2. Let x = p - -8. Solve y = 3*z + 5*h - x, -3*z = 3*h + 3 for z.
-5
Suppose -2*p - 27 = -11*p. Solve -p*x = 4*s - 25, -3*s - 3 = -7*x + 2*x for x.
3
Let m be 0 + 2*-1 + 7. Suppose r + 13 = m*w, -3*r + 5*w - 7 = r. Suppose 4 = 4*v + 5*n - 2, 0 = -r*v + n + 10. Solve 7*x - 2*x + 9 = -2*p, -12 = -v*p