1
Let g = 0 + 0. Suppose g*n - 4*n = -16. Solve 2*x = -0 - n for x.
-2
Let u be (-1*2)/2 + 1. Let h(b) = 2*b - 5 + b**2 + 3*b + u*b. Let y be h(-6). Solve -p + 0 = -y for p.
1
Suppose -5*m - 7 = -5*k + 18, 2*k - 3*m - 9 = 0. Solve -d = -3*d + k for d.
3
Suppose -12*y + 4*y + 24 = 0. Solve y + 0 = f for f.
3
Let z(p) = -p + 17. Let i be z(11). Solve -f - f - i = 0 for f.
-3
Let y be 2/(-3 - 11/(-3)) - -1. Let m be 1 + 3/9*3. Solve 0 = m*d + 2*d + y for d.
-1
Let r = -92 + 95. Solve -r = 5*c + 2 for c.
-1
Let l(m) = m**3 - 9*m**2 + 6*m + 16. Let o be l(8). Solve o = -2*j + 2 - 4 for j.
-1
Suppose 13*u + 18 = 19*u. Solve 5 = 4*c - u for c.
2
Let q = -22 + 22. Let x = 9 + -4. Suppose -1 - x = -3*f - 2*p, -5 = -5*f - 5*p. Solve 2*c - f*c - 10 = q for c.
-5
Let l(i) = i**2 + 2*i - 8. Let y be l(-4). Solve 2*k + 3*k - 5 = y for k.
1
Let m = 4 - -3. Let w = -73 + 47. Let j be 3/(-9) + w/(-6). Solve -j*g - 12 = -m*g for g.
4
Suppose 0 = -25*u + 30*u + 5. Let f = u + 3. Solve -f*a = a for a.
0
Let t = -2 - -3. Suppose -7 + 3 = 4*g. Let z be g + t + 0 - -2. Solve 6*p = z*p for p.
0
Let u(a) = -a**2 - a. Let j(s) = -s**3 + 17*s**2 - 9*s + 5. Let o(z) = -j(z) - 4*u(z). Let m be o(12). Solve -5 - m = 3*f for f.
-4
Let x(y) = 16*y + 40. Let i(j) = 3*j + 8. Let a(p) = 11*i(p) - 2*x(p). Let r be a(-6). Solve b - 2 = r*b for b.
-2
Let r be 30/(-4)*(-8)/6. Suppose 5*o - r = -2*f - 0*f, 3*o - 6 = -2*f. Solve -11 = -o*w - 1 for w.
5
Suppose 0 = -4*s - n + 3 + 18, -3*n = 5*s - 35. Let q be 0 + (-10)/(-6) + (-13)/(-39). Solve q*f - f = -s for f.
-4
Suppose 0 = 4*a + 3*a - 35. Solve -14 - 6 = -a*n for n.
4
Suppose 0*t - 3*f = 2*t - 4, -5*f = -2*t + 4. Let a = t - 1. Suppose -l - 3*d + 8*d = 0, 4*d = 4*l. Solve l = -k + 3 + a for k.
4
Suppose 2*s + 9 = -5*o, s + 14 = -5*o - 3. Let k(d) = d**3 - 5*d**2 - 5*d - 1. Let t = -7 + 13. Let r be k(t). Solve -r*h = -h + s for h.
-2
Let h(w) = w - 11. Let o(r) = -1. Let d(x) = -h(x) + 5*o(x). Let z be d(4). Solve 0*y - y + z = 0 for y.
2
Let n(p) = p - 14. Let h be n(-6). Let l = h + 21. Solve -3*c + 2*c + l = 0 for c.
1
Let f(x) = x**3 + 6*x**2 + 3*x + 1. Let d be f(-2). Let i = d + -7. Suppose -i*t + 12 = -t. Solve 8*l - t*l = -4 for l.
-1
Let f be 5/(-2)*84/(-30). Solve 5*p = f - 2 for p.
1
Let p(r) = r**2 + 1. Let u be p(3). Suppose 3*d + 15 = 8*d. Solve c - d*c = -u for c.
5
Suppose 3*u - 21 = -4*p, 0*u + u = 5*p - 12. Let h be (-1)/(-3) + (-6)/(-9). Let d = 0 + h. Solve 5 = -p*z - d for z.
-2
Let r(i) = -i**3 + 4*i**2 + 2*i + 4. Let s be r(4). Let c = 14 - s. Solve -3*j + c*j = 0 for j.
0
Let o(w) = 15*w - 26. Let v be o(2). Solve 1 - 17 = v*a for a.
-4
Let r = 9 - 19. Let c = r + 14. Suppose -c = -a + 2. Solve 4*o + a = -6 for o.
-3
Suppose -j = 2*j - 21. Solve 0 = 5*v + 13 + j for v.
-4
Let d(y) = 7*y - 3. Let b(a) = -4*a + 2. Let q(j) = 5*b(j) + 3*d(j). Let l be q(-1). Let w = 2 - l. Solve -3*n - w + 8 = 0 for n.
2
Suppose -2*s + 12 = -s. Suppose s = 2*w + 4. Solve w = -4*c - 0 for c.
-1
Let t be 2/7 + 12/7. Suppose 5*k = 23 + t. Solve -k*c - 2 = -22 for c.
4
Let t be 2/(3 + 20/(-8)). Suppose 2*b + 21 = 4*f - 1, -t*b = 20. Solve -2*s - f = -s for s.
-3
Let z(g) = -4*g**2 - 3*g**3 - 4*g + 3*g**3 - g**3 - 1. Let i be z(-3). Let o(t) = t**3 - 3*t**2 + 2*t + 2. Let s be o(i). Solve -n - 5 = -s*n for n.
5
Suppose 0 = -3*w + 7 + 17. Suppose p - 5*k = 6*p - 20, -p - 3*k = -w. Solve 15 = -p*n - n for n.
-5
Suppose -5*p = -3*q + 6 + 4, 0 = q + p - 6. Suppose -3*l - 3*n = 2*l + q, -5*l + 4*n = 40. Let r be (4 + -2)/(l/(-30)). Solve -m - r = -4*m for m.
5
Suppose 4*z + 5*o = 9, 5*z + 4*o - 6*o - 3 = 0. Solve 0 = -5*u + 4 + z for u.
1
Let g = -29 - -40. Suppose -x + 6*x = -d + 30, -3*d = 3*x - 30. Solve 4*r - g = d for r.
4
Let r be 20*1*(1 - 0). Let t(u) be the first derivative of -u**4/4 + 4*u - 1. Let n be t(0). Solve -j + r = n*j for j.
4
Suppose 0 = -2*s + 7 + 1. Let b be (-1)/2*-2 - s. Let k be (0 + 3 + b)/2. Solve -3 = -w - k for w.
3
Suppose 5*u + 4*i - 24 = 0, 2*i = -0*u - 2*u + 10. Solve 2 = 2*g + u for g.
-1
Suppose k - d = 4, 5*k - 3*d - 1 = 13. Suppose -4*b + k = -3. Suppose 2 = -2*f - 5*y, -f - 6*y + y - 6 = 0. Solve f*x = 5*x - b for x.
1
Suppose r = -3*r + 20. Suppose 5 = b + d, -4*b - r = -2*d + 5. Solve b*w + w = 4 for w.
4
Suppose 0 = -5*u - 2 + 22. Suppose -2*w = -u*w + 4. Solve w*z + 6 = -2 for z.
-4
Let b be ((-39)/15 - -4)/((-2)/(-10)). Solve 4*m = -1 - b for m.
-2
Let r(v) = v**2 - 19*v + 22. Let g be r(18). Solve 2*s - s = -g for s.
-4
Suppose 0 = 2*c + 3*c - 5. Let t(m) = -4*m**2 + 4*m**3 + 6*m**2 + 4 + 10*m**2 - 3*m**3. Let o be t(-12). Solve -q - c = -o for q.
3
Suppose 7*h = 3*h. Solve -2*f + 6 = -h*f for f.
3
Let f(t) = t**2 - 8*t + 6. Let a be f(8). Suppose 4*m - 18 + a = 0. Solve m*s = -1 - 8 for s.
-3
Suppose -3*o + 66 = 5*p, -3*p + 4*o + 5 = -23. Let g be p + (-6)/2 + 0. Suppose -31 = -4*f + g. Solve -b - 4*b + f = 0 for b.
2
Suppose 6*k = -0*k. Solve 5 = v - k for v.
5
Let n be (-26)/(-7) - (-8)/28. Suppose -n*y + 3 = -13. Suppose -3*k - 4*a = -4, y*k + 5*a = a + 8. Solve 5 = j + k for j.
1
Let s be ((-4)/12)/(1/(-9)). Suppose 4*o = -4*m, -o + 5 = 4*m - 1. Solve s*n = -m*n for n.
0
Let b be ((-12)/(-5))/(3/20). Let j = -16 + b. Solve j = s + s - 2 for s.
1
Let h be ((-3)/4)/((-1)/20). Let u = h + -11. Suppose 3*n = 2*d + 13, -3*n - d - u*d - 22 = 0. Solve 0 = c + n - 2 for c.
1
Let q be ((-45)/(-90))/((-2)/(-24)). Solve -q*v + 10*v = -4 for v.
-1
Let i(c) = -3*c + 33. Let a be i(11). Solve -5*h = -a*h - 15 for h.
3
Let q be ((-5)/4)/((-1)/4). Suppose -2*v + s + 6 = -4*s, q*v - 15 = -2*s. Let a(o) = o**3 + o**2 + 8. Let f be a(0). Solve -v*x - x + f = 0 for x.
2
Let v = 3 - -3. Let k = v - 3. Solve x + k*x + 20 = 0 for x.
-5
Suppose -16 = -5*a + 4. Solve -l = a*l - 25 for l.
5
Suppose -15 = -4*j + 1. Solve -j*p = -5*p - 3 for p.
-3
Suppose 2*u + 24 = 4*u. Suppose -4*s = 2*q + u, -3*s = s. Let m = q - -10. Solve m = k + 6 for k.
-2
Let w(z) = -5*z. Let l be w(-1). Suppose 5*g - 17 = 8, -l*i = 3*g - 25. Solve -i*b + 4*b - 6 = 0 for b.
3
Suppose o + 25 = 6*o. Suppose 0 = 2*f - 5*z - o, -5*f - 2*z - 2 = -0. Solve f = -4*s - 21 + 1 for s.
-5
Suppose -q - q = 5*r - 3, 5*r + 9 = q. Solve -4 - 16 = q*f for f.
-5
Let p = 24 - 19. Solve k - 12 = p*k for k.
-3
Suppose -3*g - 50 = -h, -4*g + 3*h = -11 + 76. Let c = -11 - g. Solve 0*n = 2*n - c for n.
3
Let r be 3 - (-3 - (-12)/2). Solve -2*o + r + 4 = 0 for o.
2
Let n(k) = k + 4. Let b be n(-4). Solve b*j + 8 = 2*j for j.
4
Let y(u) = 4*u**2 - u + 1. Let n(h) = -h**3 - 7*h**2 + 9*h + 9. Let d be n(-8). Let l be y(d). Solve k + 25 = -l*k for k.
-5
Let c = -4 - -8. Solve c*y - 6*y = -2 for y.
1
Suppose -2*w + h - 27 = 0, -6 - 15 = w - 2*h. Let m = -7 - w. Suppose m*j - 30 = j. Solve 0 = 4*a - 6 - j for a.
4
Suppose 11*b - 23 - 54 = 0. Solve 0 = b*r - 2*r - 20 for r.
4
Let a be (-363)/12 + 1/4. Let u be (-12)/a*10*1. Solve 0 = u*y - 4 for y.
1
Let m(p) = -p**2 - 8*p - 6. Let c be m(-8). Let r = c + 8. Solve r = i - 0*i for i.
2
Let k(o) = o**2 - 6*o + 7. Let b be k(6). Let h = 13 - b. Suppose 0 = -h*y + y. Solve 5*j + y*j = 10 for j.
2
Let t be 1/((-40)/(-12) - 3). Suppose 0 = -z - t*f + 19, 5*z - 14 = -2*f + 16. Solve -b + z*b = 0 for b.
0
Let u be 6 + (0/3)/(-2). Let y be -5*2*u/(-4). Solve 0 = -2*b + 5*b + y for b.
-5
Suppose 0 = -w - 2 + 1. Let g be (-3 + (-5 - -3))*w. Solve 31 = g*t + 11 for t.
4
Let i(a) = 3*a + 12. Let t(l) = -l**3 + l + 5. Let d be t(0). Let u be i(d). Solve -5*x = -u + 7 for x.
4
Suppose -k = k. Solve a = 1 - k for a.
1
Let n = 168 - 166. Solve -n*k + 0*k = 0 for k.
0
Suppose 3 = -s + 6. Solve -5*i = s + 2 for i.
-1
Suppose -f - 2*f - 9 = 4*u, 0 = 5*u + 3*f + 9. Suppose -2*i + 6 = i. Solve -i*a - 8 = -u for a.
-4
Let t(j) = -j**2 + 3*j. Let s be t(3). Suppose -20 = -4*u - s*u. Solve 6 = u*g + 21 for g.
-3
Let f(z) = z**2 - 2*z + 2. Let k be f(3). Suppose -u = 2*t + 1 - k, 0 = -2*u - 3*t + 8. Solve -u*q - 1 - 7 = 0 for q.
-2
Let u(g) = -5 - 4*g**2 + 4*g**2 - g**2 - 8*g. Let z be u(-5). Suppose -1 = r - 0, 0 = n - 2*r - 5. Solve 0 = -n*c - 2 - z for c.
-4
Suppose -2*g - g - 4*t = 4, 8 = 5*g + 3*t. Solve 0 = -4*u - g - 4 for u.
-2
Let j be -1*(2/(-1) - 3). Suppose -12 = 4*o - j*c, -c - 5 = -5*o + 1. Solve -o*i - 6 - 4 = 0 for i.
-5
Le