28 = n*w, 2*g = -3*w + 20 for w.
4
Let v be ((-94)/6)/((-10)/30). Suppose 4*z + 3*n - 17 = v, 0 = 4*z + 4*n - 68. Solve -3*d - 15 = 3*k, -z = -5*k - 4*d - 36 for k.
-3
Let k = 58 + 10. Let b be (0 - 0)/(1 + 0). Suppose -3*a - 4*l + k = 0, b = 5*a + l + 3*l - 108. Solve 0 = -4*j + w - 12, -4*j + w - 2*w = a for j.
-4
Suppose 0 = -3*o - j + 68, -2*j - 5 = -15. Let h = -11 + o. Solve -14 = -4*a + 2*z + 4, -5*a - h = 4*z for a.
2
Suppose 46 - 154 = -9*d. Solve -4*r - d = -3*r + 4*g, 0 = -5*g - 20 for r.
4
Let a(v) = -14*v - 149. Let p be a(-11). Solve -18 = s - p*w, 0 = 5*s - 2*w + 7 + 14 for s.
-3
Let n(s) = s**2 - 22*s + 76. Let i be n(19). Solve -1 = -3*k - 7, 5*b - 2*k - i = 0 for b.
3
Suppose -u - 2 = -2*u + w, -4*u + 2*w = -18. Let q(z) = -z + 10. Let v be q(u). Solve -v*y + 4*b + 24 = -0*y, 3*b + 17 = 2*y for y.
4
Let b(w) = 5 + w**2 + 6*w - 2*w + 2*w. Let o(f) = -f. Let x(n) = b(n) + o(n). Let l be x(-5). Solve -5*t + 0*s - 5*s + l = 0, -5*s = 4*t - 3 for t.
2
Let a = 391 - 389. Solve a*x = -5*s - 2*x + 29, 5*s - 5*x = 20 for s.
5
Let h be (-1*3)/((-72)/48). Solve -2*b + 2*p = -p - 8, -b = h*p + 3 for b.
1
Let r be -2 + 10/6 + (-120)/(-360). Solve -4*q + 8*x - 7*x - 5 = r, -3*q - 2 = x for q.
-1
Let p = -474 - -476. Let j(h) = -8 - 4*h + 4*h**2 + 2*h**2 - 4*h**2. Let t be j(6). Solve -5*c + 0*b + 5*b = -t, 5*c - 12 = -p*b for c.
4
Let k be (-3)/(-2) + 11 + 60/(-8). Solve 0 = 2*c - q, -2*q - 2 = -k*c + q for c.
-2
Suppose 0*v + v = -2. Let w be 1 - 2*(-6)/v. Let s be 3*(-2 - (w + 2)). Solve s*c = -4*f + 11, f + f - 13 = c for c.
-3
Let l be (-3)/6 + 42/4. Let s = -11 + l. Let j be (s - -6)/(40/16). Solve -2*a + 7 = 3*r, j*a + r = -2 + 11 for a.
5
Suppose -9*y + 4*y = 10. Let m be -8 - -12 - y/2. Let b be 13/2 + m/10. Solve 0 = -4*v - 3*r + 17, -2*v + 3*r + 16 = b*r for v.
2
Suppose -j - 4 = -2. Let n be j*(-6)/((-60)/(-25)). Suppose -n*x + 4*g + 9 = 0, 5*g - 22 - 8 = -2*x. Solve 2*k = x*v - 10, -5*v - 5*k + 29 = -16 for v.
4
Let m be (-4 + 5)*(5 - 6)*0. Suppose 6 = q - 2. Suppose -2*k - 5*j - 6 = m, k = 2*j + q - 2. Solve 3*b - 3*h + k*h = 5, 0 = -3*b + 5*h - 11 for b.
3
Let f be 4*2/(-4) - -22. Let i = f - 12. Solve -5*u = j + 6, -3*u + 2*j - i = 6 for u.
-2
Suppose 4*h - 13 = 3. Solve -3 - 3 = -h*v - 2*g, 4*g = -5*v + 6 for v.
2
Let p = -19 - -47. Suppose 24 = k - p. Solve -41 = -4*n - 5*l, -5*l + k - 15 = 3*n for n.
4
Let p(j) = -2*j**2 - 7*j + 19. Let v be p(-5). Solve -g - 5 = f, -4*g + f = -f - v for g.
-1
Suppose -7*x - 89 + 292 = 0. Let i = 33 - x. Solve 3*v + 3 = 4*b - 2, 0 = -i*b + 4*v for b.
5
Suppose 0 = w - 2*w + 13. Suppose -4*a + 3 = -5. Let g be (-1 + 1 - a)*(1 - 2). Solve -3*i - 1 = g*u + w, 3*u - 3*i + 6 = 0 for u.
-4
Let s = 1294 - 1294. Solve -5*t - 20 = 6*m - 4*m, -3*m - 5*t - 25 = s for m.
-5
Let f = 0 - -10. Suppose 0 = 2*t - b - 2 - 27, 0 = t - 5*b - f. Suppose 3*c = -2*c + t. Solve -p - 8 = 3*q, c*q = 3*p + 5 - 17 for p.
1
Let b(a) = 5*a - 6. Let u be b(3). Let y = -4 + u. Let d = -7 + 10. Solve -5*z + y = -d*w - 3, -4*w = z + 3 for z.
1
Let x = 72 - 13. Let t = 65 - x. Solve 2*y + 10 = -5*w, -w - 2*w = y + t for y.
0
Let m be 6*(9/2 - 3). Suppose -11*c + 13 = -m. Solve 0 = -2*v + 5*p - 29, 4*v + 10 = c*p - 8 for v.
-2
Let w(q) = 3*q**2 - 1. Let u(v) = v**3 + 10*v**2 + v + 11. Let g be u(-10). Let n be w(g). Let i = 7 + n. Solve -11 = -r - 3*s, -2*r - s + i = r for r.
2
Let k = 196 + -192. Solve -4*d - 9 + 37 = k*o, 2*o = -5*d + 23 for d.
3
Suppose -73 = 23*z - 142. Solve z*j = -4*u + 20, -4*j + 7*j = -3*u + 18 for u.
2
Suppose 0 = -w + 3, 0*w + 15 = 5*n - 5*w. Let z be (32/(-48))/((-4)/n). Solve 3*f - 2 = 3*h - 7*h, 2*f + z = -5*h for f.
2
Let m(t) = 2*t**2 - 3*t - 4. Let k be m(4). Suppose 0 = -5*a - 4 - k. Let w be (a - (-3)/2)*-2. Solve -w*n + 16 = 3*y - 0*y, 2*y - 5*n = -31 for y.
-3
Let z = -8 + 32. Let j(r) = -r**2 + 24*r + 15. Let h be j(z). Solve 0 = -3*f + h, -5*c - 4 = 3*f - 29 for c.
2
Let z = -705 + 709. Solve -11 - 4 = -3*t - 3*h, 5*h = z*t - 2 for t.
3
Let f be (348/290)/((-1)/(-5)). Solve 12 = 4*m, 3*j - f*m + 30 = -m for j.
-5
Let i(s) = s**3 - 17*s + 26. Let c be i(3). Solve -3*v - c*v + 1 = 2*p, 4*v - p = -7 for v.
-1
Let w(j) = j**3 - 5*j**2 + 17*j - 50. Let h be w(4). Solve -3*t + t - 2*n + 4 = 0, -h*n - 4 = 0 for t.
4
Let q be 1/(-2)*(-28)/7. Suppose q*b - 20 = -2*i, -3*i = 2*b - 0*i - 25. Let d(g) = g**2 - g. Let h be d(1). Solve t - b = -3*v - h*v, t + 13 = 3*v for t.
-4
Let r be (-1508)/(-234) + 12/(-27). Solve -28 = -2*l - 4*j, 2*l - r*j = -5*j + 3 for l.
4
Let l be ((-8)/1)/(-2 + 4) + 7. Solve 3*t - 17 = f + l, -2*t = -2*f - 20 for f.
-5
Let k(d) = -d + 2. Let i be k(-7). Let s(g) = g**3 - 8*g**2 - 9*g + 5. Let l be s(i). Solve 2*p + 11 = 5*u - 24, -20 = -l*u - p for u.
5
Let z(c) = c**3 - 10*c**2 - 39*c + 2. Let k be z(13). Solve -7 = -3*p - 5*j, -5*p + 3*p - k*j = -6 for p.
4
Let a = -28 - -19. Let n(i) = -i**2 - 7*i - 13. Let m be n(a). Let o = m - -33. Solve 3*r + o*r + 10 = 5*u, 5*r = -15 for u.
-1
Suppose -4*a = 2*q + 8, -5*q - 16*a + 20*a + 22 = 0. Solve -5*j = -q*g + 29, 0*g + 4*j + 24 = 2*g for g.
2
Suppose 55*a - 450 = -35*a. Solve -5 = 2*c - a*h - 2, -h = 5*c - 6 for c.
1
Suppose 0 = f - 0*f + 3*v, -4*f + 68 = -5*v. Let y = 6 - 2. Solve p - 3*z = 12, -p = -y*p - 3*z - f for p.
0
Let t = 459 + -457. Solve 4*v + 26 = t*g, 0 = -2*v + 6*v - g + 21 for v.
-4
Let v be -5*(-48)/40 + 1 + 0. Solve 3*q + 4*c = -v - 4, q - 3 = 2*c for q.
-1
Suppose -11*h + 12*h - 3 = 0. Let r be (12/4)/(1/2) - 2. Solve -h*p + 1 = -n + r, -p = 2*n + 1 for n.
0
Let x be (-8 - 0/(-2)) + -1 - 2. Let t(u) = -u**2 - 14*u - 33. Let b be t(x). Solve 0 = 2*l + 5*j + 8, 2*l - 3*j + 0*j - 8 = b for l.
1
Suppose -12*r - 30 + 54 = 0. Solve 2*h = -4*l + 2*l, -r = 2*l + h for l.
-2
Let d be ((-2)/8)/(5/(-20)). Let h = d + 4. Suppose h*y - 14 = 4*y - t, -t = 5*y - 66. Solve -5*v + 3*f = 4*f + y, 4*f + 8 = 2*v for v.
-2
Suppose 0 = -u - u + 8. Suppose n + 1 = u. Let v be 7*((-23)/(-7) - n). Solve -s - v*s + l = -1, 2*s + 2*l - 6 = 0 for s.
1
Let o be 94/30 + 1 - 10/75. Solve -2*f + 7 = f + 2*s, 4*s = o*f - 16 for f.
3
Let g(j) = j**2 - j - 1. Let w be g(2). Let p be 3 - w/1 - 0. Let i be (3/p)/((-15)/(-40)). Solve 0*t + i*x = -4*t - 4, -27 = 3*t - 5*x for t.
-4
Let d = 126 - 62. Suppose 0 = -16*r + 256 - d. Solve r = a + 5*q, 5*q + 14 = -5*a + 34 for a.
2
Suppose -5*r + 4*q + 33 = 0, -2*r = -3*q - 61 + 45. Solve -w + r*b - 8 = 0, w - 2*b + 2 = -0*w for w.
2
Suppose -17*f + 14*f + 33 = 0. Solve -2*s - 3*z = -4*z - f, -4*s + 31 = -5*z for s.
4
Suppose -5 = 5*u - 25. Suppose -2*j + 2 + u = 0. Suppose j*a - 8 = a. Solve -4*q = -o + 16, o - 8 = 2*q + a*o for q.
-4
Let f(n) = n - 4. Let u be f(6). Suppose 2*v + 5*d = -v, -4*d = u*v. Suppose -3*m - m + 60 = 2*c, v = -3*m + 4*c + 45. Solve 4*p + 6*h = h - m, 3 = p - h for p.
0
Let c = -95 - -92. Let w be (-80)/(-4)*(1 - c/(-5)). Solve -5*z + 15 = 5*r, 2*z - 4*z - w = -5*r for z.
1
Let m = 5 + -2. Suppose p + 14 = 2*s - p, 2*s - 29 = -m*p. Let y be 5 + (-1 - 7) + 6. Solve -y*k = -4*b - 23, -2*b = 5*k + b + s for k.
1
Suppose 2*b + 1 + 1 = 0, -5*z + 5*b = -30. Let r = 34 + -27. Suppose 2*n - 132 = -2*n. Solve -n = -4*u - z*j + r, -4*u - j = -24 for u.
5
Suppose i = 3*m + 4, 2*i + 4*m - 7 = 1. Solve -2*q + 4 = 5*s, i*s - 6 = -q - 2*q for s.
0
Suppose -5*i + 6 = 2*w, -i = -5*w + 2*i + 15. Suppose w*f = -b + 31, 0 = -3*b - 4 - 2. Solve -u - 20 = 5*s, 5*u + f - 1 = 5*s for u.
-5
Let z be ((-8)/(-14))/(8/84). Suppose 5*c + 2*q + 12 = 0, -2*c - 28 = 2*c - 3*q. Let x = c + z. Solve -4*t + 8 = 4*a, 0*a - 2*t = -x*a for a.
1
Suppose -22*b + 21 = -45. Solve i = 2*i + b*l - 2, i = l + 2 for i.
2
Let k(t) = -t**2 - 15*t - 37. Let g be k(-4). Solve h = q - g, -3*q + 9 = -0*q for h.
-4
Let r(b) = 6*b + 138. Let j be r(-22). Solve -v + j = 3*m, -m - v + 2 = 2*v for m.
2
Let m be (20/(-28))/(7/(-147)). Solve -c - l = 4, -m = 4*c + 6*l - 3*l for c.
-3
Suppose -5*w = k + 9, -5*w - 2*k - 4 = -2*w. Let n be (2/(-4) - -2)/(w/(-4)). Solve 3*c + q = 14, -n*c = c - 2*q - 12 for c.
4
Let s(m) = -2*m**2 - 77*m + 208. Let t be s(-41). Solve -5*a + z = 10, t*z = 3*a + 4 + 14 for a.
-1
Suppose -16*a + 2 = 18. Let r be (32/(-20))/(a/5). Suppose 6*p = p + 35. Solve 0 = -k - 3*u + 6, p*k = 4*k + u + r for k.
