Let y be ((-12)/15)/((-1)/(-5)). Let v = y + m. Solve v*l = l for l.
0
Let p be 1/((-33)/(-15) + -2). Suppose -p*t = -t. Suppose 0*a + 2*a = t. Solve 2*i + 5 + 5 = a for i.
-5
Let k = 15 - 11. Solve 0 = z - k*z + 6 for z.
2
Suppose -2*z + 18 = a, -a + z - 2 = -23. Solve -a = 3*l + l for l.
-5
Let b(p) be the second derivative of -p**5/20 + p**3/3 + 3*p**2/2 + p. Let u be b(-2). Solve u = -4*l - 1 for l.
-2
Suppose 7*u = 4*z + 2*u - 16, -3*z - u = -12. Suppose 0 = -2*y + 5*q + 9, -3*q - 2 = -q. Suppose -h - 6 = y*h - 5*g, g = 3. Solve z*o - 5*o - h = 0 for o.
-3
Let i be 55/25 + 1/(-5). Suppose -i*j = -j. Solve -2*c = -j*c + 10 for c.
-5
Let g be -1 - (-3 + 6) - -4. Solve 2*u - 5*u - 15 = g for u.
-5
Let y be 4 - (-3 - 1)/(-2). Suppose -4*q + 2*q = -6. Solve y = q*w - 2*w for w.
2
Suppose -2*y + 7 - 1 = 0. Suppose 0 = 3*g, -5*p - g + 25 = -0*p. Suppose y*r = s + s + 11, p = r. Solve s = v + 4 for v.
-2
Let x be 3/12 - (-51)/4. Suppose 0 = 3*r + 12, -3*c + x - 1 = -3*r. Suppose 0 = 2*v - c*v. Solve s - 2 + 7 = v for s.
-5
Suppose 5*i - 7 = 2*i + b, 2*b = -4*i + 16. Solve -i*o = -2*o - 1 for o.
1
Let h(i) = -4*i - 8. Let l be h(-6). Suppose 4*x = 15 - 3. Solve b + l = -x*b for b.
-4
Let w be (9/(-14))/((-3)/(-4))*-7. Solve 0 = -3*s + w*s - 3 for s.
1
Let y be -5*(-2)/5*(-15)/(-2). Let c be 1 + 2/1 - -2. Solve 2*h = c*h - y for h.
5
Let g be (-3)/15 - (-32)/10. Suppose -21 = -g*u + 39. Solve 0 + u = -4*w for w.
-5
Suppose 0 = 2*c + 3*q - 15, 2*c - 4*q + 17 + 3 = 0. Suppose 2*w - 5*w + 75 = c. Suppose -3*d = 2*d - w. Solve -3 - d = 4*g for g.
-2
Suppose 5*w = -5*w. Solve w = 6*r - 3*r - 12 for r.
4
Let z be ((-3)/18)/(3 - 76/24). Solve 9 - z = -2*q for q.
-4
Suppose 2*a + 4*j = 6*a - 8, -2*a + j + 7 = 0. Suppose a*x = x. Solve 5*f - 10 = -x for f.
2
Suppose 4*f - 3*w - 45 = 2*w, -2*f - w + 19 = 0. Solve -2*t + 0*t = -f for t.
5
Suppose 12 = 2*w + w. Let u be (-12)/(-4)*(0 - -1). Suppose u*r + 2*m - 12 = 0, -1 - 11 = -3*r + 5*m. Solve 4 + w = -r*a for a.
-2
Suppose -5 = 5*g - 6*g. Solve 3 = g*w - 4*w for w.
3
Suppose -3*t = -4*t + 5. Suppose -3*r + 2*a - 3*a = -16, 5*a = -t*r + 40. Solve 16 = -r*q - 0*q for q.
-4
Suppose -5*t - 26 = -6. Let k be (0/(-2))/(-3 - t). Suppose 5*a - 15 = k, 4*a + 15 = 4*w + a. Solve 5*o - 4 = w for o.
2
Suppose 0 = 5*z + 2 + 3, 2*z + 2 = -3*s. Suppose 0 = -0*i - 3*i + x + 7, i - 5 = -x. Let v = 8 - i. Solve -v*k = -s*k for k.
0
Suppose 0 = c + 4*u - 3, -4*c + 2*u - u = -12. Let r be 10/c - 16/12. Solve -12 = r*t + 2*t for t.
-3
Suppose -z - 3*z = -12. Let p be 1*(-2 - z/(-1)). Let w = -5 - -10. Solve -w - p = -2*m for m.
3
Suppose -t - 3*t + 16 = 0. Let s(i) = 2*i + 0*i**2 + 2*i**2 - i**3 - 3 - t*i**2. Let a be s(-3). Solve 3*k - 4*k + 3 = a for k.
3
Let v(s) = -6*s - 2. Let k be v(-3). Let l = 8 + -5. Suppose -w = -3*i - 2*i - 4, -l*i = -5*w + 20. Solve -k = -4*h + w for h.
5
Let v(c) = -2*c - 4. Let t be v(-4). Let k be (54/(-21))/(9/(-42)). Let n be k/(-18) + (-64)/(-6). Solve -t*i + 2 + n = 0 for i.
3
Let s(x) = x**3 - 6*x**2 + 2*x - 4. Let l be s(6). Solve 0 = u - 3*u + l for u.
4
Suppose f - 45 = -x + 3*x, f + 2*x = 25. Suppose 5*m + 4*d - 2*d = 35, 0 = 4*m + 3*d - f. Solve -4*j + m = -3 for j.
2
Let j(a) = a**3 - 2*a**2 + 4. Let r be j(2). Solve 0*c + 8 = r*c for c.
2
Suppose 0*j + 5*j - 35 = 0. Solve -4*t = -j*t for t.
0
Let k(t) = -8 - 4 - t - t. Let l be k(-8). Suppose 4*f - 2 = 3*f. Solve f*q = 3*q + l for q.
-4
Let a = -2 + 8. Solve v - a*v + 25 = 0 for v.
5
Let h(z) = -z**2 - 30*z - 24. Let g be h(-29). Solve -g*i + 10*i + 20 = 0 for i.
-4
Suppose 2*z - 6 = 5*n + 19, 24 = -2*n - 2*z. Let s = 15 + n. Let x = s + -2. Solve x - 1 = 5*r for r.
1
Let c(k) = -k + 1. Let f be c(9). Let r(l) = l**3 + 9*l**2 + 6*l + 8. Let i be r(f). Suppose 4*z = -0*z + i. Solve -2*j + z + 4 = 0 for j.
5
Suppose 19 = 7*c - 9. Solve 7*a - c*a - 6 = 0 for a.
2
Let s(x) = x + 10. Let l be s(-7). Suppose 3*f - 9 = l*p, 2*f - 8 = -4*p + 4. Solve f*h = 3*h + 5 for h.
5
Let v(t) = t + 9. Let a be v(-6). Suppose -2*h + 3 = -a. Let z = 12 - 9. Solve -18 = -z*i - h for i.
5
Suppose -z + 12 = 4*w + 1, 4*z = -3*w - 8. Solve 0 = -w*v - 17 + 1 for v.
-4
Let b = -4 - -8. Let w = b + -3. Solve -a + 2*a = -w for a.
-1
Let l be 2 + (-1 - (-2 + 3)). Solve 0 = -l*g + g for g.
0
Let k be 27/5 - (-2)/(-5). Solve -k*l + 8 = -l for l.
2
Suppose -7*x = -3*x - 2*s + 14, -3*x - 28 = 2*s. Let h = 69 + -71. Let v be 19 - (x/h - 0). Solve v = -4*b + 8*b for b.
4
Let a = -170 + 174. Solve -10 = l + a*l for l.
-2
Let v(f) = f**3 + 2*f**2. Let w be v(-2). Let b(i) = -i**3 + i + 5. Let k be b(w). Let m(q) = -q**3 + 5*q**2 + 2. Let j be m(k). Solve -j - 4 = -3*r for r.
2
Suppose 0 = -b + 10 + 22. Suppose 0*f + 4*f - b = 0. Solve 0 = -2*i + 2 - f for i.
-3
Suppose -p + 1 = -2*p. Let o be -15 - -12 - 3/p. Solve 0 = -3*t - o*t - 12 for t.
-4
Let a be (-3 - 0)/(3/(-4)). Let d = -4 + 4. Solve -a = 2*h - d for h.
-2
Let i = -7 - -11. Solve 0 = -3*h + i*h - 5 for h.
5
Let f be 1/(96/(-33) - -3). Suppose 4*k - 2*b - 32 = 0, -2*b + 0*b = -k + f. Solve h + 2 = k for h.
5
Let z(a) = a**3 + a**2 + a. Let j be z(0). Suppose -l - 4*l = j. Solve l = -4*x - 4 + 16 for x.
3
Let b be (0 + -1)/(1/4). Let n(a) = -a - 1. Let w be n(b). Let q be -2*1*(-6)/4. Solve -q*r - w = -9 for r.
2
Suppose 5*k + 5*b + 15 = 0, -8 = k - b + 3*b. Solve -2 = 2*d + k for d.
-2
Let o(h) = 1 + 1 + 2*h - 5. Let j be o(3). Suppose 4*u - y - y + 2 = 0, 0 = u - 3*y + 8. Solve -t - j = -u for t.
-2
Let s be 13/3 - (-1)/(-3). Suppose -v + 3*u = 3, -v - s*u - u + 5 = 0. Suppose 3*j - 4 = 5. Solve -2*h + 1 + j = v for h.
2
Let f be (-12)/(-30)*(-10)/(-4). Solve -5*t = 9 + f for t.
-2
Let m(o) = -3*o + 51. Let h be m(16). Solve -2*i + h*i = 1 for i.
1
Suppose 0 = -u - 2*u + 21. Let r be (-196)/(-42) + 1/3. Solve 3*t + u = -r for t.
-4
Suppose 4*o - 2*o - 5*y = -19, -2*y = o - 13. Suppose o*a = -6 - 0. Let s be (-30)/(-9) - a/3. Solve -s*p = 4 - 0 for p.
-1
Let b = -7 + 10. Let i = b + -3. Let p be 1/1*(3 - 3). Solve -4*u + i*u = p for u.
0
Let c be 2/9 - 34/(-9). Solve 5*y = c*y + 1 for y.
1
Let v(t) = -t + 0*t - t**2 - 3*t - 3*t + 1. Let r be v(-6). Solve r - 2 = -5*i for i.
-1
Let u(x) = -x**3 + x**2 + 4. Suppose 5*w - 4*c + 13 + 1 = 0, 5*c = -3*w - 1. Let n be (-6)/(-4) - (-3)/w. Let q be u(n). Solve -q*a - 10 = a for a.
-2
Suppose -2*z - 2*z = 0. Solve -15 = -z*y - 3*y for y.
5
Suppose 0 = -8*x + 11*x - 48. Solve s = -3*s - x for s.
-4
Let r(l) = l**3 - 2*l**2 + 3*l - 3. Let w(x) = -x**3 + x**2 - x - 1. Let u be w(2). Let g = u - -10. Let q be r(g). Solve -4*z = z - q for z.
3
Suppose -4*g = v - 12, 2*g - 6 = -0*g - 2*v. Let q = 24 - g. Suppose 0 = 2*t + 2*t - 12, 3*t - q = -3*o. Solve -a - 10 = o*a for a.
-2
Let r be 4*-1*3/(-12). Let v be (0 - 0)/(r + -3). Solve v = -4*t + 4 - 24 for t.
-5
Let g = 2 - 0. Suppose -4*r - 4*o - 2 = -18, -r - 2*o = -8. Solve b + b + g = r for b.
-1
Let k = 6 + 15. Let n be 36/k + 2/7. Solve 0*d = -n*d for d.
0
Let r = -2 - 2. Let c = -3 - r. Solve -t + c = -2 for t.
3
Let f(h) = h**3 + 12*h**2 + 35*h + 2. Let m be f(-5). Let c(t) be the second derivative of 2*t**3/3 + t. Let a be c(1). Solve m*v + 0 = a for v.
2
Let z(k) = -2*k + 3 + k**3 + k + 7. Let x be z(0). Suppose 0 = 3*u - u - x. Solve f + 0*f = -u for f.
-5
Suppose -2*l - 1 = 5*v, l = 4*v - 9*v + 2. Suppose -v = p - 2. Solve 5*j = 4*j + p for j.
1
Let x(b) = b**2 + 6*b - 3. Let g be x(-6). Let y be g - (-2 + 0) - -1. Suppose 5*r + 3*m + 0*m + 5 = y, 2*r = -3*m - 11. Solve -3*z = r*z for z.
0
Suppose -36 = -5*b + b. Solve 4*f = f + b for f.
3
Suppose -2*q + 5 = w, -4 = 3*w + 5. Let i = -8 + 8. Solve i*v - q*v = -16 for v.
4
Suppose -3*p = t + 3*t - 7, -2*t - 5*p + 7 = 0. Solve -t = 4*u + 11 for u.
-3
Suppose 0 = 4*y - 3*y. Suppose 32 = -2*j + 4*j + 2*t, y = -5*j - 4*t + 75. Suppose 24 = p - 4*f, 5*f + 10 = -p - j. Solve -l + 3*l = -p for l.
-2
Suppose 4*q + 13 - 17 = 0. Solve 19 = 4*n - q for n.
5
Let k(v) = -v**2 + 4*v - 2. Let b be k(2). Solve t - 2*t + b = 0 for t.
2
Let p be 12/(2*2/4). Let d = 2 + 3. Solve -d*k = p - 2 for k.
-2
Suppose -4*y - 3 - 1 = 0. Let s = y - -2. Solve 2*d - s = d for d.
1
Let k(m) = -2*m + 16. Let i be k(8). Solve i = -2*h - 3*h for h.
0
Suppose 4*p - 5*p = 2. Let n be 1 + 0 - (p + -1). So