 18 = -i*t, 4*t - 8 = -0*t for l.
-2
Let t be (12/8)/(2/(32/6)). Suppose 3*f = -2*f - 4*v + 4, -2*f = t*v - 4. Solve 5*x = -0*x - 4*q - 5, 5*x - q + 30 = f for x.
-5
Let b(p) = p**3 + 4*p**2 - 80*p + 23. Let s be b(7). Solve 4*x - 3*i = -4*i - 12, 0 = 4*x - s*i + 24 for x.
-4
Suppose 5*f - 5 + 1 = u, -22 = -3*u - 2*f. Suppose 159 + 87 = u*a. Let y = -36 + a. Solve -4*k = y*i + 13, -i - k = -5*i - 2 for i.
-1
Let g be 8/(-6)*(14 - (11 - 0)). Let s be g - 30/5*-1. Solve -y + s*n - 7 = -n, -3*n + 2 = -2*y for y.
5
Let h(f) be the third derivative of -f**5/60 + 5*f**4/8 - f**3 - 30*f**2. Let r be h(15). Let j be 47/9 + (r - (-52)/9). Solve 5*n + j = -y, -n = -1 + 3 for y.
5
Let i = -30 + 36. Suppose -g = -i*b + 3*b - 8, -2*g = 5*b - 5. Suppose 4*h - g - 3 = 0. Solve -x + 0 = -2*c - 11, h*x - 2*c = 16 for x.
5
Suppose 31*o + 20 = 108*o - 365. Suppose 2*p - 2*m = 6 + 2, -3*p - m - 4 = 0. Let r(w) = -w + 4. Let j be r(p). Solve a - 3*u = j, -3*u - 13 - 3 = o*a for a.
-2
Let k = -11 + 15. Let v be 702/189 + 5/(-7). Let m = 34 + -20. Solve 4*x + 2*h = v*h - m, -k*h - 1 = 3*x for x.
-3
Let a be (-2)/(-2)*(-10 - -9). Let s(p) = 11*p + 1. Let f be s(a). Let m be (-5)/3*12/f. Solve -2*t = -i - 5*t - 3, 10 = m*i - 2*t for i.
3
Suppose 3*a = -4*i, -24*a + 2*i = -20*a. Solve 38*s + 8 = 43*s - 2*j, a = 3*s - 2*j - 4 for s.
2
Let x(m) = 17*m**3 + 56*m**2 + 14*m + 7. Let f be x(-3). Solve 3*l = g + 11, -7*l - 19 = -f*l - g for l.
5
Let x = -17360 + 17445. Solve 100 = 5*y + x, j - 4*y + 11 = 0 for j.
1
Let p be (-1 - 0)/(23/644). Let s = p + 29. Solve -b + 6*b + 5 = -5*w, -w - s = -2*b for b.
0
Let d = -65 - -73. Suppose -755 + 115 = d*q. Let j = q - -88. Solve -j = 2*f, 3*c - 2*f + 4 = -0*c for c.
-4
Let a(l) = -8*l + 19*l + 4*l**2 + 53 + 3*l - 3*l**2. Let z be a(-8). Solve 0 = -z*x + 5*j + 25, -4*x = -2*j + 6*j + 4 for x.
2
Let c be -1*((-6)/(-6) - -1). Let t be ((c/(-8))/1)/((-16)/(-128)). Solve 0 = -x - o + 3 - 1, -t*x + 5*o = 10 for x.
0
Suppose -1 = -3*s + 5. Suppose -3*q = 2 - s. Suppose -i - i + 5*f - 6 = q, -5*f + 12 = i. Solve -3*x + 18 = 3*h, -3*h = -2*x - i*x - 11 for h.
5
Suppose 512 = -28*v + 2*v + 564. Solve v*q = 6*q + 5*y - 31, 0 = -2*q - y + 11 for q.
4
Suppose -4*p - 3*d - 4 = 0, d = 4*p - 11 - 1. Let a be (-18)/(-4) + 0 + p/(-4). Solve 4*n = 7*o - 2*o + 2, 0 = -a*o - n - 10 for o.
-2
Suppose 5*v - 23 = 7. Suppose -v*c + 54 - 24 = 0. Solve -5*w - f - 6 = 0, c*w + f - 6*f + 30 = 0 for w.
-2
Let o be 13 + 2 + -1 + 2. Let a = 129 + -127. Suppose -2*x = a*p - o, -x = x + p - 12. Solve 3*b + 0*i - 13 = x*i, -5*b + 5*i = -15 for b.
-1
Let a = 9 + -7. Let l = 179 + -178. Suppose 6*n - 17 - l = 0. Solve 0 = -3*j + j - n*w + a, 0 = 4*j - 4*w - 4 for j.
1
Let q(a) = -116*a + 933. Let s be q(8). Solve 0 = -4*o - s*p + 37, 2*o - 5*p + 2 + 17 = 0 for o.
3
Suppose -5*l = 164 - 189. Let t be ((-21)/(-3) - l - 5) + 15. Solve 0 = -n - 5*f - 16, n - 3*f = -f + t for n.
4
Let q be (573/(-6))/(6/12). Let m = q + 191. Solve -3*o - 2*s + 2 - 14 = 0, -s - 3 = m for o.
-2
Suppose 17 = 3*r - 2*v + 1, r - 8 = 2*v. Let k = -254 + 270. Suppose -k = 86*c - 94*c. Solve c*f + 5 = -3*t, -r*f + 45 = -0*f - 5*t for f.
5
Let h be (-2 - (3 + 0)) + 70. Suppose k - 70 = -h. Solve 0 = 5*l + 5*o - 10, 2*l + k*o - 4*o - 6 = 0 for l.
4
Let a be -4*(-98)/8 + 3. Suppose -62*u + 30 = -a*u. Solve -2*l - u = q + 1, 4*q = 4*l - 4 for l.
-1
Let q(h) = 4*h - 26. Let p be (2 - -1 - 70/5)/(-1). Let j be q(p). Let t = -15 + j. Solve -t*f = 3*a - 12, -2*f - a + 6 + 3 = 0 for f.
5
Suppose 0 = 106*u - 104*u - 414. Let f = u + -202. Solve 0 = -4*h - f*w + 37, -3*h + 2*w - 25 = -8*h for h.
3
Let c = 64 + -14. Suppose 0 = 49*g - c*g + 3. Solve -o = -2*o - s + 9, 0 = -4*o + g*s + 8 for o.
5
Let c(p) = -p**3 - 7*p**2 - 7*p - 1. Let w(u) = -6 + 4 + 2*u + 2. Let s be w(-3). Let j be c(s). Solve 8 = 5*r + q, -j*r + 2*q = -2*q - 18 for r.
2
Suppose v = 2*v - 4. Suppose -v*r - 4 = -5*d + 16, 2*r + 4 = d. Let g = 51 + -49. Solve r = g*x - 5*l + 25, -l = -4*x + l - 26 for x.
-5
Let b be ((-9 + -1)*(-12)/(-90))/((-4)/6). Solve 0*s + b = -2*s + 3*n, 4*s = n + 6 for s.
2
Let z = 115 - 169. Let t = -19 - z. Suppose -10*r + t = 15. Solve 2*m - 3*f = r*f + 18, 10 = -5*f for m.
4
Suppose -76 = -6*n - 196. Let l = n + 20. Let y(a) = a**2 + 8*a + 10. Let d be y(-7). Solve 5*h + 4*q + 11 = l, 4*h = -d*q + 2 - 11 for h.
-3
Let f = -8875 + 8877. Suppose -q + 4 = q. Solve -q*c + 4 = -c + 2*y, -f*c - 16 = -4*y for c.
-2
Let z be (4/(-2 + 4))/1. Let i be (-15)/z*18/(-9). Suppose -f = 5*m - i, -2*f = 2*m - 7*f - 33. Solve 0 = 3*g + m*n, 7*g - 2*g + 3*n = 0 for g.
0
Let c(p) = -136*p + 66*p + 12 + 73*p. Let i be c(-3). Suppose 0 = -3*w - i*w + 48. Solve -2*d = -2*x - w, -x - 19 = 3*x - d for x.
-5
Let v = -1482 - -1485. Solve -q + 9 = 2*d, v*q = -5*d + 2*q + 24 for d.
5
Let t(k) be the first derivative of 4*k**2 + 8*k + 38. Let c be t(0). Let w be 4/c*8*17/4. Solve 5*r + 4*p = 32, -r + p = 4*r - w for r.
4
Let k = 7108 + -7108. Solve -15*l = -h - 19*l + 18, k = 3*h + 3*l - 18 for h.
2
Let r be (26 - -26)/(-13) + (16 - 1). Let n be (-212)/(-18) + (-8)/(-36). Suppose 4 = n*y - r*y. Solve k - 6 = 3*c + 4, -24 = -y*k + 4*c for k.
4
Suppose -85*l = -82*l - 3, -2*a = 5*l - 29. Solve -4*b - 4*f = 4 - 32, -4*b + 4*f + a = 0 for b.
5
Suppose -21 = -2*a + a. Let u be a + 0*(-1)/3. Suppose -6*n = -u - 3. Solve -16 = -n*o, -3*c - 13 = -2*o - 2*o for c.
1
Let n be ((-3)/12 + (-12)/(-16))*0/1. Solve -4*m + 3*b + 7 = 0, m - b - 4 + 2 = n for m.
1
Let y = -2276 + 2298. Solve 27*k - y*k = -2*x - 7, -4*x = k - 13 for k.
-3
Suppose 0 = -159*h + 167*h - 1096. Let q = h + -134. Solve -5*s = -5, p + 3*s + 1 - q = 0 for p.
-1
Let i = -18284 - -18310. Solve -4*a - 22 = 28*q - i*q, -a - 4 = 0 for q.
-3
Suppose 30 = 2*p + 5*m, p - 21 = -m - 12. Solve 13 = -17*z + 16*z - 2*i, -4*z - p*i - 37 = 0 for z.
-3
Suppose -136*c + 310 = 81 - 43. Solve 5*d - 6 = -c*n, 2*n + 25*d = 30*d - 14 for n.
-2
Let p(k) = -2*k**3 + 16*k**2 + 2*k - 12. Let v be p(8). Suppose 0 = 5*j - 5*y - 15, y - 7 = -5*j + 4*j. Solve -3*l + j*a - v = 3*a, a = -3*l + 11 for l.
2
Suppose -76*s = -72*s - 24. Solve 0 = 2*k + l - 0 + 3, s = 5*k - 2*l for k.
0
Let q = 61 - 56. Suppose -q*y - 16 = -41. Let b be (-138)/230 - ((-3)/y - 0). Solve 0 = 4*m + 2*l + 1 - 3, b = -5*m - 2*l for m.
-2
Let t = -68 - -47. Let n be 1/(-5) - t/5. Suppose 0 = n*s - 0*s. Solve 3*p = -s*f - 4*f + 12, -4*p - 3 = -f for f.
3
Suppose -6*k = -38*k - 929 + 929. Solve 2*u + 22 = -4*p - k*p, 5*u = 2*p + 5 for u.
-1
Let a be (2 - 20/6)*(-387)/172. Solve 3*u = 7*v - a*v + 11, -9 = 3*v - 3*u for v.
-2
Suppose 6*h + 28 = 2*g + 5*h, -5*g + 67 = -h. Let s(n) = 2*n**3 - 23*n**2 - 41*n + 28. Let k be s(g). Solve 0 = 4*u + 2*b - 5*b - 11, -4*u = -k*b - 10 for u.
2
Let n be -2 + (596/30 - (-148)/1110). Solve 3*h + 5*p - 10 - 18 = 0, 2*h - 4*p = -n for h.
1
Let x = 2441 - 2438. Solve 5*l - 27 = l + x*s, 5*l - 3*s = 30 for l.
3
Suppose -5*b = -4*z - 581, -5*z - 683 = 3*b - 3. Let d = -129 - z. Solve -g = 2*o + 1 + d, -2*g - 10 = o for g.
-3
Let n = 315 - 271. Suppose 13*m = -5 + n. Let k(r) = r**2 - 5*r + 2. Let s be k(5). Solve -3*z = -s*v + 2*z + 20, -4*v - m*z = 12 for v.
0
Let d be (2 + -10 - 2)/((-88)/(-308)). Let c be 14/d - (-17)/5. Solve 0 = 2*a - c*h + 7, 3*h = -2*a + 11 for a.
1
Let w be 4/6 + (-26)/(-6). Suppose -3*y + 51 = 3*h, -h - h = -w*y - 41. Solve 2*q + 2*q - n + h = 0, -3*n = -q - 10 for q.
-4
Let t be (2/6)/((-295)/(-10620)). Solve q - 16*r + 13 = -t*r, -4*q + 3*r - 13 = 0 for q.
-1
Let w = 20 - 2. Let k be 244/w - ((-56)/63)/2. Solve -5*v + 29 = -2*h, -3*h + 4*v - 8*v = -k for h.
-2
Let n = 2045 - 2040. Solve 2 = x - 4*l, n = -3*x + 4*l + 3 for x.
-2
Let f be 1/10 - (-5868)/120. Suppose 16 = 4*g, -9*b + 12*b - 2*g = f. Solve 5*l - 3*s = 30, -5*l + 7*l = -5*s - b for l.
3
Let b = 2 - 5. Let y be (b/(15/4))/(4/(-10)). Suppose -17 = -5*s + y*r, 3 = 5*s - 4*r - 6. Solve -s*x = 3*g - 3, 4*g - g - 3 = -x for g.
1
Let u be 154/33 - 2/(-6). Suppose u*i - 6*i = -3. Let b(d) = -d**2 - 9*d - 13. Let a be b(-6). Solve -3*z = z - 2*h - 6, 0 = -i*z + h + a for z.
2
Suppose -18*g - 3342 + 3408 = 4*g. Solve 0 = -w - 5*o + 10, g*o = 2*w + w + 6 for w.
0
Let z(y) = 641*y + 3851. Let s be z(-6). Solve 3*a + 5*b = -16, -s*a - 