 m be t(66). Solve 81*h = m*h - 3 for h.
1
Suppose 0 = -3*l + 2*l + 4, -5*j - l + 74 = 0. Suppose j = 5*o - 11. Suppose 0 = h - o*w + 18, 2*h = h - 3*w + 14. Solve -h = 4*v + 10 for v.
-3
Suppose 0 = -5*k - 7*q + 8*q + 1437, -5*q = 2*k - 564. Let j = k - 277. Solve -j - 4 = 14*m for m.
-1
Let l(t) = 4*t**2 + 43*t + 30. Let x be l(-9). Let b(v) = -2*v**2 - 70*v - 121. Let z be b(x). Solve z*a = 2*a - 18 for a.
-2
Let k(l) = -l**3 - 19*l + 6*l + 13*l**2 + 1191 - 1159. Let d be k(12). Solve 2 - d = -6*p for p.
3
Let l = 33 + -31. Suppose -4*b = z + 1, 4*b - l*z - 2 + 0 = 0. Suppose 0 = 3*a - 5*r - 8 - 23, b = 2*r + 10. Solve 6*d + 8 = a*d for d.
-2
Let m(k) = k**2 + 47*k + 374. Let a be m(-37). Solve 25*p = 27*p + a for p.
-2
Suppose -4*i + 5 = -3. Let r = -40 - -40. Suppose r = 2*f - 5*q - 15, -2*q - 2 = -5*f + 4. Solve g - i*g = f for g.
0
Let y(t) = -63 - 27 - 9089*t + 9066*t. Let x be y(-4). Suppose -g - 50 = -6*g. Solve 3*o = -x*o - g for o.
-2
Suppose -10*w + 244 = -186. Solve -1 = w*u - 1 for u.
0
Let b = -420 + 423. Suppose 1 = -b*m - 2*s + 35, 2*s = 2*m - 16. Solve 2*y - 4*y = -m for y.
5
Let s = -1102 - -2392. Suppose 24*a - 150 - s = 0. Solve -15*l - a = 15 for l.
-5
Let g(c) = -3*c - 53. Let r be g(-16). Let q be ((-6)/(-32)*4)/(r/40). Let i be (-4)/q - 92/(-6). Solve -i = 5*s - s for s.
-4
Let u(z) = 3*z**2 - 33*z - 222. Let p be u(17). Solve 0 = l - p + 89 for l.
-5
Let b(o) = 62*o**3 - 63*o**3 + 4*o**2 + 9 - 5*o**2 + 3*o**2. Let v be b(3). Suppose -2*l + v = -2*u + 2, 4*l + 5*u - 23 = 0. Solve 2*h - l = -12 for h.
-5
Let z = 236 - 205. Let i = z + -2. Solve 25*u - 4 = i*u for u.
-1
Suppose 2441 + 4087 = 196*f + 60. Solve 7*p - 89 = -f for p.
8
Let u be (-1312)/(-164) + 2*37. Solve 0 = u*g - 79*g for g.
0
Suppose -7*x + 21 = u - 4*x, -2*u = 4*x - 34. Solve 0 = 33*n + 189 + u for n.
-6
Let k = -3108 + 3111. Solve -5*m - k - 2 = 0 for m.
-1
Suppose -3*t = -22*l + 27*l - 2473, -t = -4*l - 796. Solve t*q = 817*q + 2 for q.
-2
Let b(w) = w**3 - w**2 - 3*w + 2. Let o be b(2). Let f = 987 + -969. Solve o = -4*s + 2 + f for s.
5
Suppose 44 = b - 3*s - 16, -5*b + 5*s = -300. Let z be ((-12)/(-22) - (65 - 70699/1045)) + (-2)/10. Solve -b = z*f + 9*f for f.
-5
Suppose -2*s = 2*n - 70, -4*s - 80 + 223 = n. Suppose -35*y - 4 = -s*y. Suppose g - 3 = y*d, -d - 12 = -3*d - 4*g. Solve d = 2*h - 6*h for h.
0
Suppose 0 = -5*v - 25, -3*t + 0*v = 5*v - 317. Let b = 118 - t. Suppose -2 = 2*g - b*p - 0, g + 2*p = 19. Solve g = -3*a - 6 for a.
-5
Suppose 3*h = 5*c - 4, 2*c + 0*c - 8 = -2*h. Suppose 205 - 55 = h*l. Suppose 23*p - l = 18*p. Solve -p = -5*u + 10 for u.
5
Let i be (5*-1)/(37/1369). Let a be (-1554)/i + (-1)/(5/2). Solve a*b = 11*b - 15 for b.
5
Let d = -21 - -17. Let j be (8/d - 1) + (11 - 0). Suppose j*t = 46 + 34. Solve 0 = -7*i + 2*i + t for i.
2
Suppose 658*h - 668*h + 360 = 0. Solve -30*w = -h*w + 12 for w.
2
Suppose 25*w - 2 = 24*w. Suppose 5*z = -w*z + 7. Let b be z/1*12/2. Solve 0 = -3*n + b for n.
2
Let t be ((-12)/15)/((-4)/10) + -2. Let p be ((-1)/3 + t)/(8/(-120)). Solve -p*n = -2*n for n.
0
Let z(j) = j**2 + 40*j + 335. Let r be z(-14). Let c(v) = -v**2 - 26*v + 93. Let u be c(r). Solve 0 = -u*t - 54 + 24 for t.
-5
Let l be 0/(0 + 1) - 0. Let p(y) = -y**2 + 15*y + 218. Let d be p(24). Solve -2*m - d*m - 12 = l for m.
-3
Suppose 19*y = -90 + 33. Let i be 1 + 0 + 21/y + 11. Solve -10 = -i*d - 0 for d.
2
Let y(a) be the first derivative of -10*a**3/3 - 5*a**2/2 - 3*a + 25. Let v be y(-4). Let n = v + 148. Solve 30 = -n*x + 10 for x.
-4
Let p(d) = d**3 + d**2 + 2*d - 179. Let j be p(0). Let i = 181 + j. Solve 3*w = -i*w + 20 for w.
4
Suppose -15*b = -5*b + 2*b. Solve b = -104*d + 116*d + 36 for d.
-3
Let q(n) = 23*n - 17. Let d be q(4). Suppose -11*b - d = -16*b. Solve -5*l - b + 5 = 0 for l.
-2
Suppose 3*p - 30 = -2*a, 1218*a + 75 = 1223*a - 5*p. Solve -25*h = -a*h for h.
0
Let s(k) = 6*k**2 - 593*k - k**3 + 1186*k - 16 - 590*k. Let g be s(6). Solve -g - 7 = 3*r for r.
-3
Let b be (1/(4/28) + 2 + -5)/2. Let j(c) = -c**2 + c - 6. Let s(m) = -m + 1. Let r(n) = j(n) + 5*s(n). Let f be r(-3). Solve -b*x + 8 = f*x for x.
2
Suppose 3*u + 3*o + 8 = 8*u, -2*u = -o - 4. Suppose 3*r = 0, -2*k + 40 = -u*r + 7*r. Solve 5*d + 0*d + k = 0 for d.
-4
Suppose 4*x - 12 = 4. Let y = -6 + 209. Let r = y + -192. Solve -x*a = 9 + r for a.
-5
Let f(g) = -57*g + 4166. Let c be f(69). Solve 5*b = -c + 263 for b.
6
Let o = 2227 + -2225. Solve 403 = o*f + 417 for f.
-7
Suppose 0 = -2*n - 6 + 14. Let x(p) = 16*p - 14. Let u be x(n). Let j = u - 45. Solve -j*q - 21 - 4 = 0 for q.
-5
Let n(f) = f**2 - 11*f + 56. Let v(c) = c**2 - 12*c + 57. Let s(w) = -3*n(w) + 4*v(w). Let q be s(7). Solve -6*o + 4 = -q*o for o.
2
Suppose -12*y + 30 = 6. Let m be 13 + 4*(-5)/10. Let b be m/13 - 14/(-91). Solve y*n = -5 + b for n.
-2
Let k be 115/4 - (-3)/12. Let p(t) = -11*t - 3. Let n be p(-3). Let w = n - k. Solve -2*u + 9 = w for u.
4
Suppose g - 1 = 2*g. Let f be (2 + g)*5*4/4. Suppose 5*m = 3*r + 5 - 0, -3*m + 37 = f*r. Solve r*x - x = -16 for x.
-4
Let s be (3028/(-24))/(-1) - 58/348. Solve -558*v = -576*v - s for v.
-7
Let z be 6 + -1 + -2 + (-6)/(-6). Suppose -3 = -d + 1. Suppose 29 = 3*r - d*t, 0 = 2*r + r + 3*t - 57. Solve -z*g - g + r = 0 for g.
3
Suppose -85*m + 1705 = 70*m. Solve 27*o - m*o = 14*o for o.
0
Suppose 0 = 5*r - 3*z + 2*z - 545, 5*r - 4*z = 560. Suppose r = -v + 5*v - 3*w, -5*w + 135 = 5*v. Solve 22*p - v*p = 0 for p.
0
Let r = -93953 - -93953. Suppose 0 = 3*m + a - 23, 3*a + 4 - 1 = 0. Solve r = 4*b - 2*b + m for b.
-4
Let v be (-20 - -24)/(4/27). Solve 0 = 3*q + 24 - v for q.
1
Suppose -39*k + 38*k + 10 = 0. Let j(b) = k*b + 7*b - 25*b + 9*b - 7. Let f be j(10). Solve 0 = 2*q - f*q - 2 for q.
-2
Suppose -3*p = -4*p - p. Suppose p = u + 19 - 31. Suppose u*f = 15*f - 9. Solve 8 = f*j - 4 for j.
4
Suppose k + 62 = 54, -5*l - k = -82. Solve -l*h + 110 = -16 for h.
7
Let i(p) = p + 10. Let y be i(-8). Suppose o + l = 4*o - 68, 5*l = 2*o - 41. Suppose o*s - 30 = 18*s. Solve -s = -2*f + y for f.
4
Let b = -157 - -157. Suppose c - k - k + 3 = b, -2*k = -6. Solve 0 = -0*a + c*a for a.
0
Suppose -4*o = -5 - 3. Let l = -33817 - -33823. Let d be 10/2*4/5. Solve -l*u = -o*u - d for u.
1
Suppose 26 = 5*n + m + 7, -m = -5*n + 21. Suppose n = 2*u - 4*s, 21 = u + s + 4. Suppose u + 0 = 6*k. Solve k = 3*o - 4*o for o.
-2
Let t = -843 + 849. Let v be (-15)/t*10/5 - -9. Solve 4*n - 8 = v for n.
3
Let k(n) = 10*n + 42. Let p be k(-4). Let b be (-36)/(-6) - 1 - (p - 0). Solve -4 = b*x + 5 for x.
-3
Let q = -45 + 127. Let s = 82 - q. Suppose 3*y + 1 + 3 = 4*g, -5*y + 3*g - 3 = s. Solve 2*a + y*a = 2 for a.
1
Suppose y + 4*z - 23 = 0, -2*y - 103*z + 107*z + 46 = 0. Solve 42 + y = -13*q for q.
-5
Let i(g) = -2*g**3 + 170*g**2 - 331*g + 8. Let m be i(83). Solve 85 = -3*a + m for a.
2
Suppose 4*k + r - 6 = 0, 3*r + 11 = 3*k + 7*r. Let a be k/(-4) + (-174)/96*-4. Solve a*n + 7 = -0 for n.
-1
Let f = 8 + -5. Let o be (0*13/(-143))/(-4). Suppose o = f*t - 51 + 42. Solve t*w - 1 + 7 = 0 for w.
-2
Let b = -4692 + 4742. Solve -30*s + b = -20*s for s.
5
Suppose -s = -4*n + 1622, 86 - 110 = 4*s. Solve 0 = -428*o + n*o + 24 for o.
1
Let u be 18 - 20 - 3*-1. Let q be u/(-8) + 105/(-120). Let f be (-2)/(10/(-15)) + q. Solve f*z = 5*z for z.
0
Let u = 2070 + -2061. Solve 85 = 8*p + u*p for p.
5
Let o(u) = u + 6. Let z be o(-6). Let h(s) = -2*s**2 + 38*s + 87. Let b be h(21). Solve -b*k = -z*k + 9 for k.
-3
Let t(w) = 3*w + 10. Let c be 4/10 - (-468)/30. Let o(r) = r**3 - 17*r**2 + 16*r. Let x be o(c). Let j be t(x). Solve -1 = -3*l - j for l.
-3
Let g(l) = l**3 - 4*l**2 + 2*l - 15. Let y be g(5). Suppose 7*t - 3*t = y. Let q be ((-30)/4)/t*-2. Solve -2*d - q = d for d.
-1
Let f(l) = -1. Let q(r) = -6*r + 60. Let j(o) = 5*f(o) + q(o). Let n be j(8). Suppose -n = -3*a + 2*y, 2*a + 8 = 3*y - 8*y. Solve 0 = 5*c - 11 + a for c.
2
Let m(t) be the third derivative of t**5/15 - t**4/12 + t**3/6 - t**2. Let n be m(2). Suppose 5*j - 4*l + 15 = -0*j, 3*j + 2*l = n. Solve j = -r - 2 for r.
-3
Suppose 8904*u - 348 = 8892*u. Solve 49*h - 20 = u*h for h.
1
Let q be 287/(-164)*(-9 - -5). Solve 23*d = -q*d for d.
0
Let b = -19661 - -19767. Solve b = 25*w + 81*w for w.
1
Let d(p) = -11*p + 83. Let l be d