e h(-4). Suppose -8 + z = -v. Solve o = -v*o for o.
0
Let t be 1/1*2/1. Let s = -39 + 41. Solve t*o + s*o = 12 for o.
3
Suppose 68 = 2*g + 2*g - 4*l, -2*l + 10 = 0. Suppose 3*o = -2*o + 10. Suppose 2*k - g = 4*p, 11 + 5 = 2*k - o*p. Solve 1 = -k*z - 14 for z.
-3
Let v be -5*((-128)/(-20))/(-4). Suppose 0 = 4*a - v - 12. Solve -20 + 0 = -a*q for q.
4
Let t(z) = -z**3 - 12*z**2 - 11*z + 3. Let y be t(-11). Solve 2*h = -y*h + 20 for h.
4
Let y be ((-3)/2)/(16/(-32)). Solve -y = g - 1 for g.
-2
Suppose -o - 5*u - 19 = 0, -5*u - 8 - 7 = 5*o. Solve 2*p + o = 7 for p.
3
Let l = 7 - 4. Solve -s + l*s + 2 = 0 for s.
-1
Let f = -12 + 15. Solve -4*u + f - 11 = 0 for u.
-2
Let n = 5 - 2. Suppose -2*q + 3*q - n = 0. Solve -t + 16 = q*t for t.
4
Let s(x) = -2*x - 22. Let z be s(-11). Solve v + 2 - 1 = z for v.
-1
Suppose -3*f + 14 = i, -2*f + 0 = i - 10. Solve 2 - 10 = i*j for j.
-4
Suppose -n - 4*n = 0. Let b = -3 + -4. Let q be (-3)/b - 4/(-7). Solve n = w + q for w.
-1
Let v(u) = -u**2 - 3*u + 1. Let y be v(-3). Let s(z) = z - 4. Let l be s(4). Suppose 0 = -d - l*d + 3. Solve 2*w = d + y for w.
2
Let p = 4 - 1. Let x(m) = m**2 - 3*m + 3. Let z be x(p). Solve -z*b = -b for b.
0
Let x(h) = -2*h + 33. Let p be x(15). Solve 0*o - p*o = -15 for o.
5
Suppose -3*m = -n - 1, -1 = 2*n - n. Let a = 30 + -27. Solve 0*l + a*l + 15 = m for l.
-5
Let v be ((-12)/3 + 6)*(0 - -1). Solve 3*m - 1 - v = 0 for m.
1
Let z be 20/(-15) + 2/6. Let g be (z + 0)*0 + 2. Suppose 3 + 1 = g*i. Solve i*m - 2 - 8 = 0 for m.
5
Suppose -3*z + 3*k + 19 = 2*z, 5*z + 4*k + 2 = 0. Suppose i + 1 - z = 0. Let v be 0 - -5 - (i + -1). Solve 0 = v*a + 10 - 35 for a.
5
Let l be 2/4*0/(-1). Solve l + 6 = -2*f for f.
-3
Let c be (3 - (1 + 1))*11. Let d = -6 + c. Solve -5 = -d*f + 10 for f.
3
Let l = -9 + 11. Suppose 0 = l*t + 2*t - 36. Solve 2*h + t = -1 for h.
-5
Suppose 43*m = 41*m + 8. Solve -5*r - m = -r for r.
-1
Let x be 6/2 - (-3)/(-1). Suppose -3*l + 8 = p - 0*p, -5*l = -4*p + 32. Solve x = w + w + p for w.
-4
Suppose -11*w + 5*w = 0. Solve w = -0*l - l for l.
0
Let p(u) = u**3 + u**2 + u + 4. Suppose 2*h + 0*g = 3*g + 7, -g = h + 4. Let s be (h + 0)*(1 + -1). Let z be p(s). Solve 0 = z*x - 0*x for x.
0
Let u(n) = -n + 2. Let k be u(-2). Let o = -2 + 2. Solve -2*l + l + k = o for l.
4
Let o = 8 - 0. Solve -f + 3*f = -o for f.
-4
Suppose 0 = -s - 2*s + 6. Let a = s + 3. Solve 0 = -3*f + 2 - a for f.
-1
Suppose -3*x + 2*x + 2*x = 0. Solve 0*p + 3*p = x for p.
0
Let w be (-39)/6 - (-1)/2. Let y = w - -12. Solve -4 = -2*g + y*g for g.
-1
Let t(y) = 4*y + 2*y**2 - 9 - y**2 - 1 + 2. Let l be t(-6). Solve l*q - 8 = -0*q for q.
2
Suppose -2*p - 1 = 7. Suppose -3*a = 4*m - 1, -4*m + 3 = -m + 3*a. Let j = m - p. Solve 5*k - 12 = -j for k.
2
Let p be (-2)/(-4)*(5 - 1). Let x be (10/6)/((-50)/(-60)). Suppose 62 = 5*t + x. Solve 0 = p*y - 5*y + t for y.
4
Let r = 2 - -2. Suppose -t - 4*t + 15 = -g, r*t + 17 = -5*g. Let x be 21/(-14)*(-8)/6. Solve t*d - 12 = -x*d for d.
3
Let q = 5 + -5. Solve q = -2*l + 3*l - 3 for l.
3
Let t be (-3)/(-9 + 3)*4. Solve -t*k - 5 = -3 for k.
-1
Let x = -2 - 0. Let i be (-1 + 3)*1/x. Let o be 2/(-5)*(-4 + i). Solve 0 = 6*f - o*f - 12 for f.
3
Suppose -4*n + 18 = o, -3*o + n = -o. Let c(l) = l**2 - l - 3. Let p = 1 + 2. Let w be c(p). Solve w*v + o*v = -20 for v.
-4
Let b be 8/(-12) - 25/3. Let z(u) = -u**2 - 9*u + 5. Let h be z(b). Let q be (-26)/(-10) - 4/(-10). Solve -q*w - 2 + h = 0 for w.
1
Let x = -17 + 21. Solve -2*p + x*p = 0 for p.
0
Suppose -5*a + 2*i + 14 = 0, -i - 1 = 1. Let l = 25 + -23. Solve l*d = -a*d for d.
0
Suppose 0*c + 15 = -c. Let b be c/(-6) + 3/6. Solve 5 = -2*h - b*h for h.
-1
Let g(n) = n + 1. Let b(r) = 9*r + 7. Let v(c) = -b(c) + 6*g(c). Let a be v(-4). Solve -5*t - a - 9 = 0 for t.
-4
Let h be (2 - 2)/(2*-2). Solve -2*k + 0*k + 10 = h for k.
5
Let i = -32 - -38. Solve 2*k + i = -0*k for k.
-3
Let x be 16/(-6)*(-3)/2. Solve 10 = -3*w + x for w.
-2
Suppose o - 1 + 2 = 3*p, -4*p + 5*o - 17 = 0. Solve -p*x = -6*x for x.
0
Let t(m) = m**3 - 26*m**2 - 26*m - 22. Let n be t(27). Solve -n*z = -z for z.
0
Suppose i - 7 = -p, -i - 2*p + 5*p = 13. Let l be 2/4*1*12. Let w(c) = c + 16. Let v be w(-12). Solve v*q = -i + l for q.
1
Let u(c) be the second derivative of c**4/6 + 2*c**3/3 + c. Let s be u(-4). Let n = -33 + 38. Solve s = n*q - q for q.
4
Let u(s) = -s**2 - 12*s - 7. Let k be u(-11). Solve -k*y = 19 - 3 for y.
-4
Suppose 0 = -2*g - 3*g + 20. Suppose -y + 5*m - 2 + 4 = 0, -g = -y + 3*m. Solve 3*d = y*d - 16 for d.
4
Let k = 123 - 117. Solve -3*w + k = -w for w.
3
Suppose -2*g + 6 + 4 = 0. Suppose 2*h + 9 = g*h. Solve 2*f + h = f for f.
-3
Let k = 40 - 35. Solve -5 - k = -5*u for u.
2
Suppose -2*z + 4*y = z - 9, z = y + 3. Solve -5 = 2*i - z*i for i.
5
Let c be 2/(-4)*(12 + -12). Suppose -q + 5*q = c. Solve q*k + 3*k - 3 = 0 for k.
1
Let z = 4 + 6. Solve 0 = -g + 3*g - z for g.
5
Let k = 38 - 36. Solve -3*h + k*h + 4 = 0 for h.
4
Let o be 5 + 19/(-4) + 2/(-8). Solve o*q - 2*q + 10 = 0 for q.
5
Let x be 5/25 - (-24)/5. Solve x + 0 = -y for y.
-5
Let o(z) be the third derivative of z**4/24 + 2*z**3/3 - 4*z**2. Let q be o(0). Solve i + q = 2*i for i.
4
Let t(j) = -j**2 - 2*j + 3. Let y = 17 + -20. Let s be t(y). Solve 3*g + 8 + 4 = s for g.
-4
Let i(a) = a**2 - 10*a + 4. Let l be i(10). Solve -l*c = 1 + 7 for c.
-2
Suppose 2*j + 3*l = -l + 34, -5*j = -4*l - 141. Let i = 27 - j. Solve 0*s + s = -i for s.
-2
Let s = -69 + 84. Solve a = 4*a + s for a.
-5
Let b(g) = -4*g - 1. Let z(f) = -f**2 - 1. Let c(k) = -b(k) - 2*z(k). Let w be c(-3). Suppose -33 = -4*y - w. Solve u = 3*u - y for u.
3
Let k(y) = -y**2 - 8*y + 9. Let r be k(-9). Solve -4 = -2*f - r*f for f.
2
Let o = 11 - 8. Let r(a) = -a**2 + 6*a. Let u be r(o). Solve 29 - u = -4*k for k.
-5
Let i(y) = y**2 + 8*y + 7. Let p be i(-7). Suppose 4 + p = 4*q. Solve 4*n = q - 5 for n.
-1
Suppose 2*s - 13 = -2*s - 3*k, s = 3*k - 8. Solve -5 + s = v for v.
-4
Let c be 5*(-1 - 14/(-10)). Suppose i = -c*i. Suppose i = s - v - 3, 5*s + 2*v - 25 = -3*v. Solve -3*y - s = -y for y.
-2
Suppose 6 + 0 = 2*x. Solve -d - 20 = x*d for d.
-5
Suppose -u - 4*u = -2*j + 45, -26 = u + 3*j. Let r = 21 + u. Solve k - r = -k for k.
5
Let f = -4 + 4. Suppose -2*a + 4*a = f. Suppose -4*i + 3 + 5 = a. Solve 0 = 5*q - 3 - i for q.
1
Let k = 12 - 4. Let o be 8/2 + 20 + -2. Suppose -4*c + 2*g = -o, 3*g + k = c + 2*g. Solve -l = -c*l + 6 for l.
3
Let m(g) = -g**2 - 4*g - 1. Let b be m(-3). Suppose 0 = -3*w - 3*v, b*v - 6 = -4*w - w. Let p be 28/12 - w/(-3). Solve 2*s + 7 = p for s.
-2
Let z(u) = -u**3 - 3*u**2 + 2. Let p be z(-3). Let h be p/7 - 240/(-42). Solve -h = -c - 2 for c.
4
Let d(n) = n**3 - 13*n**2 + 12*n - 16. Let p be d(12). Let b = 18 + p. Solve 1 = -b*v + 11 for v.
5
Let m(d) = 2*d - 1. Let t(o) = 2 + o + 0*o - 5. Let j be t(5). Let c be m(j). Solve -c*a = -a + 10 for a.
-5
Suppose p - 3 + 5 = 0. Let g = -1 - p. Let i be 1*g/(-3)*-12. Solve 2*f + 12 - i = 0 for f.
-4
Suppose -4*f + 6 = -10. Suppose -f = -l + 1. Suppose -l*c + 20 = -5. Solve 0 = c*z + 10 - 0 for z.
-2
Suppose 0*g + 10 = i + g, 4*i = 3*g + 33. Solve k + 4 = i for k.
5
Suppose -22 + 4 = -3*m. Suppose -4*u + 26 = m. Solve 0 = 4*x - u*x + 3 for x.
3
Suppose -m + 0 - 7 = -5*y, -5*m + 5 = -5*y. Solve m*l = l + 4 for l.
2
Suppose v + 12 = 5*v. Solve v*x + 0*x = 9 for x.
3
Suppose -4*i + 8 = -0. Let s be -1*1/i*0. Solve c + 3*c = s for c.
0
Let c = -6 - -8. Suppose 8*j = 4*j + 20. Solve -3 + j = c*s for s.
1
Suppose -514*k + 40 = -509*k. Solve 2*c = -2 - k for c.
-5
Let g = -32 + 43. Solve -4*w + g + 1 = 0 for w.
3
Suppose 0 = -0*z + 2*z - 4. Solve 0 = z*r + 10 for r.
-5
Let w be 2/6 + 88/(-12). Let z = w - -12. Solve 0 = u - z*u + 16 for u.
4
Let c(h) = h**2 - 10*h - 5. Let y be c(11). Let t = -3 + y. Solve 4*m = 7 - t for m.
1
Let f(h) = -h**2 + h + 3. Let l be f(0). Suppose -5*p + 9 = -2*p. Suppose 6 = p*w, n = -n - 4*w + 8. Solve l*q + 1 - 16 = n for q.
5
Let b(u) = u**3 + 4*u**2 - 5*u. Let k be b(-3). Solve 5*y - 9 + k = 0 for y.
-3
Let c(l) = 2*l. Suppose -h + 5*h + 48 = 2*i, -2*h = 2*i - 60. Let n be (-2)/6 + i/12. Let x be c(n). Solve 2 = -x*z - 10 for z.
-3
Let s = -58 - -64. Solve 2*l = s*l for l.
0
Let z(c) = c**3 + 13*c**2 - 31*c - 10. Let l be z(-1