f = 2*v for f.
4
Let u = 1 - 10. Let f = u - -9. Suppose f = -0*h - 7*h. Solve -z - x + 5 = 2*z, h = 5*z + 4*x - 20 for z.
0
Let x(m) = -4*m**3 + 2*m**2 - 1. Let t be x(1). Let z = 3 - t. Solve 2*o - z = 3*v - 20, -3*o = -5*v + 22 for o.
-4
Suppose -614*d + 28 = -600*d. Solve -3*t - d*x = -2*t - 6, -3*t = -5*x - 7 for t.
4
Let m = -25 + 29. Suppose 4*d - 8 = -4*g, -3*d - 48 = -4*g - 19. Let y(q) = -2*q - 3. Let u be y(-4). Solve -m*z - g*n = 15, 2*z - 10 = 3*z - u*n for z.
-5
Let c be 5/(-2)*2/(-1). Suppose 8*h - 2*h - 28 = 8. Solve -3*o + 35 = -c*l, -h - 1 = o + 3*l for o.
5
Let m = 8 - 3. Suppose -3*b = -7*b - 5*f - 9, 2*b - 4*f - 28 = 0. Let t = 7 - b. Solve 4*y - 3*q = 1, 0 = -t*y + m*q + 4 + 5 for y.
-2
Let v(n) = -n**2 + 13*n - 20. Let b = 37 + -26. Let g be v(b). Solve -h - 5*a = -13 + 5, -14 = 5*h - g*a for h.
-2
Let d = 939 - 937. Solve 3*n - 2*n - 5*l + 13 = 0, 3*n - d*l = 0 for n.
2
Let k be -1*((-48)/3 + 2)/2. Solve -5*u = -2*p + 3*p + k, p = 2*u for u.
-1
Suppose d = 2*v + 14, -2*d + 7*d = 2*v + 38. Let t be (-5)/(-10) + d/4. Let n(z) = z**2 + z - 2. Let w be n(t). Solve 5*s - w*c = 4, s = -c + 4 + 4 for s.
4
Suppose -3*y = b - 3, b + 0 = y + 3. Solve -5*w + 15 = -3*k, 5*k + 9 = -0*k + b*w for k.
0
Suppose 5*p - 38 = 2. Suppose p*c - 1 = 47. Solve 2*h - c = -i + 3*h, 4*h = 5*i - 28 for i.
4
Let i be 7*(-4)/6*-9. Suppose -45 = -3*v + i. Suppose 0 = -3*x + v + 19. Solve -5*k - t = 20, -6*k + 5*t - x = -2*k for k.
-4
Let o = 8 + -3. Suppose 3*u = 4*l - 26, -72*u = -73*u - 6. Solve -b = -2*z - o, 4*b - l*b - 1 = z for b.
-1
Let i be (2 - -1)*7/3. Solve 0 = b + 3*s + 11 + 4, 5*b - 2*s + i = 0 for b.
-3
Let x be 14 + -2*(-1 + 0). Let g = x + -24. Let i be 2/10 - g/(-40). Solve k + y - 5 = 0, -y + 8 = 4*k - i for k.
1
Suppose 3*y - 58 = -d, 2*d + 73 = 4*y - y. Let v(h) = 3*h - 58. Let l be v(y). Solve 2*p = j + 4, 0*p - p + 24 = l*j for j.
4
Let x be ((-15)/20 - (-115)/100)*5. Solve -24 = 3*n + 5*z, n - x*z + 4*z = -9 for n.
-3
Suppose 4*y + 11 = 43. Suppose -4*z - 30 = -2*o - y*z, -3*o = z - 20. Solve -o*w = -4*n - 0*n + 30, -5*n + 35 = -5*w for n.
5
Let u = 474 - 469. Solve -g - 2 = 2*a + 8, -a - 5 = -u*g for a.
-5
Suppose -m - 3*u + 26 = 33, m = -2*u - 4. Solve -c = -2*c + 4, -m*c = -3*o - 23 for o.
-5
Let u(c) = -c**2 + 7*c + 30. Let w be u(10). Solve 3*d + 35 = -w*l - 4*l, d = 5*l + 20 for l.
-5
Let d be (-4)/(-140)*-5 - 144/(-28). Solve -5*m - 3 = -3*h, 10*h - 5*h - m = d for h.
1
Let a be 2/4 + 238/68. Solve 2*t - a - 7 = 3*f, -4*t + 17 = -f for f.
-1
Let g be (3/(-9))/(3*(-5)/225). Suppose 2*r + 6 = 0, 0 = 2*k + k - 2*r - 18. Suppose k - 7 = -i. Solve -27 = 2*v - 5*t, i*v - 2*v - 24 = -g*t for v.
-1
Let k = -85 - -88. Solve -3*m - 4*y = 0, -3*y + k = -4*y for m.
4
Suppose 5*s - 15 = 65. Let w(i) = 4*i**2 - 3*i + 10. Let d be w(5). Suppose 6*t + d - 257 = 0. Solve t - 7 = -5*g - 5*j, 4*g = -j - s for g.
-4
Let m = 8 - -14. Suppose -2*h = -2*t - 10, -4*t - m = -5*h + 3. Solve -9 = 4*z - 2*c + 7, 0 = z - c + h for z.
-3
Let s = -112 + 196. Let y = -76 + s. Solve y = 3*q + i, 0*i - 10 = -2*i for q.
1
Let m = 26 - 21. Suppose 2 = 3*x - m*p + 4*p, 3*x = 5*p - 14. Solve -3*k + 1 - 3 = x*b, -3 = 3*b - 2*k for b.
-1
Suppose 4*k - k + 3*y = 9, 0 = -k - 4*y + 9. Solve 3*l = 5*g + 10, 2*l + 7 - k = -3*g for g.
-2
Let i be 96/45 + ((-32)/(-30))/(-8). Solve 2*l + 0*u = -3*u + 2, 14 = -i*l + 5*u for l.
-2
Let s(v) = -2*v - 29. Let b be s(-13). Let c be (b/9)/1 - 183/(-9). Solve -5*k + c = -d - 0*d, -4 = -4*d - k for d.
0
Suppose -23*h + 33*h = 50. Solve c + 0*c = -4*u - 16, -h*u - 20 = 3*c for c.
0
Suppose 0 = 4*t + 5*y + 4, 13 + 23 = 5*t - 4*y. Let j = t - 1. Suppose 0 = 3*n - 9, 0 = 2*k - 34*n + 37*n - 13. Solve k*h + 6 = -2*q + 4, q = j*h - 9 for h.
2
Let h(n) = n**3 + 7*n**2 + 10*n + 1. Let c be h(-4). Suppose -c*y = -10*y + 9. Solve -5*q + t = -y - 13, -4*t + 27 = 3*q for q.
5
Let w = 22 - 19. Let x be ((-9)/1 + 3)/(-2). Suppose -w*s + 3*n = -18, s = x*s + 4*n - 12. Solve -8 = 2*y - 5*m + 8, s = 3*m for y.
-3
Let l = 431 + -430. Solve 5*n - 2 = 8, 3*h - l = -5*n for h.
-3
Let j = 31 - 29. Solve -4*d = -0*u + j*u - 6, -3*d - 3*u + 3 = 0 for d.
2
Let o = -8 + 12. Let l be o/(-1) + 0 - -10. Suppose 4*u - u - l = 0. Solve 2 = u*z - 0*z + m, -3 = -3*z + m for z.
1
Let j be -1 + 10 + (1 - 5). Solve -3*y + 4*o = 2*y + 13, -o + 7 = -j*y for y.
-1
Suppose 10*d = 4*d + 462. Suppose 91 + d = 7*b. Solve -n = 2*o + 12, -b = -o + 3*o + 4*n for o.
-4
Suppose -3*m = y - 17, 0 = y + 4*m - 13 - 8. Solve y*b + 4*t - 11 = 30, -4*b + t + 16 = 0 for b.
5
Let u = -1 + 4. Let s(z) = z**3 + 2*z**2 - 3*z + 3. Let a be s(2). Let x = 14 - a. Solve 0 = y + y - 3*p + x, 3*y = -u*p + 6 for y.
1
Suppose -43 = -3*o - 2*k, 5*o - 2*k - 43 - 18 = 0. Suppose -3*x = -8*x - 140. Let v = 32 + x. Solve v*h - 13 = 2*c + o, 0 = h - 5*c - 20 for h.
5
Let j = -10 - -21. Suppose 20*h - j = 19*h. Suppose 4*c - h = u, c + 6 = 4*c - 3*u. Solve 0 = -0*v - v + 5*l + 25, 0 = c*v + 2*l - 7 for v.
5
Let x(a) = a**3 - 3*a**2 + a + 7. Let j be x(-4). Let o = 190 + j. Let p be 2/(-8) + o/4. Solve -5*d = b - 20, 5*d - b = b + p for d.
4
Let g = -2 - -6. Let q = -4 + 7. Suppose 0 = -2*z + q*z - 3. Solve z*u + 5*p - 31 = 0, -15 + 39 = 2*u + g*p for u.
2
Let d = -47 + 85. Suppose -5*z + 3*z - d = 0. Let q = -13 - z. Solve q*a = 2*a + 16, -11 = -3*j + a for j.
5
Let v(z) = -z**3 - 8*z**2 - 15*z - 18. Let o be v(-6). Solve o*r - 12 = -3*b + r, -3*b + 3 = -4*r for b.
5
Let u(h) = h**3 - 5*h**2 - 8*h + 15. Suppose -6 = -12*c + 11*c. Let j be u(c). Solve f + 4 = 0, -j*l + 19 = -2*l - 4*f for l.
3
Suppose c + 3*p - 14 = 0, -11*p = 4*c - 8*p - 20. Solve q - c = 0, -2*h + 3*q = h for h.
2
Let v(q) = q + 3. Let k be v(-1). Solve 5*x + 3*l = 34, 0*x = 2*x - 4*l + k for x.
5
Let d be 1/((3/6*-4)/(-8)). Solve d*w + 26 - 6 = 4*c, -4*w = -3*c + 18 for w.
-3
Suppose t + 11 = 3*x, x - 3*t = -9 + 26. Solve -3*z + 25 = x*z - 5*o, 0 = -o - 4 for z.
1
Let o be (-91)/(-7) + 7 + -10. Solve -25*z + o = -23*z + 4*p, z = p - 7 for z.
-3
Suppose -5*q - 2*w - 180 = 3*w, -5*q = -w + 198. Let h = q + 74. Let d be (-2)/(-3) - (-4)/3. Solve 2*k - a - h = 4*a, -2*k + d*a + 20 = 0 for k.
5
Suppose -3*h - 5*t = -t - 28, 3*h - 4*t - 20 = 0. Let u = 20 - h. Let o be (u/(-10))/((-9)/90). Solve 0 = 3*v + 4*x - o + 29, -3*v - 3*x = 15 for v.
-3
Suppose -4*d = -5*o - 20, -4*o + 2*o - 8 = -4*d. Let x be o*1 - (-3 + -2). Suppose -w = -x - 1. Solve -3*c - 9 = 3*p, -2*c = -2*p - w - 12 for p.
-5
Let h be (-2)/5*(-30)/2. Suppose 5*l = 4*n - 49, 0 = 4*l - h*l - 10. Let g = -2865 - -2869. Solve -t - 2*m - g = 0, -t + n*m - 3*m = -11 for t.
2
Suppose 17 = -y + 2*b, 3*y - 34 = 3*b - 85. Let z = y + 20. Let q(c) = -c**3 + 4*c**2 - 4*c + 5. Let g be q(z). Solve -2*o + 1 = j, 5*o + 2*j - 7 = -g*j for o.
-1
Let w = 30 + -61. Let s = -26 - w. Solve x - 6*x + 2*c = -11, -7 = x - s*c for x.
3
Let k(m) = m + 23. Let c be k(-11). Suppose 4*r - 23 = 57. Suppose s = 5*p - r, -8 = 3*p - 5*p - s. Solve 3*i + c = 2*q - p, i = -2*q for q.
2
Let x be -65 + 70 - (-1 + 1). Solve -3*a + 27 = -x*j, -4*j - 2*a = -5*j - 11 for j.
-3
Let r be (-18)/(-1)*(-10)/(-15). Solve -d + h - 1 = 0, r = 3*d + d + 4*h for d.
1
Suppose 191 = 4*d + 5*k, -2*d + 5*d - 3*k - 150 = 0. Suppose -d = -3*a - 19. Solve -15 = -5*g + q, -g - 3*q - 3 - a = 0 for g.
2
Let h(q) = -6*q - 12. Let c be h(-3). Let u be 3*6/(-9) + c. Solve -g = -5*m + 4*g + 5, -2*m = u*g + 16 for m.
-2
Let h be ((-34)/6)/((-48)/144). Solve 0*i - 5*i + 13 = -2*z, -3*i - 5*z = h for i.
1
Let y = -36 - -36. Suppose -2*l + a + 10 = y, l + a - 2 = -0*l. Solve -l*k - 20 = 0, 2*h + 4*k + 10 = -0*k for h.
5
Suppose -z + 0*z + x - 38 = 0, x = -z - 32. Let a = z + 35. Suppose h - 5 = -0*h. Solve h*s + 25 = 5*l, 8 = 4*l + 2*s - a for l.
3
Let w be (-2)/(((-2)/(-1) - 1)*-1). Solve 0*a - w*a + u = -9, 17 = 4*a - u for a.
4
Let b(u) = 2 + 1 + 3*u - 4. Let d be b(-10). Let k = -2 - d. Solve -2*p - 3 + 1 = -2*s, 0 = 5*p + 3*s + k for p.
-4
Let y = 11 - 7. Let k be -6*y*(-2)/12. Suppose 3*v - 17 = -5*p, -2*p - k*v + v = -5. Solve 2*i + p*g + 2 - 8 = 0, -3*i = -3*g + 27 for i.
-5
Let r = 77 + -72. Solve 5*k = r*c, -2*c + 3*k = -6*c for c.
0
Let n be (40/60)/((8/27)/4). Solve -4*a + b = -n, a - 3*b = -4*a + 20 for a.
1
Let i(d) = 5*d