 4*a + 8 = 2*g, p = 4*a + g + g + 8 for a.
-2
Let x = -20 + 31. Let l be (9 + -12)/((-3)/22). Let u be (-2)/x + (-2)/l*-35. Solve -2*c = -2*t + 6, -5*c - 7 = -u*t - c for t.
5
Let j = 474 - 471. Suppose -2*l = -2*n + 18, 0 = -j*l - 20 + 5. Solve 3*f + 1 = m + m, 12 = n*m + 4*f for m.
2
Suppose 3265*n - 6 = 3263*n. Solve 2*s - s + 8 = -3*r, n*s + r - 8 = 0 for s.
4
Let j = 32 + -20. Let x = 1004 + -1001. Solve 2*t - 4*t - 14 = 4*w, -x*w = j for t.
1
Let y be ((-6)/8)/(-3)*(-1360)/(-170). Solve 4*j = 7*j - 4*b - 7, -y*j - 26 = 5*b for j.
-3
Let b(p) = -5*p. Let y(w) = -4*w. Let n(s) = 2*b(s) - 3*y(s). Let k be n(2). Let o be (-4 + 3)/(k/(-20)). Solve -o = -z + x, 5 = -5*z + 4*z - x for z.
0
Let c = -6575 - -6583. Let q(o) = o - 7. Let l be q(9). Suppose -2*p - l*p = 0. Solve -y + 6 + p = 2*r, 4*r + c = 3*y for r.
1
Suppose -156*u = 56*u - 879 - 181. Solve -k - 15 = -3*b, u*b - b = 16 for k.
-3
Let d be 18/15*(-10)/(-4). Let h be (-1 - 14/(-10)) + (-19279)/(-7415). Solve d = -l + 2*s - s, h*s + 3 = -l for l.
-3
Let o be (-12)/(-9)*(-15)/(-2) + -5. Suppose -5*a + 9*a + 16 = 5*h, -o*a + 5 = 0. Solve 4*s = -4*p, -4*p + 2 = -h*s - 38 for s.
-5
Let q = 9837 - 9818. Solve 0 = 4*p - 20, 3*h - 12 = -q*p + 16*p for h.
-1
Let z = 310 + -314. Let v(w) = -8*w - 12. Let x be v(z). Solve 11 + 5 = -2*f + 2*a, 5*a - x = 0 for f.
-4
Let q = 11443 - 11439. Solve -a = -2*o - 2, 0 = 5*a - q*o - 10 - 6 for a.
4
Let p(o) = o**2 - 25*o - 83. Let r be p(28). Let q be (6/15)/((-2)/20). Let d be q/22 - 24/(-11). Solve 31 + r = -4*w + 4*z, 4*w + d*z = -14 for w.
-5
Let g be (-4)/(-26) - (-30000)/195. Suppose g = -5*r + 164. Solve -f = r*b - 6, 5*f - 5*b + 13 = -32 for f.
-4
Let d be 96/(-36)*(-249)/4. Suppose 0 = -3*j + 3, -2*j - d = -3*z + 3*j. Suppose 32 = 61*k - z*k. Solve 2*y + 12 = 4*x, -2*x + 3*x + k = -5*y for y.
-2
Suppose -d + 5*c + 48 = 3*d, 0 = 4*d + 4*c - 48. Solve j = x + 2*x + 7, -3*x = d for j.
-5
Let a(r) = 684*r + 3421. Let z be a(-5). Solve -4*j - z = -k, -5*j + 14 = -7*k - 2 for k.
-3
Let q = 47 + -42. Suppose 7 + q = 2*u. Suppose -u*m + 2*m + 20 = 0. Solve -2*h + 1 = -3, m*t - 9 = -2*h for t.
1
Let y(t) = t**3 + 6*t**2 - 3*t - 4. Suppose 0*x - 9 = 2*o + x, -3*x = o + 2. Let f be y(o). Let v = f + -31. Solve -v*g = 3*u, 5*u + 6*g = 2*g + 13 for u.
5
Suppose -k = 14*k - 405. Let a(p) = 3*p - 79. Let z be a(k). Solve 3*n + 3*l = z*n + 19, -l - 3 = -2*n for n.
4
Let l(p) = 7*p + 30. Let f be l(-6). Let i be ((-5)/f*6)/((-2)/(-4)). Solve 0 = 2*c - 3*g + 5, 2*g = -3*g - i for c.
-4
Let x(r) = -15*r**2 - 11*r + 4. Let j be x(6). Let s = -593 - j. Solve -4*q - 3 = s, 3*q - 16 = -5*p for p.
5
Let u = -112 + 123. Suppose -z = 9 - u. Solve -4*y = 2*m + 10, 2*y + 25 = z*m - 7*m for y.
0
Let a = -10 + 22. Let k be (a/1)/2 - 2. Suppose -3*c = -12, 5*y - k*c + 5*c - 49 = 0. Solve -2*w = -3*d - 6, -4*w - 2*d + y = -w for w.
3
Suppose -5*b + 25 + 25 = 0. Let j be -6*((-5)/b)/((-9)/(-6)). Let z be j/(-2) + -4 + 5. Solve z = -4*u + 3*u + 2*q, 9 = -3*u - 3*q for u.
-2
Let j = -31251 - -31256. Solve -9*h + 6*h = -2*v - 7, -5*h = j*v - 20 for v.
1
Let b be 3/(-15)*-5*(-3 - -8). Suppose b*x = 2*o - 0*o - 25, 0 = -3*x - 9. Solve 6*r - 2*r + 4*t = 20, 2*r - 3 = o*t for r.
4
Let o(v) = -6*v - 1. Let f be o(-1). Suppose 3*z = 6 - 0, 4*k - 4*z = -268. Let p = k + 67. Solve c - 4*l + f = -p*l, 4*c = -l + 16 for c.
3
Suppose -15*b = -38 - 352. Suppose -b*z = -22*z. Solve 3*t = -5*o - z*o + 11, o = -t + 1 for t.
-3
Let s be ((-6)/3 - 8)/(28 + -30). Suppose 7 = 3*z + j + 4*j, s*z - 61 = 4*j. Solve -q = 4*k + z, -5*k = -0*k + 3*q + 13 for k.
-2
Suppose -48*l + 55*l = 154. Let i be -1*(l/8)/11*0. Solve -1 = 2*c - t, 5*t + i - 5 = -c for c.
0
Let g = -9604 - -9609. Solve -g*j = -c + 18, c + 47*j = 49*j + 9 for c.
3
Let a = -9 - -11. Suppose -2*v = -a - 4. Let d be 0 + (1*12)/v + -1. Solve -5*b + d*x - 9 = -0*x, b + 5 = -x for b.
-3
Let i(k) = 2*k**3 - 15*k**2 + 11*k - 21. Let y be i(7). Solve 3*p = -5*o + 20 + y, 5*p - 26 = -2*o for p.
4
Let h be (-2)/(-10) + 1/((-30)/(-24)). Solve 5*o - h - 19 = -5*s, 4*o - 16 = 2*s for s.
0
Suppose 0 - 12 = 4*l, c = -5*l - 36. Let b = c + 26. Solve 2*o + z - 15 = 0, -75 + 25 = -b*o - 5*z for o.
5
Let n(m) be the first derivative of -7/2*m**2 - 8*m + 5 + 1/3*m**3. Let c be n(8). Solve 2*j + 3*t + 0 - 1 = 0, 3*j - 3*t - 9 = c for j.
2
Suppose -5*o = -35*o - 26*o + 448. Solve z - o = -4*d - 5, -5*z + d - 27 = 0 for z.
-5
Let a = 13353 + -13348. Solve -3*q + 21 = 3*b, q + 6 = -a*b + 37 for q.
1
Let y(b) = 2*b**2 - 171*b - 4590. Let w be y(107). Solve -7 = 5*c + w*n - 14*n, c + 7 = -5*n for c.
-2
Let c(z) = 2*z**2 + 37*z - 18. Let v be c(-19). Let p be ((-54)/12 + (4 - v))*-2. Solve 2*n = 2*y + 6, 9 - 26 = -p*n + 5*y for n.
-1
Suppose -3*g - 71 = -365. Suppose 0 = -28*p + 182 + g. Solve -2 = -5*s + 4*j - p, 3*s = 4*j for s.
-4
Suppose -3*w + 4*x - 14 = 0, x + 6 - 17 = -3*w. Solve -8*a + 12 = -3*s - 13*a, s + a + w = 0 for s.
1
Suppose -5*w = 5*a - 40, 6*w = 22*a - 17*a + 15. Solve 4*o - 4 = -f + 18, 5*o - w*f = 15 for o.
5
Suppose -3*m = -4*t + 1, -257*m = 5*t - 261*m. Solve -16 = t*o - 5*k + 4*k, -k - 20 = 5*o for o.
-4
Let q(g) = 35 + 76 + 1 - 71*g + 63*g. Let b be q(13). Solve 0*y - 3*y + 4*s = -b, 3*s = -15 for y.
-4
Let f be 3/(-2)*(-60)/9. Let r be ((-12)/f)/((-60)/700). Solve -r = m - 5*o, 2*m = 5*m - o for m.
1
Suppose 8*t + 3*s = 11*t - 9, 4*t - 14 = 2*s. Solve 0*l = 4*n - 3*l - 23, -20 = t*l for n.
2
Let m be (8 - (-289)/(-34))*0. Solve m = c - 4*j - 13, -7*c + 5*j + 8 = -3*c for c.
-3
Let f = 124 - 74. Let k = -36 + f. Suppose 5*x - 4*g - k = 0, 4*x - 2*x = 2*g + 6. Solve -5*l - p = 4*p - 10, 0 = x*l - 2*p + 8 for l.
-1
Suppose 0 = t + 4*t - 25. Let m be (-4)/5 - 532/(-140). Suppose 15 = 2*z + z + m*b, -7 = -2*z - b. Solve -g + 1 = t*s - 5*g, z*g = -s - 11 for s.
-3
Let p(q) = 20*q - 59. Let v(c) = 10*c - 33. Let z(i) = -4*p(i) + 7*v(i). Let g be z(0). Solve 2*a = -3*d + 5, -2*a + 2*d = -g*a for a.
-2
Let c be 20174/(-132) + 2/(-12). Let w = c + 157. Solve 4*n + w*x = 24, -x = -4*x + 3 for n.
5
Suppose 22*y - 10*y - 912 = 0. Suppose -y = -10*z - 56. Solve -i - 5*f = -19, 2*i + z*f - 17 = -3 for i.
4
Let z = -388 + 394. Suppose 2*c = 5*g - 152, 3*g - 7*c = -3*c + 80. Let l = 37 - g. Solve -l*s - 4*r = -8, -4*s = 4*r - z*r + 4 for s.
0
Let a = -12 + -34. Let p = 49 + a. Let t = p - 0. Solve -5*g - 20 = -t*v, 8 = -2*v - 2*g - 0*g for v.
0
Let w be (-9)/6 + 22/4. Solve 0 = -w*k - 3*x + 26, -3*k + 5*x = 2*k - 15 for k.
5
Let i = -26 - -31. Suppose 12*k = i*k + 7. Solve m + g + k + 0 = 0, -2*m + 3*g + 8 = 0 for m.
1
Suppose -549*l - 219*l = 79*l - 145 - 1549. Let s(z) = -z**3 + z + 15. Let m be s(0). Solve o - l*k - 3 = -m, 0 = -4*o + k - 13 for o.
-2
Suppose -6*i - 68 + 23 = -111. Solve -t + i = -3*u, 0*t - 4 = t + 2*u for t.
2
Let b(t) = -1836*t + 5509. Let m be b(3). Solve -3*k - 53*y - 43 = -57*y, 4*k + 3*y = m for k.
-5
Let y be (4 + -3)*13 - 11. Solve -7*h + 2*h + 30 = 5*k, -4*h = -y*k - 18 for h.
5
Suppose 5*g - 44 = -6*x, 5*g + 2*x - 38 + 10 = 0. Solve g*n + 0*l = -2*l + 22, -2 = -n + 3*l for n.
5
Let z be (90 - 30) + (1 + 0 - 1). Let o = z + -54. Let f be (-3)/9 - (-14)/o. Solve -18 = -u - 3*r, f*u + 2 = -2*r + 18 for u.
3
Let z be (-192)/(-120) - 2/(-5). Let k be 1*(0/3 + -3) - -14. Suppose k*l - 5 = 28. Solve 0 = -l*q, z*m + 2*q = -2*m for m.
0
Let v(r) be the third derivative of -5*r**4/3 - 37*r**3/6 + 10*r**2 - 7*r. Let c be v(-1). Solve -3*y - c*n = 2*n - 9, -n + 9 = -3*y for y.
-2
Suppose 2*u = 2*t + 14, -2*t = -u + 2*u - 10. Suppose -u = 4*r - 28. Let n = 142 + -138. Solve n*p + w + 7 = -8, 0 = 5*p + r*w + 15 for p.
-4
Let w = -31569 - -31576. Solve 11*a + 7 = v + w*a, -3*a - 9 = 0 for v.
-5
Let i(d) = -d + 5. Let m be i(3). Suppose -4*x + m = 2*f, 15 = 4*f - 2*x - x. Let t = 65 + -63. Solve f*b = b - 4*a + t, 5*b - 11 = -4*a for b.
3
Let o = -5 - -17. Let g be 3/(-6) + 351/18. Suppose -g*u + 25 + 70 = 0. Solve 2*w - 8 = -4*m, u*w - o = 3*m - 5 for m.
1
Let x(z) = 226*z - 456*z + 2 + 227*z + 4*z**2 - 6*z**2. Let l be x(-2). Solve -35 = 3*t - 3*w - 2*w, -5*t - 3*w - 13 = l for t.
-5
Suppose -4*u - 2*n + 8 + 8 = 0, 0 = -5*u - 4*n + 17. Solve 5*i - 3 + 8 = 5*r, u*r + 3*i = -3 for r.
0
Let r be (((-6)/(-7))/(1/(-7)))/(-2). Suppose -2 =