 i*x - 10 for x.
2
Let p be (-432)/(-42) + 2/(-7). Suppose 6*f = p*f. Solve -4*m + 4 - 12 = f for m.
-2
Let m(x) = x**3 - 2*x**2 + 3*x + 5. Let c be m(4). Suppose 7 = -4*o - c. Let h be (-4)/o - (-38)/14. Solve h*a - 4*a = 5 for a.
-5
Let x = 83 + -83. Solve -3*z + x = -6 for z.
2
Suppose 2*a - 2*c = -6, a = 4*a + 3*c + 3. Let r = a + 5. Solve 12 = -h - r*h for h.
-3
Let j(v) = 0*v**3 - 2 + 14*v**2 - 5*v**2 - 1 - v**3 + v. Let r be j(9). Solve -2*g - r = g for g.
-2
Let r(z) = z**3. Let u be r(2). Suppose -3*p + 0*p + 2*p = 0. Let n(q) = -4*q**3 + q. Let c be n(-1). Solve -j - c*j + u = p for j.
2
Let n be (8/10)/((-6)/(-45)). Let z be (n + -8)*(-5 + 1). Solve z = -2*q - 0 for q.
-4
Suppose -5*g + 3*d = -25, 3*g + 12 = -g - 4*d. Suppose -23*a = -26*a + 6. Suppose 2*f + a = w, -5*w + 6 = -2*f - g*w. Solve r + 3 = -f*r for r.
-3
Suppose -2 = -z - 0*z. Solve z*c = 6*c + 16 for c.
-4
Suppose 2*j = -2*j + 12. Solve -2*y = -j*y for y.
0
Let w(q) = -q - 1. Let f be w(4). Let n = f + 9. Solve -n*t - 9 = 11 for t.
-5
Suppose q + 24 = 5*q. Let t be ((-9)/q)/((-1)/2). Solve -5*w - 2 = t for w.
-1
Let n(r) be the third derivative of 1/6*r**4 + 1/6*r**3 - r**2 + 0*r + 0. Let l be n(1). Solve 0 = l*d + 10 + 5 for d.
-3
Let g(i) = i**2 - 11*i + 2. Let r(t) = 3*t**2 - 32*t + 6. Let v(w) = 17*g(w) - 6*r(w). Let f be v(3). Solve 5 = 3*h - f for h.
3
Let s(c) = -3*c - 12. Let p(v) = v. Let l(t) = -2*p(t) - s(t). Let d be l(-7). Suppose 0 = -2*z - 2*u + 16, 4*z - u - 27 = -4*u. Solve d*g = -23 + z for g.
-4
Let j = 20 - 14. Suppose 4*s + 8 = j*s. Solve 5 = s*x + 9 for x.
-1
Suppose n - 8 = -3*k - k, 0 = 4*n + 16. Solve -f - 10 = -k*f for f.
5
Let h be -1 - (-21)/6*2. Suppose -h*j = -j. Let d(f) = f**3 + 5*f**2 - 5*f + 11. Let w be d(-6). Solve -c + w = -j for c.
5
Let a be (-5)/(-15) - (-5)/3. Suppose -4*y - 20 = -m, 4 + 0 = a*y + 3*m. Let f = 4 + y. Solve -3*x = -f*x for x.
0
Let g = 0 + 18. Let q = 25 - 13. Suppose -5*p = -g - q. Solve -3*b + p = -0*b for b.
2
Let s = -26 - -28. Solve s*q = 4*q - 6 for q.
3
Suppose 7*d - d - 24 = 0. Solve 2*a = -2*a - d for a.
-1
Let k = 8 - 19. Let n be k/(-3) + 6/(-9). Solve n*q + q = -4 for q.
-1
Let b(i) = -1 - 4 + 1 + i. Let z be b(7). Suppose -4*j - 3*v - 15 = -2*j, -v = z*j + 5. Solve j = -2*d + d for d.
0
Let x be (2/(-4))/(1/(-8)). Suppose x*o = 3*o - t + 5, 3*o - 11 = -t. Let w be (o - 2) + 0/2. Solve -4 = -n + w for n.
5
Let w = -11 - -14. Suppose -3*d - w*v + 11 = -2*v, v = d - 1. Suppose -2*c = 2*c - 8. Solve -c*s - 25 = d*s for s.
-5
Let k(n) = -n**3 - 4*n**2 + 2. Let h be k(-4). Suppose b + h*p + 0*p = 21, -68 = -4*b - 4*p. Solve -2*f - 5 = -b for f.
4
Let i(k) be the second derivative of k**5/20 + k**4/3 - k**3/6 - k**2/2 + 3*k. Let d be i(-4). Solve 0*c = -d*c for c.
0
Let p be (8/12)/(4/54). Solve 0 = 5*n + 11 + p for n.
-4
Suppose -13 = -5*n + 5*j + 2, 2*j = -n. Solve -n*p = -p for p.
0
Suppose -1 = n - 4. Solve 3*o = -0*o + n for o.
1
Let w(j) = -j + 6. Suppose -4*f = -2*f + b - 1, 5*b = 4*f - 23. Let s = f - -1. Let l be w(s). Solve 4 = -l*o + o for o.
-2
Let r(y) = y**2 + 10*y - 9. Let q be r(-11). Solve 2*m = 3*m + q for m.
-2
Suppose -3*x - 51 + 183 = 0. Let w be x/10 + (-2)/5. Solve w = -c - c for c.
-2
Let c be (-1 + 3 + -1)*3. Suppose 2*p = 8*k - c*k - 12, -4*k = p - 7. Solve 0 = k*a - 2 - 2 for a.
2
Let n be 1 + ((-66)/(-2) - 2). Suppose 0 = 5*o + 3*r, 3*r = 4*o - r - n. Solve -o = 4*q - 23 for q.
5
Let u be (1 - 10/14) + (-8)/28. Solve 2*m + 0 - 8 = u for m.
4
Let s = -19 - -30. Let n = s - 11. Solve -3*h - 3 = -n*h for h.
-1
Let c be 4/2 + -1 - -2. Suppose -5*k - 5 = 4*j, 5*j - c*k - 2*k - 5 = 0. Solve j*h - 2 = h for h.
-2
Let l = 6 - 3. Let j be 2 + -1 - (-1 - 0). Suppose -4*a + 3*m + 15 = 0, -3*m - 25 = l*a + j*m. Solve a*v = v + 4 for v.
-4
Let o be (-5 - -3)/(18/(-8) + 2). Solve 7*w - 3*w = -o for w.
-2
Suppose -d - 1 + 0 = 0, d = -4*v + 39. Let f = v - 9. Solve -g + f = 5 for g.
-4
Let r be 8/12 + -1 + (-2)/(-6). Solve r = y - 3*y for y.
0
Suppose -4*u = -2 - 46. Suppose 2*j = c + u, 4*j - 2*c - c - 20 = 0. Let s(l) = l**3 + 2*l**2 - l + 6. Let h be s(-3). Solve -j = -2*o - h for o.
4
Let g be 14 - 10 - (0 - 0). Solve 0 = -g*k - 0*k - 16 for k.
-4
Let l = 16 - 9. Solve -4*i = -23 + l for i.
4
Suppose -4*p = -0*p + 60. Let x be 6/p + (-54)/(-10). Suppose -5*n + 2 = c - 8, -2*c + 12 = 2*n. Solve t + x = n for t.
-4
Let i = -38 + 41. Solve 2 + i = -u for u.
-5
Let k be (24/(-14))/(52/(-182)). Solve -k*d + 5 = -5*d for d.
5
Suppose w - 42 = 4*w. Let b = -10 - w. Solve b*t + 12 = 7*t for t.
4
Let t be (15/(-12))/(1/(-4)). Suppose j + 3*j = 5*w - 40, 3*j + 5*w = t. Let x = 5 + j. Solve x + 2 = s for s.
2
Suppose 0*h = -4*h + 16. Let l(x) = x + 1. Let r be l(h). Solve r*v + 3 = 2*v for v.
-1
Suppose -2*v + 4*j + 4 = -18, 3*v = j + 13. Let t(g) = 2*g**2 + 2*g - 3. Let l be t(2). Solve -2*m = l - v for m.
-3
Let u(s) = s**3 - 2*s**2 + 2*s - 1. Let n be u(2). Suppose r = 4*v - 32, 68 = -n*r - r + v. Let p be 6/(-9) + r/(-6). Solve 5*f = p*f + 12 for f.
4
Let n be (-176)/(-11)*(-1)/2. Let k(q) = q**2 + 9*q + 11. Let j be k(n). Solve -4*y + j - 19 = 0 for y.
-4
Let t(a) = -a - a + 0*a + a - 4. Let j be t(-6). Suppose 3*k + 0*s - 2*s = 79, j*k = s + 52. Solve 8*d - 3*d = -k for d.
-5
Let i be ((-2)/(-4))/(4/32). Let l(u) = u**2 - 5*u + 4. Let h be l(6). Solve i*f + h = -f for f.
-2
Suppose -5*x = -5*m + 25, -2*m + 7 + 3 = 5*x. Solve x = -3*d + 1 + 5 for d.
2
Let v(o) = -o - 6. Let g be v(-8). Let f = g + 1. Solve -f*z + 15 = -6*z for z.
-5
Let q = 4 + -1. Solve -f + q = -1 for f.
4
Let z(o) = -2 - 3 + o - o**3 + 4. Let a be z(-2). Solve -a*l + 0 = -25 for l.
5
Suppose 0 = -3*p - 22 + 25. Solve -p = -2*h + 9 for h.
5
Let t(p) = -4 - 2*p**2 - p - 4*p + 2*p**2 - p**2. Let u(h) = -2*h + 5. Let o be u(4). Let g be t(o). Solve -g*k = k - 3 for k.
1
Let q = 17 - 13. Let p = 3 - -5. Suppose -p*i = -3*i. Solve i = 3*z + 2 + q for z.
-2
Suppose -k = -4*k + 24. Solve 3*d - d + k = 0 for d.
-4
Let v = 9 - 6. Suppose -v*u = -6*u + 6. Suppose -1 + 15 = u*r. Solve -r + 2 = -q for q.
5
Let x(a) = a**2 - 5*a. Let c be x(5). Solve -3*k + k = c for k.
0
Suppose 0*u + 20 = 4*u. Suppose 0 = -u*c - 8 + 23. Suppose 6 - 1 = 5*b. Solve -l - c = b for l.
-4
Let l be ((-4)/(-10))/(7/(-700)*-4). Suppose -2*s + 5 = p, -4*s + 12 = 4*p - 8. Solve p = 3*x - l for x.
5
Suppose t + 1 = -3. Let s = -4 - t. Suppose 5*p - 60 = -2*i, 15 = 2*p - 0*i - i. Solve -2*u - 2 + p = s for u.
4
Suppose -4*a - k = -27, 2*k - 6 = -7*a + 5*a. Let m be 4/16 - (-14)/a. Suppose 3*z - 5*d - 31 = 0, 5*z = m*z + 2*d + 16. Solve 0 = -0*h + z*h + 2 for h.
-1
Let d be 4/(-5)*(3 - (-55)/(-10)). Solve -d*v = -v - 2 for v.
2
Let w(o) = -16*o - 1. Let j be w(-1). Suppose 0 = -b - 2*b + 3*r + j, 4 = -4*b - 4*r. Solve -2*k = b*k for k.
0
Let i = -5 - -19. Solve -i = 5*y + 11 for y.
-5
Suppose 0*i + 2*i - 4 = 0. Suppose -i*k + k = 0. Suppose -2*j = -5*w - 33, 5*w = 4*j - 52 + 11. Solve f + j*f + 5 = k for f.
-1
Suppose -3*u + 17 = -1. Suppose 7*s = u*s. Solve 2*m = -s*m for m.
0
Let j = -2 + 18. Suppose j = h + h. Solve -4 + h = -2*s for s.
-2
Suppose -3*j - 2 = -8*j + 2*r, 5 = -5*j - 5*r. Suppose -2*n + 2 - 20 = j. Let t be 8 + n - 1*-1. Solve -3*i - 3 = -t*i for i.
-1
Suppose -2*q - q = -12. Solve -a = q*a + 25 for a.
-5
Suppose -5*u - 4*v = v, 5*u + v - 20 = 0. Suppose -u*w + 8 + 2 = -2*m, w - 2*m - 10 = 0. Solve w = -z - 3 for z.
-3
Let k(y) = -y**2 - 6*y - 4. Let z(h) = 2*h**2 + 12*h + 8. Let v(n) = -13*k(n) - 6*z(n). Let x be v(-6). Solve o + 9 = x*o for o.
3
Let s = -16 - -7. Let h = -7 - s. Solve -g = -h*g for g.
0
Let o(c) = -9*c**3 - c**2 + 1. Let z be o(1). Let t be (z - -4)/(0 + -1). Let x = 0 - -3. Solve -t*m - 13 = -x for m.
-2
Let a be 96/(-72) + (0 - 4/(-3)). Solve a = 3*n - n for n.
0
Let o(v) = 6*v**2 - 1 - 8*v - 4*v**2 + 3*v + 4*v. Let g be o(2). Solve l - g*l + 4 = 0 for l.
1
Let a = 15 - 3. Let d(h) = 3*h - 16. Let z be d(a). Solve -5*m + 0*m = z for m.
-4
Suppose 3*h - w = 14, 2*h - 2*w - 10 = 2. Solve 0 = r - h for r.
4
Suppose 0 = 4*f - 0 - 8. Let p = -48 + 26. Let u = -15 - p. Solve u = -f*n - 1 for n.
-4
Let o(m) = m + 9. Let d be o(-5). Solve -2*k - 2 = d for k.
-3
Let j(f) = -f**2 + 3*f - 1. Let r be j(2). Suppose -r - 2 = q. Let a = q + 