 0 = 2*l - 1 - a for l.
1
Let a = -4982 + 4986. Solve -13 - 7 = -a*d for d.
5
Let m(h) = h**2 + h + 20. Let w(k) = -2*k**2 - 41. Let r(c) = 9*m(c) + 4*w(c). Let i be r(-7). Solve -3 = -5*a + i for a.
1
Let b be 65/30 - (-2)/(-12). Let h be b*(1 + 1/2). Let f = 1179 + -1175. Solve h*k - 11 = f for k.
5
Let g = 6 - -6. Let v = g - 7. Suppose -k + 0*k - 2 = v*p, -2*p - 5 = -k. Solve 2*q - 5 = -k*q for q.
1
Suppose -20 = 4*a, -m - 4*a + 99 + 93 = 0. Solve -17*g + m = -70*g for g.
-4
Suppose 0 = -12*l - 299 + 642 + 1889. Solve -l*d = -167*d - 38 for d.
2
Let h be (-16)/24 - (-2)/3. Suppose h = 3*r + r. Suppose 20*x - 16*x = r. Solve -3*v + 6 = -x*v for v.
2
Let n(m) = -m**3 + 17*m**2 + 36*m + 99. Let x be n(19). Solve 70*a - x*a + 27 = 0 for a.
-3
Suppose a - 4*j - 18 = 0, -3*a - 2*j + 102 = 2*j. Let w = -34 + a. Let t be (-36)/15*((-40)/(-3))/w. Solve -10 = t*o - 3*o for o.
-2
Suppose 0 = 209*d - 12738 - 3057 - 8240. Solve 0*y - 23*y = d for y.
-5
Suppose 0 = -16*c + 642 + 750. Suppose -93*o = -c*o. Solve o = -9*a - 4*a for a.
0
Suppose -5*s = -54 - 31. Suppose 0 = -3923*q - 7224 + 8583 + 28354 + 21286. Solve s - q = -u for u.
-4
Let n be 3/(-15)*-2 + (-4646)/(-10). Suppose 2*b - n = -457. Solve -b*d + 0*d - 4 = 0 for d.
-1
Let z(t) be the third derivative of t**5/60 + 7*t**4/8 - 50*t**3/3 + t**2 + 66*t. Let k be z(-25). Solve x = -k*x + 2*x for x.
0
Suppose 0 = 30*j - 27*j. Suppose -3*g - a = -10, j = -3*g - 3*a - 2*a - 10. Suppose -5*f - 15 = 9*p - 14*p, 2*f + 11 = 3*p. Solve -w + f*w = -g for w.
-5
Let g be ((-1)/3 + 32/(-3))*44. Let a = -483 - g. Solve -x + a = -4 for x.
5
Suppose 86 = 2*m + 14. Let t = -15138 - -15177. Solve -m*u = -t*u + 3 for u.
1
Let x(l) = -42*l - 1. Let y be x(0). Let p be -6 + 6 + 0/y. Suppose 60 = -3*d + 7*d. Solve -d + p = 3*h for h.
-5
Let a(z) = 32*z**2 - 569*z - 61. Let u be a(18). Solve -u + 43 = 11*p for p.
-2
Let i be 12/(-66) + 174/(-11). Let a(x) = x**3 + 15*x**2 - 16*x + 20. Let n be a(i). Solve -4*k = -8*k + n for k.
5
Suppose 4*p - 7*p = 108. Let y = -24 - p. Suppose 5*r - 26 = -16. Solve -r*f - y = f for f.
-4
Let i(x) be the first derivative of x**4/2 + 3*x**3 + 7*x**2/2 + 22*x - 164. Let q be i(-4). Solve -q*b + 8 = -14*b for b.
-2
Suppose -50 = 9*p - 104. Let d be ((-3)/18)/((-4)/p)*60. Solve -d = 3*i - 30 for i.
5
Let f = -12299 - -12450. Solve -22*g - f + 239 = 0 for g.
4
Let x(g) be the third derivative of g**5/60 - g**4/6 + g**3/6 + g**2. Let h be 1 - ((-4)/(-2 - 2) - 4). Let y be x(h). Solve -5*d - 4 - y = 0 for d.
-1
Suppose -170 = -5*k + 2*x, 18*x + 97 = 2*k + 23*x. Solve 4*w + k = 13*w for w.
4
Suppose 2*r + 15 = 3*j, 2*j - 39 = -29. Solve r = 7*o + 15 - 8 for o.
-1
Let b(p) = -p**3 + p**2 - p + 1. Let m be b(-2). Let w be (-28)/(-126)*(-9)/(-1). Suppose -w = 2*u + 3*g, -14 = -2*u + 3*g - 2*g. Solve -u*t + 0 = m for t.
-3
Let m = -1 - 20. Let a = m + 23. Let s be 0 - (a - 2 - 0). Solve 4*q - 10 - 2 = s for q.
3
Let z be 1/((-1)/3) - 11. Let m be z/(-6) + 5/(-15). Suppose 0 = 2*a, 4*x + m*a - 24 = 7*a. Solve -n + x = n for n.
3
Let m = -6 - 3. Let v = -5 - m. Suppose w = -w + v. Solve -w*o = -o - 5 for o.
5
Let s = 282 - 82. Suppose s = 5*j + 20*j. Solve j - 12 = 2*n for n.
-2
Suppose 3*d + 9 = 6*d. Suppose 0 = -2*s - 2*s + 2*k + 14, -d = 3*k. Let u(o) = -o**3 + 19*o**2 - 6*o - 213. Let c be u(18). Solve -4*g + s*g - c = 0 for g.
-3
Let a(l) = 2 - 3*l - 1 + 14 - 7*l + 2*l**2. Let w be a(2). Solve -2*m + w*m = 5 for m.
5
Let y = -10 - -9. Let x = -1 - y. Suppose -46 + 6 = -20*g. Solve x = g*d - d - 5 for d.
5
Let r = -193 - -221. Let o(d) = -d**2 + 9*d. Let t be o(9). Suppose -4*b + r = -t. Solve 5 = 2*k - b*k for k.
-1
Let u(t) = 97 - 8*t + 2*t + 9*t. Let z be u(-32). Solve 0 = -8*q + z + 31 for q.
4
Let f be 270/(-4) - (-42)/28. Let h be 6/(-9) + 1 - 638/f. Solve 3*w + 16 = h for w.
-2
Let d = 120 - 52. Let y = d + -63. Suppose 4*m - y = j, -j - 4*m = 2*j - 17. Solve -10 = -j*i - 2*i for i.
2
Let j be 6/9*-15 - (100 + -139). Solve -j*f + 96 = 3*f for f.
3
Let t = -49 + 57. Let a be 7*6/((588/t)/7). Suppose -2*q + 4 = -c, 0*c - 16 = -a*c. Solve -q*i + 2 = -5*i for i.
-2
Let s(d) be the second derivative of d**4/6 + d**3 - 5*d**2/2 + 73*d. Let j be s(-4). Solve q - j = 1 for q.
4
Suppose 0 = 115*p - 59*p - 9296. Solve -126 + p = -8*g for g.
-5
Suppose -9 + 0 = -3*l. Suppose -2*v = -7 - l. Suppose -t + 27 = q + 3*q, -10 = -q + 3*t. Solve -4*d + v = -q for d.
3
Suppose 2*k = 7*k - 45. Suppose -k*n = -13*n + 400. Let w = 104 - n. Solve o = 5*o - w for o.
1
Let k(v) = 2*v**3 + 3*v**2 + 3*v - 10. Let d be k(2). Suppose 9*r - d = 7*r. Suppose 3*h = 5*a, 0 = a - 5*a + r. Solve -o - 12 = -h*o for o.
3
Let c = -1425 + 1460. Solve -c = -17*w - 137 for w.
-6
Let m be 30/(-12)*((-2)/5)/1. Let u be ((-4)/12 - -1)/(m/6). Suppose 10 = -5*v + 5*x, 0*x = 3*v + u*x - 15. Solve 5 = o + v for o.
4
Let c(p) = -44*p**2 + 218*p + 28. Let r be c(5). Solve -24*w + 168 = r*w for w.
4
Let q = -53 - -149. Let n = q + -93. Suppose 4 = -3*k - 2*b, k - n*b = -2*b + 2. Solve -5*h + 19 + 1 = k for h.
4
Suppose 542*f - 269*f - 290*f + 306 = 0. Solve 6 = -12*h - f for h.
-2
Suppose -355*n = -633*n + 5004. Solve -3*q = n*q - 168 for q.
8
Let v = -260 - -373. Solve -107*t + 12 = -v*t for t.
-2
Let o be (1 - (-4)/(-8)) + (-6435)/(-130). Solve o*d = 148 - 398 for d.
-5
Suppose -50 + 59 - 27 = -3*j. Solve -48 = j*s + 18*s for s.
-2
Let h = -1359 - -1360. Let s = 72 + -71. Solve h = 2*v + s for v.
0
Suppose 8 = -4*i + 4*s - 12, 2*i - 5*s = -25. Suppose 0 = 2*l + 5*w - 5, 78*l - 83*l = 2*w - 23. Solve l = -i*h + 5*h for h.
1
Suppose 5*i + 220 = 5*m - m, -2*m = 3*i + 154. Let k be ((-3)/(-2))/(i/(-160)). Suppose z - 15 = -k*q + 28, 0 = -z + 3. Solve 4*w = q*w + 4 for w.
-1
Suppose -84 = 984*p - 998*p. Let m(r) = r**2 - 11*r + 30. Let v be m(p). Solve -9*d - 14 - 13 = v for d.
-3
Let w be (-4)/(-40)*5*12. Let o be 0/(w - (5 - 1)). Let k = -186 + 188. Solve o = -z + 1 - k for z.
-1
Suppose 0 = 5*c - 6*y + 2*y - 142, -5*y + 100 = 3*c. Suppose 28*w = c*w - 16. Let l be ((-266)/8)/(-7) - (-2)/w. Solve -9 = -l*r + 6 for r.
3
Let b(w) = -2*w**3 + 6*w**2 + 3*w - 3. Let h be b(-4). Let s = h + -205. Solve -s*j = -8*j for j.
0
Suppose -6282 = -106*m + 88*m. Let x = m - 347. Suppose 5*w + 4*a + 5 = 0, -3*w + 4*a + 34 = -a. Solve w*c = x*c for c.
0
Let t(r) = 20*r + 6. Let o be t(-4). Let c be 1/(-4) - (-1436)/(-16). Let q = o - c. Solve -5*w + q = -w for w.
4
Let b = -8411 + 8667. Solve 48*m = b - 64 for m.
4
Let h = 6407 - 6388. Solve 3*k - h = -28 for k.
-3
Suppose 653*s - 573*s + 3007 - 12287 = 0. Solve -t + 113 = s for t.
-3
Suppose -4*j + p - 236 = -0*j, 295 = -5*j + 4*p. Let u = j + 63. Suppose -9 = 3*w, u*w = l - w - 18. Solve 1 + 2 = -l*i for i.
-1
Let o = -25 - -33. Let u = o - -52. Let q = u + -55. Solve 0*s - 25 = q*s for s.
-5
Suppose -21*b - 1711 - 3014 = 0. Let x = 231 + b. Solve -o + x*o = 0 for o.
0
Let v be (-214)/(-5) - (305/(-25) + 13). Let u be ((-8)/6)/((-28)/v). Solve 6*q = -u*q + 40 for q.
5
Let x(w) = -w**3 + 8*w**2 + 23*w + 35. Let z be x(-4). Let m be (-18)/z + 2166/45. Solve -m + 39 = 3*h for h.
-3
Suppose 316*y = 322*y - 204. Solve y = 8*f - 6 for f.
5
Suppose -t + 4*v + 10 = -2, -5*v = 10. Suppose -20 = -4*d + o + 18, -d + t*o + 2 = 0. Suppose -3*w - 10 = -d. Solve w = 2*x - 2 for x.
1
Let o be 2/(-7) + 4/14. Suppose 0 = 2*d - o*d - 14. Suppose 10*j - 9*j - 9*j + 24 = 0. Solve 0 = 4*c - d + j for c.
1
Let z(r) = r**3 + 8*r**2 - 30*r - 182. Let y be z(-9). Solve 0*h - 28 = y*h for h.
-4
Let k = -166 - -250. Let v = k - 81. Let g be (0/1 - -5)*v/5. Solve -j + g*j = 8 for j.
4
Suppose -10*j + 82 = -8*j + 6*h, -214 = -4*j - 2*h. Solve -j*v = -52*v - 4 for v.
1
Let a be (10/(-50))/((-2)/(-10)) + 12. Suppose -a = -7*v + 10. Solve v*l = 7*l for l.
0
Suppose 16 = -y + 44 - 7. Solve -y*s = 23 - 86 for s.
3
Suppose 0 = -9*j + 5*j - 284. Let v = j + 59. Let r be v*2/10*10/(-3). Solve 5*n + r = -12 for n.
-4
Let x be (-17)/(-3) + (-2)/3. Let r = -5074 + 5088. Let u be (1 - -7) + 12/(-6). Solve -x*f + u = -r for f.
4
Suppose -4*o = 27*o - 1271. Suppose -3*v - 5*l + 35 = 0, -18*v - 2*l = -15*v - o. Solve 6*p + v = -3 for p.
-3
Let s(t) = -2*t**3 + 10*t**2 - 4*t - 1. Let n be s(3). Solve -84*v = -n*v + 488 for v.
-8
Suppose 17*r = 