q + q - 4*j - 22 = 0 for q.
3
Let n = 729 + -722. Solve 3*k + n*d - 8 = 5*d, 2*d = -k + 4 for k.
2
Suppose -3*g - 4*f + 55 = f, -5*f = -25. Solve -4*p = -3*p - 5*b - 18, -5*p + 5*b = -g for p.
-2
Let o = 681 + -679. Solve c - 2 = -o*q + 4, 0 = -2*c - 2*q + 4 for c.
-2
Let i(j) = -j**2 - j. Let r be i(-2). Let g be r + 2/(-4)*-22. Let h(o) = o - 4. Let a be h(4). Solve -2*k - k - 3*p + 18 = a, 0 = -k + 4*p - g for k.
3
Let m = -736 + 747. Solve 3*j + 17 = -z, 0 = -2*j - z - 2 - m for j.
-4
Suppose -2*m - m + 210 = 4*i, -2*m = -2*i + 112. Suppose -789 = 10*u + 4191. Let p be 4/(-18) - u/i. Solve -s + p = f, 13 = 3*f - 2 for s.
4
Let y(v) = v**2 - 6*v - 4. Let u be y(7). Let p be (-3)/(-6)*u*(-10)/(-3). Solve -15 = -3*z - 3*d, -d + p = 2*z - 0*z for z.
0
Suppose -31*p + 8*p = -13*p. Solve p = 5*g + 5*w + 10, 0 = 4*g - 3*g - 5*w - 16 for g.
1
Let p be (-6)/24*0/3. Solve -4*d - 2*o - 10 = p, -4*d + 7*d + 6 = -2*o for d.
-4
Let b be (-1)/(-3) - 5600/(-525). Solve -4*x = -a - b, a = -4*x - 0*a + 13 for x.
3
Suppose d = 2*u + 5, -5*d + 8 = 5*u - 2. Solve -21 = -t + 4*x, -10 - 12 = d*t + 5*x for t.
1
Suppose 3*o + 1 - 4 = v, -4*v - 3*o + 18 = 0. Suppose -v*t + 50 = -5*p, 0 = -4*t - t + 3*p + 62. Solve 5*r - 10 = 3*d, -3*d + 4*d + r = t for d.
5
Suppose 2*s = 5*k + 67, -3*k - s = 2*k + 79. Let n = k - -20. Solve 0*y - 19 = 4*y - f, n*f = 4*y + 31 for y.
-4
Let v be (-1)/(-2) + 25/2. Suppose 3*s - v = -3*w - 1, 0 = -w + 4. Solve s = 3*y + 2*d - 5, y - 5 = d + 5 for y.
5
Let b be (6 - -28)*1/2. Let r be 5/(-10)*(b - -1). Let c = r + 13. Solve -2*k - c = 3*h, k = -2*h + 2 - 5 for k.
1
Let p be ((-14)/(-49)*-1)/(3/(-21)). Solve 8 = 2*a + p*b, 5*a - 5*b - 13 = 17 for a.
5
Suppose 0*x + 5*d = -5*x + 115, 3*x + 4*d = 73. Let l(q) = q**2 - q + 5. Let a be l(0). Suppose a*y - 1 = x. Solve -5*n + 12 = -3*m - m, -n + 4*m = y for n.
4
Suppose -d = k - 8, k - 3*d + 10 = -2. Solve -2*p + 0 - 3 = 5*u, -4*p + k*u = 19 for p.
-4
Suppose 3*q + 55 = -5*a - 2*q, -2*q + 23 = -a. Let s = -10 - a. Solve 0 = 3*y - 3*t - 15, 2*y - 3*t = s + 7 for y.
3
Let v be 11/(-22)*-1*(7 + -1). Solve -z + 2 = -2*z + v*r, 5*z = 5*r for z.
1
Suppose 10 = -8*i + 82. Suppose -3*m = -i - 6. Solve m*q - 12 = 2*f + 23, -q - f = 0 for q.
5
Suppose -3*j - 2*j = -10. Let m be 7*((-69)/(-21) - 3). Let v be -27*(m - 14/6). Solve -j*t = 0, -v*g - 4*t = -4*g for g.
0
Let h be (0/(3 - 6))/(-1). Let l be ((-15)/(-5))/(1 + h). Let m be (12/2)/(8/4). Solve 0 = -3*s + 4*x + 15, 4*x = -l*s + m*x for s.
1
Let m be 102/(-14) - 2/(-7). Let x = m + 21. Let v = x - 11. Solve 0 = -2*y + v*i - 14 - 2, 3*y = -i - 2 for y.
-2
Let j be (-160)/75 + 4 - (-4)/30. Solve -42 = -j*a + 5*u - 17, 3*u = 4*a - 15 for a.
0
Suppose 46 = 4*a + 2*f, 3*f = 3 - 0. Let u be (3/(-5))/((-1)/5). Let i be (-10)/(-2) - (u - 1). Solve -i*w - a = -k - 0*k, 5*w - 2*k + 20 = 0 for w.
-2
Let t be ((-6)/4)/((-42)/140). Solve 3*c - c = -t*p - 13, -c = 4*p + 8 for c.
-4
Suppose -4*u = 5*x - 53, x = -2*u + 22 + 3. Suppose 0 = -10*k + u*k - 4. Solve 2*v + 2 = -t, -4*v + 16 = -t - k*t for v.
1
Let q = 7028 - 7022. Let y be (-1)/1*(-2 - 1). Solve 5*l = -4*p + 32, -q*l + 17 = -4*l + y*p for l.
4
Suppose -2*t - 43 + 253 = 0. Let c be ((-90)/t)/((-6)/28). Solve 5*k + 6 = c*l, 0 = 4*l - 2*l - 2*k - 4 for l.
4
Let g = 123 - 121. Solve 0 = 3*i - 4*f + 23 + g, 2*i - 4*f = -22 for i.
-3
Suppose -29*s = 12*s + 23*s. Solve p - 5*t = s, 9*p = 6*p - 2*t - 17 for p.
-5
Let s(o) be the second derivative of 2*o**3/3 + 25*o**2/2 + 10*o. Let h be s(-6). Solve -w - h = 4, -3*v - 32 = 4*w for v.
-4
Suppose 15*y - 268 = -88. Solve -3*j + 6*j = 4*n + y, -j - n + 4 = 0 for j.
4
Let z = -3 + 8. Solve 5*m + 27 = 3*s, -z*m = 6 + 9 for s.
4
Let k = -163 + 168. Solve -4*q + 2*p = 12 - 2, 5*p - k = 0 for q.
-2
Suppose 0 = 31*v - 26*v. Solve -7*y + 5 = -2*y + 2*b, v = y - 3*b - 18 for y.
3
Let k(b) = -4*b + 1. Let p be k(1). Let z be (2 - (1 - 9)) + p. Suppose 5*u - 3 = z. Solve 3*d + 14 = 2*j + 2, -10 = -u*j + 2*d for j.
3
Let u(w) = -w**3 + 2*w**2 - w - 1. Let a be u(2). Let g be (-1 - -1)/(22/(-11)) - a. Solve g*l - 12 = 3*n, -n + 2*n = 4*l - 10 for l.
2
Let c be (3/(-4))/((-1)/4). Suppose -5*k = h - 9, 5*h - 4 = 4*k + c*h. Suppose 4*z = f + 5 + k, 10 = 5*f. Solve -z = -5*i - 17, 0 = 5*g + 3*i - 16 for g.
5
Suppose 2*z + 14 = 3*z. Let v = 21 - z. Let p be (-3)/21 - (-3)/21. Solve p*f + 3*g = f + v, 3*g = -3*f + 27 for f.
5
Let j be 7 + -2 - ((-3 - 9) + 15). Solve y - 4 = -3*x + 2, 3*x - 9 = -j*y for y.
3
Let c = -6 + 11. Let a = -2558 + 2560. Solve 0 = 4*j + 2*t + a, -4*t = -c*j + 3 + 1 for j.
0
Let u be ((-2)/2)/(4/(-8) - 0). Solve -u*s - 5*b = -2*b + 3, -s = 2*b + 2 for s.
0
Let d be 14*3/6 + -4. Suppose s = -d*s + 12. Solve -s*n - 3 = -2*z + 4, 3*z = -3*n + 3 for z.
2
Let n be 3/9 - (-5)/3. Suppose 5 = n*k + 1. Suppose -5*y + k*y + 15 = 0. Solve 3*j + 4 = 4*i - 0, 4*j + 6 = y*i for i.
-2
Suppose -2*r + 9 = r. Let n be 1*(1 - 8) + 9. Solve 0 = n*c + r*j + 10, 4*c + 0*j = 2*j + 12 for c.
1
Let g = 41 - 36. Suppose g*b - 20 = -5*h, 2*b + 2*h = -h + 7. Solve 0 = -5*o - 4*u + 9, -b*o + 0*o + 3*u + 37 = 0 for o.
5
Let n be ((-1)/7)/(48/(-672)). Let c(a) = a**2 + 7*a + 6. Let z be c(-6). Let v = 0 - z. Solve v = i - 5*o - 10, 4*o = n*i + 2*o - 4 for i.
0
Suppose 3*u - 4*u - 4*p - 3 = 0, 5*u - 21 = -2*p. Solve 5*v + q - 14 = 0, 2*v - 6*v = u*q - 28 for v.
2
Let n = 314 + -312. Solve 0*p = n*p + 8, -8 = 4*j + 5*p for j.
3
Let q = 35 - 33. Suppose 0 = 4*m - 0*m + 3*n - 5, -q*m = -5*n - 35. Solve 8 = o - 4*v + m*v, 0 = 4*o + 3*v - 28 for o.
4
Let g = -1533 + 1535. Solve 0 = d - g*d - 2*s - 4, -8 = 2*d - 2*s for d.
-4
Suppose 0 = -p + 3*p. Let s be p + -1 + (0 - -1). Solve -4*f - 5*n + 32 = 0, 2*f - 3*n - 1 + 7 = s for f.
3
Let f(j) be the third derivative of 0*j**3 + 0*j + 0*j**4 + 0 + 5*j**2 + 1/15*j**5. Let v be f(-1). Solve -3*x + 3*c - v = -x, 3*c = 4*x + 8 for x.
-2
Let m = -330 + 330. Solve m = -5*r - 5*b + 30, -5*r + 2*b - 6 = -r for r.
1
Suppose 3*t + 5*i = -22 + 29, t - 8 = 4*i. Suppose -5*j = -4*j. Solve -10 = -2*r - t*m, j = -4*m + 1 + 3 for r.
3
Suppose -x + 5 = -0*x. Suppose 2 = -p - 4. Let l = p + 10. Solve x*r + l*c = 5, 0 = -0*r - 4*r - 4*c for r.
5
Let s = 21 + -16. Suppose 0 = 2*i - s*i - 9. Let d = i + 4. Solve -5*b + 18 - d = -2*x, 3*x + 15 = 4*b for b.
3
Suppose 1249*o = 1241*o. Solve o = l + 5*d, 0*l = -l - 4*d - 1 for l.
-5
Let k = -15 + 24. Let i(u) = u**3 - 7*u**2 - 2*u + 10. Let a be i(7). Let s = a + k. Solve -r + w - 3 = -2, 0 = -4*r + 5*w - s for r.
0
Let x(a) = 3*a**2 - 1. Let k be x(-1). Suppose j - v = -0*j + 2, 3*j + v = -2. Suppose 12 = -j*p + 6*p. Solve k*w - 2 = b + 4*b, 2*b = -p*w - 12 for w.
-4
Let i = -672 - -676. Solve -a + 3*r = 19, 3*r = -i*a + 1 - 2 for a.
-4
Let m = -1 + 15. Suppose -20 = 10*w - m*w. Solve 0 = -p - 5*y + 23, -4*p + w*y + 11 - 44 = 0 for p.
-2
Let u be 1/(-1 - 0)*0. Let h(v) be the first derivative of v**3/3 + 9*v**2/2 - 17*v - 4. Let b be h(-11). Solve -o - 3*o + b*k = -5, u = -2*o - k + 13 for o.
5
Let i be 1160/45 + 4/18. Suppose n - 5*z - i = 0, -z + 16 = 2*n + z. Solve -3*d + p + 18 = 4*p, -4*d - n = -3*p for d.
1
Let h be 0/(4/((-12)/(-9))). Let y(a) = a**3 + 17*a**2 + 16*a + 2. Let l be y(-16). Suppose 3 + 3 = l*q. Solve q*i = -5*d - 7, -1 = 3*d + i - h for d.
1
Suppose 2 = 3*r + 2*o, -9 = 4*r + 21*o - 16*o. Solve 4*g = -4, -t - 2 = -r*t - 4*g for t.
2
Suppose -5*w = 5*r - 30, 5*w - 4*r = -3*r + 12. Suppose 0*a = j - w*a + 11, 5*j - 2*a = 10. Solve 0 = -4*g + 3*i - 14, -g - 7 = j*i - 3*i for g.
-5
Suppose -5*f = -3*w - 13, 2*w + 0*f + 7 = 3*f. Solve h - 2*u = -w*h, 2*u = -4*h - 18 for h.
-2
Suppose 25 = -n + 5*u, 5*u = -n + 6*n + 25. Solve 4*i - 2*t = n, 4*i + 4*t = -0*t + 12 for i.
1
Let s = -10 + 13. Suppose -s*f = -2*f - 8. Let k be (-1)/2*-1*f. Solve -2 = -4*l + k*b + 18, -3*l + 1 = 4*b for l.
3
Let s(j) = j**3 - 4*j**2 + 2*j + 3. Let u be s(3). Solve u = -4*o + 5*q + 3 - 9, 2*o = q for o.
1
Suppose m + 14 = 8*m. Suppose 3*p + 5*k = 9, m*p = 3*k + 9 - 3. Solve -2*u = -n - 7, n - 6 = -p*u + 2 for n.
-1
Suppose 2*f + 10 = 2. Let h be (5*1)/((-10)/f). Solve -2*k - 2*k + n = -18, h*k - n - 8 = 0 for k.
5
Let h = 33 + -48. Let a be 12/9 - 10/h. Suppose 0 = -0*v + a*v - 48. Solve -l + 0*l + 3*m - 12 = 0, -3*m = -5*l -