 -0*x + x for x.
-1
Let f(m) = 2*m**2 + 2*m - 4. Let s be f(-3). Let z(y) = -4*y + 18. Let u be z(4). Solve -s = 2*o + u*o for o.
-2
Suppose 7 = -q + 2*q. Let h(x) = -x + 9. Let w be h(q). Solve 0 = w*i - i - 2 for i.
2
Let f = -17 - -17. Solve -6*m + m + 25 = f for m.
5
Let q = 10 - 9. Suppose 19 = 4*h - 3*p, -6 = -h + p - q. Solve 2*s = -2*s - h for s.
-1
Suppose -i + 0 = 2. Let m be -24*(24/(-9) - i). Let f = m + -5. Solve -9 = 5*c + f for c.
-4
Let x be 5 - -2 - (-4 + 8). Suppose 13 = 2*a - x. Solve -3*r - r + a = 0 for r.
2
Let g = 8 - 5. Solve -g*z = -2*z + 2 for z.
-2
Suppose 2*w = 5 + 3, 2*r = 3*w. Solve g = -g + r for g.
3
Suppose -134 = 2*l + 36. Let u = 121 + l. Suppose 0 = t + 2*t - u. Solve 0 = 5*a - 3 - t for a.
3
Let n be ((-16)/10)/(12/(-30)). Let z(u) = -u**2 - 5*u - 1. Let j be z(-3). Suppose 4*t - l + 5*l = -12, n*t = -j*l - 17. Solve -3*f = t*f for f.
0
Suppose 0 = -5*i + 6 + 4. Solve -4*g = i + 2 for g.
-1
Suppose -5*l = -26 - 39. Let g = l + -11. Solve -4 - g = -3*s for s.
2
Suppose -i + 2*d = -d + 12, 3*i + 4*d - 29 = 0. Let x(b) = b**3 - 8*b**2 - b. Let u be x(8). Let t = u - -9. Solve p + t + i = 0 for p.
-4
Let x = -4 + 8. Suppose -2*g + 5*z = -61 + 23, x*g = -2*z + 52. Suppose -2*c = -g - 2. Solve a - c = -a for a.
4
Let t(g) = g. Let l be t(3). Let o = 2 + 1. Let q = l - o. Solve q = z + 1 for z.
-1
Let z be (2 - -3)/(-5 + 6). Solve -u + z = -6*u for u.
-1
Suppose -3*i + 6*i - 9 = 0. Suppose -2*o + 5 = i*o. Let p(r) = -r**2 - 9*r - 9. Let k be p(-6). Solve 0 = -5*j + k + o for j.
2
Let n(u) = 1 + u**2 + 4*u**2 - u**3 - 2*u + 0*u. Let a be n(2). Let h = a + -5. Solve 0 - 12 = -h*m for m.
3
Let o be ((-8)/(-6))/(4/12). Suppose -o*u - 4 = -32. Let i(y) = y**2 - 5*y - 9. Let f be i(u). Solve 0*g = g + f for g.
-5
Suppose 0 = 3*a - 7*a + 24. Suppose -3*i = -0*i - a. Suppose i*z + 8 = 3*w - 0*w, -z - 1 = -w. Solve 2*q - 20 = w*q for q.
-5
Let v(o) = o**3 + 16*o**2 - o - 15. Let h be v(-16). Let q be (1 - 6)/(0 - h). Solve 0 = 4*w + q + 3 for w.
-2
Let d(k) = -3*k**3 - 7*k**2 + 2*k**3 - 4 - 3*k**2 - 10*k. Suppose -3*b - 37 + 10 = 0. Let s be d(b). Solve 3*y = s + 4 for y.
3
Suppose 2 = 3*l + f - 0, -3*l + 2*f = -5. Solve -4*y = -l - 11 for y.
3
Let a = -1 - -16. Suppose -8*y = -3*y - a. Solve -y*n - 20 = 2*n for n.
-4
Suppose 4*j - 3*r + 8 = 44, -2*j + 24 = -3*r. Solve -v - v = j for v.
-3
Let k = -4 + 11. Suppose 0 = 3*w - k - 5. Solve -d - w*d = -25 for d.
5
Let p be 1 - -1 - (0 - 0). Let n = -7 - -3. Let s = -4 - n. Solve s = -p*i + i for i.
0
Let p = 5 - 1. Suppose 4*q = 7*a - 2*a - 25, -5*q - p*a + 20 = 0. Suppose 1 = 4*h + 5, q = 3*i - 2*h - 8. Solve -5*o + i = -8 for o.
2
Suppose 12 = -4*p - 0*p. Let a be (2 - 12/p) + -4. Solve -3*h = a*h + 10 for h.
-2
Let s(m) = m**2 - m - 1. Let w(f) = -5*f**2 - 2*f + 3. Let b(c) = 4*s(c) + w(c). Let g be b(-5). Let j = g - 2. Solve a = 2*a - j for a.
2
Let k = -2 + 8. Suppose -3*u - 2*m - k = 0, -2 = 2*u + 5*m + 2. Let q = 0 - u. Solve 0 = -5*x - q - 8 for x.
-2
Let g = -2 - -23. Let d be (-60)/(-14) - 6/g. Suppose -2*h - 2*h + 12 = 0. Solve h*l - d*l = -4 for l.
4
Let h(l) = 4*l - 1. Let u = 6 + -7. Let z be h(u). Let j be ((-4)/(-10))/(z/(-50)). Solve 0 = 6*d - 2*d - j for d.
1
Suppose 0*u + 3*y + 30 = 5*u, -u = y - 6. Let n = -5 + u. Solve -2*g - n = -7 for g.
3
Let m be (-1)/(-8) - 658/(-112). Suppose -4*d + 2 = -14. Solve -m + d = -h for h.
2
Let a(h) = 5*h**3 - h**2 + 2*h - 1. Let i = -6 - -10. Suppose 4*n - i + 0 = 0. Let w be a(n). Solve -25 = -w*y - 0*y for y.
5
Let t = 9 + 2. Solve t = 5*r + 36 for r.
-5
Suppose 4*b = -0*b + 8. Solve b*y + 6 = 4 for y.
-1
Suppose 0 = 4*g - 7*g - 6. Let a = g + 5. Solve -a*f - 3 = -0 for f.
-1
Let b(k) = k**2 - 4*k - 9. Let f be b(-2). Solve a - f*a - 2 = 0 for a.
-1
Suppose 0 = 3*w - 5*b + 5, 2*b - 4 = b. Suppose w = -l + 10. Solve 3*s = 2*s - l for s.
-5
Let g(q) = -5*q**2 - q. Let n be g(-1). Let m be n + 6 - (-1 + 1). Suppose -w = -m*h + 1, 3*h + 2 = 3*w - 1. Solve s = -h*s for s.
0
Suppose 0 = -s - q - q + 12, 9 = -3*s + 3*q. Solve -t + s = -2 for t.
4
Let r = -90 - -102. Suppose -3 = 3*m - 4*m. Solve r - 3 = -m*h for h.
-3
Let u(l) = l**3 - 2*l**2 - 7. Let t be u(5). Let v = -46 + t. Suppose 2*o = -3*f + 6*o + v, -o = -2*f + 8. Solve 2*n + 12 = -f*n for n.
-3
Let m be 2/(-9) - (-195)/27. Solve -m = 4*w + 5 for w.
-3
Let u = -26 - -63. Suppose 5*i - 1 + 7 = -2*k, u = 3*k - 4*i. Let t be 3/(-6)*(-2 + 2). Solve -5*w + k*w + 8 = t for w.
-4
Let c(z) = -z**2 - 10*z + 2. Let m be c(-10). Solve -q - m = 2 for q.
-4
Suppose 0 = -13*q + 90 - 25. Solve -q*s = -8 - 12 for s.
4
Let z(k) be the first derivative of -k**4/12 - k**3 - 3*k**2 + 2*k + 2. Let c(u) be the first derivative of z(u). Let v be c(-4). Solve -v*a = -6*a for a.
0
Let h = -45 - -60. Solve 0 = 3*r + 3 - h for r.
4
Let t(w) = -w**3 - 8*w**2 - w - 6. Let o be t(-8). Suppose 3*s - 9 = h, o*s = -0*s - h + 6. Let m be (s + -2)/(2/8). Solve -16 = -3*r - m for r.
4
Let j = 4 - 1. Let a(i) = 2 + 4*i + j - 4. Let n be a(1). Solve 0*b = -n*b for b.
0
Suppose 0 - 2 = g. Let j(i) = -i**3 + 2*i - 1. Let r be j(g). Suppose b - 3 = 7. Solve 0 = -r*u + u - b for u.
-5
Suppose -d - 6 = -13. Solve -f - 2 + d = 0 for f.
5
Let z(m) = -m**3 + 3*m**2 + 9*m + 6. Let r be z(5). Solve -r = 3*q - 13 for q.
4
Let m be (-8)/(-2*1/1). Suppose -3*y + 11 = -7. Let s(b) = -b**3 + 7*b**2 - 6*b + 2. Let a be s(y). Solve m*n = 5*n - a for n.
2
Let c = 74 - 66. Solve -w = -5*w + c for w.
2
Let j be (1 - -3) + -2 + 18. Let p(s) = -s**2 - s. Let n(c) = -3*c + 1. Let q(u) = n(u) + p(u). Let i be q(-3). Solve i*k - j = -0*k for k.
5
Let s be 18*-3*(-3)/9. Let x = s - 13. Solve -x*p - 6 = 4 for p.
-2
Let k be (-1)/(-2)*(-3 + 3). Solve k = i - 6*i - 20 for i.
-4
Let m(d) = -d**3 + 7*d**2 - 4*d - 4. Let c be 0 - (3 + -6 - 3). Let f be m(c). Solve 3*i - f = -2 for i.
2
Let y = 14 + 6. Solve -3*q = q - y for q.
5
Let g be (-28)/(-126) - (-212)/18. Let q be (-1 + 26)*g/15. Solve 0*i + 4*i + q = 0 for i.
-5
Suppose 0 = 4*i - 7 - 13. Solve -f = -i*f + 4 for f.
1
Suppose 3*v + 4*i = 5*i + 19, 7 = -v - 3*i. Solve -5*x = -v - 0 for x.
1
Suppose -50 = -4*z + 2. Let u = 15 - z. Solve 0 = -0*p + p + u for p.
-2
Let t(a) = -a**3 + 5*a**2 + 10*a - 9. Let h be t(6). Let m be 6/h + 8/5. Let l be -5 + m + 5 + -1. Solve 0 = -p + l + 4 for p.
5
Let m be (-18)/24 + (-11)/(-4). Solve -w = m*w for w.
0
Suppose -3 - 15 = -2*l. Let t = l + -7. Suppose -3*v - j + 20 = -t*j, 2*v - 25 = 3*j. Solve v*q = 3*q + 8 for q.
4
Suppose h = 4*h - 15. Suppose -2*z = -b - h, -2*z = b + z - 10. Let t = 4 - 4. Solve t = 2*k - 9 - b for k.
5
Let g be (64/40)/(2/5). Suppose -2*s = 3*x - s - 10, -g*s + 24 = 4*x. Solve x*u = 6*u + 16 for u.
-4
Let j = 10 + -9. Let g be j*3 + (-18 - 5). Let m = g + 35. Solve -c + m = -4*c for c.
-5
Let h be 8*(-2 + (-15)/(-6)). Let k(t) = -t**3 + 3*t**2 + 3*t + 4. Let w be k(h). Suppose w = -4*m - 3*i + 66, -4*m + 3*i + 69 = m. Solve 4*a + a - m = 0 for a.
3
Let b be (-2)/(-3) + (-43)/(-3). Let v be (-5 - -9)/(1 - -1). Suppose 2*m + 2*q - 4 = 0, 2*m - v - 11 = q. Solve m*h - 5 - b = 0 for h.
4
Let i = -11 + 20. Let q = 6 - 4. Suppose -q*j + i = -1. Solve -3 = -j*c + 2 for c.
1
Let t be (-24)/(-9)*(-18)/(-8). Let v = t + -2. Let y(a) = -2*a - 1. Let c be y(-1). Solve v*p + 5 - c = 0 for p.
-1
Suppose -q + 5*k = 2*q - 9, -9 = -3*q + k. Let g = 11 + -6. Solve q = -g*o + 2*o for o.
-1
Let z(j) = j**3 - 7*j**2 - 3. Let n be z(7). Let f = n + 5. Solve 1 = f*i - 1 for i.
1
Let u = -30 - -32. Solve n - u = -0*n for n.
2
Suppose -6*u + 3*u = -0*u. Solve u = -4*n + 4 - 8 for n.
-1
Suppose 4*d = -d + 30. Suppose d*l - 12 = 3*l. Suppose -l*s = -s. Solve s*b - b = -3 for b.
3
Let g = -1 - -7. Let n be (2/4)/(1/g). Solve 5*q + n - 13 = 0 for q.
2
Let h be 0/(-2)*(-1)/(-2). Suppose h = -4*f + 3*f. Suppose 3*u + 2 - 8 = f. Solve 4 = -u*a + 10 for a.
3
Let l(m) = 2*m + 10. Let o be l(-3). Solve 0*r + r - o = 0 for r.
4
Let j(z) = z + 7. Let b be j(10). Solve 4*q + b = -3 for q.
-5
Suppose -5*g + 30 = -0*g - 5*o, -4*o - 10 = -2*g. Let k = 12 - g. Suppose 0*p + 19 = 3*p - k*h, -5*p + 19 = -2*h. Solve -1 = -4*v + p for v.
1
Let h(y) = 5*y**2 - y**3 + 2*y**3 + 0 - y - 5. Let f be h(-4). Suppose -n + 3*n - 12 = -3*b, 0 = 4*b + 2*n - 16. Solve -