23 = 3*a - 5*m, 3*m - 17 = -a for a.
2
Let a = 25 + -18. Let m(r) = -r**3 - 8*r**2 - 8*r + 1. Let c be m(-7). Solve 4*w + c = 0, u = 4*w + 2 + a for u.
1
Suppose -3*y + 56 = 17. Solve -2*a + 4*m = -19 + 1, -a = -3*m - y for a.
1
Suppose -17 + 2 = -5*n. Suppose 7 + 1 = 2*m. Solve 3*s + m*y - 15 - 11 = 0, -n*y = 5*s - 25 for s.
2
Let w = -90 - -107. Solve -5*g = -25, -3*o - w + 4 = -5*g for o.
4
Let z = -3 + 6. Suppose 4*v - z = 13. Let k = v - 4. Solve k*o - 5*o = -3*t - 35, 3*o - t - 17 = 0 for o.
4
Let l = -12 - -3. Let c = -2 - l. Solve -28 = -5*w - 2*j, -w + 5*j - c - 9 = 0 for w.
4
Let g(n) = n - 1. Let w be g(5). Let u(x) = -x + 1. Let o be u(-4). Let k = 8 - o. Solve -w*a - s = -k*a + 3, 3*a + 4*s = -12 for a.
0
Let a(d) = -45*d**3 - 2*d + 1. Let y be a(1). Let l = -30 - y. Let p(v) = v**3 - v + 11. Let z be p(0). Solve -4*s + z = x - 2*s, 0 = -x - 3*s + l for x.
1
Suppose -a = 3*a - 8. Let s(w) = w - w**a + 6*w - 3 - 1. Let n be s(6). Solve -o + n*o = 4*b - 8, -4*o + b = -13 for o.
4
Suppose 2*f - l + 3 = 0, 4*f + 3*l = 2*l - 15. Let b be (-5 + -1)*2/f. Suppose 5*n = 6 + b. Solve n*m - 2 = 3*m, 3*m + 3 = 3*d for d.
-1
Suppose -215 + 26 = -3*o. Suppose -2*z + 6 = -5*t + 111, 3*t - 3*z = o. Solve -3*b = -2*f - t, 3*f + 25 = 2*b - 2*f for b.
5
Let g = 78 - 46. Suppose 0 = 5*k - k - g. Solve -s - s - m + k = 0, s + 1 = -3*m for s.
5
Let z(q) = -q + 5. Let k be z(0). Suppose -5*f - 5*b - 6 = 9, b = -k*f - 3. Solve 4*a - 5*x - 7 + 2 = f, 2*x + 2 = 3*a for a.
0
Let r(d) = -2*d + 4. Let c be r(2). Solve 4*b - 2*y - 16 = 0, -2*b + 8 = -c*b + 2*y for b.
4
Let v = 8 + -5. Let f be 1 + 1 + (-1)/(-1). Solve -v - 10 = 2*p - 3*j, -3*j = -f for p.
-5
Let o(v) = -v - 2. Let w be o(-4). Solve -5*a + 7 = t, 3*t - 4*a - w = -19 for t.
-3
Suppose -4*p - 20 = 0, -5*p + 2*p = -2*h + 25. Solve -3*j - 2 = -x, -20 = 2*j + h*x + 4 for j.
-2
Let u = 2 - -1. Let j = u + 25. Suppose -4*s - j = -4*a, 3*s = -2*a - 2 - 4. Solve 4 + 4 = 4*x + 4*g, -a*g + 4 = x for x.
1
Suppose 5*g = 3*g + 4. Solve 8 = 5*d - x, 5*d + g = -x + 4 for d.
1
Suppose 12 + 4 = 4*r. Suppose r = -4*d - 2*b, 3*d - b - 8 = -d. Solve m - 1 = -s, 0 = 3*m + 3*s + s - d for m.
3
Let x be -7 + 1 - -3 - -5. Solve -x*u - 3*f = 11, -u - 5*f = -6*u + 35 for u.
2
Let w be -5 + (2 - (3 + -4)). Let k(u) = -u + 1. Let j be k(w). Solve d - 4*i = -3*d + 12, -j*d + 4*i = -10 for d.
2
Let f = -3 + 5. Let m be f/((-5)/(90/(-4))). Suppose -4*q + 3 = i, i = -2*q + 4*i - m. Solve o - 1 = 0, -o = 2*z - 3 - q for z.
1
Let a(p) = p**3 - 5*p**2 - 5*p - 4. Let f be a(6). Suppose f*u - 7 = 11. Solve 0 = -3*j + 3*g + 21, 5*j + 4*g + 1 = -u for j.
2
Suppose 22 = 5*s - 2*y, 4*y = s - 1 - 7. Let i be (-2 - -2)*(-1 + 2). Let v(b) = -2*b - 1. Let u be v(-3). Solve i = 2*d - x - s, 2*x = -0*d + 3*d - u for d.
3
Let d be 0*((-2)/(-4))/1. Let f(h) = h - 10. Let o be f(12). Suppose d*m + o*m = 0. Solve -k - 3 = -2*w + 7, m = 3*k for w.
5
Suppose 13*q - 33 = 2*q. Solve -3*s = o + 8, 5*o = -2*s - q*s for s.
-4
Let i = -22 + 22. Suppose 5*n + 2*o = -0*o + 51, -18 = -2*n - 2*o. Solve i = -3*a - z + n, a - z + 1 = z for a.
3
Let t = -2 - -4. Suppose u + 2*o = 2, -5*u - t*o + 24 = -6*o. Suppose -6*y + 17*y - 22 = 0. Solve -y*m + 4*q = -10, m + q - 10 = u*q for m.
-5
Let p(a) = -a**3 + a**2 + 4*a + 1. Let u be p(3). Let v be (-87)/u + 30/50. Solve 14 = 5*x - w, x - 3*w - w = v for x.
2
Let j be (-28)/6*3/(-2). Let p = 8 - j. Solve 3*a - 6 + 0 = -o, 2*o = 5*a + p for a.
1
Let p be (-1 - -2) + -1 + 113. Suppose -4 = 4*v + l - p, 5*v + 5*l = 125. Solve -4*z = 4*b - v, -3*b + z = -7 + 2 for b.
3
Let k be 1/2 - 63/(-18). Solve o = -f - 1, -2*o = o + k*f + 5 for o.
1
Let p(s) = s**2 - 2*s - 10. Let w be p(5). Solve 7 = 3*v - l, -3*l - 2 = -w*v + 3 for v.
4
Let g be 34/14 + 18/(-42). Let h = -1 + 12. Solve g*i = -3*o + 5*i + 15, 2*o = 3*i + h for o.
4
Suppose 10*g - 13*g = -15. Solve -4*b - b + g = -5*n, 2*n - 33 = -5*b for n.
4
Let h(i) = i**2 + 7 + 1 - 2 - 1 - 4*i. Let k be h(4). Solve a = 3*a - 3*n - 2, 2*n = k*a + 6 for a.
-2
Suppose 0 = -2*k - 2, -19 = -u - 6*k + k. Solve 5*y + 12 = y - 2*f, -4*y = 5*f + u for y.
-1
Suppose h - 1 - 3 = 0. Let z be (-96)/10 - 2/5. Let b = z - -16. Solve h*i = 5*f + 15, -f + b = -3*f for i.
0
Let c(w) = -w**3 - 5*w**2 + w + 5. Let v be c(-5). Let s = 0 + -1. Let q be (s - -1) + 2 + 3. Solve y + 1 = 0, q*l + y + 11 = -v for l.
-2
Suppose 2*m = -w - 2*m + 1, 4*w = 4*m - 96. Let x(j) = -3*j + 16. Let o be x(-12). Let g = w + o. Solve -5 = f, c = -c - 5*f - g for c.
-4
Let v(k) = k**2 + 5*k + 3. Let c be v(-5). Let q be (-12)/10*(-55)/22. Solve c*t - 5*m - 30 = 0, -3*t + q*m + 12 + 12 = 0 for t.
5
Let j(i) = -i**3 - 3*i**2 - 3*i. Let a be j(-3). Let o = 18 - a. Let u be 2/(6/9) + 0. Solve 5*r - 3 = -g, -5*g + u*g - o = -5*r for g.
-2
Let n = 48 + -44. Solve 9 = 3*d + n*r, 2*r - 10 = -2*d + 6*d for d.
-1
Let j be (-18 - -17) + (4 - 0). Solve 5*v = -j*i - 1, 7*v + 3*i - 1 = 3*v for v.
-2
Let i be (5 - (-1 - -3))/1. Suppose 3*a - 36 = -3*d, i*a - 23 = 2*d - 4*d. Solve -21 = -2*w - 3*h, -4*w + 2*h + 3*h - d = 0 for w.
3
Let h(d) = d + 4. Let t be h(-2). Suppose 2*o = -5*i + 44, -5*i = -2*o - 2*i + 12. Let u be 1/2 - (-18)/o. Solve s - l - 4*l + 10 = 0, u*s + t = 4*l for s.
5
Let n = 10 - -6. Suppose -v + n = 3*v. Solve 0 = -2*p + 3*f, 0 = -p - v*f - 1 - 10 for p.
-3
Let a(m) = 33*m + 1. Let q(u) = -u**3 - 2*u**2 - u. Let s be q(-2). Let y = s - 1. Let i be a(y). Solve 0 = -5*p - 14 + i, 4*f - 3*p - 4 = 0 for f.
4
Let b(t) = t**3 + 5*t**2 - t + 3. Let m be b(-5). Let j(v) = 13*v**2. Let q be j(1). Let k = q - m. Solve -g - k*r - 5 = 0, -4*g + 36 = -4*r + 8 for g.
5
Let m be (-21)/(-15) + (-4)/10. Let c = -2 + 2. Solve -3*f - 5*y = 8 + m, -5*y = c for f.
-3
Let g = -4 + 6. Solve 0 = -4*f + 4, -g*k - 1 = -0*k + 5*f for k.
-3
Let x = 10 + -6. Suppose x*h = 5*a + 10, -5*a + 7 = 2*h - 13. Solve 3*j - 10 = 5*v, a*j = 6*j - 20 for v.
1
Let g = 12 - 6. Let q = g + -3. Solve y + 4*y + 13 = q*o, 0 = 3*y + o + 19 for y.
-5
Let i be -2 + 1*-2 + -2. Let z be (-40)/(-6) - 2/i. Let s = -4 + z. Solve -17 = -s*x + d, 3*x - 21 = -4*d + 7*d for x.
5
Suppose f + 0 - 2 = -2*k, -3*k - 11 = 5*f. Let s = -76 - -81. Solve 0*c - k*j + 11 = s*c, -3*j = 9 for c.
4
Let f = -6 - -10. Solve 0 = -4*j - 3*q - 4, 0 = j - 6*j - 4*q - f for j.
-4
Let u(g) = 2*g - 5. Let c be u(5). Let x = -8 + 16. Suppose -2 = -5*y + x. Solve 2*n + 5 - 3 = y*a, 5*a = -4*n + c for a.
1
Suppose -5*t = -4*f + 13, -2*f + 0*t + 3*t + 7 = 0. Solve 4*n + 2*p + 2 = -10, 22 = -f*n - 5*p for n.
-1
Let g(b) = b**2 + 9*b + 10. Let x be g(-8). Solve 2*d + p = x*p - 4, -4*d + 4*p - 4 = 0 for d.
-3
Let j(f) = -f**3 + 4. Let w be j(0). Solve -x - w*g = -6*g, 4*x = -g + 18 for x.
4
Let s be -4 + 6 + (2 - -11). Solve 3*m - 12 = 2*k, -3*m = -6*k + 3*k - s for k.
-3
Let j be -1 + 1 + (-12)/(-6). Suppose 0*z + p = -j*z, -p = 3*z. Suppose g + c = 3, 5*g + 3*c - 23 + 4 = z. Solve 4*y + 20 = 5*q, -5*q + g = 5*y - 15 for y.
0
Let p = -5 + 9. Suppose 0 = -0*f + 4*f - p. Solve 6*u - 3*u - f = -c, 4 = 4*c for u.
0
Suppose 0 = -y - 2*y + 4*g + 36, -5*y + 4*g + 52 = 0. Solve y = c - 2*z, 2*c + 3*z = 5*z + 12 for c.
4
Suppose 4*l - 61 = -h, -l = 4*h - 6 - 13. Suppose w - 11 - l = -5*u, -2*u - 3*w + 13 = 0. Solve 3*j = u*k - 16, -4*k - 4 = 5*j - k for j.
-2
Let c be ((-2)/(-6))/((-6)/(-54)). Solve -3*s + k - 7 = s, c*s = -k for s.
-1
Suppose -17 = -h + 9. Solve -n - 13 = 3*b, 3*n + 0*n = 4*b + h for n.
2
Let i = 22 + -13. Let o = i + -10. Let t = -1 - o. Solve -4*l + 0*l + 2*m + 16 = t, 4*m = -l + 13 for l.
5
Let m(d) = d**2 + d - 1. Let b be m(-4). Let l = 17 + 2. Let p = 21 - l. Solve -5*t + 26 = -y, 0*t - b = -p*t + y for t.
5
Let a be (-14)/(-35) + 6/(-15). Solve -5*z = -4*z - 3*s + 7, a = -3*z + 4*s - 16 for z.
-4
Let a be (-1 - -3) + (0 - 9). Let l = 11 + a. Solve -4*y - l*r = 20, -2*r - 4 = -4*y + 2*r for y.
-2
Let t be 0/(9/6*-2). Let c(b) = b + 2. Let z be c(t). Solve 0 = -3*a + 3, -2*j - 4*a + 16 - z = 0 for j.
5
Suppose -26 = -2*y - 10. Solve 5*z = 3*g - 20, -y - 21 = 4*z - 5*g for z.
-1
Suppose 2*s - 5*k - 15 = 0, 23*k - 26*k = 5*s - 22. Solve s*x = -z - 0*x, -2*z + 3*x = -13 for z.
5
Suppose 0 = -5*k - 0*t + 2*t + 20, 5*k - 4*t - 30 = 0. Solve 2 = k*j + s, -3*j = -s - 3*s - 14 for j.
2
