 = -5*y, -x*y = 2*n. Solve o + 1 + 0 = y for o.
-1
Let f = -16 + 20. Let p be (-20)/16 + 1/f. Let r(m) = -3*m + 3. Let s be r(p). Solve -5*v - 1 = -s for v.
1
Let n = 385 - 377. Solve 39*m = 35*m - n for m.
-2
Let b(d) = d**3 - 28*d**2 + d - 13. Let i be b(28). Solve 21*j - 12 = i*j for j.
2
Let q(c) = c**3 + 3*c**2 - 2*c - 1. Let j = -18 - -12. Let t be (j/(-10))/((-3)/15). Let b be q(t). Solve -b = -5*v + 15 for v.
4
Let l(f) = f**2 - 6*f + 7. Suppose -2*h = -3*h + 5. Let z be l(h). Suppose -3 = z*w - 7. Solve j = -w*j for j.
0
Let w = -78 - -83. Solve o + w*o - 24 = 0 for o.
4
Suppose 12 = -2*t + 6*t. Let c be (-11)/(-5) - 71/355. Solve c - t = p for p.
-1
Let v be (9 + (-13 - -4))/(2/(-2)). Let b(f) = 2*f**2 - 2*f. Let j be b(2). Solve v = r + j*r + 5 for r.
-1
Suppose 0 = -2*s + 4*s - 8. Let z(u) = -u**3 - 10*u**2 - 11*u - 14. Let w be z(-9). Suppose -8 = -w*n, -n - 13 - 17 = -s*m. Solve -v = 3*v - m for v.
2
Suppose -3*d + 2 = -4*b - b, -3*b + 2 = -d. Let s be (-43)/(-3) - 3 - 5/15. Suppose 0*f + 9*f = s*f. Solve -d*o + f*o = 0 for o.
0
Let z(n) = -n**3 - 21*n**2 - 38*n + 12. Let y be z(-19). Solve -4*a = -a - y for a.
4
Let o(m) = -m**3 - 7*m**2 + 8*m. Let g be o(-7). Let u = 58 + g. Solve u*t + 1 = -3 for t.
-2
Let h = -305 + 305. Solve h = 6*u + 11 - 5 for u.
-1
Let z(u) = -2*u + 18. Let o be z(8). Let n be (o - 1)/((-8)/(-48)). Suppose -n*t + 4 = -32. Solve -16 + t = 5*x for x.
-2
Let j be ((-76)/(-133))/(10/28)*5. Solve -5*x + 12 = -j for x.
4
Let x(t) = -6*t - 61. Let l be x(-11). Solve -75*o - l = -70*o for o.
-1
Let q = 26 + -28. Let k be 1*q*20/(-8) - 4. Solve 4*n + k = -3 for n.
-1
Suppose -4*z - 982 + 998 = 0. Solve z*k = 2*k - k for k.
0
Let t(d) = d**2 + 18*d - 76. Let n be t(-22). Solve n = v + 14 for v.
-2
Let g(t) = t**3 + 9*t**2 - 9*t + 10. Let a be g(-10). Suppose -8*y = -0 - a. Let b(m) = m**2 - m. Let l be b(2). Solve -l*p - 2*p - 20 = y for p.
-5
Let i(f) = 3*f. Let z be i(8). Let b = z + -22. Solve -b*d = 3*d - 25 for d.
5
Let m be -2 - (-3)/6*8. Let h be (-3 + m)*-1 + (-12)/(-2). Solve -h + 3 = f for f.
-4
Suppose 0 = 1255*z - 1248*z. Let y(h) = -h - 1. Let l be y(-3). Let k = 4 - l. Solve z = a - 2*a + k for a.
2
Let u be (1 - 9)/(5 + -13). Suppose -4*a + 8*a = 8. Suppose k = u + a. Solve -3 = -3*g + k for g.
2
Suppose 0*v = -3*g - 3*v + 21, -v = -1. Let n be g/(-9)*15/20*-26. Solve -n + 4 = -3*r for r.
3
Let a be 7/4 + (-5)/(-20). Suppose 19 + 11 = a*i - 4*x, 15 = i - 4*x. Suppose 0 = -3*y - l + 4, 4*l + 1 = 4*y - i. Solve 0*g + y*g - 6 = 0 for g.
3
Let z be (-270)/(-36)*(1 + 1). Suppose -4*q + 30 = 5*v, -q - 5*v + z = -0*q. Let o(h) = h + 7. Let c be o(-6). Solve -2*l + c = -q for l.
3
Suppose 0 = -4*h + h + 5*p + 10, -p = -h + 4. Solve 20 = -h*f + 10*f for f.
4
Let w(m) = -6*m - 166. Let f be w(-29). Solve 3*j = 5 - f for j.
-1
Let o be 2/(8/4) - -1. Suppose -o = -r + 2. Let j = r + -2. Solve 0 = -3*q + j + 10 for q.
4
Let r(k) = -k**2 - 19*k - 37. Let x be r(-16). Solve -2*v + 3 = x for v.
-4
Suppose -5*j + 16 = 2*l, -3*l + 5*l = 5*j - 4. Suppose 5*f + l = 3*d + 13, -f + 2 = -4*d. Solve d = 3*u + u for u.
0
Let n = 30 - 45. Let k be (-5)/n + (-35)/(-3). Solve 2 - k = -2*o for o.
5
Let q be (-5)/25 - (-21)/5. Suppose -9*x + 142 = 115. Solve -q*i - x = -23 for i.
5
Let y(n) = n**3 - 4*n**2 - n + 4. Let c be y(4). Let v(s) = -41 + s + 41 + 5*s**2 + c*s**2. Let b be v(1). Solve 2*k + b = 4*k for k.
3
Let b be 2/(12/(-42)) - -42. Solve b*k - 38*k - 6 = 0 for k.
-2
Suppose -8*o + 9*o = 0. Suppose o = 5*w + 4*l + 5, -l - 3*l - 4 = 4*w. Let a be w*3/2*-2. Solve 0 - a = 3*x for x.
-1
Let r be (-13 - -1)/(6/(-4)). Let u be (-12)/r*(1 + -3). Suppose -u*b + b - 10 = -5*g, -3*g + 25 = -5*b. Solve 3*l + 3 = -g for l.
-1
Let y = 197 - 161. Solve -x + y = 8*x for x.
4
Suppose -4*j = -7 - 9. Let c be j + -4*2 + 9. Suppose 0 = c*a - 15 + 5. Solve 0 = a*v + 3 + 3 for v.
-3
Suppose -5*a + 8 = -2*y, 5*a - y - 13 = -4. Solve -2 = a*o - 0 for o.
-1
Let n be (-10)/(-3)*18/15. Suppose -2*k = 4*j - 34, -5*j + 15 = -n*k + 70. Solve 0 = w + 4*w + k for w.
-3
Suppose 5*i - 5 = -3*y - 4, 2*i + 5*y = -11. Suppose z - 3*r = -8, i*r = -4*z - z + 28. Solve -z*a - a = 0 for a.
0
Let x(h) be the first derivative of h**3/3 - h**2 - 3*h + 1. Let d be x(3). Let l be ((-192)/(-624))/(5/65). Solve 6*y - l*y = d for y.
0
Suppose -6*p = -p - 5*v, p - 24 = -5*v. Let o be 3/9*(10 - 1). Solve -p*y = -o*y for y.
0
Suppose -5*t = 5*n - 35, 0*t - 16 = -4*t. Let b = n + 0. Solve 0 = -3*p - b - 0 for p.
-1
Let k(w) = w**2 + 12*w + 2. Let q(f) = -f**3 + 15*f**2 + 15*f + 4. Let y be q(16). Let r be k(y). Solve -r*a = 3*a for a.
0
Suppose -4*s = -2*k + 36, -15 - 81 = -5*k + 4*s. Suppose -5*r - 5*b + 8*b = -30, 0 = -4*b - k. Solve -r*c - c = 16 for c.
-4
Suppose -5*b - t - 43 = -3*t, 2*t = -4*b - 38. Let x be (-8)/(-6) - 24/b. Solve -4*w - x = -0 for w.
-1
Let f(m) = 3*m**2 - 12*m + 13. Let s be f(1). Let g = -35 - -49. Solve s*d + 2 = -g for d.
-4
Let i be ((-5)/3)/((250/12)/(-25)). Solve -5*f + 27 = i for f.
5
Let i = -71 + 34. Let g = -36 - i. Solve 2 = -3*l - g for l.
-1
Let y(g) be the first derivative of -g**3/3 + 4*g**2 + 3*g - 2. Let u be y(6). Let f be 86/43 - 2/1. Solve f = -3*k + u - 3 for k.
4
Let v be (-44)/(-33)*3/2. Suppose 3*c - 43 = 5*w, -v*c - c + 37 = -2*w. Suppose -q - n = -0*q - 5, 3*n - c = -q. Solve -q - 3 = 5*d for d.
-1
Let c be (-3 + 4 - 5) + 8. Solve -3*s + s - c = 0 for s.
-2
Suppose -3*v = -5*v + 14. Let h = v - 2. Solve h*r = r + 12 for r.
3
Let x = 3 + 2. Suppose -x = -9*m + 4*m. Solve -4*y - 5 = -m for y.
-1
Let b(a) = 3*a + 24. Let i be b(-9). Let s be (-1 - -9) + i + (-6)/2. Solve 3*t + s*t = 0 for t.
0
Suppose -7*r + 92 = 29. Let m be ((-10)/8)/(r/(-36)). Solve m*i = i - 16 for i.
-4
Suppose -5*b + 325 = 3*d, -3*b + 5*d = -5*b + 130. Let y = -55 + b. Let t(h) = -h**2 + 6*h + 1. Let n be t(3). Solve -4*x = n + y for x.
-5
Let a(x) = -6*x + 21. Let z be a(9). Let i = z - -63. Suppose 6 - i = -4*y. Solve y*l = l for l.
0
Suppose -o = -31*o + 690. Let z be (1 - 2) + -20 + 0. Let d = z + o. Solve 1 = -d*a - 1 for a.
-1
Let z(n) = n**2 - 2. Let b(p) = p**3 + 6*p**2 - 3*p. Let o be b(-6). Suppose -2*m - 12 = -0*m + 2*a, -m + 5*a = -o. Let d be z(m). Solve d*r = -3 + 13 for r.
5
Let q(t) = t - 6. Let h be q(6). Suppose h = -c - 2 - 1. Let v be -1 - -13 - (c - -3). Solve s = 5*s + v for s.
-3
Let o = 655 - 617. Solve o - 33 = x for x.
5
Suppose 9 = -11*k + 14*k. Suppose v = 2*x - k*x + 13, 9 = -2*x + 5*v. Solve i + i = x for i.
4
Let r be (-1)/((-4 - -1)/18). Suppose 0 = -3*k + r. Suppose 0 = -2*z + 5*w + 20, 4*w + 50 = -z + 6*z. Solve k*a + 0*a = -z for a.
-5
Suppose 3*u = -o - 5, 0*u + 20 = u - 4*o. Suppose u = -4*m - 12, -21 = -2*t + 2*m + m. Solve 0 = t*j - 2*j for j.
0
Suppose 46*y = 76*y - 1170. Solve -y*p = -40*p for p.
0
Suppose i = 2*k + 8, 3*i = 2*k - 1 + 9. Let d = -1 - -6. Suppose 0 = -2*t + o - i*o, -d*t = -o. Solve -x = -t*x + 2 for x.
-2
Let i(q) = -q**3 + 8*q**2 - 7*q. Let a be i(7). Let v be -6*1/(-2) + a. Solve -v = -3*r - 12 for r.
-3
Let u be 3*2*62/93. Solve -2*y = u*y + 30 for y.
-5
Let u = 142 + -149. Let k(x) = 5*x**2 + 1 - 3*x**2 - x**2 + 6*x. Let f be k(u). Solve 3*w + w = -f for w.
-2
Suppose -50*h - 18 = -53*h. Solve -h + 26 = -4*g for g.
-5
Suppose 105 = -2*b + 39. Let v = 36 + b. Solve 2*x = -v*x + 20 for x.
4
Let j = 36 + -33. Solve -16 = -j*g + 7*g for g.
-4
Suppose 0 = 91*l - 3938 - 5253. Solve 104*u + 3 = l*u for u.
-1
Suppose -5*c - 50 = -5*y, -5*y + 18 = 3*c - 8. Solve -5 + 33 = y*z for z.
4
Let m(f) = -f**2 - 19*f + 45. Let g be m(-20). Solve -4*v - v = g for v.
-5
Let c(d) = 2*d**3 - 39*d**2 - 20*d + 5. Let i be c(20). Solve i*r - 8 = -13 for r.
-1
Let x be ((288/54)/2)/(4/6). Solve -21*j + x = -19*j for j.
2
Let i = -41 + 77. Solve i*z + 3 = 33*z for z.
-1
Suppose 2*g = -3*x, -5*x + g = 2*g. Solve x = 11*z - 6*z - 25 for z.
5
Suppose -d + w + 1 = -1, 2*d + 6 = -3*w. Solve 0 = g - d*g for g.
0
Let a = -130 - -104. Let i(o) = -25*o**2 + 1. Let s be i(1). Let y = s - a. Solve 0 = -y*x + 4*x - 2 for x.
1
Let d(v) = v**3 + 7*v**2 + 4. Let j be d(-7). Suppose 5 = j*b - 3*b. Solve -8 = b*c + 7 for c.
-3
Suppose -2*f + 5 = -k + 1, -2*k - f + 7 = 0. Solve 0 = -k*a + 3 - 7 for a.
-2
Let h = 800 + -789. So