4 = -0*f + g*f for f.
3
Let q(n) = n + 16. Let k be q(-17). Let s be (15/(-1) - -1)*k. Solve -2*v = v + 3, -s = 3*z + 2*v for z.
-4
Let o(r) = -r**3 - 6*r**2 - 8*r - 13. Let g be o(-5). Suppose 0 = 3*j + 4*s + 14, -g*j - 2*j + s = -13. Solve 0 = -3*h + 15, -3*f - 11 = j*h - 27 for f.
2
Let n(d) = d**3 + d - 6 - 2*d + 7*d + 7*d**2. Let j be n(-5). Let a = j + -13. Solve h - a + 3 = -2*k, 5*h - 35 = 5*k for k.
-3
Let j be 2/(-8)*-4 - (-1)/1. Let q(a) = 24*a**2 + 4*a**3 + a - 25*a**2 + 5 - 3*a**3. Let h be q(0). Solve -31 = -4*u + h*v + 1, j*v = u - 11 for u.
3
Let w = 535 - 532. Solve 1 = -5*x - w*g - 0*g, -2*g = 3*x + 1 for x.
1
Let l = -2692 + 2696. Solve -5*n = -l*b - 27, n = -b - 0*n for b.
-3
Let m be 1/(-1 + (-6)/(-4)). Suppose 0 = -12*b + 11*b. Suppose 5*y - y - 32 = b. Solve -m*q = y, 4*p - p = 5*q + 14 for p.
-2
Let v(p) = -8*p + 204. Let d be v(25). Solve -4*n = 4*t, -d*t - 2*n - n + 4 = 0 for t.
4
Suppose -12*c = 18*c - 90. Solve 3*u + 5 = 2*k, -5*k + 5 = -4*u + c for k.
-2
Let k = 516 + -513. Solve 0 = 2*w + p + 11, 2*w + k*p + 9 = 4*w for w.
-3
Let u = 1379 + -1378. Solve 0 = 4*j + 4*f + 4, -2*j - 13 = 5*f + u for j.
3
Let v(x) = -4*x**3 + 2*x**2 - x - 2. Let m be v(-1). Solve 0 = -m*w - 2*h + 5 + 1, -h - 2 = 0 for w.
2
Suppose 8*k = 3*k + m + 11, 5*k - 19 = -m. Suppose -94 = -9*b + 8*b. Suppose 12 = -b*z + 97*z. Solve k*a = -6, 3*h + z*a - 3 = 4 for h.
5
Let m = -42 - -42. Suppose 17*y - 23*y + 12 = m. Solve -4*q + f - 16 = -3*f, -5*q = 4*f + y for q.
-2
Let k be (-5 - -4) + 4*1. Suppose 2*i + k*i - 10 = 0. Suppose 5*g - 5*v = 40, 0 = -5*g + v + i + 26. Solve -y - 11 = -2*f - 0*f, 0 = -g*y - 15 for f.
4
Let q = 525 - 523. Solve 5*j = -q*u + 3, 0 = -4*u - 4*j + 2*j + 14 for u.
4
Suppose 130 + 62 = -3*m. Let x be (m/(-80))/((-4)/(-10)). Let p = -9 - -28. Solve -x*g = -5*t + p, -3*g - g - 4*t + 32 = 0 for g.
3
Let i be (1 + -1)/(81 + -83). Solve i = -r - 3*s, -3*s - 3 = 2*r - 6 for r.
3
Let s(t) = -t + 3. Let h be s(0). Let r(q) = 3 - q - 13 - 1 + 12*q**2 + q**3 + h. Let x be r(-12). Solve -5*v + 8 = x*d, 0*d - 2*d = -5*v - 4 for d.
2
Suppose 6 - 22 = -c. Suppose -5*u + 2*q + c = 0, -u = -3*q + 4 - 15. Solve -8 = u*b - 2, -5*b = -5*i + 20 for i.
1
Suppose 0 = -4*f + 3*k + 177, k = -3*f + 73 + 50. Let q be -1*1/4 - f/(-8). Solve 5*s = -o + q, -5*s - 8 = 3*o - 3 for s.
2
Let o(k) = k**2 - 3*k - 25. Let v be o(7). Solve c = 4, 0*c = -v*l - c - 11 for l.
-5
Let d(t) = -4*t**2 - 5*t - 2*t - t + 3*t**2 - 3. Let y = 1 - 8. Let i be d(y). Solve -q = 2*f - 3, 0 = i*f - 5*q + 2 - 15 for f.
2
Suppose l + 4*c = -6 + 2, c + 1 = 3*l. Solve 4*k + 5*s + 16 = l, -k = -3*s + 7*s + 4 for k.
-4
Let f be 12/(16/7 + 24/(-84)). Suppose k = 5*v - 3*k - f, k = 1. Solve 3*z = -4*m - 16, -4*m - 1 + 5 = -v*z for m.
-1
Let m be (-18)/9 - 14/(-2). Solve -2*v - 6 = -m*f, -2*v + 3*f - 6 = -0*f for v.
-3
Suppose -72 = 15*y - 33*y. Solve 0*m + 4*m = -5*x + y, x + m = 1 for x.
0
Let b = 1103 + -1101. Solve 0 = 10*f - 9*f - 4*s + 16, f - b*s + 6 = 0 for f.
4
Let l = 25 + -60. Let y = 39 + l. Solve 4*x + 5*d - 4 = 0, 0 = -y*x + 3*d + 2 + 2 for x.
1
Suppose o + 4*b = -68, -54 = o - b - 2*b. Let g = 66 + o. Let y be -1 - -4 - (-2)/(-2). Solve -m + y*f = 0, -6 = -5*m + 4*f + g for m.
4
Let g be -15*1 - (0 - 3). Let s = -10 - g. Suppose 2*h + s*h - 12 = 0. Solve h*j = 3*o - 1 + 7, 2*o - 20 = -4*j for o.
2
Let m(c) = -3*c + c - 11 + 0*c - 4*c. Let x be m(-3). Solve b = -4*v + x, 6*v = 2*v - 3*b - 3 for v.
3
Suppose q = -q. Suppose p = 5*y - 20, y = -4*p + 2*p - 7. Solve i + 3 = -y*h - q, 0 = -h for i.
-3
Suppose -2*f + 7*f + 40 = 0. Let r = f + 11. Suppose j + 62 = 32*j. Solve 0 = t + r*s + 4, j*t + 5 = -5*s for t.
5
Let g = -11 + 16. Let f = g - 6. Let h = 3 + f. Solve -3*m + 4*i = -18, 0 = -5*m - 3*i - 1 + h for m.
2
Let g(p) be the second derivative of -7*p**3/6 - 37*p**2/2 - 34*p. Let o be g(-6). Let m = -13 + 23. Solve -2*k + 4*j + 0*j - 4 = 0, -o*k + j = m for k.
-2
Let q be (-8)/12 - (-51)/9. Suppose 2*p - 5 = 3*t, q*t - 30 = -4*p - 9. Let l = -5 + 9. Solve -a = 3*y + p + 1, l*y - 3*a = 15 for y.
0
Let y(b) = -b**2 + 7*b + 103. Let n be y(14). Solve 0 = 4*s - 3*m + n + 2, -3*s + 4*m = 0 for s.
-4
Let g be (1/(-2))/(-1*5/250). Suppose l = -5*k + 1, -4*k + 7 + g = 2*l. Solve -4*q - x + 7 = 2*x, -4*x + l = -3*q for q.
-2
Suppose -2*v = -5*n + 29, 4*n - 10*v = -13*v + 14. Solve y + 3*p - 5*p = -n, 0 = -y - 2*p + 7 for y.
1
Let y be 11/(-33) + (-1 - 8/(-6)). Solve 2*n + 4 = 2*u - 4, y = -4*u - 2*n + 4 for u.
2
Suppose 0 = -2*n + 2 + 6. Let d = -4 + n. Let s(o) = -o**2 + 9*o - 13. Let l be s(6). Solve -5*v + 2*t - l = d, 4*t - 24 = v - t for v.
1
Let d(f) = -f**3 - 10*f**2 + f + 13. Let v be d(-10). Solve 5*j - 14 = p, -8*j = -v*j + 3*p - 18 for j.
3
Let z be 1/4 - 54/(-72). Solve -4*n + z - 17 = -g, 0 = 4*n + 12 for g.
4
Let y = -733 + 736. Solve -z - 17 = 3*z - y*i, 5*z + 4*i = 2 for z.
-2
Suppose -4*c + 2 - 3 = 5*x, 0 = -5*x + 3*c - 8. Let m be -3 - (20/(-5) - x). Solve 0 = f + 4*d - 6 - 2, 4*f + 3*d + 7 = m for f.
-4
Let w(p) = 2*p - 38. Let k be w(19). Suppose k = 3*o + 2*z - 14, 4*z + 2 = -o + 5*z. Solve -u - 1 - 2 = l, -4*l - o*u = 14 for l.
-4
Suppose a - 1 = -5*d + 2*d, -5*a + 20 = 0. Let f be 3 + (d - (4 - 2)). Solve f = 3*p + 2*n - 7*n + 10, 3*n = 2*p + 5 for p.
5
Suppose 3*x - 40 = -2*l, -8 + 33 = 4*x - 3*l. Solve -17 = -f + 5*y, 4*y + 2 = -x for f.
2
Let i(g) = g**3 - g**2 - g + 1. Let h be i(1). Let x be h/(-1 - (1 - 1)). Solve 4*t + 2*k - 12 = x, 4*t + 0*k - 12 = -k for t.
3
Suppose -4*h + 100 = 4*f, -3*h - 5*f + 11 = -64. Let v = 29 - h. Let b be 4/6 - (-6)/(-9). Solve -u - 3*x - 11 = b, -4*u + u - v*x = 18 for u.
-2
Suppose -6*j + j = -10. Suppose 11*q - 28 = 16. Solve z + 0*z + 2 = -4*a, -a = j*z + q for z.
-2
Let x(t) = t**3 - 2*t**2 - 2*t - 6. Let i be x(3). Let g(k) = -k**3 - 2*k**2 - 4*k - 16. Let m be g(i). Solve -3*s - y + 3 = -m*y, y = 0 for s.
1
Suppose 3*k + y = 1, 0 = k - 0*y + 3*y + 13. Solve 4*j = h + 18, 25 = j + k*j + 5*h for j.
5
Suppose 0 = -g - 31 + 32. Solve g = 3*x + k + 3, -4*k + 8 = 4*x for x.
-2
Let x = -68 - -70. Suppose 0*p + x*p - 8 = 0, -c + 2*p + 9 = 0. Solve 4*l - 5*y = 3 + c, 5*y = -20 for l.
0
Suppose -15 = -3*v - 2*r, 4*v = v + 4*r + 15. Let q = v - 5. Solve q = y - 6*y - c - 15, 3*y + 3*c = -21 for y.
-2
Suppose -38 = 4*l - 2*j + 32, 0 = -4*l + 3*j - 67. Let y = l + 21. Solve -a = -4*a + 2*r + y, 0 = -2*r + 4 for a.
2
Let y = -356 + 361. Solve 0 = 4*v - 3*i - 15 - 0, 3*v + y*i + 25 = 0 for v.
0
Let i be -20*(2 - (-21)/(-6)). Suppose 3*x - i = -3*r, -2*r + 4*x + 29 = -15. Solve 3*q = -o - 3, 0 = q + 3*q - 2*o + r for q.
-2
Suppose 5*n = -4*n + 45. Solve 0*w = -w + j + 4, -n*w + 3*j = -14 for w.
1
Suppose -6 = -5*h + 2*h. Suppose -8 = h*z - 34. Solve 0 = 3*f - f - 10, f = 2*c + z for c.
-4
Suppose 350*f - 28 = 343*f. Solve -5*h - 16 + f = 3*c, -c - 5 = 2*h for c.
1
Let n(h) = 2*h**2 - 10*h + 4. Let s be n(5). Suppose a + s + 21 = 0. Let t = -25 - a. Solve t = u - 3*i + 4, 12 = -2*i + 6*i for u.
5
Let k = -8 + 10. Solve -4*b = -g, -15 = 4*g + b + k for g.
-4
Let z(m) = -m**3 - 14*m**2 - 17*m - 47. Let j be z(-13). Let y = -1 + 1. Solve 4*d = -u + 1 - y, -4*u + j*d + 25 = 0 for u.
5
Suppose 2*v - 35 = -3*r, 22 = v + r + 6. Suppose -3*w = -8 + 2. Solve -3*n + 20 = 4*h + n, w*h + 5*n = v for h.
4
Suppose -c = 4*x - 2, -x - 4*c + 9 = 1. Suppose 5*g - 3*j = 6, 2*g + x*j - 2 = j. Solve g*v + 6 = -3*v, 2*i = -v for i.
1
Suppose 5 = -g, 0*g = -j + 4*g + 22. Let q be ((-16)/(-20))/(j/(-15)). Let y(k) = -k**3 - 6*k**2 - k - 3. Let a be y(q). Solve 0 = o + p + 2, a = 5*p - 7 for o.
-4
Suppose -168 = 4*q - 46*q. Solve -b - 9 = -5*i - 3, 0 = -q*b - 3*i - 1 for b.
-1
Let u be (294/(-196))/((-19)/8 + 2). Solve 7*f - u*f = -v + 14, 5*v = 5*f - 10 for f.
4
Let j be (-4 + 8)/1 + 0. Suppose 5*t - j*t = 8. Let n(b) = -b**2 + 10*b - 12. Let f be n(t). Solve -3*r = -m + 3*m - 17, f*m = -r + 19 for m.
4
Suppose 4*p + f + 19 = p, 0 = -3*p + f - 23. Let g(a) = -a**2 - 6*a + 7. Let h be g(p). Suppose h = l + 6 - 8. Solve -l*n + 5*n - 5 = 5*i, -2*i - 1 = -n for i.
2
Suppose 39 = -3*m + 123. Let r = -28 + m. Solve 3*u = 15, r = -2*y - 3*y + 2*u - 30 for y.
-4
Let q(i) = -2*i**3 + 63*i**2 - 32*i + 34. Let z be q(31). Suppose 0 = -f - 2*f. Solve -11 = -