n*m - x = 0 for i.
-2
Suppose -o - 13 = 3*q, -6 - 4 = 5*q. Let p(c) = -c - 2. Let j be p(o). Let r = 2 + 7. Solve -x - 4*x + u = -r, 2*u + 3 = -j*x for x.
1
Let s = -13 - -15. Solve 0 = -s*v + 2*t - 11 + 3, 0 = t - 3 for v.
-1
Let h be 0/2 + 5 + 1. Let l be ((-16)/(-6))/(2/h). Let z be 2*(15/6 + 0). Solve -2*t - 3*k - l = -k, -z*k - 4 = t for t.
-4
Suppose 2*q - 3 = -13. Let s = 5 + q. Solve -3*i + 5*r + 5 = s, -2*i + r = -4*r for i.
5
Let h(y) = y**3 + 10*y**2 + y + 12. Suppose m = 6*m + 50. Let j be h(m). Let f = j - -1. Solve 3*l - 4 - f = -4*w, -5 = -5*w - 3*l for w.
-2
Let l = 8 - 4. Solve l*a + y - 8 = -0*y, -a = 3*y - 2 for a.
2
Suppose o = 4*o. Suppose o*d = -d + 5. Solve g + 6 = 5*g + 2*s, 5*g - d = -5*s for g.
2
Let t(h) = 8*h**2 - 2*h - 1. Let l be t(-1). Let b = -6 + l. Solve b*d - 1 + 17 = 5*q, -4*d + 37 = 5*q for d.
3
Let c(y) = y**3 + 7*y**2 + 6*y + 5. Let n be c(-6). Suppose -3*i + 23 = -n*b, 2*i - 4*b - 17 = -1. Solve -h = -f - i, 2*f + 1 + 5 = -4*h for f.
-5
Let t(i) = -i**3 - 8*i**2 - 3*i - 6. Let o be t(-8). Solve o = 3*f + 3*y, 3*y + 6 = 2*f - 1 for f.
5
Let y = 23 - 16. Solve 2 = a + 2*t, 0 = -5*a + 4*t - 11 - y for a.
-2
Suppose 4 = -5*c + 29. Suppose 0 = 2*l - 1 - c. Solve 4*g - 13 = 4*d + 3, 0 = -l*d + g - 12 for d.
-4
Suppose -4*k - 7 = -15. Let z = k - 0. Solve -4*y = -3*y + v - 5, z*v - 7 = y for y.
1
Let u(w) = w**3 - 3*w**2 - 2*w - 4. Let h be 3/5*(5 - 0). Let a be u(h). Let b be (6/(-2))/(3/a). Solve -l + 30 = -5*z - 2*l, 3*l + b = z for z.
-5
Let p be ((-1)/3)/((-3)/45). Suppose p*q + 126 = 876. Suppose -6*r = -r - q. Solve 5*b + r = d, d - 4*b = -d + 30 for d.
5
Let b = 11 + -9. Solve 0 = 3*k - 2*n - 9, 0*k + b*k = 2*n + 4 for k.
5
Let n(s) = 3*s**3 - s**2. Let w be n(1). Suppose -3 = h - w*h. Solve -k + h*t + 4 = 0, 4 = -k - t - 0 for k.
-2
Let h(k) = -k. Let f be h(0). Let l(i) = 2*i - 10. Let q be l(5). Solve -j = -3*t - 12, f = 3*j + 2*t - q - 3 for j.
3
Suppose 0 = 2*i + 2*i - 28. Suppose 0 = -2*z - i + 23. Let m be (z/(-3))/((-2)/3). Solve -3 + 19 = m*y + 4*b, y + 5*b = 0 for y.
5
Let j = -3 - -3. Solve 2*w - 2*c = j, -2*w - 6 = w + 3*c for w.
-1
Let b be (-3)/(-2 - (-2 + 1)). Suppose -g = -2 - b. Let s = 1 + g. Solve -p + 5*z - 16 - s = 0, 11 = 2*p + z for p.
3
Suppose -4*x + 2 = 38. Let m be ((-3)/(x/6))/1. Suppose 4*r = -2*j - m, 4*r + 12 = j - 5*j. Solve -g = -r*g - p + 2, -4*p = 4 for g.
3
Let j = -25 + 27. Solve -4*z - 8 = -2*s, s = -2*s - j*z - 12 for s.
-2
Suppose 0 = -0*c + 2*c. Suppose -d + 0*d + 4 = c. Suppose 6*z - 8 = -d*x + 2*z, 2*z - 4 = 3*x. Solve -y + x*y = 2*i, 2*i = 2*y + 12 for y.
-4
Suppose 2*o - 5 - 3 = 0. Suppose 3*v = o*v + 5*x - 14, -3*v + x = -10. Solve 0 = -2*r + w + 3 + v, 4*r - 5*w - 17 = 0 for r.
3
Let s(g) = g**3 + 10*g**2 - 5*g - 9. Let x be s(-10). Suppose -5*i - x + 176 = 0. Solve 2*u - 3*d = -5 + i, -u = -4*d - 21 for u.
5
Let t be 176/10 + 2 - (-10)/25. Let r be (-1 - (-7)/5)*15. Solve 12 = -3*f, -f + t = u - r*f for u.
0
Let i(k) = -3*k - 30. Let j be i(-13). Solve 4*p + 5*b = 41, -j = 7*p - 3*p - 5*b for p.
4
Suppose 3*h = -3 - 3. Let g be ((-3)/h)/(9/24). Suppose 0 = 4*a - 3*f - 29, f + 15 = 5*a - 13. Solve -v - l = -a, -g*v + 10 = -3*l - 10 for v.
5
Let d(v) = -4*v**3 - v**2. Let c be d(-1). Let f be c + -5 + 4*1. Suppose 5*m - 5*a = 15, -f*a + 1 = 2*m - 5. Solve -4 = 2*b - 5*r, -m*r - 4 = 2*b - 5*r for b.
-2
Suppose -2*n + 6 = -4. Solve 3 + 7 = -5*i - 4*j, 0 = -n*j for i.
-2
Suppose 4*i + 3 = 5*i. Solve w = 6*w - 4*s + i, 3*w + 12 = -s for w.
-3
Suppose -19*n + 7 = -12*n. Solve 5*a = 3*y + 3 - n, 5*y - 3*a + 14 = 0 for y.
-4
Let r be 5 + (0 - (1 - 4)). Let v = r + -8. Suppose v*a + 3*a = 27. Solve 2*u + 0*b + 2*b = 4, 4*b - a = -3*u for u.
-1
Let k be (1/3)/(17/(-51))*0. Solve 4*m - 5*j - 20 = k, -6*m + 2*m + 20 = -4*j for m.
5
Let s(o) = -o**3 + 5*o**2 - 2*o - 8. Let x be s(4). Solve x = 3*u - k + 8, 4*k = -u - u - 10 for u.
-3
Suppose -24 + 1 = -o. Solve 0 = -5*u - j - o, -4*u - 6*j = -j + 10 for u.
-5
Let x(c) = -6*c + 2*c**2 - c**2 + 2 + 0*c**2. Let o be x(6). Suppose 0 = -6*l + o*l + 8. Solve -3*i - l*i + 5 = 5*y, 0 = 4*y - 3*i + 31 for y.
-4
Suppose -c - 3*c = -72. Let g = c + -11. Let r(x) = -x + 10. Let t be r(g). Solve -4*s - 9 = 3, t*s = a - 9 for a.
0
Let d = -26 - -43. Suppose -f + 113 = 2*p + 36, -f = 5*p - 77. Suppose -f = -3*j - d. Solve 0 = -0*l + 5*l + 3*c - j, 5*l = 5*c - 20 for l.
1
Suppose 0 = 3*c - 4*a + 10, a - 4*a + 12 = 0. Suppose 3*f - 48 = -0*f. Solve n + 3 = c*p - 11, 4*p + n = f for p.
5
Let g(c) = c**3 - 10*c**2 + 12*c - 22. Let r be g(9). Solve r*l - 18 = 2*b, -2*b + 0*l - 2*l = 4 for b.
-4
Suppose t + 3*y = -10, 5*t = -0*t + 2*y + 35. Solve -5*m = -3*p - 15, -25 = t*p - 2*m + 3*m for p.
-5
Let p be 0 + 0 + 1*4. Let c be (4*2)/(3 + -1). Suppose a = c*a - 6. Solve p*z - 3*z + a*n = -9, -4*z - 28 = 4*n for z.
-5
Suppose 40*n - 32*n = 8. Solve -3 = -3*x, -2*x = z - 2 - n for z.
1
Let o be ((-1)/3)/(2/(-72)). Suppose 0 = -2*k - 5*q - 21, -k + 2*q = 3*k - 18. Solve m + k*p - o = 0, 3*m + p = -0*p + 16 for m.
4
Let k = 14 - 10. Let y(o) = o - 1. Let u be y(3). Suppose u*d = -2*n + d + 7, 0 = k*n - 5*d - 21. Solve 0 = 2*p - n*r - 10, -p - 4*r + 0 + 5 = 0 for p.
5
Suppose 4*g - 32 = 5*i + 88, -2*g = i - 60. Let m = -7 + 10. Suppose 0 = -m*h + 6, h = -5*w - 3 + g. Solve 0 = -s - w*c - 19 - 1, 5*s = -2*c + 15 for s.
5
Suppose -z + 0*z = f - 8, -2*z = -2*f. Suppose 2*l - 2 = z. Solve m - 5*h = l*m + 21, -m + 2*h + 3 = 0 for m.
-3
Let p = -1 - -6. Suppose 3*x + p*y + 5 = 1, y = 2*x - 6. Solve 7*z = 5*t + x*z - 25, -5*z = 0 for t.
5
Suppose -15 = -9*r + 12. Solve -5*k = -r*h - 12, -11 = -k - 4*k + 4*h for k.
3
Let c be (1 - (1 + -1))*14. Suppose m = 4*q + 38 - 6, 8 = -2*q. Suppose k = 5*k - m. Solve k*j = -4, j = -v + 6*v + c for v.
-3
Let l be 1*(-2*1 + 3). Suppose 11 = 2*t - l. Suppose -4*v = 4*i - 28, -5*v + 2*i + t = -8. Solve 5*q - 2*x + 18 = 0, 0*q - 2*x = v*q for q.
-2
Let s = 5 - 5. Solve -3*i - 4*o + 12 = s, -i = 2*i - 4*o + 12 for i.
0
Let l be (-4)/(-6)*18/12. Let m(n) = -5*n. Let h be m(l). Let a be (-92)/h + 4/(-10). Solve -2*t + 8 - 1 = -p, 3*t = 4*p + a for t.
2
Let r = 62 + -37. Suppose 5*m - 2*f = -f + 255, 0 = -5*f - r. Let q = -30 + m. Solve 2*o - 2 = 4*w, -4*w + o + q = -9*w for w.
-3
Let p = 18 - 18. Let q = -9 - -3. Let n = q - -15. Solve n = j - 4*i, -j + i = -p*j - 3 for j.
1
Suppose 6*q = q + 60. Let j be (-3)/q + 10/8. Let r be -2 + 5 + (j - 0). Solve 3*l + 2*s = -7, -r*l + 3*s - 8 = -27 for l.
1
Suppose -4*c + 20 = 3*t, -t + 8 = t. Suppose 0*p = -2*p + 2, 5*p + 7 = 2*h. Suppose 4*v + 6 = h*v - 2*q, 4 = c*q. Solve -v*l - u = 25, 3*l + 6*u + 37 = u for l.
-4
Suppose 3*m - 6 = -4*b + 4, -1 = -b. Let d be (0 - -1) + (3 - m). Solve 5 = w - 3*w - o, -4*o - 10 = -d*w for w.
-1
Suppose 7*b + 24 = 3*b. Let w = b - -10. Solve -l - 16 = -w*s, 3*s - 2*l + 7*l - 35 = 0 for s.
5
Let y(q) = q**2 - 2*q - 4. Let j be y(3). Let h be -2*(-3)/(-6)*j. Let r be -18*-1*h/3. Solve 2*n + 4*m = 18, -n - 4*m + r = -3*n for n.
3
Let z(h) = -3*h + 3. Let r be z(1). Suppose -5*v + 3 = -7. Solve 5*j - 4*g + 26 = r, 20 = -2*j - v*g + 6*g for j.
-2
Suppose 3*l + 28 = 7*l. Suppose -3*x - 5*j - 10 = -41, 4*x - 13 = -j. Solve -3*k - 5*a + 25 = 0, 2*k - x*a - 20 = -l*a for k.
5
Let g = 47 + -43. Solve -5*l = -2*l - g*j - 3, 2*j + 2 = 2*l for l.
1
Let t = -40 - -50. Solve c - v - 1 = 0, -3*c + t = 2*v - 8 for c.
4
Let q = 1 + -1. Suppose -k - u + 8 = k, -2*u + 8 = 0. Suppose k*t + q - 4 = 0. Solve t*g - 5 = -5*c, -c = -8*g + 4*g - 1 for g.
0
Let u(o) be the second derivative of -o**3/3 + 5*o**2/2 + 6*o. Let l be u(0). Solve -3 = -2*r + 3, r - 8 = -l*w for w.
1
Let i = -4 + 9. Solve 2*j = i*y - 3*j - 10, -3*j - 6 = 2*y for y.
0
Suppose 4*v + 5 = 13. Solve 10 = 5*a - 3*y, -2*a - 2*y + 4 = v*y for a.
2
Suppose -3*d = -4*d + 1. Let k be 1*2 - (d + -4). Solve -2*n = 3*j + 5, -2 = -2*n - k*j - 9 for n.
-1
Suppose 11*p = 6*p + 25. Solve 4*g + 4 = t - 12, 3*g + p*t + 35 = 0 for g.
-5
Suppose -3*y + 55 = -y + 3*b, 3*y - 93 = -b. Let u be (135/(-36))/((-6)/y). Solve -u = 4*c + 3*a - 8*a, -5*c = 5*a + 25 for c.
-5
Let a = -4 + 9. Solve 0*r + 4*r - 25 = a*j, 4*j = -5*r - 20 for j.
-5
Let x be 42/(-3)*(-1)/2. Solve -v + 3 = p + x, 5*p + 11 = 4*v for v.
-1
Let r be (-