t.
5
Suppose 0 = 3*m - 15, -m + 3*m = 4*k - 2. Solve 16 = 4*y - 3*n, -2*n + 20 = 5*y + k*n for y.
4
Let b = -44 + 52. Solve h = 3*m - 3*h - b, 0 = 2*m + h + 2 for m.
0
Let m(s) = -2*s + 1. Let l be m(-3). Let r = l + -4. Solve -3*t + 2*u = -4*t - 3, 15 = 2*t - r*u for t.
3
Suppose 5*s - 8 = s. Let p be 1*(-6)/(s + -3). Suppose -15 = -p*l + 3*l. Solve 0 = 4*j - 5*f + 2, j - l*f = -0*j + 7 for j.
-3
Suppose 3*c - 6 = 6. Let s(w) = 4*w - 1 - 5*w - 4 + 6. Let r be s(-3). Solve -4 = 3*v - r*p, -c*p + 0*p = -4 for v.
0
Let z(k) = -k + 6. Let g be z(5). Solve -2*j = -d - 1, 5*j - 4 = 5*d + g for d.
-1
Let d be 2/(-7) - 135/(-7). Suppose -d = -4*m - 7. Solve 0 = -4*g + u - 2, -m*u = -0 + 6 for g.
-1
Let s be 49/28*1*4. Let b be ((-7)/s)/(1/(-5)). Solve -5 = p - 2*p + 2*j, -45 = 4*p + b*j for p.
-5
Suppose -1 - 3 = -y. Solve y*x + 3*n - 32 = 0, -5*x - 5*n = -2*x - 35 for x.
5
Suppose 4*r = -r - 10. Let n be (0/(3 + -1))/r. Let x be -1*2 + n + 2. Solve -2*c - 5*p - 18 = x, c - 5*p - 9 = -3 for c.
-4
Let n = -4 - 0. Let i be (0 - (-2)/n)*-2. Suppose 5*m + 21 = 2*s, 0*m - 2*m - 21 = -5*s. Solve 4*p + 16 = -s*c, 5*p + 14 = -2*c + i for p.
-1
Suppose -3*h - 4 = u - 3*u, 20 = 5*h. Suppose 5*f - u = 12. Solve f*m + 7 = -5*o, -o + m - 5 = -0*m for o.
-3
Let c be 34/(-102) + ((-8)/(-6) - -1). Solve 2*h - c*z - 10 = -4*z, -2*z = -3*h + 15 for h.
5
Let w = 6 + 16. Solve -4*j - 2 = -f - w, 0 = -2*j - f + 10 for j.
5
Let v(h) = -h + 7. Let g be v(5). Suppose 0 = -5*y - g*q + 26, 4*y - 31 = -q - 4*q. Solve -6*s + s = -n, -4*s - 24 = y*n for s.
-1
Let y(s) = s**3 - 9*s**2 + 7*s + 10. Let l be y(8). Suppose -4*n - 5 + 17 = 2*c, -3*c = l*n - 14. Solve 3*g = 5*w + 12, -3*w - c = -2*w + g for w.
-3
Suppose 3*k - m + 74 = 0, -5*k - 170 = -5*m - 40. Let x be (-6)/k - (-38)/8. Solve -x*u = -4*d - 3, 0 = 2*u - 5*d + 3*d for u.
3
Suppose -5*r = 2*k - 2 - 4, r = -2*k - 2. Solve 5*q = -3*f - r + 4, 2*f = -q + 6 for q.
-2
Let p = -134 + 144. Solve o = -2*u - u + 10, 4*o + p = -2*u for u.
5
Let g(j) = 2*j**2 + 1. Let p be g(1). Solve -5*o = 10, 2 = -2*x + p*o - 2 for x.
-5
Suppose -j - 4 = 5*m, -5*j + m + 1 = -5. Suppose 0 = i - 2 - j. Solve -i*z + 12 = -5*x + 4*x, x + 5*z - 12 = 0 for x.
-3
Let r be 1 - (1 + (-10)/2). Suppose 3*j - 4 = -j, -r*o - 3*j = -18. Solve -2*s + 2*y = 0, -y = s + o*s - 5 for s.
1
Suppose -m = -2*n + 8, -4 = -n + m - 5*m. Solve -g = -n*v - 4, 0 = -3*g - 2*v - 2*v + 12 for g.
4
Suppose 22*q - 23*q + 11 = 0. Solve -4*s - 4*v + 9*v = -14, 5*s = 3*v + q for s.
1
Let j(f) = f - 2. Let o(k) = k. Let w be o(12). Let h = w + -7. Let l be j(h). Solve -l*p - 3*s = 2*p - 25, -5*s + 5 = p for p.
5
Let q be ((-2)/(-6))/(3/18). Let h = q - -1. Let a(m) = 3*m**2 - 5*m. Let g be a(2). Solve g*l - 14 = 4*d - 6*d, 0 = 2*l + h*d - 16 for l.
5
Let v(u) = -u**2 + 2*u. Let h be v(2). Solve 6*n - n - 5*w = -5, 3*n - 2*w + 2 = h for n.
0
Let j(z) = -6*z**3 - z**2 + z + 1. Let n be j(-1). Solve -n*u + 20 = -2*m, 3*u - 4*u + 4 = m for m.
0
Let k(l) = -l**3 - l**2 + l + 1. Let m be k(-2). Solve 3*r = 2*i + 1 + 2, 3*r - 3 = -m*i for i.
0
Let a be 2/(-9) - 33/(-27). Suppose -2*x + 9 = -a. Solve 6 = -2*m, -m - 25 = -x*b + 4*m for b.
2
Let q(j) = -6*j - 3. Let w be q(-6). Suppose 4*m - 3*n = -m + w, n = -1. Solve -4*f + 2*s - 6 = -24, -2*s = 4*f - m for f.
3
Suppose 18*b - 16*b = 4. Let g be (-6)/4*(-8)/3. Solve -3*w = 5*s, g*s - 3*w - b*w - 37 = 0 for s.
3
Suppose -16*p + 17*p = 2*q - 4, -5*p + 2*q = -4. Suppose -4*b + 0*b + 8 = 0. Solve 0 = g - b*i + 8, 0*g = -2*g - 3*i - p for g.
-4
Suppose -v = -2*t - 4, -5*v + 8 + 0 = -4*t. Solve 3*f = 5*f - 4*o - 28, v = f + 4*o + 16 for f.
4
Let l(d) = d**3 + 3*d**2 - d - 1. Let u be l(-3). Solve 3*p - 10 = n + u*p, 2*n - 5 = -3*p for n.
-5
Let a = -1 - -1. Let j(w) = -5*w + a*w - 5 + w**2 + 3 + w. Let r be j(5). Solve 4*s + 22 = -4*m + 2*s, -r*m - 5*s = 27 for m.
-4
Suppose -5*q - 25 = 0, -4*y + 3 = -3*q - 28. Solve -23 = y*p + j, -5*j = 2*p + 28 - 3 for p.
-5
Let b be (9/3)/(3/2). Suppose -2*m - b*q + 12 = 0, 2*m - q + 4*q = 17. Solve 4*a - m - 1 = 5*u, -4*u = -3*a + 2 for u.
-2
Let f be 5/((-45)/(-6))*6. Suppose 0*u = f*u - 80. Solve 3*x = 4*x - v + 8, 0 = -x + 5*v - u for x.
-5
Suppose 2*r = r + 5*b - 1, 4*b - 12 = -2*r. Solve 13 = 4*t + 3*x, 7 + r = -t + 4*x for t.
1
Let c = 99 - 94. Solve -2*z - 19 = -c*p, 4*z - 5*p = -35 + 12 for z.
-2
Suppose 0 = -h - 2*h + 2*u + 82, -h + 2*u = -34. Let s be (10/(-2) + 0)*-5. Let m = 4 + 0. Solve -5*w = 4*d - m*w - h, d = -5*w + s for d.
5
Suppose 3*c = -3*y + 12, -5*y + 5*c - 2 = -12. Let v be y + -4 - (-7 + 3). Solve l + d + d = v, 4*l = 3*d - 21 for l.
-3
Let f = 17 - 9. Solve -s - h + f = 3*s, 2*h - 7 = s for s.
1
Let v(y) be the first derivative of y**2 - 2*y + 3. Let w be v(3). Solve -w*h - 8 = -5*g, 0*h = 4*g + 3*h - 25 for g.
4
Suppose 0 = 2*m - 5*i - 8 - 7, 0 = 2*m + 5*i + 15. Suppose m = 5*r - 0*z + 2*z - 39, 2*z - 25 = -3*r. Solve r + 7 = -2*w - 2*s, 3*w + 2*s = -19 for w.
-5
Suppose 0 = -16*p + 13*p + 6. Suppose 5*h + 7 = -3*t - 10, 4*t + h = 0. Let y = t - -1. Solve -3*a - y = -r, -r + 0*a - a = -p for r.
2
Let b = 4 + 0. Suppose m - 4 = -4*t + 5*m, b*t - 2*m = 8. Let z be -3 + -1 + 2 + 7. Solve 5*r - 30 = -z*n, t*n = -2*r + 8*n - 2 for r.
4
Suppose -3*q + 5 = 2*v - 10, -3*q - 5*v + 24 = 0. Suppose -b = 2*b - 57. Suppose b = -4*p + 55. Solve 3*f + q*z = p, 4*z - z = 12 for f.
-1
Let r(f) = f**2 + 6*f - 2. Let j be r(-7). Let k be (-3)/(-2)*48/36. Solve 4 = t - k*y + y, 0 = j*t - 2*y - 11 for t.
1
Let c = 10 - 40. Let r = 42 + c. Solve -2*u - 2*u - w = -r, 0 = u + 3*w - 14 for u.
2
Suppose -46 = -4*u + 2*v - 0, 5*v = 4*u - 43. Let x = -9 + u. Let f(g) = -3*g - 2. Let c be f(-5). Solve 0 = 3*t + 2*w + 7, x*t - w = 3*w - c for t.
-3
Let b be (-6)/27 - 166/(-18). Solve -5*l - b = 2*n, 3*l + 15 = -5*n - 2*l for n.
-2
Let u = 5 + 9. Suppose 3*x = 3*v + 24, 3*x - v + 3*v = -1. Solve 4*h = 3*d + 1, -x*d + d = h - u for d.
5
Let q(y) = y**3 - y**2 + y + 3. Let h be q(0). Suppose h*v - 1 = -4. Let r(i) = 9*i**2 - i. Let t be r(v). Solve -5*b = -5*u - t, -5*u + 8 = -0*b + b for b.
3
Let d = -4 + 0. Let r be 1*2 + d + 5. Suppose r = w + 2. Solve n + 18 + w = 5*l, 3*l + 2*n = 14 for l.
4
Let n = 12 + -7. Suppose -3*j + 2*q + 44 = -j, 70 = 5*j + n*q. Solve -m - 3*s - j = 0, 0 = m + 2*s + 2 + 11 for m.
-3
Let o = 95 - 93. Solve 0 = -2*i + b + 13, 0 = o*i - 3*b - 12 - 7 for i.
5
Suppose 4*r - 10 = 5*f - 34, 15 = 3*f - 3*r. Solve -6*c + f*c + 13 = -5*p, -2*p = -c + 5 for c.
-1
Let m(u) = -3 + 3*u - 4*u + 4 + 2. Suppose 0 = 5*b - b. Let f be m(b). Solve -3*a - 9 + 1 = s, 0 = -4*a + f*s - 2 for a.
-2
Let o = -1 - -5. Suppose 12 = 4*k - o*u, -1 = k + 2*u - 4. Suppose 0 = 4*s - k*v - 2 - 17, 0 = -2*s + 3*v + 11. Solve -3*l - 2 = -j - l, -j + 8 = s*l for j.
4
Let m(a) = 6*a - 1. Let f be m(3). Solve 2*h + 5*b = 5*h + f, -9 = 3*h - 3*b for h.
1
Suppose -4*g = -2*g - 34. Let r = 9 + -9. Solve -2*k + 3*q - 10 = r, -4*k = -3*k + 4*q - g for k.
1
Let y = 14 - 13. Suppose 8*l = 12*l. Solve l = -4*j + 3*v + y, 4*v = -7*j + 3*j + 36 for j.
4
Suppose -2*a - 3*r + 13 = 0, -11 = 3*a - a - 5*r. Solve -4*h - 4 = a*p, 0*p - 4*h - 8 = 3*p for p.
-4
Suppose 5*t - 67 = 4*q, -2*t + 3*q + 54 = 2*t. Suppose z - t = 6*z - 3*m, 4*m - 20 = -2*z. Solve 5*n + z*y + y - 12 = 0, -n + 6 = 2*y for n.
2
Let w = 11 + -7. Suppose -2*t - 61 = -7. Let x be ((-2)/(-6))/((-3)/t). Solve 2*j = -5*k - 21, -w*j + 5*k = -0*j - x for j.
-3
Let h = 23 - 20. Suppose 3*w - 12 = -h*w. Solve -3*q - 15 = -3*a, -10 = -5*a + w*q + 6 for a.
2
Suppose -2*b + 8 = -2*s, -s - 3*b + 3 + 9 = 0. Solve s = 3*a + 2*u + 10, 5*u = -a - 10 - 2 for a.
-2
Let q be ((-1 - 1)*13 + -3)/(-1). Solve 2*b - 3 = -4*z - q, 0 = -5*z - b - 28 for z.
-5
Let n(f) = -f**3 - 5*f**2 + 4*f - 2. Let d be n(-6). Suppose i = -i + d. Solve 4*y - i*x + 10 = -y, -4*x - 4 = -y for y.
-4
Let v be (-32)/(-1) + -2 + 0. Suppose -33 - v = -3*u. Suppose -4*x + u = -23. Solve -t = -3*z + x, 5*z = 5 + 20 for t.
4
Let d(k) = -k**3 + 3*k**2 + 6*k - 5. Let h be d(4). Suppose s - 5 = -2*q, -h*q + 5*s = -6 - 8. Solve -2*l - 4*a + 2*a = 0, -q*a + 25 = -2*l for l.
-5
Let d be ((-8)/(-6))/(2/(-6)). Let o = -4 - d. Solve -s + 3*k - k = 5, o = -2*k for s.
-5
Let z(i) = -i - 5. Let t be z(-17). Solve 0 = -g - 4*y 