 Solve 2*f = -f + n for f.
2
Let i be (1 - -1 - 3) + 1. Let q be (-1)/(-2)*(2 + i). Solve 1 + q = 2*r for r.
1
Suppose 0*h - 3*h = -42. Suppose 2*w + 0*c = 2*c - h, 3*w = 5*c - 31. Let l = 2 + w. Solve l = -x - 2*x - 3 for x.
-1
Let y be (-15)/(-6)*4/5. Suppose -y*k - 2 = -40. Let g = k - 11. Solve -q - 3*q + g = 0 for q.
2
Let j = -11 + 21. Solve -4*z = -9*z + j for z.
2
Suppose 3 = 3*l - 0. Let y = l + -1. Let g(j) = 21*j**2 - 5*j + 4. Let u be g(1). Solve 0 = -4*k + u - y for k.
5
Let w be 7/2 - 4/(-8). Suppose k = 2*i + 43, 0*k = -2*k + 2*i + 78. Let l be 80/k - 4/14. Solve 2*x = -l*x - w for x.
-1
Let b = -6 - -11. Solve -2*l - 3 = -b*l for l.
1
Suppose -4*l + 12 = 0, 4*h = 3*h - 5*l + 29. Let i = 12 - 10. Solve 4*u - i = h for u.
4
Let i(x) = x + 3. Let t be i(5). Let v be t/2*2/2. Solve 0 = -2*q - v - 4 for q.
-4
Suppose -7 = -2*p - 0*c + c, 5*p - 16 = 3*c. Solve 0 = -p*i - 18 + 3 for i.
-3
Suppose 4*b - 2*b = 9*b. Solve -5*k + 9*k + 20 = b for k.
-5
Let r(i) = -i**2 - 12*i + 5. Let h be r(-12). Let b = 13 - h. Suppose 0 = 4*x - 7*x. Solve 4*c + b + 4 = x for c.
-3
Let c = 12 + -9. Solve c*n = 2*n for n.
0
Let m be 280/36 - (-2)/9. Let g = m + 1. Suppose 0 = 4*f + f - 35. Solve f = 4*w - g for w.
4
Suppose -4*j + 5*j + 19 = 5*l, -4*l = j - 17. Solve 0 = v - l*v for v.
0
Suppose 10 = -5*f + 5*z, 0 = 5*z - 0*z - 10. Let x be (-80)/(-15)*15/4. Suppose 5*r + x - 100 = 0. Solve 0 = -f*l + 4*l - r for l.
4
Let y(m) = -2*m + 14. Let i be y(11). Let r(a) = a**3 + 7*a**2 - 9*a - 6. Let s be r(i). Solve -s*b + 0 = -10 for b.
5
Suppose 0 = 4*z - 0*z + r - 133, -4*z = -r - 139. Let v be 2255/35 + (-6)/14. Suppose 2 = -2*k - 5*g + z, 4*g + v = 4*k. Solve 4 + k = -4*b for b.
-5
Let x be (-27)/(-5) - 6/15. Let c = 3 + 3. Let v(m) = m - 1. Let j be v(c). Solve j = x*q - 15 for q.
4
Let k = 5 + 0. Suppose 0 = -2*j + j + 4. Suppose -m - 2*x + 8 = 0, j*m + 0*m - 6 = k*x. Solve 0 = 2*v + m + 2 for v.
-3
Let q(t) = -2*t + t - 2 - 2. Let h be q(0). Let r = 6 + h. Solve 0 = -r*z - 0*z for z.
0
Let q be ((-4)/8)/((-1)/150). Suppose -3*j + q = -0. Solve 8*a - 3*a = j for a.
5
Let c(p) = 5*p**2 + 5*p - 14. Let a be c(2). Solve -6*j + 2*j + a = 0 for j.
4
Suppose -3*m + 5*m - 3 = -z, 5*m + 3*z = 9. Let r be (3/(-3))/(-1)*m. Solve -3*l + l - 10 = r for l.
-5
Suppose -3*r - 1 = -4. Solve -2*h + r = -7 for h.
4
Suppose 27 = 5*r + 7. Solve -x = -r*x for x.
0
Let h be (0/3)/(-3) - -3. Suppose -6*s + h = -3*s. Solve 3*o - s - 14 = 0 for o.
5
Let v be 1 - (-6 + 2 + 0). Solve 0 = p - 0*p - v for p.
5
Let j(m) = m**2 + 5*m + 2. Let u be j(-5). Suppose -u*t + 4*g = -19 - 7, 5*t - 35 = 4*g. Suppose -t*q + 3*y + y + 6 = 0, 2*y - 2 = -q. Solve q = 3*x - 4 for x.
2
Let y(h) = -h**3 - 8*h**2 - 2*h - 13. Let n be y(-8). Solve -8*a - 25 = -n*a for a.
-5
Let v = 3 + -6. Let k(x) = -x + 5. Let c be k(7). Let p be c - (v/(-3) - 15). Solve 0 = -0*n + 3*n - p for n.
4
Suppose 0*g - 4*c = 4*g - 12, 5*g - 23 = 3*c. Let v(a) = a**3 - 4*a**2 + 2*a - 4. Let b(d) = 2*d - 6. Let k be b(5). Let y be v(k). Solve -g*j + y = -4 for j.
2
Suppose a - 31 = -2*l, -3*l + 28 = -2*l + 3*a. Suppose f - l = -4. Solve 0 = -5*v + f + 6 for v.
3
Let t be 1 - (30/(-1) - -1). Suppose 0 = o - 25 - 25. Let c = o - t. Solve -2*a + c = -6*a for a.
-5
Let w be (6 - 7)*(-7)/1. Suppose 0 = -w*p + 3*p. Solve 25 = -5*d - p*d for d.
-5
Let q(t) = 2*t**3 + t**2. Let c be q(1). Solve 2*s - 5 = c*s for s.
-5
Suppose -5*f = -3*f - 12. Suppose 0 = f*h - 5 - 13. Solve b = h*b for b.
0
Let a be 148/10 + 4/20. Solve -4*k + a = k for k.
3
Let n(q) = q - 1. Let p be n(1). Suppose -3*h - 9 + 33 = p. Solve 0 = 3*b - b + h for b.
-4
Let w = 3 - -2. Suppose -w*b + b = -48. Solve 0*u = 3*u - b for u.
4
Let x = -3 - -3. Let z = -4 - -8. Suppose 2*u = -z - 2, x = 3*s + 5*u - 9. Solve 2*r - s = 4*r for r.
-4
Let c = 21 - 19. Suppose -6*b - c = -7*b. Solve -10 = -3*z + b for z.
4
Let m be -2 + 3 + 10 + 1. Let n be (-17)/34*0/2. Solve 5*q - q - m = n for q.
3
Let v(a) = a**3 - 7*a**2 - 4*a - 2. Let l be v(8). Let g = 42 - l. Let k be 4/(0 + (2 - 1)). Solve -4*x - k = g for x.
-4
Let l(o) = o**2 + 8*o + 6. Let c be l(-6). Let s = -3 - c. Solve -8*t + 5 = -s*t for t.
1
Let w = -14 + 27. Solve 0 = -4*t - 1 + w for t.
3
Suppose 4*j + 28 = 4*b, -22 = -4*b + j - 3. Suppose 2 = 4*p - 2*p + q, 2*q - 4 = b*p. Solve p*l + 8 = -2*l for l.
-4
Let i = 33 + -27. Solve 2*c + c = -i for c.
-2
Let z be (-1 + 4)*25/15. Let v be 3 + (z - 2) + 3. Let r = v - 7. Solve -3*i = r*i - 5 for i.
1
Suppose f = -2*f + 24. Solve 4*q - 2*q - f = 0 for q.
4
Let x(y) = -y**2 - 5*y - 4. Suppose 2*l + 2*n + 10 = n, l = 5*n + 17. Let p be x(l). Solve 0 - 6 = p*s for s.
-3
Let m be 2 - (-6 + 2 + 1). Solve 0*d + 5*d = -m for d.
-1
Suppose z = -2*x + 10, 4*z - 3*x = 2*x + 1. Solve 0*h - h = z for h.
-4
Let s(l) = -l + 8. Suppose 0 = g - 5, -25 = -3*y - 5*g + 12. Let v be s(y). Solve 3 = n + v for n.
-1
Suppose -5*l - 2 = m, l - 5*m = -0*l + 10. Suppose -v + l*v + 3 = 0. Let d(r) = -r. Let n be d(0). Solve n*u + v = -u for u.
-3
Suppose 12*v = 6*v. Solve v = -g + 5 - 3 for g.
2
Let q be ((-17)/(-3))/(3/18). Suppose 17 = 3*f - q. Let s = -7 + f. Solve -4*w = 2 - s for w.
2
Let u(x) = x**3 + 1 + 4 + 5*x**2 - 5. Suppose 0 = -b + 4*b - 9, -b = 4*l + 17. Let d be u(l). Solve d*c = -c - 1 for c.
-1
Let z be 2/(-5) + 24/10. Suppose 5 = y - 3. Let l = y - 5. Solve z*u - u = -l for u.
-3
Suppose 0 = 4*w - 0*w + 16. Suppose -5*k - 31 = -b, 3*k + 20 = -2*b + 4. Let d = w - k. Solve v = -d*v - 15 for v.
-5
Let l(r) = r**3 - 2*r**2 - r + 2. Let h = 11 - 11. Let p be l(h). Solve 3*w - 5 = p*w for w.
5
Let b(y) = y + 11. Let f = -18 + 10. Let x be b(f). Suppose 3*c = 5*d + 16, -c - 9 = -x*c + 5*d. Solve 3*k + c = 22 for k.
5
Suppose 67*j = 61*j + 6. Solve 0 = l - j - 0 for l.
1
Let x = -2 - -14. Let l = x - 12. Solve l*z = 5*z for z.
0
Let n(g) = -7*g + g**2 - 3*g + 2*g. Let i be n(8). Suppose 3*d + i = 24. Solve -3*l - d = -l for l.
-4
Let j = 2 + 0. Let f be (-2 - -3)/(0 - 1). Let a be ((f - 1)*3)/(-2). Solve a*b - b = -j for b.
-1
Let l = -4 - -4. Solve -s - 3 = -l for s.
-3
Let u(m) = 3*m**2 - 8*m - 17. Let p be u(5). Solve 0 = -5*q - p - 7 for q.
-5
Let a be 3*(-4)/(-12) + -1. Solve a*u - 4*u = -16 for u.
4
Let y(d) = -2*d - 1. Let a be y(-6). Let q = -4 + a. Solve -3*b = -q*b - 20 for b.
-5
Suppose 6*m = m + 10. Solve m*h + 10 = -3*h for h.
-2
Suppose 0 = -a - 2*a + 18. Let v = 10 + a. Solve 3*i + i = -v for i.
-4
Suppose 4*i - 8*i + 40 = 0. Suppose -2*n = 9 - 29. Let p be 14/i - 4/n. Solve -u = 2 + p for u.
-3
Let l be (-6)/2 - 20/2. Let p = -10 - l. Solve x + p*x - 8 = 0 for x.
2
Let q(x) = -x**3 + 6*x**2 + 4. Let s be q(6). Suppose -s*n + 4 = 0, -2*c + 3*n = -3*c + 6. Solve -4*t = -c - 1 for t.
1
Let z be (-3)/12 - 2/(-8). Let r(l) = -1 - 3 + 1 + 0 - l. Let p be r(-6). Solve u + p = -z*u for u.
-3
Let t = -5 + 5. Suppose t = -2*y - 2, 3*y - 5*y = 3*q - 16. Solve 3*j - q = 5*j for j.
-3
Suppose 0*m = -3*m. Let o be (4 - 4)/(1 + m). Solve -r = -o + 1 for r.
-1
Let l be 1 + -2 + 7 - 1. Suppose 24 = l*r + 3*f + 7, -4*r = f - 8. Solve -4 = a - r for a.
-3
Let l = -10 + 20. Solve -6*f + 20 = -l*f for f.
-5
Let z be 4 - ((-1)/1 - -1). Solve 0 = -4*w + 5*w - z for w.
4
Let b = -4 + 17. Let n(m) = m**2 - 12*m - 11. Let u be n(b). Solve g + u = 2*g for g.
2
Let z(x) = -2*x - 2. Suppose 12 = -j - j. Let n be z(j). Solve 4*m = -n - 2 for m.
-3
Suppose 0 = 2*i + 3*i. Suppose 5*w - 4*w = i. Suppose w = x - 3*x + 6. Solve 2*m + x = -3 for m.
-3
Let r = -12 + 30. Solve r = -3*d + 3 for d.
-5
Let w be 1/(0 + 3/27). Suppose 4*c + 15 = -w. Let k be 27/c*(-30)/9. Solve -2*q + k = -5*q for q.
-5
Let f(m) = -5*m**3 + 3*m + 3. Let l(d) = -26*d**3 + 16*d + 16. Let s(u) = -16*f(u) + 3*l(u). Let k be s(1). Solve 5*y + k = -13 for y.
-3
Let j(k) = -2*k**3 - k**2 - 3*k + 2. Let y be j(-3). Suppose 0 = 5*w - u - y, -3*u + u = 2. Solve 4*q = -w + 27 for q.
4
Suppose -3*h + 25 = 7. Solve 0 = -3*g + h + 6 for g.
4
Let i(n) = n**2 + 9*n + 15. Let y be i(-7). Let k be (2 + -2)/(0 - 2). Solve k = w + y + 2 for w.
-3
Let i = -10 + 10. Solve i = -0*v - v for v.
0
Let m(g) = -g**2 + 3*g. Let f be m(2). Let h be (-3 - (f - 16)) + 3. Let s = h - 10. Solve b - s = -0 for b.
4
Suppose 0 = 4*p - 3*w - 5 - 4, 5*p + 3*w = 