24*v. Let p be s(12). Let x be 10 - (-2 + -4 + p). Solve 4*a - x = -2 for a.
3
Suppose -4*g + 0*g = -280. Suppose -6*z + z + g = 0. Suppose -b = -3*b + 5*s + 15, 5*b - 2*s - 27 = 0. Solve -3*r - z = -b for r.
-3
Suppose -i + 4*w = -33, 2*i - 2*w + 4*w = 36. Suppose -5*y - 1 + i = 0. Suppose y*u + 4 = m, 4 = -4*u - 3*m + 16. Solve 0*n - n = u for n.
0
Let u = -744 - -1031. Suppose 4*f + 3*a - u = 0, f = 4*a + 34 + 33. Solve -f + 74 = r for r.
3
Let b(n) = -26 + n + 13*n**2 + 0*n - 20*n + 4*n - n**3. Let j be b(11). Solve 0 = 5*k - j + 26 for k.
5
Suppose -4*k = 24, -3*y = -6*y + 3*k + 180. Solve -2*a - 16*a - y = 0 for a.
-3
Let w(o) = -o**2 + 6*o - 6. Let k be w(6). Let i(b) be the second derivative of b**3/2 + 11*b**2 + b - 73. Let u be i(k). Solve u*t - 2 + 6 = 0 for t.
-1
Suppose -v - v + 8 = 0. Let c be (-4 - (-96)/20)*(-25)/10. Let x(d) = -d**3 + 2*d**2 + 16*d + 23. Let w be x(c). Solve -w*s + v*s = -12 for s.
4
Suppose 79*k - 108 = 61*k. Let o be -3 + 11 - k - -5. Solve -o*q - 4 = -9*q for q.
2
Let k(p) = 2*p**2 - 5*p + 2. Let t be k(3). Let g be 0/((-1 - t)/(-6)). Solve 2*y + 3 + 7 = g for y.
-5
Suppose 21*o - 8228 = -23*o. Solve -89 - o = 46*z for z.
-6
Suppose 0 = 4*g - 3*g - 414. Let s be (-14)/91 - g/13. Let v = -27 - s. Solve -4*w = -v*w + 1 for w.
1
Let n(v) = -v**2 + 3*v**2 - 321 + 316 - 21*v. Suppose -3*s = -3*y + 39, -3*y + 1 + 22 = 5*s. Let z be n(y). Solve 2*f - 16 = z*f for f.
-4
Suppose -u - 10 = 4*d, 3*u = -d + 68 - 65. Let j = 8 + 0. Let c be (6/(-4))/((-6)/j). Solve -u*t = c*t - 8 for t.
2
Let q = 116 + -110. Suppose 5*t = -39 + 4. Let i(m) = -m**2 - 6*m + 13. Let r be i(t). Solve 4*x = r*x - q for x.
3
Let s(a) = -2*a**3 - 6*a**2 + 3*a + 7. Let x be s(3). Let m = -90 - x. Solve 3 = -q + m for q.
-1
Let f be (-2)/(-7) + (-43968)/(-168). Suppose f = 25*j - 113. Solve 3*m + 0*m + j = 0 for m.
-5
Suppose 0 = 5*j - 5*g - 215, 4*j + 2*g - 94 = 48. Solve -14*s + 52*s - j = 0 for s.
1
Let n be 4*(-1 - (13/(-2) - -2)). Let s(h) = 5*h - 10. Let l(m) = 2*m - 3. Let k(d) = -8*l(d) + 3*s(d). Let x be k(-10). Solve 0 = x*b - n + 6 for b.
2
Let i = 9 - 8. Let y be (-1*(1 - i))/3. Solve y = 2*l + 3*l - 25 for l.
5
Let n = 135 - 134. Let g be (39 - 41)/(10/(-6) + n). Solve g*v = 2*v + 1 for v.
1
Suppose 20 = 3*n + 2*g, 0*n + 4*n - 5*g = -4. Suppose 125 = n*o + o. Let x = 331264 + -331264. Solve x = 5*f + 5 - o for f.
4
Let g(l) = 8*l + 429. Let r be g(-20). Solve -u - r + 272 = 0 for u.
3
Suppose 3*h - 3*m + 41 = 50, 2*m + 6 = -5*h. Solve r - 19*r - 108 = h for r.
-6
Let v(r) = r**3 + 17*r**2 - 40*r - 35. Let g be v(-19). Let w(f) = f**3 + 12*f**2 + 2*f + 9. Let q be w(0). Solve 2*n - q = -g for n.
3
Let p(d) = 56*d**2 - 167*d + 164. Let f be p(1). Solve -f*r - 144 = -462 for r.
6
Let y(q) = -q**3 + 47*q**2 + 49*q - 35. Let r be y(48). Suppose -m - 2*k = 8, -8*m = -9*m - 3*k - r. Suppose 0 = 3*w - 8 - 1. Solve w*l - m = l for l.
1
Suppose 5*h - 5*c - 55 = 0, -3*c - 4 = -13. Suppose 0 = -4*u - 26*u + 30. Solve -u = -13*x + h*x for x.
-1
Let p(r) be the first derivative of r**3/3 + 13*r**2 + 93*r - 240. Let j be p(-22). Solve 0 = -8*a + j*a + 6 for a.
2
Let v(t) = 8*t**2 - t + 6. Let u(h) = 3*h**2 + 2. Let z(a) = 11*u(a) - 4*v(a). Let d(y) = -53*y - 482. Let k be d(-9). Let s be z(k). Solve n + s - 1 = 0 for n.
-2
Let d(z) = 20*z - 16. Let n be d(1). Let b(j) = -j**2 - 14*j - 1. Let h be b(-11). Let g = -29 + h. Solve g*x = n*x for x.
0
Suppose 10 = 2*s + m, -5*m = 5*s - 10*m - 55. Solve 0 = -8*g + s + 25 for g.
4
Let g(j) = -396*j - 1575. Let i be g(-4). Solve -i*n - 4 = -13*n for n.
1
Let z(r) = r - 11. Let v be z(11). Let m(d) = v*d**2 - 2*d**2 + d**2 + 0*d**2 + 3 - 9*d. Let l be m(-9). Solve -4*g + l*g + 3 = 0 for g.
3
Let g(m) = m**3 - 5*m**2 + 6*m - 16. Suppose -7 = -3*h + 2*t, 12*h + 3*t = 17*h - 13. Let v be g(h). Solve -2 = 3*f - v for f.
4
Suppose 49 + 17 = 33*t. Suppose t*a + 4*r = -4, -3*a - 4 = r + 4*r. Solve 3*y + a = y for y.
-1
Let c(j) = 4*j**3 + 154*j**2 - 240*j + 10. Let z be c(-40). Solve -53 = z*i + 17 for i.
-7
Suppose -552 = -16*a - 30*a. Solve 20*m - a*m - 8 = 0 for m.
1
Let f(q) = q + 8*q - 2*q + 67. Let t be f(-9). Solve 4 + t = 4*p for p.
2
Let q(n) = -89 + 176 - 21*n - 105 - n**2. Let t be q(-9). Let h = t - 82. Solve -3 = 5*a - h*a for a.
1
Let k = -4563 - -4568. Solve -k*y - 15 = -2*y for y.
-5
Suppose 141*q = -5*m + 143*q + 555, -444 = -4*m + 4*q. Solve -34*u = -m - 161 for u.
8
Let r(h) = -10*h**2 + h**3 - 7*h**2 - h**2 + 1 + 4. Let n be r(18). Suppose 2*b + 4*l - n = b, 2 = 2*l. Solve 0 = 2*w + 3 + b for w.
-2
Let g(d) = 25*d + 2252. Let i be g(-64). Solve 4*m - i + 664 = 0 for m.
-3
Suppose -4 = -4*h, 7*h - 947 = 5*l + 5*h. Let v = 189 + l. Solve v = -b - 0*b - 4 for b.
-4
Suppose u = 4*u - 9. Let y(t) = -20*t - 124 - 23*t + 37*t - 41. Let n be y(-28). Solve 0 = u*o + n + 9 for o.
-4
Let b(f) = f**2 - 19*f - 129. Let z be b(25). Solve -105*m = -98*m - z for m.
3
Let t(u) = -u**3 + 17*u**2 + 9. Suppose -7*x - 12 + 131 = 0. Let l be t(x). Solve 4*q - 1 = -l for q.
-2
Suppose 6*y - 925 = -4*s + y, -3*s + y + 689 = 0. Let q = -215 + s. Let u be (-2 + 1)/((-2)/4). Solve -u*a - q = 3*a for a.
-3
Suppose 5*d - 1 = 5*c - 41, -13 = -c + 2*d. Suppose 2*g + x - c*x + 2 = 0, -10 = -2*g - 2*x. Solve -g = -0*u + u for u.
-2
Suppose 247*r + 92 = 4*u + 249*r, -u + 32 = -r. Solve -u + 42 = -4*t for t.
-4
Let z(x) = 28*x. Let m be z(0). Let r be 0/((-2 - m)*1). Suppose -5 = h + 3*u, -5*h + 5*u = -7 - 8. Solve w = -r + h for w.
1
Let d = 2397 + -2260. Solve d + 23 = -40*h for h.
-4
Let y = 710 + -650. Solve y + 160 = 44*c for c.
5
Let s = 7 + -4. Suppose -5*y + 47*n - 46*n + 4 = 0, 0 = 4*y + 3*n - 26. Solve -s*o + y*o = 2 for o.
-2
Let i = -7486 - -7507. Solve 15*k + 6 = i*k for k.
1
Let s be 1/((13/14)/13). Suppose 8*i + s = 94. Solve -i = -2*c - 3*c for c.
2
Suppose -104*w - 11 = -531. Solve -w*l + 2*l - 8*l = 0 for l.
0
Let v(p) = p**2 - 24*p + 141. Let t be v(13). Let g(m) be the first derivative of -m**2/2 + 2. Let s be g(t). Solve 11 = s*f + 3 for f.
4
Let l = 378 - 375. Suppose l*t - r = 4, 0 = -3*t - 2*r + 7*r + 20. Solve t = -11*g + 6*g + 25 for g.
5
Let h(b) = -4*b - 43. Let j be h(-21). Let s = -52 + j. Let i(v) = -2*v - 22. Let l be i(s). Solve 4*y + 0*y = l for y.
0
Let w(l) = -l + 26. Let m be w(25). Suppose 11 = s - 5*t, 2*t + m = -11*s + 8*s. Solve 4*v + 3 = -s for v.
-1
Let z = 8 + -6. Let m(w) = -633*w - 4431. Let a be m(-7). Solve -k = -z - a for k.
2
Let z = -233 - -99. Let c = z - -139. Solve -c*u = -u for u.
0
Let u = -64 - -15. Let b = u - -24. Let n = b - -30. Solve n*l + 7 - 27 = 0 for l.
4
Let u = -452 + 477. Let m be 4 - (u/5 + -12). Solve -3*j + 4 + m = 0 for j.
5
Let x(i) = -i**3 - 6*i**2 - 12*i + 5. Let j be x(-8). Suppose -39 = -5*y - j. Let r = -36 - y. Solve -r*n = n for n.
0
Suppose 16*b - 2802 = -850. Solve 28 = -30*k - b for k.
-5
Let j(i) = -i**3 - i**2 - 2*i. Let m be j(-3). Let y = 6005 - 6005. Solve y = 7*x - x + m for x.
-4
Suppose -9*p = -37*p + 196. Suppose -p*r - 27 = 5*k - 116, 0 = -3*r - 2*k + 38. Solve -q + 7 - r = 0 for q.
-5
Let q(w) = w**3 - 9*w**2 - 8*w - 21. Let z be q(10). Let v be (-3 + 4)/(z + 0). Let y be v*(-1)/(-2) - (-405)/30. Solve 16 = -9*b + y*b for b.
4
Suppose 719 = 12*y + 551. Solve 133 = 17*g + y for g.
7
Suppose 10855*z = 10849*z + 156. Solve 0 = z*u + 88 - 10 for u.
-3
Let f = -1157 - -2012. Suppose f*k = 851*k + 288. Solve -64 + k = 2*w for w.
4
Let a(n) = 19*n - 373. Let b be a(20). Solve b*i + 9*i = 16 for i.
1
Let v be ((-6)/(-72))/(5/4215) + 3/(-12). Solve -b - 73 = -v for b.
-3
Let z(m) = -244*m + 2199. Let j be z(9). Solve j = 110*f - 113*f for f.
-1
Let j be (380 - 385)*(-1 - 1). Let b = 0 - 1. Let w be 0*(b + 4/2). Solve 0 = 5*t - w - j for t.
2
Suppose -5*j - 2*m + 21 = 0, -m + 4*m = 3*j. Suppose 0 = 9*g - 15 - j. Suppose -4*c + g + 10 = 0. Solve -c*r = -2*r - 2 for r.
2
Let k(b) = -b**3 + 12*b**2 - b + 14. Let o be k(12). Suppose 0 = 5*z + 5*a - 32 + o, 2*a - 28 = -4*z. Solve 3 = z*r - 11*r for r.
-1
Let l be 2/3 - 13/((-156)/(-2648)). Let z = 223 + l. Solve -10*b = -9*b + z for b.
-3
Let h = 28 - 20. Let y be (1938/456)/(3*3/36). Suppose 0 = 4*n + 5*t - y, n + 6*t - t = h. Solve -n + 0 = 3*i for i.
-1
Suppose 88*j - 87*j = 0. Let f(a) = -a*