5 for x.
5
Let v be 3 - (2 + 1)*1. Suppose 20 = 5*u - v*u. Solve 2 = -u*l - 2 for l.
-1
Let i(y) = y**2 - 7*y + 1. Let t be i(7). Solve -5*f = -21 + t for f.
4
Suppose -6 = -5*n + p, 0 = 2*n + 2*n - 2*p. Suppose q - n = -0*q. Solve -2*v - 4 = q for v.
-3
Suppose 5*v - 18 = n - 0*n, v - 3*n = 12. Solve 4*x - 4 = v*x for x.
4
Suppose 2*i = -0*i + 6. Suppose -4*s = -2*p - 10, 3*s - 4*s - p + 1 = 0. Solve 3 = s*q - i for q.
3
Let x(h) = -h**2 + 8*h + 2. Let v be 3 - (-6 + 2 + -1). Let o be x(v). Solve -k + 4 = o for k.
2
Suppose -5*d - 8 = -4*a, d - 3*d + 2 = a. Let j(k) = k**2 - 5*k + 3. Suppose -7*x + 2*x + 25 = 0. Let g be j(x). Solve -t - g*t = d for t.
0
Let l be (-51)/(-15) - 3/(-5). Let q be -4 - (-10 - (0 - l)). Solve q*w + 3 = -w for w.
-1
Let k = -3 + 5. Suppose 0 = -5*a + 13 - 168. Let i = a + 33. Solve -6 - k = -i*z for z.
4
Suppose 2*r = 2*u + 2, 0 = 3*u - 4*r - 2 + 8. Let m(c) = c**3 - 6*c**2 - c + 6. Let q be m(6). Solve u*s + s + 9 = q for s.
-3
Suppose -5*j + 6 = 2*n + 20, -5*n = 4*j + 1. Let l = 5 + j. Let d be 2/l*1*2. Solve 16 = -5*o - d for o.
-4
Let k = -6 - -5. Let v(h) = -6*h - 1. Let q be v(k). Solve q*r = r + 20 for r.
5
Let t = 121 - 119. Suppose 5*u = 25, g + 3 = -g + u. Solve -t*y = -y + g for y.
-1
Let w(z) be the second derivative of -z**5/20 - 7*z**4/12 - 4*z**3/3 - 4*z**2 + 3*z. Let o be w(-6). Solve -o*a = -a for a.
0
Suppose 27 = l + 21. Solve -4*y = l + 10 for y.
-4
Let s(x) = x**2 - x - 4. Let w(u) = 2*u**2 + 3*u + 1. Let j be w(-2). Suppose j*i + i - 12 = 0. Let a be s(i). Solve 5*v - 6 = a*v for v.
2
Suppose -2*x - 3*x + 15 = 2*v, -3*x + 5 = 2*v. Solve 3*h - 6 = x*h for h.
-3
Suppose 20*p - 21*p + 2 = 0. Solve 0 = -b + 2*b - p for b.
2
Suppose -4*y + 2*w = -2*w - 4, 0 = 2*y - 5*w - 17. Let t = y + 4. Let r = -16 - -23. Solve t = -r*z + 4*z - 6 for z.
-2
Let u(d) = d**3 - d**2 - d + 4. Let n be u(0). Let r be n - (5 - 2) - -3. Solve r*z - z - 12 = 0 for z.
4
Let w be (-100)/15*(-30)/(-4). Let l = 70 + w. Solve 0 = -7*s + 2*s - l for s.
-4
Let o = 2 - 1. Solve i - 1 = o for i.
2
Let u(f) = f**2 - 11*f + 1. Let g be u(10). Let h = g - -24. Solve -3 + h = 4*z for z.
3
Let k = -5 + 10. Suppose -3*h = -k*h - 12. Let j be (-2)/h*3 - -1. Solve -j*m + 6 = -5*m for m.
-2
Let b be (4/5)/(2/5). Let s be (-3)/(2 + -5)*b. Solve 0*c = -s*c - 8 for c.
-4
Let d(i) = i**3 + 8*i**2 - 19*i + 13. Let x be d(-10). Solve x*c = -9 - 3 for c.
-4
Let q(s) be the third derivative of -s**5/60 + s**4/6 + s**3/2 - 6*s**2. Let v(p) = p + 9. Let g be v(-6). Let a be q(g). Solve 0 = o - a*o for o.
0
Let s = 5 - 5. Suppose s = -v + 3. Solve -2*i = -v*i for i.
0
Let a be -2*2/(-2)*1. Solve a*u - 12 = -u for u.
4
Let p = -7 + 11. Suppose -g + 9 = 5*l - 3, -p*l + 6 = -g. Suppose 26*x - 60 = 22*x. Solve x = -3*k - g*k for k.
-3
Let z = 12 - 3. Suppose -r + 9 = 2*r. Suppose -b - 4 = 2*d - 3, 0 = -r*d - 3*b - z. Solve -d*g = -7*g + 25 for g.
5
Let d = 76 - 71. Solve -2 - 3 = d*s for s.
-1
Let o = 30 - 20. Let g(v) = v - 4. Let c be g(7). Suppose -2*x = c*x - o. Solve x*p - 3 = p for p.
3
Let t be -4*(-25)/4*1. Let q = 4 + -4. Suppose q = 5*g - g. Solve d + 4*d + t = g for d.
-5
Suppose 0 = f - 2*v - 14, -44 = -4*f + 2*v + 6. Solve p + 3*p - f = 0 for p.
3
Let c = -19 - -20. Solve -4*k = -c + 13 for k.
-3
Suppose 4*a - 3*i = 40 - 11, -45 = -5*a - 5*i. Suppose -2 = -12*f + 11*f. Solve -f*q - a = -4*q for q.
4
Suppose 39 = 4*p + 4*q - 53, 5*p = 5*q + 165. Let l = p - 8. Suppose 0 = t + 2*j + 8, -l = -5*t + j + j. Solve -t*k = 5 - 1 for k.
-2
Suppose -80 = -4*d - r, 4*r = -d + 2*d - 20. Let z = 1 - -2. Suppose 6*c = 2*c + z*u + 18, 4*u = -8. Solve 7*w - d = c*w for w.
5
Let i(m) = -m**2 - 2*m + 9. Let q be i(-4). Solve -b - q = 1 for b.
-2
Let n(a) = -a + 7. Let s be n(4). Let l = 1 + s. Solve 0 = -3*h + l*h for h.
0
Let u be ((-6)/6)/(2/(-4)). Solve -u*f = 2*f + 16 for f.
-4
Let d be (-4)/26 - (-30)/26. Let c = 1 + d. Solve -c*s + 0 - 2 = 0 for s.
-1
Let y(j) = -j**3 + 5*j**2 + 2*j + 5. Let h be y(5). Let d be 1*1*(3 + -4). Let l be (1 + -1)*d/3. Solve l = -2*f + 5*f + h for f.
-5
Let f be 1 + (-30)/(-4)*2. Solve -4*n + 0 = f for n.
-4
Suppose 2*l - 6*l = 32. Let c be (12/l)/3*-6. Solve c*b + 4 = -b for b.
-1
Suppose 15*d - 10*d = 35. Solve -d = -3*y - 22 for y.
-5
Let w(l) = 4*l**2 + 2*l - 2. Let p be w(1). Solve 4*b = -0 + p for b.
1
Suppose -5 + 3 = 5*o + 4*m, 0 = o - m - 5. Suppose 5*p - o*p = 0. Solve p = 3*n - 4 - 11 for n.
5
Let z be 88/32 - 2/(-8). Solve 6*g - z*g = 0 for g.
0
Let i = -177 - -182. Solve 0 = i*o - 0*o + 25 for o.
-5
Let k = -16 - -22. Suppose -8*h = -k*h - 12. Solve 2*r = h*r - 8 for r.
2
Let m(p) = -p**2 + 3*p + 12. Let g be m(5). Solve -g*s + 2 = 4 for s.
-1
Suppose -2*t + 7*t + h = 28, 19 = 2*t + 3*h. Suppose t*q + 2 = 6*q. Solve -q = 2*g + 8 for g.
-5
Let c be -3 + 3 + (-10)/(-2). Suppose c*a - 3 = 7. Suppose 6*j = j + 3*p + 38, 2*p + 37 = 5*j. Solve 3*r - j = a for r.
3
Let r be (-2 - (-1 - -1))*-2. Let p(g) = g**2 - 6*g + 7 + 3*g**2 - g**3 - g**2 + 3*g**2. Let n be p(5). Solve r*u - n = 6 for u.
2
Suppose 3*x - 12 = -x. Suppose 2*p - 4*p - 3*o - 15 = 0, 5 = -x*p - o. Solve 5*n + 2 - 22 = p for n.
4
Suppose 0 = -0*j + j - 6. Solve x + 25 = j*x for x.
5
Suppose 2*u + 2 = -2*d, -1 = -3*d - 3*u + 2*u. Let b be (4*(-5)/5)/(-2 + 0). Solve -b*q + d = -1 for q.
1
Let d(u) = 6*u**3 - 6*u**2 - 8*u - 3. Let a(p) = -p**3 + p**2 + p + 1. Let m(w) = -5*a(w) - d(w). Let x be m(2). Let y = 5 - 5. Solve y = k - x*k + 4 for k.
-4
Suppose -13*h + 9 = -16*h. Let f(t) be the second derivative of -t**4/12 - 2*t**3/3 - t. Let a be f(h). Solve 2*k + 11 = a for k.
-4
Let p(s) = s**2 + 15*s + 3. Let h be p(-15). Let b = -3 + h. Solve b = 2*c + 2*c for c.
0
Let l(q) be the second derivative of q**4/12 - 7*q**3/6 - 5*q**2 + 3*q. Let h be l(8). Let i be (h/(-3))/(2/21). Solve 3*w + 8 + i = 0 for w.
-5
Let i(a) = 14*a + 30. Let w be i(-2). Solve -3*v - w*v = -20 for v.
4
Let v = 13 + -8. Suppose -20 = -5*h + v. Let d = 19 - 18. Solve h*w + 4 + d = 0 for w.
-1
Let j(x) = x**2 + 5*x - 4. Let o(u) = 2*u**2 + 4*u - 4. Let d(n) = 3*j(n) - 2*o(n). Let t be d(5). Solve -2*q + 5*q + t = 0 for q.
-2
Suppose -o + 2*o - 1 = 0. Suppose 2*m + 24 = -4*d, 4*d = 5*m + 2 + 2. Let x be d/(-6) - (-42)/18. Solve -r - o = x for r.
-4
Let s(u) = 2*u + 15. Let y be s(-5). Solve -2*d - y = -7*d for d.
1
Suppose -3*b = -3*o - o - 6, -2*o + 6 = 0. Suppose f = -f + 30. Solve -d = -b*d + f for d.
3
Let g be (-3)/(-2)*(-20)/(-6). Suppose -5 = -3*w - g*j + 23, 0 = -5*w + j + 28. Suppose -5*d + 33 = 23. Solve 0*h = d*h + w for h.
-3
Let k(v) = v**3 - 3*v**2 - 3*v. Let a be k(4). Suppose -q = q - a. Solve 4 = -d + q*d for d.
4
Let k be 12/10*55/22. Suppose -r + 7 = 3. Let x(q) = -q**3 + 3*q**2 + 5*q - 4. Let l be x(r). Solve -2*h - k*h = l for h.
0
Suppose 0 = -v + 4*a - 25, 3*v - a + 43 = v. Let k = -17 - v. Solve 0 = 5*q - k - 1 for q.
1
Suppose 6 = 3*z - 12. Suppose 5*t - 4*r = 2, -3*r + z*r = 6. Solve -2*i + i - t = 0 for i.
-2
Let v = 15 - 12. Suppose v*t - 2 = 2*t. Solve 4*h - t = 2 for h.
1
Let q be (-4 - (-1 - 1)) + 6. Let m be q/18 - 32/(-18). Suppose r = -m*r + 6. Solve -1 = r*y - 3 for y.
1
Let v be (-8)/52 + (-132)/(-13). Solve 2*y + v = -0*y for y.
-5
Let k(j) = -j**2 - 6*j - 1. Let f be k(-3). Let a = -54 + 56. Solve a = -2*i - f for i.
-5
Suppose -4*b = 3*n - 6, 0*n - 8 = -4*n. Let u(g) = -g + 1 + b - 4. Let z be u(-9). Solve -o = z - 3 for o.
-3
Let p be 3/(-21) - (-15)/7. Solve -d = -3*d - p for d.
-1
Suppose -5*p - 2*s = -11, 0 = p + 6*s - s + 7. Let j be 0/(-5) - 3/(-1). Suppose x - 3*y - 8 = 2*y, p*y = -j*x + 6. Solve -2*m + x - 5 = 0 for m.
-1
Let d = 61 + -51. Solve 5*y + 0*y = d for y.
2
Suppose -3*c + 2*l + 9 = 0, 8*l = 7*l. Solve -b + 6 = -c*b for b.
-3
Let n(x) be the second derivative of -x**5/20 + 7*x**4/12 - 7*x**3/6 + 9*x**2/2 - 3*x. Let k be n(6). Solve -w + 4*w = -k for w.
-1
Suppose 7*k = 3*k - 3*i + 95, -2*i - 30 = -2*k. Let r be 3/((-6)/(-4)) + 1. Solve k = c + r*c for c.
5
Suppose 10*k + 0*k = 20. Solve -12 = -2*o - k for o.
5
Suppose 3*l = -5*a + 1, -3*a - l = -0*a - 3. Let z(n) = n**2. Let o be z(a). Suppose -18 = -4*p + 4*w - w, 5*p = o*w + 23. Solve 7 = -p*r - 2 for r.
-3
Let t be (-12)/(8/4)*1/(-3). Suppose -3 = 3*w - 0. Let q be (3 + 0)