q*r = -6, 11 = -t - 4*r for t.
1
Let d = -166 + 176. Suppose -d*b + 37 = 7. Solve -b*s - 5*t + 6 - 1 = 0, 0 = 2*t - 2 for s.
0
Let l(z) = 3*z**3 + 15*z**2 + 11*z - 4. Let r be l(-4). Solve 5*p = -4*t - r*t - 32, -p - 19 = 5*t for t.
-3
Let g = 9507 - 9474. Solve -2*h = 2*p - 10, -6 = 31*h - g*h for p.
2
Suppose -3*a - 5*p = -45, a - 15 = -p - p. Suppose -4 = -a*f + 13*f. Solve 2*l - 23 = 5*c, 0*l - l = f*c + 2 for c.
-3
Let f(t) = -t + 26. Let y = -489 + 513. Let h be f(y). Solve -4*x = 6 + 2, 3*q + h*x + 10 = 0 for q.
-2
Let v be 0/(7 - 22 - -13). Solve -5*f - b + 5 = v, 0 = -3*f - 52*b + 51*b + 3 for f.
1
Suppose t + 6 = 4*i, 2*t = 3*i + 6*t - 14. Let j be (i/(-3))/(9/(-189)). Solve 0 = 3*p + 12, -j = -4*y + 2*y + 2*p for y.
3
Let c = 149 - 135. Suppose -r - c + 17 = 0. Solve l + 2*l = -v + r, -2 = -3*v - 2*l for v.
0
Let b(l) = l**2 - 6*l - 32. Let f(g) = -g**2 + 5*g + 32. Let t(i) = 5*b(i) + 4*f(i). Let k be t(13). Solve -d = -5*x - 10, -4*d + 14 = -x - k for d.
5
Let o be (-8)/(-6)*(-6)/(-4). Suppose -2*f + 291 = 37. Let j = 129 - f. Solve 2*k + 2*k = 2*q + o, -j*q - 2*k = -10 for q.
3
Suppose -q - 2*q + 6 = 0. Suppose 3*s + 21 = 6. Let z be (25/(-20))/(s/8). Solve -4*c + 12 = -4*k, z*k - 6*k + q*c - 2 = 0 for k.
2
Let z = 21660 + -21651. Solve 83 = 4*q + 3*w + 71, 3*q = 3*w + z for q.
3
Let a = 16 + -5. Let p(g) be the first derivative of g**3/3 - 5*g**2 - 11*g - 703. Let o be p(a). Solve -2 = w - 3*f - o, 4*w - 18 = -f for w.
4
Let z(v) = -2*v + 59. Let y be z(18). Suppose 5*d + k = -y, -1 + 2 = -4*d + 5*k. Let m be ((-36)/24)/(3/d). Solve -3*u = m*w + 2*w - 23, -2*u = -w + 3 for w.
5
Let k(l) = l**2 - 12*l + 15. Let z be 22*-1*(-4)/8. Let s be k(z). Suppose -s = -8*d + 76. Solve 3*r = -b + 2*b - 1, -d = 3*b + 4*r for b.
-2
Let g(p) = 2*p + 2. Let w(x) = 9*x + 7. Let h(b) = -4*g(b) + w(b). Let u be h(22). Solve -u = 2*d + d + 3*y, -5*d = y + 15 for d.
-2
Suppose -3*u = 2*d - 140, -u + 6*u + d = 245. Let g be ((-144)/120)/((1 - 3)/u). Let f be 8/1*5*6/g. Solve -3*r = -a + 2*r - f, 3*a + r - 8 = 0 for a.
2
Let x = -45 - -52. Suppose x*h = h. Suppose 5*u - 193 + 133 = h. Solve 2*s - z + 12 = 0, -z = -4*s - 2*z - u for s.
-4
Let d = -552 + 558. Suppose 2*g = 0, -5*g + 2 = -4*f + d*f. Solve -o - 5*z + 20 = -6*o, -4*o = z + f for o.
-1
Let n be 4/34 + (-26052)/(-221). Let a = 127 - n. Solve -4*d - l + 7 = -a, -d = -3*l + 9 for d.
3
Suppose -175 = -7*t + 2*t. Let z = t - 20. Suppose -f + 3 = k, 0 = -4*k - k + 5*f + z. Solve -3*p - k*w = 15, -2*w = -4*p - 17 - 3 for p.
-5
Suppose n + 186 = 2*i, 7*n - 3*n + 3*i + 733 = 0. Let j = -184 - n. Solve -q + o + 0*o + 6 = j, 6 = -q - 3*o for q.
3
Let q(u) = u**2 - 10*u + 11. Suppose 2*j = 5*j - 63. Let k = j + -12. Let a be q(k). Solve -a*z + 29 = 5*w, -3*w - 4*z = -17 - 6 for w.
5
Suppose -116*v + 10 = -115*v. Suppose -2*w + v = -w. Solve -s + 14 = -8*p + 3*p, 4*p - 2*s + w = 0 for p.
-3
Let s(b) = b + 31. Suppose 0 = n + g + 28, g = 3*n + 5*g + 84. Let m be s(n). Solve -3*r + m = o, 10 = -2*r + 3*o + 1 for r.
0
Let s(z) = 257*z - 1024. Let l be s(4). Solve j = 4*n - 8*n + 4, 3 = l*j + 3*n for j.
0
Let u = -3 - -5. Suppose -12 + 7 = 215*y - 5. Solve -4*w - u*z = 20, y = 3*w - 5*w + z - 10 for w.
-5
Let f = 51 + -16. Suppose -f*v = -30*v - 75. Solve -5*g + 0*t = -2*t - 29, 0 = g - 5*t - v for g.
5
Suppose 0 = -26*s + 25*s + 108. Let x = -104 + s. Solve -3 + 14 = 3*h + o, x*o = 8 for h.
3
Let m be 2/(-3)*(-90)/(-12). Let x = m - -21. Solve b = -4*b + v + x, 4*v + 7 = b for b.
3
Suppose -2*k + 0*j + 2*j + 8 = 0, 4*j = -4. Let x be (-3)/(2/6*(-48)/32). Solve -4*z - x = g, g = 4*g + k*z for g.
2
Let m be -2*((-1526)/28 - 8) + -1 + 3. Solve -125*f + m*f - 3 = -5*j, 3*f + 2*j = -1 for f.
-1
Let q(l) = -l + 1. Let z be q(-3). Suppose 3*n - 41 = -t, 2*t + 27 = 2*n + 5. Suppose 6*i = 7*i - 2. Solve -z = -i*j + 5*j - 5*h, 4*j = -h - n for j.
-3
Let u(i) = 10*i + 143. Let v be u(-13). Suppose 75 - 179 = -v*n. Solve -n = -3*z + 4*p, 3*p - 8 = 2*z + 7*p for z.
0
Let n = -57 + 55. Let w be n + ((-6)/(-6) - -5). Solve w*b = -4*i, -2*i + b = -7*i - 20 for i.
-5
Suppose -4*q - q + 11 = -2*z, 2*z + 4*q = 16. Suppose -z*x = 165 - 197. Solve -5*a + 2*y = x, -2*a - 4*y - 9 = 7 for a.
-4
Let y be -2 + -2 - 1*(17 - 23). Solve 5*j = 5*u - 20, 18*j = -y*u + 21*j + 11 for u.
1
Let i = -21471 + 21475. Solve -16*n = i*g - 19*n - 13, 2*n = -5*g + 22 for g.
4
Let r be (70/(-6))/((-2)/(-6)). Let c = 46 + r. Suppose -c = 4*t - 23. Solve -5*j - 1 = -2*b, -b - 2*j - 4 = -t*b for b.
3
Suppose -29*f = -28*f - 3. Solve -3*z + f*m - 9 = 0, 4 = 5*z + 2*m - 2 for z.
0
Let p(k) = 4*k. Let o be p(6). Suppose -h = 2*v + 3*v + 36, 0 = -5*v - 4*h - o. Let u = v - -12. Solve u*n - 2*a - 4 = -22, -2*a + 10 = -2*n for n.
-4
Suppose 10 = g - 8*x + 7*x, -5*g + 10 = 3*x. Solve -2*u - 3*u = -15, -g*c + u = 28 for c.
-5
Let s = -9352 - -9367. Solve -3*l = 3*y + s, -5*l = -y + 3*y + 25 for y.
0
Suppose -2421 = 8*m - 45. Let q = 306 + m. Solve u + 1 = 3*l, 8*u = l + 3*u + q for l.
1
Let a be (-3)/18 - (-745)/(-30). Let t = -22 - a. Suppose -t*x = -5*c - x, 0 = 2*c + 5*x - 29. Solve -5*k = c*s + 16, -4*s + k - 8 = 5*k for s.
2
Let v = 38421 - 38417. Solve -4*d + 540 = -p + 542, -5*d + 3 = -v*p for d.
-1
Let n(f) = f**2 + 5*f + 29. Let t be n(-10). Let z = t + -68. Solve -5*o - 3*m = -z, 2*o - 3*m + 0*m = -4 for o.
1
Let j = -8016 + 8021. Solve 4*g = 4*q - j*q - 22, 4*g = -20 for q.
-2
Let m(h) = -22*h + 1391. Let v be m(63). Solve 2*u - 3*r = -v*r - 8, -5*u = 2*r + 5 for u.
1
Let t = -31 - -56. Suppose -t*w - 10 = -30*w. Solve 0 + 27 = -3*v - 4*y, 4*v + w*y + 26 = 0 for v.
-5
Let d = 377 + -348. Suppose -d*p + 617 = 211. Solve 2*z + 17 = z - 4*f, 4*z - 2*f + p = 0 for z.
-5
Suppose -2*v - 10 = -6*v - 2*g, -3*g - 35 = -4*v. Solve -3*d + 2*p - p + 4 = 0, 4*d = -v*p - 20 for d.
0
Let d be (-3 - 54/(-6))*5*2. Let u = d + -45. Solve 5*a - 5 = b, 5*a + 4*b + u = 9*b for a.
2
Let h(d) = d**3 + 3*d**2 + d - 1. Let n be h(-2). Let c = n - -1. Suppose c*z + 0*z = 3*z. Solve -o - 2*x = -z*x + 1, -x - 3 = 0 for o.
5
Let s be ((-33)/2)/((-343)/42 - -8). Solve 4*i + 111 - s = 4*z, -3*z - 3*i = -3 for z.
2
Let f(l) = l + 6. Let s be f(-6). Let m be (14 - (-864)/(-63))/((-1)/(-14)). Solve 4*n + 2*h - 14 = 0, -m*h = 2*n - s - 16 for n.
2
Let q = -32 - -38. Let r be 39/q*(-6 + 2) - 3. Let b = r + 31. Solve 3*k - 14 = -2*a + k, b*a - 4*k + 16 = 0 for a.
2
Suppose -94 - 116 = -274*b + 338. Solve -5*k - b*g - 25 = 0, -5*g - 390 = -3*k - 405 for k.
-5
Suppose 4*l + 464 = 3*c, 2*c + 2*c + 4*l - 628 = 0. Let a = -153 + c. Solve -6*d + 4*d - a*f + 16 = 0, 0 = 2*d - 3*f - 4 for d.
5
Let o be 1/((-2)/12)*2/(-4). Suppose -o*m - 15 = -6*m. Let u be m/2*14/7. Solve 3*g + 3*z = 0, 2*g + u*z = -g for g.
0
Let v = 13771 + -13716. Solve 5*i - 2*h - 36 = -v, -8 = -4*h for i.
-3
Let l(v) = v**2 - 11*v - 8. Let k be l(14). Suppose -35*t + 37*t + k = 0. Let a = t - -21. Solve -2*i + a = 0, 0*i = 4*f - i + 14 for f.
-3
Let y be 13/39 - (-99)/27. Solve y*j + 0 = -5*k - 5, -35 = -5*k + 4*j for k.
3
Suppose 2*j = 35*j + 129 - 525. Solve 0 = -3*d + j, g + 3*d - 16 - 1 = 0 for g.
5
Let h be (-4)/6 + (-42)/18. Let d = 1 - h. Suppose 0 = 5*j - l - 81, 0 = -4*j - 4*l + 69 - 9. Solve 0 = 5*t + 4*y + 23, 4*t - d*y + j = -6*y for t.
-3
Let v be (-2)/2*-8*15/(-120)*-22. Solve 4*h - y + 9 = h, 0 = 2*h + 4*y - v for h.
-1
Suppose v = 4*l + 5*v - 16, 9 = 4*l - 3*v. Solve -4*z = 5*m - 1, 5*z - 7*z - 5*m + l = 0 for z.
-1
Let p = -9 + 13. Let a(m) = 12*m**2 - 15*m**2 + m**3 - 2*m + 5*m - 1 - 6*m. Let r be a(4). Solve -19 = -p*f - q + 1, -16 = -f - r*q for f.
4
Let s be (-4)/(-8) - (-15)/6. Suppose -s*j - 3*z - 18 = -5*j, -2 = z. Let f(w) = -6*w + 5. Let b be f(0). Solve 0 = 3*g - j*g, b*m + 3*g = 0 for m.
0
Let s be 28170/4050 + 2/45. Solve m - 9*p = -6*p - s, 2*m - p - 1 = 0 for m.
2
Let a(x) = -x**2 - 7*x + 176. Let f be a(-17). Let s(c) = -5*c + 59. Let t be s(f). Solve 2*p + 3*y = 22, -5*p + 0 + t = y for p.
5
Let q(h) = h**3 + h**2 - 53*h - 18. Let p be q(7). Solve 8 = p*b - s, 2*b - 10*s = -7*s + 17 for b.
1
Let b be (2640/10)/24 - (-18)/(-2). Solve 0 = -2*d + u - 3, -15 = -5*d + 8*d + b*u for d.
-3
Suppose 21*m - 26*m = -16*m + 341. Solve -9*q + m = -4*z - 4*q, -2*z - 2 = 2*q for z.
-4
Let x = -9601 +