 b - 7 = -5*a - 1 for a.
1
Let b be (2/8)/(2/40). Suppose 30 - b = 5*c. Suppose 3*s - 1 = 2. Solve -4*j - 7 = c*p, -4*p + j = 2*j - s for p.
1
Let g(h) = 2*h**2 - 19*h + 42. Let i be g(3). Solve 2*p - 30 = 5*z - z, 0 = i*z + 4*p - 5 for z.
-5
Suppose -245*d = -242*d - 9. Solve d = 2*o - 5*p - 17, 0 = 5*o - 2*p - 29 for o.
5
Suppose 0 = -5*h + 89 + 26. Let m = 54 - h. Solve -4*k + m = -5*i, -2*i + 4 = 2*i + 4*k for i.
-3
Let a(x) = x**3 + 9*x**2 + 7*x - 6. Let g be a(-8). Let m be (8 + -12)*(-1)/g. Suppose m*b - 17 = -7. Solve b*p - 4*p + 4*i - 14 = 0, 2*p = -2*i + 4 for p.
-2
Let z = 74 + -71. Solve -z*x = 2*u + 17, 7*x - 2*x = 3*u - 3 for x.
-3
Let y = 1027 - 1025. Solve -9 = 4*l + 5*m, 2 - 4 = y*m for l.
-1
Suppose -29*u + 16*u + 65 = 0. Solve -31 = 2*i - 5*z, 0 = -3*i + 4*i - u*z + 28 for i.
-3
Suppose -o - o = -46. Let v be -1 + (o - (-1 + 3)). Let z = 568 - 563. Solve 4*q = 6*x - 4*x - v, 0 = -5*q + z*x - 25 for q.
-5
Suppose 27 = v - 2*v + 4*q, -2*v - 3*q - 21 = 0. Let i = v + 15. Suppose i = 5*g - 3*g. Solve 0*z = -3*z - 5*o - 9, g = -5*z - 4*o - 15 for z.
-3
Suppose 0*k + 8 = 2*k. Solve 6*u + 2*t = k*u - 8, 0 = -5*t for u.
-4
Let k = 3 - 5. Let j be (1 - 2)/1*k. Let n = 10 + -5. Solve -2*v = -j*m, -n*m + 5*v = -m for m.
0
Let m be ((-215)/75 - -3) + (-174)/(-45). Solve i = 2*t - 6, t - m = 4*i - 1 for i.
0
Suppose -48 = -3*s - 3*s. Solve -4*p - 2 = 2*r, -2*r = 3*p - 2*p + s for r.
-5
Let y = -288 - -180. Let w = 111 + y. Solve -5 = -m + q, -w*m + 5*q = -0*m - 17 for m.
4
Suppose o = 4*y - 20, -2*o = 5*y - 7 - 5. Suppose 0 = -y*i - 4*n + 28, -4*i = -n + 3 - 21. Solve 0 = -2*d - 3*k - 3 + 2, 3*d - i*k + 30 = 0 for d.
-5
Let i be 0/(-2) + 1 + 1. Suppose i*t + t - 6 = 0. Let b(j) = -3*j + 39. Let l be b(12). Solve 5*y + 0 - l = -2*z, -7 = t*z - 5*y for z.
-1
Let p(x) = -2*x**2 + 22*x - 4. Let d be p(8). Suppose 0 = -y - 3*y + d. Solve 4*u = 3*w + y, -2*w - 3*u + 6 = -5*w for w.
3
Let c = -41 - -42. Let w be c/(3/12) - 2. Solve 0 = -o + 4*o + 3*t - 6, -w*o + 5*t - 24 = 0 for o.
-2
Suppose 6*r = 3*r. Suppose 6*n - 17 - 13 = r. Solve -n*g = -4*i - 12, -3 = 2*g - 2*i + 3*i for g.
0
Suppose 0 = -2*x - 41 + 11. Let t be x/(-6)*12/5. Suppose -7*f - t = -10*f. Solve -f*m + 0*d - 7 = 3*d, -5*d - 5 = 5*m for m.
4
Suppose 12 = -3*g + 5*g + r, -3*g + 24 = 3*r. Solve 4 = g*t - 4*y, t = -y + 9 - 2 for t.
4
Let a be 39/(-156) + (-39)/(-12). Solve -p + 2 = -2*m, 2*m - 2 = -a*p + 2*p for m.
0
Suppose 0 = -3*j + 4*b + 3 + 1, j = -2*b - 2. Suppose -5*x - 2*o + 15 = 0, 77*x - 73*x - 4*o - 12 = 0. Solve -x*f - 2*d - 4 = j, -4*f + 2*d - 10 = -0*d for f.
-2
Let z(f) = -f**2 - f - 1. Let m be z(-4). Let v = m - -15. Solve -v*w - 15 = 3*w, -2*w - 16 = 5*y for y.
-2
Suppose -3*h = -2*i - 9, 3*h - 27 = -9*i + 5*i. Solve -i*s - 2*s = -n + 20, 3*n = -2*s - 25 for s.
-5
Suppose 0 = 10*i - 8*i. Suppose -2*c - 35 = -5*f, 3*f + i*c + 4*c = -5. Solve -4*j - 12 = -f*p, -p + 10 = 4*p - 5*j for p.
4
Suppose 4*i - 59 = -5*d - 0*d, 2*d + 4*i = 14. Suppose 4*f - 15 = f. Solve 28 = -v + f*l, -3*v - d = -3*l + 9 for v.
-3
Let b(w) = -w**3 - w**2 + w - 2. Let u be b(0). Let k be u/(-3) + (-6)/9. Let y be 4/(-12) - 3/(-9). Solve y*i + 4*i + v = k, 5*v - 23 = 3*i for i.
-1
Let u be (-10 + 3)*(0 - 8/14). Let m = 0 + 0. Suppose -2*p - 3*j + m*j = -44, -4*p + 98 = j. Solve -4*h = 5*f + p, -h = u*f - 0*h + 9 for f.
-1
Suppose -5*u + m + 15 = 0, -3 = u - 0*m + m. Solve a - b + u = 5*a, -3*b = -a + 7 for a.
1
Suppose -6*d + 7*d = 6. Suppose 12 = 2*u - d. Let y(r) = -r**2 + 11*r - 2. Let v be y(u). Solve 0*z + 3*z = -t + 3, v = 2*z - 4*t for z.
2
Let p(q) be the third derivative of -q**6/120 - 11*q**5/60 - 5*q**4/6 - 2*q**3 - 37*q**2. Let l be p(-9). Solve -z = 0, -3*i + 0*z - z = -l for i.
2
Let u be 1 + (-2)/((-6)/81). Suppose -5*l = -l - 2*z - 36, 4*l - 4*z - u = 0. Suppose -l + 27 = 4*q. Solve -2*a + 2*g + 0 + 4 = 0, -13 = a + q*g for a.
-1
Suppose 32 = -2*n + 82. Let q be (18/15)/(10/n). Solve 0 = -q*m - m + 2*b + 4, -4*m - 6 = 3*b for m.
0
Let j be 2/8*-2 + (-165)/(-66). Solve -4*u + 2 = -j*a, a - u + 3 = -0*u for a.
-5
Let h be 5*(5 - (-66)/(-15)). Solve -5 = h*m + d, 1 - 3 = -2*m + 2*d for m.
-1
Suppose -877*i = -883*i + 42. Solve -i*f + 3*f = -2*o - 2, -1 = f for o.
-3
Suppose -v + 589 = 583. Solve 3*k - 2*t + 5*t = v, 5*t = -k + 2 for k.
2
Let i be 6/7*(-560)/(-120). Solve -4*c - v = 16, i*c + 5*v = -c - 20 for c.
-4
Suppose -i = i. Suppose i*t + 30 = 3*t - m, 0 = -4*t - m + 33. Let r(n) = n - 4. Let k be r(t). Solve -2*v + 5*o = 18, 4*o = -2*v + k*v + 13 for v.
1
Suppose 6 = 50*t - 48*t, 0 = 5*a + 3*t - 19. Solve -s + 3*j = 2, -a*j + 2 = 4 for s.
-5
Let l(v) be the third derivative of 37*v**4/24 - 5*v**3/3 - 5*v**2. Let x be l(5). Suppose 6*f = f + x. Solve -f = b - 6*b + 5*y, -5*y - 15 = 0 for b.
4
Let o be 9/(-3)*1 - -13. Suppose -8*t + o + 6 = 0. Solve -2 = -t*g - 4*p + 4, -p = 0 for g.
3
Let j = 90 + -50. Let b be (j/(-16))/(2/(-4)). Solve -4*g + 2*g = -5*t - 2, -g = -b*t - 1 for g.
1
Suppose 3*r = 1 + 41. Suppose g + 4*g + r = -3*q, 4*g + 18 = q. Let c(k) = -k**2 - 6*k - 1. Let p be c(-5). Solve 0 = -y + q*u + 14, p*u - 5*u = 5 for y.
4
Let t be (-132)/(-63) + -2 - (-21710)/1365. Solve 20 = w + 5*o, t*o - 17*o = -4 for w.
0
Suppose 5*k + 1 = 3*o, -4*k - 13 = -5*o - 7*k. Let x be (o + -10 + 1)*(-56)/196. Solve -6 = -x*r + 3*p, 3*r - 3*p + 3 = 9 for r.
0
Suppose -242 = -42*y + 10. Solve -2*g - 15 = j, y*j + 3*g + 35 = 2*j for j.
-5
Let o be -4*1*(-12)/16. Suppose o*c - 16 = -4*u + 5*c, c - 17 = -3*u. Solve -u*b + 26 = l - 4*l, 3*l - 6 = -3*b for b.
4
Let n be 174/3 + (-2)/8*-4. Suppose 3*k = 2*y + n, -3*k - 5*y = -y - 71. Solve -c - 4*p = 23, c + 3*p + k - 3 = 0 for c.
-3
Let x = -13 + 24. Suppose -3*q - x = -5. Let v be (-1 - q) + (2 - 0). Solve -5*y + v*k - 5 = 0, y + 24 = 3*y + 4*k for y.
2
Let f be (5/40)/((-9)/(-1368)). Solve 0 = -2*g + 2*w - 14, 5*g - 3*w + f = -6 for g.
-2
Suppose -4*j = -5*b - 28, -3*j - 10 = 5*b - b. Let o = 19 - j. Solve 3*p = 5*y - o, 4*p - 3*y + 14 = -5*y for p.
-4
Let p be 2 + (1 - (-6)/(-2)). Suppose 0 = -0*r + 2*r - 6. Suppose 0*c + c + r*f - 6 = 0, -c + 4 = f. Solve 2*b - c*k = 25, b + 0*k + k = p for b.
5
Let u = -12 - -15. Suppose -2*o + 37 = a, u*a + 2*a + 67 = 4*o. Solve 3*k - 1 = -2*i, 5*i + 4 = 4*k + o for k.
-1
Suppose -2*t + 1 = 13. Let x be (3/15*-2)/(t/30). Solve 0 = -u - 0*u, x*a = -u for a.
0
Let r = -75 + 52. Let c = r + 25. Solve z + c*p = -8, 18 = -3*z - 4*p - 0*p for z.
-2
Suppose 13*i = 17*i + 2*z - 124, 0 = 2*i - 4*z - 42. Solve 2*t + 20 = 4*p, i - 9 = 4*p + 3*t for p.
5
Let m(f) = f**3 - 4*f**2 - 8*f - 5. Let s be m(6). Suppose -3*x = -s - 8. Let h be ((-30)/x)/((-6)/27). Solve -7*p + 3*k = -2*p + 17, -3*p = -3*k + h for p.
-1
Let n be (12/5)/(2/65). Let w = n + -66. Solve -2*b - 37 = -5*f - 6*b, 0 = 3*f - b - w for f.
5
Let f be 8/(-20) + (-666)/(-15). Suppose -125 = -3*w - f. Solve 4*d - w = -3*o, -2*d + 2*o = 6 - 2 for d.
3
Let c be ((-12)/9)/(6/(-45)). Suppose -3*o + c = -o. Suppose 0 = o*j - 2*q - 23, 2*j - q - 14 = -j. Solve 5*v - 5*r + 2*r = 0, 0 = j*v + r - 20 for v.
3
Let z be 0/(4 + -2 + 1 + -2). Let l be -2 - (-4 - (3 - 2)). Solve -4*a = -3*g, z = 5*g - l*a + a - 14 for g.
4
Let h(c) = -c**3 + 11*c**2 + 11*c + 14. Let v be h(12). Suppose -7*u - v = -16. Solve 5*o = -4*n + 14, -3*n = -o + u*n - 3 for o.
2
Suppose 2*a + 3*a + 13 = -b, -a - 1 = b. Let i(u) = u**3 - 13*u**2 + u - 8. Let f be i(13). Solve 0 = 2*l + j + f, -1 = b*l + 4*j - 5 for l.
-4
Let z(f) = -f**2 + 16*f + 2. Let g be z(16). Let y be 4*(-5)/(-40)*g. Solve n - 3*t - 2 = 2*n, -3*t - y = 2*n for n.
1
Suppose 2*q - 24 = 4*u - 0*q, u + 3*q = -20. Let f be 108/45*2*(-10)/u. Solve f*k + 7 = 4*k - y, 0 = k - y + 5 for k.
-4
Let n(i) = 47*i**3 + 2*i**2 - 2*i + 1. Let w be n(1). Suppose -w = m - 13*m. Solve -2*t = -m*t - 2*q + 4, -q = -t - 6 for t.
-2
Let g be (-3)/4*(-10 + 2 - 0). Solve 9*o + 6 = -5*w + g*o, 2*o = -3*w - 3 for w.
-3
Let g be (-21)/28 + 11/4. Suppose q - 5*l + 3 = 0, 2*l = -5*q - 3 + 15. Solve -4*v = q*t, 3*t - 4 = -g*v - 0*t for v.
-1
Suppose 4*n = -0*n. Suppose -2*s + 7*s + 55 = 0. Let k = -6 - s. Solve 2*y - o - k = n, 5*y + 0*o - 4*o = 5 for y.
5
Let x(r) = r**2 - 28*r - 55. Let k be x(30). Solve -4*g + 8 = k*d - 3, 5*g - 10 = -5*d fo