0, 0 = 6*j - j + 2*t + 4 for j.
0
Suppose -5*r = -2*r + 27. Let x be 6 + r/(-6)*-2. Solve 0 = -2*o + q + 5, x*o - 5*q - 12 = -2*q for o.
1
Let p(d) = -d**3 + 12*d**2 + d - 10. Let q be p(12). Suppose 0*x = -q*x + 20. Solve 3*s + 0 = 5*b + 25, 0 = 2*b + 5*s + x for b.
-5
Let o be 594/143 - 2/13. Solve 3*h + 5*x = 21, 2*x - 11 = -o*h + x for h.
2
Let k = -1 - -4. Suppose -o + 1 = -2*a, -k*a + 2*o - 2 = -0*o. Suppose 4*c - z - 12 = -0*z, z + 4 = a. Solve 5*t + f = 7, 0 = -5*t - f - 3*f - c for t.
2
Suppose 35 = 2*o + 3*o. Let f(l) = -2*l + 18. Let h be f(o). Solve -8 = -x - 4*u, -u = -h*x + 4*u + 11 for x.
4
Suppose 9*z - 5*j - 19 = 11*z, -4*z = 3*j + 3. Solve -z*v - 4*b + 14 = 0, 3*b - 27 = 4*v - 4 for v.
-2
Let c = 4 + -2. Suppose -18*t + 340 = 16*t. Solve -5*s + 3*k + 34 - t = 0, -c*k = 6 for s.
3
Suppose -42*h + 72*h = 120. Solve 5*v - 2*s + 14 = 0, -4*v + 9*s - h*s - 18 = 0 for v.
-2
Suppose -p + 3*k = 54, 0 = -2*p - 4*k + 8*k - 98. Let q(t) = 5*t - 7. Let o be q(10). Let x = p + o. Solve 3*i + 3 = -2*r, -x = -3*i - 1 for r.
-3
Let t be 1 + 2*-1 + 2. Let g(k) = k**3 - 12*k**2 - 12*k - 5. Let f be g(13). Let n be (f/8)/(t/4). Solve 5 = -n*y + r, -3*r + r = y - 1 for y.
-1
Let n = 95 + -91. Let i be 180/54 + n/6. Solve 5 = 2*h + 3*h - i*a, -4*h + a + 15 = 0 for h.
5
Let z be 2 + (-3)/((-3)/2). Suppose -3*j - 5*i + 3 + 11 = 0, -4*j + 16 = z*i. Suppose 3*g + 28 = 4*g. Solve -3*w + 4*w = -2*x + 4, j*w = 4*x - g for w.
-4
Let w(m) = 18*m - 229. Let u be w(13). Solve 21 = -u*c - 2*d, -2*c + 4*d = -6*c - 12 for c.
-5
Suppose -q - u - 4*u = -1, -4*q - u + 61 = 0. Suppose -q = -5*n + n. Solve -n*l + l = 2*o + 7, -o - 4*l = 11 for o.
1
Suppose 14*q - 16*q = -32. Let i(b) = b**2 - 16*b + 5. Let c be i(q). Solve -c*j + 2*r - 6 = 0, 0*r = -2*j - r + 3 for j.
0
Suppose 4*k = -0*k, -4*z + 24 = 5*k. Suppose -23 = -4*u - w, -2 - z = -2*u - 4*w. Suppose 3 = -g + u. Solve -4*i = g*t - 20, 4*t + 4*i - 20 = -0*t for t.
0
Let z(i) = -5*i + 4*i + 41 + 14 + 4*i. Let c be z(-17). Solve m + 7 = 3*p, -2*m + p + 0 - c = 0 for m.
-1
Let h(a) = -a + 19. Let w be h(19). Let k be (-1)/(5 + -4)*(-5 - w). Solve -5*j = 3*l + 12, -3*j + k*l = -15 - 5 for j.
0
Suppose -q - 17 - 3 = 0. Let u be (q/(-6))/(26/39). Solve -3*g - a = 4, -u*a + 20 = -g - 8 for g.
-3
Suppose 0 = 7*g - 132 + 97. Solve 0 = -2*h + 3*x + 5, 2*x = 3*h + g*x - 15 for h.
4
Let v = -251 + 255. Solve z + 2*z + 18 = -v*j, 5*j + z + 17 = 0 for j.
-3
Let l(u) = u**3 + 16*u**2 - 25*u - 49. Let q be l(-17). Let d = q - 87. Solve -4*o - 22 = -p, 4*o - p + 5*p + 12 = d for o.
-5
Suppose 2 - 4 = -b. Suppose 2*j = -b*j + 16. Solve 0 = 5*d - 4*h + 23, j*d - 2*h - h + 18 = 0 for d.
-3
Let l be 8/(-18)*-3*(-150)/(-40). Solve -3*n = -8*n + 5*m - 15, -l*m - 25 = 3*n for n.
-5
Let f(p) be the first derivative of p**3/3 - 2*p - 22. Let a be f(2). Solve -q - 3*r - a*r = -22, 3*r - 14 = -q for q.
2
Suppose -4*j - 108 + 116 = 0. Solve -h = 2*g - 2, 2*h = 4*g - j*h + 20 for g.
-1
Let b(s) = -3*s**2 + 76*s - 10. Let g be b(25). Solve 5*c - g = 5*p, -1 = -c + 1 for p.
-1
Let i = 31 + -21. Suppose 0 = -3*t + 6 - 0. Solve -4*y = -2*h - 3*y - 10, t*h + i = -3*y for h.
-5
Suppose 32 = -2*u + h, -5*h - 35 + 15 = 0. Let l = u + 21. Let d(a) = -2*a - 2. Let i be d(-4). Solve z - l = -z + v, 4*v = -z + i for z.
2
Let y(g) = -3*g**3 + g + 1. Let t be y(-1). Suppose -3*z - 27 = -0*z. Let w = t - z. Solve -5*a = -j + 9, a - 3 = 2*j - w for a.
-1
Suppose 4*q - 43 = 5. Suppose -5*s + 1 = 2*y - q, s - y = 4. Solve 0 = -s*n - o + 1 - 4, -3*o = 5*n + 9 for n.
0
Suppose -5*x + 24 = -x. Let w be (3/2)/(x/4). Suppose -w = -3*l + 5*j - 0, -3*l - 3*j = -9. Solve -l*a = g - 3*g - 14, 0 = 2*a - 3*g - 18 for a.
3
Suppose 58 = -14*q + 100. Solve -s - 1 = 4*w, -q*w - w + 5*s - 19 = 0 for w.
-1
Suppose 0 = 2*k + 29 - 33. Solve -2*s + 3*g + 8 = 0, -k*s + 0*g - 8 = g for s.
-2
Suppose 0 = 28*m - 29*m + 2. Solve 2*i + 2 = i - m*o, 0 = i + 4*o + 8 for i.
4
Let i = -4 - -1. Let d(r) = r**3 + 4*r**2 + r. Let a be d(i). Suppose m - c - 7 = -2, 3*m = 5*c + 13. Solve -a*l + 2*l + 6 = -2*z, 0 = -l + 3*z - m for l.
3
Suppose z - 4*r = -7 - 5, -4 = -r. Solve -24 = -2*s + 4*t, z*s - 3*t + 2*t = 13 for s.
2
Suppose 25 = 2*l - l + 2*s, 2*l + 5*s = 55. Let y(r) = 1 - l*r - 22 + 11*r. Let k be y(-6). Solve 3*f - 3*q + k = -0*f, -3*q = -15 for f.
4
Suppose -8*x + 407 - 127 = 0. Solve 4*r - 15 = d, -3*d + 7*d = -3*r + x for r.
5
Let p(m) = m**2 + 9*m. Let a(v) = -9*v. Let n be a(1). Let r be p(n). Solve 0 = -r*i + 3*i + 4*g, 0 = -2*i - 3*g + 1 for i.
-4
Let x be 28/2 + (0 - 0) + -3. Suppose x = -z - 5*l, 5*l = 3*z - z - 23. Solve -k + 4 = -z*h + 2*h, k - 4 = h for k.
4
Let b = 226 - 221. Solve -i + 1 = -b*k, 2*i - 1 = k + 1 for i.
1
Let s = 4 - 1. Let w(l) be the first derivative of l**3/3 + l**2/2 + 2*l + 19. Let h be w(0). Solve f = i - h + 1, -f = i - s for i.
2
Let h(n) = -n**3 + 8*n**2 - 9*n + 8. Let s be h(7). Let a = s + 8. Solve 2*g - a = -j, -2*g + 5*j = j - 2 for g.
1
Let r = 5 - 2. Let b be 18/(-27) + (-28)/(-6). Let d be -1*(-15)/(b - 1). Solve -r*a - 4*q = 13, 0*a + 22 = 2*a - d*q for a.
1
Suppose 0*y = 4*y. Let g(i) = -4*i - 10. Let d be g(-3). Solve -6*u - 20 = -d*u, y = -2*r + u + 13 for r.
4
Let d(r) = 3*r**3 + r**2 - r - 1. Let h be d(1). Let t be 0/((-1 + 0)/(2/h)). Solve 2*s = -4*g + 2, t*g + 5*s + 37 = 4*g for g.
3
Let d be 2/(8/12)*(-4)/6. Let k be 4 + 0 + (d - (4 + -4)). Solve -5*g = 3*u - 11, -g - k = -2*u + g for u.
2
Let o(l) = 2*l**2 + 11*l - 25. Let m be o(-8). Solve 3*a = a - 3*u + m, 5*a + 15 = 3*u for a.
0
Let c(w) = -w - 8. Let n be c(-11). Let j = 10 + -7. Let f be -1 - (-7 + 2 + -1). Solve -2*k - j*k - 4*o = -n, -5*k - f*o = -5 for k.
-1
Suppose 4*h = 3*b, 5*b - 4*h + 32 = 10*b. Solve 4*l - 2*l = -b*w + 20, -3*l = -w - 2 for w.
4
Suppose -f + 3 = 5*q, f - 1 - 2 = 2*q. Solve k = 3*g + 3, 4*k - g - g - 2 = q for k.
0
Let h be (-75)/125 - (-83)/5. Solve -5*i + 3*x - h = 5*x, -3 = x for i.
-2
Let q(v) = -20*v - 5. Let o be q(-2). Suppose o = 2*z - 5*w, -4*z - 4*w + 18 = -38. Solve -z = 3*k + 3*l, k + 9 = -2*l - 0*l for k.
-1
Let b(l) = l**3 + l**2 - l - 1. Let n be b(-1). Suppose n = -6*w + w. Let a = 27 + -23. Solve k + k + 8 = 0, w = -2*v + k - a for v.
-4
Let a be (-234)/(-15) + (-224)/(-35) + -6. Solve 0 = 5*q - 3*l + 3, -a = 3*l + l for q.
-3
Let o = -39 + 27. Let f be 0 + 4*(-9)/o. Let x be 1*22 + -5 + f. Solve -4*c + 2*m = -7*c - 11, 0 = 4*c + 4*m + x for c.
-1
Let c = -688 - -697. Solve -2*l - 4*p = 0, -2*l + 2*p = 3 - c for l.
2
Let n(d) = -d**2 + 21*d - 22. Let g be n(18). Let v be -3 - (1 + 2 + -34). Let x = g - v. Solve -3*s + x = -a + 1, 0 = a + 2*s - 7 for a.
3
Let w(x) = x - 8. Let q be w(0). Let u = -5 - q. Suppose 49 + 56 = u*d. Solve -b + 37 = 2*b + 5*t, 5*b = -3*t + d for b.
4
Let n(q) = -13*q - 229. Let a be n(-18). Solve 3*x - 21 + 8 = -v, -a = -5*v for x.
4
Suppose 8 = 2*n - 0. Let j = -6 + n. Let c be (4/(-5))/(j/5). Solve 3*f + c + 16 = w, -4*w + 5*f + 37 = 0 for w.
3
Let c = -242 - -244. Suppose -14 = -5*m - 4*p + 6*p, 3*p + 4 = -m. Suppose -q = 4*d - d - m, -8 = 4*d + 4*q. Solve -3*i + 5*k + c = 0, -d*k - k + 2 = -i for i.
4
Let z be 16/(-40) - 54/(-10). Solve 8*s + 5*l = 3*s, -z*l = -3*s + 16 for s.
2
Let c be (25 + -16 - 3)/(3/5). Solve 5*y = -h + 20, -h = 3*y - c - 4 for h.
5
Suppose 94 = 5*s - 2*c, -3*c = 6 - 0. Solve 3*n - 4*n + 12 = -3*m, s = -4*m + 2*n for m.
-3
Let r be 2/10 - 36/(-20). Let u be 30/r*(1 + -2). Let l = -10 - u. Solve 0 = 4*y + 4*h - 4, l*y - 11 = 4*h + 30 for y.
5
Suppose -4*t = -2*b - 0*b - 12, 0 = 2*b - 5*t + 17. Let m be b/6 + 4/3. Solve s = 3*c - 17, 4*c + 6*s = m*s + 12 for c.
5
Suppose 2*a + 20 - 8 = 0. Let i be (-111)/a - 3/(-6). Solve 4*v = 5*z + 29, -3*v - v + 3*z = -i for v.
1
Suppose 33*r = 2*n + 31*r - 52, 4*n = -5*r + 86. Solve -l - 3*l = -2*y, -2*l = 5*y + n for l.
-2
Suppose -z - 26 = 16. Let u = -40 - z. Solve 3*q + 4*d + 4 = 0, u*d = -2*q - 0*q for q.
4
Let d(p) = -p**3 + 6*p**2 + 8*p - 5. Let s be d(7). Let q(t) = -12*t + 0*t**2 + 9*t - t**s + 7. Let y be q(-4). Solve 2*w = w - 4*u + 17, -4*w = y*u - 16 for w.
1
Suppose 3*l - 6*l + 3 = 0. Let k(g) = -g + 3. Let o be k(l). Solve -5*r - 10 = -b + 7, o*b = -4*r - 8 for b.
2
Suppose 5*r - r - 6 = -2*q, -25 = 5*q + 2*r. Let m = q - 