 -4*a - 7 = 2*c + f, -3*a = q for c.
-3
Let v(f) = 2*f**3 + 5*f**2 - 4*f - 9. Let w be v(-2). Solve 4*x = 3*c - 11, -3*c - 1 = -w*x - 10 for c.
1
Let a(d) = -2*d**2 - 10*d - 7. Let i be a(-2). Solve v = -3*z + 3*v + 2, -30 = 5*z + i*v for z.
-2
Let b(l) = 12*l - 343. Let z be b(29). Solve 0 = -5*x - z*f - 2 + 7, 5*x - 5*f + 5 = 0 for x.
0
Let q(j) = j - 9. Let u be q(12). Solve s - 7 = -i - 0*s, u*i - 31 = -5*s for i.
2
Suppose 35 = -22*u + 17*u. Let x(o) = o**3 + 0 + 6*o**2 - 8*o + 5 - 7. Let c be x(u). Solve -13 = -2*y + g, -2*y + c*g + 28 = g for y.
4
Let b(a) = 3*a + 77. Let t be b(-25). Solve 0 = t*l + 4*d - 16, 5*l - d = -0 - 4 for l.
0
Let d(z) = -3*z + 28. Let n be d(8). Solve -5*m + 5 = 5*w, n*w = m - 0*m - 16 for m.
4
Let z be 4/10*5 - -3. Suppose 3 = 5*i + 4*o, i - 18 = -0*i + z*o. Solve 3*s + 3*y - 9 = 0, 0*s - 3*y + 15 = -i*s for s.
-1
Let j = 18 + -77. Let f = j - -62. Solve 0 = 5*k + 25, -f*y + 6*y + 3*k + 21 = 0 for y.
-2
Suppose -2*t + 5 + 35 = p, t - 2 = 0. Suppose -4*c + 0*c = -p. Suppose b = 1, o - 2*b - c - 1 = 0. Solve -y - 10 = 4*v + v, 0 = v + 3*y - o for v.
-3
Let l be ((-4)/(-6))/(425/210 + -2). Let c be (14/8)/(-1 - (-35)/l). Solve 0 = v - 2*d - 9, -3*v + d + c = 5*d for v.
5
Suppose -7*x + 4*q + 11 = -2*x, 0 = -2*x + 2*q + 4. Suppose 2 = z - x. Let m be ((-6)/(-2))/(6/46). Solve -2*o + 7*o = 4*t - 33, z*o + t = -m for o.
-5
Let m = -375 + 379. Solve 0 = 5*q + 5*o - 10, m*q - 10 = -q - 4*o for q.
2
Suppose -5*u = 9 - 34. Let z be (1/(-2))/((-3)/24). Suppose a - 6*d + 3*d = -u, 0 = z*d - 12. Solve y - 3*q = 3*y + 17, a*y = -2*q - 22 for y.
-4
Let g be 3/(7/4 - 1). Let n be (-2)/10*(46 - 51). Let v = n + g. Solve -5*m = 4*u + 23, -3*u = -v*m - 5*u - 19 for m.
-3
Suppose -3*f + 0*f - 132 = 0. Let d = f + 46. Solve 4*x = -2*b + 24, -d - 13 = -3*x for b.
2
Suppose -414 = -119*m + 96*m. Solve -5*c - 13 = 4*k, k - 2*c = m - 5 for k.
3
Let c = 42 - 40. Suppose 2*u - c*u - 2*u = 0. Solve 0 = f - 3*d - 10, -3*f + 10 + u = -5*d for f.
-5
Let x(h) = h**3 - 5*h**2 - h. Let g(i) = -i**3 + 5*i**2 + 2*i - 1. Let u(n) = -6*g(n) - 5*x(n). Let r be u(6). Solve 0 = -4*t + 16, 32 = -3*a - r*a + 5*t for a.
-4
Let c(k) = k**2 + 7*k + 9. Let b be c(-6). Let m be (2/(-5))/((-8)/20)*0. Solve 23 = o + 4*a, m*o + a = b*o - 4 for o.
3
Suppose 384 - 439 = -11*j. Solve -h - 19 = -p - 6*h, -5*h + 25 = -j*p for p.
-1
Let y(o) = o**3 + 9*o**2 + 15*o + 60. Let j be y(-8). Solve -3*p - 16 = -j*g, 4*g = -p - 0*g for p.
-4
Let x be (-1 - (-42)/4)/(2/(-4)). Let n(s) = -s**2 - 17*s + 40. Let c be n(x). Solve -5*w + 3*a + 15 = -c*w, -2*a + 6 = 2*w for w.
4
Let j = 540 - 535. Solve 5 = 5*i, -j*i + i = -3*s + 2 for s.
2
Suppose 0 = -x + 13 - 10. Suppose x*t + 0 - 12 = 0, t - 4 = -u. Suppose u*j + 5*j = 10. Solve i + 1 = b, 3*b + j*b + i + 7 = 0 for b.
-1
Let u = 3603 - 3600. Let z = 7 - 2. Let g = z + -1. Solve u = 2*a + 3*a + 4*m, g*m = 5*a + 13 for a.
-1
Let y = 2 - 57. Let x = 60 + y. Solve 0 = 4*p - x*o - 29, -p - 4*o + 26 = -9*o for p.
1
Suppose 32 = 14*u + 2*u. Solve u*l - 9 = 4*t - 27, -3*t = 4*l - 8 for t.
4
Let u be (0 + 6/(-8))/((-3)/12). Solve -2*y + 3*l = -6*y - u, -2*y = 2*l + 4 for y.
3
Suppose 0 = -4*h - 11 + 19. Solve 0*b + 5*t = -h*b - 16, -2 = t for b.
-3
Let s be -4 + (-25)/(-3)*3. Suppose 0 = 3*r + 15 - s. Solve 7*x - r*x + 4*h + 18 = 0, -5*h = -5*x for x.
-2
Suppose -16*c = -7*c. Suppose 2*t + j - 8 = c, 2*t = 6*j - j - 4. Solve 3*i = 3*a + t, 0*i + 5*i = a - 11 for a.
-4
Let j be 56/196 - (-52)/14. Solve -3*h = -12, -h + 2*h = b + j for b.
0
Suppose -19 = -5*r - g - 0*g, -4*r + 2*g + 18 = 0. Let d be (-22)/(-10) + 298/(-745)*(-2)/(-4). Solve -z = -d*i + 4, -z = -i - 0*i + r for z.
-4
Let z = -120 - -125. Solve 3*h - 20 = -z*m - 2*h, -4*m + 2 = -3*h for m.
2
Suppose v + 2*f = f + 3, 0 = -5*v + 5*f + 55. Let h = v - 6. Let l be h + 0 + (10 - 8). Solve -2*r = -3*z - 1, 4*r = 3*z - 4 + l for r.
-1
Suppose -5*c - 12 = -q, 0 = -0*q - 4*q - 4*c. Solve -4*i + q*r = -18, -19 = -i + 3*r - 7 for i.
3
Let g = 104 - 76. Solve 0 = -4*y - s - 12, 0 = 2*y - 2*s - 3*s + g for y.
-4
Let r(g) = 2*g**2 - 7*g + 12 + 5*g + 10*g - g**2. Let t be r(-7). Solve d + 5*h = -t, -h = -5*d - 18 - 7 for d.
-5
Let k(f) = -f**2 + 10*f - 7. Let j be k(9). Suppose -6*n + j*n = 0. Suppose 2*v + 0 - 6 = n. Solve o - 19 = -5*z + z, 12 = 3*o + v*z for o.
-1
Let f(x) be the third derivative of 1/24*x**4 + 5/2*x**3 + 0*x + 0 + 8*x**2. Let r be f(-7). Solve 2*y + r = -j + 5*j, 0 = -3*j - 2*y + 13 for j.
3
Suppose 7 = -5*h + 17. Suppose h*b - b = -3*b. Suppose -4*j + 3*c + 20 = 2*c, -5 = -j + 3*c. Solve b = 4*m - j*r + 31, -3*m + 4*r - 32 = 2*m for m.
-4
Suppose 8 + 42 = 10*k. Suppose 0 = -12*d + 11*d + k. Solve 3*a = 4*t + 13, -t + 11 = d*a + 3*t for a.
3
Let o = -2321 - -2326. Solve 0 = o*y + c + 4, 10 = -3*c - 2 for y.
0
Let t be ((3 - 4)/1)/(7 - 8). Let o(a) = a**3 - 2*a**2 - 3*a + 4. Let q be o(t). Solve 4*k - 2*j + 26 = -k, -3*k - 5*j + 3 = q for k.
-4
Let l = 98 + -90. Let v be (-16)/(-6) + -8*l/(-192). Solve -2*m + 10 = -3*n - n, n - 1 = -v*m for n.
-2
Suppose -5*h - q + 9 = -4*q, 3 = -q. Suppose 5*f - 20 = -6*s + 2*s, -s + 3*f + 22 = h. Solve 2*l = n - 4*n - s, 2*l = n + 6 for n.
-4
Let f = 81 - 77. Solve -2*t = f*h - 18, 3*h - t + 17 = 7*h for h.
4
Let z be -2*2/4 - 12. Let n = z - -13. Suppose n = -6*s + 10*s - 8. Solve -s*v + 17 = 3*k, -4*v + 5*k = -5*v + 19 for v.
4
Suppose 19*l - 20 = 75. Solve -3*j - 4*b = -l, 2*j = -4*b + 6*b - 20 for j.
-5
Let r = -643 - -648. Solve 0 = -h - 2*d - 5, -7*d - 5 = r*h - 2*d for h.
3
Let l = -685 - -699. Solve -4*d = -2*m - l, 0*m + m + 3*d - 13 = 0 for m.
1
Let f be 6/(-10) - 280/(-50). Solve l + 2*h = 7, 3*l + 18 = 5*l + f*h for l.
-1
Let h be 1 - (2 - 0)*1. Let q = 7 + h. Let b = q + -6. Solve -4 - 14 = 3*o - 3*u, b = -o - u + 4 for o.
-1
Suppose 197 - 47 = -5*w. Let j = w - -52. Solve -3*q + 2*a = 4 + 1, 0 = -2*q - 5*a + j for q.
1
Let v be (-7)/(1 - 2)*-1. Let g(m) = 2*m - 3*m**3 - 2 - 8*m**2 - 10*m + 2*m**3. Let t be g(v). Solve -5*n = 10, -7 = 2*s + 2*n + t for s.
-4
Let y be (-2 + 4)/((-6 + 13)/14). Solve 17 = -t + y*g, 0*t - 2*g = -5*t - 31 for t.
-5
Suppose 331*n = 332*n - 5. Solve 2*g + t + n = 0, 2*g + 4*t - t = -7 for g.
-2
Let b = -789 + 797. Let v(n) = -4*n - 1. Let w be v(-1). Suppose w*u = -u. Solve 4*l + b = -3*x, u = -5*x - 3*l - l for x.
4
Let v(u) = -2*u**2 + u - 5. Let b be v(2). Let y be 3/9 - b*12/9. Solve 5*i + 2 = 2*r + 15, -5*r - 5*i - y = 0 for r.
-4
Let x(q) = 18*q - 193. Let a be x(11). Solve -4*c + 4 + 9 = -5*j, -5*j - 40 = a*c for j.
-5
Let m(l) = -l + 3. Let w(n) = 2*n - 25. Let z be w(13). Let k be m(z). Solve -k*x = 4*s - 0*s - 12, -5*s + 33 = -2*x for x.
-4
Let s = -33 + 13. Let p be (-62)/(-14) + s/(-35). Let u be (-24 + 4)*(-4)/5. Solve -g - a + p = -2*a, -u = 4*g + 5*a for g.
1
Let f = -1102 + 1106. Solve -c - 5*d + 13 = -0*c, 0 = c - f*d + 5 for c.
3
Let b be (6/4)/((-3)/(-6)) + -1. Let n be -3 + 2 + b - -1. Solve 5*s + 5*y + 15 = 0, n*s + 5*y + 15 = 3*s for s.
0
Let t(o) = o + 42. Let a be t(-38). Solve 4*c - 40 = a*b - 0*c, 0 = 5*c - 25 for b.
-5
Suppose 4*x + 8 = -0*x. Let y = x - -23. Solve i + y = -5*k, 4*k + 0*i = 4*i - 12 for k.
-4
Suppose 0 = 2*u + 4*d - 70, -d = 4*u - 96 - 9. Suppose 10*a - u = 5*a. Suppose 0 = a*k - 6*k. Solve 2*p = -4*n, -3*n + 2*n + 2 = k for p.
-4
Let g = -576 + 580. Solve -g*m + 2*v = m, -15 = -3*v for m.
2
Suppose -4*j + 6 = 5*y, 3*y - 5 = -0*y - j. Suppose y*l + 96 = 32. Let a = -29 - l. Solve 3*g - a*d = -7*d - 11, -d + 3 = -5*g for g.
-1
Let v be (-238)/34 - 17*-2. Solve -4*m - 3*c + 26 = 0, -m + c = -6*m + v for m.
5
Let h = 34 - 6. Let b be (h/12 - 3)*6. Let p be (-1)/2 - 6/b. Solve 3*f = 4*u - 10, 4*f + 2*u = -7 + p for f.
-2
Let z(v) = -3*v - 45. Suppose -7*i + 3*i = 60. Let d be z(i). Solve d = -2*k - 5*u + 2, 3*k - 2*u - 2*u + 20 = 0 for k.
-4
Let n be ((-24)/(-20))/((-6)/(-20)). Suppose -n*r - 45 = -5*j, 3*j + 3*r - 5 = r. Solve c = -5*y + 4*c + 2, -7 = -j*y - 2*c for y.
1
Suppose -5*n = 73 - 138. Solve 18 = -3*i - 3*v, i + 2*i + n = 2*v for i.
-5
Suppose 5*k + 18 = -2. Let o = k + 1. Let z = o - -5. Solve 0 = -z*w + 3*h + 5, w - 6*h + 2*h = 0 for w.
4
Let d(s) = 5*s - 1. Let z be d(1). Suppose 0 = -0*g + 2*g. Suppose g*c = -c. Solve o + k - z = c, 