c - 25 = -t*c for c.
5
Let k be 2/(-4) + -5*(-126)/140. Solve -2*t - t = -k*t for t.
0
Let f be -2 + 5 + (-3)/((-6)/2). Solve 20*g = 24*g - f for g.
1
Suppose -2*h + 6 + 2 = 0. Suppose 10 = -3*b - o + 64, 0 = -2*b - 3*o + 36. Solve -h*k + 2 = -b for k.
5
Suppose 8*m - 35 = 5. Suppose x = m*x. Solve 0*q + 3*q + 9 = x for q.
-3
Let j(l) = -l**2 + 8*l + 10. Suppose -2*a - 34 = -4*h, 0 = 4*h + 3*a - 7*a - 32. Let d be j(h). Let c be d - (-2 + (-2 - -4)). Solve 4*n - c = 3 for n.
1
Let h be (9/(-6))/(3/(-6)) - -130. Let s be (-2)/(-8) - h/(-28). Solve -5*y + 0 + s = 0 for y.
1
Let j = 59 - 58. Suppose 3*q - j = 2. Solve -5*o + 4 = -q for o.
1
Suppose -2*f - 1 = 2*v - 5, -14 = -5*f - 4*v. Solve -9*w + f + 30 = 0 for w.
4
Suppose 0*n + 5*n + 230 = 0. Let y be 2/6 + n/(-6). Suppose 4*s - 2*s = y. Solve b - s = -b for b.
2
Let j be (-4)/(-3 + 5*(-3)/(-9)). Let k(s) = -s**2 + 7*s. Let l be 56/7 - (-2)/(-2). Let d be k(l). Solve w + d*w = -j for w.
-3
Suppose 6*b - 4*r = b + 4, -4*r = -b + 4. Let o be 4/(-3)*(-6 - b). Solve 0*a - o = -2*a for a.
4
Suppose 0 = 2*a - 2*s - 2, 5*s + 7 = 4*a - 2. Let o be (-1 - -11)*a/(-10). Solve 0*f + o = f for f.
4
Let u = 326 - 321. Solve 3 = u*f - 7 for f.
2
Suppose 33*o - 788 = 29*o. Suppose o*j = 202*j. Solve -d - 1 - 4 = j for d.
-5
Suppose -6 = -2*j + 8*j. Let z(w) = -7*w - 7. Let m be z(j). Solve m = -b - b for b.
0
Suppose 0 = -557*r + 568*r - 132. Solve 19*w = r*w - 7 for w.
-1
Suppose -11*k + 15*k - 8 = 0. Solve -11 = -3*z - k for z.
3
Let x = -3 + 46. Let o = x - 13. Suppose -z - 4*z = -o. Solve -z*c + 5*c = -3 for c.
3
Suppose -2 = 2*b - f, 3*b + 1 = f - 3. Suppose 5*h = k + 15, 3 - 12 = -k - 3*h. Let d be k*1/b*-1. Solve -c - c - 8 = d for c.
-4
Let h(f) = 8*f + 32. Let k be h(-3). Solve 13*o = k*o for o.
0
Suppose -3*u + 0*i - 19 = i, -2*u = 4*i - 4. Let l = -12 - u. Let w = l + 6. Solve w = 2*z - 0 for z.
1
Let k = 375 + -375. Solve 7*u + 7 = -k for u.
-1
Let j be 8/(8/13) + -6. Solve 8*a - j*a + 3 = 0 for a.
-3
Suppose 3*s + 2*s = -3*a + 65, 0 = 5*s + 5*a - 75. Let r be (8 + 4)/3 - 0. Suppose 7*i - 9 = r*i. Solve -i*k + s = -k for k.
5
Let u be (3*(-2)/6)/(18/(-18)). Let v(j) = 4*j - 3. Let r be v(2). Let o = 2 - -17. Solve r*g - u = o for g.
4
Let s be (4 - 7) + (15 - 1). Suppose -s = 5*l - 126. Let q = -23 + l. Solve q = -4*h + 17 - 5 for h.
3
Suppose -4*u + 638 = -5*m, -4*m = 4*u - 267 - 353. Solve -4 = -159*t + u*t for t.
2
Let j be -1*4/(-4) + -20. Let c = j - -29. Let n = -7 + c. Solve -4*m + n = -m for m.
1
Let p(f) = f**2 - 2*f + 3. Let m = -61 - -64. Let y be p(m). Solve y*h + 6 = 3*h for h.
-2
Let k(r) = 23*r + 1. Let u be k(1). Let z = -16 + u. Suppose -j + z = j. Solve -j*b = -9*b for b.
0
Suppose 20*a = 26*a. Solve 5*q = -a*q - 20 for q.
-4
Let v be (-2)/(3*4/(-12)). Let d be (-1 - -8)*(50/35)/5. Solve 20 = -v*b - d*b for b.
-5
Let u be (-3 + 5)*(-3)/3. Let z be (u/4*-4)/((-1)/(-5)). Solve b = 6*b + z for b.
-2
Suppose -2*c + 17 = -3*n, -c - 4*c = -4*n - 53. Solve -c*t - 1 = -12*t for t.
-1
Let h be -2 - ((-19)/8 - 3/(-8)). Solve 14 = -h*i + 7*i for i.
2
Let p(b) be the second derivative of -b**3/6 + 6*b**2 + 22*b. Let h be p(10). Solve -z + 3*z = h for z.
1
Let l(m) = -m**2 - 8*m - 4. Let o be l(-3). Suppose 0 = -5*s - 3*k + o, -s - 5*k = -5*s + 31. Solve 2 - s = f for f.
-2
Let r be (-4 - -3) + 334/(-2). Let z be (-1)/(-5) - r/60. Solve -8 = 5*w - z for w.
-1
Suppose -j - 2*j + 4*t + 41 = 0, -32 = -j + 5*t. Let k(v) = -v + 7. Let l be k(j). Solve l = 2*c - 2 - 6 for c.
4
Suppose b - 3 + 1 = 0. Suppose -2*q = -2*u + 3*u - 6, 5*q - 14 = -b*u. Solve u*r = -r + 15 for r.
5
Let p = -2946 - -2971. Solve -24 = -13*d + p*d for d.
-2
Suppose -5*i - 80 = -5*d, d - 4*i = -0*i + 28. Solve -3*b = d*b for b.
0
Suppose 2*h - 17 = -v, -3*h - 2*v + 28 - 4 = 0. Solve -6*u = -4*u - h for u.
5
Let m = 168 + -168. Solve 0*q + 10*q = m for q.
0
Suppose 21*n + s = 17*n + 49, -4*n = 2*s - 50. Solve 14*b - n - 16 = 0 for b.
2
Suppose 4*a - 18 = -0*l - l, -l + 13 = 3*a. Solve 4 = -9*p - a for p.
-1
Let k be 100/16 - 6 - (-69)/12. Let m(o) = o**3 + 5*o**2 - 5*o - 3. Let v be m(-5). Suppose 4*w - v = -4*i + k, 5*i = -3*w + 27. Solve 0 = w*q - 4 for q.
1
Suppose q = -3*q + 8. Let m be 2/(-90)*-141 + (-6)/45. Let f be 1*5*3/15. Solve -q*a + f = -m for a.
2
Let w(k) = k**3 - 9*k**2 + 29*k - 9. Let o be w(5). Solve 13*p = 4*p - o for p.
-4
Suppose -35*c + 29*c + 12 = 0. Solve c = 5*h - 3 for h.
1
Suppose -2*c - 4*c + 24 = 0. Suppose 2 = -y - c*h, 2*h = -3*h - 5. Let b be 6/y - (15 + -17). Solve z - b = -0*z for z.
5
Let q be (3 + -4)*1*3/1. Let v be (-1)/(-3) - 2/q. Solve -8 = -3*c + v for c.
3
Let a be (-5 + (-5 - -10))/(1 - -2). Solve -6*h + 3 + 3 = a for h.
1
Let v be (1 + 1)*(-120)/(-16). Suppose -4*l - 2*k + v = -l, 3*k = -l + 12. Solve 0 = l*j - j - 10 for j.
5
Let p(u) = 31 + 3*u - 3*u - u - 3. Let o be p(9). Solve -o = -5*b + 6 for b.
5
Let w be ((-156)/(-60) + -3)*(-2)/(4/15). Suppose 41 = -3*i - 16. Let o = i + 35. Solve 0 = y + w*y - o for y.
4
Suppose -2*f + v + 1 = -2*v, -2*f - 5 = -5*v. Suppose -23 = f*g + 2. Let q(b) = b + 5. Let t be q(g). Solve t*w + 6 = 3*w for w.
2
Let d = -2596 - -2600. Solve 0 = -d*i - 3*i + 21 for i.
3
Suppose 11 = 2*l - 5*h + 2, l - 4*h - 6 = 0. Let w be -2 + 1/l*(-12 + 16). Solve w*j + 5*j = 15 for j.
3
Suppose -7 = -5*t - 3*b, 0*b + 2 = -t - 4*b. Solve 0 = t*h - 6 for h.
3
Let r = 199 - 197. Let a be 3/(-6) + 2/4. Solve r*n + a*n = 0 for n.
0
Let t be 0 - -2 - (-812)/(-14). Let w = -52 - t. Solve -w = b + b for b.
-2
Suppose 87*j - 91*j + 12 = 0. Solve 0 = 5*k + j + 2 for k.
-1
Suppose 0 = g + 1, y - 5*g = -3*y + 45. Suppose 16 = 3*h + 2*v - 7*v, -2*v = -3*h + y. Solve -3*m = h*m + 20 for m.
-4
Suppose -u + 13 = 6*y - 10*y, 4*u + 2*y = 88. Solve -q - 26 = -u for q.
-5
Suppose -5*l + 546 = l. Let w = 91 - l. Solve 0 = -3*v - 12 - w for v.
-4
Let c = 13 + -8. Suppose -2*h = f - 8, -4*f = -h - c*f + 5. Solve -h + 1 = -u for u.
2
Let s = -11 + 15. Suppose 0 = 4*k - w - 3, 1 = w + s. Solve k*i + 2*i = -2 for i.
-1
Let c(n) = 3*n**2 + 33*n + 87. Let o be c(-4). Solve -o*w - 15*w - 18 = 0 for w.
-1
Let y(u) = -2*u**2 + 5*u - 5. Let d be y(4). Let w = d + 19. Solve 3*r - 14 + w = 0 for r.
4
Let m = 176 + -169. Solve 12*x - m = 5*x for x.
1
Suppose 3*m - 132 = 15. Suppose -m + 12 = -3*s - z, 0 = 2*s + 3*z - 27. Solve -2*w = w - s for w.
4
Let b be 1 + (-3)/(5/50*-6). Solve 0 = 6*r + b for r.
-1
Let c = 1 - -2. Suppose -2*x + 4*v = 8, -4*v - c - 1 = -x. Let h be (-20)/8*x/10. Solve g = -h*g + 12 for g.
3
Suppose -27*b = -25*b - 3*i - 61, -4*i = 5*b - 141. Solve 0 = 2*a + 35 - b for a.
-3
Suppose -5*v = 5*n - 40, 3*n - 7 = 5*v + 1. Solve -6*i - n = -4*i for i.
-3
Let o = 37 - 22. Let h = -15 + o. Let y be (h*(3 + -4))/2. Solve y = -p - 0*p + 4 for p.
4
Suppose 17*r - 84 = 3*r. Let k = -25 - -56. Suppose -h + k = r. Solve 0 = 8*w - 3*w - h for w.
5
Let m(p) = -p**2 + 7*p - 6. Let f be m(5). Let d be (-2 - 1) + 14/2. Suppose 2*k - d = 20. Solve 0 = -f*h + k + 8 for h.
5
Let p(n) = n + 4. Suppose 4*u + 12 - 4 = 0. Let k be p(u). Let x be (0/4 - 2) + k. Solve x*f = -4*f - 20 for f.
-5
Let l be 10/45*18/4. Suppose w + 2*w - 9 = 0. Let k = w + l. Solve 5*r + k = -1 for r.
-1
Let s be 7 + 141/(-21) + (-19)/(-7). Solve -2*q = -s*q for q.
0
Let h be (-4)/(-14) + 136/14. Suppose 0*n - 30 = -2*n. Let o be 6/4*(-2170)/(-651). Solve h + n = -o*b for b.
-5
Let v be 75/30*(3 - (-45)/(-25)). Suppose 2*s + i + 16 = 5*i, -3*i + 12 = -4*s. Solve s = -c + v*c for c.
0
Let m(j) be the third derivative of j**5/60 - j**4/3 + j**3/2 - 9*j**2. Let y be m(7). Let a be (-6)/(-18) + y/(-6). Solve d + 0*d = -a for d.
-1
Let h be (-3)/(-5) - (-4 - (-17)/(-5)). Solve -q = -h*q + 21 for q.
3
Suppose -12*k - 256 = 524. Let l = 65 + k. Suppose 0*a + 8 = 2*a. Solve -a = -n - l for n.
4
Let m(r) = -5*r + 11. Let k be m(3). Let q(s) = s**2 + 2*s - 3. Let d be q(k). Solve 7 + 8 = d*i for i.
3
Let i(a) = 2*a**3 + 7*a**2 - 6*a. Let j be i(1). Let q be (-2 - -7 - 0) + -1. Solve -w + j*w = -q for w.
-2
Let r(l) = -5*l + 16*l - 2*l - 1 - 6*l. Let w be -4 + 2 - (-1 - 2). Let d be r(w). Solve d*s - 1 = 3 for s.
2
Suppose 5*n + 3*y = 70 - 29, -n + 3*y = -19. Solve -4*a = -14*a - n for a.
-1
Suppose -3*t + 9 + 12 = -3*u, -u = -1. Let