- 13, -4*f = x*u - 17 for f.
2
Let p be 30/9*12/8. Let g be (-12)/8*8/2. Let c = -3 - g. Solve 5*j - 12 = c*i, 0 = -4*i - p*j - 7 + 26 for i.
1
Let c(x) = -242*x + 728. Let l be c(3). Solve l*z + q = -2*q - 11, -2*z - 8 = 2*q for z.
-1
Let f = -35 - -14. Let z(p) = p**3 + 21*p**2 + 2*p + 45. Let k be z(f). Solve -a = -k*g - 5, 2*g - 11 = 4*a - 1 for a.
-4
Suppose -u = -2*h + 32, -8*h + 82 + 44 = -3*u. Solve -h = -5*t - 2*s, 0 = -3*t - 2*s + 5*s - 12 for t.
1
Suppose -2 = 8*o - 9*o - 2*h, -3*h + 13 = 4*o. Solve 0 = -0*n - n + o, -4*z + 12 = 3*n for z.
0
Let g be 30*(1 - (-3)/(-9)). Suppose -r + 5 = -3*c + 4*r, -4*r = g. Let v = c - -17. Solve 4*s - v = 2*u + 3, 0 = -4*s + 4*u for s.
5
Let g = 38 - 30. Suppose -4*h = -2*h - g. Solve -5 - 16 = 4*p + 5*k, 0 = -h*p - k - 17 for p.
-4
Let a(n) = n**2 + 6*n + 7. Let f = -16 + 26. Suppose -x = 15 - f. Let m be a(x). Solve 3*s - 3*h - 30 = 0, 5 = -6*s + m*s - 5*h for s.
5
Suppose -5*b + v + 0*v = -16, 2*b - 16 = -2*v. Let a be (-8)/32 - 2/(-8). Suppose -3*f + f + 4 = a. Solve 2*m = 6*m - b*t + 4, 3*m - f*t = -5 for m.
-3
Let u = -11 + 11. Suppose -2*j + 4 - 16 = u. Let s = j + 10. Solve -5*f + 9 = -3*i - s*f, -2*f - 2 = -i for i.
-4
Suppose 0 = 83*z - 210 + 44. Let g = -7 + 11. Solve g*i - 10 = z*h, 0 = -0*h + 3*h + i - 13 for h.
3
Let a be (0 + 0)/(-2*1). Suppose a*b + h + 3 = 2*b, 2*b + 9 = -3*h. Suppose -8*r - 25 = -137. Solve -21 = d - 5*x, -2*d + 3*x + 0*x - r = b for d.
-1
Let h(p) = -3*p - 19. Let x be h(-4). Let a(q) = q**3 + 10*q**2 + 21*q + 8. Let y be a(x). Solve d + y = -4*u + 1, -u = 3 for d.
5
Let s(q) = -q**2 - 7*q + 3. Suppose 0 = 5*p - 4*k + 19, 5*p = 2*k + 8 - 35. Let x be s(p). Let b = 8 + -4. Solve 0 = t - b*g - 17, -3*t - x*g = g + 29 for t.
-3
Let g(f) = -f**2 + 12*f + 5. Let p be g(11). Solve -4*x + 6 = 4*t - 2, -2*t = -2*x - p for t.
5
Suppose -2*p = 4, -7*p = 2*j - 4*p. Solve -2*w + 3*c = -4, j*w - 9 = 4*c - 2 for w.
5
Let i be 34/8 + 1/(-4). Suppose -46*n - 10 = -51*n. Suppose n*b - 7 = 5. Solve -4*r - i*w = -4 - 8, 4*r - 5*w + b = 0 for r.
1
Suppose -5*y + m = -61, -m - 2 = m. Suppose -5*a + 2*a = -y. Suppose 20 = 2*r + a. Solve 2*u + 10 = 4*w, u + 2*w + 1 = r for u.
1
Let x(s) = 3*s**3 + 26*s**2 + 8*s - 59. Let m be x(-8). Let j = 16 - 31. Let d be (-2)/(-6) + j/(-9). Solve q + 1 + m = d*o, 5*q = 4*o for o.
5
Suppose 405*g - 34 = 388*g. Solve -8 = -2*k, 5*k - 22 = g*z - 12 for z.
5
Let x be 3/(((-8)/(-6))/4). Let a be 5 - x/(-4 + 1). Solve -2*b = 5*y - 11, 4*b = -0*b - a for y.
3
Let b(n) = n**2 - 3*n. Let i = -4 - -10. Let x be b(i). Solve 0*q + q + 2*a = -10, q = -4*a - x for q.
-2
Let j be 2/(-4) + 18/4. Suppose 5*s + n - 17 - 7 = 0, 5*n = -s. Solve 0*u = 5*f - 2*u + 7, j*u = s*f - 1 for f.
-3
Let h be ((-6)/(-14))/(9/42). Solve 9 = 3*i - 5*i + 5*b, -2*b - h = 2*i for i.
-2
Let q = 104 - 101. Solve q*h + 4*r + 6 = 0, -10*h - 10 = -5*h + 5*r for h.
-2
Suppose -3*l + b = 8, -5*l + 2*l = -4*b - 4. Let x be ((-1)/(-5))/(l/(-60)). Solve -3*n + 5*o + 15 = 0, -2*n - o - 3 = x*n for n.
0
Let w(i) = 7*i + 7 - 5 - i**2 - 6 - 3. Let f be w(2). Solve 3*h + m = -2*h + 26, -18 = -f*h - 3*m for h.
5
Let o(z) = 5*z + 6. Let m(r) = -r. Let x(b) = 4*m(b) + o(b). Suppose 3*g = 4*g. Let c be x(g). Solve -4 = 3*f + 2*i, 1 = -3*f + c*f + i for f.
2
Let s be 22/12 - (-16)/96. Suppose -2*p + s = -4. Let n be (-9)/(-2) + p/(-6). Solve -n*l - y = -5, -y = -2*l + y for l.
1
Let u be 1 - (-3 - (-28)/(-4)). Let i = -4 + u. Let t be 2*(i + -1 - 4). Solve t*f = h + 25, -4*f = 5*h - h for f.
5
Let m(z) be the first derivative of z**4/4 + z**3/3 + 4*z - 1. Let i be m(0). Let k = 152 + -137. Solve -y - 2*s = -14 + i, s = -3*y + k for y.
4
Let t(f) = 5*f + 35. Let d(h) = 5*h + 35. Let r(j) = 5*d(j) - 4*t(j). Let a be r(-7). Solve a = -4*u + 4*g + 12, -2*g - 7 - 5 = u for u.
-2
Suppose -i - 20 = -6*i. Suppose -4 = -3*u + u, -3*q + 4*u + 13 = 0. Suppose i = -5*h + q*h. Solve h*f + 2*g = -14, -3*f - 3*g = -g + 19 for f.
-5
Suppose 4*a - a + 9 = 3*d, 3*a - 23 = -5*d. Let h(g) = 47*g - 42. Let z be h(1). Solve d*w + 0*n - 4*n - 40 = 0, n - 20 = -z*w for w.
5
Let t = -106 + 108. Solve -14 = -3*u + 2*l, -t*u - l = l + 4 for u.
2
Let z be (-3 + (-20)/(-8))*(-34 + 34). Solve 7 = y + 4*g, z = -5*y + 2*y - 4*g + 5 for y.
-1
Let g = -296 - -298. Solve -4*i + 3*y + 1 = 0, 2*i - y + 1 = g for i.
1
Let n(b) = -b**2 - 7*b - 4. Let s be n(-6). Suppose 0 = 4*t - 8 - 4. Suppose 0 = t*k - 2*k. Solve -4*z - 2 - s = h, k = -h - 2*z for h.
4
Let u be (-3)/(-6)*(2 - -6). Solve -u*i = 5*c + 11, -5*i + 2*c = -2*c + 24 for i.
-4
Suppose -63*i = -32*i - 40*i. Solve 4*j + 4*t - 20 = -0*j, i = -j + 2*t + 2 for j.
4
Suppose 0 = -f + 3*f - 26. Suppose 5*b = f + 12. Solve -3*a = -0*s - s - 2, -b*a - 2*s = 15 for a.
-1
Suppose 0 = -0*g + 3*g. Solve -1 = -3*y - 0*q - 2*q, -5*y - q + 11 = g for y.
3
Suppose -4*h = -5*h + 8. Suppose -p + c = -3*c + h, 5*c - 31 = -4*p. Suppose p*o - 5*g = 5*o - 20, 3*g = 9. Solve i + 3*q = 0, 0 = -3*i - q - 3*q + o for i.
3
Let s(u) = -2*u + 50. Let p be s(23). Solve 29 - 9 = -p*w, 4*f + 3*w = -3 for f.
3
Let j = 8 - 6. Let m be (-1)/3 + (3880/15)/8. Let n be m/(-20)*(3 + 11/(-2)). Solve 0 = -r + n*a - 15, -j*r - 2*a = -0*a for r.
-3
Let u be 0 - 0 - (-14 - -30). Let g be (4/(-8))/(4/u). Solve 4*q = 3*b - 5, g*b - 2*q - q = 4 for b.
-1
Let i be (0/(6 + -1))/3. Let a be 1 + i - (1 - 5). Solve -a*c - n = 22, 3*c + 0*n + 14 = -n for c.
-4
Let n(u) = -u**3 + 6*u**2 + 5*u + 10. Let v be n(7). Let t be 9/36 - 23/v. Solve -l = 3*j - t*l + 28, 5*l = -5*j + 20 for j.
-1
Let l(r) = -r + 5. Let t be l(-10). Solve t = 3*g + m - 5, -4*g = -4*m for g.
5
Let l(y) = -8*y + 51. Let q be l(5). Solve 4*b + q = 4*j - 21, -4*j - 4 = 5*b for b.
-4
Let b = 41 - 37. Suppose 3*o + b*r = 7*o, -o + 3*r - 6 = 0. Solve -o*t + 2*t + 5*y = -13, 0 = -t + 4*y + 10 for t.
-2
Suppose -3*v - 101 = -113. Solve -4*q - 4 = 0, -8 = -5*d + 2*q + v for d.
2
Let h = -734 + 737. Solve -k - h = -5*n, -7 = -5*k + n + 2*n for k.
2
Let k(g) = g + 13. Let t(n) = n**2 + 6*n - 6. Let f be t(-6). Let m be k(f). Suppose 6*b - 5 - m = 0. Solve b*a - 13 = -l, 2*a - 4 - 14 = -2*l for a.
4
Let w(l) = l**3 - 12*l**2 + 2*l - 23. Let u be w(12). Solve -5*v = 3*h - 26, 4*h - v - u = 3 for h.
2
Let k(n) = -n**2 - n + 14. Let j be k(-4). Let v(r) = r - 1. Let s be v(6). Let q = 12 + s. Solve -2*i = i + j*b - q, 24 = 5*i - b for i.
5
Suppose 0 = 18*p - 13*p - 15. Let m(l) = -l**2 + 4*l - 3. Let r be m(p). Solve r = 5*f + 4*u - 11, -3*f + 2 - 1 = u for f.
-1
Suppose -3*v - 35 + 37 = i, -v + 6 = 3*i. Solve 11*y - 4*j - 1 = 8*y, y + j + i = 0 for y.
-1
Suppose 0 = -2*h + 4*s + 10, -5*s + 65 = 3*h - s. Suppose 12*n + h = 7*n. Let y be n*(-56)/6 - 2. Solve 5*u = 3*m - y + 4, 3*m + 3*u = 6 for m.
4
Suppose -2*o + 20 = 2*q, -2*o = o - 2*q - 5. Solve -15 = o*t + j, 5*j - 5 = -5*t - 20 for t.
-3
Suppose 0 = -5*t - 2*c - 2*c + 33, 5*c = 2*t. Let y be 1/(11/t - 2). Solve -y*m - 3 = 4*a + 2, -4*a = 3*m - 5 for m.
-5
Let i(k) = 15*k - 70. Let x be i(6). Solve -2*g + 7 = -a - 2*a, 5*a - x = -3*g for g.
5
Let i(b) = b**3 - 3*b**2 + 3*b + 12. Let t be i(5). Let p be -6*((-6)/2 - t/(-33)). Solve 5*z + 8 = -3*m, -p*m + z + 2 = 5 for m.
-1
Let q be (-4)/(-5*6/(-45)) - -8. Solve -3*j - 6 = q*v + v, 2*j - 5*v + 18 = 0 for j.
-4
Suppose 4*d - 2 = -3*y + 14, -2*d - 18 = -5*y. Solve y*g - 4*o - 15 = o, 9 = -3*g - 3*o for g.
0
Suppose s = -5*w + 15, 3*s + 24 = 5*w + 9. Let z be 3/3 + 2 + -1. Suppose -6*c + z = -4*c. Solve -3*p = 2*p - w*l + 1, -3*p + l + c = 0 for p.
1
Let m(c) = -c**2 - 7*c + 7. Let b be m(-8). Let q be 1*((b - -59) + 1). Let s = -40 + q. Solve 0 = -4*n + 5*h + s, -4*h = -5*n - 3*h + 8 for n.
1
Suppose z + 59 = 4*w, 0 = -3*z - 4*w - 440 + 183. Let k = -77 - z. Solve 22 = k*q + 3*c, -4*q - 2*c = q - 33 for q.
5
Let o be 15 + 0 + -2 + -4. Let g(k) = k**2 - 8*k - 4. Let d be g(o). Solve -c + d*j = -24, -5*j - 7 = 2*c - 4*j for c.
-1
Let c be (-55)/(-825) + 177/45. Solve -c*h + 0*h + 20 = -4*p, 0 = 2*p for h.
5
Suppose s = -3*c + 7, -7*s + 3*s - 4 = 4*c. Solve -2*l + 1 = -3*j + 4, -c*j + 4 = 0 for l.
0
Let z(j) = -j**2 - j + 1. Let s(n) = n**3 - 19*n**2 - 21*n + 19. Let l(m) = -s(m) - 3*z(m). Let a be l(23). Solve g - 2*k = -0*g + a, 3*g + 1 = 2*k for g.
-1
Suppose -5*d = 5*s - 