 2*a - 1, 6*y - 3*y - 29 = -4*a for a.
5
Let x(v) = 2*v**2 + v - 3. Let j(g) = g**2 + 5*g - 8. Let f be j(-6). Let u be x(f). Solve r + 14 - u = -2*t, t = 3*r - 2 for t.
-5
Let v(d) = 2*d**2 + 9*d - 10. Let r be v(-7). Suppose -r = -8*g + 3*g. Suppose -3*o = -g - 7. Solve -t - 2*q = o*t - 5, -3*t = -3*q - 24 for t.
3
Let b = 20 - 19. Let z be 4 - (2 + 1)/b. Suppose z = 5*w - 9. Solve 2*k = -w*x - 6, 3*x + 9*k + 7 = 4*k for x.
-4
Let r(f) = f. Let w(c) = -5*c - 5. Let s(u) = 6*r(u) + w(u). Let a be 90/(-12)*4/(-3). Let b be s(a). Solve -b*i - x + 17 = x, 2*i + 5*x - 11 = 0 for i.
3
Suppose -4*l + 3 = -s, 0*s - 3*l = -s. Solve -o = -r + s, 2*o = -o - 12 for r.
5
Let v = -180 + 180. Solve v = 4*r + r + 5*d + 35, 0 = -4*r + 4*d + 12 for r.
-2
Suppose -k + 0*k + 3 = 0. Let g(d) = 2*d**2 + 10*d + 13. Let x be g(-3). Solve -k*z + 22 = t + 4*t, t + 4*z - x = 0 for t.
5
Suppose -11*x + 31 - 9 = 0. Solve -4*g - 25 = -3*p - x*p, -3*g = -2*p + 10 for p.
5
Let z be (13 + 196/(-14))/(1/(-2)). Solve 2*h = -z*r - 1 + 7, 10 = 5*r for h.
1
Let k be (8 + -3 - 6) + 5. Solve -4*p + 3*l - 1 = 0, -k*p + 2*l = -p + 1 for p.
-1
Suppose 0 = -4*r + 23*g - 25*g + 8, -2 = g. Solve -5*m + 0*l + 10 = -4*l, -2*l - 6 = -r*m for m.
2
Suppose 24*s - 19*s = 3*h, -h = -3*s. Solve -5*v - 4*q = -s*q - 21, 16 = 4*v + 4*q for v.
5
Let z = 29 + -27. Suppose 0 = z*p + t - 16, p + 3*t + 0 - 18 = 0. Solve 5*x + 0*x + 4*n - 31 = 0, -p = 2*x - 3*n for x.
3
Let s(x) = x**2 + 2 - 6*x + 17*x - 11*x. Let q be s(2). Solve -m = 2*y + 3, q*y = y + m - 18 for y.
-3
Let l(x) = x**3 - 2 - 10*x**2 + 12*x + 12*x + x**2 - 9*x. Let o be l(7). Solve 4*r - 11 = 5*u, 4*u = 2*r - o*r - 15 for r.
-1
Let d(a) = a**3 - 13*a**2 + 12*a + 5. Let z be d(12). Solve -3*w - i + 1 = -z, -3*i = 9 for w.
3
Let g(f) = f + 2. Let d be g(0). Suppose -4*j - x + 10 = 0, -x - d*x + 10 = 2*j. Suppose -4*c = j - 22. Solve -c*w - 17 = 2*l, -3*w - 17 = 5*l + w for l.
-1
Suppose 11*j - 132 = 7*j. Suppose 5*a + j - 58 = 0. Solve a*p = -s + 9, -4*s = -p - 1 + 7 for p.
2
Let r = -746 + 751. Let k = -1 - -5. Suppose -a + 3 = -2*u + 3*u, 10 = -5*a. Solve -k*c - 4*y - 9 = 11, r*y = c + u for c.
-5
Let y(n) be the second derivative of n**3/3 - 2*n**2 - n. Let q be y(7). Solve -17 = 5*k - 0*k - h, 4*k + q = 2*h for k.
-4
Let n = 17 - 15. Let w be n/12 + 4/(-24). Suppose w = -2*s + 3 + 1. Solve 2*x = -s*d - 3*x + 21, -5*x + 12 = -d for d.
3
Suppose -5*s = -46 + 6. Suppose -3*g + g + 24 = 0. Let h be ((-6)/4)/(g/(-184)). Solve -5*q = 3*b + h, 1 + s = -q - 5*b for q.
-4
Let c(b) = b - 7. Let a be c(10). Suppose a*w + 12 = 5*w. Let x = w + -3. Solve -x*l + 2*v + 3*v = 4, -4*v + 4 = -2*l for l.
2
Suppose 36 = -39*c + 192. Solve 2*u + c = 2*y, u + y - 4 = -0*u for u.
1
Let l be (-6)/48 + 99/24. Suppose -5*w - 147 = -4*h, -4*w = -l*h + 6*h + 128. Let r = w - -34. Solve -4*o + 4*p = -17 - 7, 20 = 4*o - r*p for o.
2
Let m = 374 - 371. Solve 2*a + 4*v = 7*a + 33, 2*a - m*v + 16 = 0 for a.
-5
Let t = -7 + 11. Suppose 13 = -3*k + t*k. Let v = -8 + k. Solve 0*d - 2*d + 17 = -v*q, -4*d + 1 = q for d.
1
Suppose -23*k + 5*k = 0. Solve -9 = 3*l, -4*h = -k*h - 5*l - 23 for h.
2
Let b be ((9072/90)/(-21))/((-3)/5). Solve -b*a = -4*a + s - 3, 3*s = -2*a + 9 for a.
0
Let x be ((-1)/2 - (4 + -1))*-2. Suppose -x*b = -39 + 4. Solve 0 = -o - 3*o + b*q - 25, 0 = 4*q - 20 for o.
0
Suppose 16*z = 11*z + 10. Let k be (-11)/(-3) + z/6. Solve -5 = -f + 2*s, -20 = -k*f + 4*s + s for f.
5
Let n = 353 + -348. Solve n*u + 8 = 4*z - 3, -2*z = 5*u - 13 for u.
1
Let d be -30*(1/(-3) - 0). Let b(l) = 2*l - 17. Let g be b(d). Solve -3*x = -g*w - 9, 3*x - 8 - 1 = -5*w for x.
3
Let t = 2 + 3. Suppose -b - 2*n = -n - 9, -2*n = -b + 6. Let x be 1*6 - (t - b). Solve 3*l - 3*y - x = 0, -3*l - 5*y + 4 = 27 for l.
-1
Let q(g) = g**2 + 3*g + 7. Let x be q(-4). Suppose x + 4 = 5*l. Suppose -4*c = -l*c. Solve m + 21 = -0*m + 4*f, c = -5*m - 4*f + 15 for m.
-1
Let s = 2 - -2. Suppose 0 = -s*z - 4*j + 44, 6*z - 35 = 2*z - j. Suppose 4*t - z = -0*t. Solve -2*k - 4*g = 2*k, -3*k = -t*g + 15 for k.
-3
Let o be 8 + 24/(-5) + (-39)/195. Solve 0 = 2*p - o*s + 15, p = -3*p - 4*s for p.
-3
Let j be 108/28 + (-1 - (-8)/7). Solve j*x - z + 6 = -0*z, 5*x + z + 3 = 0 for x.
-1
Let z = 38 + -46. Let c be 10/z - (-52)/16. Solve 3*n = c*w - 8, 0*w + 4*w - 16 = 0 for n.
0
Let k = -516 + 521. Solve -2*c - k*t = 19, 3*c + 4*t = 2*t - 12 for c.
-2
Let o(c) = -19*c**2 - 27*c + 102. Let v be o(-3). Suppose 4*l = 4*j - 12, -3*j + 10 = l - 7. Solve -5*t = -g + v, -2 - 10 = j*g - t for g.
-3
Let g(p) be the third derivative of -p**4/12 - p**3/2 - 3*p**2. Suppose 0 = 2*d + 6. Let r be g(d). Solve -5*c - r = 2*o, -3*o + 3*c + 3 = 18 for o.
-4
Let i(f) = f**2 - 13*f - 15. Let m be i(15). Let u = m + -15. Solve 3*n + 7 + 2 = u, 4*j = 3*n + 1 for j.
-2
Suppose 2*g - 3*g = -7. Let x(d) = 2*d - 9. Let q be x(g). Let t = 47 + -31. Solve -9 = -l - q*b, -3*l - 3*b = b - t for l.
4
Suppose -4*b + 19 = -1. Let u(s) = -s**3 - 3*s**2 + 2*s + 4. Let k be u(-3). Let c be k - (-1 + 0 - 2). Solve 4*g = 5*y + 9, -c - b = 5*y - g for y.
-1
Let x(v) = -v**3 + 5*v**2 + 7*v. Let w be x(6). Let g be 115/(-2)*(-16)/20. Let z be g/14 - (-20)/(-70). Solve -4*q - z*k - 17 = 0, -2*q - 2*k = 2*k + w for q.
-5
Let b be (2 - 5)/(2 + 116/(-52)). Solve -5*t = -4*n + 7 - 18, 3*t = -4*n + b for t.
3
Let k(v) = 20*v + 8. Let o be k(-4). Let z be (-4)/6 + o/(-27). Solve u + 3 = z*u - q, -15 = 5*u + q for u.
-2
Let j = -19 - -13. Let w = 8 - j. Let z be -4*(-6)/6*3/6. Solve 0 = -4*b - 0*b + 12, -z*c - w = -2*b for c.
-4
Let v(c) = -c**2 - 3*c. Let q be v(-3). Let s be (-33)/22*8/(-6). Let r be (-6)/(0 - s/3). Solve -z - 4*p - 17 = q, -z - 2*p = -0*z + r for z.
-1
Suppose 60 = 4*c - 28. Let a = c + -10. Solve 0 = 4*t - a, 3*f + 2*t - 4*t = -6 for f.
0
Let a = 118 - 116. Let m = a - -13. Solve 5*q - m = -4*u, 4*q - 11 = -2*u - u for q.
-1
Suppose 25*p = 14*p + 55. Solve -5*l - 2*j + p = -8*l, 3 = -2*l + j for l.
-1
Let z(m) = 21*m - 185. Let j be z(9). Solve 0 = -4*l - 4*c + 40, -l + 3*c - 6 = j for l.
5
Let h be 54/8 - 12/16. Suppose -12 = -3*a - 0*a. Suppose a*u + h = 3*d, -2*d + 2*u + 4 = -0*u. Solve 5 = -x + t - 3*t, 10 = -d*x - 5*t for x.
-5
Let m = -1113 + 1118. Solve m*f - 21 = -p, 3*p = -2*f - 2*f + 8 for p.
-4
Suppose -98 + 83 = -5*y. Solve 0 = c + 3*j - y, -c + 0*c - 4*j = -4 for c.
0
Let o be (-4)/((-12)/21) + 3. Let l be 124/(-28) + 4 + 186/42. Solve 2*u = 4*z + o, 0*z - l*z - 2*u = 14 for z.
-3
Let u(v) = v**3 - 17*v**2 + v - 13. Let n = 40 + -32. Let k = n + 9. Let c be u(k). Solve -5*q = -3*g - 15, -2*g + c - 14 = -2*q for q.
0
Suppose -83*t + 78*t = -2*d + 13, 5 = 2*d + 3*t. Solve -14 = -2*g - 3*z, -z + d*z = 4*g - 10 for g.
4
Suppose 0 = 4*s - 20 - 20. Let a = -5 + s. Suppose a = 3*q - 10. Solve -p + 3*x = -q*p + 13, 2*p - x - 9 = 0 for p.
4
Let y be ((-21)/(-28))/(2/8). Suppose -14 + 8 = -y*b. Suppose -i = 5*d + 21, -2*i - 2*d = -0*i + 2. Solve -b*p - 2 = g + 3, -i*g - 2*p + 10 = 0 for g.
5
Let t(d) = -2*d**2 + 41*d - 88. Let k be t(18). Solve -4 = -3*n - k*c, n - 13 - 7 = 4*c for n.
4
Let z be 8 - (1 - (0 - 2)). Suppose -p = 6*p. Solve p = z*g + 2*o + 10, -2*o + 3*o + 2 = -g for g.
-2
Let b(y) = -y**2 - 6*y + 1. Suppose -r = r + 10. Let l be b(r). Suppose -l*n = -n. Solve 5*j - 2*x - 5 = n, -5*j - x = -0*j - 5 for j.
1
Let c(v) = -2*v - 4. Let k be c(-3). Solve -2*a = k*z + 8, -3 + 1 = -2*a + 3*z for a.
-2
Suppose 0 = 2*z + 3*x + 18, 0 = -x + 2 - 6. Let u be -1 + z + (0 - 4). Let r(p) = p + 12. Let n be r(u). Solve 0 = n*y + 5*b - 2*b - 2, -3*b - 2 = 2*y for y.
2
Let x(l) = 70*l + 913. Let i be x(-13). Solve 3*u - 5*f = 7, 2*u - f - 4 = i*f for u.
4
Let o(k) = -k**2 - 7*k - 8. Let f be o(-6). Let p be (3 + f/4)*4. Let z = p - 7. Solve 5*j = -y + 4, z = y - 4*j + 8 for y.
-1
Let i = 13 - 3. Let c be (-6)/(-9) + i/(-15). Suppose -5*d + d + 4*n + 12 = c, -4*d = -5*n - 12. Solve -5*s = d*y + 23, 2*y - 2*s - 1 - 5 = 0 for y.
-1
Suppose 49*f - 46*f - 43 = 4*t, -2*t - 9 = f. Let h be (-2)/4 - (-2)/4. Let b = -8 - -19. Solve -3*v = f*j - h*v, -2*j = -v + b for j.
-3
Let i be (-2)/(-3)*(-12)/(-20)*5. Suppose 5*d - 77 = 2*y, 0 = 3*d + i*y - 49 - 10. Solve -6*z = 3*s - z + d, -s - 1 = -3*z for s.
-4
Let x(f) = 6*f + 9. Let d(j) = 2*j + 3. Le