 = -3 for n.
5
Let q(r) = 2*r + 4. Let g be q(0). Solve g*f = 5*f for f.
0
Let t be 6*1/((-9)/(-21)). Suppose 4*d - t = 2. Solve -d = -0*h + 4*h for h.
-1
Let x(m) = -m**3 + m**2. Let u be x(-2). Suppose u - 87 = -5*o. Suppose 0 = -g + 5*i - o, i + 4*i = -g + 15. Solve s + g*s - 3 = 0 for s.
3
Let k = -23 + 28. Solve 6*s = 5*s + k for s.
5
Let f(a) be the second derivative of -a**3/3 - 3*a**2 - a. Let u be f(-7). Let m(c) = -4*c + 1. Let w be m(-1). Solve w*l - u - 2 = 0 for l.
2
Let g be (-3 + 7 + -6)*-2. Solve 0 = -g*c - 0 + 4 for c.
1
Suppose a = -3*a. Let v = a - 0. Suppose -4*q + 2*m = -v*q - 6, -2*q + 3*m + 1 = 0. Solve q*p + 9 = 1 for p.
-4
Let q be ((-8)/10)/((-3)/75). Solve -2*m - q = 2*m for m.
-5
Let n be 6/(2/(-4)*-4). Suppose 9 = 6*b - n. Solve b*t + 2*t - 16 = 0 for t.
4
Let c = -8 - -10. Suppose -y - c*y = 0. Let z be 4 - (y + 1) - 2. Solve -2*o + 5 + z = 0 for o.
3
Let b(f) = -f**3 + f**2 + f + 6. Let u be b(0). Suppose j = u*j - 10. Solve 3*n - j = 7 for n.
3
Suppose 2*t = -0*t - 2. Let o = -1 + t. Let k = o + 5. Solve 4*b = k*b for b.
0
Suppose 5*q + 63 = -12. Let v be 1*8/(-6)*q. Solve 3*i = -i - v for i.
-5
Let l = 10 - 7. Suppose 0 = -2*m - 3*m - 5*x - 5, -3*m = -3*x - 9. Solve 2*b - l = m for b.
2
Let n(v) = v. Let h(z) be the second derivative of 2*z**3/3 - z**2 - 2*z. Let q(y) = h(y) - 3*n(y). Let x be q(6). Solve x*o - 6 - 6 = 0 for o.
3
Let c be (-1)/4 + 2/8. Let y be (-2)/4*c/1. Solve -6 = -y*d + 3*d for d.
-2
Let n(x) = 2*x**2 - 2*x + 1. Suppose 0 = -2*z + 3 + 1. Let t be n(z). Solve 3*a + t = -2*a for a.
-1
Let a(w) = w**2 - w + 4. Let c be a(9). Let g be c/18 + 2/(-9). Solve 0 = h - 5*h + g for h.
1
Suppose -3*a + d = -1 - 6, 5*a - d = 15. Let h be 0 + 7/(14/a). Solve -3 = k - h*k for k.
3
Suppose 0*f + 3*f = 9. Solve 0 = s - f - 0 for s.
3
Suppose -4*c + 30 = -22. Suppose 0 = 3*a - 10 - 11. Suppose h - 3*h + 5*q = -3, -4*h = -5*q - 11. Solve -c = -h*x + a for x.
5
Let f(i) = i**3 + 7*i + 8 - 9*i**2 - 16 + 0*i**3. Let y be f(6). Let x be (-4)/14 - y/14. Solve 0 = -x*w - 1 + 26 for w.
5
Let g(o) = -2*o**2 - 5*o - 7. Let z be g(-5). Let w = 59 + z. Let d = -7 + w. Solve -b - d = -6*b for b.
4
Suppose 0 = -v - v - c + 2, 6 = -3*c. Solve v = y + y for y.
1
Let w be (4/2)/(5/5). Let k be w/2 + (1 - 0). Let q(m) = m. Let c be q(1). Solve k*t - c = -7 for t.
-3
Let y = -10 + 12. Let n be 5 + (1 - 3)/y. Solve 0 = -0*b + n*b for b.
0
Let q = 124 - 119. Solve q*n - 28 = -8 for n.
4
Let t(i) = 3*i - 1. Let f(q) = -q - 2. Let l be f(-3). Let z be t(l). Suppose -3*d + c + 5 = -2*d, z*d - 1 = -c. Solve d*h = h - 5 for h.
-5
Suppose 2*t + 6 = 2*y - 4, -3*y + t = -13. Suppose 4*s = -u + 28, y = -u + 3*s - 3. Solve 4*w + 0*w - u = 0 for w.
2
Let j = -33 - -39. Solve -j*d = -5*d - 2 for d.
2
Suppose j - 2 = 1. Let q(v) = -v. Let y be q(-2). Let a(h) = -h**3 - h + 2. Let d be a(0). Solve j*g + d = y*g for g.
-2
Suppose 4*p + 27 = 5*i, -5*i - 5*p = -38 - 7. Suppose 0 = i*m - 2*m + 5. Let q = 1 - m. Solve -q*z = -6*z - 20 for z.
-5
Suppose 4*o = 6*o - 4. Let u be (-5 + o)*1*-3. Solve -2*g = g + u for g.
-3
Let k be (6/(-5))/((-6)/20). Solve 3*s = -s + k for s.
1
Let o = 43 - 28. Suppose -2*a + 4*a - o = -5*t, 4*t - 24 = -4*a. Suppose 3*u - 20 = -a. Solve 2*j = -1 - u for j.
-3
Suppose -11 + 1 = -5*k. Solve 0 = -k*q + q + 2 for q.
2
Let k = 9 - 7. Suppose 8 = -k*f + n, 4*f - f + 4*n + 1 = 0. Let b be -3 - f - (-5)/1. Solve 0*m + b = m for m.
5
Let g = 41 - 41. Solve k - 4*k + 6 = g for k.
2
Suppose 5*b - 36 = 2*b. Suppose -b = -q - 2*q. Solve -q = -m + 3*m for m.
-2
Suppose 4*s = s - 18. Let t be (40/s)/(4/(-6)). Solve 5*v = t + 5 for v.
3
Let n = 2 - -2. Solve 0 = -n*l - 7 + 3 for l.
-1
Let h = -3 - -5. Let y(m) = -m**3 - 3*m**2 + 2*m - 2. Let n be y(-4). Let z(p) = -p**2 + 7*p - 6. Let s be z(6). Solve s = n*g - h*g for g.
0
Suppose 0 = -5*i + 9 + 6. Solve 0*a + i*a = -9 for a.
-3
Let z be (-2 + 0)/((-2)/20). Let s = -75 - -75. Solve -5*r - 5 - z = s for r.
-5
Let y(j) = -j - 3. Let s be y(-6). Suppose 0 = 4*k, 4*n + 4*k - 15 = 93. Let m = -7 + n. Solve -s*q - m = q for q.
-5
Suppose -5*u = 5*j - 10, -2*u + 2 = j - 4*u. Suppose 0 = 3*r - a - 15, r + r - j*a - 10 = 0. Solve 0 = -0*k - r*k - 10 for k.
-2
Let a(m) = 2*m**2 - 2*m - 1. Let g be a(2). Solve -9 - g = 3*u for u.
-4
Suppose 4*n - o + 4 = 0, -13*n - 16 = -8*n - 4*o. Solve 16 = -n*g - 4*g for g.
-4
Suppose 3*h + 3 = -9. Let u = h - -16. Suppose -4*f + 21 = -v, 0*f + 5*v = 5*f - 30. Solve u - 32 = f*a for a.
-4
Suppose 2*v + 1 = p - 5, -v - 10 = -4*p. Solve -2*o + 4 = -p for o.
3
Let i(m) = -2*m - 7. Let p be i(-8). Suppose -4*u + 7 = -p. Solve u*h = -12 - 4 for h.
-4
Let b = 11 - 21. Let d be (-12)/b*(1 - -4). Solve d + 3 = -3*q for q.
-3
Let q(u) = -u - 3. Let f be q(-10). Solve 2*x + f + 3 = 0 for x.
-5
Let u(y) = -y + 2. Let c be u(2). Let g = 11 - 10. Let p be g + (1 - 4) + 4. Solve c = n + p*n for n.
0
Let v(m) = m**2 + 7*m + 6. Let u be v(-6). Solve -h = -u + 3 for h.
-3
Let k = -34 - -38. Solve l - 5 + k = 0 for l.
1
Let l(p) = 7*p - 6*p + 1 - 2*p. Let m be l(1). Suppose 0 = 2*o - 4*i + 5*i + 1, -4*i - 4 = 0. Solve o = -5*a - m - 5 for a.
-1
Let m be (-4)/(-10) + 24/(-10). Let v be 0/(1*m/(-2)). Solve 7*r - 3*r - 12 = v for r.
3
Let a(o) = o**3 - 8*o**2 + 15*o - 14. Let m be a(6). Solve -5*x = m + 6 for x.
-2
Suppose 6*p + 4*f = 3*p + 28, -2*p - 2*f + 22 = 0. Let a = p + -11. Solve -a*i - 2 - 3 = 0 for i.
-1
Let f(j) be the first derivative of -j**3/3 + j**2/2 + 16*j - 2. Let o be f(0). Solve -2*a = 2*a + o for a.
-4
Let l = -6 + 3. Let m = 4 + l. Solve 0 = v - m - 4 for v.
5
Suppose 0 = -2*f - 0 - 6. Let n = f + 6. Solve n*h - 2*h + 3 = 0 for h.
-3
Let h be 26/7 - 2/(-7). Suppose -n = 2*b + 3*n - 10, h*n = 5*b - 95. Suppose 0 = -5*q - 4*v - 20, -3*v + 0 = 3*q + 15. Solve q = 3*x - 0*x - b for x.
5
Let o = -2 - -4. Let z = -9 - -17. Let d = z - 4. Solve o*x - d = 6 for x.
5
Suppose 5*n = -2*i + 3, 3*i + 4*n - 4 = i. Suppose x = -2*h + 3*h + 4, -4 = x + h. Solve x = i*g - 3*g for g.
0
Suppose 0*k + 3*v = 2*k - 8, 4*k + v + 12 = 0. Let l be 1/(-2) + (-1)/k. Suppose 3*g + m = 13, g - 2*m - 3*m + 1 = 0. Solve -h - g + l = 0 for h.
-4
Let g(l) = -l**3 - 7*l**2 - 6*l - 6. Let h be g(-6). Let z be (-14)/h - (-10)/15. Solve -15 = z*b - 3 for b.
-4
Suppose 8*j = 9*j. Suppose j = 2*w - w - 2. Solve -w*l = l + 3 for l.
-1
Let b = -5 - -3. Let l be 5/b*(-56)/35. Solve -n = l*n for n.
0
Suppose -1 = -3*t - 4*v, 0 = -3*t + 5*t - v - 8. Solve -a = 1 - t for a.
2
Let b be 1*4/2 + 0. Suppose -5*v = -b*v. Let n(r) = r**2 - 9*r - 14. Let a be n(11). Solve 2*l = -v*l + a for l.
4
Let v = 0 + -3. Let s be 0/(v + 0 + 4). Solve b + 2*b + 12 = s for b.
-4
Let l be -1 + (-8)/(-2 + 0). Suppose -5 - l = -4*p. Let y(k) = k**2 - 2*k + 2. Let f be y(p). Solve -15 = n + f*n for n.
-5
Let v be 67/(-1)*(3 - 6). Suppose 5*o = -76 + v. Solve o = -9*m + 4*m for m.
-5
Suppose 4*j - 15 = 5. Suppose j*c = 2*c + 15. Suppose 0 = 5*q - 5 - c. Solve 3 = -5*x + q*x for x.
-1
Suppose 2*i + 0 = 10. Let t be ((-2)/(-6))/(i/30). Suppose t*f - 16 = 4*q - 0, -5*f + 16 = -2*q. Solve 0 = -f*h - 4 + 6 for h.
1
Suppose 4*j + 5*v - 13 = 0, -3*j + 3 + 8 = 5*v. Suppose -5*d - 2*n - 1 = -21, -n = -3*d + 12. Suppose d*i = -0*i. Solve -2*x + 0 + j = i for x.
1
Let o = -130 - -138. Solve 5*i = 12 + o for i.
4
Let j(z) = -11*z - 4. Let a be j(-1). Solve -5*k = -a - 8 for k.
3
Let d = 11 - 9. Solve -d = -3*g + g for g.
1
Suppose -5 = -j - 0. Let m(b) = 4*b + 3. Let p be m(3). Let h be 12/(-9)*3/(-2). Solve -h*w = -j*w - p for w.
-5
Suppose -1 = -2*i + 5. Solve -5*v = -i*v + 4 for v.
-2
Let c = 2 - 3. Let y be c - -4*(-2)/(-2). Solve 0 = 2*m - 1 - y for m.
2
Let s = -48 + 50. Solve 1 = 3*q - s for q.
1
Suppose 0 = -2*i + p - 3, -5*i + 3*p + 0*p = 5. Let c(q) be the second derivative of -q**3/3 - 2*q**2 + 2*q. Let m be c(i). Solve 0 = m*f + f + 15 for f.
-3
Let l = -13 + 15. Solve l*j + 16 = -2*j for j.
-4
Suppose -2*x - 4*p = -p + 21, -7 = 4*x - p. Let u be (-2)/(-4) + x/(-2). Solve u + 2 = -2*m for m.
-2
Suppose r - 2*r - 3 = 0, 30 = -2*m + 2*r. Let i be m*(1 + 1)/(-4). Let p be (-2)/6 + 20/6. Solve p*g = i - 0 for g.
3
Suppose -2*f - 3 + 7 = 0. Let t be (-2)/((-2)/4*f). Solve -6 = -4*d + t*d for d.
3
Let f be ((-3)/2)/((-9)/12