Let o = -119 + 119. Solve -4*j - 20 = -o*j for j.
-5
Suppose -23*r + 25*r = 2*h + 20, 70 = 5*r + 5*h. Solve r*a - 7*a - 5 = 0 for a.
1
Suppose z + 5 = 3*a - 7, -5*a + 3*z + 24 = 0. Let c(p) = -p**3 + 3*p**2 + 3*p - 7. Let s be c(a). Solve 0 = -s*b + 1 - 5 for b.
-2
Suppose -5*t + 268*l = 270*l - 21, 5*l = 4*t + 3. Let d = 4 - 4. Solve d = k - t*k for k.
0
Let g(f) = -20*f + 22*f - 19*f. Let i be g(3). Let z be 3/4 - i/12. Solve 3 + 2 = z*x for x.
1
Let j be (9/(-5))/(21/(-70)). Suppose 2*p - 20 = 2*l, -4*l + 2 - j = -p. Solve -5*z - p = -z for z.
-3
Suppose 0 = -5*q - 5, -2*p + 0*q = 4*q. Suppose -p*f = 3*f. Let i = 0 + 0. Solve -2*h + f*h + 2 = i for h.
1
Let i = -103 - -108. Solve -i*w + 10*w = -5 for w.
-1
Let n be -2 - (-11)/(-3)*-3. Let f = 13 - n. Suppose -g = -0*g - 20. Solve u = -f*u + g for u.
4
Let f = 269 - 266. Solve 10*c - f = 7*c for c.
1
Let d be 72/40*(1 - 34/(-6)). Solve 3*h - d = -h for h.
3
Let l = 15 + -24. Let r be (l + 7)*(-2)/2. Let b be r - 6/(2 - 5). Solve -u = -b*u for u.
0
Suppose 0 - 4 = v + 2*q, -5 = -v + q. Solve -7*a - 6*a = -v*a for a.
0
Let x be (-1 - -13)/(-3 + (-49)/(-14)). Solve -2*o = -8*o - x for o.
-4
Let w = -78 - -85. Solve 2 = -v + w for v.
5
Let g = -291 - -291. Solve g = 3*i + 7*i for i.
0
Suppose -3*d = 4*y + 10 - 42, 5*d = 5*y - 40. Solve 0 = -y*h - 8 for h.
-1
Let z(d) = -d + 21. Let m be z(20). Let f be (6 + m)*(10/(-14) - -1). Solve -f + 6 = -2*o for o.
-2
Suppose -43*c = -59*c. Suppose -3*o = -0*o - 6. Suppose 3*z - 55 = -5*j + o*z, -15 = -2*j + z. Solve c = 3*y - 1 + j for y.
-3
Suppose 0 = -8*c + 3*c + 125. Let s = 25 - c. Solve m = -s*m for m.
0
Let x = 0 - -2. Suppose -x*z = -h + 7, -3*h + 4*z + 9 = -2*h. Solve 0*w = w + h for w.
-5
Let l = 35 + -17. Let r be 4/10 + (-288)/(-80). Suppose r*x = l - 6. Solve -2*m = -5*m + x for m.
1
Let l(d) = -d**3 + 3 - 4*d - 2 + 5*d**2 - 3 - 1. Let h be l(3). Let t = -4 + 12. Solve 0 = t*b - h*b + 15 for b.
-3
Let d = -42 + 67. Suppose 0 = -a - 3*a + 5*n - d, -5*a = 5*n - 25. Solve a = 4*l - 2*l - 4 for l.
2
Let j be 103/21 + 8*(-2)/(-168). Solve 2 = j*t - 18 for t.
4
Let a be -2*-1*(-1 - -2). Let d be 3 - (-1)/(-2)*a. Solve d*r + 9 = -r for r.
-3
Suppose -3*f + 12 = 0, -2*b + 5*f + 105 = 7. Solve -b*j = -67*j for j.
0
Suppose 3*j - 4 = 2. Suppose -4*q = -21 + 5. Let x = -1 + q. Solve -x*t = j*t - 5 for t.
1
Suppose -g + 8 = t, 28*t - 13 = 23*t + 4*g. Solve -t*x = -0*x for x.
0
Let o(t) = -t**2 - 2*t + 6. Suppose 4*d - a + 17 = 0, 0 = -3*d - 3*a + 2 + 4. Let f be o(d). Solve f*n = n for n.
0
Let m(p) be the first derivative of p**4/4 + 2*p**3/3 - 3*p**2 - 5*p - 37. Let j be m(-2). Solve z + 2 = j for z.
5
Let b be (-2394)/(-98) + (-4)/(-7). Let g = -23 + b. Solve -7 - 3 = g*u for u.
-5
Let p be (1*(-12)/5)/(200/(-500)). Solve 0 = -o + p - 7 for o.
-1
Let o be ((-8)/(-1)*-5)/(-2). Solve 4 = o*p - 18*p for p.
2
Suppose b + 0*b - 5 = 2*h, -10 = -2*b - 2*h. Solve b - 14 = -3*l for l.
3
Let m(k) = 90*k**2 + 1 - k**3 - 89*k**2 + 2 + 6*k. Let o be m(3). Solve 8 = -5*a + o for a.
-1
Let l be -3 + (2/5)/(1/(-5)). Let c = 18 + l. Solve -4*s = c - 1 for s.
-3
Let o(v) = -v**2 + 17*v + 15. Let r(s) = -s**2 + 17*s + 16. Let c(n) = -3*o(n) + 2*r(n). Let g be c(18). Let f = 57 + -32. Solve -4*b + f = g for b.
5
Let r = -37 - -41. Let c be 0 + (1*-4)/(-2). Solve -c*t + r = -6*t for t.
-1
Let q be (8/12)/(2 + (-16)/9). Suppose -4*l - 5*y + 79 = 0, q*l - y = -4*y + 57. Solve 0*u = 4*u - l for u.
4
Let b be 86/7 - 14/49. Let f = 12 - b. Suppose -17*d + 22*d - 20 = f. Solve d = 2*q - q for q.
4
Let b(y) = 18 + 6*y + 5*y**2 - 3*y + 5*y - 20. Let k be b(-2). Solve -u - 1 = -k*u for u.
1
Suppose -4*j - 3*h = -6 + 2, 4*j - 5*h = 36. Suppose 5*a - j*a = 0. Solve 0 = -2*c - a - 8 for c.
-4
Let n(z) = 3*z - 6. Let x be n(5). Suppose 4 = -r + x. Suppose 5*m - 25 = -3*s, 0*m - r*m = 2*s - 25. Solve m = -0*g - g for g.
-5
Let y = 105 + -103. Let c be y/14 + (-1)/7. Solve -2*s - 4 - 2 = c for s.
-3
Let n(g) = g + 15. Let f(b) = 2*b**2 - 12*b - 24. Let z be f(7). Let h be n(z). Solve h*c - 13 = 7 for c.
4
Suppose o + 2*t = 2*o + 9, -o - 21 = -5*t. Let p be 24 + (-1)/(0 + o). Let u(q) = -q**3 + 6*q**2 - 9*q + 116. Let f be u(7). Solve j = -f*j + p for j.
5
Suppose 5*c - h - 495 = 0, -410 = -5*c + c - 2*h. Suppose 0 = -4*f - 4*m + c, -3*f + 2*m + 28 = -27. Solve 4 = -5*y - f for y.
-5
Let b(g) = g**2 + 14*g + 9. Let t be b(-15). Let a = -8 + t. Suppose 7*n - 3*n = a. Solve o + 0*o - n = 0 for o.
4
Suppose 42 = 4*j - j + 5*s, 0 = 3*j + 4*s - 39. Solve j*p + 20 = 13*p for p.
5
Suppose -7 - 18 = 5*i. Let n = i + 7. Solve n*h = 3*h for h.
0
Suppose 523*r = 514*r + 27. Solve -r = 13*g - 42 for g.
3
Suppose -5*r - 2*n + 39 = 0, 4*n - 25 = -3*r + 2*n. Solve r*s - 20 = 2*s for s.
4
Suppose -189 = 4*a - 13*a. Let v = -1 + 9. Suppose a = v*k - k. Solve k*c - c = 0 for c.
0
Let g be (15*2/6)/1 + -1. Solve -g*c + 10 = c for c.
2
Let n(j) = -j**2 - 10*j - 2. Let m be n(-9). Let f = m + -5. Suppose -5*y - 45 = -f*w - 5, 0 = 5*y. Solve -6*p = -p + w for p.
-4
Let p(w) = -15*w - 132. Let o be p(-9). Solve -o*k - 2*k + 10 = 0 for k.
2
Suppose 8*c - 3*c - 5*m = 45, 0 = -c + 4*m + 24. Let z = c + -2. Suppose 4*s - 10 = -z. Solve -s*u + 5 = -3 for u.
4
Suppose 8*n + 176 = 792. Let t = -71 + n. Solve m + m = t for m.
3
Let q be (-6)/27 + (-47)/(-9). Let j be 102/(-85)*q/(-3). Let d be 8/(-2) - (j + -6). Solve d = c + 4*c + 15 for c.
-3
Suppose -x - 36 = x. Let m = 21 + x. Let d = 6 - m. Solve d*w = w + 10 for w.
5
Let v = -608 - -608. Let d(m) = m**3 - 11*m**2 - 13*m + 16. Let a be d(12). Solve -a*i - i - 5 = v for i.
-1
Let s be 11/((-22)/(-20)) + -4. Suppose 5*r = z + 1 - s, 2*z = -3*r + 10. Solve z*a + 28 - 8 = 0 for a.
-4
Let w be 9/(-12)*((-960)/18)/10. Let d(t) = t**3 + 3*t**2 - 7*t - 8. Let h be d(-4). Solve 12 - h = -w*i for i.
-2
Let h(j) = -j**3 - 9*j**2 - 8*j + 2. Suppose -2*b + 2*v - 19 = -1, -2*b - 23 = 3*v. Let t be 0 + -3 + b + 5. Let x be h(t). Solve 0 = x*f - f for f.
0
Let g(b) = 3*b**2 - 4*b - 6. Let x be g(3). Suppose 6 = -3*c + x. Solve -c - 1 = d for d.
-2
Let d = 134 - -46. Let r be 9/(d/(-8))*(0 + -10). Solve r*l - 1 + 17 = 0 for l.
-4
Suppose 148*n = 158*n - 80. Solve n*j = -32 - 8 for j.
-5
Suppose -25*h = -29*h. Solve -6*u - 2*u = h for u.
0
Let h = -37 - -40. Solve 3*n + h*n - 24 = 0 for n.
4
Suppose 44 = x + 5*t, 7 + 3 = 2*t. Suppose -10*v + 1 = -x. Solve 0 = -r - r - v for r.
-1
Let c be ((-45)/4)/(640/(-3072)). Solve -57*t + c*t - 9 = 0 for t.
-3
Let x = -85 + 87. Suppose -5*q - 6*z + 25 = -z, 5*z - 16 = -x*q. Solve q*y = -20 + 5 for y.
-5
Suppose y - 48 = 4*y. Let o be (y/3)/(2/(-12)). Let b be (-2)/(-5) + o/20. Solve -6*s + 4*s = -b for s.
1
Suppose 18*w + 761 = 1877. Solve w*b + 10 = 52*b for b.
-1
Let q = 163 + -149. Suppose 40 = -4*b - 5*a, -2*b + 3 = a + 23. Let g = b + q. Solve 0*w - g = 4*w for w.
-1
Let j = 53 - 39. Let v(t) = t - 14*t**2 - 12 + 2*t**3 - t**3 + 0*t. Let d be v(j). Solve -5 = d*l + 3 for l.
-4
Let w = 13 - 11. Suppose w*c + c - 3 = 0. Suppose g + c = 4. Solve i = g*i for i.
0
Let w be (-6)/9 - -2*(-28)/(-12). Solve -w = 2*p - 0 for p.
-2
Let n(b) = b**3 + 20*b**2 - 16*b + 125. Let s be n(-21). Solve -15 = 23*c - s*c for c.
-5
Let n(x) = x - 13. Let k be n(7). Let r be ((-2)/(-8)*6)/(k/(-8)). Solve r + 8 = -5*u for u.
-2
Suppose -17*r = -25*r. Solve 5*f + 10 + 0 = r for f.
-2
Let o be 16*(-3)/(-6)*(-3)/(-6). Solve 5*a = -o*a + 45 for a.
5
Let b be 1/((-21)/5 - -4). Let w be (0/b)/(0 - 0 - -3). Solve w = 3*a - 11 + 2 for a.
3
Let j(h) = -h**2 - 14*h + 18. Let r be j(-15). Suppose 0 = -5*t - 0*t + 5*v + 20, -2*t = r*v + 12. Solve -a - 4 = -t*a for a.
-4
Suppose l = -7 - 13. Let g = -8 - l. Let x = 2 - -1. Solve g = -0*u - x*u for u.
-4
Let r be (-3)/((3/(-20))/1). Suppose 4*c - r = 0, 2*n - 1 - 19 = 2*c. Solve -3*k - n = -6*k for k.
5
Let o(y) = -y**3 - y**2 - y - 9. Let t be o(0). Let b = t + 12. Solve 2 - 14 = b*m for m.
-4
Let c = 352 - 292. Solve -c + 42 = 6*i for i.
-3
Suppose n + 65 = -3*u + 7*u, 5*u - 4*n = 84. Solve 1 = -17*r + u*r for r.
-1
Let q(h) = -h**3 + 6*h**2 + 2*h - 6. Let u be q(6). Suppose 0 = -2*o + l + 7, 0 = 3*l + 5 + 4. Solve 4 = -o*d - u for d.
-5
Let k = 1 - 0. Suppose 30 = 2*f + 6. Suppose -2*m = 4*u - f, -4*u + 4 + 8 = 3*m. So