e ((-81)/12)/(5/20). Let t be -3*-3*(-12)/l. Solve 0 = t*a - a - r for a.
2
Suppose -2*u = -u - 7*u. Solve -9 + u = 3*v for v.
-3
Suppose -15*v - 42 = -12*v. Let i = 14 + v. Let d(b) = b**2 - 2*b - 1. Let j be d(3). Solve i = o - j for o.
2
Let x = -33 + 37. Solve -3*k = x - 19 for k.
5
Suppose 6*a + 218 = 272. Solve 0 = -a*t + 7 + 2 for t.
1
Let j = -30 - -43. Let a(l) = -l**2 + 13*l + 1. Let w be a(j). Let y be w/((-5)/5) - -16. Solve y = -z - 2*z for z.
-5
Let f be (-14 + 26)*37/(-3). Let n = -148 - f. Solve n*h - 3*h - 9 = 0 for h.
-3
Suppose -20*b + 50 = -15*b. Suppose k - 3*w = 14, -3*k - b = -0*k + 4*w. Solve 1 = -3*h - k for h.
-1
Let d be 2/5 - (-874)/190. Solve -d*q + 21 = -12*q for q.
-3
Let s = 1200 - 1200. Solve s = -34*z + 33*z - 1 for z.
-1
Let x = -1158 + 1161. Solve -p + 7 - x = 0 for p.
4
Suppose 32*w - w - 868 = 0. Solve 0 = 4*i - w + 16 for i.
3
Let t(i) = i**3 + i**2 + 2. Suppose -3*x = -5*a + 13, 0 = 3*a + 5*x - x - 2. Let z be (-2 + a)*(-3)/6. Let b be t(z). Solve -b*u + 20 = 3*u for u.
4
Suppose -3*o + o + 5*w = -21, 3*o - w = 12. Suppose 4 = 2*x, -4*l - o*x + 18 = -l. Suppose -5 = 5*i + 2*s, 14 = -2*i + 5*s + 41. Solve -3*y - l + i = 0 for y.
-1
Suppose -21*g = -4*j - 16*g + 152, 76 = 2*j + 4*g. Solve -10*y - 88 = -j for y.
-5
Let c = -9 - -9. Let v(n) = n**3 - 4*n**2 + n**2 - 6*n + c*n**3. Let q be v(5). Solve 3*r - q = -2*r for r.
4
Let b be 3/6*-1*20/(-2). Suppose -120 = -b*q - 20. Solve j + 4*j = q for j.
4
Let t be (1/((-1)/80))/(4 - 5). Let g be (-1)/((-4)/18*24/t). Solve g = -v + 4*v for v.
5
Suppose 5*y - 33 = -4*a, -2*y - 5*a = -4*y. Suppose y*f = 3*f + 34. Let p = -13 + f. Solve -p*l + 21 = 9 for l.
3
Suppose 3*d - 3 = 0, 3*o - 3*d - 65 = -2*d. Let r = o + -13. Let g be r/36 - (-1)/(-4). Solve f + f = g for f.
0
Suppose 0 = -8*b - 28 + 68. Solve -b*t + 31 - 6 = 0 for t.
5
Suppose 9*r - 6*r = 84. Suppose 0 = -u + 4*g - 5*g + 6, -5*u = 4*g - r. Solve -u*p = -7 + 15 for p.
-2
Let z(f) = 8*f**2 + f. Let n be z(-1). Let h(k) = -k + 10. Let x be h(n). Let q = 134 - 133. Solve q = s - x for s.
4
Let x be (-3)/6 - 219/6. Let n = -35 - x. Solve -5*s = -n*s - 15 for s.
5
Suppose 10*g - 140 = -0*g. Solve -10*a = -36 - g for a.
5
Let o(t) = 2*t**2 - 9*t - 3. Let l be o(-1). Solve 5*d = 33 - l for d.
5
Suppose 16*h - 12*h - 16 = 0. Solve 2*t - h = -14 for t.
-5
Let p = -26 + 24. Let f = p - -7. Solve 0*t = t + f for t.
-5
Suppose -5*a = -5*f - 0*a + 5, -5*a = 5. Let b(n) = -3*n**3 - 6*n**2 - 3*n - 2. Suppose -6*r - 8 = 4. Let o be b(r). Solve f = -5*z + o - 24 for z.
-4
Let o be ((-2)/1)/(9 - 1162/126). Solve 15*j + o = 18*j for j.
3
Let z = -52 + 82. Let k be (z/4)/3*2. Let b = -31 - -31. Solve n = -b*n - k for n.
-5
Suppose 2*c - 3*o = -65, -2*c - 6*o + 2*o - 44 = 0. Let u = -26 - c. Let t be (u/5)/((-9)/(-90)). Solve 24 = -t*g + 8 for g.
-4
Let i = 12 - 19. Let w(p) = -16 + 14 + p**2 + 8 + 5*p. Let u be w(i). Solve -u + 8 = -3*s for s.
4
Let b(l) = 3*l**3 - 61*l**2 - 43*l + 47. Let s be b(21). Solve 18*j - s*j = 0 for j.
0
Suppose -717*g = -706*g. Solve g = -6*v + v for v.
0
Let w(b) = b**2 - b - 2. Let j be w(2). Suppose -3*q + 4 = -2. Solve -q*n - n = j for n.
0
Let g(y) = -10*y + 64. Let w be g(6). Let i be (-26)/(-10) - 6/(-15). Solve i*d = -1 + w for d.
1
Let f = 40 + -38. Suppose f*r - 16 = 18. Solve 5 = 3*t + r for t.
-4
Suppose -2*f + 3 = -9. Suppose 0 = 5*g - 4*n - 27, g - n = f - 0. Let l be (-1)/3 + 1/g. Solve 4*c = -l*c for c.
0
Suppose 4*c - 40 = -4*o, 2*o - 12*c + 15*c = 25. Solve -23 + o = 18*t for t.
-1
Let h = 57 - 55. Solve 0 = -h*d + 1 - 7 for d.
-3
Let l be -3 - (2 + -3 - -2). Let y = 17 - 13. Let b be 24 - y/l - 0. Solve -5 + b = 4*i for i.
5
Suppose 0 = i + 3*i - 4*q + 52, -4*i - 58 = 2*q. Let o = 10 + i. Let g be -6 - o - 2*-1. Solve -y - y = g for y.
0
Suppose -3*k + 5*j = -20, j = 5*k + 1 - 27. Solve 0 = 3*n - k + 2 for n.
1
Suppose 0 = k + k - 4. Suppose w = -k*w. Suppose -47 = -4*q - 3*j, w*j - 20 = -4*j. Solve -3*h + 2 = q for h.
-2
Suppose 0 = b - 6 + 3. Let z = 32 - 20. Let g = -8 + z. Solve s + g = -b*s for s.
-1
Let p(f) = 6*f**2 - 2 - 1 + 0*f**2 - 2*f**3 - 4*f**2 - 2*f. Let s be p(-1). Solve o - s*o = 6 for o.
-3
Let r = -22 - -26. Suppose -5*s + s = 2*v + 12, 5*v + 4*s = 0. Let c = r - v. Solve c = 6*q - 3*q + 12 for q.
-4
Suppose -u - u + 8 = 0. Let q(a) = a**2 - 15*a + 2. Let x be q(15). Let s = u - x. Solve -s*p + 6*p = 4 for p.
1
Let r(i) = -5 - 4 - 23*i - i**2 + 12*i. Let c be r(-8). Let d = c + -15. Solve d*t - t = -1 for t.
1
Suppose -4*t = -7*t. Suppose t = 3*l + 6*l - 18. Solve -5*m + l = -23 for m.
5
Let x(t) = t - 1. Let g be x(3). Let h(b) = -53*b - 1683. Let s be h(-32). Solve s = -3*k - g for k.
-5
Suppose -2*h + 74 - 74 = 0. Let s(z) be the first derivative of -z**2/2 - 2*z + 2. Let v be s(-5). Solve h = v*n + n + 12 for n.
-3
Suppose -5*d + 13 = 8*d. Solve 0 = 4*c - 17 + d for c.
4
Let l = 971 - 966. Solve 29 - l = -6*n for n.
-4
Let y be (-4)/(-20) + (-882)/(-90). Solve 26 = -9*f - y for f.
-4
Let u = 13 - 10. Suppose -u = -2*b + 1. Suppose -b*s = -7*s. Solve 0 = -4*q - s*q - 12 for q.
-3
Suppose 0*n - 5*p - 60 = -5*n, -34 = -3*n + 2*p. Solve 0 = g + 7 - n for g.
3
Let q(a) = a**2 - 9*a + 6. Let i be q(9). Let d(g) = -g**3 + 5*g**2 + 5*g + 8. Let t be d(i). Suppose t*n = 3*n. Solve n = 4*l - 4 - 12 for l.
4
Let q(a) = a**3 + 12*a**2 - a - 6. Let u be q(-12). Let x(m) = 3*m + 6*m**2 - 3*m - m**3 + 8. Let s be x(u). Solve 2*o + 0 + s = 0 for o.
-4
Let r = -5 + 5. Let v = -2 - -5. Suppose p - 11 = -3*c - 1, r = -v*c + p + 8. Solve 0*x + 6 = c*x for x.
2
Let a be (0 - (-12)/(-2))/(-2). Let i be 2 + (-4)/6 - (-4)/6. Suppose i*c = -c + 18. Solve 0 = o - a*o - c for o.
-3
Let z(i) = i**3 - i + 5. Suppose 0 = 11*c - 7*c. Suppose c*q = -4*q. Let s be z(q). Solve 2*a = s*a for a.
0
Let g(t) = -t**3 + 12*t**2 - 24*t + 43. Let b be g(10). Solve 8*z - 5*z + b = 0 for z.
-1
Suppose 0 = -4*n + n + 4*s - 2, -n - 4*s + 10 = 0. Suppose 0 = -n*g + v, 3*g + 3*v = -0*g. Suppose g = 4*d - 3*d. Solve d = c - 0*c + 2 for c.
-2
Let h be 3/(-7) + (-63)/(-147). Let k(t) = 4*t + 6. Let b be k(h). Suppose -20 = -2*y - 5*u, -5*u + 20 = -4*y + 5*y. Solve f - b*f + 20 = y for f.
4
Suppose 3*c = -2*c - 35. Suppose 164 = -12*b + 20. Let u = c - b. Solve 2*k - k - u = 0 for k.
5
Let a(k) be the second derivative of k**4/12 - 7*k**3/6 + k**2 - 5*k + 3. Let q be a(7). Solve q = p - 2*p for p.
-2
Let b(h) = h - 48. Let d be b(18). Let u = -7 - d. Solve -7 = 4*q - u for q.
4
Let m(r) = r**3 + 6*r**2 - 8*r + 5. Suppose 0 = -4*z + 6*z + 14. Let x be m(z). Solve -8 = -4*i + x for i.
5
Suppose l = -l + 8. Suppose 4*v + m = -l*m + 20, 0 = -2*v + 2*m - 8. Solve 0*g - 4*g - 12 = v for g.
-3
Let a = 4516 + -4516. Let r = -7 + 12. Solve a*y = -r*y - 10 for y.
-2
Suppose 3 - 18 = -j. Suppose 0 = -3*l - 3 + j. Solve -l*z = -z for z.
0
Let l be ((-1)/2)/((-11)/(-132)). Let n = 9 + l. Suppose -2*o - 3*g = -o - 12, -3*o - 4*g = -21. Solve -o = n*w + 12 for w.
-5
Let v = -28 + 53. Suppose -2*h - 3*q + 54 = -v, 3*q = 2*h - 49. Suppose 3*k - 5*t = -0*k - 8, 4*k + 4*t - h = 0. Solve 3*z + k = 4*z for z.
4
Let b(l) = l + 29. Let q(x) = -2*x - 72. Let v(k) = 12*b(k) + 5*q(k). Let s be v(8). Solve n = s*n + 3 for n.
-1
Let w be 0/(4 - 6) - -33. Let f be 22/w - 7/(-3). Let o = 32 + -22. Solve -a + f*a + o = 0 for a.
-5
Suppose j + 112*r - 111*r = 10, 4*r - 28 = -2*j. Solve j*d - 13 = 5 for d.
3
Let j be 0 + (14/8 - (-4)/16). Let u = 29 + -17. Suppose 2*t + 7 = 5*g, 3*g + 4*t - u = 13. Solve -g*r + 1 = -j for r.
1
Suppose -4*i + 25 = 1. Suppose -9*z + 0*z = -243. Let v be (z + 1 + -1)*4/6. Solve v = 3*x + i for x.
4
Let m = -313 + 319. Solve h - m*h = 0 for h.
0
Suppose 2*k = 5*u - 48, 8 = u - 0*u - 2*k. Suppose 5*b + 2 = d - u, 4*b - 3 = -d. Solve 3*o = d*o + 20 for o.
-5
Suppose 27 = -2*o + 7. Let d be (-1)/(-5) + 2/o. Suppose -12 = -3*u, k - 5*u + 16 = -d*k. Solve 0 = -3*n + n - k for n.
-2
Suppose -3*g + l = -34 + 7, 0 = -3*l - 9. Solve -4*x + 12*x = g for x.
1
Let g(r) = -74*r - 3. Let u be g(1). Let f = 79 + u. Solve -5 = 3*p - f*p for p.
-5
Let r be ((-4)/2)/(2 + -3). Let y be ((-1)/r)/((-3)/(-18)). Let j be 4/2 - (y - -5). Solve j = -4*b - 6 - 6 for b.
-3
Let l(n) = 7*n + 21. Let c(g) = -10*g - 31. Let p(q) = -5*c(q)