 0 = -143*c + u*c - 42. Solve 13 = c*j - 1 for j.
2
Suppose -12*b + 1128 = 1104. Solve -b*t - 20 = -32 for t.
6
Suppose 4*r = -5*z + 3*r + 204, 0 = -4*z + 5*r + 140. Suppose 0 = -2*o - 3*o + z. Suppose 4*d = 8 + o. Solve -2*t = -d*t for t.
0
Suppose -20109*i = -20087*i - 3916. Solve 174*q - i*q - 8 = 0 for q.
-2
Let g(s) = -s**3 + 11*s**2 - s + 5. Let u be g(11). Let x be (4/u)/((-16)/264). Suppose 5 = -p + x. Solve -l = p - 1 for l.
-5
Let k = 1342 - 1213. Solve k*m = 140*m - 55 for m.
5
Suppose 4*u = -4*d - 0*d + 4, -2*d + 8 = -u. Solve 7*b = d - 24 for b.
-3
Suppose -4*u + 4 = -5*t - 92, 3*u + 5*t - 37 = 0. Let n = 21 - u. Suppose 0*w - n*f = 2*w - 4, -3*w - 10 = -5*f. Solve d = -w*d for d.
0
Suppose 2*a + 14 = 4*o, 4*o + 390 - 432 = -2*a. Solve 59*l + o*l = -31*l for l.
0
Suppose 0 = -32*m + 45 + 115. Solve m*a + 12*a = -6*a for a.
0
Let o be (54/12 + -1 + 6/(-1))*-14. Solve 28*y + o = 21*y for y.
-5
Let b(g) = g**2 - 15*g + 29. Let l(j) = j**2 + 11*j + 10. Let w be l(-11). Suppose -k + w*k - 117 = 0. Let y be b(k). Solve y - 5 = c for c.
-2
Suppose 5*y = 2*y + 96. Let k = 34 - y. Suppose 0 = 2*v - k*m - 6, -v + 15 = -3*m - 2*m. Solve v = 2*s - 9 + 3 for s.
3
Let p = -4 + 6. Let n(b) be the first derivative of -b**4/4 + 4*b**3/3 + 4*b**2 - 13*b - 67. Let k be n(5). Solve p*l + 0*l = -k for l.
-1
Suppose 2*b + 10 = 0, -82*g + 86*g = 5*b + 121. Solve 6*t + g = 12*t for t.
4
Suppose -1089*x = -s - 1088*x + 177, 0 = 4*s + 2*x - 762. Solve r - 32*r = s for r.
-6
Suppose 10*t - 14*t - 16*t = -440. Solve -3*a + t = 13 for a.
3
Let n = -17 + 28. Let p be (n/44)/(26/24 + -1). Suppose 0 = -4*q + 60 - 52. Solve -q*t - t = -p for t.
1
Let b(v) = -23*v + 479. Let w be b(19). Solve -30*r + w = -16*r for r.
3
Suppose 9*w + 28 = 118. Let c be 39/12 + 1/(-4). Suppose -l - l = 4*k - 12, -l = -5*k + 8. Solve k*v - w = -c*v for v.
2
Suppose -28*z - 112 = -0*z. Let x be 26 + z/3*180/40. Suppose -2*k = -3*k + 2. Solve 0 = k*y + 2*y + x for y.
-5
Let x(j) = -347*j - 1575. Let m be x(-5). Solve m = -7*u - 33*u for u.
-4
Suppose -3*k = -7*k + 4*u, -5*k + 30 = u. Suppose 0 = -2*q + k*z, -3*q - 2*q = 3*z. Solve q = 2*p + p for p.
0
Suppose 0 = -v - 12 + 37. Suppose 0 = -17*u + v*u - 8. Solve 0 = 4*j - u - 3 for j.
1
Let d be (-29952)/1560*(1 + -6). Solve 19*x + d = 20 for x.
-4
Suppose -504*m = -334*m - 9520. Solve -65*y + 139 = -m for y.
3
Suppose -5*a - 2*f + 7*f + 165 = 0, a + 3*f - 13 = 0. Solve -22*w + a*w - 42 = 0 for w.
7
Let l(b) = 2*b**3 - 4*b**2 + 11*b - 3. Let g be l(3). Let o be (-3)/24*20*g/(-10). Solve 8*q - 12*q + o = 0 for q.
3
Let d be (15/9)/5 + (95/3 - 8). Solve 14*o - 8*o + d = 0 for o.
-4
Suppose -h + 5*j = 8, -5*j - 4 = -2*h - 10. Suppose -h*k - 39 = -3*o, -5 + 8 = k. Solve -3*t - o = -0*t for t.
-5
Let x = 131 - 130. Let q be 10 + x - 1 - (2 - 0). Solve -q*v = -4*v - 16 for v.
4
Let b be (167 - 2)*(-2)/3. Suppose -2*g + 13*r = 15*r + 208, 5*g - r = -532. Let t = g - b. Solve 0 + t = 4*q for q.
1
Let x(l) = 4*l - 4. Let k be x(13). Suppose 16 = -y + 2*y + b, 2*b + k = 2*y. Let g = -38 + 42. Solve -y = g*t - 8*t for t.
5
Let l(w) = -7*w**3 - 9*w**2 - 128*w - 364. Let m be l(-3). Solve 51*x - 35*x - m = 0 for x.
8
Let x(n) = -n**3 - n**2 + 3*n + 3. Let t be x(3). Let b(m) = -111*m - 1417. Let f be b(-13). Let j = f + t. Solve 6*u = j*u for u.
0
Suppose 48*q - 5*h = 45*q - 2527, -2*q + 2*h = 1678. Let f = -818 - q. Solve 0 = -11*a + f*a for a.
0
Let y = 5243 - 5027. Solve 0 = -21*u - 15*u - y for u.
-6
Suppose -4*l = l + 305. Let h = -32 - l. Suppose -27 + h = 2*u. Solve -i - u - 1 = 0 for i.
-2
Suppose y = 3*s - 2, 37*y - 42*y = 4*s + 10. Solve s = -7*h + 31*h - 144 for h.
6
Suppose 0 = 7*p - 6*p - 3. Suppose 4*s + 7*r - 2*r = 170, -p*s = -r - 137. Let f = s + -38. Solve -2*u - 25 = -f*u for u.
5
Let z(w) = -7*w**2 - 2*w + 6. Let n be z(-3). Let o = -8 - n. Let p = -32 + o. Solve -p = 4*a + 9 for a.
-5
Suppose 0 = 2*s - 4*o - 3578, -s + 4*o = 626 - 2411. Solve -s*k + 42 = -1787*k for k.
7
Let m be 42*1 + (-8)/10*5. Let u be m/7 - 3/7. Suppose -3*z = -j - 6 - 4, -10 = -u*z + 3*j. Solve -9 = z*h - 34 for h.
5
Suppose -48 = -5*r - 0*l + l, 0 = r - 5*l. Suppose 13*d - 8*d - r = 0. Let j be (2/4)/(1/36). Solve j + d = 5*t for t.
4
Let g be (-5847)/(-7) - (-310)/(-1085). Solve g*i + 16 = 831*i for i.
-4
Let l be (0 - -3)*72/216. Suppose r + l = 1. Solve r = -3*c - 3 - 12 for c.
-5
Let l = -2925 - -2950. Solve -20*m - 20 = -l*m for m.
4
Let i be 1816/6*(8 + (-52)/8). Let g = i + -440. Solve -4*h + 6 = -g for h.
5
Let z be (((-63)/126)/((-3)/(-66)))/((-2)/8). Solve -6*l - z = -8 for l.
-6
Suppose -4*c + 4*g = -112, 64*g + 6 = 67*g. Solve c*w = 6*w + 24 for w.
1
Suppose 246*i = 269*i - 1127. Solve 0 = -i*x - 133 - 259 for x.
-8
Suppose 0 = 5*l - 8*l + 429. Suppose -l - 217 = 6*z. Let h be -15*(2/(-8) - (-85)/z). Solve 2*n + h = -3*n for n.
-5
Let a(t) = -t**3 + 4*t**2 + 85*t + 1. Let y be a(-9). Let l = y + -286. Solve 6*i + 6 = l*i for i.
-2
Let c be 82/4 - 3/6. Let p = -8 + c. Suppose -114 + 40 = 108*g - 506. Solve p = g*d - 0*d for d.
3
Let i be (4 - 4)*(-1)/2. Let r(y) = -8*y**2 - 2*y - 1. Let l be r(-1). Let f(q) = q**3 + 7*q**2 - 2*q - 10. Let p be f(l). Solve -p*d + 6*d = i for d.
0
Let z(b) = 2*b - 9. Let i be z(22). Let v = -54 + 60. Solve v*j + j = -i for j.
-5
Let x(j) = -349*j + 15. Let l be x(0). Solve -541*w + 556*w + l = 0 for w.
-1
Let i = 91 + -91. Let h(r) = -r**2 - 2*r + 4. Let k be h(2). Let b(c) = -c**3 - 4*c**2 - c - 2. Let j be b(k). Solve 5*t - j + 27 = i for t.
-5
Suppose -49*t = -33*t - 32. Let o be t*(-63)/(-14) - 0/1. Solve -o*h + 4 = 31 for h.
-3
Suppose 0 = 38*b - 37*b - 6. Suppose -5*k + 7 = 3*u - 4, -4*u - 4 = 2*k. Suppose 0*q - k*q = -12. Solve b*r + 9 = q*r for r.
-3
Let s = -141 + 144. Suppose 3*l - 5*l = 4*g - 8, -s*l = 5*g - 17. Solve 23 = -3*f + l for f.
-3
Let g(d) = 5*d**2 + 8*d - 6. Let b be g(-3). Solve -b = -16*z + z for z.
1
Suppose -6*m + 847 = 5*m. Let l = m + -69. Let f be 1*-3 + (10 - 3). Solve -f*d - l = -0*d for d.
-2
Let d = 32160 + -31953. Solve 0 = -73*h + 4*h - d for h.
-3
Let p be (-8)/(-7)*(-301)/(-172). Solve -17*q - p*q = 95 for q.
-5
Let m(k) = -12*k - 17. Let z be m(-2). Suppose z*p + 2*p = -180. Let a = -15 - p. Solve -a + 1 = h for h.
-4
Suppose -2*o - 4 = -4*o. Let g be (-11)/(-6) + (-13)/(-6) + -2. Let l be (8 - 4) + -1*g/2. Solve -4 - o = l*y for y.
-2
Suppose -r - 2*r - 4*h = -34, -r - 5*h = -26. Solve -r*p - 8 = 10 for p.
-3
Suppose 2*x - 4 = -0*x. Suppose 116*c - x = 115*c. Solve -6*b - c = -20 for b.
3
Let v = -8047 - -8051. Suppose 3*r - 6 = 2*y + 28, -5*r = 4*y - 64. Solve -v*m + r = -0 for m.
3
Suppose -r + 4*t + 13 = 0, 2*t + 8 = 4. Let c(b) = 7*b - 31. Let j be c(r). Solve j*y + 25 = -y for y.
-5
Let u = -699 - -719. Suppose 4*n - 23 = -7. Solve -u = -9*l + n*l for l.
4
Let d(v) = -6 + 2 - 5 - 10 + 13*v + 6 + 3*v**2. Let j be d(1). Solve j = -o - 0 for o.
-3
Suppose 4*r + 202 = 5*b, -3*b - 2*r + 136 = 3*r. Suppose -3*p + u = 101, 0 = -5*p - 5*u - 237 + b. Let m = -27 - p. Solve m*s - 5*s = 9 for s.
3
Let u(q) = 3 + 0*q**2 - 5 - q**2 + 2*q**2. Let m be u(3). Let v(y) = y - 6. Let i be v(m). Solve a - i = 3 for a.
4
Let n be (-10)/(-35) - (-2)/(-7). Let z be (15/(-3))/(-3 - (-2 + n)). Suppose 30 + 122 = 5*p + 4*a, -2*p - 4*a = -56. Solve -7 + p = -z*j for j.
-5
Let s = 12683 - 12679. Suppose 0 = -3*k + 2*k + 2. Solve -2 = -k*i - s for i.
-1
Let t = 51 + -48. Let u(i) = -2*i**2 - 45*i + 34. Let m be u(-23). Let j be (-5 + m/t)*-6. Solve 0 - j = 4*h for h.
-2
Suppose 11*x + 4*x + 30 = 0. Let z be (35/70)/(x/(-28)). Solve -2*o = -z*o - 5 for o.
-1
Suppose 2*l + 14 = 20. Suppose -l*m + 17 = 14. Let a be (20/12 - m)*3*2. Solve -2 = 2*n - a for n.
1
Let m be (-2)/(-70) + (-73)/2555. Solve m = -j + 21*j + 40 for j.
-2
Suppose -3*g - 2*b + 68 = 0, 4*g - 14*b = -11*b + 68. Let p = g - -9. Solve -p*m = -32*m + 3 for m.
1
Let f = -920 - -950. Solve -31 = -g - f for g.
1
Let o(z) = -3*z**2 + 7*z + 36. Let j be o(4). Solve -j*p = -19*p for p.
0
Let c be (-3)/(-4) + 24 + 1118/(-104). Solve 0 = 7*f - c*f + 21 for f.
3
Let j = -16338 - -16368. Solve -j = -10*q + 5*q for q.
6
Suppose -6*i + 19 = -5*i. Suppose -14 = -3*m - 2*u - 1, 0 = -m + 3*u + i. Suppose m*l - 119 + 7 = 0. Solve 5*r + 6 = l for