Let m be t(-4). Let a = m - -53. Suppose 13 = y - l, -5*y - 5*l + a = -l. Solve w = 4*s - y + 1, -3*s - 4*w + 6 = 0 for s.
2
Let v(h) = -2*h**2 - 5*h + 2. Let q be v(-4). Let a = -5 - q. Solve -4*o + 4*u = -16, 0 = o - a*u - 16 for o.
1
Let s be 4/((-20)/(-8) - 2). Solve -4*w - s = 4*i, 3*i + 0*w + 6 = -2*w for i.
-2
Suppose 4*b + 12 = -5*f, 2 + 1 = -3*f - b. Suppose f = -2*k - 0*k + h + 7, 2*h = 2*k - 12. Solve -2 = -2*c + s - k, -2*c + 7 = 5*s for c.
1
Let o(b) = 3*b**2 - 76*b + 30. Let g be o(25). Solve 0 = g*c - s + 10, -2*c + 4*c = s - 1 for c.
-3
Let d(u) = -4*u**2 + 71*u - 42. Let h be d(17). Solve -4*x + x + h = 4*y, 0 = -3*y for x.
3
Suppose 29*h + 29 = 87. Solve -v + 14 = -8*g + 4*g, h*v - 7 = g for g.
-3
Let a = -732 + 737. Solve -2*u - 40 = -5*m - a*u, 4*m + 3*u = 35 for m.
5
Let p be (2/(-5))/1 + (-110)/(-25). Solve -p*a + 8 = m, 3*a + 10 = 3*m + a for m.
4
Let f = -12 + 14. Suppose m = -5*w + 3*m + 107, 0 = -4*w - f*m + 100. Solve 23 = -2*z - 4*x + 9*x, -4*x = 3*z - w for z.
1
Suppose -1326 = -14*k + 284. Let s = k - 111. Solve -s = q + 3*z - 0*z, -q = -z - 8 for q.
5
Let o be 7 - -2 - (0 - -4) - 5. Solve -k + 15 = 4*m, m + 3 = 2*k - o for k.
3
Suppose 3*h + t = 10, -13*h + 4*t + 15 = -14*h. Suppose -16 = -3*p - 1. Solve v - 2*a + p = -3*a, 0 = v - 4*a + h for v.
-5
Let u(r) = -r**3 + 5*r**2 + 12*r - 36. Let y be u(6). Solve 3*p = 3*s + 12, y*s - 8 = s - 5*p for s.
-3
Suppose 0 = -4*p + 3*p + 2, l - 32 = 5*p. Let b = -25 + l. Solve -o - 4*m = -0*o + b, 5 = -o - m for o.
-1
Let y be ((3 + -1)/4)/(3/12). Solve 2*c - 3*h + 31 = 2*h, 2*c + y*h - 4 = 0 for c.
-3
Let m(l) = l**2 - 5*l + 2. Let k be m(6). Let w = 13 - k. Solve -3*z - 3*b - 21 = 0, w*z + 0*b - 1 = 4*b for z.
-3
Let m(w) = w**2 + 14*w - 15. Let p be m(-15). Suppose p = -5*q + 14 - 4. Solve 0 = q*f, 3*n + 15 = f - 3*f for n.
-5
Suppose 4*v + 2*v = 342. Let x = -40 + v. Solve 3 = 5*t + i + 4, t - 4*i + x = 0 for t.
-1
Let f be 4*-15*(-5)/60. Let m = 5 - 15. Let l be m/6*(-3 - 0). Solve -2*j - j + 15 = -3*r, -l*j = f*r + 5 for j.
2
Let y be ((-6)/(-4))/((-5)/40*-4). Solve 0 = -t - o - 3, 0 = y*t + 2*t - 5*o - 35 for t.
2
Let q = 507 - 502. Solve -3*z + q*b = z + 11, -3*z + 5*b - 7 = 0 for z.
-4
Suppose -7*l + 14 = -0. Solve l*d = -2*m - 0*d - 8, 2*m = 3*d + 17 for m.
1
Let n = 658 + -655. Solve n*r = 4*m - 14, 5*m - 4*r + 0 = 18 for m.
2
Suppose -7*f + 5 = -16. Suppose -f*j = 6*o - o - 82, 4*o - 64 = -2*j. Solve a = 4*g, 0*g + o = 3*a + 2*g for a.
4
Suppose b - 42 = -3*c, 8*b = 3*b. Let w = 5 + -3. Solve -w*m = 4*h - c, 0*m + h - 5 = m for m.
-1
Suppose -3*y + 4*q = -16, 0 = 5*y + 2*q - 3*q - 21. Let z be -5 + 3 + y + 3. Solve 5*n = -d - z - 1, 3*d - 1 = 4*n for d.
-1
Suppose -9 = -3*x + 36. Let z = 127 + -124. Solve x = z*r + 3*p, 5*r - 3*p = p - 11 for r.
1
Suppose 0 = 35*i - 374 - 151. Solve -3*v - i = u, -2*u + 3 = 5*v + 29 for u.
-3
Let k(d) = 24*d**2 - 84*d - 83. Let j be k(-1). Solve -5*f + 3*r - 15 = 0, 2*f - j = 5*f - 5*r for f.
0
Let l = 265 + -261. Solve 5*k - 4*m + 14 = -0*k, -l*m = -3*k - 10 for k.
-2
Let b be (-12)/(-30)*(16 + -6). Solve -4*d - b = -3*f, 2*f + d = -d + 12 for f.
4
Let k = -187 - -189. Solve 3 = 3*s, r - 4 = k*r - 4*s for r.
0
Let l be (-28)/(-10) + (-1)/(-5). Solve 1 = -c - 5*w, -w + 1 = -4*c - l for c.
-1
Let h be 1 - (3 + -1) - -4. Suppose 0 = h*i - 3*g, 2*i = 7*i + 2*g. Solve i = 2*o - 5*f + 15, o - f + 3*f = 6 for o.
0
Let o(y) = y**2 + y - 8. Let h = -20 + 26. Let l be (2 + h)/(0 + -2). Let a be o(l). Solve -27 = 2*i - 0*i + 5*w, 18 = 2*i - a*w for i.
-1
Let m(b) = 3*b**2 + 6*b - 12. Let f be m(-5). Let u = f + -30. Solve 5*g + 2 + 4 = 4*k, 3*g + u*k = -9 for g.
-2
Let l be (1/2)/((-54)/216). Suppose -5*k = 3*q - 6, 5*q - 8 = 5*k + 2. Let r be l + 6/1 - q. Solve -n = -0*n - 5*s - 20, 0 = n - r*s - 5 for n.
-5
Suppose -31*u + 216 = -19*u. Solve -4*b + 8 = 2*y - u, 0 = -4*b - y + 23 for b.
5
Let h(f) = -f + 22. Let k be h(-14). Suppose 17*q = -q + k. Solve 5 = s + 2*s - q*a, 0 = -3*s + 3*a for s.
5
Let x(k) = -k**2 - 6*k. Let y be x(-6). Suppose u + y*u - 4*d - 20 = 0, 4*u + 4 = -5*d. Solve q = -2*r + 6*q - 11, -11 = u*r + q for r.
-3
Suppose -3*n - 54 = -k + n, k - 54 = -2*n. Let y = -52 + k. Solve 5*p + 2 = -4*v, p = -y*v - 0*p - 4 for v.
-3
Suppose -3*s + 2*l = s - 18, -l = -3*s + 11. Solve 0 = -3*w + 2*v - 21, -4*w - 2*v = -s*w + 4 for w.
-5
Let b = 269 - 268. Solve 0 = 3*p - 5*h + b + 1, 0 = -4*p + 4*h for p.
1
Suppose 5*q = -v - 0*q + 8, 4*v = -4*q + 32. Let k(c) = -c**3 + 6*c**2 + 16*c + 14. Let u be k(v). Solve 0 = 2*o - 4*i + 6, 1 = -5*o + i - u for o.
-3
Suppose 0*i - i = -5*v + 162, -i - 98 = -3*v. Let s = -11 + v. Suppose c = -4*k + 2*k - 6, k = 4*c - s. Solve 5*f = -0*d + 3*d + 34, -5*f = c*d - 13 for f.
5
Suppose -3*l = 4*q + 15, -2*l = l + 3. Let j be q/(-1 + (-2)/4). Let c(u) = 3*u**2 + 3*u - 3. Let f be c(j). Solve -2*x - f = 5*n, 4*n + 3 = n for x.
-5
Let m = -46 + 51. Solve i - 13 = m*o, -i = 4*o - 1 + 15 for o.
-3
Let n be 24/18 - (-14)/3. Suppose 0 = -2*g - 3*z, 2*z + 4 = 5*g - 15. Let o(s) = -5*s - 28. Let k be o(-6). Solve -k*i - n = -p, g*i - 4*p = p - 16 for i.
-2
Let x = 0 - 0. Let n = 3255 + -3230. Solve x = -3*w + 6*w - 5*d + n, -d = -w - 7 for w.
-5
Suppose -5*r - 32 = -52. Let s be 2 - 0 - 15/(-3). Let m be s + -1 + 1/(-1). Solve r + 7 = v - 2*g, 4*v = -m*g + 5 for v.
5
Let w = -28 + 31. Let f be w*1*(-6 - -9 - 2). Solve 8 = -4*r - f*y, -r + y = -2*y - 13 for r.
1
Suppose 3*z + 174*j - 33 = 172*j, 0 = 3*z - 4*j - 33. Solve 2*f - y - z = -1, 2*f + y - 2 = 0 for f.
3
Suppose 0*u = 2*u + 3*v + 22, 0 = 5*v + 10. Let p be u*(-6)/48 + 0 + -1. Let k be 5*(-2 + (1 - -2)). Solve n - 2*s = 11, s - k*s - 16 = p for n.
3
Let l(i) = -18*i + 1. Let c be l(1). Let b = 19 + c. Solve -4*p = -2*p - s - 8, -4*p + 8 = b*s for p.
3
Suppose 0 = -8*b + 23 + 9. Solve -2*s - 3*k - 3 = -5*s, -b*k - 18 = 3*s for s.
-2
Suppose 4*b + h = 4*h - 7, 2*b = -5*h + 29. Let a(q) = -b - 12 + 3*q - 5*q + 3*q. Let u be a(18). Solve p = -2*p + 6, -d = 3*p - u for d.
-2
Suppose 4 = 109*o - 107*o. Suppose 3*q = -12, -4*q - 1 = 4*s - 81. Solve -5*g = -4*r - g - s, o*r + 3*g + 2 = 0 for r.
-4
Let l(b) be the first derivative of -3*b**2 + 27*b - 2. Let y be l(4). Suppose -9 = -z - 0*z. Solve -4*u + 27 = y*x, 4*u - 2*x = z*u - 25 for u.
3
Let u be (-1 - 0) + 1 + -2 + 4. Suppose -2*d = -d. Suppose -4*k + 8 = -d*k. Solve 4*q + 2*o - k = 0, 0 = 2*q - 5*q - u*o for q.
2
Let m be -8 - -13 - 1*-2. Let i be (7 - m) + 1 + 2. Suppose -2*c + 2*h + 7 + 5 = 0, 0 = -i*c - 3*h + 12. Solve -2*b = 4*j - b, 0 = c*j + b for j.
0
Suppose 2*r = 3*r. Let p be r - (-8)/(0 - -4). Suppose 0*m = -m. Solve m = -z + 2, -6 + 2 = -p*k + 2*z for k.
4
Let z(h) be the first derivative of -h**2 - 4*h + 3. Let q be z(-3). Let m be -5*(24/(-10) + q). Solve -a - 2*a - m*y + 1 = 0, a + 11 = 5*y for a.
-1
Let n = -9 + 12. Suppose 0*t + 15 = n*t. Suppose 2*s - 4 = -t*i + 1, s - 4*i - 9 = 0. Solve -1 = -p + 3, s*q = -2*p + 23 for q.
3
Let b be ((-4)/3)/((-2)/6). Suppose -h - h = 30. Let n be (h/((-15)/(-3)))/(-1). Solve -5*k - b*u - u - 45 = 0, -2*k + n*u = -2 for k.
-5
Suppose -3*h - 2*j = -3, h + 0 = -2*j - 3. Suppose -u - 3*o = 9, 2*u - 2*o - 3 = h. Solve -2*q - s - 11 = u, -q - 4*s - 13 = 10 for q.
-3
Let h(b) = -b**3 - b**2 + 8*b + 8. Let n be h(-3). Let k be (1 - 2)/((-2)/(-8)). Let p be 24/(-20)*10/k. Solve r = -n*r - 3*u + 9, -2*r = u - p for r.
0
Let x(j) = 13*j**2 + 1. Let l be x(1). Let k be 5*(-1)/(-15)*-15. Let d be -1 - k - (-7 - -8). Solve v = 2*m + 9, -2*v = -d*m + m - l for v.
5
Let i(n) = 2*n**2 - 4*n + 3. Suppose -3*p + 7 = u - 2*u, 0 = u + 5*p - 17. Let v be i(u). Solve -4*g + v = 5*t + 28, 0 = 2*t + 3*g + 10 for t.
-5
Let i = -73 + 76. Suppose 4*j + 4*p = 84, 0 = j - 5*j - i*p + 87. Solve 2*d - c - j = 4*c, 0 = 2*d - 3*c - 16 for d.
2
Suppose 0 = 5*x, -2*n + 10 = -0*x - 3*x. Let q = n - 3. Suppose 0 = q*y + 5 - 13. Solve -4*c = 2*k - 8, 4 = -2*c - y*k + 14 for c.
1
Suppose 2 = 5*v - 20*a + 18*a, -5*a + 20 = 0. Solve 0*m + v*y + 15 = 5*m, 0 = -5*m - y + 30 for m.
5
Let u(a) = 2*a - 26. Let k be u(11). Let p(d) = d**3 + 3*d**2 - 5*d. Let i be p(k). Solve v = -i, -3*m - 5*v - 40 = m for m.
-5
Let m be ((-4)/16)/(579/(-192) - -3). Solve 5*w - y + m = 0, 0 = 6*w - w + 3*y + 3