-y*s for s.
1
Suppose 3 = 4*p - 13. Suppose 2*c + p*d = 20, -4*d + 0*d = -16. Let x be ((-1 - 1) + -3)/(100/(-120)). Solve -4*a + x = -c for a.
2
Let j(q) = 3*q + 55. Let s be j(-14). Suppose s*y - 71 = 20. Solve 8 = -5*f - y for f.
-3
Let i = 128 - 85. Let j(q) = 48*q + 389. Let s be j(-9). Let g = s + i. Solve c + c = g for c.
0
Let f(j) = -2*j**3 - 4*j**2 - 4*j - 3. Let l be f(-2). Let m = l - 5. Suppose m = -2*g + 6*g. Solve g = 2*n - n for n.
0
Suppose 0*w + 8 = -w + x, -2*w + 5*x - 22 = 0. Let c be w/8 - (-57)/(-12)*-5. Solve 4*d = -11 + c for d.
3
Suppose 2*k - 56*r + 52*r = 2, 0 = k + 3*r - 21. Solve -k*t - 4 + 4 = 0 for t.
0
Let z be -2*1*(1 - (-539)/(-14)). Let x = 92 - z. Solve -22 = -5*m - x for m.
1
Let r(c) = -c - 11. Let p = -54 + 43. Let h be r(p). Solve h = 5*s - 2*s - 12 for s.
4
Let i be 32/(-6) - (-6)/(-9). Let x be 4/i*-3 + 1. Solve x*w - 8*w = 0 for w.
0
Let b(k) = k**2 + 14*k + 3. Let g be b(-14). Suppose -g*f - 5*r = 6, 2*f + 3*r - 15 = 6*r. Solve d + 2 = f for d.
1
Suppose 71374*b - 71363*b - 598 - 370 = 0. Solve b = 925*f - 914*f for f.
8
Let m(a) be the first derivative of a**4/4 - 7*a**3/3 - a**2/2 + 9*a + 74. Let p be (-66)/(-10) - 10/(-25). Let q be m(p). Solve 0 = -0*g - q*g for g.
0
Suppose -380*p = -381*p - 912. Let d = 914 + p. Solve d*q + 3 = 7 for q.
2
Suppose 83 = 2*t - 5*u - 69, 0 = 3*t - 4*u - 242. Suppose -4*z = -2*z + 4*q + t, -4*z - 224 = -5*q. Let c = z + 56. Solve s - c*s = 0 for s.
0
Let n = -1931 - -1948. Solve 10 = -n*g + 22*g for g.
2
Suppose 0 = -5*c + 3*j - 53, 12*c = 7*c - 4*j - 46. Let m be 2*((-15)/c + 4). Solve -m*n - 25 = -6*n for n.
-5
Let g(i) = i**3 + 2*i**2 - 7*i - 9. Let l be g(-3). Let r = -67 - -45. Let o = r - -23. Solve -u = -o + l for u.
-2
Let i(u) = -u**3 + 4*u**2 + 2*u - 6. Let q be i(4). Suppose t - 7 = -3*o - 3, 2*o + 8 = q*t. Solve v - t + 3 = 0 for v.
1
Let m(f) = 3*f - f - 30 - f - 5*f. Let a be m(0). Let k = -30 - a. Solve -h + 0 + 4 = k for h.
4
Let v(q) = q**2 + 47*q - 2299. Let f be v(-77). Solve 14*m = -f*m + 50 for m.
2
Let r = 299 - 297. Suppose 5 = j + 3*c - 3, -r*j - 5*c + 14 = 0. Solve 2 = j*i + 12 for i.
-5
Let d = 4164 - 4164. Solve 8*f - 34 - 6 = d for f.
5
Let g = -1244 + 1251. Solve -g*r + 1825 - 1874 = 0 for r.
-7
Suppose 2*y - s - 36 = 0, -4*s - 14096 + 13979 = -5*y. Let d be (-2 - -3) + -2 + 1. Suppose x + d*x - 3 = 0. Solve 3*f = y - x for f.
2
Let j(n) = -n**3 + 8*n**2 + 96*n - 117. Let m be j(14). Solve m = 23*q + 5 for q.
2
Let l be ((10/(-12))/1)/(967/(-5802)). Solve -562*q = -561*q - l for q.
5
Let h be (-1 - (-875)/15)*(-3 - 0). Let c = h - -174. Solve -m - m = -c for m.
1
Let g(i) = i**2 + 18*i - 134. Let s be g(6). Solve 15*k - 13*k - s = 0 for k.
5
Suppose 4*h - 135 = 1. Solve 9*g + h + 11 = 0 for g.
-5
Let g = 12438 + -12354. Solve 19*n + g = 40*n for n.
4
Let j(x) = -2*x**3 - 11*x**2 - 4*x + 12. Let t be j(-7). Let c = -183 + t. Solve c*r = -0 + 12 for r.
3
Suppose -5*c = 3*z - 722, 301*c + z = 306*c - 726. Solve c*b = 139*b for b.
0
Let q(g) be the first derivative of -1/4*g**4 + 19 + 0*g**2 - 22/3*g**3 + 10*g. Let i be q(-22). Solve -r + 3*r = i for r.
5
Let n(r) = 2*r**2 - 11*r - 100. Let f be n(-6). Suppose 105 = -0*p - 3*p. Let s = f + p. Solve 4 = u + s*u for u.
1
Let p be 60/(-7)*(18/(-54) - 9). Solve 1091*l = 1101*l + p for l.
-8
Let b = -41 + 23. Let z be 9 - (b/(-6) - -2). Solve i = -z*i for i.
0
Let s be (1 - (-255)/10) + 1/2. Suppose 0 = -2*k + 4*c + 62, 0*k - 3*c + s = 2*k. Suppose -17*a = -k*a + 8. Solve -4*u = -6 + a for u.
1
Suppose 27*p = p + 156. Suppose 0 = p*t - t - 20. Solve 3 = -t*q + q for q.
-1
Suppose -2*b = -1 - 15. Let c be 0 - ((4 - b) + -2). Suppose -c*k - 3 + 15 = 0. Solve -2*x = -0 + k for x.
-1
Suppose -4*b + 72 = -4*h, -b + 3*b = -2*h - 52. Let j = h - -26. Suppose -z = w - 3, -j = -4*z - 0*z. Solve -w*c + 5 = -c for c.
5
Let r(n) = n**2 - 18*n - 208. Let t be r(-8). Solve t = -7*p - 53 + 53 for p.
0
Let q(k) = -k**3 - 3*k**2 - 4*k - 2. Let o be q(-2). Let s = 5812 - 5796. Suppose -2*c + 3*c = -o*b + s, -4*b = 0. Solve 6*y - 2*y = c for y.
4
Let h = 1469 + -1454. Solve -16*a = h*a - 186 for a.
6
Let r(y) = y + 22. Let a be r(-16). Let x be ((a - 2)/(-4))/((-1)/2). Solve x*g + 2*g - 20 = 0 for g.
5
Suppose 10*f = 2*t + 8*f - 4, 3*t = 2*f + 4. Suppose d + v - 17 = t, -23*v = -5*d - 24*v + 89. Solve -8 = d*m - 20*m for m.
4
Let p = 12674 - 12667. Solve -112 = p*i - 23*i for i.
7
Let m = 791 + -790. Solve -48*d - m = -47*d for d.
-1
Suppose -3*o - 4*d - 169 = 0, 51 = o - 2*o - 4*d. Let y = o + 63. Solve y + 11 = -3*a for a.
-5
Suppose 0 = -q - 4*u - 16, -2 + 18 = 3*q - 4*u. Suppose -4*n = q, -16 = -5*y + n - 6. Solve -j - 3 = -y for j.
-1
Suppose 47*v + 58 = 50*v - 4*p, -2*v = -3*p - 41. Solve -v*m = 38 + 32 for m.
-7
Suppose -275 + 411 = 8*r. Solve 7 = -r*g + 109 for g.
6
Suppose -5*t + 322 - 102 = 0. Suppose t = -4*j + 80. Solve -4*z = 3 + j for z.
-3
Suppose 0 = 185*d - 2006 - 769. Solve 11*q - d = 16*q for q.
-3
Let c = 15 + -9. Let l be 42/7 - (1 + 2). Suppose 3 = l*y + s - 2, -2*y + s = -10. Solve y*p + 0*p = -c for p.
-2
Let f(v) = 213*v**2 + 898*v + 899. Let o be f(-1). Solve o*a - 12 = 202*a for a.
1
Let f(k) = 3*k**2 + 7*k - 1. Let g(v) = 8*v**2 + 18*v - 2. Let r(n) = -12*f(n) + 5*g(n). Let a be r(-1). Solve 0 = -a*j - 3*j for j.
0
Suppose 0 = 5*c + 2*s - 6 - 0, 2*c = s + 6. Suppose 6579 = 137*z - 146*z. Let a = z + 736. Solve a*h + c = -8 for h.
-2
Suppose 19 = 3*b + 4*l, -2*l + 0*l - 40 = -4*b. Solve -n = -5 + b for n.
-4
Let p(i) = -23*i + 185. Let d be p(6). Suppose 46*f - d*f = -3. Solve 3*b - 12 = -f*b for b.
2
Let q = 463 + -461. Suppose -4*o + q*f + 4 = 0, 3*o - 3*f + 0 = 6. Solve o = m - 2 - 2 for m.
4
Let x(o) = -9*o - 4. Let t(b) = b + 1. Let r(f) = 5*t(f) + x(f). Let w be r(4). Let j = -8 - w. Solve -2*p = -j*p for p.
0
Let p = 113 + -104. Suppose -p = 30*w - 39. Solve 4*n - 11 = w for n.
3
Let g be 15/2*(0 + (-16)/(-24)). Suppose -5*f = -g*q + 4 - 9, 0 = q - 3*f + 9. Solve q = -z - 0*z for z.
-3
Suppose -10*v - 32*v = 7*v - 2891. Solve 15*j - 370 = -v*j for j.
5
Suppose -7*u - 257 = 107. Let x be 1/(u/(-12) - 4). Suppose -3*q + 12 = x*q. Solve 0 = -0*r + q*r - 10 for r.
5
Suppose -41*r - 23*r + 6*r = -13*r. Solve 3*w - 334 + 337 = r for w.
-1
Suppose 0 = -2*k - k + 18. Let a be (592/(-37) - -23)/((-3 - -3) + 1). Solve k = -5*h + a*h for h.
3
Let o = -11408 + 11424. Solve 49*y = 65*y - o for y.
1
Let x be (-2 + (-8)/(-7))/((-6)/(-126)). Let w = 21 - -2. Let y = w + x. Solve y*p = 4*p - 1 for p.
-1
Let v(n) = n**3 - 21*n**2 - 44*n + 492. Let w be v(22). Solve -1471*r + 1475*r = -w for r.
-2
Let b be (658/(-21))/((-12)/(-126)). Let l = b + 345. Solve -2*u - 6 + l = 0 for u.
5
Let g = 61219 - 61216. Let f(s) = 2*s. Let u be f(2). Let a be (-1 - (-2)/u)*-12. Solve -5*v = -g*v - a for v.
3
Let p = -2662 + 2678. Solve 0 = -9*x - p + 7 for x.
-1
Let j(o) = 9*o**2 + 3*o - 1. Let v be j(1). Solve v*y + 25 = -14*y for y.
-1
Suppose 0 = -19*z + 15*z + 8. Suppose 0*n = 5*n + 4*r + 4, 0 = 2*n + 2*r + z. Solve 2*a + 3*a - 10 = n for a.
2
Suppose 1334*g = 2*i + 1330*g - 104, 5*i - 269 = g. Suppose -192 = 4*r + 4*p, 2*p = -4 + 10. Let l = r + i. Solve l*u - 1 = -7 for u.
-2
Let j(m) = -m**2 - 3*m + 9. Let x be j(-4). Suppose 0 = n - 3*n - x*i - 7, 5*i = -15. Solve -5*k + 11 = -n for k.
3
Let u be 3 - ((-290)/18 + (-1)/9*-1). Solve 3*w = -u*w + 22 for w.
1
Let w(l) = -72*l - 984. Let k be w(-17). Solve 189 = 17*a + k for a.
-3
Suppose 0 = 121*w - 57*w - 68*w + 180. Solve 50 = -w*l + 35*l for l.
-5
Suppose -2*f - 22 = -4*n, 0*n + 4*f + 16 = n. Let m(b) = b**3 - b**2 - 5*b - 2. Let y be m(n). Let w = 1 - 0. Solve -w = -5*j - y for j.
-5
Let s(w) = -146 - 157 + 289 + 9*w. Let y be s(8). Let b = y + -49. Solve -3*j + b - 6 = 0 for j.
1
Let j be 542 - 36/(-30)*-5. Suppose -527*g + j*g = 126. Solve -11*u + g = -19 for u.
3
Suppose 0 = -5*w - 3*v - 0*v + 17, -3*w - 3*v + 9 = 0. Let z(h) = 2*h**3 - 1. Suppose 5*r + 0*r - 5 = 0. Let n be z(r). Solve -t + n = w for t.
-3
Suppose 23*v - 490 = 16*v + 3*o, -v + 2*o = -70. Solve -265 = v*u + 295 for u.
-8
Suppose 86 = 6*j + 14. Let c = j + -2. Solve 4*k = 2*k + c for k.
5
Let d be 4 + -7 - -4 - (3 - 0). Let k(p) = -p**3 - p**2 - p - 4. Let c be k(d). Let y be (2 + 2)/