 -y*x for x.
-5
Suppose m - z - 14 = 0, -4*m - m + 88 = 4*z. Solve 2*n + m = -2*n for n.
-4
Suppose 14 = 4*x - 2. Suppose -5 = 3*q - x*q. Solve 0 = 2*s - 3*s + q for s.
5
Let l be (-26)/(-30) + 8/60. Solve -l = 2*k + 3 for k.
-2
Let s(b) = b**3 + b. Suppose 0*i + 2*i = 0. Let p be s(i). Suppose v - 6*v = p. Solve -t + v = -3 for t.
3
Let w(h) = 2 - h**2 + 4*h**2 - 4*h**2 - 3 - 5*h. Let f be w(-5). Let o = f - -1. Solve 4*x + o*x = -4 for x.
-1
Let h be -6 + 0*2/(-4). Let y = h + 6. Solve y*m - 5*m = -15 for m.
3
Suppose 4*n - 15 = -n. Suppose n*k = 5*k - 6. Let y be (-9)/(-27) - 5/(-3). Solve -y*l + 5 = -k for l.
4
Suppose -9*j + 30 = -3*j. Solve 2*k = j + 3 for k.
4
Let b = 13 - 11. Suppose -28 = -b*j - 4*w + 14, 5*w + 110 = 4*j. Solve -3*y = -8*y - j for y.
-5
Let h = 119 + -116. Solve 3*a + h + 6 = 0 for a.
-3
Let k = -39 - -43. Solve -k*o = 12 + 8 for o.
-5
Let u(s) = 3*s**3 - 3*s**2 + 2*s - 2. Let n be u(2). Solve -4*v - n = 2 for v.
-4
Suppose -4*p + 2*p - 4 = -4*g, 4*g + p = 10. Solve -2*m = g*m - 8 for m.
2
Suppose -2 = -4*b + 5*c + 6, 4*c - 10 = -5*b. Let n be b + -2 + (2 - -1). Solve -n*a - 6 = 3 for a.
-3
Suppose -5*h + 3 = -2*q, -5*q + 2*h + 2 + 1 = 0. Let p be (-1 + q)/(-5 + 4). Solve 4 = -p*b + 2*b for b.
2
Let k(u) = -u**2 + 7*u + 3. Let y be k(7). Suppose l = -y*l. Solve 2 = 2*s - l for s.
1
Suppose 6*r - 11*r = -60. Let d be (-2)/4*(0 + -4). Suppose -r = -d*j - j. Solve p - j = 3*p for p.
-2
Let q = 48 + -33. Solve 0 = 8*l - 3*l + q for l.
-3
Let s(i) = -2*i - 8. Let p be s(-5). Suppose 0*o + 10 = p*o. Solve 0 = -10*y + o*y for y.
0
Let n = 1 + 5. Let u be (9/n)/((-1)/(-2)). Let z be (1 - (1 + -1))*2. Solve z*k - 3 = u for k.
3
Suppose b - 4 - 2 = -3*l, 3*b = 2*l - 15. Solve t + l = 1 for t.
-2
Suppose 5*l = 3*l + 18. Suppose 0*y = 3*y - l. Let t = -1 + y. Solve -t*w + 12 = -6*w for w.
-3
Suppose 0 = 4*j - 9 - 23. Let f(r) = r - 8. Let h be f(j). Solve h = -a + 4*a - 15 for a.
5
Suppose 20 = 5*p, -2*g = 3*g + 3*p - 42. Solve g = 5*f - 14 for f.
4
Suppose 1 = -a, -o - 4 - 3 = 4*a. Let x(v) = -v**2 - 5*v - 4. Let j be x(o). Solve -3 = j*g - 13 for g.
5
Suppose 0 = 5*n - n - 20. Let s(x) = -3 + x - 2 + 0. Let w be s(n). Solve -5*r + 3 - 18 = w for r.
-3
Let q = -4 - -18. Suppose -4*n + q - 10 = 0. Solve -3 = -4*g + n for g.
1
Let l be -2 + 3 - (-9)/3. Let d be 1*l/(12/9). Solve 6*q = d*q + 9 for q.
3
Let c = 18 + -22. Let v be c*((-3)/(-2) + -2). Solve 0 = -v*o - 2*o - 20 for o.
-5
Suppose -2*x + 14 = -0*x. Suppose 10 = 2*o, -3*f + x = 3*o - 4*o. Let m = 7 + -5. Solve -r + f - m = 0 for r.
2
Let k be ((-10)/(-15))/((-2)/(-9)). Suppose -4*f + 2*f - 2*s = -2, -5*s = 0. Solve -k*j + f + 8 = 0 for j.
3
Let v(n) = n**2 + n - 3. Let i be v(-3). Let j = 4 + -3. Suppose -3*h + 11 = 2*m, -4*m + 3*h + j = -3*m. Solve -i*r + r = m for r.
-2
Suppose 7*s - 16 = -2. Solve 4*d + 2 = s*d for d.
-1
Let s(u) = u**3 - u**2 - u + 6. Let d be s(0). Solve 4*n = 2*n + d for n.
3
Suppose -2*i + 20 = -i - 4*m, -2*m = 4*i + 10. Solve 2*a + a = i for a.
0
Let h = 17 + -12. Let g(y) = 4 - 3*y + 2*y + 3. Let v be g(h). Solve -3*b = v*b + 25 for b.
-5
Suppose 50 = -6*j + j. Let n = -5 - j. Solve 4*u = n*u for u.
0
Let f(g) = g**3 - 11*g**2 + 8*g + 25. Let p be f(10). Suppose 0 = -2*d - 3*d + 115. Solve p*v - 2 = d for v.
5
Let o be (-8)/10 - 114/(-30). Solve -j + 0 = o for j.
-3
Suppose -d - 5*l + 1 = 0, -2*d - 2*l + 20 = -l. Let u be 31/d - (-6)/33. Solve u*j = -9 - 0 for j.
-3
Suppose -w - v = -15, v - 2 + 13 = w. Suppose -2*a = -11 - w. Suppose -2*p + 6*p = a. Solve 0 = -5*j + p*j - 6 for j.
-3
Let b be ((-4)/(-6))/(13/78). Solve b*x + 3 + 9 = 0 for x.
-3
Suppose m - 70 = -4*m. Let y = m - 9. Suppose -4*a - t = 2*t - y, -4*t = -2*a + 8. Solve 4*b = a*b + 6 for b.
3
Let o(h) = -h**3 - 5*h**2 - 4*h. Let l be o(-4). Solve 5*s = -10 - l for s.
-2
Suppose -5*u + 4 = -4*u. Let y(i) = i**3 - i**2 - 2*i + 1. Let q(g) = g**3 + 7*g**2 - 9*g - 6. Let o be q(-8). Let h be y(o). Solve -u*t + 15 = -h for t.
4
Suppose -3*g + 0*n + 3*n = 0, -5*g - 2*n + 21 = 0. Suppose 4*j - 10 = -2*q - 3*q, -j = -g*q + 6. Solve 0 = -2*h - j*h + 6 for h.
3
Let p(h) = -h**2 + 7*h - 6. Let c be p(4). Solve c*u = 2*u for u.
0
Let z be 2 - (0 + -2)/(-2). Let p(i) = -6*i**2 + 2*i - 1. Let o be p(z). Let r(g) = -g + 5. Let u be r(o). Solve h - 3*h = -u for h.
5
Let h(x) = -x**2 - 7*x - 6. Let n be h(-3). Solve 0 = -6*o + 8*o + n for o.
-3
Let c be (0 + -21)/3*-2. Suppose -3*m - a + 6 + 11 = 0, 0 = m + 2*a - c. Solve 0 = -k - k + m for k.
2
Suppose -4*j - 3 - 1 = 0. Let g be 0*((-2)/j)/2. Solve g = -0*d + 5*d + 10 for d.
-2
Let j = -59 + 74. Solve -4*x + j = -x for x.
5
Let g = -4 + 5. Let b(w) = 3 + 2 - 2 + 5*w**2 - g - w. Let x be b(2). Solve z = -3*z + x for z.
5
Let x(w) = -4*w - 14. Let l be x(-5). Let j(o) = 2*o - 7. Let c be j(5). Solve c*s = l*s for s.
0
Let p be -6*(-2 + (-15)/(-9)). Suppose -b + p = -2. Solve -c - c = b for c.
-2
Suppose 0 = -2*i + 4*o, -2*i - o = -4*i. Suppose -v - 4*v + 10 = 0. Suppose 0 = 3*y - v - 4. Solve -2*u + i*u + y = 0 for u.
1
Let r(l) = l**2 - 12*l + 3. Let u be r(12). Let t = u + 1. Solve -t*p = -p + 15 for p.
-5
Let a = 1 + 3. Solve 9 = a*y - 7 for y.
4
Suppose 0 = -m - 3 + 6. Let a be 45/12 + (-1)/(-4). Solve -x = m*x - a for x.
1
Let a be 132/30 + (-4)/10. Suppose k = -3*u - 0*u + 3, 60 = 4*k - a*u. Solve 2*p + p = k for p.
4
Let l(w) = 3*w + 1. Let k be l(3). Let s = k + -7. Solve j = -4 + s for j.
-1
Suppose 2*s - 25 = -3*t, 0*s - 5 = 4*s - 5*t. Solve -s + 1 = -2*v for v.
2
Suppose -4*m - 10 = 2*k, -5*m - 2*k - 9 = 2. Let v be 8 - m - 15/5. Solve -v*g = -g for g.
0
Suppose 0 = -0*q - 2*q + 3*c + 12, -2*q - 4*c - 2 = 0. Solve -3*j - 9 - q = 0 for j.
-4
Let g = -61 + 68. Solve 12 = g*u - 3*u for u.
3
Let r(a) = a + 1 + a**3 - 2*a**2 - 3*a + 0. Let z be r(3). Suppose -4*g + 0*g = -z*j + 20, g = 3*j - 13. Solve -3*v + j = -5 for v.
3
Let q = -31 - -33. Solve q*r + 8 = 6*r for r.
2
Suppose 0*v + 10 = 5*v. Let x = 2 - v. Solve x = 5*n - 0 + 5 for n.
-1
Let w(c) = c**2 + 5*c. Let i be w(-5). Let d = i - 0. Let a = 14 - 12. Solve d = a*v - 4*v + 6 for v.
3
Let o(d) be the first derivative of -d**2/2 + 1. Let r be o(3). Let c be r - (0 + 6*-1). Solve 2*a = -c*a - 25 for a.
-5
Suppose 5*w - 16 = 4, 5*w - 20 = o. Solve o = g - 0*g + 2 for g.
-2
Suppose -3*d - 4*u + 16 = -5*d, 3*d + u - 11 = 0. Suppose 0 = -0*f - d*f + 8. Solve 3 = f*b - 1 for b.
1
Suppose -4*m + 623 = 3*q, -3*m + 460 = -3*q - 2*q. Suppose m + 145 = 5*l. Suppose -j + 4*j = l. Solve 3*t + j = -t for t.
-5
Let x = 35 + -20. Let r = 17 - x. Solve -5 = -r*w - 3 for w.
1
Let i be 1*4/(-12)*(-16 + 1). Solve -5 + 30 = -i*x for x.
-5
Suppose -3*s + 13 = 2*m, 5*m - 4*s = -s + 43. Suppose 6*x + 10 = m*x. Solve -x*v + 10 = -15 for v.
5
Let b = 4 - 2. Let t = b + -2. Solve 0 = 5*u - t*u + 5 for u.
-1
Suppose -3*b = -2*w + 35, 0 = -3*w + 2*w + 4*b + 5. Solve 0 = -0*j - 5*j + w for j.
5
Let p be 1/2 + (15/(-10) - -6). Solve -4*j = -p*j + 4 for j.
4
Let i(c) = 12*c + 3. Let w be i(0). Solve 25 = -w*p - 2*p for p.
-5
Let n be 7/(112/36) - 1/4. Solve -n + 7 = h for h.
5
Suppose 5*q - 18 = -s, 0 = -0*q + 2*q - 6. Solve -2*o + 3*o + s = 0 for o.
-3
Let j = -1 - -3. Solve -j*o + 1 = 5 for o.
-2
Let y(c) = 2*c**2 + 4. Let s be y(0). Suppose -1 = -5*g + 9. Let o be 5 + g/(s/(-2)). Solve -n = -1 - o for n.
5
Suppose 3*j + 8 = 17. Solve -z + 6 = -j*z for z.
-3
Let r be 207/12 - 3/(-4). Let v = -13 + r. Solve -v*m - 3 = -18 for m.
3
Suppose -23 = -5*v + 3*v + 5*f, -2*v + 14 = -2*f. Suppose 4*h = 2*p - 26, -7*p - 25 = -12*p + 2*h. Solve v = x + p for x.
1
Let n be (-124)/16 + (-1)/4. Let u = 1 - n. Suppose 6 = 3*w - u. Solve w*a + 25 = 5 for a.
-4
Suppose 2*u - g - 2 = 0, u - g - 4 = -3. Solve 2 = 3*k - u for k.
1
Let p = -13 - -14. Solve p + 0 = c for c.
1
Let c = -45 - -31. Let i = c - -18. Solve -6 = z - i for z.
-2
Suppose 3*r - 4 = -2*j + 5, -3*r + 2*j + 21 = 0. Solve -p + 8 = -r*p for p.
-2
Suppose o = -0*o. Let z(t) = t**3 - t**2 + t + 2. Let r be z(o). Suppose 6*d = 24 - 6. Solve y - r*y - d = 0 for y.
-3
Suppose -2 = q - 7. Let c(o) = -o**3 + 5*o**2 + 2*o - 6. Let i be c(5). Suppose 4*z = q*f + 100, i*f - 50 = -2*z - f. Solve 0 = -5*y + z - 0 for y.
5
Let c(n) = -13*n - 47. Let o be c(-4). Solve 1 + 4 = -o*p