= 0 for x.
-1
Let t be ((-6)/8 + 4/16)*0. Solve t = -2*n + 1 + 1 for n.
1
Let h = -8 - -11. Solve f - h = -0 for f.
3
Let l be 0*4/(-8)*1. Solve -2*n + l*n = 0 for n.
0
Suppose -h = -2*h + 6. Let q be 4/h + (-52)/(-12). Suppose 6*l - l = q. Solve -5*a = 6 - l for a.
-1
Suppose 3*q + 7 = 16, 0 = j - 3*q. Suppose -j = i + 3*v, -5*v + 5 = 5*i - 0*v. Let a be ((-4)/i)/(4/(-30)). Solve 0 = -4*n + 15 + a for n.
5
Suppose -4*h = 3*t - 2, -3*h + 0*t - t = -4. Suppose -3 = -q - 4*j, -5*q + h*j + 15 = j. Solve q*o + 7 + 8 = 0 for o.
-5
Let k = 10 - 10. Solve k = z + z for z.
0
Let n be 0 - 3/((-12)/224). Let p be (2/4)/(7/n). Solve -p*s + 3*s - 5 = 0 for s.
-5
Let t be 1 + (-1 - -3) - -2. Suppose 2*m - 3*q = 3, 0 = m + 3*m + t*q - 39. Let y(s) = -2*s - 1. Let l be y(-2). Solve -x = -l*x - m for x.
-3
Suppose -a + 2*u + 25 = 0, -2*u + 10 = 2*a + 2*u. Let h = 4 + -9. Let v = h + 8. Solve a = -2*p - v*p for p.
-3
Let a(w) be the third derivative of -w**4/24 - w**3/6 + 3*w**2. Let o be a(-3). Solve 0*q + o*q + 6 = 0 for q.
-3
Let y be (-2)/3 + (-4)/(-6). Suppose 0 = -0*u + u - 4. Suppose -3*x + g - 20 = -4*x, u*x + g - 68 = 0. Solve y = -2*p - 2*p - x for p.
-4
Suppose 7*s + 0*s = 0. Solve s = -2*w - 0*w - 6 for w.
-3
Let q = 59 + -57. Solve -4*z + 10 = q for z.
2
Let j(i) = 6*i + 5*i**3 - 2*i**3 + 9 - 2*i**3 - 2*i**3 + 6*i**2. Let u(r) = 3*r + 1. Let f be u(2). Let q be j(f). Solve -q*y + 5 = 3*y for y.
1
Suppose 0 = k - 4*k. Let g be (-2)/(-10) - 34/(-5). Suppose k*m = -m + g. Solve m*j = 2*j + 25 for j.
5
Let c(w) = w - 2*w - 7*w. Let d be c(-2). Suppose 0 = -0*v - 5*v + 4*o + d, 3*o - 19 = -4*v. Solve 4*g = -v - 0 for g.
-1
Let w(z) = -z**2 - 5*z - 1. Let h be w(-6). Let p be (h + -2)*1/(-3). Solve 3*v + 0 = -p for v.
-1
Suppose 6*u - 12 = 3*u. Suppose -u*k + 119 = 39. Let m be (-6)/15 - (-64)/10. Solve f - m*f + k = 0 for f.
4
Let a(c) = c + 11. Let d(r) = r**3 + r**2 - 2*r + 4. Let q be d(-3). Let y be a(q). Solve -l + 1 = -y for l.
4
Let l(h) be the third derivative of -h**6/120 + h**5/12 + h**4/24 - h**3/2 - 6*h**2. Let d be l(5). Solve 0 = d*r + 9 - 3 for r.
-3
Let u(x) = 4*x + 1. Let w be u(1). Solve -w = -3*o + 10 for o.
5
Suppose -3*u = 5*u - 16. Solve -u*t + t = -3 for t.
3
Let r = 23 - 3. Let m be r*(11/4 + -2). Let a be (-24)/(-14) + (-2)/(-7). Solve -7*c = -a*c - m for c.
3
Let u = 34 - 36. Suppose -3*z + 141 = -39. Let l be u/5 + z/25. Solve l*m = m for m.
0
Suppose -p = 4 - 3. Let k = 0 - -3. Let y = k + p. Solve y*z - 2 - 2 = 0 for z.
2
Let k = 1 - -1. Let x be k*1*(-3)/(-6). Let l = 3 + -1. Solve l*h - h = x for h.
1
Suppose l - 21 - 11 = -3*z, -z - 36 = -2*l. Solve -l = 3*u + u for u.
-5
Let v(w) = w**3 - 4*w**2 + 4*w - 3. Let a be v(3). Let q be (-24)/(-10)*(a - -5). Solve 0 = -0*t + 4*t + q for t.
-3
Suppose -6*r + 2*r + 30 = -2*z, 4*z = -2*r - 10. Suppose -2*q = 2*q. Let o be (-1 + 2)*10/2. Solve -o + q = -r*l for l.
1
Let b(z) = 6*z**2 + 2*z. Suppose 0*s + 4*s = 8. Let u be b(s). Suppose u = 2*q + 2*q. Solve -2*d = -q*d for d.
0
Let j = 10 - -12. Let m be 8/(-44) - (-290)/j. Solve 4*d + 7 = -m for d.
-5
Suppose 6*c = c + 20. Solve -c*k + 0 = -4 for k.
1
Let p = 8 - 3. Let x(k) = 2*k**2 - 5*k - 4. Let u be x(p). Let g be 4/(-14) + 90/u. Solve -2*a = 2*a - g for a.
1
Suppose -3*g + 20 = g. Let b = 6 - 3. Suppose -2*z + 13 = -0*z - b*p, 3*z - 3*p = 15. Solve -z*k = -g*k for k.
0
Let p(n) = -3*n + 20. Let x be p(5). Suppose h + 9 = 3*f - 0*f, -f + 4 = 0. Suppose h*m = -m. Solve 0 = -x*r - m*r - 25 for r.
-5
Suppose -2*a - 12 = -2*o, 5*a + 3 = -7. Solve 0*f = f - o for f.
4
Let c(f) = f**2 + 2*f - 2. Let w be c(-5). Let k be -1 - (-2 - (-2 - -2)). Solve -k + w = 3*t for t.
4
Let v = 0 - -3. Suppose -8 = -v*u - 2. Solve -r + 9 = u*r for r.
3
Let o be 6*(-3 - 33/(-9)). Suppose 0 = l - o + 3. Suppose v = -2*r + 6, 2*v + l = -3*r - 2*v. Solve -r*x - 8 = -28 for x.
4
Suppose l = 5*g - 105, 2*g - 6*g + 83 = -l. Suppose -5*m - 22 = t, 3 = -5*m - g. Solve 6 = t*p - 6*p for p.
-2
Let j be 8 + (3 - 2)/1. Solve -2*u + 5*u = j for u.
3
Let d be -1*1/(-3)*-3. Let y be 4/(8/6) - d. Suppose -v = -y*v. Solve -3*s - 2*s + 25 = v for s.
5
Suppose -5*y = 4 + 6. Let g = y + 0. Let w be 2 + 0 + g - -10. Solve 4*z - 2*z + w = 0 for z.
-5
Suppose 68 = 4*o - 3*q, 2*q - 14 + 6 = 0. Let n be ((-8)/(-10))/(8/o). Solve -n*m - 1 = -3*m for m.
1
Let x be (-5)/(-2)*-1*-10. Suppose 2*h - 25 = -m, 0*m + m - x = -3*h. Solve 0 = -4*v + 5 - m for v.
-5
Suppose 5*g - 4*t = 59, -3*t = -0*g - 3*g + 33. Suppose -4*q + 2*p + 6 = 0, -4*q - 5*p + 26 = -g. Solve -q = 5*j - 24 for j.
4
Suppose 0 = 3*w - h + 8 - 0, -2*w - h = -3. Let q be 6 + w*(-4)/(-2). Suppose q*g - 2*d - 28 = 3*d, g + 2*d = -6. Solve 5*n = 7*n - g for n.
1
Let t = -18 - -20. Solve t*h + 3 = 1 for h.
-1
Suppose -f + 4*h - 6 = 0, 2*f - 2*h = -0*h. Solve -f*b - 3 = b for b.
-1
Let w = -35 + 53. Solve -4*u + 2 + w = 0 for u.
5
Let u(y) = -2*y**3 + 7*y**2 + 3. Let r be u(3). Solve 2*m - r = -m for m.
4
Suppose 0 = 5*j - 5. Let h be (6/4 + -1)*2. Suppose -3 = -4*i + 2*l - h, l + j = 3*i. Solve i = 3*y + 1 - 10 for y.
3
Suppose -5*d - l = -15, 5*d + 4*l = 2*d - 8. Let f be (-41)/(-3) + d/(-6). Solve 0 = -4*k - 1 + f for k.
3
Let f be 116/28 - (-1)/(-7). Solve -5*h - 4 = -f*h for h.
-4
Let i be 6 + ((-21)/3 - -4). Solve i*p - 2*p = -3 for p.
-3
Suppose -m = 3*r - 37, 6*m - m - 41 = -3*r. Suppose 5*g + 3*t = 2*t + 8, 5*g - r = t. Solve -g*b + 25 = 3*b for b.
5
Suppose 4*m = 2*v + 40, v + 5*m + 2 = 17. Let j = -10 - v. Solve f = -3 - j for f.
-3
Suppose 3*s - 34 = s. Let l = s + -12. Solve -l*d + 8 = 3 for d.
1
Suppose 3*p - 7 + 1 = 0. Solve p = -a - 1 for a.
-3
Let y(n) = -2*n**2 + 2*n - 1. Let q be y(1). Let c be 2 + q + 0 - -9. Solve 4*t - c = -t for t.
2
Let a = -21 + 21. Solve d = -a*d for d.
0
Let l = -11 - -5. Let o be l/(-3*4/8). Solve 7*q = o*q + 3 for q.
1
Let w = -4 + 9. Solve -y = -w*y - 4 for y.
-1
Suppose -432 = -5*p + 743. Suppose p = 5*x - 4*n - n, -3 = -3*n. Suppose -x = -4*i - 2*m, 2*i + 2*i - 2*m = 56. Solve 3*h - i + 1 = 0 for h.
4
Let s(g) = g**2 + 10*g + 7. Suppose -5*a + 2*k - 37 = 0, 4*a = -2*k + k - 40. Let r be s(a). Let b be 45/6*r/(-3). Solve -b*c = -14 + 4 for c.
2
Suppose 5*n = n + 40. Let w be (-10)/90 + (-138)/(-27). Solve -3*d = -w*d + n for d.
5
Let o(u) = -u**3 - 2*u**2 + 5*u + 3. Let t be o(-4). Solve 2*d - t = -d for d.
5
Let x = 63 - 38. Suppose 2*u - u + 18 = 0. Let v = u + x. Solve -2*r - v = -1 for r.
-3
Let s = 15 + -13. Let f = s - -3. Solve f*h = 3*h for h.
0
Suppose -q = -2*q. Solve 2*w + 10 - 2 = q for w.
-4
Suppose -4*d + b - 51 = 0, -3*d + 5*b = 10 + 7. Let i(s) = s**3 + 13*s**2 - 16*s - 21. Let p be i(d). Let a be (-4)/(-6) - (-32)/6. Solve p*f = 4*f - a for f.
-2
Let z be (0 + 0/(-1) - 0)/1. Solve 4*k + 0 + 20 = z for k.
-5
Suppose 2*a = 6, -2*w - 27 = -6*w - a. Solve 0 = -y + w*y for y.
0
Let f = -2 + 3. Let z(p) = -3*p**3. Let h be z(-1). Suppose 0*t + 4*t = 0. Solve -h*r + 4 - f = t for r.
1
Let l(s) = -s**3 + 2*s - 1. Let c be l(-2). Solve -15 = -c*x - 2*x for x.
3
Let y(m) be the first derivative of -1/2*m**2 + 12*m + 4. Let v be y(5). Solve -5*c - v = 13 for c.
-4
Let c = 6 - 4. Let i be (-1 - (0 + -1))/2. Let n be 2 - c/6*i. Solve 6 = -u - n*u for u.
-2
Let x be (-2)/(-8) + 14/8. Solve -x*k + 3 = -k for k.
3
Let v(i) = -i + 16. Let y be v(0). Suppose 0 = 5*z - 19 - y. Suppose -2*x + z*x = 0. Solve x*o = o + 2 for o.
-2
Suppose 10 = -0*l + 5*l. Let k(h) = h**3 - h**2 - h. Let c be k(l). Let z = 7 - 3. Solve c*x - 4 = z*x for x.
-2
Let m(b) = -b + 10. Let p be m(10). Solve p*v = -3*v + 12 for v.
4
Let v = -11 - -18. Let q = v - 6. Solve -q = -4*z - 5 for z.
-1
Let h be 3 + (-2)/(-2)*1. Let y(o) = 2*o + 2 - 4 - 2. Let r be y(h). Solve -k + r*k = -6 for k.
-2
Let g(p) = -p**3 - 2*p**2 - 2*p - 2. Let r = 3 + -5. Let n be g(r). Solve n*h - 4 = 3*h for h.
-4
Let z(x) = x**3 + 6*x**2 + 3*x - 6. Let h be z(-6). Let b = 29 + h. Solve 0 = b*r - 12 - 8 for r.
4
Let f(w) = 2*w**2 - 4*w + 3. Let u be f(2). Solve u = -2*s - 1 for s.
-2
Let g be 12*-4*1/(-12). Suppose -g*h - x = -3, -5*h - 5*x - 6 = 9. Suppose -c + 2 = -2. Solve v + c - h = 0 for v.
-2
Suppose 2*w + 2 + 2 = o, 0 = o + 4*w - 4. Solve 12 = o*b + 32 for b.
-5
Let a(f) = -f - 7. Let k be a(-7). Suppose -3*z + 7 + 