= l*g + 5, -17 = -p + 4*g for p.
5
Suppose 20*i - 24*i + 42 = v, 3*i - 6*v - 18 = 0. Solve 0 = 2*f - i, -2*r + 44 - 29 = f for r.
5
Suppose 9*n = -2*t + 5*n + 8, 15 = 3*t + 5*n. Let f be (t/4)/(26/52). Solve 4*u + 9 + f = 2*o, 4*o - 16 = 5*u for o.
-1
Suppose 4*z + 3 = 7*z. Let c be (12/(-4) - 12)/z*1. Let n be ((-12)/18)/(2/c). Solve -4*s - 15 = s, 3*x - n*s = 27 for x.
4
Let u be (-12)/20 + (-9)/(-15). Let m = -181 - -186. Suppose 0 = m*g, 3*r = 2*g - 7*g. Solve -t = n - 2, u = -r*n + n + 3*t + 2 for n.
4
Suppose -w = 2*w + 4*y + 19, 2*y + 10 = -2*w. Let l be w - 12/2*4/(-6). Suppose -4*s = -l*s. Solve 4*m + 18 = n + m, 4*n - 5*m - 37 = s for n.
3
Suppose 89*p + 12 = 91*p. Solve -8*i - 3*j - 31 = -13*i, 0 = 2*i + 2*j - p for i.
5
Let c(f) = 19*f + 198. Let v be c(-10). Solve 5*n - 2*j - 23 = 0, -n + 9*j + 4 = v*j for n.
5
Let n be 56/(-756) - (-4972)/54. Solve -2*a = -10, 4*a + 62 = 2*q + n for q.
-5
Suppose 2*o + 114 = 3*v + 92, v = -2*o - 14. Solve 5*a - v*n = -27, 0 = -5*a + 33*n - 32*n - 26 for a.
-5
Let p(h) = -169*h**3 - 5*h + 3. Let i be p(1). Let t = i - -175. Solve 4*y + 0*u + 6 = -u, 2*y + u = -t for y.
-1
Suppose 11*z = 12 - 1. Let r be 3 + (16 - 0) + z. Suppose 2*p - r = 4*t, 7 + 13 = -3*p - 4*t. Solve p = 4*x - v + 6*v - 21, -5*x + 21 = v for x.
4
Let g be 15/(-35) - (-496)/112. Solve -4*j + 7 = g*c - 1, 0 = c for j.
2
Let x be -5 + 6/1 + 9/1. Suppose 0*k - 20 = -x*k. Solve 0 = 3*g - 3*j + 9, 0 = j - k + 4 for g.
-5
Let f(j) = j**2 - 483*j - 2923. Let r be f(-6). Solve -6*v - r = -2*l - v, -1 = -2*l - 5*v for l.
3
Let o(x) = -109*x + 548. Let l be o(5). Solve 0 = -l*c - c + 5*h + 10, 0 = -c + 2*h + 4 for c.
0
Let z = -20638 - -20643. Solve -z*o - 55*d = -58*d + 12, 4*o - d + 4 = 0 for o.
0
Let y = -238 + 255. Suppose 15*t - y = 208. Solve 17 - 6 = -b + 3*m, 3*m - t = 0 for b.
4
Let g be 15/50 - (-17)/10. Solve -g = -i, -4*i = -15*a + 14*a - 8 for a.
0
Let h = -117 + 233. Let x be ((-4)/(-6))/(9 + (-1127)/126). Suppose x = h*n - 112*n. Solve -y = -4*k + 5, 3*y - y - n = -5*k for y.
-1
Suppose -3*x + 6 = l - 0, -2*x + 5*l = -21. Solve 5*z - x*y - 24 = 0, 3*z - 4*y - 24 = -z for z.
3
Let i be ((-6)/14)/((-29)/203). Suppose 4*g = -3*v - i, -3*v + 4*g + 24 = v. Solve -v*u = -2*t + t - 9, 3*t = 4*u - 7 for u.
4
Suppose 3*g = 2*l + 9, 5*g = -11*l + 50 + 8. Solve 2*o = 5*i + 9, 27 = -40*o + 36*o - g*i for o.
-3
Let c be -2 + (-1 - 0 - -3). Let b be (1/2 + (-62)/(-12) + -6)*0. Suppose -2*h = -3*h + 3. Solve c = -h*v - 3, 5*k - 2*v + 9 + 9 = b for k.
-4
Let l be (-33)/(462/(-49))*(-48)/(-14). Solve -4*g + l = -4*j, -2*g + j + 4 = 1 for g.
0
Suppose -w - w = 0. Suppose -6 = -11*d + 16. Suppose 5*v - 8 = d. Solve w = -4*l + 5*q, 3*q + 4 = v*l + 2 for l.
-5
Let r(c) = 6*c - 9. Let z(g) = -6 + 9 + 3*g - 15 - 2. Let y be z(6). Let p be r(y). Solve 3*l - 7*l = -5*x - p, -19 = -4*x - 3*l for x.
1
Suppose 5*s + 0*u - 3*u = -141, -2*s - 5*u - 75 = 0. Let x = -7 - s. Solve -x = 5*n + 4*a, n - 4*a + 7*a + 9 = 0 for n.
-3
Let q be 0*(-4)/(-16) + 5 + 26. Let n = q - 22. Solve 2*z = -0*f + 5*f - n, z + 9 = 4*f for f.
3
Let q(o) = o**2 + 6*o + 19. Let u be q(-7). Suppose -d - u = -28. Solve -d*b = -2*f + 4, 5*f - 2*f - b + 2 = 0 for f.
-2
Suppose 0 = 4*o - x + 17 + 8, -x = -5. Let p(h) = -2*h - 8. Let a be p(o). Solve -w = -3, a*j = -w - 7 + 2 for j.
-4
Suppose -8833 = 19*s - 9422. Solve 4*l = -3*u - 7, -s*u + 36*u = 2*l - 29 for l.
2
Suppose 7*u + 7*u - 28 = 0. Let l be -1 + u - (-3 + -5 + 5). Solve 24 = -2*k - l*h, -2*k - 3*h = -7*k + 5 for k.
-2
Let u(r) = r - 2. Let g be u(4). Let j be 3/(18/(-6))*0. Suppose j = 12*f - 6*f - 30. Solve -5*d = -3*x - 14, g*x + 3*d - f = 11 for x.
2
Let g = -52 - -82. Suppose 0 = -3*j + g - 18. Suppose -37 = -j*q + 5*n, -q + 29 = 2*q - 4*n. Solve q*a - a = -5*b - 20, 5*a + 25 = 0 for b.
-2
Let p(d) = -12*d**2 - 63*d. Let f be p(-5). Let w(b) = -10*b + 152. Let m be w(f). Solve -4*y + 0 = 5*i + 4, 0 = -m*y - 5*i - 12 for y.
4
Suppose -180 = -4*c - 23*c + 12*c. Solve -w = o - 4, 3*w - 12*o - c = -9*o for w.
4
Let c = 25 - 24. Let y(z) be the first derivative of 3*z**4/4 - z**2 + z - 10. Let p be y(c). Solve p*o = o - 5*a + 8, o - 1 = 2*a for o.
3
Suppose -3*v - 6*v - 36 = 0. Let u(q) be the first derivative of 2*q**2 + 21*q + 10. Let j be u(v). Solve 7*m - 3*m = 2*l, -j*m + l + 6 = 0 for m.
2
Suppose -2684*c + 2672*c = -36. Solve 0 = c*y + 5*j - 10, -3*y + 30 = -8*y + j for y.
-5
Let k(y) be the first derivative of -y**4/4 - y**3 - 2*y**2 + 44. Let q be k(-3). Solve -t = 5*s + 8, -4*s + 7*s = -3*t - q for s.
-1
Suppose 9489 - 9515 = -13*h. Let s(i) = i**3 + 20*i**2 - 19*i + 45. Let l be s(-21). Solve h*a - l*a + 4*p = 10, -4*a = p + 6 for a.
-2
Suppose -66*i + 63*i + 5*b + 20 = 0, -16 = -3*i + b. Solve i*g = 3*o - 24, o + 41*g - 40*g = 0 for o.
3
Let l = 125 - 107. Suppose 16 = l*q - 14*q. Solve 3*b - 14 - 14 = -4*p, 0 = -3*b + 2*p + q for b.
4
Suppose 156*n - 779 - 280 = 33. Solve 3*t + 20 = n*r - 11*r, 4*t - 5 = r for r.
-5
Suppose -14*d - 92*d - 17*d + 246 = 0. Solve -r - o + d = 0, -4*o = 5*r + 395 - 402 for r.
-1
Let w(v) = -127*v + 1144. Let z be w(9). Solve -5*a + 2*x - z = 0, -a + 5 - 16 = 5*x for a.
-1
Let s(m) = m**2 - 2*m + 2. Let j be s(0). Let k = 43 - 39. Suppose -3*b - 4*a = -31, k*b - b - j*a = 7. Solve d - b = 0, 5*h + 11 - 31 = -d for h.
3
Let x(n) = -n**2 + 90*n + 379. Let j be x(-4). Solve -j*z + 1 = -5*g, 2*g - 6 + 13 = -z for g.
-2
Let b(q) = q**3 - 28*q**2 - 233*q - 417. Let c be b(35). Solve -5*a + c*u - 5 = 0, -3*a - 9*u + 8*u - 17 = 0 for a.
-4
Let w(f) = -19*f + 28. Let s be w(-4). Suppose -113*i = -s*i - 90. Solve t - 3*t + 4*d = -i, 5*t - 16 = d for t.
3
Let d be (-18)/(-6 - (-20)/3). Let z be (d/(-8) + -3)*(5 + 3). Solve -15 = -z*c + 5*k, -k = 5*c - 6*k - 15 for c.
0
Suppose -201*l + 156 = -162*l. Solve -3*z + 4*t + 16 + 6 = 0, l*t + 16 = 2*z for z.
6
Suppose 16 + 15 = i. Suppose 4*y - 3*y + 688 = -3*a, -4*a + y = 929. Let v = -226 - a. Solve 9 = -3*l, -4*q + 0*l - i = v*l for q.
-4
Let l be 16/(-8)*(-3)/2. Let j be 88/33 - 2/l. Suppose 3*k = 4*r - 2, -2*k + 3*r - 4 = -r. Solve 2*n = -k*z + 12, 5*n - j*z = 2*z + 3 for n.
3
Suppose 0 = -14*x + 4*x - 60. Let o(p) = -18 - 17*p**2 + 0*p + 2*p + 18*p**2. Let g be o(x). Solve 2*t + 0*t - g = 5*w, -4*w - 18 = 5*t for w.
-2
Let j(t) = t**2 + 21*t - 344. Let f be j(-32). Solve 3*n - f*i + 28 = -13*i, -4*i = n + 21 for n.
-1
Let x be (-230)/(-15)*-2*3/(-4). Suppose -4*a = -x + 3. Solve -5*b = -2*h - 15, -a*h = 2*b - 0*b - 35 for b.
5
Let j(g) = -g**2 - 8*g + 13. Let w be j(-9). Suppose 0 = -139*d + 50 + 47 + 42. Solve w*f + 8 = 3*c, -f = c - 2*f - d for c.
-4
Suppose -139 = 5*w - 4*b - 201, 0 = -2*w - 2*b + 50. Solve 0 = -3*l - 2*g + 5, -w*l + 5*g = -14*l + 1 for l.
1
Let o(k) = 3*k + 51. Let c be o(-16). Suppose -p = 4*z - c*z - 5, 3*z = -5*p + 25. Solve p*t - 11 + 36 = -3*g, -4*g - 5 = t for g.
0
Let n(m) = 6*m**2 + 6*m + 5. Let d be 20/(-16) + (-1)/(-4). Let f be n(d). Solve -5*k = -3*l + 22, 0*k - f*l + 26 = -3*k for k.
-2
Suppose 2*d + d - 3*o - 24 = 0, d + 1 = -2*o. Suppose 0 = -2*x - 3*x + 20. Let v be -12*(-14)/(-42)*-1. Solve -8 - x = d*z - 3*f, 5*f - v = 3*z for z.
-3
Suppose -t - 3*w + 16 = 0, t + 10*w - 21 = 12*w. Suppose 21*i = -t*i. Solve 3*x - p = 14, i*p + 13 = x - 2*p for x.
3
Let s be -10*(927/(-135) - -7)*-3. Solve 4*a + 8*c = 10*c, 0 = -s*a + 3*c for a.
0
Let w = -3077 - -3077. Solve w = -32*m + 33*m - 4*q + 11, -q + 7 = 4*m for m.
1
Let a be (-138)/(-36) - ((-282)/(-36) - 8). Let q = -1 - -6. Let k = q - 5. Solve -3*y + 6 = k, 3*v - 5*y - 7 = -a*y for v.
3
Let x be (-93)/(-12) + (11 - (-893)/(-76)). Solve -3*y - 5*r + 8 = 0, 32 = -4*y + x*r - 3*r for y.
-4
Suppose 5*m - 4 = -2*r, -5*r - 182*m + 186*m + 10 = 0. Solve -5*f - 24 = -79*n + 76*n, r*n = f + 9 for n.
3
Let m(y) be the second derivative of y**5/20 - y**4 + 7*y**3/3 - 14*y**2 + 4*y. Let d be m(11). Solve 0*p - 4 = -p, 3*b + 5 = d*p for b.
5
Let p = 9 + 34. Suppose 2*u - u - p = 0. Let l = u - 35. Solve f = 2*n - 11, -2*f + 1 = n + l for n.
3
Suppose -42 = 46*z - 52*z. Let r be (-8)/((-48)/(-30)) - (0 - z). Solve -j = 4, -j = -2*u - r*j - 2 for u.
1
Let m = -586 + 589. Solve 4*w + 3 = 3*g, -5*w + 3 = -m*g + 6*g for g.
1
Suppose -64*h - 54*h + 1298 = 0. Solve 3*m = -7*n