+ 18 for a.
2
Suppose 2*y - 2*s = 50, -5*s = y - 4*s - 31. Let w be (-17)/((-1768)/(-16)) - y/(-13). Solve -w*f + 34 = 38 for f.
-2
Let b(j) = 7*j - 413. Let s be b(64). Solve 14*v = 7*v + s for v.
5
Let i be 2 + (-362)/(-8) + 6/8. Let x = i + -63. Let z be 14*(1 + x/21). Solve z = -u + 3 for u.
-1
Let t = -86 + 112. Let d be 2*3*t/39. Solve -2*b + d = -0*b for b.
2
Let w(r) = 2*r**2 + 18*r + 34. Let s be w(-7). Suppose s*q = 7*q - 5. Solve -o = -10 + q for o.
5
Let h be -13 - -36 - (6 - 1). Let x be 1 - 4*2*(-9)/h. Solve -4*k - x = 7 for k.
-3
Suppose 4*t - 9*t = -10. Let s be t/(-6) - (-2 + 308/12). Let r = s - -29. Solve 22 = r*o - 3 for o.
5
Let g = -66 + 54. Let q be (3/9)/(g/(-72)). Solve -a = -q*a + 2 for a.
2
Suppose -6*g = -9*g + 3, f + 2*g = 6. Let k(d) = d**3 - 5*d**2 - 9*d + 58. Let u be k(f). Solve -u*j - 5 = -5*j for j.
-5
Let f(j) = j**3 + 26*j**2 - 22*j + 15. Let n be f(-27). Let c be 2/4*1 + (-900)/n. Solve 5 = c*t - 7*t for t.
5
Suppose -5*d + 45 = 35. Suppose z + 4 = -2*g, -5*z - 20 = -0*g + d*g. Suppose g = -0*n + 2*n - h - 9, 24 = 5*n - 4*h. Solve -l = -n*l for l.
0
Let j = 22 + 93. Let u be 10*(1/(-2) - j/(-50)). Solve -2 = -5*v + u for v.
4
Suppose -2*w - 1197 = 2*m - 7*m, m - 5*w - 244 = 0. Let q = m + -239. Solve q = 2*v + 2 + 2 for v.
-2
Let j be 29/(31 - 2)*461*1. Solve 0 = -j*u + 452*u - 18 for u.
-2
Suppose 36*u - 42*u = -24. Suppose -5*v = -2*l - u, 65 - 69 = 2*l. Solve -8 = 8*d - v for d.
-1
Let u = -25817 - -25889. Solve 12*r = -u + 12 for r.
-5
Suppose -2*f = 3*q - 23, -4*f + 4*q = -f - 9. Let u(b) = 292*b - 3487. Let v be u(12). Solve 5*j + v = f for j.
-2
Suppose 3*n + 3*d - 127 = 23, -4*d - 25 = -n. Solve -72 = -n*r + 33*r for r.
6
Let d(t) = -t**2 + 26*t + 1015. Let z be d(47). Solve z = -4*f + 24 for f.
-1
Suppose 45 = 3*c + 3*z, -2*z = -3*c - 199 + 214. Solve -c = 8*s + 7 for s.
-2
Let p(m) = 2*m**3 + 6*m**2 - 58*m - 4. Let l be p(-7). Solve -l*u = 12*u - 27*u for u.
0
Let y be -2 + 3 + 2 - -6. Let b(c) = -7 - y*c + 4*c + 8*c. Let m be b(4). Solve 2*a = 1 - m for a.
-2
Let t = 153 - 150. Suppose t*k - 16 = 4*s, 21 - 29 = -3*k + 2*s. Solve 10*x + 42 - 2 = k for x.
-4
Let l be (2730/1820)/((-3)/(-4)). Let v = -6 - -8. Solve -l = -v*d - 8 for d.
-3
Suppose -5 = 38*a - 21*a - 22*a. Solve 0 = -4*h + a - 5 for h.
-1
Let r be -81*(7 + -11)/(-12)*-3. Solve 18*j = -r + 9 for j.
-4
Suppose -492 = 6*a + 228. Let n = -112 - a. Solve 0 = 3*b + b - n for b.
2
Let t be (2/(-8) + 0)*(-3392)/288*18. Solve 0 = t*s - 66*s + 26 for s.
2
Suppose -4705*j = -4729*j. Solve j = 17*r - 32 - 104 for r.
8
Suppose 5*w - 121 = b - 18, 3*w + 3*b = 69. Solve w*a = 16*a + 5 for a.
1
Suppose -3*l + 31 = -b + 176, 0 = -5*l - 5*b - 235. Let t be (1/(-4))/(l/1344). Solve -2*a = t - 1 for a.
-3
Suppose 11*d = -5*d. Suppose d = 48*x - 50*x + 2. Solve x = -5*z + 16 for z.
3
Let v be 13575/30*(-22)/(-11). Solve -v*g + 899*g = 36 for g.
-6
Suppose -r - 3*r + 48 = 0. Suppose 147900 = 9*j + 147540. Solve j*k = 36*k + r for k.
3
Suppose -88*w = -81*w - 56. Let y be (4/w)/(10/60). Solve 0 = y*l - 3 + 6 for l.
-1
Let c be (2 + -4)*(3 - 4 - 0). Suppose -8 = c*j - 26. Solve 3*w = -j + 3 for w.
-2
Let q = 570 - 568. Suppose -t = -q*t + 4. Solve 4*d = t - 24 for d.
-5
Let c be 4*(56 - 51)*(-1)/(-5). Solve -c*u - 1 = 15 for u.
-4
Let f be ((-130)/(-10) + -15)*(3 - 28). Solve 54*v - f*v = 28 for v.
7
Let t(c) = -9*c + 135. Let q be t(15). Suppose -60*b + 54*b + 18 = q. Solve -6*l + 9*l = -b for l.
-1
Let y(p) be the first derivative of 5*p**2/2 - 16*p - 131. Let q be y(4). Solve -8*u + q*u - 8 = 0 for u.
-2
Suppose 0 = -2*f + 2*s + 500, 0 = f + 27*s - 31*s - 232. Solve -f*p + 264*p = 16 for p.
2
Let s(h) = -h**2 + 15*h - 39. Let i be -9*(50/(-135))/(4/6). Let f be s(i). Solve 0 = -f*q - 0*q for q.
0
Let j(n) = -n**3 - 15*n**2 - 14*n + 28. Let b be j(-15). Let m = b - 238. Suppose 31 = 4*v - f, -2*v + 2*f + 2*f = -26. Solve -4*l - 5 - v = m for l.
-3
Let v(z) = z**3 + 6*z**2 + 7*z + 19. Let h = -177 - -174. Let d be v(h). Solve -24*l - 5 = -d*l for l.
5
Let t(l) = -2*l**2 + 26*l - 71. Let y be t(8). Solve 15*p - 144 = -y*p for p.
6
Let r(a) = a**3 + 22*a**2 + 5*a + 116. Let j be r(-22). Let p(l) = l - 2. Let z be p(j). Solve 3*h - 5 = z*h for h.
-5
Let y(b) = 4*b**2 + 30*b + 111. Let w be y(-4). Solve 97 = -42*n + w for n.
-1
Let m = -24267 + 24278. Solve m*t - 80 = -135 for t.
-5
Suppose -65*y = -19*y + 1609 - 35281. Solve -q - y = -731 for q.
-1
Let z(w) = -7*w - 56. Let b be z(-14). Suppose 18*i + 24 = b. Let h = 0 - -2. Solve -h*f = -f + i for f.
-1
Let q(c) = -42*c + 174. Let d(v) = 86*v - 346. Let o(b) = -3*d(b) - 7*q(b). Let s be o(5). Solve s - 2 = -h for h.
2
Let a = -376 - -385. Let m(z) = z**2 - 11*z + 20. Let v be m(a). Solve v + 2 = j for j.
4
Let m(d) = d**3 + 8*d**2 + 6*d - 4. Let n be m(-7). Suppose n*s + 39 = 3*l, 4*l + 0*s - 47 = -s. Suppose 14*o = l*o + 4. Solve -o*p = p - 3 for p.
1
Let f = 42 - 74. Let w = f + 50. Suppose 2*d = -3*d - 4*a + w, 2*a = -6. Solve d*o = 2*o + 20 for o.
5
Let u(n) = -4*n**3 - 2*n**2 - n. Let z be u(-1). Let j be 15/(-5) + 28 + -4. Suppose -37*w = -j*w. Solve z*q + q = w for q.
0
Suppose -8*j + 572 = -19*j. Let d be ((-5)/4)/(13/j). Solve 0 = -5*s + 6*s + d for s.
-5
Suppose a = -3*a - 248. Suppose 3407*z - 3380*z = 1782. Let u = a + z. Solve o = -u*o + 20 for o.
4
Let q(l) = l. Let c be q(-3). Let y = 5 + c. Let a be -5 + (19 - 14 - -1). Solve -y - a = 3*w for w.
-1
Let z = 93 + 77. Let v be (16/10)/(0 + (-1)/z). Let r be (v/(-153) - 2/(-9)) + 4. Solve r*o - 3 = 3*o for o.
1
Suppose -7*k + 6*k = -4*k. Suppose k*y = 7*y - 77. Suppose 4*d = 5 + y. Solve -c - d = 1 for c.
-5
Suppose 0 = -3*g - 2*y + 4, 5*g + 5*y - 10 = -0*g. Suppose 7*x = -5*x - 4*x. Solve x = -6*o - g*o for o.
0
Let n(j) = -j**2 + 20*j + 244. Let u be n(-8). Solve 599*m = 603*m - u for m.
5
Suppose -3*f = -3*p + 81, 5*p - 3135*f - 90 = -3139*f. Solve 28 = -3*h + p for h.
-2
Let x be (1 - -2)*(7/(-3) + 3). Suppose x + 6 = q - 2*y, -q + y + 6 = 0. Solve -q*a + 7 = -5 for a.
3
Let y = 239 + -323. Let q = 84 + y. Solve 0 = -q*s - s for s.
0
Let i(u) = 2*u + 3*u**2 + 3 - 4*u + 4*u - 2*u**2. Let m be i(-3). Let q = 3 + -2. Solve -q = k - m for k.
5
Let s(q) = -q**2 - 10*q - 10. Let l be s(-5). Solve l*w - 14*w = 2 for w.
2
Let y be 229/7 + (-6240)/3640. Solve -y*f - 159 = 22*f for f.
-3
Let y(i) = -6*i + 5. Let z(o) = -6*o - 55. Let k be z(-8). Let f be y(k). Solve f*b - 46*b = 2 for b.
2
Suppose -4*t = 2*x - 2*t, -12 = x + 4*t. Let w = -69 - -71. Suppose -2*s + k = -0*k - 7, 0 = -x*s - w*k + 34. Solve 0 - s = -2*d for d.
3
Let y(x) = 2*x**2 - 48*x - 352. Let s be y(-6). Solve 343*n - 339*n = s for n.
2
Let b be (8/28)/(4/168). Suppose 5*t - 35 = 30. Solve -5*w + t = -b for w.
5
Let m be 6 - ((-2)/(-9) - (-1 - 145/(-45))). Solve -1798*v = -1802*v + m for v.
2
Suppose 0 = -13*z + 16 - 42. Let w be (-5)/z*((-12)/15)/(-1). Solve -7*h + 45 = w*h for h.
5
Let a be (170 - 172) + (2/2 - -709). Solve -690*k + a*k = -162 for k.
-9
Let z be (910/(-21))/13*(-6)/4. Solve 135 - 110 = z*l for l.
5
Let y(t) = -42*t - 5. Let w be y(-6). Let j = w + -241. Solve 0 = -0*l - j*l for l.
0
Let u be ((0/(-5))/1)/2. Suppose 0 = o - 1 - u, w + 2*o - 13 = 0. Suppose 0 = w*j - 3*j + j. Solve j = 4*v - 2*v - 10 for v.
5
Suppose 0 = -4*h - 116 + 100. Let n(m) = -27*m - 97. Let z be n(h). Solve 8*q = z*q - 12 for q.
4
Let z be (15/15)/(1 - 0). Let h be (-4)/(-34) + 432/(-204). Let w be 104/(-78)*(-1 + h/4). Solve c - w*c = -z for c.
1
Let b = 32208 - 32206. Solve 0 = 1070*s - 1069*s - b for s.
2
Let o(i) = -4*i**2 + 164*i - 814. Let a be o(32). Solve -22*t + 184 = a for t.
-7
Suppose 564 = 8*f - 84. Suppose -8*w + f - 17 = 0. Suppose -3*d = p - 5, -2*d + p + 3*p = -w. Solve -d*a + 4 = -6*a for a.
-1
Suppose 0 = -r - c + 9, 2*r - 4*c + 13 = 1. Let k(u) = 5*u - 4*u + 4 + 4. Let h be k(r). Solve -n + h = 3*n for n.
3
Suppose 46*f = -52*f - 11*f + 436. Let q = 4 + 10. Suppose 4*k - q = m, -1 = -4*m + k + 3. Solve -f*j + m = -2 for j.
1
Let g(c) = c**3 - 30*c**2 - 34*c + 95. Let d be g(31). Solve -d*s + 48 = 10*s for s.
4
Suppose 0 = f + 152 - 157, 3*f = -2*b + 21. Suppose 6*r = 10*r. Solve j + b = -r for j.
-3
Let f(b) = -60*b - 116. Let y be f(-2). Suppose t = -3*n + 48, 0 = 4*n