 3*a - 15 = -4*j + 2*a for j.
5
Let j be ((-4)/(-1))/(2/1). Suppose -2*p + 45 = 27. Solve -c = -j*q - 1 - 6, -4*q + c - p = 0 for q.
-1
Let g = -109 + 114. Solve -3*m = -5*f + 4 + g, 5*f = -4*m + 23 for m.
2
Let c(j) = 2*j - 8. Let i(f) = f + 2. Let q be i(2). Suppose -3*v + 3*m = -q*v + 15, -v = 2*m - 12. Let o be c(v). Solve 12 = 4*r, p + 3*r = -4*p + o for p.
-1
Suppose -11*j + 9 = -13. Solve 0 = 2*v - j, 5*z = z - 2*v - 2 for z.
-1
Let k(h) = 3*h - 4 + 2*h + 2 + 0. Let m be k(3). Suppose -2*f + 3*f = 3*a + 5, 2*f - m = 3*a. Solve 0*j - j + f = -u, u - 5*j = -24 for u.
-4
Suppose 0 = -4*v - 5*d + 2 - 1, 4*v = -3*d + 7. Let t be (3 + -3)/(1/(-1)). Suppose t = 2*f + f. Solve 1 = -m + 3*l - 7, f = -5*m - v*l + 36 for m.
4
Let q = 52 - 37. Solve 0 = w + 4*h - q, -4*h = -w - 1 - 16 for w.
-1
Suppose 0 = 6*i - 2 - 10. Suppose 2*x = 5*x - 6. Let t be x/2*1 - 1. Solve i*b - u - 13 = t, -b + 0 - 6 = 2*u for b.
4
Let k be 6/(-3) + -1 + 0. Let z be (1/k)/((-2)/24). Suppose 4*i + z*m = 28, 5*i + 3*m = m + 26. Solve 0 = 2*j - 2 - 0, -i*y = -3*j + 19 for y.
-4
Let v(c) be the first derivative of -c**4/4 - c**3/3 - c**2/2 + 3*c + 4. Let j be v(0). Solve 5*i - 14 = 3*q - 49, 1 = -4*i - j*q for i.
-4
Suppose s + 0*s = 8. Suppose s*q = 4*q + 32. Solve q = 4*r + 4*v, 3*v - 1 - 6 = -4*r for r.
1
Suppose -5*x + 2*g + 7 = 0, -5*g = -2*x + 12 - 5. Solve -2*q + 1 = 5*y - 2, -4*y - x = 5*q for q.
-1
Let k(m) = -m - 1. Let a be k(-5). Solve -5*z = 3*b + 18, -5*z - 3*b = -a*b + 14 for z.
-3
Suppose 23 = 4*m + 3*g, g = -m - 3*g + 22. Solve -m*l - 5*j + 13 = 2*l, 0 = 5*l - 5*j + 40 for l.
-3
Suppose -20 = 5*k, -2*m + 36 = 2*m - 4*k. Solve 6 = 2*g + 3*g - 4*s, -m*s = 3*g + 26 for g.
-2
Suppose l - 3*x - 6 = -4, -2*l - 3*x = -13. Solve 2*d = b + 14, 3*d + 20 = l*b + 55 for d.
5
Suppose 0 = -5*h - 5 + 25. Solve -s - h*r + 4 = 0, 6*s - 3*r = 2*s - 22 for s.
-4
Suppose 1 + 15 = 2*s. Suppose g - 3*j - 12 = -2*g, 2*g = -4*j + s. Solve g*d - i = 17, 5*i = 3*d + 2*i - 24 for d.
3
Let l(p) = -4*p. Suppose 2*b = -2*b - 12. Let n be l(b). Solve 0 = 3*g - 5*t + n, -2*t - 3 = -4*g - 5 for g.
1
Suppose -6 = -2*n - 0*n. Solve 2 = l + n*u, -2*l + 3*u = -l - 8 for l.
5
Let p(r) = -r**3 - 4*r**2 + 4*r - 2. Let x be p(-5). Solve 3*t = 4*g - 7 + x, 5*t - 32 = -3*g for g.
4
Let c(k) = -2*k + 22. Let r be c(7). Let a be 0/4*1*-1. Suppose a = 2*p - 3*s - 35, 2*p + 5*s = 4*p - 37. Solve -g + 2*d - p = -3*d, -3*g - r = -5*d for g.
4
Let p = -6 + 3. Let b be ((-4)/(-1))/(p - -4). Let k be b + 6/(-3 - 0). Solve k*i - r = -12, 20 = -3*i - 0*r + 2*r for i.
-4
Let p = 55 - 53. Solve 10 = p*i, -4*q - 2*i + 19 = i for q.
1
Let p(b) = -6*b - 6. Let m(q) = -q + 1. Let w(g) = -4*m(g) + p(g). Let o be w(-6). Solve 4*d = d, -4*r + 4 = -o*d for r.
1
Let m(t) = -t**2 + 4*t + 3. Let p be m(0). Solve p*z + 5*c = 19, 4*c + 7 = -z + 6*z for z.
3
Let o = 41 + -40. Solve 3*b - 2*g = o - 5, -5*b - 2*g + 20 = 0 for b.
2
Suppose -2*a = d - 18, -65 = -3*d - d - a. Suppose -d = -f - 3. Suppose 2*w - r - 45 = 0, -2*r - f = -5*w + 97. Solve y = -3*q - y + 17, -4*q = 2*y - w for q.
3
Let d = 16 - 10. Let a be 0 + 5 + 1/1. Solve -20 = -5*j, -d*j + 2*j + a = -2*b for b.
5
Suppose -5*m + 8 = -17. Solve -3*y + m = 2*s - 3, -2*s = -4*y + 20 for y.
4
Let x(f) = f**3 - 6*f**2 - f + 5. Let p be x(6). Let o(j) = 28*j**2 + j + 1. Let b be o(p). Solve 3*z = 5*y - b, -3*z + 2*y + 17 = 6*y for z.
-1
Let u(s) = -7*s. Let a be u(-1). Suppose -3*b = -a - 2. Solve 0 = -4*l + b*i + 5, -5*l - i + 15 = -3*l for l.
5
Let c = -11 + 14. Let h be 0 + c/6*4. Solve h*t - 8 = 0, 4*n - 5 + 13 = 4*t for n.
2
Let d = -6 - -8. Let q = d - -3. Suppose 2*c + 2 = -c + p, p = 2. Solve 3*w + 16 = q*f, c*f - 3*w = -f - 4 for f.
5
Let w = -6 + 13. Suppose -5*n + 25 = -h, 0 = 5*n + h - 28 - w. Suppose n = 4*j - j. Solve 4*y = -j*k + 20, 3*k - 5*y + 24 = 5*k for k.
2
Let w(x) = -x**2 - 4*x + 7. Suppose -5 = 5*n + 20. Let t be w(n). Solve u - 8 = -t*k - 0*k, 2*u = -k + 4 for k.
4
Let b(s) = -s**2 - 10*s - 6. Let j be b(-9). Suppose i = j - 1. Suppose i*h = -h + 21. Solve -2*g + h = -4*p + 25, -3*p = -g - 12 for p.
3
Let p = 37 - 75. Let m = p + 84. Suppose m = 3*l - 14. Solve -w + 4*r = -0*r + 16, w + l = 5*r for w.
0
Let v(t) = t - 7. Let n be v(8). Let r = n + 2. Let f = -1 + 1. Solve f*m = -r*p - 3*m, 3*m - 12 = 3*p for p.
-2
Let n(h) = -h - 12. Let a be n(-16). Solve -u + l = 2*u + 10, 3*l = -a*u - 35 for u.
-5
Suppose 3*r - 3 = a, 4*a + 2*r - 12 = 4. Solve 0 = a*f + 5*j - 4, -3*f - f - 3*j = 2 for f.
-2
Suppose -m = -13 + 10. Let h(l) = l + 14. Let k be h(-10). Suppose 4*c + q = 37, -4*q + 34 = k*c - 2*q. Solve 0 = m*a - 4*u - 32, -5*u + 3*u = 5*a - c for a.
4
Let s(z) be the second derivative of 0 - 3*z + 5/12*z**4 + 1/6*z**3 + 1/2*z**2. Let a be s(-1). Solve -9 = -a*y + 4*h, h = -3*y + 3*h + 7 for y.
5
Let k = 3 - -5. Suppose 2*s = h + k, 5*h + s = 1 + 3. Solve d = 2, h*f - 9 = 5*f - 2*d for f.
-1
Suppose -a = -2*t + 9, 0 = 4*t - 3*a + 5*a + 2. Let v(s) = 5*s**2 + t*s - s + s**2. Let o be v(-1). Solve q + 3 = -3*j, 2*q + o*j = -3*q - 5 for q.
0
Suppose -2*o = -4*u - 0*o + 20, 0 = -4*u - o + 8. Suppose 3*w - 24 = -u. Solve w*a - 3*a = -3*i + 17, -5*a + 22 = 4*i for a.
2
Suppose 0 = 4*l - 5*z - 45, 4*l + 3 + 2 = -5*z. Solve 4*n + 4*v + 4 = 0, -l*v - 5 = -10*v for n.
-2
Suppose -4*b = -6 + 14. Let w be (0 - (-1)/b)*-48. Solve 4*s + 24 = 4*t, -5*s - 2*t = -4*t + w for s.
-4
Let t be ((-4)/(-14))/(2/14). Let w be 2 + (t - 0)/1. Suppose 0 = -5*m - 2*y - 1, -2*m + 1 = -3*y - 10. Solve -w*g + 5*c = m, -2*g = 5*c - c - 6 for g.
1
Suppose -2 = 2*d, 17 = 3*u - u - 5*d. Let w = -3 + u. Solve -3*g = -3*z, -6*g + z + w = -4*g for g.
3
Let r be 2 + 1*(2 + 0). Solve -r*a - 5*x = 0, -3*a - 2*x + 3*x = 0 for a.
0
Let j = 1 + 503. Let x be j/81 + 4/(-18). Solve -3*l + 20 = -x*n + 5*n, -3*l + 3*n = -30 for l.
5
Let w = -17 - -21. Solve w*d + 2 = r, -d + r - 7 = 4*r for d.
-1
Let n(l) = 4*l + 2. Let p be n(5). Let w = p + 7. Solve -f - 5*m = w, 7 = -3*f + m - 0*m for f.
-4
Let k(h) be the first derivative of -1/3*h**3 + 2 - 7/2*h**2 + 4*h. Let p be k(-7). Solve 5*t + 9 + 7 = p*v, -2*t - 6 = -2*v for v.
-1
Suppose -a + g = -0 - 3, -5*a - 3*g = -31. Solve a*j + 15 = 5*k - 0, 15 = -3*j + 5*k for j.
0
Suppose x = 3, -5*a + x + 7 = -0*x. Let y = 2 - a. Solve y = 5*z - 5*r - 9 - 11, 3*z + r = 12 for z.
4
Suppose d - l - 12 = 0, 2*d - 10 = -4*l - l. Solve 4*a - 5*a + 19 = 4*p, 2*a = -p + d for p.
4
Suppose 0 = -x - 4*x - 20. Let t be (-2 + 4)/((-2)/x). Solve t*b + 8 = -2*s, b + b - 4*s = -4 for b.
-2
Let s(x) = x**3 - 3*x**2 - 5*x + 5. Let k be s(4). Suppose -k = 3*m - 4. Let z be -16*(-2 + m - 0). Solve r = -4, 5*a - 37 = 4*r - z for a.
1
Suppose 0 = t - 3*t - 4. Let c = t - -6. Solve -2*w + 0 = c*r + 2, 0 = w - r - 5 for w.
3
Suppose 0*n + 4*n = -t + 19, -12 = -4*t. Solve 0 = 5*p - 4*b + 3*b + 1, n = -b for p.
-1
Let g(t) = 2*t - 14. Let i be g(13). Solve -3*p = b + 16, 2*p - 5*b + 0 = i for p.
-4
Let j(o) = o**2 + 5*o + 2. Let q be j(-5). Suppose 0 = 6*p - q*p + 8. Let f be -2*(-3)/(-6)*p. Solve f*v + 0*v = 2*m - 4, -m + 17 = 4*v for m.
5
Let z = 37 + -32. Solve 0 = 2*y - r + z, y + 3*r - r - 5 = 0 for y.
-1
Let k = -2 - -2. Solve g = -4*r + 2, k = g + 2*r - 5*r + 5 for g.
-2
Let o = -2 + 7. Suppose 0 = -3*t - 0 + 12. Let v(y) = -y + 3. Let b be v(-5). Solve o*d = 3*j - b, 0 = d - j - t*j - 16 for d.
-4
Let j be (-3 + 0)*(-2 + -3). Let z = 23 - j. Solve 0 = -4*x - z, x + 7 - 2 = -u for u.
-3
Let w = -2 + 4. Let k = 210 - 204. Solve 5*q = 4*r - 31, -k*q + q - 23 = -w*r for q.
-3
Let d = -2 + 6. Solve t + 4 = -3*k, 5*k - 6 - d = -5*t for t.
5
Let p be ((-40)/(-15))/((-4)/(-6)). Solve -4 = y - p*u, 3*y - 2*u - 2*u = 4 for y.
4
Let m be 0*((-2)/3)/2. Suppose 4*d - 6*d = m. Solve -4*p - 3*z - 26 = d, 4*z + 23 = -5*p + 5*z for p.
-5
Let z(i) = -2*i - 1. Let w be z(-2). Suppose 5*y + l = -9, 3*y + 2*l = -8 - w. Let b = -1 - y. Solve b = 5*v - 5*n + 15, -3*v = -v + n + 6 for v.
-3
Let n be 0*((-2 - 0) + 1). Let w = 59 + -54. Solve -2*u + w - 25 = -3*b, 5*b + 5*u = n for b.
4
Let h = -134 - -134. Solve -5*t + d = 13, -t + 2*d = -h*t + 8 for t.
-2
Let o be 3/(-7) - (-2 + 17/(-7)). Solve 2*r - 5*r = 3*j - 3, r + o*j + 2 = 0 for r.
2
Let u(b) = -3*b**2 + 5*b - 3. Let d be u(3). Let t = 