j = -0*i - i - 6 for j.
5
Suppose 2*g = -4*d - 14, d + 0*d = 4*g - 17. Let k = 426 + -423. Solve -g*j + 3*p = -2*p - 2, -3*j = k*p + 6 for j.
-1
Suppose b - 4 = -n, 0 = n - 7*b + 2*b - 34. Let p(r) = r**2 - 6*r + 7. Let m be p(5). Solve n = -4*g - 2*d - 3, -m*g + 4*d + 14 = 0 for g.
-1
Let d(k) = 2*k**2 - 2*k - 3. Let m be d(4). Solve -5*z - s - m = 0, 2 = -0*s - 2*s for z.
-4
Let q(b) = -b + 2. Let i be q(-3). Suppose -2*g + 4*g = -6. Let r = g - -3. Solve r = 3*c + 9, f - i*f - 5*c = 27 for f.
-3
Suppose 3*a - 14 - 4 = -3*t, 3*a + t - 8 = 0. Suppose n - h - a = -0*n, 5*n = 2*h + 14. Solve n*f + 30 = -4*b - f, 0 = 3*f + 6 for b.
-5
Let q be (-12)/(-10)*((-28)/(-8) - 1). Solve 0 = -3*h - h + q*n + 23, 4*h - 3 = -n for h.
2
Let y = -2 - -4. Let h = -15 - -19. Suppose 0 = -a + h*f - 2*f + 22, 1 = -f. Solve -3*b - 4*s + a = 0, -4*b + 2*s + 8 = -y*s for b.
4
Suppose -4*k - 8 = 0, 2*m - 6 = -m - 3*k. Solve 2*q - 4*w - 1 = -5*w, 4*q = -m*w + 4 for q.
0
Let t be (-5 + -1 - 1)*-3. Suppose 5*b = t - 6. Suppose -3*z + b*c = -0*z + 15, 2*z + 4*c = 20. Solve z*x + 2*x = 4*p - 28, -8 = 2*x for p.
5
Suppose 0 = -2*x - x + 21. Let d = 2 + 0. Solve 2*z + 5 = l, -d*z - 3*l - 14 = -x*l for z.
-1
Let l be ((-2)/(-4))/(2/48). Suppose 5*w - l = 3. Suppose w*u - 8 = 7. Solve -3*t + 2*o + 1 = 21, 0 = 5*t - u*o + 40 for t.
-4
Let s be 0/1*3/6. Let w = 3 - s. Suppose -i = -0*i - 11. Solve 0 = -w*f + 3*p - p - i, 2*f + 5 = -p for f.
-3
Let v(s) = -s**2 + 9*s + 12. Let l be v(9). Solve -5*q = -0*d - 3*d - l, 0 = q for d.
-4
Let y = -3 + 18. Let m = -12 + y. Solve 12 = -4*f, -4*s - 5*f - 20 = -m*s for s.
-5
Suppose -18 = -c - g, g + 2*g + 12 = 0. Solve 5*v - 2 = 2*n - 4, -5*v - c = 3*n for n.
-4
Let c(u) = -u**3 + 12*u**2 - 10*u. Let b be c(11). Let v = b + -8. Solve -n + 5 = 2*y, -y + 2*y = v for n.
-1
Let r be 3/7 + (-121)/(-77). Solve 3 - r = -5*f - u, 3*f = 5*u - 23 for f.
-1
Let u(y) = -6*y**3 + 4*y**2 - 2*y. Let x(i) = i**3. Let t(b) = u(b) + 5*x(b). Let l be t(3). Solve -2*h - 3 = l*h + 4*m, 3 = -2*h - m for h.
-3
Let p be (-3)/(-9) + 5/3. Suppose 4 = -p*l + 4*l. Suppose -n - 8 = -2*q - 5*n, -2*n + 10 = 4*q. Solve q*b = -l*b, 0 = -5*z + 5*b + 25 for z.
5
Let r = 15 + -10. Solve -l - 9 = -6*l + 2*g, 18 = l + r*g for l.
3
Let d be (-4)/14 + (-300)/(-70). Solve 5*b = j - 28, -3 = -b + d*b + 4*j for b.
-5
Let w = -4 - -6. Let y = 2 + 166. Suppose 152 = 5*b - 2*z, 0 = -4*b - 3*z + y - 51. Solve t = 3*p - 20, p - w*p + b = -5*t for t.
-5
Suppose 2*r + r - 3*v = -15, r - 25 = -5*v. Suppose -5*m - 4*o = -8, 3*m - 5*o + r*o + 10 = 0. Solve m = 5*x - 2*x, 4*x = -l - 2 for l.
-2
Let k be (-2)/4*2/(-1). Let y be (k - 1)/(1/1). Suppose 2*z - 22 = 3*v - 8, z + 3*v - 25 = y. Solve b - z = 4*i, 0*b - 5 = -b + 2*i for b.
-3
Let c be 1/(-2 - (-5)/2). Suppose 0 = c*v + v. Solve -b + r = -10 + 1, 5*b + 5*r + 5 = v for b.
4
Suppose -4*p - 1 = 3*a + 5, 2*a + 4*p = -8. Suppose 0 = a*o - 4. Let y = -7 - -7. Solve y = -o*h - 4*s + 22, 2*h - 4*s - 2 = -12 for h.
3
Suppose -5*m - 6 + 1 = 0. Let u(l) = -2*l. Let n be u(m). Solve c = -3*b + n*c - 1, -4*b = -4*c - 4 for b.
-1
Let z = 47 - 32. Let s be ((-20)/3)/((-5)/z). Solve 5*j = -s, -4*j - 1 = 5*a - 0 for a.
3
Let n(y) = y + 4. Let g be n(-2). Solve 3*p = -2*f - 6 - 11, 0 = -2*p - g*f - 14 for p.
-3
Suppose 4*c - 3*h - 17 = -0*h, -15 = -2*c - 5*h. Solve 5*b - 3 = 3*p, -3*p + c*b = p - 1 for p.
4
Suppose -1 = -4*x + 4*o - 5, -o = 4*x + 4. Let l be -1*1*(x - 12). Solve 3*w + 17 = j, -4*w = -2*j + 39 - l for j.
5
Let r(l) = -l + 5. Let f(n) = 0*n**3 - 3*n**3 + 5*n - 2 - 4*n**2 + 0*n**3 + 4*n**3. Let s be f(3). Let y be r(s). Solve 4*d - 2*u - 23 = u, -y = u for d.
5
Let q(u) = -u - 5. Let t be q(-5). Suppose 5*a = 4 + 6. Let w be (-1)/(a - 29/14). Solve 8 = -t*f - 4*f, 0 = -4*z - 3*f + w for z.
5
Suppose -2 = -2*n - 0. Let w be (-2)/(-4)*468/9. Solve 0*a + n = -a, 0 = -5*u + a + w for u.
5
Let r = 55 + -53. Solve -2*y - 5*t = -10, -3*t = -r*y - 32 + 10 for y.
-5
Suppose 12 = 7*z - 3*z. Suppose o = 2*o. Solve 4*u - 20 = o, -g + 29 = 2*u + z*u for g.
4
Let q(v) = v. Let h(g) = 3*g - 19. Let m(y) = -h(y) + 4*q(y). Let p be m(-7). Solve 2*z - 2*u + p = -0*u, 2*z + u = 0 for z.
-2
Let p(t) = -13*t - 21. Let m be p(-3). Solve 4*j + 16 = -4*b, 0 = -5*b - m - 2 for j.
0
Let f = 65 - 61. Solve -5*g - 5*v - 20 = 0, -3*g - v - f*v - 10 = 0 for g.
-5
Let l be 154/13 + 2/13. Suppose -3*p = -6*p + 15, -4*w - p + 21 = 0. Let o = -3 + w. Solve -2*b + 2*t = -l, -4*b - 2*t = -t + o for b.
1
Suppose 0 = -2*f - 0 - 2. Suppose 0 = 43*o - 48*o + 5. Let n be 1/(f/o)*-3. Solve 3*i - 2*i = 2*v - 10, 4*v = n*i + 20 for i.
0
Suppose 3*s - 29 = -5*f, s + 4*s - 23 = -2*f. Suppose -3*p = -7*p + 4. Let b = f + p. Solve -v - 7 = -b*v + i, -i + 3 = v for v.
2
Suppose -5*l - a + 4 = 0, 0 = -l + 4*a + 6 - 22. Let s be 45/(-12)*8/(-3). Let j = s - 5. Solve l = -n + y + 1 - 2, -j*n = -y + 1 for n.
0
Let p = 165 + -160. Solve -x - 14 = 2*y - p*x, -6 = -3*x for y.
-3
Let n = 2 - -3. Suppose k + 0 = 3. Suppose -f = -k*f. Solve -n*r - 4*h + 17 = 0, f = -2*r + h + 4 - 5 for r.
1
Let q be 6/(-15) - (-74)/10. Let u(a) = -2*a + 3. Let z be u(-3). Let k = z - q. Solve 5*v - 2*b = 25, k*v - 3*b = 2*b + 31 for v.
3
Suppose 4*t - 9*t + 5*l = -80, -3*l + 36 = 4*t. Solve 2*h = -5*a - t - 3, -4*h - 3*a = 23 for h.
-5
Let s(n) = 11*n**3 - 2*n**2. Let w be s(2). Suppose 7*j - 2*j - 5*m = 75, -5*j = -4*m - w. Solve 3*v - 29 = -3*z + 7*v, 5*z - v - j = 0 for z.
3
Let y be ((-4)/6)/(6/(-45)). Solve 4*t + 4*l = 3*l - 2, y*l = 3*t + 13 for t.
-1
Suppose 12*o = 8*o + 8. Solve 0 = 5*k - 3*w + 16, -o*w + 18 = -5*k + 2*w for k.
-2
Suppose -25 = -4*l + 35. Suppose -4*d = 5*a - l, a = 5*d - 0 + 3. Solve -5*j = -5*z - 0*z + 25, 3*j + 3 = -a*z for z.
2
Let m(i) = i**3 + 8*i**2 + 7*i + 1. Let f = -14 - -7. Let z be m(f). Let t be (-123)/(-9) - z/(-3). Solve -x + 3 - t = -2*k, 5*k + 3*x = 0 for k.
3
Let q(c) = 13*c + 17. Let r be q(-1). Let x be 4/14 + (-192)/(-14). Suppose -5*s + 39 - x = 0. Solve r*t - t + 22 = -s*d, -2*t = 2*d + 12 for d.
-2
Suppose 3*d = -8 + 17. Suppose 2*r + 5 = -1. Let h = r + d. Solve -z - 2*v = -6*z, h = v for z.
0
Let a be (2 - 5) + 0 + 1. Let g be (-16)/(-10) - a/5. Let p(c) = c**2 - 2*c - 1. Let m be p(4). Solve 2*y + 2*l + 12 = 0, 1 = -g*y + 4*l + m for y.
-3
Suppose -16 - 2 = -3*i. Suppose i*f = 2*f + 36. Solve 2*u - 24 = -5*x, -4*x + f - 1 = -4*u for x.
4
Suppose -3*v + 70 + 29 = -p, -4*v + 122 = 2*p. Solve -j - 1 = 3, -v = -3*k + 5*j for k.
4
Let u = -54 - -33. Let q = -15 - u. Suppose d + 3*d = 0. Solve d = 2*o + 3*y - q, o - 2*y + 4*y - 3 = 0 for o.
3
Suppose 0 = -2*m - 2*m - 32. Let j be m/(-36) + 32/18. Solve -2*v = 0, 5*l - j*v - 11 + 1 = 0 for l.
2
Suppose -5 - 10 = -3*p. Solve -10 - 6 = 4*c + 2*g, p*g = -4*c - 16 for c.
-4
Suppose 5*w - 4*q - 6 = 3*w, -5*w = -2*q - 15. Solve 0 = -5*y + w*h + 16, -5*h = y - 0*h + 8 for y.
2
Let v(m) = -4*m + 5. Let l be v(0). Solve -d + l + 1 = -3*j, -3*d + 2*j = -11 for d.
3
Suppose 4*p = -0*p + 4. Suppose -2*o + 11 = p. Solve 0*f = -4*f + 5*d - o, 5 = 5*f - 4*d for f.
5
Suppose 0 = s - 5*m - 15, -2*s + 54 = -2*m + 8. Solve 2*i = -2*y + 5*y - s, -i = 3*y - 10 for i.
-5
Suppose 4*r = 8*r. Solve 4*v + 1 = 4*h - 3, 4*h + v - 24 = r for h.
5
Let p = 5 - 3. Suppose l - p = -l. Solve -5*o + 14 = -3*r, -4*o - o = 2*r + l for o.
1
Suppose -3*o - 6 = -z - 4*o, -27 = -5*z - 2*o. Suppose z*x = 9*x - 16. Solve t - 2*n + x*n = -11, 4*n = 3*t - 17 for t.
-1
Let q = 36 + -34. Solve 1 = q*b - m - 1, 2*b - 5*m = 2 for b.
1
Suppose -2*p + 7*p = -120. Let r be p/(-9) - 3/(-9). Solve 13 = j - 3*u, 2*u - r + 9 = 2*j for j.
-2
Let o be 0 + 5 - (-4 - -6). Suppose 3*k + 0 = o. Solve -3*t - k = 8, 5*x - 4*t = 7 for x.
-1
Let g(w) = 4*w - 4. Let o be g(3). Suppose 4*j = 8 + o. Solve 0 = n - 3*s - 13 - 3, j*n - 5*s = 29 for n.
1
Suppose 4*q - 5 = -0*w - w, 20 = 4*w - 4*q. Solve 3*r = -5*t - 20, w*r + 5*t = -0*r - 20 for r.
0
Let s(u) = 2*u - 9. Suppose -7 + 29 = 4*i - 2*c, 3*i - 15 = 2*c. Let n be s(i). Let r(b) = b**2 - 4*b. Let z be r(n). Solve 3*w - w - 2*g = 4, 10 = z*g for w.
4
Let r(u) = u**3 - 2*u**2 - 2*u - 1. Let a be r(3). Solve 1 = -3*g + 2*f, -2*g - 3 = -g - a*f for g.
1
Let o(x) = 11 + 0*x + 5*x - 4*x. Let n be o(-7). Let i be 26/7 + n/14. Solve 