 for v.
-5
Suppose -4*o - 44 = -3*f, -f + 3 = -0*f + o. Suppose f*x = 3*x. Solve -4*m - c - 21 = x, -m - 2*m - 5*c = 37 for m.
-4
Suppose -3*g - 45 = -12*g. Solve 3*d + 5*b - 13 = 2*d, 5*d - g*b = -25 for d.
-2
Suppose 0 = -7*r + 4*r + 105. Suppose r - 10 = 5*w. Solve -w*y - 5 = 5*i - 8*y, 2*y - 6 = 4*i for i.
-4
Suppose 0 = -3*u + 7*u - i - 3, i = 3*u - 3. Solve -11 = -5*c - f - u*f, 5*c = 2*f + 8 for c.
2
Suppose 0 = m + 7*m - 80. Solve -3*q - m = -4*u, q + 5*u - 5 = -2 for q.
-2
Suppose -2*z - 2 + 8 = -4*o, 0 = -3*o - 2*z - 8. Let m be 6 + (-1 + o - 0). Solve 4*j = -2*l - 6, -j + l - m - 6 = 0 for j.
-4
Let h be -3*(-3)/9*37. Solve -5*x - h = 4*o, 4*x - 5*o = -4 - 1 for x.
-5
Let h be (-155)/(-10) - (-2)/(-4). Suppose -4*c + h = c. Solve -3*m = r + 5, -c*m + 4*r = 2*m - 20 for m.
0
Let i(h) = 7*h - 31. Let m be i(5). Solve 4*c - 5 = -2*t + 9, 0 = -m*t + 3*c - 16 for t.
-1
Let y be (-2)/(-3)*(7 - (4 + -3)). Solve -3*l - y = -l - 2*u, 0 = -3*l + 4*u - 8 for l.
0
Let m(o) = 3*o - 42. Let t be m(15). Solve 2*l = -5*b - 6, -t*b + 5*l - 14 = -b for b.
-2
Let m be (-2)/(-6) - 7/21. Let d be (0 - m)*3/(-6). Solve d = -b - 3*b + 3*z - 9, -5*b = z + 16 for b.
-3
Let p(s) = -7 + s**2 + 2*s**3 + 5*s**2 - s - s**3 - 4*s. Let n be p(-5). Let g = -16 + n. Solve -d - 1 = -2*d, -2*d + g = 5*o for o.
5
Let a(x) = -x + 20. Let b be a(15). Solve b*s = -4*i - 14, 5*i + 4*s = 2*s - 9 for i.
-1
Suppose -o = -0*o - 4. Let q = o + 2. Solve -4*t = -n + q, -1 + 5 = -4*t for n.
2
Let v(u) = 2*u**3 - 2*u**2 - u - 2. Let x be v(2). Suppose -2*l + 16 = 2*l. Solve -x*n - s = 20, -l*s - 20 = -3*n + 7*n for n.
-5
Suppose 5*z = 1 + 19. Let l(w) = -w**2 + 3*w - 1. Let n be l(3). Let a(f) = -f**3 - f**2. Let r be a(n). Solve z*i - p = r, -p = -2*i + p for i.
0
Let j(b) = b + 3. Let u be j(-5). Suppose 5*q + 5 = -4*f, q + 0*q + 1 = -3*f. Let i = q - u. Solve s = 2*o - 7 + i, -4*o - 5*s = -40 for o.
5
Suppose -x + 7*n + 2 = 2*n, 2*x = 5*n + 4. Solve x*m - k + 22 = -5*k, -k - 28 = 5*m for m.
-5
Let t be (3 + 2)*4/4. Suppose -t*i = -8*i + 6. Solve 4*h + 3*k - 18 = -2, -i*k = -5*h - 3 for h.
1
Let j be (-1 - -2) + 13 - 2. Let r be (2/(-3))/(-1)*j. Let g be r/36 - (-68)/18. Solve -l = -g*u + 4, 1 - 21 = -4*u + 5*l for u.
0
Let m(v) = 20*v**2 - 4*v - 2. Let x be m(-1). Solve -1 = 4*j + 3*a, 0 = 3*j - 0*a - 2*a + x for j.
-4
Let z = 11 + -15. Let f = 4 + z. Solve -2*i + 2*x = 0, i = -3*x - 20 - f for i.
-5
Let v be 148/18 - (-4)/(-18). Solve 4*k + 3*r = -15, 0 = k + 4*r - v*r - 1 for k.
-3
Let u = -5 + 9. Solve 0 = -4*g - u*j + 24, -3*j + 4*j + 4 = g for g.
5
Let j(l) = l**3 - 14*l**2 - 15*l + 3. Let u be j(15). Solve g + 4*r = 20, 3*g - u*r - 4 = -g for g.
4
Suppose 5*a + 18 = 3*g, -4*g + a + 2 = -5. Solve 2*q - 4*d - 20 = 0, q + d = -0*q + g for q.
4
Suppose 5*z + 8 + 102 = 0. Let h be (-4)/2*z/4. Solve -h = 3*w + 4*m, 5*m = -w - 0*m for w.
-5
Let v(u) = u**3 - 15*u**2 + 14*u + 10. Let y be v(14). Let x = y - 8. Solve -2*j - x*g + 8 = 0, 5 - 3 = -2*g for j.
5
Suppose -6*x = -4*x - 6. Solve -9 = 2*s + 5*u, 3*s - x*u = -0*u + 18 for s.
3
Suppose 5*d - 3*d - 16 = 3*w, 5*w = -d + 8. Solve c = f + d, -7*c = -4*f - 2*c - 37 for f.
-3
Let f = 63 + -58. Solve 16 = -f*q - 2*u, -4*q + u - 8 = 10 for q.
-4
Let l = 37 + -32. Solve -5*r = 3*p + 12, -r - 4 = 2*r + l*p for r.
-3
Suppose -3*t + 5 = -7. Solve -4*p = -4*l - t, -3*l - 1 + 2 = -p for p.
2
Let y be -4 + 1 + 15/3. Solve -w = 0, y*i + w = 3*i - 1 for i.
1
Let i = 127 + -100. Solve 0 = -2*z - 5*x + i, -2*x + x + 2 = -3*z for z.
1
Let k = -159 - -159. Solve -5*t - 15 = 4*s - 2, s - 5*t - 3 = k for s.
-2
Let l(g) = -5*g + 8. Let p(a) = -11*a + 17. Let z(c) = -9*l(c) + 4*p(c). Let h be z(7). Solve h*s - s + 5*w = 25, 10 = -s + 2*w for s.
0
Let h(i) = 3 + i**2 + i**3 - 7 + i - 5*i. Let y be h(-2). Solve -5*v - d - 23 = y, 3*d = -v - 2*d - 19 for v.
-4
Suppose -18*z + 4 = -16*z. Suppose 2*w - 8 = -k, 3*w + 3 = -5*k + 29. Let m be -1 + 2 + 6/w. Solve -2*p - 3*h = 11, -z*p + h - m - 3 = 0 for p.
-4
Let p = -15 + 20. Let n(o) = o + 7 + 6 - 2 + 0*o. Let v be n(-5). Solve 2*x + p*u = -v, 4*x - 3*u + 9 = x for x.
-3
Let l be (-5 - 0)/((-4)/12). Let c be ((-12)/(-18))/(2/l). Solve -m - 4 = -4*q, 0*m + m = 5*q - c for m.
0
Suppose -6*n + 5*n + 3 = 0. Solve -4*c + n*a + 8 = -0*a, 5*c - 5*a = 5 for c.
5
Let c be 2/7 - (-26)/7. Suppose 2*v - c = -6. Let j = v + 5. Solve 2*s + 12 + 4 = j*q, s = -2 for q.
3
Let d(t) = t**2 + 5*t - 1. Let x be d(-5). Let q(m) = 20*m**2 + 1 - m - 1. Let r be q(x). Solve 20 = 5*j + 2*w, 2*j - r + 2 = -3*w for j.
2
Let f be (0 - (-8)/5)*5. Suppose w - 10 = -4*w. Suppose 0 = p - f - w. Solve 4*h + 0 = -3*i + 4, -4*i - 3*h + p = 0 for i.
4
Let y be (9/2)/((-1)/2). Let q be (y/(-12))/((-1)/4). Let v be 4 - q/9*0. Solve -2*m = -4*t, m + 3*m = v*t + 8 for m.
4
Let l be (-4)/(-4) - (1 + -2). Suppose 5*a - l = -2*t, -4*t + 0*t - 6 = 5*a. Solve 4*s + 5*c + 8 = c, a*c = -4*s for s.
2
Let s(q) = -q**3 - 7*q**2 + 9*q + 15. Let b be s(-8). Solve 5*x = h + 28, -2*x - b = -h - 4*x for h.
-3
Suppose 2*v + 10 = 4*x, 4*v - 30 = -4*x + 10. Suppose -2*b = -14 - 2. Solve v*d + 25 = 2*p, -3*d + b*d + 10 = -p for d.
-3
Let w = 4 - -3. Suppose -2 = 4*z - 3*j - w, 2*j = -3*z + 8. Solve -5*p + 2*l - 19 = 0, 2*p - z*l + 0*l + 4 = 0 for p.
-5
Suppose 2*f + 2*d - 91 = -3*f, -f + 2*d = -11. Let b = -11 + f. Solve 4*k = 3*p + b*k + 18, k = 4*p + 13 for p.
-4
Let u(v) = -v**3 - 6*v**2 - 8*v - 7. Let l(q) = -q**3 - 3*q**2 + q - 2. Let x be l(-3). Let a be u(x). Solve -2*g = 3*y - 3, -4*g - a = -3*y + 13 for y.
3
Let b(f) = f**3 - 11*f**2 + 9*f + 13. Let z be b(10). Solve z*n + n + 6 = -2*h, 27 = 2*n - 5*h for n.
1
Let d(s) = -s + 1. Let g be d(-1). Suppose 4*r = 3*r + 3*o + g, o + 4 = r. Suppose 14 = r*m - 11. Solve -k = -1, 7*k = -3*a + 2*k + m for a.
0
Suppose -2*u + 29 = 7. Let i = u + -7. Solve -s + i*s - 14 = -4*n, -2*s = 4 for n.
5
Let v(k) = 16*k**2. Let f be v(-1). Solve 3*g = 3*d - f + 4, 3*d - 11 = 4*g for g.
1
Let o be -3 + (8 - 4) + 4. Let q(j) = j**2 - 2*j - 3. Let y be q(4). Solve -o*v - 14 = -2*f, 2*v - y = -5*f + 7*v for f.
-3
Suppose 0 = -3*p + 10 - 1. Suppose -36 = p*b + b. Let r be 8/(-2)*(b - -2). Solve -d - u - 19 = 2*d, 0 = 4*d + 2*u + r for d.
-5
Let m(l) = l**3 + 5*l**2 + 3. Let c be m(-5). Suppose -2*b = g + 3, -c*b + 0*b + g = -3. Solve 2*q = 0, 3*h - 2*q - 15 = -b*q for h.
5
Let y(a) = a**3 - 4*a**2 - 6*a + 8. Let w be y(6). Suppose -w + 2 = -3*t. Solve 2*m - 2*q - t = 0, -5*m - 6*q + q + 5 = 0 for m.
4
Suppose 0 = 4*f - 3 - 9. Suppose -2*q + f*q = 2. Solve 16 = -4*s + 4*x, -3*s - q*x = -3*x + 4 for s.
0
Suppose 55 - 53 = c. Solve 0 = c*m - o - 11, -o + 4 = -2*m + 5*m for m.
3
Let q(w) = -w - 2. Suppose 0 = -s - 0 - 5. Let g be q(s). Solve 2*r = 4*l + 14, 5*l - g*r + 2 + 18 = 0 for l.
-1
Suppose -z + 6*z - 5*k - 25 = 0, -22 = -2*z - 4*k. Solve -4*g + 2*n + 18 = 0, 2*g - n = 2*n + z for g.
5
Suppose -2*f + 52 = -3*x - x, 0 = -5*f + 4*x + 100. Solve -o = -3, -4*o = 2*q - 3*q - f for q.
-4
Let o = -3 + 11. Suppose 13*i - 65 = o*i. Solve -5*t - 5*z = -0*t + 30, 2*t + i = -3*z for t.
-5
Suppose 0 = 3*q + 2*q - 25. Suppose 0 = -3*w + q*w - 8. Solve w*s - 2*h - 2 - 8 = 0, 15 = 5*h for s.
4
Let s = 6 + -1. Let a(b) = -b**2 - 2*b + 1. Let x be a(1). Let c be (-2)/(-3)*(x + s). Solve 3*v + h - 10 = c*h, -22 = -5*v - h for v.
4
Let n be ((-14)/1)/(-7 - -5). Suppose -4*s + n + 13 = 0. Solve 0 = 2*l + s*p - 17, 3*p = l - 2*p + 14 for l.
1
Suppose -3*u + 8 = 2. Let i = 4 - 6. Let r = u - i. Solve -3*b - 4*d - 7 = 0, 5*b = -0*d - r*d - 17 for b.
-5
Let b(i) = i**2 - i - 10. Let a be b(6). Suppose 4*d + k = 22, 5*d - 2*d - 23 = -4*k. Solve -5*g + j - a = -3*j, d = -3*g + j for g.
0
Let o(j) = -3*j**3 + 2*j**2 - 2*j - 1. Let p be o(-2). Let y be 22 + -20 - 8/(-4). Solve -3*m + 6 = -2*v, -v = 5*m + y*v - p for m.
4
Let j be 2/10 + (-24)/(-5). Let l = -1 + j. Solve 0 = 2*y - 4*i + 22, l*y - 3*i = -5*i - 4 for y.
-3
Let g be (-4)/(-12) - 2/6. Suppose g = 3*w + w. Solve 0 = 5*r + 20, w*f - r = f for f.
4
Let q(x) = x - 2. Let r be q(2). Suppose r = 4*v - 20 - 28. Suppose -p + 4*p - v = 0. Solve -p*y = l + 11, 2*y - y - 4*l + 24 = 0 for y.
-4
Let d = 1 - 1. Let i(u) = -u**3 + 5*u**2 - 3*u - 2. Let x be i(4). Suppose d = 3*q - 11 + x. Solve 13 = -w +