Let c be m(-6). Let r = w + c. Solve 0 = 3*p + 2 + r for p.
-3
Let u be -2 + -3 + (-6)/(-2). Let g be (-22)/(-1*u/(-4)). Suppose -3*i - l = -g, 3*i - 29 = 2*l - 0*l. Solve i - 3 = 5*h for h.
2
Let x be 2*(16/(-168) + 23/21). Solve 9 - 1 = x*z for z.
4
Suppose -k = -v + 2*v - 2, 0 = -5*k - 20. Suppose 0 = -2*m + v. Solve m*f = -3 - 0 for f.
-1
Let c(v) = -2*v - 6. Let x = -61 - -58. Let y be c(x). Solve y = 3*p + 5 + 1 for p.
-2
Let i = -13 + 10. Let m(n) = -6*n - 10. Let w be m(i). Let y be w + (-3 - (2 - 1)). Solve -y*a - 3 - 17 = 0 for a.
-5
Let z be 6 + (14 - (7 + 1)). Solve m = -z + 8 for m.
-4
Suppose 52*x - 34*x = 288. Solve 2*j + x = -6*j for j.
-2
Let w(t) = -t**3 - 12*t**2 - 20*t + 10. Let q be w(-10). Solve q*c = 31*c - 21 for c.
1
Suppose 0 = 5*x - x. Suppose -2*n + 12 = -x*n. Suppose z + 3 = -4*c, 2*c - n = -2*c + 2*z. Solve -2*i + 0*i = c for i.
0
Let c(l) = 2*l. Let w be c(6). Let g be (2*2)/(10 - (6 - -2)). Solve 0 = g*b + b - w for b.
4
Let g(t) = t + 2. Let u be g(-2). Let f(d) = -d**2 + d + 4. Let j be f(u). Suppose -15 = -j*x + w, 12 = 2*x - 5*w - 9. Solve -7*s + x*s = 0 for s.
0
Let h(i) = -i**3 - 19*i**2 - 62*i - 6. Let p be h(-15). Solve p = 13*f - 7*f for f.
4
Let h be (-10)/(-3) - 10/(-15). Suppose -h = 2*v - 14. Suppose -v*k + 3*k + 12 = -x, -3*x = -k + 16. Solve 0 = d - 0*d + k for d.
-4
Let b(k) = -3*k**2 - 46*k - 46. Let y be b(-14). Solve -2 = y*f - 12 for f.
1
Suppose -3*k = -7*s + 5*s + 10, 5*k + 10 = 2*s. Solve -8 = -3*y - s*y for y.
1
Suppose 3*n = 3*b + 10 + 53, -137 = -5*n - 3*b. Let c = -10 + 13. Solve -c*f + n = 2*f for f.
5
Suppose -2*p + 5 = -1. Suppose -77*g = -73*g - 48. Solve g = p*t + 6 for t.
2
Let s = -1122 - -1122. Solve s = -9*x - 25 - 11 for x.
-4
Let f be 2/(20/35 - 6/(-14)). Let w(q) = q**2 - 5*q - 4. Let t be w(6). Solve 0 = -f*r - 10 + t for r.
-4
Let m(h) = 3*h**2 - 12*h + 36. Let k be m(7). Solve -3*y - 105 = -k for y.
-2
Suppose 3*c + 30 = 36. Solve -c*k = 3 - 11 for k.
4
Let x(p) = -p**2 + 4*p + 5. Suppose 5*y - 6 = -n + 11, 4*y = -2*n + 10. Let c be x(y). Solve -c = 3*a + 10 for a.
-5
Let u be ((-4)/10)/((-20)/600). Solve -71*k - u = -65*k for k.
-2
Let u = -41 - -58. Suppose -j + 4 = -6*z + 8*z, 5*z = j + 17. Solve -2 = z*n - u for n.
5
Suppose 52*d - 54 = 47*d + 2*j, 2*d = 3*j + 15. Solve 5 - d = 7*l for l.
-1
Suppose 2*f = 4*t - 12, -3*t - 2*f + 3 = -2*t. Suppose -a + 4*d + 17 = 0, -t*d + 21 = -a + 4*a. Solve -3*o + 0*o = a for o.
-3
Let r be (3/(-3))/(2/14). Let v = -5 - r. Suppose 0 = 2*m - 2*o + 8, -10 = -3*m - 2*o - 2. Solve v*j + 2*j = m for j.
0
Let f = -226 - -243. Suppose 0 = 5*i - 2 - 18. Solve i*o + 3 = -f for o.
-5
Let l = -17 + 24. Let z be 2/(-4) - (-6)/4. Let u(r) = 3*r - 1. Let m be u(z). Solve m*i - l = 1 for i.
4
Let w = -53 + 57. Suppose -w*l + 12 = 12. Solve -2*y + 6 = -l for y.
3
Let z(l) = 26*l**2 + 2 - 13*l**2 + l - 12*l**2. Let s be z(-5). Suppose 0*r - s = -2*r + 4*n, 2*r - 7 = -n. Solve 0 = r*q + 3 + 12 for q.
-3
Suppose 0 = 7*p - 2*p - 10. Suppose -p*t = 3*t. Solve d + t*d - 4 = 0 for d.
4
Suppose 2*r - 7*r + 5 = 0. Suppose 3*m + 9 = 0, m = 5*g - 12 - r. Solve g*k = 7*k - 25 for k.
5
Suppose 56 = -17*i + 175. Solve w + 7 = i for w.
0
Let f(d) = -3*d - 14. Let m be f(-6). Suppose -3*c + 2 = 5*s, -3*s - 2*s = 2*c - 3. Suppose 0 = 2*b - s - 3. Solve -m*x = -b*x for x.
0
Let q(h) = 7*h - 5. Let b be q(4). Let a be -9 + b - 2*-1. Let p be ((-24)/a)/(2/(-16)). Solve o - 5*o = -p for o.
3
Let d(x) = -2*x**3 + 3*x**2 - x - 4. Let c be d(-2). Solve -4*y + c - 6 = 0 for y.
5
Let a = -1747 + 1748. Solve -11 = 5*f - a for f.
-2
Let n(u) = -u + 1. Let l be n(1). Suppose 0*h - 4*h + 20 = l. Let y = h - 3. Solve -4*z - y - 14 = 0 for z.
-4
Let d(l) be the first derivative of -4/3*l**3 + 3*l + 1/4*l**4 - 1 + l**2. Let y be d(3). Solve y = -x + 2 - 4 for x.
-2
Let u = 11 + -9. Suppose 0 = -u*v - 0*v - 6, 4*z = -5*v + 9. Solve 0 = z*s - 2*s for s.
0
Let x be (-1 - (-5)/(-20)*0) + 8. Solve 0*d + 35 = -x*d for d.
-5
Let l be (-2)/3 - 58/(-6). Suppose 14*y = -3*g + 11*y + 12, -2*g - 4*y + 10 = 0. Suppose l = 4*i - n, -5*i + g = -3*n - n. Solve -i*k + k = -8 for k.
4
Suppose 0 = -0*o + o - 2. Suppose o*b - 6 = -3*v, -4*v = 5*b - 2*b - 7. Solve v = -2*w + 6*w for w.
1
Let k(m) = 3*m**3 - 3*m**2 + 2. Let j be k(2). Suppose 3*t + 8 = -4. Let c be 1 - (3 + t)*2. Solve -c*h + j = -1 for h.
5
Let l be 597/33 + (-9)/99. Solve l*h = 13*h - 25 for h.
-5
Let o be ((-12)/(-21))/(2/7). Suppose 0 = 3*g + o*g. Let r = 2 + g. Solve -r*c = c for c.
0
Let b = 258 - 253. Solve -b*y + 4*y + 2 = 0 for y.
2
Let q(g) = -3*g - 3. Let h be (-72)/28 - 3/7. Let z be q(h). Suppose 2*x + 2*m + 4 = 0, 0*x - 4*m - z = 5*x. Solve -b - x = b for b.
-1
Suppose -6*q + q - 60 = 0. Let i = 15 + q. Let a(t) = t**2 - 3*t - 14. Let x be a(6). Solve -i*y + 5*y = -x for y.
-2
Let w(f) = f + 17. Suppose -2*j = -7*j + 110. Let s = -28 + j. Let l be w(s). Solve 5*b - 9 - l = 0 for b.
4
Let o = -22 - -30. Suppose -x = o*x - x. Solve x*a - 4*a - 20 = 0 for a.
-5
Let k be 2*-3 - (9 + -18). Solve -k = -0*n + n for n.
-3
Let w(l) = 15*l - 29. Let p(i) = 10 + 213*i - 3 - 217*i. Let a(t) = -22*p(t) - 6*w(t). Let y be a(7). Solve 2*u = y*u - 20 for u.
5
Suppose 6*m + 21 - 21 = 0. Suppose m*o = -h - 4*o + 1, h + 5*o = 1. Solve 2*l - 5 = h for l.
3
Suppose -54*p + 1575 = -19*p. Solve -11*s + 20*s - p = 0 for s.
5
Let p be 2/3 - (-56)/24. Let s be 60/15 - p*1. Solve 13 = 3*k + s for k.
4
Let a(o) = 5*o + 191. Let h be a(-37). Solve -5*v = v + h for v.
-1
Let f(j) = 2*j**2 + 11*j + 3. Let z be f(-6). Solve -3*b = 9*b + z*b for b.
0
Let g = -17 + 20. Suppose -g*r - 12 = -5*n + 2*n, n + r = 2. Solve -h - n = -0*h for h.
-3
Let p(u) = -u**2 - 4*u - 1. Let g = 48 + -51. Let n be p(g). Solve x - 3*x + n = 0 for x.
1
Let y(k) = 7*k + 154. Let l be y(-17). Solve -8*u + l = -u for u.
5
Suppose 6*q = 9*q. Solve q = 15*u + 51 + 9 for u.
-4
Let v = -163 - -167. Let m(k) = 18*k**2 + k. Let r be m(1). Let d be 57/12 + (-2)/(-8). Solve d*p = -r + v for p.
-3
Let k = 80 - 78. Let d(b) = 3*b**3 - b**2. Let t be d(-1). Let y be k/t + (-6)/(-12). Solve y = u + u + 10 for u.
-5
Let t(j) = j**2 + 21*j - 114. Let k be t(-26). Solve k = 11*m - 3*m for m.
2
Let t be (-12)/(-8)*10/3. Suppose 3*q = t*q - 4. Solve q*w - 5*w = 0 for w.
0
Suppose 56 = 5*k - 4*r + 72, k - 2*r = -8. Solve 5*t + 25 = -k*t for t.
-5
Suppose 3*d - 71 = 31. Suppose -5*l = -0*l - 4*v - d, -5*l - 2*v + 28 = 0. Suppose -l*c = -21 + 3. Solve 0 = c*z + z for z.
0
Suppose 4*j + 41 = 2*i - 1, 5*j + 125 = 5*i. Let k = i + -25. Solve k = f + 2 for f.
2
Let z(w) = w**2 - 6*w - 1. Let l be z(12). Let v = 71 - l. Solve v*m = 3*m - 12 for m.
4
Let l(f) = f**3 - 2*f**2 + 3*f - 7. Let o be l(4). Suppose -5*h - 17 + o = 0. Solve 0 = -2*y + h*y for y.
0
Let u(g) = -2*g - 9. Let a be u(-12). Let o be -5*(21/a - 2). Solve 0*y - y + o = 0 for y.
3
Let a be (3 - -18)/(3/4). Suppose -3*d - d = -3*n, 4*d = -4*n + a. Solve 0 = u - 4*u + d for u.
1
Suppose -3*w + 4*x + 72 = x, 5*x - 27 = -2*w. Let c = -18 + w. Solve -2*o + 11 - c = 0 for o.
4
Suppose 20 = -j - 5*q, 3*q - 16 = j + 7*q. Suppose 0 = -j*b + 4*b - 20. Suppose g = 5*r - g + 10, 0 = -3*r + g - b. Solve r = 2*c + c - 3 for c.
1
Let l be -28*(-3)/60 - 6/15. Solve 13*u + l = 14 for u.
1
Suppose -7*v + 148 - 120 = 0. Solve 0 = -4*a + 2*a + v for a.
2
Suppose 4*j - y - 60 = 0, 10 = j + 11*y - 10*y. Solve 0 = 4*w - j + 10 for w.
1
Suppose 0 = h + 2*t, 3*t + 27 = 2*h - 1. Solve -h*y + 11 = -21 for y.
4
Suppose -16 = 2*u - 6*u. Let n be (2 - u - 2)/(-2). Let o be n + 3 + -1 + -1. Solve 0 = -5*t + o + 12 for t.
3
Let h(v) = -v**3 + 13*v**2 - 11*v - 8. Let z be h(12). Let u be 3/(0/z + -1). Let y be (-1 - 0)/1 - u. Solve -2*m = -y - 0 for m.
1
Let z be 0 + 1 - (-21 - 12/(-3)). Suppose 0 - z = -9*m. Solve 3*c + m*c = 0 for c.
0
Suppose 2*y = 3*u + 6, 21 = 4*y + 5*u + 53. Let a be (68/(-20) - y)*-20. Let r be -2*(-3 + 4/a). Solve r*t - 9 = 1 for t.
2
Suppose 2*q + 6*q + 304 = 0. Let a = q + 41. Suppose -3*t = -3*w - 3, 4*t + 1 = -5*w + 5. Solve w = p - a*p - 2 for p.
-1
Let r(h) = 2*h**2 + h - 11. Let w be r(3). Suppose 0*x = -5*x - 3*d + 25, -2*x - 3*d + w = 0. Solve -3 - 2 = x*p for p.
-1
Let h = -2 + 21. Let l = 15 - h. Let v = -1 - l. Solve 0 = -m - v*m