ve v = -n - 0*n for n.
0
Let p be (5 + 1)/(1*2). Suppose -2*k = p*k - 35. Solve -k = 5*t - 22 for t.
3
Let c(f) = -3*f**3 + f**2 + 2*f + 1. Let k be c(-1). Solve 14 = -k*y - 1 for y.
-5
Suppose -g - 14 = 2*g + 4*i, -i - 1 = 2*g. Suppose 0 = 3*t - 4*t - y + 1, 0 = -2*t + 2*y + 10. Suppose t*m = m + 6. Solve 0 = -m*j - g*j for j.
0
Suppose -2*p = -2, 6*d - 2*d - 13 = -p. Let h(s) = -s**3 - 17*s**2 - s - 8. Let u be h(-17). Solve 0 = -0*b - d*b - u for b.
-3
Let r = 8 + -4. Suppose 2*z - 3*n - 8 = -n, -12 = -5*z + n. Let l = 2 - z. Solve r*v - 3*v - 2 = l for v.
2
Suppose m - 6 = -j, -2*j + 1 = -2*m + 5. Solve v = -0*v - j for v.
-2
Let y = -21 - -36. Suppose 0 = -3*l - 4*n - 4, 5*n = 2*l - 39 + 11. Suppose 5*z + 2 = -2*h, -l*z = -2*h + 4*h. Solve 0 = h*j + j + y for j.
-3
Suppose -v + 2*p - 8 = -3*v, 16 = v + 4*p. Let m be v/(-2)*(4 + -3). Suppose m*w = 5*w - 75. Solve 4*r + r = w for r.
3
Let j(c) = c**2 - 1. Let f be j(3). Suppose y = -3*q + f, 7*q = 4*q + 2*y + 11. Solve 0 = -q*l - l - 4 for l.
-1
Let c be (-4)/(-6) + 11/(165/(-100)). Let z(p) be the second derivative of -2*p**3/3 - p**2 + p. Let w be z(c). Solve -4*i - w + 6 = 0 for i.
-4
Let p = 1 + 2. Suppose j = -p*j + 16. Solve 0*n = -j*n - 12 for n.
-3
Suppose -5 = 4*p - 5*p. Solve -t = 4*t + p for t.
-1
Let t be 6 + 1 + 9/(-3). Suppose -5*w + 5*z = t - 29, -22 = -5*w + 4*z. Solve 5 = w*l + 3 for l.
1
Let o(g) = g - 3 - 5 + 4 + 2. Let s be o(0). Let p be (-3 + 4)*-2 - s. Solve 2*a + p*a = 8 for a.
4
Suppose -l + 8 = -0*l. Let g = -12 + 17. Solve g*f - f + l = 0 for f.
-2
Let c be 0/(1 + -4) - -4. Solve 0*u - c*u + 20 = 0 for u.
5
Let a(g) = g - 3. Let r be a(-5). Let s be (-1)/(-4) - (-2)/r. Suppose -3*v + s*v = -9. Solve -4 = v*x + 2 for x.
-2
Suppose 0 = z - m, 0 = 2*z + 2*m - 0*m + 12. Let x be (z/(-5))/((-3)/(-15)). Solve -x*a - 5 = -2 for a.
-1
Let b(r) = -r**3 + 10*r**2 + 12*r - 11. Let m be b(11). Solve p + p + 10 = m for p.
-5
Let m = -7 - -9. Suppose -3 = -r - 4*n + 3, 5*r + n - 30 = 0. Suppose m*l = 4 + r. Solve l*v + 19 = 4 for v.
-3
Suppose -6*i + 20 = -i. Suppose z + 10 = 2*z. Suppose -4*u = -r - r + z, 0 = 4*r - u - 34. Solve r*t = i*t for t.
0
Suppose -5*u = -3*b + 93, -8 = -3*b - 2*u + 64. Solve -5*m + 6 = b for m.
-4
Let g = -4 - -5. Suppose 3*m + g = f + 5, -3*m = f + 4. Solve -v - v = m for v.
0
Let b(l) = -l**2 - 5*l - 4. Let z be b(-4). Let t be (-20)/15*(-75)/20. Let q = 5 + 5. Solve z*v + q = -t*v for v.
-2
Suppose -3*g = -4*d + g + 36, -3*d + 24 = -2*g. Solve 0 = 4*c - 18 + d for c.
3
Let a(k) = -8*k**3 + 7*k**2 + 7*k + 1. Let v(l) = -l**3 + l**2 + l. Let h(r) = a(r) - 5*v(r). Let w be h(-1). Solve -w*x - 5 = 7 for x.
-3
Let q(j) = -6*j + 12. Let w be q(2). Solve -4 = -2*t - w for t.
2
Suppose 4*t = -5*g + 10, -3*g + 9 - 40 = -5*t. Suppose 2*p + 4*m = 20, p - t*m + 3*m = -10. Solve p*q = 3*q - 6 for q.
2
Suppose -34 + 13 = -7*v. Solve v*i - 4 = -7 for i.
-1
Let w = 10 + -22. Let c = -11 - w. Solve -3*o - c = -4 for o.
1
Let c(k) = k**2 - 3. Let r be c(-3). Solve -5*a + r + 9 = 0 for a.
3
Let d be 2 + (-2 - (-11 + 0)). Solve -d = -4*g + 1 for g.
3
Let s = 58 - 58. Solve -5*x + 4*x - 4 = s for x.
-4
Let r be 2/6 - (-1)/(-3). Suppose -k - 3*k = 2*o - 16, 2*o = -2*k + 10. Solve -c - 2 - k = r for c.
-5
Suppose 120 = 7*t - 2*t. Suppose t = 2*c + 2*c. Suppose c*y - 40 = y. Solve y*d = 4*d - 20 for d.
-5
Suppose 5*a + 2*x + 2*x = 22, 0 = 4*x - 12. Solve -a*q = q - 3 for q.
1
Let f(k) = -k**2 + 2*k + 2. Let w be f(2). Let q be ((-1)/2)/(w/(-44)). Let c(m) = -m + 13. Let o be c(q). Solve 3*a = o + 1 for a.
1
Let q(j) = 2*j**2 - 4. Let b be q(-4). Let m be (-2)/(-4) + b/8. Suppose -3*u = d - 0*d - 2, -3*u - 2*d = -m. Solve u = -k - 3*k for k.
0
Suppose -3*a - 40 - 17 = -3*o, -3*a = -5*o + 97. Solve -4*t + o = t for t.
4
Let p(u) = -u**3 - 3*u - 2 + 2*u - 2*u**2 + 1 - 3*u**2. Let s be p(-5). Suppose -s*v + 7 = -5. Solve -17 = v*x - 2 for x.
-5
Let u = 59 - 55. Solve b = -3*b - u for b.
-1
Suppose h = 5*h + 2*h. Let x = 3 + 2. Solve h = y - x + 3 for y.
2
Suppose -3*k = -3 + 6. Let r be (1/k)/(3/(-15)). Solve -2*i + r*i = -3 for i.
-1
Let y(l) = l**3 - 7*l**2 + 2*l - 14. Let x be y(7). Solve x*q = 5*q + 20 for q.
-4
Let w be (4/5)/((-10)/(-25)). Suppose 0*g - g - w*x - 1 = 0, 0 = -3*g - x + 12. Solve -j = g - 1 for j.
-4
Let b(l) = -l**2 - 16*l - 26. Let i be b(-14). Solve -i*a - 3 = -3*a for a.
3
Suppose 2*p - 27 = -3*q - p, 0 = q + 3*p - 1. Let x = q + -3. Solve -5*a + 10 = -x for a.
4
Let g be 530/50 + 2/5. Solve g = 5*k + 1 for k.
2
Suppose c + 5*o = -17, -4*o - 4 = c + 3*c. Solve -c*h - 2 = 1 for h.
-1
Let r be (2/1)/(4 + -3). Suppose -3*k + 4 = -r. Solve 0 = -3*h + k*h - 4 for h.
-4
Let a = -6 - -11. Let q = -6 - -23. Suppose -3*c + q = 7*d - 2*d, a*d = 5*c + 25. Solve 0 = -d*x + 6*x for x.
0
Suppose 2 = 4*b + 3*t, -5*t - 2 = 3*b - t. Suppose -b*l - l = -6. Solve l = -4*k - 14 for k.
-4
Let o be 3*(-14)/(-18) + (-2)/6. Let s = 4 + 0. Let m be s/(-14) + 32/14. Solve o*h - 16 = -m*h for h.
4
Let r = 6 - -5. Suppose m + 40 = 5*m. Let b be (2 - -3)*62/m. Solve -r = -5*y - b for y.
-4
Suppose 12 + 3 = -2*d - 5*u, 0 = d - u - 10. Solve -d*r = -r - 16 for r.
4
Suppose 0*u - 4 = -2*u. Let c(f) = -f**3 - 11*f**2 - f + 5. Let l be c(-11). Suppose l*x = 7*x. Solve -a + u*a = x for a.
0
Suppose 20 = 5*t, -16*s + 21*s = 4*t - 16. Solve s*q - 3*q = -6 for q.
2
Let b(u) = -5*u - 4. Let r be b(-4). Suppose 3*s = -3*o - 12, 4*o - 5 + r = s. Let i be 2*s + 4/1. Solve i*p - 2 = p for p.
2
Let l be 0*(2 - 6/4). Solve 4 = b - l for b.
4
Suppose -3 - 18 = -3*r. Solve -4*d + r + 1 = 0 for d.
2
Let a = 11 - 10. Solve 4*k - 3 - a = 0 for k.
1
Let p = -6 - -10. Suppose -j = -o - 26, -16 = p*o - 0*o. Solve j = 4*l + 10 for l.
3
Let p be 0*((-9)/2 - -4). Solve 4*i - 7 - 1 = p for i.
2
Suppose 2*l - m + 2*m - 9 = 0, -3*m = l - 12. Suppose -d - l*d = 0. Solve d*t = 2*t + 8 for t.
-4
Let b = 3 - -2. Suppose -4*z + 3*x = 7, -3*x = 5*z - 4*x - b. Solve -z*o = o for o.
0
Let b(g) = g**3 + 3*g**2. Let x be (-2 - -2) + -3 + 0. Let o be b(x). Solve o = -3*s - 2*s + 10 for s.
2
Let d = -15 + 19. Suppose -6 = -d*g + g. Solve 3*m = -g*m - 15 for m.
-3
Suppose 0 = -5*d + 5*z + 25, 7*z = d + 4*z - 7. Solve d*c = -9 - 7 for c.
-4
Let u = 1 - -3. Solve -u*a + a = -9 for a.
3
Let c be (-2)/7 - 24/14. Let a be 32/20*(-15)/c. Solve -5*q + a = -q for q.
3
Suppose 5*g = 7*g. Suppose u + g - 2 = 0. Solve -r - 4 = -u*r for r.
4
Let m(n) = -n**3 + 6*n**2 + 2*n. Let a be m(6). Suppose 0 = 3*q - a, k = 4*q - 10 + 4. Solve 0 = -3*b - k - 2 for b.
-4
Let o be (-8 + 3 - -3) + 1. Let u = -1 - o. Solve u*m = 5*m for m.
0
Let b be 104/78*6/4. Solve -5*y = -b*y for y.
0
Let y = 1 - 1. Let c = 6 + -3. Suppose y = c*v - 7*v. Solve v = 2*w + 3 - 9 for w.
3
Suppose 3*h - 5*a - 35 = 0, -3*h = -7*h + 5*a + 40. Solve h*t = -0 + 25 for t.
5
Let q = 3 + 8. Solve -5*h + 9 + q = 0 for h.
4
Let i be 6/2 - (-2 + -1). Let y = -6 + i. Solve y = 3*v - v - 4 for v.
2
Suppose 3*h - 4*t = -0*t - 48, -45 = 3*h - 3*t. Let k = -9 - h. Solve 0 = k*c + 3 - 18 for c.
5
Suppose u + 4 = -4*w, 4*u + 4*w + 4 - 12 = 0. Let o(c) = c**2 + 2*c - 5. Let b be o(-4). Solve s - b = -u for s.
-1
Let b = -2 - -5. Suppose 31 + 14 = b*l + 3*o, 0 = 3*o. Solve j - l = 4*j for j.
-5
Suppose 0 = 2*f + x - 12, -3*x = 2*f - x - 12. Let i(z) = -z + 6. Let y be i(f). Solve 0 = -2*r - 6 - y for r.
-3
Let v be (-2 + 2/4)*-2. Let y be (v/5)/(1/5). Solve -4*c = -y*c - 4 for c.
4
Let c = 32 + -30. Solve 0 = -b + c for b.
2
Let a = 97 + -91. Solve q + q - a = 0 for q.
3
Let h(g) be the second derivative of -g**5/20 - g**4/4 - g**3/6 - 2*g**2 + 4*g. Let r be h(-3). Let z be 3/(r + -11)*-4. Solve 6 = -i + z for i.
-5
Let b(s) = 14*s**2 - 13*s + 32. Let d(m) = -5*m**2 + 4*m - 11. Let y(o) = -4*b(o) - 11*d(o). Let f be y(6). Suppose -10*q = -12*q. Solve q = f*u - 6 + 26 for u.
-4
Suppose 5*s - 6 = -c, 2*c + 5*s - 11 = 1. Solve 0 = 4*r - r + c for r.
-2
Suppose -4*m = -m. Suppose 5*k = -m*k + 60. Suppose 0 = 4*q - 2*j - j + k, -4*q + 2*j - 8 = 0. Solve q = 2*a - 0*a + 4 for a.
-2
Suppose h + 3*h - 4 = 0. Solve -r + 3 = h for r.
2
Let f = 11 + -19. Let s(u) = 0 - 7 + 1 - 2 - u. Let g be s(f). Solve g*v - 2 = -v for v.
2
Let z(q) = q + 2. Let w be -1*4*(-1)/(-2). Let f be z(w). Suppos