
-5
Let v(t) = t - 9. Let d be v(8). Let u be -1 + 1 + (-7 - -3). Let b = d - u. Solve 2*p - b*p = -4 for p.
4
Let z be (5/(-4))/((-4)/64). Let f = z + -14. Suppose 0 = 5*y - 4*c - 22, 4*y = 2*y - 5*c - 11. Solve r - f = -y*r for r.
2
Let x be 1/4 - (-30)/8. Let l(g) = 2*g - 1. Let f be l(4). Solve 0 = x*h - f*h for h.
0
Suppose -3*o = 4*o - 14. Solve 0 = -o*y - 3*y for y.
0
Let h be -5 + (-35)/(-7) + 4 + 1. Solve 6*d = h*d + 4 for d.
4
Suppose 0 = s + 4*p - 9, -s - 4*p + 5 = -2*p. Let n = 4 + s. Let u be (0 + n)*2/5. Solve -u = t - 3*t for t.
1
Suppose 4*y - 16 = -0. Suppose -y*f = 1 - 13. Suppose -f = 3*r - 15. Solve 5*x + 1 = -r for x.
-1
Let v(x) = x - 4. Let j be v(7). Solve 4 = -j*i + 13 for i.
3
Let m be (-6)/(-33) + (-128)/(-22). Suppose 5*r + 4*n + 6 = -10, 2*n = 5*r - 8. Suppose r*w = 4*w - 12. Solve m = -w*s - 0*s for s.
-2
Suppose 2 = -2*u - 3*s - 0*s, -2*u = 4*s + 6. Suppose 3 = -3*l - 4*z, 0*z - 2*z = 2*l. Suppose -4*g = -l*g. Solve g = -0*c - u*c for c.
0
Let u(l) = l**3 - 2*l**2 - 4. Let m be u(3). Solve -m*n + 5 = -0 for n.
1
Let w be (2/(-5))/(-1)*10. Let z = w + -4. Solve z*t = -3*t for t.
0
Let r(z) = -z**3 - 5*z**2 + 5*z - 6. Let i be r(-6). Suppose i = -2*c + 3*c. Solve 0*l + l + 4 = c for l.
-4
Let k = -6 - -10. Suppose 0 = -5*a + 25 - 5. Let z be a/10 - (-2)/(-5). Solve z*g - 8 = k*g for g.
-2
Suppose t = 2 + 1. Solve -t*o - 1 + 7 = 0 for o.
2
Let j = -8 + 13. Let p = j + -5. Solve -c + 0 - 5 = p for c.
-5
Let i(s) = s**2 - 8*s + 12. Let m be i(6). Solve m = 4*l + 20 for l.
-5
Suppose -s + 5*z + 23 = 0, 0*s = 5*s + 5*z - 25. Let q be s/(-20) + (-7)/(-5). Solve c + 0 = -q for c.
-1
Suppose 2*a - 13 = -4*c - 1, 0 = -a. Solve 0 = 2*b + c*b - 10 for b.
2
Let x be 2*(3 - 2 - -9). Suppose x = 6*y - y. Solve 3*q - q = -y for q.
-2
Let d(q) = q**2 + 4*q - 4. Let c = -8 - -3. Let s be d(c). Let r be 1/s - (-1 + -3). Solve 20 = -r*b + 5 for b.
-3
Suppose -20 = -4*l + 3*j, 4*j - 13 = 5*l - 38. Suppose -4*x - 2 + 22 = 0. Suppose -f - 4 = 4*z - x*f, -5*z + 19 = f. Solve 2*k - l = z*k for k.
-5
Let m = 8 - 6. Let n be (5 + -5)*m/(-2). Solve -t = -n*t for t.
0
Suppose 0 = -2*o + 2*m + 4, m = 5*o - 9 - 1. Solve 0*v = o*v + 6 for v.
-3
Let a(s) = -s**3 + 7*s**2 - 6*s + 4. Let g be a(5). Suppose 4*j - l + 3*l = g, 0 = 3*j + 2*l - 20. Solve j*h = -13 - 3 for h.
-4
Let j be (-2)/5 + (-1 - 7/(-5)). Solve 2*v - v - 3 = j for v.
3
Let c(w) = -2*w - 22. Let r be c(-16). Solve 5*s = r*s + 15 for s.
-3
Suppose -1 = -h + 2. Solve 0*m = h*m for m.
0
Let o be 1 + (-10)/8 - 312/(-96). Solve -o = 3*l + 12 for l.
-5
Let x = 3 + 0. Let q be ((-2)/4)/(3/(-132)). Let p = q + -13. Solve -24 = -x*a - p for a.
5
Suppose -4*z = -0*z - 12. Solve -2*v + z*v + 2 = 0 for v.
-2
Let o = 20 - 20. Solve -2*n - 3*n = o for n.
0
Let s(j) = j + 1. Let f be s(1). Suppose -5*q + 18 = 4*n, -4*q + 3*n + 9 = -24. Suppose q*c - 3*c = 0. Solve c = -0*i - f*i - 2 for i.
-1
Suppose m - 3*l = -1, -4*m + 4*l + 0*l + 28 = 0. Solve -m = -2*i - 3 for i.
4
Let s(o) = o**2 - 4*o + 6. Let f(k) = 5*k**2 - 19*k + 30. Let x(l) = 2*f(l) - 11*s(l). Let p be x(5). Let h = p - -1. Solve h*d + 5*d = 5 for d.
1
Let a(r) = -r + 3. Let h be a(3). Suppose -2*g = n + 1 - 3, -1 = -g. Suppose n = -h*u + u. Solve u*j = 2*j for j.
0
Let c = 5 - -25. Suppose 15 = a + 3*d, 2*a + 2*d - c = -0*a. Solve -s - a = -4*s for s.
5
Suppose 11*m + 10 = 16*m. Solve 2 = m*b + 10 for b.
-4
Suppose w - 40 = 6*w. Let z = w - -2. Let c be z/15 - 27/(-5). Solve 3*v + 14 = c for v.
-3
Suppose 7 = -3*a - 4*p, 0*p + p + 4 = 0. Suppose a*c - 6 = c. Solve -2*l + 2 = -c*l for l.
-2
Suppose -7*x + 24 = 5*x. Solve -2*h - x = -0*h for h.
-1
Let g = -6 - -6. Suppose -5*b + g*u - 5 = 3*u, -2*b - 4*u = 16. Solve 0*v - b*v - 2 = 0 for v.
-1
Let u(s) be the first derivative of s**3/3 - 2*s**2 - s - 2. Let o(i) = i**2 - 4*i + 6. Let q be o(4). Let z be u(q). Solve -z = -5*d + 4 for d.
3
Let m = 30 - 28. Let k(c) = c**2 - 2*c - 6. Let l be k(5). Solve -l = o + m*o for o.
-3
Let q be 3/(-1)*-1*(-3)/(-9). Solve 1 = -p - q for p.
-2
Suppose 0 = 4*f - 2*f - 6. Let i(g) = -g**3 + 2*g**2 + 3*g + 1. Let z be i(3). Let m = f - z. Solve 0 = -m*k - 3*k for k.
0
Let v(i) = -2*i**3 - 4*i**2 + i. Let s be v(-3). Let c(b) = -b**3 + 8*b**2 + 8*b + 9. Let m be 9*((2 - 0) + -1). Let k be c(m). Solve 7*q - 2*q - s = k for q.
3
Suppose -6*j + j + 36 = -2*y, -2*j - 5*y = -26. Solve 13*w = j*w - 25 for w.
-5
Let z = -6 - -2. Let o = z + 3. Let y be (-2 + o)*25/(-15). Solve 1 - y = -2*w for w.
2
Suppose 3*r + l + 2 = 7, 5*l = 2*r - 26. Suppose -v + 4 = 4*o - 2*o, o = r*v + 2. Suppose -o*h - h + 6 = 0. Solve -h*x = x for x.
0
Let j(n) be the first derivative of -3 - 1/2*n**2 - 5*n + 1/3*n**3. Let a be j(-4). Solve 0*q = -3*q + a for q.
5
Suppose 4*c = n - 13, 4*n - 3*c - 15 - 11 = 0. Suppose -n*u - 32 + 2 = -5*f, f + 4 = -4*u. Solve 12 = -d + f*d for d.
4
Let r be 2 + -2 + 1 + 1. Let g be 8/r - (-6)/(-3). Let d = g - -3. Solve 2*u = -3*u - d for u.
-1
Let j = 13 + -7. Let w(g) = g**2 - 6*g + 3. Let k be w(j). Suppose 2*b + 1 = 3*q - k*b, q = -b + 11. Solve -2*m = -1 - q for m.
4
Suppose l - 5*l = w - 32, l + 3*w = 19. Solve -5*t + l*t - 10 = 0 for t.
5
Suppose -5*y + 3*z - 12 = 0, 8 = -y + 6*y + 2*z. Suppose 3*n - 25 = -10. Let x be n/10 - (-3)/2. Solve y*u + 10 = -x*u for u.
-5
Suppose 0 = 6*k - k + 190. Let g be (-4)/(-14) + k/(-14). Let j be 2/2*2 - 0. Solve 0 = j*d - g*d for d.
0
Let l = 89 - 89. Suppose -69 = -4*r - 5*p, -4*r + 51 = -r + 3*p. Solve l*j - r = 4*j for j.
-4
Let v(p) = -p**3 + 11*p**2 - p + 9. Let u be v(11). Let s = u - 0. Let c be s - (-14 - 0/1). Solve i - c = -2*i for i.
4
Let q be (-52)/(-9) + (-24)/(-108). Solve 0 = -3*g - q + 21 for g.
5
Let g = 123 + -123. Solve 0 = -3*h - g*h + 9 for h.
3
Suppose 6*p - 2*p = -2*v + 4, 5*v + 3*p = 3. Solve v*n - 2*n - 4 = 0 for n.
-2
Suppose 5*x - 30 = -5*m, 3*m = -5*x + 8 + 18. Suppose -2*u - 6 = 0, m*h - 2*u = -0*u + 12. Let g be 1 + 0 - (11 + -10). Solve -2*z + h + 1 = g for z.
2
Suppose n - 2*a - 10 = 0, 2*n + 3*a = 1 - 16. Suppose l + n*t - 2*t = 30, -2*t + 70 = 4*l. Solve 6*o = 2*o - l for o.
-5
Let h = -31 - -21. Let d be (-265)/h - 6/4. Solve -t - d = 4*t for t.
-5
Let u(i) = i + 4. Let b be u(-1). Solve -b*n + 8*n = 20 for n.
4
Let x(b) = 6*b**2 - 4 - 1 + 4 - b. Let n be x(-1). Suppose h + 16 = -5*k, 0 = -3*h - 0*h - 2*k + 4. Solve -n = -7*p + h*p for p.
2
Suppose 70 = -4*a - 3*q - 7, -5*q = 3*a + 44. Let n = 26 + a. Solve -n*s = 2*s + 20 for s.
-4
Let k(h) = -h + 1. Let u be k(0). Suppose 5*f + 3*t = u, -2*f + 3*f = -t - 1. Solve o - f + 3 = 0 for o.
-1
Let r(u) = -u**2 - u + 1. Let y be r(0). Let w be (5 - 1)*(y + 0). Let l(c) = -c**2 + 7*c - 4. Let h be l(w). Solve q = -3*q - h for q.
-2
Let s(o) = -o**2 + 6*o + 7. Let j be s(6). Suppose 2*u = j*u - 45. Suppose 2*b + 8 = 5*l - 16, 0 = -3*b - 6. Solve u - 25 = -l*m for m.
4
Let c = 6 + -4. Suppose -2 = -x + c. Suppose -40 = -4*m - 5*b - 9, 0 = -4*m + b + 13. Solve x + 0 = -m*r for r.
-1
Let y = 26 + -24. Solve 0*f + y = -f for f.
-2
Let i(j) = j**3 - 4*j**2 + 4*j. Let x be i(3). Suppose x*q + 1 = 7. Suppose -5*r + q = -4*r. Solve r*d = -d for d.
0
Let t(w) = -w**2 + 6*w + 2. Let z be t(6). Solve -l = -6 + z for l.
4
Let c = 24 - 24. Let g be -2 + (-2 - 0) + 4. Let r = 2 + g. Solve c = m - r*m for m.
0
Let k = -2 - -3. Suppose -5*z - 3 + 18 = 0. Let s be (1 - (-6)/z)*k. Solve 0 = -4*p + s + 13 for p.
4
Suppose 0 = -5*t + 2*q - 54, -2*q - 30 = 5*t - 3*t. Let n be 1/(2*(-3)/t). Solve -3*x = n*x for x.
0
Suppose -4 + 0 = -4*d. Let g = 4 + -4. Solve g = y + d for y.
-1
Suppose 4*w = 3*w + 4. Suppose 0 = -w*p + 34 + 2. Solve 3 + p = -4*y for y.
-3
Suppose 0 = -5*g - 4 + 9. Solve 4*f = -g + 5 for f.
1
Let r = 10 - 0. Solve -5*a + r*a + 15 = 0 for a.
-3
Let z(l) = -l**3 - 4*l**2 + 4*l - 2. Let t be z(-5). Suppose 5*f - t*f - 6 = 0. Let s = 16 + -13. Solve -f*o - 12 = -s for o.
-3
Let q(g) = -8*g - 1. Let w = -4 - -3. Let k be q(w). Solve 2*r = k*r - 15 for r.
3
Let n be (0 - 0)*4/(-8). Suppose n*o - o + 8 = 0. Solve -7 = -5*h + o for h.
3
Let t = 31 - 28. Solve -6 = t*v + 6 for v.
-4
Suppose -2*w = 4*d - 34, -w = -3*w + 5*d + 43. Suppose h + 3*o - w = 0, 4*h - 3*o + 5*o - 26 = 0. Suppose h*z - 29 = -5. Solve -15 = z*k - k for k.
-3
Let j(x) 