a = -f + 5*f - 32 for f.
5
Let g = -11953 + 11982. Solve g = 4*v + 5*n, 22*n - 8 = 2*v + 20*n for v.
1
Suppose 0 = -127*j + 136*j. Solve 4*v + 5*o = 3*o - 6, -4*v - 5*o + 3 = j for v.
-3
Suppose 3173*j = 3154*j + 95. Solve 0 = 3*a - 4*v + j, -3*a - 1 = v + 9 for a.
-3
Let w = -524 + 503. Let q(b) = -4*b - 80. Let i be q(w). Solve 5*p - 9 = -3*l, l = 2 - i for p.
3
Let z be (32/2)/(-4 - (-10)/3). Let i = 35 + z. Let x(o) = o**3 - 10*o**2 - 9*o - 16. Let n be x(i). Solve -4*v = 2*u + v + 15, 0 = -2*u - 2*v - n for u.
0
Suppose 0 = 2*z - 11*b + 15*b - 18, 3*z - 39 = -2*b. Solve 0 = o - 5*v + z - 0, 3*o - 3*v + 21 = 0 for o.
-5
Let j = -3968 + 3970. Solve k + v - 2 = 0, -j*k - 3*v + 4 = 1 for k.
3
Suppose -43 = -6*r + 89. Suppose 0 = 8*a - 10 - r. Let z be (1 - (-1 - -2))/1. Solve y - a*y + 5*h + 13 = z, -5*y - 2*h = 30 for y.
-4
Suppose -5*g + 2*g - 3*m = -312, -2*g = -3*m - 218. Let p = -104 + g. Solve v = 3*r + p, -5*v + 6 = -4*r - 3*v for r.
1
Suppose -4*l + u + 10 = 0, 4*l - l = -4*u + 17. Let c = 61 + 204. Let b = c + -262. Solve -b*f - 3 = -o - o, o + l*f = -12 for o.
-3
Suppose -12 = 6*y - 12*y. Let x(l) = l**3 + 28*l**2 + 28*l + 27. Let m be x(-27). Solve 3*c + 3*j + 2*j - y = m, 0 = 5*c - j + 6 for c.
-1
Let n = -206 + 218. Let z(p) = -4*p**2 + 48*p + 2. Let u be z(n). Solve -4*t - 3 - 4 = -k, -k - 5 = u*t for k.
-1
Suppose 2*u = -5*r - 5417 + 5368, 16 = -2*u - 2*r. Let v = 8 - 6. Solve -2*p + u*g = 2, -2*p = v*p + 2*g - 28 for p.
5
Suppose 721*g - 13 = 717*g + j, 5*g - 4*j = 19. Solve 4*p + 4*b + 4 = 0, 4*p + 12 = g*b - 20 for p.
-5
Let u be 3/(-3) + (-3)/(-1). Suppose 145 = 36*b + 1. Solve 5*z = -g + b, -u*z = 5*g - 10 - 10 for z.
0
Let y(b) = -b**2 + 29*b - 149. Let p(i) = i**3 - 10*i**2 + 16*i + 22. Let j be p(8). Let w be y(j). Solve 16 = 3*x + 2*h - 7, -5*h = -5*x + w for x.
5
Let h = -840 - -848. Solve -3*j + h*o - 2 = 6*o, 5*o = -2*j - 33 for j.
-4
Let s = -77 + 91. Suppose 0 = c + 1, -p + 7 = -s*c + 11*c. Solve -5*f = -4*l - 6, p*f = 2*l - f + 8 for l.
1
Let u(v) = 326*v + 291*v - 11 + 3*v**2 - 595*v. Suppose 4*l + 2*n + 30 = 3*n, 0 = -l - 2*n - 12. Let b be u(l). Solve b*s = -5*p - 10, -p - s = -5*s - 8 for p.
0
Let h be 6/(-21)*(-5 + -2). Suppose 0 = 4*b - h*m - 22, m + 2*m + 9 = 0. Let d be b*(-6)/(-4)*(-6)/(-9). Solve -4*i + 9*o - 18 = d*o, -4 = -2*o for i.
-2
Let m = -2180 + 2206. Solve 2*k - 373*t + m = -377*t, 4*k + t + 17 = 0 for k.
-3
Suppose 3 - 23 = -2*g. Suppose -8*p + g*p = 130. Suppose -4*j + 5*d + p = 2*d, -5*j - 3*d + 61 = 0. Solve -o = 3*m + 1, -3*o - j = -m - m for o.
-4
Suppose -217*n - 50*n + 1018 = -5123. Solve -3*q = 3*i - 21, -5*i - n*q = -19*q - 34 for i.
6
Let m = 16 + -12. Let x be (-12)/6 + 1 + 1. Let o be (x - -4) + -3 + 4. Solve -m*k + o*n = -0*k - 15, k - 3 = n for k.
0
Suppose 0 = -5*q - 4*p - 1213, -1216 = 5*q - 0*p + 3*p. Let n = -245 - q. Solve -l = 0, -3*l = -c - 2 - n for c.
-2
Let r be 8 + 2 + (7 - 26 - -10). Suppose 3*k - 17 = -5*x + 22, 0 = x + 3. Let m be k/(-15)*10/(-4). Solve f + 3 = m*v + r, v + 6 = 2*f for v.
2
Let v(y) = -9*y - 88. Let x be v(-10). Solve i - 13 = -7*h + 4*h, 0 = -x*h + 5*i + 20 for h.
5
Let t be (-4)/(-9)*((-2088)/(-16))/29. Solve 13*h - t*c = 15*h - 8, 3*c = 3 for h.
3
Suppose -6*m = -10*m + 72. Suppose l + 35 = 3*c, -2*c - 2*l = -0*l - m. Let g = c + -9. Solve -3*d + 3 = -g*s - 1, 3*d - 3*s = 6 for d.
0
Suppose 2*u = 5*a + 8 - 26, 5*u = -4*a + 21. Let s be 1/3 + u*(-10)/30. Solve -3*v - 10 = 2*v + c, s = v - 4*c + 23 for v.
-3
Suppose 11*n = 14*n + 21. Let m be 2/4*(-2 - 2) - n. Suppose -4 = -4*r, 5*h - m*r + 4*r = -1. Solve h = 2*i - 5*u - 16, 3*u - u - 5 = -3*i for i.
3
Suppose -56 = -55*z + 54. Suppose -4*y + 12 + 0 = 4*l, -9 = -3*l + z*y. Solve 8 + 8 = -4*o, l*n + o + 19 = 0 for n.
-5
Suppose -5 = -53*k + 52*k. Let g be (-6)/k*(60/(-8))/3. Suppose -3*v + 3*j - g = 0, 5*v - 4 = -3*j - j. Solve v = q - 3*q + 4*p - 2, -1 = -5*q + 4*p for q.
1
Let t be (-13)/65*-15*1. Solve 0 = 4*h + 4*i, -5*h - i + t*i = -28 for h.
4
Let h = -4 + 11. Suppose -14 = -9*l + h*l. Suppose -6*y - 1 = -l*y. Solve -3*j + 0*n + 5*n = -y, -10 = -4*j - 2*n for j.
2
Let r(t) = 2*t**3 - 22*t**2 - 10*t + 147. Let b be r(11). Solve -4*x - 12 = -4*k, -2*k + b - 21 = 3*x for x.
2
Let l(r) = -24*r**2 + 90*r + 26. Let z be l(4). Let m = -28 + 14. Let a be -2 + 1 - (m + 13). Solve -2 - 23 = -5*j + 5*q, a = z*q + 2 for j.
4
Let u = 1078 - 1073. Solve 13 - 10 = -c - a, 0 = -u*c + 3*a - 15 for c.
-3
Let l = -22177 + 22190. Solve 2*v - 5 = -3*w, 5*w - l - 7 = -v for w.
5
Suppose 0 = -18*b - 11*b + 4669. Let v be 92/14 - 92/b. Solve -20 = -r - 4*f, -v = 5*f - 26 for r.
4
Let k = 213 - 188. Suppose -5*l + k = w, 3*w = -0*w + 4*l - 1. Solve w*o = -6*t + 4*t, -3*t - o = 0 for t.
0
Let j = 4 - 2. Suppose 0 = -6*t - 1708 + 1816. Suppose 2*d = -5*q + 24, -t*d + 20*d = q. Solve -2*y - j*c + 8 = -6, -d*y - c = -11 for y.
4
Let j be 9 - 54/(36/4). Solve 4*h - 12 = 2*k, -4*k + 10 = j*h + 12 for k.
-2
Let g be (11*72/264)/1. Solve -4*o + 20 = -2*k, -2*k - 3 = k + g*o for k.
-4
Let f be (0 + 0)/((-4)/(-26) + 576/312). Solve -3*l + 3*i - 3 = f, 6 = -32*l + 31*l - 4*i for l.
-2
Let o be 15/2 - (1 + (-4)/(-8)). Suppose 0 = -n + l, 4*l - o*l = 0. Let b be -3*(-4)/(-6)*-1. Solve -v + 3*p + 19 = n, 0*v + b*v = 4*p + 28 for v.
4
Let c = -3 - -21. Suppose -4*q - 3 - 53 = -0. Let r = c + q. Solve -p + 13 = -2*s - r*p, 0 = -4*s - 4*p - 20 for s.
-2
Let f be 124800/(-896) + 2*2/14. Let g = f - -142. Solve -v + 3 = 0, 0*k = -g*k - 3*v + 24 for k.
5
Suppose x - 18 = 5*t, -3 = -5*x + 2*t - 6*t. Solve 3*q - 7 = 2*q + 5*s, -x*q + 5*s = -1 for q.
-3
Let j = 0 + 2. Suppose -1748*i + 1659*i + 712 = 0. Let d be 8/6*(-36)/(-8). Solve 3*h + g = -i, 4*h + d*g - j*g = -16 for h.
-2
Let d(v) = -464*v - 459. Let y be d(-1). Solve -m = w - 0*m - y, 0 = -4*w + 5*m + 11 for w.
4
Let y = -688 + 392. Let a = y + 297. Solve 25 = 5*g + 2*m, 3*g - 3*m + a = -5 for g.
3
Let l = 1863 + -1859. Solve v + 17 = l*r, 3*v - 4*r + 48 = 29 for v.
-1
Let h(r) = -62*r + 372. Let z be h(6). Solve 2*f + z*u + 8 = 2*u, 2*f = -3*u - 13 for f.
-5
Let i(c) = -2*c**3 + 8*c**2 - 6*c + 3. Let x be -1 + 4 - (-8 + 9/1). Let p be i(x). Solve -6*g + 1 = -p*g, -4*n + 4*g = 12 for n.
-4
Suppose 100*g = -4*t + 103*g + 81, 3*t - 4*g - 59 = 0. Solve 16*m = -4*q + t*m - 25, -2*m + 10 = 3*q for q.
0
Let q = -78 + 52. Let x = 33 + q. Let i = x + -4. Solve -i*v - 4*f = 2 - 11, 0 = -4*v - f + 12 for v.
3
Let s be (3006/27)/((-4)/6). Let h = s - -176. Solve a - h = -q, -2*q + a + 6 = -0 for q.
5
Suppose -311*t + 20 = -306*t. Let s be (-25)/10*t/5 + 6. Solve d - 2*d - 20 = 5*y, -s*y = -d + 7 for y.
-3
Let q = 43 + -12. Let d = q + -25. Suppose 3 + d = 3*i. Solve 4*b - 8 = -4*f, -3*f + b = i + 11 for f.
-3
Let j = 37 + -38. Let s be 8/j - (-1)/(-3)*-9. Let a(p) = p**2 + 2*p - 6. Let o be a(s). Solve 3*f - 1 = 5*h + o, -2*h = -5*f + 23 for f.
5
Suppose -266 = -8*u - 10. Let t = 5 + 2. Suppose -t*d = -5*d - u. Solve 3*j + 7 = -3*h - 5, h + 5*j = -d for h.
-1
Let h = -735 - -739. Let c be ((-4)/(-4) - 6)/(0 - 1). Solve 5*a - c = -4*g + h, 4*g - a = -21 for g.
-4
Let b be (104/156)/(2/12). Suppose 8 = -2*z, 0 = b*t - z + 2*z - 4. Solve -t*h - 2 = 4*u, -2*h - u - 2 = -9 for h.
5
Suppose -3*c - 5*u + 12 = -2*u, 0 = -4*c - 2*u + 14. Let y be (-6882)/(-1488) + 6/16. Solve -3*h - 12 = -0*h, -c*h - 12 = -y*b for b.
0
Let i be 24*(2 - -3)/(-10). Let b be (-6)/i*(1 - (2 - 1)). Solve 5*q = -4*n - 31, 3*n - 4*q + b*q = 0 for n.
-4
Let y = -17 + 58. Suppose -79 = 5*r + 2*b, -2*r + 4*r - 2*b + 40 = 0. Let m = r + y. Solve 3*d = -2*c - 3, 0 = -0*d - 4*d + 4*c - m for d.
-3
Let z be (840/(-16))/(2/4). Let a(l) = 15*l + 2. Let g be a(-7). Let r = g - z. Solve r*x = k - 6, 3*x + 2 = -k + 3 for x.
-1
Let h(l) = 2*l**3 - 6*l + 155. Let x be h(0). Suppose 26*y - x = -5*y. Solve -3*a + 3*j = 2*a - 30, -y*a + 5*j = -40 for a.
3
Suppose 10 - 20 = -5*c. Suppose 2*q = 6*r - 2*r + c, 5 = 5*r. Suppose -p - 20 = -5*p - 4*z, -4*p + 2*z + 20 = 0. Solve -f = 2*m + 2*f + 13, p*m = q*f - 1 for m.
-2
Let l be 14/(-4)*(-96)/56. Suppose -3*q + 4 = c, 5*c = 3*q - l - 10. Solve -1 = -w + 3*h, 3*w + h - q*h = 11 for w.
4
Let j be -7 + 3/(-6)*-6. Let q = j - -23. Suppose -f + q = 5*u - 6, -2*u + 2 = 0. Solve 0 = -2*o - 0*o + 