 t.
1
Let d = 31 + -28. Let r be 2*(4 + (-36)/d). Let g = r - -18. Solve -h = -2*h + g for h.
2
Let l(k) = -k - 2. Let f be l(-4). Suppose 0*u = u - f. Suppose 0 = w - u*w + 5. Solve -1 = -w*s - 26 for s.
-5
Let y be 1 - (-3)/(-4) - (-153)/(-612). Suppose -2*f + 3*s = -6, f + 3*s = 6*f - 33. Let o = -5 + f. Solve 2*n - 2 - o = y for n.
3
Let t(n) = n**3 + 4*n**2 - n - 4. Let o be t(-2). Solve -o = -3*m - 3 for m.
1
Suppose 8 = 4*o, 5*p - o = 4*o + 5. Suppose -3*q = -5*b + q + 17, p*b = q + 6. Solve 7 - b = -3*j for j.
-2
Let y be 6*7/63 + 119/(-3). Let x = -19 - y. Solve -o + x = -5*o for o.
-5
Suppose k - 49 = -0*k. Let c = 61 - k. Solve 3*h - 3 = -c for h.
-3
Let m be (-2)/6 + 12/9. Let p(w) = 4*w**2 + w - 1. Let y be p(m). Let n(q) = q**3 - 4*q**2 + 3*q + 3. Let b be n(3). Solve 5*d + b = y*d for d.
-3
Suppose -w + 0*w = 1. Let h be 3*w/(-3)*5. Let j = 207 - 205. Solve h*p + 7 = j for p.
-1
Suppose o - 5*u = 3, 0*u - 3 = -o - 3*u. Suppose -34 = -3*i + 2*q, 28 = o*i - 0*q + q. Solve -2*m = 3*m - i for m.
2
Let a be (-2)/3 + (-444)/(-18) + 1. Suppose -5*j + a = s, -7*j - s = -5*j - 10. Solve 6 = j*o + 16 for o.
-2
Let j = 1137 + -1134. Solve -13*n + 10 = -j for n.
1
Suppose -x + 167*n - 12 = 172*n, x + 3*n = -4. Solve -23*k + x = -15*k for k.
1
Suppose -19*q = -54*q. Solve q = -n - 4*n + 5 for n.
1
Let g be (-5)/(-20) - 22/(-8). Suppose -52 = -0*n - 4*n. Suppose -2 = -g*a + n. Solve -5*l - 15 = a for l.
-4
Let l be (-9 + 13)/(0 - -2). Solve 4*q + l = 3*q for q.
-2
Suppose 2*f + 8 = 2, -61 = -k - 5*f. Solve -k = -r - 18*r for r.
4
Let w(j) = -29 + 29 - 2*j**2 + 7*j. Let m be w(3). Solve -m*k + 8 = -k for k.
4
Suppose -2*h = -7*h - 3*d + 42, -5*h + 26 = -d. Solve 4*p - h = p for p.
2
Let f(c) = -c**2 - 2*c + 12. Let l be f(0). Solve 9 - l = -b for b.
3
Suppose -145*w - 112 = -159*w. Solve 2*f + w = 18 for f.
5
Let a be 4/(-10) + 17/5. Suppose 6 = -a*s + 2*s. Let z be 3/(s/(-10))*1. Solve -4 = -z*j + 1 for j.
1
Suppose 2*o = 2, -563 = d + 4*d - 3*o. Let p = -108 - d. Solve 3 - 11 = p*n for n.
-2
Suppose -9 = -2*p - 2*c + 1, -2*p + c + 16 = 0. Solve -p = -6*v - v for v.
1
Let r(o) = 9*o - 1. Let q be r(1). Let u(b) = -b + 12. Let c be u(q). Solve -5*k = -c*k - 5 for k.
5
Suppose 2*u = 4*k + 8, 3*u + k - 4 - 8 = 0. Let t be 328/16 - 20 - 11/(-2). Solve 2*a - t = u*a for a.
-3
Suppose 2*r + 17 = r - 2*d, r - 3*d = -37. Let h = r - -25. Let s = -1 + 21. Solve h = -2*b - 3*b - s for b.
-4
Suppose p = -x + 6, 10*p + 22 = 3*x + 15*p. Suppose w = 2*w. Solve x*u - 4 = -w*u for u.
1
Suppose 3*h - 4*h = 8. Let o = 11 + h. Suppose 3*k + 5 = -2*y, -2*y = -k - 2*k - 25. Solve -y - 10 = -o*m for m.
5
Let a(s) = -s**3 - 5*s**2 - 8*s - 15. Let u be a(-4). Let o(g) = 3*g**3 + 2*g**2 - 1. Let y be o(u). Solve y*h + 3 = -1 for h.
-1
Suppose -2*m - 4 = 63*v - 64*v, 5*v - 52 = 2*m. Solve 9*b = 3 - v for b.
-1
Let w(d) = -2*d**3 + 12*d**2 - 2*d + 14. Let m be w(6). Solve m*l + 1 = -5 for l.
-3
Suppose -5*c - d = -8 - 14, c - 4*d = 17. Suppose 5*z = 6*z - c. Suppose z*u - o - 16 = 0, 3*o + 4 - 16 = 0. Solve 0 = u*y + 10 - 2 for y.
-2
Let h(y) = -y + 3. Let m be h(3). Suppose -3*b + m = -15. Let n(i) = -i**3 - 3*i**2 + 10*i. Let o be n(-5). Solve -20 = b*c - o for c.
-4
Let u(k) = 3*k**2 + 8*k + 5. Let d be u(-2). Let j(l) = 2*l + 0*l + 2*l**2 - 3*l**2. Let o be j(d). Solve -c = -o - 2 for c.
3
Let r = 4 - -47. Let c = 71 - r. Solve -3*p - c = p for p.
-5
Let n(j) = -j**3 - 5*j**2 + 9*j + 1. Let f be (2 - 2/2)*-6. Let i be n(f). Let x = -12 - i. Solve 0 = x*t - 2 + 7 for t.
-1
Let v(n) = -n**3 - 18*n**2 - n + 38. Let w be v(-18). Suppose -w*d = -53*d - 15. Solve 3*b - 2*b + d = 0 for b.
-5
Let h be 27/(-45)*15 + 11. Let b be -4*((-1)/2 - 0). Solve -h - b = 4*v for v.
-1
Let d(t) = t**3 - 8*t**2 + 8*t - 14. Let s be d(7). Let z(p) be the second derivative of p**3/6 + 7*p**2/2 + 4*p. Let k be z(s). Solve k - 6 = 2*b for b.
-3
Let m be ((-2)/(-8))/((-4)/(-16)). Let d be m*(0 + -1) + 1. Suppose -4*c = 5*v - 11, 0*c + 3*v = 4*c - 19. Solve 0*k + k - c = d for k.
4
Let d(l) = -l**2 + 14*l + 138. Let v be d(-6). Solve 4*g = 2 + v for g.
5
Let r(y) = 12*y - 38. Let d be r(6). Solve -d*t + 33*t + 3 = 0 for t.
3
Let i = -552 - -571. Solve i = -12*c - 41 for c.
-5
Let g be 0/(4 + (-1 - 1)). Let f(m) = -m**3 - 2*m**2 - 8*m + 5. Let j be f(-5). Let v = j - 116. Solve -v*n + 12 = -g for n.
3
Let o be (-4)/6 + 615/45. Let n = o + -9. Suppose 0 = n*l - 25 + 1. Solve 4*x + 2 - l = 0 for x.
1
Suppose 28*l + 59*l = 435. Let q(k) = -k - 5. Let a be q(-5). Solve -2*c + 7*c - l = a for c.
1
Suppose 2*c + 0*u = 5*u + 68, c - 32 = 2*u. Let w be -1*((-2)/(-6))/((-2)/c). Solve a - 1 - w = 0 for a.
5
Suppose -2 = 5*r - 12. Let g = 54 - 46. Let a be (1 - (3 - 2)) + 2. Solve -a*z = r*z - g for z.
2
Let o be (3 + (-12)/3)*0. Suppose 5*u + 20 = -o*u, 4*u = 5*h - 56. Solve -2*c + 4*c = h for c.
4
Let m(d) = d**3 - 23*d**2 + 27*d - 106. Let f be m(22). Solve -5*k + 2*k = f*k for k.
0
Let p be (6 + -12)*(-4)/(28/21). Solve 102*k - 96*k = -p for k.
-3
Let l(m) = -m**2 - 7*m - 10. Suppose 12 = -v - 5*k - 17, 4*k + 16 = v. Let n be l(v). Solve n*c + 0*c - 2 = 0 for c.
1
Let r = -1246 - -1256. Solve -5 - 45 = r*f for f.
-5
Let r = -312 + 327. Solve -6*q - r = -9*q for q.
5
Let k = 126 + -31. Let u = -92 + k. Solve -8 = u*x + 7 for x.
-5
Let v = 7 + -2. Suppose 0 = -v*u - 4*a + 4 + 2, -4*u + 10 = -2*a. Suppose u - 8 = -3*l. Solve -l*h - h = 6 for h.
-2
Let y = -2 - -2. Let a(t) be the second derivative of -t**5/20 + 13*t**4/12 + t**2 + 5*t. Let x be a(13). Solve y = r + x + 1 for r.
-3
Suppose -2*g + 1 = 2*s - 5, 5*g = -2*s + 21. Suppose 0 = -4*z + 94 - 18. Suppose 4*d + d = -15, h = 5*d + z. Solve -g*v + h + 6 = 0 for v.
2
Let h(i) = 2*i + 3. Let j be h(0). Let d(l) = 3*l + 4. Let r be d(6). Let z be (-2)/13 + 8/52. Solve -j*p - 7 + r = z for p.
5
Suppose -y = -5*c + 2*c + 12, 3*y - 4 = c. Suppose 0 = -1071*q + 1073*q - 20. Solve -2*h - q = y*h for h.
-2
Suppose 44*u - 813 = -241. Solve o + 8 - u = 0 for o.
5
Suppose a = -3*a + 56. Suppose -2*v = -3*v + a. Solve -6 = 5*u + v for u.
-4
Let p(m) = 4*m - 3. Let z be p(2). Suppose -88*f + 29 + 147 = 0. Solve -f*v - 3*v + z = 0 for v.
1
Let v(f) = -f**3 + 51*f**2 - 52*f + 109. Let x be v(50). Solve x*s + 7 = -2 for s.
-1
Let h = -535 - -538. Solve 13*f = -h*f - 16 for f.
-1
Let k(f) = 3 - 11 - 6*f + 3*f + 48. Let a be k(13). Solve -x + a = -1 for x.
2
Suppose 170*g - 167*g + 5*i = 101, -2*g + 2*i = -46. Solve g = -11*n - 6 for n.
-3
Let p = 6 - 3. Suppose p*c + v + 2 = 11, 2*v - 6 = 0. Suppose -2 = -5*o + 2*y, -2*y = -c*o - 6 + 2. Solve -2*z = -z - o for z.
2
Suppose 5*b = 119 - 39. Let n = b + -12. Solve 0 = -5*j + 21 + n for j.
5
Let a(d) be the third derivative of -7*d**4/24 - 16*d**3/3 + 29*d**2. Let j be a(-5). Solve -j*x + x = 0 for x.
0
Suppose 10*q = 7 + 33. Let t be (q - -1) + -5 + 5. Solve 3 = -t*z + 2*z for z.
-1
Suppose 2*z = 7*z - 20. Let j be ((-2)/3)/((-22)/165). Suppose 2*s = s + j. Solve z*a - 3 = s for a.
2
Let z be 18/2 - (-10 - -4). Solve -2*l = l - z for l.
5
Suppose 4*j = -d + 25, -2*j + 48 = 5*d + 13. Suppose -i + 5*i = 8. Solve -i*z + 3 + j = 0 for z.
4
Suppose 0 = -4*g - z + 33, -5*g + 3*z + 45 = -g. Suppose -4 = 5*y - g. Solve -3*w + y = -2*w for w.
1
Suppose 0 = 37*q - 35*q - 22. Solve 4*u - 3 = -q for u.
-2
Let y be (2/6)/(2/12). Suppose 0 = -y*o + 22 - 8. Suppose -3 = 4*k - o. Solve -2 = 3*l + k for l.
-1
Let u(r) = r**2 + 4*r + 24. Let q be u(0). Solve -19*x + q = -25*x for x.
-4
Suppose 5 = 2*p + a + 2, -4*p + 3*a = -31. Suppose p*i = 4*v - 32, i = 5*v + 4*i - 16. Solve 0*d + 5*d + v = 0 for d.
-1
Suppose 0*v + 5*k = -2*v + 26, 5*v + 4*k - 31 = 0. Solve n - 2*n = v for n.
-3
Suppose -c - 12 = -17. Suppose -w = -2, 0 = -2*q - 0*q + c*w + 4. Solve -2*z = -q*z - 20 for z.
-4
Let d = 20 - 6. Let m = -12 + d. Solve 0 = 2*o + m*o - 8 for o.
2
Let i(c) = c**2 + 2*c - 5. Let v be i(-4). Suppose 2*d + 17 = 3*p, -p = v*p + 4*d - 16. Solve 0*t - 15 = p*t for t.
-3
Let r(j) = 2*j + 0*j - j - 7 + 2. Let o be r(9). Solve s - o = -s for s.
2
Let b(w) = -w**2 + 9*w - 5. Let i be b(8). Let n be (i/12)/((-1)/(-8)). Suppose -4*y - 5 + 38 = v, -n*v - 22 = -3*y. Solve 0 = -y*r + 3*r for r.
0
Suppose 13*k = 5*k + 40. Solve -k*z + 0 = 15 for z.
-3
L