 Solve -i = -13*w + 12 for w.
1
Let m = 430 + -430. Let c = -38 - -41. Solve -p - c + 2 = m for p.
-1
Let i = -16374 - -16374. Solve -6*l + 0*l + 3*l = i for l.
0
Suppose -20*j = -7*j - 39. Let i(o) = -o + 13. Let s be i(9). Suppose 5*r - 14 = -3*p, 2*r - 2*p = 15 - 3. Solve j*h = r*h - s for h.
4
Suppose 3*x - x = 0. Suppose -3*w + x*y = -y - 94, 0 = 5*w - 2*y - 156. Suppose -4*b - 12 = -w. Solve -b = -2*a - 1 for a.
2
Let x(k) = k**3 + 5*k**2 + 7*k + 15. Let q be x(-3). Let c(z) = -z**2 - 11*z - 25. Let v be c(-7). Solve -v*u - u = -q for u.
3
Let j(m) = -3*m**2 + 11*m - 6. Let a(x) = x + 1. Let b be a(2). Let y be j(b). Solve y = 3*u - 5*u + 6 for u.
3
Let o be 2 - 4 - (-2)/1. Suppose 5*y + 5*j - 25 = o, -5*y - 3*j = -y - 20. Suppose y*l = -4 + 19. Solve 0 = -l*b + 2 + 4 for b.
2
Let z(v) = v - 5. Let h be z(9). Suppose 0 = d + 3*m - 16, h*d - 25 = -5*m + 11. Suppose 3 = 2*r + 3*r - q, -3 = 5*r - d*q. Solve 0 = -0*n + n - r for n.
1
Let w(c) = -38*c + 38*c - c**2 + 5 - 3*c**3 + 2*c**3. Suppose 2*x - 8*a = -4*a + 20, 4*a + 20 = 0. Let v be w(x). Solve -2 + v = -f for f.
-3
Suppose -117*q + 384*q = 131*q + 122*q. Solve -15*o + q*o = 75 for o.
-5
Suppose 4*c = 4*z - 644, 4*z = -5*c + 4*c + 649. Let q = z + -152. Solve 0 = -13*x + q*x + 12 for x.
4
Let n(i) = 3*i**2 - 42*i + 77. Let t be n(12). Suppose 5*j - z = -3*z + 10, 5*z - 10 = -5*j. Suppose -c = j - 12. Solve -t*l - 20 = -c*l for l.
4
Let t = -92 + 22. Let s = t + 72. Suppose -8 = -s*m - 4*k, 2*m + m - 16 = -5*k. Solve m = 5*c - c for c.
3
Let l(v) = -v**3 + 21*v**2 - 94*v. Let z be l(7). Solve -8 = 4*u - z for u.
5
Suppose x - 21*c - 18 = -17*c, -5*c + 101 = 2*x. Solve -x*t - 2 = -39*t for t.
2
Suppose 19*m - 2801 + 2706 = 0. Let j = 5 - 5. Suppose 2*g + 4 = 3*s, 3*s - 9 = -3*g - j*s. Solve m = -4*k + g for k.
-1
Let r(f) = 2*f**3 + 77*f**2 + 38*f + 277. Let m be r(-38). Solve 283 = -6*k + m for k.
-1
Let w = 50 - 34. Let y be 3 - 6 - 3/((-6)/w). Suppose y = 5*g + 5. Solve 3*t + g = 3 for t.
1
Let c be (6/(-4) - -1)*(-62 - 82). Suppose -m - 4*a + 7 = 3, 3*m - 3*a = c. Solve -o = m - 17 for o.
-3
Suppose 68 = 4*f + 8. Let o = f + -69. Let t = 56 + o. Solve -v + t = v for v.
1
Let x(a) = 6*a + 109. Let b be x(6). Solve 29*i - 29 + b = 0 for i.
-4
Suppose 5*t + 8408 - 9056 = -7*t. Solve 301*y = 292*y - t for y.
-6
Let t = 7821 + -7789. Solve t*v + 17 = 15*v for v.
-1
Let a(b) = b**3 - b**2 - 2*b + 3. Let y be a(0). Suppose 8 = 4*c - y*w - 11, 2*c = -3*w + 5. Solve -c*t - 1 = 3 for t.
-1
Suppose 5*m + 25 = 85. Suppose -2*s - 5*q = -12, -3*s = -s - 5*q - m. Let t be (-5 - (1 - 3))*s/(-9). Solve 2*o + t = -0 for o.
-1
Suppose -5*b - 3*s = -28, 36 = 5*b - 5*s - 24. Solve 15 - b = 7*n for n.
1
Let b be 2/(-18) + (-57)/(-513). Let g be (-3)/(-2)*80/4. Suppose 3*x + 5*i = -2*x + g, 4*i = x - 1. Solve -z + b = -x for z.
5
Let x = -353 - -428. Suppose x*o = 79*o - 44. Solve 3*f - 8 = o*f for f.
-1
Let p be (-1 - 1)/(1/(-2)). Let k = 49441 - 49441. Solve p*c - 3*c = k for c.
0
Let i = 19 - 15. Let c be i + -1 - (10 + (-3)/(-3)). Let z be (1 - 1) + (-3 - c). Solve 0 = -3*d - 1 - z for d.
-2
Let r = 1597 - 1578. Solve 8*y - r + 75 = 0 for y.
-7
Suppose 3*m + 3*x - 30 = 0, -412*m - 10 = -414*m + 3*x. Solve -7*b + m*b = 5 for b.
5
Let y be ((-12)/10)/((-6)/45). Let r(b) = -b**3 - 11*b**2 - 11 - b + 9*b - y*b. Let t be r(-11). Solve t*o + 3*o - 12 = 0 for o.
4
Let s(j) = -41 + 12*j - 35*j + 18*j - 47. Let q be s(-18). Solve 3 = q*y + 5 for y.
-1
Let p(v) = -v**2 + 6*v - 5. Suppose -5*u + 3 + 1 = -q, -5*q + 38 = 4*u. Let a be (-14)/12 + 1 + 19/q. Let x be p(a). Solve 2 = -c + x for c.
2
Suppose -2*p = -3*y + 9, p - 5*y - 3*y = -24. Let x be 12 - (-2 + (-3 - -4)). Suppose -5*z + x = 8. Solve d + 0*d + z = p for d.
-1
Let a be ((-20)/(-6))/((-15)/(-18)). Suppose 5*k + 22 = 4*o + 30, a = -k - 2*o. Solve k = 11*f - 4*f - 35 for f.
5
Let d(v) = v**2 - v + 3. Let j be d(0). Suppose 0 = 3*x - 2*x - j*l - 21, -2*x + 54 = -3*l. Let z = 36 - x. Solve 0 = 3*f - z for f.
1
Suppose i + 133 + 72 = 2*w, -w - 3*i = -113. Suppose -12*a - 1286 = -86. Let l = a + w. Solve -l*k - k = 0 for k.
0
Suppose -10*c = -5*v - 9*c, -3*v + 8 = c. Suppose 9*j = 4*j + 5*d - 350, 6 = -3*d. Let a be j/(-20) - 8/(-20). Solve a*x - v = 19 for x.
5
Let r(k) be the second derivative of 2*k**3/3 + 47*k**2/2 + 321*k. Let p be r(-7). Solve 4*n + p - 3 = 0 for n.
-4
Let a = 1081 - 1071. Solve 0 = -406*i + 408*i - a for i.
5
Let h = -16 + 36. Suppose -5*g - 5*t + h = 0, 3*g + 4*t - 10 = 2*t. Suppose g*d - 32 = -2*d. Solve d = 3*z - z for z.
4
Let j(g) = -g**3 + 14*g**2 - 15*g + 26. Let t be j(13). Let r be (-29 + 26)*(-1 + t). Solve -r*b - 10 = 2*b for b.
-2
Let i be 6/(30/25) + 18 + -12. Solve 4*f - i = -39 for f.
-7
Let n be -1 - (-9)/4 - 4108/(-16). Let a = n - 258. Solve a*t - t = 0 for t.
0
Let k be -1 - 3 - 5/10*-8. Suppose k = -2*o + 10*o + o. Suppose o*h = -0*h + 5*h. Solve -3*s + h*s = 9 for s.
-3
Let b(j) = j + 17. Let p be b(0). Suppose p = -a + 6*a + c, 7 = a + 2*c. Let d = 692257 + -692251. Solve 0 = h + a - d for h.
3
Let o be (72/14)/((-4)/(-14)). Suppose -4*i - 57 = -5*s, 2*s - 4*s + o = -4*i. Suppose 3*d + 4*y - s = 0, -4*d - 4*y + 1 = -5*d. Solve 3 = -d*j - 6 for j.
-3
Let k be (-7)/(-14) + (-76)/(-8). Suppose -4*a = -26 + k. Solve -2*r = -a*r - 2 for r.
-1
Let n(x) = 92*x - 66. Let m be n(1). Solve -m*p = -11*p - 30 for p.
2
Let l(k) = -k**3 + 9*k**2 + 2*k - 15. Let u be l(9). Suppose -u = -3*q, -5*h + 0 + 18 = 3*q. Suppose -8*c = -h*c - 5. Solve c = -2*b + 3 for b.
1
Let f(k) be the third derivative of 17*k**4/8 - 533*k**3/6 - 6*k**2 - 12. Let p be f(11). Solve -3*o - 31 = -p for o.
-1
Suppose 2*g - 129 - 169 = -3*r, 3*g = -3*r + 297. Solve -34*s + 70 = -r for s.
5
Suppose 0 = 9*x + 8 - 62. Suppose x*t = 70 - 52. Solve 4*f + t*f - 2*f = 0 for f.
0
Suppose 29*g = 34*g - 10. Let k = 20 - 19. Suppose d + 0*d = 7. Solve -g*r = -d + k for r.
3
Let x = 3367 + -3265. Solve 107*c - x*c = -25 for c.
-5
Let j be ((-3)/2)/1*-2. Suppose 4*h - 40 = -2*s, 3*s - h - 861 + 850 = 0. Solve -j*f - s = 9 for f.
-5
Let h(g) = 59*g - 413. Let o be h(7). Solve o = -2*w - 18 + 30 for w.
6
Suppose 0 = -108*q + 103*q + 8075. Let n = q + -1615. Suppose -2*u = 3*u. Solve -t + 1 + u = n for t.
1
Suppose -2*j + 2*d - 650 = 0, 5*d - 11 = 9. Let s = j - -325. Solve -4*y + 6*y = s for y.
2
Let q(w) be the second derivative of w**5/20 + w**4/4 + w**3/6 + w**2/2 - 5*w + 3. Let u be q(-2). Let i = 3 + -3. Solve -u*o + 2*o - 1 = i for o.
-1
Let n = -10370 - -10407. Solve 65 = -4*y + n for y.
-7
Suppose j + 3 = 0, -d - 2*j - 36 - 5 = 0. Let m = d + 37. Let f(g) = 11*g - 16. Let y be f(2). Solve 0*h - y = -m*h for h.
3
Let w(d) = d**3 - 9*d**2 + 16. Let q be w(9). Suppose -4*r = -3*p + 30, 0 = -5*p + 4*r + q + 26. Solve 0 = 4*b - 2 - p for b.
2
Let y(t) = -t + 7. Suppose 300 = 2*g + 294. Let k be y(g). Solve -3*w + 13 - k = 0 for w.
3
Suppose -4*a + 43 = 11. Suppose a*p + 20 = 13*p. Solve -2*l = -6*l - p for l.
-1
Suppose -33*h + 606 = -1521 + 180. Solve -28*f + h - 3 = 0 for f.
2
Let c = 466 - 466. Suppose c = 2*u - 10, 80 = 4*k - 5*u + u. Solve -5 = -4*i - k for i.
-5
Let w(k) = -k**3 + 4*k**2 + 2*k - 12. Let z(g) = 2*g**2 + 11*g - 3. Let a be z(-6). Let i be w(a). Solve 3 = -i*m - 0*m for m.
-1
Let t(n) be the first derivative of 9*n**2/2 - 66*n + 41. Let a be t(6). Let k be (2 - 0) + 3*(-8)/a. Solve -k*g - g - 5 = 0 for g.
-1
Let q be (-6)/123 - (-3864)/1886. Solve -m - 3 = q for m.
-5
Let y(p) = 31 - 2*p - 141 + 52. Let o be y(-29). Solve o = 5*l + 4 - 24 for l.
4
Suppose 0 = -286*p + 725*p. Solve -38*v - 38 = -p for v.
-1
Suppose -2 = 2*r - 3*m - 15, 4*m - 6 = -2*r. Suppose r*i - 4*t = 68, 0 = -i - 3*t + 9 - 3. Let s(y) = y + 5. Let j be s(-3). Solve -j*u = 2*u + i for u.
-3
Suppose 0 = -s + 23 - 21. Suppose 2*c + s*d = 4*c - 22, 0 = 3*c - d - 31. Suppose -6*u + 26 + c = 0. Solve g + 2*g = -u for g.
-2
Let s = -55 + 102. Let y = 19 - s. Let r = 34 + y. Solve -r*z = -z + 25 for z.
-5
Suppose -2*g = 2*z - 4*z - 574, 867 = 3*g - 4*z. Solve g*o - 299*o = 0 for o.
0
Let r be ((-1320)/130 - 2/(-13))*-1. Let d = r - 13. Let n be (-8)/(-12)*d/(-2). Solve n = -w - 3 for w.
-4
Let i be 138/33 + (896/154 - 6). Solve 482 = i*l + 474 for l.
2
Suppose -74*a - 117*a + 42