m - b for m.
4
Let n = 13 - -37. Let s = n + -50. Solve s = -10*o + 7*o - 15 for o.
-5
Let j be (-160)/120*72/(-3 + 1). Solve 0 = -j*a + 160 + 80 for a.
5
Let b(j) = 2*j**2 + 7*j + 8. Let l be b(-3). Suppose 0 = -y + 5*y - 5*w - 66, 3*y - l*w - 52 = 0. Solve -6*s - y = s for s.
-2
Let x(m) = -m**3 + 139*m**2 - 529*m - 1485. Let h be x(135). Let t(w) = -w**3 - 4*w**2 + 4*w - 3. Let a be t(-5). Solve 0*o + a*o = h for o.
0
Let y be (17 + (-351)/21)/((-4)/(-42)). Solve 0 = y*s + 22 - 4 for s.
-6
Suppose -4*n + 16 = 0, 2366*o - 2367*o + 5*n - 20 = 0. Solve o = -8*u + 116 - 52 for u.
8
Suppose -2*w - 7 = -5*y, -3*y = -2*w + 2 - 3. Suppose -326 = -5*a - 86. Suppose -a = -9*z + z. Solve -y*q = -5*q + z for q.
3
Let f(r) = 53*r**2 - 13*r - 7. Let y be f(-3). Let u = 514 - y. Solve u*i + 17 - 37 = 0 for i.
4
Let v(l) = -2*l**2 + 274*l - 1538. Let b be v(131). Solve 6*f = -11*f + b for f.
2
Suppose p - 56*i = -59*i, 2*i = p - 15. Solve p + 5 = 7*j for j.
2
Suppose p + 2*f - 5 = 0, 4*p + 5*f = 3*f + 14. Let n be 1 + -2 - 9/6*-2. Suppose 57 = -n*x + 67. Solve -4*a = -p*a - x for a.
5
Suppose -64*g + 16 = -56*g. Let q(y) = y**3 + 10*y**2 + 2. Let m be q(-10). Solve -s + m*s - g = 0 for s.
2
Let p(a) = 53*a - 1267. Let d be p(24). Solve d*h + 4 = 4*h for h.
-4
Let t be (-130)/(-455) + 9/(-7). Let f be 1/t - -5*(-12)/(-10). Solve -6*n + 1 = -f for n.
1
Let q(k) = k**3 + 5*k**2 - 2. Let j be q(-5). Let b be j/(-3) + 30/(-18) + 1. Solve b = 5*s - s for s.
0
Let n(r) = r + 17. Let k be (-6 + 3)/1 - 14. Let w be n(k). Suppose 3*p - 24 + 21 = w. Solve 0 = s + p - 4 for s.
3
Let o be (0 - -8)*(11 - 10). Suppose -13*g - 340 = -o*g. Let r = g - -75. Solve 0 = 3*p - r + 4 for p.
1
Suppose 17*m = -0 + 34. Suppose 0 = -m*t - 18*t + 260. Solve t*j - 9*j = 9*j for j.
0
Let k = -199 - -212. Suppose 3*o - t - 3 = 4, 0 = 5*o - 3*t - k. Solve o*a - 6*a = 4 for a.
-1
Let t(k) = k**2 - 6*k - 16. Let r be t(8). Let l be r - (1 + (-9)/(-6)*-2). Let g(q) = -q**2 - 4*q + 9. Let d be g(-5). Solve -l*s = -s - d for s.
4
Let r(y) = y + 7. Let l be r(-7). Suppose -v - 1 + 3 = l. Suppose -3*z - p + 23 = 0, 5*z - 3*p = -6*p + 41. Solve -3*f - z - v = 0 for f.
-3
Let z be (-1 + 0 - 3)/(6/1080*-4). Solve 58*g = 13*g + z for g.
4
Let d(g) = -8*g + 40. Suppose -84*w = -80*w - 20. Let i be d(w). Solve i = -2*z + 5*z + 12 for z.
-4
Let h = -3963 + 3983. Solve 38*k + h = -56 for k.
-2
Let k be (0*(-2)/4)/2. Suppose 684*f - 678*f - 36 = 0. Suppose -4*q = 7*q - 17*q. Solve k = -q*a + 3*a + f for a.
-2
Let m = -552 + 567. Let k be (18 - m/3) + 6. Solve k*n - 10*n - 36 = 0 for n.
4
Let k(u) be the second derivative of u**4/12 - u**3/3 - 3*u**2 - 18*u. Let s be k(4). Let w be 8 - (1 - s/(-1)). Solve 0 = -w*i + 24 - 4 for i.
4
Suppose -16*s - 1 = -33. Let j be -40*s/(-15) + 1/(-3). Solve -j*o = 2 + 13 for o.
-3
Let u be 746/(-6341) - 3982/(-34). Solve 114*f = u*f + 18 for f.
-6
Let i = -15584 + 15638. Solve 18*m = i*m + 216 for m.
-6
Let r(y) = -y**3 + 45*y**2 - 87*y + 43. Let a be r(43). Solve 156*d - 149*d = a for d.
0
Suppose -r + 16 = -5*n, r - 2*r = -4*n - 12. Let v be r/(-4 - (-4)/2). Suppose 0*o + 5*o - 14 = 3*a, -2*o + v*a = -8. Solve d = 2*d - o for d.
1
Let q(o) = o**3 - 16*o**2 + 14*o + 27. Let r be q(15). Let b(t) = 10*t**2 - 45*t - 5. Let x be b(5). Solve r = -4*z + x for z.
2
Suppose 11 = -3*n + j - 2, -3*j - 9 = 3*n. Let a = n - -8. Suppose -4*v + 2*v = 3*m - 25, 4*m + 5*v = 45. Solve -3 = -a*x + m*x for x.
-3
Let g be 4/6*(-78)/(-4). Suppose -2*t - 13*t = -2*t. Suppose 8*m + 9*m - g*m = t. Solve 0 = 2*w - m*w for w.
0
Let w(p) = -p**3 + 4*p + 30. Let h be w(0). Suppose 21 = -h*u + 31*u. Solve 5 = u*k - 20*k for k.
5
Let o(u) = -3*u**3 - 4*u**2 - 7*u + 15. Let d be o(0). Solve -22*b = -d*b + 21 for b.
-3
Let s be (1/(-2))/((-1)/(-4)). Suppose 595 = -76*l + 292 - 457. Let i be l/8*s*(-48)/(-15). Solve -2 + i = -3*g for g.
-2
Suppose 5*j = -z + 68, -2*j + 3*z + 30 = j. Suppose -4*p - 9 = -j*p. Solve 5*h = -4 - p for h.
-1
Let v(a) = 3*a**2 + 2*a - 2. Let u be v(-2). Let z(l) = -l**2 + 9*l - 15. Let b be z(3). Solve b*c = u*c + 12 for c.
-4
Suppose 24*u + 96 - 336 = 0. Let q be (-4)/(-1)*4/8. Suppose 0 = -0*i - q*i. Solve -2*j + i = u for j.
-5
Let n = 3531 - 3515. Solve 4 = 4*g - n for g.
5
Let a be 2185/(-133) + 17 + 160/14. Suppose -5*i + 2*x = -8, 0 = 4*i - 0*x + x - 9. Suppose i*o - 4 = -o + 4*m, 0 = o - 5*m + 6. Solve o*u = u - a for u.
-4
Suppose -n + 3 = -u, -4*n = -8*n + 20. Let h = 81 + -73. Suppose -h*y = -10*y + 6. Solve -u*a - y*a = -20 for a.
4
Let z be (1 + -2)/((-9)/432) - 4. Suppose 4*a = 2*v + z, 5*a + 10 = 6*a - v. Solve -i - 5*i - a = 0 for i.
-2
Let x be ((-3)/(-5))/(4/20). Suppose 5*b = 3*b - x*a + 19, 0 = -5*b - 4*a + 37. Solve -b*j = -1 - 4 for j.
1
Let h(t) = -65*t + 10968. Let q be h(168). Solve -8 + q = 10*k for k.
4
Let u(l) = -24*l**2 + 4*l - 2. Let j be u(-3). Let w = j - -232. Let n = -27 + 40. Solve -n + 5 = -w*a for a.
4
Let a = -2847 - -3003. Solve -42 = -a*s + 149*s for s.
6
Let h = 251 + -32. Let f = 219 - h. Solve 8*m - 5*m + 6 = f for m.
-2
Let p be 18613/49 + (768/84)/8. Solve 28*v + p - 213 = 0 for v.
-6
Suppose -9*b = -11*b + 28. Suppose -9 + b = 5*x. Let o be (4 + 1 - 2)*x. Solve -o*j - 3 = -9 for j.
2
Let y = 250 + -320. Let o be 2*((-65)/y + 12/21). Solve 5 - o = -2*r for r.
-1
Let i(r) = -57*r + 70. Let j be i(0). Solve 104*h - 90*h = -j for h.
-5
Let w = 648 - 644. Suppose 16*j = 4 - w. Solve j = -10*z - z + 11 for z.
1
Suppose 0 = -116*k + 15137 + 5395. Solve 0 = 16*h + 49 - k for h.
8
Let f(k) = -k**3 - 8*k**2 - 11*k - 30. Let l be f(-7). Let o be (-1 + l - 0)/(3/(-3)). Suppose o*a = 9, 4*v - 13 - 15 = 4*a. Solve -c = c + v for c.
-5
Let w(z) = 4*z + 13. Let s be w(3). Let h be (24/(-15))/((-10)/s). Solve h*g - 2*g = -4 for g.
-2
Suppose 9*c - 25 - 29 = 0. Suppose 0*r - 3*r = -c. Let t be (-3)/(0/2 + (-15)/25). Solve -r*j = -t*j + 6 for j.
2
Suppose -3*z - 28 = -5*u, 8*z - 7*z = 4. Solve u*m + 2*m = 10 for m.
1
Let t(p) = p**3 + 3*p**2 - 7*p + 14. Suppose -3*n + n - 12 = 0. Let g be t(n). Let h = g + 57. Solve 0 = 5*o - 4*o + h for o.
-5
Let j be 4/(9 - 5)*-1*-25. Solve 0 = -j*t + 14 + 11 for t.
1
Let s = 6 + -2. Let c = -7211 - -7213. Solve -3*y + s*y = c for y.
2
Suppose 0 = 4*d - d. Suppose -g + 12 = 8. Let s be (-32)/(-176) + 476/44. Solve d = 5*l - s - g for l.
3
Suppose 0 = 15*w - 25*w - 90. Let g(o) = o**3 + 8*o**2 - 10*o - 6. Let k be g(w). Solve k*a = -2 + 11 for a.
3
Let q = 19210 - 19208. Solve -u - q = -6 for u.
4
Let s(r) = 3*r**3 + 33*r**2 + 63*r - 17. Let z be s(-8). Solve z = 28*i - 57 for i.
4
Let a be (-4063)/8126*(-1)/(1/34). Solve -49*j + 160 = -a*j for j.
5
Suppose -2*a + 77 = 3*n + 6, 0 = -n - 4*a + 27. Solve n - 27 = 2*u for u.
-2
Let b(q) = -q**3 + 15*q**2 - 3*q + 1. Let y be b(15). Let x be y/11*(-71)/4. Let t = -67 + x. Solve -t*r = -2*r - 2 for r.
1
Suppose 3*q + 464 = 4*d, -10*d + 5*d = q - 580. Suppose 28 = -22*w + d. Solve -m + 6 = -w*m for m.
-2
Let f(l) = 5*l**2 - l + 19. Let v be f(4). Let q be 120*(19/v + (-1)/(-5)). Solve 0 = 4*z - 48 + q for z.
0
Suppose -7*k + 2*k = -3*q + 5, 4*k + 21 = -q. Let f(g) = -g**3 + 3*g**2 - 5*g - 9. Let n be f(7). Let d be n/(-18)*(-6)/k. Solve -4*o + d = -8*o for o.
-5
Let j(i) = 11*i + 24. Let s be -1*5 - (-72)/24. Let b be j(s). Solve k = -b*k for k.
0
Suppose -34*m + 39*m = 125. Suppose -x + c = 18, 21 + 11 = -4*x - 4*c. Let f = 23 + x. Solve f = -3*h + m for h.
5
Suppose 27*o = -74 - 88. Let p be 0/(-5 + (0 - o)). Solve p = 3*a + 3 - 0 for a.
-1
Let c(x) = x**2 - x - 3. Let f be c(3). Suppose -r + f = -0. Let t(w) = -2*w**3 - 7*w**2 + 14*w - 5. Let i be t(-5). Solve r*u + i*u = 12 for u.
4
Suppose -3*q = -c + 1, 4*c - 5 = -4*q - c. Solve q = -7*o + 60 - 60 for o.
0
Let b(l) = -l**2 + 21*l - 6. Let z(s) = -s**2. Let y(x) = b(x) + z(x). Let o be y(10). Solve -n - 15 = -o*n for n.
5
Suppose -673 = k - 6*k + n, -4*k = -5*n - 530. Suppose -1608 = 21*q + 1017. Let x = k + q. Solve m - 3*m = -x for m.
5
Let t(i) = -i**3 - 3*i**2 + 16*i + 40. Let f be t(-3). Let v(y) = 3*y + 32. Let g be v(f). Solve 21 + 19 = -g*r for r.
-5
Suppose 0 = 10*f + 6*f - 96. Let w be f/(-21) + 474/42. Solve w - 31 = 4*x for x.
-5
Let w(t) = -t + 54. Let i be w(6). Suppose -20*u + 4*u = -i. Suppose