4
Let j = -32 - -36. Solve 10*x - 8*x + j = 0 for x.
-2
Let g be 6/(-4)*(-20)/(-15). Let u be (-21)/(-7)*(-2)/g. Solve u*i = 5*i + 4 for i.
-2
Suppose 0*y + y = r + 14, -5*y + 58 = -r. Let v = -11 + y. Solve 2*x - 2 + 6 = v for x.
-2
Suppose -h - 4 + 27 = 2*m, -4*h = -3*m + 40. Solve 3*a = -0*a + m for a.
4
Suppose -3*f - 79 = -4*m + 2*f, 2*m + 4*f = 20. Solve 4*d - 8*d - m = 0 for d.
-4
Suppose 4*b - 2*b = 10. Let l(f) = f**3 - 6*f**2 + 7*f - 7. Let a be l(b). Let g be 0*(a/6 - 1). Solve 3*z - 2*z - 4 = g for z.
4
Let o = 126 - 121. Solve -7 = 3*b + o for b.
-4
Let k(u) = -6*u - 9. Let h(p) = p + 1. Let l(o) = 5*h(o) + k(o). Suppose 0 = -5*r - 4*r - 45. Let b be l(r). Solve b = x - 0 for x.
1
Let j(z) = -z**3 + 3*z**2 - 1. Let m be j(2). Solve 2*i = 3*i - m for i.
3
Suppose 2*i + p + 6 = 2*p, 0 = -4*i + 5*p - 12. Let n be i/(-5) + 144/(-15). Let h = -4 - n. Solve h*b = 9 + 6 for b.
3
Suppose 0 = -2*t + 24. Suppose 0 = -s + 3*x - t, -5*s + 25 = -3*x + 5*x. Solve s*h = -0*h - 12 for h.
-4
Let y = -8 + 2. Let z(q) = q**3 + 5*q**2 - 5*q + 8. Let h be z(y). Solve h*m = -3 - 7 for m.
-5
Let t be (10/(-15))/(2/(-42)). Let h be t/4 - 2/4. Solve u - 7 = -h for u.
4
Let f be 1 + 4 - -2 - 4. Solve -2*m = f*m - 20 for m.
4
Let o(n) = -n**3 - 4*n**2 + 3*n - 6. Let b be o(-5). Suppose -b*f = -3*f - 47. Let s be 0 - (-1 - f)/3. Solve -6*j - s = -2*j for j.
-4
Suppose 4*k = k + 6. Solve 2 = -a + k*a for a.
2
Suppose -4*m + 0*w + 17 = -w, 3*w = 2*m - 11. Solve -m = -3*i - i for i.
1
Suppose -23*p - 30 = -26*p. Solve -h = h - p for h.
5
Let d be (-46)/(-6) + 2/(-3). Let f be 3/(-6) + 5/2. Solve f*j = -3 - d for j.
-5
Let q(g) = 6*g**2 - g - 2. Let s be q(-3). Let y = s + -30. Solve 0 = -0*h - 5*h + y for h.
5
Let g be 0 + -1 + 4 - -2. Solve -4*h + 7 + g = 0 for h.
3
Let w = -32 + 53. Let f = 23 - w. Solve 1 = 3*l - f for l.
1
Suppose 5*h + 10 = 4*d, 0 = -h - 4*h + 5*d - 15. Suppose m + 3*i - 1 = 0, -3*m + 2*i = h*m - 22. Let c = m - 4. Solve c = a + 4*a + 10 for a.
-2
Let a(k) = -k**3 + 3*k**2 + 5*k + 1. Let v be a(5). Let b = 64 + v. Suppose -7*j + b = -2*j. Solve -2*q = -0 + j for q.
-4
Suppose 0 = -f + w + 5, -6*w + 15 = 3*f - w. Let s(g) = g**2 - 7*g + 4. Let j be s(3). Let l be (j - -8)/(1 - -1). Solve -k + f*k = l for k.
0
Suppose -5*m = 22 + 38. Let n = m - -21. Solve 3*z = -n + 3 for z.
-2
Let w = 2 + 6. Suppose 0*p = 2*p - w. Solve -20 = p*x - 4 for x.
-4
Suppose -o + b = -2*o + 74, 208 = 3*o - 4*b. Suppose -3*x = 3*w - o, -w + 2*x = -3*x. Solve -2*y = 3*y + w for y.
-4
Suppose 10*y = -y - 44*y. Let n be (-1 - 1)*(-3 + -1). Solve y*h + 2*h = n for h.
4
Let a = 3 - 0. Suppose -2*o - v = -5 - 1, -2*o = -a*v - 14. Suppose -23 + 3 = -o*r. Solve -r*t + 3*t - 2 = 0 for t.
-1
Let q(f) = f**2 + 7*f - 5. Let x be q(-8). Solve x*c - c = -6 for c.
-3
Let a(m) = m**2 - 15*m + 36. Let w be a(12). Solve w = 5*c - 4 + 24 for c.
-4
Let f be (0*2/4)/1. Let k be (-14)/4*36/(-6). Suppose 0 = 5*s - b - k, -5*s - 2*b - b = -17. Solve -s*t + 2*t = f for t.
0
Let v(k) = 2*k**3 + 7*k**2 - 4*k + 2. Let h be v(-4). Solve 3 = a + h for a.
1
Suppose -2*a + 22 = 4*f, -4*a + 5 = -9*a. Solve -3*w = -0*w + f for w.
-2
Let g = -3 - -1. Let m be (g + 3)/(-1) - -1. Let n = 3 + m. Solve -y = n*y for y.
0
Let l = 19 + -17. Solve o + l*o - 12 = 0 for o.
4
Suppose -2*n + 3*m = -20, n + m + m + 4 = 0. Suppose 4 = 5*y - 6. Solve y*j - 2 = n*j for j.
-1
Let m be 18/(-8)*(-8)/6. Solve -m*p - 4 = -p for p.
-2
Let k(y) = -y - 3. Let w(n) = -5*n - 11. Let s(f) = -9*k(f) + 2*w(f). Let u be s(5). Solve -5*d + d + 12 = u for d.
3
Let x(o) = -o**2 + 6*o - 4. Let n be x(4). Let s(b) = -b + 1. Let u(w) = w**2 + 4*w - 2. Let t(d) = 3*s(d) + u(d). Let c be t(-2). Solve -c*h - n = 2 for h.
-2
Suppose 0 = 3*q - 2*b - 120, 0 = -b - 0*b. Suppose -4*a - 5 + 21 = 0. Suppose -4*f - 12 + q = a*j, -4*j + 31 = 5*f. Solve f*x = -2*x + 15 for x.
3
Let m(i) = 54*i**2 + i. Let b be m(-1). Suppose 4*z - n = 32, -n + 3*n = -5*z + b. Solve 5*a + z + 6 = 0 for a.
-3
Let o be (-1 + 0)/((-1)/4). Suppose 0 = -o*u + u. Suppose -b + 3*b = u. Solve -2*q + b = 2 for q.
-1
Let g(l) = 2*l**2 - 12*l - 26. Let m be g(8). Solve 2*z = -z + m for z.
2
Let s(r) = r**3 + 4*r**2 - 6*r + 2. Let i be s(-5). Let g(l) = l**2 - 8*l + 9. Let k be g(i). Suppose v - k = 13. Solve 6*x - x - v = 0 for x.
3
Let d(k) = 2*k + 12. Let t be d(-5). Suppose t*y - 37 = 3. Solve -4*h + 0*h = y for h.
-5
Let v be 16 - 3*(-6)/(-9). Let a = v + -9. Solve 0 = -8*l + 3*l + a for l.
1
Let b be ((-28)/(-6))/((-4)/(-6)). Solve -b = 5*d + 18 for d.
-5
Let m = 14 - 12. Suppose m*u = 0, 115 = 5*a - 4*u + 5*u. Solve 0 = -4*r - a + 3 for r.
-5
Let b = -1 - -3. Solve 3*w = b*w for w.
0
Suppose i - 120 = -104. Solve -4*j - i = -0 for j.
-4
Suppose d + 8 = 3*m, -5 = -m + 2*d - 4*d. Solve -2*p + m = -7 for p.
5
Let g(d) = -d**3 + 5*d**2 + d - 4. Let l be g(4). Suppose 2*i + l = -2*i. Let b be (-21)/(-2) - (-2)/i. Solve -5*k + 0*k = -b for k.
2
Suppose v = -a - 4, -v + 2*a = 4*a + 8. Suppose 2*r + v*r = 12. Solve 0 = 3*g - 18 + r for g.
4
Let t(u) = u**3 + 3*u**2 + 4*u + 2. Let b be t(-2). Let k be (b + 2)/(1 - 2). Solve k = -d - 0*d - 4 for d.
-4
Suppose 0 = -5*t - 4*p + 93, 4*p = 3*p + 2. Suppose -3*l = -t + 5. Solve -l = d - 2*d for d.
4
Suppose -5*w - 1 - 74 = -5*a, 4*a + w = 60. Let l = a - 11. Solve -l = 2*m - 14 for m.
5
Let h = -381 - -386. Let r = 1 + 1. Solve -3*u = -r*u + h for u.
-5
Let w(m) = m + 2*m**2 - 6 + 16 + 13*m. Let q(n) = n**2 + 13*n + 9. Let r(t) = -3*q(t) + 2*w(t). Let u be r(12). Solve 0 = u*a - 3*a + 6 for a.
-3
Let f(w) = 3*w**3 + 2*w**2 - 3*w + 2. Let r be f(1). Suppose 2*g = 35 + 19. Let p = g - 19. Solve 2*n - p = -r for n.
2
Suppose 4*a - 3 = 5. Suppose w - 2 = -a*i, -3*w + 8 = w. Solve -p - 5 = -i for p.
-5
Let v = 19 + -16. Solve -v - 3 = -2*q for q.
3
Suppose -4*u - 20 = -5*t, 5*t - 6*t - 5*u = 25. Let r be ((1 - 0)*0)/(-1). Suppose r = -3*q + 3*l, 3*q + 1 - 3 = 2*l. Solve c + q*c - 6 = t for c.
2
Let j be (-4)/(-18) - (-1272)/108. Solve j = 2*u + u for u.
4
Suppose -9*c + 1 = 1. Solve 4*h + 8 = -c for h.
-2
Let x be 2/12*-2 - (-30)/9. Let g = 6 + -4. Solve t = -g - x for t.
-5
Suppose 2*v - 10 = 4*t, -6 = -4*v + 4*t + 34. Solve -v = 5*g - 0*g for g.
-3
Let d(n) = -n**3 - n**2 + n. Let m be d(0). Let c = -2 - m. Let y be ((-1)/c)/((-3)/(-18)). Solve -5*o + y = -2*o for o.
1
Let a be ((-12)/(-15))/(1/5). Let t(x) = -x**3 + 2*x**2 + 5*x - 4. Let l be t(3). Suppose 0 = l*n - o - 2, 6*o = -n + a*o + 1. Solve n - 2 = -v for v.
1
Suppose 0 = -t + 6*t. Solve -4*w + 0*w + 16 = t for w.
4
Suppose -19 = -5*v - 3*k, 0 = -2*v - 3*k + k + 10. Suppose 3*y = -v*y + 100. Suppose 5*r + 0*g - y = g, -2*g = 10. Solve 6 = -r*o - 6 for o.
-4
Let x(u) = -3*u**2 + u + 1. Let w be x(2). Let b = -9 - w. Solve -f + 6*f = b for f.
0
Let s = -13 + 13. Solve 3*p - 4 + 16 = s for p.
-4
Let u = 11 + -1. Solve j + u = -j for j.
-5
Let b(w) = w - 2. Let p be b(4). Let q be (0 - 1) + p - -5. Suppose a = 3*y - q*y + 3, 2 = -2*y. Solve -u + a = 2*u for u.
2
Suppose -6 + 0 = -2*a. Suppose a*f - 56 = 4*u, 0*f + 3*f - 46 = 2*u. Let i = 13 - 8. Solve 8 = i*g - f for g.
4
Let m be -1 - (-3 - -6)/(-3). Solve -2*k - 6 = -m*k for k.
-3
Suppose z + 0*q - q - 12 = 0, -q = z - 8. Suppose -3*u = 2*b + u + 18, 5*u = b - 5. Let i = z + b. Solve i = -t - 0 for t.
-5
Let k be 16/3 - (-2)/(-6). Solve -4*o - 11 = k for o.
-4
Suppose -4*n - 4*x = -12, -4*n + x + 0*x + 7 = 0. Solve n*l = -l for l.
0
Let j be (6 + -3 + -4)*-17. Let m = -10 + j. Solve 3*d - m = 8 for d.
5
Let k(j) = j**3 + j**2 - j - 1. Let v be k(-1). Solve -5*t - 9 - 16 = v for t.
-5
Suppose -u = 2*u - 21. Let g be u*((-2)/(-1))/2. Suppose 0 = g*y - 3*y, d - y = 0. Solve d*i = i - 4 for i.
4
Let n(o) = -o**3 + o**2 + o. Let w be n(0). Suppose 2*l - 7*l = w. Solve l = -5*r + 3*r - 2 for r.
-1
Suppose 0 = -5*n - f + 96, -5*n - 3*f = 2*f - 80. Suppose d + n = 3*d. Suppose 4*a = x + 6 + 6, -d = -a + 2*x. Solve -k = -a - 1 for k.
3
Let i(z) = z**2. Let t be i(2). Let s(c) = -c**2 + 2*c + 1. Let r be s(2). Let m be (1/(-1) + 1)/r. Solve -3*a + t*a = m for a.
0
Let u = -9 + 13. Solve -u*r + 2 - 10 = 0 for r.
-2
Suppose -u - 10 = -20. Solve -u = -5*b + 15 for b.
5
Suppose -3*l + 18 = 3*a, -3*a - l - 10 = -4*a. Solve -a = o - 3 for o