4 = 0 for u.
0
Suppose -7*u + 3*u = 0. Suppose u*l - 4*b = 2*l + 16, -2*l + b = -9. Suppose -l*p = 3*p. Solve p*q = -4*q - 3*z - 12, -12 = 4*q - 4*z for q.
-3
Let f = 54 - 53. Solve v - b + f - 3 = 0, 2 = -3*v - 5*b for v.
1
Let c = -3 - -4. Let r = -8 - -10. Suppose -r*u + 5*u = 0. Solve -s - c = -3*t + 4, 2*t + 3*s + 15 = u for t.
0
Let s = -124 - -127. Solve 3*x = 4*w - 2 + 13, -x + 8 = s*w for x.
5
Let y = 33 - 32. Solve z - 5*k - 2 = -z, z = 3*k + y for z.
1
Suppose 2*r + 5*d = -7, -6*r + 3*r = 4*d - 7. Solve 1 = 4*p - 5*k - r, 4*k = 4*p - 12 for p.
5
Suppose -3*i = -8*i - 5*a + 40, a = 4*i - 7. Suppose -5*p = -3*g - 66, g = -5*p + i*g + 64. Solve -2*j - p = x, 2*x + 3*x - 5 = 3*j for j.
-5
Let z be ((-3)/6)/(2/(-4)). Suppose -2*y + 2*v + 3 = -z, y + v = 4. Solve -3*p = 3*w + 18, -y*p - 4*w + 4 = 27 for p.
-1
Suppose -3*a - 2*a + 10 = 0. Solve 5*x = -a*t + 20, x - t = -2*t + 7 for x.
2
Suppose -34 = -3*g - 2*q, 0 = 2*g - 3*g + 5*q - 17. Let i = g + -5. Solve m = i*j - 10, -2*m + 10 = j + 3*j for j.
3
Let n = 10 - 7. Let t be (-3 - 0)/(n/(-3)). Solve t*r = 3, -3*c - 3*r = r + 8 for c.
-4
Let w be (-45)/(-35) - (-4)/(-14). Suppose -w + 4 = -x. Let g = x + 7. Solve -4*u + g = 4*m, -3*m = -7*m - 5*u + 5 for m.
0
Let i(p) = p**3 - 7*p**2 + 4*p. Let u be i(5). Let q = 133 + u. Suppose 0 = -4*c - 15 + q. Solve -2*h + 14 = 4*g, 2 - c = -5*g for h.
-1
Let n(u) = 2*u + u**2 + 2 + 1 - 4 - 2. Let z be n(2). Solve 4*f = -3*h - z, -h = -f - 2*h for f.
-5
Suppose j - 18 + 15 = 0. Solve 5*h = 4*n + 13 + 9, -j*h + 5*n + 21 = 0 for h.
2
Suppose -l = -5*l + 12. Suppose 7*z - l*z - 12 = 0. Solve -z*m + 0*m - 24 = 5*w, 0 = -3*w + 4*m + 3 for w.
-3
Let c be (-4)/(-10) + 23/5. Suppose 4*m = -t - 11, 17 = 3*t + 3*m - m. Let r = t - 6. Solve -z - 18 = 4*j, 2 = -c*j + r*z - 12 for j.
-4
Let b be 2 - 2*(-27)/3. Let y be (-39)/(-5) + 4/b. Solve 3*u + w = y, 3*u + 7*w - 12 = 4*w for u.
2
Suppose 6*p - 2*p + 16 = 0, -2*p = 5*c - 17. Solve 4*a + c*x = -15, -a - 9 = -4*x - 0*x for a.
-5
Let t(y) = 2*y. Let c(h) = -h + 9. Let s be c(8). Let w be t(s). Solve k + 4*k - b = -w, -4*b + 8 = 2*k for k.
0
Let z = 6 + -3. Suppose -3*b = 3 - 9. Let a be 7/z + b/(-6). Solve -u + 5*w - 18 + 5 = 0, a*u - 2*w = -10 for u.
-3
Let c be (6 - 2)/2 - 0. Suppose c*q + 3*j = 11, -2 - 2 = -q - j. Let x be -2 + -7*(-1)/q. Solve -x*o + 0*h = -h - 20, 3*o - 12 = -h for o.
4
Let y be -5 + (-60)/(-6) + -5. Solve 5*p = 5*r + 45, -3*r + 4*p - 33 + 1 = y for r.
-4
Let s = 23 + -11. Let i = 2 + 0. Let f be -3 - (-6 - 0)/i. Solve -5*o + 3*u = -s, f = 2*u - u + 4 for o.
0
Let z = -7 - -5. Let d be (-1)/z*(-2 - -8). Suppose -d*u - 8 = -7*u. Solve 3*g - 6 = -w, 0 = -u*g - 0*w + 4*w - 10 for g.
1
Let q = -2 + 5. Let a = -14 - -9. Let d(p) = -p**2 - 6*p - 2. Let w be d(a). Solve -21 = 3*f - 3*t, -29 = w*f - q*t - 2*t for f.
-3
Suppose 0 = -p + 2, -z - 2*p - 3 = -17. Let d be 3/(9/12)*2. Suppose 0 = 7*c - d*c. Solve 2*n + z = c, -f - f - 13 = 3*n for f.
1
Let c(o) = -o**2 + 13*o - 7. Let a be c(12). Solve 2 = -a*q - 2*w - 1, 2*q = w + 6 for q.
1
Let z(m) = -m + 4. Let n be z(-5). Let a = 2 + 9. Let p(u) = 5*u**2 + 2*u + 1. Let b be p(-1). Solve n + a = 5*r, x + 15 = b*r for x.
1
Let y be (-1 - 0) + 8 + 0. Suppose -23*s - 34 + 333 = 0. Solve 0 = -z - 3*h - y, -z + 5*h + s = -12 for z.
5
Suppose 0 = a + a - 8. Suppose -5*c + 5*m = -85, -3*c - a*m = -m - 33. Solve -5*k + 30 = -5*l, 0*k = 4*k + l - c for k.
4
Let a(z) = z + 10. Let b be a(-12). Let w = 5 + b. Solve -w*d - 5*n = 4 - 0, 0 = -3*d - n + 4 for d.
2
Let n be (-13)/3 - 2/(-6). Let z be n/8*140/(-2). Solve -8 = 2*m + s - 2*s, 0 = 5*m + 5*s + z for m.
-5
Let m(v) = v**2 + 2*v + 4. Suppose 5*f - 2*f = 2*l - 15, 2*f + 10 = l. Let i be m(l). Solve -t = -5*t - 5*z + 31, -16 = -t - i*z for t.
4
Let u be (-1 + 2)/(-2)*-18. Suppose -5*n = -6 - u. Suppose -3*i - b + 5 = 0, 2*b + 11 = -4*i + 5*i. Solve -i*j + 4*z = -16 + n, -j = 3*z for j.
3
Suppose 18 = 7*u - 3. Solve -u*i = 3*n + 15, 0 = -3*n + 1 - 4 for i.
-4
Suppose 3*x + 2*a + 2 = -9, 5*x = -5*a - 25. Let t be (-1 - (-3 - -3))*x. Suppose 4*q - t = 2*y + 1, 20 = 4*y. Solve 4*f + 5 + 3 = 4*r, q*f = -4*r - 20 for r.
-2
Let s be (6/9)/((-1)/(-6)). Suppose -3*c + c = -s. Suppose 0*p + 5*p - 20 = 0. Solve -4*m + 14 = 5*w, -3*w + c*m + p = -0 for w.
2
Suppose -3*u = u - 6*u. Solve -5*t + s + u = 13, t - 5*s = 7 for t.
-3
Suppose o - 11 = -5*a, 0*o = 2*a + 2*o - 6. Solve -7 = a*r + 3*h, -h = -3*r - r + 21 for r.
4
Let i be (-28)/70 - 84/(-10). Solve o - 6*o = 10, 2*o - i = 3*d for d.
-4
Suppose -4*g = -3*r + r - 26, -20 = -4*r. Let i be 6*6/g*1. Let q(c) = -c**2 + 5*c - 1. Let v be q(i). Solve 2*m + 2*s + 13 = -v*s, -5*s - 18 = -3*m for m.
1
Suppose -5*s + 97 = -98. Let k be (-56)/(-26) + (-6)/s. Let d be k/6 + (-60)/(-9). Solve 7 = 3*q - 4*z, 0 = -5*q - 0*z + 2*z + d for q.
1
Suppose 0 = 4*j - j - 210. Let y = j - 45. Let v be -1 - (-2 + -1) - -1. Solve 0 = -4*f - 7*d + v*d - 40, 0 = 5*d + y for f.
-5
Let q be 9*(-1 + 2) + -3. Solve 0*z - 20 = -5*z, g + q = z for g.
-2
Suppose 0 = q - 4*q. Suppose 0 = -u + 2*r - 6, q = -2*u + 3*r - 8 - 0. Solve -u*x - 3*n = 13, -4*x + 8 + 16 = -4*n for x.
1
Let t(j) = -j**3 + 8*j**2 + 2*j - 13. Let h be t(8). Solve -3*a + 5*l - 7 = -31, -h*l - 15 = -2*a for a.
3
Let w = -20 - 4. Let t = -21 - w. Solve -25 = 5*v - 2*h, v + 6 = 4*v + t*h for v.
-3
Suppose 2*q - 10 = 0, -q - 3 = -2*w + 2. Suppose -b + 0*b - w = 0, k - 7 = b. Solve -k*z - 4 = 4*u, -3*z + 4 = -5*z for u.
0
Let b = 185 + -183. Solve 4*c - b*x + 4 = 0, 5*c + x + 4*x - 10 = 0 for c.
0
Let m = 5 - 3. Suppose 2*l + 3*b = 0, 5*l = 2*l - 5*b. Suppose l = -s - m*s. Solve s = 2*y - 3*j + 18, y - 3*j + 12 + 3 = 0 for y.
-3
Suppose -30 = -3*w - 0*w. Let f be (-5)/25 - (-42)/w. Solve -3*x - 5*d = -3 + 6, 4*x + 4 = -f*d for x.
-1
Suppose 0*h = -4*h. Suppose -3*g = 0, h = a - 5*a - 5*g + 12. Let x = a + -1. Solve -5*s - 2*c + 16 = 0, 4*c + 10 = x for s.
4
Suppose -a = -0*a - 16. Let c be a/(-6)*45/(-12). Solve -c = 5*w - 4*m, -3*m + 4 = -w - w for w.
-2
Let d be -51*((-21)/9 + 2). Let h = 20 - d. Solve v - h*v + 4 = 3*p, 4*v = 5*p + 8 for v.
2
Let g be (2/3)/(4/54). Suppose 0 = -s - 4 + g. Solve 4*y - 5*r + 2 = -1, s*y = 5*r for y.
3
Suppose -5*z + 17 = 2*c, 12 + 12 = -c + 4*z. Let b(o) = -o - 4. Let d be b(c). Solve 12 = -2*t + 3*l, 3*t + 20 = -d*l + 5*l for t.
0
Let x be 3/(3/4*2). Suppose -7*y + 35 = -x*y. Solve 2*o = m - 11, 0*m - y = -o - 2*m for o.
-3
Suppose -5*i - 2 = -17. Let d = i + -5. Let n = 2 + d. Solve n = q - 3*f + 12, -q - 16 = -3*q - 4*f for q.
0
Let d be (-6)/(-2)*(-4)/(-3). Let p = 0 + d. Solve a + 1 = -1, 6 = p*j + 5*a for j.
4
Let s(q) = q**2 - 6*q + 1. Let n be s(6). Let b = n - -2. Solve 15 = -0*g + 2*g + b*x, -2*x + 15 = 3*g for g.
3
Let f(a) = -10*a**3 + 2*a**2 - 1. Let k be f(-1). Let s = k - 8. Solve d = -v + 2 - 3, -s*v = -6 for d.
-3
Let v(n) = -n + 2. Let x be v(-7). Let w = 0 + x. Let s be (-12)/w*(-6)/4. Solve -2*o + o = s*p - 6, -2 = o - 2*p for o.
2
Let p(z) = 4*z**3 + 2*z**2 - 1. Let l be p(-1). Let x be (-290)/(-8) + 6/(-24). Let k = l + x. Solve -4*f = -3*t + 32, -4*f + 2*t = f + k for f.
-5
Let l(m) = -m**2 + 18*m - 14. Let x be l(17). Let i = -16 - -25. Suppose 5*f - 1 = i. Solve -u = -f*o + 7*o - 19, -x*u = -5*o + 3 for o.
3
Suppose 4*y + 3*m + 10 + 7 = 0, -2*y - 3*m - 13 = 0. Let s = 3 - y. Solve -d + 5*f - 5 = 0, s*f - 7 = 3 for d.
5
Let l = -16 - -20. Let h be 3 + 1 - l - -2. Solve -4*u + u = 5*t, -u + 1 = h*t for u.
-5
Let j be 8 - (0 - 2)/(-2). Let a(w) = w**2 - 7*w + 4. Let m be a(j). Solve o = 2*z + 1, -7*z + 2*z - 4*o + m = 0 for z.
0
Suppose -6*s + 2*s = -24. Let p(r) = r**3 - 2*r. Let v be p(2). Suppose -v = 3*q - 16. Solve 5 = 5*g - 5*t, q*t + s = -4*g + 42 for g.
5
Let n be (5 + -4 - 5)/(-1). Solve 4*r - 16 = 0, -2*w + n*r - 18 = r for w.
-3
Suppose 0 = -2*j + 8 - 4. Let n be (2/4)/((-1)/(-6)). Suppose j*z = a + 38, -n*z + 4*z = -3*a + 5. Solve -3*k - 18 + 9 = 0, -2*v - 5*k = z for v.
-1
Let w(n) = -n**3 - 7*n**2 - n - 3. Let r be w(-7). Solve -3*y + 7*y - 26 = 2*a, r*a = 2*y - 28 for y.
4
Suppose -2*s - 3*w + 42 = 0, s + 8 - 35 = -3*w. Solve -y + 4*f + 6 = -3*y, -3*y + 2*f + s = 0 for y.
3
Let p be -3*((-44)/3)/2. Let k = -1 - -3. Let g be 194/8 - k/8. Solve 4*m - 4*d = g, -