a - f*j for a.
4
Let h = -7 - -12. Suppose -2*j - 15 = -h*t + 16, 0 = -3*t + 3*j + 24. Solve 3 = 3*m, -3*g = -t*m - 4 - 3 for g.
4
Let i be 9 + -9 - (0 - -1). Let p be i*-4*(1 - 0). Suppose 0 = r + 5*f - 17, p - 15 = -4*r - f. Solve -u - u + 14 = 3*m, 0 = u - r*m for u.
4
Let g(q) = q + 12. Let t be g(-10). Solve 8 = 3*n - 3*i + t, -2*n + 3*i = -6 for n.
0
Let r be -1 + 1 - (-2 - 3). Solve u + g + 0 = r, u = g + 5 for u.
5
Let r = 15 + -11. Let m = 0 - 1. Let x be ((-4)/10)/(m/5). Solve x*h + 3*n - r = 1, h + 1 = -5*n for h.
4
Let z(r) = 0*r + 0*r + 1 - r**3 - 5*r**2 + 6 + r. Let d be z(-5). Solve 2*t - 7 = -m - 2*m, -d*m + 14 = -t for m.
5
Let b be (-2 - 0)*15/(-2). Let g = -15 + b. Solve g*i - 2*f + 10 = -2*i, 5*f = -5*i + 25 for i.
0
Let t(u) = u - 5. Let x be t(5). Suppose 3*n + 2*n - 25 = x. Suppose -3*v - 12 = 0, -2*r + v + 20 = -4*v. Solve l = 3*s - r*l + 9, 0 = n*s + 4*l + 15 for s.
-3
Let o be (-5)/((-10)/76) + -1. Suppose -p - 4*p + o = 4*y, 0 = -4*p - 4*y + 32. Solve -4 = -4*c - 4*w, -p*c - 4*w = -2 - 2 for c.
0
Let x be (1/2*4)/1. Solve x*m = -w + 3*m - 4, -4*m + 21 = -5*w for w.
-5
Suppose r + 3 = 4*u + 2*r, 5*r + 21 = -2*u. Suppose -u = -d + 1. Let t be 46/14 - (-2)/(-7). Solve d*o - 4*h + 10 = 0, -2*o - t = -0*h + h for o.
-2
Let h(a) = -2*a**2. Suppose 0 = -d + 2*z - 5, -5*d - 2*z = z - 14. Let r be h(d). Let i be 44/6*(-3)/r. Solve 4*m = 4*f - 32, -5*f + 3*m - i = -43 for f.
4
Suppose 0*g = -5*g. Solve -p - 2*o - 12 = 0, p + 5*o + 24 = -g*o for p.
-4
Suppose -5*j + 7 = -5*y + 2, 0 = -5*y - 2*j + 16. Solve y*w + 9 = -5*m - 2, -3*m + w = 0 for m.
-1
Let p be ((-2)/(-4))/((-6)/60). Let c = 8 + p. Solve -l + 3 = 5*u, l + 4*u - c = u for l.
3
Let a = 86 + -46. Solve a = 5*x + 5*f, 0 = -5*x + 4*f - 3*f + 10 for x.
3
Suppose 0*k - 33 = -3*k. Let t = -8 + k. Solve 2*h + 9 = 3*h + 2*g, t*g = h + 11 for h.
1
Suppose -f = 5*j + 8 + 6, 5*f - 30 = -5*j. Let n be (10/4)/((-2)/(-4)). Solve 4 = 4*a + 2*w, f = -n*w - 9 for a.
3
Let c = 3 - 2. Suppose -5 = -m - c. Suppose -32*g - 12 = -38*g. Solve 26 = -5*l - m*h - g, 2*h = l for l.
-4
Let o = 3 - 3. Let r be 2 + o + -4 - -4. Let y = 0 + 0. Solve -5*c = r*b - 2*c - 10, -b + 4*c - 17 = y for b.
-1
Let w(q) = -q**3 + 10*q**2 + 2. Suppose 0*u + 10 = u. Let h be w(u). Solve -3*k - 10 = -y, k + 2 = -h*y - 6 for k.
-4
Let m be 15*-3*2/(-15). Suppose 5*d + 19 = -1. Let v = m - d. Solve -2*z - 3*t = v, -z + 0 - 3 = t for z.
1
Suppose -2*v + x = -0*x + 4, -v - 2*x = 12. Let s be 2/v + 1/2. Solve 3*w + 5*l = 15, s*w + w - 5 = -l for w.
5
Suppose 0 = 2*b - 6*b + 184. Solve 5*m + 4*r - 5 = -b, -2*m = 2*r + 18 for m.
-5
Let l(t) = -t**2 - 2*t + 4. Let p be l(-3). Suppose -3*o - 2*f = 3*f - 22, -3*f = o - 6. Solve -p = -2*j + 3*d - o, 4*d + 12 = -3*j for j.
-4
Suppose 90 = y + 85. Solve -10 = -y*r - 3*m + 7, r + 2*m - 2 = 0 for r.
4
Let l(m) = -m - 8. Let a be l(-9). Solve 5*b + r = -a + 24, -3*r + 9 = 0 for b.
4
Let n be 1/2 + 4/(-8). Let w be -1 - -1 - (0 - n). Suppose w*v - 3*v + 12 = 0. Solve 3*q = 5*q - 5*o + 8, -q - v = -2*o for q.
-4
Suppose 0*b + 18 = 6*b. Solve b*s + 24 = -3*q, -5*s - 25 = 5*q - 3*s for q.
-3
Suppose -2*s - 2*h = 0, -3*h = -3*s + 1 + 17. Suppose -3*j - 2*w + 3 = -5*w, 0 = 2*w - 6. Suppose -j*i = -s*i. Solve 4*d - 4*m + 8 = i, -7*m = -2*m for d.
-2
Let r = -2 + 7. Suppose 2*s + r = 3*s. Solve 3*b = -k + s*k + 3, -5 = -b for k.
3
Let i = 13 - 13. Let y(t) be the first derivative of t**4/4 + t**3/3 - t**2/2 + 2*t - 1. Let h be y(i). Solve h*f + f = 4*g - 18, -g = 3*f + 3 for f.
-2
Suppose d + 4 - 3 = 0. Let o(a) = -5*a**3 - a - 1. Let i be o(d). Let k = -3 + i. Solve -k*x - 2 = -4*r, -r - x + 1 = -2*r for r.
2
Let n = -7 - -12. Let q = -1 + n. Solve 2 = b, -4*z - z - 8 = -q*b for z.
0
Suppose -4*u + 5*u - 4 = 0. Solve -14 = u*j + 5*g + 27, 2*j + 18 = -2*g for j.
-4
Let r(m) = -m**2 + 4*m + 1. Let b be (-1)/(4/(-24)*2). Let z be r(b). Solve 0*n = -3*n + 4*l + 23, z*l = 5*n - 33 for n.
5
Let a(z) = 1 + 4 + 1 + z - 4. Let b be a(6). Solve -u - b = -5*u + 4*s, -3*u + 11 = 2*s for u.
3
Suppose 4*f + 20 = i, 2*f = i + 5*f - 6. Solve -4*j + 20 = -4*n, 3*j + 3*n - 5*n = i for j.
2
Let z = -26 + 45. Let t = 9 + z. Solve -13 = -y + 2*s, 8 = 5*s + t for y.
5
Suppose 17 = -3*m + 5*d - 3, -2*d = -8. Suppose 2*t - t - 2 = m. Let j be 4/(-60)*6*-5*1. Solve 5*n + 3*x = j, -t*n + 2 = n + 2*x for n.
-2
Let v = 17 - 0. Let q = v + -13. Solve -3*l + 3*r + 7 = -2*l, 0 = 3*l + q*r + 31 for l.
-5
Let m = -13 - -13. Let p = m + 5. Let k = -41 - -77. Solve 8 = 2*g, -3*x - x - p*g = -k for x.
4
Suppose -28 = -3*a - a. Solve -2*j + 3*h + a = 0, 0*h = -5*j + 4*h + 14 for j.
2
Suppose -6 = -3*f + 9. Let s be (-4)/10 + 51/15. Solve -z - 7*o + s*o = -13, -23 = z - f*o for z.
-3
Let v be 1 + (18 + -4 - 4). Solve -5*o = -5*t + 21 + 14, o = 3*t - v for o.
-5
Let x = 3 + 6. Let m = -4 + x. Let l be -2 + m + (-3)/(-3). Solve -2*y - 7 = 4*q - 3, 0 = -5*q - l*y - 8 for q.
0
Let x be -2 + -1 + 0 + -2. Let r(j) = j + 7. Let v be r(x). Suppose -4*g - 2 = -62. Solve 36 = -5*l + 4*b + g, 2*l - v*b = -8 for l.
-5
Let t be ((-18)/(-36))/(2/(-32)). Suppose -4*s + 7*s - 36 = 0. Let p = s + t. Solve -2 = -p*b + 2*b + o, o + 2 = -4*b for b.
0
Let o = -8 - -22. Let a = o + -10. Solve -3*m - 2*l = -13, a*m + 3*l - l - 18 = 0 for m.
5
Let m = -3 + 7. Suppose 0 = -5*h + 2*c + 10, -m*h - 5*c = h - 45. Solve h*z - a = 3, 2*z - a = 4*z + 3 for z.
0
Let o(h) = h - 6. Let v be o(8). Suppose v*b - 6*b + 12 = 0. Solve 1 = t + 3*r - b, t + 4*r = 4 for t.
4
Suppose -5*r - g + 92 = 0, 3*g + 14 - 2 = r. Let w = r - 12. Suppose j - w = -2*j. Solve 0 = -3*q - 2*s - j*s + 7, -21 = -5*q - 2*s for q.
5
Suppose 0*q + 2*p = 2*q, -3*q + 2*p + 4 = 0. Solve 0*o - q*o + 3*c = 0, -o = 5*c for o.
0
Let n(u) = -u + 10. Let t be n(5). Suppose 0*a - 10 = -t*a. Suppose l + 1 = q + 4, a*q - l = -3. Solve -3 = 3*g - 2*j + 7, -5*g - 3*j - 23 = q for g.
-4
Suppose 0*p + 12 = 3*p. Solve o - 30 = -5*d, o - 24 = -p*d + 1 for d.
5
Let l(f) = -f + 22. Let j be l(9). Solve 7 = v + 5*n, -2*v + 7*v + j = -n for v.
-3
Suppose 0*s + s = 0. Solve 4*o - 6*l + l + 14 = s, 0 = 3*l - 6 for o.
-1
Let v = 3 + -3. Suppose -3*b + 2*u + 16 = 0, -5*u + 3*u = -2*b + 14. Solve -5*i + q = -v*q + 15, -5*i - b*q - 15 = 0 for i.
-3
Suppose -21*q + 15 = -6*q. Solve 0 = -3*w - 6, 5*o + 5*w + q = -14 for o.
-1
Let g be 0 + (2 - -2) + 0. Suppose -p + 2 = -a, p - 5*a + 0 = 6. Solve 2*d = -5*k - p, -5*d + 1 = g*k - 5 for d.
2
Suppose -4*i = -7 - 9. Suppose -l + 2 = r, -8*r + i*r = 12. Solve l*c = w + 3*w + 14, 0 = 4*c - 5*w - 13 for c.
2
Let r be ((-2)/(-6))/(2/(-18)). Let f be (r/(-9))/(3/18). Solve 5*a + 2 = -f*l + 16, -4*a - 3*l + 14 = 0 for a.
2
Let a be 21 + -4 + -1*1. Suppose 5*d = v + 24, -5*d = 3*v - 2*v - a. Let r(l) = 2*l**2 - 4*l - 1. Let x be r(3). Solve -x*i - d*n = 0, -5*i + 6 - 1 = 3*n for i.
4
Let u = -19 - -21. Let z(q) = 3*q - 4. Let g be z(u). Solve -g*b - 4*p - 14 = -0*b, 2*p + 13 = 5*b for b.
1
Let b be (-9*2/12)/((-3)/8). Solve u + 10 = -5*j, 12 - 4 = -b*j - u for j.
-2
Let g = 0 + 6. Solve 2*j + 5*z = -j - g, -z - 9 = -2*j for j.
3
Let a(w) = w**3 - 6*w**2 + 4*w + 4. Let o be a(5). Let q = 1 - o. Solve -d + q*r = r + 4, 2*r = 4*d + 12 for d.
-2
Let s(f) = f**3 - 6*f**2 - 8*f - 3. Let g be s(7). Let w be 13/5 - 4/g. Let z be 27/(-6)*(-16)/w. Solve 0*t + 4*t + 4*r = z, 8 = 3*t - 2*r for t.
4
Let j be (-6)/3 + 8 - 2. Let u be 3/6*0/(-1). Solve u = -5*y + 2*o - 17, 6*y - 3*y = -5*o - j for y.
-3
Suppose -n - 11 = -2*s - 0, 0 = -2*n - 6. Let b(t) = -3*t - 3. Let q be b(-6). Solve -4*a = s*r - 12, a - q = -r - 4*a for r.
0
Suppose -4*b - 168 = 3*h, 3*b = -0*h + h - 139. Let l be (-25)/(-9) + (-10)/b. Solve -l*z + 4*z = -5*o + 25, 2*z + 4*o - 20 = 0 for z.
0
Let j = 85 + -81. Solve j*o = -0*i - i - 7, i - 5*o = 11 for i.
1
Suppose -43 - 5 = -2*y - 5*r, 4*r + 49 = 3*y. Solve 5*g = -2*f + y, 2*g - f - 25 = 4*f for g.
5
Suppose -4*s + d - 51 = 0, -s + d - 63 = 4*s. Let v = 23 - 1. Let k = v + s. Solve 2*w - k = i, i + w + 14 = 4*w for i.
-2
Let w be 1/(0 + (-3)/(-39)). Solve w - 1 = 3*a, -5*a = q - 21 for q.
1
Let f = 28 - 16. Suppose -3*o + f = -0*o. Suppose 0 = a - o*a + 3*p, a - 5*p = -20. Solve 5*t + 0 = -5*n - 5, 5*n = a*t - 25 for t.
2
Let a(j) = -12*j + 3. Suppose 0 = -0*f - 3