= 5*k - 5*a, 18 = c*k + a + a. Solve f = -4*t + 6 + k for t.
2
Let x(d) = d**2 - 7. Let c be x(-7). Suppose -29 = v + y, 0 = 5*v - 18*y + 19*y + 165. Let q = c + v. Solve 4*o + 28 = q for o.
-5
Suppose -195*h + 191*h = 0. Let s(x) = -2*x + 22. Let y be s(9). Let q be (20/(-15))/((-12)/27). Solve q*m + y + 11 = h for m.
-5
Let o = -7810 - -7831. Solve -o + 23 = -c for c.
-2
Suppose -1106 = -44*o + 2*o + 112. Solve 25*g - 46 - o = 0 for g.
3
Suppose 970*r - 1065*r + 1235 = 0. Solve 93 = 20*f + r for f.
4
Let i(u) = -28*u + 68. Let r be i(2). Suppose 3*s - 3*h = 0, 10*s + 14 = r*s + 5*h. Solve s*k + 0*k = 6 for k.
3
Let b be ((-1)/(-2))/((-28)/(-856)) + (-170)/595. Solve 0 = -b*x + 36*x + 147 for x.
-7
Suppose -5*i - 5*a = -25, 2*i - 10 = -13*a + 14*a. Let n be (2 - 5/i)*8. Solve -4*w = -n*w + 16 for w.
4
Let p be (-126)/(-45)*3/(18/15). Suppose -p*b + 25 = -3. Solve 0 = 2*l - 4*l + b for l.
2
Let u(z) = 28*z - 110. Let q be u(5). Suppose -2*x + q = 5*g, -4*g + 52 = 6*x - 3*x. Solve x = 9*r + r for r.
2
Let s be (6 - (-9 - -25))*-2. Suppose -3*x = 2*x - 25. Suppose -x*q + 8*q = 15. Solve q*b + 0 = -s for b.
-4
Let n be -12 - (-6 - 1) - -22. Solve 0 = -n*x + 16 + 35 for x.
3
Suppose 0 = -6*j + 42 - 12. Let o be j*1 + (1 - 4)/(-3). Let d be -2*((-135)/o)/5. Solve 4*m = d*m + 20 for m.
-4
Let z be ((-16)/(-24))/((-9)/((-486)/4)). Suppose -27 = -0*h - z*h. Solve h*j - 5 = 4*j for j.
-5
Suppose -716 = 25*b + 134. Let v(c) = c**3 + 36*c**2 + 69*c + 36. Let w be v(b). Let r = 10 - 7. Solve l - r = w for l.
5
Let b be (-6)/9 + 2/3. Let y be (b/1)/(-7 - -9). Solve -4*t + 7*t = y for t.
0
Let i be 2/((-2)/(-1*4)). Let w = 526 - 523. Let j = -87 - -90. Solve w = i*x - j*x for x.
3
Suppose 4 + 1 = q. Let g(a) = -1513*a + 15137. Let v be g(10). Solve -v*k = -q*k for k.
0
Suppose 0 = 54*d - 49*d + k - 25, -2*d = -5*k + 17. Solve -d*h + 10*h = -11*h for h.
0
Let l = -47 - -2. Let a = l + 54. Solve -a*q + 5*q = 4 for q.
-1
Let s(u) = u**3 - u - 2. Let z be s(2). Let j be (-2)/(-8) - (-308)/176. Suppose -21 + 9 = -j*i. Solve i*q + z = 2*q for q.
-1
Let i(g) = g**2 - 6*g - 14. Let h be i(-4). Solve -h*z + 199 = 43 for z.
6
Let i = -80 - -91. Suppose i*n + 3*n - 14 = 0. Solve 0 = -4*q + 7 + n for q.
2
Let r be (-4740)/(-660) + (-2)/(-22)*-2. Let s(c) = -c**3 - 3*c**2 + 74*c - 24. Let d be s(r). Solve -12 = -0*q - d*q for q.
3
Let w = 1106 + -1106. Solve 19*i + i - 100 = w for i.
5
Let q(m) = 441*m - 5252. Let r be q(12). Solve r*w - 41 = -281 for w.
-6
Let l(m) = -27*m - 209. Let y be l(-8). Solve y*i - 3*i - 12 = 0 for i.
3
Let n be 9/(-6) - (-133)/(-2). Let m = n + 72. Let z be (-3 - (-5 + 1))*1*m. Solve z*a - 12 + 0 = 0 for a.
3
Suppose 67*w - 2460 = -56*w. Solve w = -v + 5*v for v.
5
Let p(t) = t**3 - 12*t**2 - t + 23*t**2 + 3*t + 6 - 9*t**2. Let h be p(-2). Let w be (-2 - (-6)/4)*-10. Solve h*x + 3 = -w for x.
-4
Let w be 880/40 + (0 - 1). Suppose -4*i + 14 = 2*f, -2*i - 16 = 3*f - w. Solve -2 = i*k + 14 for k.
-4
Let w be 594/(-165)*5/(-2). Let r = w + -8. Solve 0 = 5*a - r + 11 for a.
-2
Let q = 32 - 29. Suppose 8*a = -2*h + 6*a + 30, -q*h + 2*a + 20 = 0. Solve 3*t - 5*t + h = 0 for t.
5
Suppose 167*i - 4734 = 7820 - 1532. Solve 3*m = 14*m - i for m.
6
Suppose 101*q - 517 = -196 + 386. Solve -q*i + 403 = 417 for i.
-2
Let c = 2 + 0. Let w(j) = 9*j - 82. Let i be w(10). Suppose -2*f + 4*f - 2*l - i = 0, 5*f - 20 = 3*l. Solve -h - f = -c*h for h.
4
Let g = -7048 + 7090. Solve 0*v = g*v for v.
0
Suppose 3*v + 72 = -5*a, 4*a + 55 = -4*v - v. Let m be (-42)/a - (-4)/20. Solve -m*t - 15 = -0*t for t.
-5
Let q = 166 - 76. Let s = 106 - q. Suppose 7*i + 2 - s = 0. Solve -3*y = i*y - 5 for y.
1
Suppose -4*b - 138 = -3*h, 25*h - 5*b = 21*h + 186. Solve -h = 23*n - 41*n for n.
3
Suppose -3*d + 3 = -5*p, -2*d = 142*p - 138*p - 68. Solve d*j - 1907 + 1955 = 0 for j.
-3
Suppose q = -x + 20, 4*x + 198*q = 197*q + 98. Solve 56 = -x*c - 2*c for c.
-2
Suppose 4*r - 4*k = 16, -14*r - 3*k - 12 = -13*r. Solve 13*w + 62*w + 3*w = r for w.
0
Let f be 9/(10/14*84/40). Suppose 0 = -2*g + 2*d + 30, -23 - 22 = -3*g - 4*d. Solve -f*q - g = -11*q for q.
3
Suppose -20*l + 21*l = 4*r - 540, 4*r - 548 = -l. Solve 141*m - r*m + 5 = 0 for m.
-1
Let x = 857 - 835. Suppose -x = -3*p + 4*f, 3*p = -f - 7 + 9. Solve 1 = -3*z + p*z for z.
-1
Let a(o) = -3*o - 6. Let y be a(-4). Let v be (-1008)/(-216) + (-4)/(-12). Solve v*z - y = -z for z.
1
Suppose -2*l = 12*l - 245 - 7. Solve -14 = -2*d - l for d.
-2
Suppose 4*l - 2*l - 5*f = 24, 4*l - 48 = 2*f. Suppose -6 = -14*m + l*m. Solve z - 6 = -m for z.
3
Let v(h) = 4*h**2 - 26*h - 95. Let w be v(-5). Solve -x + 136 - w = 0 for x.
1
Suppose 18*k - 16*k + 14*k - 432 = 0. Solve k = x + 26 for x.
1
Suppose 3*n + u + 0 = 2, 0 = -5*n - 4*u + 1. Let m be (3 - 2/1)*(-4)/(-2). Solve n = s - m for s.
3
Let z(k) = 5 - 6 - 2*k - 2. Let i be z(-4). Solve i = -2*q + 9 for q.
2
Let h(w) = w**2 - 11*w + 1. Let u be h(11). Let i be 23 + -19 + 3/u. Solve -12*v - 15 = -i*v for v.
-3
Suppose -5*j - 4*f + 3*f = -9, 0 = -2*j + 5*f + 9. Let n(y) = 7*y**j - 10 + 163*y - 159*y + y**3 + 0. Let i be n(-6). Solve i*d + 5 = d for d.
-5
Let c be (-2)/(-7) + 24/14. Let d be -8 - (7 - 119/7). Let u be (0/d)/((-88)/(-22)). Solve 0 = -u*r + c*r - 4 for r.
2
Suppose h - 6*h - 25 = 0, -2*s + 526*h = 524*h - 14. Let d be 4/2 - (0 + -3). Suppose 0*b - b + 8 = t, t + d*b - 28 = 0. Solve -t*f + 25 = s*f for f.
5
Let d(p) = -30*p - 1500. Let j be d(-50). Solve j = -y + 8 - 12 for y.
-4
Let o be (-1 - 0) + (-2 - -10). Suppose 4*z + 2*q - 78 = 0, 3*z = 5*q - 140 + 101. Solve -o*d + 10 = -z*d for d.
-2
Let s(o) = 4*o**2 - 4*o - 1. Let p be s(-1). Suppose -p*g + 86 = -47. Suppose -14*z = -g*z. Solve -2 = -2*h - z for h.
1
Let q be (-1408)/(-96)*(-150)/(-40). Solve 0 = q*x + 7 + 213 for x.
-4
Let b = 64 - 32. Let r = -27 + b. Suppose -r*f + 9 = -2*f. Solve -f*x - x = 0 for x.
0
Let l be ((-6)/10)/((-76)/(-20) + -4). Suppose 3*w - 15 = -3*o, o = -l*w + 6 + 9. Suppose -2*d = w*c - 6, -3*d = 5*c + 2*d. Solve 0 = i + c + 2 for i.
-4
Let h = 149 + -160. Let k(y) = y + 15. Let d be k(h). Solve 0 = -d*a - 27 + 7 for a.
-5
Let v = 1776 - 1776. Suppose 0 = -4*d + 36 - 8. Let f = d + -1. Solve v = s - 4 + f for s.
-2
Suppose 5*j + 4*k = -99, 0 = -2*k - 5 + 3. Let i = -14 - j. Solve 6*c - 5*c + i = 0 for c.
-5
Suppose 7*k + 316 = 8*k. Let s = k - 313. Solve 5*o - s*o - 6 = 0 for o.
3
Let v(i) = -766*i - 1532. Let k be v(-2). Solve k = 22*p - 17*p for p.
0
Let v(j) = j + 8. Let u be v(-6). Suppose 2*g = -3*g, 4*x = -u*g + 24. Let i be 4 + (-9)/(27/(-12)). Solve -x = -2*m - i for m.
-1
Let b = 22 + -8. Suppose -z + b = m, -98 = -5*z + 3*m - m. Let g = -14 + z. Solve -11 - 5 = -g*c for c.
4
Suppose 24 = 7*d - 4*d. Let a(x) = -3*x**3 + 0*x**2 - 8*x - 9 - 7*x**2 + 14*x + 2*x**3. Let z be a(-8). Solve -d = 5*g + z for g.
-3
Let c(o) = -o**3 - 51*o**2 + 264*o - 119. Let t be c(-56). Solve -16*n = 95*n + t for n.
-7
Let s = 63 + -2. Suppose -4*j + s = 4*p - j, 4*j + 14 = 2*p. Solve -p*i = -8*i for i.
0
Let o be (10*16/(-40))/((-4)/2). Let p be -10*1/o - -10. Solve y - p = -8 for y.
-3
Let p = 6139 + -6128. Solve 0 = -p*v + 72*v + 122 for v.
-2
Let o be (-21)/(-4) + (-2)/8. Let i = 90 - 88. Suppose i = 3*k - 4. Solve -k = -n - o for n.
-3
Let c = -4401 - -4406. Solve c*d - 41 = -46 for d.
-1
Let t = 562 - 602. Suppose 2 = 3*f + 8. Let w be t/(-50)*(-5)/f. Solve 0 = w*i + i + 6 for i.
-2
Let g be 243 - (-24)/14*168/(-48). Suppose -r + 294 = g. Solve x - r + 60 = 0 for x.
-3
Let v(d) = -2*d**3 - 27*d**2 + 17*d + 42. Let f = -312 - -298. Let b be v(f). Solve b*k + 2*k - k = 0 for k.
0
Suppose 34 - 34 = 10*d. Let t(s) = -2*s**2 - 2*s + 5. Let r be t(d). Solve 0 = r*f - 8 - 7 for f.
3
Let c(z) = 2*z**2 + 9*z - 1. Let t be c(0). Let f(k) = -9*k - 7. Let l be f(t). Solve -6*v + l*v + 4 = 0 for v.
1
Let i = 11974 + -11948. Solve -384 = 90*p - i*p for p.
-6
Let u = 3690 + -3663. Solve -5*s = -u + 22 for s.
1
Let k be 138 + (0 + 3)*(-665)/399. Solve -k - 227 = -60*i for i.
6
Let b(d) be the first derivative of d**3/3 + 7*d**2/2 + 2*d - 2. Let z be b(-7). Suppose 2*p + 364*w - 8 = 366*w, -3*p + 12 = w. Solve z - 18 = p*y for y.
-4
Let i(z) = z**2 - 2*z - 34. Let o be i(10). Suppose o = 9*t + 1. Solve -t*h - 6 = -3*h for h.