 Let t be h(10). Let a be 42/(-98) + t/(-14). Solve 0 = -l*x + 3 + a for x.
1
Suppose 0 = 3*p + 2*d - 42, 18*p - 21*p + 2*d = -54. Solve -20*h + p = -4*h for h.
1
Let o = -13932 + 13943. Solve 0 = o*v - 5*v - 30 for v.
5
Let q = 83 + -76. Let x be (-6)/(-3) - q/(-42)*0. Solve -3*f - x - 7 = 0 for f.
-3
Let m(k) = -k**3 - 130*k**2 - 387*k - 267. Let j be m(-127). Solve -2*i - j = -513 for i.
9
Let k(j) = 2*j**2 - 72*j + 611. Let p be k(13). Solve p*b - 19*b = 6 for b.
-1
Suppose -f - 3 = -4, -m - 71 = f. Let g be 14/(-3)*m/(-140)*-10. Solve -3 = 7*n - g for n.
3
Suppose 33*p = -13*p + 322. Suppose p*u = 2*u - 20, 3*u = -2*w - 4. Solve 2*y + 0*y = w for y.
2
Let t(d) = -3*d**3 + 15*d**2 - 10*d + 4. Let q be t(4). Suppose 3*p + q*p = 585. Solve -5*w - 24 + p = 0 for w.
3
Suppose 14*h - 10*h = -16*h. Solve o + h = 3 for o.
3
Let y(w) = -10*w - 5. Let i be y(-2). Let g(u) = -2*u + 7. Let x be g(0). Suppose -3*a = -i, -2*a + 3 = 2*f - x. Solve f*z = -z for z.
0
Suppose 0 = -0*y + 2*y. Suppose 0*r - 9*r = y. Suppose r = -h - 0*h + 4. Solve 3*q = -q + h for q.
1
Let z be -2*(-6 + -9 + 9). Suppose 0 = z*t - 43*t + 2945. Solve -30 = -13*f - t for f.
-5
Suppose -5*a + 37 = 4*j, 0 = 4*j + a - 6*a + 13. Suppose 4 = -c, -j*c + 7*c = -3*l - 7. Let k = -10 + 14. Solve -l*p - 5 = k for p.
-3
Let w = 2795 + -2782. Solve -w*q + 8 = -15*q for q.
-4
Let y be 5/(-10)*4/(-4)*0. Solve -7*p + 2 - 9 = y for p.
-1
Suppose 0 = 34*o - 23181 + 11315. Solve 103*u - o = 166 for u.
5
Suppose 5*o - 5*b - 41 = 429, -4*o - 5*b + 394 = 0. Solve o*m = 72*m + 168 for m.
7
Suppose -48 = -3*c - 3*s, -6103*c + 3*s - 32 = -6098*c. Let d(l) = l**3 - 3*l**2 + 2. Let r be d(3). Let p be r - (2 - (0 - -2)). Solve -c*t = p*t for t.
0
Suppose -k + 3 = 0, -f - 2*k - 232 = -238. Solve f = 391*o - 389*o + 4 for o.
-2
Let q be -1 - (-5 + 12 - 10). Suppose -12*w = -58 - q. Solve -w*b = 5 + 15 for b.
-4
Let i(o) = 2*o**3 - 45*o**2 - 21*o - 30. Let c be i(23). Solve -c*s = -19*s for s.
0
Let y = 20 - 26. Let r(b) = b**3 + 6*b**2 + b + 12. Let j be r(y). Suppose 4*u + 16 = z, 0 = -0*u + 3*u + j. Solve -t + z = 3*t for t.
2
Let f = -28 + 83. Let s = f - 52. Suppose 4*g + s*g = 12*g. Solve g = -j - 1 - 0 for j.
-1
Let i(y) = -y**2 - 3*y + 7. Let q be i(-6). Let j = 14 + q. Let a be (-6)/(-28) - 3500/(-1960). Solve -j*m + a*m = 2 for m.
-2
Let h(x) = -24*x**2 - 50*x + 1. Let o be h(-2). Solve -o*j + 10 = -10 for j.
4
Let b = 359 - 227. Let d = -129 + b. Solve 4*p - 5*p = -d for p.
3
Let q = -131 + 164. Let d be 72/21*21/2. Solve q - d = g for g.
-3
Suppose 0 = -40933*z + 40951*z - 3654. Solve z = 67*n + 2 for n.
3
Let y be (-2 + 8/(-6))*((-936)/(-5))/(-39). Solve 600*j - 584*j - y = 0 for j.
1
Let u = -2599 + 2748. Solve u - 167 = 3*h for h.
-6
Let g(a) = -a**2 - 24*a - 93. Let u be g(-19). Let v be 4*(u/(-5))/((-40)/75). Solve 18 = v*t + 3 for t.
5
Suppose 287*a = 8 - 8. Solve 81*f - 74*f - 49 = a for f.
7
Let d(o) = -5*o**2 + 42*o - 35. Let k be d(7). Solve 36 - k = -11*q for q.
-2
Suppose -140*m = -994 - 4186. Solve 10*d - m*d + 162 = 0 for d.
6
Let p(f) = f**2 + 19*f + 80. Let v(y) = 3*y. Let a be v(-2). Let i be p(a). Solve 7*u - 36 = -i*u for u.
4
Let c = 4284 + -4196. Solve 7*q - 53 = -c for q.
-5
Let u be (3*-2)/(18/(-12)). Suppose -u*t - 5*m = -3*m - 2, 2*t = 2*m + 10. Suppose -2*j - t = -12. Solve -j*y - 8 = 7 for y.
-3
Let n = -1994 - -2001. Solve -803*o = -804*o - n for o.
-7
Suppose -3*b - 5*w = -127, w + 91 = -8*b + 405. Solve 47*d = b*d - 8 for d.
-1
Let f(b) = -2*b**2 + 21*b + 6. Let p(i) = -4*i + 10. Let h be p(0). Let c be f(h). Let m = 21 - c. Solve -m*g - 5 = -0 for g.
-1
Let n(g) = -6*g + 29. Suppose 259*p - 258*p - 4 = 0. Let v be n(p). Let a(z) = z**2 - 13*z - 26. Let m be a(15). Solve 29 = v*k + m for k.
5
Let z(c) = 11*c**3 + 4*c**2 + 6*c + 7. Let f be z(-2). Let l = 77 + f. Suppose 0 + 5 = -5*a, -2*j - a + 7 = 0. Solve l*y + j*y = 16 for y.
4
Suppose 16*y - 117 - 107 = 0. Suppose 182 = -y*p + 40*p. Solve -4 = -5*n + p*n for n.
-2
Let a(o) = -4*o + 52. Let k be a(6). Suppose 0 = -k*j + 32*j - 4*d - 40, -j + 3*d = -4. Solve -j*t + 9*t = 12 for t.
-3
Suppose -8 = -0*p + p + 2*b, p - 20 = 5*b. Suppose -2 = 11*n - 24. Let d be -5 + (-9)/(1 - n). Solve -y - d*y + 20 = p for y.
4
Suppose -6465 = -85*f + 14445. Solve -10*r = -51*r - f for r.
-6
Let v = -3565 + 3568. Solve 0 = -v*d - 118 + 109 for d.
-3
Let g(j) = -j**3 + 6*j**2 + 7*j + 3. Let q be g(7). Let p = 347 - 197. Suppose -p = -5*z - 5*s, 5*s = 5*z + 4*s - 120. Solve -q*l - 2*l = z for l.
-5
Suppose 2*i + f - 2*f = 7, 2*f + 5 = i. Let v = -7 + 13. Suppose 4*s - 40 = 0, 391*s + 50 = a + 396*s. Solve -i*t + v = -a for t.
2
Let g be -2*(-26)/(-12)*(-12 + 63/7). Solve k + g = 15 for k.
2
Let y(c) = 6*c**2 - 559*c - 1705. Let l be y(-3). Solve l - 264 = 34*p for p.
-7
Let y be 53/(-1) + (0 - -1)*-1. Let b = -53 - y. Suppose -2*t = -x, 2*x - 3*t + 0 - b = 0. Solve x*g = 4 + 6 for g.
5
Let z = 772 - 727. Solve -z*b = 53 + 217 for b.
-6
Let y be (9/4)/((-23)/(-1564)). Let b = -148 + y. Solve -2 = b*l - 7 for l.
1
Let l(r) = 2*r**2 - 12*r + 27. Let p be l(2). Solve -16*o = -5*o - p for o.
1
Suppose 5*k - 105 = 85*y - 86*y, 0 = -5*y. Solve 14*j - k*j = 14 for j.
-2
Let l be 4/(3 + (6 - 7)). Suppose -l*o + 5*o + c = 17, c - 9 = -o. Solve 0 = 3*f - o*f for f.
0
Let r = 73 - 53. Let v be 0/(r/5 + -3). Suppose v = -9*x + 4*x + 15. Solve 0 = -x*z + 7*z + 8 for z.
-2
Suppose 2*n - 4*d - 30 = -0*n, 12 = -3*d. Suppose -2*i = b - n, -2*i = 2*b - 1 - 5. Let r be (-319)/(-22) + 5/(-2). Solve -4 = -i*l - r for l.
-2
Suppose 6 = 2*x - 0. Suppose -3*w - 33 = x*f, 0 = 3*f + 4*w + 58 - 25. Let y(q) = -2*q - 9. Let z be y(f). Solve 4*a = 7 + z for a.
5
Let s(l) = l**2 + 7*l + 6. Let f be s(-8). Suppose 3*w + 2 - f = 0. Suppose 2*k = 4*r - 2, -18 = 6*k + 3*r - 57. Solve 0 = -w*y - k + 1 for y.
-1
Let g be (-8 + 0)*(-2 - -1). Let v(p) = p**3 - 9*p**2 - 167*p - 30. Let b be v(-9). Solve -g*h + 3*h = b for h.
-3
Let o = -65 - -170. Let j = -56 + o. Suppose 4*w + 5*g - j = 0, -13 = 2*w - 5*g - 0*g. Solve 4*d + w = d for d.
-2
Suppose 6*o - 39*o - 470 = -80*o. Solve o*v + 1168 = 1158 for v.
-1
Let s(u) = 145*u + 140*u - 17 - 281*u. Let w be s(5). Suppose -w*h + 15 = 0, 5*c = 6*c - h. Solve c*y + 5 = -0*y for y.
-1
Let d(x) = -2*x**2 - 23*x + 41. Let z be d(-13). Let y(r) = r. Let m be y(z). Solve -m*f = 3*f - 10 for f.
2
Let v(c) = c**2 - 2*c. Let g be v(2). Suppose 17*a = -80*a + 411 + 74. Solve a = m - g for m.
5
Suppose 1174 - 1279 = -15*x. Solve -x*j = 8*j - 15 for j.
1
Let y = -7852 - -7971. Solve -7*x = y - 133 for x.
2
Let v = 32 + -38. Let z be -8*7/(-2)*v/(-12). Let a be (-2)/(-4)*-5*(-16 + z). Solve a = 3*b + 2*b for b.
1
Suppose -3*j - 2*m = -231, -6*j + 351 = 3*m - 102. Solve -j*a - 40 = -63*a for a.
-5
Let n(p) = -64*p + 66*p - 14*p**2 + 25*p**2 - 20 - 2*p**3. Let i be n(5). Solve -c + 18 = i for c.
3
Let w(q) = -11*q - 1. Let f be w(-1). Suppose -11*j + 20 + 68 = 0. Suppose -4*x - 14 = -2*a, 0 = a + j*x - 4*x + 5. Solve -a*l - 2 = f for l.
-4
Let m(g) = 4*g**2 - 7*g + 2. Let o be m(-4). Let u = o - 92. Solve 0 = -u*y - 3*y for y.
0
Let o(t) be the third derivative of -t**6/40 - 23*t**5/30 - 5*t**4/8 + t**3/2 + 32*t**2. Let u be o(-15). Solve 15 = u*b - 0*b for b.
5
Let o be (9/(-3))/(-6)*0. Suppose u = -o*u. Suppose 3*v + 46 = 2*p, 18 = 48*v - 51*v. Solve u = 4*y - 2 - p for y.
4
Let q(g) = -g**3 + 7*g**2 - 5*g - 7. Let t be q(5). Solve t*i = -53 - 73 for i.
-7
Let z = -101 + 106. Suppose z*t + 2*h - 3*h - 81 = 0, -38 = -2*t - h. Solve -20*j + t*j = 0 for j.
0
Let b = -927 + 947. Suppose 4*l = a + 10, b*a - 25*a + l = -7. Solve -6*h - a*h = -2*h for h.
0
Suppose 5*m + 68 = 3*u, u + 4*m - 42 - 26 = 0. Solve -19*q = -28*q + u for q.
4
Suppose 8*v - 83 + 43 = 0. Suppose 9 = v*u + 4*u. Solve -2*t = -5 + u for t.
2
Let m be 0 - (-3 + 0) - -1. Let t be 1/((-3)/(-24) - 0). Suppose -20*i + 48 = t. Solve -g = -i*g + m for g.
4
Let k be 35/28*48/20. Let w(t) = 2*t**2 + 5*t + 4. Let a be w(-3). Let o = 9 - a. Solve k*r + o = 8 for r.
2
Suppose 54*z - 32*z = 29*z - 3871. Solve z*j - 12 = 551*j for j.
6
Let w(z) = -9*z**3 - 2*z - 1. Let i be w(-1). Suppose -36*g - 964 + 1288 = -0*g. Solve -i = -7*y + g*y for y.
-5
Let s(y) = -17*y - 25. Let r be s(-5). 