+ 2*k - 38 = -0*r, -4*k - 24 = -r. Let f be (-12)/r - 13/(-5). Let q be (-100)/(-26) + 4/26. Solve -f*v = -q*v + 6 for v.
3
Let q = 20 + -18. Solve q*p - 3*p = -3 for p.
3
Suppose 0 = 4*v - 47 - 1. Let r(x) = -x - 1. Let z be r(-6). Suppose -v = -z*a + a. Solve -2*o + a*o = 0 for o.
0
Let z be (-39)/(-15) + 2/5. Solve -5*o + z = 8 for o.
-1
Suppose 3*f = -3*o + 18, o - 2 + 0 = f. Solve 4 = -f*v - 2*v for v.
-1
Let j = 7 + -3. Suppose 12 + 12 = j*x. Suppose -x*f + f = -10. Solve -1 - f = -z for z.
3
Let p(r) = 0 + 1 - 4 + 3*r. Let x = -10 - -12. Let i be p(x). Solve -d - i = -2*d for d.
3
Let c(y) = -y**2 + 5*y + 3. Let i be c(4). Let m(v) = v**3 - 3*v**2 - 5*v + 4. Let u be m(4). Solve 4*d - 9 - i = u for d.
4
Let t(y) = -7*y + 11. Let r(m) = 4*m - 5. Let l(b) = 5*r(b) + 3*t(b). Let z be l(6). Solve v + 6 = -z*v for v.
-2
Let g(x) = x**3 + 2*x**2 + 2. Let a be g(-2). Suppose 0*v - 6 = -5*c - 4*v, -4*c + 6 = a*v. Solve -c*u = -u for u.
0
Let f be ((-138)/(-12))/((-2)/(-4)). Solve 2 = 5*a - f for a.
5
Let v = 6 - -8. Let a = v - 10. Solve -a*o = -o for o.
0
Suppose 0 = 4*m - 3*r + 53, 3*r - 10 = 2*m + 15. Let t be 4/m - 90/(-70). Let y(k) = k. Let o be y(3). Solve 0 = -j - t + o for j.
2
Let v be ((-60)/18 + 3)*-6. Solve -2 = l + v for l.
-4
Let c(z) = -2*z**3 - z**2 - 3*z + 20. Let g be c(0). Solve -l - g = 3*l for l.
-5
Let p(i) = i**3 - 6*i**2 - 7*i + 2. Let g be p(7). Suppose 3*o - 11 = -g. Let y(q) = q + 5. Let d be y(5). Solve o*l - 1 = -d for l.
-3
Suppose 2*a + a + 3 = 0. Let u be (0 - a)/((-8)/16). Let h be u/(-6) + 4/6. Solve -2*b - h = -3 for b.
1
Let m = 10 + -6. Solve -m*z + 3 = -9 for z.
3
Suppose -12 = -2*y + 4*s + 32, -4*s = -4*y + 84. Let w be 2*(-3)/(-3)*1. Suppose y = 5*k + w*h, k + k - 9 = -h. Solve -3*p = -k - 13 for p.
5
Let c(x) = x - 14. Let v be -1*(-1)/(-1)*-8. Let k be c(v). Let m = k + 6. Solve m*h + 2*h - 4 = 0 for h.
2
Let c(g) = g - 1. Suppose 5*p - 4*u = -8, 2*u - 4 = -0*u. Suppose 0*b + 2*f = b + 4, p = -f + 5. Let t be c(b). Solve -3 = t*h + 7 for h.
-2
Suppose 2*b + 1 = 2*w - 1, 5*w + 3*b = -35. Let q(o) = o**3 + 5*o**2 + 4*o + 3. Let u be q(w). Solve 3*m - 6*m + u = 0 for m.
1
Let i(a) = -a. Let u be i(-6). Suppose 5*j = -4*m - 0 + 5, 4*j + 7 = -m. Let t = u - m. Solve q = -0 + t for q.
1
Let i = -185 - -185. Solve -n + 5*n = i for n.
0
Suppose -z - 4*z + 40 = 0. Let a be -8*(-2)/z*2. Solve -5*d - a = 1 for d.
-1
Let w = -5 - -8. Let n(o) = -o**3 + 3*o**2 + 2*o - 4. Let y be n(w). Solve 6 - y = g for g.
4
Suppose h = -5*q + 41, -2*q + 32 = 2*q + h. Suppose -20 = -3*s + 10. Let a = 14 - s. Solve -q = -l + a*l for l.
-3
Let h = 9 + -4. Solve -h*v = -7*v + 8 for v.
4
Let v(b) = -6*b**3 - 2*b**2 + 1. Let y be v(-1). Suppose -4*t = y*p - 37, 5*p - 3*t = 4*p - 4. Solve -p*m = -6*m for m.
0
Suppose 0 = o - 3 - 1. Suppose -2*i - 2*i = 3*m + 12, -m - o = -2*i. Suppose i = 2*x + x - 18. Solve 12 = -x*v + 2*v for v.
-3
Let r(y) = y + 11. Let j be r(-8). Suppose 0 = 3*o - h - 33, h = 2*o - j*h - 32. Suppose i + q = o + 7, -i = -5*q - 35. Solve g = -4*g - i for g.
-4
Let w = 31 - 28. Suppose -2*h + 1 = -1. Solve 2*p = w + h for p.
2
Let v = 6 + -10. Let u be 0/(v/6*3). Solve -3*n + 6*n = u for n.
0
Let i(h) = -h**2 - h + 5. Let m be i(0). Suppose 34 = m*b + p, 3*b - p - 15 = b. Solve 4*r - b - 9 = 0 for r.
4
Suppose 5*m = 5*y - 2 + 17, -3*y + 16 = 2*m. Solve 3 + 3 = y*l for l.
3
Let w be -5*(28/(-20) + 1). Solve -w*b + 15 = -5*b for b.
-5
Let v be 0*(2 + 5/(-2)). Let r(i) = i + 8. Let j be r(-4). Suppose 11 = j*z - 9. Solve v = z*m + 4 + 16 for m.
-4
Let a = 26 - -18. Let x = a - 31. Let d = x + -8. Solve 0 = -2*w + 3*w - d for w.
5
Let i(t) = t**2 - 6*t - 16. Let u be i(8). Solve u = v + 2 for v.
-2
Let c(w) = 0*w + 2*w + 0*w - 9. Let u(y) = y**3 - y + 1. Let f be u(2). Let i be c(f). Solve 6 = i*x - 9 for x.
3
Suppose -y - h + 2 = -10, y - 3*h = -8. Suppose 2*k = y*k - 20. Solve -9 = 5*w - k for w.
-1
Let w(q) be the second derivative of -5*q**3/6 + q. Let h be w(-5). Solve -8*o = -3*o + h for o.
-5
Suppose 3*g + 2*n = 9, -4*n = -0*n. Solve 0 = -g*v - 3 + 6 for v.
1
Suppose -5*c = 3*i - 10 + 31, 2*c + 4 = i. Let s = 4 + i. Let h be 12/8*8/6. Solve -s*p = -6 - h for p.
4
Let a be (-8)/(-1*1) + 21 + -19. Solve 0 = x - 3*x + a for x.
5
Let l(m) = -m**3 - 4*m**2 + 4*m + 7. Let y be l(-5). Suppose 1 + 9 = 5*i. Let r = 2 - i. Solve y = -4*o - r*o for o.
-3
Let m be (4 + -2)*40/16. Solve m = 4*u - 3 for u.
2
Let r be 1 + (-5 + 1 - 0). Let x be 46/8 + r/(-12). Solve 2*t + t = x for t.
2
Let f(k) = 1 - 3*k**3 - 11 + 6*k**3 + 8*k**2 - 2*k**3 + 6*k. Let l be f(-7). Let d = l + 7. Solve -3 = d*b - 7 for b.
1
Suppose -4*w + 11*w = 14. Solve 0 = -4*g - w - 2 for g.
-1
Suppose 0*j = 4*k - j - 15, -k = -3*j + 10. Suppose 0 = -2*w + 7*w + k. Let h be -2*((-21)/6 - w). Solve 2 - h = c for c.
-3
Suppose 27*k - 28*k = -2. Solve 7*m - k*m = 5 for m.
1
Let f = -24 + 24. Solve f = -3*j + 5*j for j.
0
Suppose 4*u - 2*u - 19 = 5*j, 5*u = j + 13. Suppose 2 - 10 = -u*h. Solve -10 = i + h*i for i.
-2
Let u be 7/21 + (-10)/(-6). Suppose 0*f = u*f - 6. Solve -f*s = -0 - 3 for s.
1
Let r = 53 + -41. Solve 4*i + 0*i = -r for i.
-3
Suppose 2*l - 3 = -l. Let p be (2/2)/l + 2. Let d(y) = y + 3. Let o be d(p). Solve 2*r = -0*r + o for r.
3
Let z = -6 + 9. Suppose -2*m - z*m = -15. Solve n = m*n - 2 for n.
1
Let r(j) = j**2 + 2*j - 3. Let q(m) = m**2 - 9*m - 4. Let s be q(9). Let w be r(s). Solve 0 = -w*x + 3*x - 4 for x.
-2
Let r = 3 + -3. Let n be 2 + (0 - 0) - r. Suppose 2*a = 4*h + 24, -4*a + h - n = 3*h. Solve -a + 5 = q for q.
3
Let d be -1*(3 - 1)/(-1). Solve b - d - 1 = 0 for b.
3
Let w = 4 - 1. Let c be (2 - w/6)*2. Solve c + 0 = 3*l for l.
1
Let i(h) = h + 3. Let c be i(-3). Let z(t) = -2*t**3 - 40*t**2 - 38*t + 3. Let k be z(-19). Solve c = -a + 2*a - k for a.
3
Let z = -440 - -440. Let n be (-1 + 5)/(1 - 2). Let d be (-18)/n - (-2)/(-4). Solve -d*h - h = z for h.
0
Let x = -1 + 6. Suppose -s - m - x = -4*m, -s + 13 = 3*m. Suppose 5*r - 3*r = 0. Solve -s + r = -2*z for z.
2
Suppose -5*y = o - 19, -3 = 2*o + o. Suppose 2*d - 15 = 4*m - 7*m, -2*m = y*d - 10. Solve -12 = -d*n + 4*n for n.
-3
Let h = 6 - -5. Suppose -h = -6*m + 1. Solve 3*u = -m*u - 20 for u.
-4
Suppose -30 = 2*f + 2*g, -4*f - 36 = -0*f - 4*g. Let q(y) = 3*y - 6. Let o be q(5). Let d be (f/o)/(4/(-6)). Solve 1 + 7 = -d*s for s.
-4
Let n(y) = -y**3 + 11*y**2 + 9. Let l be n(11). Solve 0 = -5*w + 6 + l for w.
3
Let z be -3*(-2 - 6/(-9)). Suppose -q - 2 = -2*q. Let u(s) = -s + 2. Let m be u(q). Solve m = z*b - 8 for b.
2
Suppose -5*a + 10 = 2*d - 3*a, 5*d - 25 = 5*a. Solve 0*f - 15 = d*f for f.
-3
Suppose 4*k = -2*b + 10, -b = -k + 2*k - 4. Suppose -4 = -o, -b*u - 5*o + 36 = -2. Solve y - u = -2 for y.
4
Suppose 3*b + 5*d - 20 - 18 = 0, 0 = 4*b - d - 20. Suppose -2*p = -4*p + 4. Suppose 2*s - 2 = b*s + u, -p = -s + u. Solve 0 = y - 1 - s for y.
1
Suppose -5*b + 1 = -9. Solve -b*j = -5 - 3 for j.
4
Suppose 25 = -0*g + 5*g. Suppose 0 = 3*f - 0*f - 6. Suppose f*w - 3 = o, 0*o = -g*w + 5*o. Solve -w*k + 6 = -3 for k.
3
Suppose -4*z - 9 = -57. Suppose -n - 2*n = d - 3, 2*n + 4*d + 8 = 0. Solve -n*u - z = u for u.
-4
Let z = -5 - -12. Let l(t) = -t**3 + 8*t**2 - 3*t + 2. Let u be l(z). Suppose 5*r = -5*i + u, 0 = -2*i + 5*r - 2*r - 8. Solve o + i - 7 = 0 for o.
5
Let g be (-710)/(-25) + (-2)/5. Let r be g/12 - 2/6. Let l be 21/14 + 1/r. Solve -l*p + 3 = -5*p for p.
-1
Let i(q) = 2*q**2 + 15*q + 10. Let p be i(-11). Let l be (-2)/9 - p/(-27). Solve l*v = 5*v for v.
0
Let y(q) = -q**3 + 12*q**2 + 15*q - 18. Let h be y(13). Solve -3*l = h + 7 for l.
-5
Let w = 26 + -20. Solve 4*a - w = 2 for a.
2
Let a = 171 - 167. Solve a = -5*l + l for l.
-1
Suppose 0 = 5*h - 4*m - 18 + 1, -2*m = 5*h - 29. Solve -14 + 4 = -h*z for z.
2
Let k(n) = 5*n + 26. Let o be k(-5). Solve 3 = b + o for b.
2
Let x = 10 - 12. Let k be x*1 - (7 + -13). Solve 0*g - 12 = k*g for g.
-3
Let b(i) = i**2 + 14*i - 12. Let k(p) = -2*p**2 - 27*p + 24. Let h(j) = 7*b(j) + 4*k(j). Let t be h(-10). Solve 0 = s - 5*s + t for s.
3
Let n be (-15)/(-5) - (-1 - -4). Let d be n/(1/2*-2). Suppose d = -w + 1. Solve -w = -a + 2 for a.
3
Let u be (-5)/((-100)/52) - 6/10. Solve -3 - u = -5*k for k.
1
Let x be -10*((-1)/5)/(2/5). Solve -x*q =