+ z*r - 4 = 0. Solve b + y = 1 for b.
1
Suppose 0 = 3*z - 2*f - 25, -15*z + 11*z + 22 = 3*f. Suppose -2*t = -t - 3. Suppose 4*p - 1 = t. Solve -3*h = -z + p for h.
2
Suppose 4*o - 14 = -2. Suppose -2*b - 2*x = 2*b - 18, 2*b - 5 = 3*x. Suppose 2*n + n - b*t - 12 = 0, 0 = 5*n - 5*t - 15. Solve o*d - 12 = -n*d for d.
4
Suppose k - 376 = -374. Solve 42*g - 41*g = k for g.
2
Suppose 0 = 6*k - 5*k + 3. Let w be (5/30*k)/(3/(-18)). Solve -w*t = -t for t.
0
Let h = -147 - -147. Suppose -9*n - 3 + 48 = h. Solve -6 = -n*v + 19 for v.
5
Suppose 14*z - 18 = 8*z. Suppose 3*g + 3*r = 6*g, 0 = 3*g + z*r - 12. Solve -g*i = 2*i - 8 for i.
2
Suppose -2 = -3*t + 1. Let n = 192 - 192. Solve n = -i - t + 3 for i.
2
Let j = 378 + -373. Let p be (-1)/(0 - (-2)/(-46)). Solve -3 + p = -j*u for u.
-4
Let a be 180/(-120)*28/(-6). Solve -a*d = d + 40 for d.
-5
Let o be (7/(-9))/(6/(-54)). Solve -o*p + 2*p - 10 = 0 for p.
-2
Let s be 1 - ((-2)/(-2))/1. Suppose -1670 = -5*o - 1620. Let a(n) = n**3 - 4*n**2 - 6*n + 7. Let h be a(5). Solve s*b = -h*b + o for b.
5
Let y(x) = x**2 + 6*x + 7. Let b be y(-6). Let p = -13 + b. Let t be p*2/(-4) + 3. Solve 0*h = -2*h - t for h.
-3
Let m(i) = -7*i - 7. Let c(u) = -11*u - 11. Let y(t) = -5*c(t) + 8*m(t). Suppose -11*j - 18 = 48. Let h be y(j). Solve h*s - 3*s = 4 for s.
2
Let s(u) = -u**3 - 10*u**2 - 6*u - 31. Let r be s(-10). Suppose -2*l = -4*d - 48, 5*l + 4*d - r - 35 = 0. Solve -l = 5*o + 9 for o.
-5
Let m(t) = -t**2 - 20*t + 1. Let o be m(-20). Solve -11*p - o = 10 for p.
-1
Suppose -3*u = -4*l - 3 + 20, -5*l + u + 13 = 0. Suppose -2 = 3*z - l*i, z + i - 5 = 1. Solve d = 2*d - z for d.
2
Suppose 5*s - 15 - 5 = 0. Let k be (s/5)/(3/(-15)). Let n = k + 6. Solve 0 = -n*l + 16 - 6 for l.
5
Let o = -21 - -19. Let q be (-4)/(2 + 1*-4). Let h = o + q. Solve h*v = 3*v for v.
0
Let n = 30 + -26. Let p = 22 + -17. Solve -n*o = -p*o for o.
0
Let x(u) = u**2 + 10*u - 6. Let s be x(-11). Suppose -5*q - 2*a = -4*a, -3*a + 5 = -5*q. Solve 0 = -q*v + s*v for v.
0
Let g be 48/(-216) + 112/18. Solve -s - 9 = -g for s.
-3
Let s = -10 - -11. Suppose -p = -s, -5*r = 2*p - 11 - 11. Solve -r*v - 8 = -0*v for v.
-2
Let w be 87/24 - (-96)/256. Solve w*n - 15 = 7*n for n.
-5
Let p = 58 - 10. Suppose p = -q + 7*q. Suppose -5*f + q = -4*f - 2*z, -2 = -4*f - 2*z. Solve -f*g - 4 = -2 for g.
-1
Let p = -40 - -78. Suppose 2 = 2*v - p. Solve 3*n + 2*n = v for n.
4
Suppose -3*q + 4 = -q. Suppose -q*k - 2 = -3*k. Solve k = -y + 2*y for y.
2
Let d(l) = 7 + 4*l + 15*l**2 - 28*l**2 - l**3 + 11*l**2. Let o be d(-3). Solve 0 = -2*p + o*p + 2 for p.
-1
Suppose 85*h - 72 = 67*h. Solve h*b = -2*b - 12 for b.
-2
Let z be 2/(-8) + -27*13/(-156). Solve z*t = 7*t + 10 for t.
-2
Let w(m) = m**3 - 3*m**2 - m - 27. Let p be w(5). Solve -32*v + 26*v - p = 0 for v.
-3
Suppose -3*i + 3*r + 84 = -2*r, -5*i - 3*r + 174 = 0. Let h = i - 27. Solve -4*u + 2*u = h for u.
-3
Suppose -5*n - 36*w + 34*w = -447, 0 = 3*n - 2*w - 281. Solve 12*b = 103 - n for b.
1
Let z(r) = 6*r - 76. Let o be z(14). Solve -o*k - 2 = -9*k for k.
2
Suppose -24 = c - 3*c + 4*p, p - 29 = -3*c. Solve -13*l + c = -8*l for l.
2
Let i(r) = 2*r + 5. Let h be i(0). Suppose h*f - 18 + 8 = 0. Solve -6 - 2 = -f*m for m.
4
Suppose 0 = -3*v + 1 + 5. Suppose 2*k - 3*k = v*x - 8, 24 = 4*x + 4*k. Suppose 1 = -y - x*m + 2, 8 = 4*y + 4*m. Solve -16 = -c - y*c for c.
4
Suppose 3*w + 58 = -5*p, -5*p - 1 = -5*w - 31. Let o be (12 + w)*(-1 + 1). Solve o*t + 2 = 2*t for t.
1
Let d(j) be the first derivative of -2*j**2 - 5. Let m be d(-3). Suppose m = 2*l - 4*k, -l + 10 = -8*k + 4*k. Solve 0*n + l*n = 2 for n.
1
Suppose -2*z + 65 = 29. Solve 0 = -z*o + 7*o + 11 for o.
1
Let j = 8 - 3. Solve -15 = -j*w - 5 for w.
2
Suppose -4*f = -p - 58 + 36, -2*p = 2*f - 6. Solve -2*w + f = -5 for w.
5
Suppose 0 = 2*h + 6, 3*h - 14 = -2*q + 5*h. Suppose w - 5 = q*a - a, -3*w - 2*a = -4. Solve -w*i + 2 = -0 for i.
1
Let c = -62 - -76. Solve 4*m = c + 2 for m.
4
Let k(i) = -i - 1. Let l(g) = 3*g + 4. Let o(r) = -4*k(r) - l(r). Suppose -3 = -4*x + 1. Let v be o(x). Solve v = -p - 2 for p.
-3
Let c = -8 - -10. Suppose -3*o - 3*w = -c*o - 5, 15 = 3*o + w. Suppose 1 + o = 2*r. Solve 0 = -7*a + r*a + 8 for a.
2
Let z be 10/15 - (-4)/(-6). Suppose 5*p = p - s + 16, 5*s = z. Suppose 2*v = -i - i + 8, p*i - 4*v - 32 = 0. Solve -2*f = -0*f - i for f.
3
Let d = -306 - -312. Solve d*u = 4*u - 6 for u.
-3
Suppose 4*j - 58 = -2*f, -4*f + 2*f - 50 = -5*j. Suppose -j*x + 16 = -4*x. Solve x + 6 = -2*s for s.
-4
Let o be 3/(-12) + (-2507)/(-92). Solve -y = -o + 30 for y.
-3
Let o = -30 + 195. Suppose 8 = -o*b + 169*b. Solve 5 = b*h - 3 for h.
4
Suppose 0 = -3*p - 0 + 12. Let w = -4 + p. Suppose w = -8*i + 4*i. Solve i = -4*m - m - 10 for m.
-2
Let l = -23 + 23. Solve l = -n - 5*n - 6 for n.
-1
Suppose -5*u = -20*u + 60. Suppose -12*t + 16 = -u*t. Solve -t*i - i - 3 = 0 for i.
-1
Suppose -5*g = -0*g - 15. Let i = 460 + -458. Solve i*p - g*p = 0 for p.
0
Suppose -5*p - 2*h = -20, 2*p - 3*h - 8 - 19 = 0. Solve -4*r = 14 + p for r.
-5
Let r(u) = -u**2 + 8*u + 3. Let s be r(7). Let c = s + -8. Suppose 2*i - 4 = -c*i. Solve 0 = 5*k + 14 + i for k.
-3
Let t = 14 - 9. Let s(m) = m**2 + 13*m + 15. Let g be s(-12). Solve -g*l = -2 + t for l.
-1
Suppose -5*a - 13 - 21 = -3*m, -5*m + 25 = -2*a. Solve -m*h - 2 = -8 for h.
2
Suppose l - 2*l = -2*s, 0 = 3*s + 2*l - 7. Let x(q) = -12 - s + 2 - 2 + 2*q. Let a be x(7). Solve a = j - 2 for j.
3
Let y(t) = t - 8. Let u be y(4). Let o be (-1)/2*u/1. Let g = o - 0. Solve -2 = -g*m + 6 for m.
4
Let y = -8 + 24. Let b = y - 23. Let u = b - -10. Solve 0*m + m = -u for m.
-3
Let x = -1588 - -1588. Solve x = -13*h + 16 - 55 for h.
-3
Suppose -2 = -n - n. Let x = 19 + -16. Let a be 15/x + (2 - 3 - 0). Solve 0 = k - n - a for k.
5
Let y(n) = 19*n - 387. Let u be y(21). Solve -24*x + u = -18*x for x.
2
Suppose -a - 3*a - 5*t + 25 = 0, -3*a - 5*t = -20. Suppose 5*x = 2*b + b, -a*x - b = -20. Solve 2*r + x*r = 20 for r.
4
Let o = -272 - -276. Solve 0 = -o*m + 3 + 1 for m.
1
Suppose -454*z = -445*z - 63. Solve -13*o - z = -6*o for o.
-1
Suppose 3*g + 57 = 159. Suppose 0 = 6*v + 10 - g. Solve v*t - 12 = -0*t for t.
3
Let r(l) = -l**2 + 10*l - 13. Let s be r(8). Let j(z) = -z**2 + 8*z + 13. Let h be j(9). Suppose a + 37 = 2*o - 0*a, 5*a + 65 = h*o. Solve s*t = -t + o for t.
5
Suppose -5 - 5 = -2*h. Let j = 5 - h. Suppose 0 = 12*c - 11*c + n - 4, 3*n + 16 = c. Solve -4*r - c + 27 = j for r.
5
Suppose -179 = -5*l + 5*i - 4, 0 = -3*l - i + 109. Solve 0 = -9*z - 0 - l for z.
-4
Let y(s) = -4*s + 9. Let q(t) = -2*t + 5. Let u(o) = -5*q(o) + 2*y(o). Let r be u(5). Suppose -r = n - 5. Solve -4*v - 2 - n = 0 for v.
-1
Let a(c) = -c**3 + 5*c**2 - 6*c + 3. Let m be a(2). Suppose -3*t + o - 6 = -3*o, -5*t + o = 27. Let z be ((-12)/(-2))/(t/(-6)). Solve 3*n - m - z = 0 for n.
3
Let m(g) = -6*g + 66. Let k be m(5). Solve k - 4 = 16*w for w.
2
Let u = -2183 + 2183. Solve 28*t - 32*t - 20 = u for t.
-5
Let o(v) = 3*v - 2. Let l be o(2). Suppose 3*n - 1 - 5 = 0. Let a = l - n. Solve -f = f - a for f.
1
Let f be (7 + -6)*(2 - 1). Let g be 10/f*(-3)/(-15). Suppose 2*a + g = -2*i + 4*a, 10 = 2*i + 2*a. Solve -4 = -i*b - 0*b for b.
2
Suppose -a - k = -26, -3*a + 57 = -2*k - 36. Let v = a + -26. Solve v*z + 3 + 9 = 0 for z.
-4
Let w be (-26)/39*30/(-4). Let n(x) = x**2 - 5*x + 3. Let c be n(w). Solve 2*l + 20 = -c*l for l.
-4
Let v be 570/210 + (-2)/(-7). Solve -v*z = z - 20 for z.
5
Let g be (-9)/(-3)*(-2)/3. Let u = 3 - g. Solve -4*w = -9*w - u for w.
-1
Let f be (6/2 - 2) + 14 + -9. Solve p = -f + 11 for p.
5
Let k(t) = -2*t**2 + 10*t - 6. Let i = -52 - -56. Let n be k(i). Let l = -4 - -10. Solve 0*w + l = n*w for w.
3
Let c be (-16)/6*(-27)/36. Solve 5*s + 12 = c for s.
-2
Suppose 0 = u + 6 - 19. Let t = u - -7. Let c(i) = i**2 + 4*i + 3. Let x be c(-4). Solve -2*s = x*s - t for s.
4
Let w(l) = l - 1. Let b be 10/45 - 7/(-9). Let x be w(b). Let h = 0 - x. Solve h = -0*f + f for f.
0
Let u = -22 + 9. Let v = -10 - u. Solve -v*n - 6 = -n for n.
-3
Let j = -144 + 149. Suppose -15 = 3*n - 6*n, j*n = -4*u + 65. Solve -2*s + 0*s - u = 0 for s.
-5
Suppose 184*m - 2 = 183*m. Solve m*o + 12 = -o for o.
-4
Let l be 123/3 - (-28)/7. Let u be l/30*20/2. Solve u = -6*q + q fo