387 + 1724/18. Solve 0 = p*k - 92*k - 12 for k.
3
Suppose 16 + 1 = f - 2*j, -3*f + 2*j = -31. Suppose -2*v + 5*v + 20 = 4*b, 8 = -b + 4*v. Let a = b - 7. Solve -f = 2*c - a for c.
-3
Suppose -7*c + 12*c - 10 = 0. Let m be 21/(-1 + c + 2). Solve -4*s = -m - 13 for s.
5
Let y(p) = -p + 3. Let i(g) = -g**2 + 10*g + 4. Let a be i(10). Let w be y(a). Let n(l) = -l**3 - 2*l**2 - 2*l - 1. Let u be n(w). Solve b = -u*b + 4 for b.
4
Let i(h) = -18*h - 9. Let x be i(3). Let j be x/(-15) - 8/(-10). Let o(y) = y**2 + 4*y + 3. Let b be o(-3). Solve j*v + b = -10 for v.
-2
Let m be 0 - (32/256 + 9/(-8)). Solve -6*a + 13 = m for a.
2
Let v be 153/102*(2 - 0). Solve 3*t + 30 = -v*t for t.
-5
Let x = -610 - -612. Solve 3*n = x*n + 5 for n.
5
Suppose -4*x = -x - 15. Suppose -2 - 3 = -m - x*z, 0 = 4*z - 4. Suppose 2*p - 6 = 4*k, 0 = 3*p - m*k + 3*k - 54. Solve 5*a = p + 2 for a.
3
Let s = 517 + -508. Solve -s*t + 4 = -7*t for t.
2
Suppose -63 = 6*j - 9*j. Let s = j + -14. Let m(z) = -z + 11. Let p be m(6). Solve s = p*i - 8 for i.
3
Let v be -3 + 8 - (-208)/(-2). Let q = -95 - v. Solve -1 + q = -3*c for c.
-1
Let a(l) = -2*l**3 - 45*l**2 + 24*l + 27. Let w be a(-23). Solve 18*g - 20*g = -w for g.
2
Let o = -24 - -24. Let j be 95/19 + (o - 6)/2. Suppose 0 = g - 6*g + 15. Solve j*d = -d + g for d.
1
Suppose 20*p - 19*p - 5 = b, 5*b = -10. Solve s = p*s - 8 for s.
4
Let t = 1276 - 1252. Solve 0 = t*i - 17*i - 21 for i.
3
Let i be 9 - (1 - (9 + -17)). Solve -2*q + 3 - 13 = i for q.
-5
Suppose -q = -5*d + 31, -q - q + 16 = 3*d. Solve 20 = -d*w - 10 for w.
-5
Let w(n) = n**3 + 17*n**2 + 33*n + 15. Let p be w(-15). Let y be (p/6)/(((-3)/(-6))/(-1)). Let j = -2 + 5. Solve k + y = j*k for k.
5
Suppose -3*v = r + r - 23, -3*v + r = -38. Suppose i - v + 9 = 0. Solve 4*w = 2 + i for w.
1
Let s = 70 + -67. Let a(q) = -q**3 + 6*q**2 + 9*q - 3. Let o be a(7). Suppose 3*i - 7 = o. Solve -s*u - i - 9 = 0 for u.
-5
Let y = -970 + 1002. Solve 31*i - 5 = y*i for i.
-5
Suppose -189 = -20*r + 11. Solve -i + 3*i = -r for i.
-5
Suppose -66*g + 61*g = -45. Solve 13 - g = 2*w for w.
2
Suppose -3*t + 8 = t. Solve -8 = -t*a - 0 for a.
4
Suppose -3*h - 148 = 4*y + h, 4*h = -y - 22. Let t be 14/y - (-7)/3. Solve 1 - 7 = -t*k for k.
3
Let u be ((-12)/4 + 8)*(-42)/(-70). Solve u = -9*r + 12 for r.
1
Suppose -3*z - 17*y + 12 = -12*y, 4*z - 16 = -y. Solve -4 = -z*j + 2*j for j.
2
Let q be 486/45 - (-1)/5. Suppose 2*r + 3*d - q = 0, 6*r - 2*r + 18 = 2*d. Let x be r/8 - 2/(-8). Solve 2*m - 1 - 5 = x for m.
3
Let w be (-2)/(-4) + (-679)/14. Let v = w + 52. Solve -v*a - 7 = 1 for a.
-2
Let w(a) = -a**3 + 4*a**2 + 6*a - 3. Let h be w(5). Let y be 1248/(-2288) - 6/(-11). Solve -t + 2*t - h = y for t.
2
Let a(t) = 11*t**2 + 7 - 14*t + 15*t**2 - 40*t**2 + 11*t**2. Let b be a(-5). Solve 1 = -z - b for z.
-3
Suppose 3*i - 26 = 2*u + 4, -5*i + 43 = -u. Solve 9*k + i - 35 = 0 for k.
3
Let l(o) = -o**2 - 6*o - 5. Let m be l(-4). Suppose 3*y = -m*g + 24, 5*g + 8 - 53 = -4*y. Solve 0 = -3*c + g - 1 for c.
4
Let r(k) = k**2 + 10*k - 75. Let u be r(-15). Solve 3*y + u + 3 = 0 for y.
-1
Let t(j) = -j - 23. Let n be t(-12). Let h = -7 - n. Solve 2*m + 2 = h*m for m.
1
Let m = 20 + -9. Let v = -7 + m. Let p(x) = -x + 8. Let t be p(8). Solve t = v*r - 0*r for r.
0
Let s = 15 + -13. Suppose 0 = x - s, 5*t - 4*x + 3*x = 113. Let g = t + -21. Solve -g*v = 1 + 5 for v.
-3
Let f = 69 - 59. Let p = -6 + f. Solve p*u + 5 - 1 = 0 for u.
-1
Let b(z) = z**2 - 7*z + 3. Let o be b(0). Solve 4*j = -o*j - 6*j for j.
0
Let o(y) = y**2 + y. Let f(a) = -5*a - 6. Let l be f(-3). Let u = 7 - l. Let x be o(u). Solve 2*k + x = -6 for k.
-4
Suppose 0 = -5*b - h + 49 + 37, 0 = b + 4*h - 21. Solve 5 = b*s - 80 for s.
5
Let o = -208 - -213. Solve o - 15 = -2*g for g.
5
Let a = 254 + -247. Solve a*n = -n - 32 for n.
-4
Let o = -21 - -21. Suppose -b + 3*y - 12 = o, -2*b + b - 3*y + 12 = 0. Solve b = -h - 0 - 3 for h.
-3
Let x(v) = v**2 - 10*v - 3. Let s be x(9). Let r be (4/12)/((-2)/s). Solve r*f - 6 = 2 for f.
4
Let x = 38 + -105. Let n = 73 + x. Solve -19 - n = -5*m for m.
5
Let n be ((-1)/5 + 2)/(72/120). Solve n*x = -x + 12 for x.
3
Let z = 40 - 36. Let v be 1/z + (-7)/(-4). Solve v*u - u = -2 for u.
-2
Suppose -5*p = -3*f + 21, -2*f + 4*p = p - 13. Suppose 3*m = -m + 72. Suppose 3*l - m = r, -3*l + 26 = l - f*r. Solve 0 = -l*s - 4 - 1 for s.
-1
Let i be 14/6 + (-4)/12. Let p be (2 - 8)/i*-3. Let s(f) = 2*f - 4. Let n be s(3). Solve t + p = -n*t for t.
-3
Suppose 20 + 46 = -3*t. Let x(c) = 2*c + 47. Let d be x(t). Solve f + 1 = -d for f.
-4
Let a(y) = -4*y - 36. Let j be a(-5). Let o be (j/(-20))/1*(-5)/(-1). Solve 12 = -g + o*g for g.
4
Suppose -14*n + 145 - 117 = 0. Solve n*w + 30 - 38 = 0 for w.
4
Let h = 1 - -11. Suppose 7*f + 2*f - 36 = 0. Suppose h = -2*m - m - f*p, p = 4*m - 3. Solve d + m = -1 for d.
-1
Let k be (-2)/5 + (-8)/5. Let x be ((k - 1) + 2)*2. Let u be (x/2)/(5 - 6). Solve h - u = 1 for h.
2
Let o(v) = -v**2 + 5*v - 4. Let a be o(4). Suppose a = 4*m + m - 55. Let x(t) = -t**2 + 13*t - 6. Let i be x(m). Solve -3*p + i = p for p.
4
Let k be -4 - (-1184)/28 - 22/77. Solve -3*y - 47 = -k for y.
-3
Let u be 4/18 + 175/63. Suppose u*v + 0 = 33. Suppose -7 = -9*q + v. Solve -2*h = -4 - q for h.
3
Let r(a) = 2*a**2 + 3*a + 2. Let u = -17 - -15. Let w be r(u). Suppose -2*b + 3*b + 18 = w*h, h - 4*b = -3. Solve h*i - 12 = 8 for i.
4
Let v = 641 + -599. Solve 0 = -2*b + 42 - v for b.
0
Let y be 2 - 9/(-6)*2. Suppose -69 = -y*f + 26. Let w = f + -9. Solve n + w = -n for n.
-5
Let f(o) = -o**2 - 7*o + 2. Let n be f(-7). Let i = -101 + 43. Let q = -52 - i. Solve -4*z + n = -q*z for z.
-1
Suppose h + 5 - 8 = 0. Suppose -h*x + x + 5*q + 29 = 0, -3 = -4*x - q. Solve x = -n + 3 for n.
1
Suppose 5*d - 17 = 3*i, d - 25 = 5*i - 4*d. Let g = i - -3. Let a be (-1)/1*(g - 2). Solve a*x = -x - 16 for x.
-4
Suppose -2*q = a - 4, -3*a - 2*q - 44 = -6*a. Solve 8 = -a*y - 4 for y.
-1
Suppose -46*x + 126 = -32*x. Solve o = x*o for o.
0
Let o(c) = -c**2 + 6*c + 6. Suppose -w + 0*w + 2*y + 14 = 0, 9 = w - y. Let z = 10 - w. Let q be o(z). Solve -p + q*p + 5 = 0 for p.
-1
Let r(w) = 3*w + 18. Let d be r(-8). Let k(y) = -4*y - 4. Let u(z) = -5*z - 5. Let m(j) = d*k(j) + 5*u(j). Let v be m(-4). Solve i - v = -1 for i.
2
Suppose 14 = g - 21. Let k = g + -32. Solve 0*c - 3*c + k = 0 for c.
1
Let k(o) = -o**3 - 9*o**2 - 10*o - 1. Let f be k(-8). Let x(i) = -i + 15. Let p be x(f). Solve p*y + 2*y = 10 for y.
5
Let c = -24 + 24. Suppose 2*j - 4*j = c. Solve 5*m + j = 15 for m.
3
Let f be (22/3)/(((-5)/(-30))/1). Suppose -3*x = 8*x - f. Solve j = -x*j - 20 for j.
-4
Suppose 5*j - 23 = -4*l, -4*l - 2 = j - 13. Solve 0 = -j*v + v for v.
0
Let d be -7 + 13/((-26)/(-84)). Solve -27*j + 8 = -d*j for j.
-1
Let a be 4/26 + 1070/(-26). Let l = 46 + a. Solve z - l = -0 for z.
5
Let s be (3 + -6)*(-1)/1. Suppose -4*k = 4*d - 16, -3*d + s*k - 7*k = -14. Solve -5*f + 8 = -d for f.
2
Suppose 0 = -8*s + 28 - 108. Let f be (-4)/6*300/s. Solve f = -3*z - z for z.
-5
Let u(b) = b**3 + 13*b**2 - 11*b + 20. Let h be u(-14). Let g = -20 - h. Solve 3 = t - g for t.
5
Let n be 19/(-3 + 5 - 1). Let g = n - 34. Let j be ((-12)/g)/((-6)/(-15)). Solve -j = -u - 0*u for u.
2
Let x(v) = -v**3 - 31*v**2 + v + 45. Let q be x(-31). Solve 2 - 44 = -q*j for j.
3
Let a(p) = -p**3 + 13*p**2 - p + 13. Let s be 13*(0 + -1)*-1. Let y be a(s). Suppose -4*r - 2 = h - y*h, -18 = -4*h - 3*r. Solve -2*t = -h*t + 4 for t.
1
Let f(w) = w**2 - 9*w - 11. Let j be f(11). Let d = j - 8. Let z be (d/6)/((-6)/(-84)). Solve 0 = z*g - 2*g - 10 for g.
2
Let c(t) = -t**2 + t + 2. Let p = 18 - 18. Let s be c(p). Solve 0 = -3*b - s*b + 25 for b.
5
Suppose 8 = -3*s - 7*u + 5*u, -u = -2*s + 4. Let k(r) = r. Let d be k(2). Solve -n + 0*n + d = s for n.
2
Suppose 4*r = -c + 189, -2*c - 57 = -r + c. Solve 8*i = -4*i + r for i.
4
Suppose 8*j - 233 = -73. Solve 0 = -25*v + 21*v + j for v.
5
Let d = 12 + -10. Suppose -4*i + 4*l = -16, -2 - 2 = -4*i - d*l. Solve 2*q + i = q for q.
-2
Suppose 139*j - 36 + 84 = 163*j. Let m = 0 + 2. Solve 0 = -j*s + 8 + m for s.
5
Suppose 0 = -19*z + 8*z. Solve z - 10 = -2*m for m.
5
Let z(m) = m**2 - 12*m - 17. Let k be z(11). Let o be k/(-8) + -3 - 60/(-8). Solve -4 + o = 4*i for i.
1
