w for w.
3
Let i(x) = -x + 1. Let d be i(-3). Suppose 10 = -d*r + 6*r. Solve 3*j + 1 + 1 = -r*f, -5*f - 2*j = 3 for f.
-1
Suppose 0 = -w - 0*w + 8. Suppose 2*l = 4*f - w, 6*f - 4*l - 8 = 2*f. Solve 22 = -5*b + f*n + 7, -5*b + 5*n - 30 = 0 for b.
-1
Let h(t) = -t**2 + 8*t - 8. Let y be h(6). Suppose l - 5*q + 4*q = 1, -y*q = 5*l - 32. Solve 30 = -5*r + 5*z, -z + 22 = 3*r + l*z for r.
-1
Suppose -3*c - 19 = -5*s + s, 1 = -4*s - c. Let j be 0*s/(-2) - -2. Solve 5 = 3*r + 5*d, -4*d - j - 1 = r for r.
5
Suppose 0 = -b + 23 + 3. Solve b = 5*q + 4*t, -2*q - 6 = -7*q + t for q.
2
Let j be (-8)/(-6)*(10 + -1). Solve -3*z + v - 13 = -4, -3*v = -4*z - j for z.
-3
Suppose -j + 6*j = 15. Suppose -j*v + f = -64 + 14, v - 14 = f. Let l be (v/15)/(4/30). Solve 2*s + 2*g = g - l, 0 = 5*s + g + 15 for s.
-2
Suppose 0*i = -3*i + 9. Suppose -w = -8 + i. Solve -u - 6 = -g - 0*g, 0 = w*g - 3*u - 20 for g.
1
Let k be (-2)/(-10) - (12/10 - 3). Solve 0*w + k*w = 3*g - 13, 4*w = -5*g + 29 for g.
5
Suppose 2*m - 3*m + 5 = 0. Suppose -3 = -2*f + 7, 4*f = -o + 26. Let p = -3 + o. Solve -16 = -p*l - m*b, 5*l - b - 9 + 1 = 0 for l.
2
Let g = 14 + -14. Solve -2*u + 7*b - 2*b - 3 = 0, g = 2*u - 4*b + 2 for u.
1
Suppose -3*j - 2*j = 3*b - 48, 3*j - 40 = b. Suppose 3*f = -j, 5*a + 3*f - 24 = -f. Solve -7 = 3*y + 4*z, 4*y + a = -2*z - 2*z for y.
-1
Let k = 148 - 92. Suppose -k = -m - m. Solve -2*w = 5*g - 4*w + 29, 4*g + m = 4*w for g.
-5
Suppose -2*q + 24 = 2*s, -q = -4*q. Suppose 3*x + s = 3*n, 2*x + 0*n - 3*n + 12 = 0. Solve -5*i = 2*j + 18, 0 = -3*j - x + 3 for i.
-4
Suppose -2*o + 5*o = 0. Suppose -3 = -p - 4. Let n be (8/(-6))/(p/3). Solve o*c - 2*c + 8 = 4*q, -n*q + 6 = c for c.
2
Let a be 27/21 - (15/(-21) + 1). Solve d + a = -4, 2*r = -5*d - 33 for r.
-4
Let t(c) = -c**3 - 4*c**2 - 2*c + 2. Let a be t(-3). Let d be (a - (-2)/4)*0. Solve -4*i + d*i = -2*u, -i = 2*u for u.
0
Suppose 2*c - 5*p - 45 = -3*c, -3*p = 9. Solve -2*y - 16 + 0 = 4*d, 0 = 3*y - c for d.
-5
Suppose 6*w - 2*w = 20. Let z be -1*w*(-2 - -1). Solve -z*k = -20, -h - 3*k - 4 = -12 for h.
-4
Let h = 52 - 99. Let b be (-2)/9 - h/9. Solve -w = t + 7, -5*t + b*w - 5 = -0*t for t.
-4
Let y = -6 + 13. Let r(m) = -6*m + 8*m**2 - 2*m**3 - 5 + m**3 + 0*m**3. Let k be r(y). Solve h = 3*l - k, 0*l + 2*h + 9 = l for l.
-1
Let n(a) = 3 - 6 + 3*a - 2*a. Let c be n(5). Let i(d) = d**3 + 6*d**2 - 7*d + 2. Let j be i(-7). Solve 2*b = -c*g - 14, 4*g + 16 = -j*b + 4*b for g.
-5
Let q = -4 + 4. Suppose q = -0*o + o - 2. Suppose -29 - 1 = -o*z. Solve -3*s + 4*i = z, 2*s = -3*s + 5*i - 20 for s.
-1
Let l(r) = -r**3 - 6*r**2 + 9*r + 16. Let y be l(-7). Solve 0*k + y*k + 1 = -w, -5*w - k = -22 for w.
5
Let u = 85 + -18. Suppose 3*l + u = -5*v + 6*l, 3*v + 2*l = -44. Let b be (-2)/(-7) - (-4)/v. Solve 2*q - 10 = 2*a, 2*q + b = -2*a - 2 for a.
-3
Let g(n) = n**3 - 2*n**2 - 3*n + 4. Let r be g(3). Solve 2*l + 5*z + 20 = -2*l, 3*l = r*z + 16 for l.
0
Let k = -1 + 4. Let g = k + -2. Suppose -a + 3*w + 3 = 0, 5*a - 16 + g = -5*w. Solve 0 = 3*t, -2 = n - a*n - 3*t for n.
1
Suppose 0 = o - 2. Suppose o*q = q. Solve -2*k = 2*k - 4*a + 24, 4*k + 3*a + 10 = q for k.
-4
Let c be -26*(1*-4 + 3). Let f = c + -11. Solve 3*r - f = -4*a, 0 = 4*a - 9*a for r.
5
Let d be ((-1)/(-2) + 1)*2. Suppose 3*n = 6*n. Suppose -34 = -5*o - q + 61, -3*q = n. Solve 3*h = 2*p - 5*p + 3, -d*p + 5*h = -o for p.
3
Suppose 0 = -11*w + 4*w + 28. Solve -w*q = 5*v - 16, q - 12 = -2*q for v.
0
Let y(s) = s**2 - 5*s - 1. Let x be y(6). Solve -3*g = -x*h + 9, -g + 11 = 3*h - 0*h for h.
3
Suppose -3*y + y - 10 = 0, g - 32 = 5*y. Solve 4*b + 4*z - 20 = -0*z, 4*z = 5*b - g for b.
3
Let i be (-190)/(-50) + 12/10 + -1. Solve -3*l + 6 + 8 = 5*u, u + i*l = -4 for u.
4
Let k(p) = 2*p**2 + 11*p - 17. Let x be k(-7). Let z(r) = -3 - 3 + 5 + r. Let c be z(1). Solve -3*d + x*n + 15 = c, 2*n + 5 - 1 = -2*d for d.
1
Let t = -23 + 27. Solve -q - 3*w = -3*q + 4, q - 2*w = t for q.
-4
Let a(p) = -p**2 + 9*p + 59. Let x be a(13). Solve 3*h + 9 = 3*k - x*k, 3 = -h + 4*k for h.
-3
Let q(g) = g**2 - 3*g + 3. Let h be q(4). Suppose 2*p - 4*p + 90 = 0. Suppose 2*x + p = h*x. Solve -2*i - 5*v + 10*v = -12, -i + 4*v = -x for i.
1
Let y be -2 + (-4 - (-4 - -1)). Let t be 6/y*(4 - 5). Solve 0 = 5*x + t*c + 16, 0*x - 4*x + c = 18 for x.
-4
Let v(y) = 6*y - 30. Let x be v(5). Solve -4*t + x*r + 5*r = -29, 4*t + 5*r + 21 = 0 for t.
1
Suppose 3*g - d = 18, 0 = 3*g - 4*d - 6 - 3. Let u = g - 3. Let k = 3 + 5. Solve -2*i - k = -u*w, 2*w = 3*w - 3 for i.
2
Let g(h) = -h + 12. Let m be g(11). Suppose -c + 5 = m. Solve -t - 4 = -c*t + 4*q, -3*t - 4*q - 4 = 0 for t.
0
Suppose -3*k + 9 = -3. Let v = 3 + -4. Let r = v + k. Solve -3*j + r*p - 3 = 0, 0*j - 3*j - 2*p = -17 for j.
3
Suppose 0*u - 3*z - 9 = -4*u, 0 = -4*u + 5*z + 7. Suppose 8 = 9*b - 7*b. Solve 5 = -u*w + 5*x + 24, 0 = b*w + x + 13 for w.
-2
Let d = 14 - 10. Let a = 5 - -4. Let o = a - d. Solve -2*r + 0*f = o*f - 23, 0 = 5*r - f - 17 for r.
4
Suppose 16 = -n - 4*v, -4*v = 5 + 15. Solve j = -k, -n*j + 25 = -4*k + 3*k for j.
5
Suppose x - 52 + 12 = 0. Suppose 0 = 7*y - 2*y - x. Suppose 0 = -5*s + s + y. Solve 4*h + h = -s*i - 29, 3*h + 7 = 4*i for i.
-2
Let r be ((-15)/(-6))/1*(-48)/(-15). Solve -3*a = m - r, a + 10 = 2*m + 5*a for m.
-1
Let h(x) = 2*x + x**3 - 2*x**3 + 2*x**2 + 0*x**3. Let n be h(2). Suppose 10 - 2 = n*k. Solve -r - 8 = -5*z, 4*r + 11 = z - k for z.
1
Let x = 14 + -13. Suppose 0 = -0*j + j - x. Solve -4*i = 2*g + 7 - j, -2*g = i for i.
-2
Suppose 39 - 254 = -5*o. Suppose 4*h + 24 = 2*g, -3*g + 5*h + o - 11 = 0. Solve 0 = 4*d - 3*c - 29, -3*d - g*c + 3 + 0 = 0 for d.
5
Suppose 13 = -2*y - 3*h + 2*h, 17 = -y + 3*h. Let x = y - -14. Let t be (1 + 0)/((-1)/(-3)). Solve -5*q + 3*r = -9, t*q - x*q - 2*r - 6 = 0 for q.
0
Suppose -2*x = -5*x + 12. Solve 0 = -5*j - 3*m - 14, j + j + 14 = -x*m for j.
-1
Let s(d) = 5*d + 1. Let j be s(1). Let m = 11 + -1. Let a = m - j. Solve -k - a*k = -10, 5*k - 10 = q for q.
0
Let k = 5 + -2. Suppose 0*m + k*m = 0. Solve 5*u + 4*s - 13 = m, -4*s = -2*u - 8*s - 2 for u.
5
Let g = 0 + -3. Let z = g - -8. Solve 0*k = z*a - 3*k - 35, -2*k = -3*a + 22 for a.
4
Suppose -4*f = n - 9, 2*f - 4*n = -2*f + 24. Suppose f*y - 47 - 13 = 0. Solve -3*q - 12 = -g - 2, -3*q = 4*g + y for g.
-2
Suppose -27 = -y - 8*y. Solve 4*q + 4 + 12 = 3*d, -1 = -d - y*q for d.
4
Suppose 26 = 11*i + 4. Solve 5*k = -2*t + 23, -3*t + 8 - i = -2*k for k.
3
Let z = 30 - 26. Solve 5*t = -z*l - 17, 2*l + 2 + 0 = 4*t for l.
-3
Suppose 0 = 5*d - 2*d. Suppose -5*j + 3 = -0*p - 2*p, -3*p - 2 = -5*j. Let z = 3 - j. Solve 4*a + d = -5*k + 8, -4*k = a - z for k.
0
Suppose 5*i + 5*s - 55 = 0, 0 = -3*i + 5*s + 21 + 4. Suppose i = 6*m - m. Suppose m*w = 3*w. Solve w = -3*a + 5*f - 16, 4*a - 4*f = -9*f + 37 for a.
3
Suppose 0*f - 6*f = 3*f. Solve 3*j - 7 = -o, f = -3*o - j + 15 - 2 for o.
4
Suppose 2*a - 18 = -4*z, 3*a + 0*a - z - 34 = 0. Let i = a - 6. Solve -4*r + y - 8 = 2*y, -i*r = -5*y + 10 for r.
-2
Let u = -1 - -3. Suppose 0*q = u*q - 6. Suppose -5*i - 5*m = -20, -4*i + 0*m - q*m = -19. Solve 4*z + 16 = 4*b, 2*z = -5*b + 2*b + i for z.
-1
Let t(l) = -l + 12. Let q be t(0). Suppose 0 = z - 5*s + q - 37, -s = 5. Solve -4*a - w - w - 18 = z, 2*a - 4*w = -14 for a.
-5
Suppose a = -3*t - 3, 1 = -3*t - 2*a - 2. Let u = 1 + t. Solve 3 = q + h, q - 4*h = -u*q - 7 for q.
1
Let q be 6/(-1 - -3) + 1. Suppose 0 = q*h - 8. Solve -h*c - 15 = 3*j, -c - 10 = c + 2*j for c.
0
Suppose 4*b - 17 + 1 = 0. Suppose -3*u = -u - b. Solve -4*m = -u*m + 4*l + 2, -3*m + 5*l = -8 for m.
1
Suppose 3*h = h + 34. Solve 5*k + 5 = -3*n, 0*k + h = -3*n + k for n.
-5
Let j(r) = r**2 - 5*r + 10. Let n be j(4). Solve -4*k = d + n + 2, d - 5*k - 19 = 0 for d.
4
Let s = 8 - 5. Let z be -4 + s - 1*-3. Solve -j = j + 2*u, 0 = z*j - 5*u - 21 for j.
3
Suppose -2*w - 11 - 9 = -2*k, 3*w = -5*k + 18. Suppose 2 = 2*c - k. Suppose c*v = 8*v - 12. Solve -v = -5*y - 3*l, 5*l - 2 - 3 = -y for y.
0
Let x = 36 + -35. Suppose 7 = -c + 5*w + 37, 0 = 2*c + 3*w + 5. Let b = c - x. Solve 4*t + 5*k = 20, b*t - 5*k + 7 = 27 for t.
5
Let c = -1 + 3. Solve 0 = -c*h, 3*z - h - h = 0 for z.
0
Let t be 8 + (-6)/(-3) + -6. Solve 5*h + z = 29, 2*h + t*z + 4 = 6*h for h.
5
Let v be 6/(-27) - (-88)/(-9). Let y b