, 5*y - 20 = -5*i for i.
2
Let v be 8/(-20)*-1 - 23/(-5). Solve a + v*h + 6 = 0, 3*a - h = a - 1 for a.
-1
Let t(z) = 7*z**2. Let x be t(-1). Let i be (0 + 8)/(x - 5). Solve -4*q + 12 + 24 = -5*y, -32 = -4*q + i*y for q.
4
Suppose 4*c + 12 = -5*m, -5*m = c - 2*c - 28. Let g(s) = s**3 - 4*s**2 + 2*s + 3. Let n be g(4). Let b = c + n. Solve 5*k + 0 = -t + b, 3 = t for k.
0
Let a be (-27)/4 + (-1)/4. Let t = a + 0. Let q(v) = -v**2 - 7*v + 3. Let s be q(t). Solve -z = 2*i + 2, 2*z + s*z = -i - 1 for z.
0
Let n be (-8)/6*21/2. Let s = n - -17. Solve v + 5*c = s*c - 5, 0 = -5*v + c + 30 for v.
5
Let k be (-14 + -4)*(-1)/2. Solve k*p - 4*p + 3*r = 0, 0 = 4*p + 2*r for p.
0
Let v(u) = -u**2 + 6*u + 4. Let n be v(4). Solve 3*q + n = t, 3*t - 5*t + 19 = -5*q for q.
-5
Suppose -2 + 32 = -5*s. Let l be (-2)/s + (-4)/(-6). Let o = l - -3. Solve 0 = -3*j + h + 3*h - 3, j + o*h = -1 for j.
-1
Let h(d) = d**2 - 4*d - 3. Let m be h(5). Let l be (-4)/14 + 51/7. Solve -3*v = -m*t - 3*t + 22, -t + l = 2*v for t.
5
Let y = 20 - 2. Solve -8 = 3*n - 4*l + 2, n + 4*l = y for n.
2
Let v(i) = -i - 3. Suppose 0 = -z - 2*k - 3, -2*z + k = -0*k - 14. Suppose -z*j - 15 = -2*j. Let t be v(j). Solve 2*r = -2*h - 4, -2*r + h - t = -5*r for r.
2
Suppose -5*c = -10*c. Let s be (0 - (-3 + 2))*(3 - 0). Solve c = 3*m + w - 6, s*w = m - w + 11 for m.
1
Let q = -3 + 7. Suppose -2*r = 3*c + 24, -4*r + 0*r = -q*c + 8. Let y(b) = b**3 + 6*b**2 - b - 4. Let p be y(r). Solve 2*t = -5*s + 29, -s + 14 = p*t + 5 for t.
2
Suppose -4*c = 2*o - 28, 2*o + 2*o = -4*c + 68. Suppose t = -3*t + o. Solve 5*u - 20 = u, 10 = t*r - 3*u for r.
5
Suppose -17*l + 13*l = 0. Solve 4*j - 3*b - 26 = l, -4*j + 6*b = b - 30 for j.
5
Let p = 6 + -4. Let z(g) = -g**3 - 9*g**2 + 2*g + 21. Let o be z(-9). Let c(b) = b**2 + 4*b - 2. Let d be c(-5). Solve 4 = 4*f, d*r - p*r + 7 = o*f for r.
-4
Let i be (-50)/4*60/(-25). Solve -3*b + 2*t + 8 = -3, i = 4*b + 5*t for b.
5
Let q = -362 + 363. Let z be (5 - 1)/(2/3). Suppose -3*b = -b - z. Solve 5*h + 16 = 4*t, -4*t - b*h - q = -17 for t.
4
Let w(j) = -j**2 + 2*j + 13. Let r be w(6). Let u = -8 - r. Solve -4*f + 22 = -0*f + 2*m, -3*f = -u*m + 6 for f.
3
Let v be 0 + -1*(1 + -2). Suppose 4*a = -j - 4, 2*j + 5*a = -3 + v. Solve -5*r = -5*h - 5, -9 = -3*h + r - j*r for h.
1
Suppose -4*r + 12 = 4*v, -4*v + 2 = 2*r - 0*r. Solve 2 = -r*b - 4*x, 4*b - 9*x + 5*x = 20 for b.
2
Suppose -15 = -18*z + 15*z. Suppose -11 = -l + 3*l + 3*d, l - 5*d - 27 = 0. Suppose -2*k + l + 4 = 0. Solve y + y + 4*w = -8, -k*y - 1 = -z*w for y.
-2
Suppose 4*b - 176 = -56. Suppose -5*t + b = -2*c + 7*c, -2*c - 2 = -5*t. Solve 5*o + 2*u = -7, t*o = -u + 1 - 4 for o.
-1
Let d(v) = -v + 9. Let k be d(5). Suppose 4*o + 56 = k*j, 4*j + 0*o = 2*o + 60. Solve -4*t - 18 = t + 2*b, -j = 3*t - 4*b for t.
-4
Suppose 3*g = z + 1 + 3, 3*z - 30 = -5*g. Solve -z*i + 7 = -4*i + 2*x, -2*i + 8 = 2*x for i.
1
Let y = 118 + -83. Solve -3*d - y = 4*o, 2*d + 35 = -3*o + 10 for d.
-5
Suppose -4*y - 6 = -18. Suppose r + y*r = 0. Suppose r = -2*i + 5*d + 14, 4*i + d = -3*d. Solve 4 = 3*o + 5*q - 3, 0 = o - i*q + 5 for o.
-1
Suppose 5*f + 10 = 4*z, -z - 3*f - 6 = 4*z. Solve -2*n - 2 = -2*w - 0*n, z = 3*w - 5*n - 13 for w.
-4
Suppose -b = -0*b - 3. Suppose 5*p + 5 = -f, 5*p - 29 = -b*f + p. Solve -5 = -d, d - f + 2 = 4*m for m.
-2
Suppose -3*x - 4*b = -2*b - 16, 3*b = -x + 17. Let t(w) = -w**2 - 7*w + 10. Let z be t(-8). Solve -z*y - 3*y = 5*h - 5, x*y - 5*h - 23 = 0 for y.
4
Let d be (-4)/(1*(1 + -2)). Suppose 35 = 2*k + 3*c + 2*c, -d*k + 2*c = -10. Suppose -k*o = 9 - 109. Solve 25 = -m - 4*y - y, -4*y - o = m for m.
0
Let f(h) = -h + 10. Let t be f(9). Let p be t*0*(2 - 1). Solve 3*c = -m + 14, -4*c = m - p - 17 for m.
5
Let i = -37 - -72. Suppose i + 15 = 5*f. Let x be 54/f + (-15)/(-25). Solve -5*w = -q - 15, x + 10 = 4*w for q.
5
Let m be 1*-1 + 8 + -2. Let y = -3 + m. Let t be (0/(-2))/(1 - y). Solve t = -o + n - 4, 3*o + o + 17 = 5*n for o.
-3
Let c = -4 - 4. Let t be ((-3)/(-2))/((-4)/c). Suppose -w - 4*g = -22, -5*g + 13 = -w - 2*g. Solve 0 = t*b, w*u = -0*u + 5*b - 10 for u.
-5
Let k = -31 - -51. Solve -5*r = -k, -4*i = -r - 4*r + 24 for i.
-1
Let u(p) = -p**3 + 4*p**2 + 5*p + 5. Let j be u(5). Solve -5*s = 0, -2*t + 5*t + j*s - 12 = 0 for t.
4
Let q be 45/(-18)*4/(-5). Solve 5*z + 10 = -5*j, -2*j - 7 = 5*z - q*z for j.
1
Let p = -31 - -34. Solve 3*j + 9 = a, 0*j + j + 3 = -p*a for j.
-3
Suppose 3*g - 6*g = -27. Let u = g + 7. Solve 0 = 3*l + 5*z + u, l - z = 2*z + 4 for l.
-2
Suppose -3*c = -l - 18, 3*c = 4*c + l - 6. Suppose 0 = -4*v + v + c. Solve v*g + 2*g + 5*w = 12, 0 = 3*w for g.
3
Let h be (-6)/(-10) - 57/(-5). Solve k + h + 4 = 4*l, -k + 14 = 2*l for l.
5
Let h = -11 - -11. Suppose h = 2*t + 2*x - 4, 2*x = t - 1 - 7. Solve -t*l - 4*f - 16 = 0, -6*f = 4*l - f + 17 for l.
-3
Let m be (-6)/4 + 10/4. Solve -3*g = 4*a - 11, -3*a + m = -4*g - 1 for a.
2
Let y = 35 + -20. Let f = y - 10. Solve -3*s + 16 = -f*j, 3*j + 3*s = -0*s - 24 for j.
-5
Let f = -3 + 8. Solve 0*d - 6 = 3*d + 3*x, 2*d + 18 = f*x for d.
-4
Let b be (0 - 1)/(2/(-4)). Let x be 0/(2/(-3)*(-12)/(-8)). Solve -b = d - n, 3*d + 2*d - n + 6 = x for d.
-1
Suppose 4*d - j = -1, 0*j - 3*j + 19 = 4*d. Let y be (1*10)/(-1 - -2). Let x be ((-2)/4 + d)*y. Solve r - 3*r + v - 8 = 0, 5*v = 3*r + x for r.
-5
Let w = -29 - -17. Let u = -10 - w. Suppose -12 = -0*k - 3*k. Solve 2*f = -2*l - k - 2, -4*l + 18 = -u*f for l.
2
Suppose -w - 10 = -3*y, 2*y = y + 5. Suppose 0 = 4*b - 0*b - 16. Solve n + w*d + 7 + 1 = 0, 3*n = -5*d - b for n.
2
Let k = 8 - 4. Let l(v) = v**2 + 4*v - 2. Let x(f) = f**2 + 7*f + 5. Let g be x(-5). Let s be l(g). Solve -k*c = s*n + 20, 0 = 3*n - 4*c - 26 + 6 for n.
0
Let g be (-9 + 3)/(1/(-1)). Suppose g = o + o. Let k = 0 + 2. Solve 5*r - o*r = -2, 0 = -k*w + r + 9 for w.
4
Suppose n = -5*l + 3*n + 20, 2*l - 3*n = 19. Solve l*f + 3 = -4*t + t, 0 = -t + 4*f - 15 for t.
-3
Let m be -3*(1/(-3) + -2). Let a be 5/((0 + 1)/m). Let g = -20 - -30. Solve 2*n = 4*n - 5*c - a, -2*c = g for n.
5
Suppose 4*p = -3*x + 4, 6*x = 2*x - 2*p + 22. Solve l = -2*n - 3*n + x, -n - 2 = -l for n.
1
Let l be (8 - 5) + 3/(-1). Solve l = -2*a + 2*o, 3*a - 5*o = -2 - 0 for a.
1
Let h be (-12)/(-8)*(-10)/(-3). Solve 2 = -j, -n - 2*j = -5*j - h for n.
-1
Let m = 13 + -8. Suppose 3*k + 13 = m*l, -5*k - 3 = 2. Solve 2*w = -l*n - 6, 3*n + n + 16 = -2*w for w.
2
Let b = 8 + -6. Let r(j) = -j**3 + 2*j**2 + j + 2. Let z be r(b). Suppose -5*d = -3*p - 3 - 16, -16 = -z*d + 2*p. Solve o = -1 + 2, -5*o = -5*k + d for k.
2
Suppose 23 = 3*y + 8. Solve 3*r = 5*r, 20 = y*k + 3*r for k.
4
Let y be (-2)/(-6) - 77/(-21). Suppose 5*q = 5*a - 2*a + 4, y*q = 5*a - 2. Solve 15 = -5*i, -q*v - 5*i - 16 = 7 for v.
-4
Let c be (-4)/(-30)*-6*(2 - 7). Solve -c*g = -2*h - 2*h, -18 = 4*g + 5*h for g.
-2
Let f(w) = -2*w. Let d = 3 + -4. Let b be f(d). Let y(o) = -o**3 + 2*o**2 + 1. Let z be y(b). Solve -5*x - 2*v + 14 = 0, -4*x + v = -18 - z for x.
4
Suppose -21 = 2*z - 4*m - m, 2*m = 5*z. Suppose 0 = -u + 2*u - 3*h - 9, -h - z = 0. Solve 5 = -u*r + 2*v - 2, -2*v = -4 for r.
-1
Let f = -9 - -9. Solve 4*a + 3*q - 17 = f, -3*q = -8*a + 3*a + 1 for a.
2
Suppose 5*n = -5 + 15. Solve 4*c + 14 = 2*t, 2 = -c - n*t - 4 for c.
-4
Suppose -2 = -2*r + 2. Suppose -3*w + 48 - 18 = -3*z, 3*w + 3*z = 24. Let s = w - 7. Solve d + 3*g = 2, 3*d = r*d - s*g for d.
-4
Let y(h) = 3*h**3 - 2*h**2 + h. Let a be y(1). Solve -a*r - 6 + 0 = -2*f, 5*f = 3*r + 13 for f.
2
Let v = -9 + 18. Suppose -3*p + v = 3. Solve 3*l + 14 = 2*m, -p*m + 18 = -4*l - 0*m for l.
-4
Let d be 1 - ((-18)/(-9))/(4/(-6)). Solve 1 = i - 3*y - 1, d*y = 5*i - 10 for i.
2
Suppose -4*a + 56 = 3*a. Solve -29 = -l + 4*y - 9, l + a = -3*y for l.
4
Let d be (-1)/1*8*2. Let m = 11 + d. Let h = 7 + m. Solve -2*i + 3*s - 5 = 2*i, -5*s + 17 = h*i for i.
1
Suppose -5*m = 2*u - u - 49, 2*m + 2*u = 18. Let k be -1 + -3*m/(-6). Solve h = f - 2*f, -k*h - 5*f + 4 = 0 for h.
-4
Suppose 65 - 61 = z. Solve 0 = -2*i - s + 10, -5 = 2*i - 3*i - z*s for i.
5
Let r = 121 + -119. Solve 4*i + 3*u + 28 = -i, u - 9 = r*i for i.
-5
Suppose 2*n + 7 = b, 6*b - 2*b = -3*n + 6. Solve 3*l - 8 = -2*c + 7*l, 0 = 2*c + b*l - 1 for c.
2
Let s = 5 - 8. Let f be -1 + s - -11 - 3. Solve 5*m +