 2*i - 2 = v for i.
2
Suppose 3*k + 24 = 9*k. Let b be ((-4)/6)/(6/(-45)). Suppose -b*w = -k*h + 41, 4*w = h - 6*h. Solve 0 = 8*s - h*s + 16 for s.
-4
Let w = -20731 - -20821. Solve -w = -16*a + a for a.
6
Let u(t) = t**2 - 20*t - 104. Let x be u(16). Let k = x + 176. Solve k = 3*w + w for w.
2
Suppose 3*f + 9 + 132 = -2*q, -q - 83 = -f. Let d = 110 + -186. Let n = d - q. Solve 0 = -n*g + 3 + 7 for g.
5
Suppose -j = q - 52, -3*j - 6*q + 171 = -8*q. Suppose 0 = -6*y + 17*y - j. Solve 7 = y*p - 8 for p.
3
Suppose 0 = 139*n - 6359 + 938. Solve 19 = 29*x - n for x.
2
Let v(d) = -d + 8. Let m be v(4). Let h be -6 + 3 - (-6 - 0). Suppose m + 11 = h*s. Solve -s = -0*l + l for l.
-5
Let y be (12/10)/(3/10). Let k(v) = v**2 - 1323*v + 62438. Let o be k(49). Solve -y*j - 2*j = -o for j.
2
Suppose -231 = -5*l + 1099. Suppose l*r - 4 = 264*r. Solve 0 = r*z - 3 + 7 for z.
-2
Let r(w) = 10*w + 14. Let u be r(-2). Let c be (-9)/u + (-18)/(-36). Solve 0 = c*g + 3*g for g.
0
Suppose 2*v + 68 = -2*i, -16*i - 4*v = -18*i - 98. Let j be (-54 - -2)*(-3)/(-4). Let p = j - i. Solve p = n + 4 for n.
-4
Let f = 208 - 198. Suppose c - f = -4*t, -2*t + 3*c + 2*c = -16. Solve -t*q - 2*q = -5 for q.
1
Let m = 1689 - 1652. Solve 28 = -m*n + 23*n for n.
-2
Suppose 0 = 2*n - 4*c - 56, -n - 2*c + 28 = 6*c. Solve -11*x = 35*x + n*x for x.
0
Suppose 2*y + 73 = 2*d - 1, 3*d = -5*y + 135. Suppose 71*k + d - 111 = 0. Let u be 1 - (-1 + 0/(-1)). Solve -u*x + k = -3 for x.
2
Let d be (-36)/(-14) + (-21)/(-49). Suppose -2*t - 2*f + 19 = -1, -2*t + 21 = d*f. Let g be 3/(-2)*(t/(-3) - -1). Solve -g*k + 6*k - 12 = 0 for k.
4
Suppose 0 = 2683*b - 2691*b + 696. Solve -56 = 95*l - b*l for l.
-7
Let k(h) = 28*h - 372. Let w be k(14). Suppose -6*v + 38 = w. Solve 2*x + v*x = -9*x for x.
0
Suppose -2*k = m + 6, -4*m + 26250 - 26298 = 0. Let s be (-2)/5 + 2/5. Let c be 1*(-1 + (s - -1)). Solve c = i + k*i for i.
0
Let i(f) be the first derivative of -f**2/2 - 7*f + 2. Suppose -14*k - 1 = 167. Let u be i(k). Solve u*v + 8 + 2 = 0 for v.
-2
Let p(f) = f**3 + 15*f**2 + 20*f - 6. Let r be p(-12). Let g = -173 + r. Solve -12*u - 1 + g = 0 for u.
1
Suppose -3*z + 85 = 4*f, -6*z + 5*f = -9*z + 80. Solve -9*n - z - 1 = 0 for n.
-4
Let r(x) = x**3 - 24*x**2 + 20*x + 20. Let d be r(23). Let t = d - -61. Suppose -6*j = -3*j + 5*f - 32, -2*j - t = -5*f. Solve w = j*w for w.
0
Let c(z) = 2*z**3 - 3*z**2 - 9*z + 19. Let w be c(2). Let i be (w + -4)/((-4)/(-20)). Solve -i*m = 6 - 31 for m.
5
Let s be 8/(-12) + 14/3. Let j be s - (4 - 2) - -2. Suppose -j*b = -t + 1, -5*t = b - 28 + 2. Solve -b = 4*n - 3*n for n.
-1
Suppose 308 = 3*w + 4*r + 232, 100 = 4*w + 5*r. Let z = -2 + 8. Solve w = b - z*b for b.
-4
Let h(p) = -4*p**3 + 4*p**2 - 12*p - 6. Let y(i) = -9*i**3 + 7*i**2 - 25*i - 13. Let t(s) = 7*h(s) - 3*y(s). Let k be t(5). Solve -k = -4*a + 6 for a.
2
Let l(g) = -g**2 - 22*g - 56. Let i(n) = -n**3 - 9*n**2 - 19. Let q be i(-9). Let r be l(q). Solve 3*w + 5 = -r for w.
-2
Let x be 56 + (-7 + -15 - -5 - -9). Solve -x*q + 37*q = -66 for q.
6
Suppose -m + j + 154 = 0, 35*j - 37*j - 466 = -3*m. Solve 38*w - m = 108 for w.
7
Let q(j) = j**3 - 18*j**2 + 32*j + 24. Let o be q(16). Suppose o = 5*w + b, -18*w + 16*w - 4*b + 24 = 0. Solve 24 = -w*m - 4*m for m.
-3
Suppose -4*x - 34 = -6*x. Suppose i + 10 = x. Suppose -2*q - 20 = -i*q. Solve 12 = -0*a + q*a for a.
3
Suppose -5*b = -2*o - 80, -o + 2*o + 5 = 0. Suppose 19*k - 12*k = b. Solve 30 - 22 = -k*d for d.
-4
Let w be (-32)/(-10) + ((-60)/25)/2. Let s = 0 + 12. Suppose -4*k + s = -0*k. Solve -w*c + 4 = -k*c for c.
-4
Let p = 253 + -275. Let z be (-48)/p - (-6)/(-33). Solve -z*g + 16 = 2*g for g.
4
Suppose 0 = -5*d + 32*r - 28*r + 40, 5*r - 25 = 0. Solve 97 = d*c + 49 for c.
4
Let c be (5 - 4)*(52 + -37). Solve c + 10 = 5*f for f.
5
Suppose 299*f - 254*f - 115 = 65. Suppose 11 = 3*z - 25. Solve f*c + 0*c = z for c.
3
Suppose -3*n - 5*c = -208, 122 = -n + 2*c + 195. Solve -91*p = -n*p - 80 for p.
4
Let z(g) = -5*g**3 + 28*g**2 + 14*g - 11. Let o be z(6). Let k(f) = 7*f + 6. Let l be k(0). Solve l*m = o + 17 for m.
3
Let y = 106 + -62. Let p be (-4)/(16/30)*(42 - y). Solve -32*t + p = -29*t for t.
5
Suppose 4*f - 6 = -3*p - 18, -3*f = 4*p + 9. Suppose -h + 5 = 0, 30 = 4*l + 2*h - p*h. Suppose 2*n = -3*n + l*i + 30, -i = n + 2. Solve 2*j = -n*j - 16 for j.
-4
Let r(u) = -15*u - 119. Let y be r(-8). Let p be (y + -4 - -5) + 7. Solve 0 = -2*k + p - 19 for k.
-5
Let z = -17 + 22. Suppose -10 = 5*k - 4*k - z*c, -c = -3. Let b be -9*((-14)/7 + (-14)/(-9)). Solve -k*p = -p - b for p.
1
Let u be -5 - (-85)/15 - (-22)/(-6). Let q be (1 - u) + (1 - 3) + 2. Let m = -1 + 2. Solve m + q = p for p.
5
Let b be (-18)/(-5) - (-4)/10. Let z(m) = -52*m**2 + 170*m**2 + 15 - 59*m**2 + 47*m - 58*m**2. Let g be z(-47). Solve g = b*l - 5 for l.
5
Suppose 33*v - 2*i + 67 = 38*v, 2*v - 10 = 2*i. Solve 10*k - v*k - 3 = 0 for k.
-3
Let h = -29 - -25. Let b be (0 + -30 + h)*-2. Let z = b - 52. Solve -z = -0*u - 4*u for u.
4
Let c(a) = a**3 + 10*a**2 + 14*a + 9. Let u be c(-8). Let h = u - 19. Let t be (h/9)/((-8)/(-48)). Solve -t*i = i for i.
0
Let s be ((-24)/10)/(12/(-30)). Suppose 4*t + s = 7*t. Suppose t*g = 10 - 6. Solve 3*k + g*k = 0 for k.
0
Suppose 16*c - 9 = 119. Let v = 11 - c. Solve l - 6 = -v for l.
3
Let r be (153/(1836/(-36)))/(((-1)/(-3))/(-1)). Solve 108 - 135 = r*p for p.
-3
Let z = 9504 + -9450. Solve 48*y + z = 21*y for y.
-2
Suppose -9*r + 3145 + 644 = 0. Suppose r = -9*w + 799. Solve 4*p - 34 + w = 0 for p.
-2
Let k = -1345 - -1612. Solve -k = -5*q - 297 for q.
-6
Let f(z) = z**3 + 6*z**2 + 7*z - 5. Let t be f(-4). Let v = 1 - t. Suppose -d = -5*h + 15, v = 2*d - 8. Solve 0 = 4*p + 8 + h for p.
-3
Suppose 5*y = 2*c - 35, 4*y + 23 + 54 = 3*c. Solve -c*r + 10*r = 150 for r.
-6
Let o(x) = -x + 12. Let h be o(12). Suppose 0 = -3*p - 8 - 7. Let u be (9*2)/(h + (-10)/p). Solve -3*s = -0*s + u for s.
-3
Let j = -42 - -45. Suppose -j*n + n + 62 = -2*l, 97 = 3*n - 4*l. Suppose 10*b - 23 = n. Solve 0 = -b*i + 4 + 11 for i.
3
Suppose -198*j + 3*d = -200*j + 30, 0 = -3*j - 2*d + 55. Solve 33 = -4*t + j for t.
-3
Let c(m) = 16*m + 2. Let i be c(-3). Let d = i - -57. Let b(u) = 3*u - 8. Let n be b(d). Solve -t = -6*t - n for t.
-5
Let v(o) = -11*o**2 - 2*o**3 + 2*o**3 - o**3 - 3*o + o**2 + 8. Let n be v(-10). Let u = n + -35. Solve -5*k + u + 7 = 0 for k.
2
Let a(b) = b**3 + 57*b**2 + 212*b + 25. Let p be a(-53). Let k be 2*((-10)/(-4) + 0). Solve 0*z - p = k*z for z.
-5
Let x(s) = 15*s - 20. Suppose 4 + 2 = -q + 4*u, -u - 2 = -2*q. Let i be x(q). Solve 14 - i = -4*r for r.
-1
Let s(k) = -14*k**2 + 70*k - 5. Let q be s(4). Solve 68*t + 102 = q*t for t.
-6
Let l = 3535 - 3532. Let v = -2 - -4. Suppose v*w + 3*a + 2*a = 25, 4*w - 5 = -a. Solve 4*i - i + l = w for i.
-1
Let z(o) be the first derivative of 3*o**4/4 + 2*o**3/3 - 2*o**2 + 3*o - 396. Let i be 3 + -1 - 0 - 1. Let k be z(i). Solve -k*p - p = 10 for p.
-2
Let h(y) be the second derivative of -y**4/12 + 37*y**3/6 - 142*y**2 + 165*y. Let n be h(26). Solve -n*f = f for f.
0
Let j be (3 + -8)/(-5)*12. Suppose 0 = 2*a + a, 3*a - j = -4*p. Suppose 49*y + 15 = 52*y. Solve -y*g + p = -2 for g.
1
Let o(k) = -13*k - 26. Let y be o(-2). Suppose 10 = 2*w - u, -4*w - 2*u + 0 + 4 = y. Solve c + w = -2*c for c.
-1
Suppose 5*m = 26 + 24. Let v be ((-24)/m)/((-48)/(-160)). Let p be (-20)/v - (-2)/(-4). Solve 0 = -p*f - 4 - 4 for f.
-4
Let p be ((-136)/32)/17 - (27/4)/(-3). Solve 6*g = p*g + 12 for g.
3
Let i(t) = 3*t**3 - 83*t**2 - 22*t - 168. Let a be i(28). Solve 189*x - 194*x - 15 = a for x.
-3
Suppose -60*o - 6304 = -14259 - 12865. Solve 7*m - o = -354 for m.
-1
Let s be 84/5 - (-20)/(-25). Let g be 6 + (-1 - 0/(-2)). Suppose -5*x - 20 = 4*i, 398*x - 8 = -4*i + 400*x. Solve -g*t - 1 + s = i for t.
3
Suppose 4*f - 3*b = -85 + 5, 5*f + 5*b + 135 = 0. Let d be 9/(1/(-3)*1). Let y = f - d. Solve -y*g = -0*g for g.
0
Let a be (2 - 204)*6/(-12). Suppose 5*v + a = 176. Solve 2*n = -n + v for n.
5
Let x be 16/(-4) - -207 - -1. Suppose 4*u - x - 19 = g, -g + 5 = 0. Suppose 0 = -62*h + u*h + 15. Solve h = -5*d + 23 for d.
4
Let k be (-28)/3*-18*(-6)/18. Let j be (-2 + (-48)/21)/(12/k). Solve -j = 4*c - 0*c for c.
-5
Let l(d) = 5*d**2 - 13*d - 15. 