lve h = -t + 4*t for t.
0
Let h(c) = -c**3 - 15*c**2 - 3*c - 43. Let f be h(-15). Suppose -3*u - 2*u - 40 = 0. Let k = u + 15. Solve -f*j + k*j = 15 for j.
3
Suppose 0 = 4*m - 3*x - 2*x + 24, 3*m = 4*x - 19. Let n(s) = 1. Let w(r) = r - 1. Let b(g) = -6*n(g) - 5*w(g). Let v be b(m). Solve -v*l = -l for l.
0
Suppose 30*a - 43 = 77. Solve 2*y - 6 = a for y.
5
Suppose 4*c = -g + 28, -5*g + 6 = 3*c + 2. Let y(i) = i + 14. Let l be y(-10). Let t be (-19)/(-1) - (-1 + 4). Solve l*q + t = c*q for q.
4
Let u = -5 + 9. Suppose -5*s + 16 = 3*i - 2*i, 0 = u*i + 16. Suppose 12 = 2*n + s. Solve -20 = n*j - 0*j for j.
-5
Suppose -52*o - 25 = -57*o. Solve -s + o*s = -8 for s.
-2
Suppose 4*a + 2*s - 183 = -s, 0 = -5*a - 5*s + 225. Solve -21*r = -a*r for r.
0
Suppose 0 = -296*r + 299*r. Solve -4*t - 5*t + 9 = r for t.
1
Let g(w) = -w. Let k be g(-6). Suppose 207 - 621 = -3*y + 3*c, -4*y + 556 = -2*c. Suppose -3*q - 4*q = -y. Solve -n = -k*n + q for n.
4
Suppose 0 = 2*k - 4*a - 16, -k - 3*a + 141 - 143 = 0. Solve 35 - 51 = -k*c for c.
4
Let a(g) = -g**3 - 5*g**2 + g + 7. Let y be a(-5). Suppose 4*q - 80 = 4*t, 5*t = 3*q - 38 - 24. Suppose 13*s + 12 = q*s. Solve -s = y*b + 4 for b.
-3
Let o(w) = -w**3 - 17*w**2 - 20*w - 18. Let n be o(-16). Let g = n + -23. Suppose -g = -5*v + 3*h, -3*h + 6 + 3 = 3*v. Solve 0 = v*y - 0*y + 12 for y.
-3
Let a = -2047 - -2056. Solve -a*n + 10*n - 4 = 0 for n.
4
Let n = 12 + 2. Let i = 31 - 18. Let z = n - i. Solve -5*a + z - 11 = 0 for a.
-2
Suppose -83*q = -74*q. Solve -7*j + 28 = -q*j for j.
4
Let u(k) = 115*k - 805. Let r be u(7). Solve r = -13*x + 35*x for x.
0
Let r(k) = k**2 + 8*k + 1. Let o be r(-9). Let q be 5/2*o/5. Suppose -3*x + 4 = -q. Solve 1 + 8 = x*p for p.
3
Let y(b) = b**3 - 8*b**2 + 14*b - 8. Let a be y(6). Let l be 0*1/((a + -3)*1). Solve l = -3*t + 4*t for t.
0
Suppose -3*v = 95 + 37. Let d = v + 44. Let f(a) = a**3 + 6*a**2 - 6*a + 9. Let n be f(-7). Solve n*c + 2*c - 20 = d for c.
5
Let m(o) = -4*o**2 + 3*o - 3. Let p be m(2). Let a = -5 - p. Suppose -a*g = -2*g - 18. Solve -9 = g*q + 3 for q.
-4
Suppose -m - m = 2. Let z be -3 - -1 - ((m - 1) + -4). Solve -z*j = -j for j.
0
Let c(o) = 2*o**2 + 57*o + 29. Let v be c(-28). Let d be 3 + 0 + 2 + -3. Solve 0 = -3*k + d*k - v for k.
-1
Suppose 0*y - 14 = -t - y, 4*y - 28 = -2*t. Solve t*c = 8*c + 6 for c.
1
Let y(l) = -l**3 - 3*l**2 - l + 2. Let d be y(-3). Suppose 0 = -d*v + 6*v + 8. Let j be (v - -5)*(-1 - 2). Solve -6*o = -3*o - j for o.
3
Suppose -70*a + 74*a = 100. Let g be 2 + 3 + 1 - (a - 21). Solve 3 = f - g for f.
5
Let d be (6/(-7))/(3/(-21)). Let b be d/(-10)*40/(-4). Suppose -5*m + 26 = -b*u + 4*u, 3*m = -4*u. Solve 7 = -m*c + 3 for c.
-1
Let v(l) = -l**2 + 8*l - 6. Suppose 0 = 8*z + 1 - 33. Let x be v(z). Let d = 30 - 0. Solve 5*j + d = x for j.
-4
Let i = -57 - -27. Let y = 33 + i. Suppose u + 2*j = -3*u + 8, -j = -4. Solve -2*r + 3*r - y = u for r.
3
Suppose 0*m - 15 = 3*m + 4*b, -2*b - 3 = -3*m. Let j(c) = 5*c**2 + 5*c + 4. Let i be j(m). Solve 0 = -5*r - 1 - i for r.
-1
Let n(a) = -a**2 + 9*a + 8. Let m be n(0). Solve 3*f + m + 4 = 0 for f.
-4
Let p be 2/(-2) + 0 - -1. Let d = 77 - 61. Suppose -d*g = -80 - 0. Solve -g*u + p = 5 for u.
-1
Suppose -4*i + u = 41, 0 = -5*i + i - 2*u - 38. Let t be -40*(-3)/12*(-1)/2. Let q = t - i. Solve q*b - 6 + 1 = 0 for b.
1
Suppose -4*x - 2*u + 30 = 0, -25 = -3*x + u - 5*u. Suppose 0 = -2*k + x + 3. Let o(m) = -2*m**2 + 11*m + 2. Let h be o(k). Solve 0 = 2*s - h*s + 10 for s.
2
Suppose 128*f + 8 = 132*f. Suppose -2*b + 12 = 5*z - 10, 5*z - 3*b = 17. Solve 5*a - f = z*a for a.
2
Let r(o) = o**3 - o**2 + 2*o + 1. Let d be r(2). Let x be 4/6*30/4. Let q be x + (2 - (4 - 2)). Solve -2*j = -q*j - d for j.
-3
Let s be (-36)/(-3) - (0 - 2). Suppose -z = y - 2*y + s, 2*y - 25 = z. Solve y*x = 6*x - 25 for x.
-5
Suppose 0 = -t + 4*a - 15, -4*a - 5 = -25. Let f be t/(-1)*(-180)/150. Solve 6*j = 4*j + f for j.
3
Let v be 20/4 + (-7 - (0 - 2)). Solve 2*h - h + 4 = v for h.
-4
Let h = 1 - -3. Suppose 26 = 2*w - 4*w. Let y = 18 + w. Solve 3*i = h*i - y for i.
5
Suppose -3 = f - 5. Suppose -23 = -20*z - 3 + 20. Suppose 0 = 2*b + 3*x - 19, -1 + 8 = -4*b + 3*x. Solve f + z = -b*v for v.
-2
Let o be (8/3)/((-22)/(-99)). Suppose -7 + 33 = 3*k + 5*b, 4*k = 5*b - o. Solve -d = k*d for d.
0
Let g(n) = 2*n**2 - 23*n + 5. Let t(w) = -w**2 + 11*w - 2. Let k = -9 - -16. Let s(c) = k*t(c) + 3*g(c). Let x be s(8). Solve -x = 5*y + 4 for y.
-1
Suppose -5 = -4*k - 1. Let q = 4 - 4. Suppose q*w = 4*w. Solve -h + w = k for h.
-1
Let f(x) = -9*x**2 + 20*x - 2. Let q be f(2). Solve 4*g - 18 = -q*g for g.
3
Suppose 3*r - 46 = 2*b - 3*b, r = -3*b + 18. Suppose -2*u + r = u. Suppose 5*d + u = -5*h, -2*h + 4*d = h - 25. Solve -2*o + 25 = h*o for o.
5
Suppose -15 = 2*z - 7*z. Suppose -z = -9*f + 6*f. Solve 11 = -3*x - f for x.
-4
Let q be 18/10 + (-13)/(-65). Let z = -48 + 53. Solve -z + 7 = -q*f for f.
-1
Let x be 7/70 - (-29)/10. Solve 0 = -10*v + x*v + 21 for v.
3
Suppose 5*m + 26 = 4*c - 0*m, -5*c + 2*m = -41. Solve 12*x + c = 9*x for x.
-3
Let t = 2979 - 2979. Solve t*l - 48 = -12*l for l.
4
Let l(p) be the third derivative of 5*p**4/24 - 8*p**3/3 - 4*p**2. Let u be l(4). Solve -y = -u*y for y.
0
Suppose 7 = -2*l + 15. Suppose -l*y + 16 = -3*y. Solve y = v + 3*v for v.
4
Suppose 14*y - 9*y = 0. Let l = -2 + 2. Solve y*s - 3*s + 3 = l for s.
1
Let s = 58 - 41. Let g = -16 + s. Solve y + 0*y = g for y.
1
Let v(f) be the first derivative of -f**4/4 - f**3/3 + 27*f + 1. Suppose 59*k = -26*k. Let r be v(k). Solve 5*g - r + 2 = 0 for g.
5
Suppose 0 = -2*s + 4*m + 34, 0*s - 3*m + 33 = 3*s. Solve -c - s + 15 = 0 for c.
2
Let f = 20 - 19. Let z be ((-3 - -6) + -2)/f. Solve -z = -b + 1 for b.
2
Let v(n) = 2*n - 19. Let a be v(12). Suppose a*p - 14 = -39. Let c = 7 + p. Solve -3 = d + c for d.
-5
Suppose 2*l + 2*j = 42, 6*l - 3*l - 65 = -4*j. Solve -15*w - l = -4 for w.
-1
Let b(t) = -t**2 - 3*t - 2. Let r be b(-3). Let i be (-13 - -1)*r/(6/1). Solve -i*v = -1 - 3 for v.
1
Let l(q) = 7 + 13 - 11 - 26*q + 2*q**2. Let b be l(13). Solve -4 = b*n - 10*n for n.
4
Suppose 4*m + 8 = 24. Suppose 4*v - 8 = 0, 4*v = 5*k + 5*v - 2. Suppose k = -i + m*i. Solve -h = -i*h for h.
0
Suppose w + 2*k = -2*k + 2, -3*w + 19 = -k. Suppose y - w = -4. Solve -y*l = -l for l.
0
Let a(x) = -2*x**2 + 3*x**2 + 0*x**2 - x - 2*x**2. Let t be a(-2). Let c be 7/2 + 1/t. Solve 0 = -2*j - j + c for j.
1
Let i = 1710 + -1710. Suppose -2 = r - 2*r. Suppose -2*n + 3 + 9 = 0. Solve i*p = r*p - n for p.
3
Suppose 4*v + 12 = -5*n, v + 2*n - 6*n = 18. Let o(a) = a**2 + 5*a - 33. Let j be o(-10). Suppose 15*f = j*f. Solve f*q = q + v for q.
-2
Suppose 2*m = -2*m. Suppose 5*a + 3*c = 19, -4*c - 9 = -7*c. Let s = -2 - -6. Solve -a*b + m = s for b.
-2
Suppose -2*r = -3*g - 4, 0*r - 5*r = 3*g - 10. Let m be (-1)/2*(-4)/r. Solve 2*q - 5 = m for q.
3
Let v be (11 - -2) + (-44)/4. Solve -3*l - v = -l for l.
-1
Suppose 4*i + 4*y + 0 = -8, 0 = -3*y - 6. Suppose l = -2*l + 6. Solve -o + l*o = i for o.
0
Suppose 2*x - 1 = -2*u + 13, -4*u = 5*x - 33. Solve u*h + 3*h = 7*h for h.
0
Let c(o) = 14*o - 80. Let h be c(7). Let p be ((-4)/(-6))/(h/81). Solve -2*s = p*s + 20 for s.
-4
Suppose -2*h + 5*h + 12 = 0. Let v be (0 - 0)/(2 + h). Solve v = -3*p - p for p.
0
Let v = 31 + -2. Let g = v - 29. Solve x + g = 3 for x.
3
Let z(k) = -k**2 - 21*k - 20. Let x be z(-19). Solve -27*t = -x*t for t.
0
Let l be 35/25 - (-12)/20. Solve 0 = i + i + l for i.
-1
Suppose -62 = -4*f + 10. Suppose -f = -d - 5*d. Solve -2*h = d*h for h.
0
Suppose 2*n - 98 = -4*z, 4*z + 31 = -9*n + 10*n. Solve n*d = 40*d for d.
0
Suppose -40 = -5*d - 5*m, 3*d + 4*m = 9*m + 24. Solve -5*z - 28 = -d for z.
-4
Let w be (1 + 0)/((-2)/(-50)). Suppose -j - 4*j + w = 0. Solve j*x + 1 = -9 for x.
-2
Let u(g) = -g**3 + 11*g**2 - 10*g - 2. Let f be u(10). Let n(s) = 5 - 5*s - 1 + 4*s. Let x be n(f). Solve -x - 4 = 5*z for z.
-2
Suppose -13*j - 1 = -131. Solve j*t - t = 0 for t.
0
Let v = 45 + -42. Let n = 79 - 76. Solve -v*k + 0 = -n for k.
1
Let s(o) = -7*o**3 + o**2 + o - 1. Let y(v) = -20*v**3 + 3*v**2 + 3*v - 2. Let l(n) = -17*s(n) + 6*y(n). Let k be l(0). Solve -2 = -3*m - k for m.
-1
Let r = 129 - 126. Solve -r*y + 12 = -7*y for y.
-3
Let t = 140 