 for f.
0
Let g(z) = -z**2 - 10*z - 24. Let m be 464/56 + -8 - 250/(-7). Let t be (-20)/(-6)*m/(-24). Let b be g(t). Solve -3*x + 5*a - 11 = -0*a, 3*x + 5*a = -b for x.
-2
Suppose -81*b + 85*b = -8, 2*u + b = 20. Solve g - 4*k = -2 + u, 0 = -g + 3*k + 7 for g.
1
Suppose -14*s + 25*s = 7*s + 24. Solve 2*h - 4*f - 2 = s, 2*f = 2*h for h.
-4
Let s be (34*(-13)/(-221))/(3*(-6)/(-189)). Solve -s*v + 26*v = 4*z - 16, 0 = -5*v + 3*z - 17 for v.
-4
Let g be (-2 - 8/(-3))*9/2. Suppose 0 = 4*h - 2*o - 28, 0 = 8*h - g*h + 5*o - 20. Solve 3*w = 3*f - h, -f - w + 8 = -4*w for f.
-1
Let i be ((1 - 3)*-1 - -2)*2 - 6. Solve t - 3*t + 5*x = -5, 6 = -i*x for t.
-5
Suppose -6*k = 5*k + k - 108. Solve -5*m = -t - k, 0 + 5 = -3*t + 4*m for t.
1
Let v(p) = -12*p - 6. Let r be v(-4). Let s(q) = -4*q**2 - 31*q + 7. Let y be s(-9). Let l = y + r. Solve 3*c - 20 = -4*u + 5, -l*u = c - 19 for c.
3
Suppose 0 = 5*p + s - 52, 12*p + 5*s = 11*p + 20. Solve 3*m + p = -4*w, -4*m + 11*w = 13*w + 10 for m.
-2
Suppose -3*z = -19 + 10. Suppose z = 10*x + 153. Let k be x/15 + 22 + 0 + 1. Solve m = 5*h + k, -5*m - 5 = -5*h - 35 for m.
2
Let l(f) = -f**3 - 25*f**2 + 115*f - 30. Let k be l(-29). Let n be k*1*0 + 120/40. Solve -10 = -n*p + 4*g - 3, 0 = 3*p - 3*g - 9 for p.
5
Suppose 476 = -9*u + 521. Solve 3*l - 4*b = -3*b + 13, u*b = 5*l - 15 for l.
5
Suppose -3 = -r + v, -3*r + 7*r - 10 = 2*v. Let n(y) = -y**3 + 4*y**2 - 3*y - 1. Let k be n(r). Solve z - 4*x = -k, -15 = -8*z + 4*z - 3*x for z.
3
Let v = 7447 + -7439. Solve n - 18 = 5*o, -26*o + 25*o - v = 2*n for o.
-4
Suppose -3*v - 9 = 0, 3*y = 25*v - 27*v - 6. Solve y = 3*s - 3*l + 12, 0*l = -4*s - 4*l + 24 for s.
1
Let x(b) = 5*b**2 + 160*b - 672. Let q be x(4). Solve 44*p = -5*n + q*p, -3*n - 3*p = 0 for n.
0
Let j(l) = l**3 + 2*l**2 - 20*l - 55. Let g be j(5). Solve -5*m + 5*r = -30, -5*m + 148*r - 153*r + g = 0 for m.
5
Let y(u) = u**2 - 5*u - 91. Let j be y(-8). Solve n + j = -n + 3*t, 3*n = -t - 3 for n.
-2
Suppose -r + 2*r - 3*i = 7, -r = -2*i - 6. Let n be (-6)/(-21) - (0 - 384/28). Suppose 127*j = 120*j + n. Solve -f + 4 = -5*k + f, -3*k - r = -j*f for k.
0
Suppose 6*m - 6 = 9*m. Let q be (-66)/(-15) + (-32)/(-20) + m. Suppose -7*y + 3*y - u + 15 = 0, 2*y = -4*u + q. Solve -z = 3*j + j - 2, -y*z - 11 = -3*j for z.
-2
Let b = 133 + -47. Let q be -1*3/(-9)*12. Suppose -2*t = q*k - b, k + 7*t = 2*t + 35. Solve -5*c + a + 0*a = -k, 5*a + 40 = 5*c for c.
3
Suppose -144 = -25*y - 24*y - 23*y. Solve -2*s + 2 + 0 = -y*m, s = -1 for m.
-2
Suppose 112*l = 53*l + 1770. Solve 2*x - 2*b - 18 = 0, -11*x + 9*x + 5*b + l = 0 for x.
5
Suppose -23*k = -k - 682. Solve -k = 4*h + 84*s - 79*s, 3*h - 4*s = 0 for h.
-4
Let i be ((-93)/9 - -8)*3. Let s(d) = -d**3 - 4*d**2 + 22*d + 12. Let z be s(i). Solve 5*o = z*m + 30, 3 = -2*m - 3*o + 2*o for m.
-3
Let b = -3955 - -3957. Solve -5*a - g = -4*g - 11, -b*g - 10 = -4*a for a.
4
Let z = 354 + -354. Let p(y) = y**2 + 7*y + 9. Let b be p(-5). Let d be (-90)/(-20) + b/2. Solve f = 2*f - c, -d*f - c - 15 = z for f.
-3
Suppose 2592 = 15*f + 93*f. Solve -3*d - 3*z = 10 + 8, 5*z = -2*d - f for d.
-2
Let x(b) = 2*b**3 - b**2 - 23*b - 4. Let u = 82 + -85. Let f be x(u). Solve 3 - 19 = 3*z - 5*q, 12 = -f*z + 4*q for z.
-2
Let f = 19 + 5. Let x be 34/10 + f/15 + -2. Suppose -x*n - 5*n = -16. Solve -i = n*p - 9, 0*p + 5*i = 4*p - 11 for p.
4
Suppose -16*f - 116 = -12*f. Let x = f + 49. Solve x = -2*b + 4*y, -2*b = 2*y - 4*y + 14 for b.
-4
Suppose -2 = -3*t + 25. Let l be (4/6)/(3/t). Let u = 140364 + -140361. Solve -2*x - 5*j + u = l, 0 = 3*x + j + 5 for x.
-2
Suppose -5*h + 72 = 4*h. Suppose 0 = -5*y + h*y - 6. Solve k - 3*l = -4*l + y, -3*k - 5*l + 12 = 0 for k.
-1
Suppose 6*v - 3*v = 2*g + 15, -v + g = -5. Suppose 5*l - 50 = -v*t, 6*l - 2*l + 3*t - 45 = 0. Solve -4*r - 4*s + 17 = -l, -2*r + 3*s = 9 for r.
3
Suppose -896*h = -884*h - 4536. Let r = h - 374. Solve 0 = k - 2, -t + 4*k + 2 = r*t for t.
2
Let c = 556 + -1035. Let l = c - -483. Solve 8 = -l*s - 0*h - 5*h, 3*s + h - 5 = 0 for s.
3
Let t = -12351 + 12354. Solve -4 = 5*s - n - 2, 3*s = t*n - 6 for s.
0
Suppose 3174 = -37*p + 3285. Solve 7*i - p*i = -5*a + 14, -5*i + 32 = -a for i.
6
Let j(y) = y**3 + 36*y**2 + 5*y + 183. Let r be j(-36). Solve -q - 1 = 2*h, -r*h + 5 = q + 4 for q.
-5
Let r = 13235 + -13224. Solve 3*l - r = -2*t - 15, -2*t = -2*l - 16 for l.
-4
Suppose -418 = 4*v - 5*j, 3*v = 2*v + 5*j - 112. Let s = -93 - v. Solve -2*q + 6 = -5*l + 3*l, -3*q + s = l for l.
0
Let g(h) = 5*h**2 + 4*h + 1. Let b be g(-1). Suppose 0 = 3*q - 2*q + l + 9, -l = 3*q + 25. Let v = 8 + q. Solve v = -m - 1, -3*r = -b*m + 4*m + 17 for r.
-5
Suppose -8 = -4*a, 2*i + 4*a + 46 = -i. Let p be ((-160)/(-360))/((-4)/i). Solve -x - p*z - 3*z = 21, 0 = -2*x + 5*z + 33 for x.
4
Suppose 2472 = 1024*g + 212*g. Suppose 2*o - 27 = -o. Solve -7*t + g*t + y = 0, -2*y = -t + o for t.
-1
Let k(x) = 3*x**2 + 9*x + 13. Let u be k(4). Suppose -4*z = -3*d - u, -5*z + 143 = d + 17. Solve z = -0*p - p - 5*s, 8 = -2*s for p.
-5
Suppose 3*n + 173 = -157. Let u = 138 + n. Let x be 8/(-20) - 54/(-10). Solve x*l + 6 = 4*f, 4*f + 5*l - u = -2 for f.
4
Let x be 58/(-87) + -70*4/3. Let b = x - -99. Solve -5*q = 5*p - 25, 0*q + b = 2*q + p for q.
0
Let r(p) be the first derivative of p**4/4 - 2*p**3 + 9*p**2/2 - 2*p - 9. Let w be r(4). Solve 5*g - g + 10 = -w*s, 0 = -g - 3*s for g.
-3
Suppose -2*f - 5*y = -6 + 16, -5*y = 3*f + 10. Suppose a - t + 2*t = 3, t + 15 = 2*a. Solve 3*d - 3*h + 9 = f, -d + 4*h - a = 6 for d.
0
Let y = 130 - 104. Suppose -y*g = -4*g - 242. Solve -4*t + 3*k = k - 12, 4*k = t + g for t.
5
Suppose -5*t - 7 = -n, 3*n - 6*t = -7*t + 5. Suppose 2*j - 176 + 154 = 0. Let a(r) = 2*r - 6. Let v be a(5). Solve 4*g + 4*d - 4 = 0, n*d - 15 - j = v*g for g.
-4
Suppose 3*z - 15 - 57 = 0. Let r(i) = 35 + z - i**2 - i**2 - 19*i - 47. Let x be r(-10). Solve 2*y + x*g + 3 = -y, 4 = -2*y - 2*g for y.
1
Let l(p) = 173*p - 7236. Let t be l(42). Solve -5*b - t = 5*u, 97 = 5*b + 4*u + 122 for b.
-1
Let f be (8/(-2) - 65/(-20))*(-10 - -6). Let c(d) = -13*d - 1. Let x be c(-1). Let s be (3/2)/(9/x). Solve -k + 6*h + 13 = s*h, 3*k - 21 = f*h for k.
5
Let y(z) = -z**2 - 25*z + 191. Let c be y(6). Solve c*q - 2 = 3, -3*j + q - 16 = 0 for j.
-5
Let y = -38 + 43. Suppose 0 = -3*q - 4*d + 5 - 1, -5*q - y*d + 10 = 0. Suppose -q*o + 124 - 108 = 0. Solve 0 = o*h + 4*u - u - 14, 23 = 5*h + u for h.
5
Let d(f) = -6*f + 223. Let w be d(40). Let k be (-250)/(-80) - (w/(-8) + -2). Solve 3*m - 4 = 3*x + 8, -2*m = k*x + 2 for m.
2
Let u = 9 - -3. Suppose -u*c + 9*c = -9. Let y be (-20)/15*9/(-6). Solve c*z = 2*f - 16, 2*z + 0*f + 5*f - y = 0 for z.
-4
Let f(j) = -8*j - 24. Let t be f(14). Let i = -123 - t. Suppose 0 = -2*y + 6. Solve 2*g = -3*c - 12, 5*c - y*g + 7 = -i for c.
-4
Let n(d) = -3*d**2 - 19*d + 17. Let t = 350 - 357. Let q be n(t). Suppose -4*p = -9*p + 40. Solve -q*m - 9 = 4*b - p*m, b - m = -1 for b.
4
Let z = 23264 + -23254. Solve 5*o = 2*l + 24 - 49, z = -2*o for l.
0
Suppose -5*r = a - 53, a - 21 = -3*r + 10. Solve 2*l - 2*b - 25 = -r, 7 = 4*l + 3*b for l.
4
Let j = 25381 - 25357. Solve 2*r = 4*w - j, -2 + 14 = w - 2*r for w.
4
Let i = -79 - -76. Let y be 6 - (5 + (i - -2)). Solve -4*j = 4*s - 4, y = -3*j - 1 for s.
2
Let v be (-26)/52*((2 - 5)*9 + -1). Suppose -12 = -4*p + 2*p + 2*f, -10 = p + 3*f. Solve -5*q + v = n, -p*q - 2 + 3 = 5*n for q.
3
Suppose 0 = t - 4*t + 3. Suppose -11*o - 2*f - 50 = -14*o, -3*o = -5*f - 62. Let p = o + -9. Solve -2*y - s = -0*s + t, 5*y = -p*s - 15 for y.
2
Let p(w) = 2*w**2 + 6*w - 38. Let f(l) = -l**2 - 2*l + 18. Let t(i) = -5*f(i) - 3*p(i). Let z be t(-10). Solve -3*a - z*y - 3 = -y, -3*a - 3 = 4*y for a.
-1
Suppose -47*a + 12 = -46*a + 4*z, z = 2*a - 6. Solve -r - 8 = 3*s, a = -8*r + 4*r - 5*s for r.
4
Suppose -30 = 14*l - 5*g, -5*l = -g - 35 + 41. Solve -42 = 2*h - 36, 2*k - 2*h + 6 = l for k.
-6
Suppose -5*o - 100 = -160. Suppose r - 26 = -o*r. Solve 2*w - 2*s - 4 = -2, -r*s = -3*w + 1 for w.
-1
Let o be ((-6 - (-33)/6) + 3)*-4. Let d be o/(-7 - 63/(-14)). Solve -a - 8 = 2*f, 2*f + 8 = -d*a + 6*f for a.
-4
Suppose 2*z = l - 9 - 3, -5*z - 23 = l. Let i(p) = 1734*p + 48554. Let c be i(-28). Solve 15 = c*g + l*u + 1, 31 = 5*g + 3*u for g.
5
Suppose 8*w