 = 0 for i.
-1
Let p(q) = q**2 - 3. Let o be p(3). Solve 1 = 5*x + o for x.
-1
Let j be 2 - 2 - (-1 + -2). Suppose -2*a + 7 = 2*k + j, 3*a = 6. Solve 0 = 3*d - k*d + 12 for d.
-4
Let f be (-35)/70 + 6/(-4)*-5. Solve f*o = 4*o - 9 for o.
-3
Let r(k) be the third derivative of 11*k**5/60 - k**4/12 + k**3/6 + 3*k**2. Let m be -1 + 2 - (0 + 0). Let o be r(m). Solve -3*f = -5*f - o for f.
-5
Let c be 4/14 + 162/21. Solve 2*b - c = -0*b for b.
4
Let j = 20 + -12. Solve 0 = 3*y - j*y - 15 for y.
-3
Suppose 4*s + 3 = 11. Suppose 4 = 3*a - 11, -a + 200 = -3*x. Let n be x/(-7) - s/7. Solve 0 = 5*h - 16 - n for h.
5
Let c be (-2)/4*0 + 0. Let x = 4 - c. Let i = -16 + 27. Solve 9 + i = -x*q for q.
-5
Let v(h) = h**2 + 5*h + 4. Let x = 8 + -12. Let p be v(x). Let m be 1 + p/(-3) + 1. Solve f = -m*f for f.
0
Suppose -o + 3 = -0*o. Suppose -o*g + 12 = -3. Solve 22 = g*l - 3 for l.
5
Let w = 176 - 116. Suppose -2*d + 6*d + 4*z = w, 2*z = -4*d + 62. Let m be (d/20)/((-6)/(-15)). Solve -y + m*y = -1 for y.
-1
Let k(d) = d**3 - 5*d**2 - 15*d + 11. Let w be k(7). Solve -2*t = -3*t - w for t.
-4
Suppose -y + 9 = 4*j, 0*y + 3*j = y - 2. Solve -y*m = -4*m + 1 for m.
-1
Let n(v) = -v**2 + v + 3. Let r(z) = -z**2 - z + 2. Let f be r(2). Let o be 2/f + 5/10. Let k be n(o). Solve -k*u + 8*u + 15 = 0 for u.
-3
Suppose -4*n = -2*v - 22, -2*n = 3*n + 3*v. Suppose 5*z = x + 55, 0*z + n*x = -3*z + 51. Solve 2*i = -i - z for i.
-4
Let h be (1 - 23)*(-1)/2. Suppose -2 = x - h. Solve 8*l + x = 5*l for l.
-3
Let j(c) = c**3 - 6*c**2 + 4*c + 7. Let w be j(5). Solve -4 + w = -k for k.
2
Let a(q) be the second derivative of -q**5/20 + q**4/6 + q**3/2 + 2*q. Let d be a(3). Suppose 4*b = 12 - d. Solve b*j = -0*j + 3 for j.
1
Suppose -10 = 5*h - 5*n, -2*n + 10 = -h + 2*h. Let j = -7 + 13. Solve -4 - j = -h*a for a.
5
Let n be 14 + 0 - (-2 + 4). Let l be (22/8)/((-3)/n). Let h be 2/8 + l/(-4). Solve d - 4 = -h*d for d.
1
Suppose 4*k = 2*v, -6*k + 8 = -2*k. Suppose 3*h - 11 = v. Suppose 0 = -5*b - 4*f + 3, -4*f = h*b - f - 6. Solve -10 = -b*n + n for n.
5
Let q be 3 + -1 + (-2)/(-2). Suppose -4*x + h = 6 - 24, -q*x + 4 = 4*h. Solve v = -x*v + 15 for v.
3
Suppose 2*d = -u + 3*u - 10, -3*d = 9. Suppose z = u + 1. Suppose -3 = m - 7. Solve z*r + r = m for r.
1
Suppose -5*u + j = -j - 33, -5*j = -u + 2. Solve 3*x = -8 - u for x.
-5
Let t(v) = -4*v - 1. Suppose 3*s + 0 = -3. Let x be t(s). Suppose -x*i = -3*g - 6, -4*g - i = 8 - 20. Solve w = -w + g for w.
1
Let a = 10 - 7. Let j = -1 + a. Solve -j*u - 2 = -u for u.
-2
Let b be (-18)/(-4) + (-3)/6. Solve 9 = -b*f - 7 for f.
-4
Let g = 32 - 25. Solve g - 4 = -3*k for k.
-1
Suppose -2*r + 31 = 3*r - 4*t, 5*t + 20 = 0. Solve -3*y = r*y + 24 for y.
-4
Suppose 3*o + 1 - 34 = 0. Let v be (9/12)/((-3)/(-12)). Suppose -v*j = -4*j + 4. Solve -o = -j*r + 5 for r.
4
Let m = 5 - 1. Suppose 5*t = -4*h + 73, 3*t - 91 = -m*h + 4*t. Suppose r + 3*i = 14, r + i + 4*i - h = 0. Solve r = -q - 2 for q.
-4
Let x be 10*((-4)/(-4) + 0). Let n = 10 + x. Solve 0 = -o + 6*o - n for o.
4
Suppose 4 = -0*g + g. Suppose 0*p - p - 2*y = 0, g*y - 8 = 0. Let n = p - -4. Solve n = k - 3 - 1 for k.
4
Suppose -15 = -5*x - 0*x. Solve p + x = -0 for p.
-3
Suppose 0 = -4*l - 5*g - 7, l + 4*g + 16 = 3*l. Solve -l*a = -a + 3 for a.
-3
Let t be (-4)/(0 + 12/(-9)). Solve -t*u = -2 - 1 for u.
1
Let g be (-3)/(-7) + (-60)/42. Let p be 3 - (0 + 1 + g). Solve h + p = 6 for h.
3
Let a = 1 + 2. Let q be 259/28 + (-3)/(-4). Solve -a*m + q = -m for m.
5
Let q = -22 + 38. Solve 0*n + q = 4*n for n.
4
Let q = 48 + -45. Solve k + 0 = -q for k.
-3
Let h(s) = -s**2 - s + 1. Let f be h(-2). Let n be -2*f/2 - 1. Solve n = -0*k + k for k.
0
Suppose -d - 18 = -2*c + 1, -3*d = -c + 37. Let v = -7 - d. Solve v*l = -5 + 13 for l.
2
Suppose 3*o = 5*o - 14. Let f = -5 + o. Suppose -f*j + 1 = -3*n + 3, 2*n - 10 = -3*j. Solve 3*v + 4 = j*v for v.
-4
Let x(v) = -v**3 + 8*v**2 + 10*v - 9. Let n be x(9). Suppose l + n*l - 2 = 0. Solve -l*d - 2*d + 8 = 0 for d.
2
Suppose -80 = -2*w - 2*w. Let z = 11 + -7. Suppose c + w = 3*c + z*m, -2*c = 2*m - 10. Solve c = -u - 6 + 1 for u.
-5
Let m(j) = j**3 + 7*j**2 - j - 5. Let n be m(-7). Solve n*s = 7*s + 10 for s.
-2
Let t = -16 + 18. Solve -2*i + 2 = -t for i.
2
Suppose 38 = 5*v + 13. Solve 0 = 2*c - v*c - 3 for c.
-1
Suppose 7*l - 9 = 4*l. Solve -3*m = -6*m + l for m.
1
Suppose -4*t + 34 - 14 = 0. Solve -h = -t + 2 for h.
3
Suppose 5*y - 12 = 2*y. Suppose -y = -4*u + 2*h, 2*u + h + 8 = 6*u. Solve u*d + 16 = -d for d.
-4
Let p be (-22)/(-2) + -3 - 2. Suppose 0 = -4*v + v + p. Solve -d + 3 = v for d.
1
Suppose 12 = 8*x - 4. Solve -3*w + x*w = 0 for w.
0
Let r(b) = b + 16. Let k be r(-14). Solve -2 = 2*p + k for p.
-2
Suppose -24 = -4*i + 2*z + z, 14 = -2*i - 5*z. Suppose 2*h - 1 = i. Solve h*f - 8 = 4*f for f.
-4
Suppose -12 = 5*o - o. Let n be (-5)/(o*1/(-6)). Let u be 5/15 - n/6. Solve u*s - 1 = s for s.
1
Suppose 3*j = -5*w - 28, 2*w + 3 = -2*j - 5. Let d = -6 - w. Solve 0*c - d*c = 10 for c.
-5
Suppose 3*q - 3*k - 18 = 2*q, q - 4*k - 22 = 0. Solve 4 = 2*l - q for l.
5
Let h be 2*-3*1/(-2). Suppose 0 = -x - 3 - h. Let j = x - -10. Solve 0*r - j = 4*r for r.
-1
Let f(s) = 3*s**2 + 6*s**2 + 0*s**2 + s**3 + s. Let k be f(-9). Let o be (-20)/k - (-2)/(-9). Solve 0 = p + o + 2 for p.
-4
Let p(r) = -r - 6. Let s(z) = -3*z - 12. Let m(l) = 5*p(l) - 2*s(l). Let x be m(8). Solve 0 = 3*d + x*d + 20 for d.
-4
Suppose -t = -4*p + 2, 2*p + 2 = 2*t - 0*p. Suppose -5*z + 2 = -4*m, -z + 5*m = 3*z + t. Suppose 16 = z*w + 2*w. Solve -c - 6 = -w*c for c.
2
Let d = -179 - -182. Solve d*j - 7*j - 20 = 0 for j.
-5
Suppose 0*h + 5*h = 15. Solve -h*w - 2 = -5 for w.
1
Suppose 3*s = -p - 2*p + 18, -3*p = -12. Let c be (-2)/2 + (s - -1). Let h = 6 + -5. Solve -f + c = h for f.
1
Suppose 0*g + 4 = g. Suppose 3*c + n - 20 = 0, -n - 3*n + 10 = -2*c. Solve g*f - 3*f = -c for f.
-5
Let o(s) = s**2 - 10*s + s**2 - s**2 + 13. Let g(z) = 10*z**3 - z. Let p be g(1). Let k be o(p). Solve 12 - 4 = -k*w for w.
-2
Let s = -20 + 23. Let q be s/(-1 - 5)*-4. Solve u + q = 1 for u.
-1
Suppose 3*o = -4*u + 73, -7*u + 4*o = -4*u - 86. Let h be u/12 + (-12)/(-72). Solve 2*l + 6 = -h for l.
-4
Suppose -3*s = 7*z - 4*z + 9, 4*s = -5*z - 10. Let a be z/4*(-3 + 11). Suppose -a*b = 5*i - 14 - 23, 29 = 3*i - b. Solve -2*q - q = -i for q.
3
Let o(k) be the second derivative of k**5/20 - 7*k**4/12 - 4*k**3/3 + k**2 - k. Let q be o(8). Solve -q*s = s for s.
0
Let s(t) be the second derivative of t**3/6 - t**2 + 3*t. Let n be s(3). Suppose -3*y - a = -0 - 3, -3*y = -4*a - 18. Solve -y*f + n = 5 for f.
-2
Let z(n) = n + 2. Let w be z(-7). Let p = -3 - w. Solve p*q + 2 + 6 = 0 for q.
-4
Let w(x) = -x**2 + 4*x + 2. Let m(g) = 2 - 8*g + 6*g**2 - 7 - 4*g**2. Let n(k) = -4*m(k) - 9*w(k). Let f be n(5). Solve -f = 4*b + 9 for b.
-4
Let h(i) = -1 - 3*i + 3 - 3. Let p be h(-2). Solve p*k = 2*k for k.
0
Suppose -2*s + 33 - 1 = 0. Solve -5*v + s = -v for v.
4
Suppose -56 = -4*w - 0*w + 4*a, 2*w - 22 = 5*a. Suppose 2*c + 3*q - 5 = 0, -4*q + 0*q = 5*c - w. Solve c*g - 13 = -1 for g.
3
Let u = -21 - -25. Solve 1 = u*d - 7 for d.
2
Suppose -c - 5 = -1. Let r = 5 + c. Let g be -1 + (-1 - (-2)/r). Solve -4*a + 2*a = g for a.
0
Suppose l + 9*l - 40 = 0. Solve 0*h + 2*h - l = 0 for h.
2
Suppose -4*b + 1 = -2*d + 11, 10 = 2*d + 5*b. Solve d*m + 0 = -25 for m.
-5
Let d = -5 - -7. Suppose -21 = -2*t - 2*r + r, -3*r = -2*t + 17. Solve -d*q + t = 4 for q.
3
Let y = -53 + 56. Solve -z - y = -4*z for z.
1
Let q be 2/4*-2 - -4. Suppose 12*j - 80 = 2*j. Solve j = -q*k - k for k.
-2
Suppose 4*f + 12 - 20 = 0. Solve 0*l + f*l = -2 for l.
-1
Suppose -u = -0*u - 10. Let o(r) = 9*r + 45. Let b be o(-5). Let q = 7 + -2. Solve b = -5*x - q - u for x.
-3
Suppose 2*t + i = 17 + 4, -3*t + 42 = -2*i. Solve 3*s + t = -0 for s.
-4
Let p be 38/7 + (-52)/(-91). Solve 5*g - p = -1 for g.
1
Let a = -7 + 17. Suppose 0 = -5*d - 5*p + 47 + 33, -d + 2*p + a = 0. Let l be 6/9 + d/6. Solve 0 = x + l*x + 8 for x.
-2
Let b(r) = -r**3 + 7*r**2 + r + 1. Let v be b(7). Solve 3*f = 7*f - v for f.
2
Let r(b) = 0 + 6*b + 4 - 6. Let m be r(3). Solve y - m = 5*y for y.
-4
Let p = -13 - -22. Solve 0 = -p*r + 4*r - 20 for r.
-4
Let f(z) = -z**2 + 12*z - 13. Let m be f(10). Suppo