2 for f.
2
Let y(w) = 7*w + 64. Let b be y(-4). Let u = -34 + b. Solve 0 = u*t - 4, x + 4*t - 7 = -3 for x.
-4
Suppose -52 = -4*q - 4*p, 6*q - 7*q + 16 = 2*p. Let m = 5 - 1. Suppose q = m*t - 10. Solve -t*n + 3*w + 19 = -3, -2*w = 5*n - 27 for n.
5
Let x = 58 - 256. Let z = 200 + x. Solve 3*k + 22 = -z*r, 5*r + 30 = -5*k + 3*r for k.
-4
Let y(l) = 14*l - 893. Let r be y(65). Solve 0 = -2*c + 3*v - 13, 5*c - 37 = -3*v - r for c.
1
Suppose 7*p = -2*o + 6*p - 8, -5*p - 4 = o. Let k be ((-249)/o)/3 + (-102)/136. Solve 2*c + 4 = -s - 6, -s - k = 4*c for c.
-5
Suppose 0 = 2*q - 2*a - 12, 0 = -5*q - 0*q - 5*a. Suppose 0 = q*t - 6, -32 = -4*c - 5*t + 14. Solve -f = -4*f - 9, 4*f = -l - c for l.
3
Let o be (1 + -2)/((4/10)/(-2)). Suppose 7*v + 6 = 3*z + o*v, 5*z - 3 = v. Let d(w) = 17*w - 3. Let p be d(2). Solve -k - p = -4*k + 5*m, 2*m + 10 = z for k.
2
Suppose 2457*w = 2461*w - 20. Solve w*b + 17 = -2*j, -1 - 4 = -j + 2*b for j.
-1
Let o be 1/(1/(-100)*-5). Let n be o/11 + 72/396. Solve -2*j - j + 20 = n*g, -4*j = -3*g - 4 for j.
4
Suppose 0 = -69*p + 64*p + c + 143, p = 3*c + 37. Let x be (5 - 3)*54/(-4). Let f = x + p. Solve 0 = -5*j + s - 18, -2*s + 5 + f = 0 for j.
-3
Let x be (3/(-1))/3 - 0. Let u be (x + -5 - -2)/(-3 + 1). Suppose u*y = -y - o + 6, 0 = -5*o. Solve 2*h = -v - 3, -2*v - 3*h + 8 = y*v for v.
5
Let s be (6 + -1)*(-8)/20. Let q be (-1)/((-5)/10*s). Let o be 5 - (-1 + 2 - q). Solve 4*k + 22 = -o*p - 13, p + 4*k = -25 for p.
-5
Let l be (35*6/49)/(24/112). Suppose 64 = -5*i - 26. Let d = i + l. Solve -1 = d*h - w + 10, 5*h + 2*w = -14 for h.
-4
Suppose -6*i + 0 = -6. Let u be 0*(1 - i/2). Let x be 6*(u + 1 - 15/(-9)). Solve r + 25 = -5*t, -2*t = -4*r - t - x for r.
-5
Suppose 23*f - 2*r = 24*f - 4, -2*f = 3*r - 10. Let u be -3 + (f - (7 - 5)). Solve 3*t + 11 = 4*d, 4*t - 7*d + 12 = -u*d for t.
-1
Suppose 19 - 19 = -8*i. Suppose -5*q + 18 = -9*c + 13*c, i = -5*q + 3*c + 4. Solve -q*s - 6 = r, -3*s - 6 = -5*r + 3 for r.
0
Suppose -108*i - 964 = -1180. Solve z = -4, -i*w - 145*z + 147*z = -14 for w.
3
Suppose 10 = -2*c + 4*h, 121*c + 5*h = 123*c + 14. Solve -4*v - c*a + 1 = -0, -3*v - 9 = -a for v.
-2
Let b = 456 - 372. Let l = -114 - -41. Let f = b + l. Solve -3*n + 4*h = 2*h + f, -n - 1 = 2*h for n.
-3
Suppose -8*w + 80 = 80. Suppose w = 2*a - 30 + 24. Solve 0 = -j + 2*j - 5, 3*h + 12 = a*j for h.
1
Suppose p - 3*d - 285 = 0, d + 0*d + 2 = 0. Suppose -22*t + p = -7. Solve 2*x = -3*k - t, 2*k = -k - 3*x - 12 for k.
-5
Let g = 10 - 7. Let v be (-15 + 15)/(10 - 11). Solve -2*f = o, g*o + v*f + 7 = f for o.
-2
Suppose -3*c = t + c + 16, 0 = 5*t + 4*c. Let g(k) = k + 15. Let w be g(-10). Suppose w*r + 80 - 135 = 0. Solve 2*b + 5*z = 1 - r, -b = t*z + 11 for b.
5
Let y(b) = b**3 - 23*b**2 + 46*b - 38. Let d be y(21). Suppose -d*s + 8 = -42*s. Solve -2*c = -3*z - 0*z - s, 0 = -5*c - 4*z + 28 for c.
4
Let x = 8 + -6. Let i = -106 + 115. Let p(h) = -h**2 + 7*h + 23. Let r be p(i). Solve r*v + 5 = -2*j, j + 3*v - 8 = x*j for j.
-5
Suppose -2*z = z. Suppose -22 - 38 = 20*n. Let c be n + 1 + 1 + 20/10. Solve z = 3*i - 4*f + 2 + 2, -c = 2*i - f for i.
0
Suppose -4*m = -5*q + 451, 9*m + 5*q = 4*m - 620. Let l = 146 + m. Solve 5*f - 2*k = l, 2*f - 4 = f - k for f.
5
Suppose -5*o + 4*n - 7 = 0, 88*o - 89*o + 2*n - 11 = 0. Solve -35 = 51*s - 48*s - o*x, 5*s + 4*x = -9 for s.
-5
Let c = 7923 + -7908. Solve 5*a + c*n + 3 = 12*n, a - 5 = -2*n for a.
-3
Suppose -10 = -5*b, j = -5*b + 4*b + 22. Solve -2*l - 8 = -2*g, 3*l - 11 + j = 0 for g.
1
Suppose 230*t = -303*t. Solve 3*h = 2*m + 7, t = m - 2*h - 9 + 15 for m.
4
Suppose 9*v - 5*v + 7 = 3*j, -5 = -5*v + j. Let k be (-2)/(5/(15/(-2))). Solve -v*p - k*d = -14, 0 = 3*p - 3*d - 0 - 6 for p.
4
Let p = 152 - 107. Let j = p - 38. Suppose j*m = m. Solve -3*w + 5*g + 12 + 5 = m, -4*g = 16 for w.
-1
Let y be 6/(4/2*1/(-47)). Let d = y + 185. Let l = -34 + d. Solve 14 = -4*t + x + 2*x, t - 4*x + l = 0 for t.
-2
Let s(h) = 8*h**2 - 15*h + 118. Let b be s(9). Let o = b - 629. Solve 0 = o*g + 5*r - r + 8, 2*g = -2*r - 6 for g.
-2
Let c be (-1 - (-18)/12)/(5/30). Suppose -s + 5*g = 20, -s - 2*s + c*g = 0. Solve -p - 10 = -4*r, s = 4*p - r + 15 for p.
-2
Suppose 21*s + 145 = 128 + 80. Solve s*l - 3 = -2*d + 4*d, 4 = 3*d + 4*l for d.
0
Let s = 587722 + -587722. Let y = 2 + 2. Solve y*u + z = s, u - 2*z = -3*z for u.
0
Suppose -b + 4*j + 7 = 0, -b + 19*j = 21*j - 13. Suppose 2*z = -z + 9. Suppose -z*v + 6 + 3 = 0. Solve -v*y - 29 = -5*r, r + b = -5*y - 0*y for y.
-3
Let s be 4 - (2 - 6) - 3/1. Suppose 4*y - 7*y + 6 = 0, 0 = -5*c - s*y + 55. Solve -c = -3*k + 2*v, -4*k + 3*v + 11 = -1 for k.
3
Let h(a) = 3 + 5 - 7 - 2*a. Let i be h(-1). Suppose 0 = 28*u + 2 - 142. Solve -5*s + 4*n - 6 = 7, u*s - i*n = -16 for s.
-5
Let q(t) = -2*t**3 - 18*t**2 + 20*t + 223. Let x be q(-9). Solve 4*i = 4*g - 8, 38*i - x*i = 4*g + 1 for i.
-1
Let w = 10294 + -10291. Solve 0 = i - 2*o + 9, 0 = 4*i - i - w*o + 18 for i.
-3
Let h = 4 - 1. Suppose 9*v = 134*r - 135*r + 27, -2*v - 88 = -5*r. Solve -3*f = 5*j + 12, -5*j + 0 - r = -h*f for j.
-3
Suppose -p = -4*f + 4, -4*f - 1 = -9. Solve 0 = 3*x + 2*a + 19, -x - p*a + 0*a - 23 = 0 for x.
-3
Suppose -1279*j - 1300 = -1304*j. Solve 2*c + 5*f = -15, f = -57 + j for c.
5
Let g = -325 - -373. Solve 5*m = 0, g*q - 52*q - 3*m = -8 for q.
2
Let i(j) = -27*j - 7. Let w be i(-1). Suppose 4*z = 10*q - 5*q - 20, -w = -5*q - 3*z. Solve q*r = -0*r - 5*a - 5, 5*r - 30 = a for r.
5
Suppose -z = 5 + 10. Suppose -23*w + 40 = -21*w. Let k be (-31)/(-4) + z/w. Solve 3*s + 4 = 2*d - k*d, -5*d = -2*s + 14 for s.
2
Let u(a) = 45*a**2 + 268*a - 6. Let g be u(-6). Solve -2*f - k = -11, -5 = -3*f + 2*k - g for f.
3
Let s be -2 - 33/(-15) - 36/180. Solve -5*p + 10*p + 4*w = s, 9 = -p + w for p.
-4
Let t(m) = -m**2 + m + 3. Let a be t(0). Suppose 0 = -s - 5, -v + a*s + 40 = -0*v. Solve 0 = h + h + 4*z - 12, 0 = -5*z + v for h.
-4
Let o = -5 + 10. Let u be -3*((-11)/(-3) - 5). Suppose -3*r - 5 = -u*r. Solve 4*n - 16 = o*q - q, -20 = -r*n for q.
0
Let i(k) = -k**3 + 13*k**2 + 7*k - 218. Let r be i(12). Solve 10*q = -3*l + 5*q - 14, 2*q - r = 4*l for l.
-3
Let j(p) = -861*p + 16364. Let m be j(19). Solve -3*a + m*a + 10 = -2*t, -2*t - 8*a - 34 = 0 for t.
-1
Suppose 0 = 5*f - 4*f. Suppose -k - g - 4*g + 10 = f, -3*k - 2 = -g. Solve -2*t = -4*i, k = -2*t + 6*t + i - 18 for t.
4
Suppose 21*w = 13*w + 8. Let b be w*(-8)/4*-10. Solve -c + 3*y = -2*c - 7, 0 = 5*y + b for c.
5
Let z(k) be the first derivative of k**3/3 + k**2 - 2*k - 16. Let u be z(-3). Solve 5*o - 6 = -2*a, 3*o + 2*a = 1 + u for o.
2
Let a(i) = -2*i + 49. Let t be a(21). Suppose -m = t - 12. Solve -r - 5*g = -0*r - 23, -m*g = 4*r - 17 for r.
-2
Suppose -726 = a + 5*a. Let q = a - -125. Suppose 4*g + q = 4*p - 40, -43 = -3*p + 5*g. Solve 0 = -4*x - 4*w + 5*w - p, w = -2 for x.
-2
Let s = 10 - 6. Let i = 18610 + -18604. Solve -17 = s*q - 5*j, -q + 3*j = i*j - 17 for q.
2
Let k = -18018 + 18021. Solve -3*h - 6*a + 7*a = 8, -k*h + 3*a = 0 for h.
-4
Let w = -1980 + 1985. Solve 5*c + w*r + 20 = 0, -4*c + 5*r - 3*r + 14 = 0 for c.
1
Let i = 899 + -894. Solve 0 = -4*o + 5*s + 6, -7*o - 22 = -10*o - i*s for o.
4
Let u be 38/(-513) + 249/81. Solve -l + 10 = 3*g, -5*l = -2*l - u*g - 6 for l.
4
Let u be (-2394)/114 + 45/1. Solve w = -4*l - 20, 3*l + 16 = 23*w - u*w for l.
-4
Suppose 0 = -4*z, 0*l + 14*z + 17 = l + 16*z. Solve 15 = 2*p - 3*t, 27 = -5*p - 2*t + l for p.
0
Suppose -4*u - o - 20 = -29, u = 3*o - 1. Solve 0*b + b + 3*y = 13, 3*b = u*y - 16 for b.
-2
Suppose 0 = -8*b + 64 - 472. Let h = b - -51. Let k be 1*((-8)/(-1) - 6). Solve h = -k*g - p - 5, -2*p = -g - 0 + 10 for g.
0
Let g = -24577 - -24581. Solve 5*w = -g*b - 3, 63*b - 15 = 62*b + 4*w for b.
3
Suppose 8 = r - 2. Let o(d) = -27*d - 69. Let h(s) = -14*s - 34. Let p(m) = -7*h(m) + 4*o(m). Let y be p(-6). Solve 0 = -g + 5*j - r, 3*g + g + y = 2*j for g.
-5
Let f(b) = -b**2 + 22*b + 50. Suppose 5*u - 43 = -2*o, 4*o - 3*o + 5*u = 19. Let k be f(o). Solve 14 = -l + 5*q, -k*l + 3*q = q + 12 for l.
-4
Suppose 4*l + 5*j = -282, 5*l + 4*j - 264 = 9*l. Let d = -66 - l. Solve 3*u + 5*y - 2 = 0, 2*u = -d*y - 0 + 4 for u.
4
Let o = 332 + -332. Suppose o = x - 0*p - 4*p + 10, 4*x - 3*p - 25 = 0. Solve 4*q + y + 6 = -x, 5