
Let r(y) = y**3 - 8*y**2 - 9*y. Let v be r(9). Let o = 0 - v. Suppose o = -6*s + 4*s + 4. Solve 3 - 11 = s*p for p.
-4
Let h = -97 + 100. Solve -h*u + 4 = 19 for u.
-5
Let z(f) = 3*f + 4 + 5*f - 1 - 3*f**2 + 4*f**2. Let m be z(-8). Solve -1 = m*j + 14 for j.
-5
Suppose 3*r - 4*c + 2 = 0, r + 3*c - 8 = -0*r. Solve r*i + 0*i - 8 = 0 for i.
4
Suppose -f = -i + 3*f + 3, -3*i + 5*f = -9. Suppose -2*v = 5*s - 33, i*v - s - 7 = -0*s. Solve -n = 3*n - v for n.
1
Suppose 0 = -w + 2*w. Let j be 2*(1 + 1/2). Solve j*t + t = w for t.
0
Suppose 3 = 6*q - 3*q. Let g(v) = 3 - 2*v - q - 5 + v**3 + 6*v**2. Let z be g(-6). Solve f - 4*f = z for f.
-3
Let j = 0 - 0. Suppose j = -2*q - 3 + 11. Suppose 0*o - q = -o. Solve 0 = -2*s + o*s + 6 for s.
-3
Suppose -12 = 4*d, 0 = -t - 9*d + 10*d + 5. Solve -2*z - t*z = 0 for z.
0
Suppose -3*q + 15 = -2*q. Suppose -2*p - p = -69. Let v = p - q. Solve s = -s + v for s.
4
Suppose 3*a = -4*r + 5, 0*r + 2*r - 5 = -a. Suppose r*w + 6 - 26 = 0. Solve w*c + 4 = 3*c for c.
-4
Suppose 4*r = 4*f + 48, 0 = -r - 8*f + 3*f - 6. Let p(i) = i**3 + 6. Let s be p(0). Solve s = 5*v - r for v.
3
Let j(f) be the second derivative of f**5/20 + f**4/3 + 2*f**3/3 + 3*f**2/2 - 3*f. Let y be j(-3). Solve 0 = -4*a - y*a for a.
0
Let k(i) = -i + 7. Let o be k(3). Suppose -4 = o*h + 4*s, 3*h + 3 = s + 4*s. Let a be 0/((h - 2)/(-3)). Solve 4*d - 5 + 1 = a for d.
1
Let s(x) = -x**2 - 8*x. Let v = -25 - -17. Let r be s(v). Solve 2*j = -r*j for j.
0
Let a be (1/(-1) + -4)*-1. Suppose 3*j - 3*c = 15, -3*j = a*c - 13 - 2. Solve -j = 3*v - 17 for v.
4
Suppose 2 = -3*n + 5. Let l = 1 + n. Suppose -l*m - 3 = -11. Solve -m = a + a for a.
-2
Let j be -8*((-1)/(-1))/(-2). Let a = -3 - -5. Suppose -a*i - 2*i = -8. Solve -14 = -j*q + i for q.
4
Let q = 0 - -2. Suppose -q + 8 = g. Solve -w + g = -3*w for w.
-3
Let l(x) = 8*x**2 + 1. Let c be l(1). Suppose -a - 2 = 2*u - 7, 0 = 3*a + c. Solve 20 = u*d - 0 for d.
5
Let l be -2 - 1 - 99/(-9). Suppose 6*a = l*a - 30. Solve -5*d - a + 5 = 0 for d.
-2
Let l = -4 - -8. Suppose l = r + 3*k - 5, 3*r = 5*k - 15. Suppose -4*c = -r*q + 4*q + 4, 3*c = -4*q - 8. Solve -a = -c*a for a.
0
Let l(q) = q + 6. Let r be l(-6). Suppose 3*v - 4*s + 7 = r, 7*v - 4*v = -5*s + 29. Suppose -4*w + 5*t = -13, 2*w + v*t = -2*w + 5. Solve p = 2*p - w for p.
2
Let v = -7 - -9. Let o(n) = -n**3 + 6*n**2 + 8*n - 7. Let s be o(7). Suppose -2 = -i - s*i. Solve i*r + 0 + v = 0 for r.
-1
Let w = 1 + 0. Let q = w + 1. Solve i - 5 = -q for i.
3
Let q be (6/(-9))/(2/33). Let k = -11 - q. Solve -2*g + k*g - 6 = 0 for g.
-3
Let s be ((-1)/2)/(((-49)/70)/7). Solve -i + s*i = -12 for i.
-3
Let l(b) = -b**2 + 5*b + 4. Let c be l(6). Let j be (0 + c)*6/(-4). Solve -j*q + 2*q - 3 = 0 for q.
-3
Suppose -4*r - 7 = -3*r. Let y = r + 9. Solve y*m = 1 + 5 for m.
3
Suppose -2*w + 24 = -3*o + 8, 2*w = -o. Solve 1 = w*f + 7 for f.
-3
Let j(x) = -x**3 + 8*x**2 - x + 10. Let w be j(8). Suppose -4*i = 2*a + 6, 0 = -2*a + w*i - 2 + 8. Solve 5*m = a + 4 for m.
1
Suppose -3*f + 4*d - 38 = 3*d, -50 = 5*f + 5*d. Let t be 40/f*6/5. Let z be (-5)/((-10)/t) + 5. Solve z*m = -12 - 3 for m.
-5
Suppose -12 + 2 = -2*c. Solve 2*g - 5 = c for g.
5
Suppose 11 = 2*r + 3. Suppose -6*s + 4*s - 3*w + 7 = 0, -5 = -r*s + 3*w. Suppose x = -4*d + 22, 6*d - 25 = d. Solve c = x*c - s for c.
2
Let w(f) = -5*f**2 - 2*f + 8. Let m(q) = 4*q**2 + 2*q - 7. Let z(t) = 4*m(t) + 3*w(t). Let k be z(-4). Solve -6*p = -5*p - k for p.
4
Suppose 4*d - 11*d + 2*d = 0. Solve -2*h = -d*h + 8 for h.
-4
Let w = 29 + -25. Solve o - w = 2*o for o.
-4
Let w be 4/(1 - -1) - 10. Let t be 1/(-4 + (-34)/w). Solve t*y - 19 = 1 for y.
5
Suppose 0*h - 2*h + 22 = 0. Let s(t) = t**3 + 8*t**2 - 10*t - 7. Let o be s(-9). Let y be (-5 + h)*1/o. Solve -11 = y*n - 2 for n.
-3
Suppose 0 = -6*r + r. Suppose -l = -r*l - 15. Solve l = 4*w - 5 for w.
5
Let k(y) = -y**3 - 9*y**2 - 9*y - 6. Let b be k(-8). Solve b*v = -2 - 2 for v.
-2
Let m(v) = v**2 + 7*v - 11. Let k be m(-9). Suppose 24 = -g + k*g. Solve -g*h + 3*h - 2 = 0 for h.
-2
Let s be (10/(-3))/((-4)/6). Solve 0 = s*n + 5 - 15 for n.
2
Let j = -20 - -26. Let l(x) = x**3 - 6*x**2 + 4*x - 1. Let y be l(3). Let f be y/(-6) + (-4)/j. Solve -4 = -a - f for a.
2
Suppose -6 - 9 = -5*d. Solve -4 + 1 = -d*o for o.
1
Suppose 0 = 2*y - 10. Let x(s) = s**3 - 3*s**2 - 6*s. Let p be x(y). Solve b - p = 5*b for b.
-5
Let j(m) = m + m**3 + 5*m**2 - 3*m**2 - 5*m**2 + 2*m. Let q be j(2). Solve q*h - h - 4 = 0 for h.
4
Let k be (0 + 1)/(2/10). Let h = 11 - k. Suppose 6*o - 10 = 8. Solve -o*x + 0 - h = 0 for x.
-2
Let o = 7 + -12. Let x = o + 6. Solve -4 = c + x for c.
-5
Let i(a) = 15*a - 10 - 2*a - 9*a. Let s be i(4). Solve -s = -2*x - 0 for x.
3
Suppose 2 + 2 = 4*i. Let s be -1 - i*(0 - -1). Let l be -4*s/4*1. Solve l*n = -n + 12 for n.
4
Suppose 1 = 3*w - 5. Suppose 3*j - 10 = -w*j. Solve -j*p + 3 + 3 = 0 for p.
3
Let p(k) = 3*k**2 + 2. Let d be p(1). Solve 5*m + 5 = -d for m.
-2
Let m be -5*(8/4 + -3). Solve 0 = -2*p + 3*p + m for p.
-5
Let y(j) = -3*j**3 + 2*j**2 + 2*j. Let p be y(-1). Solve p*g - 1 = -7 for g.
-2
Suppose 4*r + o = 30, o - 30 = -5*r - 4*o. Solve 0 = 5*s - r*s + 9 for s.
3
Suppose 4*t + 11 = 3*z, -4*z + t = -3*z - 4. Solve -x - 1 + z = 0 for x.
4
Let h = 3 + -3. Let i be (-1 + h)/(2 + -1). Let t be 1/(i + (-4)/(-3)). Solve -12 = -6*z + t*z for z.
4
Let a be 1 - (-8 + -1 + 7). Suppose -18 = -s - 2*s. Solve -s = -p - a for p.
3
Let a be (0/3 - 0)*1. Suppose -5*z + a = 20, -5*z = 4*g - 80. Solve 5*r - 5 + g = 0 for r.
-4
Suppose 16 = 3*o + 4*d, -2*o - 80 = -7*o + 4*d. Solve -g - o = 3*g for g.
-3
Let c = 107 - 107. Solve c = o + 6 - 2 for o.
-4
Let l be 4/(-6) + 4/6. Let q be 0 + l/3 + 4. Suppose -q*x = -2*x. Solve x = -2*t + 3*t + 5 for t.
-5
Suppose -a = -5*i - 71, 2*a - 5*i = -0*a + 147. Suppose 9*b - 5*b - a = 0. Solve 4*u + 1 + b = 0 for u.
-5
Suppose -5*m - 2*f + f + 334 = 0, 3*f + 318 = 5*m. Suppose 4*o - 2*y = m, 5*o = o + y + 63. Solve 2*t + t = o for t.
5
Let f be -1 - 21/((-9)/(-3)). Let g be (0 + f)*1/1. Let w = g + 13. Solve -1 = t - w for t.
4
Suppose 0 = 3*z + z - 8. Solve -z = -h - 1 for h.
1
Suppose -2*t = -0*t - t. Solve t = 2*q - 5*q - 12 for q.
-4
Suppose 4*q - 10 = -2*j, -3*q + 5 = -0*j + j. Let o(g) = -g**2 - 8*g + 14. Let b be o(-10). Let f = b - -11. Solve q = -i - f + 1 for i.
-4
Let p(v) = v**2 + v - 3. Let z be p(-3). Suppose 0*c + c - z = 0. Solve 9 = -c*y - 0*y for y.
-3
Let l(g) = 3*g**2 - g**3 + 4 - 2 - 1 + 0*g**2. Let p be l(2). Solve -p = -4*x - 25 for x.
-5
Let q be (25/10 - 1)/((-3)/(-6)). Solve 0 = q*p + 21 - 6 for p.
-5
Let q be -2*1/(-2)*5. Suppose -5 = -q*k - 45. Let n be 1/3*(1 - k). Solve -3 = n*u - 4*u for u.
3
Suppose 4*u = -0*u + 4. Let l(r) = r**2 - 12*r + 3. Let d be l(12). Solve d - u = -i for i.
-2
Let j = 12 + -5. Let b be 0 + j/((-14)/(-16)). Solve b = -n + 4 for n.
-4
Let k be 50/15*3/2. Solve 14 = -k*d + 34 for d.
4
Let y(t) = t**2 + 5. Let u be y(0). Solve -u*n - 2 = 3 for n.
-1
Suppose -5*f + m + 63 = 0, -m - 21 = -2*f - 2*m. Let z(s) be the second derivative of -s**3/2 - s**2/2 + 2*s. Let d be z(-1). Solve -d*q - 2 = -f for q.
5
Suppose 55 = -5*f - 60. Let y be -1 - -1 - f - -2. Solve 0 = 2*t - 7*t - y for t.
-5
Suppose 0 = -n + 2 + 8. Suppose 10*c + n = 15*c. Solve 0 = 5*r - 6*r + c for r.
2
Let k = 60 - 58. Solve -4 = 2*m - k for m.
-1
Let x(v) = v**3 + v**2 - 6*v. Let b(t) = 2*t**3 + 3*t**2 - 12*t. Let n(u) = -6*b(u) + 13*x(u). Let d be n(6). Solve d = -4*c + c + 15 for c.
5
Let g be 6*1*(0 + -1). Let q(k) = -k**2 - 10*k + 1. Let n be q(g). Suppose -5*c + o = -3*c - 11, 0 = -5*c + 5*o + n. Solve -p + 4*p - c = 0 for p.
2
Let a(q) = -q - 9. Let g be a(-7). Let v be (-7 + 7)*1/g. Suppose o + 3*o - 20 = v. Solve -4*c + 1 = o for c.
-1
Let f be 100/15 - (-4)/(-6). Suppose -3 = -f*c + 3*c. Suppose 1 + 1 = 2*o + 2*a, 5*o - 3 = -3*a. Solve o = 2*h + 1 + c for h.
-1
Let q be ((-15)/(-20))/((-2)/(-40)). Let m be (-2)/(-6) - (-175)/q. Let h = m + -8. Solve h - 2 = -v for v.
-2
Let l(v) = 2*v**2 + v. Let t be l(2). Let q(o) = o**2 - 11*o + 13. Let f be q(t). Solve -f*r + 3 + 6 = 0 for r.
3
Let c be (2 + -1)/(1/4). Solve -1 = -g - c for g.
-3
Let z be 5/10 + (-14)/4. Let a = 1 + z. Let i = a - -6. Solve -i*w = w for w.
0
Let r(u)