 for n.
5
Let l = -1 - -4. Let g(c) = c**3 - c - 1. Let b(j) = 4*j**3 - 8*j**2 + 6*j - 12. Let n(s) = b(s) - 3*g(s). Let x be n(7). Solve 4*u - x = l*u for u.
5
Let r(q) = q**2 - 4. Let a be r(-3). Solve -a*w = 7 + 3 for w.
-2
Suppose -50 = -w - w. Solve 3*r - w = -2*r for r.
5
Let y be ((-8)/(-12))/(1/3). Let b(x) = 39 - 34 - x**y - x - 6*x. Let l be b(-7). Solve 0 = -l*z + 2*z + 3 for z.
1
Suppose 4*b + 2*f = 10, 4 = b - f + 3. Suppose -6 + 66 = 4*t - 4*k, 0 = -b*t + k + 30. Let g = -9 + t. Solve 2*l = 4 + g for l.
5
Let q be (2 + 0)*190/20. Solve q = 4*f + 3 for f.
4
Suppose -2*m + p + 6 = -2*p, 0 = -3*m + 2*p + 4. Solve m = -4*g + 5 + 7 for g.
3
Let m be 7 - 6 - 4*2. Let j = m - -11. Suppose 5*n - 3*r - 9 = 0, -4 = n + j*r - 15. Solve 16 = -n*c - c for c.
-4
Suppose -5 + 9 = 2*j. Solve -3*u + 15 = j*u for u.
3
Let i = 0 + 3. Let z be (-4)/(-18) - (-14)/(-63). Suppose 0 = 3*m - i*h + 5 - 35, -5*m + 4*h + 46 = z. Solve 0 = -y - 2 + m for y.
4
Let k = 1 + 5. Solve 0 = -2*o + k for o.
3
Suppose 5*v = -o + 30, -4 = 2*o - 3*v + 1. Let a = 7 - 5. Solve -a*i - 15 = -o*i for i.
5
Let m be (4 - 3)*(-1 - 2/(-2)). Solve p - 5 = -m for p.
5
Suppose 3*s - l = 8, 4*s - 4 - 12 = 4*l. Let i = -2 + s. Solve i = n - 2*n for n.
0
Suppose -l = -6*n + 4*n - 12, 0 = 2*n + 10. Solve -1 = 3*f + l for f.
-1
Let r be 4 + (-4 - 4) + 4. Let z be 2/(-4) - (-30)/4. Let c = -5 + z. Solve c*g + 6 + 4 = r for g.
-5
Suppose j = 3*j - 24. Let q be (6/j)/(1/4). Solve -q*k = -0*k + 6 for k.
-3
Let q be ((-8)/2 - -4)/2*-1. Solve 4*g + 8 = -q*g for g.
-2
Let a(j) = 4*j**2 - 34*j - 12. Let h(y) = -3*y**2 + 23*y + 8. Let t(l) = 5*a(l) + 7*h(l). Let w be t(-8). Solve -q + w*q = -6 for q.
-2
Let v be 1 + (-2 - (-3 - -2)). Solve -r + v = 2 for r.
-2
Let r be (-4)/14 - (-138)/42. Solve 2*x + 2 = r*x for x.
2
Let g = 26 - 23. Solve g*o = o - 6 for o.
-3
Suppose 0 = 5*m + 4*v + 1 - 27, 5 = m + v. Let i be (-3)/2 - m/4. Let c = i - -19. Solve -n = -5*n - c for n.
-4
Let s be (-10)/(-3)*(-12)/(-10). Suppose o = 5*i + 7, -2*o = -3*o + s*i + 6. Solve 5*n = o*n + 12 for n.
4
Let u(m) = m + 8. Let b be u(-6). Suppose -z + 4 = b. Solve 2*i = -z*i for i.
0
Let b = -17 - -25. Suppose -4 = -5*i + 6. Solve -2*q - b = i*q for q.
-2
Let g(k) = k**3 + 4*k**2 + 2*k - 4. Let d be g(-3). Let t = d + 6. Solve -t*h = -11 + 26 for h.
-3
Suppose -3*z = 18 - 54. Solve -10*i + z = -7*i for i.
4
Let a(u) = u**3 - 17*u**2 + 19*u - 28. Let v be a(16). Solve -s + 5*s - v = 0 for s.
5
Suppose y + 2*i = 1, -i + 2 = 2*y + 3. Let g be 9/36 - y/(-4). Solve g = -2*d - d + 9 for d.
3
Suppose -2*m + 17 = 5. Let p(n) = -n**2 + 7*n - 5. Let f be p(m). Solve -3*r - f = 2 for r.
-1
Let t(b) = b**2 - 4*b + 3. Let p be t(4). Solve 10 = -j + p*j for j.
5
Suppose y - 4*y = -18. Solve y*j - 4*j = 8 for j.
4
Let d(j) = j**3 - j**2 - 2. Let b be d(2). Let p(u) = -u + b + 3 - 4. Let l be p(-4). Solve l*n + 12 = n for n.
-3
Let g be 2/13 - (-30)/(-26). Let r = g + 4. Suppose -r*q - q + 28 = 0. Solve 4*a + 5 = -q for a.
-3
Let p = 6 + -10. Let v = -4 - p. Solve d + 2*d - 9 = v for d.
3
Let y(t) = 5*t**2 - t - 1. Let m be y(-1). Let l be m/(-2)*24/(-30). Solve a = -a + l for a.
1
Suppose 0 = a - 5, 2*q + 4*a = 33 + 7. Let j = q - 6. Solve j = 4*y - 16 for y.
5
Let t(j) = j**2 + 9*j + 14. Let k be t(-7). Let b be (-3 - -5)*1/2. Let h = b - 1. Solve -s + h*s - 4 = k for s.
-4
Let k = 11 - 18. Let h = 1 + k. Let y be 4/h*(-5 + 2). Solve 4*j = 5*j - y for j.
2
Let i(b) = -7*b + 6. Let o be i(-5). Suppose 0*d + 2*v + 4 = 2*d, 4*v = -3*d + o. Solve -2*q = -d*q for q.
0
Let o be (-2 - 1) + 1 - -2. Solve o*c = -c - 2 for c.
-2
Let u be (1 - -1) + -1 + 4. Solve -u = 2*j + 3*j for j.
-1
Let n(x) = -x**3 + x**2 - 3*x - 3. Let t be n(-2). Suppose 5 = -u + 11. Suppose j + 5 = 2*g, u*g = 5*g - 2*j. Solve g*k = -k - t for k.
-5
Let j be (2 - (3 + -1))/(-2). Suppose j = -0*p + 3*p - 6. Suppose 2*m = 5*y + 16, 3*m + 4*y + 1 - p = 0. Solve 2*o = m*o for o.
0
Let d = -70 - -70. Solve 10 = -d*k + 2*k for k.
5
Let w = -44 + 48. Solve j = 3*j - w for j.
2
Let v = 19 + -12. Let i(y) = -y - 1. Let q = 3 + -6. Let z be i(q). Solve 0 = -z*a + v*a for a.
0
Let t be (-13)/(-3) + (-6)/(-9). Solve -12 = -t*c - 2 for c.
2
Let h(x) = -x**2 - 11*x + 17. Let u be h(-12). Solve -2*b - u = -3*b for b.
5
Let i(r) = r**3 - 3*r**2 - 2*r - 4. Let d be i(3). Let q be ((-24)/15)/(d/25). Solve -q*k = -9*k for k.
0
Suppose -3*j - 2*p = -9, -j + 1 = 2*p - 2. Solve -j*o + 4 = 13 for o.
-3
Suppose -5*h + 2*t = -40, -5*h + 3*h = -2*t - 10. Let f = h - 6. Let i be (-3)/(-12) + 2/(-8). Solve -5*l + f*l + 4 = i for l.
4
Let p(r) = r**2 - r. Let h be p(1). Let z be 13/(78/120)*4/10. Solve h = z*c - 3*c for c.
0
Let t = 29 + -28. Solve t = b - 1 for b.
2
Let s be -1 + (-1 - (-5)/1). Suppose u - 14 = s*u. Let o = u + 10. Solve -i = o*i + 20 for i.
-5
Let o be (3 - 2)*0/2. Suppose o = -2*w + 5*w - 12. Solve w*j + 3 = 7 for j.
1
Let x be -2*(3 - 5 - -1). Let v(j) be the second derivative of j**4/12 + 2*j. Let l be v(x). Solve -5*m + l*m + 1 = 0 for m.
1
Let z = 1 - 1. Suppose z = i + 4*i - 10. Suppose 0 = -w + 2*u + i*u + 22, 0 = -3*w + 5*u + 31. Solve -k = -0*k - w for k.
2
Let p(r) = -r**3 - 6*r**2 - 8*r - 5. Let y be p(-5). Let l = -5 + y. Solve -2 = -l*o - 12 for o.
-2
Let w(k) = -2*k + 3. Let f = -9 + 6. Let o be w(f). Solve 0*x + 3*x - o = 0 for x.
3
Let g = -23 - -27. Solve g*m + 8 = 28 for m.
5
Let w = 3 - 0. Let p = -4 + 7. Suppose -12 = 4*l, -l = 2*c + p*l + 12. Solve j + w*j + 4 = c for j.
-1
Suppose 145 = 5*h + 5*p, 4*h + 2*p - 5*p = 88. Solve 8*o - 3*o + h = 0 for o.
-5
Let l = 31 + -19. Let p be -6*-2*2/l. Solve -c + p = c for c.
1
Suppose 2 = -n + 6. Solve -x - n*x = 15 for x.
-3
Let c(n) be the first derivative of -n**3/3 - 4*n**2 - 9*n - 1. Let f be c(-6). Solve 0 = -m - f - 0 for m.
-3
Suppose 4*b - 3*h = -4*h, 0 = 2*h. Solve 5 = -b*g - 5*g for g.
-1
Suppose 2*x - 3 = x. Let h(i) = i**2 - 2*i + 2. Let k be h(x). Let n(q) = 3*q**2 + 24*q + 24. Let o be n(-7). Solve k*r = o*r - 8 for r.
-4
Suppose -2 = -2*g, 4*g = 5*l + 1 + 3. Solve -4*d + l*d = -4 for d.
1
Let k = -81 - -83. Solve k*h = -2*h for h.
0
Let l(x) = x**3 - 5*x**2 + 2*x. Let u be l(5). Let d = u + -6. Solve o = -0*o + d for o.
4
Suppose 3*u - 2*k = 59, 0 = 2*u + k + k - 36. Suppose 13 = 4*b - u. Solve -3*v + b*v = -15 for v.
-3
Suppose -6*p + 4*p - 22 = -2*d, -2*p = -4*d + 42. Suppose -4*i + y = -32, -9 - d = -5*i - 4*y. Solve -b = i - 4 for b.
-3
Let d = -18 - -10. Let r be (-1 + d)*8/(-24). Solve 0 = 5*j - r - 2 for j.
1
Let n = -4 + 10. Let m = n + -3. Suppose z = m*z. Solve 0*w + 2*w = z for w.
0
Let v(k) = k**2 + k + 9. Let m be v(0). Let p be 2/((24/m)/4). Solve p = -2*s + 3*s for s.
3
Suppose 7*t + 16 = 135. Solve -5*n - t = -7 for n.
-2
Let h = 166 - 142. Solve -4*d + 8 = h for d.
-4
Suppose -4*y - 3*y + 21 = 0. Solve 0 = -q + y - 4 for q.
-1
Suppose k + 15 = 2*k. Suppose -k = -3*p, 0*h + h - 8 = -p. Solve 8*i - 5 = h*i for i.
1
Suppose 0 = -0*a - 5*a - 45. Let q be (-106)/a + 2/9. Suppose -j + q = 3*j. Solve j*f - 8 = -f for f.
2
Let x = -53 - -53. Solve 0 = -x*a + 5*a + 25 for a.
-5
Suppose d + 4*d = 4*s + 4, 0 = -3*d - 4*s + 28. Suppose 4*v + 2 = 5*k, -3*v + 20 - d = 5*k. Solve -7*p + 5 = -k*p for p.
1
Let m(f) = f**3 - 6*f**2 + 7*f - 8. Let r be m(5). Solve 2*o = -r*o for o.
0
Let p(y) = y + 25. Let t be p(-13). Solve a - t = 4*a for a.
-4
Let w be -2 - ((-6)/2 + -2). Suppose 2*u - 25 = -3*u. Suppose 2*b + 15 = 3*q, 22 = 4*q - u*b - 5. Solve q = -3*t - w for t.
-2
Let s(j) = j**3 + 9*j**2 - 7*j - 9. Let u be s(-9). Let z = u + -29. Solve 4*h - z = -h for h.
5
Let l(n) = n**3 + 2*n**2 - 1. Let u be l(1). Solve f + 4 = u for f.
-2
Let p(x) = -6*x + 3. Let r be p(8). Let b be ((-2)/3)/(3/r). Solve -n - n + b = 0 for n.
5
Suppose 4*b = -29 + 9. Let z(x) = -4*x - 3 + 0 - 1. Let i be z(b). Solve i = 5*u - u for u.
4
Let c be 0*(-2 + (-10)/(-4)). Suppose -i = k - 0*k - 16, c = 4*i - 2*k - 88. Let w(v) = -3*v - 15. Let t be w(-6). Solve -t*n = -7*n + i for n.
5
Let f(t) = t + 3. Let k be f(-3). Suppose -2*j - 1 + 7 = k. Suppose w = -0*a + j*a + 19, -a = 3*w - 7. Solve 3*x - w = -1 for x.
1
Suppose 14 = -2*z - 4*r + 38, 30 = 5*z + 4*r. Solve 2*q - z = q for q.
2
Let a = -5 - -8. Suppose 0 = -a*q - 2*i + 1