 for s.
5
Let y(t) = -t - 2. Let o be y(-4). Suppose 6*z = -2*x + 10*z, 4*z = -4*x + 36. Let k = -12 + 25. Solve -m + k = c - x*m, -4*c + o*m - 2 = 0 for c.
-2
Suppose -14*y = 26*y - 15*y - 350. Solve -4*b - 3*r + 16 - 2 = 0, y = 2*b - 2*r for b.
5
Let j(g) = -5*g**2 + 30*g + 35. Let m be j(7). Solve 4*y + 2*h - 10 = m, 3*h = -35*y + 34*y + 10 for y.
1
Let s = 8 + 13. Let w be s/2*2/3. Suppose -9*f + w*f = -10. Solve b + 14 = 5*v, -5*v - f*b + 25 = 5 for v.
3
Let v = -588 - -591. Suppose -13*j + 9 = -3*p - 8*j, -7 = p - v*j. Let h = -1 + 1. Solve 5*d + 17 = -p*w, h = 5*w - 0*w + d + 8 for w.
-1
Suppose 3*i = -2*i - 4*d + 57, -3*i = -3*d - 45. Solve 3*x = y + i, -5*y - 5*x + 3 = 8 for y.
-4
Suppose 70*s - 87 - 65 = 128. Let l(n) = n - 2. Let k be l(5). Suppose k*i - 2*i = -4*v + 77, -5*i + 24 = v. Solve -v = -3*t - s*b, -3*t = -2*t - 2*b + 7 for t.
1
Let k(w) = 4*w**3 - 6*w**2 - w - 3. Suppose 0 = 7*i + 20 - 34. Let b be k(i). Solve b*r = 3*v - 6, -r + 4*v - 10 - 1 = 0 for r.
1
Suppose 0 = -45*b + 56 + 107 - 28. Solve -b*n + n - 3*z = 1, -5 = n - 3*z for n.
-2
Suppose -63 + 1631 = 14*h. Let w be (32/h)/(3/42*2). Solve -w*n - 7 = -3*n - 3*o, 4*o - 3 = 5*n for n.
1
Suppose -35*i + 31*i - z = -81, 4*i - 69 = -5*z. Suppose 0 = b - 5*t + i, -79*b + 5*t - 41 = -83*b. Solve 0*x + 10 = 2*x + b*u, x - 4*u + 19 = 0 for x.
-3
Suppose 7*o - 11*o + 8 = 4*l, -o = -3*l + 18. Solve 0 = i + 4*a + 14, l*a - 4*a - 4 = -4*i for i.
2
Let s(h) = h**3 - 12*h**2 + 5*h + 108. Let b be s(4). Suppose 2*j + 9 = -3*w, 4*j - 5*w = 5*j + 22. Solve b = a + 3*m + 9, 3*a - m - j*m = 12 for a.
0
Let b(u) = 3*u**2 + 20*u + 53. Let c be b(-3). Solve 0 = 2*q - 6*i + 7*i + 9, -5*q - 2*i - c = 0 for q.
-2
Let c = 74 + -72. Suppose 4*a + c - 10 = -3*r, 2*r = -5*a + 10. Let t be (2/a)/(5/20). Solve -4*o + 12 = 4*v, t*v = o + o + 24 for v.
5
Let h be 66 + -5 + -1 + 7. Let i = h - 63. Solve -3*r + 2 = -4*r + i*x, 4*x + 4 = -2*r for r.
-2
Let r(i) = 6*i**3 - i**2 + 2*i. Let y be r(2). Solve -2*m = -o, 47*m = y*m - 4*o for m.
0
Suppose -2*r - k - 4*k + 64 = 0, 3*r - 75 = 3*k. Let j(h) = 9*h + r - 29 + 0*h + 60. Let l be j(-6). Solve -5*s + 3*s - l = 4*m, 3*s = 2*m + 10 for s.
2
Let l be 1/4*(-4172)/(-7). Let d = l - 146. Solve -3 = -3*k - d*v, k - 4 = -3*v + 1 for k.
-1
Let j(g) = 44*g + 1234. Let b be j(-28). Solve 0 = -5*c + 4*m - 1 + 18, -11 = -3*c + b*m for c.
5
Let t be (-58)/(-232)*(17 - 5). Solve t*y = 37*z - 40*z + 9, -5*z + 13 = 3*y for z.
2
Let t(j) = 32*j**2 + 117*j - 39. Let l be t(-4). Solve -2*i = -5*x - 10, 5*x + 0*i - l*i + 10 = 0 for x.
-2
Let w be 4*1*(29 - (-545)/(-20)). Solve o - 4*o + w = 5*c, 0 = 3*o + c + 1 for o.
-1
Suppose 36*g - 29 - 26 = 17. Solve -31*d + 3*h = -29*d + 9, 5*d - g*h = -6 for d.
0
Let w(b) = 35*b + 1121. Let h be w(-32). Let j be 14/2 - 8/8. Suppose 9 + 3 = 4*a. Solve -h = t - f, -a*f = -0*f - j for t.
1
Suppose -2*t = -4*s + 46, -36 = s - 4*s + 3*t. Let l(i) = 31 - s*i - 42 - i**2 + 28. Let n be l(-12). Solve -2*m = -d + 13, -3*d + n*m + 14 = -21 for d.
5
Let w(s) = -2*s**2 - 29*s + 21. Suppose h - 17 = -31. Let u be w(h). Solve -2*i = -t - 10, -6*i + i + u = -5*t for t.
-4
Let i = -4 - -6. Suppose -m - 157204 = 46*m - 157392. Solve 4*x - i + 4 = -2*o, -3*x - m*o = -6 for x.
-2
Let a be ((-9)/42)/((-4)/(-42))*(-8)/6. Solve -3 + 6 = -4*n + a*y, 2*n - 3 = 3*y for n.
-3
Suppose -112*r + 2464 = -0*r. Solve 0 = 3*l - y - 7, -2*l + r = -3*y - 2*y for l.
1
Let a = 2369 - 2365. Solve 0 = -f - 2*r + 6, 3*r + 0 = 5*f - a for f.
2
Suppose 22*t = 19*t - 3*s + 372, 496 = 4*t - 3*s. Let j be 1/8*-2 - (-31)/t. Solve -3*y - 3 = -j*x + 5*x, x = -y - 1 for y.
-1
Let s(k) = 139*k**2 + 277*k + 1. Let v be s(-2). Solve d = -3*p - 12, 1 + 20 = -4*d - v*p for d.
-3
Let q be 21 + (-2 - -3) + (4 - 15). Solve -q = -19*z + 22*z + 5*v, -3*z = -2*v - 17 for z.
3
Let k(i) = 10*i**3 - 3*i**3 - 2*i - i**3 - 7*i**2 - 8*i**3. Let z be k(-4). Solve -5*f = -n - 8, -2*f = 5*n - 11 + z for f.
1
Let h be 355/284 + 1/4*11. Let b be (-1 - (-2)/h) + 1342/44. Suppose 5*c = -0*c + 10. Solve -5*k = -5*p + b, c*k - 4 = -4*p + 2 for p.
3
Let n be (-2)/5*(-26 + 21). Let f = 17 - 17. Suppose 2*s = h + 39 + 8, f = n*s + 3*h - 27. Solve 2*p + 2 = t + 8, p - 5*t = s for p.
1
Suppose -6*s + 7*s = 4. Suppose s*g + 3 = 15. Solve -4 = 3*a - w, 2*a - 1 = -w + g for a.
0
Let o = -2562 + 2581. Solve -3*k = 4*h - 26, 0 = -2*k + h - 4*h + o for k.
2
Let w(l) = -3*l**2 - 11*l - 3. Let c(r) = r**2 + r. Let h(t) = -4*c(t) - w(t). Let o be h(6). Solve o = -4*i + 7*i, -u = 4*i - 16 for u.
4
Suppose -44*z = -55*z + 66. Suppose 8 = g + 5*o + 30, -2*o = -g + 13. Solve 10 = g*v + z*x - 2*x, -3*x - 7 = -5*v for v.
2
Let j = -409 - -413. Let b be (8/(-6))/j*(-11 - -11). Solve b*t + 2*t - 2 = -4*r, t + r = 0 for t.
-1
Let d = -90 - -93. Let v be 4/10 - (-72)/20. Let f be (-5)/35 + 36/7. Solve 33 = -d*o - f*a + v, -5*a = o + 23 for o.
-3
Let c be -14 + 18 - 1*-3. Let n = 5 + -3. Let j be (-3)/(-5) - ((-207)/(-115))/3. Solve -c = 2*t + w - 4, n*w - 2 = j for t.
-2
Suppose 80*y - 2 + 54 = 84*y. Solve -5*g - 15 = 3*k, 0 = -5*g + 8*k - y*k - 25 for g.
0
Suppose 5*l = 20, d + 3*l = 5*d - 4. Suppose 11*g - 37 = -d. Solve -g*m + 0*n = 3*n + 6, -n - 3 = 0 for m.
1
Let q = 115 - 113. Suppose -u - 63 = 5*w, 28 + 14 = -u + q*w. Let l = u + 52. Solve l*j = -v + 6*j + 4, -5*v + 5 = -5*j for v.
-2
Suppose h - 4 = -5*l, 5*h - 21 + 1 = 5*l. Solve -4*q + q + h*i - 21 = 0, -4*i = 5*q + 3 for q.
-3
Let m be (-1 - (2 - 1)) + 320 + -318. Solve 9 = 3*y - 6*a + 3*a, m = y + a + 1 for y.
1
Suppose 2*c - 9 - 3 = 0. Suppose -236 = -c*o + 316. Let z = -87 + o. Solve z*n - 3*v = -6, -1 = -n + 4*v - 9 for n.
0
Suppose 4*h + h = 0. Let b be 10 - 6 - (0 + h). Let u = -266 - -268. Solve b = -k - a, 0 = 2*k - k - u*a - 8 for k.
0
Suppose j + 4*j + 27 = 2*t, 4*j = -12. Suppose 5*z = -t + 6. Suppose 2*m - 5*c + 40 = 7*m, -2*m = 4*c - 26. Solve z = m*f + v + v - 9, 0 = -4*f + 2*v - 2 for f.
1
Suppose -z + 3*h + 41 + 187 = 0, 0 = -3*h - 15. Let f = 213 - z. Solve 3*m + 9 = f, -m - 4*m = -b + 11 for b.
-4
Let s be (49716/(-21))/4 - (-3)/(-21). Let u = s - -596. Solve 3*m + 5 - 18 = 4*y, -2*y - 4 = -u*m for m.
-1
Let d(r) = -r**3 + r**2 + r - 2. Let t be d(-3). Let k = t - 33. Let x be (1 - 0)*k + 4. Solve 3*z = 8*z - x*q, 0 = -5*z - 3*q for z.
0
Let f be 2*(-3)/18*0. Suppose 0 = -h - 3*u - f - 7, -2*h + 3*u = -22. Solve 2*t + 9 = -5*g, 5*t + 0*g - 30 = h*g for t.
3
Let u = 2363 - 2360. Solve k = -5*i + 11, 0 = -u*k - 2*i - 4 + 11 for k.
1
Let y(j) be the third derivative of -7*j**4/24 - j**3/2 - 2*j**2 + 12. Let d be y(-1). Solve -q + 4*q + 2 = 2*h, 0 = d*h + 3*q - 4 for h.
1
Suppose -2*f = m + 1 - 9, 0 = -m - 4*f + 8. Suppose -2*i + 0 - 6 = -4*c, -m = -4*i + 3*c. Solve -4 + 0 = -i*g - k, 5*g + 3*k - 12 = 0 for g.
0
Suppose -6*v - 2*v = 13*v - 105. Solve 7*u - 3*u - 36 = -4*c, v*c - 4*u = 0 for c.
4
Let m be ((-3)/(-5) + (-2968)/280)*6/(-15). Suppose -2*z = -5*z + 30. Let j = z - 7. Solve q - m*v = v + 20, -j*q = -v - 18 for q.
5
Suppose -3*m = 5*x - 32, 33*x = 29*x - 3*m + 28. Solve -11 = f - x*w - 0, -3*f + 2*w = 13 for f.
-3
Let z(x) = -x**2 + 14*x + 183. Let o be z(-8). Let s = 2 + 0. Suppose 3*y - 13 = -2*p - 0*p, s*y + 23 = 5*p. Solve -3*m + 4*h - o = 0, -3 - 6 = 4*m - p*h for m.
-1
Let p be -2 - (-528)/(-220)*(-5)/2. Suppose p*k + 0*k - 12 = g, -g + 2*k - 4 = 0. Solve 2*y + 2*x = -y + 5, -g*x = -2*y + 14 for y.
3
Suppose -3*m + 42 = -309*i + 312*i, 0 = -5*i - 4*m + 67. Solve 5*v = 3*p + i, 9 = p + 11 for v.
1
Let q be -1 - (-3)/(2 - -1). Suppose -4*t + f + 12 = 0, -4*f + 54 - 22 = 4*t. Solve -t*i + q*i + 6 = 2*h, 5*i = -2*h + 5 for h.
5
Suppose -u + 0*q = -5*q - 23, 2*q = -u - 5. Suppose -u*r = 4*r - 21. Suppose -r*b = -0*b - 72. Solve 3*j = -5*o - b, 5*j - 4*o = -0*o - 3 for j.
-3
Let i(c) = 1667*c - 9998. Let l be i(6). Solve -l*f = 2*g, -5*f + 2 = -9*f - g for f.
-1
Suppose 0 = -4*q - 0*q - 3*z + 65, -3*z - 54 = -3*q. Solve q = -u + 3*v, 3*u + v + 6 = -5 for u.
-5
Suppose -5*h - 1 + 11 = 0. Let o be (-42)/(h - 3/12*11). Let u = o + -53. Solve -24 = -2*p + 4*w, 0 = u*p + p + 4*w for p.
4
Suppose 2*r - 18 = -4*w - r, -20 = -3*w + r. Let i(p) = 4*p**2 - 21*p - 13. Let u be i(w). Solve -u*y = 6*d - d + 30, -y = 2*d + 8 for y.
-4
Let r(t) = -t**3 