 ((-1)/4)/(t/48). Solve 2*c - 1 = h for c.
2
Let d(a) = -2*a**2 - 9*a. Let v be d(-4). Let w = 6 - v. Solve -2*m = w*m + 12 for m.
-3
Let x(a) = -a**2 + 10*a - 5. Let i(c) = -7*c - 19. Let r be i(-4). Let l be x(r). Solve -2*g - 10 = -l for g.
-3
Let a(u) = -u**2 + 3*u + 1. Let s be a(5). Let y be s/(-15) + (-9)/15. Suppose -2*q = -l - 8, -q + 4*q + 4*l = 1. Solve 0 = -q*j - y*j for j.
0
Let g(t) = -5*t + 7. Let z(d) = -9*d + 14. Let w(k) = 7*g(k) - 4*z(k). Let q = 33 + -26. Let n be w(q). Solve n = a - 2 + 5 for a.
-3
Let l(r) = r**2 - 3*r - 11. Let y be l(-3). Solve -y*i + 3*i = -20 for i.
5
Let y = 33 - 29. Let m be y/(-18) - 4/18*-1. Solve -5*v - 5 = -m for v.
-1
Let i be (-6)/(-5)*5/3. Suppose -2*z + 4*b - 6 = 0, i*z - b = -z + 6. Suppose j - 1 = 2*t, -t + 4*j - 8 = z*t. Solve t - 11 = 5*n for n.
-2
Suppose -579*j + 570*j = -18. Solve 1 + j = -3*s for s.
-1
Suppose w - 8*w = 147. Let d = w + 11. Let h be -2*(-15)/d - -5. Solve 6*s - h*s = 0 for s.
0
Let m = -634 + 672. Solve -41*b = -m*b + 15 for b.
-5
Let i(u) = -3*u**2 + 2*u + 5. Let s be i(0). Let n(x) = x**2 + 10*x - 24. Let k be n(-12). Solve -4*b - 3 - s = k for b.
-2
Suppose 0 = u - 1 - 3, 2*u = 5*c - 47. Solve -c*x + 13*x = 0 for x.
0
Let m = 6 - 4. Let y be ((-14)/35)/((-2)/20). Let t(j) = 2*j**2 + 8*j - 8. Let b be t(-5). Solve -y*w = -b - m for w.
1
Let c(l) = 4*l - 29. Let a be c(7). Let y be (-105)/(-25) + a/5. Solve 7*j = y*j for j.
0
Suppose 4*u - 29 = 11. Solve -s + u*s = 7*s for s.
0
Let f be 5 - 2 - (-4 + 7). Let h = f - -15. Let w be -4*(h/12)/(-1). Solve 0 = -w*y - 17 + 7 for y.
-2
Suppose -5*l + 4*p = -29, -4*p - 5 = l - 6. Let m be -2*1/(-4)*10. Let b be 12/(-30)*m/(-1). Solve -b*f = -l*f - 12 for f.
-4
Suppose 0 = -7*x - 4 - 3. Let w be -4 + -1*(28/4)/x. Solve 9 = 3*f - w for f.
4
Suppose 3*w - 3*a - 87 = 0, -19*w = -17*w - 4*a - 60. Solve w = -20*p + 13*p for p.
-4
Let t = 110 + -129. Let d be 5/25 - t/5. Solve 0*y = -d*y + 12 for y.
3
Suppose 0 = -72*p + 71*p + 3. Let x(r) = 2*r**3 + 18*r**2 + 15*r - 4. Let q be x(-8). Solve 0 = -p*w + q + 5 for w.
3
Let t be (-4 - -2)/(0 - (-5)/(-20)). Suppose -t = -a - 4. Solve -15 - 5 = -a*u for u.
5
Let g = -213 + 248. Solve -6*v - v + g = 0 for v.
5
Let x be 6/(-12 + 6)*(-16 + 1). Let c(i) = -i + 15. Let w be c(x). Solve w = 2*o - 1 - 3 for o.
2
Suppose -2*o + 4*s + 51 = 9, 5*o - 75 = 4*s. Suppose 4*b = o - 3. Solve -b*d = -8 - 0 for d.
4
Suppose 281*s + 468 = 333*s. Solve -s*n = -34*n + 125 for n.
5
Suppose 5*w - 4*w = 3*z + 17, 27 = w - 5*z. Suppose 0 = 4*x - i - 27, 2*x + 5*i - w = -5. Solve 5*l = -x - 4 for l.
-2
Suppose -5*x = -5*q + 120, 5*x - 48 = 4*q - 5*q. Suppose 2*j = 4*w - 4, 5*j + w - 6 = q. Solve v = 3*v + j for v.
-3
Suppose 12*c + 5 = 7*c. Let r be ((-11)/(-4))/(c/(-4)). Suppose -2*h + w = 5*w, 5*h = w + r. Solve h + 1 = b for b.
3
Suppose -2*t - 2*z + 10 = -5*z, t + 2*z = 12. Let m(f) = f**2 - 6*f + 15. Let p be m(t). Solve 0 = -5*n + 6 - p for n.
-5
Let w = -426 - -431. Solve w*v - 73 = -98 for v.
-5
Suppose -10*v + 2*v + 12*v = 0. Solve h = -v - 3 for h.
-3
Let p(u) = -11*u - 352. Let m be p(-34). Solve 9 = -m*c + 19*c for c.
-3
Let a = -1 + 1. Let q(j) be the first derivative of -j**3/3 + 9*j**2/2 - 16*j + 5. Let y be q(6). Solve a = i + y*i for i.
0
Let z be (9/6)/((-35)/(-280)). Solve 2*t = 8 - z for t.
-2
Suppose -5*k - 10 = -5*r, 48 - 49 = -k. Let c be (2 - 1)*(-7 - -8). Solve m = r - c for m.
2
Let a = 625 - 625. Solve 6*v - 7*v + 5 = a for v.
5
Let g = -9 + 21. Let x be 1*-1 - (10 + (-16 - -5)). Solve x*f - g = -3*f for f.
4
Suppose 7*g = 10*g - 2*x - 25, -x = 5*g - 46. Solve -8*y = -g*y - 4 for y.
-4
Let a = 279 + -279. Let v be (6/(-2))/((-6)/4). Solve 4*m - v*m + 4 = a for m.
-2
Let y(v) = -2*v + 61. Let x be y(18). Suppose 4*z - 15 = -5*t, 4*t - x + 13 = -5*z. Solve 0*u = t*u for u.
0
Let z = 50 + -87. Let t = -35 - z. Solve 0 = -0*f - t*f for f.
0
Let u(p) = p - 1. Let d be u(3). Let k(h) = -2*h**2 - 31*h + 91. Let l be k(-18). Solve 0 = i - d - l for i.
3
Suppose 3*c + 3*w + 6 = 0, -c + w + 4*w = -22. Let x = 52 - 52. Suppose -2*s - 3*d - 9 = 0, -s + 2*s - d - 3 = x. Solve 4 = -c*v - s*v for v.
-2
Suppose -4*u = 2*r - 3*u + 7, -2*u - 6 = 0. Let x be (0 - 1)/(r/8). Solve 2*m + 2 + x = 0 for m.
-3
Let t(r) = r**3 - 9*r**2 + 4*r - 31. Let l be t(9). Solve 2*x = x - l for x.
-5
Suppose 0 = -t + 10 - 6. Suppose b = -5*u - 23, 0 = -4*b + 2*b - t*u - 16. Solve 2*q + b + 0 = 0 for q.
-1
Suppose -14*w + 37 = -33. Solve -w*x - 87 = -92 for x.
1
Let o = 1202 + -1143. Solve 69 = -2*s + o for s.
-5
Suppose 105*c - 6800 = 25*c. Solve -14*j - c = 3*j for j.
-5
Let a = -3 + 8. Let s = -37 - -68. Let n = -23 + s. Solve a*y = y - n for y.
-2
Let l = -1099 - -1102. Let y = 0 - -1. Solve y = 2*s - l for s.
2
Let s(p) = p**3 - p**2 - 2. Let k be s(2). Let y be 8/(-2 + k + 1). Solve x = -x + y for x.
4
Suppose a + 2*r = -2 - 4, 0 = -3*a + 5*r + 4. Let l be 2 + a + 18/3. Solve l = -0*h + 3*h for h.
2
Let t(s) = 4*s + 55. Let w be t(10). Solve w = 13*q + 30 for q.
5
Let o(b) = -b**3 + 20*b**2 - 5*b - 254. Let q be o(19). Suppose 2*k = -5*f - 1 - 17, 2*k + f + 10 = 0. Let u = k - -8. Solve -8 - q = -u*z for z.
5
Suppose 4*s - 20 = 0, 0 = 6*a - 5*a + 4*s - 22. Solve 4*q - 14 - a = 0 for q.
4
Suppose 7 = -4*v + 5*v. Let q = -3 + v. Suppose 5*f - 2 = q*f. Solve -4*b = -10 - f for b.
3
Suppose 0 = -5*y + 4*k + 5, -y + 6*k - 5 = 4*k. Solve y*m = 42 - 47 for m.
-1
Suppose -6 = 2*m - 4*b - 16, 4*b = 4*m - 20. Solve n + 20 = m*n for n.
5
Let j be (-2 - -8)*((-20)/(-3))/10. Solve 7*q + j = 8*q for q.
4
Let l = -119 - -92. Let i be 6/l + (-404)/(-36). Solve -3*d + i = 5 for d.
2
Suppose 0 = 110*y - 132*y + 198. Solve -37 + y = -7*m for m.
4
Let m = 2177 + -2169. Solve -53 + 21 = m*l for l.
-4
Suppose 0 = -9*t - 18*t + 9*t. Solve t = 4*q - 18 - 2 for q.
5
Let y = 3 + 1. Suppose 2*n = -5*j + 20, 2*n - 7*n - 7 = 3*j. Solve h - j = y*h for h.
-2
Let r(s) = -s**2 - 12*s. Let l be r(-12). Suppose -4 = -b + x - 5, l = -b + 4*x - 4. Solve c + b*c = -5 for c.
-5
Let j = -7 - -8. Suppose 3*i - j = -p, -18 = -4*p - 2*i - 3*i. Let a = -1 + 10. Solve a = 4*f - p for f.
4
Suppose 4*a - 3*c = -4, 5*a + 3*c - 22 + 0 = 0. Solve 2 - 4 = a*f for f.
-1
Let f(v) = -v**2 + 66. Let y be f(8). Solve -y*b + 10*b + 32 = 0 for b.
-4
Let t be ((-10)/(-4) - 1) + (-126)/(-12). Let g be 2/(-12) - (-74)/t. Solve 0 = 2*r - g*r + 12 for r.
3
Let l be ((-19)/(-5) - 2)*5. Suppose 4*f = 13 - 5. Suppose 0 = 3*x + l, 4*w - f*w + x = 5. Solve 11 = -w*t + 3 for t.
-2
Let i(o) = o**3 + 7*o**2 - o - 3. Let f = -26 + 23. Let b be f - (1 - -3)*1. Let j be i(b). Solve 3 = j*x - 5 for x.
2
Let n(g) = -g**3 - 8*g**2 - 15*g + 4. Let c be n(-5). Solve c*q + 52 = 64 for q.
3
Let v(h) = h**2 + 18*h + 3. Let b be v(-18). Suppose -k = -a - 0*k + 11, -2*a - b*k = 3. Let l be (-10)/(-8)*(a - 2). Solve -3*o + l*o = 0 for o.
0
Let w = -26 - -41. Solve 6*z + 3 = -w for z.
-3
Suppose -5*x + 32 = -9*x. Let j be 525/40 + 1/x. Solve -j = 5*f - 33 for f.
4
Suppose 1 = -3*z + 10. Let b be z + 1 + -6 + (3 - -1). Solve k + b = 3 for k.
1
Let t = -19 + 62. Suppose -3*k = -o + 24 - 61, 3*k + 2*o - t = 0. Suppose k - 3 = 5*w. Solve 3*i - 10 = -w*i for i.
2
Let x = -41 - -39. Let c be (-1 + 0)*(x + -3). Solve -c*n + 5 = -0 for n.
1
Let l be (-183)/12 + (-3)/4. Let y be 7/(-21)*2*(l + 1). Solve y = 4*v - 2 for v.
3
Let s be 0 + 7/(-56)*-4*6. Let d(l) = l**3 - l**2 + l + 20. Let x be d(0). Solve s*g + x = -g for g.
-5
Suppose -29 = c + 3*k, 81 = -5*c + 3*k - 100. Let f = c - -37. Solve -2*p - f = 2 for p.
-2
Suppose -5*j + 15 = -0*j. Suppose 2*o = -0*o + 4. Suppose o = -n + 5. Solve 0 = j*i + n - 15 for i.
4
Suppose 7*y - 16 = 5*y. Let d be y - (-1 - -5) - 5. Let i(p) = 6*p**2 - 1. Let b be i(d). Solve -b*t = -12 + 27 for t.
-3
Suppose -w - v + 0 + 4 = 0, -3*w + 2*v + 27 = 0. Let j(g) = -g**2 + 6*g + 9. Let x be j(w). Solve -x*i + 15 = i for i.
5
Suppose -5*k - 5 = 5. Let u be -6*k*(-2)/(-6). Solve 3*a - u = 7*a for a.
-1
Suppose -y - 2 = 3*z, 3*z - z + 20 = 4*y. Suppose -3 = 3*w + 3, 4*w = -3*c + 34. Let m = c + -10. Solve 2*a = y*a + m for a.
-2
Let m be 285/(-4)*39/((-3042)/104). Solve -m = -18*n - n for n.
5
Let s(y) = y**3 - 11*y**2 - 11*y - 17. Let p be s(12). Let d be 1/2*(5 + p). Solve d