 - 13 for m.
1
Suppose 0 = -0*x - 3*x + 6. Solve 4*q = x*b, q + 0*q = -2 for b.
-4
Let c = 40 - 35. Solve 0 = i, c*i + 14 = 4*k + 2 for k.
3
Suppose -h + 2 = c - 2, -2*h = -2*c + 8. Solve 4*k - 12 = 2*k + c*q, -3*k + 11 = q for k.
4
Let b be (-1)/(-1)*(5 - 4). Suppose -3*c + 20 = -b. Suppose j + 3*j - 16 = 0. Solve 3*m - 2 - 1 = -4*y, j*y + c = -m for m.
5
Let y(k) = -k - 8. Let f be y(-12). Let a(n) = -n**3 + 6*n**2 + 1. Let v be a(6). Solve 4 = s - 3*p, f*s + v = s - 4*p for s.
1
Suppose p - 3*j - 4 + 0 = 0, 4*j - 39 = -5*p. Suppose -w = -5*v + 1, 4*v = -2*w + p*w + 5. Let z = -16 - -31. Solve v = 3*x - 4*b - z - 5, 20 = x - 4*b for x.
0
Let t be (2 - 1) + (-27)/(-9). Solve -5*h = t*o - 16, -4*o - 3*h + 20 = o for o.
4
Suppose 3*j + 2*x - 3 = 0, 3*j + 2*x = j. Solve -j*z = 2*h + h - 12, -2*z = 3*h - 13 for h.
5
Suppose -4*r + 13 = 1. Suppose -2*t + 6 + 4 = -5*o, r*t - 4*o - 8 = 0. Solve 3*u + 9 = 3*w, 0 = -u - 4 - t for w.
-1
Let j be 0 - (0/3 + 0). Suppose j = -3*f - t + 6, -f - 5*t = -t - 2. Solve 2*z + 14 = -f*b, 0 = 3*b - 6*b + 5*z + 19 for b.
-2
Let v be 3 - 3/(-12)*-4. Solve -5*h = 3*i - 2 - 12, -h + v*i = -8 for h.
4
Suppose 0 = 2*z + 4 - 12. Solve -3*n = -3*i + z + 8, 2*n = -i - 5 for n.
-3
Let w(z) = z**2 - 8*z + 3. Let o be w(5). Let b(g) = g**2 + 12*g + 12. Let x be b(o). Solve 3*d = 3*p - 0 + x, 5*d - 3*p = 20 for d.
4
Let i = -7 + 7. Solve -3*q - 3*x - 15 = i, -q - 12 = q + 4*x for q.
-4
Let v(g) = -g**2 - 5*g + 1. Let x be v(-4). Suppose -6*l + c = -3*l - 29, -4*c = -4. Solve 1 = -2*o + z + l, o - x*z = 0 for o.
5
Let j(f) = -f**3 - 11*f**2 - 11*f - 10. Let c be j(-10). Let a be (-80)/(-30)*(c - -3). Solve 4*m = -5*z + a, z + 0*z = -2*m + 4 for m.
2
Let a = -48 - -70. Let c(g) = g**2 - 4*g + 1. Let w be c(4). Let v = 3 - w. Solve -z - 5*r - a = 0, -5*r - 34 = v*z - 5*z for z.
3
Let d be 1*((-6)/(-3) + -1). Let j be (-1 + d - -1) + -1. Suppose j = -s + 28 - 6. Solve -k = -0*z - 3*z - 5, 2*z + 4*k + s = 0 for z.
-3
Let o be (-35)/(-14) - (-2 + (-9)/(-6)). Solve 0 = w + o, 0*m + 4*w + 8 = -2*m for m.
2
Suppose -2*d = 1 + 15. Let p = 12 + d. Solve -b - b - 4 = p*f, -3*b + 2*f = -2 for b.
0
Let y = -2 - 2. Let k = y - -6. Solve -2*r - 3*n - 6 = -n, k*r - 3*n = -16 for r.
-5
Let f(s) = s**2 + 13*s + 17. Let t be f(-13). Let g be (-1)/(-3) + (-3)/9. Solve 2*h = 4*m - g*h + 2, 5*m - t = -4*h for m.
1
Let s(v) = -v**3 - 9*v**2 - 18*v + 3. Let n be s(-6). Solve -n*k - 11 = g, -3*k + 4*g - 1 = -0*g for k.
-3
Let x = -4 - -8. Suppose -5*w + 2*w + 9 = 5*z, x*z + w = 10. Solve -2*p + 4 = -u, 0 = -z*u + 5*u + 2*p + 2 for u.
-2
Let y(d) = -5 + 11*d - 9*d - 3. Suppose g = -0*g + 6. Let p be y(g). Solve 5 = -p*f - 0*f + 5*q, f + 4*q = 4 for f.
0
Let h(w) = -w - 3. Let i be h(-5). Let l be 309/12 - 1/(-4). Suppose -3 = z - 7. Solve -15 = k + 3*a, i*k - l = z*k + 5*a for k.
-3
Let w = -48 + 49. Solve -c + a - 1 = w, 5*a - 16 = -c for c.
1
Suppose 3*k + 5 = 23. Suppose 7*f + k = 10*f. Solve 4*u = 12, 0*r = f*r - 5*u + 19 for r.
-2
Let g(z) = z**2 + z + 10. Let i be g(0). Let t = -5 + 2. Let m = i + t. Solve -5*f - 4*u - 17 = 0, -3*f + 22 = -m*f + u for f.
-5
Let m(n) = -6 + 6 - 4*n + 13 + 3*n. Let f be m(10). Let y = -1 + 5. Solve -5*q + y*q = -r - 2, 0 = -4*r - f*q - 15 for r.
-3
Let s(b) = -b**2 + 8*b - 3. Let o be s(7). Let q be 5/20 + (-1)/o. Suppose q*i = -i. Solve 3 = -g + 2*x, 5*g + x + x - 9 = i for g.
1
Suppose -3*l + 3*u = -57, 2*l - 6*l + 116 = 4*u. Solve f - 11 - 7 = -4*b, -l = -5*b - 2*f for b.
4
Let r = 105 + -103. Solve 0 = -5*w + r*l - 9, 2*w = 3*w - 3*l + 7 for w.
-1
Let n = -58 + 60. Solve -3 = 3*a + 2*a + n*w, -4*a = w for a.
1
Let v be 2/3 - (-7)/3. Let n(k) = 2*k**2 - k + 1. Let i be n(1). Let q = 6 - i. Solve 0 = 2*h - v*t - q - 0, 0 = -2*h - 5*t - 28 for h.
-4
Let q(k) = -k**3 - 15*k**2 + 15*k - 14. Let h be q(-16). Solve 2*l = -h*l + r, 0 = -2*l - 5*r + 22 for l.
1
Let m(l) = 2 - 7*l**2 + 23*l**2 - 13*l**2 + 2*l. Let t be m(-1). Solve t*c + 12 = -p, -2*c - 11 = -2*p + 5 for p.
3
Suppose 0 = 3*o + 4*v - 11, 0 = 2*o + 3*o - 5*v + 5. Solve 5*s - 23 = z, s = 3*z - 0*s - o for z.
2
Let y = -48 - -52. Solve -r - 15 = v + y*v, 0 = -r - 2*v - 6 for r.
0
Let b be 14/4 - (-2)/4. Let p = -2 + b. Let v(m) = m**3 - 2*m - 1. Let q be v(2). Solve 0 = q*a - u, -4*a = -5*u + p*u for a.
0
Let n(o) = -5 - 3*o + 4*o + 3 - 6*o**2 + 0*o + o**3. Let i be n(6). Solve -2 - 11 = -3*d + i*v, -2*v - 13 = 5*d for d.
-1
Let k be 13/(1*1/2). Let p = k + -16. Solve 5*f - 18 = -v, 0 = 5*v + 3*f - 14 - p for v.
3
Suppose -4*o + 2*o - 2 = -2*i, -5*i = 3*o - 29. Solve -4*r - 3*d - 18 = -6*d, 5*d + 2 = -i*r for r.
-3
Let n be (-21)/(-5) + 14/(-70). Solve -5*r - 5*w = -2*w + 16, 3*r = n*w + 2 for r.
-2
Suppose -z - 160 = -6*z. Suppose 4*u - 5*f - 2 = 3, 4*u = -4*f + z. Solve -u*c = -o + 16, 3*c - c - o + 4 = 0 for c.
-4
Let n be 0 - -5 - (5 + -5). Suppose -3*y + 2*o - 3*o = -17, 0 = -n*y + 2*o + 10. Solve 0*g = -y*g + 2*j - 26, -5*g - 22 = j for g.
-5
Let u be 0/(7/((-21)/6)). Solve 3*w + 4 = -4*r, u = -0*w + 4*w - 2*r + 20 for w.
-4
Suppose -k = -2*k + 8. Let g(i) = -i**2 + 9*i - 7. Let r be g(k). Solve -4*h + 4 = -4*q, 0 = -5*q + 2*h - 0 + r for q.
1
Suppose 4 + 6 = 2*i. Let b = i + -5. Solve -2*q - 1 = h - 0*q, b = 5*h - 5*q + 35 for h.
-5
Suppose -2*c + 3*c = 0. Suppose 2*p = -c + 4. Suppose -p*o + 7 = -5. Solve o*f - 34 = f - 3*u, 2*f - 25 = -5*u for f.
5
Suppose -2*y + 2 = 2*i - 4, -5*i = -y + 3. Solve -3*u = 5*x - 10, i = -4*x - 4 + 12 for u.
0
Let v = -13 + 16. Suppose -u = -5*p + 4*p - 1, -5*u = -2*p - 14. Solve -5*f - o - 20 = -0*o, u*f = v*o - 35 for f.
-5
Let t be (-64)/12 + 1/3. Let p(f) = -f**2 - 4*f + 7. Let a be p(t). Solve 5*m - 5*r + 15 = 0, -5*m - 27 + 9 = -a*r for m.
-4
Suppose 0 = -y + 2*d - 1 - 1, 3*y = 2*d + 10. Suppose 4*a - y - 6 = 0. Suppose -2*x = a*z + z - 26, -x + z = -1. Solve -n + c + 6 = -4*c, x*n + c = 4 for n.
1
Let w = -18 - -20. Solve w*t - 4 = -t + r, -t + 5*r = -20 for t.
0
Let z = -47 - -49. Solve -z*k - 2 = -3*l + 2*k, -2*l - 6 = k for l.
-2
Let g(u) = 13*u**3 - u**2. Let a be g(1). Suppose -7*f + 2*f - 45 = -5*z, a = z - 2*f. Let h be 1/3*(4 - -2). Solve -k + h = 5*b, 3*b - z = 2*k + 3 for b.
1
Let v = -34 + 36. Solve -v*s - u + 4 = -s, -5 = -3*s + 4*u for s.
3
Let b = -30 + 70. Solve -2 - 3 = f, -5*f = -5*u + b for u.
3
Let z(i) = -i**3 - 5*i**2 + 4. Let y be z(-5). Suppose -y*s + 2 = -10. Let c be (-6)/(1 - s/2). Solve 0 = -4*u - 4*v + c, v = -2*u - 2*v + 5 for u.
4
Suppose 3*x + 2*z - 9 = 0, 3*z = 1 - 10. Solve 3*f + 18 = -3*i, -x*f + 4*i - 12 + 0 = 0 for f.
-4
Suppose 0 = -4*g + 8. Solve 2*n = -2*i + 5*n + 10, -g*i + 10 = -5*n for i.
5
Suppose -i - 2*o = -3, -5*i + 0*o - 2*o - 1 = 0. Let d = 3 - 7. Let w be i*2/d*8. Solve -5*g + 4 = 3*v, -g + w*v + 4 = -3*g for g.
2
Suppose -2*a + 46 = 5*x - 12, -3*x = -2*a - 22. Solve -y - x = y - 5*h, -y + 2 = h for y.
0
Let w(i) = -i - 4. Let r be w(-8). Solve p + 5*l - 10 = 0, 0 = r*p - 0*p + 2*l - 22 for p.
5
Let k be (-1)/(((-3)/(-4))/(-3)). Suppose -k*j - 6 = -14. Solve -j*w + 0*g + 6 = 4*g, 3*w + 3*g + 3 = 0 for w.
-5
Suppose -5*u - 61 = 14. Let z = 15 + u. Solve z = 3*q - q + 4, -2*h - q = 2 for h.
0
Let y = -65 + 67. Solve -4*d = y*h + d - 20, h = 2*d + 1 for h.
5
Suppose 0 = 2*p - 2*c, 4*p + 5*c + 3 - 12 = 0. Suppose -2 + 6 = 2*t. Solve 0 = -5*h - 3*i - p + 17, -t*h + 5*i - 6 = 0 for h.
2
Suppose 3*q - q - 36 = 0. Solve 0 = -3*i + 3*y - 0 + q, 22 = 4*i - 3*y for i.
4
Suppose -4*c + 2*i + 12 = 0, -3*i + 4 + 2 = 0. Suppose 0 = m - c*w - 16, -3*m + 21 = -5*w + 2*w. Solve 4*k = z - 5*z - 32, m*z + 14 = 2*k for k.
-3
Let t(u) = 2*u**3 - 4*u**2. Let l be t(3). Solve -4*a + 5 = -3*g - l, 2*a = 4*g + 14 for g.
-1
Let z = -10 - -15. Let w be 0 - (2 + -1 - z). Solve 11 = c + 5*r, 5*r = -7*c + w*c + 13 for c.
1
Suppose 7 = 5*k - 13. Suppose -2*z - 3*g + 9 + 2 = 0, -k*z + 21 = 5*g. Solve 16 = u - 5*u, 3*i + z*u = -10 for i.
2
Suppose 2*i = 2*r - 2*i - 24, -4*r = 4*i - 60. Let a be 460/28 - 6/r. Solve c + 1 = 2*f - f, -4*c - a = 2*f for f.
-2
Let r = -2 - -4. Suppose -r*h = -1 + 15. Let n = 13 - h. Solve 0 = 5*i - n, 5*j + 2*i + 7 = 35 for j.
4
Let b = 12 + -8. Solve -2*p - 14 = -2*j, -3*j + 0*j = b*p for j.
4
Let r be ((-24)/(-20))/(2/5). Suppose -r*t + 2*t - 3*m + 2 = 0, -4*t + 3