z = -54*s - 73 + 73 for s.
0
Suppose 25 = 8*l + 1. Suppose -x + l*n = -21, 40 = 5*x - 7*n + 5*n. Solve -7*s + x = -s for s.
1
Let f be -21 + 168/(-15 - -21). Solve -f*u - 460 = -502 for u.
6
Let a be 32/(-12)*(-9)/6. Suppose -b + a*x + x = 13, 1 = 2*b - x. Suppose 4*s - 1 = 3, -o + s = -b. Solve o*n - 3 = -6 for n.
-1
Let v = 6143 - 5320. Solve -8*w - v = -807 for w.
-2
Let x = -235 - -119. Let r = x - -119. Suppose -5*d = -r*d. Solve d = -3*w - 0 - 12 for w.
-4
Let m(a) = 3*a - 22. Let c be m(8). Suppose -270 = -c*v - 252. Solve v - 1 = -4*i for i.
-2
Let p = -2243 - -2246. Let z be (-2)/3 - (-8)/3. Suppose -p*f + 4*y = -61, y - 9 + 43 = z*f. Solve -b - f = 2*b for b.
-5
Let t(v) = 65 - 138 - 34*v - 9*v**2 + v**3 + 51. Let j be t(12). Solve j*r - 4 = -14 for r.
-5
Let l(v) = v**2 - 6*v - 84. Let j be l(-8). Suppose 3*u = k - u - 16, 4*k - 4*u - 40 = 0. Let q be (-1)/(j/k + -4). Solve -3 = q*a - a for a.
-3
Suppose 4 = -3*t + 2*i, -6*i = t - 3*i - 17. Suppose 28 - 4 = t*z. Solve 12*a - 9*a = -z for a.
-4
Let n(m) = -86 + 86 + 3*m**2. Let u be n(-1). Suppose 0 = u*c - 0*c - 6. Solve 3*x - c = 4 for x.
2
Suppose 0 = 3*h - 5*r + 7 - 124, 4*r = -5*h + 232. Let w = 71 - h. Suppose 4*i - w = i. Solve -o = -4*o - i for o.
-3
Let u(t) = t - 3. Let w(z) = -5*z - 112. Let l(i) = 2*u(i) - w(i). Let y be l(-15). Solve 0 = -d - 1 + y for d.
0
Let x = 5966 - 5956. Solve 42*w = 32*w - x for w.
-1
Let k(q) be the second derivative of q**5/20 + q**4/3 + q**3/6 - q**2 - 43*q. Let y be k(-3). Solve 2*h = -2*h - y for h.
-1
Suppose -6*z + 3 + 15 = 0. Suppose z*y = 47 - 23. Solve 8 = 4*n - y for n.
4
Let m be -2 - 1 - ((-24)/72 - (-40)/(-6)). Solve -m*r = -126 + 158 for r.
-8
Suppose 55*z - 4284 = -2*z - 62*z. Solve 202*g + z = 196*g for g.
-6
Let l(y) = -2*y - 1. Let b be l(-2). Let p(k) = -k**2 + 13*k + 70. Let o be p(17). Suppose 2*v + b*g = -v + 15, -v + 5 = o*g. Solve 0 = -7*t + v*t + 2 for t.
1
Suppose -3*a - b + 6 = -4*b, 3*a + 4*b = -8. Solve -8*q - 3 + 43 = a for q.
5
Let k be 2/14 + -5 + (-3732)/(-42). Suppose 12*g = -16*g + k. Solve -4 = -g*t - 4 for t.
0
Suppose 282 + 71 = -o. Let g = o - -368. Solve 0*t = 3*t + g for t.
-5
Let w be 12/(-30) + (5740/(-25))/(-4). Let l be -38*((-5)/(-2) + -1). Let x = l + w. Solve x = -6*z + z for z.
0
Suppose -3*o + 9 = -3*f, -2*f - 1 = 3*f + 2*o. Let b = 7 + f. Suppose 4*w - 3*w = -53*w + 540. Solve b*q - w = q for q.
2
Let i be (-56)/10*(-3480)/812. Solve 15*n + i = -9*n for n.
-1
Let v = 0 - 0. Suppose 502 = 40*a - 3378. Solve a*f - 94*f + 3 = v for f.
-1
Let g(p) = p**3 + 9*p**2 - p - 2. Suppose -3*o = -5*k - 54, -4*o + 3 - 9 = 2*k. Let x be g(k). Solve -3*y + x*y + 20 = 0 for y.
-5
Let u be (2 - 64/12)/(2/(-3)). Suppose -2*z + 20 = 3*z. Suppose 21 = 3*f + x, -z*x = -f + 27 - 7. Solve f*n = 3*n + u for n.
1
Let g = -70 + 75. Suppose -3*r = -4*y + 3, 48*r = -3*y + 45*r - 3. Solve 3*i + g*i + 40 = y for i.
-5
Suppose 10*o = -8*o - 14*o + 96. Solve 7*n + o*n - 30 = 0 for n.
3
Let f = 169 + -172. Let l be 0/(-1) - (f + (-2)/2). Solve -l*d = -d + 15 for d.
-5
Let m(o) = 2*o - 78. Let s be m(25). Let y = 32 + s. Solve -w + y = w for w.
2
Let n(q) = q + 1. Let r be n(2). Let s be (11/((-858)/(-36)))/(55/715). Solve r*f - f + s = 0 for f.
-3
Let v(w) be the third derivative of -w**5/60 - 17*w**4/24 + 61*w**3/6 + 10*w**2. Let o be v(-20). Solve y + 3 = -o for y.
-4
Suppose -c + 575 = -5*l, l + 5*c = -0*l - 89. Let y = 113 + l. Let o be y*6/(-12)*4. Solve -o*u + 12 = 2*u for u.
3
Suppose -313 = -10*n + 287. Suppose 18*p = -12*p + n. Solve p*r + 22 = 16 for r.
-3
Suppose 5*q + 7 = -3. Let j be ((-2)/q)/1*3. Let p be ((-2)/5)/(15/150) - -4. Solve -j*t = -p*t - 12 for t.
4
Suppose 322*a - 318*a = -4*f - 20, -27 = 3*a. Solve -202 = -22*r - f for r.
9
Let x be (16/3 - 4) + 112/24. Solve -x*q = -10*q + 16 for q.
4
Let l = -935 + 944. Solve 140*c = 137*c + l for c.
3
Let m(z) = -6*z**2 - 21*z + 43. Let t be m(-11). Let n = 462 + t. Solve 3*q + 21 = n*q for q.
3
Let i be 1 + 26/(-30) - 77/15. Let s be (-1 + -2)/(-2 - -3). Let q be (i - (s + 0)) + 4. Solve -2*f + q = -f for f.
2
Let a(r) = -r**2 + 11*r - 27. Let t be a(7). Let o be (-1 - -2 - t)*-1. Solve z - 4 = -o*z for z.
4
Suppose 3*o + 122 - 218 = -4*i, i + o = 22. Solve -7*t + 12 = -i for t.
6
Suppose 2*m - 39 = -3*m - x, 0 = m + 3*x - 19. Suppose 4*k - 7 = -m. Suppose k*p - 3 = 3*j + 3*p, j = -2*p - 4. Solve 0 = j*t + 4 + 6 for t.
-5
Let w(u) be the second derivative of -6*u**3 + 6*u**2 - 201*u. Let p be w(0). Solve 0 = 3*f - 7*f - p for f.
-3
Let b be ((-42)/(-15) - 2)/(12/60). Suppose 0 = -4*u + 3*w, 20*u - 17*u + b*w = 0. Solve 0 = -8*a - u*a - 8 for a.
-1
Let b(u) = u**2 + 3*u - 12. Let h be b(-6). Let w(q) = q**2 + 9*q - 17. Suppose 1 = i + 12. Let f be w(i). Solve f*v + h - 1 = 0 for v.
-1
Let q(i) = -i**3 - 4*i**2 + i + 7. Let m = -91 - -108. Let w = 13 - m. Let h be q(w). Solve h*s + 8 = s for s.
-4
Suppose 0 = -a + 5*a - 12. Let z be (-4)/(-10)*((-182)/13 + 24). Let y be (4 + (-52)/8)*z/(-5). Solve a*o = y*o + 5 for o.
5
Suppose 2*u + l = 7, -u - l - 2 = -7. Suppose 4 = u*z - 4. Suppose r = -z*r. Solve -16 = 4*c - r*c for c.
-4
Let z = -258 + 260. Suppose -c + 5*k + 18 = z*k, -5*c + 5*k = -80. Solve 7*v = 2*v + c for v.
3
Suppose -5*h + 3 = -12, 4*u + h - 87 = 0. Let g be (54/u)/(3/14). Let x be 0/(-1 + -1) + 110/22. Solve x*d - 13 = g for d.
5
Suppose -3*z = j - 3 - 4, 3*j - z - 51 = 0. Solve -j*u + 12 = -10*u for u.
2
Let l be ((-3)/(36/(-8)))/(8/60). Let u(y) = y**3 + y**2 - y - 8. Let w be u(0). Let p be (-118)/w - (-1)/4. Solve 0*o = -l*o + p for o.
3
Let k = 17 - 17. Let v(h) = -h**2 - 40*h + 976. Let g be v(17). Let o be (2 - 7/2)*-4. Solve -g*t + o*t - 1 = k for t.
-1
Let m be (-1)/(1 + 0 + 0). Let k(n) = -n**3 + 49*n**2 - 48*n + 2. Let c be k(48). Let a be c - (0/(-2) - m). Solve 0 = 4*i - a + 5 for i.
-1
Let f = -51 + 52. Let l be 4/(-10)*-5*f. Suppose -l*u + 1 = -31. Solve -g = -5*g - u for g.
-4
Let i(f) = -7*f**2 + f + 4. Suppose -4 = -2*y - 2*p, y = -5*p + 3*p + 4. Let z be i(y). Solve -z*b + 2 - 2 = 0 for b.
0
Let k(s) = 2*s**3 + 2*s + 7. Let h be k(0). Suppose 42 = h*g - 0*g. Let p be 8*3/(-6)*-2. Solve -g*q = -2*q + p for q.
-2
Let g be 12/(-5) - (-20)/50. Let q(r) = -r**2 + 7*r - 5. Let h be q(6). Let k be h/2 - 9/g. Solve k*v + 0*v = 0 for v.
0
Let q(j) be the first derivative of 20*j**2 - 316*j + 194. Let c be q(8). Solve 3 = c*z + 23 for z.
-5
Suppose 4*d = 2*z - 4*z + 14, -5*d + 14 = 2*z. Suppose -436*t = -237*t - 95 - 502. Solve t*g - z = 2 for g.
3
Suppose -5*d + 3*s + 108 = 20, 5*s - 20 = 0. Solve -13*j + 21 = -d*j for j.
-3
Suppose -3*d = -d + 2. Let s = d - -5. Suppose -6*r + s = -5*r. Solve y = r*y for y.
0
Let n be (((-3150)/40)/(-15))/((-6)/(-16)). Suppose -63*r = -56*r - n. Solve -t = -r + 1 for t.
1
Let o(j) = 3*j**2 - 2*j - 2. Let d be o(4). Let y = 39 - d. Suppose -i - 3*i = -20. Solve 16 = i*l + y for l.
3
Suppose 0 = -3*r + 4*m + 14 + 49, -2*m = 6. Solve -r*d = -106 + 4 for d.
6
Let t(i) = -2*i**2 + 43*i - 76. Let o be t(17). Solve 0 = -17*a + o - 43 for a.
2
Let c(o) = -o**3 + 35*o**2 + 58*o - 2027. Let z be c(35). Let x = 28 + -20. Solve -z*m + 4 = -x for m.
4
Suppose 5*x - 5 = -n + 9*x, -n + x = -17. Solve -6*u = -51 + n for u.
5
Let m(j) = 6 - j**3 - 4 - 10*j**2 - 15*j + 23*j**2 - 25*j. Let y be m(8). Solve y*r + r = 0 for r.
0
Suppose -4*h - 5 + 1 = 0. Let d(i) = -26*i - 3. Let j be d(h). Let o = -18 - -22. Solve j = -o*s + 3 for s.
-5
Suppose -4*x = 2*v - 204, 0*v - 58 = -x + 3*v. Suppose -2*h = -4*f - 0*f - x, 4*h - 2*f = 134. Suppose 37*q = h*q + 3. Solve -a = 2 + q for a.
-5
Suppose -396 = -3*p - 8*p. Suppose 0 = 5*q + 6 - p. Solve 2 - q = -4*d for d.
1
Suppose 4*z - 30 = -5*j, -8*z = -3*j - 6*z - 4. Let p be j/8 - (-2)/(-8). Solve 6*n - 7*n + 2 = p for n.
2
Suppose 0 = 1180*f - 1181*f + 3*i + 9, 2*f = 4*i + 12. Solve f = -15*t + 6*t + 54 for t.
6
Suppose 42*y + 515 = 63*y + 82*y. Solve -y*z - 132 + 112 = 0 for z.
-4
Suppose -28 = -3*l - l + 5*p, 5*p = -2*l - 16. Let f be (l - (1 - -1)) + -2 - -5. Suppose -f*m - 2*m = -25. Solve -n - 4*n = -m for n.
1
Suppose 1680 = -5*w + 47*w. Solve 26*v + w = 16*v for v.
-4
Suppose -14 = -2*k - 2*r + 6, -20 = 4*r. Suppose -8*v = -11*v + b + 27, 5*b + k = 0. Solve 2*m = -v + 16 for m