- z = 22 - 1 for s.
4
Suppose 5*o = -2*a + 7 + 1, 4*o - 34 = 3*a. Let i be ((-12)/10)/(a/10). Solve -i*d = -2, -4*y + 2*d + 1 = -d for y.
1
Let s(i) = -9*i + 3. Let x be s(-3). Suppose x*n - 27*n = 0. Suppose -2*r = -0*v - 3*v - 15, -3*r + 10 = -2*v. Solve n = -r*h + h - 5*t, -2*t = 5*h for h.
0
Let o(f) = -f**3 + 2*f**2 + f + 2. Suppose -1 + 4 = -3*s + 3*p, -4 = -5*s - 4*p. Let x be o(s). Solve -i - 2 = l, -x*i = 5*l + 1 + 3 for i.
-2
Let t be 2 - (4 - 4) - 2. Suppose t = -2*s + 10*s - 32. Solve -3*z + 2*r - 13 = 0, 3 + s = -2*z + r for z.
-1
Let o = -44 - -52. Solve -8 = -4*h - 2*x, -5*h + x = -3*h - o for h.
3
Suppose 0 = -5*o + 5*c - 30, 2*c + 1 - 17 = 3*o. Let v be 12/(-15)*10/o. Let i be 374/51 - 6 - (-2)/3. Solve 5*j + 11 = -v*d - 2, i*d = 3*j - 5 for j.
-1
Let t(v) = -v**3 + 10*v**2 + 13*v - 4. Let s be t(11). Let o = -13 + s. Solve -5*z + 3*l = 22, 4*l = -2*z + o*l - 8 for z.
-2
Let b = 4 - 8. Let x be b/(2/(-6) + -1). Let m be x/(-12)*-2*2. Solve 0 = -q + 2*o - m, 4*q + 0*q = -5*o - 17 for q.
-3
Let b(r) = r**3 + r**2 + 5. Let q be b(0). Let a(s) = s**2 - 2*s + 3. Let x be a(0). Suppose -x*k = -2*k - 20. Solve q*j = -0*t - t - 4, -3*j = 5*t + k for t.
-4
Let x = -578 - -582. Solve -z + 4*m = -15, x*z - 2*m + 3*m + 8 = 0 for z.
-1
Let t be 4 + 575/35 - (-3)/(-7). Let q = 4 + -2. Solve q = -4*d + 3*y + 18, -2*y = 5*d - t for d.
4
Suppose -z + 2 = 0, -5*k - z + 33 = -14. Solve -a - 4*g = -k, 4*a - 2*g - 19 = -1 for a.
5
Let p be (1/(-2))/(-1)*(21 - 45). Let l = 15 + p. Solve m + l*m = 16, 8 = 4*s - 2*m for s.
4
Suppose 2*n = 5*x - 3*n - 50, 4*n = -5*x + 5. Solve 19 = 2*h + h - 2*f, 2*f = -x*h + 5 for h.
3
Suppose 5*c = -4*a + 59, 0 = -4*c - 0*c + 3*a + 41. Let b = c + 8. Solve -4*r - b = 3*z, 3*z = r + r - 13 for r.
-1
Let a be 3105/46 + 6/(-4). Let z = -62 + a. Solve -z*r = -l - 14, 5*l + 4*r - 34 + 8 = 0 for l.
2
Let t be (-2)/4*(94 + 2)/(-12). Suppose 3*y + 11 = m - 3*m, 0 = -4*m - 5*y - 17. Solve -2*l = -6*l + m*r - 2, -5*r = t*l + 9 for l.
-1
Let o(r) = -2*r + 2. Let u be o(-2). Let f = 48 - 3. Let p = f - 41. Solve -10 = 5*z + 2*d, -p*d = 3*z + d + u for z.
-2
Suppose 0 = g - 4, 5*v + 11*g - 24 = 10*g. Solve -2*s = -5*a - s - 10, -3*s = -2*a - v for a.
-2
Suppose 2*t + 3*y = 9, 0 = 2*t - 3*y - 2*y - 1. Suppose -k - k + 4 = 0, -3*s = 5*k - 19. Solve o - t*o = 2*d - 18, 0 = s*o + d - 19 for o.
5
Suppose 6*k + 3 = -9. Let m be 2/((k + 3)/2). Solve u + 3*l + 7 = 0, -2*u + 4*l = -0*l + m for u.
-4
Let x be (-7)/14*-3 - 3/(-2). Let r be 5 + ((-1)/(-5 - -4) - x). Solve 5*j = -0*j - r*d - 11, -3*j + 2*d + 1 = 0 for j.
-1
Let u(q) = q + 18. Let d be u(-8). Let g be 6/(-4) - (-75)/d. Suppose -3*f + g*f = 36. Solve 6*s - f = 2*s, 0 = -2*b + s - 5 for b.
-1
Suppose -14*h + 13*h + 2 = 0. Let w(j) = -5*j + h*j - 4 + j. Let o be w(-5). Solve -t = -4 + o, k = -2*t - 3 for k.
1
Let h(j) = -18*j - 54. Let y be h(-3). Solve -2*v - 5*f - 9 = y, -3*f = f + 12 for v.
3
Let h = -1412 - -1416. Solve -3*c + 5*c - 13 = 3*z, h*z = 4*c - 20 for z.
-3
Suppose -5*t - 44 = -14. Let m be -6*t/(-12) - (1 + -4). Solve q = -5*y + 21, -4*y = -m*q + q - 16 for y.
5
Let v be ((-14)/(-1)*-1)/(5 - 6). Suppose 0 = -5*r - 2*w + 4*w + 2, -5*r - w + v = 0. Solve -2*x + 0 - r = -4*l, 4*l - 5 = 3*x for l.
-1
Let o = -8 + 11. Let w be ((-30)/12)/((-2)/4). Suppose 3*s = -w*g + 54, -5 - 34 = -3*g - 4*s. Solve -l + o*l = -h - g, -h = 3*l + 11 for h.
-5
Let x be (-1)/2*36/(-3). Let m be (303/(-1 + -2))/1. Let d = 106 + m. Solve 5*s - 3*w = 37, -w = -d*s + x + 23 for s.
5
Suppose 13*z - 63 = 4*z. Solve -x + 7 = 5*f, x + z = 2*f - 0*f for f.
2
Let j = 34 + -32. Solve -q - 13 = -3*h - j, 2*h - 14 = 2*q for h.
2
Let x(o) = -7*o - 1. Let u be x(-5). Suppose -c + u = c. Solve -5*y + 5 = 2*l, 2*y - 2*l = l - c for y.
-1
Suppose 2*h + 2 = 32. Let r = 17 - h. Let q be ((1 - 1)/(-1))/(-1). Solve -a = r*m - 12, q*m + a + 3 = m for m.
5
Let p = -24 + 30. Suppose 0 = -2*v + w + 31, 74 = p*v - 2*v + 2*w. Solve 2*s = -5*b - v, 5*s + 28 = -4*b + 11 for b.
-3
Suppose -326 = -3*m + 2*q + 2*q, -m = q - 111. Let y = m + -108. Solve y = 4*t - 2*u, 3*t - 2*u = 4 - 3 for t.
1
Suppose 23 = 3*a + 86. Let j be 8/28 - (-384)/a. Let n be j/(-1 + -1) - 3. Solve x + 0*w = 3*w - n, 3*w - 15 = -2*x for x.
3
Suppose 0 = g - 2 - 7. Let v(f) be the first derivative of f**3/3 - 5*f**2 + 11*f + 13. Let y be v(g). Solve 0 = -l - s + y, -4*l - 4*s = l - 9 for l.
1
Suppose 28 + 8 = -4*m. Let i = 11 + m. Suppose 0 = -2*a - 2*a. Solve b = i*f - 2, a = f - b - 1 for f.
1
Let q = -8 - -14. Let c be q/(-27) + 94/18. Suppose -2*z + 3*i + c + 4 = 0, 4*i = -12. Solve z = x + 3*l - 16, -2*x + 20 = l + 2*l for x.
4
Suppose -3*p - 3*q = -108, -7*p + 5*p + 81 = 5*q. Solve 9*v - 4*v + 5*o - 45 = 0, 5*v - p = -2*o for v.
5
Let d(m) = -m**2 - 15*m - 54. Let w be d(-8). Solve -2 = w*f, -f + 5*f - 11 = 5*i for i.
-3
Let p = 353 + -350. Solve -3*h + p*m - 21 = 0, -h = -6*m + 2*m + 16 for h.
-4
Suppose 196 = -3*y + 10*y. Let r = y + -25. Solve -5*q = p - 16, -3*q - p - 4 = r*p for q.
4
Let w be (5/15)/(2/12). Let t = -54 + 57. Solve -4*a = t*h - 5 + 1, -5*a = 2*h + w for a.
-2
Let y(h) = h**2 + 18*h - 239. Let b be y(9). Solve 2*d + 3*d = -5*k, -10 = k - b*d for k.
-2
Let d = 25 - 25. Suppose 5*h - t - 6 = d, -7*t + 8 = -4*h - 3*t. Solve -16 = -2*j + 2*i, 4 + 16 = 3*j - h*i for j.
4
Let b(s) be the first derivative of 19*s**2/2 + s - 1. Let o be b(1). Let g(a) = -2*a. Let r be g(-1). Solve -4*j - r = -2*q, 2*q + j - o = -4*j for q.
5
Let m(t) = -2*t**2 + 29*t - 14. Let f be m(14). Solve -d + 3 = f, -9 = -2*q - 3*d - 2*d for q.
-3
Suppose 12*a - 153 - 3 = 0. Let x = 26 + -17. Solve x = 5*u + 24, -4*u = -l + a for l.
1
Let f(n) = -7*n - 2. Suppose 0 = 2*x, -4*m + 3*x - 20 = -9*m. Suppose m*j - 2 + 6 = 0. Let l be f(j). Solve -8 = -l*c + 2*h + 15, 2*c - 4*h - 22 = 0 for c.
3
Let q be (0/1)/((-2)/2). Suppose -4*v + 0*v = q. Let y be 4/2*10/4. Solve 0 = -3*o - 0*w + y*w - 30, v = -2*o - w - 7 for o.
-5
Suppose 20*b - 41 = 59. Solve -b*m = -4*c - 1, 1 + 10 = -m - 2*c for m.
-3
Let r(p) = 22*p - 238. Let i be r(11). Solve -i*o = -3*x - 21, -5 - 16 = -2*o + 5*x for o.
3
Let i(s) = 2*s**2 + 14*s - 59. Let k be i(-10). Solve -4*l = 3*u + k, 5*u = 5*l + 7 - 32 for l.
2
Suppose -y = -4*l + 133, -l + 13 = -5*y - 6. Let c = l - 24. Suppose -p = 4*z + 14, 0*z + 2*z - 14 = -4*p. Solve j + 11 = -4*x - p, x - c = -5*j for x.
-5
Suppose -18 = -4*n + 6. Suppose -8*v + 10*v = n. Solve -15 = v*o + 2*w, -o + 5*o + 5*w = -20 for o.
-5
Let y = 145 - 132. Solve 5*k - y = 3*g, 2*g + 2*k = k for g.
-1
Let r(m) = -m + 9. Let u be r(7). Suppose -2 = u*h - 0, -q - h - 1 = 0. Solve q = j + g + 3*g - 16, 5*j - 26 = -2*g for j.
4
Let s be 0*(7/(-21))/(2/(-3)). Suppose -15 = 3*b - 0*b. Let p = b - -9. Solve s = -3*k + 4*r - p, 2 = 3*r - 1 for k.
0
Let z be 2/((-9)/(-144)*4). Suppose -6*u = -3*u - 9. Let g be (-12)/(-2)*u/2. Solve -4*x + r = 21, -z*r + 4*r + g = -x for x.
-5
Let p(k) = k**2 - 1. Let s = -6 - -12. Let z be (-7)/(-21) + (-8)/s. Let f be p(z). Solve -5*n - 5*o = -4*o - 6, -n - 4*o - 14 = f for n.
2
Let o(t) = t**2 + 5*t - 5. Suppose 2*q + u + 1 = 4*u, 3*q = u - 12. Let j be o(q). Let r = j - -7. Solve r*l = -5*p - 2 + 13, 2*p + 10 = 4*l for p.
1
Let g be (-6)/(-15) - (-69)/15. Suppose 4 = -q + 2*i - 1, 3*q - 4*i = -g. Solve r = -5*t + 15, q*t + 4 + 1 = 3*r for t.
2
Let j(t) = t**3 - t**2 + 4*t - 10. Let y be j(2). Solve 12 = -y*u - 4*z - 4, -z - 9 = 3*u for u.
-2
Let r be (-885)/(-35) - (6 + (-40)/7). Solve 2*u + 4 = 0, -r = -3*i - 2*u + 7*u for i.
5
Let v(f) = -f**3 + 12*f**2 - 10*f - 9. Let x be v(11). Solve 0 = -3*s - 2*o + 8, 0*o - 2 = -x*o for s.
2
Let j(u) = -u**3 + 9*u**2 + 4*u - 18. Let w be j(9). Suppose w*b = 20*b - 12. Solve -4*g - 2*f + 14 = 0, b = 2*g - g - 2*f for g.
4
Suppose -11*s = -18*s + 35. Let y be 26/6 + s/(-15) - 1. Solve 0 = -n + 4*i - 4, 3 = y*n - i + 4*i for n.
0
Let h be (1 - 3)*(3 - (1 + 0)). Let r = 8 + h. Solve -r*d = 5*y + 12 + 3, 2*d + 12 = 2*y for y.
1
Let f be (-1)/4*-2 + 351/54. Solve -3*m + f*b - 3 = 4*b, 0 = -b for m.
-1
Let k be (-518)/(-84) + 2/(-12). Suppose -x = 4*y - 10, 5*x - 4 = -3*y + k*x. Solve -4*v - 8 = -2*u, -2*v - y*v - 3*u = 18 for v.
-3
Let i = 1318 + -1313. Solve -2*d + 6 = 4*y, -4*y - i*d - 9 = -0*y fo