d*x for x.
0
Let q(b) = b**3 - 3*b**2 - 3*b + 3. Let r be q(3). Let k = 10 + r. Let v be (4 + -1)/((-6)/(-8)). Solve -k*i + 0*i + v = 0 for i.
1
Let s(n) = 2*n**2 + n - 1. Let j be (5/(-15))/((-3)/9). Let m be s(j). Solve 2*h - 2 - m = 0 for h.
2
Let m(r) = 4 + 11 + 5*r - r**2 - 11*r + 3. Let h be m(-8). Let z(g) = -g**3 + 4*g**2 + 3*g + 3. Let s be z(4). Solve b = -h*b - s for b.
-5
Let l = 98 - 98. Suppose v - 14 = 4*i, 2*v - v + 5*i + 4 = l. Solve 0 = 2*u + v - 14 for u.
4
Let x(w) = w**3 - 6*w**2 + 2*w - 12. Let y be x(6). Let n be y*(5/(-1) + 6). Solve -b - 3 = -n*b for b.
-3
Suppose -4*t + 1 = 9. Let j be (t/4)/(5/(-40)). Solve 12 = 4*p - j for p.
4
Let a = 927 - 925. Solve -a*h - 3*h + 20 = 0 for h.
4
Let c = -289 - -292. Solve -c*m = 4*m - 14 for m.
2
Let i = 11 + -11. Suppose -j - 5*m + 27 = i, 0*m + 4*m - 12 = 4*j. Let d be j*(-4)/8 + 3. Solve -d*u - 1 = 1 for u.
-1
Let g(w) = -w - 10. Suppose 5*m = 14*m + 126. Let h be g(m). Solve 0*z - h*z - 4 = 0 for z.
-1
Suppose -13*i + 38 = 15*i - 9*i. Let f = -13 + 33. Solve -f = 6*m - i*m for m.
-5
Let m(h) = -2*h + 24. Let q be m(11). Suppose -17 = -q*i + 43. Let u = -27 + i. Solve 0 = u*p - 5*p for p.
0
Suppose 9*w - 5*w = -2*v + 14, w - 3*v = 0. Solve -4 = w*a + 2 for a.
-2
Let h = -21 + 27. Suppose -w + h*w - 15 = 0. Solve u - w + 5 = 0 for u.
-2
Suppose 2*a + 4*b + 14 - 4 = 0, a + 20 = -5*b. Solve -a*j - 2 = -7*j for j.
1
Let h = 52 + 32. Let g be (-48)/h*(-2 - 5). Solve -9*k + g*k = 0 for k.
0
Suppose -3*p - 9 + 3 = 0. Let x be 3*p/9*-3. Let b be -1 - (4 + -5)*(-1 - -2). Solve -x = y - b*y for y.
-2
Let t(o) = -o**3 + 5*o**2 + 3*o + 9. Let b be t(5). Let k be -1 - (25 + -2) - -3. Let a = k + b. Solve y - 20 = -a*y for y.
5
Let a(c) = 5*c + 10. Let u be a(4). Suppose -111*n - u = -113*n. Solve -2*j - 3*j = n for j.
-3
Let w = -371 + 373. Let n be 1/((-1)/2) + 11. Suppose 2*x = -x + n. Solve -15 = -w*b - x*b for b.
3
Suppose 92*d - 14*d = 3744. Solve -54*c - 6 = -d*c for c.
-1
Let t be (-55)/(-2)*12/(-15). Let k = t - -27. Solve 0 = k*x + 31 - 11 for x.
-4
Let j be -1 + -1 + (-84)/(-4). Suppose b - 2*a - 6 = 0, 0*b - 5*b - a = -j. Suppose -b*v - 7 = 5*i, 0*i - 15 = -3*v + 3*i. Solve x - v*x = 5 for x.
-5
Let t be (-5)/(-2)*(-8)/5. Let l(q) = q**3 + 5*q**2 + 3*q + 1. Let f be l(t). Solve f = 4*d + 1 for d.
1
Let p be -7 + (-58)/(-8) - (-6)/8. Solve 0 = 3*j + 2 + p for j.
-1
Let i = 10 + -3. Suppose i*x - 15 = 6. Solve x*c - 5 = -2 for c.
1
Suppose y = 3*m - 24, -5*y = m - 8*y - 8. Suppose -3*j + 66 = m*j. Solve 0 = h - j*h for h.
0
Let a(d) = -d**3 + 21*d**2 - 21*d + 32. Let o be a(20). Solve 3*t = -3*t + o for t.
2
Let q(z) = -z**3 - 6*z**2 - 3*z + 12. Suppose -4*d + l - 36 = 5*l, -4*l - 16 = 0. Let g be q(d). Solve g*r + 20 = -2*r for r.
-5
Suppose 0 = -65*x + 59*x - 42. Let m be (0 + 0)/(x - -8). Solve m*o = -2*o for o.
0
Let u be (8/5)/(3/15). Suppose -2*t = 3*x - 9, -7*t + 3*t + 4*x = -u. Let g = 4 - t. Solve -2*c = -7 - g for c.
4
Let g(u) = -u**2 - 16*u + 63. Let y be g(-19). Solve 0 = -0*k - y*k for k.
0
Let a(u) = -5*u - 1. Let q be a(4). Let m = 21 + q. Solve 0 = 5*i - m*i - 10 for i.
2
Let k = -166 + 174. Solve 0 = h + k - 5 for h.
-3
Suppose 45 = 2*z + 5*t, -2*z + 11*t + 54 = 7*t. Solve -z = -10*c + 15*c for c.
-5
Let t = -1423 - -1428. Solve t = h + 3 for h.
2
Let u(a) = -14*a**2. Let l be u(-1). Let f = 40 + l. Solve -5*z + f - 1 = 0 for z.
5
Suppose 163*o - 504 = -5*o. Let b(w) = -w + 12. Let d be b(5). Solve -d*f = -o*f + 12 for f.
-3
Suppose -4*r = -4*k + 12 + 16, 0 = -k - 5*r - 5. Suppose -k*q + 105 = 30. Solve 0*c - q = -3*c for c.
5
Suppose -4*d + 15 = 2*s - 3*s, 0 = 3*d - 15. Let i = 7 - s. Let t(c) = 4*c - 6. Let v be t(i). Solve -v*a = -1 + 3 for a.
-1
Suppose 4*x - 8 = 7*k - 2*k, 2*k - 8 = -4*x. Solve -5*j - 26 + 11 = k for j.
-3
Suppose 4*p = -10 - 2. Let k be (-43)/(-3) - 4*p/18. Solve k = 5*l - 0*l for l.
3
Suppose 54 - 46 = o. Solve 8*z + 8 = -o for z.
-2
Suppose -5*p + 2*c = -72 + 47, 3*c = -5*p. Solve 0 = y + p*y + 4 for y.
-1
Let d be (-2)/5 - (-36)/240*116. Solve d = -f + 17 for f.
0
Let c be 28/49 + -1 - (-90)/14. Solve 0 = 5*d + c*d + 33 for d.
-3
Let r = -152 + 158. Solve -4*v - 10 = -r*v for v.
5
Let w = 46 + -28. Let c = -16 + w. Suppose 6 = 3*p - 6. Solve p*j - 5*j - c = 0 for j.
-2
Let w(z) = -z**2 - 5*z + 3. Let v be w(-3). Suppose v - 1 = 2*l. Suppose -5*s + 200 = 5*h, -l*h + 2*h - 148 = -4*s. Solve 5*x = -13 + s for x.
5
Suppose -5*b + v + 6 = -23, -3*b = v - 11. Solve 4 + b = -3*u for u.
-3
Let n(j) = -j**3 - j**2 + 4*j**3 - 2*j**3. Suppose 2*u = -o - 2, -4*u + 5 = -3*o - 9*u. Let s be n(o). Solve s = -2*y - y + 12 for y.
4
Suppose -673*b + 224 = -666*b. Let a be (-15)/(-3) - 0/(-2). Solve -a*s + 12 = b for s.
-4
Suppose 15*z = 20*z + 100. Let c = z - -22. Solve 0*y = -c*y + 2 for y.
1
Suppose -3*c + 146 = -5*k, 9*k - 6*k - 138 = -3*c. Solve -50*a + c*a = 0 for a.
0
Let p(y) = y**3 + 4*y**2 - 3*y - 5. Suppose -4*l = 4*h - 9*l + 6, 2*l = h. Let d be p(h). Solve d = -2*t + 1 for t.
-3
Let o be 25 - (-7 - -3 - 0). Suppose 0 = -8*s + o - 5. Solve -s = 8*x - 7*x for x.
-3
Let g(i) = -3*i**3 + i**2. Suppose t - 1 = 0, -4*s + 3*t = -2*t + 9. Let v be g(s). Solve -b + 1 = v for b.
-3
Suppose 12*v = 13*v - 7. Solve -5*a + 2 = v for a.
-1
Suppose 0*v + 24 = 6*v. Let y(l) = l**3 + 15*l**2 - 2*l - 25. Let m be y(-15). Solve -m = -3*t + v for t.
3
Suppose -432 = -34*j - 14*j. Solve -331*u + 334*u = -j for u.
-3
Suppose 2*k = 3*k - 10. Let j(x) = x**3 - 10*x**2. Let i be j(k). Solve i = 2*y + 3*y - 10 for y.
2
Let s(x) = 24*x + 285. Let y be s(-9). Solve -70*z = -y*z - 4 for z.
4
Let k = 827 - 825. Solve k = -3*z - 1 for z.
-1
Let u be (-2)/4 - 35/(-2). Let p be -1*(1 + -1 + -10 + 8). Solve -p*x + 7 = u for x.
-5
Suppose 3*d - 11 = d - 3*g, g - 1 = 0. Suppose -3*t - 2*p = -66, -t - 32 = -2*t - d*p. Solve -t = -n + 6*n for n.
-4
Let p = -392 + 262. Let m = p + 134. Solve -9 = -m*h + h for h.
3
Let c = 60 + -57. Suppose 3*n - 2*n - c = 0. Solve 0 = n*s - 0*s + 3 for s.
-1
Let b(k) = 3*k + 1. Let f be (-2 + -3)*28/10. Let g = -13 - f. Let o be b(g). Solve -r + 0*r - o = 0 for r.
-4
Let q = 24 - 6. Let b be q/12*3*2. Let w(n) = -n + 11. Let d be w(b). Solve -2 + 0 = d*a for a.
-1
Let l be ((-22)/(-5))/(66/15 - 4). Solve 4*f + l = -9 for f.
-5
Let l(a) = a**2 - 4*a - 18. Let i be l(7). Solve i*j - 9 = 6*j for j.
-3
Let f be 1/((-4 + -1)/15). Let q be (0 - 2)/(2 + f). Solve -3*x + 2 = -q*x for x.
2
Let a be (22 + -23)/((-3)/123). Solve -a*p + 25 = -36*p for p.
5
Let w = -8 + 14. Let s be 2 + (-2)/w*-3. Solve 0 = p - s*p - 10 for p.
-5
Suppose -q + x + 1 = 0, 0 = -5*q - 3*x - 5 - 30. Let s be (q/(-2))/(-4)*0. Suppose -5*c + 24 = -3*o - 6, s = -4*c + 4*o + 32. Solve 0*t = -c*t + 3 for t.
1
Suppose -5*f = -3*z - 217, 5*f + 373*z - 377*z - 216 = 0. Solve 49*b - f*b = 0 for b.
0
Suppose -2*a + r + 0*r - 10 = 0, 0 = 4*a + 3*r. Let w be (-5)/(15/a) - 0. Solve -7 = -2*o - w for o.
3
Let p = -19 - -19. Suppose -2*h + p*f - 5*f - 9 = 0, 4*h - 9 = -f. Solve x = h*x - 2 for x.
1
Let z(j) = 0 - 16 - 3*j + 1. Let h be 2 + 1 - (2 + 7). Let s be z(h). Solve 4 = -v - s*v for v.
-1
Let x(u) = -4*u**2 + 16*u + 5. Let l be x(4). Solve 5*c - l*c = c for c.
0
Suppose 12 = 5*j + 2. Suppose -s - s + 8 = 0, -j*c + 24 = 2*s. Suppose 0 = -5*y - 3*a - 3 - 3, 0 = -3*y - 4*a - c. Solve -2*o = -y - 2 for o.
1
Let j be (-3 + (1 - 0))/(-1). Suppose j*n + 0 = 4. Solve 0 = -7*m + n*m - 25 for m.
-5
Let i = -1514 - -1516. Solve i*g = -3*g + 10 for g.
2
Let k(g) = -g**2 - 19*g + 26. Let f be k(-20). Solve a - 1 + f = 0 for a.
-5
Suppose 52 = u + 5*p, 0 = 3*p + 34 - 43. Solve -u*q + 44*q - 21 = 0 for q.
3
Let j(p) = -74*p - 542. Let t be j(-8). Solve 3 = 51*b - t*b for b.
3
Let c(n) be the third derivative of -2*n**4/3 - 7*n**3/6 - 17*n**2. Let g be c(-1). Solve v + 2*v = -g for v.
-3
Suppose 0 = -5*h + 2*z + 5, 4 = 6*h - 2*h - 2*z. Let b be (-1)/(-2)*h/(5/20). Solve 4*v = b*v - 8 for v.
-4
Suppose -9*q + 27 = -0*q. Suppose 20 = 5*g - 2*v, -2*g - q*v + 16 = 2*g. Solve -3*p + 5 = -g*p for p.
-5
Let m(a) = a**2 - 18*a + 45. Let v(y) = y**3 - 3*y**2 - 15*y - 3. Let d be v(6). Let t be m(d). Solve t = -0*j - j for j.
0
Let g(p) = -6*p - 2. Let y(j) = 5*j + 2. Let l(m) = 4*g(m) + 5*y(m). Let t be l(4). S