6 for x.
-3
Let f be 13 + ((-16)/32)/((-1)/(-10)). Let k(n) = 2*n + 6. Let v be k(-5). Let g = 0 - v. Solve g*i + f = -0*i for i.
-2
Let l be (-1)/(-5) + 4/(-20). Solve 2*f + 3*f + 25 = l for f.
-5
Suppose -2*y - 5*q = -12, -y + 2*q + 6 = 6*q. Let b = -38 - -41. Solve 0*v = -b*v - y for v.
-2
Let t = 5 - 11. Let s be 250/40 + (-6)/(-8). Let f = t + s. Solve f = a - 3 for a.
4
Let o be -2 + 7/((-7)/(-2)). Solve -3 = -o*b + b for b.
-3
Suppose -o = 4*o. Suppose o*j + 10 = 5*j. Suppose -3 = j*p - 3*p. Solve -p*g - 4 = 2 for g.
-2
Let v = -5 - -10. Let s be (-2)/4*(-13 + v). Solve -n - 1 = -s for n.
3
Let l be 1/4 - (-7)/(-28). Suppose -4 = -2*z - l*z. Let f be 2 + (-1)/((-1)/(-1)). Solve -z*c + 5 = -f for c.
3
Let f = -7 - -9. Suppose -3*i + 20 = f*i. Solve 0 = i*z + 12 for z.
-3
Let k = 21 - 21. Solve m + k*m = 0 for m.
0
Suppose -1 + 3 = z. Suppose 4*x = -0*x - 12. Let g be (6/4)/(x/(-6)). Solve -g*o = z - 5 for o.
1
Let j be (-4)/(-10)*(-25)/(-1). Let x(s) = s + 7. Let r be x(-5). Suppose -5*t = -r*t - 30. Solve -4*y - j - t = 0 for y.
-5
Let i(l) = 5*l**2 - 14*l + 26. Let w(c) = -3*c**2 + 9*c - 17. Let j(g) = 5*i(g) + 8*w(g). Let o be j(-4). Solve o = 5*k - 8 for k.
2
Let f(z) = 4*z**2 - 4*z + 3. Let y be f(1). Solve v - 1 = -y for v.
-2
Let l(v) = -14*v - 4. Let b be l(-5). Suppose -2*w - 3*w + b = 3*p, -2*p = -5*w + 56. Solve -3*c = c + w for c.
-3
Suppose 2*k + m = -4*m + 40, 40 = 2*k - 4*m. Solve -5 = -3*a - k for a.
-5
Let p = -1 + 6. Suppose -p + 13 = 2*t. Suppose h = -t*h. Solve h = -y - 3*y - 4 for y.
-1
Let a be -1*(-4 + 3) + 11. Solve 0 = 4*i + a - 4 for i.
-2
Suppose -2*s = -3*s + 2. Solve -s*c = -c for c.
0
Let z(m) = -m**2 + 9*m - 13. Let v be z(7). Solve a = -v - 2 for a.
-3
Let w = -7 + 11. Suppose -w*f - 12 = 0, -f - 9 = -n + 2*f. Solve n = q - 2*q + 5 for q.
5
Let f be (3 - (-5 - -3)) + 3. Solve -1 = -3*a + f for a.
3
Let z = -8 - -12. Let l(j) = -3 + 0*j + j + 11. Let s be l(0). Solve s*c = z*c for c.
0
Let v(c) = -c**2 - 9*c + 1. Let l be v(-9). Let m = l - -3. Solve -m*s + 9 = -s for s.
3
Let p be (6/(-4) - 0)*-2. Suppose -3*l + 3 = -p. Solve 2*d = -l*d + 12 for d.
3
Suppose 2*u = d - 4 - 1, -11 = -2*d + 5*u. Let w(b) = -2*b**3 + b**2 - 1. Let k be w(1). Let j(v) = -v**2 - 4*v + 1. Let s be j(k). Solve 6 = -s*t + d*t for t.
-3
Suppose -4 = -4*v + 8. Suppose -v*h + 4 = -5, 5*d + 131 = 2*h. Let x be 5/(-2)*60/d. Solve -4*p + x*p = 6 for p.
3
Let c(a) = 2*a - 6*a + 2*a. Let x be c(-2). Solve 1 + 7 = -x*f for f.
-2
Suppose 0 = -2*t - 1 + 7. Let g = t - -5. Suppose 4*z - u = 21, z + 5*u - 2 + 23 = 0. Solve z*b - 4 - g = 0 for b.
3
Suppose -14 = -3*j - 2. Solve j*p - 16 = -4 for p.
3
Suppose 35 = 6*a + 29. Solve 3 = -2*l + a for l.
-1
Suppose 5*p + 8*h = 4*h - 5, -4*h - 20 = 0. Suppose -p*n = -5*j - 1 - 1, 5*j + 2*n - 18 = 0. Solve -j - 14 = 4*i for i.
-4
Suppose 0*i + 55 = 5*i - 4*x, i - x - 12 = 0. Suppose -i = v - 4*t, -t = 5*v + 3*t - 37. Solve -8 = v*g - 3 for g.
-1
Suppose 0*w = 3*w. Suppose 4 = -w*a + 4*a. Let j(z) = 5*z**3 - z**2 + z - 1. Let v be j(a). Solve v*p - 6 = 2*p for p.
3
Let j(g) = 12*g**2 - 1. Let x be j(1). Suppose -4*v + x = 3. Suppose 3*p + 5*u = -0*u + 3, 0 = 3*u. Solve -v*d + p = -3 for d.
2
Suppose 6 = g - 4. Suppose -3*u = -0*c + c - g, -4*u + 2*c = 0. Solve -u + 3 = -z for z.
-1
Let s(g) = -g**3 - g**2 + 2*g + 1. Let w be s(-2). Suppose -1 - w = -2*f. Let t be (0/2)/(f - 4). Solve 5*l - l = t for l.
0
Let m = -10 + 10. Solve -2*n - 2 - 8 = m for n.
-5
Let d(v) = 2*v**2 - 2*v**2 - 6*v - v**2. Let q be d(-6). Solve 2*b + q*b = -8 for b.
-4
Let w(y) = y**3 + 4*y**2 + 2*y + 1. Let d be w(-3). Suppose -d*m - 4 = -6*m. Solve m*c = -2*c + 8 for c.
2
Let d be 0/3 - (8 + -2). Let m be (d/4)/(9/(-30)). Solve -m*w + 2 = -8 for w.
2
Suppose 40 = 5*b - 4*w + 7*w, 0 = 2*b + w - 15. Solve 3 = 4*y - b for y.
2
Suppose -5*r = -2*r. Let f = -5 - -5. Suppose g - 3 = -2*v, r = -g - f*g + 4*v + 3. Solve 4*a - g = a for a.
1
Let x = 7 + -3. Solve -1 = -x*o + 3 for o.
1
Let b = -6 + 10. Suppose 2*a + 2*q = 5*a - 14, -5*a - b*q = 6. Suppose 0 = a*w - 11 - 1. Solve -3*g = -w*g - 15 for g.
-5
Let w(l) = -l + 4. Let q be w(3). Let h be (q - 1)/(2 - 1). Suppose 4*x + h*x = 24. Solve 0 = -3*f - x - 3 for f.
-3
Suppose -2*x = -3*j - 57, 5*j - 21 = -x + 4*j. Let r be (x/16)/((-6)/(-20)). Solve -s = -2*s - r for s.
-5
Suppose -2*k - k = -66. Let i = -17 + k. Let f be 0 + -1 - (-1 - 0). Solve f = w - i - 0 for w.
5
Suppose i + 7 = 2*q, i + 1 = -5*q - 6. Let s = i - -9. Solve -3 = -s*n - 9 for n.
-3
Let v(m) be the second derivative of 1/20*m**5 + 2*m**2 + 0*m**3 + 0 - 5/6*m**4 + 2*m. Let x be v(10). Solve -4*u + 2*u = -x for u.
2
Let s(r) = -7*r**2 - 1. Let i be s(-1). Let l be (-2 - 12/i)*-10. Solve -l*m + 1 = -9 for m.
2
Let n(z) = -z**3 - 15*z**2 + 4. Let f be n(-15). Solve 0 = 4*x - f - 8 for x.
3
Let w(z) be the first derivative of -z**4/4 - 4*z**3 - 11*z**2/2 + 6*z + 2. Let n be w(-11). Solve 2*m + n = -0*m for m.
-3
Let n be -1 + (1 - 0) - -10. Let w(p) = -4*p**3 - p**2 - 3*p - 1. Let d be w(-1). Suppose -4*q + 32 = -2*v - 2*v, -d*q + 4*v + 36 = 0. Solve k + n = -q*k for k.
-2
Suppose 2*f - 3 = 1. Solve -s = -f + 6 for s.
-4
Let m = -4 + 3. Let n = m - -4. Solve -a + n = -1 for a.
4
Let p be 1/(-5) + (-196)/(-5). Let c = p - 28. Solve 4*g + 5 = -c for g.
-4
Suppose 0*h - 2 = h. Let i be 1 + -2 + (-10)/h. Suppose 9*v = i*v. Solve v = -2*g + 1 + 3 for g.
2
Suppose -2*k + 12*x - 4 = 16*x, -2*x = 5*k - 6. Solve -6 = u + k*u for u.
-2
Suppose l - 13 = 4*c, -2*l - 3*c + 4 = -0*c. Solve -l = 3*i + 2*i for i.
-1
Let h = 45 + -31. Let b(p) = p**3 + 5*p**2 + 3*p + 4. Let z be b(-4). Suppose -z = -0*n - 2*n. Solve 0 = n*o + 6 + h for o.
-5
Let l be 426/54 + 1/9. Solve -2 = 2*h + l for h.
-5
Let b = 17 + -17. Solve b*j = -3*j - 3 for j.
-1
Let j(a) = -2*a + 2. Let m be j(-4). Let h(n) = n**2 - 10*n + 4. Let f be h(m). Solve 6*g + 10 = f*g for g.
-5
Let i(a) = a**3 + 8*a**2 - 8*a + 9. Let t be i(-9). Solve 0 = -t*m - 5*m for m.
0
Suppose 2*b = -5*x + 4 + 10, -24 = 4*b - 3*x. Let r be 2/(0 + 1*-2). Let p = r - b. Solve -p*y = -0*y + 10 for y.
-5
Let l(w) = w**3 + 8*w**2 - 9*w + 2. Let a be l(-9). Suppose -5*j - 5 - 10 = -o, -a*o - 2*j - 6 = 0. Solve o = 2*t + 3*t + 15 for t.
-3
Let h(k) = -2*k**2 - 9*k + 5. Let x be h(-5). Suppose -3*w + 4*c + 32 = x, w - 2*c - c = 19. Solve -w = n - 2*n for n.
4
Let y be (-5 + 8)*8/6. Suppose y*v - 12 = v. Solve -2*l + 8 = -v*l for l.
-4
Let v(l) be the third derivative of l**5/10 - l**4/12 - l**3/3 - l**2. Let n be v(2). Let c be (6/10)/(2/10). Solve 3 = -c*s + n for s.
5
Let o = 18 - 14. Solve 2*a = -2*a + o for a.
1
Suppose 12 = -2*h - i, 0 = -2*h - 2*h - i - 22. Let y = h - -7. Suppose 4*l + 4*x - 12 = 0, -2*l + 15 = y*l + 5*x. Solve 4*q - q - 15 = l for q.
5
Let m(y) = -y**2 + 8*y + 11. Let z be m(9). Solve -9 = z*w + w for w.
-3
Suppose 0*y - 8 = -4*y. Solve -4*v - y = -2*v for v.
-1
Let n(p) = -p**2 - 11*p. Let z be n(-11). Solve 2*q + 2*q - 12 = z for q.
3
Let a = -15 - -17. Let x(k) = k - 1. Let r be x(a). Solve -4*i = r + 3 for i.
-1
Suppose 5*v + 0*f = -f - 122, 0 = 3*v + 5*f + 60. Suppose 3*p + 3 = 0, -k = -3*k - 4*p - 74. Let m = v - k. Solve -i - i = -m for i.
5
Let j be (2 + -2 + -3)*-1. Suppose 2*f - v + 1 = 0, -f - j*f = 3*v + 7. Let w be 0 + (-1)/(-1) - f. Solve w*u = u + 3 for u.
3
Let h be -1 + 1 + 2 + -1. Let n be h/(3/(-10 - -1)). Let k be n/(-2)*(-8)/(-12). Solve -k = v - 4 for v.
3
Let k(b) = -b**2 - 9*b - 10. Let i be k(-7). Let z = i + -1. Suppose -2*f = h - 8 - 5, -48 = -z*h + 3*f. Solve 3*p + 0*p - h = 0 for p.
5
Let x = 9 - 4. Let m(q) = -1 + 3 + q**3 - 7*q - 5 + x*q**2. Let p be m(-6). Solve 0 = 5*c - p - 7 for c.
2
Let g(z) be the first derivative of z**4/2 - 2*z**3/3 - z**2/2 - 2*z + 3. Let f be g(2). Solve -f*x + 5 = -3*x for x.
5
Suppose 0*z + 55 = 3*z + 4*s, -3*z + 19 = -5*s. Solve 0 = 5*y - 2 - z for y.
3
Suppose 0 = 2*u + 2. Let y be (u/(-3))/(6/162). Solve y = 3*d - 0*d for d.
3
Suppose -26 = -3*g + j - 5*j, j = 5*g - 51. Suppose 21 = i + 4*f + 1, i = -2*f + g. Solve 2*v = -i*v + 8 for v.
4
Suppose -21 - 7 = -7*p. Solve -p*w = -5*w for w.
0
Suppose 30*y - 9 = 27*y. Solve 5*q + y = -2 for q.
-1
Let y(a) = 13*a**2 + 17*a - 17. Let m(q) = 3*q**2 + 4*q - 4. Let h(i) =