4*f for g.
-3
Let m(b) = b**2 - 4*b + 2. Let z be m(4). Let c be (1/z)/((-2)/(-8)). Solve 3*x - c*x = -2*v + 13, 5*x + 5 = 4*v for x.
3
Let a be (5*-3)/(9/(-6)). Suppose -6*y + y = -2*r + a, -10 = -r + 5*y. Suppose 7*t - 4 = 3*t, 2*c - 4*t - 2 = 0. Solve z + 2 = -4*b - 9, r = c*z + b - 11 for z.
5
Let m(a) = -a**2 - 11*a - 6. Let x be m(-10). Suppose 0 = -x*d + 2*d + 24. Solve 4*j + 3*z + z - 8 = 0, -5*j - 3*z + d = 0 for j.
3
Suppose 5*m = -0*m + 20. Let q be (0 - -9)*(-28)/(-126). Solve 1 = 3*a + q*r - m, -5*r + 21 = -a for a.
-1
Let h(q) = -q**3 - 9*q**2 - 12*q - 10. Let c be h(-8). Suppose 5*r - 43 = -4*x, x - 3*r + 7 = c. Solve 0 = -4*k + x, -2*g = -2*k + 7 + 1 for g.
-1
Suppose -3*i + 2 = a, 5*a - 5*i = -0*i + 10. Suppose -3*t + 9 = -5*x + a*x, -4*t = -5*x - 15. Solve -k + 3*y = -t*y + 15, -4*y + 19 = -k for k.
-3
Let m be 3/((-3)/2) - -4. Let s be (-5)/((0 + -2)/m). Solve 0*k + 2*k = -5*j + 10, 5*k = s*j - 10 for j.
2
Let o(g) = -g - 2. Let m be o(-5). Let j = -2 - -5. Suppose j*i = i, -m*u + 6 = 2*i. Solve -2*t = x - u*x - 5, -t = 0 for x.
-5
Let j be (16 - 1) + (2 - -1). Let a = 26 - j. Suppose -o - o = -4*f + 68, -4*o + a = f. Solve -4*c + c + 2 = 5*m, 2*m + f = 3*c for c.
4
Suppose 2*r = k + 23, 2*k - 42 = -4*r + 8. Let j be r/(-8) - (-33)/6. Solve 0*x = 2*x - y - 1, 0 = -4*x - j*y + 20 for x.
2
Suppose 3*u = 3 + 3. Let l = -196 + 196. Solve l*a = 5*b - 4*a - 25, u*a + 9 = -b for b.
1
Let y = 87 + -81. Suppose 3*x + 8 = -5*f - 7, 0 = -4*f - 5*x - 25. Solve f*o + 2*t + y = 5*o, 15 = -2*o - 5*t for o.
0
Let a be (-31)/(-3) - 4/12. Let p be 34/a + (-6)/(-10). Let k(u) = u**3 - 6*u**2 + 6*u - 3. Let s be k(5). Solve -3 = -b - x, 2*b - s*x - p = -b for b.
2
Suppose 22*v - 11 - 55 = 0. Let m be 34/8 + (-2)/8. Solve v*x - 14 = 2*k, -m*k = -2*x - 0*x + 12 for k.
-1
Let g be 0*1/2 - 0. Let i be 1 - 0 - (-1 - -2). Suppose -f = -i*f - 5. Solve 5*c - 5*b = g, c + f*b = 5*c + 4 for c.
4
Suppose -11*c + 6*c + 4*g + 10 = 0, -c = -5*g - 2. Solve 0 = -c*q - 5*h + 29, -2*q + 5*h = -0*q + 21 for q.
2
Let l = 137 + -127. Solve -s - l = 3*i, i = s - 2 - 4 for i.
-4
Let x = 1 + 3. Solve -5*u = -4*s - 13 + 2, 4*u + x*s = 16 for u.
3
Let q = -8 + 14. Let t be (-2)/3*(-207)/q. Solve -3*b = 3*y - 3 + 21, -2*b + 5*y + t = 0 for b.
-1
Let g(b) = 3*b + 2*b - 3 - 3*b - b. Let l be g(9). Solve k + 4*w + 41 = l*k, 5*w + 45 = 5*k for k.
5
Suppose -a + 71 = 3*a + x, 3*x + 76 = 5*a. Solve p - 4*h + 8 = a, -5*p - h = -3 for p.
1
Suppose d - 39 - 45 = -5*a, -4*a + 2*d + 56 = 0. Suppose -3*z - 4 + a = -2*h, 5*h - 4*z + 37 = 0. Let f = -4 - h. Solve 3*x = -f*j, 5*x = 4*j - 8*j for x.
0
Suppose 2*d + 6*z = 5*z + 13, 0 = -d + z + 8. Suppose 2*t - d*t = 0. Solve -14 + 2 = 4*c - 5*m, t = c + 4*m + 3 for c.
-3
Let q(y) = -y**2 + 2*y**2 - y + 2*y. Let g be q(4). Solve -5*f - u = -f + g, -15 = 3*f + 3*u for f.
-5
Suppose -4*j - 60 - 28 = 0. Let q = 5 - j. Suppose -3*u + q = -3*v, -2*u + 3*v = 6 - 29. Solve 5*x - x = 0, u*x - 10 = -2*w for w.
5
Suppose 3*l + 0*l = 5*i - 7, 2*i + 1 = 5*l. Suppose 7*m = i*m. Let t = 4 + m. Solve 5*q + 0 = -4*s - 27, -5*s - 3 = -t*q for q.
-3
Let i be (-10)/(-15) - (-7)/3. Suppose b = i*b. Let y be 3 + -3 + b/3. Solve -4*l - 5*f - 32 = y, 2*l - 2*f + 0 - 2 = 0 for l.
-3
Let j be (-3)/(-12) - 62/(-8). Let v = 12 - j. Solve 20 = -4*c + 5*l - v*l, -4*c - 24 = -2*l for c.
-4
Suppose 5*h - 3*h = 10. Let p = h - 2. Solve 0 = 4*v - p*b - 0*b + 5, -4*v - 4*b - 12 = 0 for v.
-2
Let y = 5 - 2. Solve 0 = 4*z - y*c + 5, 3*z + 7 + 0 = -c for z.
-2
Let c = -40 - -22. Let n be c/3*2/(-4). Solve 3*z + n*i + 21 = 0, 9 = -3*z - 2*i - 9 for z.
-4
Suppose -32 = 3*p - 20. Let s be 6 - (-8 - p)/(-1). Solve -4*i + 8 = s*y - 0, 2*y + 3*i - 8 = 0 for y.
4
Let c(k) = -5*k**3 - 4*k**2 + 3*k - 5. Let q(n) = -n**3 - 1. Let z(l) = c(l) - 6*q(l). Let y be z(3). Solve 0 = 5*p - i + 2, 4*p - 2*i = -i - y for p.
-1
Suppose -7*f - 8 = -9*f. Solve 5*z + 28 = 4*d, -3*d + 8 = -f*z - 14 for z.
-4
Suppose -4*o = -6*o + 6. Solve 3*v - 3*t = 3, -o + 7 = 4*v + 3*t for v.
1
Let t(j) = -j**3 - j**2. Let l be t(2). Let b = l + 18. Let z be (-4)/((-8)/b)*1. Solve 2*o = f + z, -2*f + 0*f + 12 = 5*o for f.
1
Suppose -5*n + 90 = 5*q, 4*n - 2*q = 3*q + 45. Suppose 2*c = -3*c + n. Solve f + 4*u - 1 = 0, c*f - u = -0*u + 3 for f.
1
Let l be -3 - (-2)/(6/9). Suppose -4*c - 6*i + i + 32 = l, -c - 4*i + 19 = 0. Solve -m = -2*m + c*q + 4, 3*m - 5*q = 0 for m.
-5
Suppose 40 = -2*n + 44. Solve -2*x - 12 = n*v - x, -v = -x for v.
-4
Let q = 14 + -14. Solve 5*d = 2*v + 3*d + 2, -2*v + 5*d - 8 = q for v.
1
Suppose k = -2*k - 2*d + 8, -5*k - 5*d + 10 = 0. Let m(u) = -u**3 - 3*u**2 + 3*u - 2. Let q be m(-4). Solve 4*g - 2*h + k = q*g, -2*h = -4*g for g.
2
Suppose 4*h + 17 = -7. Let t = 13 + h. Suppose -2*d - 20 = -t*d. Solve d*u + 4*n + 22 = -6, 5*u = 3*n + 5 for u.
-2
Suppose 0 = -5*f + 62 + 63. Suppose 26 + 12 = 4*n + 2*t, -2*n + f = -t. Solve -y + 3*y + 3*m = n, 5*m = 2*y + 29 for y.
-2
Let m(j) = -j**3 - 3*j**2 - 3*j. Let v be m(-2). Let n be 3 - (0 - 10 - 2). Let p be 1/(v - 27/n). Solve -y = -4*g + p, -5*y - 3 = 2 for g.
1
Let f be 606/8 - (-2)/8. Let y = f - 41. Let i = y - 21. Solve i = d - 3*h, -3*d = -h - 14 - 4 for d.
5
Let o = -5 - -8. Let c be ((0/(-1))/o)/(-1). Suppose -2 = -t - 0. Solve 3*i - k - 5 = -0*k, c = -t*i - 4*k + 22 for i.
3
Let k = 251 + -246. Let p be 1/(-2 - 26/(-12)). Solve -5*a - p = -b, -k*b - a + 3 = a for b.
1
Let q(r) = 6*r - 2. Let f be q(3). Solve 4*u + 2*m + f = -2*m, 2*u - m = -11 for u.
-5
Let r = 0 + -3. Let f = r + 5. Solve 5*u + 14 = 3*z, f*u = -3*z - 1 + 8 for u.
-1
Let j = -30 - -33. Solve -20 = 4*w + a, -j*w + w + 3*a - 10 = 0 for w.
-5
Suppose -2*t + 6 = -6. Let b be (-22)/(-4) - (-3)/t. Let z be b/4*(3 - 1). Solve z*x + 5 = 4*y, 2*x - 3*y + 2*y + 5 = 0 for x.
-3
Suppose 11*h + 12 = 14*h. Solve b = g + 4*b + 13, 4*b - h = 4*g for g.
-4
Let m = 110 - 89. Solve 0 = -2*a - 5*u - m, 3*a - 28 = 4*u - 2 for a.
2
Suppose 0 = -6*g + 7*g - 5. Solve 3*l - l - g*i = -5, 2*l + 5*i = 25 for l.
5
Let p(r) = -7*r + 2. Let d be p(-3). Solve -4*w + 3*v + d = 0, -w - 2*v = 1 - 4 for w.
5
Suppose 5 = -2*q + 25. Let o be (1/(-2))/(1/(-10)). Solve -4*r + k - 13 = 0, 4*k = o*r + q - 2 for r.
-4
Let t be 3*5 - (-11 + 17). Suppose 0 = -9*l + 4*l + 25. Suppose -l*a - 1 = -201. Solve 10*r - 4*c - a = 5*r, r - t = c for r.
4
Let y be 77/4 + (-18)/(-24). Solve -v - v + 7 = -w, 5*v - y = 3*w for v.
1
Let k(y) = y**3 + y + 7. Let i be k(0). Suppose v = -2 + i. Let l = -18 - -21. Solve -3*d = 3*u + l, -v*d + u = -2*u - 27 for d.
3
Let j(w) = -w**3 + 5*w**2 - 6*w + 6. Let q be j(4). Let x be (2 - (0 + q)) + 1. Solve 4*a + 0*a = x*o - 5, a - 4 = 3*o for a.
-5
Let a(v) = -2*v**3 + 1. Let k be 3*2/(-12)*2. Let c be a(k). Let i = 28 + -24. Solve -i*f + y = -0*y + 7, 0 = -3*f + c*y - 3 for f.
-2
Let z be (-48)/(-9)*18/6. Solve -x = -4*n + z, 2*x = -2*x - 5*n + 20 for x.
0
Suppose -3*n - n + 8 = 0. Solve -3*t - n*o = -15, o = -3*t + 8 + 7 for t.
5
Let v be 4/6 + 2/6. Let b be 11/6 - v/(-6). Suppose -2*d - b*d + 4*i = -28, -3*d - 4*i = 14. Solve -15 = 3*m + 3*n, 3*n + 5 = d*m + 2*n for m.
0
Let l = -7 - -7. Solve -3*w + 16 = -l*h - 5*h, 2*h + 22 = -4*w for w.
-3
Let i be 0/(-4 - (1 + -3)). Let t be i/(1 - (-3 + 3)). Solve t*r - 5 = -5*l - 5*r, 3*r = -l + 9 for l.
-3
Let g = 10 + 0. Suppose 6*z = g*z - 260. Suppose h - 40 = -0*h + 5*m, 5*m = 2*h - z. Solve 0 = -5*p - 2*a - h, 3*p + 2*p + 25 = 2*a for p.
-5
Let s be 1/(-4) - 212/(-16). Let x = s - 8. Suppose -r = x*a - a - 7, 2*r = -5*a + 5. Solve 3*o - 4*o + 4 = 5*i, o = a*i - 4 for i.
1
Let c(t) be the first derivative of -t**4/4 + 4*t**3/3 - 3*t**2/2 + 3*t + 3. Let u be c(3). Let s be 0/(4 - u/1). Solve s = r + 2*i - 4*i + 5, r + 1 = i for r.
3
Let i = 1 + 1. Let j be 1/i*(-8)/4. Let q = 1 - j. Solve -y - 15 = 5*n, q*y = 6*y + 2*n + 24 for y.
-5
Let m be (6 + -5)/(1/22). Let y = 36 - m. Solve -2*z + y = 2*j, -19 = 5*z - 2*z - 5*j for z.
2
Let n = -3 - -8. Solve -2*q + 3*q = -2*b + 1, 3*b - 5 = -n*q for b.
0
Let z be 1 - -18*1/(-2). Let h be (-8)/(-2)*(-4)/z. Solve -10 = 2*r, -2*j - h*r - 22 + 2 = 0 for j.
-5
Suppose 0 = 3*c + 4 - 13. Suppose 4*z + c = -1. Let r be 2 + 2/(z + 2). Solve -r*s - 18 = 2*t, 0 = -5*s - 2*t + 6*t - 3 for s.
-3
Let x(o) = o