ve y*a = 32*a for a.
0
Suppose 0 = -2*v, 6*y - 5*y - 5*v - 3 = 0. Let s be 0/((y - 7)/4). Suppose 0 = i - 5*b - 20, 4*b - 2*b - 9 = -3*i. Solve -5*o + 0*o - i = s for o.
-1
Let v = 23739 - 23709. Solve 101*l + v = 131*l for l.
1
Let d = -6185 - -6283. Solve 15 = -103*f + d*f for f.
-3
Let y be 7/(-2) - (6/(-8))/((-9)/(-162)). Solve 7*l + 3 = y for l.
1
Let n be ((-2)/(-6))/(6/360). Let g = 24 - 22. Solve -n = -2*x - g*x for x.
5
Let p(w) = -w**3 - 4*w**2 + 5*w + 2. Let h be p(-5). Let n be (-1684)/(-8) + (-1)/(-4 - -2). Let i = n + -207. Solve 4 = h*m - i*m for m.
-2
Let l = -8 + -12. Let q be (-6)/4*l/(-6). Let w be (-14)/3*(90/21)/q. Solve 0 = -w*a + 8 - 20 for a.
-3
Suppose -38*f - 39*f = -8470. Solve -f = 30*p - 8*p for p.
-5
Suppose -3*v - 47 = -o, -5*o = -3*o + v - 59. Let f be ((-35)/15)/(56/(-16))*144/(-12). Let z be 4/o*-18*f/6. Solve -z*u = -u for u.
0
Let k = 790 + -782. Suppose 23*s - 120 = k*s. Solve s = -2*w + 10 for w.
1
Let p be -2 - -2 - 1 - -4. Suppose -p*c = -10 - 5. Let m = -1 + c. Solve 12 = -m*z + z for z.
-4
Suppose -l - 10 = -2*p, -43*l + 48*l + 20 = 4*p. Suppose l = 5*k - 909 + 879. Solve k*f + 2 = 8 for f.
1
Let q be (60 + -88)*-1*(-6)/(-8). Solve 0 = -25*c + q*c + 8 for c.
2
Suppose 5*r + 141 - 261 = 0. Suppose r*u - 28 = 10*u. Solve 0 = 2*b + u*b - 8 for b.
2
Let d be 716/14 - (252/49 - 5). Suppose 0 = -d*x + 59*x - 32. Solve 9*q = x*q - 15 for q.
-3
Suppose -3*p - 4*o = -272, 4*o - 349 - 107 = -5*p. Suppose p + 16 = 6*f. Solve 14*m + 16 = f*m for m.
4
Let v(u) = -u**3 - 4*u**2 + 6*u - 1. Let a be v(-5). Let b be (-11)/a + (-110)/132. Solve 13*h - 14 = -b for h.
1
Suppose 0 = -4*q - 20 + 136. Suppose -23 = -2*x + q. Suppose -x = -2*g + 4*o, 4*g + 0*o - 5*o - 55 = 0. Solve 3*y + 0*y = g for y.
5
Let n = 26881 + -26853. Solve -b = n*b - 29 for b.
1
Suppose -5 = -4*w + 5*i + 5, 0 = 5*w - 2*i - 4. Solve w = 6*a + 5 - 41 for a.
6
Suppose 5 = -5*p, p + 10 = 2*v - p. Suppose -v*z - 3 + 23 = 0. Solve -z*q - 4 = 6 for q.
-2
Suppose 42*o - 44*o + 48 = 5*c, -4*o + 3*c = -70. Suppose 14 = -o*y + 26*y. Suppose 2*x = 2*q, 0 = q + 3*x - 1 - 3. Solve 1 = -y*i - q for i.
-1
Suppose 12*b + 2*b - 42 = 0. Suppose b*z - 44 = -3*l + 4, 0 = 4*z + l - 49. Solve z*i = 7*i - 16 for i.
-4
Suppose 12*r - 5993 + 5201 = 0. Solve r*f = -3*f + 345 for f.
5
Let r = -151 - -150. Let w be r/((1/(-5))/((-3)/(-5))). Solve -w*y = -y for y.
0
Suppose 297*l - 4 = 296*l + 2*r, -4*l + 16 = 4*r. Solve l*f = -810 + 794 for f.
-4
Suppose 2*p - 295 = 4*h - 235, -2*p + h + 66 = 0. Solve 91*v = p + 57 for v.
1
Let z(v) = -6*v**3 - v**2 - v - 1. Suppose -6*f = 143 - 581. Let r = f + -74. Let s be z(r). Solve 0 = 4*p - s*p for p.
0
Suppose 95*r - 191 = -5*l + 98*r, -4*r + 172 = 4*l. Solve 0 = -l*c + 13*c + 108 for c.
4
Suppose 4*p + 110 = 2*w, 466*w - 130 = 464*w - p. Solve w*z - 74 + 11 = 0 for z.
1
Suppose -v - 2*k + 3 = -12, -4*k = 0. Let u be ((-1)/(-3))/((-148)/(-48) + -3). Suppose 7*h = -u*h + 13*h. Solve h = 13*a - v*a - 4 for a.
-2
Let q be (3 + (-12 - -6))*-1. Let u be 8/q - (16/6 - 2). Solve u*i + 8 = 14 for i.
3
Suppose -b + 3 = 0, b - 36 + 25 = -x. Solve x*z = 12 - 20 for z.
-1
Let z(a) = -2*a**2 + 300*a - 878. Let b be z(3). Let c = 2 + -2. Let x = -5 - -7. Solve c = -x*s + b*s for s.
0
Let z be (-10)/(-1) + (-8)/((-40)/25). Let m = z + -8. Solve 4*t + 1 = -m for t.
-2
Suppose -13 = -2*i + 5. Suppose 2*c = 7 - i. Let a be (2 - 3)*(-3 - c). Solve 0 = y - 1 + a for y.
-1
Suppose 457*p = 459*p - 10, -2*o - p = -19. Solve 17*r = -o - 10 for r.
-1
Let y = -2594 - -2610. Solve 2*p - y = -8 for p.
4
Suppose -4*j + 6*o = -162, -7*o + 11*o + 119 = 3*j. Solve 27*m - 38*m = j for m.
-3
Suppose -912 = -205*h - 92. Suppose -37 = -5*w + 4*w. Suppose w = -h*r + 49. Solve 2*b = -b + r for b.
1
Suppose 10*p + 2052 = 29*p. Suppose 9*o - 108 = p. Solve -17*m = -5*m + o for m.
-2
Suppose -2*c + 0*c + 68 = 4*d, 4*c = -4*d + 76. Let o = 6 + d. Suppose 4*h = -3*h + o. Solve h*u = -u for u.
0
Suppose -4*l + 3*r + 25 = 0, 4*r = -2*l + 23 - 27. Solve -225*a = -223*a - l for a.
2
Let k = -5236 - -5236. Solve k = -38*q + 34*q - 8 for q.
-2
Let y(z) = 6*z + 1. Let b be y(3). Suppose -i - 13 = -5*q, 0*q - 3*q + b = 5*i. Suppose -43*o + 87*o - 176 = 0. Solve 0 = -o*k + q*k + 1 for k.
1
Suppose 2*j - 117 + 105 = 0. Suppose -j*h + 30 = 12. Solve -h*d + d = -8 for d.
4
Let r = 1 - 0. Let q be -6*((-153)/(-6) + -26). Solve r = -x + q for x.
2
Suppose 194*q = -19*q + 7893 + 21288. Solve -50*z = -163 - q for z.
6
Let d(m) = 7*m**2 + 31*m + 35. Let g be d(-4). Solve 8*c + 7 = g for c.
2
Suppose 13 = -b + 17. Let t(z) = -z**3 + z**2 - 4*z - 4. Let c be t(b). Let o = c - -73. Solve -6*w = -w - o for w.
1
Let d = 18 - 7. Let p(j) be the first derivative of j**2 - 22*j - 6. Let x be p(d). Solve w + 3 + 0 = x for w.
-3
Suppose -2*g + 22 = 2*p, 0 = 4*p - 5*g - 17 + 18. Suppose 0 = 2*i + 2*b - 74, 2*i - 2*b - 27 = 67. Let r be (p/14 - 18/i) + 1. Solve -l = -1 - r for l.
2
Suppose -4*q + 32 = -4*r, -5*q + 106 = 5*r + 26. Suppose 5*t - 27 = -3*a + 4, -4*a = -4*t + q. Solve -4*s = -t*s for s.
0
Let z = 42 - 30. Suppose 2*i + 4*m = -38, -3*i + 5*m - 36 = 32. Let x be 1*(-7)/i*0. Solve x*u - 3*u = z for u.
-4
Let j(m) = -478*m - 195000. Let h be j(-408). Let r = -8 + 17. Solve -r*k - h + 6 = 0 for k.
-2
Suppose -2*u = 5*r - 28, 4 = r + r - u. Suppose 4*a - 23 = 5*k, 3*a - 17 = -r*k + 8. Solve 0 = 2*h + a*h - 27 for h.
3
Let g be (-34 - -1)*6/(-9). Suppose g + 5 = 9*o. Solve 4*s - 5 = o*s for s.
5
Let d(c) = -9*c - 20. Let q be d(-5). Suppose -8*m - q = -49. Solve -m*i = 3*i - 24 for i.
4
Let q(v) = -2*v**2 - 6*v + 436. Let j be q(-14). Solve -110 + j = -9*w for w.
-2
Suppose -8*f - 302 = -342. Let s be (25/f)/((-6)/(-18)). Let w be 3/3 - -1 - -1. Solve s = 2*z + w*z for z.
3
Suppose 200*f - 624 = 192*f. Solve 0 = 11*k - 50*k - f for k.
-2
Let a be (-2)/(3 + ((-166)/(-54))/(-1)). Let p be a - (-6 + 2)/(-2). Solve -24*f + 5 = -p*f for f.
-5
Let p be 6 + (-6 - -2) - -123. Suppose 0 = 32*l - 37*l + p. Solve 6*i = i + l for i.
5
Suppose 5*f - 4*b = 224, -98*b + 174 = 4*f - 96*b. Solve 5*u - 24 = -f for u.
-4
Suppose -9*k - 3*p - 154 = -13*k, 3*k - 117 = 3*p. Solve 39*z - 8 = k*z for z.
4
Let o(k) = k**3 - 6*k**2 - 7*k + 3. Let n = -30 - -37. Let d be o(n). Suppose -2*h = -2, -d*m - 4*h - 5 = -36. Solve 3*a - m = 6*a for a.
-3
Let r(h) = -h**3 + 32*h**2 + 34*h + 201. Let c be r(33). Solve 0 = -c*o + 235*o - 7 for o.
7
Let k(i) = i**3 - 19*i**2 + 69*i + 14. Let u be k(14). Solve u = -14*d - 20*d + 34 for d.
1
Let n be (1 - 0)/((-7)/(-259) + 0). Let x = 97 - n. Suppose -64*l + x*l = 0. Solve 2*i - 6*i - 16 = l for i.
-4
Let x = 12 - 11. Suppose 0 = 60*l - 64*l - 12. Let b be 3 + l + 3 + x. Solve 0 = -4*z + b + 8 for z.
3
Suppose -63*i - 38 = -65*i. Solve -i*o + 60 = -4*o for o.
4
Let c(z) = -2*z + 4. Let n be c(0). Suppose -n*t = -41 + 13. Solve 0 = -4*b + t*b - 12 for b.
4
Let p = 40 + -37. Suppose 0 = -p*j + 2*b - 37, 4*b - b = -4*j - 55. Let r = 17 + j. Solve r*h - 4 = -0 for h.
1
Suppose 4*z + 2*n = 40, -3*z + 49*n = 53*n - 10. Solve 390*t = 392*t + z for t.
-7
Let h = 22946 + -22942. Solve 0 = -9*n - 40 + h for n.
-4
Let w(o) = o**2 - 195*o + 3662. Let g be w(21). Solve -g*j = 27*j + 105 for j.
-3
Let c be (4 - (10 - 3))*-1 + 1. Let b be 1/c - (-2832)/192. Solve 0 = -17*i + 14*i + b for i.
5
Let s(i) = i**2 + 13*i + 18. Suppose 8 + 25 = -3*f. Let w be s(f). Let x(l) = -l**2 - 4*l + 3. Let y be x(w). Solve y*m - 6 = 9 for m.
5
Let i(w) = -w**3 + 2*w**2 + w. Let r be i(2). Suppose 0 = 2*d - 11 + 1. Suppose 5*j = d*u + 35, -r*j + u = -4*u - 26. Solve -j*k = -k - 4 for k.
2
Let c be 1/(-10) - ((-32088)/(-80))/(-21). Solve -7 = -c*p + 20*p for p.
-7
Let x(w) = w**3 - 5*w**2 + 3*w + 5. Let o be x(4). Suppose 4*m = 5*k + 182, 3*k = 3*m + 4*k - 146. Suppose -26*v + 10*v + m = 0. Solve -4*p + v = -o for p.
1
Suppose -2*v = 3*c - 262, 4 = -1282*c + 1283*c. Solve v - 20 = -21*z for z.
-5
Let q = -4 - -3. Let z be -14 - (-340)/24 - (-250)/12. Let g be (-8)/(-20) + z/(-15) - q. Solve x - 3*x = g for x.
0
Let g be 138/(6 + -7 + 7). Solve -27 = -q - g for q.
4
Let u(d) be the second derivative of -d**4/12 - 3*d**3/2 + 11*d**2/2 - 11*d. Let o be u(-10). Let k be -2 + (5 - -1) + (o - 4). Solve 0 = 3*x + 14 + k for x