-9). Let b be q(k). Solve 12*d = b*d for d.
0
Suppose -1 - 38 = 13*k. Let c be 5 - (-10)/k*(-6)/(-4). Solve -2*x + 7*x - 10 = c for x.
2
Suppose -5*c = 0, f - 155 - 69 = -2*c. Suppose 2*s = -3*m + f, 4*s - 437 = -5*m - 61. Suppose -5*d - w + m = 0, -5*d = 2*w - 16 - 58. Solve 1 + d = -3*v for v.
-5
Let s(v) = -v**3 + 17*v**2 + 2*v - 268. Let u be s(16). Solve 10*y = 6*y - u for y.
-5
Let m(i) = -i**3 + 4*i**2 - 5*i + 2. Let z be m(2). Suppose 4*b + 144 = 3*p - 0*b, z = -2*p - b + 96. Let h be (-6)/p*-12*(-4)/(-6). Solve -2*k = -h + 11 for k.
-5
Let d(i) = -117 + 20*i - 27 - 64. Let n be d(11). Solve -b + 7 = n for b.
-5
Suppose 0 = -166*d + 1312 + 846. Solve 50 - 63 = d*o for o.
-1
Suppose -244 - 44 = z - 7*z. Solve 0 = 222*t - 238*t - z for t.
-3
Suppose 2*g + 17 = 3*t + 22, g - 7 = -3*t. Let y be (-2)/(-3) + (-7)/(-3). Solve -y*r + g = -7*r for r.
-1
Let f be 76/12 - (-9)/(81/6). Suppose -10 = -25*h + 20*h. Solve 0 = f*g - h*g + 25 for g.
-5
Suppose 123 - 2103 = -99*p. Solve 10*t - p = 15*t for t.
-4
Let y(u) = u**3 + 9*u**2 - 2. Let j(p) = p**3 + 8*p**2 - p - 1. Let c = 36 - 40. Let b(z) = c*j(z) + 3*y(z). Let d be b(-6). Solve d = -4*t + 2*t for t.
-5
Let r = 3067 + -2744. Solve -63 = -r*y + 314*y for y.
7
Suppose 63*j = -68*j - 1280 + 7437. Solve -15*b + 224 = -j*b for b.
-7
Suppose 791*c - 804*c + 281 - 21 = 0. Let q = -40 + 59. Solve 23*n - q*n = -c for n.
-5
Let d(x) = 2*x**3 + 5*x**2 - 21*x - 177. Let g be d(-7). Let n = -461 - g. Solve -6 + n = 2*b for b.
2
Let f be 3/((-42)/(-8)) - (-15972)/1694. Solve f = -84*k + 79*k for k.
-2
Suppose 4*j = -2*w + 60, -3*w = -2*j - 23 - 35. Suppose -3*o + w = 7. Suppose -20 = -o*p + p. Solve -2*u = -p*u for u.
0
Let q(n) = -n**2 + 2*n - 6. Let l = 42 + -46. Let w(r) = -r. Let a(j) = l*w(j) - q(j). Let o be a(-4). Solve -3*c - o = -2 for c.
-4
Let j(b) = -13*b**3 - 5*b - 4. Let x be j(-2). Suppose 9*y - 14*y = -x. Suppose 5*t - y = 3. Solve -t = 2*f - f for f.
-5
Let y be ((-1089)/126 - -9)*14. Solve 26*g - 31 = -y for g.
1
Suppose -75 + 350 = 11*c. Solve -23 = 2*y - c for y.
1
Let c(z) = 9*z - 32. Let o be c(22). Let p = o + -162. Solve p = 7*d - 5*d for d.
2
Suppose 0 = -3*p - 3*i - 153 + 177, 0 = 5*p - 5*i - 80. Let a be (1/3)/((-2)/(-12)). Solve -g - p = a*g for g.
-4
Let l be (-5 + 3)*(3 + -6 - 1). Solve -334*f + 338*f - l = 0 for f.
2
Let t be (-4)/(3/42*1). Suppose -167 = -3*k + j, -5 + 1 = -j. Let s = t + k. Solve -2 = n + s for n.
-3
Let m be -4*20/(-32) + (-2)/4. Suppose -m*i - 4*a + 80 = 0, 3*a - 77 = -13*i + 11*i. Solve i*y - 8 = 38*y for y.
-2
Let m(t) = -t**3 - 9*t**2 - 7*t + 16. Let j be m(-8). Let z(o) = -3*o + 131. Let u be z(42). Solve u*r = j*r + 3 for r.
-1
Let d = -39 - -42. Suppose 0 = 3*h - 5 - 1, d*h = 4*b - 6. Suppose -s = -b*i, 0 = 5*i - 5*s + 2*s. Solve 0*o + o = i for o.
0
Let o = 44 - 51. Let b be o/(92/(-44) - -2). Suppose 14 = -9*x + b. Solve 3*y = x*y for y.
0
Suppose -5*s + 358 = t, t - 28 = -3*s + 188. Solve -s = -14*a + 41 for a.
8
Let a(v) be the first derivative of 9*v**2/2 + 29*v - 29. Let b be a(-3). Solve 0 = -5*y + b*y + 9 for y.
3
Suppose -16 = -3*b + b. Let g be 24/b + (6 + -2 - 2). Let n = -5 - -17. Solve g*m - n = m for m.
3
Let i(w) be the third derivative of w**4/24 + 3*w**3/2 + 14*w**2. Let f be i(-10). Let k be 5/2*((-3)/f + -1). Solve k*r + 22 - 2 = 0 for r.
-4
Let b be -13 - (-1056)/84 - 2920/(-35). Solve 0 = 81*h - b*h - 10 for h.
-5
Let s be 6/1 + 160/(-28) + (-14)/49. Solve s = 47*c - 11*c + 252 for c.
-7
Let o be (-2)/(-9) + 204/54. Suppose -22*j + 28*j - 47*j + 205 = 0. Solve -o = -j*y - 24 for y.
-4
Let o = 70 - -18. Let h = -79 + o. Solve -6*x + 3 = -h for x.
2
Suppose -4*g = j - 23, 320 = -j - 3*g + 338. Solve 0 = -j*w - 22 + 16 for w.
-2
Let f(h) = h + 1. Let b be f(2). Suppose 12 = -b*p + 8*p - 3*z, 0 = 5*z + 20. Suppose 0 = 4*s - 2*w - 3*w + 16, -4*w + 16 = 0. Solve p = 3*n + s - 16 for n.
5
Let m = 109 - 104. Let s(t) = t - 4. Let r be s(14). Suppose -r*v = -m*v. Solve v*c - 5*c = 10 for c.
-2
Let x = 129 - 70. Suppose 0 = -9*h + x - 23. Solve -l - h = l for l.
-2
Suppose 0 = 4*k + 2*f - 248, k - 2*f = -120 + 177. Solve -36*z = -k*z - 100 for z.
-4
Let y be ((-6)/(-4))/((3/(-3))/2). Let a be 600/70 + -7 + y/(-7). Solve 2*x = -a*x + 12 for x.
3
Suppose 0 = 5*r + 4*g - 12, -5*r = 10*g - 11*g + 3. Suppose r = 15*f - 14*f - 2. Solve f*w - 5*w = -6 for w.
2
Suppose -2*y - 22 = -24. Let u be 9/2*(-6)/(y - 4). Solve -5*p = -u + 4 for p.
1
Let j be (-27)/18*(-28)/2. Suppose 0 = -4*o + o + j. Solve o*y - 4 = 3*y for y.
1
Suppose 12*f - 20*f = 200. Let n = 27 + f. Let u(k) = -k + 5. Let t be u(5). Solve t = p - n for p.
2
Suppose -540 = 138*g - 1506. Solve g*i - 348 = -320 for i.
4
Let p be -1 - 4/(3 + -4). Let v(c) = -4*c + 12. Let x be v(p). Suppose -12*h - 5 + 29 = x. Solve 0 = 6*n - h*n for n.
0
Let z(o) = o**3 + 17*o**2 - 96*o - 238. Let j be z(-21). Solve 15*t + 145 = -j*t for t.
-5
Let s(f) = -11*f - 14. Let j be s(-3). Suppose 0 = -j*q + 30*q - 143. Solve q*w = 7*w + 30 for w.
5
Suppose 5*p + f - 69 = 0, 18*p - 73 = 13*p + 3*f. Solve p*z = -3*z + 68 for z.
4
Let f = 1102 - 297. Let t = 829 - f. Solve -3*q = -15*q - t for q.
-2
Suppose s + s - 20 = 0. Suppose -3*j = 4*u - 80, -u - 4*j - 89 + 135 = 0. Solve -u*l = -s*l for l.
0
Let m(p) = -7*p - 24. Let u be m(-7). Suppose -9*k + u - 7 = 0. Suppose 4*q = 2*q - k*r + 26, -3*r + 15 = 0. Solve -4*s + 2*s + q = 0 for s.
4
Suppose h = -17*l + 9180, l + 7*h = 10*h + 540. Solve c = 545 - l for c.
5
Let u(o) = -o**2 + 183*o - 4729. Let i be u(149). Solve -52*n + i = 129 for n.
4
Let w = -110 + 114. Suppose 12*j = w*j - 208. Let t be 4/j + 134/26. Solve -t*x = -7*x for x.
0
Suppose 0 = -5*j + 4*k - 80 - 11, 3*j - k + 49 = 0. Suppose 44 = 3*a - 1. Let d = j + a. Solve d*c + 2 = -2*c for c.
-1
Let u = 6779 - 6766. Solve 2*g - 5 = -u for g.
-4
Let a = -848 + 848. Let i(u) = -2*u**3 - u**2 - u. Let v be i(-1). Suppose o = -3*y + 2, -o + 2*y + v = -a*o. Solve o*k + 2*k = 16 for k.
4
Suppose 63*y = 59*y - 12. Let s be (28/12 + y)*(-90)/(-6). Let f be ((-5)/2)/(s/8). Solve 4*d - f*d - 10 = 0 for d.
5
Suppose 7 = 5*z - 2*z - x, -x = -2*z + 5. Suppose -5*t = -b + 3*b, b = t - 7. Let q be (b + 2)*(-30)/9. Solve z*v = -2 + q for v.
4
Let t(f) = 61*f + 705. Let i be t(-8). Solve -z = -i + 216 for z.
1
Let w = -52 - -56. Suppose 0 = -w*b + 133 - 45. Let r = b + -13. Solve 2*x + x = r for x.
3
Let w = 848 + -416. Let f = w - 428. Solve -5 = f*k + k for k.
-1
Let m = -74 + 96. Let c(v) = -9*v + m*v - 6*v - 42. Let j be c(6). Solve 4 + j = u for u.
4
Let b(s) = -s**3 + 28*s**2 - 92*s - 96. Let u be b(24). Solve u = -4*j + 23 - 35 for j.
-3
Let a(n) = 2*n**2 - 11*n - 59. Let k be a(-4). Suppose j + 4*d + k = 0, j + 0*j - 8 = d. Solve 2*u = j*u - 1 for u.
1
Let y(w) = -w**2 + 12*w - 8. Let n be y(11). Let z(x) = x**3 - 2*x**2 - 2*x + 3. Let a be z(n). Solve -9*h = -a*h - 6 for h.
2
Let v(u) = u**3 - 28*u**2 - 2*u + 58. Let o = -500 + 528. Let n be v(o). Solve -r - n = 2 for r.
-4
Let s be (-15 - -32 - 9) + (3029 - (2 - 0)). Solve 0 = z + 3039 - s for z.
-4
Let v be (2*1)/(13 - (-52503)/(-4037)). Let w = 368 + v. Solve 5*p - 11 = -w for p.
2
Suppose -119*a + 15 = -116*a. Solve -a*v - 54 = -64 for v.
2
Let z(q) = q**2 - 29*q - 1178. Let a be z(-23). Solve 2*f - a*f = 96 for f.
-6
Suppose 3*i = -4*a + a - 18, -10 = 5*i. Let m(r) = r**3 + 5*r**2 + 3*r + 2. Let s be m(a). Suppose -s*y + 7*y = 0. Solve x + 2*x + 9 = y for x.
-3
Suppose a = -a + 4. Let p(t) = 6*t**2 + 83*t - 105. Let u be p(-25). Let r = 1571 - u. Solve a*s = 3 + r for s.
2
Suppose -9*q + 49 + 40 = -136. Solve 22*r = q + 85 for r.
5
Let i(u) = 18*u - 22. Let v be i(3). Let b = -6 + v. Solve -25*w + 3 = -b*w for w.
-3
Suppose 3*h + v = 191, 643*v - 641*v = 4. Solve -h*q - 80 = 46 for q.
-2
Let v(x) = -x**2 + 21*x + 46. Suppose 0 = -3*m - 4 + 13, 2*m - 11 = -s. Suppose -g + 3*n + 9 = -s, g - 5*n - 8 = 0. Let h be v(g). Solve 0 = -q - 2 - h for q.
-2
Let l = 71 - 63. Suppose -7*f - m = -8*f + 5, -2*f - 8 = 4*m. Solve -l = f*y - 4 for y.
-2
Suppose 2*z - 3*z + 4*m + 154 = 0, 2*z - 303 = 3*m. Let v = z - 147. Solve -h - v*h - 20 = 0 for h.
-5
Let m(y) = -y**2 + 4*y + 32. Let q be m(8). Suppose 0*z = -4*z + 12, q = -u - z + 14. Solve -20 = -3*b - u for b.
3
