ve -i = -m*i for i.
0
Let u be (-24)/42 - 12/(-21). Solve 0 = m - u*m for m.
0
Let o(x) = -x**3 + 10*x**2 - 10*x + 4. Let v be o(8). Let w = v + -33. Suppose -w = -4*c + 13. Solve z = -c + 3 for z.
-5
Suppose -10 = 4*q - 30, q - 11 = -2*w. Solve 0 = -w*a - 2 + 11 for a.
3
Let q(f) = 2*f**2. Let y be q(-1). Suppose -5*n = -4*g, -4*g + y*n = -g. Suppose -2*s + g*s = -10. Solve 4*x + s = -x for x.
-1
Let w = -9 - -16. Let j(b) = -7 - b - 6*b**2 - 5*b + 4*b**3 - 2*b**3 - b**3. Let y be j(w). Solve y = 3*k - k + 8 for k.
-4
Suppose 30 = 7*v - v. Solve -q - 2 + v = 0 for q.
3
Let x = -16 - -20. Suppose x*o - 4*g - 17 = -5*g, 0 = -3*g - 9. Solve -k = -o*k - 8 for k.
-2
Let m be 1*(2 - 3/3). Let q = 8 + m. Let r be 2/3 + 30/q. Solve f + f = r for f.
2
Suppose -3*g + 4*y = -6, 4*g - 9 = -3*y - 1. Suppose -6*n + 4*n + 4 = 4*b, 2*b - g = 5*n. Let l be b + 3 + (-2)/1. Solve -h - l = h for h.
-1
Let r = -1 - -4. Let o be (-18)/r*-1 - 0. Solve 0 = -4*j - 10 - o for j.
-4
Suppose 4*r + 4 = c + 9, -c - 5 = 0. Solve -3*i + 8 + 7 = r for i.
5
Let p = 99 + -96. Solve -12 = 7*a - p*a for a.
-3
Suppose 5*y - 7 - 2 = 3*l, 5*l = 2*y + 4. Let o(z) = -z + 1. Let h be o(-5). Let g(f) = f**3 + 5*f**2 + 3*f - 4. Let x be g(-4). Solve x*s = l*s - h for s.
3
Let m be 20/6*(-15)/(-10). Let y(v) = v**2 - 6*v + 7. Let l be y(m). Suppose -a - l*a + 9 = 0. Solve -2*o + 5 = -a for o.
4
Let h(l) = -2*l + 29. Let z be h(12). Suppose 2*c - 5*c + 9 = 0. Solve g + z = c for g.
-2
Let x = 21 + -1. Suppose -3*d - 8 + x = 0, 0 = -2*v - 3*d + 4. Let y be 1/(2/v) - -4. Solve 0 = -y*n - n + 12 for n.
4
Suppose 5*s - 88 + 8 = 0. Suppose 4 = 3*p + 4*o, 14 = p - 3*o - 9. Suppose p = -6*r + 32. Solve -r*w + 0*w = -s for w.
4
Suppose -9 = 3*z, -8 + 32 = 3*i - 5*z. Suppose -m = 2*k - 6*m - 28, 0 = 5*k - i*m - 32. Solve 0 = k*a - a for a.
0
Let w be 2*(-3 - (2 + -4)). Let u = w - -8. Let v(l) = l - 6. Let i be v(u). Solve 3*a - 6*a - 15 = i for a.
-5
Suppose 0 = 5*y - 25 + 5. Let t = 22 - 14. Solve y*i - 2*i + t = 0 for i.
-4
Let g = -22 + 22. Solve 2*o + 0*o - 10 = g for o.
5
Let x = -15 + 24. Solve -5*k + x = -1 for k.
2
Suppose 8*b = 4*b + 8. Suppose 3 - 6 = -b*l + i, l - i - 3 = 0. Suppose -4*g + 0 + 8 = l. Solve 0 = -q - g*q for q.
0
Let v(g) = -g**3 - 8*g**2 + 8*g - 9. Let f be v(-9). Suppose 3*i + 2*i = f. Let d = 6 + i. Solve -d = 4*u + 2 for u.
-2
Let l = -123 - -135. Solve -2*w - 4 + l = 0 for w.
4
Suppose 8*y - 29 = 131. Solve -2*d = -7*d + y for d.
4
Let k(c) = c**3 + 13*c**2 + 8*c - 23. Let i be k(-12). Solve -7*s + i = -2*s for s.
5
Suppose -3*s + 45 + 99 = 0. Let p be s/18 - (-1)/3. Solve 0 = p*r + r - 12 for r.
3
Let b = -3 - -4. Solve -s + 2*s = b for s.
1
Suppose 2*t + 0 = 2, 13 = 5*a + 3*t. Suppose z + a*z = 3. Let n = 3 - z. Solve -3*x + n*x = 5 for x.
-5
Let p be ((-9)/15)/(1/(-10)). Let z = p - 6. Solve t + t + 4 = z for t.
-2
Suppose -9 = 7*k - 16. Suppose -2*x + 4*i + 15 + 17 = 0, 5*x + 3*i - 15 = 0. Solve k = a + x for a.
-5
Let f = 19 - 16. Solve 1 = f*g - 2 for g.
1
Suppose -a + 5 = 3*m - 8, 4*a = 3*m - 8. Let o be ((-1)/(-2))/(1/m). Solve 0 = o*h + 10 for h.
-5
Suppose u + 3*c + 3 = -0*c, 0 = 5*u - 2*c - 19. Solve -f + u = 1 for f.
2
Suppose -2*q - 48 = x + 3*x, 5*q + 2*x + 80 = 0. Let k be (q/4 - -3)*-6. Solve 2*w - k*w = -1 for w.
1
Suppose -3*l - 3*t = -4*t - 7, -5*t + 19 = 3*l. Let k = l - 1. Solve 0 = -h + k + 3 for h.
5
Suppose -1 = 4*i - 45. Let k = i - 7. Let y = -9 - -13. Solve 0 = -0*j - y*j - k for j.
-1
Let r(q) = -q**3 + 6*q**2 + 8*q - 7. Let p be r(7). Solve p = -0*g + 4*g + 8 for g.
-2
Let o be 6/18*6*1. Suppose -2*m - 3 = -9. Suppose -19 = -i - 2*h - h, 17 = 3*i + h. Solve -o*j = -m*j + i for j.
4
Let l = 4 + 0. Solve 0 = -g + 5 - l for g.
1
Suppose -3*j = -5*j + 3*g + 27, 3*j = g + 23. Solve 0*a + 2*a + j = 0 for a.
-3
Let l be ((-138)/(-21) - 4) + (-3)/(-7). Let p(y) = -y + 1. Let i be p(-2). Suppose w - 4*t + 2 = -l, -i*t + 3 = -w. Solve -w = -3*s + 9 for s.
4
Let s(j) = 4*j - 3. Let a be s(2). Solve -a*t = -t for t.
0
Let n(k) = -k**2 - 9*k - 14. Let r be n(-6). Suppose 3*u - h - r = 0, -4*h - h = -25. Solve -2*x = 5 + u for x.
-4
Let l be -3 - ((-1)/(-3) + 0)*-9. Solve l = -6*i + i for i.
0
Suppose -20 = 3*o - 32. Solve -10 - 6 = -o*l for l.
4
Let b = -17 + 19. Solve -b*q - 15 = -7*q for q.
3
Let l(w) = w**2 - w + 1. Let j be l(2). Suppose -j*v - 7 = 11. Let d(r) = -2*r - 2. Let i be d(v). Solve 0 = 2*h - 0*h - i for h.
5
Let c(l) be the first derivative of -l**3/3 + 5*l**2 - 5*l - 1. Let a be c(9). Solve -a*s + 5 + 7 = 0 for s.
3
Suppose x - 3*g = 8, 4*x - 2*g - 8 = 4. Suppose -2*u = x*u. Suppose u = -3*b - 2*b + 25. Solve -m + b*m + 16 = 0 for m.
-4
Let t = 2 + 0. Let f(u) = -u**2 + 6*u + 7. Let q be f(7). Let j = 0 - -2. Solve t + q = -j*v for v.
-1
Let j = -14 + 20. Suppose 2*t + 16 = 2*i, t - 7 = -3*i + i. Let z(b) = -b + 7. Let k be z(i). Solve j = -k*c + 5*c for c.
2
Suppose -30 = -3*n + n + 5*o, 4*n + 2*o = 12. Solve 2*p - 1 = n for p.
3
Let o = 13 + -9. Solve o = 3*y + 1 for y.
1
Let i(u) = 4*u**2 - 1. Let f be i(1). Suppose -5*j - 3*h = -18, -2*h + 5 - f = 0. Suppose -3*q + 16 + 17 = w, 5*q = w + 63. Solve j = 5*r - q for r.
3
Let p = 5 - 5. Solve 0 = -y + 1 - p for y.
1
Let d be (4/(-14))/(2/(-14)). Let n be 4 + d + 4/(-2). Solve 0 = -3*b + b + n for b.
2
Let b be 2/(-7) - 9/(-7). Suppose 14*v = 12*v + 14. Solve -3*w + v = b for w.
2
Suppose -4*j = -3*j - 3. Suppose 3*y - 8 = -6*o + 2*o, -5*y = j*o + 5. Solve -o*l = -0*l + 10 for l.
-2
Let h be 8/(-3)*36/16. Let t = -6 - h. Solve x - 2 + 4 = t for x.
-2
Suppose 4*l - 45 = -l - 4*k, -27 = -3*l - 5*k. Let m be ((-60)/9)/((-2)/l). Suppose i = -4*i + m. Solve b = i*b + 5 for b.
-1
Let v be (4/(-5))/((-2)/(-5)). Let i be (-3 + 5 + v)*-1. Solve i*a - a = -5 for a.
5
Let a be -4 - (-3 + -4)/1. Solve -2 = a*p + 1 for p.
-1
Let z(l) = l**2 + 4*l - 12. Let n be z(-6). Solve n*g + 8 = -2*g for g.
-4
Let q(d) = d + 4. Let a be q(-3). Let g(c) = -16*c - 27. Let w be g(-2). Solve -a - w = -2*b for b.
3
Let i = 8 - 5. Suppose 2*s - 3*x - 36 = -s, 0 = 3*s + i*x - 30. Let j = 10 - 10. Solve 2*k - 1 + s = j for k.
-5
Suppose 3*g - 8 = -2*i, -i = -3*g - 0*i + 5. Let t(q) = q + 12. Let o be t(-14). Let a = g + o. Solve 0 = -2*s + 4 - a for s.
2
Let n be (-2)/(-1) + (-2)/1. Let r be (n + -1 - -1)/(-2). Solve r = -m - m for m.
0
Let l(m) = -m**3 - 10*m**2 + 6 + m - 1 + 10*m**2. Let c be l(0). Solve -x + c = 2 for x.
3
Suppose 0 = 4*o - 0*o + 32. Let m = 0 - o. Solve 5*n - 3 = -m for n.
-1
Let v be 5/(-4) + 1 - (-34)/8. Solve -v*n = -5 - 3 for n.
2
Let g be (-7)/(-14)*(1 + -1). Suppose -4*d + 55 + 45 = g. Solve -d = -5*q - 0*q for q.
5
Let z(l) = l**3 + 4*l**2 + l - 3. Let u be z(-2). Solve u*h = 6*h for h.
0
Suppose 10 = 5*b + 5*l, -5*b - 6*l + 3*l = -12. Solve 3*m + 0 - b = 0 for m.
1
Suppose 3*b - 38 = 5*g, -3*b + 2*g + 30 = -g. Solve -b*f = -2*f for f.
0
Suppose 5*r - 20 = -0*r, 4*d = -2*r + 40. Suppose 9*z - 4 = d*z. Solve 2*u - z*u = -8 for u.
4
Let j be 7/(-28) - (-147)/12. Let d(s) = -s**2 - 5*s - 1. Let w be d(-5). Let k = 4 + w. Solve 0 = -k*p - p - j for p.
-3
Suppose 4*q + 37 = 5*f, f + f - 7 = -q. Solve f*v = 3*v for v.
0
Suppose 0 = -8*i + 4*i + 24. Suppose i*n + 8 = 8*n. Solve -6 = 2*k + n for k.
-5
Suppose 2*o - 3*n = -0 + 12, 5*o + 2*n - 30 = 0. Let l = 8 + -4. Solve -o = -l*g - 18 for g.
-3
Let r(p) = p**3 + p + 4. Let c be r(0). Let u = 4 - c. Solve u = -2*z - 2*z for z.
0
Let r be (3 + 3)/6*(-2)/(-1). Solve -r*i - 4 = -0*i for i.
-2
Let a be (-3 - (-3 + 3)) + 4. Solve -b + 5 = a for b.
4
Let q(o) = 3*o**2 + 3*o + 2. Let c be q(-2). Let d = -7 + c. Let k = d - -5. Solve b = k*b - 10 for b.
2
Let q(c) = 11*c - 1. Let x be q(1). Suppose -3*m + 2 = -x. Solve -18 = -m*y + 2 for y.
5
Suppose 6*s - 3*s - 18 = 0. Solve -4*i = -s*i - 4 for i.
-2
Let j be (-6 + 4)/(2/(-8)). Solve -2*i - j = 2 for i.
-5
Let d = 26 - 8. Solve -4*x + d = 6 for x.
3
Suppose 6*o - 12 + 0 = 0. Solve 4 = -c + o for c.
-2
Let n(f) = -f**2 - 5*f + 31. Let b be n(-8). Solve 3 + b = -2*j for j.
-5
Let u(y) = -y**2 - 7*y + 8. Let r be u(-8). Solve 2*s - 3 - 1 = r for s.
2
Let j(m) = -m + 10. Let x be j(6). Solve 0 = -x*q - q + 25 for q.
5
Let z be (-6)/(-3) + 0 + 2. Let u = z - 0. Suppose -2 = -0*o + 2*o, -14 = -5*a + u*o. 