t + 2*t - q for t.
3
Let p = -9 + 15. Let g be 3/p + (-1)/2. Let f be (-1 + g)/(2/(-4)). Solve f*a = a - 4*v - 12, -6 = 2*v for a.
0
Let p = 0 - -42. Let g be ((-98)/p)/(1/(-3)). Solve 0 = -r + 4, 2*l + r - g = 5*l for l.
-1
Let z = 0 - 5. Let i = 0 - z. Solve -2*r - 1 = i*t - 3, 0 = -4*t + 5*r - 5 for t.
0
Let u be 6*(-4)/(-6)*(1 + 0). Solve -u*k + 2*b = -22, 3*k + 3*b - 1 = 2 for k.
4
Let o = -7 - -10. Solve 0 = -2*a - 2*k - 6, -k + 0 - o = -5*a for a.
0
Suppose -z + y + 3 = 3*z, -2*y = 5*z + 6. Solve z*f = -3*g - 2*f + 5, 3*g - 25 = 2*f for g.
5
Let m be 1/(-2)*-34 + -3. Solve -o - 4*g + 4 = -2*o, 2*o - m = -3*g for o.
4
Let a(i) = 2*i - 32. Let u be a(18). Solve 0 = -2*c + 5*l + 19 + 12, 7 = u*c + l for c.
3
Suppose -7*a = -4*a. Solve a = -w + n - 1, 0*w - 3*n = w - 19 for w.
4
Suppose -15 = -l - 4*x, 3*l - 8*l - x + 18 = 0. Solve z + s + l = 4*s, -2 = -2*s for z.
0
Let h = -31 + 10. Let t = -13 - h. Solve 2*j + 0 = -b + t, 2*b + j - 4 = 0 for b.
0
Let p(a) = -a**2 - 10*a - 14. Let h be p(-8). Suppose 0 = h*y - y - 5. Solve y*n - 19 = -4*l, -4*n - 4*l = -n - 13 for n.
3
Suppose -4*x - 12 = -132. Suppose 10 - x = -4*j. Solve -2*q + v = -6*q - 13, 15 = j*v for q.
-4
Suppose 0 = x - 7 - 49. Suppose -3*z - 4 = -j - 5*z, 5*j + z = x. Let l be 44/j - (-1)/3. Solve 0*p + p = -f + 6, 16 = -4*f + l*p for f.
1
Let q = -1 - -5. Suppose -q*z - 1 = -9. Solve -2 = g - v, 2*g + 5*v - z = 8 for g.
0
Let y be (2 - 2)/(0 + 3). Let i = y + 2. Solve 4 = j - 0*j + k, -i*k + 10 = 0 for j.
-1
Suppose -4*t + 2*i = -t - 23, -3*t + 25 = -i. Solve -3*p + 3*h = 2*p - 35, p = h + t for p.
4
Let g(p) = p**3 - p**2 + p + 1. Let t(d) = 5*d**3 + d**2 + d + 6. Let m(j) = -6*g(j) + t(j). Let l be m(6). Solve 2*h = -8*s + 3*s - l, 4*h + 12 = -5*s for h.
-3
Let p(y) = 4*y - 5. Let a = 15 + -13. Let n be p(a). Solve -2*c + 2*z + z = 15, -2*c - n*z = -3 for c.
-3
Let s(c) = 4*c - 3 - 5*c + 4 + 3 - c**2. Let u be s(0). Solve 3*k = 4*r - u, -4*k - 6*r + 36 = -r for k.
4
Let i(g) = g**3 - 8*g**2 + 8*g - 10. Let w be i(7). Let x = w + 3. Solve 4*m + 20 = -2*r - x*r, m = r - 2 for m.
-4
Let x(i) = -i**2 + 9*i - 14. Let t be x(7). Solve 0 = 2*o, t + 3 = -3*p - 4*o for p.
-1
Suppose -4*k + 4*t - 5 - 7 = 0, 0 = 4*t - 20. Let c = k + 1. Solve -2*x = -8*j + 4*j - 4, 3*j = -c*x - 3 for j.
-1
Suppose 0 = -x - 11*x. Solve -2*s = -4*t, x = -2*t - 5*s - 0*s + 12 for t.
1
Let b = -33 - -35. Solve 0 = -2*a - 0*f + 2*f - 2, b*a - 1 = -f for a.
0
Let k be (8 + 3)*(-2 - -5). Suppose 4*c - c = k. Let t be (-2 - 0) + 1 + 6. Solve u - 1 = -2*m + c, -t*m - 3*u = -32 for m.
4
Let r = 157 - 138. Solve r = 5*b + 2*y, -2*b - 4 = -6*b + 4*y for b.
3
Let p(v) = v**2 - 2*v + 2. Let j be p(0). Solve j*q - 9 = -0*q - g, g - 4 = -q for q.
5
Suppose 0 = 6*t - 28 + 4. Solve 0 = -4*u - 4, -4*u = t*a - 0*u for a.
1
Let h be 3/(-9)*(0 - 0). Let u = 59 - 31. Suppose 0 = -f - f + u. Solve 2*d - f = -2*a + 5*d, h = d + 4 for a.
1
Let l(b) = 2*b - 2. Let x be l(5). Let o(g) = g - 9. Let w be o(13). Suppose m + 2*m = 0. Solve 0 = -4*c - m*c + x, 0 = w*k - 2*c for k.
1
Let n be (-1)/(-6) + 119/42. Let w = 0 + n. Solve -5*l = -p + 15, -5*p + w*l = -4*p - 9 for p.
0
Let g(h) = -16*h**3 - h**2 - 2*h - 1. Let f be g(-1). Solve -3*r - 24 = -3*o, 5*r - o + 2*o + f = 0 for r.
-4
Let y(i) = i**2 - i - 1. Let s(g) = -4*g**2 + 11*g + 6. Let h(r) = s(r) + 3*y(r). Let x be h(7). Solve 2*c - 5*m = -x, c = m + 1 - 3 for c.
0
Let h be (-3)/(-2 + 2 - -1). Let v be (-2)/(-6) - 8/h. Suppose 0*c - 4*c + 8 = 0. Solve v*j = -3*k - 2*k + 21, 0 = -c*j + 3*k - 5 for j.
2
Let q(k) = -2*k - 42. Let f be q(-22). Solve 2*l = 4*v - 6, v - 3*l = f*v + 9 for v.
0
Let d = -10 - -28. Solve 4*i - 5*a = 3*i - d, -3*i = -4*a + 10 for i.
2
Suppose 5*u = 9*u + 32. Let g = u - -13. Let s = g - 0. Solve 4*i + 19 = -s*k, k - 10 = 6*k - 5*i for k.
-3
Let i(j) = -j**2 - 8*j - 1. Let b be i(-7). Suppose -2*a + 3*m = a - b, -4*m = 8. Solve -5*l = 3*d - 4, -5 = -a*d - 3*d - 4*l for d.
3
Let p be 9*4/6*1. Let g = -22 + 25. Let h = g + 1. Solve -h*u + p + 11 = -o, o = -4*u + 15 for o.
-1
Let l be 7 + (1 - (-2 + 3)). Suppose -25 = 2*i - l*i. Solve i = -4*q - 5*a, 4*a - 3*a - 20 = -5*q for q.
5
Let r = 22 + -18. Solve -9 = -5*h + 2*m, m + 3*m - 24 = -r*h for h.
3
Let l(m) = 1 + 5 - 4 - 14*m. Let o be l(-2). Let c be (-1)/(-3) + (-4)/(-6). Solve -2 = a, -5*s + 2*a = -o + c for s.
5
Suppose -3*p = 4*h - 17, 0 = 5*h + p + 3 - 16. Solve 2*y - 3*k - 16 = -2, 16 = 3*y - h*k for y.
4
Let o = 89 + -77. Solve 0 - 6 = 2*y + 2*j, o = -3*j for y.
1
Let g be 5/(((-2)/(-1))/2). Suppose 1 = 2*c - g. Let u be -172*1/(-22) + (-34)/(-187). Solve u = 4*f, c*j - 3 = -4*f + f for j.
-1
Suppose 3*z = 6*g - 2*g + 196, -z = -4*g - 68. Suppose -2*x - 2*x = -z. Solve -4*o = 4*l + 16, 0*l - 3*l + o - x = 0 for l.
-5
Let g(t) = 3*t + 6. Let r be g(-4). Let a be r*(10/(-6) - -1). Suppose y - a = -y. Solve -y*q = -2*x - 10, q = 4*x + 3*q + 2 for x.
-2
Suppose 16 = 4*t - 0*t. Suppose -2*j + 6 = 2. Solve t*r - 8 = 2*i + 2*i, -5*i + 11 = j*r for r.
3
Let f = -18 + 31. Suppose -2*t - 3*t + 35 = 5*b, -b - f = -3*t. Solve -b*m + 6 = -0*m - o, 4*m + 3*o = 2 for m.
2
Let h be (-34)/(-6) - (-2)/(-3). Let v = -8 - -14. Let g be (6 - v) + 1 + 1. Solve -p = -k, -h*p + 4*k + 1 = -g for p.
3
Let g(r) = -3*r + 3. Let i = 7 - -3. Let k = 2 - i. Let d be g(k). Solve 3*s + 5*o = -d, 0 = 3*s - 0*s - 3*o + 3 for s.
-4
Let x be -1*0/(-3 - -2). Suppose -2*i - 1 + 7 = x. Solve -m + 3*a = 1 + i, -m - 5*a + 12 = 0 for m.
2
Let k = 186 + -186. Solve k = q + l, q + 0*q = 3*l - 4 for q.
-1
Let r = -116 + 121. Solve r*c = 4*l - 5, 2*l + 6 + 29 = -5*c for c.
-5
Let o be (0 + -1)*33/(-3). Suppose 150 = -6*v + o*v. Solve -20 = 5*n, -5*n + 10 = -5*y + v for y.
0
Suppose -4*a = -5*d - 1, 2*d = -a + 3*d + 1. Solve -a*c - 14 - 9 = 3*i, -5*c = 4*i + 30 for i.
-5
Suppose y - 19 + 18 = 0. Solve -y = -4*x + n, -x - 2 = -5*x + 2*n for x.
0
Suppose -w - 2*r - 7 = -2*w, -5 = -w + r. Suppose -w*c + 4 = -2. Solve 4*t - c*p = -16, -5*p = -0*p + 10 for t.
-5
Let q(w) = -16*w**3 + w**2 + 2*w + 1. Let c be q(-1). Solve -5*d + 5*v + c - 1 = 0, 0 = -4*d - 2*v - 12 for d.
-1
Let c(t) = t**2 - 7*t + 15. Let g be c(4). Solve 5*z + 16 = g*h, 6*h - 13 = 5*z + 2*h for z.
-5
Let m be 244/7 - 9/(-63). Suppose 3*q - 8 = -2. Suppose -7 = -3*p + q. Solve -4*x + 9 = -3*v - 2*v, -5*x - p*v - m = 0 for x.
-4
Suppose 8 = -2*d + 3*d. Let m = d - 3. Solve -x - m*w + 3 + 3 = 0, 2*x - w = -10 for x.
-4
Let m(t) = 2*t**3 + t - 2. Let i = 2 + -4. Let s be m(i). Let q be 10/(-4)*32/s. Solve 0 = -q*b - d + 3*d + 10, 0 = -2*d - 6 for b.
1
Suppose 3*c - 14 + 5 = 0. Solve -g + c*x - 5 = 4, -2*g - 3*x + 18 = 0 for g.
3
Let c(m) = m + 4. Let f be c(-3). Suppose -4*a = 2*g - 5*a - 12, -12 = 3*a. Solve 2*n + 2*x = -f + 7, g*x - 9 = -n for n.
1
Let z be (-1)/(15/(-6) + 2). Let y = -4 + z. Let i = y + 4. Solve 4*j - c + 12 = 0, -j + 22 = -i*j + 5*c for j.
-2
Let x(z) = z - 2. Let w be x(5). Solve -2*r = 3*r - 10, -w*q + 4*r - 14 = 0 for q.
-2
Suppose -10*l + 7*l = -30. Solve 3*k - l = 4*p, 5*p = -0*p + 4*k - 12 for p.
-4
Suppose -3*h - 5 = -20. Solve -h*p + 4*n - 16 = 0, 4*p - 2 = n - 6 for p.
0
Suppose 9 = 3*t + 3*h, h = -2*h - 15. Solve 2 = 5*p + c, -c = -5*p + 3*c - t for p.
0
Suppose -4*s + 5 + 3 = 0. Let n be 7 + 2/(s*-1). Solve 0*w = -3*w + 3*z + n, 0 = 4*w + 3*z - 22 for w.
4
Suppose 12 = -2*v + n - 14, -4*n = -5*v - 65. Let w = v - -18. Suppose -7 - 8 = -3*t. Solve 5*c = -w*r + r + 13, 5*r - t = 5*c for c.
1
Suppose 0*x = -x + 2. Solve -2*l + 5*l + 9 = 2*f, f - x = -l for l.
-1
Let f be 27/18*(1 - -1). Solve f*x - x - 13 = 5*m, -2 = 2*m for x.
4
Let v(y) = -y**2 + 3*y + 3. Let i be v(3). Solve 5*h - 5 = 3*q, i*q - 8*q - 17 = -4*h for q.
-5
Suppose 3*n - 19 = -4. Suppose 0 = -6*j + j + 4*g + 11, 0 = n*j + 4*g - 19. Solve 4*p + 7 - 22 = -w, 3*w = -j for p.
4
Suppose -153 = 5*w - 23. Let r = -14 - w. Suppose -4*j = u + 2*u - 5, -r = -4*j + 4*u. Solve 2*g - j = z, -2*z - z = -4*g for g.
3
Let p be ((-6)/3 - -12) + 0. Let j(g) = 13*g - 2*g + 6 + 6 - p*g. Let r be j(-6). Solve 2*w = d - r, 3*w = -5*d - 2*w - 30 for d.
-2
Let c(i) = -i**2 - i + 11. Let z be c(2). Solve 1 = 4*o - z*g, 3*g = -g - 4 for o.
-1
Let x(v) = -v**2 - 4*v + 2. Let c be x(-4). Solve n + 1 = 3*z, -c*z + 