 Solve k*n - 944 + 947 = 0 for n.
-1
Let l = -3106 - -3108. Solve 0 = -l*f - 31 + 37 for f.
3
Let c be ((-17)/7 - -3)/((-208)/(-2912)). Solve 41 - 97 = c*q for q.
-7
Let v(q) = -q**3 - 9*q**2 + 28*q + 150. Let p be v(-11). Solve 64*f + 40 = p*f for f.
2
Let u(r) = r**3 + 12*r**2 + 22*r + 224. Let f be u(-11). Solve 97*p - 24 = f*p for p.
-4
Suppose -c = -3*r + 998 - 970, -5*r + 4*c = -28. Solve 80 = -r*m + 22*m for m.
8
Suppose 47*l - 249 + 207 = 428. Solve l*o - 88*o = 468 for o.
-6
Suppose 6*o - o = 25. Let a(z) = 2*z - 46. Let m be a(24). Suppose m = -o*c + 7. Solve -3*h = 11 + c for h.
-4
Let b(r) = 4*r - 46. Let x be b(11). Let a be ((-6)/x + -2)/(10/40). Solve 2*s = -a - 4 for s.
-4
Suppose 0 = -5*h + 5*l - 1355, 2*l = -9*h + 12*h + 810. Let y be (-4 - -1)*h/201. Solve -1 + 5 = y*a for a.
1
Suppose 5*w - 323*r + 325*r = 363, -4*r + 371 = 5*w. Solve 0 = -w*p + 60*p + 66 for p.
6
Let i(d) be the third derivative of d**5/60 + 5*d**4/24 + d**3/6 - 4*d**2. Let f be i(-7). Let o = -482 + 486. Solve -o*v - f = 5 for v.
-5
Let f(i) = 34*i - 647. Let u be f(21). Solve u*b - 6 = 61*b for b.
1
Let l be -5 - (6 - (3 + 221)). Suppose l - 219 = -2*m. Solve m*y = -0*y + 6 for y.
2
Suppose w + 2 - 24 = 0. Let y = w - 26. Let v be -4 - (-8)/y*-2. Solve n = -v*n for n.
0
Suppose -3*l = -2*l - 4*j - 51, 2*j + 8 = 0. Solve 2*k - l = -23 for k.
6
Let u = -4235 - -4246. Solve 24*a = -u*a + 8*a for a.
0
Suppose 3*i + 0*i - 24 = 0. Suppose -3 = 21*u - 24*u + 3*j, j = -1. Solve u = -i*v - 32 - 0 for v.
-4
Suppose -1082*q + 1084*q - 5*b = -5, -5*q - b = -1. Solve 15*w + 1422 - 1407 = q for w.
-1
Let q(w) = w**3 - 5*w**2 - 33*w - 8. Suppose 104 = 13*d - 13. Let g be q(d). Solve 6*a - 5 = g for a.
4
Let z be ((-15)/4)/(6/112). Let h be 15*(z/(-21) - 3). Solve h*k = 3*k - 8 for k.
-4
Let q(p) = 2*p**2 + 44*p - 795. Let j be q(-34). Solve 2*d - j + 15 = 0 for d.
3
Let o = 2223 + -2013. Solve -27*m = 8*m + o for m.
-6
Let l(k) = -84*k + 373. Let w be l(4). Solve 102 = -w*x + 28 for x.
-2
Let r(k) = 11*k + 3*k - 15*k**2 + 7*k**2 + 9*k**2 - 64 - 2*k. Let h be r(-16). Solve h = 5*o - 10 + 20 for o.
-2
Suppose 145 = -8*m + 81. Let c(o) = 22*o + 180. Let t be c(m). Solve t*u = -6 - 14 for u.
-5
Suppose -298*s = -301*s. Let v be ((-8)/14)/(10/(-105) - s). Solve -10*x + 16 = -v*x for x.
4
Let g(a) = 122*a - 716. Let l be g(7). Solve 106*x - 83*x = -l for x.
-6
Let i = 4726 + -4714. Solve 4*k + 20 = i for k.
-2
Let u(q) = -22*q - 1526. Let w be u(-71). Solve 0 = 16*y - w - 28 for y.
4
Let u(x) = 2*x**2 + 67*x + 281. Let q be u(-29). Solve -q*k - 37*k - 171 = 0 for k.
-3
Let d be 0*(6/4)/(-3). Suppose -44 - 279 = -17*l. Suppose -27 = -8*s - l. Solve d = -t + s - 3 for t.
-2
Let u be (-7)/(65/(-26) - -2). Solve 23*z = -83 + u for z.
-3
Suppose 4*i - 48 = -0*i. Let m = i + -15. Let p be 3/(-9) - m/9. Solve p - 6 = -2*b for b.
3
Suppose -287 + 236 = -3*j - 4*c, 3*c = 4*j - 43. Solve 4*r + j*r + 68 = 0 for r.
-4
Let m(c) = -2*c**3 + 55*c**2 + 29*c + 26. Let x be m(28). Solve -50 = 26*a + x for a.
-4
Let o = -522 + 537. Suppose -i = -0*i - 236. Suppose -i*g - o = -241*g. Solve -4*c = -g*c for c.
0
Let n(u) = 3*u + 47. Let c be n(-14). Suppose -2*r + c*r = 4*h - 9, 3*r = -3*h + 12. Solve -2*v + 5 = h for v.
1
Let a be (-15 + 16)*((-3)/3 - -162). Let o = 170 - a. Solve o*f = 5*f + 4 for f.
1
Let p = 501039 + -501037. Let g(m) = -m**2 - 6*m. Let v be g(-5). Suppose l - v = 2*f - 4, -f + 3*l - 8 = 0. Solve f = -p*a + 3*a for a.
1
Suppose o = 5*c - 20, 3*o = c + 4 - 8. Suppose o = -3*b + 5*i + 21, 4*b + 8*i - 10*i - 14 = 0. Solve -b*l = 5 + 5 for l.
-5
Suppose 4*n + k + k = 38, 4*n = -k + 41. Let c(h) = 2*h - 8. Let w be c(n). Solve 7*s - 14 = w for s.
4
Suppose 2*z - 1 = 3. Let l = -9604 - -9607. Solve -z*j = -l + 7 for j.
-2
Let u(y) = y + 7. Let a be u(-4). Suppose -a*c + 3*t = -27, -5*c - 2*t + 5*t + 37 = 0. Solve 12*x - 53 + c = 0 for x.
4
Let z(r) = -5*r - 3. Let t be z(-2). Let g be (-2)/t - 115/(-35). Let m = -107167 - -107175. Solve a - g*a = -m for a.
4
Suppose -2*h + 4*h + 3*r + 11 = 0, 0 = 4*h + r - 3. Let y be (-2 + (7 - 6))*(h + -4). Solve w = y*w for w.
0
Suppose -82*u - 85*u + 160*u + 91 = 0. Solve u*i = 5*i - 56 for i.
-7
Suppose -6*k = -3*k + 21. Let s(r) = -7*r - 84. Let x(d) = -21*d - 245. Let j(u) = -14*s(u) + 5*x(u). Let h be j(k). Solve 2*y - 3*y - 2 = h for y.
-2
Let z = 37 + -25. Let v be (z/20)/(5/25). Let x = 133 - 122. Solve -v*o - 1 - x = 0 for o.
-4
Let u = 12 + -12. Let o = 7246 - 7242. Solve -o*g + 0*g - 8 = u for g.
-2
Suppose a - 2*k = -10, a + k + 15 = 4*k. Let v be 120/30 - (a + 2). Suppose -2*b = 2*b. Solve -v*o + 4 + 0 = b for o.
2
Let f be ((-3 - -22)*-3)/(0 + -1). Suppose 2*a = -2*u + 6*u + 30, -f = -5*a + u. Solve -a*s + 7*s = -8 for s.
2
Suppose 4 = -3*p + 7*p. Let d be (1 + 83)/(-6)*p/(-2). Suppose 14 = u + d. Solve -5*i - u = 18 for i.
-5
Let j(l) = -9*l**2 + 25*l + 1. Let q be j(8). Let u be q/(-120) - 2/16. Solve 0 = -3*v + 2*v - u for v.
-3
Suppose 3 = -3*s, -s - 175 = -2*i - 2*s. Let x = i - 83. Solve 4*w + 15 + x = 0 for w.
-5
Suppose -4*p + g = -701, -16*g = 5*p - 14*g - 899. Solve -p*z = -196*z for z.
0
Let c = -752 - -769. Solve 8*t + 49 = c for t.
-4
Let d = 17 - 4. Suppose -v + d = -26. Let p = -35 + v. Solve 5 = -p*w - w for w.
-1
Let m = 2521 - 2381. Solve 7*h + 21*h - m = 0 for h.
5
Suppose -2*d + 5*d = -y + 10, -3*y = 5*d - 22. Let p be 2/(-3) + 1 - (-17)/(-51). Suppose 41*h - 43*h + 6 = p. Solve -h = -y*o - 11 for o.
-2
Let n be 465/2 - (81/6)/9. Suppose n*f - 234*f = 0. Solve -j + 0*j - 5 = f for j.
-5
Suppose 415*n - 387*n = 0. Solve 7*k - 19 + 5 = n for k.
2
Suppose -2*z - 3*z - 50 = -2*n, 0 = -2*n + z + 34. Let g be -3*(-5)/n*(0 - -11). Solve -5*a + g = -9 for a.
4
Let p be (1 + 1)/(-18 - (-13 + (-242)/44)). Let l(a) = -a - 6. Suppose 4*k = 2*o - 6 - 12, -5*o = 3*k + 46. Let q be l(k). Solve p*u = 21 - q for u.
5
Let r(z) = -59*z - 211. Let c(a) = -60*a - 206. Let i(g) = -2*c(g) + 3*r(g). Let k be i(-4). Solve -28 + 0 = k*v for v.
-4
Let i(m) = 3*m**3 - 3*m**2 - 8*m - 7. Let v be i(-3). Let p be 6/(-45) + v*(-4)/30. Solve -9*s + p*s - 12 = 0 for s.
4
Let f(s) = -s**3 + s**2 + 184*s - 16. Let c be f(14). Solve -5*q - 42 = -c*q for q.
6
Suppose -4*o = -89 - 875. Let a = 245 - o. Solve a + 1 = q for q.
5
Let b = 9 - 4. Let i = 23974 + -23965. Solve 0 = -b*h + 1 + i for h.
2
Suppose -3*j = -4*t - 80, -5*t = 2*j + 2 - 17. Suppose 2*u - 9 = -u. Suppose -c + 4*h + j = 0, -c + u*c = -2*h. Solve c*x = x + 3 for x.
1
Let d(o) = 39*o**2 + 9*o + 8. Let p be d(-1). Let t = -36 + p. Solve -t*x = -2 - 4 for x.
3
Suppose -4*n = 4 - 208. Suppose -33 = -7*l + n. Solve -2*s + 8*s - l = 0 for s.
2
Let q = 19 + -13. Let u(v) be the third derivative of v**4/24 + v**3/2 + 22*v**2. Let m be u(q). Solve 2*x - m = -x for x.
3
Let l = 19430 - 19427. Solve -4*v = 3*v - l*v for v.
0
Let l(d) = d**3 - 11*d**2 + d + 1. Let u be l(11). Suppose -14 = -13*k + u*k. Suppose -4*f - k = -22. Solve -7 = -f*h - 1 for h.
3
Let w(t) = 1116*t + 7812. Let x be w(-7). Solve x = 231*z - 246*z - 45 for z.
-3
Let f = 190 + -160. Solve -21*v - 72 = -f*v for v.
8
Suppose 0 = g + 2 - 5, -3*g - 25 = -2*o. Suppose 3*c + 1 = -5*v, 5*v - o + 27 = 0. Solve 0 = q + c*q - 8 for q.
2
Let r(d) be the first derivative of -2*d**3/3 + 6*d**2 - 3*d + 17. Let c be r(9). Let u = 61 + c. Solve -u = 3*k - k for k.
-2
Let w = -95 - -89. Let d(p) = -p**3 - 4*p**2 + 10*p - 4. Let j be d(w). Suppose 0 = -2*h + 4*h - 4*x - j, 5*h = -5*x + 80. Solve 2*l + h = -l for l.
-4
Let o be (-1)/1*0*(1 + -2). Suppose o = -79*n + 78*n - 10. Let b be (15/n - -3)*16/6. Solve 5*m = b*m + 5 for m.
5
Let q(h) be the third derivative of -h**5/60 - h**4/3 - 3*h**3/2 + 25*h**2. Let m be q(-5). Let k be (2 + -1 + 0)*(m - 6). Solve k = 5*s - 8 + 3 for s.
1
Let f(i) = -104*i + 552. Let w be f(5). Solve -31*q - 61 = w for q.
-3
Suppose 86 + 55 = 47*p. Suppose -3*j + p*z + 24 = 0, 27 = 4*j - 3*z - 0*z. Solve 0 = -j*v + 7 + 8 for v.
5
Let y = 40 + -29. Let s = -8 + y. Suppose 0 = -s*x - o + 3*o + 20, 2*x = 5*o + 17. Solve -x*l + 2*l = 20 for l.
-5
Let x = -7119 + 7153. Solve 78 = -x*t - 58 for t.
-4
Let r be 0 - (6/(-2))/3. Let h be ((-675)/(-18))/15*(-32)/(-40). Solve h = -p + r for p.
-1
Suppose -4 = -2*p - y + 2, 