 Suppose x = 4*h + h. Solve 4*v + 3 + g = h for v.
-4
Let t(c) = -3*c**3. Let q(w) = w**3 + w**2. Let u be q(0). Suppose o - 2*o - 5*a = 26, -2*o - 2*a - 12 = u. Let v be t(o). Solve v*y - 3 = 2*y for y.
3
Suppose -12*m = -2*m - 30. Solve 12 = -7*y + m*y for y.
-3
Let u = -15 + 10. Let r = 5 + u. Solve r = 3*w + w - 16 for w.
4
Let u be 27/(-45) - (-6)/10. Solve s + 3 - 6 = u for s.
3
Suppose 4*q + j + 7 = -32, 3*j = 4*q + 27. Let u(o) = o**2 + 10*o + 9. Let a be u(q). Solve a = -4*p - 21 + 5 for p.
-4
Let b be 1 + (-13 + 2 - 2). Let k be (-6)/b - 74/(-4). Let h = 29 - k. Solve 0 = y - 6*y - h for y.
-2
Suppose -5*r + 56 = 4*k, 0 = 4*r - k - 2*k - 20. Let x = -5 + r. Let i = -1 + x. Solve l = 4 - i for l.
2
Let f = -7 - -17. Solve 7*m = 2*m - f for m.
-2
Suppose -t - n + 1 = 0, 4*n = 2*t - 0*n - 8. Solve -3*d - 5 = -t for d.
-1
Let f = -56 - -81. Let o(w) = 4*w**2 - w. Let i = 1 - 0. Let j be o(i). Solve 2*l + j*l = f for l.
5
Suppose 0*j = 3*j - 6. Suppose 2*q - 5 = -1. Suppose -4 = -j*u - q. Solve 2*o + u = -7 for o.
-4
Let y = 8 + -8. Solve y*s - 2 = s for s.
-2
Let n = 28 - 28. Solve n - 1 = -u for u.
1
Suppose w + 5 = 2*w. Suppose q - 5*q - 3*f = -31, w*f = -4*q + 25. Solve -4*o = 2 + q for o.
-3
Let w(v) = -v**2 - v + 1. Let i be w(0). Let n(b) = -b**3 + 5*b**2 + 2. Let h be n(5). Let u be (i - 7)/(h/(-2)). Solve -u*l + 20 = -l for l.
4
Let n be -2 + 3 + 2 + 1. Suppose 2*i - 16 = -3*x, 3*x - 2 = 10. Solve -3*q = -n*q - i for q.
-2
Let t be (-4)/14 - (-9)/7. Let y be (-3)/t - -1 - -5. Suppose y*r = -4*k + 5, 4*r = 2*k + r - 7. Solve -4*o + k + 6 = 0 for o.
2
Suppose -d = d - 8. Suppose t - d = 1. Solve -t*k = -k for k.
0
Suppose -2*x + 11 = -x. Suppose -5*m + 4 = -x. Solve m - 9 = -3*w for w.
2
Let w = -9 + 25. Suppose 16*g - 135 + 55 = 0. Solve o = g*o + w for o.
-4
Let i = -15 + 30. Solve 0*t - 5*t = i for t.
-3
Let l(t) be the first derivative of -t**2 - 9*t + 1. Let p be l(-6). Solve 0 = -q - 6 + p for q.
-3
Let y(l) = -l**2 - 5*l - 1. Let t be y(-3). Suppose 4*u - 4*d - 16 = 0, -t = -5*u + 4*d + 11. Solve -f + 3 = -u*f for f.
3
Suppose 14 = -5*m - b + 78, 4*m + 2*b - 56 = 0. Solve d = 4*d - m for d.
4
Let p be 1479/119 + (-6)/14. Solve h - p = -2*h for h.
4
Let n be 3/(-5) + (-86)/(-10). Solve -3 + n = q for q.
5
Suppose 5*h - 11 = 9. Solve h*x - 15 = -x for x.
3
Suppose 40 = -0*m + 5*m. Suppose 2*a + m = 6*a. Solve 5 = a*q - 5 for q.
5
Let p be 0 - (31 + 1)/(-2). Let a(x) = x. Let s be a(0). Let d be s + -1 + p/1. Solve -5 = 5*b - d for b.
2
Suppose 0 = 4*j + j - 115. Suppose 5*u - j = -5*v + 2, v = 3*u + 5. Let t = -19 - -29. Solve -v*g + t = -5 for g.
3
Suppose 6*k - 52 + 34 = 0. Solve 0 = 2*z + 1 - k for z.
1
Let i = 3 - -1. Let d be i + 2/(-1) + 2. Solve -m = d*m + 15 for m.
-3
Let b = -2 - -1. Let d be ((-1 + 1)/b)/1. Let r(f) = 3*f. Let x be r(1). Solve -i - 7 + x = d for i.
-4
Let v = 12 + -12. Solve 3*t - 5*t - 8 = v for t.
-4
Suppose p - 30 = -5*k, -2*p + 4 + 1 = -k. Solve 0 - 10 = -k*q for q.
2
Let s(k) = k. Let a(r) = r**3 - r**2 - 6*r + 4. Let c(q) = a(q) + 5*s(q). Let h be c(0). Solve 16 = 5*x - h for x.
4
Suppose 0 = -3*h - 2*u - 2*u + 18, -2*h - 5*u = -19. Solve h + 1 = -3*t for t.
-1
Suppose 5 = w, -2*t + 17 = 4*w - 27. Solve -3*o - t = o for o.
-3
Suppose 16*d = 23*d. Suppose -g = -5*l + 5 - 25, 0 = l + 4. Let a = 4 + g. Solve d*p = -a*p for p.
0
Suppose -m - 5*n - 32 = 0, 0 = -3*m + 2*m - n - 28. Let d = -22 - m. Solve -d*g - 6 = -2*g for g.
-2
Let z(f) = -2*f + 2. Let y be z(-1). Suppose -y - 1 = -a. Solve -1 + a = 4*m for m.
1
Let o = 27 - 24. Solve 14 - 2 = o*g for g.
4
Let t = 15 - 15. Solve t = c + 2 for c.
-2
Let g = 15 + -14. Suppose 0 = -r + 2 + g. Solve -r*u - 6 = -0 for u.
-2
Let a(g) = 2*g**3 - 3*g**2. Let j be a(2). Let v(t) = t**3 - 4*t**2 + 2*t - 3. Let f be v(j). Suppose -f*o + 12 = -3. Solve 0*x + o = -3*x for x.
-1
Suppose -r + 4 = 3, 9 = 2*u + 5*r. Solve 6*j = u*j - 12 for j.
-3
Let j(f) = -4*f - 19. Let v be j(-5). Solve 0 = -g - v - 2 for g.
-3
Let p be 9/(-12) - 46/(-8). Solve m = 6 - p for m.
1
Suppose 0 = 2*f + 5*h - 25, f - 2*h = -0*f + 26. Suppose -3*q + f = -2*v + 8, -5*q - 3*v = -1. Let r be -3*(-1 - -1 - q). Solve w = 3*w + r for w.
-3
Let a = 51 - 49. Solve 0 = a*c + 2 + 2 for c.
-2
Suppose -8*n + 3*n = 0. Let q be 26/(-3) + 8 - 16/(-6). Solve n*r - r = q for r.
-2
Suppose 0*g - 5*r + 25 = 5*g, 0 = -4*g - 3*r + 17. Solve 1 = 3*j - g for j.
1
Let x(t) be the first derivative of -3*t**2/2 - 2. Let w be x(1). Let f be w*(-4)/(-6) + 11. Solve -2*j + f = -1 for j.
5
Let n be (-3)/(11/(-4) + 2). Suppose 0 = 7*r - 2*r. Let a = -5 + 9. Solve -n + r = -a*k for k.
1
Suppose 0 = 5*s - 3*a - a + 25, 38 = -2*s - 4*a. Let j be (s/6)/((-1)/2). Solve -t = -j + 2 for t.
1
Let n(h) = 2*h - 10. Let t be n(6). Let r(x) = -x + 9. Let i be r(5). Solve 0 = t*f + i + 6 for f.
-5
Let t(n) = 2*n - 9. Let o be t(10). Let a = -7 + o. Solve r = -a*r + 25 for r.
5
Suppose -33 = -3*q - 3*y, -5*q - 4*y + 55 = -3*y. Let v = 23 - q. Solve -4*g = -0*g - v for g.
3
Let u = -50 + 66. Solve -5*d = 1 - u for d.
3
Let m(h) = -h**3 - 8*h**2 - 8*h + 1. Let w be m(-7). Let o be (-2 - -2)*4/w. Solve -1 = -l - o*l for l.
1
Let f(o) = -4*o**3 - o**2 - o. Let v be f(-1). Solve 0 = v*q - 4 - 16 for q.
5
Let u(c) = -2*c**2 + 2*c + 6. Let q be u(0). Solve q*d = 4*d + 4 for d.
2
Suppose -2*h + 40 = 2*h. Let b(l) = l**3 - 9*l**2 - 9*l. Let x be b(h). Solve -5*m + 0*m - x = 0 for m.
-2
Let w = -38 - -14. Let s = -8 - w. Suppose 4*x - 8*x + s = 0. Solve x*c = c for c.
0
Suppose -3*u - p = -4, 4*u - 6*p - 37 = -p. Let f be 4/12 - (-5)/u. Solve f*r + 0*r = -6 for r.
-3
Let c(u) = 2*u**2 + 0*u**2 + 1 + 1 + u. Let r be c(2). Solve -4*v = -0*v - r for v.
3
Let f be (-2 - -2)*(-2)/4. Suppose -27 = -3*m - 3*a, 0*m - 4*a = m - 12. Let n = m + f. Solve 0 = 4*s - n - 8 for s.
4
Let z = 14 - 8. Suppose 24 = 3*i - z. Let p be 4/i + 232/20. Solve -3*n + p = -0*n for n.
4
Suppose -3*b = 3 - 15. Suppose 0 - b = -x. Let p be 4/(-6)*(-6)/x. Solve -5*a + 6 = p for a.
1
Let v(m) = -m + 4*m + 8 - 2*m. Suppose -3*q + 5*f - 15 = 0, -q - 6 + 1 = 5*f. Let a be v(q). Solve a*t - 16 = -1 for t.
5
Let n(l) = 5*l**3 + l**2 + l + 1. Let g be n(-1). Let p be 6*(0 + 0 + -1). Let c be ((-16)/(-12))/(g/p). Solve -c*i - 4 = -0*i for i.
-2
Suppose 4*v - 4*f = -f + 7, 2*f = 6. Solve 2 = v*s + 14 for s.
-3
Let v(z) be the second derivative of z**4/12 + 2*z**3/3 - 4*z**2 + z. Let x be v(-6). Let r = -1 + x. Solve r - 5 = -h for h.
2
Suppose p - 5*u = 16, -5*p + 29 = 4*u + 7. Suppose -5*y + 2 = -8. Let d(j) = 3*j**2 - j + 2. Let l be d(y). Solve -p*o - l = -2*o for o.
-3
Let z(m) be the first derivative of -m**3 + 10*m**2 - m + 2. Let u(v) = -v**2 + 7*v. Let x(t) = 8*u(t) - 3*z(t). Let n be x(4). Solve -d + 4 = n*d for d.
1
Let s(l) = l**3 + 4*l**2 - 5*l + 5. Let g be s(-5). Let r be (-4)/(-2) - (2 - g). Solve -r*y - 8 = 12 for y.
-4
Let w be (7 - 1) + (-1 - 1). Solve 3*v - 2*v - w = 0 for v.
4
Let q(f) = -f**3 - 10*f**2 - 8*f + 11. Let o(r) = -r**3 - 2*r - 9. Let d be o(0). Let m be q(d). Solve 7 = m*y + 3 for y.
2
Suppose 11*l = 6*l + 10. Solve -l*w - w = 15 for w.
-5
Suppose 3*v - 12 + 0 = -k, 22 = 4*k - v. Solve -2 + k = -2*q for q.
-2
Let j = -17 - -18. Solve -4*o + 7 + j = 0 for o.
2
Suppose 3 = 4*r - 9. Suppose r*k = -m - k - 9, 0 = -m - 3*k - 6. Solve m*u - 2 = 1 for u.
1
Suppose -1 = -2*o + 3. Suppose -3*g + 2*h = h - 11, 2*g - 14 = o*h. Solve -3*u = -g*u for u.
0
Let g(b) = 10*b - 1. Let y be g(1). Suppose y + 3 = 4*f. Solve -f*r = r + 8 for r.
-2
Let s be (-25)/(-6) - (-5)/(-30). Let g(j) = 3*j**2 - 5*j + 3. Let c be g(3). Suppose -5*w = c, -4*w - 23 = -4*r + w. Solve s*l - 6 - r = 0 for l.
2
Let m be (2 + -4)/((-4)/14). Suppose 0 = 3*c + 4*n - 1, 3*c + 2*n + m = 4*c. Solve k - c = -0*k for k.
3
Suppose 0 = -5*b + 2*k + 90, -5*b + b = -5*k - 55. Solve -5 = -5*r - b for r.
-3
Let w be 10/(-10)*(-39)/3. Solve w = k + 15 for k.
-2
Let k be 5/2*(1 + 1). Suppose 0 = q - x + 4, -2*q - 3*x = -7 - 10. Let r = k + q. Solve -2*d = -r - 0 for d.
3
Let y(b) = -b**2 + 3*b + 1. Let z be y(4). Let c be 9 + 3 + z/(-1). Solve h + 2*h = c for h.
5
Suppose 3*h + 6 = -33. Let b = h - -15. Solve -2 - 4 = b*g for g.
-3
Suppose -2*l + 5*a = 4 + 3, 4*a - 20 = 4*l. Let y(p) = -p - 2. Le