Let x be j(-7). Solve -t + 0*t + x = m for t.
4
Suppose -351*r - 8 = -353*r. Solve 3*z - 2 = r*z for z.
-2
Suppose 0 = -v - 2*r - 1, -r - 3 = -2. Let u be 3 - (-3 + 2) - v. Let y be (u/(-9) - 1)*-15. Solve 5*h + y = h for h.
-5
Suppose 0 = u - 5*u. Let s = u - -15. Let z be 4/(3 + s/(-6)). Solve 5*a - z = -3 for a.
1
Let c = 2 + -2. Solve c = -9*d - 10*d + 19 for d.
1
Suppose 2*f = -f + 6. Let s be (-2)/7*28/(-24)*15. Solve -f*z = -z + s for z.
-5
Suppose 0 = -2*c + 4, -4*k - 2*c + 37 = -k. Let d(q) = -q**2 + 11*q - 3. Let y be d(k). Let j be 8/3*y/(-2). Solve j*a = 14 + 6 for a.
5
Suppose 0 = 3*a - 5*z - 30, 8*z + 40 = 5*a + 3*z. Solve -9*c - a = -10*c for c.
5
Let p(a) = a + 8. Let c be p(-4). Suppose 4*x - c*i = -0*x + 36, -4*x + 3*i + 31 = 0. Solve 0 = x*w - w for w.
0
Let y(u) = -u**3 - 2*u**2 + 4. Let p be y(-2). Suppose 4*v - 4*c = 44, -p = v + 2*c - 0. Let t = -1 - -4. Solve -v*k + t*k = 3 for k.
-1
Suppose 3*h - 296 = h. Let m = -140 + h. Solve -5*f - 17 = m for f.
-5
Suppose j - 24 = -5*j. Suppose -5*v = -2*v - 24. Let h be 16/48 - v/(-3). Solve h*z + j = 1 for z.
-1
Suppose 5*a - q - 25 = 4*q, 4*a - 26 = q. Let s be ((-2)/a)/(1/(-7)). Suppose g = 1 + s. Solve 0 = 2*f - g*f for f.
0
Let j be (1 - 2)/((-5)/45). Let z be (-6)/24 + j/4. Solve 0 - z = -c for c.
2
Let x = -19671 + 19674. Let q = 0 + 2. Solve 5*t - x*t = q for t.
1
Suppose 0 = -3*s - 4*p, -3*s - s - 2*p = 0. Let d be (-1)/((10 - 5)/(-5)). Solve s*t + d = t for t.
1
Let h = -1049 + 1049. Solve -4*t + 26 - 6 = h for t.
5
Suppose -5*c - 70 = -19*v + 14*v, 5*c - 10 = 0. Solve 10*f = 2*f - v for f.
-2
Let m = -1182 + 1183. Solve -10*t - m + 1 = 0 for t.
0
Let z = -13 + 5. Let x = 2 + -13. Let c = z - x. Solve c*q = -0*q for q.
0
Let w(v) be the second derivative of 3*v**2 - 1/20*v**5 + 1/2*v**3 + 0 - 1/4*v**4 - 3*v. Let d be w(-4). Solve -d = 4*f - 2 for f.
-2
Let m = -62 + 67. Suppose d = m*d - 8. Solve 2*s - 4*s - d = 0 for s.
-1
Suppose -4 = 3*t - 6*y + 4*y, -t - 4*y = -22. Suppose -22 = t*j - 6*j - f, 8 = 4*f. Solve j*m = 4*m for m.
0
Let d = 160 - 279. Let n = 122 + d. Solve -7*a + n*a - 12 = 0 for a.
-3
Let h(s) = -3*s - 4. Let a be 3/(-4)*(-4 + 8). Let d be h(a). Suppose -3*k + 77 + 4 = 0. Solve -d*g = -k + 7 for g.
4
Suppose -8 = -3*c + w, -2*c - 4*w + 0 = -24. Solve 0*a - c = 4*a for a.
-1
Let h = 597 - 593. Solve -6*l + h = 16 for l.
-2
Suppose -i + 2*v + 57 = 0, 120*v - 69 = -i + 118*v. Solve -i = 9*u - 18 for u.
-5
Suppose -22*r + 55 + 11 = 0. Solve -3*o = -o + r*o for o.
0
Let a be 54/4*2/3. Solve 0 = -3*y + 12*y + a for y.
-1
Let k = 12 - 2. Let l = -6 + k. Let i(g) = -g**2 - 6*g - 3. Let u be i(-5). Solve l = -u*v - 2 for v.
-3
Suppose 0 = -6*k + 3*k + 72. Suppose 3*q + k = -24. Let g = -11 - q. Solve -m - g + 2 = 0 for m.
-3
Let u(f) be the first derivative of -f**4/12 + 4*f**3/3 - 6*f**2 + 2*f - 6. Let b(d) be the first derivative of u(d). Let x be b(5). Solve -n + 5 = x for n.
2
Suppose -5*t - 265 = -0*x - 2*x, -4*x - 2*t + 590 = 0. Let q = x - 141. Solve -s = -3*s + q for s.
2
Suppose -3*z + 93 = 39. Solve z = 5*b - 14*b for b.
-2
Let d = -2 - -5. Let p(g) = g - 10. Let v be p(12). Suppose v*u - 20 = -3*u. Solve -d = k - u for k.
1
Let h = -449 + 472. Solve 0 = -26*i + h*i for i.
0
Let c = 32 + -28. Solve 2*j - c = 6 for j.
5
Suppose -v + 4*t + 3 = 0, 0 = -4*v + 18*t - 16*t + 68. Solve -2*i - 9 + v = 0 for i.
5
Let l(x) = x**3 - 9*x**2 + 3. Let g be l(9). Suppose -g*j - 19 = -5*u, 3*j - 23 = -3*u - j. Solve u*c = 2*c for c.
0
Let y be -1 + -1 + (30 + 0 - 1). Suppose -20*u - 7 = -y*u. Solve 0 = -2*n - u - 3 for n.
-2
Let y be 30/(-21) + (-14850)/(-350). Solve 45 = -4*o + y for o.
-1
Let i(x) = 15*x + 8. Let v be i(2). Let a = v - 34. Solve 9*m - 25 = a*m for m.
5
Let u(x) = x**3 - 5*x**2 + 5*x - 1. Let i be u(5). Suppose 160*t + 241*t - 1604 = 0. Solve 4 - i = t*f for f.
-5
Suppose -2*v - 63 = -69. Let d = 1 - 1. Suppose -v*z + z + 6 = d. Solve -z*n + 7*n = -16 for n.
-4
Let m = -15 + 19. Suppose -3*t + m*i - 2 = 0, 3 = 4*t + i - 7. Solve 0 = 2*d + 6 + t for d.
-4
Suppose 5*w + u - 174 = 0, u + 33 = 4*w - 99. Suppose -11*h = -w - 32. Solve -2*r + h = -2 for r.
4
Let b be (1/(-3))/((-2)/18). Let y be (0 - 10)*6/(-15). Let n be 19/y - (-3)/12. Solve -2*j - b = -n*j for j.
1
Let g(l) = -l + 14. Let j be 1 + (20 - 0)/(-1). Let a = 30 + j. Let t be g(a). Solve t*s = 5*s - 10 for s.
5
Suppose 0*f + 5*f = -4*w + 28, 5*w + f = 14. Solve -6*b = -w*b + 16 for b.
-4
Let d be (45/(-27))/(2/(-12)). Let g = d + -4. Let m be g*((-32)/(-12) - 2). Solve m*h - 2*h + 2 = 0 for h.
-1
Suppose 10 = -5*g - 5. Suppose t - 3 = 0, -5*t + 9 = -4*i + 2. Let n be 9*i/(-18)*g. Solve -n = z + 1 for z.
-4
Let n(g) = -2*g**3 - 12*g**2 + 4*g + 2. Let d(i) = 5*i**3 + 25*i**2 - 7*i - 3. Let z(o) = -3*d(o) - 7*n(o). Let r be z(8). Solve r*l = -l for l.
0
Let w(i) = i**2 + 2*i + 4. Let b be -1 + 6 - (-30 - -35). Let k be w(b). Solve 0 = -k*p - 3 + 15 for p.
3
Suppose 3 - 5 = -f. Suppose 0 = q - f*q - 1. Let t be (-13)/q - (21 - 18). Solve -l = l - t for l.
5
Let x = 1 - -4. Suppose 6 = 7*c - x*c. Suppose 3*f = -d + 28, -c*f - 2*d + 6*d + 38 = 0. Solve 0*m + f = -2*m for m.
-5
Suppose 0 = -7*d + 15*d. Solve 8*x - 13*x + 25 = d for x.
5
Let g = 772 - 752. Solve 0 = g*w + 36 - 96 for w.
3
Suppose 167 = 5*w - 38. Let b = w - 27. Let g be (-5085)/(-904) - 6/(-16). Solve -b = 4*y - g for y.
-2
Suppose q + 42 - 3 = 0. Let c = q - -51. Solve 2*i - 5*i = -c for i.
4
Let h be (-34)/(-12) + (-1)/(-6). Let m(u) = 4*u - 11. Let a be m(h). Solve -z + 0 = a for z.
-1
Suppose 0 = 19*b - 117 - 301. Solve -4 = -b*i - 4 for i.
0
Suppose -21*n - 5 = -17*n + s, 2*n = -4*s - 20. Suppose 2*x - 3*h = 0, -2*x = 2*h + 1 - 21. Solve n = 3*j + 15 - x for j.
-3
Suppose -1 = s - 4. Suppose -5*g + 4*w + 9 = -1, -2*g - 5*w + 4 = 0. Suppose 4*z = -g*z + 42. Solve z + 5 = s*d for d.
4
Suppose 0 = -2*z + 5*y + 364, -4*z - 3*y + 31 = -671. Solve -173*a + z*a + 8 = 0 for a.
-2
Let w = 20 + -16. Suppose 0 = w*o - 20 + 8. Suppose o*f = 0, -5*f = -4*q - f + 4. Solve 10 = 3*u + q for u.
3
Suppose 25 = 4*d - 3*q, d - q - 7 = -0*q. Let o(l) = l**3 + 5*l**2 + 5*l + 1. Let h be o(-4). Let v be (-6 - -9) + (-2 - h). Solve -2*f = -d*f + v for f.
2
Let a(w) = -w**2 - 10*w - 17. Let c be a(-5). Solve -c*v + v = -28 for v.
4
Let g(s) = -s**2 + 8. Let k = -22 - -26. Let p be g(k). Let i(n) = n**2 + 8*n + 9. Let l be i(p). Solve -2*z = -5*z + l for z.
3
Let m = -61 - -7. Let p = m + 56. Solve t - p*t = -5 for t.
5
Let d be ((-32)/10)/(-1 + (-45)/(-50)). Solve 0 = o - 9*o - d for o.
-4
Let m(x) = -5*x**2 - x. Let l be m(-1). Let h be 2 + l + (1 - 1). Let t be (-2 + 17)/((-3)/h). Solve r - t = -r for r.
5
Suppose -6*r - 4 + 46 = 0. Let x be 20/(-35) - (-4)/r. Solve x*y = 3*y + 12 for y.
-4
Let l = 46 - 38. Solve -11 = -c - l for c.
3
Suppose -v - 5*x = -4*v - v, 0 = -3*x. Solve v = 16*c - 8 - 56 for c.
4
Let o(l) = l**3 + 5*l**2 + 3*l - 2. Let u be o(-4). Let g = 7 - u. Suppose -3*n - 21 = -3*v, 4*n - n = -4*v. Solve r = -g + v for r.
-2
Suppose -2*o + 5*v + 86 = 0, 0 = -5*o - 0*v + 2*v + 173. Let i(a) = -8*a - 8. Let k be i(-6). Let y = k - o. Solve -2*b = -y*b - 15 for b.
-3
Suppose 0*f - 2 = -2*f. Let v be 12/(-9)*(-273)/(-14). Let x = 41 + v. Solve -4*z - f - x = 0 for z.
-4
Suppose -4*a - 3*a + 28 = 0. Let i be 3 - 3/((-6)/a). Solve -2*f = -7*f + i for f.
1
Let q be 24 - (-1 - -2 - -4). Suppose -5 = -8*d + q. Solve 4*t = t + d for t.
1
Let c be -1*(0 + -1 - -6). Let l be (0 - c) + -2 + 5. Suppose -5*o - s = 2, 0*o + 4*s + l = -o. Solve o = 4*f + 21 - 1 for f.
-5
Let t be 2 + (24/(-6) - (-15 - 0)). Suppose r - 3*y = 2, -5*r - 3 = y - t. Solve -2*f = -2 - r for f.
2
Let o(n) = -14*n - 151. Let r be o(-11). Solve -8*g = 2*g - r*g for g.
0
Let y = -1 - -5. Let u be 3366/209 - 6/57. Solve -y - u = 5*x for x.
-4
Suppose 0 = 53*v - 49*v + 8. Let b be v + (2/9 - (-48)/27). Solve b*a - 10 = -5*a for a.
2
Suppose 2*c + 5*q - 27 = 0, 24 = -c + 4*q + q. Solve c = -5*j + 1 for j.
0
Let i be (1 + -5)/(-4) - -10. Suppose y + 8 = i. Solve -y*j - 5 = -2*j for j.
-5
Suppose 56 = 624*x - 616*x. Solve -x*o = -3 - 18 for o.
3
Suppose 8*k = 5*k. Suppose -6 = 4*b + 2*c, b - 2*c - 15 = 3*c. Solve b = -5*n - k*n - 15 for n.
-3
Let p(f) = f**3 + 37*f**2 + 37*f + 59.